<p>We analyze the behaviour of double-well energies perturbed by fractional Gagliardo squared seminorms in <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^s\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>H</mi> <mi>s</mi> </msup> </math></EquationSource> </InlineEquation> close to the critical exponent <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_IEq1.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(s=\frac{1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>=</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. This is done by computing a scaling factor <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda (\varepsilon ,s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo stretchy="false">(</mo> <mi>ε</mi> <mo>,</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, continuous in both variables, such that <Equation ID="Equ49"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_Equ49.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="363" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} {\mathcal {F}}^{s_\varepsilon }_\varepsilon (u)=\frac{\lambda (\varepsilon ,s_\varepsilon )}{\varepsilon }\int W(u)\,dt+\lambda (\varepsilon ,s_\varepsilon )\varepsilon ^{(2s_\varepsilon -1)^+} {[}u ]_{{s_\varepsilon }}^2 \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mrow> <mi mathvariant="script">F</mi> </mrow> <mi>ε</mi> <msub> <mi>s</mi> <mi>ε</mi> </msub> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mrow> <mi>λ</mi> <mo stretchy="false">(</mo> <mi>ε</mi> <mo>,</mo> <msub> <mi>s</mi> <mi>ε</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mi>ε</mi> </mfrac> <mo>∫</mo> <mi>W</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>t</mi> <mo>+</mo> <mi>λ</mi> <mrow> <mo stretchy="false">(</mo> <mi>ε</mi> <mo>,</mo> <msub> <mi>s</mi> <mi>ε</mi> </msub> <mo stretchy="false">)</mo> </mrow> <msup> <mi>ε</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <msub> <mi>s</mi> <mi>ε</mi> </msub> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> </msup> </msup> <msubsup> <mrow> <mo stretchy="false">[</mo> <mi>u</mi> <mo stretchy="false">]</mo> </mrow> <mrow> <msub> <mi>s</mi> <mi>ε</mi> </msub> </mrow> <mn>2</mn> </msubsup> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation><InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>-converge, for any choice of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_IEq7.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(s_\varepsilon \rightarrow \frac{1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>s</mi> <mi>ε</mi> </msub> <mo stretchy="false">→</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation> as <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, to the sharp-interface functional found by Alberti, Bouchitté and Seppecher in [<CitationRef CitationID="CR1">1</CitationRef>] with the scaling <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\({|\log \varepsilon |^{-1}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">|</mo> <mo>log</mo> <mi>ε</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> </math></EquationSource> </InlineEquation>. Moreover, we prove that all the values <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_IEq10.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(s\in [\frac{1}{2},1 )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> are regular points for the functional <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_IEq11.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {F}}^{s}_\varepsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="script">F</mi> </mrow> <mi>ε</mi> <mi>s</mi> </msubsup> </math></EquationSource> </InlineEquation> in the sense of equivalence by <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>-convergence (see [<CitationRef CitationID="CR5">5</CitationRef>]), and that the <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>-limits as <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> are continuous with respect to <i>s</i>. In particular, the corresponding surface tensions, given by suitable non-local optimal-profile problems, are continuous on <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_967_Article_IEq15.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\([\frac{1}{2},1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Analysis for non-local phase transitions close to the critical exponent \(s=\frac{1}{2}\)

  • Marco Picerni

摘要

We analyze the behaviour of double-well energies perturbed by fractional Gagliardo squared seminorms in \(H^s\) H s close to the critical exponent \(s=\frac{1}{2}\) s = 1 2 . This is done by computing a scaling factor \(\lambda (\varepsilon ,s)\) λ ( ε , s ) , continuous in both variables, such that \(\begin{aligned} {\mathcal {F}}^{s_\varepsilon }_\varepsilon (u)=\frac{\lambda (\varepsilon ,s_\varepsilon )}{\varepsilon }\int W(u)\,dt+\lambda (\varepsilon ,s_\varepsilon )\varepsilon ^{(2s_\varepsilon -1)^+} {[}u ]_{{s_\varepsilon }}^2 \end{aligned}\) F ε s ε ( u ) = λ ( ε , s ε ) ε W ( u ) d t + λ ( ε , s ε ) ε ( 2 s ε - 1 ) + [ u ] s ε 2 \(\Gamma \) Γ -converge, for any choice of \(s_\varepsilon \rightarrow \frac{1}{2}\) s ε 1 2 as \(\varepsilon \rightarrow 0\) ε 0 , to the sharp-interface functional found by Alberti, Bouchitté and Seppecher in [1] with the scaling \({|\log \varepsilon |^{-1}}\) | log ε | - 1 . Moreover, we prove that all the values \(s\in [\frac{1}{2},1 )\) s [ 1 2 , 1 ) are regular points for the functional \({\mathcal {F}}^{s}_\varepsilon \) F ε s in the sense of equivalence by \(\Gamma \) Γ -convergence (see [5]), and that the \(\Gamma \) Γ -limits as \(\varepsilon \rightarrow 0\) ε 0 are continuous with respect to s. In particular, the corresponding surface tensions, given by suitable non-local optimal-profile problems, are continuous on \([\frac{1}{2},1)\) [ 1 2 , 1 ) .