<p>The classical Paley-Wiener theory consists of two parts. First, the equivalence of the compact support of the Fourier transform of the boundary values to the exponential growth of the extended function, and second, the equivalence to the Bernstein spaces. This paper explores Paley-Wiener-type theorems within the framework of hypercomplex variables. The investigation focuses on a space-fractional version of the Dirac operator <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{D}_\theta ^\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="bold-italic">D</mi> </mrow> <mi>θ</mi> <mi>α</mi> </msubsup> </math></EquationSource> </InlineEquation> of order <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq2.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> and skewness <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation>. The pseudo-differential reformulation of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{D}_\theta ^\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="bold-italic">D</mi> </mrow> <mi>θ</mi> <mi>α</mi> </msubsup> </math></EquationSource> </InlineEquation> in terms of the Riesz derivative <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq5.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\((-\Delta )^{\frac{\alpha }{2}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mfrac> <mi>α</mi> <mn>2</mn> </mfrac> </msup> </math></EquationSource> </InlineEquation> and the so-called <i>Riesz-Hilbert transform</i> <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>, allows for the description of generalized Hardy spaces, using Lévy-Feller type semigroups generated by <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq7.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(-(-\Delta )^{\frac{\alpha }{2}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mfrac> <mi>α</mi> <mn>2</mn> </mfrac> </msup> </mrow> </math></EquationSource> </InlineEquation>, and the boundary values. Subsequently, we employ a proof strategy rooted in <i>real Paley-Wiener methods</i> to demonstrate that the growth behavior of the sequences of functions <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq8.gif" Format="GIF" Height="36" Rendition="HTML" Resolution="72" Type="Linedraw" Width="129" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left( \left( ~\varvec{D}_\theta ^\alpha ~\right) ^k\varvec{f}_\pm \right) _{k\in {\mathbb N}_0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mfenced close=")" open="("> <msup> <mfenced close=")" open="("> <mspace width="3.33333pt" /> <msubsup> <mrow> <mi mathvariant="bold-italic">D</mi> </mrow> <mi>θ</mi> <mi>α</mi> </msubsup> <mspace width="3.33333pt" /> </mfenced> <mi>k</mi> </msup> <msub> <mrow> <mi mathvariant="bold-italic">f</mi> </mrow> <mo>±</mo> </msub> </mfenced> <mrow> <mi>k</mi> <mo>∈</mo> <msub> <mi mathvariant="double-struck">N</mi> <mn>0</mn> </msub> </mrow> </msub> </math></EquationSource> </InlineEquation> effectively captures the relationship between the support of the Fourier transform <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq9.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widehat{\varvec{f}}=\mathcal {F}\varvec{f}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mrow> <mi mathvariant="bold-italic">f</mi> </mrow> <mo stretchy="true">^</mo> </mover> <mo>=</mo> <mi mathvariant="script">F</mi> <mrow> <mi mathvariant="bold-italic">f</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation> of the <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq10.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p-\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mo>-</mo> </mrow> </math></EquationSource> </InlineEquation>function <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq11.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{f}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">f</mi> </mrow> </math></EquationSource> </InlineEquation>, in the case where <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq12.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="126" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname {supp}\widehat{\varvec{f}}\subseteq \overline{B(0,R)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>supp</mo> <mover accent="true"> <mrow> <mi mathvariant="bold-italic">f</mi> </mrow> <mo stretchy="true">^</mo> </mover> <mo>⊆</mo> <mover> <mrow> <mi>B</mi> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>R</mi> <mo stretchy="false">)</mo> </mrow> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation>, and the solutions of Cauchy problems equipped with the space-time operator <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial _{x_0} + \varvec{D}_\theta ^\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>∂</mi> <msub> <mi>x</mi> <mn>0</mn> </msub> </msub> <mo>+</mo> <msubsup> <mrow> <mi mathvariant="bold-italic">D</mi> </mrow> <mi>θ</mi> <mi>α</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation>, which are of exponential type <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(R^\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>R</mi> <mi>α</mi> </msup> </math></EquationSource> </InlineEquation>. Within the developed framework, introducing a hypercomplex analog for the Bernstein spaces <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10183_Article_IEq15.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_R^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>B</mi> <mi>R</mi> <mi>p</mi> </msubsup> </math></EquationSource> </InlineEquation> arises naturally, allowing for the meaningful extension of the results by Kou and Qian as well as Franklin, Hogan, and Larkin.</p>

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

Paley-Wiener Type Theorems Associated to Dirac Operators of Riesz-Feller type

  • Swanhild Bernstein,
  • Nelson Faustino

摘要

The classical Paley-Wiener theory consists of two parts. First, the equivalence of the compact support of the Fourier transform of the boundary values to the exponential growth of the extended function, and second, the equivalence to the Bernstein spaces. This paper explores Paley-Wiener-type theorems within the framework of hypercomplex variables. The investigation focuses on a space-fractional version of the Dirac operator \(\varvec{D}_\theta ^\alpha \) D θ α of order \(\alpha \) α and skewness \(\theta \) θ . The pseudo-differential reformulation of \(\varvec{D}_\theta ^\alpha \) D θ α in terms of the Riesz derivative \((-\Delta )^{\frac{\alpha }{2}}\) ( - Δ ) α 2 and the so-called Riesz-Hilbert transform \(\mathcal {H}\) H , allows for the description of generalized Hardy spaces, using Lévy-Feller type semigroups generated by \(-(-\Delta )^{\frac{\alpha }{2}}\) - ( - Δ ) α 2 , and the boundary values. Subsequently, we employ a proof strategy rooted in real Paley-Wiener methods to demonstrate that the growth behavior of the sequences of functions \(\left( \left( ~\varvec{D}_\theta ^\alpha ~\right) ^k\varvec{f}_\pm \right) _{k\in {\mathbb N}_0}\) D θ α k f ± k N 0 effectively captures the relationship between the support of the Fourier transform \(\widehat{\varvec{f}}=\mathcal {F}\varvec{f}\) f ^ = F f of the \(L^p-\) L p - function \(\varvec{f}\) f , in the case where \(\operatorname {supp}\widehat{\varvec{f}}\subseteq \overline{B(0,R)}\) supp f ^ B ( 0 , R ) ¯ , and the solutions of Cauchy problems equipped with the space-time operator \(\partial _{x_0} + \varvec{D}_\theta ^\alpha \) x 0 + D θ α , which are of exponential type \(R^\alpha \) R α . Within the developed framework, introducing a hypercomplex analog for the Bernstein spaces \(B_R^p\) B R p arises naturally, allowing for the meaningful extension of the results by Kou and Qian as well as Franklin, Hogan, and Larkin.