Morera's theorem

[8/63%]
Show
LaTeX

Prove that the uniform limit of a sequence of complex analytic functions is complex analytic. Is the analogous theorem true for real analytic functions?

?

Let ff be a continuous complex valued function on [0,1][0,1], and define the function gg by

g(z)=∫01f(t)etz dt(z∈C). g(z) = \int _{0}^{1} f(t)e^{tz} \, dt \qquad (z \in \mathbb {C}).

Prove that gg is analytic in the entire complex plane.

?

Let ff be continuous on C\mathbb {C} and analytic on {z∣Im(z)≠0}\left\{ z \mid \mathrm{Im}\left(z\right) \neq 0\right\}. Prove that ff must be analytic on C\mathbb {C}.

?

Define the function ff on C∖[0,1]\mathbb {C} \setminus [0,1] by

f(z)=∫01tt−z dt. f(z) = \int _{0}^{1} \frac{\sqrt{t}}{t - z} \, dt .

Prove that ff is analytic, and find its Laurent series about ∞\infty.

?

The complex function f(z)=u(x,y)+iv(x,y)f(z)=u(x,y)+iv(x,y) of the real variables xx and yy is defined and continuous in a region R\mathfrak {R} of the z=x+iyz=x+iy plane. Moreover we assume that the integral

∮f(z) dz \oint f(z)\, dz

along any circle inside R\mathfrak {R} vanishes. Then f(z)f(z) is an analytic function of the complex variable zz, regular in the entire region R\mathfrak {R}.

?
Remark.
?

Compute the variation of the area integral

Fr(z)=∬ξ2+η2≤r2f(z+ξ+iη) dξ dη F_{r}(z) = \iint _{\xi ^{2}+\eta ^{2}\leq r^{2}} f(z+\xi +i\eta )\, d\xi \, d\eta

when the real or the imaginary part of zz varies.

Suppose μ\mu is a complex measure on a measure space X,ΩX, \Omega is an open set in the plane, φ\varphi is a bounded function on Ω×X\Omega \times X such that φ(z,t)\varphi (z, t) is a measurable function of tt, for each z∈Ωz \in \Omega, and φ(z,t)\varphi (z, t) is holomorphic in Ω\Omega, for each t∈Xt \in X. Define

f(z)=∫Xφ(z,t)dμ(t) f(z) = \int _{X} \varphi (z, t) d \mu (t)

for z∈Ωz \in \Omega. Prove that f∈H(Ω)f \in H(\Omega ). Hint: Show that to every compact K⊂ΩK \subset \Omega there corresponds a constant M<∞M < \infty such that

∣φ(z,t)−φ(z0,t)z−z0∣<M(z and z0∈K,t∈X) \left|\frac{\varphi (z, t)-\varphi \left(z_{0}, t\right)}{z-z_{0}}\right| < M \quad \left(z \text{ and } z_{0} \in K, t \in X\right)
?

Determine the regions in which the following functions are defined and holomorphic:

f(z)=∫01dt1+tz,g(z)=∫0∞etz1+t2dt,h(z)=∫−11etz1+t2dt. f(z) = \int _{0}^{1} \frac{d t}{1+t z}, \quad g(z) = \int _{0}^{\infty } \frac{e^{t z}}{1+t^{2}} d t, \quad h(z) = \int _{-1}^{1} \frac{e^{t z}}{1+t^{2}} d t.

Hint: Either use Exercise 16, or combine Morera's theorem with Fubini's.

?

Suppose that I=[a,b],ΩI = [a, b], \Omega is a region, I⊂Ω,fI \subset \Omega , f is continuous in Ω\Omega, and f∈H(Ω−I)f \in H(\Omega -I). Prove that actually f∈H(Ω)f \in H(\Omega ).

Replace II by some other sets for which the same conclusion can be drawn.

?

References

[deSi04] de Souza P.N., Silva J. Berkeley Problems in Mathematics. 3rd ed., Springer, 2004.
[PóSz98] Pólya G., Szegő G. Problems and Theorems in Analysis. Springer, 1998.
[Rud87] Rudin W. Real and Complex Analysis. 3rd ed., McGraw-Hill, 1987.