<p>We discuss a model for phase transitions in which a double-well potential is singularly perturbed by possibly several terms involving different, arbitrarily high orders of derivation. We study by <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>-convergence the asymptotic behaviour as <InlineEquation ID="IEq2"> <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> of the functionals <Equation ID="Equ108"> <EquationSource Format="TEX">\(\begin{aligned} F_\varepsilon (u):=\int _\Omega \Bigl [\frac{1}{\varepsilon }W(u)+\sum _{\ell =1}^{k}q_\ell \varepsilon ^{2\ell -1}|\nabla ^{(\ell )}u|_\ell ^2\Bigr ]\,dx, \qquad u\in H^k(\Omega ), \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>F</mi> <mi>ε</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">[</mo> </mrow> <mfrac> <mn>1</mn> <mi>ε</mi> </mfrac> <mi>W</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <munderover> <mo>∑</mo> <mrow> <mi>ℓ</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>k</mi> </munderover> <msub> <mi>q</mi> <mi>ℓ</mi> </msub> <msup> <mi>ε</mi> <mrow> <mn>2</mn> <mi>ℓ</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msubsup> <mrow> <mo stretchy="false">|</mo> <msup> <mi mathvariant="normal">∇</mi> <mrow> <mo stretchy="false">(</mo> <mi>ℓ</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>ℓ</mi> <mn>2</mn> </msubsup> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">]</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>x</mi> <mo>,</mo> <mspace width="2em" /> <mi>u</mi> <mo>∈</mo> <msup> <mi>H</mi> <mi>k</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>for fixed <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(k&gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> integer, addressing also the case in which the coefficients <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(q_1,...,q_{k-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>q</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>,</mo> <msub> <mi>q</mi> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> are negative and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(|\cdot |_\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">|</mo> <mo>·</mo> <mo stretchy="false">|</mo> </mrow> <mi>ℓ</mi> </msub> </math></EquationSource> </InlineEquation> is any norm on the space of symmetric <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>-tensors for each <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\ell \in \{1,...,k\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ℓ</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>,</mo> <mi>k</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>. The negativity of the coefficients leads to the lack of a priori bounds on the functionals; such issue is overcome by proving a nonlinear interpolation inequality. With this inequality at our disposal, a compactness result is achieved by resorting to the recent paper [<CitationRef CitationID="CR10">10</CitationRef>]. A further difficulty is the presence of general tensor norms which carry anisotropies, making standard slicing arguments not suitable. We prove that the <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>-limit is finite only on sharp interfaces and that it equals an anisotropic perimeter, with a surface energy density described by a cell formula.</p>

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

Singular perturbations models in phase transitions for anisotropic higher-order materials

  • Giuseppe Cosma Brusca,
  • Davide Donati,
  • Chiara Trifone

摘要

We discuss a model for phase transitions in which a double-well potential is singularly perturbed by possibly several terms involving different, arbitrarily high orders of derivation. We study by \(\Gamma \) Γ -convergence the asymptotic behaviour as \(\varepsilon \rightarrow 0\) ε 0 of the functionals \(\begin{aligned} F_\varepsilon (u):=\int _\Omega \Bigl [\frac{1}{\varepsilon }W(u)+\sum _{\ell =1}^{k}q_\ell \varepsilon ^{2\ell -1}|\nabla ^{(\ell )}u|_\ell ^2\Bigr ]\,dx, \qquad u\in H^k(\Omega ), \end{aligned}\) F ε ( u ) : = Ω [ 1 ε W ( u ) + = 1 k q ε 2 - 1 | ( ) u | 2 ] d x , u H k ( Ω ) , for fixed \(k>1\) k > 1 integer, addressing also the case in which the coefficients \(q_1,...,q_{k-1}\) q 1 , . . . , q k - 1 are negative and \(|\cdot |_\ell \) | · | is any norm on the space of symmetric \(\ell \) -tensors for each \(\ell \in \{1,...,k\}\) { 1 , . . . , k } . The negativity of the coefficients leads to the lack of a priori bounds on the functionals; such issue is overcome by proving a nonlinear interpolation inequality. With this inequality at our disposal, a compactness result is achieved by resorting to the recent paper [10]. A further difficulty is the presence of general tensor norms which carry anisotropies, making standard slicing arguments not suitable. We prove that the \(\Gamma \) Γ -limit is finite only on sharp interfaces and that it equals an anisotropic perimeter, with a surface energy density described by a cell formula.