Schwarz-Christoffel mapping

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.

In practice it is used in architecture and designing of aeroplanes.

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: { zeta in mathbb{C}: operatorname{Im},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,eta,gamma, ..., then this mapping is given by :f(zeta) = int^zeta frac{K}{(w-a)^{1-(alpha/pi)}(w-b)^{1-(eta/pi)}(w-c)^{1-(gamma/pi)} cdots} ,mbox{d}w 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".

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 constant K.

Example

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

: f(zeta) = int^zeta frac{K}{(w-1)^{1/2}(w+1)^{1/2 ,mbox{d}w. ,

Evaluation of this integral yields

:bigmath| z = f(&zeta;) = C + K macomp|ar cosh &zeta;

where math|C is a (complex) constant of integration. Requiring that math|f(−1) = Q and math|f(1) = P gives math|C = 0 and math|K = 1. Hence the Schwarz-Christoffel mapping is given by :bigmath|z = macomp|ar cosh &zeta;This transformation is sketched below.

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{dw}{(w-1)^{1-a} (w+1)^{1-b.

quare

The upper half-plane is mapped to the square by:z=f(zeta) = int^zeta frac {mbox{d}w}{sqrt{w(w^2-1)=sqrt{2} , Fleft(sqrt{zeta+1};sqrt{2}/2 ight).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.

ee also

* The Schwarzian derivative appears in the theory of Schwarz-Christoffel mappings.

References

* Tobin A. Driscoll and Lloyd N. Trefethen, "Schwarz-Christoffel Mapping," Cambridge University Press, 2002. ISBN 0-521-80726-3.
* Z. Nehari, "Conformal Mapping", (1952) McGraw-Hill, New York.

Further reading

*.

External links

*
* [http://math.fullerton.edu/mathews/c2003/SchwarzChristoffelMod.html Schwarz-Christoffel Module by John H. Mathews]
* [http://www.timesonline.co.uk/tol/news/uk/science/article3478927.ece Eureka moment solves 140-year-old puzzle]
* [http://www.math.udel.edu/~driscoll/SC Schwarz-Christoffel toolbox] (software for MATLAB)


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Elwin Bruno Christoffel — (10 novembre 1829 à Montjoie 15 mars 1900 à Strasbourg) est un mathématicien et physicien allemand. Biographie Il étudia à l …   Wikipédia en Français

  • Elwin Bruno Christoffel — (November 10, 1829 in Montjoie, now called Monschau – March 15, 1900 in Strasbourg) was a German mathematician and physicist. Life Christoffel attended the Jesuit Gymnasium and Friedrich Wilhelms Gymnasium in …   Wikipedia

  • Hermann Amandus Schwarz — Pour les articles homonymes, voir Schwarz.  En particulier, ne pas confondre avec le mathématicien Laurent Schwartz. Hermann Amandus Schwarz …   Wikipédia en Français

  • Hermann Schwarz — See also Hermann Schwarz (philosopher) (1864 ndash;1951). : A different Hermann Schwarz was a founder of Rohde Schwarz, a German manufacturer of electronic test equipment. Infobox Scientist name = Hermann Schwarz image width = caption = Karl… …   Wikipedia

  • Hypergeometric differential equation — In mathematics, the hypergeometric differential equation is a second order linear ordinary differential equation (ODE) whose solutions are given by the classical hypergeometric series. Every second order linear ODE with three regular singular… …   Wikipedia

  • Peirce quincuncial projection — The Peirce quincuncial projection is a conformal map projection (except for four points where its conformality fails) that presents the sphere as a square. It was developed by Charles Sanders Peirce in 1879. History The maturation of complex… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Elliptic integral — In integral calculus, elliptic integrals originally arose in connection with the problem of giving the arc length of an ellipse. They were first studied by Giulio Fagnano and Leonhard Euler. Modern mathematics defines an elliptic integral as any… …   Wikipedia

  • Conformal map — For other uses, see Conformal (disambiguation). A rectangular grid (top) and its image under a conformal map f (bottom). It is seen that f maps pairs of lines intersecting at 90° to pairs of curves still intersecting at 90°. In mathematics, a… …   Wikipedia

  • Intégrale elliptique — Une fonction intégrale elliptique est une fonction f de la forme : où R est une fonction rationnelle à deux variables, P est une fonction polynomiale de degré 3 ou 4 avec des racines simples et c est une constante. Legendre a montré qu on… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”