Namespaces
Variants
Actions

Upper-and-lower-functions method

From Encyclopedia of Mathematics
Jump to: navigation, search

A method for demonstrating the existence of solutions of boundary value problems for differential equations. The idea of this method applied to ordinary differential equations was discussed in the work of G. Peano (1880). For the case of the Dirichlet problem and for the case of the Laplace equation the idea occurs in H. Poincaré's balayage method. O. Perron [1] was the first to give a full exposition of the method of upper and lower functions for this last case.

Let the Dirichlet problem be posed in a region of the space , , for a linear, homogeneous, elliptic second-order equation with continuous coefficients,

(1)

with the boundary condition

(2)

In the method of upper and lower functions one introduces a generalization of superharmonic functions (respectively, of subharmonic functions), under the assumption that the problems (1) and (2) are locally solvable. A function which is continuous in is said to be a generalized superharmonic function (respectively, a generalized subharmonic function) in if for any sufficiently small ball , , the inequality (respectively, ) is true. Here, is a continuous function in which is equal to outside and on its boundary and which satisfies equation (1) inside . For a continuous function on the boundary , a generalized superharmonic (respectively, a subharmonic) function is said to be upper (respectively, lower) if for the inequality (respectively, ) is true.

The classes and of all upper and lower functions, respectively, are non-empty, and if and , then [3]. A generalized solution of the Dirichlet problem is defined as the smallest envelope of the class or as the largest envelope of the class :

(3)

If the boundary permits a barrier at each one of its points, then everywhere on , i.e. is a classical solution of the Dirichlet problem. In the general case the behaviour of the generalized solution (3) of the elliptic equation (1) at boundary points fully parallels the behaviour of the generalized solution of the Laplace problem (cf. Perron method).

The method of upper and lower functions is also employed in the study of the first boundary value problem for linear homogeneous parabolic second-order equations of the form

with the initial condition

and boundary condition

In this case superparabolic (subparabolic) functions, with properties analogous to those of generalized superharmonic (subharmonic) functions, are introduced [4].

References

[1] O. Perron, "Eine neue Behandlung der ersten Randwertaufgabe für " Math. Z. , 18 (1923) pp. 42–54
[2] I.G. Petrovskii, "Partial differential equations" , Saunders (1967) (Translated from Russian)
[3] R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 2 , Interscience (1965) (Translated from German)
[4] V.I. Smirnov, "A course of higher mathematics" , 4 , Addison-Wesley (1964) (Translated from Russian)


Comments

In axiomatic potential theory, this method is usually called the Perron–Wiener–Brelot method. In its general form, this method defines the upper solution of the Dirichlet problem, for any open set satisfying the minimum principle and any numerical boundary function , as the greatest lower bound of all upper functions: the lower-bounded hyperharmonic functions on such that on the boundary and outside some compact set. The lower solution is defined in a dual way. The Dirichlet problem admits a generalized solution if the upper and lower solutions are equal and harmonic (i.e. satisfy the differential equation). In this case, the boundary function is said to be resolutive. See [a1].

References

[a1] C. Constantinescu, A. Cornea, "Potential theory on harmonic spaces" , Springer (1972)
How to Cite This Entry:
Upper-and-lower-functions method. L.I. KamyninE.D. Solomentsev (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Upper-and-lower-functions_method&oldid=17894
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098