

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community for help and clear up your study doubts
Discover the best universities in your country according to Docsity users
Free resources
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
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
1 / 2
This page cannot be seen from the preview
Don't miss anything!
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
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
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
0 e
−R^2 e− 4 R^2 t/π (^) dt which can be exactly calculated.