In
complex analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebra ...
, a branch of mathematics, the Schwarz integral formula, named after
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, ...
, allows one to recover a
holomorphic 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 de ...
,
up to Two mathematical objects ''a'' and ''b'' are called equal up to an equivalence relation ''R''
* if ''a'' and ''b'' are related by ''R'', that is,
* if ''aRb'' holds, that is,
* if the equivalence classes of ''a'' and ''b'' with respect to ''R'' a ...
an imaginary constant, from the boundary values of its real part.
Unit disc
Let ''f'' be a function holomorphic on the closed unit disc . Then
:
for all , ''z'', < 1.
Upper half-plane
Let ''f'' be a function holomorphic on the closed
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 ...
such that, for some ''α'' > 0, , ''z''
''α'' ''f''(''z''), is bounded on the closed upper half-plane. Then
:
for all Im(''z'') > 0.
Note that, as compared to the version on the unit disc, this formula does not have an arbitrary constant added to the integral; this is because the additional decay condition makes the conditions for this formula more stringent.
Corollary of Poisson integral formula
The formula follows from
Poisson integral formula applied to ''u'':
[The derivation without an appeal to the Poisson formula can be found at: https://planetmath.org/schwarzandpoissonformulas ]
:
By means of conformal maps, the formula can be generalized to any simply connected open set.
Notes and references
*
Ahlfors, Lars V. (1979), ''Complex Analysis'', Third Edition, McGraw-Hill,
* Remmert, Reinhold (1990), ''Theory of Complex Functions'', Second Edition, Springer,
* Saff, E. B., and A. D. Snider (1993), ''Fundamentals of Complex Analysis for Mathematics, Science, and Engineering'', Second Edition, Prentice Hall, {{isbn, 0-13-327461-6
Theorems in complex analysis