MethodMath
Ask
Join
HomeTopicsAskAlerts
Profile

© 2026 MethodMath. Built for mathematical knowledge sharing.

AboutContactGuidelinesPrivacyTermsCookies
Kevin O'Brien
Apr 21, 2026

How to find conformal mappings between different domains in complex analysis?

I am studying complex analysis and I need to understand conformal mappings — angle-preserving transformations of the complex plane.

I know that any analytic function with non-zero derivative is conformal (preserves angles). The key examples are:

  • w=z+aw = z + aw=z+a (translation)
  • w=eiθzw = e^{i\theta} zw=eiθz (rotation)
  • w=kzw = kzw=kz (scaling)
  • w=1/zw = 1/zw=1/z (inversion)
  • w=z2w = z^2w=z2 (maps upper half-plane to whole plane minus a slit)

My specific questions:

  1. How do I find a conformal map from the unit disk ∣z∣<1|z| < 1∣z∣<1 to the upper half-plane Im(w)>0\text{Im}(w) > 0Im(w)>0?
  2. What is the Möbius transformation w=az+bcz+dw = \frac{az + b}{cz + d}w=cz+daz+b​ and how do I determine its parameters?
  3. How do I map a strip 0<Im(z)<π0 < \text{Im}(z) < \pi0<Im(z)<π to the upper half-plane?
  4. What is the Riemann mapping theorem and why is it important?

I want concrete formulas with explanations.

2 answers337 views

2 Answers

1
David Kim
Apr 22, 2026
Accepted
**Map from unit disk to upper half-plane:** $$w = i \cdot \frac{1 - z}{1 + z}$$ This is a Möbius transformation. It sends $-1 \to \infty$, $1 \to 0$, $-i \to 1$, mapping the disk $|z| < 1$ to $\text{Im}(w) > 0$. **General Möbius Transformation:** $$w = \frac{az + b}{cz + d}, \quad ad - bc \ eq 0$$ Properties: - Maps circles/lines to circles/lines - Preserves angles (conformal everywhere except $z = -d/c$) - Determined by 3 points: choose 3 points in the domain and map them to 3 points in the target **Map from strip $0 < \text{Im}(z) < \pi$ to upper half-plane:** $$w = e^z$$ Since $z = x + iy$, $e^z = e^x e^{iy}$. As $y$ goes from 0 to $\pi$, $e^{iy}$ sweeps the upper half of the unit circle. Combined with $e^x$ (which gives all positive radii), this maps the strip onto $\text{Im}(w) > 0$. **Riemann Mapping Theorem:** Any simply connected proper subset of $\mathbb{C}$ can be conformally mapped onto the unit disk. This is a **pure existence theorem** — it doesn't construct the map, but it guarantees one exists. This is powerful because it means we can solve problems (like fluid flow or electrostatics) on complicated domains by mapping them to simpler ones. **Common conformal maps to remember:** - $w = z^2$: maps quarter-plane to half-plane - $w = \sqrt{z}$: maps half-plane to quarter-plane - $w = \log z$: maps angular sector to strip - $w = \frac{z-1}{z+1}$: maps right half-plane to unit disk
Still unsure? Join to comment or ask a follow-up.
-3
Irbah ProVerified by MethodMath staff
Apr 23, 2026
The practical way to find a conformal mapping is not to guess randomly. First identify the shape of each domain, then use a few standard maps that preserve angles. A useful toolkit is: - Translations and scalings: move or resize a domain. - Rotations: turn a line or half-plane into a more convenient position. - Mobius transformations: $$f(z)=\frac{az+b}{cz+d}$$ These are especially good for mapping lines and circles to other lines and circles. For example, to map a half-plane to the unit disk, a standard choice is: $$w=\frac{z-i}{z+i}.$$ This sends the upper half-plane to the unit disk. The reason it works is that the real axis, which is the boundary of the upper half-plane, is sent to the unit circle. The usual workflow is: 1. Map the boundary of the first domain into a simple boundary. 2. Apply a known map, such as a Mobius transform, exponential map, or square root map. 3. Check a test point inside the domain to make sure the inside goes to the inside. 4. Verify the derivative is not zero in the domain, so the map is conformal there. So the main idea is: reduce the geometry first, then choose the analytic formula. The geometry usually tells you which conformal map to try.
Login or Register to post your answer

Suggested questions

How to solve a linear programming problem using the simplex method?

2948

What are moment generating functions and how do I use them to find moments?

2584

What is the heat equation? Simple PDE intuition explained

2176

Why does 0 factorial equal 1 instead of 0? Simple proof

31.4k

Does the Banach-Steinhaus theorem hold for non-complete normed spaces?

31k