-
Effective dynamics of interfaces for nonlinear SPDEs driven by multiplicative white noise
Authors:
Shenglan Yuan,
Dirk Blömker
Abstract:
In the present work, we investigate the dynamics of the infinite-dimensional stochastic partial differential equation (SPDE) with multiplicative white noise. We derive the effective equation on the approximate slow manifold in detail by utilizing a finite-dimensional stochastic differential equation (SDE) describing the motion of interfaces. In particular, we verify the equivalence between the ful…
▽ More
In the present work, we investigate the dynamics of the infinite-dimensional stochastic partial differential equation (SPDE) with multiplicative white noise. We derive the effective equation on the approximate slow manifold in detail by utilizing a finite-dimensional stochastic differential equation (SDE) describing the motion of interfaces. In particular, we verify the equivalence between the full SPDE and the coupled system under small stochastic perturbations. Moreover, we apply our results to effective dynamics of stochastic models with multiplicative white noise, illustrated with four examples on the stochastic damped wave equation, the stochastic Allen-Cahn equation, the stochastic nonlinear Schrödinger equation and the stochastic Swift-Hohenberg equation.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Numerical approximation of Cahn-Hilliard type nonlinear SPDEs with additive space-time white noise
Authors:
Dirk Blömker,
Chengcheng Ling,
Johannes Rimmele
Abstract:
We consider the strong numerical approximation for a stochastic Cahn-Hilliard type nonlinear SPDE driven by space-time white noise on $2$-dimensional torus.
We consider its full discretisation with a splitting scheme: a spectral Galerkin scheme in space and Euler scheme in time. We show the convergence with almost spatial rate $\frac{1}{2}$ and $1$-temporal rate obtained mainly via stochastic se…
▽ More
We consider the strong numerical approximation for a stochastic Cahn-Hilliard type nonlinear SPDE driven by space-time white noise on $2$-dimensional torus.
We consider its full discretisation with a splitting scheme: a spectral Galerkin scheme in space and Euler scheme in time. We show the convergence with almost spatial rate $\frac{1}{2}$ and $1$-temporal rate obtained mainly via stochastic sewing technique.
△ Less
Submitted 30 January, 2025;
originally announced January 2025.
-
Stabilization by rough noise for an epitaxial growth model
Authors:
Dirk Blömker,
Johannes Rimmele
Abstract:
In this article we study a model from epitaxial thin-film growth. It was originally introduced as a phenomenological model of growth in the presence of a Schwoebbel barrier, where diffusing particles on a terrace are not allowed to jump down at the boundary.
Nevertheless, we show that the presence of arbitrarily small space-time white noise due to fluctuations in the incoming particles surprisin…
▽ More
In this article we study a model from epitaxial thin-film growth. It was originally introduced as a phenomenological model of growth in the presence of a Schwoebbel barrier, where diffusing particles on a terrace are not allowed to jump down at the boundary.
Nevertheless, we show that the presence of arbitrarily small space-time white noise due to fluctuations in the incoming particles surprisingly eliminates all nonlinear interactions in the model and thus has the potential to stabilize the dynamics and suppress the growth of hills in these models.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Finite-time Lyapunov exponents for SPDEs with fractional noise
Authors:
Alexandra Blessing,
Dirk Blömker
Abstract:
We estimate the finite-time Lyapunov exponents for a stochastic partial differential equation driven by a fractional Brownian motion (fbm) with Hurst index $H\in(0,1)$ close to a bifurcation of pitchfork type.
We characterize regions depending on the distance from bifurcation, the Hurst parameter of the fbm and the noise strength where finite-time Lyapunov exponents are positive and thus indicat…
▽ More
We estimate the finite-time Lyapunov exponents for a stochastic partial differential equation driven by a fractional Brownian motion (fbm) with Hurst index $H\in(0,1)$ close to a bifurcation of pitchfork type.
We characterize regions depending on the distance from bifurcation, the Hurst parameter of the fbm and the noise strength where finite-time Lyapunov exponents are positive and thus indicate a change of stability. The results on finite-time Lyapunov exponents are novel also for SDEs perturbed by fractional noise.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Bifurcation theory for SPDEs: finite-time Lyapunov exponents and amplitude equations
Authors:
Dirk Blömker,
Alexandra Neamtu
Abstract:
We consider a stochastic partial differential equation close to bifurcation of pitchfork type, where a one-dimensional space changes its stability. For finite-time Lyapunov exponents we characterize regions depending on the distance from bifurcation and the noise strength where finite-time Lyapunov exponents are positive and thus detect bifurcations. One technical tool is the reduction of the esse…
▽ More
We consider a stochastic partial differential equation close to bifurcation of pitchfork type, where a one-dimensional space changes its stability. For finite-time Lyapunov exponents we characterize regions depending on the distance from bifurcation and the noise strength where finite-time Lyapunov exponents are positive and thus detect bifurcations. One technical tool is the reduction of the essential dynamics of the infinite dimensional stochastic system to a simple ordinary stochastic differential equation, which is valid close to the bifurcation.
△ Less
Submitted 21 April, 2023; v1 submitted 16 January, 2023;
originally announced January 2023.
-
Singular limits for stochastic equations
Authors:
Dirk Blömker,
Jonas M. Tölle
Abstract:
We study singular limits of stochastic evolution equations in the interplay of disappearing strength of the noise and insufficient regularity, where the equation in the limit with noise would not be defined due to lack of regularity. We recover previously known results on vanishing small noise with increasing roughness, but our main focus is to study for fixed noise the singular limit where the le…
▽ More
We study singular limits of stochastic evolution equations in the interplay of disappearing strength of the noise and insufficient regularity, where the equation in the limit with noise would not be defined due to lack of regularity. We recover previously known results on vanishing small noise with increasing roughness, but our main focus is to study for fixed noise the singular limit where the leading order differential operator in the equation may vanish. Although the noise is disappearing in the limit, additional deterministic terms appear due to renormalization effects. We separate the analysis of the equation from the convergence of stochastic terms and give a general framework for the main error estimates. This first reduces the result to bounds on a residual and in a second step to various bounds on the stochastic convolution. Moreover, as examples we apply our result to the a singularly regularized Allen-Cahn equation with a vanishing Bilaplacian, and the Cahn-Hilliard/Allen-Cahn homotopy with space-time white noise in two spatial dimensions.
△ Less
Submitted 12 June, 2023; v1 submitted 20 April, 2022;
originally announced April 2022.
-
Amplitude equations for SPDEs driven by fractional additive noise with small Hurst parameter
Authors:
Dirk Blömker,
Alexandra Neamtu
Abstract:
We study stochastic partial differential equations (SPDEs) with potentially very rough fractional noise with Hurst parameter $H\in(0,1)$. Close to a change of stability measured with a small parameter $\varepsilon$, we rely on the natural separation of time-scales and establish a simplified description of the essential dynamics. We prove that up to an error term bounded by a power of…
▽ More
We study stochastic partial differential equations (SPDEs) with potentially very rough fractional noise with Hurst parameter $H\in(0,1)$. Close to a change of stability measured with a small parameter $\varepsilon$, we rely on the natural separation of time-scales and establish a simplified description of the essential dynamics. We prove that up to an error term bounded by a power of $\varepsilon$ depending on the Hurst parameter we can approximate the solution of the SPDE in first order by an SDE, the so called amplitude equation, and in second order by a fast infinite dimensional Ornstein-Uhlenbeck process. To this aim we need to establish an explicit averaging result for stochastic integrals driven by rough fractional noise for small Hurst parameters.
△ Less
Submitted 20 September, 2021;
originally announced September 2021.
-
Continuous time limit of the stochastic ensemble Kalman inversion: Strong convergence analysis
Authors:
Dirk Blömker,
Claudia Schillings,
Philipp Wacker,
Simon Weissmann
Abstract:
The Ensemble Kalman inversion (EKI) method is a method for the estimation of unknown parameters in the context of (Bayesian) inverse problems. The method approximates the underlying measure by an ensemble of particles and iteratively applies the ensemble Kalman update to evolve (the approximation of the) prior into the posterior measure.
For the convergence analysis of the EKI it is common pract…
▽ More
The Ensemble Kalman inversion (EKI) method is a method for the estimation of unknown parameters in the context of (Bayesian) inverse problems. The method approximates the underlying measure by an ensemble of particles and iteratively applies the ensemble Kalman update to evolve (the approximation of the) prior into the posterior measure.
For the convergence analysis of the EKI it is common practice to derive a continuous version, replacing the iteration with a stochastic differential equation. In this paper we validate this approach by showing that the stochastic EKI iteration converges to paths of the continuous-time stochastic differential equation by considering both the nonlinear and linear setting, and we prove convergence in probability for the former, and convergence in moments for the latter. The methods employed can also be applied to the analysis of more general numerical schemes for stochastic differential equations in general.
△ Less
Submitted 30 July, 2021;
originally announced July 2021.
-
Modulation and amplitude equations on bounded domains for nonlinear SPDEs driven by cylindrical α-stable Lévy processes
Authors:
Shenglan Yuan,
Dirk Blömker
Abstract:
In the present work, we establish the approximation of nonlinear stochastic partial differential equation (SPDE) driven by cylindrical α-stable Lévy processes via modulation or amplitude equations.
We study SPDEs with a cubic nonlinearity, where the deterministic equation is close to a change of stability of the trivial solution. The natural separation of time-scales close to this bifurcation al…
▽ More
In the present work, we establish the approximation of nonlinear stochastic partial differential equation (SPDE) driven by cylindrical α-stable Lévy processes via modulation or amplitude equations.
We study SPDEs with a cubic nonlinearity, where the deterministic equation is close to a change of stability of the trivial solution. The natural separation of time-scales close to this bifurcation allows us to obtain an amplitude equation describing the essential dynamics of the bifurcating pattern, thus reducing the original infinite dimensional dynamics to a simpler finite-dimensional effective dynamics. In the presence of a multiplicative stable Lévy noise that preserves the constant trivial solution we study the impact of noise on the approximation.
In contrast to Gaussian noise, where non-dominant pattern are uniformly small in time due to averaging effects, large jumps in the Lévy noise might lead to large error terms, and thus new estimates are needed to take this into account.
△ Less
Submitted 29 June, 2021;
originally announced June 2021.
-
Stochastic turbulence for Burgers equation driven by cylindrical Lévy process
Authors:
Shenglan Yuan,
Dirk Blömker,
Jinqiao Duan
Abstract:
This work is devoted to investigating stochastic turbulence for the fluid flow in one-dimensional viscous Burgers equation perturbed by Lévy space-time white noise with the periodic boundary condition. We rigorously discuss the regularity of solutions and their statistical quantities in this stochastic dynamical system. The quantities are such as the moment estimate, the structure function and the…
▽ More
This work is devoted to investigating stochastic turbulence for the fluid flow in one-dimensional viscous Burgers equation perturbed by Lévy space-time white noise with the periodic boundary condition. We rigorously discuss the regularity of solutions and their statistical quantities in this stochastic dynamical system. The quantities are such as the moment estimate, the structure function and the energy spectrum of the turbulent velocity field. Furthermore, we provide qualitative and quantitative properties of the stochastic Burgers equation when the kinematic viscosity ν tends towards zero. The inviscid limit describes the strong stochastic turbulence.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Kink motion for the one-dimensional stochastic Allen-Cahn equation
Authors:
Alexander Schindler,
Dirk Blömker
Abstract:
We study the kink motion for the one-dimensional stochastic Allen-Cahn equation and its mass conserving counterpart. Using a deterministic slow manifold, in the sharp interface limit for sufficiently small noise strength we derive an explicit stochastic differential equation for the motion of the interfaces, which is valid as long as the solution stays close to the manifold.
On a relevant time-s…
▽ More
We study the kink motion for the one-dimensional stochastic Allen-Cahn equation and its mass conserving counterpart. Using a deterministic slow manifold, in the sharp interface limit for sufficiently small noise strength we derive an explicit stochastic differential equation for the motion of the interfaces, which is valid as long as the solution stays close to the manifold.
On a relevant time-scale, where interfaces move at most by the minimal allowed distance between interfaces, we show that the kinks behave approximately like the driving Wiener-process projected onto the slow manifold, while in the mass-conserving case they are additionally coupled via the mass constraint.
△ Less
Submitted 6 April, 2021;
originally announced April 2021.
-
The impact of white noise on a supercritical bifurcation in the Swift-Hohenberg equation
Authors:
Luigi Amedeo Bianchi,
Dirk Blömker
Abstract:
We consider the impact of additive Gaussian white noise on a supercritical pitchfork bifurcation in an unbounded domain. As an example we focus on the stochastic Swift-Hohenberg equation with polynomial nonlinearity. Here we identify the order where small noise first impacts the bifurcation. Using an approximation via modulation equations, we provide a tool to analyse how the noise influences the…
▽ More
We consider the impact of additive Gaussian white noise on a supercritical pitchfork bifurcation in an unbounded domain. As an example we focus on the stochastic Swift-Hohenberg equation with polynomial nonlinearity. Here we identify the order where small noise first impacts the bifurcation. Using an approximation via modulation equations, we provide a tool to analyse how the noise influences the dynamics close to a change of stability.
△ Less
Submitted 1 October, 2020; v1 submitted 19 May, 2020;
originally announced May 2020.
-
The impact of multiplicative noise in SPDEs close to bifurcation via amplitude equations
Authors:
Hongbo Fu,
Dirk Blömker
Abstract:
This article deals with the approximation of a stochastic partial differential equation (SPDE) via amplitude equations. We consider an SPDE with a cubic nonlinearity perturbed by a general multiplicative noise that preserves the constant trivial solution and we study the dynamics around it for the deterministic equation being close to a bifurcation.
Based on the separation of time-scales close t…
▽ More
This article deals with the approximation of a stochastic partial differential equation (SPDE) via amplitude equations. We consider an SPDE with a cubic nonlinearity perturbed by a general multiplicative noise that preserves the constant trivial solution and we study the dynamics around it for the deterministic equation being close to a bifurcation.
Based on the separation of time-scales close to a change of stability, we rigorously derive an amplitude equation describing the dynamics of the bifurcating pattern.
This allows us to approximate the original infinite dimensional dynamics by a simpler effective dynamics associated with the solution of the amplitude equation. To illustrate the abstract result we apply it to a simple one-dimensional stochastic Ginzburg-Landau equation.
△ Less
Submitted 6 October, 2019;
originally announced October 2019.
-
Stochastic Cahn-Hilliard equation in higher space dimensions: The motion of bubbles
Authors:
Alexander Schindler,
Dirk Blömker
Abstract:
We study the stochastic motion of a droplet in a stochastic Cahn-Hilliard equation in the sharp interface limit for sufficiently small noise. The key ingredient in the proof is a deterministic slow manifold, where we show its stability for long times under small stochastic perturbations. We also give a rigorous stochastic differential equation for the motion of the center of the droplet.
We study the stochastic motion of a droplet in a stochastic Cahn-Hilliard equation in the sharp interface limit for sufficiently small noise. The key ingredient in the proof is a deterministic slow manifold, where we show its stability for long times under small stochastic perturbations. We also give a rigorous stochastic differential equation for the motion of the center of the droplet.
△ Less
Submitted 5 August, 2019;
originally announced August 2019.
-
Well Posedness and Convergence Analysis of the Ensemble Kalman Inversion
Authors:
Dirk Blömker,
Claudia Schillings,
Philipp Wacker,
Simon Weissmann
Abstract:
The ensemble Kalman inversion is widely used in practice to estimate unknown parameters from noisy measurement data. Its low computational costs, straightforward implementation, and non-intrusive nature makes the method appealing in various areas of application. We present a complete analysis of the ensemble Kalman inversion with perturbed observations for a fixed ensemble size when applied to lin…
▽ More
The ensemble Kalman inversion is widely used in practice to estimate unknown parameters from noisy measurement data. Its low computational costs, straightforward implementation, and non-intrusive nature makes the method appealing in various areas of application. We present a complete analysis of the ensemble Kalman inversion with perturbed observations for a fixed ensemble size when applied to linear inverse problems. The well-posedness and convergence results are based on the continuous time scaling limits of the method. The resulting coupled system of stochastic differential equations allows to derive estimates on the long-time behaviour and provides insights into the convergence properties of the ensemble Kalman inversion. We view the method as a derivative free optimization method for the least-squares misfit functional, which opens up the perspective to use the method in various areas of applications such as imaging, groundwater flow problems, biological problems as well as in the context of the training of neural networks.
△ Less
Submitted 26 February, 2019; v1 submitted 19 October, 2018;
originally announced October 2018.
-
Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model
Authors:
Christian Nolde,
Dirk Blömker
Abstract:
In order to prove numerically the global existence and uniqueness of smooth solutions of a fourth order, nonlinear PDE, we derive rigorous a-posteriori upper bounds on the supremum of the numerical range of the linearized operator. These bounds also have to be easily computable in order to be applicable to our rigorous a-posteriori methods, as we use them in each time-step of the numerical discret…
▽ More
In order to prove numerically the global existence and uniqueness of smooth solutions of a fourth order, nonlinear PDE, we derive rigorous a-posteriori upper bounds on the supremum of the numerical range of the linearized operator. These bounds also have to be easily computable in order to be applicable to our rigorous a-posteriori methods, as we use them in each time-step of the numerical discretization. The final goal is to establish global bounds on smooth local solutions, which then establish global uniqueness.
△ Less
Submitted 21 August, 2017;
originally announced August 2017.
-
Random initial conditions for semi-linear PDEs
Authors:
Dirk Blömker,
Giuseppe Cannizzaro,
Marco Romito
Abstract:
We analyze the effect of random initial conditions on the local well--posedness of semi--linear PDEs, to investigate to what extent recent ideas on singular stochastic PDEs can prove useful in this framework.
We analyze the effect of random initial conditions on the local well--posedness of semi--linear PDEs, to investigate to what extent recent ideas on singular stochastic PDEs can prove useful in this framework.
△ Less
Submitted 16 July, 2017;
originally announced July 2017.
-
Modulation equation and SPDEs on unbounded domains
Authors:
Luigi Amedeo Bianchi,
Dirk Blömker,
Guido Schneider
Abstract:
We consider the approximation via modulation equations for nonlinear SPDEs on unbounded domains with additive space time white noise. Close to a bifurcation an infinite band of eigenvalues changes stability, and we study the impact of small space-time white noise on this bifurcation.
As a first example we study the stochastic Swift-Hohenberg equation on the whole real line. Here due to the weak…
▽ More
We consider the approximation via modulation equations for nonlinear SPDEs on unbounded domains with additive space time white noise. Close to a bifurcation an infinite band of eigenvalues changes stability, and we study the impact of small space-time white noise on this bifurcation.
As a first example we study the stochastic Swift-Hohenberg equation on the whole real line. Here due to the weak regularity of solutions the standard methods for modulation equations fail, and we need to develop new tools to treat the approximation.
As an additional result we sketch the proof for local existence and uniqueness of solutions for the stochastic Swift-Hohenberg and the complex Ginzburg Landau equations on the whole real line in weighted spaces that allow for unboundedness at infinity of solutions, which is natural for translation invariant noise like space-time white noise. Moreover we use energy estimates to show that solutions of the Ginzburg-Landau equation are Hölder continuous and have moments in those functions spaces. This gives just enough regularity to proceed with the error estimates of the approximation result.
△ Less
Submitted 23 September, 2019; v1 submitted 8 June, 2017;
originally announced June 2017.
-
A strongly convergent numerical scheme from Ensemble Kalman inversion
Authors:
Dirk Blömker,
Claudia Schillings,
Philipp Wacker
Abstract:
The Ensemble Kalman methodology in an inverse problems setting can be viewed as an iterative scheme, which is a weakly tamed discretization scheme for a certain stochastic differential equation (SDE). Assuming a suitable approximation result, dynamical properties of the SDE can be rigorously pulled back via the discrete scheme to the original Ensemble Kalman inversion.
The results of this paper…
▽ More
The Ensemble Kalman methodology in an inverse problems setting can be viewed as an iterative scheme, which is a weakly tamed discretization scheme for a certain stochastic differential equation (SDE). Assuming a suitable approximation result, dynamical properties of the SDE can be rigorously pulled back via the discrete scheme to the original Ensemble Kalman inversion.
The results of this paper make a step towards closing the gap of the missing approximation result by proving a strong convergence result in a simplified model of a scalar stochastic differential equation. We focus here on a toy model with similar properties than the one arising in the context of Ensemble Kalman filter. The proposed model can be interpreted as a single particle filter for a linear map and thus forms the basis for further analysis. The difficulty in the analysis arises from the formally derived limiting SDE with non-globally Lipschitz continuous nonlinearities both in the drift and in the diffusion. Here the standard Euler-Maruyama scheme might fail to provide a strongly convergent numerical scheme and taming is necessary. In contrast to the strong taming usually used, the method presented here provides a weaker form of taming.
We present a strong convergence analysis by first proving convergence on a domain of high probability by using a cut-off or localisation, which then leads, combined with bounds on moments for both the SDE and the numerical scheme, by a bootstrapping argument to strong convergence.
△ Less
Submitted 18 June, 2018; v1 submitted 20 March, 2017;
originally announced March 2017.
-
Numerically Computable A Posteriori-Bounds for stochastic Allen-Cahn equation
Authors:
Dirk Blömker,
Minoo Kamrani
Abstract:
The aim of this paper is the derivation of an a-posteriori error estimate for a numerical method based on an exponential scheme in time and spectral Galerkin methods in space. We obtain analytically a rigorous bound on the mean square error conditioned to the calculated data, which is numerically computable and uses the given numerical approximation. Thus one can check a-posteriori the error for a…
▽ More
The aim of this paper is the derivation of an a-posteriori error estimate for a numerical method based on an exponential scheme in time and spectral Galerkin methods in space. We obtain analytically a rigorous bound on the mean square error conditioned to the calculated data, which is numerically computable and uses the given numerical approximation. Thus one can check a-posteriori the error for a given numerical computation without relying on an asymptotic result.
All estimates are only based on the numerical data and the structure of the equation, but they do not use any a-priori information of the solution, which makes the approach applicable to equations where global existence of solutions is not known. For simplicity of presentation, we develop the method here in a relatively simple situation of a stable one-dimensional Allen-Cahn equation with additive forcing.
△ Less
Submitted 13 November, 2017; v1 submitted 4 February, 2017;
originally announced February 2017.
-
Additive noise destroys the random attractor close to bifurcation
Authors:
Luigi Amedeo Bianchi,
Dirk Blömker,
Meihua Yang
Abstract:
We provide an example for stabilization by noise. Our approach does not rely on monotonicity arguments due to the presence of higher order differential operators or mixing properties of the system as the noise might be highly degenerate. In the examples a scalar additive noise destroys a high-dimensional random attractor of a PDE on an unbounded domain. In the presence of small noise close to bifu…
▽ More
We provide an example for stabilization by noise. Our approach does not rely on monotonicity arguments due to the presence of higher order differential operators or mixing properties of the system as the noise might be highly degenerate. In the examples a scalar additive noise destroys a high-dimensional random attractor of a PDE on an unbounded domain. In the presence of small noise close to bifurcation all trajectories converge to a single stationary solution.
△ Less
Submitted 17 March, 2016;
originally announced March 2016.
-
Probabilistic Estimates of the Maximum Norm of Random Neumann Fourier Series
Authors:
Dirk Blömker,
Philipp Wacker,
Thomas Wanner
Abstract:
We study the maximum norm behavior of $L^2$-normalized random Fourier cosine series with a prescribed large wave number. Precise bounds of this type are an important technical tool in estimates for spinodal decomposition, the celebrated phase separation phenomenon in metal alloys. We derive rigorous asymptotic results as the wave number converges to infinity, and shed light on the behavior of the…
▽ More
We study the maximum norm behavior of $L^2$-normalized random Fourier cosine series with a prescribed large wave number. Precise bounds of this type are an important technical tool in estimates for spinodal decomposition, the celebrated phase separation phenomenon in metal alloys. We derive rigorous asymptotic results as the wave number converges to infinity, and shed light on the behavior of the maximum norm for medium range wave numbers through numerical simulations. Finally, we develop a simplified model for describing the magnitude of extremal values of random Neumann Fourier series. The model describes key features of the development of maxima and can be used to predict them. This is achieved by decoupling magnitude and sign distribution, where the latter plays an important role for the study of the size of the maximum norm. Since we are considering series with Neumann boundary conditions, particular care has to be placed on understanding the behavior of the random sums at the boundary.
△ Less
Submitted 14 March, 2016;
originally announced March 2016.
-
Pattern size in Gaussian fields from spinodal decomposition
Authors:
Luigi Amedeo Bianchi,
Dirk Blömker,
Philipp Wacker
Abstract:
We study the two-dimensional snake-like pattern that arises in phase separation of alloys described by spinodal decomposition in the Cahn-Hilliard model. These are somewhat universal patterns due to an overlay of eigenfunctions of the Laplacian with a similar wave-number. Similar structures appear in other models like reaction-diffusion systems describing animal coats' patterns or vegetation patte…
▽ More
We study the two-dimensional snake-like pattern that arises in phase separation of alloys described by spinodal decomposition in the Cahn-Hilliard model. These are somewhat universal patterns due to an overlay of eigenfunctions of the Laplacian with a similar wave-number. Similar structures appear in other models like reaction-diffusion systems describing animal coats' patterns or vegetation patterns in desertification.
Our main result studies random functions given by cosine Fourier series with independent Gaussian coefficients, that dominate the dynamics in the Cahn-Hilliard model. This is not a cosine process, as the sum is taken over domains in Fourier space that not only grow and scale with a parameter of order $1/\varepsilon$, but also move to infinity. Moreover, the model under consideration is neither stationary nor isotropic.
To study the pattern size of nodal domains we consider the density of zeros on any straight line through the spatial domain. Using a theorem by Edelman and Kostlan and weighted ergodic theorems that ensure the convergence of the moving sums, we show that the average distance of zeros is asymptotically of order $\varepsilon$ with a precisely given constant.
△ Less
Submitted 17 November, 2015; v1 submitted 7 October, 2015;
originally announced October 2015.
-
The Sharp interface limit for the stochastic Cahn-Hilliard equation
Authors:
Dimitra C. Antonopoulou,
Dirk Blömker,
Georgia D. Karali
Abstract:
We study the two and three dimensional stochastic Cahn-Hilliard equation in the sharp interface limit, where the positive parameter $ε$ tends to zero, which measures the width of transition layers generated during phase separation. We also couple the noise strength to this parameter. Using formal asymptotic expansions, we identify the limit. In the right scaling we indicate that the solutions of s…
▽ More
We study the two and three dimensional stochastic Cahn-Hilliard equation in the sharp interface limit, where the positive parameter $ε$ tends to zero, which measures the width of transition layers generated during phase separation. We also couple the noise strength to this parameter. Using formal asymptotic expansions, we identify the limit. In the right scaling we indicate that the solutions of stochastic Cahn-Hilliard converge to a solution of a Hele-Shaw problem with stochastic forcing. In the case when the noise is sufficiently small, we rigorously prove that the limit is a deterministic Hele-Shaw problem. Finally, we discuss which estimates are necessary in order to extend the rigorous result to larger noise strength.
△ Less
Submitted 22 September, 2016; v1 submitted 27 July, 2015;
originally announced July 2015.
-
Modulation Equation for SPDEs in unbounded domains with space-time white noise -- Linear Theory
Authors:
Luigi Amedeo Bianchi,
Dirk Blömker
Abstract:
We study the approximation of SPDEs on the whole real line near a change of stability via modulation or amplitude equations, which acts as a replacement for the lack of random invariant manifolds on extended domains. Due to the unboundedness of the underlying domain a whole band of infinitely many eigenfunctions changes stability. Thus we expect not only a slow motion in time, but also a slow spat…
▽ More
We study the approximation of SPDEs on the whole real line near a change of stability via modulation or amplitude equations, which acts as a replacement for the lack of random invariant manifolds on extended domains. Due to the unboundedness of the underlying domain a whole band of infinitely many eigenfunctions changes stability. Thus we expect not only a slow motion in time, but also a slow spatial modulation of the dominant modes, which is described by the modulation equation.
As a first step towards a full theory of modulation equations for nonlinear SPDEs on unbounded domains, we focus, in the results presented here, on the linear theory for one particular example, the Swift-Hohenberg equation. These linear results are one of the key technical tools to carry over the deterministic approximation results to the stochastic case with additive forcing. One technical problem for establishing error estimates rises from the spatially translation invariant nature of space-time white noise on unbounded domains, which implies that at any time we can expect the error to be always very large somewhere in space.
△ Less
Submitted 26 April, 2016; v1 submitted 22 July, 2015;
originally announced July 2015.
-
Motion of a droplet for the mass-conserving stochastic Allen-Cahn equation
Authors:
Dimitra C. Antonopoulou,
Peter W. Bates,
Dirk Blömker,
Georgia D. Karali
Abstract:
We study the stochastic mass-conserving Allen-Cahn equation posed on a bounded two-dimensional domain with additive spatially smooth space-time noise. This equation associated with a small positive parameter describes the stochastic motion of a small almost semicircular droplet attached to domain's boundary and moving towards a point of locally maximum curvature. We apply Itô calculus to derive th…
▽ More
We study the stochastic mass-conserving Allen-Cahn equation posed on a bounded two-dimensional domain with additive spatially smooth space-time noise. This equation associated with a small positive parameter describes the stochastic motion of a small almost semicircular droplet attached to domain's boundary and moving towards a point of locally maximum curvature. We apply Itô calculus to derive the stochastic dynamics of the droplet by utilizing the approximately invariant manifold introduced by Alikakos, Chen and Fusco for the deterministic problem. In the stochastic case depending on the scaling, the motion is driven by the change in the curvature of the boundary and the stochastic forcing. Moreover, under the assumption of a sufficiently small noise strength, we establish stochastic stability of a neighborhood of the manifold of droplets in $L^2$ and $H^1$, which means that with overwhelming probability the solution stays close to the manifold for very long time-scales.
△ Less
Submitted 21 January, 2015;
originally announced January 2015.
-
Fast Diffusion Limit for Reaction-Diffusion Systems with Stochastic Neumann Boundary Conditions
Authors:
Wael W. Mohammed,
Dirk Blömker
Abstract:
We consider a class of reaction-diffusion equations with a stochastic perturbation on the boundary. We show that in the limit of fast diffusion, one can rigorously approximate solutions of the system of PDEs with stochastic Neumann boundary conditions by the solution of a suitable stochastic/deterministic differential equation for the average concentration that involves reactions only. An interest…
▽ More
We consider a class of reaction-diffusion equations with a stochastic perturbation on the boundary. We show that in the limit of fast diffusion, one can rigorously approximate solutions of the system of PDEs with stochastic Neumann boundary conditions by the solution of a suitable stochastic/deterministic differential equation for the average concentration that involves reactions only. An interesting effect occurs, if the noise on the boundary does not change the averaging concentration, but is sufficiently large. Then surprising additional effective reaction terms appear.
We focus on systems with polynomial nonlinearities only and give applications to the two dimensional nonlinear heat equation and the cubic auto-catalytic reaction between two chemicals.
△ Less
Submitted 11 August, 2014;
originally announced August 2014.
-
Numerical Solution of Stochastic Partial Differential Equations with Correlated Noise
Authors:
Dirk Blömker,
Minoo Kamrani
Abstract:
In this paper we investigate the numerical solution of stochastic partial differential equations (SPDEs) for a wider class of stochastic equations. We focus on non-diagonal colored noise instead of the usual space-time white noise. By applying a spectral Galerkin method for spatial discretization and a numerical scheme in time introduced by Jentzen $\&$ Kloeden, we obtain the rate of path-wise con…
▽ More
In this paper we investigate the numerical solution of stochastic partial differential equations (SPDEs) for a wider class of stochastic equations. We focus on non-diagonal colored noise instead of the usual space-time white noise. By applying a spectral Galerkin method for spatial discretization and a numerical scheme in time introduced by Jentzen $\&$ Kloeden, we obtain the rate of path-wise convergence in the uniform topology. The main assumptions are either uniform bounds on the spectral Galerkin approximation or uniform bounds on the numerical data. Numerical examples illustrate the theoretically predicted convergence rate.
△ Less
Submitted 9 November, 2013;
originally announced November 2013.
-
Rigorous Numerical Verification of Uniqueness and Smoothness in a Surface Growth Model
Authors:
Dirk Blömker,
Christian Nolde,
James C. Robinson
Abstract:
Based on numerical data and a-posteriori analysis we verify rigorously the uniqueness and smoothness of global solutions to a scalar surface growth model with striking similarities to the 3D Navier--Stokes equations, for certain initial data for which analytical approaches fail. The key point is the derivation of a scalar ODE controlling the norm of the solution, whose coefficients depend on the…
▽ More
Based on numerical data and a-posteriori analysis we verify rigorously the uniqueness and smoothness of global solutions to a scalar surface growth model with striking similarities to the 3D Navier--Stokes equations, for certain initial data for which analytical approaches fail. The key point is the derivation of a scalar ODE controlling the norm of the solution, whose coefficients depend on the numerical data. Instead of solving this ODE explicitly, we explore three different numerical methods that provide rigorous upper bounds for its solution
△ Less
Submitted 27 March, 2015; v1 submitted 9 November, 2013;
originally announced November 2013.
-
Local existence and uniqueness for a two-dimensional surface growth equation with space--time white noise
Authors:
Dirk Blömker,
Marco Romito
Abstract:
We study local existence and uniqueness for a surface growth model with space-time white noise in 2D. Unfortunately, the direct fixed-point argument for mild solutions fails here, as we do not have sufficient regularity for the stochastic forcing. Nevertheless, one can give a rigorous meaning to the stochastic PDE and show uniqueness of solutions in that setting. Using spectral Galerkin method and…
▽ More
We study local existence and uniqueness for a surface growth model with space-time white noise in 2D. Unfortunately, the direct fixed-point argument for mild solutions fails here, as we do not have sufficient regularity for the stochastic forcing. Nevertheless, one can give a rigorous meaning to the stochastic PDE and show uniqueness of solutions in that setting. Using spectral Galerkin method and any other types of regularization of the noise, we obtain always the same solution.
△ Less
Submitted 15 July, 2013;
originally announced July 2013.
-
Galerkin approximations for the stochastic Burgers equation
Authors:
Dirk Blömker,
Arnulf Jentzen
Abstract:
Existence and uniqueness for semilinear stochastic evolution equations with additive noise by means of finite dimensional Galerkin approximations is established and the convergence rate of the Galerkin approximations to the solution of the stochastic evolution equation is estimated. These abstract results are applied to several examples of stochastic partial differential equations (SPDEs) of evolu…
▽ More
Existence and uniqueness for semilinear stochastic evolution equations with additive noise by means of finite dimensional Galerkin approximations is established and the convergence rate of the Galerkin approximations to the solution of the stochastic evolution equation is estimated. These abstract results are applied to several examples of stochastic partial differential equations (SPDEs) of evolutionary type including a stochastic heat equation, a stochastic reaction diffusion equation and a stochastic Burgers equation. The estimated convergence rates are illustrated by numerical simulations. The main novelty in this article is to estimate the difference of the finite dimensional Galerkin approximations and of the solution of the infinite dimensional SPDE uniformly in space, i.e., in the L^{\infty}-topology, instead of the usual Hilbert space estimates in the L^2-topology, that were shown before.
△ Less
Submitted 11 April, 2013;
originally announced April 2013.
-
Accuracy and Stability of The Continuous-Time 3DVAR Filter for The Navier-Stokes Equation
Authors:
D. Bloemker,
K. J. H. Law,
A. M. Stuart,
K. C. Zygalakis
Abstract:
The 3DVAR filter is prototypical of methods used to combine observed data with a dynamical system, online, in order to improve estimation of the state of the system. Such methods are used for high dimensional data assimilation problems, such as those arising in weather forecasting. To gain understanding of filters in applications such as these, it is hence of interest to study their behaviour when…
▽ More
The 3DVAR filter is prototypical of methods used to combine observed data with a dynamical system, online, in order to improve estimation of the state of the system. Such methods are used for high dimensional data assimilation problems, such as those arising in weather forecasting. To gain understanding of filters in applications such as these, it is hence of interest to study their behaviour when applied to infinite dimensional dynamical systems. This motivates study of the problem of accuracy and stability of 3DVAR filters for the Navier-Stokes equation.
We work in the limit of high frequency observations and derive continuous time filters. This leads to a stochastic partial differential equation (SPDE) for state estimation, in the form of a damped-driven Navier-Stokes equation, with mean-reversion to the signal, and spatially-correlated time-white noise. Both forward and pullback accuracy and stability results are proved for this SPDE, showing in particular that when enough low Fourier modes are observed, and when the model uncertainty is larger than the data uncertainty in these modes (variance inflation), then the filter can lock on to a small neighbourhood of the true signal, recovering from order one initial error, if the error in the observations modes is small. Numerical examples are given to illustrate the theory.
△ Less
Submitted 13 October, 2012; v1 submitted 4 October, 2012;
originally announced October 2012.
-
Local existence and uniqueness in the largest critical space for a surface growth model
Authors:
Dirk Blomker,
Marco Romito
Abstract:
We show the existence and uniqueness of solutions (either local or global for small data) for an equation arising in different aspects of surface growth. Following the work of Koch and Tataru we consider spaces critical with respect to scaling and we prove our results in the largest possible critical space such that weak solutions are defined. The uniqueness of global weak solutions remains unfor…
▽ More
We show the existence and uniqueness of solutions (either local or global for small data) for an equation arising in different aspects of surface growth. Following the work of Koch and Tataru we consider spaces critical with respect to scaling and we prove our results in the largest possible critical space such that weak solutions are defined. The uniqueness of global weak solutions remains unfortunately open, unless the initial conditions are sufficiently small.
△ Less
Submitted 22 March, 2010;
originally announced March 2010.
-
Regularity and blow-up in a surface growth model
Authors:
Dirk Blomker,
Marco Romito
Abstract:
The paper contains several regularity results and blow-up criterions for a surface growth model, which seems to have similar properties to the 3D Navier-Stokes, although it is a scalar equation. As a starting point we focus on energy methods and Lyapunov-functionals.
The paper contains several regularity results and blow-up criterions for a surface growth model, which seems to have similar properties to the 3D Navier-Stokes, although it is a scalar equation. As a starting point we focus on energy methods and Lyapunov-functionals.
△ Less
Submitted 9 February, 2009;
originally announced February 2009.
-
Qualitative Properties of Local Random Invariant Manifolds for SPDEs with Quadratic Nonlinearity
Authors:
Dirk Blomker,
Wei Wang
Abstract:
The qualitative properties of local random invariant manifolds for stochastic partial differential equations with quadratic nonlinearities and multiplicative noise is studied by a cut off technique. By a detail estimates on the Perron fixed point equation describing the local random invariant manifold, the structure near a bifurcation is given.
The qualitative properties of local random invariant manifolds for stochastic partial differential equations with quadratic nonlinearities and multiplicative noise is studied by a cut off technique. By a detail estimates on the Perron fixed point equation describing the local random invariant manifold, the structure near a bifurcation is given.
△ Less
Submitted 29 July, 2009; v1 submitted 1 December, 2008;
originally announced December 2008.
-
Multiscale Analysis for SPDEs with Quadratic Nonlinearities
Authors:
D. Blömker,
G. A. Pavliotis,
M. Hairer
Abstract:
In this article we derive rigorously amplitude equations for stochastic PDEs with quadratic nonlinearities, under the assumption that the noise acts only on the stable modes and for an appropriate scaling between the distance from bifurcation and the strength of the noise. We show that, due to the presence of two distinct timescales in our system, the noise (which acts only on the fast modes) ge…
▽ More
In this article we derive rigorously amplitude equations for stochastic PDEs with quadratic nonlinearities, under the assumption that the noise acts only on the stable modes and for an appropriate scaling between the distance from bifurcation and the strength of the noise. We show that, due to the presence of two distinct timescales in our system, the noise (which acts only on the fast modes) gets transmitted to the slow modes and, as a result, the amplitude equation contains both additive and multiplicative noise.
As an application we study the case of the one dimensional Burgers equation forced by additive noise in the orthogonal subspace to its dominant modes. The theory developed in the present article thus allows to explain theoretically some recent numerical observations from [Rob03].
△ Less
Submitted 17 November, 2006;
originally announced November 2006.
-
Markovianity and ergodicity for a surface growth PDE
Authors:
D. Blömker,
F. Flandoli,
M. Romito
Abstract:
The paper analyses a model in surface growth, where uniqueness of weak solutions seems to be out of reach. We provide the existence of a weak martingale solution satisfying energy inequalities and having the Markov property. Furthermore, under non-degeneracy conditions on the noise, we establish that any such solution is strong Feller and has a unique invariant measure.
The paper analyses a model in surface growth, where uniqueness of weak solutions seems to be out of reach. We provide the existence of a weak martingale solution satisfying energy inequalities and having the Markov property. Furthermore, under non-degeneracy conditions on the noise, we establish that any such solution is strong Feller and has a unique invariant measure.
△ Less
Submitted 1 November, 2006;
originally announced November 2006.
-
Predictability of the Burgers dynamics under model uncertainty
Authors:
Dirk Blömker,
Jinqiao Duan
Abstract:
Complex systems may be subject to various uncertainties. A great effort has been concentrated on predicting the dynamics under uncertainty in initial conditions. In the present work, we consider the well-known Burgers equation with random boundary forcing or with random body forcing. Our goal is to attempt to understand the stochastic Burgers dynamics by predicting or estimating the solution pro…
▽ More
Complex systems may be subject to various uncertainties. A great effort has been concentrated on predicting the dynamics under uncertainty in initial conditions. In the present work, we consider the well-known Burgers equation with random boundary forcing or with random body forcing. Our goal is to attempt to understand the stochastic Burgers dynamics by predicting or estimating the solution processes in various diagnostic metrics, such as mean length scale, correlation function and mean energy. First, for the linearized model, we observe that the important statistical quantities like mean energy or correlation functions are the same for the two types of random forcing, even though the solutions behave very differently. Second, for the full nonlinear model, we estimate the mean energy for various types of random body forcing, highlighting the different impact on the overall dynamics of space-time white noises, trace class white-in-time and colored-in-space noises, point noises, additive noises or multiplicative noises.
△ Less
Submitted 14 July, 2006;
originally announced July 2006.
-
A probabilistic representation for the solutions to some non-linear PDEs using pruned branching trees
Authors:
D. Blömker,
M. Romito,
R. Tribe
Abstract:
The solutions to a large class of semi-linear parabolic PDEs are given in terms of expectations of suitable functionals of a tree of branching particles. A sufficient, and in some cases necessary, condition is given for the integrability of the stochastic representation, using a companion scalar PDE.
In cases where the representation fails to be integrable a sequence of pruned trees is constru…
▽ More
The solutions to a large class of semi-linear parabolic PDEs are given in terms of expectations of suitable functionals of a tree of branching particles. A sufficient, and in some cases necessary, condition is given for the integrability of the stochastic representation, using a companion scalar PDE.
In cases where the representation fails to be integrable a sequence of pruned trees is constructed, producing a approximate stochastic representations that in some cases converge, globally in time, to the solution of the original PDE.
△ Less
Submitted 21 May, 2005;
originally announced May 2005.
-
Enstrophy Dynamics of Stochastically Forced Large-Scale Geophysical Flows
Authors:
D. Blömker,
Jinqiao Duan,
T. Wanner
Abstract:
Enstrophy is an averaged measure of fluid vorticity. This quantity is particularly important in {\em rotating} geophysical flows. We investigate the dynamical evolution of enstrophy for large-scale quasi-geostrophic flows under random wind forcing. We obtain upper bounds on the enstrophy, as well as results establishing its Hölder continuity and describing the small-time asymptotics.
Enstrophy is an averaged measure of fluid vorticity. This quantity is particularly important in {\em rotating} geophysical flows. We investigate the dynamical evolution of enstrophy for large-scale quasi-geostrophic flows under random wind forcing. We obtain upper bounds on the enstrophy, as well as results establishing its Hölder continuity and describing the small-time asymptotics.
△ Less
Submitted 12 August, 2001;
originally announced August 2001.