Searcharxiv⌕ Search

arXiv subjects

Harald Garcke

Publications and source records attributed to Harald Garcke.

At least 37 records · Page 2Linked to original sources

Error estimates for a surface finite element method for anisotropic mean curvature flow

Error estimates are proved for an evolving surface finite element semi-discretization for anisotropic mean curvature flow of closed surfaces. For the geometric surface flow, a system coupling the anisotropic evolution law to parabolic evolution equations for the surface normal and normal velocity is derived, which then serve as the basis for the proposed numerical method. The algorithm for anisotropic mean curvature flow is proved to be convergent in the $H^1$-norm with optimal-order for finite elements of degree at least two. Numerical experiments are presented to illustrate and complement our theoretical results.

math.NA↗

Isoparametric finite element methods for mean curvature flow and surface diffusion

We propose higher-order isoparametric finite element approximations for mean curvature flow and surface diffusion. The methods are natural extensions of the piecewise linear finite element methods introduced by Barrett, Garcke, and Nürnberg (BGN) in a series of papers in 2007 and 2008. The proposed schemes exhibit unconditional energy stability and inherit the favorable mesh quality of the original BGN methods. Moreover, in the case of surface diffusion we present structure-preserving higher-order isoparametric finite element methods. In addition to being unconditionally stable, these also conserve the enclosed volume. Extensive numerical results demonstrate the higher-order spatial accuracy, the unconditional energy stability, the volume preservation for surface diffusion, and the good mesh quality.

math.NA↗

Stable fully practical finite element methods for axisymmetric Willmore flow

We consider fully discrete numerical approximations for axisymmetric Willmore flow that are unconditionally stable and work reliably without remeshing. We restrict our attention to surfaces without boundary, but allow for spontaneous curvature effects. The axisymmetric setting allows us to formulate our schemes in terms of the generating curve of the considered surface. We propose a novel weak formulation, that combines an evolution equation for the surface's mean curvature and the curvature identity of the generating curve. The mean curvature is used to describe the gradient flow structure, which enables an unconditional stability result for the discrete solutions. The generating curve's curvature, on the other hand, describes the surface's in-plane principal curvature and plays the role of a Lagrange multiplier for an equidistribution property on the discrete level. We introduce two fully discrete schemes and prove their unconditional stability. Numerical results are provided to confirm the convergence, stability and equidistribution properties of the introduced schemes.

math.NA↗

Diffuse Interface Models for Two-Phase Flows with Phase Transition: Modeling and Existence of Weak Solutions

The flow of two macroscopically immiscible, viscous, incompressible fluids with unmatched densities is studied, where a transfer of mass between the constituents by phase transition is taken into account. To this end, two quasi-incompressible diffuse interface models with singular free energies are analyzed, differing primarily in their velocity averaging. Firstly, to generalize a model by Abels, Garcke, and Grün, a thermodynamically consistent system of Navier--Stokes/Cahn--Hilliard type with source terms is derived in a framework of continuum fluid dynamics, followed by a proof of existence of weak solutions to the latter. Secondly, the quasi-stationary version of a model by Aki, Dreyer, Giesselmann, and Kraus is investigated analytically, with existence of weak solutions being established for the resulting quasi-stationary Stokes system coupled to a Cahn--Hilliard equation with a source term.

math.AP↗

On a Cahn-Hilliard equation for the growth and division of chemically active droplets modeling protocells

The Cahn-Hilliard model with reaction terms can lead to situations in which no coarsening is taking place and, in contrast, growth and division of droplets occur which all do not grow larger than a certain size. This phenomenon has been suggested as a model for protocells, and a model based on the modified Cahn-Hilliard equation has been formulated. We introduce this equation and show the existence and uniqueness of solutions. Then formally matched asymptotic expansions are used to identify a sharp interface limit using a scaling of the reaction term which becomes singular when the interfacial thickness tends to zero. We compute planar solutions and study their stability under non-planar perturbations. Numerical computations for the suggested model are used to validate the sharp interface asymptotics. In addition, the numerical simulations show that the reaction terms lead to diverse phenomena such as growth and division of droplets in the obtained solutions, as well as the formation of shell-like structures.

math.AP↗

The anisotropic Cahn--Hilliard equation with degenerate mobility: Existence of weak solutions

This paper presents an existence result for the anisotropic Cahn--Hilliard equation characterized by a potentially concentration-dependent degenerate mobility taking into account an anisotropic energy. The model allows for the degeneracy of the mobility at specific concentration values, demonstrating that the solution remains within physically relevant bounds. The introduction of anisotropy leads to highly nonlinear terms making energy and entropy estimates rather involved. As the mobility degenerates in the pure phases, the degenerate Cahn--Hilliard equation describes surface diffusion and is an important model to model solid-state dewetting (SSD) of thin films. We show existence of weak solutions for the anisotropic degenerate Cahn--Hilliard equation by using suitable energy and entropy type estimates.

math.AP↗

A variational front-tracking method for multiphase flow with triple junctions

