Concluding Even-ness From a Simple Functional Identity

29 Views Asked by At

Let $f\left(z\right)$ be an analytic function on an open disk $D$ (of possibly infinite radius) centered at zero satisfying the functional equation:

$$f\left(z^{3}\right)=f\left(-z^{3}\right),\textrm{ }\forall z\in D$$

Can I conclude that $f\left(z\right)=f\left(-z\right)$ for all $z$ in some open neighborhood of the origin?

This isn't for homework. I simply want—and desperately need—an answer, and an explanation why, so that I can hop over this puddle and continue with the body of my research.

1

There are 1 best solutions below

2
On

I'll discuss one interesting case:

Could we say: $\forall z \in D$, $\exists k \in D$, s.t. $k^3 = z$? If so $f(z) = f(k^3) = f(-k^3) =f(-z)$.

Write $z=|z|e^{i\theta} \in D$, then could we find $k=z^{\frac{1}{3}} = |z|^{\frac{1}{3}}e^{\frac{i\theta}{3}}\in D$ for any $z\in D$? The answer is NO, because if you take the radius of $D$ to be smaller than $1$, and take $z$ to be close to the boundary of $D$, then $|z|^{\frac{1}{3}}$ will be larger than $z$ and fall outside of $D$.