<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(({\cal L},{\mathfrak g})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">L</mi> </mrow> <mo>,</mo> <mrow> <mrow> <mi mathvariant="fraktur">g</mi> </mrow> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> be a line bundle over a closed Riemann surface (Σ, <i>g</i>), <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma({\cal L})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">L</mi> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> be the set of all smooth sections, and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="175" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal D}:\Gamma ({\cal L}) \to T^{\ast}\Sigma \otimes \Gamma ({\cal L})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo>:</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">L</mi> </mrow> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <msup> <mi>T</mi> <mrow> <mo>*</mo> </mrow> </msup> <mi mathvariant="normal">Σ</mi> <mo>⊗</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">L</mi> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> be a connection independent of the bundle metric <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq4.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak g}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mi mathvariant="fraktur">g</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <i>T</i>*Σ is the cotangent bundle. Suppose that there exists a global unit frame <i>ζ</i> on <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma ({\cal L})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">L</mi> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>. Precisely for any <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="67" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \in \Gamma ({\cal L})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>σ</mi> <mo>∈</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">L</mi> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>, there exists a unique smooth function <i>u</i>: Σ → ℝ such that <i>σ</i> = <i>uζ</i> with ∣<i>ζ</i>∣ ≡ 1 on Σ. For any real number <i>ρ</i>, we define a functional <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq7.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="152" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal J}_\rho}:{W^{1,2}}(\Sigma, \, {\cal L}) \to \mathbb{R}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mrow> <mrow> <mi mathvariant="script">J</mi> </mrow> </mrow> <mi>ρ</mi> </msub> </mrow> <mo>:</mo> <mrow> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>2</mn> </mrow> </msup> </mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo>,</mo> <mspace width="thinmathspace" /> <mrow> <mi mathvariant="script">L</mi> </mrow> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> by<Equation ID="Equa"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_Equa.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="444" /> </MediaObject> <EquationSource Format="TEX">\({\cal J}_{\rho}(\sigma)={1 \over 2} \int_\Sigma {\vert{\cal D}\sigma \vert}^{2}dv_{g}+{{\rho} \over {\vert \Sigma \vert}} \int_\Sigma \langle\sigma, \, \zeta \rangle dv_{g}-\rho\log\int_\Sigma {he^{\langle \sigma, \, \zeta \rangle}} dv_{g},\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="script">J</mi> </mrow> <mrow> <mi>ρ</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mi>σ</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mrow> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> <msub> <mo>∫</mo> <mi mathvariant="normal">Σ</mi> </msub> <msup> <mrow> <mo fence="false" stretchy="false">|</mo> <mrow> <mi mathvariant="script">D</mi> </mrow> <mi>σ</mi> <mo fence="false" stretchy="false">|</mo> </mrow> <mrow> <mn>2</mn> </mrow> </msup> <mi>d</mi> <msub> <mi>v</mi> <mrow> <mi>g</mi> </mrow> </msub> <mo>+</mo> <mrow> <mfrac> <mrow> <mi>ρ</mi> </mrow> <mrow> <mo fence="false" stretchy="false">|</mo> <mi mathvariant="normal">Σ</mi> <mo fence="false" stretchy="false">|</mo> </mrow> </mfrac> </mrow> <msub> <mo>∫</mo> <mi mathvariant="normal">Σ</mi> </msub> <mo fence="false" stretchy="false">(</mo> <mi>σ</mi> <mo>,</mo> <mspace width="thinmathspace" /> <mi>ζ</mi> <mo fence="false" stretchy="false">)</mo> <mi>d</mi> <msub> <mi>v</mi> <mrow> <mi>g</mi> </mrow> </msub> <mo>−</mo> <mi>ρ</mi> <mi>log</mi> <msub> <mo>∫</mo> <mi mathvariant="normal">Σ</mi> </msub> <mrow> <mi>h</mi> <msup> <mi>e</mi> <mrow> <mo fence="false" stretchy="false">⟨</mo> <mi>σ</mi> <mo>,</mo> <mspace width="thinmathspace" /> <mi>ζ</mi> <mo fence="false" stretchy="false">⟩</mo> </mrow> </msup> </mrow> <mi>d</mi> <msub> <mi>v</mi> <mrow> <mi>g</mi> </mrow> </msub> <mo>,</mo> </math></EquationSource> </Equation> where <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\({W^{1,2}}(\Sigma, \, {\cal L})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>2</mn> </mrow> </msup> </mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo>,</mo> <mspace width="thinmathspace" /> <mrow> <mi mathvariant="script">L</mi> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> is a completion of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma ({\cal L})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">L</mi> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> under the usual Sobolev norm, ∣Σ∣ is the area of (Σ, <i>g</i>), <i>h</i>: Σ → ℝ is a strictly positive smooth function and 〈·,·〉 is the inner product induced by <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq4.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak g}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mi mathvariant="fraktur">g</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation>. The Euler-Lagrange equations of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\cal J}_\rho}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mrow> <mrow> <mi mathvariant="script">J</mi> </mrow> </mrow> <mi>ρ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> are called mean field type equations. Write <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="244" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\cal H}_0} = \{ \sigma \in {W^{1,2}}(\Sigma ,\,{\cal L}):{\cal D}\sigma = 0\}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mrow> <mi mathvariant="script">H</mi> </mrow> <mn>0</mn> </msub> </mrow> <mo>=</mo> <mo fence="false" stretchy="false">{</mo> <mi>σ</mi> <mo>∈</mo> <mrow> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>2</mn> </mrow> </msup> </mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo>,</mo> <mspace width="thinmathspace" /> <mrow> <mi mathvariant="script">L</mi> </mrow> <mo stretchy="false">)</mo> <mo>:</mo> <mrow> <mi mathvariant="script">D</mi> </mrow> <mi>σ</mi> <mo>=</mo> <mn>0</mn> <mo fence="false" stretchy="false">}</mo> </math></EquationSource> </InlineEquation> and <Equation ID="Equb"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_Equb.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="389" /> </MediaObject> <EquationSource Format="TEX">\({\cal H}_1 =\left\{\sigma \in {W^{1,2}}(\Sigma, \, {\cal L}): \int_\Sigma {\langle \sigma, \, \tau \rangle d{v_g} = 0}, \, {\forall_\tau } \in {{\cal H}_0}\right\}.\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="script">H</mi> </mrow> <mn>1</mn> </msub> <mo>=</mo> <mrow> <mo>{</mo> <mi>σ</mi> <mo>∈</mo> <mrow> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>2</mn> </mrow> </msup> </mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo>,</mo> <mspace width="thinmathspace" /> <mrow> <mi mathvariant="script">L</mi> </mrow> <mo stretchy="false">)</mo> <mo>:</mo> <msub> <mo>∫</mo> <mi mathvariant="normal">Σ</mi> </msub> <mrow> <mo fence="false" stretchy="false">⟨</mo> <mi>σ</mi> <mo>,</mo> <mspace width="thinmathspace" /> <mi>τ</mi> <mo fence="false" stretchy="false">⟩</mo> <mi>d</mi> <mrow> <msub> <mi>v</mi> <mi>g</mi> </msub> </mrow> <mo>=</mo> <mn>0</mn> </mrow> <mo>,</mo> <mspace width="thinmathspace" /> <mrow> <msub> <mi mathvariant="normal">∀</mi> <mi>τ</mi> </msub> </mrow> <mo>∈</mo> <mrow> <msub> <mrow> <mi mathvariant="script">H</mi> </mrow> <mn>0</mn> </msub> </mrow> <mo>}</mo> </mrow> <mo>.</mo> </math></EquationSource> </Equation> Based on the variational method, we prove that <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal J_\rho}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi mathvariant="script">J</mi> <mi>ρ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> has a constraint critical point on the space <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\cal H}_1}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mrow> <mi mathvariant="script">H</mi> </mrow> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> for any <i>ρ</i> &lt; 8<i>π</i>; Based on blow-up analysis, we calculate the exact value of <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq15.gif" Format="GIF" Height="28" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathop {\inf}\limits_{\sigma \in {{\cal H}_1}} {{\cal J}_{8\pi}} (\sigma)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <munder> <mrow class="MJX-TeXAtom-OP"> <mo form="prefix">inf</mo> </mrow> <mrow> <mi>σ</mi> <mo>∈</mo> <mrow> <msub> <mrow> <mi mathvariant="script">H</mi> </mrow> <mn>1</mn> </msub> </mrow> </mrow> </munder> <mrow> <msub> <mrow> <mi mathvariant="script">J</mi> </mrow> <mrow> <mn>8</mn> <mi>π</mi> </mrow> </msub> </mrow> <mo stretchy="false">(</mo> <mi>σ</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>, provided that it is not achieved by any <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq16.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \in {\cal H}_{1}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>σ</mi> <mo>∈</mo> <msub> <mrow> <mi mathvariant="script">H</mi> </mrow> <mrow> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation>; If we further assume <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10255_2025_38_Article_IEq17.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="210" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal D}\zeta=0, \, {\cal J}_{\rho}:W^{1,2}(\Sigma, {\cal L}) \to {\mathbb R}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">D</mi> </mrow> <mi>ζ</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mspace width="thinmathspace" /> <msub> <mrow> <mi mathvariant="script">J</mi> </mrow> <mrow> <mi>ρ</mi> </mrow> </msub> <mo>:</mo> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>2</mn> </mrow> </msup> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo>,</mo> <mrow> <mi mathvariant="script">L</mi> </mrow> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mrow> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation> is reduced to a functional related to the classical mean field equation.</p>

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

Mean Field Type Equations on Line Bundle over a Closed Riemann Surface

  • Jie Yang,
  • Yun-yan Yang

摘要

Let \(({\cal L},{\mathfrak g})\) ( L , g ) be a line bundle over a closed Riemann surface (Σ, g), \(\Gamma({\cal L})\) Γ ( L ) be the set of all smooth sections, and \({\cal D}:\Gamma ({\cal L}) \to T^{\ast}\Sigma \otimes \Gamma ({\cal L})\) D : Γ ( L ) T * Σ Γ ( L ) be a connection independent of the bundle metric \({\mathfrak g}\) g , where T*Σ is the cotangent bundle. Suppose that there exists a global unit frame ζ on \(\Gamma ({\cal L})\) Γ ( L ) . Precisely for any \(\sigma \in \Gamma ({\cal L})\) σ Γ ( L ) , there exists a unique smooth function u: Σ → ℝ such that σ = with ∣ζ∣ ≡ 1 on Σ. For any real number ρ, we define a functional \({{\mathcal J}_\rho}:{W^{1,2}}(\Sigma, \, {\cal L}) \to \mathbb{R}\) J ρ : W 1 , 2 ( Σ , L ) R by \({\cal J}_{\rho}(\sigma)={1 \over 2} \int_\Sigma {\vert{\cal D}\sigma \vert}^{2}dv_{g}+{{\rho} \over {\vert \Sigma \vert}} \int_\Sigma \langle\sigma, \, \zeta \rangle dv_{g}-\rho\log\int_\Sigma {he^{\langle \sigma, \, \zeta \rangle}} dv_{g},\) J ρ ( σ ) = 1 2 Σ | D σ | 2 d v g + ρ | Σ | Σ ( σ , ζ ) d v g ρ log Σ h e σ , ζ d v g , where \({W^{1,2}}(\Sigma, \, {\cal L})\) W 1 , 2 ( Σ , L ) is a completion of \(\Gamma ({\cal L})\) Γ ( L ) under the usual Sobolev norm, ∣Σ∣ is the area of (Σ, g), h: Σ → ℝ is a strictly positive smooth function and 〈·,·〉 is the inner product induced by \({\mathfrak g}\) g . The Euler-Lagrange equations of \({{\cal J}_\rho}\) J ρ are called mean field type equations. Write \({{\cal H}_0} = \{ \sigma \in {W^{1,2}}(\Sigma ,\,{\cal L}):{\cal D}\sigma = 0\}\) H 0 = { σ W 1 , 2 ( Σ , L ) : D σ = 0 } and \({\cal H}_1 =\left\{\sigma \in {W^{1,2}}(\Sigma, \, {\cal L}): \int_\Sigma {\langle \sigma, \, \tau \rangle d{v_g} = 0}, \, {\forall_\tau } \in {{\cal H}_0}\right\}.\) H 1 = { σ W 1 , 2 ( Σ , L ) : Σ σ , τ d v g = 0 , τ H 0 } . Based on the variational method, we prove that \({\cal J_\rho}\) J ρ has a constraint critical point on the space \({{\cal H}_1}\) H 1 for any ρ < 8π; Based on blow-up analysis, we calculate the exact value of \(\mathop {\inf}\limits_{\sigma \in {{\cal H}_1}} {{\cal J}_{8\pi}} (\sigma)\) inf σ H 1 J 8 π ( σ ) , provided that it is not achieved by any \(\sigma \in {\cal H}_{1}\) σ H 1 ; If we further assume \({\cal D}\zeta=0, \, {\cal J}_{\rho}:W^{1,2}(\Sigma, {\cal L}) \to {\mathbb R}\) D ζ = 0 , J ρ : W 1 , 2 ( Σ , L ) R is reduced to a functional related to the classical mean field equation.