The Schwarz function of a curve in the
complex plane
In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the -axis, called the real axis, is formed by the real numbers, and the -axis, called the imaginary axis, is formed by th ...
is an
analytic function
In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex ...
which maps the points of the curve to their
complex conjugate
In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, (if a and b are real, then) the complex conjugate of a + bi is equal to a - ...
s. It can be used to generalize the
Schwarz reflection principle to reflection across arbitrary
analytic curves, not just across the real axis.
The Schwarz function exists for analytic curves. More precisely, for every non-singular, analytic
Jordan arc
In topology, the Jordan curve theorem asserts that every ''Jordan curve'' (a plane simple closed curve) divides the plane into an "interior" region bounded by the curve and an "exterior" region containing all of the nearby and far away exterior p ...
in the complex plane, there is an
open neighborhood
In topology and related areas of mathematics, a neighbourhood (or neighborhood) is one of the basic concepts in a topological space. It is closely related to the concepts of open set and interior. Intuitively speaking, a neighbourhood of a po ...
of
and a unique analytic function
on
such that
for every
.
The "Schwarz function" was named by
Philip J. Davis and
Henry O. Pollak
Henry Otto Pollak (born December 13, 1927) is an Austrian-American mathematician. He is known for his contributions to information theory, and with Ronald Graham is the namesake of the Graham–Pollak theorem in graph theory.
Born in Vienna, Au ...
(1958) in honor of
Hermann Schwarz,
who introduced the Schwarz reflection principle for analytic curves in 1870. However, the Schwarz function does not explicitly appear in Schwarz's works.
Examples
The unit circle is described by the equation
, or
. Thus, the Schwarz function of the unit circle is
.
A more complicated example is an
ellipse defined by
. The Schwarz function can be found by substituting
and
and solving for
. The result is:
:
.
This is analytic on the complex plane minus a
branch cut
In the mathematical field of complex analysis, a branch point of a multi-valued function (usually referred to as a "multifunction" in the context of complex analysis) is a point such that if the function is n-valued (has n values) at that point, ...
along the line segment between the
foci .
References
*
*
*
Analytic functions
{{math-stub