<p>This paper deals with the solvability at <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="99" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma =\{0\}\times S^1\)</EquationSource> </InlineEquation> (in sense of Hörmander) of first-order operators <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(P=L-p\)</EquationSource> </InlineEquation>, where <i>p</i> is a smooth function defined in <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="125" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega _\epsilon =(-\epsilon ,\epsilon )\times S^1\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq4.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(\epsilon&gt;0\)</EquationSource> </InlineEquation>, and <i>L</i> is a complex vector field in the form <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="282" /> </InlineMediaObject> <EquationSource Format="TEX">\(L=\partial /\partial t+(x^na(x)+ix^{2n-1}b(x))\partial /\partial x\)</EquationSource> </InlineEquation>, with <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(a(0)\ne 0\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(b(0)\ne 0\)</EquationSource> </InlineEquation>, and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq8.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 2\)</EquationSource> </InlineEquation>, defined on <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="125" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega _\epsilon =(-\epsilon ,\epsilon )\times S^1\)</EquationSource> </InlineEquation>, where <i>a</i> and <i>b</i> are real-valued smooth functions in <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\((-\epsilon ,\epsilon )\)</EquationSource> </InlineEquation>. Given <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq11.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\in \mathbb {N}\)</EquationSource> </InlineEquation>, we present necessary and sufficient conditions to obtain solutions in <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq12.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^k(\Omega _\epsilon )\)</EquationSource> </InlineEquation> to the equation <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq13.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\(Lu=pu+f\)</EquationSource> </InlineEquation> in a neighborhood of <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma\)</EquationSource> </InlineEquation>. Also, we study equations in the form <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44425_2025_1_Article_IEq15.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="132" /> </InlineMediaObject> <EquationSource Format="TEX">\(Lu=pu+q{\overline{u}}+f\)</EquationSource> </InlineEquation>.</p>

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

Solvability for a Class of First-Order Operators with Degeneracies

  • W. A. Cerniauskas,
  • P. L. Dattori da Silva,
  • E. M. Maravi-Percca

摘要

This paper deals with the solvability at \(\Sigma =\{0\}\times S^1\) (in sense of Hörmander) of first-order operators \(P=L-p\) , where p is a smooth function defined in \(\Omega _\epsilon =(-\epsilon ,\epsilon )\times S^1\) , \(\epsilon>0\) , and L is a complex vector field in the form \(L=\partial /\partial t+(x^na(x)+ix^{2n-1}b(x))\partial /\partial x\) , with \(a(0)\ne 0\) , \(b(0)\ne 0\) , and \(n\ge 2\) , defined on \(\Omega _\epsilon =(-\epsilon ,\epsilon )\times S^1\) , where a and b are real-valued smooth functions in \((-\epsilon ,\epsilon )\) . Given \(k\in \mathbb {N}\) , we present necessary and sufficient conditions to obtain solutions in \(C^k(\Omega _\epsilon )\) to the equation \(Lu=pu+f\) in a neighborhood of \(\Sigma\) . Also, we study equations in the form \(Lu=pu+q{\overline{u}}+f\) .