Docsity
Docsity

Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity


Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan


Guidelines and tips
Guidelines and tips

Vector Analysis: Example Sheet 4 Hints and Solutions, Slides of Mathematical Methods

Hints and solutions for example sheet 4 of a vector analysis course. It covers various topics such as complex analysis, cauchy's integral formula, and power series. Students can use this document to check their understanding of these concepts and to prepare for exams.

Typology: Slides

2010/2011

Uploaded on 09/07/2011

beverly69
beverly69 🇬🇧

4

(8)

242 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
MA231 Vector Analysis
Example Sheet 4: Hints and partial solutions
2010, term 1
Stefan Adams
A1 (b) If f=u(x,y ) + iv(x, y)then u=so that vy=ux= 0 and vx=uy= 0. Hence vis a
constant. (c) uxx = (vy)x=vxy and uyy = (vx)y=vxy .
A2 (a) 2i/3. (b) 1.
A3 (a) (i) 2πie. (ii) π. (iii) 0. (b) 2πie
(n1)! .
A4 (i) 0, (ii) π, (iii) π, (iv) 0, (v) π.
A5 Integrate around the semicircle γ=γ1γ2where γ1(t) = Reit for t[0, π]and γ2(t) = t
for t[R, R]. (a) |z22z+ 2|≥|z2| |2z| 2 = R22R2for zγ1by the triangle
inequality. Use this to show |f(z)| 1/(R22R2) for zγ1and hence, using the estimation
lemma, that Rγ1fdz0as R .Rγ2f(z) dzR
−∞
cos(πx)
x22x+2 dx+iR
−∞
sin(πx)
x22x+2 dx.
z22z+ 2 = (z(1 + i))(z(ii)) so that f(z)is holomorphic on and inside γexcept at
z= 1 + i. Hence by Cauchy’s integral formula Rγ= 2πi eπiz
z(1i)
z=1+i=πeπ. Conclude
that R
−∞
cos(πx)
x22x+2 dx=πeπand R
−∞
sin(πx)
x22x+2 dx= 0.
B1 (a) Applying the CR equations to f(x+iy) = u(y) + iv(x)gives v0(x) = u0(y)for all
x, y R. Thus u0and v0are constant and thus fis of the form f(z) = ay +b+i(cx +d)for
some a, b, c, d R. Using the condition from the CR equations again gives the claim. (b)
fis differentiable at the origin and nowhere else. gis differentiable on the circline around
the origin with radius 1. Both functions are nowhere holomorphic. (c) Only a=b=1
guarantees that the function is complex differentiable on C.f1,1(z)=eiz.
B2 (a) parametrise the three sides of the triangle separately. From 1to i:Rγ1f=i, from ito
1:Rγ2f=i, from 1to 1:Rγ3f= 0. Thus the result is 2i. This can be also derived
from example 15.6 in the lecture where it was shown that Rγzdz= 2i(area enclosed). (b)
Imitate the proof for R∂B(0,)f(z)/z = 2πif (0) from the lecture. (c) (i) 2πi(i3) = 2π+i6π
by Cauchy’s integral formula. (ii) Use Cauchy’s representation for the coefficient c2=f(2)(1)/2
in the power series of f(z)=ez2about z= 1.
B3 (a) the integrals are zero . . .(i) by the Cauchy integral formula, (ii) by Cauchy’s theorem, and
(iii) by the fundamental theorem of calculus ((z2)2/2is a primitive). (b) Integrals are
zero for b < π/2respectively a < 1. For b > π/2resp. a > 1one gets RC
ez
(ziπ/2)2dz=2π
and RC
z34z2+sin z
(z1)3dz=(2 + sin 1).
B4 Imitate the calculation from the lecture. Result: R
−∞ sin2(x)/x2dx=π.
C1 v(x, y) = p|xy|vanishes along the axes so has zero partial derivatives at the origin. The
Cauchy-Riemann equations do hold at the origin. However limr0f(re)
re =i|cos θsin θ
cos θ+isin θ
which varies as θvaries so that limz0f(z)f(0)
zdoes not exist.
C2 If f=u(x, y)+iv (x, y)then u2+v2= 0. Differentiate to find uux+vvx= 0 and uuy+vvy= 0.
Combine these with the Cauchy-Riemann equations to show that uand vare constants.
C2 f0(z)is also holomorphic on Cand so from question A4 we know that f0(z)is a linear function
and hence that fis a quadratic, namely f(z) = f(0) + zf 0(0) + z2(f00 (0)/2). The hypothesis
implies that f0(0) = 0. Also by applying Cauchy’s integral formula to f0(z)we have that
|f00(0)|
1
2πi R∂B (0,1)
f0(z)
z2dz
1.
C3 (a) Use the quotient rule for differentiating. (b) By the uniqueness theorem (1+ z)kmust have
the same power series inside |z|<1as the real power series known via the binomial theorem
on R.
pf2

Partial preview of the text

Download Vector Analysis: Example Sheet 4 Hints and Solutions and more Slides Mathematical Methods in PDF only on Docsity!

MA231 Vector Analysis

Example Sheet 4: Hints and partial solutions

2010, term 1 Stefan Adams

A1 (b) If f = u(x, y) + iv(x, y) then u = so that vy = ux = 0 and vx = −uy = 0. Hence v is a constant. (c) uxx = (vy )x = vxy and uyy = (−vx)y = −vxy.

A2 (a) 2 i/ 3. (b) 1.

A3 (a) (i) 2 πie. (ii) π. (iii) 0. (b) (^) (n^2 πi−1)!e.

A4 (i) 0 , (ii) π, (iii) −π, (iv) 0 , (v) π.

