Let be a subset of a Euclidean space , , and let be a positive superharmonic (lower semi-continuous) function on (cf. also Harmonic function; Semi-continuous function). The balayage of on is defined as the greatest lower semi-continuous minorant of the function
Balayaged functions were introduced in classical potential theory by M. Brelot and play an important role. Given any set and any , there is a unique Radon measure on such that for any superharmonic function . It can proved that
If, now, is a bounded open subset of , , and is a Borel function on the boundary of , then the function : , which is harmonic on , represents a generalized solution of the classical Dirichlet problem. According to (a1), "the solution of a solution is again a solution" . More precisely, given a (bounded) Borel function on , then the function : , , is a Borel function and for any .
The last assertion, as well (a1), fails to be valid in more general situations such as, for example, the case of solutions of the heat equation. Replace now by an abstract -harmonic space (in the axiomatic sense of C. Constantinescu and A. Cornea; see [a4]). By this one understands a locally compact space having a countable base equipped with a sheaf of "harmonic" functions. Main model examples of abstract harmonic spaces are described by solutions of the Laplace equation in and of the heat equation in . Notice also that (a1) expresses nothing else than the axiom of polarity, and this axiom is fulfilled for the first model but fails for the second one.
One may introduced on a class of superharmonic functions in a natural way and, as above, one may define balayages of superharmonic functions. As superharmonic functions are lower semi-continuous only, one defines the fine topology on as the weak topology on generated by the family of all superharmonic functions. This new topology was introduced in classical potential theory by Brelot and H. Cartan around 1940 and later on intensively studied, even in the axiomatic setting of harmonic spaces.
As mentioned above, (a1) is no more valid in abstract harmonic spaces without the presence of the axiom of polarity. Nevertheless, the fundamental Bliedtner–Hansen lemma, which is closely related to (a1), allows one to derive strong results in abstract harmonic spaces. It says that , provided and are open in the fine topology, is a Borel set in the original topology of and .
The powerful result of J. Bliedtner and W. Hansen can be stated in various degrees of generality. It appeared originally in [a1] and can be proved also in the framework of balayage spaces [a2] or even of standard -cones [a3]. Detailed proofs of the Bliedtner–Hansen lemma can be found in [a5].
|[a1]||J. Bliedtner, W. Hansen, "Cones of hyperharmonic functions" Math. Z. , 151 (1976) pp. 71–87|
|[a2]||J. Bliedtner, W. Hansen, "Balayage spaces: An analytic and probabilistic approach to balayage" , Universitext , Springer (1986)|
|[a3]||N. Boboc, Gh. Bucur, A. Cornea, "Order and convexity in potential theory: H-cones" , Lecture Notes Math. , 853 , Springer (1981)|
|[a4]||C. Constantinescu, A. Cornea, "Potential theory on harmonic spaces" , Springer (1972)|
|[a5]||J. Lukeš, J. Malý, L. Zajíček, "Fine topology methods in real analysis and potential theory" , Lecture Notes Math. , 1189 , Springer (1986)|
Bliedtner–Hansen lemma. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bliedtner%E2%80%93Hansen_lemma&oldid=22144