<p>We define pseudo-differential operators on <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\((0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> as pseudo-differential operators on the locally compact, Hausdorff and abelian group <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^+\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^+\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> </math></EquationSource> </InlineEquation> is the group with the underlying set <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\((0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and the binary operation given by the multiplication of real numbers. Realizing <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation> as the dual group of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^+\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> </math></EquationSource> </InlineEquation>, we define pseudo-differential operators on <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^+\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> </math></EquationSource> </InlineEquation> with symbol in <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2({\mathbb {R}}^+\times {\mathbb {R}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo>×</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> by means of the Mellin transform. We give them explicit formulas for the symbols of the products and the adjoints, chararacterize them as Hilbert–Schmidt operators on <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2({\mathbb {R}}^+,\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo>,</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq14.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> is the left and right Haar measure on <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^+\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> </math></EquationSource> </InlineEquation>. We also characterize the ideal of trace class pseudo-differential operators in it in terms of the symbols lying in a subspace <i>W</i> of <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2({\mathbb {R}}^+\times {\mathbb {R}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo>×</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and give a trace formula for all these trace class operators. In particular, we show that <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2({\mathbb {R}}^+\times {\mathbb {R}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo>×</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>H</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra of functions on the group <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq19.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^+\times {\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo>×</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> and <i>W</i> is an ideal in the function algebra <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_694_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2({\mathbb {R}}^+\times {\mathbb {R}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo>×</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

The trace class ideal of a \(H^*\)-algebra of pseudo-differential operators on \((0,\infty )\)

  • Yao Tang,
  • M. W. Wong

摘要

We define pseudo-differential operators on \((0,\infty )\) ( 0 , ) as pseudo-differential operators on the locally compact, Hausdorff and abelian group \({\mathbb {R}}^+\) R + , where \({\mathbb {R}}^+\) R + is the group with the underlying set \((0,\infty )\) ( 0 , ) and the binary operation given by the multiplication of real numbers. Realizing \({\mathbb {R}}\) R as the dual group of \({\mathbb {R}}^+\) R + , we define pseudo-differential operators on \({\mathbb {R}}^+\) R + with symbol in \(L^2({\mathbb {R}}^+\times {\mathbb {R}})\) L 2 ( R + × R ) by means of the Mellin transform. We give them explicit formulas for the symbols of the products and the adjoints, chararacterize them as Hilbert–Schmidt operators on \(L^2({\mathbb {R}}^+,\mu )\) L 2 ( R + , μ ) , where \(\mu \) μ is the left and right Haar measure on \({\mathbb {R}}^+\) R + . We also characterize the ideal of trace class pseudo-differential operators in it in terms of the symbols lying in a subspace W of \(L^2({\mathbb {R}}^+\times {\mathbb {R}})\) L 2 ( R + × R ) and give a trace formula for all these trace class operators. In particular, we show that \(L^2({\mathbb {R}}^+\times {\mathbb {R}})\) L 2 ( R + × R ) is a \(H^*\) H -algebra of functions on the group \({\mathbb {R}}^+\times {\mathbb {R}}\) R + × R and W is an ideal in the function algebra \(L^2({\mathbb {R}}^+\times {\mathbb {R}})\) L 2 ( R + × R ) .