Schwarz Reflection Principle

The Schwarz reflection principle states that if is an analytic function defined in the upper half-disk that extends continuously to the real axis and takes real values there, then can be extended to an analytic function on the whole disk by the formula

and the values for reflected across the real axis are the reflections of across the real axis. It is easy to check that the above function is complex differentiable in the interior of the lower half-disk. What is remarkable is that the resulting function must be analytic along the real axis as well, despite no assumptions of complex differentiability there.

This is called the Schwarz reflection principle, and is sometimes also known as Schwarz's symmetric principle (Needham 2000, p. 257). The diagram above shows the reflection principle applied to a function defined for the upper half-disk (left figure; red) and its image (right figure; red). The function is real on the real axis, so it is possible to extend the function to the reflected domain (left and right figures; pink).

For the reflected function to be continuous, it is necessary for the values at the boundary to be continuous and to fall on the line being reflected. The reflection principle also applies in the generality of reflecting along any line, not just the real axis, in which case the function has to take values along a line in the range. In fact, any arc which can be mapped locally to a straight line by a biholomorphic map can be reflected across. The basic example is the boundary of the unit circle which is mapped to the real axis by for .

The reflection principle can also be used to reflect a harmonic function which extends continuously to the zero function on its boundary. In this case, for negative , defining

extends to a harmonic function on the reflected domain. Again note that it is necessary for . This result provides a way of extending a harmonic function from a given open set to a larger open set (Krantz 1999, p. 95).