Solutions to Math. 185 Problems: Best Polynomial Approximation and Complex Integrals, Assignments of Mathematics

Solutions to various math problems, including best polynomial approximation and complex integrals. It covers topics such as the maclaurin series, maximum modulus theorem, residues, and cauchy's integral formula. Students studying advanced mathematics, particularly complex analysis, will find this document useful.

Typology: Assignments

Pre 2010

Uploaded on 10/01/2009

koofers-user-h1g
koofers-user-h1g 🇺🇸

10 documents

1 / 3

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Math. 185:
Solutions to Problems due Wed. 9 Apr. 2008
April 9, 2008 4:51 am
Prof. W. Kahan Page 1/3
0.
Exhibit a function ƒ(z)
,
continuous
(but not analytic) throughout the closed unit disk, to
which function ƒ(z) no polynomial can approximate arbitrarily closely thereon.
Answer 0
: Try ƒ(z) := 1 – |z|
2
. It is continuous. But no polynomial P can satisfy
|ƒ(z) – P(z)| < ß < 1/4 throughout the unit disk. This is so because P would have to satisfy
ß > |ƒ(z) – P(z)| = |P(z)| on the disk’s boundary |z| = 1 , and then the Maximum Modulus
Theorem would imply ß > |P(0)| too, forcing |ƒ(0) – P(0)| = |1 – P(0)| > 1 – ß > ß .
Polynomials can easily approximate arbitrarily closely to any function ƒ(z) analytic throughout the
closed
unit
disk. Then the Maclaurin series for ƒ converges in a larger disk of radius bigger than some r > 1 , and
converges in the closed unit disk at least as fast as a geometric series with common ratio 1/r < 1; this means that
the series’ first N terms constitute a polynomial that approximates ƒ as closely as desired if N is chosen big
enough.
The situation is more interesting when ƒ is analytic in the
open
unit disk but merely continuous towards and
along its boundary, or when ƒ is analytic throughout a closed bounded simply connected region with a piecewise
smooth boundary. But those are stories for another day about best polynomial approximation.
1(a).
As z traverses the unit circle
O
once counterclockwise, how many times does z
2
– 1/4
go around the origin? What is
O
2z·dz/(z
2
– 1/4) ?
Answers
: Twice. 4
π
ı
.
1(b).
As
Φ
increases from 0 to 2
π
, the expression (
e
3
ı
Φ
– 1/2)(2
e
–2
ı
Φ
+ 1) traces some
closed curve in the complex plane. How many times does that curve go around the origin?
Answer
: Once because (z
3
– 1/2)(2/z
2
+ 1) has 3 zeros and 2 poles inside the unit circle.
2.
Evaluate
E
z
7
·
e
sin(z)
·dz integrated around the ellipse E traced by z = 5·cos(t) + 2
ı
·sin(t)
as t increases from 0 to 2
π
.
Answer
: 0 , because the integrand is analytic inside and on E .
3.
Evaluate
O
e
z·sin(
π
z)
dz
/
(z – 1/2) integrated once counterclockwise around unit circle
O
.
Answer
:
π
·
ı
·
e
= 2
π
·
ı
·{ Residue of z·
e
z·sin(
π
z)
/
(z – 1/2) at z = 1/2 }.
4.
Use residues to evaluate real integrals
+
dx
/
(1 + x
2
) and
+
dx
/
(1 + x
2
)
2
, showing
what contour you use and which singularities you take into account.
Answers
:
π
and
π
/2 .
The contour is an infinite semicircle above its diameter, the real axis; the singularity is a pole
at z =
ı
; the residue there is –
ı
/2 for the first and –
ı
/4 for the second integral because
2
/
(z
2
+ 1) =
ı
/(z+
ı
) –
ı
/(z–
ı
) and 4
/
(z
2
+ 1)
2
=
ı
/(z+
ı
) –
ı
/(z–
ı
) – 1
/
(z+
ı
)
2
– 1
/
(z–
ı
)
2
.
The next six problems are intended to be solved in sequence.
pf3

Partial preview of the text

Download Solutions to Math. 185 Problems: Best Polynomial Approximation and Complex Integrals and more Assignments Mathematics in PDF only on Docsity!

0. Exhibit a function ƒ(z) , continuous (but not analytic) throughout the closed unit disk, to which function ƒ(z) no polynomial can approximate arbitrarily closely thereon.

Answer 0 : Try ƒ(z) := 1 – |z|^2. It is continuous. But no polynomial P can satisfy |ƒ(z) – P(z)| < ß < 1/4 throughout the unit disk. This is so because P would have to satisfy ß > |ƒ(z) – P(z)| = |P(z)| on the disk’s boundary |z| = 1 , and then the Maximum Modulus Theorem would imply ß > |P(0)| too, forcing |ƒ(0) – P(0)| = |1 – P(0)| > 1 – ß > ß.

Polynomials can easily approximate arbitrarily closely to any function ƒ(z) analytic throughout the closed unit disk. Then the Maclaurin series for ƒ converges in a larger disk of radius bigger than some r > 1 , and converges in the closed unit disk at least as fast as a geometric series with common ratio 1/r < 1; this means that the series’ first N terms constitute a polynomial that approximates ƒ as closely as desired if N is chosen big enough.

The situation is more interesting when ƒ is analytic in the open unit disk but merely continuous towards and along its boundary, or when ƒ is analytic throughout a closed bounded simply connected region with a piecewise smooth boundary. But those are stories for another day about best polynomial approximation.

1(a). As z traverses the unit circle O once counterclockwise, how many times does z^2 – 1/

