<p>In this paper, we present a novel error analysis for a linearized backward Euler finite element scheme applied to the Landau-Lifshitz equation under low regularity conditions. A key ingredient of our approach is the introduction of a new projection operator based on the temporal average of the magnetization. This operator allows us to fully exploit the intrinsic regularity property <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\varvec{m} \in L^2(0, T; (H^3(\varOmega ))^3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="bold-italic">m</mi> </mrow> <mo>∈</mo> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo>;</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>H</mi> <mn>3</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, thereby avoiding higher regularity assumptions. Our error estimates are developed for two distinct scenarios. Firstly, under the assumption that the initial data satisfies <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\varvec{m}^0 \in (H^2(\varOmega ))^3 \cap (W^{1,\infty }(\varOmega ))^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="bold-italic">m</mi> </mrow> <mn>0</mn> </msup> <mo>∈</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>H</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> <mo>∩</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>∞</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\varvec{m}_t^0 \in (H^2(\varOmega ))^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mi mathvariant="bold-italic">m</mi> </mrow> <mi>t</mi> <mn>0</mn> </msubsup> <mo>∈</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>H</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, we establish a conditionally optimal error estimate whose convergence optimality adapts to the spatial regularity of the solution at current time step. Secondly, by strengthening the regularity to <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\varvec{m} \in L^\infty (0,T; (W^{1,\infty }(\varOmega ))^3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="bold-italic">m</mi> </mrow> <mo>∈</mo> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo>;</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>∞</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> while relaxing the requirement on the initial time derivative to <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\varvec{m}_t^0 \in (H^1(\varOmega ))^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mi mathvariant="bold-italic">m</mi> </mrow> <mi>t</mi> <mn>0</mn> </msubsup> <mo>∈</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>H</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, we derive the optimal error estimate of order <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(O(\tau + h^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mi>τ</mi> <mo>+</mo> <msup> <mi>h</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Additionally, the analysis is extended to smoother solutions, and the error in preserving the unit length constraint of the Landau–Lifshitz equation is rigorously bounded for all cases considered.</p>

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

Optimal error estimates of a linearized backward Euler FEM for the Landau-Lifshitz equation under low regularity

  • Jiajun Zhan,
  • Yunqing Huang,
  • Lei Yang,
  • Nianyu Yi

摘要

In this paper, we present a novel error analysis for a linearized backward Euler finite element scheme applied to the Landau-Lifshitz equation under low regularity conditions. A key ingredient of our approach is the introduction of a new projection operator based on the temporal average of the magnetization. This operator allows us to fully exploit the intrinsic regularity property \(\varvec{m} \in L^2(0, T; (H^3(\varOmega ))^3)\) m L 2 ( 0 , T ; ( H 3 ( Ω ) ) 3 ) , thereby avoiding higher regularity assumptions. Our error estimates are developed for two distinct scenarios. Firstly, under the assumption that the initial data satisfies \(\varvec{m}^0 \in (H^2(\varOmega ))^3 \cap (W^{1,\infty }(\varOmega ))^3\) m 0 ( H 2 ( Ω ) ) 3 ( W 1 , ( Ω ) ) 3 and \(\varvec{m}_t^0 \in (H^2(\varOmega ))^3\) m t 0 ( H 2 ( Ω ) ) 3 , we establish a conditionally optimal error estimate whose convergence optimality adapts to the spatial regularity of the solution at current time step. Secondly, by strengthening the regularity to \(\varvec{m} \in L^\infty (0,T; (W^{1,\infty }(\varOmega ))^3)\) m L ( 0 , T ; ( W 1 , ( Ω ) ) 3 ) while relaxing the requirement on the initial time derivative to \(\varvec{m}_t^0 \in (H^1(\varOmega ))^3\) m t 0 ( H 1 ( Ω ) ) 3 , we derive the optimal error estimate of order \(O(\tau + h^2)\) O ( τ + h 2 ) . Additionally, the analysis is extended to smoother solutions, and the error in preserving the unit length constraint of the Landau–Lifshitz equation is rigorously bounded for all cases considered.