Schwarz integral formula
The Schwarz integral formula is a foundational result in complex analysis that reconstructs a holomorphic function in the unit disk from the values of its real part on the boundary. Named after Hermann Amandus Schwarz, the formula is the natural complex-analytic counterpart to the Poisson integral, which reconstructs only the harmonic real part from boundary data. The Schwarz integral formula shows that the additional information contained in the harmonic conjugate — the imaginary part — is determined uniquely (up to an additive imaginary constant) by the real boundary data.
If (\theta)$ is a continuous real-valued function on the unit circle, the Schwarz integral formula constructs the holomorphic function (z)$ in the unit disk whose real part equals $ on the boundary:
2052864f(z) = \frac{1}{2\pi} \int_0^{2\pi} \frac{e^{i\theta} + z}{e^{i\theta} - z} \, u(\theta) \, d\theta2052864
The kernel /(e^{i\theta} - z)$ is the Schwarz kernel, and its real part is precisely the Poisson kernel. This reveals the deep structural relationship: the Poisson integral is the real part of the Schwarz integral, and the Schwarz integral is the complex-analytic completion of the Poisson integral.
Significance and Applications
The Schwarz integral formula is the tool that converts boundary-value problems in potential theory into boundary-value problems in complex analysis. Given real boundary data, it produces not just a harmonic function but a holomorphic one — a function that satisfies the Cauchy-Riemann equations and therefore possesses all the powerful properties of analytic functions: power series expansions, contour integral representations, and analytic continuation.
This conversion is essential in applications where both the magnitude and phase of a complex quantity are required. In signal processing, the Schwarz integral formula underlies the theory of the Hilbert transform, which constructs the imaginary part (the phase) from the real part (the magnitude spectrum) of a causal signal. In fluid dynamics, it constructs the complex potential of a flow from known boundary streamline data. In conformal mapping, it provides the analytic continuation of harmonic mappings across boundaries.
The formula also plays a foundational role in the theory of Hardy spaces, where it establishes the isomorphism between the space of real ^p$ boundary functions and the space of holomorphic ^p$ functions with prescribed real part. This isomorphism is not merely a technical convenience; it is the mathematical statement that the boundary completely determines the interior for a broad class of well-behaved functions.
The Schwarz integral formula exposes a pattern that appears throughout physics and engineering: the real and imaginary parts of a complex quantity are not independent degrees of freedom. They are coupled by the analyticity condition, and knowing one determines the other. This is not magic; it is the mathematics of causality. A causal signal cannot have arbitrary real and imaginary spectra — the causality condition (no response before the stimulus) imposes the Hilbert transform relationship that the Schwarz integral encodes. The same pattern appears in quantum mechanics (the Kramers-Kronig relations connecting the real and imaginary parts of the scattering amplitude), in optics (the relationship between absorption and dispersion), and in electrical engineering (the relationship between resistance and reactance). The Schwarz integral is the prototype for all of these.