show there is no function $f:\mathbb{R}\to\mathbb{R}$ so that $f(0) > 0$ and $f(x+y)\ge f(x)+yf(f(x))\,\forall x,y\in\mathbb{R}$

140 Views Asked by At

Show there is no function $f:\mathbb{R}\to\mathbb{R}$ so that $f(0) > 0$ and $f(x+y)\ge f(x)+yf(f(x))\,\forall x,y\in\mathbb{R}.$

I think one can show that $f(f(z))$ is positive for some $z$ and that $f(x)\to\infty$ as $x\to \infty$. Then one might be able to find some $a$ with $f(a) \ge a+1$.

To show $f(f(z))$ is positive for some z, suppose for all $z, f(f(z)) \leq 0.$ Then for all $y\le 0$, $$f(x+y)\ge f(x) + yf(f(x)) \ge f(x)$$ implying that $f(x)$ is decreasing.

If $f(f(x)) < 0$ for some $x$, then $$f(x+y) \ge f(x) + yf(f(x))$$ for all $y\leq 0,$ so $f(z)$ tends to infinity as $z$ tends to $-\infty$. Similarly, $f(z)$ tends to $-\infty$ as $z\to\infty.$

If $f(f(0)) = 0,$ then $f(y) \ge f(0) > 0$ for all $y.$ We know $f$ is decreasing so $f(y) \leq f(0)$ for $y\ge 0$ and hence for all $y\ge 0, f(y) = f(0).$ In particular, $f(f(0)) = f(0),$ so we get that for $y\in\mathbb{R}$ $$f(y) \ge f(0) + yf(0) = f(0)(1+y).$$ This contradicts the fact that $f(y) \leq f(0)$ for $y > 0$. Hence we must have $f(f(0)) < 0$ by assumption. But I'm not sure how to continue from here.

1

There are 1 best solutions below

5
On

Pick $a\in \Bbb R$, Then from $P(a,x-a)$, $$\tag1f(x)\ge f(a)+(x-a)f(f(a)).$$ The line given by the expression on the right passes through $(a,f(a))$, thus showing that $f$ is convex. Then $f$ is also continuous. By swapping $x\leftrightarrow a$, also $f(a)\ge f(x)-(x-a)f(f(x))$, so that for the difference quotient either $f(f(a))\le \frac{f(x)-f(a)}{x-a}\le f(f(x))$ or $f(f(a))\ge \frac{f(x)-f(a)}{x-a}\ge f(f(x))$. By continuity of $f\circ f$ and squeeze theorem, $f$ is differentiable and $$ \tag2f'(x)=f(f(x)).$$ By induction, all higher derivatives exist ($f$ is smooth) and can be expressed as sums of products of iterates of $f$. For example, $$f''(x)=f'(x)f'(f(x))=f(f(x))f(f(f(x))) $$ and $$f''(x) = f''(x)f(f(f(x))) + f'(x)^2f''(f(x)) = f(f(x))f(f(f(x)))^2 + f(f(x))^2f(f(f(x)))f(f(f(f(x)))).$$

Suppose $f$ is constant, so $f(x)=f(0)\ne0$ for all $x$. Then $0=f'(x)=f(f(x))=f(0)\ne 0$, contradiction. We conclude that $f$ is not constant.

Non-constant convex implies not bounded from above.

Let $a,b\in\Bbb R$ with $f(a)=f(b)$. For $c\in\{a,b\}$, $t\mapsto f(c+t)$ is a solution to the ODE $y(0)=f(a)$, $y'(t)=f(y(t))$. By convexity, $f$ is Lipschitz on every bounded interval. Then by Picard-Lindelöf, this ODE has a unique global solution. This implies that $f(a+t)=f(b+t)$ for all $t$. As a periodic continuos function would be bounded, we conclude that we cannot have $a\ne b$. Hence $f$ is injective.

Suppose $f$ is not bounded from below. Then by continuity, $f$ is onto and we can find $a$ with $f(f(a))=0$. Then by convexity, $f$ has a global minimum at $a$, contradicting unboundedness. We conclude that $f$ is bounded from below.

Let $s=\inf f$. Then either $f(a)=s$ for some $a\in\Bbb R$, or $\lim_{x\to a}f(x)=s$ for some $a\in\{-\infty,\infty\}$. In the first case, $f(s)=f(f(a))=f'(a)=0$, and in the other cases, simiularly $f(s)=\lim_{x\to s}f(x)=\lim_{x\to a}f(f(x))=\lim_{x\to a}f'(x)=0$. Hence $$ \tag3f(s)=0.$$

Then $s\ne0$ as $f(0)\ne 0$. As also $s\le f(s)=0$, we have $$ \tag4s<0.$$

Now $f\circ f= f'$ is non-decreasing and bounded from below by $s$. Hence $\lim_{x\to-\infty} f'(x)=t$ for some $t$ with $s\le t\le 0$. Suppose $t<0$. Then $f(x)\to\infty$ as $x\to-\infty$ while at the same time $f(f(x))\to s$. We conclude $\lim_{x\to\infty}f(x)=s$. If on the other hand $t=0$, then necessarily $\lim_{x\to-\infty}f(x)=s$. Thus $$ \tag5\lim_{x\to\infty}f(x)=s\quad\text{or}\quad\lim_{x\to-\infty}f(x)=s.$$