27.08.2014 Views

Real and Complex Analysis (Rudin)

Real and Complex Analysis (Rudin)

Real and Complex Analysis (Rudin)

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

264 REAL AND COMPLEX ANALYSIS<br />

Exercises<br />

1 Suppose .1. is a closed equilateral triangle in the plane, with vertices a, b, c. Find<br />

max (I z - a I I z - b I I z - c I) as z ranges over .1..<br />

2 Supposefe H(II+), where 11+ is the upper half plane, <strong>and</strong> If I :s; 1. How large can 1f'(i)I be? Find<br />

the extremal functions. (Compare the discussion in Sec. 12.5.)<br />

3 Supposefe H(Q). Under what conditions can If I have a local minimum in Q?<br />

4 (a) Suppose Q is a region, D is a disc, jj c Q,fe H(Q),fis not constant, <strong>and</strong> If I is constant on the<br />

boundary of D. Prove thatfhas at least one zero in D.<br />

(b) Find all entire functionsfsuch that I f(z) I = 1 whenever Iz 1= 1.<br />

5 Suppose Q is a bounded region, {In} is a sequence of continuous functions on n which are holomorphic<br />

in Q, <strong>and</strong> {In} converges uniformly on the boundary of Q. Prove that {In} converges uniformly<br />

on n.<br />

6 Supposefe H(Q), r is a cycle in Q such that Ind r (IX) = 0 for all IX ¢ Q, Ifml :s; 1 for every' e P,<br />

<strong>and</strong> Ind r (z) # O. Prove that I f(z) I :s; 1.<br />

7 In the proof of Theorem 12.8 it was tacitly assumed that M(a) > 0 <strong>and</strong> M(b) > o. Show that the<br />

theorem is true if M(a) = 0, <strong>and</strong> that thenf(z) = 0 for all z e Q.<br />

8 If 0 < Rl < R2 < 00, let A(Rl> R2) denote the annulus<br />

{z: R. < Izl < R2 }.<br />

There is a vertical strip which the exponential function maps onto A(Rl> R 2). Use this to prove<br />

Hadamard's three-circle theorem: Iff e H(A(R 1, R 2)), if<br />

M(r) = max I f(re~ I<br />

<strong>and</strong> if Rl < a < r < b < R 2 , then<br />

log (b/r)<br />

log (r/a)<br />

log M(r) :s; log (b/a) log M(a) + log (b/a) log M(b).<br />

[In other words, log M(r) is a convex function of log r.] For which f does equality hold in this<br />

inequality?<br />

9 Let II be the open right half plane (z e II if <strong>and</strong> only if Re z > 0). Suppose f is continuous on the<br />

closure of II (Re z ~ 0),1 e H(II), <strong>and</strong> there are constants A < 00 <strong>and</strong> IX < 1 such that<br />

I f(z) I < A exp ( I z I")<br />

for all z e II. Furthermore, I f(iy) I :s; 1 for all real y. Prove that I f(z) I :s; 1 in II.<br />

Show that the conclusion is false for IX = 1.<br />

How does the result have to be modified if II is replaced by a region bounded by two rays<br />

through the origin, at an angle not equal to 7t?<br />

10 Let II be the open right half plane. Suppose that f e H(II), that I f(z) I < 1 for all z e II, <strong>and</strong> that<br />

there exists IX, -7t/2 < IX < 7t/2, such that<br />

log I f(re 1 ") I<br />

-----"-'-'--'--'-'-+ - 00 as r-+ 00.<br />

r<br />

Prove that f = O.<br />

Hint: Put gn(z) = f(z)e"z, n = 1,2,3, .... Apply Exercise 9 to the two angular regions defined by<br />

-7t/2 < 6 < IX, IX < 6 < 7t/2. Conclude that each gn is bounded in II, <strong>and</strong> hence that I gn I < 1 in II, for<br />

all n.<br />

11 Suppose r is the boundary of an unbounded region Q,f e H(Q), f is continuous on Q u r, <strong>and</strong><br />

there are constants B < 00 <strong>and</strong> M < 00 such that I f I :s; M on r <strong>and</strong> I f I :s; B in Q. Prove that we<br />

then actually have I f I :s; M in Q.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!