Opentopia Directory Encyclopedia Tools

Schwarz-Christoffel mapping

Encyclopedia : S : SC : SCH : Schwarz-Christoffel mapping


In complex analysis, a discipline within mathematics, a Schwarz-Christoffel mapping is a transformation of the complex plane that maps the upper half-plane conformally to a polygon. Schwarz-Christoffel mappings are used in potential theory and some of its applications, including minimal surfaces and fluid dynamics. They are named after Elwin Bruno Christoffel and Hermann Amandus Schwarz.

Definition

Consider a polygon in the complex plane. The Riemann mapping theorem implies that there is a bijective holomorphic mapping f from the upper half-plane
[ \: \operatorname\,\zeta > 0 \} ]
to the interior of the polygon. The function f maps the real axis to the edges of the polygon. If the polygon has interior angles [\alpha,\beta,\gamma, ...], then this mapping is given by
[f(\zeta) = \int^\zeta \frac(w-b)^(w-c)^ \cdots} \,\mboxw ]
where [K] is a constant, and [a < b < c < ...] are the values, along the real axis of the [\zeta] plane, of points corresponding to the vertices of the polygon in the [z] plane. A transformation of this form is called a Schwarz-Christoffel mapping.

Remark it is often convenient to consider the case in which the point at infinity of the [\zeta] plane maps to one of the vertices of the [z] plane polygon (conventionally the vertex with angle [\alpha]). If this is done, the first factor in the formula is effectively a constant and may be regarded as being absorbed into the [K].

Example

Consider a semi-infinite strip in the [z] plane. This may be regarded as a limiting form of a triangle with vertices [P=0], [Q=\pi i], and [R] (with [R] real), as [R] tends to infinity. Now [\alpha=0] and [\beta=\gamma=\pi/2] in the limit. Suppose we are looking for the mapping f with f(−1) = Q, f(1) = P, and f(∞) = R. Then f is given by

[ f(\zeta) = \int^\zeta \frac(w+1)^} \,\mboxw. \, ]
Evaluation of this integral yields

[ z = f(\zeta) = C + K \operatorname\,\zeta, ]
where [C] is a (complex) constant of integration. Requiring that [f(-1) = Q] and [f(1) = P] gives [C=0] and [K=1]. Hence the Schwarz-Christoffel mapping is given by
[ z = \operatorname\,\zeta. ]
This transformation is sketched below.

Schwarz-Christoffel mapping of the upper half-plane to the semi-infinite strip
Schwarz-Christoffel mapping of the upper half-plane to the semi-infinite strip

Other simple mappings

Triangle

A mapping to a plane triangle with angles [\pi a], [\pi b] and [\pi(1-a-b)] is given by

[z=f(\zeta)=\int^\zeta \frac (w+1)^}.]

Square

The upper half-plane is mapped to the square by
[z=f(\zeta) = \int^\zeta \frac w}}=\sqrt \, F\left(\sqrt;\sqrt/2\right).]
where F is the incomplete elliptic integral of the first kind.

General triangle

The upper half-plane is mapped to a triangle with circular arcs for edges by the Schwarz triangle map.

See also

External links

References

 


From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.

Search Titles
0123456789
ABCDEFGHIJ
KLMNOPQRST
UVWXYZ?

E-mail this article to:

Personal Message: