Suppose that is an analytic function which is defined in the upper half-disk . Further suppose that extends to a continuous function on the real axis, and takes on real values on the real axis. 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 differentiability.
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 f 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 has a neighborhood biholomorphic to a straight line can be reflected across. The basic example is the boundary of the unit circle which is mapped to the real axis by .
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).
- Let be a function meromorphic in the closed unit disk . Suppose that is constant on the unit circle . Prove that must be a rational function.
Proof. If on , then and the statement is true. W.L.O.G suppose on , i.e. and suppose that is holomorphic as a function on to the Riemann sphere , and is continuous. Since is compact, so is and thus closed in . In particular . Furthermore, since non-constant holomorphic mappings are open, is open. In conclusion
Therefore either or and, in both cases, .
Suppose (the other case is treated similarly). Now by
i.e. reflection along , we have a, in fact, the holomorphic continuation of to by the Schwarz reflection principle (if you’re not familiar with this: The idea is that this continuation is clearly holomorphic in ; on use Morera’s theorem). We know not that is holomorphic. Thus has to be a rational function.
Comments: In the above solution, we can construct
to be a holomorphic function by mean of the Schwarz Reflection Principle. Roughtly speaking, we first go back to the domain by the mapping . Then we compute its image under the function . Then we go forward by the mapping
which equals to
The above complex conjugate operation reflects the word “reflection ” in this principle. Similar to the above question, we have the following
- Let be holomorphic in the unit disk , continuous in and whenever . Prove that is a rational function.
Proof. If has infinite many zeros, by the isolatedness of the zeros of holomorphis functions, the zeros must have limit points on the boundary of the unit disk, otherwise, . But it will violate the fact that is continuous in and whenever . Hence has only finite zeros in the unit disk. Denote all these zeros by , multiple zeros being repeated, and define,
Then is holomorphic in , continuous in and whenever . By Maximum Modulus Principle, in . Since has no zero in , is also holomorphic in , continuous in and whenever . Application of the Maximum Modulus Principle to yields in . Hence holds in , which implies with a real number. So we obtain
which completes the proof.
Comments: It doesn’t have to just sound like one. Basically, if has a pole in you should multiply by the conformal disc automorphism and divide by it if has a zero in . The motivation is basically just that I knew it . The standard way to construct an analytic function in the disc with zeros in is to multiply together infinitely many factors
This is called a Blaschke product. There are factorization theorems saying that analytic functions belonging to certain growth classes (the Smirnov class, for example) can be factored into products of a Blaschke product (describing the zeros), a singular inner function (describing the angle of ), and an outer function (describing the growth). With the very nice function described in the problem I knew that it would have no growth and no inner factor either (they can’t be continuous on the circle), so essentially I just knew the solution to the problem. Although I guess the solution can be easily guessed if products of Möbius transforms of the type above are familiar to you as exactly the rational functions that have constant modulus on the unit circle.