go around the origin? What is ∫ O 2z·dz/(z^2 – 1/4)? Answers : Twice. 4π ı.

1(b). As Φ increases from 0 to 2π , the expression ( e^3 ı Φ^ – 1/2)(2 e –2 ı Φ^ + 1) traces some closed curve in the complex plane. How many times does that curve go around the origin?

Answer : Once because (z^3 – 1/2)(2/z^2 + 1) has 3 zeros and 2 poles inside the unit circle.

2. Evaluate ∫E z^7 · e sin(z)^ ·dz integrated around the ellipse E traced by z = 5·cos(t) + 2 ı ·sin(t)

as t increases from 0 to 2π. Answer : 0 , because the integrand is analytic inside and on E.

3. Evaluate ∫ O z· e z·sin(πz)^ dz/(z – 1/2) integrated once counterclockwise around unit circle O.

Answer : π· ı · √ e = 2 π· ı ·{ Residue of z· e z·sin(πz)^ /(z – 1/2) at z = 1/2 }.

4. Use residues to evaluate real integrals ∫–∞+∞^ dx /(1 + x^2 ) and ∫–∞+∞^ dx /(1 + x^2 )^2 , showing

what contour you use and which singularities you take into account. Answers : π and π/. The contour is an infinite semicircle above its diameter, the real axis; the singularity is a pole at z = ı ; the residue there is – ı /2 for the first and – ı /4 for the second integral because

2 /(z^2 + 1) = ı /(z+ ı ) – ı /(z– ı ) and 4 /(z^2 + 1)^2 = ı /(z+ ı ) – ı /(z– ı ) – 1/(z+ ı )^2 – 1 /(z– ı )^2.

The next six problems are intended to be solved in sequence.

5(a). Check that cot(z) = cos(z)/sin(z) has a simple pole at z = nπ for every integer n , and prove that cot(z) has no other singularities in the finite complex z-plane. What is the residue of cot(z) at each of its poles? Answer : When 1/cot(z) = tan(z) = 0 its derivative

1 + tan^2 (z) = 1 ≠ 0 so the zeros of tan are all simple poles of cot. Those zeros z = nπ are the

same as the zeros of 2 ı · e ı z^ sin(z) = e z^ – 1 all of which must be real because otherwise

| e 2ı z^ | ≠ 1. The residue of cot at each pole is 1 because it is the value of cos(z)/sin(z) ' there.

5(b). What is the residue of cot(z)/z at each of its poles? Hint: cot is an odd function.

Answer : cot(z)/z is even, so its residue is 0 at z = 0 ; at z = nπ ≠ 0 the residue is 1/(nπ).

6(a). For every integer n ≥ 0 let Cn be the boundary, traversed counterclockwise, of the z-

plane’s square in which neither |Re(z)| nor |Im(z)| exceeds nπ + π/2. Calculate ∫C n cot(z)·dz.

Answer : ∫C n cot(z)·dz = 2π ı (2n+1) = 2π ı ∑ ( Residues of cot(z) inside Cn ).

6(b). Calculate ∫C n cot(z)·dz/z. Answer : ∫C n cot(z)·dz/z = 0 because pairs of residues cancel.

7. Find a constant upper bound M for |cot(z)| on all of Cn by first treating each of its sides

separately. Of course, there are many choices available for M ; the smaller the better. Use it to show for any fixed complex w that ∫C n cot(z)dz/((z–w)z) → 0 as n → +∞. Answer : On

each Cn an upper bound Mn = 1 + 2/(e(2n+1)π^ – 1) < M := 2. Then for all n > |w|/π we find

|∫C n cot(z)dz/((z–w)z)| < M·(Cn ’s Perimeter)/((nπ+π/2 – |w|)(nπ+π/2)) = 8M/(nπ+π/2 – |w|) → 0.

8. What is the residue of cot(z)/(z – w) at each of its poles? Recall problem 5 to see how the answer depends upon whether w is a pole of cot. Suppose now that w lies inside Cn ; what

is ∫C n cot(z)dz/(z–w) and why is it not 2π ı ·cot(w)? Answer : If w ≠ nπ the residue of

cot(z)/(z–w) at z = nπ is 1/(nπ – w) , and the residue at z = w is cot(w) ; but if w = nπ = z the residue at z is 0. If w lies inside Cn , Cauchy’s Integral Formula says that 2π ı ·ƒ(w) =

∫C n ƒ(z)dz/(z–w) when ƒ is analytic on and inside Cn , as cot is not. Instead, provided w/π

is not an integer, ∫C n cot(z)dz/(z–w) = 2π ı ·( cot(w) + ∑–n≤k≤n 1/(kπ – w) ). This is an analytic

function of w with removable singularities at w = mπ for integers m between ±n inclusive, for which ∫C n cot(z)dz/(z–mπ) = 2 ı ·∑–n≤k≤n & k≠m 1/(k – m).

9. After checking 1/(w–z) = 1/w + z/((w–z)w) , use this and integrals in previous problems,

perhaps with z and w exchanged, to show that cot(z) = 1/z + 2·∑k≥ 1 z/(z^2 – k^2 π^2 ). Show

that this series for cot(z) converges uniformly in any compact region that contains no pole of cot. What does this imply for term-by-term integration of the series? ( It’s no power series.)

Answer : z·∫C n cot(w)dw/((w–z)w) = ∫C n cot(w)(1/(w–z) – 1/w) dw … now fix z inside Cn

= ∫C n cot(w)dw/(w–z) by Problem 6b …