Potential theory, abstract
The theory of potentials on abstract topological spaces. Abstract potential theory arose in the middle of the 20th century from the efforts to create a unified axiomatic method for treating a vast diversity of properties of the different potentials that are applied to solve problems of the theory of partial differential equations. The first sufficiently complete description of the axiomatics of "harmonic" functions (i.e. solutions of an admissible class of partial differential equations) and the corresponding potentials was given by M. Brelot (1957–1958, see ), but it was concerned only with elliptic equations. The extension of the theory to a wide class of parabolic equations was obtained by H. Bauer (1960–1963, see ). The probabilistic approach to abstract potential theory, the origins of which could be found already in the works of P. Lévy, J. Doob, G. Hunt, and others, turned out to be very fruitful.
To expose abstract potential theory, the notion of a harmonic space is of great help. Let be a locally compact topological space. A sheaf of functions on is a mapping defined on the family of all open sets of such that
1) , for any open set , is a family of functions ;
2) if two open sets are such that , then the restriction of any function from to belongs to ;
3) if for any family , , of open sets the restrictions to of some function defined on belong, for any , to , then .
A sheaf of functions on is called a harmonic sheaf if for any open set the family is a real vector space of continuous functions on . A function defined on some set containing the open set is called an -function if the restriction belongs to . A harmonic sheaf is non-degenerate at a point if in a neighbourhood of there exists an -function such that .
The real distinctions between the axiomatics of Bauer, Brelot and Doob can be characterized by the convergence properties of -functions.
a) Bauer's convergence property states that if an increasing sequence of -functions is locally bounded on some open set , then the limit function is an -function.
b) Doob's convergence property states that if a limit function is finite on some dense set , then is an -function.
c) Brelot's convergence property states that if the limit function of an increasing sequence of -functions on some domain is finite at a point , then is an -function.
If the space is locally connected, the implications c)b)a) hold.
A sheaf of functions on is called a hyperharmonic sheaf if for any open set the family is a convex cone of lower semi-continuous functions ; a -function is defined in a similar way as an -function. The mapping is a harmonic sheaf, denoted by and generated by the sheaf ; hereafter, only this harmonic sheaf will be used.
Let on the boundary of an open set a continuous function with compact support be given. The hyperharmonic sheaf allows one to construct a generalized solution of the Dirichlet problem for certain open sets in the class of corresponding -functions by the Perron method. Let be a family of lower semi-continuous -functions , bounded from below on , positive outside some compact set and such that
define by . Now, let,
and let if . Similarly,
or . A function is called resolutive if for this function and coincide, , and if is an -function; this function is a generalized solution of the Dirichlet problem in the class of -functions. An open set is resolutive with respect to if every finite continuous function with compact support on is resolutive. For a resolutive set the mapping is a positive linear functional, hence it determines a positive measure , , which is called the harmonic measure on (or on ) at the point (with respect to ).
A locally compact space with a hyperharmonic sheaf turns into a harmonic space if the four corresponding axioms (see Harmonic space) hold; moreover, in the convergence axiom the property is understood in the sense of Bauer.
Often (it is like this in classical examples) one takes as a basis the harmonic sheaf , and the axiom of completeness serves then as a definition of a hyperharmonic sheaf. For instance, the Euclidean space , , together with the sheaf of classical solutions of the Laplace equation or of the heat equation as , is a harmonic space. A harmonic space is locally connected, does not contain isolated points and has a basis consisting of connected resolutive sets (resolutive domains).
An open set in a harmonic space with the restriction as hyperharmonic sheaf is a harmonic subspace of . A hyperharmonic function on is called a superharmonic function if for any relatively compact resolutive set with , the greatest minorant is harmonic, . Many properties of classical superharmonic functions (see Subharmonic function) also hold in this case. A potential is a positive superharmonic function such that its greatest harmonic minorant on is identically equal to zero. A harmonic space is called a -harmonic (or -harmonic) space if for any point there exists a positive superharmonic function (a potential , respectively) on such that . Any open set in a -harmonic space is resolutive.
Taking a harmonic sheaf as basis and defining the corresponding hyperharmonic sheaf by the axiom of completeness, one obtains the Bauer space, which coincides with the harmonic space for . If the harmonic sheaf , for any open set , consists of the solutions of the heat equation , then has the Doob convergence property and together with this sheaf is a (Bauer) -space. Here, is a superharmonic function of class if and only if .
A Brelot space is characterized by the following conditions: does not have isolated points and is locally connected; the regular sets with respect to form a base of (regularity means resolutivity of the classical Dirichlet problem in the class ); and has the Brelot convergence property. The Brelot spaces form a proper subclass of the so-called elliptic harmonic spaces (see ), i.e. the elliptic Bauer spaces. If the harmonic sheaf , for any open set , , consists of the solutions of the Laplace equation , then together with this sheaf is a Brelot -space, and for is a Brelot -space. Here, is a hyperharmonic function of class if and only if .
A point of the boundary of a resolutive set is called a regular boundary point if for any finite continuous function on the following limit relation holds:
otherwise is called an irregular boundary point. Let be a filter on converging to . A strictly-positive hyperharmonic function defined on the intersection of with some neighbourhood of and converging to along is called a barrier of the filter . If for a relatively compact resolutive set in a -harmonic space all filters that converge to points have barriers, then is a regular set, i.e. all its boundary points are regular. If is a relatively compact open set in a -harmonic space on which there exists a strictly-positive hyperharmonic function converging to at each point , then is a regular set.
Besides studies concerning resolutivity and regularity in the Dirichlet problem, the following problems are of major interest in abstract potential theory: the theory of capacity of point sets in harmonic spaces ; the theory of balayage (see Balayage method) for functions and measures on ; and the theory of integral representations of positive superharmonic functions on generalizing the Martin representations (see Martin boundary in potential theory).
Already at the beginning of the 20th century it became evident that potential theory is closely related to certain concepts of probability theory such as Brownian motion; Wiener process; and Markov process. For instance, the probability that the trajectory of a Brownian motion in a domain starting at the point will hit for the first time the boundary on a (Borel) set is exactly the harmonic measure of at ; the polar sets (cf. Polar set) on are the sets that are almost-certainly not hit by the trajectory. Later on, probabilistic methods contributed to a more profound understanding of certain ideas from potential theory and led to a series of new results; on the other hand, the potential-theoretic approach led to a better understanding of the results of probability theory and also leads to new results in it.
Let be a locally compact space with a countable base, let and be the classes of finite continuous functions on , respectively, with compact support and convergent to zero at infinity. A measure kernel is a (Borel) function in for every relatively compact (Borel) set . Using , to each function , , corresponds a potential function
and to a measure corresponds a potential measure
The identity kernel vanishes when and is equal to when , it changes neither nor . For instance, in the Euclidean space the kernel
A product kernel has the form
A family of kernels , , with the composition law is a one-parameter semi-group. A kernel satisfies the complete maximum principle if for any from and the inequality on the set where leads to this inequality everywhere on . The principal theorem in this theory is Hunt's theorem, which in its simplest version is the following: If the image of under a transformation is dense in and if satisfies the complete maximum principle, then there exists a semi-group , , such that
(a Feller semi-group); moreover, transforms into ; is the identity kernel; , , locally uniform; and . A measurable function is called an excessive function with respect to the semi-group if always and if ; if , then is called an invariant function. The corresponding formulas are also valid for the potential measure .
The theory of Hunt (1957–1958) outlined above has a direct probabilistic sense. Let on be given some -algebra of Borel sets and a probability measure . A random variable is a -measurable mapping of into the state space . The family of random variables , , is a Markov process (for which is the trajectory of a point ) if for any , , there exists a probability measure on such that a) ; b) , , is a Borel function of ; and c) the form of a trajectory passing through at a moment , for , is independent of the positions of the points preceding it. In such Markov processes the semi-groups are interpreted as semi-groups of measures
Studies of excessive and invariant functions with respect to the semi-groups are of great importance.
On the other hand, if is a -harmonic space with a countable base, then one can always choose on it a potential kernel to meet the requirements of Hunt's theorem; in this case the excessive functions of the associated semi-group are precisely the non-negative hyperharmonic functions. Hunt's theorem can be also generalized for some types of Bauer spaces (see , ).
Other concepts from abstract potential theory, such as, for example, balayage, polar and thin sets, also have their probabilistic interpretation within the framework of the general theory of random processes; this facilitates studies of the latter. On the other hand, the potential-theoretic approach to a series of concepts, such as, for example, martingales, which are beyond the limits of Markov processes, turned out to be of great importance.
|||M. Brélot, "Lectures on potential theory" , Tata Inst. (1960)|
|||M. Brelot, "Les étapes et les aspects multiples de la théorie du potentiel" Enseign. Math. , 18 : 1 (1972) pp. 1–36|
|||H. Bauer, "Harmonische Räume und ihre Potentialtheorie" , Springer (1966)|
|||C. Constantinescu, A. Cornea, "Potential theory on harmonic spaces" , Springer (1972)|
|||P.A. Meyer, "Probability and potentials" , Blaisdell (1966)|
|[6a]||G.A. Hunt, "Markov processes and potentials, I" Illinois J. Math. , 1 (1957) pp. 44–93|
|[6b]||G.A. Hunt, "Markov processes and potentials, II" Illinois J. Math. , 1 (1957) pp. 316–362|
|[6c]||G.A. Hunt, "Markov processes and potentials, III" Illinois J. Math. , 2 (1958) pp. 151–213|
|||R.M. Blumenthal, R.K. Getoor, "Markov processes and potential theory" , Acad. Press (1968)|
Abstract potential theory is also called axiomatic potential theory.
A measure kernel is also defined as a (-additive, non-negative) measure in , and can be defined whenever is Borel and non-negative; in the article above, is assumed finite if . By definition, a Feller semi-group transforms to , is the identity kernel and for the transformation is continuous at 0 for the uniform topology. If and are related by Hunt's theorem, is called the potential kernel of the Feller semi-group , and for any non-negative Borel function the potential of is an excessive function with respect to the semi-group . One can define analogously excessive measures and potential measures, and their study is also of great importance. The passage in the article on the definition of a Markov process is somewhat misleading: the equipped with the -algebra has to be replaced by an extraneous measurable space, say , and the state space by the locally compact space where the Hunt kernel is defined, so that in the equality one has and (and Borel). See Markov process.
Several abstract theories have been introduced, aimed at a unification of different branches of potential theory, e.g. the theory of balayage spaces, cf. [a2], and the theory of -cones, cf. [a1]. Both concepts use a convex cone of functions (the positive hyperharmonic functions, e.g.), satisfying some convergence properties, a Riesz property and a separation property as their main tool. See also [a4] for short surveys.
|[a1]||N. Boboc, Gh. Bucur, A. Cornea, "Order and convexity in potential theory: -cones" , Springer (1981)|
|[a2]||J. Bliedtner, W. Hansen, "Potential theory. An analytic and probabilistic approach to balayage" , Springer (1986)|
|[a3]||M. Fukushima, "Dirichlet forms and Markov processes" , North-Holland (1980)|
|[a4]||J. Král (ed.) J. Lukeš (ed.) J. Veselý (ed.) , Potential theory. Survey and problems (Prague, 1987) , Lect. notes in math. , 1344 , Springer (1988)|
|[a5]||M. Brelot (ed.) H. Bauer (ed.) J.-M. Bony (ed.) J. Deny (ed.) G. Mokobodzki (ed.) , Potential theory (CIME, Stresa, 1969) , Cremonese (1970)|
|[a6]||C. Dellacherie, P.A. Meyer, "Probabilities and potential" , C , North-Holland (1988) (Translated from French)|
|[a7]||F.Y. Maeda, "Dirichlet integrals on harmonic spaces" , Lect. notes in math. , 803 , Springer (1980)|
|[a8]||M. Röckner, "Markov property of generalized fields and axiomatic potential theory" Math. Ann. , 264 (1983) pp. 153–177|
Potential theory, abstract. E.D. Solomentsev (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Potential_theory,_abstract&oldid=14793