<p>We study the asymptotic behaviour of double-well energies perturbed by a higher-order fractional term, which, in the one-dimensional case, take the form <Equation ID="Equ65"> <EquationSource Format="TEX">\(\begin{aligned} \frac{1}{\varepsilon }\int _I W(u(x))dx+\varepsilon ^{2(k+s)-1}c_s\int _{I\times I} \frac{|u^{(k)}(x)-u^{(k)}(y)|^2}{|x-y|^{1+2s}} dx\,dy, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mfrac> <mn>1</mn> <mi>ε</mi> </mfrac> <msub> <mo>∫</mo> <mi>I</mi> </msub> <mi>W</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> <mi>x</mi> <mo>+</mo> <msup> <mi>ε</mi> <mrow> <mn>2</mn> <mo stretchy="false">(</mo> <mi>k</mi> <mo>+</mo> <mi>s</mi> <mo stretchy="false">)</mo> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msub> <mi>c</mi> <mi>s</mi> </msub> <msub> <mo>∫</mo> <mrow> <mi>I</mi> <mo>×</mo> <mi>I</mi> </mrow> </msub> <mfrac> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msup> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <msup> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msup> <msup> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mn>1</mn> <mo>+</mo> <mn>2</mn> <mi>s</mi> </mrow> </msup> </mfrac> <mi>d</mi> <mi>x</mi> <mspace width="0.166667em" /> <mi>d</mi> <mi>y</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(u^{(k)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> denotes the weak <i>k</i>-th derivative of the function <i>u</i>, defined on the higher-order fractional Sobolev space <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(H^{k+s}(I)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mrow> <mi>k</mi> <mo>+</mo> <mi>s</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>I</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. The function <i>W</i> is a double-well potential with minima in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and 1, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(k\in {\mathbb {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(s\in (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(k+s&gt;\frac{1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>+</mo> <mi>s</mi> <mo>&gt;</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(c_s&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>c</mi> <mi>s</mi> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. We show that these functionals <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>-converge to a sharp-interface functional with domain <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(BV(I;\{-1,1\})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mi>V</mi> <mo stretchy="false">(</mo> <mi>I</mi> <mo>;</mo> <mo stretchy="false">{</mo> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">}</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of the form <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(m_{k+s}\#(S(u))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>m</mi> <mrow> <mi>k</mi> <mo>+</mo> <mi>s</mi> </mrow> </msub> <mo>#</mo> <mrow> <mo stretchy="false">(</mo> <mi>S</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, with <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(m_{k+s}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>m</mi> <mrow> <mi>k</mi> <mo>+</mo> <mi>s</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> given by the optimal-profile problem <Equation ID="Equ66"> <EquationSource Format="TEX">\(\begin{aligned} &amp; m_{k+s} =\inf \Big \{\int _{{\mathbb {R}}} W(v)dx+c_s\int _{{\mathbb {R}}^2}\frac{|v^{(k)}(x)-v^{(k)}(y)|^2}{|x-y|^{1+2s}} dx\,dy:\\ &amp; \hspace{142.26378pt}v\in H^{k+s}_\textrm{loc}({\mathbb {R}}), \lim _{x\rightarrow \pm \infty }v(x)=\pm 1\Big \}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <msub> <mi>m</mi> <mrow> <mi>k</mi> <mo>+</mo> <mi>s</mi> </mrow> </msub> <mo>=</mo> <mo movablelimits="true">inf</mo> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">{</mo> </mrow> <msub> <mo>∫</mo> <mi mathvariant="double-struck">R</mi> </msub> <mi>W</mi> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> <mi>x</mi> <mo>+</mo> <msub> <mi>c</mi> <mi>s</mi> </msub> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </msub> <mfrac> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msup> <mi>v</mi> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <msup> <mi>v</mi> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msup> <msup> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mn>1</mn> <mo>+</mo> <mn>2</mn> <mi>s</mi> </mrow> </msup> </mfrac> <mi>d</mi> <mi>x</mi> <mspace width="0.166667em" /> <mi>d</mi> <mi>y</mi> <mo>:</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mspace width="142.26378pt" /> <mi>v</mi> <mo>∈</mo> <msubsup> <mi>H</mi> <mtext>loc</mtext> <mrow> <mi>k</mi> <mo>+</mo> <mi>s</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <munder> <mo movablelimits="true">lim</mo> <mrow> <mi>x</mi> <mo stretchy="false">→</mo> <mo>±</mo> <mi>∞</mi> </mrow> </munder> <mi>v</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>±</mo> <mn>1</mn> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">}</mo> </mrow> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>If we choose the coefficient <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(c_s=\frac{s(1-s)}{2^{1-s}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>c</mi> <mi>s</mi> </msub> <mo>=</mo> <mfrac> <mrow> <mi>s</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mn>2</mn> <mrow> <mn>1</mn> <mo>-</mo> <mi>s</mi> </mrow> </msup> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(m_{k+s}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>m</mi> <mrow> <mi>k</mi> <mo>+</mo> <mi>s</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> interpolates continuously the corresponding <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(m_k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>m</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> defined on standard higher-order Sobolev space <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(H^k(I)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mi>k</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>I</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, obtained by Modica–Mortola in the case <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(k=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> (Boll Un Mat Ital B (5), 14(1):285–299, 1977), Fonseca–Mantegazza in the case <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(k=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> (SIAM J Math Anal 31(5):1121–1143, 2000) and Brusca et al. for <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(k\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> (SIAM J Math Anal 57(3): 3146-3170, 2025). The results also extends previous works by Alberti et al. (C R Acad Sci Paris Sér I Math 319(4):333–338, 1994), Savin–Valdinoci (Ann Inst H Poincaré C Anal Non Linéaire 29(4), 479–500, 2012) and Palatucci–Vincini (Matematiche (Catania) 75(1):195–220, 2020) in the case <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(k=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq20"> <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>.</p>

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

Higher-Order Non-local Gradient Theory of Phase-Transitions

  • Margherita Solci

摘要

We study the asymptotic behaviour of double-well energies perturbed by a higher-order fractional term, which, in the one-dimensional case, take the form \(\begin{aligned} \frac{1}{\varepsilon }\int _I W(u(x))dx+\varepsilon ^{2(k+s)-1}c_s\int _{I\times I} \frac{|u^{(k)}(x)-u^{(k)}(y)|^2}{|x-y|^{1+2s}} dx\,dy, \end{aligned}\) 1 ε I W ( u ( x ) ) d x + ε 2 ( k + s ) - 1 c s I × I | u ( k ) ( x ) - u ( k ) ( y ) | 2 | x - y | 1 + 2 s d x d y , where \(u^{(k)}\) u ( k ) denotes the weak k-th derivative of the function u, defined on the higher-order fractional Sobolev space \(H^{k+s}(I)\) H k + s ( I ) . The function W is a double-well potential with minima in \(-1\) - 1 and 1, \(k\in {\mathbb {N}}\) k N , \(s\in (0,1)\) s ( 0 , 1 ) with \(k+s>\frac{1}{2}\) k + s > 1 2 and \(c_s>0\) c s > 0 . We show that these functionals \(\Gamma \) Γ -converge to a sharp-interface functional with domain \(BV(I;\{-1,1\})\) B V ( I ; { - 1 , 1 } ) of the form \(m_{k+s}\#(S(u))\) m k + s # ( S ( u ) ) , with \(m_{k+s}\) m k + s given by the optimal-profile problem \(\begin{aligned} & m_{k+s} =\inf \Big \{\int _{{\mathbb {R}}} W(v)dx+c_s\int _{{\mathbb {R}}^2}\frac{|v^{(k)}(x)-v^{(k)}(y)|^2}{|x-y|^{1+2s}} dx\,dy:\\ & \hspace{142.26378pt}v\in H^{k+s}_\textrm{loc}({\mathbb {R}}), \lim _{x\rightarrow \pm \infty }v(x)=\pm 1\Big \}. \end{aligned}\) m k + s = inf { R W ( v ) d x + c s R 2 | v ( k ) ( x ) - v ( k ) ( y ) | 2 | x - y | 1 + 2 s d x d y : v H loc k + s ( R ) , lim x ± v ( x ) = ± 1 } . If we choose the coefficient \(c_s=\frac{s(1-s)}{2^{1-s}}\) c s = s ( 1 - s ) 2 1 - s , then \(m_{k+s}\) m k + s interpolates continuously the corresponding \(m_k\) m k defined on standard higher-order Sobolev space \(H^k(I)\) H k ( I ) , obtained by Modica–Mortola in the case \(k=1\) k = 1 (Boll Un Mat Ital B (5), 14(1):285–299, 1977), Fonseca–Mantegazza in the case \(k=2\) k = 2 (SIAM J Math Anal 31(5):1121–1143, 2000) and Brusca et al. for \(k\ge 3\) k 3 (SIAM J Math Anal 57(3): 3146-3170, 2025). The results also extends previous works by Alberti et al. (C R Acad Sci Paris Sér I Math 319(4):333–338, 1994), Savin–Valdinoci (Ann Inst H Poincaré C Anal Non Linéaire 29(4), 479–500, 2012) and Palatucci–Vincini (Matematiche (Catania) 75(1):195–220, 2020) in the case \(k=0\) k = 0 and \(s\in (\frac{1}{2},1)\) s ( 1 2 , 1 ) .