A5 Integrate around the semicircle γ = γ 1 ∪ γ 2 where γ 1 (t) = Reit^ for t ∈ [0, π] and γ 2 (t) = t for t ∈ [−R, R]. (a) |z^2 − 2 z + 2| ≥ |z^2 | − | 2 z| − 2 = R^2 − 2 R − 2 for z ∈ γ 1 by the triangle inequality. Use this to show |f (z)| ≤ 1 /(R^2 − 2 R−2) for z ∈ γ 1 and hence, using the estimation lemma, that

γ 1 f^ dz^ →^0 as^ R^ → ∞.^

γ 2 f^ (z) dz^ →^

−∞

cos(πx) x^2 − 2 x+2 dx^ +^ i^

−∞

sin(πx) x^2 − 2 x+2 dx. z^2 − 2 z + 2 = (z − (1 + i))(z − (i − i)) so that f (z) is holomorphic on and inside γ except at z = 1 + i. Hence by Cauchy’s integral formula

γ = 2πi^

eπ^ iz z−(1−i)

z=1+i

= −πe−π^. Conclude

that

−∞

cos(πx) x^2 − 2 x+2 dx^ =^ −πe

−π (^) and ∫^ ∞ −∞

sin(πx) x^2 − 2 x+2 dx^ = 0. B1 (a) Applying the CR equations to f (x + iy) = u(y) + iv(x) gives v′(x) = −u′(y) for all x, y ∈ R. Thus u′^ and v′^ are constant and thus f is of the form f (z) = ay + b + i(cx + d) for some a, b, c, d ∈ R. Using the condition from the CR equations again gives the claim. (b) f is differentiable at the origin and nowhere else. g is differentiable on the circline around the origin with radius 1. Both functions are nowhere holomorphic. (c) Only a = b = − 1 guarantees that the function is complex differentiable on C. f− 1 ,− 1 (z) = eiz^.

B2 (a) parametrise the three sides of the triangle separately. From 1 to i:

γ 1 f^ =^ i, from^ i^ to − 1 :

γ 2 f^ =^ i, from^ −^1 to^1 :^

γ 3 f^ = 0.^ Thus the result is^2 i.^ This can be also derived from example 15.6 in the lecture where it was shown that

γ z^ dz^ = 2i(area enclosed).^ (b) Imitate the proof for

∂B(0,) f^ (z)/z^ = 2πif^ (0)^ from the lecture. (c) (i)^2 πi(i

(^3) ) = − 2 π + i 6 π by Cauchy’s integral formula. (ii) Use Cauchy’s representation for the coefficient c 2 = f (2)(1)/ 2 in the power series of f (z) = ez

2 about z = 1.

B3 (a) the integrals are zero... (i) by the Cauchy integral formula, (ii) by Cauchy’s theorem, and (iii) by the fundamental theorem of calculus (−(z − 2)−^2 / 2 is a primitive). (b) Integrals are zero for b < π/ 2 respectively a < 1. For b > π/ 2 resp. a > 1 one gets

C

ez (z−iπ/2)^2 dz^ =^ −^2 π and

C

z^3 − 4 z^2 +sin z (z−1)^3 dz^ =^ −iπ(2 + sin 1).

B4 Imitate the calculation from the lecture. Result:

−∞ sin

(^2) (x)/x (^2) dx = π.

C1 v(x, y) =

|xy| vanishes along the axes so has zero partial derivatives at the origin. The Cauchy-Riemann equations do hold at the origin. However limr→ 0 f^ (re

iθ (^) ) reiθ^ =^

i

| cos θ sin θ cos θ+i sin θ which varies as θ varies so that limz→ 0 f^ (z)− z f^ (0)does not exist.

C2 If f = u(x, y)+iv(x, y) then u^2 +v^2 = 0. Differentiate to find uux+vvx = 0 and uuy +vvy = 0. Combine these with the Cauchy-Riemann equations to show that u and v are constants.

C2 f ′(z) is also holomorphic on C and so from question A4 we know that f ′(z) is a linear function and hence that f is a quadratic, namely f (z) = f (0) + zf ′(0) + z^2 (f ′′(0)/2). The hypothesis implies that f ′(0) = 0. Also by applying Cauchy’s integral formula to f ′(z) we have that |f ′′(0)| ≤

∥ (^21) πi

∂B(0,1)

f ′(z) z^2 dz

∥ ≤^1.

C3 (a) Use the quotient rule for differentiating. (b) By the uniqueness theorem (1 + z)k^ must have the same power series inside |z| < 1 as the real power series known via the binomial theorem on R.

C4 (a) |ck| =

∥ (^21) πi

∂B(0,R)

f (z) zk+1^ dz

∥ ≤ (^21) πRMk+1 2 πR = (^) RMk. Apply this with M = 1 + R and let R → ∞ to see that ck = 0 whenever k > 1. (b) Apply the bound from part (a) with M = A + BRL^ and let R → ∞ to see that ck = 0 whenever k > L.

C5 Zeros at ±i, ± 2 i. The usual semicircle contour therefore has 2 singularities inside it. Bound the integral around the top of the semicircle using z

2 (z^2 +1)(z^2 +4) ≤^

R^2 (R^2 −1)(R^2 −4) when^ |z|^ =^ R is larger than 2. The final integral has value π/ 3.

C

0 cos

(^2) t dt = √π/ 8. The hard part is to bound ∫ γ 2 f^ (z) dz.^ By the estimation lemma this is bounded by

∫ R

0 e

−R^2 cos(2t)R dt. Now use the fact that cos(2t) ≥ 1 − (4t/π) for t ∈ [0, π/4] (draw the two functions on this interval). This implies that

γ 2 f^ (z) dz^ ≤ R

∫ R

0 e

−R^2 e− 4 R^2 t/π (^) dt which can be exactly calculated.