Section 5.6

Analytic and Meromorphic Functions

[38/100%]
Show
LaTeX
Problem 5.6.1

Let f=u+ivf = u+iv be analytic in a connected open set DD, where uu and vv are real valued. Suppose there are real constants aa, bb and cc such that a2+b2≠0a^{2}+b^{2} \neq 0 and

au+bv=c au+bv = c

in DD. Show that ff is constant in DD.

?
Problem 5.6.2

True or false: A function f(z)f(z) analytic on ∣z−a∣<r\left|z-a\right|<r and continuous on ∣z−a∣≤r\left|z-a\right| \leq r extends, for some δ>0\delta >0, to a function analytic on ∣z−a∣<r+δ\left|z-a\right|<r+\delta? Give a proof or a counterexample.

?
Problem 5.6.3

Do there exist functions f(z)f(z) and g(z)g(z) that are analytic at z=0z = 0 and that satisfy

?
(1)

f(1/n)=f(−1/n)=1/n2f(1/n) = f(-1/n) = 1/n^{2}, n=1,2,…n = 1, 2, \ldots,

(2)

g(1/n)=g(−1/n)=1/n3g(1/n) = g(-1/n) = 1/n^{3}, n=1,2,…n = 1, 2, \ldots?

Problem 5.6.4

Let kk be an integer larger than 11. Find all entire functions ff that satisfy f(zk)=(f(z))kf(z^{k}) = (f(z))^{k}.

?
Problem 5.6.5

Let FF be a polynomial over C\mathbb {C} of positive degree dd, and let SS be its zero set. Prove that every rational function RR whose finite poles lie in SS can be written uniquely as

R=∑k=mnakFk, R = \sum _{k=m}^{n} a_{k}F^{k},

where mm and nn are integers, m≤nm \leq n, and the aka_{k} are polynomials whose degrees are less than dd.

?
Problem 5.6.6

Let A={0}∪{1/n∣n∈Z,n>1}A = \left\{ 0\right\} \cup \left\{ 1/n \mid n \in \mathbb {Z}, n>1\right\}, and let D\mathbb {D} be the open unit disc in the complex plane. Prove that every bounded holomorphic function on D∖A\mathbb {D} \setminus A extends to a holomorphic function on D\mathbb {D}.

?
Problem 5.6.7

Let UU be a connected and simply connected open subset of the complex plane, and let ff be a holomorphic function on UU. Suppose aa is a point of UU such that the Taylor series of ff at aa converges on an open disc DD that intersects the complement of UU. Does it follow that ff extends to a holomorphic function on U∪DU \cup D? Give a proof or a counterexample.

?
Problem 5.6.8
?
(1)

Suppose ff is analytic on a connected open set U⊂CU \subset \mathbb {C} and ff takes only real values. Prove that ff is constant.

(2)

Suppose W⊂CW \subset \mathbb {C} is open, gg is analytic on WW, and g′(z)≠0g'(z) \neq 0 for all z∈Wz \in W. Show that

{Re(g(z))+Im(g(z))∣z∈W}⊂R \left\{ \mathrm{Re}\left(g(z)\right)+\mathrm{Im}\left(g(z)\right) \mid z \in W\right\} \subset \mathbb {R}

is an open subset of R\mathbb {R}.

Problem 5.6.9

Let f:C→Cf : \mathbb {C} \to \mathbb {C} be a nonconstant entire function. Prove that f(C)f(\mathbb {C}) is dense in C\mathbb {C}.

?
Problem 5.6.10

Let LL be a line in C\mathbb {C}, and let ff be an entire function such that f(C)∩L=∅f(\mathbb {C}) \cap L = \emptyset. Prove that ff is constant. (Do not use the theorem of Picard that the image of a nonconstant entire function omits at most one complex number.)

?
Problem 5.6.11
?
(1)

Prove that an entire function with a positive real part is constant.

(2)

Prove the analogous result for 2×22 \times 2 matrix functions: If F(z)=(fjk(z))F(z) = (f_{jk}(z)) is a matrix function in the complex plane, each entry fjkf_{jk} being entire, and if F(z)+F(z)∗F(z)+F(z)^{*} is positive definite for each zz, then FF is constant. (Here, F(z)∗F(z)^{*} is the conjugate transpose of F(z)F(z).)

Problem 5.6.12

Let s(y)s(y) and t(y)t(y) be real differentiable functions of yy, −∞<y<∞-\infty <y<\infty, such that the complex function

f(x+iy)=ex(s(y)+it(y)) f(x+iy) = e^{x}(s(y)+it(y))

