A local version of Levenberg's theorem on determining measures and Leja's polynomial condition (Q1345717): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: A new capacity for plurisubharmonic functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3957216 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monge-Ampere Measures Associated to Extremal Plurisubharmonic Functions in C n / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3693830 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extremal plurisubharmonic functions in $C^N$ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3701749 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Families of polynomials and determining measures / rank | |||
Normal rank |
Revision as of 12:16, 23 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A local version of Levenberg's theorem on determining measures and Leja's polynomial condition |
scientific article |
Statements
A local version of Levenberg's theorem on determining measures and Leja's polynomial condition (English)
0 references
25 June 1995
0 references
Let \(E\) be a bounded subset of \(\mathbb{C}^ N\) and \(\mu\) be a non-negative weakly increasing set function on \(E\) such that \(\mu (\emptyset) =0\). The pair \((E,\mu)\) is said to satisfy Leja's polynomial condition \((L^*)\) at a point \(a\in \mathbb{C}^ N\) if for every family \({\mathcal F}\) of polynomials in \(\mathbb{C}^ N\) with \(\mu (\{ z\in E\): \(\sup_{f\in {\mathcal F}} | f(z)| =\infty\})=0\) and for any \(b>1\), the family \({\mathcal F}_ b:= \{b^{-\deg f} \cdot f\): \(f\in{\mathcal F}\}\) is uniformly bounded in a neighbourhood of \(a\). Let \(V_ E(z)= \sup\{ u(z)\): \(u\in {\mathcal L}\), \(u\leq 0\) on \(E\}\), where \({\mathcal L}\) is the Lelong class of all plurisubharmonic functions in \(\mathbb{C}^ N\) of logarithmic growth, \(V^*_ E= \limsup_{w\to z} V_ E(w)\). The following theorem is proved. Let \(\mu\) vanish on pluripolar subsets of \(E\), and for each \(F\subset E\), \(\mu (E\setminus F)=0\) if and only if \(\mu(F)= \mu(E)\). Then \((E,\mu)\) satisfies \((L^*)\) at \(a\in \mathbb{C}^ N\) if and only if \(V^*_ F(a)= V^*_ E (a)=0\) for any \(F\subset E\) with \(\mu(F)= \mu(E)\). This provides a short proof of the invariance of the condition \((L^*)\) under nondegenerate holomorphic mappings.
0 references
pluricomplex Green function
0 references
normal family of polynomials
0 references
Lelong class
0 references