<p>For a compact Riemannian manifold (<i>M</i>,&#xa0;<i>g</i>) with boundary <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1112_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial M\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation>, the Dirichlet-to-Neumann operator <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1112_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="202" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda _g:C^\infty (\partial M)\longrightarrow C^\infty (\partial M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Λ</mi> <mi>g</mi> </msub> <mo>:</mo> <msup> <mi>C</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>∂</mi> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">⟶</mo> <msup> <mi>C</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>∂</mi> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is defined by <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1112_Article_IEq3.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda _gf=\left. \frac{\partial u}{\partial \nu }\right| _{\partial M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Λ</mi> <mi>g</mi> </msub> <mi>f</mi> <mo>=</mo> <msub> <mfenced close="|"> <mfrac> <mrow> <mi>∂</mi> <mi>u</mi> </mrow> <mrow> <mi>∂</mi> <mi>ν</mi> </mrow> </mfrac> </mfenced> <mrow> <mi>∂</mi> <mi>M</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1112_Article_IEq4.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> is the unit outer normal vector to the boundary and <i>u</i> is the solution to the Dirichlet problem <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1112_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="141" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta _gu=0,\ u|_{\partial M}=f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Δ</mi> <mi>g</mi> </msub> <msub> <mrow> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mspace width="4pt" /> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>∂</mi> <mi>M</mi> </mrow> </msub> <mo>=</mo> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1112_Article_IEq6.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(g_\partial \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>g</mi> <mi>∂</mi> </msub> </math></EquationSource> </InlineEquation> be the Riemannian metric on <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1112_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial M\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation> induced by <i>g</i>. The Calderón problem is posed as follows: To what extent is (<i>M</i>,&#xa0;<i>g</i>) determined by the data <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1112_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\((\partial M,g_\partial ,\Lambda _g)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>∂</mi> <mi>M</mi> <mo>,</mo> <msub> <mi>g</mi> <mi>∂</mi> </msub> <mo>,</mo> <msub> <mi mathvariant="normal">Λ</mi> <mi>g</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>? We prove the uniqueness theorem: A compact connected two-dimensional Riemannian manifold (<i>M</i>,&#xa0;<i>g</i>) with non-empty boundary is determined by the data <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1112_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\((\partial M,g_\partial ,\Lambda _g)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>∂</mi> <mi>M</mi> <mo>,</mo> <msub> <mi>g</mi> <mi>∂</mi> </msub> <mo>,</mo> <msub> <mi mathvariant="normal">Λ</mi> <mi>g</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> uniquely up to conformal equivalence.</p>

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

Two-dimensional Calderón problem and flat metrics

  • Vladimir A. Sharafutdinov

摘要

For a compact Riemannian manifold (Mg) with boundary \(\partial M\) M , the Dirichlet-to-Neumann operator \(\Lambda _g:C^\infty (\partial M)\longrightarrow C^\infty (\partial M)\) Λ g : C ( M ) C ( M ) is defined by \(\Lambda _gf=\left. \frac{\partial u}{\partial \nu }\right| _{\partial M}\) Λ g f = u ν M , where \(\nu \) ν is the unit outer normal vector to the boundary and u is the solution to the Dirichlet problem \(\Delta _gu=0,\ u|_{\partial M}=f\) Δ g u = 0 , u | M = f . Let \(g_\partial \) g be the Riemannian metric on \(\partial M\) M induced by g. The Calderón problem is posed as follows: To what extent is (Mg) determined by the data \((\partial M,g_\partial ,\Lambda _g)\) ( M , g , Λ g ) ? We prove the uniqueness theorem: A compact connected two-dimensional Riemannian manifold (Mg) with non-empty boundary is determined by the data \((\partial M,g_\partial ,\Lambda _g)\) ( M , g , Λ g ) uniquely up to conformal equivalence.