SearcharxivSearch

arXiv subjects

Harald Garcke

Publications and source records attributed to Harald Garcke.

At least 19 recordsLinked to original sources

On a visco-elastic Mullins-Sekerka System

We introduce a novel visco-elastic Mullins-Sekerka system with a prescribed constant contact angle at the boundary. The system is derived as an $H^{-1}$-$H^1$-type gradient flow of an energy consisting of the perimeter together with capillary, elastic, and second-gradient contributions. Building on the framework of Hensel and Stinson (Arch. Ration. Mech. Anal. 248, 2024), we introduce a measure-valued solution concept featuring a sharp De Giorgi-type energy-dissipation inequality. Moreover, we establish existence of solutions via an implicit time discretization scheme, and prove existence of $BV$ solutions under an energy-conservation hypothesis.

math.AP

A structure--preserving ALE--BGN--MDR method for Navier--Stokes free boundary problems with moving contact lines and gravity

We propose a gravity-consistent arbitrary Lagrangian--Eulerian finite element method for incompressible Navier--Stokes free-boundary problems with moving contact lines. A direct body-force discretization of gravity may fail to ensure consistency between the discrete gravitational work and the variation of the gravitational potential energy on the evolving domain, resulting in an artificial consistency error and persistent spurious velocities near equilibrium. To remove this inconsistency, we reformulate the gravitational potential energy variation as a moving-boundary integral over intermediate ALE configurations and evaluate it exactly using Simpson's quadrature rule. This leads to a mildly nonlinear fully discrete scheme in which the gravitational contribution is exactly consistent with the discrete potential-energy variation. The proposed method preserves volume exactly, satisfies a discrete energy-dissipation law including gravitational potential energy, and under suitable assumptions, drives the discrete velocity to zero in the long-time regime, thereby excluding persistent gravity-induced spurious velocities. Together with the BGN treatment of the free surface and the MDR bulk mesh extension, the scheme maintains accurate interface tracking and good mesh quality near the moving contact line. Numerical experiments in two and three spatial dimensions confirm the theoretical properties.

math.NA

Local Well-Posedness for a Diffuse Interface Model for Two-Phase Flows from Mixture Theory

Local-in-time well-posedness is established for a recently proposed diffuse interface model describing incompressible two-phase flows. The result constitutes the first analytical study of a model introduced by ten Eikelder et al. for the motion of a binary mixture of macroscopically immiscible, viscous, incompressible fluids with unmatched densities. In contrast to classic diffuse interface models based on a single mean velocity, this model is derived within the framework of mixture theory, assigning each phase its own momentum and mass balance, which results in a system of two coupled Navier--Stokes equations and two mass transport equations. The proof of the well-posedness result uses a fixed-point strategy, where the main difficulty lies in the analysis of the principal part of the associated linearized system.

math.AP

A unified energy-stable finite element approximation for evolving fluidic biomembranes

We present a unified finite element method for the dynamics of fluidic biomembranes. The model is governed by the Navier--Stokes equations in the bulk coupled to the surface Navier--Stokes equations on the evolving biomembrane surface, with bending forces arising from the Willmore energy. By allowing the bulk mesh velocity to be independent of the fluid velocity and permitting a free tangential surface velocity, we are able to derive a unified weak formulation of the coupled bulk-surface Navier--Stokes system. To address the bending force, we consider an evolution equation for the curvature and propose a surface arbitrary Lagrangian--Eulerian (ALE) weak formulation. Discretization with either fitted or unfitted finite elements leads to well-posed fully discrete linear schemes that are unconditionally energy stable. We present a variety of numerical examples to demonstrate the favourable properties of the proposed methods.

math.NA

Weak and strong solutions for a class of quasilinear Allen--Cahn systems

We consider a quasilinear Allen--Cahn system which arises when the gradient energy term in the Ginzburg--Landau energy also contains zero order terms. Such systems offer significant advantages in applications, since surface tensions and mobilities can be easily calibrated. The analysis for these systems is highly challenging, partly due to the fact that the gradient term in the energy is non-convex and since gradient terms appear quadratically in the weak formulation. This explains why an existence theory has been lacking for nearly thirty years. In this paper, we give the first existence and uniqueness results for such systems. Firstly, we prove existence and uniqueness of local-in-time strong solutions using the theory of maximal regularity. Here, non-standard techniques have to be applied due to the fact that linear constraints on the solution are involved and due to nonlinear boundary conditions. Secondly, using a minimizing movement approach we show the existence of global-in-time weak solutions. Here, the main difficulty arises from the fact that the underlying energy is not $\lambda$-convex. We overcome this issue by proving higher integrability of the gradient of the solution, first showing that solutions are bounded and then using an approach by Giaquinta and Modica. This finally allows us to pass to the limit in the time-discrete approximation. Using the de Giorgi interpolation technique, we are also able to show a sharp energy decay property despite the lack of convexity of the energy.

