Table of Contents
Fetching ...

A new analytical technique of the fully implicit Crank-Nicolson discontinuous Galerkin method for the Ginzburg-Landau Model

Xianxian Cao, Zhen Guan, Junjun Wang

TL;DR

The paper develops a fully implicit Crank-Nicolson discontinuous Galerkin method for the two-dimensional Ginzburg-Landau equation with cubic nonlinearity. It proves global unique solvability and unconditional optimal error estimates in both the $L^2$-norm and the energy norm by establishing $L^2$-norm boundedness of the numerical solution and refining nonlinear term estimates, using a Brouwer fixed-point argument for existence and discrete Gronwall arguments for stability. Numerical experiments in FreeFEM validate the theoretical results, demonstrating expected spatial convergence orders $O(h^{k+1})$ in $L^2$ and $O(h^{k})$ in the DG norm, as well as second-order temporal accuracy. The approach offers a robust framework for fully implicit schemes for nonlinear PDEs and suggests potential extensions to 3D and higher-order time discretizations.

Abstract

In this paper, a fully implicit Crank-Nicolson discontinuous Galerkin method is proposed for solving the Ginzburg-Landau equation. By leveraging a novel analytical technique, we rigorously establish the unique solvability of the constructed numerical scheme, as well as its unconditionally optimal error estimates under both the \(L^2\)-norm and the energy norm. The core of the proof hinges on the \(L^2\)-norm boundedness of the numerical solution and the refined estimation of the cubic nonlinear term. Finally, two numerical examples are presented to validate the theoretical findings.

A new analytical technique of the fully implicit Crank-Nicolson discontinuous Galerkin method for the Ginzburg-Landau Model

TL;DR

The paper develops a fully implicit Crank-Nicolson discontinuous Galerkin method for the two-dimensional Ginzburg-Landau equation with cubic nonlinearity. It proves global unique solvability and unconditional optimal error estimates in both the -norm and the energy norm by establishing -norm boundedness of the numerical solution and refining nonlinear term estimates, using a Brouwer fixed-point argument for existence and discrete Gronwall arguments for stability. Numerical experiments in FreeFEM validate the theoretical results, demonstrating expected spatial convergence orders in and in the DG norm, as well as second-order temporal accuracy. The approach offers a robust framework for fully implicit schemes for nonlinear PDEs and suggests potential extensions to 3D and higher-order time discretizations.

Abstract

In this paper, a fully implicit Crank-Nicolson discontinuous Galerkin method is proposed for solving the Ginzburg-Landau equation. By leveraging a novel analytical technique, we rigorously establish the unique solvability of the constructed numerical scheme, as well as its unconditionally optimal error estimates under both the -norm and the energy norm. The core of the proof hinges on the -norm boundedness of the numerical solution and the refined estimation of the cubic nonlinear term. Finally, two numerical examples are presented to validate the theoretical findings.

Paper Structure

This paper contains 7 sections, 10 theorems, 82 equations, 8 tables.

Key Result

Lemma 2.1

(Brouwer Fixed Point Theorem Akrivis1991Akrivis1993) Let $(H, (\cdot, \cdot))$ be a finite-dimensional inner product space, with $\|\cdot\|$ the associated norm, and $\Pi : H \to H$ be continuous. Assume moreover that there exists an $a > 0$, for any $z \in H$ and $\|z\| = a$, it holds that Then there is a $z' \in H$ satisfying $\|z'\| \leqslant a$ such that $\Pi(z') = 0$.

Theorems & Definitions (19)

  • Lemma 2.1
  • Lemma 2.2
  • Lemma 2.3
  • Lemma 2.4
  • Theorem 3.1
  • proof
  • Theorem 3.2
  • proof
  • Remark 3.1
  • Lemma 3.1
  • ...and 9 more