2
$\begingroup$

I encountered the following problem:

Find all $f:\mathbb{R}\rightarrow\mathbb{R}$ such that $f^2$ is differentiable on $\mathbb{R}$ and $$(f^2)'=f$$

I am not interested in this problem's solution, I have a different question. I denoted by $g=f^2$, $g:\mathbb{R}\rightarrow [0, +\infty)$. It is clear that $g$ is continuous, differentiable and $$(g')^2=g$$ If $g$ would have a strict local maximum, let it be $x_0$, then $g'(x_0)=0$, so $g(x_0)=0$ and since $g$ is continuous and $g:\mathbb{R}\rightarrow [0, +\infty)$ we have that $g$ has no strict local maximum.

My question is the following:

If a continuous function $f$ has no strict local maximum or $f$ has no strict local minimum, then is $f$ monotone or constant?

(in my problem we have that $g$ is also differentiable but I am curious if this holds for any continuous function)

I thought immediately at the Weierstrass Function, which is everywhere continuous, nowhere differentiable and we also know that it is not monotone on any interval. If it has no local maximum, then what I'm saying is wrong, but I could't found if Weierstrass Function has or hasn't any local maximum/minimum.

EDIT:

@user539887 and @RobertZ showed that my question doesn't hold for strict extreme point, but what if we think at local extreme points? Not strict? The question will be therefor

If a continuous function $f$ has no local maximum or $f$ has no local minimum, then is $f$ monotone or constant?

$\endgroup$
  • 1
    $\begingroup$ But $$(f^2)'=2ff'$$ by the chain rule. $\endgroup$ – Dr. Sonnhard Graubner Apr 1 '18 at 9:45
  • $\begingroup$ @Dr.SonnhardGraubner So? We don't know that $f$ is diffferentiable $\endgroup$ – razvanelda Apr 1 '18 at 9:51
  • 1
    $\begingroup$ @Dr.SonnhardGraubner I don't think the OP was asking about solutions to the original differential equation. $\endgroup$ – DonAntonio Apr 1 '18 at 9:54
  • 1
    $\begingroup$ @Dr.SonnhardGraubner Did you read the whole question? $\endgroup$ – DonAntonio Apr 1 '18 at 10:02
  • 1
    $\begingroup$ The Weierstrass function has a strict local maximum at the origin (simply by the triangle inequality). $\endgroup$ – Hans Lundmark Apr 1 '18 at 10:26
3
$\begingroup$

No, the function $f(x)=\max(\min(2\sin(x),1),-1)$ is a continuous function in $\mathbb{R}$ which has no strict local maximum and no strict local minimum but it is not monotone or constant. Here $x_0$ is a strict local maximum (minimum) for $f$ if there is $r>0$ such that $f(x_0)>f(x)$ ($f(x_0)<f(x)$) for all $x\in (x_0-r,x_0)\cup (x_0,x_0+r)$.

Hint for the second question. Let $f$ be a continuous function in $\mathbb{R}$ which has no local maximum and no local minimum. Assume that there are $x<y$ such that $f(x)=f(y)$. Since $f$ is continuous in $[x,y]$ it has a maximum point $t$ and a minimum point $s$ in $[x,y]$. By hypothesis $t,s\not \in (x,y)$. So $t=x$ and $s=y$ or $s=x$ and $t=y$ which implies that $f$ is constant in $[x,y]$. Contradiction! Hence $f$ is injective in $\mathbb{R}$.

$\endgroup$
  • $\begingroup$ Yeap, you are right..hmmm... but about local maximum points or local minimum points? In your example, similar to the one of @user539887, there are no strict local extreme points, but there are local extreme points. I will edit my question $\endgroup$ – razvanelda Apr 1 '18 at 10:37
  • $\begingroup$ @razvanelda See my hint. $\endgroup$ – Robert Z Apr 1 '18 at 10:53
  • $\begingroup$ Yeap, thank you $\endgroup$ – razvanelda Apr 1 '18 at 10:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.