Fritz Hörmann MATH 316: Complex Analsis Fall 2010 Solutions to exercise sheet 2 1 Möbius transformations: Prove that (a the group of Möbius transformations Aut(Ĉ acts transitivel on the set of circles in Ĉ (as defined in the lecture, (b four points z 0, z 1, z 2, z 3 Ĉ lie on a circle, if and onl if the cross-ratio (z 0, z 1, z 2, z 3 is in R, that is, either real or equal to infinit Hint: Do not calculate! For a, use the fact that 3 different points in Ĉ determine a unique circle Reduce b (using the invariance of the cross-ratio under Möbius transformations to the case z 1 = 1, z 2 = 0, z 3 = (a We learned during the course that for pair of triples of disjoint numbers z 1, z 2, z 3 Ĉ and w 1, w 2, w 3 Ĉ, there is a Möbius transformation f M with f(z i = w i for i = 1, 2, 3 It is obvious that 3 disjoint points determine a unique circle in Ĉ (either the lie on a line or determine a classical circle in C We learned also that f M transforms circles in Ĉ into circles in Ĉ (Observe that this means that 1 a classical circle is transformed either into a line or into a classical circle and that 2 a line is also transformed either into a classical circle or into a line Let now circles C, C in Ĉ be given and choose 3 different points z 1, z 2, z 3 C and 3 different points w 1, w 2, w 3 C Consider the Möbius transformation f M as above It has to send the circle C to the circle C because it sends C to some circle but there is onl one circle going through w 1, w 2, w 3 (b First assume that z 0, z 1, z 2, z 3 are disjoint Choose a Möbius transformation f M sending the triple z 1, z 2, z 3 to the triple 1, 0, We have (z 0, z 1, z 2, z 3 = (f M (z 0, f M (z 1, f M (z 2, f M (z 3 = (f M (z 0, 1, 0, = f M(z 0 0 1 0 = f M (z 0 (here the invariance of the cross-ratio under Möbius transformations, proven in the lecture, is used Therefore the cross-ratio is real, if and onl if f M (z 0 is real Since the circle in Ĉ going through the 3 points 1, 0, Ĉ is R = R { }, we can formulate this as follows The cross-ratio is real, if and onl if f M (z 0 lies on the circle through 1, 0, B the argument from (a, this is equivalent to z 0 ling on the circle through f 1 1 1 M (1, fm (0, fm (, which are the points z 1, z 2, z 3 Hence the cross-ratio is real, if and onl if z 0 lies on the circle determined b z 1, z 2, z 3, that is, all 4 points lie on one circle If 2 or more of the z i coincide, the cross-ratio is but the 4 points then obviousl lie on a circle, too 2 Complex differentiabilit: Decide for the following functions f : C C whether the are (1 continuous at 0, (2 partiall differentiable at 0 in x and direction (identifing C with R 2 as usual, (3 real differentiable at 0 (identifing C with R 2 as usual, (4 complex differentiable at 0, (5 holomorphic in a neighborhood of 0 (for example a small disc around (a f(z := z
(b f(z := z (c f(z := z 2 (d f(z := 0 if x or z = 0, f(z := 1, otherwise (e f(z := 3 for z 0 and f(0 := 0 x 2 + 2 (f f(z := u(z + iv(z, where u(z := exp(x cos( and v(z := exp(x sin( (g f(z := u(z + iv(z, where u(z := x 3 3x 2 and v(z := 3x 2 3 (h f(z := g(z for an holomorphic function g where we wrote z = x + i Summarize our answers in a table! You do not have to give proofs We use freel the following fact from real analsis: If we have given an function which is of the form f(z = f : R 2 = C C = R 2 ( fx (z = f f (z x (z + if (z z = x + i for f x (z and f (z are an composition of algebraic expressions and/or smooth functions in x and, then f is real differentiable These are: addition, subtraction, multiplication, divison (with non-zero denominator!, sin, cos, exp, etc Observe also that for the above conditions (5 (4 (3 (2 and (3 (1 but not necessaril (2 (1 This exercise shows in particular that no other implications are possible (a f(z = z The function is obviousl real-differentiable at z = 0, b what was said in the beginning For complex differentiabilit, we have to see whether the Jacobian matrix at z = 0 is of the form ( a b (which means that it is C-linear the same as multiplication b m = a + bi or, in other words, whether the Cauch-Riemann equations are satisfied there We have here f x (x + i = x and f (x + i = Therefore (z = ( 1 0, 0 1 even for all z C, which is not of the form required for complex differentiabilit (b f(z = z is obviousl continuous, but alread its restriction to the real line, which coincides with the usual real absolute value, is not differentiable at x = 0 In other words, it is not partiall differentiable in x direction, hence neither real- nor complex differentiable (c f(x + i = f x (x + i = x 2 + 2 is real-differentiable (at an point b what was said in the beginning Its Jacobian matrix is given b (z = ( 2x 2, 0 0 which is of the form required for complex differentiabilit onl at z = 0 This is kind of an accident and the function is not holomorphic (on an neighborhood of z = 0
(d The function first of all is obviousl not continuous at z = 0: For the sequence z k = x k + ix k with an real zero-sequence x 1, x 2, (with non-zero terms we have lim z k = 0 lim f(z k = 1, but for the sequence z k = x k, we have lim z k = 0 lim f(z k = 0 Nevertheless, its restrictions to the x and -axes are both identicall zero, hence f is partiall differentiable in these directions (e First f is continuous at 0 because we have 3 x 2 + 2 = 3 z 2 z 3 z 2 = z Furthermore, the partial derivatives in x and direction exist and we get the following potential (! Jacobian matrix: ( 0 1 J = (0 = 0 0 Now remember: Real differentiabilit means that we can write f in a neighborhood of z = 0 as follows ( x f(z = f(0 + J + z r(z, where r is continuous at 0 with r(0 = 0 Hence we have to investigate, whether is continuous at 0 We get for z 0: x f(z f(0 J r(z = z z 0 0 z = 0 r(z = 3 z 3 z = z ( 2 z 2 1 The sequence z k = x k + ix k for an real zero-sequence x 1, x 2, leads to r(z k = x k ( x2 k 2x k 4x 2 1 = 3 k 8 which is not zero Hence f is not real-differentiable at 0 even though it is partiall differentiable at z = 0 (even in an direction (f f is obviousl real-differentiable b what was said in the beginning We have to check the Cauch-Riemann conditions The Jacobian matrix is given b ( exp(x cos( exp(x sin( (z = exp(x sin( exp(x cos(
( a b This is of the form for all z Hence f is holomorphic on the whole complex plane Remark: We see in addition: f (z = f(z for all z Meanwhile, we learned f(z = exp(z is the complex exponential function (g f is obviousl real-differentiable b what was said in the beginning We have to check the Cauch-Riemann conditions The Jacobian matrix is given b ( 3x (z = 2 3 2 3x 3x 3x 2 3 2 ( a b This is of the form for all z Hence f is holomorphic on the whole complex plane Remark: We see in addition: f (z = 3(x 2 2 + ix for all z, which ou ma recognize as f (z = 3z 2 and indeed f(z = z 3, written out in x, coordinates (h Obviousl the function f is real-differentiable because it is a composition of real-differentiable functions Remember that we saw in (a that h : z z is everwhere real-differentiable with Jacobian matrix given b ( 1 0 J(h, z = 0 1 Hence the Jacobian matrix of the function f = h g h at z is given b ( ( 1 0 1 0 J(g, z 0 1 0 1 b the real-analtic chain rule Here J(g, z is the Jacobian matrix of g at z It is of the form ( a b b a for an z because g is holomorphic The calculation ( ( ( 1 0 a b 1 0 0 1 0 1 ( a b = shows that also f is holomorphic everwhere with f (z = g (z Summarized: (a (b (c (d (e (f (g (h (1 x x x x x x x (2 x x x x x x x (3 x x x x x (4 x x x x (5 x x x 3 Cauch-Riemann operator: Let U C be open and f : U C be a real differentiable function (at ever point in U Show that f is holomorphic, if and onl if ( = ( 0, where := 1 2 + i Show furthermore that in this case f (z =, where := 1 2 i
Since f(z = f x (z + if (z is assumed to be real-differentiable everwhere, being holomorphic is equivalent to the validit of the Cauch-Riemann equations everwhere The express the condition that the Jacobian matrix J(f, z = is of the form ( a(z b(z b(z a(z We have then f (z = a(z + b(zi Let us check what = 0 means: This is zero obviousl, if and onl if we have and (z = 1 ( 2 + i = 1 ( x 2 + i + i( + i = 1 2 + i( + = = Furthermore, if f is holomorphic we have = 1 ( 2 i = 1 ( x 2 + i i( + i = 1 2 + + i( = a(z + b(zi = f (z