-
Two phase micropolar fluid flow with unmatched densities modeled by Navier--Stokes--Cahn--Hilliard systems: Local strong well-posedness and consistency estimates
Authors:
Kin Shing Chan,
Kei Fong Lam
Abstract:
We study a thermodynamically consistent phase field model for binary mixtures of micropolar fluids, i.e., fluids exhibiting internal rotations. Furnishing with classical no-slip, no-spin and no-flux boundary conditions, in a smooth and bounded three-dimensional domain, we establish the well-posedness of local-in-time strong solutions. Since the model studied is a generalization of the earlier mode…
▽ More
We study a thermodynamically consistent phase field model for binary mixtures of micropolar fluids, i.e., fluids exhibiting internal rotations. Furnishing with classical no-slip, no-spin and no-flux boundary conditions, in a smooth and bounded three-dimensional domain, we establish the well-posedness of local-in-time strong solutions. Since the model studied is a generalization of the earlier model introduced by Abels, Garcke and Grün for binary Newtonian fluids with unmatched densities, we provide a consistency result between the corresponding strong solutions to both models in terms of a parameter associated to the micro-rotation viscosity.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
On a phase field model for binary mixtures of micropolar fluids with non-matched densities and moving contact lines
Authors:
Kin Shing Chan,
Baoli Hao,
Kei Fong Lam,
Björn Stinner
Abstract:
We introduce a new phase field model for binary mixtures of incompressible micropolar fluids, which are among the simplest categories of fluids exhibiting internal rotations. The model fulfils local and global dissipation inequalities so that thermodynamic consistency is guaranteed. Our model consists of a Navier--Stokes--Cahn--Hilliard system for the fluid velocity, pressure, phase field variable…
▽ More
We introduce a new phase field model for binary mixtures of incompressible micropolar fluids, which are among the simplest categories of fluids exhibiting internal rotations. The model fulfils local and global dissipation inequalities so that thermodynamic consistency is guaranteed. Our model consists of a Navier--Stokes--Cahn--Hilliard system for the fluid velocity, pressure, phase field variable and chemical potential, coupled to an additional system of Navier--Stokes type for the micro-rotation. Our model accounts for non-matched densities as well as moving contact line dynamics, and serve as a generalisation to earlier models for binary fluid flows based on a volume averaged velocity formulation. We also establish the existence of global weak solutions in three spatial dimensions for the model equipped with singular logarithmic and double obstacle potentials.
△ Less
Submitted 29 April, 2025;
originally announced April 2025.
-
On a Cahn-Hilliard equation for the growth and division of chemically active droplets modeling protocells
Authors:
Harald Garcke,
Kei Fong Lam,
Robert Nürnberg,
Andrea Signori
Abstract:
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 existenc…
▽ More
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.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
Stability and convergence of relaxed scalar auxiliary variable schemes for Cahn-Hilliard systems with bounded mass source
Authors:
Kei Fong Lam,
Ru Wang
Abstract:
The scalar auxiliary variable (SAV) approach of Shen et al. (2018), which presents a novel way to discretize a large class of gradient flows, has been extended and improved by many authors for general dissipative systems. In this work we consider a Cahn-Hilliard system with mass source that, for image processing and biological applications, may not admit a dissipative structure involving the Ginzb…
▽ More
The scalar auxiliary variable (SAV) approach of Shen et al. (2018), which presents a novel way to discretize a large class of gradient flows, has been extended and improved by many authors for general dissipative systems. In this work we consider a Cahn-Hilliard system with mass source that, for image processing and biological applications, may not admit a dissipative structure involving the Ginzburg-Landau energy. Hence, compared to previous works, the stability of SAV-discrete solutions for such systems is not immediate. We establish, with a bounded mass source, stability and convergence of time discrete solutions for a first-order relaxed SAV scheme in the sense of Jiang et al. (2022), and apply our ideas to Cahn-Hilliard systems appearing in diblock co-polymer phase separation, tumor growth, image inpainting and segmentation.
△ Less
Submitted 14 January, 2025;
originally announced January 2025.
-
An Integer Programming Formulation for the Maximally Diverse Grouping Problem
Authors:
Kevin Fu Yuan Lam,
Jiang Qian
Abstract:
The Maximally Diverse Grouping Problem (MDGP) is the problem of assigning a set of elements to mutually disjoint groups in order to maximise the overall diversity between the elements. Because the MDGP is NP-complete, most studies have focused on heuristic solution approaches, as compared to exact solution approaches, to the problem. On the one hand, heuristic solution approaches, although common…
▽ More
The Maximally Diverse Grouping Problem (MDGP) is the problem of assigning a set of elements to mutually disjoint groups in order to maximise the overall diversity between the elements. Because the MDGP is NP-complete, most studies have focused on heuristic solution approaches, as compared to exact solution approaches, to the problem. On the one hand, heuristic solution approaches, although common in practice, do not guarantee a global optimal solution. On the other hand, studies that have reformulated the problem as an integer linear programme, which can be solved using exact solution approaches, are either restricted to groups of equal size or restricted to the use of the Manhattan distance. The present paper presents a new integer linear programming formulation that is not subjected to either of these restrictions, and can therefore be used to establish useful benchmarks for the performance of heuristics in a broader range of applications moving forward.
△ Less
Submitted 10 October, 2024;
originally announced October 2024.
-
Complex pattern formation governed by a Cahn-Hilliard-Swift-Hohenberg system: Analysis and numerical simulations
Authors:
Harald Garcke,
Kei Fong Lam,
Robert Nürnberg,
Andrea Signori
Abstract:
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 logar…
▽ More
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.
△ Less
Submitted 5 June, 2024; v1 submitted 3 May, 2024;
originally announced May 2024.
-
Numerical analysis of a FE/SAV scheme for a Caginalp phase field model with mechanical effects in stereolithography
Authors:
Xingguang Jin,
Kei Fong Lam,
Changqing Ye
Abstract:
In this work we propose a phase field model based on a Caginalp system with mechanical effects to study the underlying physical and chemical processes behind stereolithography, which is an additive manufacturing (3D printing) technique that builds objects in a layer-by-layer fashion by using an ultraviolet laser to solidify liquid polymer resins. Existence of weak solutions is established by demon…
▽ More
In this work we propose a phase field model based on a Caginalp system with mechanical effects to study the underlying physical and chemical processes behind stereolithography, which is an additive manufacturing (3D printing) technique that builds objects in a layer-by-layer fashion by using an ultraviolet laser to solidify liquid polymer resins. Existence of weak solutions is established by demonstrating the convergence of a numerical scheme based on a first order scalar auxiliary variable temporal discretization and a finite element spatial discretization. We further establish uniqueness and regularity of solutions, as well as optimal error estimates for the Caginalp system that are supported by numerical simulations. We also present some qualitative two-dimensional simulations of the stereolithography processes captured by the model.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Confidence Intervals for the F1 Score: A Comparison of Four Methods
Authors:
Kevin Fu Yuan Lam,
Vikneswaran Gopal,
Jiang Qian
Abstract:
In Natural Language Processing (NLP), binary classification algorithms are often evaluated using the F1 score. Because the sample F1 score is an estimate of the population F1 score, it is not sufficient to report the sample F1 score without an indication of how accurate it is. Confidence intervals are an indication of how accurate the sample F1 score is. However, most studies either do not report…
▽ More
In Natural Language Processing (NLP), binary classification algorithms are often evaluated using the F1 score. Because the sample F1 score is an estimate of the population F1 score, it is not sufficient to report the sample F1 score without an indication of how accurate it is. Confidence intervals are an indication of how accurate the sample F1 score is. However, most studies either do not report them or report them using methods that demonstrate poor statistical properties. In the present study, I review current analytical methods (i.e., Clopper-Pearson method and Wald method) to construct confidence intervals for the population F1 score, propose two new analytical methods (i.e., Wilson direct method and Wilson indirect method) to do so, and compare these methods based on their coverage probabilities and interval lengths, as well as whether these methods suffer from overshoot and degeneracy. Theoretical results demonstrate that both proposed methods do not suffer from overshoot and degeneracy. Experimental results suggest that both proposed methods perform better, as compared to current methods, in terms of coverage probabilities and interval lengths. I illustrate both current and proposed methods on two suggestion mining tasks. I discuss the practical implications of these results, and suggest areas for future research.
△ Less
Submitted 9 June, 2024; v1 submitted 25 September, 2023;
originally announced September 2023.
-
PGformer: Proxy-Bridged Game Transformer for Multi-Person Highly Interactive Extreme Motion Prediction
Authors:
Yanwen Fang,
Jintai Chen,
Peng-Tao Jiang,
Chao Li,
Yifeng Geng,
Eddy K. F. Lam,
Guodong Li
Abstract:
Multi-person motion prediction is a challenging task, especially for real-world scenarios of highly interacted persons. Most previous works have been devoted to studying the case of weak interactions (e.g., walking together), in which typically forecasting each human pose in isolation can still achieve good performances. This paper focuses on collaborative motion prediction for multiple persons wi…
▽ More
Multi-person motion prediction is a challenging task, especially for real-world scenarios of highly interacted persons. Most previous works have been devoted to studying the case of weak interactions (e.g., walking together), in which typically forecasting each human pose in isolation can still achieve good performances. This paper focuses on collaborative motion prediction for multiple persons with extreme motions and attempts to explore the relationships between the highly interactive persons' pose trajectories. Specifically, a novel cross-query attention (XQA) module is proposed to bilaterally learn the cross-dependencies between the two pose sequences tailored for this situation. A proxy unit is additionally introduced to bridge the involved persons, which cooperates with our proposed XQA module and subtly controls the bidirectional spatial information flows. These designs are then integrated into a Transformer-based architecture and the resulting model is called Proxy-bridged Game Transformer (PGformer) for multi-person interactive motion prediction. Its effectiveness has been evaluated on the challenging ExPI dataset, which involves highly interactive actions. Our PGformer consistently outperforms the state-of-the-art methods in both short- and long-term predictions by a large margin. Besides, our approach can also be compatible with the weakly interacted CMU-Mocap and MuPoTS-3D datasets and extended to the case of more than 2 individuals with encouraging results.
△ Less
Submitted 7 January, 2024; v1 submitted 5 June, 2023;
originally announced June 2023.
-
Phase field topology optimisation for 4D printing
Authors:
Harald Garcke,
Kei Fong Lam,
Robert Nürnberg,
Andrea Signori
Abstract:
This work concerns a structural topology optimisation problem for 4D printing based on the phase field approach. The concept of 4D printing as a targeted evolution of 3D printed structures can be realised in a two-step process. One first fabricates a 3D object with multi-material active composites and apply external loads in the programming stage. Then, a change in an environmental stimulus and th…
▽ More
This work concerns a structural topology optimisation problem for 4D printing based on the phase field approach. The concept of 4D printing as a targeted evolution of 3D printed structures can be realised in a two-step process. One first fabricates a 3D object with multi-material active composites and apply external loads in the programming stage. Then, a change in an environmental stimulus and the removal of loads cause the object deform in the programmed stage. The dynamic transition between the original and deformed shapes is achieved with appropriate applications of the stimulus. The mathematical interest is to find an optimal distribution for the materials such that the 3D printed object achieves a targeted configuration in the programmed stage as best as possible.
Casting the problem as a PDE-constrained minimisation problem, we consider a vector-valued order parameter representing the volume fractions of the different materials in the composite as a control variable. We prove the existence of optimal designs and formulate first order necessary conditions for minimisers. Moreover, by suitable asymptotic techniques, we relate our approach to a sharp interface description. Finally, the theoretical results are validated by several numerical simulations both in two and three space dimensions.
△ Less
Submitted 8 July, 2022;
originally announced July 2022.
-
Overhang penalization in additive manufacturing via phase field structural topology optimization with anisotropic energies
Authors:
Harald Garcke,
Kei Fong Lam,
Robert Nürnberg,
Andrea Signori
Abstract:
A phase field approach for structural topology optimization with application to additive manufacturing is analyzed. The main novelty is the penalization of overhangs (regions of the design that require underlying support structures during construction) with anisotropic energy functionals. Convex and non-convex examples are provided, with the latter showcasing oscillatory behavior along the object…
▽ More
A phase field approach for structural topology optimization with application to additive manufacturing is analyzed. The main novelty is the penalization of overhangs (regions of the design that require underlying support structures during construction) with anisotropic energy functionals. Convex and non-convex examples are provided, with the latter showcasing oscillatory behavior along the object boundary termed the dripping effect in the literature. We provide a rigorous mathematical analysis for the structural topology optimization problem with convex and non-continuously-differentiable anisotropies, deriving the first order necessary optimality condition using subdifferential calculus. Via formally matched asymptotic expansions we connect our approach with previous works in the literature based on a sharp interface shape optimization description. Finally, we present several numerical results to demonstrate the advantages of our proposed approach in penalizing overhang developments.
△ Less
Submitted 28 November, 2021;
originally announced November 2021.
-
Sparse optimal control of a phase field tumour model with mechanical effects
Authors:
Harald Garcke,
Kei Fong Lam,
Andrea Signori
Abstract:
In this paper, we study an optimal control problem for a macroscopic mechanical tumour model based on the phase field approach. The model couples a Cahn--Hilliard type equation to a system of linear elasticity and a reaction-diffusion equation for a nutrient concentration. By taking advantage of previous analytical well-posedness results established by the authors, we seek optimal controls in the…
▽ More
In this paper, we study an optimal control problem for a macroscopic mechanical tumour model based on the phase field approach. The model couples a Cahn--Hilliard type equation to a system of linear elasticity and a reaction-diffusion equation for a nutrient concentration. By taking advantage of previous analytical well-posedness results established by the authors, we seek optimal controls in the form of a boundary nutrient supply, as well as concentrations of cytotoxic and antiangiogenic drugs that minimise a cost functional involving mechanical stresses. Special attention is given to sparsity effects, where with the inclusion of convex non-differentiable regularisation terms to the cost functional, we can infer from the first-order optimality conditions that the optimal drug concentrations can vanish on certain time intervals.
△ Less
Submitted 8 October, 2020;
originally announced October 2020.
-
On the Existence of Strong Solutions to the Cahn-Hilliard-Darcy system with mass source
Authors:
Andrea Giorgini,
Kei Fong Lam,
Elisabetta Rocca,
Giulio Schimperna
Abstract:
We study a diffuse interface model describing the evolution of the flow of a binary fluid in a Hele-Shaw cell. The model consists of a Cahn-Hilliard-Darcy (CHD) type system with transport and mass source. A relevant physical application is related to tumor growth dynamics, which in particular justifies the occurrence of a mass inflow. We study the initial-boundary value problem for this model and…
▽ More
We study a diffuse interface model describing the evolution of the flow of a binary fluid in a Hele-Shaw cell. The model consists of a Cahn-Hilliard-Darcy (CHD) type system with transport and mass source. A relevant physical application is related to tumor growth dynamics, which in particular justifies the occurrence of a mass inflow. We study the initial-boundary value problem for this model and prove global existence and uniqueness of strong solutions in two space dimensions as well as local existence in three space dimensions.
△ Less
Submitted 28 September, 2020;
originally announced September 2020.
-
Strong well-posedness and inverse identification problem of a non-local phase field tumor model with degenerate mobilities
Authors:
S. Frigeri,
K. F. Lam,
A. Signori
Abstract:
We extend previous weak well-posedness results obtained in Frigeri et al. (2017) concerning a non-local variant of a diffuse interface tumor model proposed by Hawkins-Daarud et al. (2012). The model consists of a non-local Cahn--Hilliard equation with degenerate mobility and singular potential for the phase field variable, coupled to a reaction-diffusion equation for the concentration of a nutrien…
▽ More
We extend previous weak well-posedness results obtained in Frigeri et al. (2017) concerning a non-local variant of a diffuse interface tumor model proposed by Hawkins-Daarud et al. (2012). The model consists of a non-local Cahn--Hilliard equation with degenerate mobility and singular potential for the phase field variable, coupled to a reaction-diffusion equation for the concentration of a nutrient. We prove the existence of strong solutions to the model and establish some high order continuous dependence estimates, even in the presence of concentration-dependent mobilities for the nutrient variable in two spatial dimensions. Then, we apply the new regularity results to study an inverse problem identifying the initial tumor distribution from measurements at the terminal time. Formulating the Tikhonov regularised inverse problem as a constrained minimisation problem, we establish the existence of minimisers and derive first-order necessary optimality conditions.
△ Less
Submitted 19 January, 2021; v1 submitted 9 April, 2020;
originally announced April 2020.
-
Phase-field dynamics with transfer of materials: The Cahn--Hilliard equation with reaction rate dependent dynamic boundary conditions
Authors:
Patrik Knopf,
Kei Fong Lam,
Chun Liu,
Stefan Metzger
Abstract:
The Cahn--Hilliard equation is one of the most common models to describe phase separation processes of a mixture of two materials. For a better description of short-range interactions between the material and the boundary, various dynamic boundary conditions for the Cahn--Hilliard equation have been proposed and investigated in recent times. Of particular interests are the model by Goldstein, Mira…
▽ More
The Cahn--Hilliard equation is one of the most common models to describe phase separation processes of a mixture of two materials. For a better description of short-range interactions between the material and the boundary, various dynamic boundary conditions for the Cahn--Hilliard equation have been proposed and investigated in recent times. Of particular interests are the model by Goldstein, Miranville and Schimperna (Physica D, 2011) and the model by Liu and Wu (Arch.~Ration.~Mech.~Anal., 2019). Both of these models satisfy similar physical properties but differ greatly in their mass conservation behaviour. In this paper we introduce a new model which interpolates between these previous models, and investigate analytical properties such as the existence of unique solutions and convergence to the previous models mentioned above in both the weak and the strong sense. For the strong convergences we also establish rates in terms of the interpolation parameter, which are supported by numerical simulations obtained from a fully discrete, unconditionally stable and convergent finite element scheme for the new interpolation model.
△ Less
Submitted 24 April, 2021; v1 submitted 29 March, 2020;
originally announced March 2020.
-
On a phase field model of Cahn-Hilliard type for tumour growth with mechanical effects
Authors:
Harald Garcke,
Kei Fong Lam,
Andrea Signori
Abstract:
Mechanical effects have mostly been neglected so far in phase field tumour models that are based on a Cahn-Hilliard approach. In this paper we study a macroscopic mechanical model for tumour growth in which cell-cell adhesion effects are taken into account with the help of a Ginzburg--Landau type energy. In the overall model an equation of Cahn-Hilliard type is coupled to the system of linear elas…
▽ More
Mechanical effects have mostly been neglected so far in phase field tumour models that are based on a Cahn-Hilliard approach. In this paper we study a macroscopic mechanical model for tumour growth in which cell-cell adhesion effects are taken into account with the help of a Ginzburg--Landau type energy. In the overall model an equation of Cahn-Hilliard type is coupled to the system of linear elasticity and a reaction-diffusion equation for a nutrient concentration. The highly non-linear coupling between a fourth-order Cahn-Hilliard equation and the quasi-static elasticity system lead to new challenges which cannot be dealt within a gradient flow setting which was the method of choice for other elastic Cahn-Hilliard systems. We show existence, uniqueness and regularity results. In addition, several continuous dependence results with respect to different topologies are shown. Some of these results give uniqueness for weak solutions and other results will be helpful for optimal control problems.
△ Less
Submitted 4 December, 2019;
originally announced December 2019.
-
Weak and stationary solutions to a Cahn-Hilliard-Brinkman model with singular potentials and source terms
Authors:
Matthias Ebenbeck,
Kei Fong Lam
Abstract:
We study a phase field model proposed recently in the context of tumour growth. The model couples a Cahn-Hilliard-Brinkman (CHB) system with a elliptic reaction-diffusion equation for a nutrient. The fluid velocity, governed by the Brinkman law, is not solenodial, as its divergence is a function of the nutrient and the phase field variable, i.e., solution-dependent, and frictionless boundary condi…
▽ More
We study a phase field model proposed recently in the context of tumour growth. The model couples a Cahn-Hilliard-Brinkman (CHB) system with a elliptic reaction-diffusion equation for a nutrient. The fluid velocity, governed by the Brinkman law, is not solenodial, as its divergence is a function of the nutrient and the phase field variable, i.e., solution-dependent, and frictionless boundary conditions are prescribed for the velocity to avoid imposing unrealistic constraints on the divergence relation. In this paper we give a first result on the existence of weak and stationary solutions to the CHB model with singular potentials, specifically the double obstacle potential and the logarithmic potential, which ensures the phase field variable stay in the physically relevant interval. New difficulties arise from the interplay between the singular potentials and the solution-dependent source terms, but can be overcome with several key estimates for the approximations of the singular potentials, which may be of independent interests. As a consequence, included in our analysis is a weak existence result for a Darcy variant, and our work serve to generalise recent results on weak and stationary solutions to the Cahn-Hilliard inpainting model with singular potentials.
△ Less
Submitted 5 September, 2019;
originally announced September 2019.
-
Convergence of a Robin boundary approximation for a Cahn--Hilliard system with dynamic boundary conditions
Authors:
Patrik Knopf,
Kei Fong Lam
Abstract:
We prove the existence of unique weak solutions to an extension of a Cahn--Hilliard model proposed recently by C.~Liu and H.~Wu (2019), in which the new dynamic boundary condition is further generalised with an affine linear relation between the surface and bulk order parameters. As a first approach to tackle more general and nonlinear relations, we investigate the existence of unique weak solutio…
▽ More
We prove the existence of unique weak solutions to an extension of a Cahn--Hilliard model proposed recently by C.~Liu and H.~Wu (2019), in which the new dynamic boundary condition is further generalised with an affine linear relation between the surface and bulk order parameters. As a first approach to tackle more general and nonlinear relations, we investigate the existence of unique weak solutions to a regularisation by a Robin boundary condition. Included in our analysis is the case where there is no diffusion for the surface order parameter, which causes new difficulties for the analysis of the Robin system. Furthermore, for the case of affine linear relations, we show the weak convergence of solutions as the regularisation parameter tends to zero, and derive an error estimate between the two models. This is supported by numerical experiments which also demonstrate some non-trivial dynamics for the extended Liu--Wu model that is not present in the original model.
△ Less
Submitted 18 February, 2021; v1 submitted 16 August, 2019;
originally announced August 2019.
-
Sharp interface limit of a non-mass-conserving Cahn--Hilliard system with source terms and non-solenoidal Darcy flow
Authors:
Kei Fong Lam
Abstract:
We study the sharp interface limit of a non-mass-conserving Cahn--Hilliard--Darcy system with the weak compactness method developed in Chen (J. Differential Geometry, 1996). The source term present in the Cahn--Hilliard component is a product of the order parameter and a prescribed function with zero spatial mean, leading to non-conservation of mass. Furthermore, the divergence of the velocity fie…
▽ More
We study the sharp interface limit of a non-mass-conserving Cahn--Hilliard--Darcy system with the weak compactness method developed in Chen (J. Differential Geometry, 1996). The source term present in the Cahn--Hilliard component is a product of the order parameter and a prescribed function with zero spatial mean, leading to non-conservation of mass. Furthermore, the divergence of the velocity field is given by another prescribed function with zero spatial mean, which yields a coupling of the Cahn--Hilliard equation to a non-solenoidal Darcy flow. New difficulties arise in the derivation of uniform estimates due to the presence of the source terms, which can be circumvented if we consider the above specific structures. Moreover, due to the lack of mass-conservation, the analysis is valid as long as one phase does not vanish completely, leading to a local-in-time result. The sharp interface limit for a Cahn--Hilliard--Brinkman system is also discussed.
△ Less
Submitted 20 February, 2019;
originally announced February 2019.
-
Convergence to equilibrium for a bulk--surface Allen--Cahn system coupled through a Robin boundary condition
Authors:
Kei Fong Lam,
Hao Wu
Abstract:
We consider a coupled bulk--surface Allen--Cahn system affixed with a Robin-type boundary condition between the bulk and surface variables. This system can also be viewed as a relaxation to a bulk--surface Allen--Cahn system with non-trivial transmission conditions. Assuming that the nonlinearities are real analytic, we prove the convergence of every global strong solution to a single equilibrium…
▽ More
We consider a coupled bulk--surface Allen--Cahn system affixed with a Robin-type boundary condition between the bulk and surface variables. This system can also be viewed as a relaxation to a bulk--surface Allen--Cahn system with non-trivial transmission conditions. Assuming that the nonlinearities are real analytic, we prove the convergence of every global strong solution to a single equilibrium as time tends to infinity. Furthermore, we obtain an estimate on the rate of convergence. The proof relies on an extended Lojasiewicz--Simon type inequality for the bulk--surface coupled system. Compared with previous works, new difficulties arise as in our system the surface variable is no longer the trace of the bulk variable, but now they are coupled through a nonlinear Robin boundary condition.
△ Less
Submitted 19 February, 2019;
originally announced February 2019.
-
Phase field modelling of surfactants in multi-phase flow
Authors:
Oliver R. A. Dunbar,
Kei Fong Lam,
Bjorn Stinner
Abstract:
A diffuse interface model for surfactants in multi-phase flow with three or more fluids is derived. A system of Cahn-Hilliard equations is coupled with a Navier-Stokes system and an advection-diffusion equation for the surfactant ensuring thermodynamic consistency. By an asymptotic analysis the model can be related to a moving boundary problem in the sharp interface limit, which is derived from fi…
▽ More
A diffuse interface model for surfactants in multi-phase flow with three or more fluids is derived. A system of Cahn-Hilliard equations is coupled with a Navier-Stokes system and an advection-diffusion equation for the surfactant ensuring thermodynamic consistency. By an asymptotic analysis the model can be related to a moving boundary problem in the sharp interface limit, which is derived from first principles. Results from numerical simulations support the theoretical findings. The main novelties are centred around the conditions in the triple junctions where three fluids meet. Specifically the case of local chemical equilibrium with respect to the surfactant is considered, which allows for interfacial surfactant flow through the triple junctions.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
Bayesian parameter identification in Cahn-Hilliard models for biological growth
Authors:
Christian Kahle,
Kei Fong Lam,
Jonas Latz,
Elisabeth Ullmann
Abstract:
We consider the inverse problem of parameter estimation in a diffuse interface model for tumour growth. The model consists of a fourth-order Cahn-Hilliard system and contains three phenomenological parameters: the tumour proliferation rate, the nutrient consumption rate, and the chemotactic sensitivity. We study the inverse problem within the Bayesian framework and construct the likelihood and noi…
▽ More
We consider the inverse problem of parameter estimation in a diffuse interface model for tumour growth. The model consists of a fourth-order Cahn-Hilliard system and contains three phenomenological parameters: the tumour proliferation rate, the nutrient consumption rate, and the chemotactic sensitivity. We study the inverse problem within the Bayesian framework and construct the likelihood and noise for two typical observation settings. One setting involves an infinite-dimensional data space where we observe the full tumour. In the second setting we observe only the tumour volume, hence the data space is finite-dimensional. We show the well-posedness of the posterior measure for both settings, building upon and improving the analytical results in [C. Kahle and K.F. Lam, Appl. Math. Optim. (2018)]. A numerical example involving synthetic data is presented in which the posterior measure is numerically approximated by the sequential Monte Carlo approach with tempering.
△ Less
Submitted 15 February, 2019; v1 submitted 8 May, 2018;
originally announced May 2018.
-
On a coupled bulk-surface Allen-Cahn system with an affine linear transmission condition and its approximation by a Robin boundary condition
Authors:
Pierluigi Colli,
Takeshi Fukao,
Kei Fong Lam
Abstract:
We study a coupled bulk-surface Allen-Cahn system with an affine linear transmission condition, that is, the trace values of the bulk variable and the values of the surface variable are connected via an affine relation, and this serves to generalize the usual dynamic boundary conditions. We tackle the problem of well-posedness via a penalization method using Robin boundary conditions. In particula…
▽ More
We study a coupled bulk-surface Allen-Cahn system with an affine linear transmission condition, that is, the trace values of the bulk variable and the values of the surface variable are connected via an affine relation, and this serves to generalize the usual dynamic boundary conditions. We tackle the problem of well-posedness via a penalization method using Robin boundary conditions. In particular, for the relaxation problem, the strong well-posedness and long-time behavior of solutions can be shown for more general and possibly nonlinear relations. New difficulties arise since the surface variable is no longer the trace of the bulk variable, and uniform estimates in the relaxation parameter are scarce. Nevertheless, weak convergence to the original problem can be shown. Using the approach of Colli and Fukao (Math. Models Appl. Sci. 2015), we show strong existence to the original problem with affine linear relations, and derive an error estimate between solutions to the relaxed and original problems.
△ Less
Submitted 26 February, 2019; v1 submitted 22 March, 2018;
originally announced March 2018.
-
Cahn--Hilliard inpainting with the double obstacle potential
Authors:
Harald Garcke,
Kei Fong Lam,
Vanessa Styles
Abstract:
The inpainting of damaged images has a wide range of applications, and many different mathematical methods have been proposed to solve this problem. Inpainting with the help of Cahn--Hilliard models has been particularly successful, and it turns out that Cahn--Hilliard inpainting with the double obstacle potential can lead to better results compared to inpainting with a smooth double well potentia…
▽ More
The inpainting of damaged images has a wide range of applications, and many different mathematical methods have been proposed to solve this problem. Inpainting with the help of Cahn--Hilliard models has been particularly successful, and it turns out that Cahn--Hilliard inpainting with the double obstacle potential can lead to better results compared to inpainting with a smooth double well potential. However, a mathematical analysis of this approach is missing so far. In this paper we give first analytical results for a Cahn--Hilliard double obstacle inpainting model regarding existence of global solutions to the time-dependent problem and stationary solutions to the time-independent problem without constraints on the parameters involved. With the help of numerical results we show the effectiveness of the approach for binary and grayscale images.
△ Less
Submitted 30 August, 2018; v1 submitted 16 January, 2018;
originally announced January 2018.
-
On a multi-species Cahn-Hilliard-Darcy tumor growth model with singular potentials
Authors:
Sergio Frigeri,
Kei Fong Lam,
Elisabetta Rocca,
Giulio Schimperna
Abstract:
We consider a model describing the evolution of a tumor inside a host tissue in terms of the parameters $\varphi_p$, $\varphi_d$ (proliferating and dead cells, respectively), $u$ (cell velocity) and $n$ (nutrient concentration). The variables $\varphi_p$, $\varphi_d$ satisfy a Cahn-Hilliard type system with nonzero forcing term (implying that their spatial means are not conserved in time), whereas…
▽ More
We consider a model describing the evolution of a tumor inside a host tissue in terms of the parameters $\varphi_p$, $\varphi_d$ (proliferating and dead cells, respectively), $u$ (cell velocity) and $n$ (nutrient concentration). The variables $\varphi_p$, $\varphi_d$ satisfy a Cahn-Hilliard type system with nonzero forcing term (implying that their spatial means are not conserved in time), whereas $u$ obeys a form of the Darcy law and $n$ satisfies a quasistatic diffusion equation. The main novelty of the present work stands in the fact that we are able to consider a configuration potential of singular type implying that the concentration vector $(\varphi_p,\varphi_d)$ is constrained to remain in the range of physically admissible values. On the other hand, in view of the presence of nonzero forcing terms, this choice gives rise to a number of mathematical difficulties, especially related to the control of the mean values of $\varphi_p$ and $\varphi_d$. For the resulting mathematical problem, by imposing suitable initial-boundary conditions, our main result concerns the existence of weak solutions in a proper regularity class.
△ Less
Submitted 5 September, 2017;
originally announced September 2017.
-
Parameter identification via optimal control for a Cahn--Hilliard-chemotaxis system with a variable mobility
Authors:
Christian Kahle,
Kei Fong Lam
Abstract:
We consider the inverse problem of identifying parameters in a variant of the diffuse interface model for tumour growth model proposed by Garcke, Lam, Sitka and Styles (Math. Models Methods Appl. Sci. 2016). The model contains three constant parameters; namely the tumour growth rate, the chemotaxis parameter and the nutrient consumption rate. We study the inverse problem from the viewpoint of PDE-…
▽ More
We consider the inverse problem of identifying parameters in a variant of the diffuse interface model for tumour growth model proposed by Garcke, Lam, Sitka and Styles (Math. Models Methods Appl. Sci. 2016). The model contains three constant parameters; namely the tumour growth rate, the chemotaxis parameter and the nutrient consumption rate. We study the inverse problem from the viewpoint of PDE-constrained optimal control theory and establish first order optimality conditions. A chief difficulty in the theoretical analysis lies in proving high order continuous dependence of the strong solutions on the parameters, in order to show the solution map is continuously Fréchet differentiable when the model has a variable mobility. Due to technical restrictions, our results hold only in two dimensions for sufficiently smooth domains. Analogous results for polygonal domains are also shown for the case of constant mobilities. Finally, we propose a discrete scheme for the numerical simulation of the tumour model and solve the inverse problem using a trust-region Gauss--Newton approach.
△ Less
Submitted 21 July, 2017;
originally announced July 2017.
-
On a diffuse interface model for tumour growth with non-local interactions and degenerate mobilities
Authors:
Sergio Frigeri,
Kei Fong Lam,
Elisabetta Rocca
Abstract:
We study a non-local variant of a diffuse interface model proposed by Hawkins--Darrud et al. (2012) for tumour growth in the presence of a chemical species acting as nutrient. The system consists of a Cahn--Hilliard equation coupled to a reaction-diffusion equation. For non-degenerate mobilities and smooth potentials, we derive well-posedness results, which are the non-local analogue of those obta…
▽ More
We study a non-local variant of a diffuse interface model proposed by Hawkins--Darrud et al. (2012) for tumour growth in the presence of a chemical species acting as nutrient. The system consists of a Cahn--Hilliard equation coupled to a reaction-diffusion equation. For non-degenerate mobilities and smooth potentials, we derive well-posedness results, which are the non-local analogue of those obtained in Frigeri et al. (European J. Appl. Math. 2015). Furthermore, we establish existence of weak solutions for the case of degenerate mobilities and singular potentials, which serves to confine the order parameter to its physically relevant interval. Due to the non-local nature of the equations, under additional assumptions continuous dependence on initial data can also be shown.
△ Less
Submitted 10 March, 2017;
originally announced March 2017.
-
Thermodynamically Consistent Navier--Stokes--Cahn--Hilliard Models with Mass Transfer and Chemotaxis
Authors:
Kei Fong Lam,
Hao Wu
Abstract:
We derive a class of Navier--Stokes--Cahn--Hilliard systems that models two-phase flows with mass transfer coupled to the process of chemotaxis. These thermodynamically consistent models can be seen as the natural Navier--Stokes analogues of earlier Cahn--Hilliard--Darcy models proposed for modeling tumor growth, and are derived based on a volume-averaged velocity. Then we perform mathematical ana…
▽ More
We derive a class of Navier--Stokes--Cahn--Hilliard systems that models two-phase flows with mass transfer coupled to the process of chemotaxis. These thermodynamically consistent models can be seen as the natural Navier--Stokes analogues of earlier Cahn--Hilliard--Darcy models proposed for modeling tumor growth, and are derived based on a volume-averaged velocity. Then we perform mathematical analysis on the simplified model variant with zero excess of total mass and equal densities. We establish the existence of global weak solutions in two and three dimensions for prescribed mass transfer terms. Under additional assumptions, we prove the global strong well-posedness in two dimensions with variable fluid viscosity and mobilities, which also includes a continuous dependence on initial data and mass transfer terms for the chemical potential and the order parameter in strong norms.
△ Less
Submitted 20 February, 2017;
originally announced February 2017.
-
A phase field approach to shape optimization in Navier--Stokes flow with integral state constraint
Authors:
Harald Garcke,
Michael Hinze,
Christian Kahle,
Kei Fong Lam
Abstract:
We consider the shape optimization of an object in Navier--Stokes flow by employing a combined phase field and porous medium approach, along with additional perimeter regularization. By considering integral control and state constraints, we extend the results of earlier works concerning the existence of optimal shapes and the derivation of first order optimality conditions. The control variable is…
▽ More
We consider the shape optimization of an object in Navier--Stokes flow by employing a combined phase field and porous medium approach, along with additional perimeter regularization. By considering integral control and state constraints, we extend the results of earlier works concerning the existence of optimal shapes and the derivation of first order optimality conditions. The control variable is a phase field function that prescribes the shape and topology of the object, while the state variables are the velocity and the pressure of the fluid. In our analysis, we cover a multitude of constraints which include constraints on the center of mass, the volume of the fluid region, and the drag of the object. Finally, we present numerical results of the optimization problem that is solved using the variable metric projection type (VMPT) method proposed by Blank and Rupprecht, where we consider one example of topology optimization without constraints and one example of maximizing the lift of the object with a state constraint, as well as a comparison with earlier results for the drag minimization.
△ Less
Submitted 2 December, 2018; v1 submitted 13 February, 2017;
originally announced February 2017.
-
A multiphase Cahn-Hilliard-Darcy model for tumour growth with necrosis
Authors:
Harald Garcke,
Kei Fong Lam,
Robert Nürnberg,
Emanuel Sitka
Abstract:
We derive a Cahn-Hilliard-Darcy model to describe multiphase tumour growth taking interactions with multiple chemical species into account as well as the simultaneous occurrence of proliferating, quiescent and necrotic regions. Via a coupling of the Cahn-Hilliard-Darcy equations to a system of reaction-diffusion equations a multitude of phenomena such as nutrient diffusion and consumption, angioge…
▽ More
We derive a Cahn-Hilliard-Darcy model to describe multiphase tumour growth taking interactions with multiple chemical species into account as well as the simultaneous occurrence of proliferating, quiescent and necrotic regions. Via a coupling of the Cahn-Hilliard-Darcy equations to a system of reaction-diffusion equations a multitude of phenomena such as nutrient diffusion and consumption, angiogenesis, hypoxia, blood vessel growth, and inhibition by toxic agents, which are released for example by the necrotic cells, can be included. A new feature of the modelling approach is that a volume-averaged velocity is used, which dramatically simplifies the resulting equations. With the help of formally matched asymptotic analysis we develop new sharp interface models. Finite element numerical computations are performed and in particular the effects of necrosis on tumour growth is investigated numerically.
△ Less
Submitted 23 January, 2017;
originally announced January 2017.
-
A Hele-Shaw-Cahn-Hilliard model for incompressible two-phase flows with different densities
Authors:
Luca Dedè,
Harald Garcke,
Kei Fong Lam
Abstract:
Topology changes in multi-phase fluid flows are difficult to model within a traditional sharp interface theory. Diffuse interface models turn out to be an attractive alternative to model two-phase flows. Based on a Cahn-Hilliard-Navier-Stokes model introduced by Abels, Garcke and Grün (Math. Models Methods Appl. Sci. 2012), which uses a volume averaged velocity, we derive a diffuse interface model…
▽ More
Topology changes in multi-phase fluid flows are difficult to model within a traditional sharp interface theory. Diffuse interface models turn out to be an attractive alternative to model two-phase flows. Based on a Cahn-Hilliard-Navier-Stokes model introduced by Abels, Garcke and Grün (Math. Models Methods Appl. Sci. 2012), which uses a volume averaged velocity, we derive a diffuse interface model in a Hele-Shaw geometry, which in the case of non-matched densities, simplifies an earlier model of Lee, Lowengrub and Goodman (Phys. Fluids 2002). We recover the classical Hele-Shaw model as a sharp interface limit of the diffuse interface model. Furthermore, we show the existence of weak solutions and present several numerical computations including situations with rising bubbles and fingering instabilities.
△ Less
Submitted 18 January, 2017;
originally announced January 2017.
-
On a Cahn--Hilliard--Darcy system for tumour growth with solution dependent source terms
Authors:
Harald Garcke,
Kei Fong Lam
Abstract:
We study the existence of weak solutions to a mixture model for tumour growth that consists of a Cahn--Hilliard--Darcy system coupled with an elliptic reaction-diffusion equation. The Darcy law gives rise to an elliptic equation for the pressure that is coupled to the convective Cahn--Hilliard equation through convective and source terms. Both Dirichlet and Robin boundary conditions are considered…
▽ More
We study the existence of weak solutions to a mixture model for tumour growth that consists of a Cahn--Hilliard--Darcy system coupled with an elliptic reaction-diffusion equation. The Darcy law gives rise to an elliptic equation for the pressure that is coupled to the convective Cahn--Hilliard equation through convective and source terms. Both Dirichlet and Robin boundary conditions are considered for the pressure variable, which allows for the source terms to be dependent on the solution variables.
△ Less
Submitted 22 March, 2018; v1 submitted 1 November, 2016;
originally announced November 2016.
-
Two-phase flow with surfactants: Diffuse interface models and their analysis
Authors:
Helmut Abels,
Harald Garcke,
Kei Fong Lam,
Josef Weber
Abstract:
New diffuse interface and sharp interface models for soluble and insoluble surfactants fulfilling energy inequalities are introduced. We discuss their relation with the help of asymptotic analysis and present an existence result for a particular diffuse interface model.
New diffuse interface and sharp interface models for soluble and insoluble surfactants fulfilling energy inequalities are introduced. We discuss their relation with the help of asymptotic analysis and present an existence result for a particular diffuse interface model.
△ Less
Submitted 26 October, 2016;
originally announced October 2016.
-
Global weak solutions and asymptotic limits of a Cahn--Hilliard--Darcy system modelling tumour growth
Authors:
Harald Garcke,
Kei Fong Lam
Abstract:
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 gl…
▽ More
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.
△ Less
Submitted 23 October, 2016; v1 submitted 31 August, 2016;
originally announced August 2016.
-
Analysis of a Cahn--Hilliard system with non-zero Dirichlet conditions modeling tumor growth with chemotaxis
Authors:
Harald Garcke,
Kei Fong Lam
Abstract:
We consider a diffuse interface model for tumor growth consisting of a Cahn--Hilliard equation with source terms coupled to a reaction-diffusion equation, which models a tumor growing in the presence of a nutrient species and surrounded by healthy tissue. The well-posedness of the system equipped with Neumann boundary conditions was found to require regular potentials with quadratic growth. In thi…
▽ More
We consider a diffuse interface model for tumor growth consisting of a Cahn--Hilliard equation with source terms coupled to a reaction-diffusion equation, which models a tumor growing in the presence of a nutrient species and surrounded by healthy tissue. The well-posedness of the system equipped with Neumann boundary conditions was found to require regular potentials with quadratic growth. In this work, Dirichlet boundary conditions are considered, and we establish the well-posedness of the system for regular potentials with higher polynomial growth and also for singular potentials. New difficulties are encountered due to the higher polynomial growth, but for regular potentials, we retain the continuous dependence on initial and boundary data for the chemical potential and for the order parameter in strong norms as established in the previous work. Furthermore, we deduce the well-posedness of a variant of the model with quasi-static nutrient by rigorously passing to the limit where the ratio of the nutrient diffusion time-scale to the tumor doubling time-scale is small.
△ Less
Submitted 3 May, 2017; v1 submitted 1 April, 2016;
originally announced April 2016.
-
Well-posedness of a Cahn--Hilliard system modelling tumour growth with chemotaxis and active transport
Authors:
Harald Garcke,
Kei Fong Lam
Abstract:
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.…
▽ More
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.
△ Less
Submitted 25 May, 2016; v1 submitted 19 November, 2015;
originally announced November 2015.
-
A Cahn--Hilliard--Darcy model for tumour growth with chemotaxis and active transport
Authors:
Harald Garcke,
Kei Fong Lam,
Emanuel Sitka,
Vanessa Styles
Abstract:
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 sha…
▽ More
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.
△ Less
Submitted 3 June, 2016; v1 submitted 3 August, 2015;
originally announced August 2015.
-
Shape optimization for surface functionals in Navier--Stokes flow using a phase field approach
Authors:
Harald Garcke,
Claudia Hecht,
Michael Hinze,
Christian Kahle,
Kei Fong Lam
Abstract:
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…
▽ More
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.
△ Less
Submitted 24 April, 2015;
originally announced April 2015.
-
Analysis of the diffuse domain approach for a bulk-surface coupled PDE system
Authors:
Helmut Abels,
Kei Fong Lam,
Björn Stinner
Abstract:
We analyse a diffuse interface type approximation, known as the diffuse domain approach, of a linear coupled bulk-surface elliptic partial differential system. The well-posedness of the diffuse domain approximation is shown using weighted Sobolev spaces and we prove that the solution to the diffuse domain approximation converges weakly to the solution of the coupled bulk-surface elliptic system as…
▽ More
We analyse a diffuse interface type approximation, known as the diffuse domain approach, of a linear coupled bulk-surface elliptic partial differential system. The well-posedness of the diffuse domain approximation is shown using weighted Sobolev spaces and we prove that the solution to the diffuse domain approximation converges weakly to the solution of the coupled bulk-surface elliptic system as the approximation parameter tends to zero. Moreover, we can show strong convergence for the bulk quantity, while for the surface quantity, we can show norm convergence and strong convergence in a weighted Sobolev space. Our analysis also covers a second order surface elliptic partial differential equation and a bulk elliptic partial differential equation with Dirichlet, Neumann and Robin boundary condition.
△ Less
Submitted 17 February, 2015;
originally announced February 2015.
-
Diffuse interface modelling of soluble surfactants in two-phase flow
Authors:
Harald Garcke,
Kei Fong Lam,
Björn Stinner
Abstract:
Phase field models for two-phase flow with a surfactant soluble in possibly both fluids are derived from balance equations and an energy inequality so that thermodynamic consistency is guaranteed. Via a formal asymptotic analysis, they are related to sharp interface models. Both cases of dynamic as well as instantaneous adsorption are covered. Flexibility with respect to the choice of bulk and sur…
▽ More
Phase field models for two-phase flow with a surfactant soluble in possibly both fluids are derived from balance equations and an energy inequality so that thermodynamic consistency is guaranteed. Via a formal asymptotic analysis, they are related to sharp interface models. Both cases of dynamic as well as instantaneous adsorption are covered. Flexibility with respect to the choice of bulk and surface free energies allows to realise various isotherms and relations of state between surface tension and surfactant. Some numerical simulations display the effectiveness of the presented approach.
△ Less
Submitted 11 March, 2013;
originally announced March 2013.
-
Accuracy and Stability of Filters for Dissipative PDEs
Authors:
C. E. A. Brett,
K. F. Lam,
K. J. H. Law,
D. S. McCormick,
M. R. Scott,
A. M. Stuart
Abstract:
Data assimilation methodologies are designed to incorporate noisy observations of a physical system into an underlying model in order to infer the properties of the state of the system. Filters refer to a class of data assimilation algorithms designed to update the estimation of the state as data is acquired sequentially. For linear problems subject to Gaussian noise filtering can be performed exa…
▽ More
Data assimilation methodologies are designed to incorporate noisy observations of a physical system into an underlying model in order to infer the properties of the state of the system. Filters refer to a class of data assimilation algorithms designed to update the estimation of the state as data is acquired sequentially. For linear problems subject to Gaussian noise filtering can be performed exactly using the Kalman filter. For nonlinear systems it can be approximated in a systematic way by particle filters. However in high dimensions these particle filtering methods can break down. Hence, for the large nonlinear systems arising in applications such as oceanography and weather forecasting, various ad hoc filters are used, based on Gaussian approximations. In this work, we study the accuracy and stability of these ad hoc filters in the context of the 2D incompressible Navier-Stokes equation. The ideas readily generalize to a range of dissipative partial differential equations (PDEs). By working in this infinite dimensional setting we provide an analysis which is useful for the understanding of high dimensional filtering, and is robust to mesh-refinement. We describe theoretical results showing that, in the small observational noise limit, the filters can be tuned to perform accurately in tracking the signal itself (filter accuracy), provided the system is observed in a sufficiently large low dimensional space; roughly speaking this space should be large enough to contain the unstable modes of the linearized dynamics. The tuning corresponds to what is known as variance inflation in the applied literature. Numerical results are given which illustrate the theory. The positive results herein concerning filter stability complement recent numerical studies which demonstrate that the ad hoc filters can perform poorly in reproducing statistical variation about the true signal.
△ Less
Submitted 5 August, 2013; v1 submitted 24 March, 2012;
originally announced March 2012.
-
Stability of Filters for the Navier-Stokes Equation
Authors:
C. E. A. Brett,
K. F. Lam,
K. J. H. Law,
D. S. McCormick,
M. R. Scott,
A. M. Stuart
Abstract:
Data assimilation methodologies are designed to incorporate noisy observations of a physical system into an underlying model in order to infer the properties of the state of the system. Filters refer to a class of data assimilation algorithms designed to update the estimation of the state in a on-line fashion, as data is acquired sequentially. For linear problems subject to Gaussian noise filterin…
▽ More
Data assimilation methodologies are designed to incorporate noisy observations of a physical system into an underlying model in order to infer the properties of the state of the system. Filters refer to a class of data assimilation algorithms designed to update the estimation of the state in a on-line fashion, as data is acquired sequentially. For linear problems subject to Gaussian noise filtering can be performed exactly using the Kalman filter. For nonlinear systems it can be approximated in a systematic way by particle filters. However in high dimensions these particle filtering methods can break down. Hence, for the large nonlinear systems arising in applications such as weather forecasting, various ad hoc filters are used, mostly based on making Gaussian approximations. The purpose of this work is to study the properties of these ad hoc filters, working in the context of the 2D incompressible Navier-Stokes equation. By working in this infinite dimensional setting we provide an analysis which is useful for understanding high dimensional filtering, and is robust to mesh-refinement. We describe theoretical results showing that, in the small observational noise limit, the filters can be tuned to accurately track the signal itself (filter stability), provided the system is observed in a sufficiently large low dimensional space; roughly speaking this space should be large enough to contain the unstable modes of the linearized dynamics. Numerical results are given which illustrate the theory. In a simplified scenario we also derive, and study numerically, a stochastic PDE which determines filter stability in the limit of frequent observations, subject to large observational noise. The positive results herein concerning filter stability complement recent numerical studies which demonstrate that the ad hoc filters perform poorly in reproducing statistical variation about the true signal.
△ Less
Submitted 11 October, 2011;
originally announced October 2011.
