In
mathematics, the Schwarz reflection principle is a way to extend the domain of definition of a
complex analytic function
In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex der ...
, i.e., it is a form of
analytic continuation
In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of definition of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a n ...
. It states that if an analytic function is defined on 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 ...
, and has well-defined (non-singular) real values on the
real axis
In elementary mathematics, a number line is a picture of a graduated straight line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real number to a poi ...
, then it can be extended to the conjugate function on the lower half-plane. In notation, if
is a function that satisfies the above requirements, then its extension to the rest of 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 given by the formula,
That is, we make the definition that agrees along the real axis.
The result proved by
Hermann Schwarz
Karl Hermann Amandus Schwarz (; 25 January 1843 – 30 November 1921) was a German mathematician, known for his work in complex analysis.
Life
Schwarz was born in Hermsdorf, Silesia (now Jerzmanowa, Poland). In 1868 he married Marie Kummer, ...
is as follows. Suppose that ''F'' is a
continuous function on the closed upper half plane
,
holomorphic
In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex de ...
on the upper half plane
, which takes real values on the real axis. Then the extension formula given above is an
analytic continuation
In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of definition of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a n ...
to the whole complex plane.
In practice it would be better to have a theorem that allows ''F'' certain singularities, for example ''F'' a
meromorphic function
In the mathematical field of complex analysis, a meromorphic function on an open subset ''D'' of the complex plane is a function that is holomorphic on all of ''D'' ''except'' for a set of isolated points, which are poles of the function. ...
. To understand such extensions, one needs a proof method that can be weakened. In fact
Morera's theorem
In complex analysis, a branch of mathematics, Morera's theorem, named after Giacinto Morera, gives an important criterion for proving that a function is holomorphic.
Morera's theorem states that a continuous, complex-valued function ''f'' d ...
is well adapted to proving such statements.
Contour integral
In the mathematical field of complex analysis, contour integration is a method of evaluating certain integrals along paths in the complex plane.
Contour integration is closely related to the calculus of residues, a method of complex analysis.
...
s involving the extension of ''F'' clearly split into two, using part of the real axis. So, given that the principle is rather easy to prove in the special case from Morera's theorem, understanding the proof is enough to generate other results.
The principle also adapts to apply to
harmonic function
In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f: U \to \mathbb R, where is an open subset of that satisfies Laplace's equation, that is,
...
s.
See also
*
Kelvin transform
*
Method of image charges
The method of image charges (also known as the method of images and method of mirror charges) is a basic problem-solving tool in electrostatics. The name originates from the replacement of certain elements in the original layout with imaginary c ...
*
Schwarz function
References
External links
*
* {{mathworld, SchwarzReflectionPrinciple, author=Todd Rowland
Harmonic functions
Theorems in complex analysis
Mathematical principles