Polar set
The polar set of analytic function of the complex variable
,
, is the set
of points in some domain
of the complex space
for which: a)
is holomorphic everywhere in
; b)
cannot be analytically continued to any point of
; and c) for every point
there are a neighbourhood
and a function
, holomorphic in
, for which the function
, which is holomorphic in
, can be holomorphically continued to
. At every point
one has
. The polar set
consists of the poles (cf. Pole (of a function))
of
, for which
, and the points
of indeterminacy of
, for which
(it is assumed that
and
have no common factors that are holomorphic and vanish at
). Every polar set is an analytic set of complex dimension
.
A polar set in potential theory is a set of points of the Euclidean space
,
, for which there exists a potential
,
, for some Borel measure
, that takes the value
at the points of
and only at those points.
In the case of the logarithmic potential for and the Newton potential for
, for a bounded set
to be a polar set it is necessary and sufficient that
is a set of type
and has zero outer capacity. Here, in the definition of a polar set, one can replace "potential" by "superharmonic function" . The main properties of polar sets in this case are: a) the set
which consists of a single point
is a polar set; b) a countable union of polar sets is a polar set; c) any polar set has Lebesgue measure zero in
; and d) under a conformal mapping a polar set goes to a polar set.
For a local criterion for being polar see Thinness of a set.
References
[1] | B.V. Shabat, "Introduction of complex analysis" , 2 , Moscow (1976) (In Russian) |
[2] | N.S. Landkof, "Foundations of modern potential theory" , Springer (1972) (Translated from Russian) |
[3] | M. Brélot, "Eléments de la théorie classique du potentiel" , Sorbonne Univ. Centre Doc. Univ. , Paris (1959) |
Comments
A set as described under 2) is usually called a complete polar set. A (not necessarily complete) polar set is defined as a subset of a complete polar set. A bounded set is polar if and only if it has zero outer capacity.
The sets described under 1) are also called pole sets, or sets of poles, which avoids confusion, cf. [a4] and Meromorphic function.
In parabolic potential theory, a set is polar if and only if there exists an open covering
of
and, for any
, a positive supercaloric function
on
such that
on
, see [a3]. Again, points are polar and a countable union of polar sets is polar. Any polar set is totally thin but, in contrast with classical potential theory, not every totally thin set is polar. A similar theory of polarity holds in harmonic spaces, see [a2], or in the more general case of balayage spaces, cf. [a1]. In probabilistic potential theory, a Borel set is polar if its first hitting time
satisfies
a.s.
References
[a1] | J. Bliedtner, W. Hansen, "Potential theory. An analytic and probabilistic approach to balayage" , Springer (1986) |
[a2] | C. Constantinescu, A. Cornea, "Potential theory on harmonic spaces" , Springer (1972) |
[a3] | J.L. Doob, "Classical potential theory and its probabilistic counterpart" , Springer (1983) |
[a4] | H. Grauert, K. Fritzsche, "Several complex variables" , Springer (1976) (Translated from German) |
[a5] | H. Whitney, "Complex analytic varieties" , Addison-Wesley (1972) pp. Chapt. 8 |
Polar set. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Polar_set&oldid=12257