Schwarz Reflection Principle
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern 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 derivat ...
, 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 new ...
. 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 t ...
, 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 F(z) 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 the ...
is given by the formula, F(\bar) = \overline. 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 In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value ...
on the closed upper half plane \left\ ,
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 derivativ ...
on the upper half plane \left\ , 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 new ...
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 pole (complex analysis), pole ...
. 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'' defined ...
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, : \f ...
s.


See also

*
Kelvin transform The Kelvin transform is a device used in classical potential theory to extend the concept of a harmonic function, by allowing the definition of a function which is 'harmonic at infinity'. This technique is also used in the study of subharmonic and ...
*
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