1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Conformal Mapping - Can't Prove Analyticity

  1. Dec 11, 2012 #1
    1. The problem statement, all variables and given/known data

    We have the conformal map w = f(z) = z + K/z.

    Prove this mapping is indeed conformal.

    2. Relevant equations

    z = x + iy

    A map w = f(z) is conformal if it is analytic and df/dz is nonzero.

    f(z) = u(x,y) + iv(x,y)

    3. The attempt at a solution

    df/dz = 1 - Kz^-2 =/= 0 for finite z, nonzero derivative condition met.

    Attempting to prove its analytic:

    f(z) = z + K/z = x+iy + K/(x+iy) = x+iy + K(x-iy)/(x+iy)(x-iy) = x+iy + K(x-iy)/(x^2+y^2)

    = [x + Kx/(x^2+y^2)] + i [y - Ky/(x^2+y^2)] = u(x,y) + iv(x,y)

    u(x,y) = x + Kx(x^2+y^2)^-1
    v(x,y) = y - Ky(x^2+y^2)^-1

    du/dx = 1 - Kx(x^2+y^2)^-2 * 2x
    dv/dy = 1 + Ky(x^2+y^2)^-2 * 2y

    they aren't equal therefore they do not satisfy Cauchy-Riemann relations, and the function is not analytic. However I'm directly told that it MUST be analytic because it is a conformal map. Did I make a mistake or is the problem mistyped?
     
  2. jcsd
  3. Dec 11, 2012 #2
    Never mind I made a dumb mistake, it works.
     
  4. Dec 11, 2012 #3

    pasmith

    User Avatar
    Homework Helper

    The Cauchy-Riemann equations are conditions for two functions [itex]\mathbb{R}^2 \to \mathbb{R}[/itex] to be the real and imaginary parts of a differentiable function [itex]\mathbb{C} \to \mathbb{C}[/itex]. But to prove analyticity you didn't need to show that the real and imaginary parts of [itex]f(z) = z + K/z[/itex] satisfy the Cauchy-Riemann equations, because you already knew that [itex]f'(z)[/itex] exists for all [itex]z \neq 0[/itex] and is equal to [itex]1 - K/z^2[/itex].

    Also, doesn't [itex]f'(\sqrt K) = f'(-\sqrt K) = 0[/itex]? Your function is then conformal on the open set [itex]\mathbb{C} \setminus \{\sqrt K, 0, -\sqrt K\}[/itex].
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Conformal Mapping - Can't Prove Analyticity
  1. Conformal Mappings (Replies: 1)

  2. Conformal mapping (Replies: 4)

  3. Conformal Mapping (Replies: 7)

Loading...