Intereting Posts

Monkeys and Typewriters
Compute the Galois group of $p(x)=x^4+ax^3+bx^2+cx+d$
Expected outcome for repeated dice rolls with dice fixing
The area of the superellipse
Prove or disprove that ${F_{n}^2} + 43$ is always a composite
Clarification of notion of proper group action.
Find a basis given a vector space
Evaluate $\sum_{k=1}^nk\cdot k!$
Definition of adjoint functor similar to the definition of homotopy equivalence?
Probability problem: cars on the road
When does $(ab)^n = a^n b^n$ imply a group is abelian?
Evaluating the contour integral $\int_{0}^{\infty}\frac{\sin^{3}(x)}{x^{3}}\mathrm dx$
Density of orthogonal matrices with rational coefficients
How many ways so that $x+y+z\leq n$?
Piecewise function plot in Matlab

Consider the bounded, positive and monotonic functions $f(x) = \frac{x^k}{a^k+x^k}$ and $g(x) = \frac{b^h}{b^h+x^h}$ with $a,b>0,$ and $k,h > 1$ and defined for $x\in \mathbb{R}^+$. Using simulations, it looks to me that the second derivative $(f\circ g\circ f \circ g)”$ has at most one zero.

I tried to prove it analytically using the chain rule and the fact that $f'(x) = \frac{k}{x}f(x)\big(1-f(x)\big)$ and similarly for $g'(x)$ but with no success. I can see that the number of zeros (taking their multiplicity into account) must be odd because the second derivative is positive at $x=0$ and negative at $x\rightarrow \infty$. It’s probably irrelevant, but I can also show that the second derivative can be expressed as the sum of four functions $h_{1}, h_{2},h_{3}, h_{4}$ with $h_{1},h_{2}$ having two zeros and $h_{3},h_{4}$ having one zeros and $h_{1},h_{2},h_{3}$ having a common zero.

Any help towards a proof or a counter-example would be much appreciated.

- Why differentiability implies continuity, but continuity does not imply differentiability?
- What is the difference between $d$ and $\partial$?
- $f$ continuous, monotone, what do we know about differentiability?
- Is there a way to evaluate the derivative of $x$! without using Gamma function?
- Prove the existence of $c$ such that $f'(c) = 2c(f(c) - f(0))$
- How to show that $e^x$ is differentiable?

- If $f: U \rightarrow \mathbb{R}^n$ differentiable such that $|f(x)-f(y)| \geq c |x-y|$ for all $x,y \in U$, then $\det \mathbf{J}_f(x) \neq 0$
- Deriving the Normalization formula for Associated Legendre functions: Stage $1$ of $4$
- If $\lim_{h\to 0} \frac{f(x_0 + h) - f(x_0 - h)}{2h} = f'(x_0)$ exists, is f differentiable at $x_0$?
- Show that if $g \circ f$ is injective, then so is $f$.
- Prove that $h^{(k)}(0)=\lim_{t\to0}\frac{\sum_{j=0}^k\binom{k}{j}(-1)^{k-j}h(jt)}{t^k}$
- injective and surjective
- Continuous right derivative implies differentiability
- Second derivative “formula derivation”
- Classification of Proper Maps between domains in $\mathbb{R}^n$
- What does the derivative of area with respect to length signify?

- Projection of the third dual of a Banach space onto the first dual
- Algorithm(s) for computing an elementary symmetric polynomial
- Norm of Prime Ideal
- Big-O Notation – Prove that $n^2 + 2n + 3$ is $\mathcal O(n^2)$
- Valid justification for algebraic manipulation of $\mathrm{d}y/\mathrm{d}x$?
- $(\mathbb{Z}/2^n \mathbb{Z})^*$ is not cyclic Group for $n\geq 3$
- Sum $\frac{1}{6} + \frac{5}{6\cdot 12} + \frac{5\cdot 8}{6\cdot 12\cdot 18} + \frac{5\cdot 8\cdot 11}{6\cdot 12\cdot 18\cdot 24}+\ldots$
- a theorem of Fermat
- From Gravity Equation-of-Motion to General Solution in Polar Coordinates
- proof using the mathematical induction
- Solve $x\sqrt{x\sqrt{x\sqrt{x\dots}}} = 4$
- Orthonormal Hamel Basis is equivalent to finite dimension
- filling an occluded plane with the smallest number of rectangles
- Prove that the directrix-focus and focus-focus definitions are equivalent
- $|\mathbb{Q}(e^{2\pi i/n}) : \mathbb{Q}(\cos(2\pi/n)| = 1 \text{ or } 2$