<p>On <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </math></EquationSource> </InlineEquation> equipped with a normalized root system <i>R</i>, a multiplicity function <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(k(\alpha ) &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo stretchy="false">(</mo> <mi>α</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and the associated measure <Equation ID="Equ56"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_Equ56.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="196" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} dw({\textbf{x}})=\prod _{\alpha \in R}|\langle {\textbf{x}},\alpha \rangle |^{k(\alpha )}\, d{\textbf{x}}, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>d</mi> <mi>w</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <munder> <mo>∏</mo> <mrow> <mi>α</mi> <mo>∈</mo> <mi>R</mi> </mrow> </munder> <msup> <mrow> <mo stretchy="false">|</mo> <mrow> <mo stretchy="false">⟨</mo> <mi mathvariant="bold">x</mi> <mo>,</mo> <mi>α</mi> <mo stretchy="false">⟩</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>k</mi> <mo stretchy="false">(</mo> <mi>α</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mspace width="0.166667em" /> <mi>d</mi> <mi mathvariant="bold">x</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>we consider a Dunkl Schrödinger operator <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="TEX">\(L=-\Delta _k+V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo>=</mo> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>k</mi> </msub> <mo>+</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta _k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Δ</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> is the Dunkl Laplace operator and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_IEq5.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(V\in L^1_{\textrm{loc}} (dw)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo>∈</mo> <msubsup> <mi>L</mi> <mtext>loc</mtext> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a non-negative potential. Let <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(h_t({\textbf{x}},{\textbf{y}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>h</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">x</mi> <mo>,</mo> <mi mathvariant="bold">y</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_IEq7.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(k^{\{V\}}_t({\textbf{x}},{\textbf{y}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>k</mi> <mi>t</mi> <mrow> <mo stretchy="false">{</mo> <mi>V</mi> <mo stretchy="false">}</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">x</mi> <mo>,</mo> <mi mathvariant="bold">y</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the Dunkl heat kernel and the integral kernel of the semigroup generated by <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_IEq8.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(-L\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>L</mi> </mrow> </math></EquationSource> </InlineEquation> respectively. We prove that <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_IEq7.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(k^{\{V\}}_t({\textbf{x}},{\textbf{y}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>k</mi> <mi>t</mi> <mrow> <mo stretchy="false">{</mo> <mi>V</mi> <mo stretchy="false">}</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">x</mi> <mo>,</mo> <mi mathvariant="bold">y</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> satisfies the following heat kernel lower bounds: there are constants <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(C, c&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>,</mo> <mi>c</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> such that <Equation ID="Equ57"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_Equ57.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="167" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} h_{ct}({\textbf{x}},{\textbf{y}})\le C k^{\{V\}}_t({\textbf{x}},{\textbf{y}}) \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>h</mi> <mrow> <mi mathvariant="italic">ct</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">x</mi> <mo>,</mo> <mi mathvariant="bold">y</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mi>C</mi> <msubsup> <mi>k</mi> <mi>t</mi> <mrow> <mo stretchy="false">{</mo> <mi>V</mi> <mo stretchy="false">}</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">x</mi> <mo>,</mo> <mi mathvariant="bold">y</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>if and only if <Equation ID="Equ58"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_Equ58.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="416" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \sup _{{\textbf{x}}\in {\mathbb {R}}^N} \int _0^\infty \int _{{\mathbb {R}}^N} V({\textbf{y}})w(B({\textbf{y}},\sqrt{t}))^{-1} e^{-\Vert {\textbf{x}}-{\textbf{y}}\Vert ^2/t}\, dw({\textbf{y}})\, dt&lt;\infty , \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <munder> <mo movablelimits="true">sup</mo> <mrow> <mi mathvariant="bold">x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </munder> <msubsup> <mo>∫</mo> <mn>0</mn> <mi>∞</mi> </msubsup> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </msub> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">y</mi> <mo stretchy="false">)</mo> </mrow> <mi>w</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mi>B</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">y</mi> <mo>,</mo> <msqrt> <mi>t</mi> </msqrt> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msup> <mi>e</mi> <mrow> <msup> <mrow> <mo>-</mo> <mo stretchy="false">‖</mo> <mi mathvariant="bold">x</mi> <mo>-</mo> <mi mathvariant="bold">y</mi> <mo stretchy="false">‖</mo> </mrow> <mn>2</mn> </msup> <mo stretchy="false">/</mo> <mi>t</mi> </mrow> </msup> <mspace width="0.166667em" /> <mi>d</mi> <mi>w</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">y</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>t</mi> <mo>&lt;</mo> <mi>∞</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_IEq11.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(B({ {\textbf{x}}},\sqrt{t})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mo stretchy="false">(</mo> <mi mathvariant="bold">x</mi> <mo>,</mo> <msqrt> <mi>t</mi> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> stands for the Euclidean ball centered at <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf{x}} \in \mathbb {R}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> and radius <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="365_2025_9706_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sqrt{t}\)</EquationSource> <EquationSource Format="MATHML"><math> <msqrt> <mi>t</mi> </msqrt> </math></EquationSource> </InlineEquation>.</p>

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

On Dunkl Schrödinger Semigroups with Green Bounded Potentials

  • Jacek Dziubański,
  • Agnieszka Hejna

摘要

On \({\mathbb {R}}^N\) R N equipped with a normalized root system R, a multiplicity function \(k(\alpha ) > 0\) k ( α ) > 0 , and the associated measure \(\begin{aligned} dw({\textbf{x}})=\prod _{\alpha \in R}|\langle {\textbf{x}},\alpha \rangle |^{k(\alpha )}\, d{\textbf{x}}, \end{aligned}\) d w ( x ) = α R | x , α | k ( α ) d x , we consider a Dunkl Schrödinger operator \(L=-\Delta _k+V\) L = - Δ k + V , where \(\Delta _k\) Δ k is the Dunkl Laplace operator and \(V\in L^1_{\textrm{loc}} (dw)\) V L loc 1 ( d w ) is a non-negative potential. Let \(h_t({\textbf{x}},{\textbf{y}})\) h t ( x , y ) and \(k^{\{V\}}_t({\textbf{x}},{\textbf{y}})\) k t { V } ( x , y ) denote the Dunkl heat kernel and the integral kernel of the semigroup generated by \(-L\) - L respectively. We prove that \(k^{\{V\}}_t({\textbf{x}},{\textbf{y}})\) k t { V } ( x , y ) satisfies the following heat kernel lower bounds: there are constants \(C, c>0\) C , c > 0 such that \(\begin{aligned} h_{ct}({\textbf{x}},{\textbf{y}})\le C k^{\{V\}}_t({\textbf{x}},{\textbf{y}}) \end{aligned}\) h ct ( x , y ) C k t { V } ( x , y ) if and only if \(\begin{aligned} \sup _{{\textbf{x}}\in {\mathbb {R}}^N} \int _0^\infty \int _{{\mathbb {R}}^N} V({\textbf{y}})w(B({\textbf{y}},\sqrt{t}))^{-1} e^{-\Vert {\textbf{x}}-{\textbf{y}}\Vert ^2/t}\, dw({\textbf{y}})\, dt<\infty , \end{aligned}\) sup x R N 0 R N V ( y ) w ( B ( y , t ) ) - 1 e - x - y 2 / t d w ( y ) d t < , where \(B({ {\textbf{x}}},\sqrt{t})\) B ( x , t ) stands for the Euclidean ball centered at \({\textbf{x}} \in \mathbb {R}^N\) x R N and radius \(\sqrt{t}\) t .