We present and analyze a variational front-tracking method for a sharp-interface model of multiphase flow. The fluid interfaces between different phases are represented by curve networks in two space dimensions (2d) or surface clusters in three space dimensions (3d) with triple junctions where three interfaces meet, and boundary points/lines where an interface meets a fixed planar boundary. The model is described by the incompressible Navier--Stokes equations in the bulk domains, with classical interface conditions on the fluid interfaces, and appropriate boundary conditions at the triple junctions and boundary points/lines. We propose a weak formulation for the model, which combines a parametric formulation for the evolving interfaces and an Eulerian formulation for the bulk equations. We employ an unfitted discretization of the coupled formulation to obtain a fully discrete finite element method, where the existence and uniqueness of solutions can be shown under weak assumptions. The constructed method admits an unconditional stability result in terms of the discrete energy. Furthermore, we adapt the introduced method so that an exact volume preservation for each phase can be achieved for the discrete solutions. Numerical examples for three-phase flow and four-phase flow are presented to show the robustness and accuracy of the introduced methods.

math.NA↗

Parametric finite element approximation of two-phase Navier--Stokes flow with viscoelasticity

In this work, we present a parametric finite element approximation of two-phase Navier-Stokes flow with viscoelasticity. The free boundary problem is given by the viscoelastic Navier-Stokes equations in the two fluid phases, connected by jump conditions across the interface. The elasticity in the fluids is characterised using the Oldroyd-B model with possible stress diffusion. The model was originally introduced to approximate fluid-structure interaction problems between an incompressible Newtonian fluid and a hyperelastic neo-Hookean solid, which are possible limit cases of the model. We approximate a variational formulation of the model with an unfitted finite element method that uses piecewise linear parametric finite elements. The two-phase Navier-Stokes-Oldroyd-B system in the bulk regions is discretised in a way that guarantees unconditional solvability and stability for the coupled bulk-interface system. Good volume conservation properties for the two phases are observed in the case where the pressure approximation space is enriched with the help of an XFEM function. We show the applicability of our method with some numerical results.

math.NA↗

On a diffuse interface model for diblock copolymers interacting with an electric field

We consider a diffuse interface model describing a ternary system constituted by a conductive diblock copolymer and a homopolymer acting as solvent. The resulting dynamics is modeled by two Cahn--Hilliard--Oono equations for the copolymer blocks, accounting for long-range interactions; a classical Cahn--Hiliard equation for the homopolymer and the Maxwell equation for the electric displacement field. A multiphase singular potential is employed in order to ensure physical consistency. First, we show existence of global weak solutions in two and three dimensions. Uniqueness of weak solutions is established in the constant mobility case, and a conditional result is given in the general case. Instantaneous regularization and long-time behavior are also investigated, the latter in the case of affine-linear electric permittivity, showing in particular that solutions converge to a single stationary state.

math.AP↗

A finite element method for anisotropic crystal growth on surfaces

Phase transition problems on curved surfaces can lead to a panopticon of fascinating patterns. In this paper we consider finite element approximations of phase field models with a spatially inhomogeneous and anisotropic surface energy density. The problems are either posed in $\mathbb R^3$ or on a two-dimensional hypersurface in $\mathbb R^3$. In the latter case, a fundamental choice regarding the anisotropic energy density has to be made. One possibility is to use a density defined in the ambient space $\mathbb R^3$. However, we propose and advocate for an alternative, where a density is defined on a fixed chosen tangent space, and is then moved along geodesics to the other tangent spaces. Our numerical method can be employed in all of the above situations, where for the problems on hypersurfaces the algorithm uses parametric finite elements. We prove an unconditional stability result for our schemes and present several numerical experiments, including for the modelling of ice crystal growth on a sphere.

math.NA↗

Existence of Weak Solutions to a Cahn-Hilliard-Biot System

We prove existence of weak solutions to a diffuse interface model describing the flow of a fluid through a deformable porous medium consisting of two phases. The system non-linearly couples Biot's equations for poroelasticity, including phase-field dependent material properties, with the Cahn-Hilliard equation to model the evolution of the solid, and is further augmented by a visco-elastic regularization of Kelvin-Voigt type. To obtain this result, we approximate the problem in two steps, where first a semi-Galerkin ansatz is employed to show existence of weak solutions to regularized systems, for which later on compactness arguments allow limit passage. Notably, we also establish a maximal regularity theory for linear visco-elastic problems.

math.AP↗

Structure-preserving parametric finite element method for curve diffusion based on Lagrange multiplier approaches

We propose a novel formulation for parametric finite element methods to simulate surface diffusion of closed curves, which is also called as the curve diffusion. Several high-order temporal discretizations are proposed based on this new formulation. To ensure that the numerical methods preserve geometric structures of curve diffusion (i.e., the perimeter-decreasing and area-preserving properties), our formulation incorporates two scalar Lagrange multipliers and two evolution equations involving the perimeter and area, respectively. By discretizing the spatial variable using piecewise linear finite elements and the temporal variable using either the Crank-Nicolson method or the backward differentiation formulae method, we develop high-order temporal schemes that effectively preserve the structure at a fully discrete level. These new schemes are implicit and can be efficiently solved using Newton's method. Extensive numerical experiments demonstrate that our methods achieve the desired temporal accuracy, as measured by the manifold distance, while simultaneously preserving the geometric structure of the curve diffusion.

