Simultaneously visualize |f(z)| and argument via domain coloring. Interactively explore conformal mapping, Joukowski transform, and residue calculation in real time.
Residue theorem: $\oint_C f(z)\,dz = 2\pi i \sum_k \text{Res}[f, z_k]$
Joukowski: $w = z + \dfrac{1}{z}$ (circle → airfoil)
What is Conformal Mapping?
🙋
What exactly is a "conformal" mapping? The simulator shows these colorful, warping grids, but what's the big deal?
🎓
Basically, a conformal mapping is a special transformation done by a complex function that preserves angles. Wherever two curves cross in the original plane, they cross at the same angle in the transformed plane. In practice, this means shapes get bent and stretched, but local features aren't distorted—like a perfectly stretchy map. Try moving the Zoom slider above to see how the grid lines, which start off perpendicular, always stay perpendicular even after being warped by the function.
🙋
Wait, really? So any complex function does this? What about the colors—they seem to change too.
🎓
Great observation! Only holomorphic (complex-differentiable) functions are conformal. The colors are part of "domain coloring"—they help us visualize the complex output. The hue represents the angle (argument) of $f(z)$, and brightness often represents magnitude. A common case is $f(z)=z^2$; turn on the Grid Lines and you'll see right angles in the grid remain right angles everywhere except at $z=0$, where the derivative is zero and conformality breaks.
🙋
Okay, I see the grids bending. But you mentioned "Joukowski transforms" and "airfoils". How does bending a grid help design an airplane wing?
🎓
That's the magic! The Joukowski transform, $J(z) = z + 1/z$, is a specific conformal map. It takes a simple circle in the $z$-plane and maps it to an airfoil shape in the $w$-plane. Engineers use this because it's much easier to calculate the smooth, lift-generating flow around a circle. They solve for the circle, then transform the solution to the wing shape. Try selecting the Joukowski function and adjusting the Contour Circle Radius parameter—you'll see the circle morph into a realistic airfoil profile right before your eyes.
Physical Model & Key Equations
The fundamental condition for a complex function $f(z) = u(x,y) + i v(x,y)$ to be holomorphic (and thus generate a conformal map where $f'(z) \neq 0$) is given by the Cauchy-Riemann equations. These couple the real and imaginary parts.
$u(x,y)$: Real part of the complex function (scalar potential). $v(x,y)$: Imaginary part of the complex function (stream function or orthogonal potential). $x, y$: Real and imaginary parts of the input $z = x + iy$.
For applications in potential flow, we define the Complex Potential. Its derivative gives the fluid velocity, and its real and imaginary parts define equipotential lines and streamlines, which are always orthogonal—a direct result of conformality.
$$
\Phi(z) = \phi(x,y) + i \psi(x,y), \quad \text{with }\frac{d\Phi}{dz} = u_x - i u_y
$$
$\phi$: Velocity potential (equipotential lines). $\psi$: Stream function (streamlines). $u_x, u_y$: $x$- and $y$-components of the fluid velocity vector. The orthogonality of the grid in the simulator visually represents this perpendicular relationship between $\phi$ and $\psi$.
Frequently Asked Questions
The hue represents the argument (angle) of the complex number, while the lightness and saturation represent the absolute value |f(z)|. For example, red corresponds to the positive real axis direction, and cyan corresponds to the negative real axis direction. Regions where the color changes smoothly indicate that the function is analytic (differentiable) and that conformal mapping holds.
When a complex function f(z) is analytic and f'(z) ≠ 0, the angle between two curves on the z-plane is preserved in both magnitude and orientation on the f(z)-plane after mapping. In this tool, you can deform grid lines or curves and observe in real time that the intersection angles remain unchanged.
It is used in aeronautical engineering for airfoil design. Mapping a circle through the Joukowsky transform yields an airfoil cross-section (Joukowsky airfoil). In this tool, you can experiment by changing the position and radius of the circle to see how the airfoil shape changes.
First, input a complex function and draw a closed curve as the integration path. The tool performs numerical integration along the path and displays the sum of residues at the poles inside. You can visually identify the positions and orders of poles from the singularity patterns in the colors and compare them with the calculation results.
Real-World Applications
Aerodynamic Airfoil Design: As shown with the Joukowski transform in the simulator, conformal mapping is a classical method for designing airfoil profiles. Engineers analyze the lift and flow around a simple circle and then map the solution to a wing shape, allowing for rapid preliminary design before more complex CFD simulations.
Control System Stability (Nyquist Plot): In control theory, the Nyquist stability criterion uses a conformal mapping. The plot of a system's open-loop transfer function is analyzed, and the number of times it "winds around" a critical point (its winding number, related to the argument principle) tells engineers if the closed-loop system will be unstable.
Electrostatic & Heat Conduction Field Solving: The electric potential in a 2D electrostatic field or the temperature in steady-state heat conduction obeys Laplace's equation. Conformal maps can transform a complicated geometry (like a capacitor with irregular plates) into a simpler one (parallel plates), making the solution for potential and field lines straightforward.
Cartography & Geographic Mapping: While not perfectly conformal at large scales, map projections like the Mercator projection aim to preserve local angles (rhumb lines). This is crucial for navigation, as a constant compass bearing appears as a straight line on the map, analogous to the angle-preserving property you see in the simulator's grid.
Common Misconceptions and Points to Note
When you start using this tool, there are a few common pitfalls. First, you might think "the domain coloring represents everything," but the color change represents the function's "argument" (phase), while the magnitude (absolute value) of the function itself is shown by brightness. So, a completely black area simply means the absolute value is near zero (the function value is small), not necessarily a singularity. Singularities often appear as a messy "vortex" where all colors of the hue circle converge at a single point.
Next, tips for parameter settings. Increasing the "Grid Line Count" too much can make the transformed shape overly complex, making it harder to grasp the overall picture. It's more efficient to start with a smaller number (e.g., around 10) to understand the general flow, then zoom in on areas of interest and increase the grid lines. Also, adjusting "Zoom" and "Contour Circle Radius" simultaneously can make it unclear what's happening. When you want to observe the behavior of the circular integral, keep the zoom fixed and slowly change only the radius.
A practical pitfall is understanding that "the mapping is not a panacea." For example, when creating an airfoil shape with the Joukowsky transform, shifting the center of the original circle just slightly can drastically change the airfoil's thickness or camber. Even if you create a beautiful airfoil shape in the tool, it's not necessarily optimal for real aerodynamic characteristics. Use it strictly as a theoretical starting point.