Application of Rolle's theorem? Establish existence of $c\in(a,b)$ such that $f(c)+f'(c)=f(c)f'(c)$

1.5k Views Asked by At

Following my question on Meta, I post this as a new question; it was originally asked by Gmgfg, and closed due to the lack of context, background, and shown effort.

Let $f\colon[a,b]\to\mathbb{R}$ be a function continuous on $[a,b]$ and differentiable on $(a,b)$ with $f(a)=f(b)=0$. Show that there exists $c\in(a,b)$ such that $f'(c)+f(c)=f(c)f'(c)$.

Now, given the assumptions this looks like it should be a straightforward application of Rolle's theorem. However:

  • as far as I can tell there is no simple auxiliary function $\Phi$ such that $\Phi'= f+f'-f\cdot f'$ to which one could apply Rolle's theorem. (If there is one, I failed to find it.)

  • indeed, while the RHS could come from $\left(\frac{f^2}{2}\right)'$; it's mostly the LHS which looks difficult to handle (and there is no clear advantage I can see in introducing an antiderivative $F$ of $f$ to have it be $(F+f)'$).

I verified the statement for some functions I could think of, such as $x\mapsto x(1-x)$ and $x\mapsto \sin \pi x$ on $[a,b]=[0,1]$. So, in that regard, it seems to hold at least against basic sanity checks.

However, what bothers me is the lack of "homogeneity." Usually, in things like that I'm used to saying that "without loss of generality, one can assume $[a,b]=[0,1]$." It does not appear to be the case here: if, given $f$, one defines $g\colon[0,1]\to\mathbb{R}$ by $g(x) = f((b-a)x+a)$, finding $c\in(0,1)$ such that $g'(c)+g(c)=g(c)g'(c)$ does not directly yield $c'$ such that $f'(c')+f(c')=f(c')f'(c')$ (but rather would give $c'$ such that $f'(c')+(b-a)f(c')=f(c')f'(c')$, if I'm not mistaken).

So, in short: is it true? And how to prove or disprove it — I'm at a loss, and embarrassed about it.

1

There are 1 best solutions below

5
On BEST ANSWER

Let $$ g(x) = f(x)e^{x-f(x)}. $$ Then $g(a) = g(b) = 0$ since $f(a)=f(b)=0$, so $g'(c) = 0$ for some $c\in(a,b)$. However, $$ g'(x) = f'(x)e^{x-f(x)} + f(x)e^{x-f(x)}(1-f'(x)) = e^{x-f(x)}(f'(x)+f(x)-f(x)f'(x)),$$ so $g'(c) = 0\implies f'(c)+f(c)-f(c)f'(c) = 0$, i.e. $f'(c)+f(c) = f(c)f'(c)$.