Searcharxiv⌕ Search

arXiv subjects

Harald Garcke

Publications and source records attributed to Harald Garcke.

At least 109 records · Page 6Linked to original sources
arXiv2016

Optimal Control of time-discrete two-phase flow driven by a diffuse-interface model

We propose a general control framework for two-phase flows with variable densities in the diffuse interface formulation, where the distribution of the fluid components is described by a phase field. The flow is governed by the diffuse interface model proposed in [Abels, Garcke, Grün, M3AS 22(3):1150013(40), 2012]. On the basis of the stable time discretization proposed in [Garcke, Hinze, Kahle, APPL NUMER MATH, 99:151--171, 2016] we derive necessary optimality conditions for the time-discrete and the fully discrete optimal control problem. We present numerical examples with distributed and boundary controls, and also consider the case, where the initial value of the phase field serves as control variable.

math.OC↗
arXiv2016

Finite Element Approximation for the Dynamics of Fluidic Two-Phase Biomembranes

Biomembranes and vesicles consisting of multiple phases can attain a multitude of shapes, undergoing complex shape transitions. We study a Cahn--Hilliard model on an evolving hypersurface coupled to Navier--Stokes equations on the surface and in the surrounding medium to model these phenomena. The evolution is driven by a curvature energy, modelling the elasticity of the membrane, and by a Cahn--Hilliard type energy, modelling line energy effects. A stable semidiscrete finite element approximation is introduced and, with the help of a fully discrete method, several phenomena occurring for two-phase membranes are computed.

math.NA↗
arXiv2016

Global weak solutions and asymptotic limits of a Cahn--Hilliard--Darcy system modelling tumour growth

We study the existence of weak solutions to a Cahn--Hilliard--Darcy system coupled with a convection-reaction-diffusion equation through the fluxes, through the source terms and in Darcy's law. The system of equations arises from a mixture model for tumour growth accounting for transport mechanisms such as chemotaxis and active transport. We prove, via a Galerkin approximation, the existence of global weak solutions in two and three dimensions, along with new regularity results for the velocity field and for the pressure. Due to the coupling with the Darcy system, the time derivatives have lower regularity compared to systems without Darcy flow, but in the two dimensional case we employ a new regularity result for the velocity to obtain better integrability and temporal regularity for the time derivatives. Then, we deduce the global existence of weak solutions for two variants of the model; one where the velocity is zero and another where the chemotaxis and active transport mechanisms are absent.

math.AP↗
arXiv2016

Optimal control of treatment time in a diffuse interface model of tumor growth

We consider an optimal control problem for a diffuse interface model of tumor growth. The state equations couples a Cahn-Hilliard equation and a reaction-diffusion equation, which models the growth of a tumor in the presence of a nutrient and surrounded by host tissue. The introduction of cytotoxic drugs into the system serves to eliminate the tumor cells and in this setting the concentration of the cytotoxic drugs will act as the control variable. Furthermore, we allow the objective functional to depend on a free time variable, which represents the unknown treatment time to be optimized. As a result, we obtain first order necessary optimality conditions for both the cytotoxic concentration and the treatment time.

math.OC↗
arXiv2016

Diffuse interface approaches in atmosphere and ocean - modeling and numerical implementation

We propose to model physical effects at the sharp density interface between atmosphere and ocean with the help of diffuse interface approaches for multiphase flows with variable densities. We use the variable-density model proposed in \cite{m6:AbelsGarckeGruen_CHNSmodell}. This results in a Cahn-Hilliard/Navier-Stokes type system which we complement with tangential Dirichlet boundary conditions to incorporate the effect of wind in the atmosphere. Wind is responsible for waves at the surface of the ocean, whose dynamics have an important impact on the $CO_2-$exchange between ocean and atmosphere. We tackle this mathematical model numerically with fully adaptive and integrated numerical schemes tailored to the simulation of variable density multiphase flows governed by diffuse interface models. Here, {\it fully adaptive, integrated, efficient, and reliable} means that the mesh resolution is chosen by the numerical algorithm according to a prescribed error tolerance in the {\it a posteriori} error control on the basis of residual-based error indicators, which allow to estimate the true error from below (efficient) and from above (reliable). Our approach is based on the work of \cite{m6:HintermuellerHinzeKahle_adaptiveCHNS,m6:GarckeHinzeKahle_CHNS_AGG_linearStableTimeDisc}, where a fully adaptive efficient and reliable numerical method for the simulation of two-dimensional multiphase flows with variable densities is developed. We incorporate the stimulation of surface waves via appropriate boundary conditions.

math.NA↗
arXiv2016

A Cahn--Hilliard--Darcy model for tumour growth with chemotaxis and active transport

