<p>We study differentiability conditions on a complex measure <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1079_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ν</mi> </math></EquationSource> </InlineEquation> at a point <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1079_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_0\in {{\mathbb {R}}}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mn>0</mn> </msub> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, in relation with the boundary convergence at that point of the Poisson-type integral <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1079_Article_IEq3.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="98" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathbb {P}}}_t\nu =e^{-t\sqrt{L}}\nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">P</mi> <mi>t</mi> </msub> <mi>ν</mi> <mo>=</mo> <msup> <mi>e</mi> <mrow> <mo>-</mo> <mi>t</mi> <msqrt> <mi>L</mi> </msqrt> </mrow> </msup> <mi>ν</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1079_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="107" /> </InlineMediaObject> <EquationSource Format="TEX">\(L=-{\Delta }+|x|^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo>=</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo>+</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> is the Hermite operator. In particular, we show that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1079_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>x</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> is a Lebesgue point for <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1079_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ν</mi> </math></EquationSource> </InlineEquation> iff a slightly stronger notion than non-tangential convergence holds for <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1079_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathbb {P}}}_t\nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">P</mi> <mi>t</mi> </msub> <mi>ν</mi> </mrow> </math></EquationSource> </InlineEquation> at <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1079_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>x</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>. We also show non-tangential convergence when <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1079_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>x</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> is a <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1079_Article_IEq10.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-point of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1079_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ν</mi> </math></EquationSource> </InlineEquation>, a weaker notion than Lebesgue point, which for <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1079_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(d=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> coincides with the classical Fatou condition.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Lebesgue points of measures and non-tangential convergence of Poisson–Hermite integrals

  • G. Flores,
  • G. Garrigós,
  • B. Viviani

摘要

We study differentiability conditions on a complex measure \(\nu \) ν at a point \(x_0\in {{\mathbb {R}}}^d\) x 0 R d , in relation with the boundary convergence at that point of the Poisson-type integral \({{\mathbb {P}}}_t\nu =e^{-t\sqrt{L}}\nu \) P t ν = e - t L ν , where \(L=-{\Delta }+|x|^2\) L = - Δ + | x | 2 is the Hermite operator. In particular, we show that \(x_0\) x 0 is a Lebesgue point for \(\nu \) ν iff a slightly stronger notion than non-tangential convergence holds for \({{\mathbb {P}}}_t\nu \) P t ν at \(x_0\) x 0 . We also show non-tangential convergence when \(x_0\) x 0 is a \(\sigma \) σ -point of \(\nu \) ν , a weaker notion than Lebesgue point, which for \(d=1\) d = 1 coincides with the classical Fatou condition.