0
$\begingroup$

Suppose you have a continuous function:

$$\phi:[0,1]\rightarrow \mathbb{C}$$

define the complex function:

$$f(z)=\int_0^1\phi(t)e^{itz}dt$$

prove that it is entire and calculate it's Taylor expansion centered at $z=0$. Honestly I don't know where to start, I think I have to apply the theorem of holomorphy of a parametric integral but I don't understand how.

Also, how can I apply those results to the sequence of functions:

$$f_n(z)=\int_0^n \sqrt{t}e^{-tz}dt$$

$\endgroup$
-2
$\begingroup$

It's obviously entire as the derivative is $$ \int_0^1 ite^{izt} \phi(t) \, dt$$ which exists (is convergent) for all $z$ as the integrand is bounded. The Taylor series is obtained by differentiating under the integral sign: the $n$th derivative is $$ \int_0^1 (it)^n \phi(t)\, dt.$$

$\endgroup$
  • $\begingroup$ What do you mean by "the integral is convergent"? $\endgroup$ – Renato Faraone Dec 9 '18 at 18:39
  • $\begingroup$ I mean it exists as a Riemann integral. $\endgroup$ – Richard Martin Dec 9 '18 at 18:42
  • $\begingroup$ You should probably justify differentiating under the integral sign.... $\endgroup$ – qbert Dec 9 '18 at 19:37
  • 1
    $\begingroup$ @RichardMartin I don't understand your point. In any event, while the exercise might be straightforward or obvious to you, it probably isn't to the OP (indeed, it is an exercise for a reason). So if you are sweeping things under the rug, you should at least say so $\endgroup$ – qbert Dec 9 '18 at 20:34
  • 1
    $\begingroup$ @qbert I agree, every exercise is straightforward if you know how to do it and which theorem to apply. Being this my first course centered on complex analysis I obviously have a hard time even on some basic facts. $\endgroup$ – Renato Faraone Dec 10 '18 at 8:18

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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