Use conformal mapping to solve the Laplace equation ∇²φ = 0 in the upper half-plane with boundary conditions φ(x,0) = 1 for -1<x<1 and 0 elsewhere.

Answer: The solution to the Laplace equation is ϕ(x,y)=1πarg⁡(z−1z+1)\phi(x,y) = \frac{1}{\pi} \arg\left(\frac{z-1}{z+1}\right).

Step-by-step solution

Step 1: Identify the problem and boundary conditions

We are asked to solve Laplace's equation in the upper half-plane, which means we are looking for a harmonic function ϕ(x,y)\phi(x,y) for y>0y>0. The boundary conditions are given on the xx -axis: ϕ(x,0)\phi(x,0) is 11 between x=−1x=-1 and x=1x=1, and 00 everywhere else on the xx -axis.

Step 2: Choose a suitable conformal mapping

A common strategy for problems with piecewise constant boundary conditions on the real axis is to use a conformal mapping that transforms the real axis into a simpler boundary. The mapping w=z−1z+1w = \frac{z-1}{z+1} transforms the real axis in the zz -plane to the real axis in the ww -plane, and specifically maps the interval (−1,1)(-1{,}1) to the negative real axis (−∞,0)(-\infty, 0) in the ww -plane. The upper half-plane in zz maps to the upper half-plane in ww.

Step 3: Transform boundary conditions to the ww -plane

Under the mapping w=z−1z+1w = \frac{z-1}{z+1}: When z=xz=x (real axis), w=x−1x+1w = \frac{x-1}{x+1}. For −1<x<1-1 < x < 1, x−1x-1 is negative and x+1x+1 is positive, so ww is negative. As x→−1+x \to -1^+, w→−∞w \to -\infty. As x→1−x \to 1^-, w→0−w \to 0^-. Thus, the segment (−1,1)(-1{,}1) maps to (−∞,0)(-\infty, 0) on the uu -axis. For x>1x > 1, x−1x-1 and x+1x+1 are both positive, so ww is positive. For x<−1x < -1, x−1x-1 and x+1x+1 are both negative, so ww is positive. Therefore, the boundary condition becomes ϕ(u,0)=1\phi(u,0) = 1 for u<0u<0 and ϕ(u,0)=0\phi(u,0) = 0 for u>0u>0.

Step 4: Solve Laplace's equation in the ww -plane

In the ww -plane, we have a standard problem: ϕ(u,0)=1\phi(u,0)=1 for u<0u<0 and ϕ(u,0)=0\phi(u,0)=0 for u>0u>0. The solution to this problem in the upper half-plane is given by ϕ(u,v)=1πarg⁡(w)\phi(u,v) = \frac{1}{\pi} \arg(w), where arg⁡(w)\arg(w) is the principal argument of ww, ranging from 00 to π\pi in the upper half-plane. This function is harmonic and satisfies the boundary conditions.

Step 5: Substitute back to the zz -plane

Now we substitute w=z−1z+1w = \frac{z-1}{z+1} back into the solution for ϕ(u,v)\phi(u,v) to get the solution in terms of z=x+iyz=x+iy. The argument of a complex number w=u+ivw = u+iv can be expressed as arctan⁡(vu)\arctan\left(\frac{v}{u}\right) for u>0u>0 and π+arctan⁡(vu)\pi + \arctan\left(\frac{v}{u}\right) for u<0u<0, or more generally using the `atan2` function. This gives the final solution for ϕ(x,y)\phi(x,y).

Solve your own maths question free →