|
|
|
|
proof of conformal mapping theorem
|
(Proof)
|
|
|
Let $D\subset\mathbb{C}$ be a domain, and let $f\colon D\to\mathbb{C}$ be an analytic function. By identifying the complex plane $\mathbb{C}$ with $\mathbb{R}^2$ we can view $f$ as a function from $\mathbb{R}^2$ to itself: $$ \tilde f(x,y):=(\Re f(x+iy), \Im f(x+iy))=(u(x,y),v(x,y)) $$ with $u$ and $v$ real functions. The Jacobian matrix of $\tilde f$ is $$ J(x,y)=\frac{\partial(u,v)}{\partial(x,y)}=\begin{pmatrix} u_x & u_y \\ v_x & v_y \end{pmatrix}. $$ As an analytic function, $f$ satisfies the Cauchy-Riemann equations, so that $u_x=v_y$ and $u_y=-v_x$ At a fixed point $z=x+iy\in D$ we can therefore define $a=u_x(x,y)=v_y(x,y)$ and $b=u_y(x,y)=-v_x(x,y)$ We write $(a,b)$ in polar coordinates as $(r\cos\theta,r\sin\theta)$ and get $$ J(x,y)=\begin{pmatrix} a & b \\ -b & a \end{pmatrix} = r\begin{pmatrix} \cos\theta & \sin\theta \\ -\sin\theta & \cos\theta \end{pmatrix}. $$
Now we consider two smooth curves through $(x,y)$ which we parametrize by $\gamma_1(t)=(u_1(t),v_1(t))$ and $\gamma_2(t)=(u_2(t),v_2(t))$ We can choose the parametrization such that $\gamma_1(0)=\gamma_2(0)=z$ The images of these curves under $\tilde f$ are $\tilde f\circ\gamma_1$ and $\tilde f\circ\gamma_2$ respectively, and their derivatives at $t=0$ are $$ (\tilde f\circ\gamma_1)'(0)= \frac{\partial(u,v)}{\partial(x,y)}(\gamma_1(0)) \cdot \frac{{\rm d}\gamma_1}{{\rm d}t}(0)= J(x,y)\begin{pmatrix} \frac{{\rm d}u_1}{{\rm d}t} \\ \frac{{\rm d}v_1}{{\rm d}t} \end{pmatrix} $$ and, similarly, $$ (\tilde f\circ\gamma_2)'(0)=J(x,y)\begin{pmatrix} \frac{{\rm d}u_2}{{\rm d}t} \\ \frac{{\rm d}v_2}{{\rm d}t} \end{pmatrix} $$ by the chain rule. We see that if $f'(z)\neq 0$ $f$ transforms the tangent vectors to $\gamma_1$ and $\gamma_2$ at $t=0$ (and therefore in $z$ by the orthogonal matrix $$ J/r=\begin{pmatrix} \cos\theta & \sin\theta \\ -\sin\theta & \cos\theta \end{pmatrix} $$ and scales them by a factor of $r$ In particular, the transformation by an orthogonal matrix implies that the angle between the tangent vectors is preserved. Since the determinant of $J/r$
is 1, the transformation also preserves orientation (the direction of the angle between the tangent vectors). We conclude that $f$ is a conformal mapping at each point where its derivative is nonzero.
|
"proof of conformal mapping theorem" is owned by pbruin.
|
|
(view preamble | get metadata)
| Keywords: |
analytic function, conformal mapping |
This object's parent.
|
|
Cross-references: point, conformal mapping, orientation, preserves, determinant, angle, implies, transformation, factor, orthogonal matrix, tangent vectors, Transforms, chain rule, derivatives, images, curves, smooth, polar coordinates, fixed point, Cauchy-Riemann equations, Jacobian matrix, real functions, function, complex plane, analytic function, domain
This is version 4 of proof of conformal mapping theorem, born on 2003-07-23, modified 2004-04-14.
Object id is 4502, canonical name is ProofOfConformalMappingTheorem.
Accessed 2530 times total.
Classification:
| AMS MSC: | 30C35 (Functions of a complex variable :: Geometric function theory :: General theory of conformal mappings) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|