2
$\begingroup$

I have asked this question on MathStackExchange. My question: is there any non-constant real analytic function $f:\mathbb{R}^n\rightarrow\mathbb{R}$ such that, $$\nabla f(x_0)=0 \Rightarrow \nabla^2 f(x_0)=0$$ and $$f(x+m)=f(x),\quad\forall m\in\mathbb{Z}^n,x\in\mathbb{R}^n.$$

I could find a smooth function with the given property. For example, let $$ f(x)=(2-x^4)\exp(1/(x^4-1))\quad x\in[-1,1],$$ then copy and translate it to fill the whole $\mathbb{R}$. I guess that existence of such functions is impossible, but I don't know how to use the analyticity to prove it

Improve this question
$\endgroup$
2
  • 5
    $\begingroup$ $\cos^4(\frac\pi 2\sin^4 x)$ $\endgroup$
    – fedja
    Mar 16 at 3:26
  • $\begingroup$ @fedja Thanks for the example! $\endgroup$
    – Jianxing
    Mar 16 at 8:47

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.