Difference between revisions of "Bliedtner-Hansen lemma"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (moved Bliedtner–Hansen lemma to Bliedtner-Hansen lemma: ascii title) |
(No difference)
|
Revision as of 18:51, 24 March 2012
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
![]() | (a1) |
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].
References
[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-Hansen_lemma&oldid=17598