Differential equation, partial, complex-variable methods
Methods for solving elliptic partial differential equations involving the representation of solutions by way of analytic functions of a complex variable.
The theory of analytic functions
![]() |
of the complex variable is the theory of two real-valued functions
and
satisfying the Cauchy–Riemann system of equations
,
, which is essentially equivalent to the Laplace equation
![]() |
Since the 1930s, methods of analytic function theory have been used to an increasing extent in the general theory of equations of elliptic type. Thus arose a new branch of analysis, a substantial extension of the classical theory of analytic functions and their applications. The main subject of this branch are representation formulas for all solutions of a very extensive class of equations of elliptic type by analytic functions of one complex variable. For linear equations these representations are realized using certain linear operators, expressed in terms of the coefficients of the equations. These formulas make it possible to extend the properties of analytic functions to solutions of an equation of elliptic type, and important properties such as the uniqueness theorem, the principle of the argument, Liouville's theorem, etc., are often literally preserved. Taylor and Laurent series, the Cauchy integral formula, the compactness principle, the principle of analytic continuation, etc., are extended in a natural way.
The complex representation formulas permit the construction of various families of particular solutions of equations displaying certain properties. For instance, it is possible to construct various classes of so-called elementary solutions with point singularities, which are employed to obtain various integral formulas. So-called complete systems of particular solutions can be constructed; the latter have the property that their linear combinations approximate any solution. Complex representation formulas also make it possible to reduce many boundary value problems to equivalent problems for analytic functions, and to construct Fredholm or singular integral equations which are equivalent to these problems. Boundary value problems of non-Fredholm type may also be studied and a condition of normal solvability and explicit formulas for the index may thus be obtained. See Boundary value problem, complex-variable methods.
Elliptic equations with analytic coefficients.
Let the second-order equation of elliptic type
![]() | (1) |
be given, where ,
and
are analytic functions in the real variables
and
in some domain of the
-plane,
. Analytic continuation of the coefficients into the domain of the independent complex variables
,
yields the following form of equation (1):
![]() | (2) |
A simply-connected domain is said to be a fundamental domain for equation (1) if
,
and
are analytic functions of two independent variables in the cylindrical domain
, where
denotes the mirror image of
with respect to the real axis.
If is a simply-connected domain, all solutions of equation (1) regular in the domain
are expressed by the formula
![]() | (3) |
![]() |
where is an arbitrary holomorphic function in
,
are arbitrary fixed points; the analytic function
of four independent complex arguments in the cylindrical domain
is said to be the Riemann function of equation (1). It is the solution of the integral equation of Volterra type:
![]() | (4) |
![]() |
![]() |
The correspondence between the family of solutions of equation (1) and the family of holomorphic functions
produced by formula (3) will be a one-to-one correspondence if the values of the imaginary parts of
are fixed in a given point
of
. If
, the inversion formula
![]() |
is valid. Equation (4) can be solved by the method of successive approximation. An approximate expression of the Riemann function can be obtained in this way.
If the domain is multiply connected, formula (3) usually gives multi-valued solutions. In order to obtain all single-valued solutions of equation (1) in this case, multi-valued functions of a certain type must be taken for
in (3).
Let be a doubly-connected domain
; let
be a bounded continuum completing
to a simply-connected domain. All solutions of equation (1) which are single-valued in
are then given by the formula
![]() | (5) |
![]() |
where ,
are fixed points, and
is a multi-valued analytic function of the form
![]() |
![]() |
Here, is an arbitrary real constant,
is an arbitrary holomorphic function in
, and
is any simple, closed, piecewise-smooth curve lying in
and enclosing
. The functions
and
are expressed by the formulas
![]() |
![]() |
Complex representations of the type (3) are also extended to a system of equations written in a vector form (1), where is a vector with components
, and
are square matrices of order
whose entries are analytic functions of the variables
.
In a domain in which there is at least one positive solution for (1), equation (1) may be converted to the form
![]() |
by substituting . (Such a solution always exists in a small neighbourhood of any fixed point, and also in any domain where
.) In this case equation (1) is equivalent to the system of equations
![]() | (6) |
which is a special case of the generalized Cauchy–Riemann system. Introducing the complex function , the system may be written as
![]() | (7) |
If the coefficients and
are analytic functions of the complex arguments
and
(
,
) in some cylindrical domain
, where
is a simply-connected domain, then the solution of equation (7) in a simply-connected domain
is given by the formula:
![]() | (8) |
![]() |
where and
are analytic functions of their arguments, defined in terms of
and
and constructed by the method of successive approximation;
is an arbitrary analytic function of the variable
.
If and
are entire functions of the variables
and
, the representation (8) is valid for any simply-connected domain of the
-plane, irrespective of the behaviour of the coefficients
and
near infinity.
Let the elliptic equation
![]() | (9) |
be given, where are analytic functions of
and
. If
is a fundamental domain for equation (9), any regular solution of this equation in a simply-connected domain
is expressed by the formula
![]() | (10) |
![]() |
where are arbitrary functions holomorphic in
, and
![]() |
Here is the complex Riemann function of equation (9) which depends analytically on the complex arguments
in the cylindrical domain
. If the conditions
![]() |
are satisfied, formula (10) realizes a one-to-one correspondence between the family of solutions of equation (9) and the family of holomorphic functions
. If
is a multiply-connected domain, formula (10) usually yields multi-valued solutions. However, as for equations of the second order, the formula may be modified so that it yields all single-valued solutions of equation (9) in a multiply-connected domain as well. Formula (10) may also be extended to a system of equations such as (9), where
is a vector and the coefficients are matrices.
For several equations of mathematical physics the Riemann function is explicitly given using elementary or special functions.
For the equation of the vibrating membrane,
![]() |
![]() |
where is the Bessel function of order zero, and the complex plane is taken as fundamental domain. The case
yields the Laplace equation
; then
and formula (3) assumes the form
![]() |
For the equation of spherical functions,
![]() |
![]() |
where is the Legendre function of the first kind; any simply-connected domain
which satisfies the condition: if
,
, then
(e.g. the disc
), may be taken as fundamental domain. In the case of the Euler–Darboux equation
![]() |
![]() |
![]() |
where ,
, and
is the hypergeometric series; the half-planes
or
may be taken as fundamental domains.
For the equation
![]() |
![]() |
Goursat's formula
![]() |
is valid.
The method of complex representation of solutions is also applicable to a certain class of non-linear equations. For instance, let the Gauss equation
![]() |
be given, where is a given function (this is a well-known equation in differential geometry). If
is any particular solution of this equation, the functions of the type
![]() |
where is an arbitrary analytic function, are also solutions. If
, then
and all solutions of the Gauss equation may be expressed by the formula:
![]() |
If , it should be assumed that
.
Elliptic equations with non-analytic coefficients.
Let there be given a generalized system of Cauchy–Riemann equations (7) with coefficients and
defined on the whole complex
-plane
and belonging to the class
, i.e.
![]() |
![]() |
If the coefficients are given in a bounded domain and belong to the class
,
, they will satisfy the above conditions when extended by zero outside
. Under these assumptions, equation (7) usually has no solutions in the classical sense. One accordingly considers a so-called generalized solution: A function
is called a solution of equation (7) in
if it has a derivative in the generalized sense (as defined by S.L. Sobolev)
and satisfies the equation almost-everywhere in
.
The theory of functions satisfying equation (7) is a far-reaching generalization of the classical theory of analytic functions and retains their principal features. For this reason solutions of equations of the type (7) are known as generalized analytic functions (cf. Generalized analytic function).
Any solution of equation (7) (in ) satisfies the integral equation
![]() | (11) |
where and
is a holomorphic function in
. If
,
,
, equation (11) has a unique solution, which is expressed by the formula
![]() | (12) |
![]() |
The resolvents and
depend on the coefficients of equation (7) and are constructed by the method of successive approximation.
Formula (12) gives a general (linear) representation of solutions of (7) by analytic functions . In particular, it permits the construction of the so-called fundamental kernels
![]() |
![]() |
where is some fixed point, and
and
are solutions of the integral equation (11) corresponding to the functions
![]() |
These kernels permit one to state the generalized Cauchy formula:
![]() | (13) |
![]() |
If , this formula becomes the classical Cauchy formula. Formula (13) may serve to extend many properties of analytic functions which are usually demonstrated by the Cauchy formula to generalized analytic functions. In particular, it is possible to generalize the classical theorems on analytic continuation, to construct a theory of generalized integrals of Cauchy type to obtain representations of generalized analytic functions in the form of contour integrals with a real density, etc.
The functions
![]() |
are the fundamental kernels of the adjoint equation
![]() | (14) |
If, in ,
and
satisfy the equations (7) and (14), respectively, and if they are continuous in
, one has the identity (the analogue of the classical Cauchy theorem):
![]() |
If is a solution of equation (7) in the domain
, there exists an analytic function
in
such that
![]() | (15) |
where
![]() | (16) |
and which belongs to the class ,
; moreover,
as
.
In particular, this formula permits the extension of fundamental theorems of the classical theory of analytic functions — the uniqueness theorem, Liouville's theorem, the principle of the argument, the compactness principle, etc. — to the solutions of equations such as (7). Formula (16) may be reversed: Given an analytic function it is possible to find a function
satisfying the non-linear integral equation (16).
Let be an analytic function in a domain
, which may have arbitrary singularities, and let
be a fixed point. Then there exists a solution
of equation (7) such that the function
is continuously extendable onto the whole plane
, belongs to the class
,
, does not vanish anywhere in
, and
. The function
satisfies the integral equation
![]() | (17) |
![]() |
which has a unique solution, while the function satisfies the non-linear integral equation
![]() | (18) |
![]() |
from which, as , the representation (15) is obtained.
The problem of reducing a second-order elliptic equation of general type
![]() | (19) |
to the form (1) is equivalent to the problem of reducing the positive quadratic form
![]() |
to canonical form. This problem is equivalent to finding the homeomorphisms defined by the solution of the Beltrami equation
![]() | (20) |
where
![]() |
If (19) is a uniformly elliptic equation (), then
.
The principal problem in the study of the Beltrami equation is the construction of a solution in a given domain ; if
is a solution of the Beltrami equation realizing a homeomorphism of the domain
onto the domain
, then any other solution of the equation in
has the form
![]() | (21) |
where is an arbitrary analytic function in
.
If is measurable,
outside
and
, the Beltrami equation has a solution of the form
![]() | (22) |
where satisfies the singular integral equation
![]() | (23) |
in which the integral is understood in the sense of the Cauchy principal value. This equation has a unique solution in some class ,
, and may be obtained by the method of successive approximation. The function (22) belongs to the class
,
, realizes a homeomorphism of the plane onto itself, and
,
as
. If
,
,
, then
.
A first-order uniformly elliptic system of general type in complex notation has the form
![]() | (24) |
![]() |
It may be reduced to the form (7) with the aid of a homeomorphism defined by a solution of an equation of the type (20).
Any solution of equation (24) in some bounded domain , for the case
,
, can be represented in the form
![]() | (25) |
where is some homeomorphism defined by a solution of the Beltrami equation (20) with the coefficient
![]() |
is an analytic function in the domain
, and the function
,
, is holomorphic outside
and vanishes at infinity. The representation (25) is also valid if the coefficients of the left-hand side of equation (24) depend on
and on its derivatives of any order, provided the above conditions hold for the solutions under study. Formula (25) is reversible, as is formula (15).
Formula (25) permits one to transfer several properties of the classical theory of analytic functions to solutions of equation (24): the uniqueness theorem, the principle of the argument, the maximum principle, etc.
A general quasi-conformal mapping is a solution of some uniformly elliptic system of the form (24) (if
). The converse proposition is also true. Accordingly, the above results permit one to solve the main problems in the theory of quasi-conformal mapping by a purely analytical method.
Systems of first-order equations of elliptic type with ,
, unknown functions in two independent variables may, with certain natural restrictions, be reduced to the canonical form
![]() | (26) |
where is the unknown vector with
complex-valued components, and
,
and
are square matrices of order
. The theory of equations of the form (26) has many features in common with the case
, but has also its own special features.
References
[1] | I.N. Vekua, "New methods for solving elliptic equations" , North-Holland (1967) (Translated from Russian) MR0212370 Zbl 0146.34301 |
[2] | I.N. Vekua, "Generalized analytic functions" , Pergamon (1962) (Translated from Russian) MR0152665 MR0150320 MR0138774 Zbl 0127.03505 Zbl 0100.07603 |
[3] | I.N. Vekua, "Systems of first-order differential equations of elliptic type and boundary value problems, with an application to shell theory" Mat. Sb. , 31 : 2 (1952) pp. 217–314 (In Russian) |
[4] | S. Bergman, "Integral operators in the theory of linear partial differential equations" , Springer (1961) MR0141880 Zbl 0093.28701 |
[5] | L. Bers, "Theory of pseudo-analytic functions" , New York Univ. Inst. Math. Mech. (1953) MR0057347 Zbl 0051.31603 |
[6] | B.V. Boyarskii, "A general representation of solutions of an elliptic system of ![]() |
[7] | B.V. Boyarskii, "Some boundary value problems for systems of ![]() |
[8] | T. Carleman, "Sur les systèmes linéaires aux dérivées partielles du premier ordre à deux variables" C.R. Acad. Sci. , 197 (1933) pp. 471–474 Zbl 0007.16202 Zbl 59.0469.03 |
[9] | A.V. Bitsadze, "Boundary value problems for second-order elliptic equations" , North-Holland (1968) (Translated from Russian) MR0226183 Zbl 0167.09401 |
[10] | Z.I. Khalilov, "On boundary value problems for an elliptic equation" Izv. Akad. Nauk. SSSR Ser. Mat. , 11 (1947) pp. 345–362 (In Russian) (French summary) |
[11] | R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 2 , Interscience (1965) (Translated from German) MR0195654 |
Comments
References
[a1] | W. Tutschke, "Partielle komplexe Differentialgleichungen in einer und mehreren komplexen Variablen" , Deutsch. Verlag Wissenschaft. (1977) MR481388 Zbl 0361.35002 |
[a2] | G.F. Carrier, C.E. Pearson, "Partial differential equations" , Acad. Press (1976) MR0404823 Zbl 0323.35001 |
[a3] | L. Bers, "An outline of the theory of pseudoanalytic functions" Bull. Amer. Math. Soc. , 62 (1956) pp. 291–331 MR0081936 Zbl 0072.07703 |
Differential equation, partial, complex-variable methods. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Differential_equation,_partial,_complex-variable_methods&oldid=24413