math.NA↗

Diffuse Interface Model for Two-Phase Flows on Evolving Surfaces with Different Densities: Global Well-Posedness

We show existence and uniqueness of strong solutions to a Navier-Stokes/Cahn-Hilliard type system on a given two-dimensional evolving surface in the case of different densities and a singular (logarithmic) potential. The system describes a diffuse interface model for a two-phase flow of viscous incompressible fluids on an evolving surface. We also establish the validity of the instantaneous strict separation property from the pure phases. To show these results we use our previous achievements on local well-posedness together with suitable novel regularity results for the convective Cahn-Hilliard equation. The latter allows to obtain higher-order energy estimates to extend the local solution globally in time. To this aim the time evolution of energy type quantities has to be calculated and estimated carefully.

math.AP↗

Complex pattern formation governed by a Cahn-Hilliard-Swift-Hohenberg system: Analysis and numerical simulations

This paper investigates a Cahn-Hilliard-Swift-Hohenberg system, focusing on a three-species chemical mixture subject to physical constraints on volume fractions. The resulting system leads to complex patterns involving a separation into phases as typical of the Cahn-Hilliard equation and small scale stripes and dots as seen in the Swift-Hohenberg equation. We introduce singular potentials of logarithmic type to enhance the model's accuracy in adhering to essential physical constraints. The paper establishes the existence and uniqueness of weak solutions within this extended framework. The insights gained contribute to a deeper understanding of phase separation in complex systems, with potential applications in materials science and related fields. We introduce a stable finite element approximation based on an obstacle formulation. Subsequent numerical simulations demonstrate that the model allows for complex structures as seen in pigment patterns of animals and in porous polymeric materials.

math.AP↗

A structure-preserving finite element method for the multi-phase Mullins-Sekerka problem with triple junctions

We consider a sharp interface formulation for the multi-phase Mullins-Sekerka flow. The flow is characterized by a network of curves evolving such that the total surface energy of the curves is reduced, while the areas of the enclosed phases are conserved. Making use of a variational formulation, we introduce a fully discrete finite element method. Our discretization features a parametric approximation of the moving interfaces that is independent of the discretization used for the equations in the bulk. The scheme can be shown to be unconditionally stable and to satisfy an exact volume conservation property. Moreover, an inherent tangential velocity for the vertices on the discrete curves leads to asymptotically equidistributed vertices, meaning no remeshing is necessary in practice. Several numerical examples, including a convergence experiment for the three-phase Mullins-Sekerka flow, demonstrate the capabilities of the introduced method.

math.NA↗

Mathematical Analysis of a Diffuse Interface Model for Multi-Phase Flows of Incompressible Viscous Fluids with Different Densities

We analyze a diffuse interface model for multi-phase flows of $N$ incompressible, viscous Newtonian fluids with different densities. In the case of a bounded and sufficiently smooth domain existence of weak solutions in two and three space dimensions and a singular free energy density is shown. Moreover, in two space dimensions global existence for sufficiently regular initial data is proven. In three space dimension, existence of strong solutions locally in time is shown as well as regularization for large times in the absence of exterior forces. Moreover, in both two and three dimensions, convergence to stationary solutions as time tends to infinity is proved.

math.AP↗

The anisotropic Cahn--Hilliard equation: regularity theory and strict separation properties

The Cahn--Hilliard equation with anisotropic energy contributions frequently appears in many physical systems. Systematic analytical results for the case with the relevant logarithmic free energy have been missing so far. We close this gap and show existence, uniqueness, regularity, and separation properties of weak solutions to the anisotropic Cahn--Hilliard equation with logarithmic free energy. Since firstly, the equation becomes highly non-linear, and secondly, the relevant anisotropies are non-smooth, the analysis becomes quite involved. In particular, new regularity results for quasilinear elliptic equations of second order need to be shown.

math.AP↗

Sharp-interface limit of a multi-phase spectral shape optimization problem for elastic structures

We consider an optimization problem for the eigenvalues of a multi-material elastic structure that was previously introduced by Garcke et al. [Adv. Nonlinear Anal. 11 (2022), no. 1, 159--197]. There, the elastic structure is represented by a vector-valued phase-field variable, and a corresponding optimality system consisting of a state equation and a gradient inequality was derived. In the present paper, we pass to the sharp-interface limit in this optimality system by the technique of formally matched asymptotics. Therefore, we derive suitable Lagrange multipliers to formulate the gradient inequality as a pointwise equality. Afterwards, we introduce inner and outer expansions, relate them by suitable matching conditions and formally pass to the sharp-interface limit by comparing the leading order terms in the state equation and in the gradient equality. Furthermore, the relation between these formally derived first-order conditions and results of Allaire and Jouve [Comput. Methods Appl. Mech. Engrg., 194 (2005), pp. 3269--3290] obtained in the framework of classical shape calculus is discussed. Eventually, we provide numerical simulations for a variety of examples. In particular, we illustrate the sharp-interface limit and also consider a joint optimization problem of simultaneous compliance and eigenvalue optimization.

math.OC↗