-
Stability of solutions of the porous medium equation with growth with respect to the diffusion exponent
Authors:
Tomasz Dębiec,
Piotr Gwiazda,
Błażej Miasojedow,
Zuzanna Szymańska
Abstract:
We consider a macroscopic model for the growth of living tissues incorporating pressure-driven dispersal and pressure-modulated proliferation. Assuming a power-law relation between the mechanical pressure and the cell density, the model can be expressed as the porous medium equation with a growth term. We prove Hölder continuous dependence of the solutions of the model on the diffusion exponent. T…
▽ More
We consider a macroscopic model for the growth of living tissues incorporating pressure-driven dispersal and pressure-modulated proliferation. Assuming a power-law relation between the mechanical pressure and the cell density, the model can be expressed as the porous medium equation with a growth term. We prove Hölder continuous dependence of the solutions of the model on the diffusion exponent. The main difficulty lies in the degeneracy of the porous medium equations at vacuum. To deal with this issue, we first regularise the equation by shifting the initial data away from zero and then optimise the stability estimate derived in the regular setting.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Structured Population Models on Polish spaces: A unified Approach including Graphs, Riemannian Manifolds and Measure Spaces to describe Dynamics of Heterogeneous Populations
Authors:
Christian Düll,
Piotr Gwiazda,
Anna Marciniak-Czochra,
Jakub Skrzeczkowski
Abstract:
This paper presents a mathematical framework for modeling the dynamics of heterogeneous populations. Models describing local and non-local growth and transport processes, dependent on dynamically changing population structures, appear in a variety of applications such as crowd dynamics, tissue regeneration, cancer development, and coagulation-fragmentation processes. The current body of literature…
▽ More
This paper presents a mathematical framework for modeling the dynamics of heterogeneous populations. Models describing local and non-local growth and transport processes, dependent on dynamically changing population structures, appear in a variety of applications such as crowd dynamics, tissue regeneration, cancer development, and coagulation-fragmentation processes. The current body of literature regarding mathematical modeling presents common challenges to mathematicians due to the multiscale nature of the structures that underlie self-organisation and control within complex, heterogeneous systems. In various applications, similar, abstract mathematical concepts arise through problem formulation and the assimilation of mathematical depictions into the language of measure evolution on a multi-faceted state space. In view of the above observations, we propose an overarching mathematical framework for nonlinear structured population models on abstract metric spaces, which are only assumed to be separable and complete.
To achieve this, we exploit the structure of the space of non-negative Radon measures under the dual bounded Lipschitz distance (flat metric), a generalization of the Wasserstein distance that is capable of addressing non-conservative problems. The formulation of models on generic metric spaces facilitates the study on infinite-dimensional state spaces or graphs with a combination of discrete and continuous structures. This opens up exciting possibilities for modeling single cell data, crowd dynamics or coagulation-fragmentation processes.
△ Less
Submitted 29 September, 2023; v1 submitted 20 July, 2023;
originally announced July 2023.
-
On the rate of convergence of Yosida approximation for the nonlocal Cahn-Hilliard equation
Authors:
Piotr Gwiazda,
Jakub Skrzeczkowski,
Lara Trussardi
Abstract:
It is well-known that one can construct solutions to the nonlocal Cahn-Hilliard equation with singular potentials via Yosida approximation with parameter $λ\to 0$. The usual method is based on compactness arguments and does not provide any rate of convergence. Here, we fill the gap and we obtain an explicit convergence rate $\sqrtλ$. The proof is based on the theory of maximal monotone operators a…
▽ More
It is well-known that one can construct solutions to the nonlocal Cahn-Hilliard equation with singular potentials via Yosida approximation with parameter $λ\to 0$. The usual method is based on compactness arguments and does not provide any rate of convergence. Here, we fill the gap and we obtain an explicit convergence rate $\sqrtλ$. The proof is based on the theory of maximal monotone operators and an observation that the nonlocal operator is of Hilbert-Schmidt type. Our estimate can provide convergence result for the Galerkin methods where the parameter $λ$ could be linked to the discretization parameters, yielding appropriate error estimates.
△ Less
Submitted 14 February, 2024; v1 submitted 22 June, 2023;
originally announced June 2023.
-
From nonlocal Euler-Korteweg to local Cahn-Hilliard via the high-friction limit
Authors:
Charles Elbar,
Piotr Gwiazda,
Jakub Skrzeczkowski,
Agnieszka Świerczewska-Gwiazda
Abstract:
Several recent papers considered the high-friction limit for systems arising in fluid mechanics. Following this approach, we rigorously derive the nonlocal Cahn-Hilliard equation as a limit of the nonlocal Euler-Korteweg equation using the relative entropy method. Applying the recent result by the first and third author, we also derive rigorously the local degenerate Cahn-Hilliard equation. The pr…
▽ More
Several recent papers considered the high-friction limit for systems arising in fluid mechanics. Following this approach, we rigorously derive the nonlocal Cahn-Hilliard equation as a limit of the nonlocal Euler-Korteweg equation using the relative entropy method. Applying the recent result by the first and third author, we also derive rigorously the local degenerate Cahn-Hilliard equation. The proof is formulated for dissipative measure-valued solutions of the nonlocal Euler-Korteweg equation which are known to exist on arbitrary intervals of time. Our work provides a new method to derive equations not enjoying classical solutions via relative entropy method by introducing the nonlocal effect in the fluid equation.
△ Less
Submitted 23 August, 2023; v1 submitted 2 May, 2023;
originally announced May 2023.
-
Cahn-Hillard and Keller-Segel systems as high-friction limits of Euler-Korteweg and Euler-Poisson equations
Authors:
Dennis Gallenmüller,
Piotr Gwiazda,
Agnieszka Świerczewska-Gwiazda,
Jakub Woźnicki
Abstract:
We consider a combined system of Euler--Korteweg and Euler--Poisson equations with friction and exponential pressure with exponent $γ> 1$. We show the existence of dissipative measure-valued solutions in the cases of repulsive and attractive potential in Euler--Poisson system. The latter case requires additional restriction on $γ$. Furthermore in case of $γ\geq 2$ we show that the strong solutions…
▽ More
We consider a combined system of Euler--Korteweg and Euler--Poisson equations with friction and exponential pressure with exponent $γ> 1$. We show the existence of dissipative measure-valued solutions in the cases of repulsive and attractive potential in Euler--Poisson system. The latter case requires additional restriction on $γ$. Furthermore in case of $γ\geq 2$ we show that the strong solutions to the Cahn--Hillard--Keller--Segel system are a high-friction limit of the dissipative measure-valued solutions to Euler--Korteweg--Poisson equations.
△ Less
Submitted 8 April, 2023;
originally announced April 2023.
-
Mathematical theory of compressible magnetohydrodynamics driven by non-conservative boundary conditions
Authors:
Eduard Feireisl,
Piotr Gwiazda,
Young-Sam Kwon,
Agnieszka Świerczewska-Gwiazda
Abstract:
We propose a new concept of weak solution to the equations of compressible magnetohydrodynamics driven by large boundary data. The system of the underlying field equations is solvable globally in time in the out of equilibrium regime characteristic for turbulence. The weak solutions comply with the weak-strong uniqueness principle; they coincide with the classical solution of the problem as long a…
▽ More
We propose a new concept of weak solution to the equations of compressible magnetohydrodynamics driven by large boundary data. The system of the underlying field equations is solvable globally in time in the out of equilibrium regime characteristic for turbulence. The weak solutions comply with the weak-strong uniqueness principle; they coincide with the classical solution of the problem as long as the latter exists. The choice of constitutive relations is motivated by applications in stellar magnetoconvection.
△ Less
Submitted 2 April, 2023;
originally announced April 2023.
-
Non-Newtonian fluids with discontinuous-in-time stress tensor
Authors:
Miroslav Buliček,
Piotr Gwiazda,
Jakub Skrzeczkowski,
Jakub Woźnicki
Abstract:
We consider the system of equations describing the flow of incompressible fluids in bounded domain. In the considered setting, the Cauchy stress tensor is a monotone map** and has asymptotically $(s-1)$-growth with the parameter $s$ depending on the spatial and time variable. We do not assume any smoothness of $s$ with respect to time variable and assume the log-Hölder continuity with respect to…
▽ More
We consider the system of equations describing the flow of incompressible fluids in bounded domain. In the considered setting, the Cauchy stress tensor is a monotone map** and has asymptotically $(s-1)$-growth with the parameter $s$ depending on the spatial and time variable. We do not assume any smoothness of $s$ with respect to time variable and assume the log-Hölder continuity with respect to spatial variable. Such a setting is a natural choice if the material properties are instantaneously, e.g. by the switched electric field. We establish the long time and the large data existence of weak solution provided that $s\ge(3d+2)(d+2)$.
△ Less
Submitted 21 September, 2022;
originally announced September 2022.
-
Time periodic motion of temperature driven compressible fluids
Authors:
Eduard Feireisl,
Piotr Gwiazda,
Agnieszka Swierczewska-Gwiazda
Abstract:
We consider the Navier-Stokes-Fourier system describing the motion of a compressible viscous fluid in a container with impermeable boundary subject to time periodic heating and under the action of a time periodic potential force. We show the existence of a time periodic weak solution for arbitrarily large physically admissible data.
We consider the Navier-Stokes-Fourier system describing the motion of a compressible viscous fluid in a container with impermeable boundary subject to time periodic heating and under the action of a time periodic potential force. We show the existence of a time periodic weak solution for arbitrarily large physically admissible data.
△ Less
Submitted 11 April, 2022;
originally announced April 2022.
-
Analysis of the generalised Aw-Rascle model
Authors:
Nilasis Chaudhuri,
Piotr Gwiazda,
Ewelina Zatorska
Abstract:
We consider the multi-dimensional generalization of the Aw-Rascle system for vehicular traffic. For an arbitrary large class of initial data and the periodic domain, we prove the existence of global-in-time measure-valued solutions. Moreover, using the relative energy technique, we show that the measure-valued solutions coincide with the classical solutions as long as the latter exist.
We consider the multi-dimensional generalization of the Aw-Rascle system for vehicular traffic. For an arbitrary large class of initial data and the periodic domain, we prove the existence of global-in-time measure-valued solutions. Moreover, using the relative energy technique, we show that the measure-valued solutions coincide with the classical solutions as long as the latter exist.
△ Less
Submitted 23 February, 2023; v1 submitted 8 February, 2022;
originally announced February 2022.
-
On a range of exponents for absence of Lavrentiev phenomenon for double phase functionals
Authors:
Miroslav Bulíček,
Piotr Gwiazda,
Jakub Skrzeczkowski
Abstract:
For a class of functionals having the $(p,q)$-growth, we establish an improved range of exponents $p$, $q$ for which the Lavrentiev phenomenon does not occur. The proof is based on a standard mollification argument and Young convolution inequality. Our contribution is two-fold. First, we observe that it is sufficient to regularise only bounded functions. Second, we exploit the $L^{\infty}$ bound o…
▽ More
For a class of functionals having the $(p,q)$-growth, we establish an improved range of exponents $p$, $q$ for which the Lavrentiev phenomenon does not occur. The proof is based on a standard mollification argument and Young convolution inequality. Our contribution is two-fold. First, we observe that it is sufficient to regularise only bounded functions. Second, we exploit the $L^{\infty}$ bound on the function rather than the $L^p$ estimate on the gradient. Our proof does not rely on the properties of minimizers to variational problems but it is rather a consequence of the underlying Musielak-Orlicz function spaces. Moreover, our method works for unbounded boundary data, the variable exponent functionals and vectorial problems. In addition, the result seems to be optimal for $p\le d$.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
Measure Differential Equation with a Nonlinear Growth/Decay Term
Authors:
Christian Düll,
Piotr Gwiazda,
Anna Marciniak-Czochra,
Jakub Skrzeczkowski
Abstract:
We obtain an existence result for a Measure Differential Equation with an additional nonlinear growth/decay term that may change the sign. The proof requires a modification of approximating schemes proposed by Piccoli and Rossi. The new scheme combines model discretisation with the exponential solution of the nonlinear growth/decay and hence preserves nonnegativity of the measure. Furthermore, we…
▽ More
We obtain an existence result for a Measure Differential Equation with an additional nonlinear growth/decay term that may change the sign. The proof requires a modification of approximating schemes proposed by Piccoli and Rossi. The new scheme combines model discretisation with the exponential solution of the nonlinear growth/decay and hence preserves nonnegativity of the measure. Furthermore, we formulate a simpler analytic condition on the Measure Vector Field which substantially simplifies the previous proof of continuity of solutions with respect to initial data.
△ Less
Submitted 26 October, 2021; v1 submitted 30 September, 2021;
originally announced September 2021.
-
Dissipative measure-valued solutions to the Euler-Poisson equation
Authors:
José A. Carrillo,
Tomasz Dębiec,
Piotr Gwiazda,
Agnieszka Świerczewska-Gwiazda
Abstract:
We consider several pressureless variants of the compressible Euler equation driven by nonlocal repulsionattraction and alignment forces with Poisson interaction. Under an energy admissibility criterion, we prove existence of global measure-valued solutions, i.e., very weak solutions described by a classical Young measure together with appropriate concentration defects. We then investigate the evo…
▽ More
We consider several pressureless variants of the compressible Euler equation driven by nonlocal repulsionattraction and alignment forces with Poisson interaction. Under an energy admissibility criterion, we prove existence of global measure-valued solutions, i.e., very weak solutions described by a classical Young measure together with appropriate concentration defects. We then investigate the evolution of a relative energy functional to compare a measure-valued solution to a regular solution emanating from the same initial datum. This leads to a (partial) weak-strong uniqueness principle.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
Bayesian inference of a non-local proliferation model
Authors:
Zuzanna Szymańska,
Jakub Skrzeczkowski,
Błażej Miasojedow,
Piotr Gwiazda
Abstract:
From a systems biology perspective the majority of cancer models, although interesting and providing a qualitative explanation of some problems, have a major disadvantage in that they usually miss a genuine connection with experimental data. Having this in mind, in this paper, we aim at contributing to the improvement of many cancer models which contain a proliferation term. To this end, we propos…
▽ More
From a systems biology perspective the majority of cancer models, although interesting and providing a qualitative explanation of some problems, have a major disadvantage in that they usually miss a genuine connection with experimental data. Having this in mind, in this paper, we aim at contributing to the improvement of many cancer models which contain a proliferation term. To this end, we propose a new non-local model of cell proliferation. We select data which are suitable to perform a Bayesian inference for unknown parameters and we provide a discussion on the range of applicability of the model. Furthermore, we provide proof of the stability of a posteriori distributions in total variation norm which exploits the theory of spaces of measures equipped with the weighted flat norm. In a companion paper, we provide a detailed proof of the well-posedness of the problem and we investigate the convergence of the EBT algorithm applied to solve the equation.
△ Less
Submitted 12 August, 2021; v1 submitted 10 June, 2021;
originally announced June 2021.
-
Convergence of the EBT method for a non-local model of cell proliferation with discontinuous interaction kernel
Authors:
Piotr Gwiazda,
Błażej Miasojedow,
Jakub Skrzeczkowski,
Zuzanna Szymańska
Abstract:
We consider the EBT algorithm (a particle method) for the non-local equation with a discontinuous interaction kernel. The main difficulty lies in the low regularity of the kernel which is not Lipschitz continuous, thus preventing the application of standard arguments. Therefore, we use the radial symmetry of the problem instead and transform it using spherical coordinates. The resulting equation h…
▽ More
We consider the EBT algorithm (a particle method) for the non-local equation with a discontinuous interaction kernel. The main difficulty lies in the low regularity of the kernel which is not Lipschitz continuous, thus preventing the application of standard arguments. Therefore, we use the radial symmetry of the problem instead and transform it using spherical coordinates. The resulting equation has a Lipschitz kernel with only one singularity at zero. We introduce a new weighted flat norm and prove that the particle method converges in this norm. We also comment on the two-dimensional case which requires the application of the theory of measure spaces on general metric spaces and present numerical simulations confirming the theoretical results. In a companion paper, we apply the Bayesian method to fit parameters to this model and study its theoretical properties.
△ Less
Submitted 22 June, 2021; v1 submitted 9 June, 2021;
originally announced June 2021.
-
Existence and differentiability in parameter of the measure solution to a perturbed non-linear transport equation
Authors:
Piotr Gwiazda,
Sander C. Hille,
Kamila Łyczek
Abstract:
We consider a perturbation in the non-linear transport equation on measures i.e. both initial condition $μ_0$ and the solution $μ_t^h$ are bounded Radon measures $\mathcal{M}(\mathbb{R}^d)$. The perturbations occur in the velocity field and also in the right-hand side scalar function. It is shown that the solution is differentiable with respect to the perturbation parameter $h$ i.e. that derivativ…
▽ More
We consider a perturbation in the non-linear transport equation on measures i.e. both initial condition $μ_0$ and the solution $μ_t^h$ are bounded Radon measures $\mathcal{M}(\mathbb{R}^d)$. The perturbations occur in the velocity field and also in the right-hand side scalar function. It is shown that the solution is differentiable with respect to the perturbation parameter $h$ i.e. that derivative is an element of a proper Banach space. This result extends our previous result which considered the linear transport equation. The proof exploits approximation of the non-linear problem which is based on the study of the linear equation.
△ Less
Submitted 3 July, 2020;
originally announced July 2020.
-
On renormalized solutions to elliptic inclusions with nonstandard growth
Authors:
Anna Denkowska,
Piotr Gwiazda,
Piotr Kalita
Abstract:
We study the elliptic inclusion given in the following divergence form
\begin{align*}
& -\mathrm{div}\, A(x,\nabla u) \ni f\quad \mathrm{in}\quad Ω,
& u=0\quad \mathrm{on}\quad \partial Ω.
\end{align*}
As we assume that $f\in L^1(Ω)$, the solutions to the above problem are understood in the renormalized sense. We also assume nonstandard, possibly nonpolynomial, heterogeneous and anisotro…
▽ More
We study the elliptic inclusion given in the following divergence form
\begin{align*}
& -\mathrm{div}\, A(x,\nabla u) \ni f\quad \mathrm{in}\quad Ω,
& u=0\quad \mathrm{on}\quad \partial Ω.
\end{align*}
As we assume that $f\in L^1(Ω)$, the solutions to the above problem are understood in the renormalized sense. We also assume nonstandard, possibly nonpolynomial, heterogeneous and anisotropic growth and coercivity conditions on the maximally monotone multifunction $A$ which necessitates the use of the nonseparable and nonreflexive Musielak--Orlicz spaces. We prove the existence and uniqueness of the renormalized solution as well as, under additional assumptions on the problem data, its relation to the weak solution. The key difficulty, the lack of a Carathéodory selection of the maximally monotone multifunction is overcome with the use of the Minty transform.
△ Less
Submitted 4 September, 2020; v1 submitted 29 December, 2019;
originally announced December 2019.
-
Parabolic equations in Musielak -- Orlicz spaces with discontinuous in time $N$-function
Authors:
Miroslav Bulíček,
Piotr Gwiazda,
Jakub Skrzeczkowski
Abstract:
We consider a parabolic PDE with Dirichlet boundary condition and monotone operator $A$ with non-standard growth controlled by an $N$-function depending on time and spatial variable. We do not assume continuity in time for the $N$-function. Using an additional regularization effect coming from the equation, we establish the existence of weak solutions and in the particular case of isotropic $N$-fu…
▽ More
We consider a parabolic PDE with Dirichlet boundary condition and monotone operator $A$ with non-standard growth controlled by an $N$-function depending on time and spatial variable. We do not assume continuity in time for the $N$-function. Using an additional regularization effect coming from the equation, we establish the existence of weak solutions and in the particular case of isotropic $N$-function, we also prove their uniqueness. This general result applies to equations studied in the literature like $p(t,x)$-Laplacian and double-phase problems.
△ Less
Submitted 28 November, 2020; v1 submitted 25 November, 2019;
originally announced November 2019.
-
Onsager's conjecture in bounded domains for the conservation of entropy and other companion laws
Authors:
Claude Bardos,
Piotr Gwiazda,
Agnieszka Świerczewska-Gwiazda,
Edriss S. Titi,
Emil Wiedemann
Abstract:
We show that weak solutions of general conservation laws in bounded domains conserve their generalized entropy, and other respective companion laws, if they possess a certain fractional differentiability of order 1/3 in the interior of the domain, and if the normal component of the corresponding fluxes tend to zero as one approaches the boundary. This extends various recent results of the authors.
We show that weak solutions of general conservation laws in bounded domains conserve their generalized entropy, and other respective companion laws, if they possess a certain fractional differentiability of order 1/3 in the interior of the domain, and if the normal component of the corresponding fluxes tend to zero as one approaches the boundary. This extends various recent results of the authors.
△ Less
Submitted 19 February, 2019;
originally announced February 2019.
-
Asymptotic behaviour of a structured population model on a space of measures
Authors:
József Z. Farkas,
Piotr Gwiazda,
Anna Marciniak-Czochra
Abstract:
In this paper we consider a physiologically structured population model with distributed states at birth, formulated on the space of non-negative Radon measures. Using a characterisation of the pre-dual space of bounded Lipschitz functions, we show how to apply the theory of strongly continuous positive semigroups to such a model. In particular, we establish the exponential convergence of solution…
▽ More
In this paper we consider a physiologically structured population model with distributed states at birth, formulated on the space of non-negative Radon measures. Using a characterisation of the pre-dual space of bounded Lipschitz functions, we show how to apply the theory of strongly continuous positive semigroups to such a model. In particular, we establish the exponential convergence of solutions to a one-dimensional global attractor.
△ Less
Submitted 16 May, 2022; v1 submitted 16 February, 2019;
originally announced February 2019.
-
A two species hyperbolic-parabolic model of tissue growth
Authors:
Piotr Gwiazda,
Benoît Perthame,
Agnieszka Świerczewska-Gwiazda
Abstract:
Models of tissue growth are now well established, in particular in relation to their applications to cancer. They describe the dynamics of cells subject to motion resulting from a pressure gradient generated by the death and birth of cells, itself controlled primarily by pressure through contact inhibition. In the compressible regime we consider, when pressure results from the cell densities and w…
▽ More
Models of tissue growth are now well established, in particular in relation to their applications to cancer. They describe the dynamics of cells subject to motion resulting from a pressure gradient generated by the death and birth of cells, itself controlled primarily by pressure through contact inhibition. In the compressible regime we consider, when pressure results from the cell densities and when two different populations of cells are considered, a specific difficulty arises from the hyperbolic character of the equation for each cell density, and to the parabolic aspect of the equation for the total cell density. For that reason, few a priori estimates are available and discontinuities may occur. Therefore the existence of solutions is a difficult problem.
Here, we establish the existence of weak solutions to the model with two cell populations which react similarly to the pressure in terms of their motion but undergo different growth/death rates. In opposition to the method used in the recent paper of J. A. Carrillo, S. Fagioli, F. Santambrogio, and M.Schmidtchen, Splitting schemes & segregation in reaction-(cross-)diffusion systems, our strategy is to ignore compactness on the cell densities and to prove strong compactness on the pressure gradient. We improve known results in two directions; we obtain new estimates, we treat higher dimension than 1 and we deal with singularities resulting from vacuum.
△ Less
Submitted 6 September, 2018;
originally announced September 2018.
-
Renormalized solutions to parabolic equations in time and space dependent anisotropic Musielak-Orlicz spaces in absence of Lavrentiev's phenomenon
Authors:
Iwona Chlebicka,
Piotr Gwiazda,
Anna Zatorska-Goldstein
Abstract:
We provide existence and uniqueness of renomalized solutions to a general nonlinear parabolic equation with merely integrable data on a Lipschitz bounded domain in $\mathbb{R}^n$. Namely we study \begin{equation*} \left\{\begin{array}{l } \partial_t u-{\rm div} A(t,x,\nabla u)= f(t,x) \in L^1(Ω_T),\\ u(0,x)=u_0(x)\in L^1(Ω). \end{array}\right. \end{equation*} The growth of the monotone vector fiel…
▽ More
We provide existence and uniqueness of renomalized solutions to a general nonlinear parabolic equation with merely integrable data on a Lipschitz bounded domain in $\mathbb{R}^n$. Namely we study \begin{equation*} \left\{\begin{array}{l } \partial_t u-{\rm div} A(t,x,\nabla u)= f(t,x) \in L^1(Ω_T),\\ u(0,x)=u_0(x)\in L^1(Ω). \end{array}\right. \end{equation*} The growth of the monotone vector field $A$ is assumed to be controlled by a generalized nonhomogeneous and anisotropic $N$-function $M:[0,T)\times Ω\times\mathbb{R}^n \to[0,\infty)$. Existence and uniqueness of renormalized solutions are proven in absence of~Lavrentiev's phenomenon. The condition we impose to ensure approximation properties of the space is a certain type of balance of interplay between the behaviour of $M$ for large $|ξ|$ and small changes of time and space variables. Its instances are log-Hölder continuity of variable exponent (inhomogeneous in time and space) or optimal closeness condition for powers in double phase spaces (changing in time). The noticeable challenge of this paper is considering the problem in non-reflexive and inhomogeneous fully anisotropic space that changes along time. New delicate approximation-in-time result is proven and applied in the construction of renormalized solutions.
△ Less
Submitted 23 July, 2018; v1 submitted 15 July, 2018;
originally announced July 2018.
-
Parabolic equation in time and space dependent anisotropic Musielak-Orlicz spaces in absence of Lavrentiev's phenomenon
Authors:
Iwona Chlebicka,
Piotr Gwiazda,
Anna Zatorska-Goldstein
Abstract:
We study a general nonlinear parabolic equation on a Lipschitz bounded domain in $\mathbb{R}^N$, \begin{equation*} \left\{\begin{array}{l l} \partial_t u-\mathrm{div} A(t,x,\nabla u)= f(t,x)&\text{in}\ \ Ω_T,\\ u(t,x)=0 &\ \mathrm{ on} \ (0,T)\times\partialΩ,\\ u(0,x)=u_0(x)&\text{in}\ Ω, \end{array}\right. \end{equation*} with $f\in L^\infty(Ω_T)$ and $u_0\in L^\infty(Ω)$. The growth of the monot…
▽ More
We study a general nonlinear parabolic equation on a Lipschitz bounded domain in $\mathbb{R}^N$, \begin{equation*} \left\{\begin{array}{l l} \partial_t u-\mathrm{div} A(t,x,\nabla u)= f(t,x)&\text{in}\ \ Ω_T,\\ u(t,x)=0 &\ \mathrm{ on} \ (0,T)\times\partialΩ,\\ u(0,x)=u_0(x)&\text{in}\ Ω, \end{array}\right. \end{equation*} with $f\in L^\infty(Ω_T)$ and $u_0\in L^\infty(Ω)$. The growth of the monotone vector field $A$ is controlled by a generalized fully anisotropic $N$-function $M:[0,T)\timesΩ\times\mathbb{R}^N\to[0,\infty)$ inhomogeneous in time and space, and under no growth restrictions on the last variable. It results in the need of the integration by parts formula which has to be formulated in an advanced way. Existence and uniqueness of solutions are proven when the Musielak-Orlicz space is reflexive OR in absence of Lavrentiev's phenomenon. To ensure approximation properties of the space we impose natural assumption that the asymptotic behaviour of the modular function is sufficiently balanced. Its instances are log-Hölder continuity of variable exponent or optimal closeness condition for powers in double phase spaces.
The noticeable challenge of this paper is cosidering the problem in non-reflexive and inhomogeneous fully anisotropic space that changes along time.
△ Less
Submitted 15 July, 2018; v1 submitted 15 June, 2018;
originally announced June 2018.
-
On the Extension of Onsager's Conjecture for General Conservation Laws
Authors:
Claude Bardos,
Piotr Gwiazda,
Agnieszka Świerczewska-Gwiazda,
Edriss S. Titi,
Emil Wiedemann
Abstract:
The aim of this work is to extend and prove the Onsager conjecture for a class of conservation laws that possess generalized entropy. One of the main findings of this work is the "universality" of the Onsager exponent, $α> 1/3$, concerning the regularity of the solutions, say in $C^{0,α}$, that guarantees the conservation of the generalized entropy; regardless of the structure of the genuine nonli…
▽ More
The aim of this work is to extend and prove the Onsager conjecture for a class of conservation laws that possess generalized entropy. One of the main findings of this work is the "universality" of the Onsager exponent, $α> 1/3$, concerning the regularity of the solutions, say in $C^{0,α}$, that guarantees the conservation of the generalized entropy; regardless of the structure of the genuine nonlinearity in the underlying system.
△ Less
Submitted 6 June, 2018;
originally announced June 2018.
-
The Escalator Boxcar Train Method for a System of Aged-structured Equations in the Space of Measures
Authors:
José A. Carrillo,
Piotr Gwiazda,
Karolina Kropielnicka,
Anna Marciniak-Czochra
Abstract:
The Escalator Boxcar Train (EBT) method is a well known and widely used numerical method for one-dimensional structured population models of McKendrick-von Foerster type. Recently the method, in its full generality, has been applied to aged-structured two-sex population model (Fredrickson-Hoppensteadt model), which consists of three coupled hyperbolic partial differential equations with nonlocal b…
▽ More
The Escalator Boxcar Train (EBT) method is a well known and widely used numerical method for one-dimensional structured population models of McKendrick-von Foerster type. Recently the method, in its full generality, has been applied to aged-structured two-sex population model (Fredrickson-Hoppensteadt model), which consists of three coupled hyperbolic partial differential equations with nonlocal boundary conditions. We derive the simplified EBT method and prove its convergence to the solution of Fredrickson-Hoppensteadt model. The convergence can be proven, however only if we analyse the whole problem in the space of nonnegative Radon measures equipped with bounded Lipschitz distance (flat metric). Numerical simulations are presented to illustrate the results.
△ Less
Submitted 5 June, 2018;
originally announced June 2018.
-
Differentiability in perturbation parameter of measure solutions to perturbed transport equation
Authors:
Piotr Gwiazda,
Sander C. Hille,
Kamila Łyczek,
Agnieszka Świerczewska-Gwiazda
Abstract:
We consider a linear perturbation in the velocity field of the transport equation. We investigate solutions in the space of bounded Radon measures and show that they are differentiable with respect to the perturbation parameter in a proper Banach space, which is predual to the Hölder space $\mathcal{C}^{1+α}(\mathbb{R}^d)$. This result on differentiability is necessary for application in optimal c…
▽ More
We consider a linear perturbation in the velocity field of the transport equation. We investigate solutions in the space of bounded Radon measures and show that they are differentiable with respect to the perturbation parameter in a proper Banach space, which is predual to the Hölder space $\mathcal{C}^{1+α}(\mathbb{R}^d)$. This result on differentiability is necessary for application in optimal control theory, which we also discuss.
△ Less
Submitted 26 February, 2019; v1 submitted 1 June, 2018;
originally announced June 2018.
-
Relative Entropy Method for Measure Solutions of the Growth-Fragmentation Equation
Authors:
Tomasz Dębiec,
Marie Doumic,
Piotr Gwiazda,
Emil Wiedemann
Abstract:
The aim of this study is to generalise recent results of the two last authors on en-tropy methods for measure solutions of the renewal equation to other classes of structured population problems. Specifically, we develop a generalised relative entropy inequality for the growth-fragmentation equation and prove asymptotic convergence to a steady-state solution, even when the initial datum is only a…
▽ More
The aim of this study is to generalise recent results of the two last authors on en-tropy methods for measure solutions of the renewal equation to other classes of structured population problems. Specifically, we develop a generalised relative entropy inequality for the growth-fragmentation equation and prove asymptotic convergence to a steady-state solution, even when the initial datum is only a non-negative measure.
△ Less
Submitted 10 April, 2018;
originally announced April 2018.
-
Existence and homogenization of nonlinear elliptic systems in nonreflexive spaces
Authors:
Miroslav Bulíček,
Piotr Gwiazda,
Martin Kalousek,
Agnieszka Świerczewska-Gwiazda
Abstract:
We consider a strongly nonlinear elliptic problem with the homogeneous Dirichlet boundary condition. The growth and the coercivity of the elliptic operator is assumed to be indicated by an inhomogeneous anisotropic $\mathcal{N}$-function. First, an existence result is shown under the assumption that the $\mathcal{N}$-function or its convex conjugate satisfies $Δ_2$-condition. The second result con…
▽ More
We consider a strongly nonlinear elliptic problem with the homogeneous Dirichlet boundary condition. The growth and the coercivity of the elliptic operator is assumed to be indicated by an inhomogeneous anisotropic $\mathcal{N}$-function. First, an existence result is shown under the assumption that the $\mathcal{N}$-function or its convex conjugate satisfies $Δ_2$-condition. The second result concerns the homogenization process for families of strongly nonlinear elliptic problems with the homogeneous Dirichlet boundary condition under above stated conditions on the elliptic operator, which is additionally assumed to be periodic in the spatial variable.
△ Less
Submitted 21 January, 2018;
originally announced January 2018.
-
Dissipative measure valued solutions for general conservation laws
Authors:
Piotr Gwiazda,
Ondřej Kreml,
Agnieszka Świerczewska-Gwiazda
Abstract:
In the last years measure-valued solutions started to be considered as a relevant notion of solutions if they satisfy the so-called measure-valued -- strong uniqueness principle. This means that they coincide with a strong solution emanating from the same initial data if this strong solution exists. This property has been examined for many systems of mathematical physics, including incompressible…
▽ More
In the last years measure-valued solutions started to be considered as a relevant notion of solutions if they satisfy the so-called measure-valued -- strong uniqueness principle. This means that they coincide with a strong solution emanating from the same initial data if this strong solution exists. This property has been examined for many systems of mathematical physics, including incompressible and compressible Euler system, compressible Navier-Stokes system et al. and there are also some results concerning general hyperbolic systems. Our goal is to provide a unified framework for general systems, that would cover the most interesting cases of systems, and most importantly, we give examples of equations, for which the aspect of measure-valued -- strong uniqueness has not been considered before, like incompressible magentohydrodynamics and shallow water magnetohydrodynamics.
△ Less
Submitted 3 January, 2018;
originally announced January 2018.
-
Conservation of energy for the Euler-Korteweg equations
Authors:
Tomasz Dębiec,
Piotr Gwiazda,
Agnieszka Świerczewska-Gwiazda,
Athanasios Tzavaras
Abstract:
In this article we study the principle of energy conservation for the Euler-Korteweg system. We formulate an Onsager-type sufficient regularity condition for weak solutions of the Euler-Korteweg system to conserve the total energy. The result applies to the system of Quantum Hydrodynamics.
In this article we study the principle of energy conservation for the Euler-Korteweg system. We formulate an Onsager-type sufficient regularity condition for weak solutions of the Euler-Korteweg system to conserve the total energy. The result applies to the system of Quantum Hydrodynamics.
△ Less
Submitted 30 December, 2017;
originally announced January 2018.
-
Gossez's approximation theorems in the Musielak-Orlicz-Sobolev spaces
Authors:
Youssef Ahmida,
Iwona Chlebicka,
Piotr Gwiazda,
Ahmed Youssfi
Abstract:
We prove the density of smooth functions in the modular topology in the Musielak-Orlicz-Sobolev spaces essentially extending the results of Gossez \cite{GJP2} obtained in the Orlicz-Sobolev setting. We impose new systematic regularity assumption on $M$ which allows to study the problem of density unifying and improving the known results in the Orlicz-Sobolev spaces, as well as the variable exponen…
▽ More
We prove the density of smooth functions in the modular topology in the Musielak-Orlicz-Sobolev spaces essentially extending the results of Gossez \cite{GJP2} obtained in the Orlicz-Sobolev setting. We impose new systematic regularity assumption on $M$ which allows to study the problem of density unifying and improving the known results in the Orlicz-Sobolev spaces, as well as the variable exponent Sobolev spaces.
We confirm the precision of the method by showing the lack of the Lavrentiev phenomenon in the double-phase case. Indeed, we get the modular approximation of $W^{1,p}_0(Ω)$ functions by smooth functions in the double-phase space governed by the modular function $H(x,s)=s^p+a(x)s^q$ with $a\in C^{0,α}(Ω)$ excluding the Lavrentiev phenomenon within the sharp range $q/p\leq 1+α/N$. See \cite[Theorem~4.1]{min-double-reg1} for the sharpness of the result.
△ Less
Submitted 13 April, 2018; v1 submitted 16 November, 2017;
originally announced November 2017.
-
Relative entropy method for measure-valued solutions in natural sciences
Authors:
Tomasz Dębiec,
Piotr Gwiazda,
Kamila Łyczek,
Agnieszka Świerczewska-Gwiazda
Abstract:
In this article we describe the applications of the relative entropy framework. In particular uniqueness of an entropy solution is proven for a scalar conservation law, using the notion of measure-valued entropy solutions. Further we survey recent results concerning measure-valued-strong uniqueness for a number of physical systems - incompressible and compressible Euler equations, compressible Nav…
▽ More
In this article we describe the applications of the relative entropy framework. In particular uniqueness of an entropy solution is proven for a scalar conservation law, using the notion of measure-valued entropy solutions. Further we survey recent results concerning measure-valued-strong uniqueness for a number of physical systems - incompressible and compressible Euler equations, compressible Navier-Stokes, polyconvex elastodynamics and general hyperbolic conservation laws, as well as long-time asymptotics of the McKendrick-Von Foerster equation.
△ Less
Submitted 4 September, 2017;
originally announced September 2017.
-
A tribute to conservation of energy for weak solutions
Authors:
Tomasz Dębiec,
Piotr Gwiazda,
Agnieszka Świerczewska-Gwiazda
Abstract:
In this article we focus our attention on the principle of energy conservation within the context of systems of fluid dynamics. We give an overview of results concerning the resolution of the famous Onsager conjecture - which states regularity requirements for weak solutions of the incompressible Euler system to conserve energy. Further we survey results providing optimal sufficient regularity con…
▽ More
In this article we focus our attention on the principle of energy conservation within the context of systems of fluid dynamics. We give an overview of results concerning the resolution of the famous Onsager conjecture - which states regularity requirements for weak solutions of the incompressible Euler system to conserve energy. Further we survey results providing optimal sufficient regularity conditions for energy conservation for other balance laws: compressible Euler, Navier-Stokes, magnetohydrodynamics and general conservation laws.
△ Less
Submitted 31 July, 2017;
originally announced July 2017.
-
Well-posedness of parabolic equations in the non-reflexive and anisotropic Musielak-Orlicz spaces in the class of renormalized solutions
Authors:
Iwona Chlebicka,
Piotr Gwiazda,
Anna Zatorska-Goldstein
Abstract:
We prove existence and uniqueness of renormalized solutions to general nonlinear parabolic equation in Musielak-Orlicz space avoiding growth restrictions. Namely, we consider \[\partial_t u-\mathrm{div} A(x,\nabla u)= f\in L^1(Ω_T),\] on a Lipschitz bounded domain in $\mathbb{R}^n$. The growth of the weakly monotone vector field $A$ is controlled by a generalized nonhomogeneous and anisotropic…
▽ More
We prove existence and uniqueness of renormalized solutions to general nonlinear parabolic equation in Musielak-Orlicz space avoiding growth restrictions. Namely, we consider \[\partial_t u-\mathrm{div} A(x,\nabla u)= f\in L^1(Ω_T),\] on a Lipschitz bounded domain in $\mathbb{R}^n$. The growth of the weakly monotone vector field $A$ is controlled by a generalized nonhomogeneous and anisotropic $N$-function $M$. The approach does not require any particular type of growth condition of $M$ or its conjugate $M^*$ (neither $Δ_2$, nor $\nabla_2$). The condition we impose on $M$ is continuity of log-Hölder-type, which results in good approximation properties of the space. However, the requirement of regularity can be skipped in the case of reflexive spaces. The proof of the main results uses truncation ideas, the Young measures methods and monotonicity arguments. Uniqueness results from the comparison principle.
△ Less
Submitted 13 April, 2018; v1 submitted 18 July, 2017;
originally announced July 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.
-
A note on weak solutions of conservation laws and energy/entropy conservation
Authors:
Piotr Gwiazda,
Martin Michálek,
Agnieszka Świerczewska-Gwiazda
Abstract:
A common feature of systems of conservation laws of continuum physics is that they are endowed with natural companion laws which are in such case most often related to the second law of thermodynamics. This observation easily generalizes to any symmetrizable system of conservation laws. They are endowed with nontrivial companion conservation laws, which are immediately satisfied by classical solut…
▽ More
A common feature of systems of conservation laws of continuum physics is that they are endowed with natural companion laws which are in such case most often related to the second law of thermodynamics. This observation easily generalizes to any symmetrizable system of conservation laws. They are endowed with nontrivial companion conservation laws, which are immediately satisfied by classical solutions. Not surprisingly, weak solutions may fail to satisfy companion laws, which are then often relaxed from equality to inequality and overtake a role of a physical admissibility condition for weak solutions. We want to answer the question what is a critical regularity of weak solutions to a general system of conservation laws to satisfy an associated companion law as an equality. An archetypal example of such result was derived for the incompressible Euler system by Constantin et al. ([8]) in the context of the seminal Onsager's conjecture. This general result can serve as a simple criterion to numerous systems of mathematical physics to prescribe the regularity of solutions needed for an appropriate companion law to be satisfied.
△ Less
Submitted 30 June, 2017;
originally announced June 2017.
-
Homogenization of nonlinear elliptic systems in nonreflexive Musielak-Orlicz spaces
Authors:
Miroslav Bulíček,
Piotr Gwiazda,
Martin Kalousek,
Agnieszka Świerczewska-Gwiazda
Abstract:
We study the homogenization process for families of strongly nonlinear elliptic systems with the homogeneous Dirichlet boundary conditions. The growth and the coercivity of the elliptic operator is assumed to be indicated by a general inhomogeneous anisotropic $N-$function, which may be possibly also dependent on the spatial variable, i.e., the homogenization process will change the characteristic…
▽ More
We study the homogenization process for families of strongly nonlinear elliptic systems with the homogeneous Dirichlet boundary conditions. The growth and the coercivity of the elliptic operator is assumed to be indicated by a general inhomogeneous anisotropic $N-$function, which may be possibly also dependent on the spatial variable, i.e., the homogenization process will change the characteristic function spaces at each step. Such a problem is well known and there exists many positive results for the function satisfying $Δ_2$ and $\nabla_2$ conditions an being in addition Hölder continuous with respect to the spatial variable. We shall show that cases these conditions can be neglected and will deal with a rather general problem in general function space setting.
△ Less
Submitted 11 April, 2017; v1 submitted 24 March, 2017;
originally announced March 2017.
-
Existence of renormalized solutions to elliptic equation in Musielak-Orlicz space
Authors:
Piotr Gwiazda,
Iwona Skrzypczak,
Anna Zatorska-Goldstein
Abstract:
We prove existence of renormalized solutions to general nonlinear elliptic equation in Musielak-Orlicz space avoiding growth restrictions. Namely, we consider \begin{equation*} -{\rm div} A(x,\nabla u)= f\in L^1(Ω), \end{equation*} on a Lipschitz bounded domain in $\mathbb{R}^N$. The growth of the monotone vector field $A$ is controlled by a generalized nonhomogeneous and anisotropic $N$-function…
▽ More
We prove existence of renormalized solutions to general nonlinear elliptic equation in Musielak-Orlicz space avoiding growth restrictions. Namely, we consider \begin{equation*} -{\rm div} A(x,\nabla u)= f\in L^1(Ω), \end{equation*} on a Lipschitz bounded domain in $\mathbb{R}^N$. The growth of the monotone vector field $A$ is controlled by a generalized nonhomogeneous and anisotropic $N$-function $M $. The approach does not require any particular type of growth condition of $M$ or its conjugate $M^*$ (neither $Δ_2$, nor $\nabla_2$). The condition we impose is log-Holder continuity of $M$, which results in good approximation properties of the space. The proof of the main results uses truncation ideas, the Young measures methods and monotonicity arguments.
△ Less
Submitted 27 July, 2017; v1 submitted 31 January, 2017;
originally announced January 2017.
-
Thermo-visco-elasticity for Norton-Hoff-type models with homogeneous thermal expansion
Authors:
Piotr Gwiazda,
Filip Z. Klawe,
Sebastian Owczarek
Abstract:
In this work we study a quasi-static evolution of thermo-visco-elastic model with homogeneous thermal expansion. We assume that material is subject to two kinds of mechanical deformations: elastic and inelastic. Inelastic deformation is related to a hardening rule of Norton-Hoff type. Appearance of inelastic deformation causes transformation of mechanical energy into thermal one, hence we also tak…
▽ More
In this work we study a quasi-static evolution of thermo-visco-elastic model with homogeneous thermal expansion. We assume that material is subject to two kinds of mechanical deformations: elastic and inelastic. Inelastic deformation is related to a hardening rule of Norton-Hoff type. Appearance of inelastic deformation causes transformation of mechanical energy into thermal one, hence we also take into the consideration changes of material's temperature.
The novelty of this paper is to take into account the thermal expansion of material. We are proposing linearisation of the model for homogeneous thermal expansion, which preserves symmetry of system and therefore total energy is conserved. Linearisation of material's thermal expansion is performed in definition of Cauchy stress tensor and in heat equation. In previous studies, it was done in different way. Considering of such linearisation leads to system where the coupling between temperature and displacement occurs in two places, i.e. in the constitutive function for the evolution of visco-elastic strain and in the additional term in the heat equation, in comparison to models without thermal expansion. The second coupling was not considered previously. For such system of equations we prove the existence of solutions. Moreover, we obtain existence of displacement's time derivative, which has not been done previously.
△ Less
Submitted 16 November, 2016;
originally announced November 2016.
-
On unified theory for scalar conservation laws with fluxes and sources discontinuous with respect to the unknown
Authors:
Miroslav Bulíček,
Piotr Gwiazda,
Agnieszka Świerczewska-Gwiazda
Abstract:
We deal with the Cauchy problem for multi-dimensional scalar conservation laws, where the fluxes and the source terms can be discontinuous functions of the unknown. The main novelty of the paper is the introduction of a~kinetic formulation for the considered problem. To handle the discontinuities we work in the framework of re-parametrization of the flux and the source functions, which was previou…
▽ More
We deal with the Cauchy problem for multi-dimensional scalar conservation laws, where the fluxes and the source terms can be discontinuous functions of the unknown. The main novelty of the paper is the introduction of a~kinetic formulation for the considered problem. To handle the discontinuities we work in the framework of re-parametrization of the flux and the source functions, which was previously used for Kružkov entropy solutions. Within this approach we obtain a fairly complete picture: existence of entropy measure valued solutions, entropy weak solutions and their equivalence to the kinetic solution. The results of existence and uniqueness follow under the assumption of Hölder continuity at zero of the flux. The source term, what is another novelty for the studies on problems with discontinuous flux, is only assumed to be one-side Lipschitz, not necessarily monotone function.
△ Less
Submitted 21 June, 2016;
originally announced June 2016.
-
Generalized Entropy Method for the Renewal Equation with Measure Data
Authors:
Piotr Gwiazda,
Emil Wiedemann
Abstract:
We study the long-time asymptotics for the so-called McKendrick-Von Foerster or renewal equation, a simple model frequently considered in structured population dynamics. In contrast to previous works, we can admit a bounded measure as initial data. To this end, we apply techniques from the calculus of variations that have not been employed previously in this context. We demonstrate how the general…
▽ More
We study the long-time asymptotics for the so-called McKendrick-Von Foerster or renewal equation, a simple model frequently considered in structured population dynamics. In contrast to previous works, we can admit a bounded measure as initial data. To this end, we apply techniques from the calculus of variations that have not been employed previously in this context. We demonstrate how the generalized relative entropy method can be refined in the Radon measure framework.
△ Less
Submitted 26 April, 2016;
originally announced April 2016.
-
Regularity and Energy Conservation for the Compressible Euler Equations
Authors:
Eduard Feireisl,
Piotr Gwiazda,
Agnieszka Świerczewska-Gwiazda,
Emil Wiedemann
Abstract:
We give sufficient conditions on the regularity of solutions to the inhomogeneous incompressible Euler and the compressible isentropic Euler systems in order for the energy to be conserved. Our strategy relies on commutator estimates similar to those employed by P. Constantin et al. for the homogeneous incompressible Euler equations.
We give sufficient conditions on the regularity of solutions to the inhomogeneous incompressible Euler and the compressible isentropic Euler systems in order for the energy to be conserved. Our strategy relies on commutator estimates similar to those employed by P. Constantin et al. for the homogeneous incompressible Euler equations.
△ Less
Submitted 16 March, 2016;
originally announced March 2016.
-
Bayesian inference for age-structured population model of infectious disease with application to varicella in Poland
Authors:
Piotr Gwiazda,
Błażej Miasojedow,
Magdalena Rosińska
Abstract:
Dynamics of the infectious disease transmission is often best understood taking into account the structure of population with respect to specific features, in example age or immunity level. Practical utility of such models depends on the appropriate calibration with the observed data. Here, we discuss the Bayesian approach to data assimilation in case of two-state age-structured model. This kind o…
▽ More
Dynamics of the infectious disease transmission is often best understood taking into account the structure of population with respect to specific features, in example age or immunity level. Practical utility of such models depends on the appropriate calibration with the observed data. Here, we discuss the Bayesian approach to data assimilation in case of two-state age-structured model. This kind of models are frequently used to describe the disease dynamics (i.e. force of infection) basing on prevalence data collected at several time points. We demonstrate that, in the case when the explicit solution to the model equation is known, accounting for the data collection process in the Bayesian framework allows to obtain an unbiased posterior distribution for the parameters determining the force of infection. We further show analytically and through numerical tests that the posterior distribution of these parameters is stable with respect to cohort approximation (Escalator Boxcar Train) to the solution. Finally, we apply the technique to calibrate the model based on observed sero-prevalence of varicella in Poland.
△ Less
Submitted 20 June, 2016; v1 submitted 29 February, 2016;
originally announced February 2016.
-
Transport equation with integral terms
Authors:
Camillo De Lellis,
Piotr Gwiazda,
Agnieszka Świerczewska-Gwiazda
Abstract:
We prove some theorems on the existence, uniqueness, stability and compactness properties of solutions to inhomogeneous transport equations with Sobolev coefficients, where the inhomogeneous term depends upon the solution through an integral operator. Contrary to the usual DiPerna-Lions approach, the essential step is to formulate the problem in the Lagrangian setting. Some motivations to study th…
▽ More
We prove some theorems on the existence, uniqueness, stability and compactness properties of solutions to inhomogeneous transport equations with Sobolev coefficients, where the inhomogeneous term depends upon the solution through an integral operator. Contrary to the usual DiPerna-Lions approach, the essential step is to formulate the problem in the Lagrangian setting. Some motivations to study the above problem arise from the description of polymeric flows, where such kind of equations are coupled with other Navier-Stokes type equations. Using the results for the transport equation we will provide, in a separate paper, a sequential stability theorem for the full problem of the flow of concentrated polymers.
△ Less
Submitted 9 February, 2016;
originally announced February 2016.
-
Optimization in Structure Population Models through the Escalator Boxcar Train
Authors:
Rinaldo M. Colombo,
Piotr Gwiazda,
Magdalena Rosinska
Abstract:
The Escalator Boxcar Train (EBT) is a tool widely used in the study of balance laws motivated by structure population dynamics. This paper proves that the approximate solutions defined through the EBT converge to exact solutions. Moreover, this method is rigorously shown to be effective also in computing optimal controls. As preliminary results, the well posedness of classes of PDEs and of ODEs co…
▽ More
The Escalator Boxcar Train (EBT) is a tool widely used in the study of balance laws motivated by structure population dynamics. This paper proves that the approximate solutions defined through the EBT converge to exact solutions. Moreover, this method is rigorously shown to be effective also in computing optimal controls. As preliminary results, the well posedness of classes of PDEs and of ODEs comprising various biological models is also obtained. A specific application to welfare policies illustrates the whole procedure.
△ Less
Submitted 28 January, 2016;
originally announced January 2016.
-
Dissipative measure-valued solutions to the compressible Navier-Stokes system
Authors:
Eduard Feireisl,
Piotr Gwiazda,
Agnieszka Świerczewska-Gwiazda,
Emil Wiedemann
Abstract:
We introduce a new concept of dissipative measure-valued solution to the compressible Navier-Stokes system satisfying, in addition, a relevant form of the total energy balance. Then we show that a dissipative measure-valued and a standard smooth classical solution originating from the same initial data coincide (weak-strong uniqueness principle) as long as the latter exists. Such a result facilita…
▽ More
We introduce a new concept of dissipative measure-valued solution to the compressible Navier-Stokes system satisfying, in addition, a relevant form of the total energy balance. Then we show that a dissipative measure-valued and a standard smooth classical solution originating from the same initial data coincide (weak-strong uniqueness principle) as long as the latter exists. Such a result facilitates considerably the proof of convergence of solutions to various approximations including certain numerical schemes that are known to generate a measure-valued solution. As a byproduct we show that any measure-valued solution with bounded density component that starts from smooth initial data is necessarily a classical one.
△ Less
Submitted 15 December, 2015;
originally announced December 2015.
-
Weak solutions for Euler systems with non-local interactions
Authors:
José A. Carrillo,
Eduard Feireisl,
Piotr Gwiazda,
Agnieszka Świerczewska-Gwiazda
Abstract:
We consider several modifications of the Euler system of fluid dynamics including its pressureless variant driven by non-local interaction repulsive-attractive and alignment forces in the space dimension $N=2,3$. These models arise in the study of self-organisation in collective behavior modeling of animals and crowds. We adapt the method of convex integration to show the existence of infinitely m…
▽ More
We consider several modifications of the Euler system of fluid dynamics including its pressureless variant driven by non-local interaction repulsive-attractive and alignment forces in the space dimension $N=2,3$. These models arise in the study of self-organisation in collective behavior modeling of animals and crowds. We adapt the method of convex integration to show the existence of infinitely many global-in-time weak solutions for any bounded initial data. Then we consider the class of \emph{dissipative} solutions satisfying, in addition, the associated global energy balance (inequality). We identify a large set of initial data for which the problem admits infinitely many dissipative weak solutions. Finally, we establish a weak-strong uniqueness principle for the pressure driven Euler system with non-local interaction terms as well as for the pressureless system with Newtonian interaction.
△ Less
Submitted 9 December, 2015;
originally announced December 2015.
-
The Escalator Boxcar Train method for a system of aged-structured equations
Authors:
Piotr Gwiazda,
Karolina Kropielnicka,
Anna Marciniak-Czochra
Abstract:
The Escalator Boxcar Train method (EBT) is a numerical method for structured population models of McKendrick-von Foerster type. Those models consist of a certain class of hyperbolic partial differential equations and describe time evolution of the distribution density of the structure variable describing a feature of individuals in the population. The method was introduced in late eighties and wid…
▽ More
The Escalator Boxcar Train method (EBT) is a numerical method for structured population models of McKendrick-von Foerster type. Those models consist of a certain class of hyperbolic partial differential equations and describe time evolution of the distribution density of the structure variable describing a feature of individuals in the population. The method was introduced in late eighties and widely used in theoretical biology, but its convergence was proven only in recent years using the framework of measure-valued solutions. Till now the EBT method was developed only for scalar equation models. In this paper we derive a full numerical EBT scheme for age-structured, two-sex population model (Fredrickson-Hoppensteadt model), which consists of three coupled hyperbolic partial differential equations with nonlocal boundary conditions. It is the first step towards extending the EBT method to systems of structured population equations.
△ Less
Submitted 11 August, 2015; v1 submitted 29 May, 2015;
originally announced June 2015.
-
Weak-strong uniqueness for measure-valued solutions of some compressible fluid models
Authors:
Piotr Gwiazda,
Agnieszka Świerczewska-Gwiazda,
Emil Wiedemann
Abstract:
We prove weak-strong uniqueness in the class of admissible measure-valued solutions for the isentropic Euler equations in any space dimension and for the Savage-Hutter model of granular flows in one and two space dimensions. For the latter system, we also show the complete dissipation of momentum in finite time, thus rigorously justifying an assumption that has been made in the engineering and num…
▽ More
We prove weak-strong uniqueness in the class of admissible measure-valued solutions for the isentropic Euler equations in any space dimension and for the Savage-Hutter model of granular flows in one and two space dimensions. For the latter system, we also show the complete dissipation of momentum in finite time, thus rigorously justifying an assumption that has been made in the engineering and numerical literature.
△ Less
Submitted 17 March, 2015;
originally announced March 2015.
-
On weak solutions to the 2D Savage-Hutter model of the motion of a gravity driven avalanche flow
Authors:
Eduard Feireisl,
Piotr Gwiazda,
Agnieszka Swierczewska-Gwiazda
Abstract:
We consider the Savage-Hutter system consisting of two-dimensional depth-integrated shallow water equations for the incompressible fluid with the Coulomb-type friction term. Using the method of convex integration we show that the associated initial-value problem possesses infinitely many weak solutions for any finite-energy initial data. On the other hand, the problem enjoys the weak-strong unique…
▽ More
We consider the Savage-Hutter system consisting of two-dimensional depth-integrated shallow water equations for the incompressible fluid with the Coulomb-type friction term. Using the method of convex integration we show that the associated initial-value problem possesses infinitely many weak solutions for any finite-energy initial data. On the other hand, the problem enjoys the weak-strong uniqueness property provided the system of equations is supplemented with the energy inequality.
△ Less
Submitted 22 February, 2015;
originally announced February 2015.
-
Analysis of a viscosity model for concentrated polymers
Authors:
Miroslav Bulíček,
Piotr Gwiazda,
Endre Süli,
Agnieszka Świerczewska-Gwiazda
Abstract:
The paper is concerned with a class of mathematical models for polymeric fluids, which involves the coupling of the Navier-Stokes equations for a viscous, incompressible, constant-density fluid with a parabolic-hyperbolic integro-differential equation describing the evolution of the polymer distribution function in the solvent, and a parabolic integro-differential equation for the evolution of the…
▽ More
The paper is concerned with a class of mathematical models for polymeric fluids, which involves the coupling of the Navier-Stokes equations for a viscous, incompressible, constant-density fluid with a parabolic-hyperbolic integro-differential equation describing the evolution of the polymer distribution function in the solvent, and a parabolic integro-differential equation for the evolution of the monomer density function in the solvent. The viscosity coefficient appearing in the balance of linear momentum equation in the Navier-Stokes system includes dependence on the shear-rate as well as on the weight-averaged polymer chain length. The system of partial differential equations under consideration captures the impact of polymerization and depolymerization effects on the viscosity of the fluid. We prove the existence of global-in-time, large-data weak solutions under fairly general hypotheses.
△ Less
Submitted 7 January, 2016; v1 submitted 23 January, 2015;
originally announced January 2015.