-
Error analysis for a viscoelastic phase separation model
Authors:
Aaron Brunk,
Herbert Egger,
Oliver Habrich,
Maria Lukacova-Medvidova
Abstract:
We consider systematic numerical approximation of a viscoelastic phase separation model that describes the demixing of a polymer solvent mixture. An unconditionally stable discretisation method is proposed based on a finite element approximation in space and a variational time discretization strategy. The proposed method preserves the energy-dissipation structure of the underlying system exactly a…
▽ More
We consider systematic numerical approximation of a viscoelastic phase separation model that describes the demixing of a polymer solvent mixture. An unconditionally stable discretisation method is proposed based on a finite element approximation in space and a variational time discretization strategy. The proposed method preserves the energy-dissipation structure of the underlying system exactly and allows to establish a fully discrete nonlinear stability estimate in natural norms based on the concept of relative energy. These estimates are used to derive order optimal error estimates for the method under minimal smoothness assumptions on the problem data, despite the presence of various strong nonlinearities in the equations. The theoretical results and main properties of the method are illustrated by numerical simulations which also demonstrate the capability to reproduce the relevant physical effects observed in experiments.
△ Less
Submitted 4 July, 2024; v1 submitted 1 July, 2024;
originally announced July 2024.
-
Robust a posteriori error control for the Allen-Cahn equation with variable mobility
Authors:
Aaron Brunk,
Jan Giesselmann,
Maria Lukacova-Medvidova
Abstract:
In this work, we derive a $γ$-robust a posteriori error estimator for finite element approximations of the Allen-Cahn equation with variable non-degenerate mobility. The estimator utilizes spectral estimates for the linearized steady part of the differential operator as well as a conditional stability estimate based on a weighted sum of Bregman distances, based on the energy and a functional relat…
▽ More
In this work, we derive a $γ$-robust a posteriori error estimator for finite element approximations of the Allen-Cahn equation with variable non-degenerate mobility. The estimator utilizes spectral estimates for the linearized steady part of the differential operator as well as a conditional stability estimate based on a weighted sum of Bregman distances, based on the energy and a functional related to the mobility. A suitable reconstruction of the numerical solution in the stability estimate leads to a fully computable estimator.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
What is a limit of structure-preserving numerical methods for compressible flows?
Authors:
Maria Lukacova-Medvidova,
Bangwei She,
Yuhuan Yuan
Abstract:
We present an overview of recent developments on the convergence analysis of numerical methods for inviscid multidimensional compressible flows that preserve underlying physical structures. We introduce the concept of generalized solutions, the so-called dissipative solutions, and explain their relationship to other commonly used solution concepts. In numerical experiments we apply K-convergence o…
▽ More
We present an overview of recent developments on the convergence analysis of numerical methods for inviscid multidimensional compressible flows that preserve underlying physical structures. We introduce the concept of generalized solutions, the so-called dissipative solutions, and explain their relationship to other commonly used solution concepts. In numerical experiments we apply K-convergence of numerical solutions and approximate turbulent solutions together with the Reynolds stress defect and the energy defect.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Convergence of numerical methods for the Navier-Stokes-Fourier system driven by uncertain initial/boundary data
Authors:
Eduard Feireisl,
Maria Lukacova-Medvidova,
Bangwei She,
Yuhuan Yuan
Abstract:
We consider the Navier-Stokes-Fourier system governing the motion of a general compressible, heat conducting, Newtonian fluid driven by random initial/boundary data. Convergence of the stochastic collocation and Monte Carlo numerical methods is shown under the hypothesis that approximate solutions are bounded in probability. Abstract results are illustrated by numerical experiments for the Rayleig…
▽ More
We consider the Navier-Stokes-Fourier system governing the motion of a general compressible, heat conducting, Newtonian fluid driven by random initial/boundary data. Convergence of the stochastic collocation and Monte Carlo numerical methods is shown under the hypothesis that approximate solutions are bounded in probability. Abstract results are illustrated by numerical experiments for the Rayleigh-Benard convection problem.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Convergence of a generalized Riemann problem scheme for the Burgers equation
Authors:
Maria Lukacova-Medvidova,
Yuhuan Yuan
Abstract:
In this paper we study the convergence of a second order finite volume approximation of the scalar conservation law. This scheme is based on the generalized Riemann problem (GRP) solver. We firstly investigate the stability of the GRP scheme and find that it might be entropy unstable when the shock wave is generated. By adding an artificial viscosity we propose a new stabilized GRP scheme. Under t…
▽ More
In this paper we study the convergence of a second order finite volume approximation of the scalar conservation law. This scheme is based on the generalized Riemann problem (GRP) solver. We firstly investigate the stability of the GRP scheme and find that it might be entropy unstable when the shock wave is generated. By adding an artificial viscosity we propose a new stabilized GRP scheme. Under the assumption that numerical solutions are uniformly bounded, we prove consistency and convergence of this new GRP method.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
New High-Order Numerical Methods for Hyperbolic Systems of Nonlinear PDEs with Uncertainties
Authors:
Alina Chertock,
Michael Herty,
Arsen S. Iskhakov,
Safa Janajra,
Alexander Kurganov,
Maria Lukacova-Medvidova
Abstract:
In this paper, we develop new high-order numerical methods for hyperbolic systems of nonlinear partial differential equations (PDEs) with uncertainties. The new approach is realized in the semi-discrete finite-volume framework and is based on fifth-order weighted essentially non-oscillatory (WENO) interpolations in (multidimensional) random space combined with second-order piecewise linear reconst…
▽ More
In this paper, we develop new high-order numerical methods for hyperbolic systems of nonlinear partial differential equations (PDEs) with uncertainties. The new approach is realized in the semi-discrete finite-volume framework and is based on fifth-order weighted essentially non-oscillatory (WENO) interpolations in (multidimensional) random space combined with second-order piecewise linear reconstruction in physical space. Compared with spectral approximations in the random space, the presented methods are essentially non-oscillatory as they do not suffer from the Gibbs phenomenon while still achieving high-order accuracy. The new methods are tested on a number of numerical examples for both the Euler equations of gas dynamics and the Saint-Venant system of shallow-water equations. In the latter case, the methods are also proven to be well-balanced and positivity-preserving.
△ Less
Submitted 3 July, 2024; v1 submitted 13 December, 2023;
originally announced December 2023.
-
Penalty method for the Navier-Stokes-Fourier system with Dirichlet boundary conditions: convergence and error estimates
Authors:
Maria Lukacova-Medvidova,
Bangwei She,
Yuhuan Yuan
Abstract:
We study the convergence and error estimates of a finite volume method for the compressible Navier-Stokes-Fourier system with Dirichlet boundary conditions. Physical fluid domain is typically smooth and needs to be approximated by a polygonal computational domain. This leads to domain-related discretization errors, the so-called variational crimes. To treat them efficiently we embed the fluid doma…
▽ More
We study the convergence and error estimates of a finite volume method for the compressible Navier-Stokes-Fourier system with Dirichlet boundary conditions. Physical fluid domain is typically smooth and needs to be approximated by a polygonal computational domain. This leads to domain-related discretization errors, the so-called variational crimes. To treat them efficiently we embed the fluid domain into a large enough cubed domain, and propose a finite volume scheme for the corresponding domain-penalized problem. Under the assumption that the numerical density and temperature are uniformly bounded, we derive the ballistic energy inequality, yielding a priori estimates and the consistency of the penalization finite volume approximations. Further, we show that the numerical solutions converge weakly to a generalized, the so-called dissipative measure-valued, solution of the corresponding Dirichlet problem. If a strong solution exists, we prove that our numerical approximations converge strongly with the rate 1/4. Additionally, assuming uniform boundedness of the approximate velocities, we obtain global existence of the strong solution. In this case we prove that the numerical solutions converge strongly to the strong solution with the optimal rate 1/2.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
Statistical solutions for the Navier-Stokes-Fourier system
Authors:
Eduard Feireisl,
Maria Lukacova-Medvidova
Abstract:
We show a general stability result in the framework of strong solutions of the Navier-Stokes-Fourier system describing the motion of a compressible viscous and heat conducting gas. As a corollary, we develop a concept of statistical solution in the class of regular solutions "beyond the blow up time".
We show a general stability result in the framework of strong solutions of the Navier-Stokes-Fourier system describing the motion of a compressible viscous and heat conducting gas. As a corollary, we develop a concept of statistical solution in the class of regular solutions "beyond the blow up time".
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Error estimates of a finite volume method for the compressible Navier--Stokes--Fourier system
Authors:
Danica Basaric,
Maria Lukacova-Medvidova,
Hana Mizerova,
Bangwei She,
Yuhuan Yuan
Abstract:
In this paper we study the convergence rate of a finite volume approximation of the compressible Navier--Stokes--Fourier system. To this end we first show the local existence of a highly regular unique strong solution and analyse its global extension in time as far as the density and temperature remain bounded. We make a physically reasonable assumption that the numerical density and temperature a…
▽ More
In this paper we study the convergence rate of a finite volume approximation of the compressible Navier--Stokes--Fourier system. To this end we first show the local existence of a highly regular unique strong solution and analyse its global extension in time as far as the density and temperature remain bounded. We make a physically reasonable assumption that the numerical density and temperature are uniformly bounded from above and below. The relative energy provides us an elegant way to derive a priori error estimates between finite volume solutions and the strong solution.
△ Less
Submitted 27 October, 2022;
originally announced October 2022.
-
A second-order fully-balanced structure-preserving variational discretization scheme for the Cahn-Hilliard Navier-Stokes system
Authors:
Aaron Brunk,
Herbert Egger,
Oliver Habrich,
Maria Lukacova-Medvidova
Abstract:
We propose and analyze a structure-preserving space-time variational discretization method for the Cahn-Hilliard-Navier-Stokes system. Uniqueness and stability for the discrete problem is established in the presence of concentration dependent mobility and viscosity parameters by means of the relative energy estimates and order optimal convergence rates are established for all variables using balan…
▽ More
We propose and analyze a structure-preserving space-time variational discretization method for the Cahn-Hilliard-Navier-Stokes system. Uniqueness and stability for the discrete problem is established in the presence of concentration dependent mobility and viscosity parameters by means of the relative energy estimates and order optimal convergence rates are established for all variables using balanced approximation spaces and relaxed regularity conditions on the solution. Numerical tests are presented to demonstrate the proposed method is fully practical and yields the predicted convergence rates. The discrete stability estimates developed in this paper may also be used to analyse other discretization schemes, which is briefly outlined in the discussion.
△ Less
Submitted 28 August, 2023; v1 submitted 8 September, 2022;
originally announced September 2022.
-
Local Characteristic Decomposition Based Central-Upwind Scheme
Authors:
Alina Chertock,
Shaoshuai Chu,
Michael Herty,
Alexander Kurganov,
Maria Lukacova-Medvidova
Abstract:
We propose novel less diffusive schemes for conservative one- and two-dimensional hyperbolic systems of nonlinear partial differential equations (PDEs). The main challenges in the development of accurate and robust numerical methods for the studied systems come from the complicated wave structures, such as shocks, rarefactions and contact discontinuities, arising even for smooth initial conditions…
▽ More
We propose novel less diffusive schemes for conservative one- and two-dimensional hyperbolic systems of nonlinear partial differential equations (PDEs). The main challenges in the development of accurate and robust numerical methods for the studied systems come from the complicated wave structures, such as shocks, rarefactions and contact discontinuities, arising even for smooth initial conditions. In order to reduce the diffusion in the original central-upwind schemes, we use a local characteristic decomposition procedure to develop a new class of central-upwind schemes. We apply the developed schemes to the one- and two-dimensional Euler equations of gas dynamics to illustrate the performance on a variety of examples. The obtained numerical results clearly demonstrate that the proposed new schemes outperform the original central-upwind schemes.
△ Less
Submitted 19 June, 2022; v1 submitted 17 June, 2022;
originally announced June 2022.
-
Improved error estimates for the finite volume and the MAC schemes for the compressible Navier-Stokes system
Authors:
Eduard Feireisl,
Mária Lukáčová-Medviďová,
Bangwei She
Abstract:
We present new error estimates for the finite volume and finite difference methods applied to the compressible Navier-Stokes equations. The main innovative ingredients of the improved error estimates are a refined consistency analysis combined with a continuous version of the relative energy inequality. Consequently, we obtain better convergence rates than those available in the literature so far.…
▽ More
We present new error estimates for the finite volume and finite difference methods applied to the compressible Navier-Stokes equations. The main innovative ingredients of the improved error estimates are a refined consistency analysis combined with a continuous version of the relative energy inequality. Consequently, we obtain better convergence rates than those available in the literature so far. Moreover, the error estimates hold in the whole physically relevant range of the adiabatic coefficient.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
Stochastic Galerkin method for cloud simulation. Part II: a fully random Navier-Stokes-cloud model
Authors:
A. Chertock,
A. Kurganov,
M. Lukáčová-Medviďová,
P. Spichtinger,
B. Wiebe
Abstract:
This paper is a continuation of the work presented in [Chertock et al., Math. Cli. Weather Forecast. 5, 1 (2019), 65--106]. We study uncertainty propagation in warm cloud dynamics of weakly compressible fluids. The mathematical model is governed by a multiscale system of PDEs in which the macroscopic fluid dynamics is described by a weakly compressible Navier-Stokes system and the microscopic clou…
▽ More
This paper is a continuation of the work presented in [Chertock et al., Math. Cli. Weather Forecast. 5, 1 (2019), 65--106]. We study uncertainty propagation in warm cloud dynamics of weakly compressible fluids. The mathematical model is governed by a multiscale system of PDEs in which the macroscopic fluid dynamics is described by a weakly compressible Navier-Stokes system and the microscopic cloud dynamics is modeled by a convection-diffusion-reaction system. In order to quantify uncertainties present in the system, we derive and implement a generalized polynomial chaos stochastic Galerkin method. Unlike the first part of this work, where we restricted our consideration to the partially stochastic case in which the uncertainties were only present in the cloud physics equations, we now study a fully random Navier-Stokes-cloud model in which we include randomness in the macroscopic fluid dynamics as well. We conduct a series of numerical experiments illustrating the accuracy and efficiency of the developed approach.
△ Less
Submitted 19 April, 2022;
originally announced April 2022.
-
Convergence of Discontinuous Galerkin Schemes for the Euler Equations via Dissipative Weak Solutions
Authors:
Mária Lukácová-Medvidová,
Philipp Öffner
Abstract:
In this paper, we present convergence analysis of high-order finite element based methods, in particular, we focus on a discontinuous Galerkin scheme using summation-by-parts operators. To this end, it is crucial that structure preserving properties, such as positivity preservation and entropy inequality hold. We demonstrate how to ensure them and prove the convergence of our multidimensional high…
▽ More
In this paper, we present convergence analysis of high-order finite element based methods, in particular, we focus on a discontinuous Galerkin scheme using summation-by-parts operators. To this end, it is crucial that structure preserving properties, such as positivity preservation and entropy inequality hold. We demonstrate how to ensure them and prove the convergence of our multidimensional high-order DG scheme via dissipative weak solutions. In numerical simulations, we verify our theoretical results.
△ Less
Submitted 4 March, 2022; v1 submitted 21 February, 2022;
originally announced February 2022.
-
Penalization method for the Navier-Stokes-Fourier system
Authors:
Danica Basarić,
Eduard Feireisl,
Mária Lukáčová-Medviďová,
Hana Mizerová,
Yuhuan Yuan
Abstract:
We apply the method of penalization to the Dirichlet problem for the Navier-Stokes-Fourier system governing the motion of a general viscous compressible fluid confined to a bounded Lipschitz domain. The physical domain is embedded into a large cube on which the periodic boundary conditions are imposed. The original boundary conditions are enforced through a singular friction term in the momentum e…
▽ More
We apply the method of penalization to the Dirichlet problem for the Navier-Stokes-Fourier system governing the motion of a general viscous compressible fluid confined to a bounded Lipschitz domain. The physical domain is embedded into a large cube on which the periodic boundary conditions are imposed. The original boundary conditions are enforced through a singular friction term in the momentum equation and a heat source/sink term in the internal energy balance. The solutions of the penalized problem are shown to converge to the solution of the limit problem. Numerical experiments are performed to illustrate the efficiency of the method.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
Error estimates of the Godunov method for the multidimensional compressible Euler system
Authors:
Mária Lukáčová-Medviďová,
Bangwei She,
Yuhuan Yuan
Abstract:
We derive a priori error of the Godunov method for the multidimensional Euler system of gas dynamics. To this end we apply the relative energy principle and estimate the distance between the numerical solution and the strong solution. This yields also the estimates of the $L^2$-norm of errors in density, momentum and entropy. Under the assumption that the numerical density and energy are bounded,…
▽ More
We derive a priori error of the Godunov method for the multidimensional Euler system of gas dynamics. To this end we apply the relative energy principle and estimate the distance between the numerical solution and the strong solution. This yields also the estimates of the $L^2$-norm of errors in density, momentum and entropy. Under the assumption that the numerical density and energy are bounded, we obtain a convergence rate of $1/2$ for the relative energy in the $L^1$-norm. Further, under the assumption -- the total variation of numerical solution is bounded, we obtain the first order convergence rate for the relative energy in the $L^1$-norm. Consequently, numerical solutions (density, momentum and entropy) converge in the $L^2$-norm with the convergence rate of $1/2$. The numerical results presented for Riemann problems are consistent with our theoretical analysis.
△ Less
Submitted 10 November, 2021; v1 submitted 9 November, 2021;
originally announced November 2021.
-
Convergence of first-order Finite Volume Method based on Exact Riemann Solver for the Complete Compressible Euler Equations
Authors:
Mária Lukáčová-Medviďová,
Yuhuan Yuan
Abstract:
Recently developed concept of dissipative measure-valued solution for compressible flows is a suitable tool to describe oscillations and singularities possibly developed in solutions of multidimensional Euler equations. In this paper we study the convergence of the first-order finite volume method based on the exact Riemann solver for the complete compressible Euler equations. Specifically, we der…
▽ More
Recently developed concept of dissipative measure-valued solution for compressible flows is a suitable tool to describe oscillations and singularities possibly developed in solutions of multidimensional Euler equations. In this paper we study the convergence of the first-order finite volume method based on the exact Riemann solver for the complete compressible Euler equations. Specifically, we derive entropy inequality and prove the consistency of numerical method. Passing to the limit, we show the weak and strong convergence of numerical solutions and identify their limit. The numerical results presented for the spiral, Kelvin-Helmholtz and the Richtmyer-Meshkov problem are consistent with our theoretical analysis.
△ Less
Submitted 5 May, 2021;
originally announced May 2021.
-
Relative energy and weak-strong uniqueness of the two-phase viscoelastic phase separation model
Authors:
Aaron Brunk,
Maria Lukacova-Medvidova
Abstract:
The aim of this paper is to analyze a viscoelastic phase separation model. We derive a suitable notion of the relative energy taking into account the non-convex nature of the energy law for the viscoelastic phase separation. This allows us to prove the weak-strong uniqueness principle. We will provide the estimates for the full model in two space dimensions. For a reduced model we present the esti…
▽ More
The aim of this paper is to analyze a viscoelastic phase separation model. We derive a suitable notion of the relative energy taking into account the non-convex nature of the energy law for the viscoelastic phase separation. This allows us to prove the weak-strong uniqueness principle. We will provide the estimates for the full model in two space dimensions. For a reduced model we present the estimates in three space dimensions and derive conditional relative energy estimates.
△ Less
Submitted 29 August, 2022; v1 submitted 1 April, 2021;
originally announced April 2021.
-
Approximating viscosity solutions of the Euler system
Authors:
Eduard Feireisl,
Mária Lukáčová-Medviďová,
Simon Schneider,
Bangwei She
Abstract:
Applying the concept of S-convergence, based on averaging in the spirit of Strong Law of Large Numbers, the vanishing viscosity solutions of the Euler system are studied. We show how to efficiently compute a viscosity solution of the Euler system as the S-limit of numerical solutions obtained by the Viscosity Finite Volume method. Theoretical results are illustrated by numerical simulations of the…
▽ More
Applying the concept of S-convergence, based on averaging in the spirit of Strong Law of Large Numbers, the vanishing viscosity solutions of the Euler system are studied. We show how to efficiently compute a viscosity solution of the Euler system as the S-limit of numerical solutions obtained by the Viscosity Finite Volume method. Theoretical results are illustrated by numerical simulations of the Kelvin--Helmholtz instability problem.
△ Less
Submitted 31 January, 2022; v1 submitted 15 February, 2021;
originally announced February 2021.
-
Relative energy estimates for the Cahn-Hilliard equation with concentration dependent mobility
Authors:
Aaron Brunk,
Herbert Egger,
Oliver Habrich,
Maria Lukacova-Medvidova
Abstract:
Based on relative energy estimates, we study the stability of solutions to the Cahn-Hilliard equation with concentration dependent mobility with respect to perturbations. As a by-product of our analysis, we obtain a weak-strong uniqueness principle on the continuous level under realistic regularity assumptions on strong solutions. We then show that the stability estimates can be further inherited…
▽ More
Based on relative energy estimates, we study the stability of solutions to the Cahn-Hilliard equation with concentration dependent mobility with respect to perturbations. As a by-product of our analysis, we obtain a weak-strong uniqueness principle on the continuous level under realistic regularity assumptions on strong solutions. We then show that the stability estimates can be further inherited almost verbatim by appropriate Galerkin approximations in space and time. This allows us to derive sharp bounds for the discretization error in terms of certain projection errors and to establish order-optimal a-priori error estimates for semi- and fully discrete approximation schemes.
△ Less
Submitted 10 February, 2021;
originally announced February 2021.
-
Existence, regularity and weak-strong uniqueness for the three-dimensional Peterlin viscoelastic model
Authors:
Aaron Brunk,
Yong Lu,
Maria Lukacova-Medvidova
Abstract:
In this paper we analyze the three-dimensional Peterlin viscoelastic model. By means of a mixed Galerkin and semigroup approach we prove the existence of a weak solutions. Further combining parabolic regularity with the relative energy method we derive a conditional weak-strong uniqueness result.
In this paper we analyze the three-dimensional Peterlin viscoelastic model. By means of a mixed Galerkin and semigroup approach we prove the existence of a weak solutions. Further combining parabolic regularity with the relative energy method we derive a conditional weak-strong uniqueness result.
△ Less
Submitted 7 June, 2021; v1 submitted 4 February, 2021;
originally announced February 2021.
-
Analysis of a viscoelastic phase separation model
Authors:
Aaron Brunk,
Burkhard Dünweg,
Herbert Egger,
Oliver Habrich,
Maria Lukacova-Medvidova,
Dominic Spiller
Abstract:
A new model for viscoelastic phase separation is proposed, based on a systematically derived conservative two-fluid model. Dissipative effects are included by phenomenological viscoelastic terms. By construction, the model is consistent with the second law of thermodynamics, and we study well-posedness of the model, i.e., existence of weak solutions, a weak-strong uniqueness principle, and stabili…
▽ More
A new model for viscoelastic phase separation is proposed, based on a systematically derived conservative two-fluid model. Dissipative effects are included by phenomenological viscoelastic terms. By construction, the model is consistent with the second law of thermodynamics, and we study well-posedness of the model, i.e., existence of weak solutions, a weak-strong uniqueness principle, and stability with respect to perturbations, which are proven by means of relative energy estimates. A good qualitative agreement with mesoscopic simulations is observed in numerical tests.
△ Less
Submitted 11 February, 2021; v1 submitted 8 December, 2020;
originally announced December 2020.
-
Global existence of weak solutions to viscoelastic phase separation: Part II Degenerate Case
Authors:
Aaron Brunk,
Maria Lukacova-Medvidova
Abstract:
The aim of this paper is to prove global in time existence of weak solutions for a viscoelastic phase separation. We consider the case with singular potentials and degenerate mobilities. Our model couples the diffusive interface model with the Peterlin-Navier-Stokes equations for viscoelastic fluids. To obtain the global in time existence of weak solutions we consider appropriate approximations by…
▽ More
The aim of this paper is to prove global in time existence of weak solutions for a viscoelastic phase separation. We consider the case with singular potentials and degenerate mobilities. Our model couples the diffusive interface model with the Peterlin-Navier-Stokes equations for viscoelastic fluids. To obtain the global in time existence of weak solutions we consider appropriate approximations by solutions of the viscoelastic phase separation with a regular potential and build on the corresponding energy and entropy estimates.
△ Less
Submitted 1 March, 2022; v1 submitted 30 April, 2020;
originally announced April 2020.
-
Global existence of weak solutions to viscoelastic phase separation: Part I Regular Case
Authors:
Aaron Brunk,
Maria Lukacova-Medvidova
Abstract:
We prove the existence of weak solutions to a viscoelastic phase separation problem in two space dimensions. The mathematical model consists of a Cahn-Hilliard-type equation for two-phase flows and the Peterlin-Navier-Stokes equations for viscoelastic fluids. We focus on the case of a polynomial-like potential and suitably bounded coefficient functions. Using the Lagrange-Galerkin finite element m…
▽ More
We prove the existence of weak solutions to a viscoelastic phase separation problem in two space dimensions. The mathematical model consists of a Cahn-Hilliard-type equation for two-phase flows and the Peterlin-Navier-Stokes equations for viscoelastic fluids. We focus on the case of a polynomial-like potential and suitably bounded coefficient functions. Using the Lagrange-Galerkin finite element method complex behavior of solution for spinodal decomposition including transient polymeric network structures is demonstrated.
△ Less
Submitted 1 March, 2022; v1 submitted 8 July, 2019;
originally announced July 2019.
-
$\mathcal{K}-$convergence as a new tool in numerical analysis
Authors:
Eduard Feireisl,
Maria Lukacova-Medvidova,
Hana Mizerova
Abstract:
We adapt the concept of $\mathcal{K}-$convergence of Young measures to the sequences of approximate solutions resulting from numerical schemes. We obtain new results on pointwise convergence of numerical solutions in the case when solutions of the limit continuous problem possess minimal regularity. We apply the abstract theory to a finite volume method for the isentropic Euler system describing t…
▽ More
We adapt the concept of $\mathcal{K}-$convergence of Young measures to the sequences of approximate solutions resulting from numerical schemes. We obtain new results on pointwise convergence of numerical solutions in the case when solutions of the limit continuous problem possess minimal regularity. We apply the abstract theory to a finite volume method for the isentropic Euler system describing the motion of a compressible inviscid fluid. The result can be seen as a nonlinear version of the fundamental Lax equivalence theorem.
△ Less
Submitted 30 March, 2019;
originally announced April 2019.
-
On the convergence of a finite volume method for the Navier-Stokes-Fourier system
Authors:
Eduard Feireisl,
Maria Lukacova-Medvidova,
Hana Mizerova,
Bangwei She
Abstract:
We study convergence of a finite volume scheme for the Navier-Stokes-Fourier system describing the motion of compressible viscous and heat conducting fluids. The numerical flux uses upwinding with an additional numerical diffusion of order $\mathcal{O} (h^{ \varepsilon+1})$, $0<\varepsilon<1$. The approximate solutions are piecewise constant functions with respect to the underlying mesh. We show t…
▽ More
We study convergence of a finite volume scheme for the Navier-Stokes-Fourier system describing the motion of compressible viscous and heat conducting fluids. The numerical flux uses upwinding with an additional numerical diffusion of order $\mathcal{O} (h^{ \varepsilon+1})$, $0<\varepsilon<1$. The approximate solutions are piecewise constant functions with respect to the underlying mesh. We show that any uniformly bounded sequence of numerical solutions converges unconditionally to the solution of the Navier-Stokes-Fourier system. In particular, the existence of the solution to the Navier-Stokes-Fourier system is not a priori assumed.
△ Less
Submitted 20 March, 2019;
originally announced March 2019.
-
Stochastic Galerkin method for cloud simulation
Authors:
A. Chertock,
A. Kurganov,
M. Lukáčová-Medviďová,
P. Spichtinger,
B. Wiebe
Abstract:
We develop a stochastic Galerkin method for a coupled Navier-Stokes-cloud system that models dynamics of warm clouds. Our goal is to explicitly describe the evolution of uncertainties that arise due to unknown input data, such as model parameters and initial or boundary conditions. The developed stochastic Galerkin method combines the space-time approximation obtained by a suitable finite volume m…
▽ More
We develop a stochastic Galerkin method for a coupled Navier-Stokes-cloud system that models dynamics of warm clouds. Our goal is to explicitly describe the evolution of uncertainties that arise due to unknown input data, such as model parameters and initial or boundary conditions. The developed stochastic Galerkin method combines the space-time approximation obtained by a suitable finite volume method with a spectral-type approximation based on the generalized polynomial chaos expansion in the stochastic space. The resulting numerical scheme yields a second-order accurate approximation in both space and time and exponential convergence in the stochastic space. Our numerical results demonstrate the reliability and robustness of the stochastic Galerkin method. We also use the proposed method to study the behavior of clouds in certain perturbed scenarios, for examples, the ones leading to changes in macroscopic cloud pattern as a shift from hexagonal to rectangular structures.
△ Less
Submitted 3 June, 2019; v1 submitted 30 November, 2018;
originally announced November 2018.
-
Convergence of a finite volume scheme for the compressible Navier--Stokes system
Authors:
Eduard Feireisl,
Maria Lukacova-Medvidova,
Hana Mizerova,
Bangwei She
Abstract:
We study convergence of a finite volume scheme for the compressible (barotropic) Navier--Stokes system. First we prove the energy stability and consistency of the scheme and show that the numerical solutions generate a dissipative measure-valued solution of the system. Then by the dissipative measure-valued-strong uniqueness principle, we conclude the convergence of the numerical solution to the s…
▽ More
We study convergence of a finite volume scheme for the compressible (barotropic) Navier--Stokes system. First we prove the energy stability and consistency of the scheme and show that the numerical solutions generate a dissipative measure-valued solution of the system. Then by the dissipative measure-valued-strong uniqueness principle, we conclude the convergence of the numerical solution to the strong solution as long as the latter exists. Numerical experiments for standard benchmark tests support our theoretical results.
△ Less
Submitted 21 April, 2019; v1 submitted 7 November, 2018;
originally announced November 2018.
-
A finite volume scheme for the Euler system inspired by the two velocities approach
Authors:
Eduard Feireisl,
Maria Lukacova-Medvidova,
Hana Mizerova
Abstract:
We propose a new finite volume scheme for the Euler system of gas dynamics motivated by the model proposed by H. Brenner. Numerical viscosity imposed through upwinding acts on the velocity field rather than on the convected quantities. The resulting numerical method enjoys the crucial properties of the Euler system, in particular positivity of the approximate density and pressure and the minimal e…
▽ More
We propose a new finite volume scheme for the Euler system of gas dynamics motivated by the model proposed by H. Brenner. Numerical viscosity imposed through upwinding acts on the velocity field rather than on the convected quantities. The resulting numerical method enjoys the crucial properties of the Euler system, in particular positivity of the approximate density and pressure and the minimal entropy principle. In addition, the approximate solutions generate a dissipative measure-valued solutions of the limit system. In particular, the numerical solutions converge to the smooth solution of the system as long as the latter exists.
△ Less
Submitted 14 May, 2018;
originally announced May 2018.
-
Convergence of finite volume schemes for the Euler equations via dissipative measure--valued solutions
Authors:
Eduard Feireisl,
Maria Lukacova-Medvidova,
Hana Mizerova
Abstract:
The Cauchy problem for the complete Euler system is in general ill posed in the class of admissible (entropy producing) weak solutions. This suggests there might be sequences of approximate solutions that develop fine scale oscillations. Accordingly, the concept of measure--valued solution that capture possible oscillations is more suitable for analysis. We study the convergence of a class of entr…
▽ More
The Cauchy problem for the complete Euler system is in general ill posed in the class of admissible (entropy producing) weak solutions. This suggests there might be sequences of approximate solutions that develop fine scale oscillations. Accordingly, the concept of measure--valued solution that capture possible oscillations is more suitable for analysis. We study the convergence of a class of entropy stable finite volume schemes for the barotropic and complete compressible Euler equations in the multidimensional case. We establish suitable stability and consistency estimates and show that the Young measure generated by numerical solutions represents a dissipative measure--valued solution of the Euler system. Here dissipative means that a suitable form of the Second law of thermodynamics is incorporated in the definition of the measure--valued solutions. In particular, using the recently established weak-strong uniqueness principle, we show that the numerical solutions converge pointwise to the regular solution of the limit systems at least on the lifespan of the latter.
△ Less
Submitted 22 March, 2018;
originally announced March 2018.
-
A hybrid mass transport finite element method for Keller-Segel type systems
Authors:
José Antonio Carrillo,
Niklas Kolbe,
Mária Lukácová-Medviďová
Abstract:
We propose a new splitting scheme for general reaction-taxis-diffusion systems in one spatial dimension capable to deal with simultaneous concentrated and diffusive regions as well as travelling waves and merging phenomena. The splitting scheme is based on a mass transport strategy for the cell density coupled with classical finite element approximations for the rest of the system. The built-in ma…
▽ More
We propose a new splitting scheme for general reaction-taxis-diffusion systems in one spatial dimension capable to deal with simultaneous concentrated and diffusive regions as well as travelling waves and merging phenomena. The splitting scheme is based on a mass transport strategy for the cell density coupled with classical finite element approximations for the rest of the system. The built-in mass adaption of the scheme allows for an excellent performance even with respect to dedicated mesh-adapted AMR schemes in original variables.
△ Less
Submitted 21 September, 2017;
originally announced September 2017.
-
Existence of global weak solutions to the kinetic Peterlin model
Authors:
Piotr Gwiazda,
Mária Lukáčová-Medviďová,
Hana Mizerová,
Agnieszka Świerczewska-Gwiazda
Abstract:
We consider a class of kinetic models for polymeric fluids motivated by the Peterlin dumbbell theories for dilute polymer solutions with a nonlinear spring law for an infinitely extensible spring. The polymer molecules are suspended in an incompressible viscous Newtonian fluid confined to a bounded domain in two or three space dimensions. The unsteady motion of the solvent is described by the inco…
▽ More
We consider a class of kinetic models for polymeric fluids motivated by the Peterlin dumbbell theories for dilute polymer solutions with a nonlinear spring law for an infinitely extensible spring. The polymer molecules are suspended in an incompressible viscous Newtonian fluid confined to a bounded domain in two or three space dimensions. The unsteady motion of the solvent is described by the incompressible Navier-Stokes equations with the elastic extra stress tensor appearing as a forcing term in the momentum equation. The elastic stress tensor is defined by the Kramers expression through the probability density function that satisfies the corresponding Fokker-Planck equation. In this case, a coefficient depending on the average length of polymer molecules appears in the latter equation. Following the recent work of Barrett and Süli we prove the existence of global-in-time weak solutions to the kinetic Peterlin model in two space dimensions.
△ Less
Submitted 10 July, 2017;
originally announced July 2017.
-
Existence and uniqueness of global classical solutions to a two species cancer invasion haptotaxis model
Authors:
Jan Giesselmann,
Niklas Kolbe,
Maria Lukacova-Medvidova,
Nikolaos Sfakianakis
Abstract:
We consider a haptotaxis cancer invasion model that includes two families of cancer cells. Both families, migrate on the extracellular matrix and proliferate. Moreover the model describes an epithelial-to-mesenchymal-like transition between the two families, as well as a degradation and a self-reconstruction process of the extracellular matrix. We prove positivity and conditional global existence…
▽ More
We consider a haptotaxis cancer invasion model that includes two families of cancer cells. Both families, migrate on the extracellular matrix and proliferate. Moreover the model describes an epithelial-to-mesenchymal-like transition between the two families, as well as a degradation and a self-reconstruction process of the extracellular matrix. We prove positivity and conditional global existence and uniqueness of the classical solutions of the problem for large initial data.
△ Less
Submitted 26 April, 2017;
originally announced April 2017.
-
Convergence of a mixed finite element finite volume scheme for the isentropic Navier-Stokes system via dissipative measure-valued solutions
Authors:
Eduard Feireisl,
Maria Lukacova-Medvidova
Abstract:
We study convergence of a mixed finite element finite volume numerical scheme for the isentropic Navier-Stokes system under the full range of the adiabatic exponent. We establish suitable stability and consistency estimates and show that the Young measure generated by numerical solutions represents a dissipative measure-valued solutions of the limit system. In particular, using the recently establ…
▽ More
We study convergence of a mixed finite element finite volume numerical scheme for the isentropic Navier-Stokes system under the full range of the adiabatic exponent. We establish suitable stability and consistency estimates and show that the Young measure generated by numerical solutions represents a dissipative measure-valued solutions of the limit system. In particular, using the recently established weak{strong uniqueness principle in the class of dissipative measure-valued solutions we show that the numerical solutions converge strongly to a strong solutions of the limit system as long as the latter exists.
△ Less
Submitted 22 August, 2016;
originally announced August 2016.
-
Numerical simulation of a contractivity based multiscale cancer invasion model
Authors:
Niklas Kolbe,
Maria Lukacova-Medvidova,
Nikolaos Sfakianakis,
Bettina Wiebe
Abstract:
We present a problem-suited numerical method for a particularly challenging cancer invasion model. This model is a multiscale haptotaxis advection-reaction-diffusion system that describes the macroscopic dynamics of two types of cancer cells coupled with microscopic dynamics of the cells adhesion on the extracellular matrix. The difficulties to overcome arises from the non-constant advection and d…
▽ More
We present a problem-suited numerical method for a particularly challenging cancer invasion model. This model is a multiscale haptotaxis advection-reaction-diffusion system that describes the macroscopic dynamics of two types of cancer cells coupled with microscopic dynamics of the cells adhesion on the extracellular matrix. The difficulties to overcome arises from the non-constant advection and diffusion coefficients, a time delay term, as well as stiff reaction terms. Our numerical method is a second order finite volume implicit-explicit scheme adjusted to include a) non-constant diffusion coefficients in the implicit part, b) an interpolation technique for the time delay, and c) a restriction on the time increment for the stiff reaction terms.
△ Less
Submitted 17 May, 2016;
originally announced May 2016.
-
A multiscale approach to the migration of cancer stem cells: mathematical modelling and simulations
Authors:
Nikolaos Sfakianakis,
Niklas Kolbe,
Nadja Hellmann,
Maria Lukacova-Medvidova
Abstract:
We propose a multiscale model of the invasion of the extracellular matrix by two types of cancer cells, the differentiated cancer cells and the cancer stem cells. We assume that the epithelial mesenchymal-like transition between them is driven primarily by the epidermal growth factors. We moreover take into account the transidifferentiation program of the cancer stem cells and the cancer associate…
▽ More
We propose a multiscale model of the invasion of the extracellular matrix by two types of cancer cells, the differentiated cancer cells and the cancer stem cells. We assume that the epithelial mesenchymal-like transition between them is driven primarily by the epidermal growth factors. We moreover take into account the transidifferentiation program of the cancer stem cells and the cancer associated fibroblast cells as well as the fibroblast-driven remodelling of the extracellular matrix.
The proposed haptotaxis model combines the macroscopic phenomenon of the invasion of the extracellular matrix with the microscopic dynamics of the epidermal growth factors. We analyse our model in a component-wise manner and compare our findings with the literature. We investigate pathological situations regarding the epidermal growth factors and accordingly propose "mathematical-treatment" scenarios to control the aggressiveness of the tumour.
△ Less
Submitted 18 April, 2016;
originally announced April 2016.
-
A Weakly Asymptotic Preserving Low Mach Number Scheme for the Euler Equations of Gas Dynamics
Authors:
Sebastian Noelle,
Georgij Binev,
K. R. Arun,
Maria Lukáčová-Medviďová,
Claus-Dieter Munz
Abstract:
We propose a low Mach number, Godunov-type finite volume scheme for the numerical solution of the compressible Euler equations of gas dynamics. The scheme combines Klein's non-stiff/stiff decomposition of the fluxes (J. Comput. Phys. 121:213-237, 1995) with an explicit/implicit time discretization (Cordier et al., J. Comput. Phys. 231:5685- 5704, 2012) for the split fluxes. This results in a scala…
▽ More
We propose a low Mach number, Godunov-type finite volume scheme for the numerical solution of the compressible Euler equations of gas dynamics. The scheme combines Klein's non-stiff/stiff decomposition of the fluxes (J. Comput. Phys. 121:213-237, 1995) with an explicit/implicit time discretization (Cordier et al., J. Comput. Phys. 231:5685- 5704, 2012) for the split fluxes. This results in a scalar second order partial differential equation (PDE) for the pressure, which we solve by an iterative approximation. Due to our choice of a crucial reference pressure, the stiff subsystem is hyperbolic, and the second order PDE for the pressure is elliptic. The scheme is also uniformly asymptotically consistent. Numerical experiments show that the scheme needs to be stabilized for low Mach numbers. Unfortunately, this affects the asymptotic consistency, which becomes non-uniform in the Mach number, and requires an unduly fine grid in the small Mach number limit. On the other hand, the CFL number is only related to the non-stiff characteristic speeds, independently of the Mach number. Our analytical and numerical results stress the importance of further studies of asymptotic stability in the development of AP (asymptotic preserving) schemes.
△ Less
Submitted 4 December, 2014;
originally announced December 2014.
-
Numerical study of cancer cell invasion dynamics using adaptive mesh refinement: the urokinase model
Authors:
Niklas Kolbe,
Jana Katuchova,
Nikolaos Sfakianakis,
Nadja Hellmann,
Maria Lukacova-Medvidova
Abstract:
In the present work we investigate the chemotactically and proteolytically driven tissue invasion by cancer cells. The model employed is a system of advection-reaction-diffusion equations that features the role of the serine protease urokinase-type plasminogen activator. The analytical and numerical study of this system constitutes a challenge due to the merging, emerging, and travelling concentra…
▽ More
In the present work we investigate the chemotactically and proteolytically driven tissue invasion by cancer cells. The model employed is a system of advection-reaction-diffusion equations that features the role of the serine protease urokinase-type plasminogen activator. The analytical and numerical study of this system constitutes a challenge due to the merging, emerging, and travelling concentrations that the solutions exhibit.
Classical numerical methods applied to this system necessitate very fine discretization grids to resolve these dynamics in an accurate way. To reduce the computational cost without sacrificing the accuracy of the solution, we apply adaptive mesh refinement techniques, in particular h-refinement. Extended numerical experiments exhibit that this approach provides with a higher order, stable, and robust numerical method for this system. We elaborate on several mesh refinement criteria and compare the results with the ones in the literature.
We prove, for a simpler version of this model, $L^\infty$ bounds for the solutions, we study the stability of its conditional steady states, and conclude that it can serve as a test case for further development of mesh refinement techniques for cancer invasion simulations.
△ Less
Submitted 4 August, 2014;
originally announced August 2014.
-
Entropy dissipation of moving mesh adaptation
Authors:
Maria Lukacova-Medvidova,
Nikolaos Sfakianakis
Abstract:
Non-uniform grids and mesh adaptation have been a growing part of numerical simulation over the past years. It has been experimentally noted that mesh adaptation leads not only to locally improved solution but also to numerical stability of the underlying method. There have been though only few results on the mathematical analysis of these schemes due to the lack of proper tools that incorporate b…
▽ More
Non-uniform grids and mesh adaptation have been a growing part of numerical simulation over the past years. It has been experimentally noted that mesh adaptation leads not only to locally improved solution but also to numerical stability of the underlying method. There have been though only few results on the mathematical analysis of these schemes due to the lack of proper tools that incorporate both the time evolution and the mesh adaptation step of the overall algorithm.
In this paper we provide a method to perform the analysis of the mesh adaptation method, including both the mesh reconstruction and evolution of the solution. We moreover employ this method to extract sufficient conditions -on the adaptation of the mesh- that stabilize a numerical scheme in the sense of the entropy dissipation.
△ Less
Submitted 22 September, 2012;
originally announced September 2012.