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 a complex analytic variety (by which we mean the set of common zeros of a finite set of holomorphic functions) 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