Weak and strong limit values (Q363193): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(M=\{\mu_j\}\) be a family of Borel measures on a compact metric space, converging weakly to a measure \(\mu\), and let \(\phi=\{\phi_j\}\) be a family of Borel functions. If the measures \(\phi_j\mu_j\) converge weakly to a measure \(\phi_\star\mu\) (which is the case, for example, when \(\phi_j\) are uniformly bounded in \(L^p(\mu_j)\) for some \(p>1\)), then the function \(\phi_\star\) is called the \textit{weak limit values} of \(\phi\). If, in addition, there exists a \(\mu\)-measurable function \(\phi^\star\) on the support \(K_0\) of \(\mu\) such that for any \(a<b\) and \(\epsilon, \delta>0\) there is an open neighborhood \(O\) of \(\{x\in K_0: a\leq \phi^\star(x)<b\}\) such that \[ \mu_j(\{\phi_j<a-\epsilon\}\cap O)+\mu_j(\{\phi_j>b+\epsilon\}\cap O)<\delta, \] then the function \(\phi^\star\) is called the \textit{strong limit values} of \(\phi\). Conditions for the existence of \(\phi^\star\) and the equality \(\phi^\star=\phi_\star\) are obtained. This is applied to the main object of the paper: harmonic and subharmonic functions on a general regular domain \(D\). Let \(D\) be exhausted by domains \(D_r\), \(r<0\), and let \(\mu\) and \(\mu_r\) denote the corresponding harmonic measures (with respect to some \(x_0\in D\)). The space \(S^p(D)\) is the space of continuous subharmonic functions \(u\) on \(D\) such that \[ \limsup_{r\to 0-}\int|u|^p\,d\mu_r<\infty. \] It is proved that for every \(\phi\in L^p(\partial D,\mu)\) there is a harmonic function \(h_\phi\in S^p(D)\) that has strong limit values with respect to any \(M=\{\mu_{r_j}\}\) for any sequence \(r_j\to 0\), equal to \(\phi\); moreover, \(h_\phi\) is the Poisson integral of \(\phi\). Further, it is proved that a function \(u\in S^p(D)\) has the Riesz-Jensen representation \[ u(x)=\int\phi(y)P(x,y)\,d\mu(y) +\int G(x,y)\Delta u(y) \] iff it has boundary values equal to \(\phi\). Finally, the Lelong-Jensen formula for plurisubharmonic functions continuous on \(\overline D\), due to Demailly, is extended to functions from the corresponding class \(PS^p(D)\), \(p>1\), with boundary values \(u^\star\). Such functions are shown to have boundary values in the case of \(D\) with \(C^2\) boundary and for \(D\) equal to a polydisk. | |||
Property / review text: Let \(M=\{\mu_j\}\) be a family of Borel measures on a compact metric space, converging weakly to a measure \(\mu\), and let \(\phi=\{\phi_j\}\) be a family of Borel functions. If the measures \(\phi_j\mu_j\) converge weakly to a measure \(\phi_\star\mu\) (which is the case, for example, when \(\phi_j\) are uniformly bounded in \(L^p(\mu_j)\) for some \(p>1\)), then the function \(\phi_\star\) is called the \textit{weak limit values} of \(\phi\). If, in addition, there exists a \(\mu\)-measurable function \(\phi^\star\) on the support \(K_0\) of \(\mu\) such that for any \(a<b\) and \(\epsilon, \delta>0\) there is an open neighborhood \(O\) of \(\{x\in K_0: a\leq \phi^\star(x)<b\}\) such that \[ \mu_j(\{\phi_j<a-\epsilon\}\cap O)+\mu_j(\{\phi_j>b+\epsilon\}\cap O)<\delta, \] then the function \(\phi^\star\) is called the \textit{strong limit values} of \(\phi\). Conditions for the existence of \(\phi^\star\) and the equality \(\phi^\star=\phi_\star\) are obtained. This is applied to the main object of the paper: harmonic and subharmonic functions on a general regular domain \(D\). Let \(D\) be exhausted by domains \(D_r\), \(r<0\), and let \(\mu\) and \(\mu_r\) denote the corresponding harmonic measures (with respect to some \(x_0\in D\)). The space \(S^p(D)\) is the space of continuous subharmonic functions \(u\) on \(D\) such that \[ \limsup_{r\to 0-}\int|u|^p\,d\mu_r<\infty. \] It is proved that for every \(\phi\in L^p(\partial D,\mu)\) there is a harmonic function \(h_\phi\in S^p(D)\) that has strong limit values with respect to any \(M=\{\mu_{r_j}\}\) for any sequence \(r_j\to 0\), equal to \(\phi\); moreover, \(h_\phi\) is the Poisson integral of \(\phi\). Further, it is proved that a function \(u\in S^p(D)\) has the Riesz-Jensen representation \[ u(x)=\int\phi(y)P(x,y)\,d\mu(y) +\int G(x,y)\Delta u(y) \] iff it has boundary values equal to \(\phi\). Finally, the Lelong-Jensen formula for plurisubharmonic functions continuous on \(\overline D\), due to Demailly, is extended to functions from the corresponding class \(PS^p(D)\), \(p>1\), with boundary values \(u^\star\). Such functions are shown to have boundary values in the case of \(D\) with \(C^2\) boundary and for \(D\) equal to a polydisk. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 31B05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 31B10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 31B20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A33 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32U05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32U35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6203561 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
harmonic functions | |||
Property / zbMATH Keywords: harmonic functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
subharmonic functions | |||
Property / zbMATH Keywords: subharmonic functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
plurisubharmonic functions | |||
Property / zbMATH Keywords: plurisubharmonic functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
boundary values | |||
Property / zbMATH Keywords: boundary values / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hardy spaces | |||
Property / zbMATH Keywords: Hardy spaces / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Lelong-Jensen formula | |||
Property / zbMATH Keywords: Lelong-Jensen formula / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2140048341 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1105.1365 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4513495 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The pluricomplex Poisson kernel for strongly convex domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monge–Ampère boundary measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4186622 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mesures de Monge-Ampère et mesures pluriharmoniques. (Monge-Ampère measures and pluriharmonic measures) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5581926 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boundary behavior of harmonic functions in non-tangentially accessible domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hardy and Bergman spaces on hyperconvex domains and their composition operators / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:17, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weak and strong limit values |
scientific article |
Statements
Weak and strong limit values (English)
0 references
2 September 2013
0 references
Let \(M=\{\mu_j\}\) be a family of Borel measures on a compact metric space, converging weakly to a measure \(\mu\), and let \(\phi=\{\phi_j\}\) be a family of Borel functions. If the measures \(\phi_j\mu_j\) converge weakly to a measure \(\phi_\star\mu\) (which is the case, for example, when \(\phi_j\) are uniformly bounded in \(L^p(\mu_j)\) for some \(p>1\)), then the function \(\phi_\star\) is called the \textit{weak limit values} of \(\phi\). If, in addition, there exists a \(\mu\)-measurable function \(\phi^\star\) on the support \(K_0\) of \(\mu\) such that for any \(a<b\) and \(\epsilon, \delta>0\) there is an open neighborhood \(O\) of \(\{x\in K_0: a\leq \phi^\star(x)<b\}\) such that \[ \mu_j(\{\phi_j<a-\epsilon\}\cap O)+\mu_j(\{\phi_j>b+\epsilon\}\cap O)<\delta, \] then the function \(\phi^\star\) is called the \textit{strong limit values} of \(\phi\). Conditions for the existence of \(\phi^\star\) and the equality \(\phi^\star=\phi_\star\) are obtained. This is applied to the main object of the paper: harmonic and subharmonic functions on a general regular domain \(D\). Let \(D\) be exhausted by domains \(D_r\), \(r<0\), and let \(\mu\) and \(\mu_r\) denote the corresponding harmonic measures (with respect to some \(x_0\in D\)). The space \(S^p(D)\) is the space of continuous subharmonic functions \(u\) on \(D\) such that \[ \limsup_{r\to 0-}\int|u|^p\,d\mu_r<\infty. \] It is proved that for every \(\phi\in L^p(\partial D,\mu)\) there is a harmonic function \(h_\phi\in S^p(D)\) that has strong limit values with respect to any \(M=\{\mu_{r_j}\}\) for any sequence \(r_j\to 0\), equal to \(\phi\); moreover, \(h_\phi\) is the Poisson integral of \(\phi\). Further, it is proved that a function \(u\in S^p(D)\) has the Riesz-Jensen representation \[ u(x)=\int\phi(y)P(x,y)\,d\mu(y) +\int G(x,y)\Delta u(y) \] iff it has boundary values equal to \(\phi\). Finally, the Lelong-Jensen formula for plurisubharmonic functions continuous on \(\overline D\), due to Demailly, is extended to functions from the corresponding class \(PS^p(D)\), \(p>1\), with boundary values \(u^\star\). Such functions are shown to have boundary values in the case of \(D\) with \(C^2\) boundary and for \(D\) equal to a polydisk.
0 references
harmonic functions
0 references
subharmonic functions
0 references
plurisubharmonic functions
0 references
boundary values
0 references
Hardy spaces
0 references
Lelong-Jensen formula
0 references
0 references