Using basic thermodynamic principles we derive a Cahn--Hilliard--Darcy model for tumour growth including nutrient diffusion, chemotaxis, active transport, adhesion, apoptosis and proliferation. The model generalises earlier models and in particular includes active transport mechanisms which ensure thermodynamic consistency. We perform a formally matched asymptotic expansion and develop several sharp interface models. Some of them are classical and some are new which for example include a jump in the nutrient density at the interface. A linear stability analysis for a growing nucleus is performed and in particular the role of the new active transport term is analysed. Numerical computations are performed to study the influence of the active transport term for specific growth scenarios.

math.AP↗
arXiv2016

Well-posedness of a Cahn--Hilliard system modelling tumour growth with chemotaxis and active transport

We consider a diffuse interface model for tumour growth consisting of a Cahn--Hilliard equation with source terms coupled to a reaction-diffusion equation. The coupled system of partial differential equations models a tumour growing in the presence of a nutrient species and surrounded by healthy tissue. The model also takes into account transport mechanisms such as chemotaxis and active transport. We establish well-posedness results for the tumour model and a variant with a quasi-static nutrient. It will turn out that the presence of the source terms in the Cahn--Hilliard equation leads to new difficulties when one aims to derive a priori estimates. However, we are able to prove continuous dependence on initial and boundary data for the chemical potential and for the order parameter in strong norms.

math.AP↗
arXiv2016

Sharp interface limit for a phase field model in structural optimization

We formulate a general shape and topology optimization problem in structural optimization by using a phase field approach. This problem is considered in view of well-posedness and we derive optimality conditions. We relate the diffuse interface problem to a perimeter penalized sharp interface shape optimization problem in the sense of $Γ$-convergence of the reduced objective functional. Additionally, convergence of the equations of the first variation can be shown. The limit equations can also be derived directly from the problem in the sharp interface setting. Numerical computations demonstrate that the approach can be applied for complex structural optimization problems.

math.OC↗
arXiv2015

Numerical computations of the dynamics of fluidic membranes and vesicles

Vesicles and many biological membranes are made of two monolayers of lipid molecules and form closed lipid bilayers. The dynamical behaviour of vesicles is very complex and a variety of forms and shapes appear. Lipid bilayers can be considered as a surface fluid and hence the governing equations for the evolution include the surface (Navier--)Stokes equations, which in particular take the membrane viscosity into account. The evolution is driven by forces stemming from the curvature elasticity of the membrane. In addition, the surface fluid equations are coupled to bulk (Navier--)Stokes equations. We introduce a parametric finite element method to solve this complex free boundary problem, and present the first three dimensional numerical computations based on the full (Navier--)Stokes system for several different scenarios. For example, the effects of the membrane viscosity, spontaneous curvature and area difference elasticity (ADE) are studied. In particular, it turns out, that even in the case of no viscosity contrast between the bulk fluids, the tank treading to tumbling transition can be obtained by increasing the membrane viscosity. Besides the classical tank treading and tumbling motions, another mode (called the transition mode in this paper, but originally called the vacillating-breathing mode and subsequently also called trembling, transition and swinging mode) separating these classical modes appears and is studied by us numerically. We also study how features of equilibrium shapes in the ADE and spontaneous curvature models, like budding behaviour or starfish forms, behave in a shear flow.

physics.comp-ph↗
arXiv2015

Standard Planar Double Bubbles are Stable under Surface Diffusion Flow

Although standard planar double bubbles are stable in the sense that the second variation of the perimeter functional is non-negative for all area-preserving perturbations the question arises whether they are dynamically stable. By presenting connections between these two concepts of stability for double bubbles, we prove that standard planar double bubbles are stable under the surface diffusion flow via the generalized principle of linearized stability in parabolic Hölder spaces.

math.AP↗
arXiv2015

A coupled surface-Cahn--Hilliard bulk-diffusion system modeling lipid raft formation in cell membranes

We propose and investigate a model for lipid raft formation and dynamics in biological membranes. The model describes the lipid composition of the membrane and an interaction with cholesterol. To account for cholesterol exchange between cytosol and cell membrane we couple a bulk-diffusion to an evolution equation on the membrane. The latter describes a relaxation dynamics for an energy taking lipid-phase separation and lipid-cholesterol interaction energy into account. It takes the form of an (extended) Cahn--Hilliard equation. Different laws for the exchange term represent equilibrium and non-equilibrium models. We present a thermodynamic justification, analyze the respective qualitative behavior and derive asymptotic reductions of the model. In particular we present a formal asymptotic expansion near the sharp interface limit, where the membrane is separated into two pure phases of saturated and unsaturated lipids, respectively. Finally we perform numerical simulations and investigate the long-time behavior of the model and its parameter dependence. Both the mathematical analysis and the numerical simulations show the emergence of raft-like structures in the non-equilibrium case whereas in the equilibrium case only macrodomains survive in the long-time evolution.

