-
Data-dependent density estimation for the Fokker-Planck equation in higher dimensions
Authors:
Max Jensen,
Fabian Merle,
Andreas Prohl
Abstract:
We present a new strategy to approximate the global solution of the Fokker-Planck equation efficiently in higher dimensions and show its convergence. The main ingredients are the Euler scheme to solve the associated stochastic differential equation and a histogram method for tree-structured density estimation on a data-dependent partitioning of the state space R^d.
We present a new strategy to approximate the global solution of the Fokker-Planck equation efficiently in higher dimensions and show its convergence. The main ingredients are the Euler scheme to solve the associated stochastic differential equation and a histogram method for tree-structured density estimation on a data-dependent partitioning of the state space R^d.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
Mean Square Temporal error estimates for the 2D stochastic Navier-Stokes equations with transport noise
Authors:
Dominic Breit,
Thamsanqa Castern Moyo,
Andreas Prohl
Abstract:
We study the 2D Navier-Stokes equation with transport noise subject to periodic boundary conditions. Our main result is an error estimate for the time-discretisation showing a convergence rate of order (up to) 1/2. It holds with respect to mean square error convergence, whereas previously such a rate for the stochastic Navier-Stokes equations was only known with respect to convergence in probabili…
▽ More
We study the 2D Navier-Stokes equation with transport noise subject to periodic boundary conditions. Our main result is an error estimate for the time-discretisation showing a convergence rate of order (up to) 1/2. It holds with respect to mean square error convergence, whereas previously such a rate for the stochastic Navier-Stokes equations was only known with respect to convergence in probability. Our result is based on uniform-in-probability estimates for the continuous as well as the time-discrete solution exploiting the particular structure of the noise.
△ Less
Submitted 18 May, 2023;
originally announced May 2023.
-
Weak error analysis for the stochastic Allen-Cahn equation
Authors:
Dominic Breit,
Andreas Prohl
Abstract:
We prove strong rate resp. weak rate ${\mathcal O}(τ)$ for a structure preserving temporal discretization (with $τ$ the step size) of the stochastic Allen-Cahn equation with additive resp. multiplicative colored noise in $d=1,2,3$ dimensions. Direct variational arguments exploit the one-sided Lipschitz property of the cubic nonlinearity in the first setting to settle first order strong rate. It is…
▽ More
We prove strong rate resp. weak rate ${\mathcal O}(τ)$ for a structure preserving temporal discretization (with $τ$ the step size) of the stochastic Allen-Cahn equation with additive resp. multiplicative colored noise in $d=1,2,3$ dimensions. Direct variational arguments exploit the one-sided Lipschitz property of the cubic nonlinearity in the first setting to settle first order strong rate. It is the same property which allows for uniform bounds for the derivatives of the solution of the related Kolmogorov equation, and then leads to weak rate ${\mathcal O}(τ)$ in the presence of multiplicative noise. Hence, we obtain twice the rate of convergence known for the strong error in the presence of multiplicative noise.
△ Less
Submitted 15 September, 2023; v1 submitted 5 October, 2022;
originally announced October 2022.
-
Higher order time discretization for the stochastic semilinear wave equation with multiplicative noise
Authors:
Xiaobing Feng,
Akash Ashirbad Panda,
Andreas Prohl
Abstract:
In this paper, a higher-order time-discretization scheme is proposed, where the iterates approximate the solution of the stochastic semilinear wave equation driven by multiplicative noise with general drift and diffusion. We employ a variational method for its error analysis and prove an improved convergence order of 3/2 for the approximates of the solution. The core of the analysis is Holder cont…
▽ More
In this paper, a higher-order time-discretization scheme is proposed, where the iterates approximate the solution of the stochastic semilinear wave equation driven by multiplicative noise with general drift and diffusion. We employ a variational method for its error analysis and prove an improved convergence order of 3/2 for the approximates of the solution. The core of the analysis is Holder continuity in time and moment bounds for the solutions of the continuous and the discrete problem. Computational experiments are also presented.
△ Less
Submitted 18 July, 2022; v1 submitted 15 May, 2022;
originally announced May 2022.
-
Numerical analysis of 2D Navier--Stokes equations with additive stochastic forcing
Authors:
Dominic Breit,
Andreas Prohl
Abstract:
We propose and study a temporal, and spatio-temporal discretisation of the 2D stochastic Navier--Stokes equations in bounded domains supplemented with no-slip boundary conditions. Considering additive noise, we base its construction on the related nonlinear random PDE, which is solved by a transform of the solution of the stochastic Navier--Stokes equations. We show strong rate (up to) $1$ in prob…
▽ More
We propose and study a temporal, and spatio-temporal discretisation of the 2D stochastic Navier--Stokes equations in bounded domains supplemented with no-slip boundary conditions. Considering additive noise, we base its construction on the related nonlinear random PDE, which is solved by a transform of the solution of the stochastic Navier--Stokes equations. We show strong rate (up to) $1$ in probability for a corresponding discretisation in space and time (and space-time). Convergence of order (up to) 1 in time was previously only known for linear SPDEs.
△ Less
Submitted 22 March, 2022; v1 submitted 12 October, 2021;
originally announced October 2021.
-
Error analysis for 2D stochastic Navier--Stokes equations in bounded domains with Dirichlet data
Authors:
Dominic Breit,
Andreas Prohl
Abstract:
We study a finite-element based space-time discretisation for the 2D stochastic Navier-Stokes equations in a bounded domain supplemented with no-slip boundary conditions. We prove optimal convergence rates in the energy norm with respect to convergence in probability, that is convergence of order (almost) 1/2 in time and 1 in space. This was previously only known in the space-periodic case, where…
▽ More
We study a finite-element based space-time discretisation for the 2D stochastic Navier-Stokes equations in a bounded domain supplemented with no-slip boundary conditions. We prove optimal convergence rates in the energy norm with respect to convergence in probability, that is convergence of order (almost) 1/2 in time and 1 in space. This was previously only known in the space-periodic case, where higher order energy estimates for any given (deterministic) time are available. In contrast to this, in the Dirichlet-case estimates are only known for a (possibly large) stop** time. We overcome this problem by introducing an approach based on discrete stop** times. This replaces the localised estimates (with respect to the sample space) from earlier contributions.
△ Less
Submitted 5 October, 2022; v1 submitted 14 September, 2021;
originally announced September 2021.
-
Strong Rates of Convergence for Space-Time Discretization of the Backward Stochastic Heat Equation, and of a Linear-Quadratic Control Problem for the Stochastic Heat Equation
Authors:
Andreas Prohl,
Yanqing Wang
Abstract:
We introduce a time-implicit, finite-element based space-time discretization scheme for the backward stochastic heat equation, and for the forward-backward stochastic heat equation from stochastic optimal control, and prove strong rates of convergence. The fully discrete version of the forward-backward stochastic heat equation is then used within a gradient descent algorithm to approximately solve…
▽ More
We introduce a time-implicit, finite-element based space-time discretization scheme for the backward stochastic heat equation, and for the forward-backward stochastic heat equation from stochastic optimal control, and prove strong rates of convergence. The fully discrete version of the forward-backward stochastic heat equation is then used within a gradient descent algorithm to approximately solve the linear-quadratic control problem for the stochastic heat equation driven by additive noise.
△ Less
Submitted 18 December, 2020;
originally announced December 2020.
-
Strong Error Estimates for a Space-Time Discretization of the Linear-Quadratic Control Problem with the Stochastic Heat Equation with Linear Noise
Authors:
Andreas Prohl,
Yanqing Wang
Abstract:
We propose a time-implicit, finite-element based space-time discretization of the necessary and sufficient optimality conditions for the stochastic linear-quadratic optimal control problem with the stochastic heat equation driven by linear noise of type $[X(t)+σ(t)]dW(t)$, and prove optimal convergence w.r.t. both, space and time discretization parameters. In particular, we employ the stochastic R…
▽ More
We propose a time-implicit, finite-element based space-time discretization of the necessary and sufficient optimality conditions for the stochastic linear-quadratic optimal control problem with the stochastic heat equation driven by linear noise of type $[X(t)+σ(t)]dW(t)$, and prove optimal convergence w.r.t. both, space and time discretization parameters. In particular, we employ the stochastic Riccati equation as a proper analytical tool to handle the linear noise, and thus extend the applicability of the earlier work [16], where the error analysis was restricted to additive noise.
△ Less
Submitted 8 December, 2020;
originally announced December 2020.
-
Optimally Convergent Mixed Finite Element Methods for the Stochastic Stokes Equations
Authors:
Xiaobing Feng,
Andreas Prohl,
Liet Vo
Abstract:
We propose some new mixed finite element methods for the time dependent stochastic Stokes equations with multiplicative noise, which use the Helmholtz decomposition of the driving multiplicative noise. It is known [16] that the pressure solution has a low regularity, which manifests in sub-optimal convergence rates for well-known inf-sup stable mixed finite element methods in numerical simulations…
▽ More
We propose some new mixed finite element methods for the time dependent stochastic Stokes equations with multiplicative noise, which use the Helmholtz decomposition of the driving multiplicative noise. It is known [16] that the pressure solution has a low regularity, which manifests in sub-optimal convergence rates for well-known inf-sup stable mixed finite element methods in numerical simulations, see [10]. We show that eliminating this gradient part from the noise in the numerical scheme leads to optimally convergent mixed finite element methods, and that this conceptual idea may be used to retool numerical methods that are well-known in the deterministic setting, including pressure stabilization methods, so that their optimal convergence properties can still be maintained in the stochastic setting. Computational experiments are also provided to validate the theoretical results and to illustrate the conceptional usefulness of the proposed numerical approach.
△ Less
Submitted 7 June, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
Numerical Analysis for Nematic Electrolytes
Authors:
Ľubomír Baňas,
Robert Lasarzik,
Andreas Prohl
Abstract:
We consider a system of nonlinear PDEs modeling nematic electrolytes, and construct a dissipative solution with the help of its implementable, structure-inheriting space-time discretization. Computational studies are performed to study the mutual effects of electric, elastic, and viscous effects onto the molecules in a nematic electrolyte.
We consider a system of nonlinear PDEs modeling nematic electrolytes, and construct a dissipative solution with the help of its implementable, structure-inheriting space-time discretization. Computational studies are performed to study the mutual effects of electric, elastic, and viscous effects onto the molecules in a nematic electrolyte.
△ Less
Submitted 22 April, 2020;
originally announced April 2020.
-
Numerical Approximation of Nonlinear SPDE's
Authors:
Martin Ondrejat,
Andreas Prohl,
Noel Walkington
Abstract:
The numerical analysis of stochastic parabolic partial differential equations of the form $$ du + A(u) = f \,dt + g \, dW, $$ is surveyed, where $A$ is a partial operator and $W$ a Brownian motion. This manuscript unifies much of the theory developed over the last decade into a cohesive framework which integrates techniques for the approximation of deterministic partial differential equations with…
▽ More
The numerical analysis of stochastic parabolic partial differential equations of the form $$ du + A(u) = f \,dt + g \, dW, $$ is surveyed, where $A$ is a partial operator and $W$ a Brownian motion. This manuscript unifies much of the theory developed over the last decade into a cohesive framework which integrates techniques for the approximation of deterministic partial differential equations with methods for the approximation of stochastic ordinary differential equations. The manuscript is intended to be accessible to audiences versed in either of these disciplines, and examples are presented to illustrate the applicability of the theory.
△ Less
Submitted 12 March, 2020;
originally announced March 2020.
-
Numerical approximation of the Stochastic Cahn-Hilliard Equation near the Sharp Interface Limit
Authors:
Dimitra Antonopoulou,
Lubomir Banas,
Robert Nürnberg,
Andreas Prohl
Abstract:
We consider the stochastic Cahn-Hilliard equation with additive noise term $\varepsilon^γg\, \dot{W}$ ($γ>0$) that scales with the interfacial width parameter $\varepsilon$. We verify strong error estimates for a gradient flow structure-inheriting time-implicit discretization, where $\varepsilon^{-1}$ only enters polynomially; the proof is based on higher-moment estimates for iterates, and a (disc…
▽ More
We consider the stochastic Cahn-Hilliard equation with additive noise term $\varepsilon^γg\, \dot{W}$ ($γ>0$) that scales with the interfacial width parameter $\varepsilon$. We verify strong error estimates for a gradient flow structure-inheriting time-implicit discretization, where $\varepsilon^{-1}$ only enters polynomially; the proof is based on higher-moment estimates for iterates, and a (discrete) spectral estimate for its deterministic counterpart. For $γ$ sufficiently large, convergence in probability of iterates towards the deterministic Hele-Shaw/Mullins-Sekerka problem in the sharp-interface limit $\varepsilon \rightarrow 0$ is shown. These convergence results are partly generalized to a fully discrete finite element based discretization.
We complement the theoretical results by computational studies to provide practical evidence concerning the effect of noise (depending on its 'strength' $γ$) on the geometric evolution in the sharp-interface limit. For this purpose we compare the simulations with those from a fully discrete finite element numerical scheme for the (stochastic) Mullins-Sekerka problem. The computational results indicate that the limit for $γ\geq 1$ is the deterministic problem, and for $γ=0$ we obtain agreement with a (new) stochastic version of the Mullins-Sekerka problem.
△ Less
Submitted 7 July, 2020; v1 submitted 27 May, 2019;
originally announced May 2019.
-
Existence, uniqueness and regularity for the stochastic Ericksen-Leslie equation
Authors:
Anne De Bouard,
Antoine Hocquet,
Andreas Prohl
Abstract:
We investigate existence and uniqueness for the stochastic liquid crystal flow driven by colored noise on the two-dimensional torus. After giving a natural uniqueness criterion, we prove local solvability in $L^p$-based spaces, for every $p>2.$ Thanks to a bootstrap principle together with a Gyöngy-Krylov-type compactness argument, this will ultimately lead us to prove the existence of a particula…
▽ More
We investigate existence and uniqueness for the stochastic liquid crystal flow driven by colored noise on the two-dimensional torus. After giving a natural uniqueness criterion, we prove local solvability in $L^p$-based spaces, for every $p>2.$ Thanks to a bootstrap principle together with a Gyöngy-Krylov-type compactness argument, this will ultimately lead us to prove the existence of a particular class of global solutions which are partially regular, strong in the probabilistic sense, and taking values in the "critical space" $L^2\times H^1.$
△ Less
Submitted 15 February, 2019;
originally announced February 2019.
-
Dynamic Programming for Finite Ensembles of Nanomagnetic Particles
Authors:
Max Jensen,
Ananta Majee,
Andreas Prohl,
Christian Schellnegger
Abstract:
We use optimal control via a distributed exterior field to steer the dynamics of an ensemble of N interacting ferromagnetic particles which are immersed into a heat bath by minimizing a quadratic functional. By using dynamic programing principle, we show the existence of a unique strong solution of the optimal control problem. By the Hopf-Cole transformation, the related Hamilton-Jacobi-Bellman eq…
▽ More
We use optimal control via a distributed exterior field to steer the dynamics of an ensemble of N interacting ferromagnetic particles which are immersed into a heat bath by minimizing a quadratic functional. By using dynamic programing principle, we show the existence of a unique strong solution of the optimal control problem. By the Hopf-Cole transformation, the related Hamilton-Jacobi-Bellman equation from dynamic programming principle may be re-cast into a linear PDE on the manifold M = (S^2)^N, whose classical solution may be represented via Feynman-Kac formula. We use this probabilistic representation for Monte-Carlo simulations to illustrate optimal switching dynamics.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
Optimal Strong Rates of Convergence for a Space-Time Discretization of the Stochastic Allen-Cahn Equation with multiplicative noise
Authors:
Ananta K. Majee,
Andreas Prohl
Abstract:
The stochastic Allen-Cahn equation with multiplicative noise involves the nonlinear drift operator ${\mathscr A}(x) = Δx - \bigl(\vert x\vert^2 -1\bigr)x$. We use the fact that ${\mathscr A}(x) = -{\mathcal J}^{\prime}(x)$ satisfies a weak monotonicity property to deduce uniform bounds in strong norms for solutions of the temporal, as well as of the spatio-temporal discretization of the problem. T…
▽ More
The stochastic Allen-Cahn equation with multiplicative noise involves the nonlinear drift operator ${\mathscr A}(x) = Δx - \bigl(\vert x\vert^2 -1\bigr)x$. We use the fact that ${\mathscr A}(x) = -{\mathcal J}^{\prime}(x)$ satisfies a weak monotonicity property to deduce uniform bounds in strong norms for solutions of the temporal, as well as of the spatio-temporal discretization of the problem. This weak monotonicity property then allows for the estimate $ \underset{1 \leq j \leq J}\sup {\mathbb E}\bigl[ \Vert X_{t_j} - Y^j\Vert_{{\mathbb L}^2}^2\bigr] \leq C_δ(k^{1-δ} + h^2)$ for all small $δ>0$, where $X$ is the strong variational solution of the stochastic Allen-Cahn equation, while $\big\{Y^j:0\le j\le J\big\}$ solves a structure preserving finite element based space-time discretization of the problem on a temporal mesh $\{ t_j;\, 1 \leq j \leq J\}$ of size $k>0$ which covers $[0,T]$.
△ Less
Submitted 28 May, 2017;
originally announced May 2017.
-
Convergence of a $θ$-scheme to solve the stochastic nonlinear Schrödinger equation with Stratonovich noise
Authors:
Chuchu Chen,
Jialin Hong,
Andreas Prohl
Abstract:
We propose a $θ$-scheme to discretize the $d$-dimensional stochastic cubic Schrödinger equation in Stratono\-vich sense. A uniform bound for the Hamiltonian of the discrete problem is obtained, which is a crucial property to verify the convergence in probability towards a mild solution.
Furthermore, based on the uniform bounds of iterates in ${\mathbb H}^2(\mathcal{O})$ for…
▽ More
We propose a $θ$-scheme to discretize the $d$-dimensional stochastic cubic Schrödinger equation in Stratono\-vich sense. A uniform bound for the Hamiltonian of the discrete problem is obtained, which is a crucial property to verify the convergence in probability towards a mild solution.
Furthermore, based on the uniform bounds of iterates in ${\mathbb H}^2(\mathcal{O})$ for $\mathcal{O}\subset\mathbb{R}^{1}$, the optimal convergence order 1 in strong local sense is obtained.
△ Less
Submitted 27 September, 2015; v1 submitted 22 October, 2014;
originally announced October 2014.
-
Optimal control for the thin-film equation: Convergence of a multi-parameter approach to track state constraints avoiding degeneracies
Authors:
Markus Klein,
Andreas Prohl
Abstract:
We consider an optimal control problem subject to the thin-film equation which is deduced from the Navier--Stokes equation. The PDE constraint lacks well-posedness for general right-hand sides due to possible degeneracies; state constraints are used to circumvent this problematic issue and to ensure well-posedness, and the rigorous derivation of necessary optimality conditions for the optimal cont…
▽ More
We consider an optimal control problem subject to the thin-film equation which is deduced from the Navier--Stokes equation. The PDE constraint lacks well-posedness for general right-hand sides due to possible degeneracies; state constraints are used to circumvent this problematic issue and to ensure well-posedness, and the rigorous derivation of necessary optimality conditions for the optimal control problem is performed. A multi-parameter regularization is considered which addresses both, the possibly degenerate term in the equation and the state constraint, and convergence is shown for vanishing regularization parameters by decoupling both effects. The fully regularized optimal control problem allows for practical simulations which are provided, including the control of a dewetting scenario, to evidence the need of the state constraint, and to motivate proper scalings of involved regularization and numerical parameters.
△ Less
Submitted 8 August, 2015; v1 submitted 8 October, 2014;
originally announced October 2014.
-
Ergodicity for a stochastic geodesic equation in the tangent bundle of the 2D sphere
Authors:
L'ubomír Banas,
Zdzisław Brzeźniak,
Misha Neklyudov,
Martin Ondreját,
Andreas Prohl
Abstract:
We study ergodic properties of stochastic geometric wave equations on a particular model with the target being the 2D sphere while considering the space variable-independent solutions only. This simplification leads to a degenerate stochastic equation in the tangent bundle of the 2D sphere. Studying this equation, we prove existence and non-uniqueness of invariant probability measures for the orig…
▽ More
We study ergodic properties of stochastic geometric wave equations on a particular model with the target being the 2D sphere while considering the space variable-independent solutions only. This simplification leads to a degenerate stochastic equation in the tangent bundle of the 2D sphere. Studying this equation, we prove existence and non-uniqueness of invariant probability measures for the original problem and we obtain also results on attractivity towards an invariant measure. We also present a suitable numerical scheme for approximating the solutions subject to a sphere constraint.
△ Less
Submitted 26 March, 2014;
originally announced March 2014.
-
Finite element approximations of the stochastic mean curvature flow of planar curves of graphs
Authors:
Xiaobing Feng,
Yukun Li,
Andreas Prohl
Abstract:
This paper develops and analyzes a semi-discrete and a fully discrete finite element method for a one-dimensional quasilinear parabolic stochastic partial differential equation (SPDE) which describes the stochastic mean curvature flow for planar curves of graphs. To circumvent the difficulty caused by the low spatial regularity of the SPDE solution, a regularization procedure is first proposed to…
▽ More
This paper develops and analyzes a semi-discrete and a fully discrete finite element method for a one-dimensional quasilinear parabolic stochastic partial differential equation (SPDE) which describes the stochastic mean curvature flow for planar curves of graphs. To circumvent the difficulty caused by the low spatial regularity of the SPDE solution, a regularization procedure is first proposed to approximate the SPDE, and an error estimate for the regularized problem is derived. A semi-discrete finite element method, and a space-time fully discrete method are then proposed to approximate the solution of the regularized SPDE problem. Strong convergence with rates are established for both, semi- and fully discrete methods. Computational experiments are provided to study the interplay of the geometric evolution and gradient type-noises.
△ Less
Submitted 24 March, 2013;
originally announced March 2013.
-
Attractivity, invariance and ergodicity for SDEs on Riemannian manifolds
Authors:
Lubomir Banas,
Zdzislaw Brzezniak,
Martin Ondrejat,
Andreas Prohl
Abstract:
We give a sufficient condition on nonlinearities of an SDE on a compact connected Riemannian manifold $M$ which implies that laws of all solutions converge weakly to the normalized Riemannian volume measure on $M$. This result is further applied to characterize invariant and ergodic measures for various SDEs on manifolds.
We give a sufficient condition on nonlinearities of an SDE on a compact connected Riemannian manifold $M$ which implies that laws of all solutions converge weakly to the normalized Riemannian volume measure on $M$. This result is further applied to characterize invariant and ergodic measures for various SDEs on manifolds.
△ Less
Submitted 3 February, 2011;
originally announced February 2011.
-
On $p$-harmonic map heat flows for {$1\leq p< \infty$} and their finite element approximations
Authors:
John W. Barrett,
Xiaobing Feng,
Andreas Prohl
Abstract:
Motivated by emerging applications from imaging processing, the heat flow of a generalized $p$-harmonic map into spheres is studied for the whole spectrum, $1\leq p<\infty$, in a unified framework. The existence of global weak solutions is established for the flow using the energy method together with a regularization and a penalization technique. In particular, a $BV$-solution concept is introd…
▽ More
Motivated by emerging applications from imaging processing, the heat flow of a generalized $p$-harmonic map into spheres is studied for the whole spectrum, $1\leq p<\infty$, in a unified framework. The existence of global weak solutions is established for the flow using the energy method together with a regularization and a penalization technique. In particular, a $BV$-solution concept is introduced and the existence of such a solution is proved for the 1-harmonic map heat flow. The main idea used to develop such a theory is to exploit the properties of measures of the forms $\cA\cdot\nab\bv$ and $\cA\wedge\nab\bv$; which pair a divergence-$L^1$, or a divergence-measure, tensor field $\cA$, and a $BV$-vector field $\bv$. Based on these analytical results, a practical fully discrete finite element method is then proposed for approximating weak solutions of the $p$-harmonic map heat flow, and the convergence of the proposed numerical method is also established.
△ Less
Submitted 17 December, 2007;
originally announced December 2007.