Does this transformation and reparametrization preserve non-analyticity of smooth functions

36 Views Asked by At

A $C^{\infty}$ function $f : \mathbb{R} \to \mathbb{R}_+$ is non-analytic for some $x_0 \in \mathbb{R}$. Can we conclude that $x\mapsto\log(f(e^x))$ is non-analytic at $x = \log(x_0)$?

1

There are 1 best solutions below

0
On BEST ANSWER

Assume that $f(y)>0$ in some neighborhood of $y_0\in{\mathbb R}$. If the function $g:=\log \circ f\circ \exp$ is analytic at $x_0:=\log y_0$ then $f=\exp\circ g\circ\log$ is analytic at $y_0$.