A New Mixed Finite Element Method For The Cahn-Hilliard Equation

A New Mixed Finite Element Method For The Cahn-Hilliard Equation
Notice: This research summary and analysis were automatically generated using AI technology. For absolute accuracy, please refer to the [Original Paper Viewer] below or the Original ArXiv Source.

This paper presents a new mixed finite element method for the Cahn-Hilliard equation. The well-posedness of the mixed formulation is established and the error estimates for its linearized fully discrete scheme are provided. The new mixed finite element method provides a unified construction in two and three dimensions allowing for arbitrary polynomial degrees. Numerical experiments are given to validate the efficiency and accuracy of the theoretical results.


šŸ’” Research Summary

The paper introduces a novel mixed finite element method (FEM) for solving the Cahn‑Hilliard equation, a fourth‑order nonlinear PDE that models phase separation phenomena. Traditional conforming FEMs require C¹ continuity, which is difficult to achieve in two and three dimensions, especially for higher‑order elements. To avoid this restriction, the authors reformulate the problem by introducing an auxiliary symmetric tensor variable Ļƒā€Æ=ā€Æāˆ‡Ā²uā€Æāˆ’ā€ÆĪµā»Ā²f(u)I, where f(u)=uĀ³āˆ’u derives from the double‑well potential. This transformation splits the original fourth‑order equation into a system of two second‑order equations: a time‑dependent mass balance āˆ‚ā‚œu + divDivā€ÆĻƒā€Æ= 0 and a constitutive relation Ļƒā€Æ=ā€Æāˆ‡Ā²uā€Æāˆ’ā€ÆĪµā»Ā²f(u)I.

The mixed variational formulation (3.4) seeks (σ,u) in the product space Σ × L⁶(Ī©), where Ī£ is a subspace of H(divDiv,Ī©;S) consisting of symmetric tensor fields whose divDiv belongs to L²(Ī©) and which satisfy appropriate boundary conditions. The authors rigorously prove the equivalence between this mixed formulation and the primal H²‑based formulation (3.1) via Theorem 3.4, using Green’s identities, Nečas’ inequality, and careful trace analysis. Two sets of boundary conditions are discussed; the more ā€œsufficientā€ set (Ī _F(Ļƒā€Æn_F)=0 and n_Fįµ€Divā€ÆĻƒ=0 on each face) is shown to be consistent with the exact solution and easier to enforce in practice.

For temporal discretisation, a uniform partition of


Comments & Academic Discussion

Loading comments...

Leave a Comment