Schwarz Reflection Principle
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the Schwarz reflection principle is a way to extend the domain of definition of a complex analytic function, 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 ne ...
. It states that if an analytic function is defined on the
upper half-plane In mathematics, the upper half-plane, is the set of points in the Cartesian plane with The lower half-plane is the set of points with instead. Arbitrary oriented half-planes can be obtained via a planar rotation. Half-planes are an example ...
, and has well-defined (non-singular) real values on the
real axis A number line is a graphical representation of a straight line that serves as spatial representation of numbers, usually graduated like a ruler with a particular origin point representing the number zero and evenly spaced marks in either direct ...
, 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 (geometry), plane formed by the complex numbers, with a Cartesian coordinate system such that the horizontal -axis, called the real axis, is formed by the real numbers, and the vertical -axis, call ...
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 Sobieszów, 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 small variation of the argument induces a small variation of the value of the function. This implies there are no abrupt changes in value, known as '' discontinuities''. More preci ...
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 deri ...
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 ne ...
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 a criterion for proving that a function is holomorphic. Morera's theorem states that a continuous, complex-valued function ''f'' defined on an ...
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\colon U \to \mathbb R, where is an open subset of that satisfies Laplace's equation, that i ...
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 fictitious ...
*
Schwarz function The Schwarz function of a curve in the complex plane is an analytic function which maps the points of the curve to their complex conjugates. It can be used to generalize the Schwarz reflection principle to reflection across arbitrary analytic c ...


References


External links

* * {{mathworld, SchwarzReflectionPrinciple, author=Todd Rowland Harmonic functions Theorems in complex analysis Mathematical principles