<p>In this paper, we are concerned with the following <i>n</i>-Laplacian mean field equation <Equation ID="Equ56"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3196_Article_Equ56.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="174" /> </MediaObject> <EquationSource Format="TEX">\( \left\{ {\begin{array}{*{20}{l}} { - \Delta _n u = \lambda e^u} &amp; \textrm{in} \ \ \Omega , \\ {\ \ \ \ u = 0} &amp; \ \textrm{on}\ \partial \Omega , \end{array}} \right. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd> <mrow> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>n</mi> </msub> <mi>u</mi> <mo>=</mo> <mi>λ</mi> <msup> <mi>e</mi> <mi>u</mi> </msup> </mrow> </mtd> <mtd> <mrow> <mtext>in</mtext> <mspace width="4pt" /> <mspace width="4pt" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mrow> <mspace width="4pt" /> <mspace width="4pt" /> <mspace width="4pt" /> <mspace width="4pt" /> <mi>u</mi> <mo>=</mo> <mn>0</mn> </mrow> </mrow> </mtd> <mtd> <mrow> <mspace width="4pt" /> <mtext>on</mtext> <mspace width="4pt" /> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3196_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is a smooth bounded domain of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3196_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^n \ (n\ge 2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mspace width="4pt" /> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>≥</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3196_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="196" /> </InlineMediaObject> <EquationSource Format="TEX">\(- \Delta _n u =-\textrm{div}(|\nabla u|^{n-2}\nabla u)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>n</mi> </msub> <mi>u</mi> <mo>=</mo> <mo>-</mo> <msup> <mrow> <mtext>div</mtext> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mrow> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We first establish the quantization property of solutions to the above <i>n</i>-Laplacian mean field equation. As an application, combining the Pohozaev identity and the capacity estimate, we obtain the sharp constant <i>C</i>(<i>n</i>) of the Moser–Onofri inequality in the <i>n</i>-dimensional unit ball <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3196_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="106" /> </InlineMediaObject> <EquationSource Format="TEX">\(B^n:=B^n(0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>B</mi> <mi>n</mi> </msup> <mo>:</mo> <mo>=</mo> <msup> <mi>B</mi> <mi>n</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <Equation ID="Equ57"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3196_Article_Equ57.gif" Format="GIF" Height="45" Rendition="HTML" Resolution="72" Type="Linedraw" Width="357" /> </MediaObject> <EquationSource Format="TEX">\( \mathop {\inf }\limits _{u \in W_0^{1,n}(B^n)}\frac{1}{ n C_n}\int _{B^n} | \nabla u|^n dx- \ln \int _{B^n} {e^u} dx\ge C(n), \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <munder> <mo movablelimits="false">inf</mo> <mrow> <mi>u</mi> <mo>∈</mo> <msubsup> <mi>W</mi> <mn>0</mn> <mrow> <mn>1</mn> <mo>,</mo> <mi>n</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>B</mi> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </munder> <mfrac> <mn>1</mn> <mrow> <mi>n</mi> <msub> <mi>C</mi> <mi>n</mi> </msub> </mrow> </mfrac> <msub> <mo>∫</mo> <msup> <mi>B</mi> <mi>n</mi> </msup> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>n</mi> </msup> <mi>d</mi> <mi>x</mi> <mo>-</mo> <mo>ln</mo> <msub> <mo>∫</mo> <msup> <mi>B</mi> <mi>n</mi> </msup> </msub> <msup> <mi>e</mi> <mi>u</mi> </msup> <mi>d</mi> <mi>x</mi> <mo>≥</mo> <mi>C</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </Equation>which extends the result of Caglioti in (Commun Math Phys 143:501–525, 1992) to the case of <i>n</i>-dimensional ball. Here <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3196_Article_IEq5.gif" Format="GIF" Height="36" Rendition="HTML" Resolution="72" Type="Linedraw" Width="146" /> </InlineMediaObject> <EquationSource Format="TEX">\(C_n=\left( \frac{n^2}{n-1}\right) ^{n-1} \omega _{n-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>C</mi> <mi>n</mi> </msub> <mo>=</mo> <msup> <mfenced close=")" open="("> <mfrac> <msup> <mi>n</mi> <mn>2</mn> </msup> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </mfrac> </mfenced> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msub> <mi>ω</mi> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3196_Article_IEq6.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega _{n-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ω</mi> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> is the surface measure of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3196_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(B^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>B</mi> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>. For the Moser–Onofri inequality in a general bounded domain of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3196_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, we apply the technique of <i>n</i>-harmonic transplantation to give the optimal concentration level of the Moser–Onofri inequality and obtain the criterion for the existence and non-existence of extremals for the Moser–Onofri inequality.</p>

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

Quantization property of n-Laplacian mean field equation and sharp Moser–Onofri inequality

  • Lu Chen,
  • Guozhen Lu,
  • Bohan Wang

摘要

In this paper, we are concerned with the following n-Laplacian mean field equation \( \left\{ {\begin{array}{*{20}{l}} { - \Delta _n u = \lambda e^u} & \textrm{in} \ \ \Omega , \\ {\ \ \ \ u = 0} & \ \textrm{on}\ \partial \Omega , \end{array}} \right. \) - Δ n u = λ e u in Ω , u = 0 on Ω , where \(\Omega \) Ω is a smooth bounded domain of \(\mathbb {R}^n \ (n\ge 2)\) R n ( n 2 ) and \(- \Delta _n u =-\textrm{div}(|\nabla u|^{n-2}\nabla u)\) - Δ n u = - div ( | u | n - 2 u ) . We first establish the quantization property of solutions to the above n-Laplacian mean field equation. As an application, combining the Pohozaev identity and the capacity estimate, we obtain the sharp constant C(n) of the Moser–Onofri inequality in the n-dimensional unit ball \(B^n:=B^n(0,1)\) B n : = B n ( 0 , 1 ) , \( \mathop {\inf }\limits _{u \in W_0^{1,n}(B^n)}\frac{1}{ n C_n}\int _{B^n} | \nabla u|^n dx- \ln \int _{B^n} {e^u} dx\ge C(n), \) inf u W 0 1 , n ( B n ) 1 n C n B n | u | n d x - ln B n e u d x C ( n ) , which extends the result of Caglioti in (Commun Math Phys 143:501–525, 1992) to the case of n-dimensional ball. Here \(C_n=\left( \frac{n^2}{n-1}\right) ^{n-1} \omega _{n-1}\) C n = n 2 n - 1 n - 1 ω n - 1 and \(\omega _{n-1}\) ω n - 1 is the surface measure of \(B^n\) B n . For the Moser–Onofri inequality in a general bounded domain of \(\mathbb {R}^n\) R n , we apply the technique of n-harmonic transplantation to give the optimal concentration level of the Moser–Onofri inequality and obtain the criterion for the existence and non-existence of extremals for the Moser–Onofri inequality.