is complex analytic with s(0)=1s(0) = 1 and t(0)=0t(0) = 0. Determine s(y)s(y) and t(y)t(y).

?
Problem 5.6.13

Determine all the complex analytic functions ff defined on the unit disc D\mathbb {D} which satisfy

f′′(1n)+f(1n)=0 f''\left(\frac{1}{n}\right)+f\left(\frac{1}{n}\right) = 0

for n=2,3,4,…n = 2, 3, 4, \ldots.

?
Problem 5.6.14

Assume the nonconstant entire function ff takes real values on two intersecting lines in the complex plane. Prove that the measure of either angle formed by the lines is a rational multiple of π\pi.

?
Problem 5.6.15

Let Ω\Omega be an open subset of R2\mathbb {R}^{2}, and let f:Ω→R2f : \Omega \to \mathbb {R}^{2} be a smooth map. Assume that ff preserves orientation and maps any pair of orthogonal curves to a pair of orthogonal curves. Show that ff is holomorphic.

Note: Here we identify R2\mathbb {R}^{2} with C\mathbb {C}.

?
Problem 5.6.16

Let ff be a complex valued function in the open unit disc, D\mathbb {D}, of the complex plane such that the functions g=f2g = f^{2} and h=f3h = f^{3} are both analytic. Prove that ff is analytic in D\mathbb {D}.

?
Problem 5.6.17

Prove or supply a counterexample: If ff is a continuous complex valued function defined on a connected open subset of the complex plane and if f2f^{2} is analytic, then ff is analytic.

?
Problem 5.6.18
?
(1)

Let GG be an open connected subset of the complex plane, ff an analytic function in GG, not identically 00, and nn a positive integer. Assume that ff has an analytic nn-th root in GG; that is, there is an analytic function gg in GG such that gn=fg^{n} = f. Prove that ff has exactly nn analytic nn-th roots in GG.

(2)

Give an example of a continuous real valued function on [0,1][0,1] that has more than two continuous square roots on [0,1][0,1].

Problem 5.6.19
?
(1)

Prove that if ff is holomorphic on the unit disc D\mathbb {D} and f(z)≠0f(z) \neq 0 for all z∈Dz \in \mathbb {D}, then there is a holomorphic function gg on D\mathbb {D} such that f(z)=eg(z)f(z) = e^{g(z)} for all z∈Dz \in \mathbb {D}.

(2)

Does the conclusion of Part 1 remain true if D\mathbb {D} is replaced by an arbitrary connected open set in C\mathbb {C}?

Problem 5.6.20

Let the function ff be analytic in the region ∣z∣>1\left|z\right|>1 of the complex plane. Prove that if ff is real valued on the interval (1,∞)(1, \infty ) of the real axis, then ff is also real valued on the interval (−∞,−1)(-\infty , -1).

?
Problem 5.6.21

Let the function ff be analytic in the complex plane, real on the real axis, 00 at the origin, and not identically 00. Prove that if ff maps the imaginary axis into a straight line, then that straight line must be either the real axis or the imaginary axis.

?
Problem 5.6.22

Let the entire function ff be real valued on the lines Im(z)=0\mathrm{Im}\left(z\right) = 0 and Im(z)=π\mathrm{Im}\left(z\right) = \pi. Prove that ff has 2πi2\pi i as a period: f(z+2πi)=f(z)f(z+2\pi i) = f(z) for all zz.

?
Problem 5.6.23

Let f(z)f(z) be analytic for z≠0z \neq 0, and suppose that f(1/z)=f(z)f(1/z) = f(z). Suppose also that f(z)f(z) is real for all zz on the unit circle ∣z∣=1\left|z\right| = 1. Prove that f(z)f(z) is real for all real z≠0z \neq 0.

?
Problem 5.6.24

Let pp be a nonconstant complex polynomial whose zeros are all in the half-plane Im(z)>0\mathrm{Im}\left(z\right)>0.

?
(1)

