Aero III/IV Conformal Mapping View complex function as a mapping Unlike a real function, a complex function w = f(z) cannot be represented by a curve. Instead it is useful to view it as a mapping. Write w = f(z) as u + iv = f(x + iy), which maps any point (x, y) in the z-plane to a corresponding point (u, v) in the w-plane. In this case, we have u(x, y), v(x, y) where u, v are functions of x, y. y z = x + iy w = f(z) v 0 x 0 w = u + iv u Figure : Complex function w = f(z) as a mapping. In general, we prefer the mapping is a one-to-one mapping: each point (u, v) in the w- plane, there corresponds one and only one point (x, y) in the z-plane. One useful criteria to make sure the mapping (x, y) (u, v) one-to-one is that the Jacobian does not vanish, i.e., ( u u) det = u v x y u v y x 0. x v x The basic concepts conformal mapping y v y A conformal mapping is a mapping that preserves angle. More precisely, if w = f(z) is a conformal mapping, γ (t) and γ (t) are two curves on the z-plane intersect at t 0, then the angle (measured in terms of the tangent direction) between f(γ (t)) and f(γ (t)) is the same as that between γ (t) and γ (t). Example. (A conformal mapping from the rst quadrant to the upper-half plane). Let w = f(z) = z, then f is a conformal mapping. We show this fact by by two curves γ (t) = + t + i, γ (t) = + ( + t)i,
which are two straight lines on the z-plane, and intersect with each other with right angle. w = f(z) = z γ (t) = + ( + t)i f(γ (t)) f(γ (t)) γ (t) = + t + i π/ π Figure : Two curves under the mapping w = f(z) = z. It is conformal except at the origin, where the angle is from π/ to π. These two curves are transformed into f(γ (t)) = t + t + ( + t)i, f(γ (t)) = t t + ( + t)i, and intersect at i. The tangents of both curves are d dt f(γ (t)) d = + i, t=0 dt f(γ (t)) = + i. t=0 The angle between the two tangents are the argument of their ratio, i.e. π/, the same as the angle between those of the original two curves. In general, if f is analytic and γ, γ are two curves on z-plane intersect at z 0 = γ (t 0 ) = γ (t 0 ), then f(γ (t)) and f(γ (t)) intersect at w 0 = f(z 0 ) = f(γ (t 0 )) = f(γ (t 0 )). We can calculate the tangents on the w-plane by chain rule, d dt f(γ (t)) = f (z 0 )γ (t d 0 ), t=t0 dt f(γ (t)) = f (z 0 )γ (t 0 ). t=t0 Therefore, when f (z 0 ) 0, Arg f (z 0 )γ (t 0 ) f (z 0 )γ (t 0 ) = Argγ (t 0 ) γ (t 0 ), and the angle between the curves are preserved. In fact, we have Theorem.. If w = f(z) is analytic and f (z 0 ) 0, then f is a conformal mapping.
(0, 0, ) (ξ, η, τ) z = x + iy Figure 3: The stereographic projection on the complex plane to the sphere ξ + η + (τ /) =. w = z i z+i y v x u z = +w w i Figure 4: The transformation between the upper half plane and the unit disk by w = (z i)/(z + i) and z = ( + w)i/( w). 3
The condition f (z 0 ) 0 is needed. For example, when f(z) = z, this condition f (z 0 ) 0 is not satised at the origin. In fact, the angle is doubled at this point. Two common conformal transformation are given in Figure 3 and Figure 4. If f is a conformal mapping near z 0, then f (z 0 ) = lim f(z) f(z 0 ) z z 0 z z 0 = lim f(z) f(z 0 ), z z 0 z z 0 or f (z 0 ) is the scale factor (of the length). The scale factor of the area of the transformation (x, y) (u, v) is given by the Jacobian matrix (u, v) (x, y) = u v x y v x u y = ( ) u + x ( ) u = f (z 0 ). y 3 Invariance of the Laplace equation (or harmonic functions) under conformal transformation First, we can show that the transformation by a conformal mapping actually transform harmonic functions (whose Laplacian is zero) to harmonic functions. Denition 3.. A function h(x, y) is said to be harmonic h + h = 0. x y if its Laplacian is zero, i.e., Theorem 3.. If the harmonic function h(x, y) is transformed to H(u, v) by the conformal mapping w = f(z) where z = x + iy and w = u + iv and f (z) 0, then H(u, v) is harmonic too. Proof. Using the change rule, h x = H u H(u(x, y), v(x, y)) = x u x + H v v x, Similarly, ( ) h x = H u u x + H v u u v x x + H u u x ( ) H u + u v x + H v v v x x + H v v x. ( ) h y = H u u y + H v u u v y y + H u u y ( ) H u + u v y + H v v v y y + H v v y. 4
Therefore, 0 = h x + h y = H u + H u v [ ( u ) + x ( u v x x + u ) v y y ( ) ] u + H y v + H u [ ( v ) ( ) ] v + x y ( ) u x + u + H y v ( ) v x + v. y Since u and v are the real and imaginary parts of the analytic function f, we have the Cauchy-Riemann condition u x = v y, u y = v x and ( ) ( ) u u + = x y Therefore 0 = h + h x y ( ) v + x = ( H u ( v y ) = f (z), u x + u y = 0, u x + u y = v x + v y = 0, + H v ) f (z). Since f (z) 0, H is harmonic too. 4 Solution of the Laplace equation on some simple domains Solution of the Laplace equation on the unit disk: To use the conformal mapping to nd the solutions of Laplace equation, we need the solution on a simple geometry, which is either the unit disk or upper half plane. The solution of the Laplace equation on the unit disk can be obtained in dierent ways. One way is to use the expansion, h(re iφ ) = n= c n r n e inφ, where the coecient c n is obtained by the boundary condition on the unit circle r =, i.e., or then h(re iφ ) = n= U(e iθ ) = n= c n e inθ, c n = π U(e iθ )e inθ dθ. π 0 c n r n e inφ = ( π ) r n e in(φ θ) U(e iθ )dθ π 0 n= The innite series inside the brackets can be evaluated explicitly, when decomposed into two geometric series, ( r n e in(φ θ) = ( + r n e in(φ θ) + r n e in(φ θ))) = r π π π r cos(θ φ) + r. n= n= 5
This gives the celebrated Poisson integral formula h(re iφ ) = π r π 0 r cos(θ φ) + r U(eiθ )dθ. () Alternatively, we can derive the same formula using Cauchy integral formula, by assuming the solution is analytic on the unit disk. For any z inside the unit disk, we have h(z) = h(ξ) πi ξ z dξ, 0 = h(ξ) πi ξ /z dξ, C where C is the unit disk and the second expression is zero because /z is outside the unit disk (h(ξ)/(ξ /z) is analytic on the unit disk). Therefore, we put these two expression, and using the parametrization ξ = e iθ on the unit circle, h(z) = h(ξ) πi C ( ξ z + ξ /z ) dξ = π U(e iθ ) π 0 Let z = re iφ then we get the same Poisson integral formula (). C ( ) e iθ z + e iθ dθ. e iθ /z Solve the Laplace equation on a wedge: The domain is dened to be the wedge {z : θ < arg z < θ }, on which φ = 0. The boundary condition is φ = 0 on arg z = θ 0 and φ = on arg z = θ. φ = θ 0 < arg z < θ φ = 0 Figure 5: The Laplace equation on the wedge {z : θ < arg z < θ }, with φ = 0 on arg z = θ 0 and φ = on arg z = θ. By the symmetry of the domain and the boundary condition, φ is a constant on the line arg z = θ for θ θ θ, or the solution is given by φ(x, y) = h(arg z) = h(arctan y ). x Therefore, φ(x, y) = h ( arctan y ) ( ) y/(x + y ) x x/(x + y ) 6
and φ(x, y) = x [ h ( arctan y ) y x ] [ ) x ] x + y + h ( arctan y x + y y x = h ( arctan y ) [ ] y x (x + y ) + x + h ( arctan y (x + y ) x = h ( arctan y ) x x + y. ) [ xy (x + y ) xy (x + y ) This implies that h 0 or h is a linear function. Using the boundary condition h(θ 0 ) = 0 and h(θ ) =, we get h(θ) = θ θ 0 θ θ 0 and the solution of the Laplace equation is φ(x, y) = h(arctan y x ) = arctan y x θ 0 θ θ 0. 5 Solving Laplace equation on complex domains by conformal mapping One of the applications of conformal mapping is to nd the solutions H(u, v) of the Laplace equations on complex domains from the solutions h(x, y) on simple domains, by identifying H(u, v) = h(x, y) and the points (u, v) is related to (x, y) by the conformal mapping f by u + iv = f(x + iy) or w = f(z). Example 5. (Solution of the Laplace equation on the upper half plane). If h(x, y) satises the Laplace equation on the upper half plane and h(x, 0) = H(x), nd h(x, y). The general conformal mapping to transform the upper half plane to the unit circle is w = (z z 0 )/(z z 0 ). It is clear that the point z 0 is transformed into the origin, and the real axis is transformed into the unit disk. To show the latter, when z = τ is real, w = τ z 0 τ z 0 = τ z 0 τ z 0 = τ z 0 τ z 0 =, or w on the unit circle. If we want to nd the solution at x+iy, we can choose the arbitrary point z 0 = x+iy, such that the solution on the transformed w-plane is evaluated at the origin has the simple form π U(e iθ )dθ, the average on the unit circle. We still have to nd transform this integral in π 0 terms of the boundary condition H(τ) = U(e iθ ), by the transformation e iθ = (τ z 0 )/(τ z 0 ). Then Finally, h(x, y) = π e iθ idθ = z 0 z 0 (τ z 0 ) dτ, or dθ = z 0 z 0 i (τ z 0 )(τ z 0 ) dτ. π 0 U(e iθ )dθ = πi (z 0 z 0 )H(τ) (τ z 0 )(τ z 0 ) dτ = π 7 yh(τ) (x τ) + y dτ. ]
z 0 = x + iy w = z z 0 z z 0 Figure 6: The upper half plane is mapped to the unit disk by w = (z z 0 )/(z z 0 ). Here the real axis is mapped to the unit circle and the point z 0 is mapped to the origin in the w-plane. Example 5. (Transformation of the ow pattern). For a uniform idea ow on the upper half plane whose velocity is given by (u, u ) = (U, 0). The upper half plane can be mapped to the rst quadrant by w = z /. To see the resulting ow on the rst quadrant on the w-plane using conformal mapping, we must introduce the velocity complex function Ω(z) = φ(x, y) + iψ(x, y), where φ is the velocity potential and ψ is the stream function, i.e., u = φ x = ψ y, u = φ y = ψ x. w = z / U For the uniform idea ow, Ω(z) = Uz and is analytic. To nd the complex velocity potential Ω(w) on the rst quadrant on the w-plane, we have Ω(w) = Ω(z) = Uz = Uw = U(u v + uvi), 8
with φ(u, v) = u v and ψ(u, v) = uv. Therefore, the velocity on the rst quadrant is ũ = φ u = Uu, ũ = φ v = Uv. Remark. The key point to apply the transformation is that, if (x, y) is transformed to the point (u, v), then h(x, y) = H(u, v). 6 Bilinear Transformation A bilinear transformation (or Mobius transformation) w = f(z) is a mapping with f(z) = az + b, ad bc 0. cz + d The condition ad bc 0 is needed here, otherwise, f(z) is a constant (independent of z). We have the following three basic Mobius Transformations: i) Translation: f(z) = z + b ii) Dilation (or multiplication): f(z) = az iii) Inversion: f(z) = /z Any general Mobius transformations can be written as a composition of the above three building blocks. Exercise. Find the bilinear transformation that carries the points,, i on the z-plane to the following points on the w-plane: (a)i,, + i; (b), i,. The transformation between dierent regions are characterized by the fact that their boundaries are transformed from one to another. Therefore, we are going to focus on the transformations of the boundaries (curves on the complex plane), the corresponding domains reside on either side of the domain. In general, there are two ways to nd the resulting curves, either by writing the transformation in terms of the real and imaginary parts (pure real variables) in the whole process or manipulating using the complex numbers and then transforming back to u, v, as in the following examples. Example 6.. Find the curve x y = under the inversion. (pure real variables). We have to nd the change of variable x, y in terms of u, v, using the denition of inversion. x + iy = z = /w = u + iv = u iv u + v or x = u/(u + v ), y = v/(u + v ). Substituting it into the equation for the curve in z-plane, = x y = u v (u + v ). 9
(complex variables method ). The equation x y = is equivalent to ( ) ( ) z + z z z = (Rez) (Imz) = = z + z. i The mapping w = /z can be written as z = /w, z = / w. Substituting them into the equation, we have = ( w + w ). Finally, put w = u + iv, w = u iv into this equation, we get the same equation for the curve on the w-plane. Exercise. Consider the following bilinear transformation w = f(z) = iz z i. (a) Determine the invariant points of the transformation (those points such that z = f(z)). (b) Find the point ξ for which the equation f(z) = ξ has no solution for z in the nite complex plane. (c) Show that the imaginary axis is mapped onto itself. (d) Determine the image of the disc z <. Example 6. (Laplace equation between two circles). Let D be the regime between the two circles z = and z /5 = /5. If f satises the Laplace equation on D, f = 0 on z = and f = on z /5 = /5, nd f using the Mobius transformations w = (z )/(z ). w = z z /5 Figure 7: Laplace equation between two circles. 0
The transformation w = (z )/(z ) can be written as z = (w )/(w ). Therefore the circle z = is transformed to (w )/(w ) =. Write the equation in terms of w = u + iv, (u + iv )/(u + iv ) = or u + v =. Therefore, the unit disk z = is mapped to the unit disk w =. Similarly, the circle z /5 = /5 is mapped to 5 = w w 5 = w 8 5(w ) = u 8 + iv 5(u + iv), or u + v = 4. Therefore, the circle z /5 = /5 is mapped to w =. On the w-plane, let the solution of the Laplace equation with value zero on w = and one on w = be F (u, v), then F depends only on R = u + v and in this radial coordinate 0 = F u + F v = d R dr RdF dr. The general solution is F = c + c ln R. Using the boundary condition F = 0 when R = and F = when R =, we get F = ln R = ln ln ln(u + v ). To nd the solution on the z-plane, we have to transform (u, v) using (x, y). From the denition of the mapping, u + iv = w = z z = x + iy x + iy Taking the real and imaginary parts of both sides, u = x + y 5x + (x ) + 4y, v = Finally, the solution of the Laplace equation is = (x + iy)(x iy) (x ) + 4y. 3y (x ) + 4y. f(x, y) = ln ln(u + v ) = ln ln (x + y 5x + ) + 9y ((x ) + 4y ). Remark. The transformation w = (z )/(z ) is not unique. In fact there are innitely many mapping the two non-concentric circles to concentric circles. Another confusing fact is that even though the circle is mapped to a circle, their centres are NOT mapped to each other. Remark. Early we know that the equation z z / z z = λ is a circle (called the Circle of Appollonius), which is equivalent to z λ z z λ = λ λ z z. Use this fact to verify the transformations between circles in this section.
7 Joukowski transformation Another important transformation with applications in airfoil design is the Joukowski transformation w = f(z) = z + z. Sometimes, it is also written as f(z) = ( z + /z ) or f(z) = z + c /z for some positive constant c. This transformation usually maps the circle (not centred at the origin) to some domain resembling the shape of an airfoil. Exercise. Show that the circle z = a( ) in the z-plane is mapped into the ellipse in the w-plane: u A + v B =, A = a + /a, B = a /a. Show also that the circle z = is mapped to the line segment from to. y w = z + /z a A u B A v x a = B z = a Figure 8: The circle z = a is mapped to an ellipse or a line segment by w = z + /z. Remark. The Joukowski transformation is a conformal mapping when z 0 and z ±. The goal is to choose the right center z 0 and the radius r 0, such the circle z z 0 = r 0 is mapped to an aerofoil (see Figure 9). The extra conditions are:. The point z = (where w = z + /z is NOT conformal) is always on the circle z z 0 = r 0, and is mapped to w =. This makes sure that the ow from the upper and lower edge (the trailing edge) near w = can join smoothly.. The other two point z = 0 and z = (where w = z + /z is NOT conformal too) is always INSIDE the circle z z 0 = r 0.
y u r 0 w = f(z) = z + /z z 0 0 x v Figure 9: The Joukowski transformation maps the circle to an aerofoil. Figure 0: The aerofoil generated from the circle z z 0 = r 0 by the Joukowski mapping w = z + /z. Here z 0 = 0. + 0.i and r 0 = z 0. w(z) = z + /z z = a C α Attack angle α z = (w + w ) Figure : Ideal ow past an elliptic cylinder 3
Example 7. (Application to ideal ows with non-zero attach angle). If we can solve the problem of ow past a circular cylinder, then we can solve the problem of the ow past an elliptic cylinder (or more general aerofoil, but you may need computer to do the calculation). Consider the ow past a circular cylinder of radius a >. In the z-plane, the complex potential U = φ + iψ is U(z) = ze iα + a z eiα, where α is the attack angle. The physical problem is dened in the w-plane. Suppose the complex potential is W (w) = U(z), then (ρ is the density of the uid). Force exerted on the body: F u if v = iρ C ( ) dw dw dw. Moments: { M = ρ ( ) dw Re w dw} C dw We can nd both the force and the moment, using the Joukowski transformation and the known complex potential U. Can you show the force is zero by some simple argument? From U(z) = W (w) with w = z + /z, we get dw dw = du dz (e dz dw = iα a z eiα ) ( dw dz ) ) = (e iα a z eiα ( /z ). Therefore, M = ρ Re = ρ Re z =a z =a ( z + ) ) (e iα a z z }{{} eiα ( /z ) ( z ) }{{} w ( dw dw ) z(z + ) z ) (e iα a z eiα dz dz } {{ } dw dz The integrand has two simple poles at z = and z = (remember here a > ) and one triple pole at z = 0. Using residual calculus (a complicated calculation), we get M = ρ 4π sin α = πρ sin α. Remark. You can nd many applets online to tune the parameters, and in general you have to use a computer to nd the optimal set of parameters (like the position of the circle to be mapped from, the amount of circulation, the attack angle...) 4