math.AP

Analysis of a Cahn-Hilliard-Canham-Helfrich system for the evolution of a two-phase membrane

The coupling of the evolution of a surface with evolution equations defined on that surface is of relevance in many applications and has been in the focus of interest in the analysis of parabolic PDEs in recent years. In applications the evolution of two-phase vesicles and biomembranes is governed by flows decreasing an energy which involves Canham-Helfrich-type curvature energies coupled to a Ginzburg-Landau energy. We derive a new Cahn-Hilliard-Canham-Helfrich system for the evolution of two-phase membranes. The resulting system is highly non-linear and we use the theory of quasi-linear parabolic evolution equations in weighted $L_p$-spaces to show the existence of a strong local-in-time solution and hence demonstrate that the derived system is well-posed.

math.AP

On a thermodynamically consistent diffuse interface model for incompressible two-phase flows with unmatched densities: Energy equality and Lyapunov stability

We consider the initial-boundary value problem of a thermodynamically consistent diffuse interface model for incompressible two-phase flows with unmatched densities in a bounded domain $\Omega\subset\mathbb{R}^3$. Our first aim is to study the energy equality for global weak solutions by establishing mixed $L_t^qL_x^r$-regularity conditions on the velocity field, its gradient, and its time derivative, under which the global weak solution conserves its energy for all time. The proof is based on the propagation of regularity for weak solutions to the convective Cahn-Hilliard equation with a physically relevant Flory-Huggins-type potential, combined with global mollification and boundary cut-off techniques. Next, we prove the existence and uniqueness of global strong solutions in the general setting with non-constant gradient energy coefficient and non-degenerate mobility, provided that the initial velocity is sufficiently small and the initial phase-field variable is a sufficiently small perturbation of a local minimizer of the free energy. This yields Lyapunov stability for each steady state consisting of a zero velocity together with a local energy minimizer. The proof relies on the energy equality for (local) strong solutions and the {\L}ojasiewicz-Simon approach.

math.AP

A Parametric Finite Element Approach for an Anisotropic Multi-Phase Mullins-Sekerka Problem with Kinetic Undercooling

We consider a sharp interface formulation for an anisotropic multi-phase Mullins-Sekerka problem with kinetic undercooling. The flow is characterized by a cluster of surfaces evolving such that the total surface energy plus a weighted sum of the volumes of the enclosed phases decreases in time. Upon deriving a suitable variational formulation, we introduce a fully discrete unfitted finite element method. In this approach, the approximations of the moving interfaces are independent of the triangulations used for the equations in the bulk. Our method can be shown to be unconditionally stable. Several numerical examples demonstrate the capabilities of the introduced method. In particular, it is demonstrated that the evolution of multiple ice crystals with junctions can be modeled using the proposed approach.

math.NA

On a Mullins-Sekerka model for the growth of active droplets modelling protocells: Stability analysis and numerical computations

Mullins-Sekerka models with chemical reactions can lead to scenarios where droplets grow, become unstable, split, grow and undergo further division. These grow and division cycles have been proposed as a model for protocells and are believed to play a fundamental role in living systems by providing chemical compartments which are important in the organization of living systems. This paper analyses chemically active Mullins-Sekerka models. Existence of radially symmetric solutions is shown and a detailed stability analysis in radial as well as planar situations is given. In particular, we also analyze multilayered solutions leading to shell-type situations. Finally, we introduce a numerical method based on a parametric finite element approach that explicitly accounts for topological changes, thereby allowing for droplet splitting and merging. Several numerical simulations verify the findings of the theoretical stability analysis and show complex dynamical behavior, including multiple instabilities, splittings of droplets and appearance of shell-type solutions.

math.AP

Convergence analysis for the Barrett--Garcke--Nurnberg method of transport type for evolving curves

In this paper, we propose a Barrett-Garcke-Nurnberg (BGN) method for evolving geometries under general flows and present the corresponding convergence analysis. Specifically, we examine the scenario where a closed curve evolves according to a prescribed background velocity field. Unlike mean curvature flow and surface diffusion, where the evolution velocities inherently exhibit parabolicity, this case is dominated by transport which poses a significant difficulty in establishing convergence proofs. To address the challenges imposed by this transport-dominant nature, we derive several discrete energy estimates of the transport type on discretized polynomial surfaces within the framework of the projection error. The use of the projection error is indispensable as it provides crucial additional stability through its orthogonality structure. We prove that the proposed method converges sub-optimally in the L2 norm, and this is the first convergence proof for a fully discrete numerical method solving the evolution of curves driven by general flows.

math.NA

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

