On 2D Inverse Problems/Riemann mapping theorem

From Wikibooks, open books for an open world
Jump to: navigation, search
For every proper simply connected open subset U of the complex plane C there exists a one-to-one conformal Riemann map from U onto the open unit disk D. Since the composition of harmonic and analytic function is harmonic, the Riemann map provides a one-to-one correspondence b/w harmonic functions defined on the set U and on the disc D. Therefore, one can transfer a solution of a Dirichlet boundary problem on the set D to the domain U. 
Let f: U \rightarrow D  be a Riemann map for the region U, the the kernel of the Dirichlet-to-Neumann map for the region U can be expressed in terms of the kernel for the disc.
Exercise (*). Proof that,K_U(\phi,\theta) = |f'(\phi)|K_D(f(\phi),f(\theta))|f'(\theta)| off the diagonal.
Compare the following discrete/network exercise to the continuous case, see also [Ca].
Exercise (**). Let G be a network w/the Kirchhoff matrix  K_G= 
 A & B \\
 B^{T} & C

For a positive vector x>0 find the conductivity \tilde{\gamma} on the network, such that \Lambda_G(\tilde{\gamma}) = D_x \Lambda_G D_x + D_*.

The Cayley transform Failed to parse (lexing error): \tau(z) = \frac{1-z}{1+z}:C^+↘D
maps the complex right half-plane onto the unit disc.
Exercise (**). Derive the formula for the kernel of the DN map for the unit disc D: K_D(\phi,\theta) = \frac{-1}{\pi(1-cos(\phi-\theta))}. from the kernel formula for the half plane and by taking the radial derivative of the Poisson kernel for solving a Dirichlet problem on the disc.


In order to solve a continuous inverse problem by data discretisation, one may obtain Dirichlet-to-Neumann (DN) matrix by uniform sampling of the kernel off the diagonal, and defining the diagonal entries by the fact that rows and columns of DN matrices sum up to zero. This leads to the following definition of the matrix in the case of the unit disc:

\Lambda_{kl} = \begin{cases}\frac{2n(n+1)}{3}, \mbox{ }k = l, \\ 
\frac{-1}{1-\cos\frac{2\pi(k-l)}{2n+1}}, \mbox{ }k \ne l,\end{cases}
where n is a natural number and k,l = 1,2, ... 2n+1.

Exercise (**). Prove that the eigenvalues of the matrix are natural numbers(!) 2n, 4n-2, 6n-6, \ldots, n(n+1) w/multiplicity two and 0 w/multiplicity one.