In
complex analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates Function (mathematics), functions of complex numbers. It is helpful in many branches of mathemati ...
, a Schwarz–Christoffel mapping is a
conformal map
In mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths.
More formally, let U and V be open subsets of \mathbb^n. A function f:U\to V is called conformal (or angle-preserving) at a point u_0\in ...
of the
upper half-plane
In mathematics, the upper half-plane, \,\mathcal\,, is the set of points in the Cartesian plane with > 0.
Complex plane
Mathematicians sometimes identify the Cartesian plane with the complex plane, and then the upper half-plane corresponds to t ...
or the complex
unit disk
In mathematics, the open unit disk (or disc) around ''P'' (where ''P'' is a given point in the plane), is the set of points whose distance from ''P'' is less than 1:
:D_1(P) = \.\,
The closed unit disk around ''P'' is the set of points whose di ...
onto the interior of a
simple polygon
In geometry, a simple polygon is a polygon that does not Intersection (Euclidean geometry), intersect itself and has no holes. That is, it is a flat shape consisting of straight, non-intersecting line segments or "sides" that are joined pairwise ...
. Such a map is
guaranteed to exist by the
Riemann mapping theorem
In complex analysis, the Riemann mapping theorem states that if ''U'' is a non-empty simply connected space, simply connected open set, open subset of the complex plane, complex number plane C which is not all of C, then there exists a biholomorphy ...
(stated by
Bernhard Riemann
Georg Friedrich Bernhard Riemann (; 17 September 1826 – 20 July 1866) was a German mathematician who made contributions to analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the first rig ...
in 1851); the Schwarz–Christoffel formula provides an explicit construction. They were introduced independently by
Elwin Christoffel in 1867 and
Hermann Schwarz in 1869.
Schwarz–Christoffel mappings are used in
potential theory
In mathematics and mathematical physics, potential theory is the study of harmonic functions.
The term "potential theory" was coined in 19th-century physics when it was realized that two fundamental forces of nature known at the time, namely gravi ...
and some of its applications, including
minimal surface
In mathematics, a minimal surface is a surface that locally minimizes its area. This is equivalent to having zero mean curvature (see definitions below).
The term "minimal surface" is used because these surfaces originally arose as surfaces that ...
s,
hyperbolic art, and
fluid dynamics
In physics and engineering, fluid dynamics is a subdiscipline of fluid mechanics that describes the flow of fluids— liquids and gases. It has several subdisciplines, including ''aerodynamics'' (the study of air and other gases in motion) an ...
.
Definition
Consider a polygon in the complex plane. The
Riemann mapping theorem
In complex analysis, the Riemann mapping theorem states that if ''U'' is a non-empty simply connected space, simply connected open set, open subset of the complex plane, complex number plane C which is not all of C, then there exists a biholomorphy ...
implies that there is a
biholomorphic
In the mathematical theory of functions of one or more complex variables, and also in complex algebraic geometry, a biholomorphism or biholomorphic function is a bijective holomorphic function whose inverse is also holomorphic.
Formal definiti ...
mapping ''f'' from the upper half-plane
:
to the interior of the polygon. The function ''f'' maps the real axis to the edges of the polygon. If the polygon has interior
angle
In Euclidean geometry, an angle is the figure formed by two Ray (geometry), rays, called the ''Side (plane geometry), sides'' of the angle, sharing a common endpoint, called the ''vertex (geometry), vertex'' of the angle.
Angles formed by two ...
s
, then this mapping is given by
:
where
is a
constant, and
are the values, along the real axis of the
plane, of points corresponding to the vertices of the polygon in the
plane. A transformation of this form is called a ''Schwarz–Christoffel mapping''.
The integral can be simplified by mapping the
point at infinity
In geometry, a point at infinity or ideal point is an idealized limiting point at the "end" of each line.
In the case of an affine plane (including the Euclidean plane), there is one ideal point for each pencil of parallel lines of the plane. Adj ...
of the
plane to one of the vertices of the
plane polygon. By doing this, the first factor in the formula becomes constant and so can be absorbed into the constant
. Conventionally, the point at infinity would be mapped to the vertex with angle
.
In practice, to find a mapping to a specific polygon one needs to find the
values which generate the correct polygon side lengths. This requires solving a set of nonlinear equations, and in most cases can only be done
numerically.
Example
Consider a semi-infinite strip in the
plane
Plane(s) most often refers to:
* Aero- or airplane, a powered, fixed-wing aircraft
* Plane (geometry), a flat, 2-dimensional surface
Plane or planes may also refer to:
Biology
* Plane (tree) or ''Platanus'', wetland native plant
* ''Planes' ...
. This may be regarded as a limiting form of a
triangle
A triangle is a polygon with three Edge (geometry), edges and three Vertex (geometry), vertices. It is one of the basic shapes in geometry. A triangle with vertices ''A'', ''B'', and ''C'' is denoted \triangle ABC.
In Euclidean geometry, an ...
with vertices , , and (with real), as tends to infinity. Now and in the limit. Suppose we are looking for the mapping with , , and . Then is given by
:
Evaluation of this integral yields
:
where is a (complex) constant of integration. Requiring that and gives and . Hence the Schwarz–Christoffel mapping is given by
:
This transformation is sketched below.
Other simple mappings
Triangle
A mapping to a plane
triangle
A triangle is a polygon with three Edge (geometry), edges and three Vertex (geometry), vertices. It is one of the basic shapes in geometry. A triangle with vertices ''A'', ''B'', and ''C'' is denoted \triangle ABC.
In Euclidean geometry, an ...
with interior angles
and
is given by
:
which can be expressed in terms of
hypergeometric functions.
Square
The upper half-plane is mapped to the square by
:
where ''F'' is the incomplete
elliptic integral
In integral calculus, an elliptic integral is one of a number of related functions defined as the value of certain integrals, which were first studied by Giulio Fagnano and Leonhard Euler (). Their name originates from their originally arising in ...
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
In complex analysis, the Schwarz triangle function or Schwarz s-function is a function that conformally maps the upper half plane to a triangle in the upper half plane having lines or circular arcs for edges. The target triangle is not necessa ...
.
See also
* The
Schwarzian derivative
In mathematics, the Schwarzian derivative is an operator similar to the derivative which is invariant under Möbius transformations. Thus, it occurs in the theory of the complex projective line, and in particular, in the theory of modular forms an ...
appears in the theory of Schwarz–Christoffel mappings.
References
*
*
*
*
§§267–270, pp. 665–677
*
The Conformal Hyperbolic Square and Its IlkChamberlain Fong, Bridges Finland Conference Proceedings, 2016
Further reading
An analogue of SC mapping that works also for multiply-connected is presented in: .
External links
*
Schwarz–Christoffel toolbox(software for
MATLAB
MATLAB (an abbreviation of "MATrix LABoratory") is a proprietary multi-paradigm programming language and numeric computing environment developed by MathWorks. MATLAB allows matrix manipulations, plotting of functions and data, implementation ...
)
{{DEFAULTSORT:Schwarz-Christoffel mapping
Conformal mappings