-
Speed of convergence of time Euler schemes for a stochastic 2D Boussinesq model
Authors:
Hakima Bessaih,
Annie Millet
Abstract:
We prove that an implicit time Euler scheme for the 2D-Boussinesq model on the torus $D$ converges. Various moment of the $W^{1,2}$-norms of the velocity and temperature, as well as their discretizations, are computed. We obtain the optimal speed of convergence in probability, and a logarithmic speed of convergence in $L^2(Ω)$. These results are deduced from a time regularity of the solution both…
▽ More
We prove that an implicit time Euler scheme for the 2D-Boussinesq model on the torus $D$ converges. Various moment of the $W^{1,2}$-norms of the velocity and temperature, as well as their discretizations, are computed. We obtain the optimal speed of convergence in probability, and a logarithmic speed of convergence in $L^2(Ω)$. These results are deduced from a time regularity of the solution both in $L^2(D)$ and $W^{1,2}(D)$, and from an $L^2(Ω)$ convergence restricted to a subset where the $W^{1,2}$-noms of the solutions are bounded.
△ Less
Submitted 18 November, 2022; v1 submitted 9 October, 2022;
originally announced October 2022.
-
Continuous Data Assimilation for Displacement in a Porous Medium
Authors:
Hakima Bessaih,
Victor Ginting,
Bradley McCaskill
Abstract:
In this paper we propose the use of a continuous data assimilation algorithm for miscible flow models in a porous medium. In the absence of initial conditions for the model, observed sparse measurements are used to generate an approximation to the true solution. Under certain assumption of the sparse measurements and their incorporation into the algorithm it can be shown that the resulting approxi…
▽ More
In this paper we propose the use of a continuous data assimilation algorithm for miscible flow models in a porous medium. In the absence of initial conditions for the model, observed sparse measurements are used to generate an approximation to the true solution. Under certain assumption of the sparse measurements and their incorporation into the algorithm it can be shown that the resulting approximate solution converges to the true solution at an exponential rate as time progresses. Various numerical examples are considered in order to validate the suitability of the algorithm.
△ Less
Submitted 21 June, 2022;
originally announced June 2022.
-
Strong L2 convergence of time Euler schemes for stochastic 3D Brinkman-Forchheimer-Navier-Stokes equations
Authors:
Hakima Bessaih,
Annie Millet
Abstract:
We prove that some time Euler schemes for the 3D Navier-Stokes equations modified by adding a Brinkman-Forchheimer term and a random perturbation converge in $L^2(Ω)$. This extends previous results concerning the strong rate of convergence of some time discretization schemes for the 2D Navier Stokes equations. Unlike the 2D case, our proposed 3D model with the Brinkman-Forchheimer term allows for…
▽ More
We prove that some time Euler schemes for the 3D Navier-Stokes equations modified by adding a Brinkman-Forchheimer term and a random perturbation converge in $L^2(Ω)$. This extends previous results concerning the strong rate of convergence of some time discretization schemes for the 2D Navier Stokes equations. Unlike the 2D case, our proposed 3D model with the Brinkman-Forchheimer term allows for a strong rate of convergence of order almost 1/2, that is independent of the viscosity parameter.
△ Less
Submitted 4 April, 2022; v1 submitted 17 November, 2021;
originally announced November 2021.
-
Strong rates of convergence of space-time discretization schemes for the 2D Navier-Stokes equations with additive noise
Authors:
Hakima Bessaih,
Annie Millet
Abstract:
We consider the strong solution of the 2D Navier-Stokes equations in a torus subject to an additive noise. We implement a fully implicit time numerical scheme and a finite element method in space. We prove that the rate of convergence of the schemes is $η\in[0,1/2)$ in time and 1 in space. Let us mention that the coefficient $η$ is equal to the time regularity of the solution with values in…
▽ More
We consider the strong solution of the 2D Navier-Stokes equations in a torus subject to an additive noise. We implement a fully implicit time numerical scheme and a finite element method in space. We prove that the rate of convergence of the schemes is $η\in[0,1/2)$ in time and 1 in space. Let us mention that the coefficient $η$ is equal to the time regularity of the solution with values in $\LL^2$. Our method relies on the existence of finite exponential moments for both the solution and its time approximation. Our main idea is to use a discrete Gronwall lemma for the error estimate without any localization.
△ Less
Submitted 1 February, 2021;
originally announced February 2021.
-
Space-time Euler discretization schemes for the stochastic 2D Navier-Stokes equations
Authors:
Hakima Bessaih,
Annie Millet
Abstract:
We prove that the implicit time Euler scheme coupled with finite elements space discretization for the 2D Navier-Stokes equations on the torus subject to a random perturbation converges in $L^2(Ω)$, and describe the rate of convergence for an $H^1$-valued initial condition. This refines previous results which only established the convergence in probability of these numerical approximations. Using…
▽ More
We prove that the implicit time Euler scheme coupled with finite elements space discretization for the 2D Navier-Stokes equations on the torus subject to a random perturbation converges in $L^2(Ω)$, and describe the rate of convergence for an $H^1$-valued initial condition. This refines previous results which only established the convergence in probability of these numerical approximations. Using exponential moment estimates of the solution of the stochastic Navier-Stokes equations and convergence of a localized scheme, we can prove strong convergence of this space-time approximation. The speed of the $L^2(Ω)$-convergence depends on the diffusion coefficient and on the viscosity parameter. In case of Scott-Vogelius mixed elements and for an additive noise, the convergence is polynomial.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
Stochastic homogenization of multicontinuum heterogeneous flows
Authors:
Hakima Bessaih,
Razvan Florian Maris
Abstract:
We consider a multicontinuum model in porous media applications, which is described as a system of coupled flow equations. The coupling between different continua depends on many factors and its modeling is important for porous media applications. The coefficients depend on particle deposition that is described in term of a stochastic process solution of an SDE. The stochastic process is considere…
▽ More
We consider a multicontinuum model in porous media applications, which is described as a system of coupled flow equations. The coupling between different continua depends on many factors and its modeling is important for porous media applications. The coefficients depend on particle deposition that is described in term of a stochastic process solution of an SDE. The stochastic process is considered to be faster than the flow motion and we introduce time-space scales to model the problem. Our goal is to pass to the limit in time and space and to find an associated averaged system. This is an averaging-homogenization problem, where the averages are computed in terms of the invariant measure associated to the fast motion and the spatial variable. We use the techniques developed in our previous paper to model the interactions between the continua and derive the averaged model problem that can be used in many applications.
△ Less
Submitted 22 January, 2020;
originally announced January 2020.
-
Invariant measures for stochastic damped 2D Euler equations
Authors:
Hakima Bessaih,
Benedetta Ferrario
Abstract:
We study the two-dimensional Euler equations, damped by a linear term and driven by an additive noise. The existence of weak solutions has already been studied; pathwise uniqueness is known for solutions that have vorticity in $L^\infty$. In this paper, we prove the Markov property and then the existence of an invariant measure in the space $L^\infty$ by means of a Krylov-Bogoliubov's type method,…
▽ More
We study the two-dimensional Euler equations, damped by a linear term and driven by an additive noise. The existence of weak solutions has already been studied; pathwise uniqueness is known for solutions that have vorticity in $L^\infty$. In this paper, we prove the Markov property and then the existence of an invariant measure in the space $L^\infty$ by means of a Krylov-Bogoliubov's type method, working with the weak$\star$ and the bounded weak$\star$ topologies in $L^\infty$.
△ Less
Submitted 24 January, 2020; v1 submitted 1 September, 2019;
originally announced September 2019.
-
Longtime behavior for 3D Navier-Stokes equations with constant delays
Authors:
Hakima Bessaih,
María J. Garrido-Atienza
Abstract:
This paper investigates the longtime behavior of delayed 3D Navier-Stokes equations in terms of attractors. The study will strongly rely on the investigation of the linearized Navier-Stokes system, and the relationship between the discrete dynamical flow for the linearized system and the continuous flow associated to the original system. Assuming the viscosity to be sufficiently large, there exist…
▽ More
This paper investigates the longtime behavior of delayed 3D Navier-Stokes equations in terms of attractors. The study will strongly rely on the investigation of the linearized Navier-Stokes system, and the relationship between the discrete dynamical flow for the linearized system and the continuous flow associated to the original system. Assuming the viscosity to be sufficiently large, there exists a unique local attractor for the delayed 3D Navier-Stokes equations. Moreover, the local attractor reduces to a singleton set.
△ Less
Submitted 14 June, 2019;
originally announced June 2019.
-
Stochastic homogenization for a diffusion-reaction model
Authors:
Hakima Bessaih,
Yalchin Efendiev,
Razvan Florian Maris
Abstract:
In this paper, we study stochastic homogenization of a coupled diffusion-reaction system. The diffusion-reaction system is coupled to stochastic differential equations, which govern the changes in the media properties. Though homogenization with changing media properties has been studied in previous findings, there is little research on homogenization when the media properties change due to stocha…
▽ More
In this paper, we study stochastic homogenization of a coupled diffusion-reaction system. The diffusion-reaction system is coupled to stochastic differential equations, which govern the changes in the media properties. Though homogenization with changing media properties has been studied in previous findings, there is little research on homogenization when the media properties change due to stochastic differential equations. Such processes occur in many applications, where the changes in media properties are due to particle deposition. In the paper, we investigate the well-posedness of the nonlinear fine-grid (resolved) problem and derive limiting equations. We formulate the cell problems and derive the limiting equations, which are deterministic with nonlinear reaction terms. The limiting equations involve the invariant measures corresponding to stochastic differential equations. These obtained results can play an important role for modeling in porous media and allow the use of simplified and deterministic limiting equations.
△ Less
Submitted 15 October, 2018;
originally announced October 2018.
-
On strong $L^2$ convergence of time numerical schemes for the stochastic 2D Navier-Stokes equations
Authors:
Hakima Bessaih,
Annie Millet
Abstract:
We prove that some discretization schemes for the 2D Navier-Stokes equations subject to a random perturbation converge in $L^2(Ω)$. This refines previous results which only established the convergence in probability of these numerical approximations. Using exponential moment estimates of the solution of the stochastic NS equations and convergence of a localized scheme, we can prove strong converge…
▽ More
We prove that some discretization schemes for the 2D Navier-Stokes equations subject to a random perturbation converge in $L^2(Ω)$. This refines previous results which only established the convergence in probability of these numerical approximations. Using exponential moment estimates of the solution of the stochastic NS equations and convergence of a localized scheme, we can prove strong convergence of fully implicit and semi-implicit time Euler discretizations, and of a splitting scheme. The speed of the $L^2(Ω)$-convergence depends on the diffusion coefficient and on the viscosity parameter.
△ Less
Submitted 8 July, 2018; v1 submitted 10 January, 2018;
originally announced January 2018.
-
Mean field limit of interacting filaments for 3D Euler equations
Authors:
Hakima Bessaih,
Michele Coghi,
Franco Flandoli
Abstract:
The 3D Euler equations, precisely local smooth solutions of class $H^s$ with $s>5/2$, are obtained as a mean field limit of finite families of interacting curves, the so called vortex filaments, described by means of the concept of $1$-currents. This work is a continuation of the a previous work, where a preliminary result in this direction was obtained, with the true Euler equations replaced by a…
▽ More
The 3D Euler equations, precisely local smooth solutions of class $H^s$ with $s>5/2$, are obtained as a mean field limit of finite families of interacting curves, the so called vortex filaments, described by means of the concept of $1$-currents. This work is a continuation of the a previous work, where a preliminary result in this direction was obtained, with the true Euler equations replaced by a vector valued non linear PDE with a mollified Biot-Savart relation.
△ Less
Submitted 4 November, 2017;
originally announced November 2017.
-
On 3D Navier-Stokes equations: regularization and uniqueness by delays
Authors:
Hakima Bessaih,
María J. Garrido-Atienza,
Björn Schmalfuss
Abstract:
A modified version of the three dimensional Navier-Stokes equations is considered with periodic boundary conditions. A bounded constant delay is introduced into the convective term, that produces a regularizing effect on the solution. In fact, by assuming appropriate regularity on the initial data, the solutions of the delayed equations are proved to be regular and, as a consequence, existence and…
▽ More
A modified version of the three dimensional Navier-Stokes equations is considered with periodic boundary conditions. A bounded constant delay is introduced into the convective term, that produces a regularizing effect on the solution. In fact, by assuming appropriate regularity on the initial data, the solutions of the delayed equations are proved to be regular and, as a consequence, existence and also uniqueness of a global weak solution is obtained. Moreover, the associated flow is constructed and the continuity of the semigroup is proved. Finally, we investigate the passage to the limit on the delay, obtaining that the limit is a weak solution of the Navier-Stokes equations.
△ Less
Submitted 11 July, 2017;
originally announced July 2017.
-
On stochastic modified 3d navier-stokes equations with anisotropic viscosity
Authors:
Hakima Bessaih,
Annie Millet
Abstract:
Navier-Stokes equations in the whole space R^3 subject to an anisotropic viscosity and a random perturbation of multiplicative type is described. By adding a term of Brinkman-Forchheimer type to the model, existence and uniqueness of global weak solutions in the PDE sense are proved. These are strong solutions in the probability sense. The convective term given in terms of the Brinkman-Forchheirme…
▽ More
Navier-Stokes equations in the whole space R^3 subject to an anisotropic viscosity and a random perturbation of multiplicative type is described. By adding a term of Brinkman-Forchheimer type to the model, existence and uniqueness of global weak solutions in the PDE sense are proved. These are strong solutions in the probability sense. The convective term given in terms of the Brinkman-Forchheirmer provides some extra regularity in the space L^{2$α$+2} (R^3), with $α$ > 1. As a consequence, the nonlinear term has better properties which allows to prove uniqueness. The proof of existence is performed through a control method. A Large Deviations Principle is given and proven at the end of the paper.
△ Less
Submitted 20 November, 2017; v1 submitted 5 April, 2017;
originally announced April 2017.
-
Numerical approximation of stochastic evolution equations: Convergence in scale of Hilbert spaces
Authors:
Hakima Bessaih,
Erika Hausenblas,
Tsiry Randrianasolo,
Paul A. Razafimandimby
Abstract:
The present paper is devoted to the numerical approximation of an abstract stochastic nonlinear evolution equation in a separable Hilbert space {$\mathrm{H}$}. Examples of equations which fall into our framework include the GOY and Sabra shell models and { a class of nonlinear heat equations.} The space-time numerical scheme is defined in terms of a Galerkin approximation in space and a { semi-imp…
▽ More
The present paper is devoted to the numerical approximation of an abstract stochastic nonlinear evolution equation in a separable Hilbert space {$\mathrm{H}$}. Examples of equations which fall into our framework include the GOY and Sabra shell models and { a class of nonlinear heat equations.} The space-time numerical scheme is defined in terms of a Galerkin approximation in space and a { semi-implicit Euler--Maruyama scheme in time}. {We prove the convergence in probability of our scheme by means of an estimate of the error on a localized set of arbitrary large probability.} Our error estimate is shown to hold in a more regular space $\mathrm{V}_β\subset \mathrm{H}$ with $β\in [0,\frac14)$ and { that the explicit rate of convergence of our scheme depends on this parameter $β$. }
△ Less
Submitted 27 September, 2018; v1 submitted 14 October, 2016;
originally announced October 2016.
-
Stochastic lattice dynamical systems with fractional noise
Authors:
Hakima Bessaih,
María J. Garrido-Atienza,
Xiaoying Han,
Björn Schmalfuß
Abstract:
This article is devoted to study stochastic lattice dynamical systems driven by a fractional Brownian motion with Hurst parameter $H\in(1/2,1)$. First of all, we investigate the existence and uniqueness of pathwise mild solutions to such systems by the Young integration setting and prove that the solution generates a random dynamical system. Further, we analyze the exponential stability of the tri…
▽ More
This article is devoted to study stochastic lattice dynamical systems driven by a fractional Brownian motion with Hurst parameter $H\in(1/2,1)$. First of all, we investigate the existence and uniqueness of pathwise mild solutions to such systems by the Young integration setting and prove that the solution generates a random dynamical system. Further, we analyze the exponential stability of the trivial solution.
△ Less
Submitted 8 September, 2016;
originally announced September 2016.
-
Mean field limit of interacting filaments and vector valued non linear PDEs
Authors:
Hakima Bessaih,
Michele Coghi,
Franco Flandoli
Abstract:
Families of $N$ interacting curves are considered, with long range, mean field type, interaction. A family of curves defines a 1-current, concentrated on the curves, analog of the empirical measure of interacting point particles. This current is proved to converge, as $N$ goes to infinity, to a mean field current, solution of a nonlinear, vector valued, partial differential equation. In the limit,…
▽ More
Families of $N$ interacting curves are considered, with long range, mean field type, interaction. A family of curves defines a 1-current, concentrated on the curves, analog of the empirical measure of interacting point particles. This current is proved to converge, as $N$ goes to infinity, to a mean field current, solution of a nonlinear, vector valued, partial differential equation. In the limit, each curve interacts with the mean field current and two different curves have an independence property if they are independent at time zero. This set-up is inspired from vortex filaments in turbulent fluids, although for technical reasons we have to restrict to smooth interaction, instead of the singular Biot-Savart kernel. All these results are based on a careful analysis of a nonlinear flow equation for 1-currents, its relation with the vector valued PDE and the continuous dependence on the initial conditions.
△ Less
Submitted 1 February, 2016;
originally announced February 2016.
-
Existence and uniqueness of global solutions for the modified anisotropic 3D Navier-Stokes equations
Authors:
Hakima Bessaih,
Saber Trabelsi,
Hamdi Zorgati
Abstract:
We study a modified three-dimensional incompressible anisotropic Navier-Stokes equations. The modification consists in the addition of a power term to the nonlinear convective one. This modification appears naturally in porous media when a fluid obeys the Darcy-Forchheimer law instead of the classical Darcy law. We prove global in time existence and uniqueness of solutions without assuming the sma…
▽ More
We study a modified three-dimensional incompressible anisotropic Navier-Stokes equations. The modification consists in the addition of a power term to the nonlinear convective one. This modification appears naturally in porous media when a fluid obeys the Darcy-Forchheimer law instead of the classical Darcy law. We prove global in time existence and uniqueness of solutions without assuming the smallness condition on the initial data. This improves the result obtained for the classical 3D incompressible anisotropic Navier-Stokes equations.
△ Less
Submitted 22 January, 2016;
originally announced January 2016.
-
Ergodicity of stochastic shell models driven by pure jump noise
Authors:
Hakima Bessaih,
Erika Hausenblas,
Paul A. Razafimandimby
Abstract:
In the present paper we study a stochastic evolution equation for shell (SABRA \& GOY) models with pure jump \levy noise $L=\sum_{k=1}^\infty l_k(t)e_k$ on a Hilbert space $\h$. Here $\{l_k, k\in \mathbb{N}\}$ is a family of independent and identically distributed (i.i.d.) real-valued pure jump \levy processes and $\{e_k, k\in \mathbb{N}\}$ is an orthonormal basis of $\h$. We mainly prove that the…
▽ More
In the present paper we study a stochastic evolution equation for shell (SABRA \& GOY) models with pure jump \levy noise $L=\sum_{k=1}^\infty l_k(t)e_k$ on a Hilbert space $\h$. Here $\{l_k, k\in \mathbb{N}\}$ is a family of independent and identically distributed (i.i.d.) real-valued pure jump \levy processes and $\{e_k, k\in \mathbb{N}\}$ is an orthonormal basis of $\h$. We mainly prove that the stochastic system has a unique invariant measure. For this aim we show that if the \levy measure of each component $l_k(t)$ of $L$ satisfies a certain order and a non-{degeneracy} condition and is absolutely continuous with respect to the Lebesgue measure, then the
Markov semigroup associated {with} the unique solution of the system has the strong Feller property. If, furthermore, each $l_k(t)$ satisfies a small deviation property, then 0 is accessible for the dynamics independently of the initial condition. Examples of noises satisfying our conditions are a family of i.i.d tempered \levy noises $\{l_k, k\in \mathbb{N}\}$ and $\{l_k=W_k\circ G_k + G_k, k\in \mathbb{N} \}$ where $\{G_k, k \in \mathbb{N}\}$ (resp., $\{W_k, k\in \mathbb{N}\}$) is a sequence of i.i.d subordinator Gamma (resp., real-valued Wiener) processes with \levy density $f_G(z)=(\vartheta z)^{-1} e^{-\frac z\vartheta} \mathds{1}_{z>0}$. The proof of the strong Feller property relies on the truncation of the nonlinearity and the use of a gradient estimate for the Galerkin system of the truncated equation.
The gradient estimate is a consequence of a Bismut-Elworthy-Li (BEL) type formula that we prove in the Appendix A of the paper.
△ Less
Submitted 13 January, 2016;
originally announced January 2016.
-
The regularized 3D Boussinesq equations with fractional Laplacian and no diffusion
Authors:
Hakima Bessaih,
Benedetta Ferrario
Abstract:
In this paper, we study the 3D regularized Boussinesq equations. The velocity equation is regularized à la Leray through a smoothing kernel of order $α$ in the nonlinear term and a $β$-fractional Laplacian; we consider the critical case $α+β=\frac{5}{4}$ and we assume $\frac 12 <β<\frac 54$. The temperature equation is a pure transport equation, where the transport velocity is regularized through…
▽ More
In this paper, we study the 3D regularized Boussinesq equations. The velocity equation is regularized à la Leray through a smoothing kernel of order $α$ in the nonlinear term and a $β$-fractional Laplacian; we consider the critical case $α+β=\frac{5}{4}$ and we assume $\frac 12 <β<\frac 54$. The temperature equation is a pure transport equation, where the transport velocity is regularized through the same smoothing kernel of order $α$. We prove global well posedness when the initial velocity is in $H^r$ and the initial temperature is in $H^{r-β}$ for $r>\max(2β,β+1)$. This regularity is enough to prove uniqueness of solutions. We also prove a continuous dependence of the solutions on the initial conditions.
△ Less
Submitted 7 November, 2016; v1 submitted 20 April, 2015;
originally announced April 2015.
-
Homogenization of Brinkman flows in heterogeneous dynamic media
Authors:
Hakima Bessaih,
Yalchin Efendiev,
Florian Maris
Abstract:
In this paper, we study Brinkman's equations with microscale properties that are highly heterogeneous in space and time. The time variations are controlled by a stochastic particle dynamics described by an SDE. The particle dynamics can be thought as particle deposition that often occurs in filter problems. Our main results include the derivation of macroscale equations and showing that the macros…
▽ More
In this paper, we study Brinkman's equations with microscale properties that are highly heterogeneous in space and time. The time variations are controlled by a stochastic particle dynamics described by an SDE. The particle dynamics can be thought as particle deposition that often occurs in filter problems. Our main results include the derivation of macroscale equations and showing that the macroscale equations are deterministic. The latter is important for our (also many other) applications as it greatly simplifies the macroscale equations. We use the asymptotic properties of the SDE and the periodicity of the Brinkman's coefficient in the space variable to prove the convergence result. The SDE has a unique invariant measure that is ergodic and strongly mixing. The macro scale equations are derived through an averaging principle of the slow motion (fluid velocity) with respect to the fast motion (particle dynamics) and also by averaging the Brinkman's coefficient with respect to the space variable. Our results can be extended to more general nonlinear diffusion equations with heterogeneous coefficients.
△ Less
Submitted 19 April, 2015;
originally announced April 2015.
-
Homogenization of the stochastic Navier-Stokes equation with a stochastic slip boundary condition
Authors:
Hakima Bessaih,
Florin Maris
Abstract:
The two dimensional Navier-Stokes equation in a perforated domain with a dynamical slip boundary condition is considered. We assume that the dynamic is driven by a stochastic perturbation on the interior of the domain and another stochastic perturbation on the boundaries of the holes. We consider a scaling ($\e^2$ for the viscosity and 1 for the density) that will lead to a time dependent limit pr…
▽ More
The two dimensional Navier-Stokes equation in a perforated domain with a dynamical slip boundary condition is considered. We assume that the dynamic is driven by a stochastic perturbation on the interior of the domain and another stochastic perturbation on the boundaries of the holes. We consider a scaling ($\e^2$ for the viscosity and 1 for the density) that will lead to a time dependent limit problem. However, the noncritical scaling ($\e^β,\quad β>1$) is considered in front of the nonlinear term. The homogenized system in the limit is obtained as a Darcy's law with memory with two permeabilities and an extra term that is due to the stochastic perturbation on the boundary of the holes. We use the two-scale convergence method. Due to the stochastic integral, the pressure that appears in the variational formulation does not have enough regularity in time. This fact made us rely only on the variational formulation for the passage to the limit on the solution. We obtain a variational formulation for the limit that is solution of a Stokes system with two pressures. This two-scale limit gives rise to three cell problems, two of them give the permeabilities while the third one gives an extra term in the Darcy's law due to the stochastic perturbation on the boundary of the holes.
△ Less
Submitted 23 November, 2014;
originally announced November 2014.
-
Stochastic Shell Models driven by a multiplicative fractional Brownian--motion
Authors:
Hakima Bessaih,
María J. Garrido-Atienza,
Björn Schmalfuss
Abstract:
We prove existence and uniqueness of the solution of a stochastic shell--model. The equation is driven by an infinite dimensional fractional Brownian--motion with Hurst--parameter $H\in (1/2,1)$, and contains a non--trivial coefficient in front of the noise which satisfies special regularity conditions. The appearing stochastic integrals are defined in a fractional sense. First, we prove the exist…
▽ More
We prove existence and uniqueness of the solution of a stochastic shell--model. The equation is driven by an infinite dimensional fractional Brownian--motion with Hurst--parameter $H\in (1/2,1)$, and contains a non--trivial coefficient in front of the noise which satisfies special regularity conditions. The appearing stochastic integrals are defined in a fractional sense. First, we prove the existence and uniqueness of variational solutions to approximating equations driven by piecewise linear continuous noise, for which we are able to derive important uniform estimates in some functional spaces. Then, thanks to a compactness argument and these estimates, we prove that these variational solutions converge to a limit solution, which turns out to be the unique pathwise mild solution associated to the shell--model with fractional noise as driving process.
△ Less
Submitted 23 October, 2014;
originally announced October 2014.
-
On the rate of convergence of the 2-D stochastic Leray-$α$ model to the 2-D stochastic Navier-Stokes equations with multiplicative noise
Authors:
Hakima Bessaih,
Paul Razafimandimby
Abstract:
In the present paper we study the convergence of the solution of the two dimensional (2-D) stochastic Leray-$α$ model to the solution of the 2-D stochastic Navier-Stokes equations. We are mainly interested in the rate of convergence, as $α$ tends to 0, of the error function which is the difference between the two solutions in an appropriate topology. We show that when properly localized the error…
▽ More
In the present paper we study the convergence of the solution of the two dimensional (2-D) stochastic Leray-$α$ model to the solution of the 2-D stochastic Navier-Stokes equations. We are mainly interested in the rate of convergence, as $α$ tends to 0, of the error function which is the difference between the two solutions in an appropriate topology. We show that when properly localized the error function converges in mean square as $α\to 0$ and the convergence is of order $O(α)$. We also prove that the error converges in probability to zero with order at most $O(α)$.
△ Less
Submitted 25 June, 2014;
originally announced June 2014.
-
Continuous Data Assimilation with Stochastically Noisy Data
Authors:
Hakima Bessaih,
Eric Olson,
E. S. Titi
Abstract:
We analyze the performance of a data-assimilation algorithm based on a linear feedback control when used with observational data that contains measurement errors. Our model problem consists of dynamics governed by the two-dimension incompressible Navier-Stokes equations, observational measurements given by finite volume elements or nodal points of the velocity field and measurement errors which ar…
▽ More
We analyze the performance of a data-assimilation algorithm based on a linear feedback control when used with observational data that contains measurement errors. Our model problem consists of dynamics governed by the two-dimension incompressible Navier-Stokes equations, observational measurements given by finite volume elements or nodal points of the velocity field and measurement errors which are represented by stochastic noise. Under these assumptions, the data-assimilation algorithm consists of a system of stochastically forced Navier-Stokes equations. The main result of this paper provides explicit conditions on the observation density (resolution) which guarantee explicit asymptotic bounds, as the time tends to infinity, on the error between the approximate solution and the actual solutions which is corresponding to these measurements, in terms of the variance of the noise in the measurements. Specifically, such bounds are given for the the limit supremum, as the time tends to infinity, of the expected value of the $L^2$-norm and of the $H^1$ Sobolev norm of the difference between the approximating solution and the actual solution. Moreover, results on the average time error in mean are stated.
△ Less
Submitted 5 June, 2014;
originally announced June 2014.
-
Homogenization of the evolution Stokes equation in a perforated domain with a stochastic Fourier boundary condition
Authors:
Hakima Bessaih,
Yalchin Efendiev,
Florian Maris
Abstract:
The evolution Stokes equation in a perforated domain subject to Fourier boundary condition on the boundaries of the holes is considered. We assume that the dynamic is driven by a stochastic perturbation on the interior of the domain and another stochastic perturbation on the boundaries of the holes. The macroscopic (homogenized) equation is derived as another stochastic partial differential equati…
▽ More
The evolution Stokes equation in a perforated domain subject to Fourier boundary condition on the boundaries of the holes is considered. We assume that the dynamic is driven by a stochastic perturbation on the interior of the domain and another stochastic perturbation on the boundaries of the holes. The macroscopic (homogenized) equation is derived as another stochastic partial differential equation, defined in the whole non perforated domain. Here, the initial stochastic perturbation on the boundary becomes part of the homogenized equation as another stochastic force. We use the two-scale convergence method after extending the solution with 0 in the wholes to pass to the limit. By Itô stochastic calculus, we get uniform estimates on the solution in appropriate spaces. In order to pass to the limit on the boundary integrals, we rewrite them in terms of integrals in the whole domain. In particular, for the stochastic integral on the boundary, we combine the previous idea of rewriting it on the whole domain with the assumption that the Brownian motion is of trace class. Due to the particular boundary condition dealt with, we get that the solution of the stochastic homogenized equation is not divergence free. However, it is coupled with the cell problem that has a divergence free solution. This paper represents an extension of the results from of Duan and Wang (Comm. Math. Phys. 275:1508--1527, 2007), where a reaction diffusion equation with a dynamical boundary condition with a noise source term on both the interior of the domain and on the boundary was studied, and through a tightness argument and a pointwise two scale convergence method the homogenized equation was derived.
△ Less
Submitted 7 April, 2014; v1 submitted 25 February, 2014;
originally announced February 2014.
-
Strong solutions to stochastic hydrodynamical systems with multiplicative noise of jump type
Authors:
Hakima Bessaih,
Erika Hausenblas,
Paul Razafimandimby
Abstract:
In this paper we prove the existence and uniqueness of maximal strong (in PDE sense) solution to several stochastic hydrodynamical systems on unbounded and bounded domains of $\mathbb{R}^n$, $n=2,3$. This maximal solution turns out to be a global one in the case of 2D stochastic hydrodynamical systems. Our framework is general in the sense that it allows us to solve the Navier-Stokes equations, MH…
▽ More
In this paper we prove the existence and uniqueness of maximal strong (in PDE sense) solution to several stochastic hydrodynamical systems on unbounded and bounded domains of $\mathbb{R}^n$, $n=2,3$. This maximal solution turns out to be a global one in the case of 2D stochastic hydrodynamical systems. Our framework is general in the sense that it allows us to solve the Navier-Stokes equations, MHD equations, Magnetic Bénard problems, Boussinesq model of the Bénard convection, Shell models of turbulence and the Leray-$α$ model with jump type perturbation.
Our goal is achieved by proving general results about the existence of maximal and global solution to an abstract stochastic partial differential equations with locally Lipschitz continuous coefficients. The method of the proofs are based on some truncation and fixed point methods.
△ Less
Submitted 22 July, 2014; v1 submitted 24 February, 2014;
originally announced February 2014.
-
Splitting up method for the 2D stochastic Navier-Stokes equations
Authors:
Hakima Bessaih,
Zdzislaw Brzezniak,
Annie Millet
Abstract:
In this paper, we deal with the convergence of an iterative scheme for the 2-D stochastic Navier-Stokes Equations on the torus suggested by the Lie-Trotter product formulas for stochastic differential equations of parabolic type. The stochastic system is split into two problems which are simpler for numerical computations. An estimate of the approximation error is given either with periodic bounda…
▽ More
In this paper, we deal with the convergence of an iterative scheme for the 2-D stochastic Navier-Stokes Equations on the torus suggested by the Lie-Trotter product formulas for stochastic differential equations of parabolic type. The stochastic system is split into two problems which are simpler for numerical computations. An estimate of the approximation error is given either with periodic boundary conditions. In particular, we prove that the strong speed of the convergence in probability is almost $1/2$. This is shown by means of an $L^2(Ω,P)$ convergence localized on a set of arbitrary large probability. The assumptions on the diffusion coefficient depend on the fact that some multiple of the Laplace operator is present or not with the multiplicative stochastic term. Note that if one of the splitting steps only contains the stochastic integral, then the diffusion coefficient may not contain any gradient of the solution.
△ Less
Submitted 27 February, 2014; v1 submitted 22 September, 2013;
originally announced September 2013.
-
Stochastic incompressible Euler equations in a two-dimensional domain
Authors:
Hakima Bessaih
Abstract:
The aim of these notes is to give an overview of the current results about existence and uniqueness of solutions for the stochastic Euler equation driven by a Brownian noise in a two-dimensional bounded domain.
The aim of these notes is to give an overview of the current results about existence and uniqueness of solutions for the stochastic Euler equation driven by a Brownian noise in a two-dimensional bounded domain.
△ Less
Submitted 14 August, 2013;
originally announced August 2013.
-
Pathwise solutions and attractors for retarded SPDEs with time smooth diffusion coefficients
Authors:
Hakima Bessaih,
María J. Garrido-Atienza,
Björn Schmalfuss
Abstract:
In this paper we study the longtime dynamics of mild solutions to retarded stochastic evolution systems driven by a Hilbert-valued Brownian motion. As a preparation for this purpose we have to show the existence and uniqueness of a cocycle solution of such an equation. We do not assume that the noise is given in additive form or that it is a very simple multiplicative noise. However, we need some…
▽ More
In this paper we study the longtime dynamics of mild solutions to retarded stochastic evolution systems driven by a Hilbert-valued Brownian motion. As a preparation for this purpose we have to show the existence and uniqueness of a cocycle solution of such an equation. We do not assume that the noise is given in additive form or that it is a very simple multiplicative noise. However, we need some smoothing property for the coefficient in front of the noise. The main idea of this paper consists of expressing the stochastic integral in terms of non-stochastic integrals and the noisy path by using an integration by parts. This latter term causes that in a first moment only a local mild solution can be obtained, since in order to apply the Banach fixed point theorem it is crucial to have the Hölder norm of the noisy path to be sufficiently small. Later, by using appropriate stop** times, we shall derive the existence and uniqueness of a global mild solution. Furthermore, the asymptotic behavior is investigated by using the {\it Random Dynamical Systems theory}. In particular, we shall show that the global mild solution generates a random dynamical system that, under an appropriate smallness condition for the time lag, have associated a random attractor.
△ Less
Submitted 11 February, 2013;
originally announced February 2013.
-
Inviscid limit of stochastic damped 2D Navier-Stokes equations
Authors:
H. Bessaih,
B. Ferrario
Abstract:
We consider the inviscid limit of the stochastic damped 2D Navier- Stokes equations. We prove that, when the viscosity vanishes, the stationary solution of the stochastic damped Navier-Stokes equations converges to a stationary solution of the stochastic damped Euler equation and that the rate of dissipation of enstrophy converges to zero. In particular, this limit obeys an enstrophy balance. The…
▽ More
We consider the inviscid limit of the stochastic damped 2D Navier- Stokes equations. We prove that, when the viscosity vanishes, the stationary solution of the stochastic damped Navier-Stokes equations converges to a stationary solution of the stochastic damped Euler equation and that the rate of dissipation of enstrophy converges to zero. In particular, this limit obeys an enstrophy balance. The rates are computed with respect to a limit measure of the unique invariant measure of the stochastic damped Navier-Stokes equations.
△ Less
Submitted 29 July, 2013; v1 submitted 3 December, 2012;
originally announced December 2012.
-
On a Stochastic Leray-α model of Euler equations
Authors:
David Barbato,
Hakima Bessaih,
Benedetta Ferrario
Abstract:
We deal with the 3D inviscid Leray-α model. The well posedness for this problem is not known; by adding a random perturbation we prove that there exists a unique (in law) global solution. The random forcing term formally preserves conservation of energy. The result holds for initial velocity of finite energy and the solution has finite energy a.s.. These results are easily extended to the 2D case.
We deal with the 3D inviscid Leray-α model. The well posedness for this problem is not known; by adding a random perturbation we prove that there exists a unique (in law) global solution. The random forcing term formally preserves conservation of energy. The result holds for initial velocity of finite energy and the solution has finite energy a.s.. These results are easily extended to the 2D case.
△ Less
Submitted 16 October, 2012; v1 submitted 8 October, 2012;
originally announced October 2012.
-
Statistical properties of stochastic 2D Navier-Stokes equations from linear models
Authors:
Hakima Bessaih,
Benedetta Ferrario
Abstract:
A new approach to the old-standing problem of the anomaly of the scaling exponents of nonlinear models of turbulence has been proposed and tested through numerical simulations. This is achieved by constructing, for any given nonlinear model, a linear model of passive advection of an auxiliary field whose anomalous scaling exponents are the same as the scaling exponents of the nonlinear problem. In…
▽ More
A new approach to the old-standing problem of the anomaly of the scaling exponents of nonlinear models of turbulence has been proposed and tested through numerical simulations. This is achieved by constructing, for any given nonlinear model, a linear model of passive advection of an auxiliary field whose anomalous scaling exponents are the same as the scaling exponents of the nonlinear problem. In this paper, we investigate this conjecture for the 2D Navier-Stokes equations driven by an additive noise. In order to check this conjecture, we analyze the coupled system Navier-Stokes/linear advection system in the unknowns $(u,w)$. We introduce a parameter $λ$ which gives a system $(u^λ,w^λ)$; this system is studied for any $λ$ proving its well posedness and the uniqueness of its invariant measure $μ^λ$.
The key point is that for any $λ\neq 0$ the fields $u^λ$ and $w^λ$ have the same scaling exponents, by assuming universality of the scaling exponents to the force. In order to prove the same for the original fields $u$ and $w$, we investigate the limit as $λ\to 0$, proving that $μ^λ$ weakly converges to $μ^0$, where $μ^0$ is the only invariant measure for the joint system for $(u,w)$ when $λ=0$.
△ Less
Submitted 12 May, 2016; v1 submitted 19 June, 2012;
originally announced June 2012.
-
2D hydrodynamical systems: invariant measures of Gaussian type
Authors:
Hakima Bessaih,
Benedetta Ferrario
Abstract:
Gaussian measures $μ^{β,ν}$ are associated to some stochastic 2D hydrodynamical systems. They are of Gibbsian type and are constructed by means of some invariant quantities of the system depending on some parameter $β$ (related to the 2D nature of the fluid) and the viscosity $ν$. We prove the existence and the uniqueness of the global flow for the stochastic viscous system; moreover the measure…
▽ More
Gaussian measures $μ^{β,ν}$ are associated to some stochastic 2D hydrodynamical systems. They are of Gibbsian type and are constructed by means of some invariant quantities of the system depending on some parameter $β$ (related to the 2D nature of the fluid) and the viscosity $ν$. We prove the existence and the uniqueness of the global flow for the stochastic viscous system; moreover the measure $μ^{β,ν}$ is invariant for this flow and is unique. Finally, we prove that the deterministic inviscid equation has a $μ^{β,ν}$-stationary solution (for any $ν>0$).
△ Less
Submitted 29 October, 2011; v1 submitted 9 October, 2011;
originally announced October 2011.
-
An integrodifferential equation driven by fractional Brownian motion
Authors:
Hakima Bessaih,
Chandana Wijeratne
Abstract:
This paper deals with the well posedness of an integrodifferential equation that describes a vortex filament associated to a 3D turbulent fluid flow. This equation is driven by a fractional Brownian motion of Hurst parameter H>1/2. We prove global existence and uniqueness of solutions in a functional space of Sobolev type.
This paper deals with the well posedness of an integrodifferential equation that describes a vortex filament associated to a 3D turbulent fluid flow. This equation is driven by a fractional Brownian motion of Hurst parameter H>1/2. We prove global existence and uniqueness of solutions in a functional space of Sobolev type.
△ Less
Submitted 17 March, 2011;
originally announced March 2011.
-
Invariant Gibbs measures of the energy for shell models of turbulence; the inviscid and viscous cases
Authors:
Hakima Bessaih,
Benedetta Ferrario
Abstract:
Gaussian measures of Gibbsian type are associated with some shell models of 3D turbulence; they are constructed by means of the energy, a conserved quantity for the 3D inviscid and unforced shell model. We prove the existence of a unique global flow for a stochastic viscous shell model and a global flow for the deterministic inviscid shell model, with the property that these Gibbs measures are inv…
▽ More
Gaussian measures of Gibbsian type are associated with some shell models of 3D turbulence; they are constructed by means of the energy, a conserved quantity for the 3D inviscid and unforced shell model. We prove the existence of a unique global flow for a stochastic viscous shell model and a global flow for the deterministic inviscid shell model, with the property that these Gibbs measures are invariant for these flows.
△ Less
Submitted 10 March, 2011;
originally announced March 2011.
-
The Stability of some stochastic processes
Authors:
H. Bessaih,
R. Kapica,
T. Szarek
Abstract:
We formulate and prove a new criterion for stability of e-processes. It says that any e-process which is averagely bounded and concentrating is asymptotically stable. In the second part, we show how this general result applies to some shell models (the Goy and the Sabra model). Indeed, we manage to prove that the processes corresponding to these models satisfy the e-process property. They are also…
▽ More
We formulate and prove a new criterion for stability of e-processes. It says that any e-process which is averagely bounded and concentrating is asymptotically stable. In the second part, we show how this general result applies to some shell models (the Goy and the Sabra model). Indeed, we manage to prove that the processes corresponding to these models satisfy the e-process property. They are also averagely bounded and concentrating. Consequently, their stability follows.
△ Less
Submitted 25 July, 2011; v1 submitted 14 December, 2010;
originally announced December 2010.
-
Inviscid Large deviation principle and the 2D Navier Stokes equations with a free boundary condition
Authors:
Hakima Bessaih,
Annie Millet
Abstract:
Using a weak convergence approach, we prove a LPD for the solution of 2D stochastic Navier Stokes equations when the viscosity converges to 0 and the noise intensity is multiplied by the square root of the viscosity. Unlike previous results on LDP for hydrodynamical models, the weak convergence is proven by tightness properties of the distribution of the solution in appropriate functional spaces.
Using a weak convergence approach, we prove a LPD for the solution of 2D stochastic Navier Stokes equations when the viscosity converges to 0 and the noise intensity is multiplied by the square root of the viscosity. Unlike previous results on LDP for hydrodynamical models, the weak convergence is proven by tightness properties of the distribution of the solution in appropriate functional spaces.
△ Less
Submitted 27 April, 2012; v1 submitted 19 November, 2010;
originally announced November 2010.
-
Stochastic attractors for shell phenomenological models of turbulence
Authors:
Hakima Bessaih,
Franco Flandoli,
Edriss S. Titi
Abstract:
Recently, it has been proposed that the Navier-Stokes equations and a relevant linear advection model have the same long-time statistical properties, in particular, they have the same scaling exponents of their structure functions. This assertion has been investigate rigorously in the context of certain nonlinear deterministic phenomenological shell model, the Sabra shell model, of turbulence an…
▽ More
Recently, it has been proposed that the Navier-Stokes equations and a relevant linear advection model have the same long-time statistical properties, in particular, they have the same scaling exponents of their structure functions. This assertion has been investigate rigorously in the context of certain nonlinear deterministic phenomenological shell model, the Sabra shell model, of turbulence and its corresponding linear advection counterpart model. This relationship has been established through a "homotopy-like" coefficient $λ$ which bridges continuously between the two systems. That is, for $λ=1$ one obtains the full nonlinear model, and the corresponding linear advection model is achieved for $λ=0$. In this paper, we investigate the validity of this assertion for certain stochastic phenomenological shell models of turbulence driven by an additive noise. We prove the continuous dependence of the solutions with respect to the parameter $λ$. Moreover, we show the existence of a finite-dimensional random attractor for each value of $λ$ and establish the upper semicontinuity property of this random attractors, with respect to the parameter $λ$. This property is proved by a pathwise argument. Our study aims toward the development of basic results and techniques that may contribute to the understanding of the relation between the long-time statistical properties of the nonlinear and linear models.
△ Less
Submitted 24 October, 2009;
originally announced October 2009.
-
Large deviation principle and inviscid shell models
Authors:
Hakima Bessaih,
Annie Millet
Abstract:
A LDP is proved for the inviscid shell model of turbulence. As the viscosity coefficient converges to 0 and the noise intensity is multiplied by the square root of the viscosity, we prove that some shell models of turbulence with a multiplicative stochastic perturbation driven by a H-valued Brownian motion satisfy a LDP in C([0,T],V) for the topology of uniform convergence on [0,T], but where V…
▽ More
A LDP is proved for the inviscid shell model of turbulence. As the viscosity coefficient converges to 0 and the noise intensity is multiplied by the square root of the viscosity, we prove that some shell models of turbulence with a multiplicative stochastic perturbation driven by a H-valued Brownian motion satisfy a LDP in C([0,T],V) for the topology of uniform convergence on [0,T], but where V is endowed with a topology weaker than the natural one. The initial condition has to belong to V and the proof is based on the weak convergence of a family of stochastic control equations. The rate function is described in terms of the solution to the inviscid equation.
△ Less
Submitted 29 November, 2009; v1 submitted 12 May, 2009;
originally announced May 2009.
-
The evolution of a random vortex filament
Authors:
Hakima Bessaih,
Massimiliano Gubinelli,
Francesco Russo
Abstract:
We study an evolution problem in the space of continuous loops in three-dimensional Euclidean space modelled upon the dynamics of vortex lines in 3d incompressible and inviscid fluids. We establish existence of a local solution starting from Hölder regular loops with index greater than 1/3. When the Hölder regularity of the initial condition X is smaller or equal 1/2 we require X to be a rough p…
▽ More
We study an evolution problem in the space of continuous loops in three-dimensional Euclidean space modelled upon the dynamics of vortex lines in 3d incompressible and inviscid fluids. We establish existence of a local solution starting from Hölder regular loops with index greater than 1/3. When the Hölder regularity of the initial condition X is smaller or equal 1/2 we require X to be a rough path in the sense of Lyons. The solution will then live in an appropriate space of rough paths. In particular we can construct (local) solution starting from almost every Brownian loop.
△ Less
Submitted 2 December, 2004; v1 submitted 8 July, 2004;
originally announced July 2004.