math.AP↗
arXiv2015

Segmentation of Three-dimensional Images with Parametric Active Surfaces and Topology Changes

In this paper, we introduce a novel parametric method for segmentation of three-dimensional images. We consider a piecewise constant version of the Mumford-Shah and the Chan-Vese functionals and perform a region-based segmentation of 3D image data. An evolution law is derived from energy minimization problems which push the surfaces to the boundaries of 3D objects in the image. We propose a parametric scheme which describes the evolution of parametric surfaces. An efficient finite element scheme is proposed for a numerical approximation of the evolution equations. Since standard parametric methods cannot handle topology changes automatically, an efficient method is presented to detect, identify and perform changes in the topology of the surfaces. One main focus of this paper are the algorithmic details to handle topology changes like splitting and merging of surfaces and change of the genus of a surface. Different artificial images are studied to demonstrate the ability to detect the different types of topology changes. Finally, the parametric method is applied to segmentation of medical 3D images.

cs.CV↗
arXiv2015

Segmentation and Restoration of Images on Surfaces by Parametric Active Contours with Topology Changes

In this article, a new method for segmentation and restoration of images on two-dimensional surfaces is given. Active contour models for image segmentation are extended to images on surfaces. The evolving curves on the surfaces are mathematically described using a parametric approach. For image restoration, a diffusion equation with Neumann boundary conditions is solved in a postprocessing step in the individual regions. Numerical schemes are presented which allow to efficiently compute segmentations and denoised versions of images on surfaces. Also topology changes of the evolving curves are detected and performed using a fast sub-routine. Finally, several experiments are presented where the developed methods are applied on different artificial and real images defined on different surfaces.

cs.CV↗
arXiv2015

Image Segmentation and Restoration Using Parametric Contours With Free Endpoints

In this paper, we introduce a novel approach for active contours with free endpoints. A scheme is presented for image segmentation and restoration based on a discrete version of the Mumford-Shah functional where the contours can be both closed and open curves. Additional to a flow of the curves in normal direction, evolution laws for the tangential flow of the endpoints are derived. Using a parametric approach to describe the evolving contours together with an edge-preserving denoising, we obtain a fast method for image segmentation and restoration. The analytical and numerical schemes are presented followed by numerical experiments with artificial test images and with a real medical image.

cs.CV↗
arXiv2015

Shape optimization for surface functionals in Navier--Stokes flow using a phase field approach

We consider shape and topology optimization for fluids which are governed by the Navier--Stokes equations. Shapes are modelled with the help of a phase field approach and the solid body is relaxed to be a porous medium. The phase field method uses a Ginzburg--Landau functional in order to approximate a perimeter penalization. We focus on surface functionals and carefully introduce a new modelling variant, show existence of minimizers and derive first order necessary conditions. These conditions are related to classical shape derivatives by identifying the sharp interface limit with the help of formally matched asymptotic expansions. Finally, we present numerical computations based on a Cahn--Hilliard type gradient descent which demonstrate that the method can be used to solve shape optimization problems for fluids with the help of the new approach.

math.OC↗
arXiv2014

On Convergence of Solutions to Equilibria for Fully Nonlinear Parabolic Systems with Nonlinear Boundary Conditions

Convergence to stationary solutions in fully nonlinear parabolic systems with general nonlinear boundary conditions is shown in situations where the set of stationary solutions creates a $C^2$-manifold of finite dimension which is normally stable. We apply the parabolic Hölder setting which allows to deal with nonlocal terms including highest order point evaluation. In this direction some theorems concerning the linearized systems is also extended. As an application of our main result we prove that the lens-shaped networks generated by circular arcs are stable under the surface diffusion flow.

math.AP↗
arXiv2014

Applying a phase field approach for shape optimization of a stationary Navier-Stokes flow

We apply a phase field approach for a general shape optimization problem of a stationary Navier-Stokes flow. To be precise we add a multiple of the Ginzburg--Landau energy as a regularization to the objective functional and relax the non-permeability of the medium outside the fluid region. The resulting diffuse interface problem can be shown to be well-posed and optimality conditions are derived. We state suitable assumptions on the problem in order to derive a sharp interface limit for the minimizers and the optimality conditions. Additionally, we can derive a necessary optimality system for the sharp interface problem by geometric variations without stating additional regularity assumptions on the minimizing set.

math.OC↗