11
$\begingroup$

Suppose $f$ is an entire function on $\mathbb{C}^n$ that satisfies for every $\epsilon>0$ a growth-condition $$|f(z)|\leq C_{\epsilon}(1+|z|)^{N_{\epsilon}}e^{\epsilon | \text{Im}\,z|}$$

Show that $f$ is a polynomial. (Hint: study $\hat{f} = \mathcal{F}(f)$ the Fourier-transform).

I know I'm supposed to apply the Paley-Wiener-Schwartz Theorem, but not sure how.;.

(See http://en.wikipedia.org/wiki/Paley%E2%80%93Wiener_theorem below).

Any suggestions and/or tips are greatly appreciated. Thnx.

$\endgroup$
  • 3
    $\begingroup$ The theorem implies that the distribution $\hat{f}$ is supported in EVERY open ball containing $0$. Therefore evaluating $\hat{f}$ on a function $g$ must depend locally on $g$ at $0$. Can you show that the only such distributions are linear combinations of $D^n\vert_0$? $\endgroup$ – Aaron Apr 25 '13 at 21:46
  • $\begingroup$ Hm. I dont quite know were the proof should go. But I do know that $F(z^n) = (-2\pi)^n D^{n}\delta$. So we might want to prove that we are dealing with linear combinations of dirac-delta's...but how is this Theorem's gonna help us with that. I think Im missing some basic understanding of what this theorem implies. $\endgroup$ – DinkyDoe Apr 29 '13 at 11:14
  • $\begingroup$ So if we prove that $F(f)$ satisfies another grow-condition that somehow shows that $F(f)$ is a distribution being supported in $\{0\}$ then we're done I guess. $\endgroup$ – DinkyDoe Apr 29 '13 at 11:17
2
$\begingroup$

Well, I think it should be clear as suggested by Aaron that the Schwartz's Theorem in your link implies that for every $ \epsilon >0 $ you have a distribution $ v $ supported in the closed ball $ B(0,\epsilon) $, and $ f = \hat{v} $. So we have the distribution $v$ with $ f = \hat{v} $ and $ supp(v) = \{0\} $. Hence it is a well known result that for some $k $ $$ v = \sum_{|\alpha | = k}C_\alpha D^\alpha \delta $$ Hence $f(\xi) = \hat{v}(\xi) = \sum_{|\alpha | = k}C_\alpha \hat{(D^\alpha \delta)}(\xi)= \sum_{|\alpha | = k}C_\alpha (2\pi i \xi)^\alpha $ is indeed a polynomial.

$\endgroup$

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.