Prove that Im((p′/p))>0\mathrm{Im}\left((p'/p)\right)>0 on the real axis.

(2)

Find a relation between deg⁡p\deg p and

∫−∞∞Im(p′(x)p(x)) dx. \int _{-\infty }^{\infty } \mathrm{Im}\left(\frac{p'(x)}{p(x)}\right) \, dx.
Problem 5.6.25

Let ff be an analytic function in the connected open subset GG of the complex plane. Assume that for each point zz in GG, there is a positive integer nn such that the nn-th derivative of ff vanishes at zz. Prove that ff is a polynomial.

?
Problem 5.6.26

Let the function ff be analytic in the entire complex plane, real valued on the real axis, and of positive imaginary part in the upper half-plane. Prove f′(x)>0f'(x)>0 for xx real.

?
Problem 5.6.27
?
(1)

Let UU and VV be open connected subsets of the complex plane, and let ff be an analytic function in UU such that f(U)⊂Vf(U) \subset V. Assume f−1(K)f^{-1}(K) is compact whenever KK is a compact subset of VV. Prove that f(U)=Vf(U) = V.

(2)

Prove that the last equality can fail if analytic is replaced by continuous in the preceding statement.

Problem 5.6.28

Let f=u+ivf = u+iv and g=p+iqg = p+iq be analytic functions defined in a neighborhood of the origin in the complex plane. Assume ∣g′(0)∣<∣f′(0)∣\left|g'(0)\right|<\left|f'(0)\right|. Prove that there is a neighborhood of the origin in which the function h=f+g‾h = f+\overline{g} is one-to-one.

?
Problem 5.6.29

Prove or disprove: If the function ff is analytic in the entire complex plane, and if ff maps every unbounded sequence to an unbounded sequence, then ff is a polynomial.

?
Problem 5.6.30

Determine the group Aut⁡(C)\operatorname {Aut}(\mathbb {C}) of all one-to-one analytic maps of C\mathbb {C} onto C\mathbb {C}.

?
Problem 5.6.31

Let f(z)f(z) be a nonconstant meromorphic function. A complex number ww is called a period of ff if f(z+w)=f(z)f(z+w) = f(z) for all zz.

?
(1)

Show that if w1w_{1} and w2w_{2} are periods, so are n1w1+n2w2n_{1}w_{1}+n_{2}w_{2} for all integers n1n_{1} and n2n_{2}.

(2)

Show that there are, at most, a finite number of periods of ff in any bounded region of the complex plane.

Problem 5.6.32

Let the function ff be analytic in the punctured disc 0<∣z∣<r00<\left|z\right|<r_{0}, with Laurent series

f(z)=∑−∞∞cnzn. f(z) = \sum _{-\infty }^{\infty } c_{n}z^{n}.

Assume there is a positive number MM such that

r4∫02π∣f(reiθ)∣2 dθ<M,0<r<r0. r^{4}\int _{0}^{2\pi } \left|f(re^{i\theta })\right|^{2} \, d\theta <M, \qquad 0<r<r_{0}.

Prove that cn=0c_{n} = 0 for n<−2n<-2.

?
Problem 5.6.33

Let a>0a>0. Show that the complex function

f(z)=1+z+az21−z+az2 f(z) = \frac{1+z+az^{2}}{1-z+az^{2}}

satisfies ∣f(z)∣<1\left|f(z)\right|<1 for all zz in the open left half-plane Re(z)<0\mathrm{Re}\left(z\right)<0.

?
Problem 5.6.34

Let ff be a continuous real valued function on [0,1][0,1], and let the function hh in the complex plane be defined by

h(z)=∫01f(t)cos⁡zt dt. h(z) = \int _{0}^{1} f(t)\cos zt \, dt.
?
(1)

Prove that hh is analytic in the entire plane.

(2)

Prove that hh is the zero function only if ff is the zero function.

Problem 5.6.35

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.

?
Problem 5.6.36

Let ff and gg be analytic functions in the open unit disc, and let CrC_{r} denote the circle with center 00 and radius rr, oriented counterclockwise.

?
(1)

Prove that the integral

12πi∫Cr1wf(w)g(zw) dw \frac{1}{2\pi i} \int _{C_{r}} \frac{1}{w}f(w)g\left(\frac{z}{w}\right) \, dw

is independent of rr as long as ∣z∣<r<1\left|z\right|<r<1 and that it defines an analytic function h(z)h(z), ∣z∣<1\left|z\right|<1.

(2)

Prove or supply a counterexample: If f≢0f \not\equiv 0 and g≢0g \not\equiv 0, then h≢0h \not\equiv 0.

Problem 5.6.37

Let FF be a continuous complex valued function on the interval [0,1][0,1]. Let

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

for zz a complex number not in [0,1][0,1].

?
(1)

Prove that ff is an analytic function.

(2)

Express the coefficients of the Laurent series of ff about ∞\infty in terms of FF. Use the result to show that FF is uniquely determined by ff.

Problem 5.6.38

Let f(z)f(z) be a meromorphic function on the complex plane. Suppose that for every polynomial p(z)∈Czp(z) \in \mathbb {C}^{z} and every closed contour Γ\Gamma avoiding the poles of ff, we have

∫Γp(z)2f(z) dz=0. \int _{\Gamma } p(z)^{2}f(z) \, dz = 0.

Prove that f(z)f(z) is entire.

?