A Cahn-Hilliard-Navier-Stokes system for two-phase flow on an evolving surface with non-matched densities is derived using methods from rational thermodynamics. For a Cahn-Hilliard energy with a singular (logarithmic) potential short time well-posedness of strong solutions together with a separation property is shown, under the assumption of a priori prescribed surface evolution. The problem is reformulated with the help of a pullback to the initial surface. Then a suitable linearization and a contraction mapping argument for the pullback system are used. In order to deal with the linearized system, it is necessary to show maximal $L^2$-regularity for the surface Stokes operator in the case of variable viscosity and to obtain maximal $L^p$-regularity for the linearized Cahn-Hilliard system.

math.AP

A parametric finite element method for a degenerate multi-phase Stefan problem with triple junctions

In this study, we propose a parametric finite element method for a degenerate multi-phase Stefan problem with triple junctions. This model describes the energy-driven motion of a surface cluster whose distributional solution was studied by Garcke and Sturzenhecker. We approximate the weak formulation of this sharp interface model by an unfitted finite element method that uses parametric elements for the representation of the moving interfaces. We establish existence and uniqueness of the discrete solution and prove unconditional stability of the proposed scheme. Moreover, a modification of the original scheme leads to a structure-preserving variant, in that it conserves the discrete analogue of a quantity that is preserved by the classical solution. Some numerical results demonstrate the applicability of our introduced schemes.

math.NA

A convergent finite element method for two-phase Stokes flow driven by surface tension

We present the first convergence proof for an iso-parametric finite element discretization of two-phase Stokes flow in $\Omega \subset \mathbb{R}^d$, $d=2,3$, with interface dynamics governed by mean curvature. The proof relies on a crucial discrete coupled parabolicity structure of the error system and a powerful iso-parametric framework of convergence analysis where we do not really discriminate consistency and stability. This new mixing idea leads to a non-trivial construction of the bulk mesh in the consistency analysis. The techniques and analysis developed in this paper provide fundamental numerical analysis tools for general curvature-driven free boundary problems.

math.NA

Stable fully discrete finite element methods with BGN tangential motion for Willmore flow of planar curves

We propose and analyze stable finite element approximations for Willmore flow of planar curves. The presented schemes are based on a novel weak formulation which combines an evolution equation for curvature with the curvature formulation originally proposed by Barrett, Garcke and Nürnberg (BGN) in \cite{BGN07}. Under discretization in space with piecewise linear elements this leads to a stable continuous-in-time semidiscrete scheme, which retains the equidistribution property from the BGN methods. Furthermore, two fully discrete schemes can be shown to satisfy unconditional energy stability estimates. Numerical examples are presented to showcase the good properties of the introduced schemes, including an asymptotic equidistribution of vertices.

math.NA

A parametric finite element method for the incompressible Navier--Stokes equations on an evolving surface

In this paper we consider the numerical approximation of the incompressible surface Navier--Stokes equations on an evolving surface. For the discrete representation of the moving surface we use parametric finite elements of degree $\ell \geq 2$. In the semidiscrete continuous-in-time setting we are able to prove a stability estimate that mimics a corresponding result for the continuous problem. Some numerical results, including a convergence experiment, demonstrate the practicality and accuracy of the proposed method.

math.NA

An energy-stable minimal deformation rate scheme for mean curvature flow and surface diffusion

We propose a new parametric finite element method, referred to as the BGN-MDR method, for simulating both mean curvature flow and surface diffusion for closed hypersurfaces, as well as open hypersurfaces with moving contact lines in three dimensions. The method is also applicable to closed and open curves with moving contact points in two dimensions. The proposed scheme inherits the energy stability from the BGN scheme proposed by Barrett, Garcke, and Nürnberg in 2008, and offers improved mesh quality similar to the minimal deformation rate (MDR) method proposed by Hu and Li in 2022, especially for small time step sizes where the BGN scheme may become unstable and result in deteriorated meshes.

math.NA

Structure-preserving parametric finite element methods for two-phase Stokes flow based on Lagrange multiplier approaches

We present a novel formulation for parametric finite element methods to approximate two-phase Stokes flow. The new formulation is based on the classical Stokes equation in the bulk and a novel choice of interface conditions with additional Lagrange multipliers. This new Lagrange multiplier approach ensures that the numerical methods exactly preserve two physical structures of two-phase Stokes flow at the fully discrete level: (i) the energy-decaying and (ii) the volume-preserving properties. Moreover, different types of higher-order time discretization methods are employed, including the Crank--Nicolson method and the second-order backward differentiation formula approach. The resulting schemes are nonlinear and can be efficiently solved by using the Newton method with a decoupling technique. Extensive numerical experiments demonstrate that our methods achieve the desired temporal accuracy while preserving the two physical structures of the two-phase Stokes system.

math.NA

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