Namespaces
Variants
Actions

Difference between revisions of "Polar set"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
Line 1: Line 1:
The polar set of analytic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734401.png" /> of the complex variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734402.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734403.png" />, is the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734404.png" /> of points in some domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734405.png" /> of the complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734406.png" /> for which: a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734407.png" /> is holomorphic everywhere in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734408.png" />; b) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734409.png" /> cannot be analytically continued to any point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344010.png" />; and c) for every point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344011.png" /> there are a neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344012.png" /> and a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344013.png" />, holomorphic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344014.png" />, for which the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344015.png" />, which is holomorphic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344016.png" />, can be holomorphically continued to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344017.png" />. At every point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344018.png" /> one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344019.png" />. The polar set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344020.png" /> consists of the poles (cf. [[Pole (of a function)|Pole (of a function)]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344021.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344022.png" />, for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344023.png" />, and the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344024.png" /> of indeterminacy of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344025.png" />, for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344026.png" /> (it is assumed that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344027.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344028.png" /> have no common factors that are holomorphic and vanish at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344029.png" />). Every polar set is an [[Analytic set|analytic set]] of complex dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344030.png" />.
+
The polar set of analytic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734401.png" /> of the complex variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734402.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734403.png" />, is the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734404.png" /> of points in some domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734405.png" /> of the complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734406.png" /> for which: a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734407.png" /> is holomorphic everywhere in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734408.png" />; b) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p0734409.png" /> cannot be analytically continued to any point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344010.png" />; and c) for every point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344011.png" /> there are a neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344012.png" /> and a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344013.png" />, holomorphic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344014.png" />, for which the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344015.png" />, which is holomorphic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344016.png" />, can be holomorphically continued to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344017.png" />. At every point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344018.png" /> one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344019.png" />. The polar set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344020.png" /> consists of the poles (cf. [[Pole (of a function)|Pole (of a function)]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344021.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344022.png" />, for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344023.png" />, and the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344024.png" /> of indeterminacy of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344025.png" />, for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344026.png" /> (it is assumed that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344027.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344028.png" /> have no common factors that are holomorphic and vanish at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344029.png" />). 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344030.png" />.
  
 
A polar set in potential theory is a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344031.png" /> of points of the Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344032.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344033.png" />, for which there exists a potential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344034.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344035.png" />, for some Borel measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344036.png" />, that takes the value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344037.png" /> at the points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344038.png" /> and only at those points.
 
A polar set in potential theory is a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344031.png" /> of points of the Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344032.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344033.png" />, for which there exists a potential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344034.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344035.png" />, for some Borel measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344036.png" />, that takes the value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344037.png" /> at the points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073440/p07344038.png" /> and only at those points.

Revision as of 18:43, 18 July 2014

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
How to Cite This Entry:
Polar set. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Polar_set&oldid=12257
This article was adapted from an original article by E.D. Solomentsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article