We formulate and prove a {\it Local Stable Manifold Theorem\/} for stochastic differential equations (sde's) that are driven by spatial Kunita-type semimartingales with stationary ergodic increments. Both Stratonovich and Itô-type equations are treated. Starting with the existence of a stochastic flow for a sde, we introduce the notion of a hyperbolic stationary trajectory. We prove the existence of invariant random stable and unstable manifolds in the neighborhood of the hyperbolic stationary solution. For Stratonovich sde's, the stable and unstable manifolds are dynamically characterized using forward and backward solutions of the anticipating sde. The proof of the stable manifold theorem is based on Ruelle-Oseledec multiplicative ergodic theory.
Malliavin Calculus can be seen as a differential calculus on Wiener spaces. We present the notion of stochastic manifold for which the Malliavin Calculus plays the same role as the classical differential calculus for the differential manifolds. The set of the paths in a Riemmanian compact manifold is then seen as a particular case of the above structure.
In this article we prove that stochastic differential equation (SDE) with Sobolev drift on compact Riemannian manifold admits a unique $ν$-almost everywhere stochastic invertible flow, where $ν$ is the Riemannian measure, which is quasi-invariant with respect to $ν$. In particular, we extend the well known DiPerna-Lions flows of ODEs to SDEs on Riemannian manifold.
Fang-Wu\cite{FW17} presented a explicit spectral gap for the O-U process on path space over a Riemannian manifold without boundary under the bounded Ricci curvature conditions. In this paper, we will extend these results to the case of the Riemannian manifold with boundary. Moreover, we also derive the similar results for the stochastic heat process.
In this paper we discuss the stability of stochastic differential equations and the interplay between the moment stability of a SDE and the topology of the underlying manifold. Sufficient and necessary conditions are given for the moment stability of a SDE in terms of the coefficients. Finally we prove a vanishing result for the fundamental group of a complete Riemannian manifold in terms of purely geometrical quantities.
We prove the existence and the uniqueness of a solution to the stochastic NSLE on a two-dimensional compact riemannian manifold. Thus we generalize a recent work by Burq, Gérard and Tzvetkov in the deterministic setting, and a series of papers by de Bouard and Debussche, who have examined similar questions in the case of the flat euclidean space with random perturbation. We prove the existence and the uniqueness of a local maximal solution to stochastic nonlinear Schrödinger equations with multiplicative noise on a compact d-dimensional riemannian manifold. Under more regularity on the noise, …
The problem of finding a martingale on a manifold with a fixed random terminal value can be solved by considering BSDEs with a generator with quadratic growth. We study here a generalization of these equations and we give uniqueness and existence results in two different frameworks, using differential geometry tools. Applications to PDEs are given, including a certain class of Dirichlet problems on manifolds.
This article deals with invariant manifolds for infinite dimensional random dynamical systems with different time scales. Such a random system is generated by a coupled system of fast-slow stochastic evolutionary equations. Under suitable conditions, it is proved that an exponentially tracking random invariant manifold exists, eliminating the fast motion for this coupled system. It is further shown that if the scaling parameter tends to zero, the invariant manifold tends to a slow manifold which captures long time dynamics. As examples the results are applied to a few systems of coupled parabo…
Suppose $N$ is a compact Riemannian manifold, in this paper we will introduce the definition of $N$-valued BSDE and $L^2(\mathbb{T}^m;N)$-valued BSDE for which the solution are not necessarily staying in only one local coordinate. Moreover, the global existence of a solution to $L^2(\mathbb{T}^m;N)$-valued BSDE will be proved without any convexity condition on $N$.
A stochastically continuous process $ξ(t)$, $t\geq0$, is said to be time-stable if the sum of $n$ i.i.d. copies of $ξ$ equals in distribution to the time-scaled stochastic process $ξ(nt)$, $t\geq0$. The paper advances the understanding of time-stable processes by means of their LePage series representations.
In this note we prove the well-posedness for stochastic 2D Navier-Stokes equation driven by general Lévy processes (in particular, $α$-stable processes), and obtain the existence of invariant measures.
In this work, we consider the stochastic Cauchy problem driven by the canonical $α$-stable cylindrical Lévy process. This noise naturally generalises the cylindrical Brownian motion or space-time Gaussian white noise. We derive a sufficient and necessary condition for the existence of the weak and mild solution of the stochastic Cauchy problem and establish the temporal irregularity of the solution.
In this paper, stochastic inertial manifold for damped wave equations subjected to additive white noise is constructed by the Lyapunov-Perron method. It is proved that when the intensity of noise tends to zero the stochastic inertial manifold converges to its deterministic counterpart almost surely.
Invariant manifolds facilitate the understanding of nonlinear stochastic dynamics. When an invariant manifold is represented approximately by a graph for example, the whole stochastic dynamical system may be reduced or restricted to this manifold. This reduced system may provide valuable dynamical information for the original system. The authors have derived an invariant manifold reduction or restriction principle for systems of Stratonovich or Ito stochastic differential equations. Two concepts of invariance are considered for invariant manifolds. The first invariance concept is in the framew…
This article is a sequel to [M.Z.Z.1] aimed at completing the characterization of the pathwise local structure of solutions of semilinear stochastic evolution equations (see's) and stochastic partial differential equations (spde's) near stationary solutions. Stationary solution are viewed as random points in the infinite-dimensional state space, and the characterization is expressed in terms of the almost sure long-time behavior of trajectories of the equation in relation to the stationary solution. More specifically, we establish local stable manifold theorems for semilinear see's and spde's …
In this paper we introduce a class of forward-backward stochastic differential equations on tensor fields of Riemannian manifolds, which are related to semi-linear parabolic partial differential equations on tensor fields. Moreover, we will use these forward-backward stochastic differential equations to give a stochastic characterization of incompressible Navier-Stokes equations on Riemannian manifolds, where some extra conditions used in [22] are not required.
Under K.-T. Sturm's formulation, we obtain a Gaussian upper bound for tail probability of mean value of independent, identically distributed random variables with values in $\mathbb{R}$-trees and Hadamard manifolds.
We prove pathwise uniqueness for solutions of the nonlinear Schrödinger equation with conservative multiplicative noise on compact 3D manifolds. In particular, we generalize the result by Burq, Gérard and Tzvetkov (N. Burq, P. Gérard, and N. Tzvetkov. Strichartz inequalities and the nonlinear Schrödinger equation on compact manifolds. American Journal of Mathematics, 126 (3):569--605, 2004) to the stochastic setting. The proof is based on deterministic and stochastic Strichartz estimates and the Littlewood-Paley decomposition.
The Koper model is a vector field in which the differential equations describe the electrochemical oscillations appearing in diffusion processes. This work focuses on the understanding of the slow dynamics of stochastic Koper model perturbed by stable Lévy noise. We establish the slow manifold for stochastic Koper model with stable Lévy noise and verify exponential tracking property. We also present a practical example to demonstrate the analytical results with numerical simulations.
Building on results obtained in [GVRS], we prove Local Stable and Unstable Manifold Theorems for nonlinear, singular stochastic delay differential equations. The main tools are rough paths theory and a semi-invertible Multiplicative Ergodic Theorem for cocycles acting on measurable fields of Banach spaces obtained in [GVR].
We prove a geometrically meaningful stochastic representation of the derivative of the heat semigroup on sub-Riemannian manifolds with tranverse symmetries. This representation is obtained from the study of Bochner-Weitzenbock type formulas for sub-Laplacians on 1-forms. As a consequence, we prove new hypoelliptic heat semigroup gradient bounds under natural global geometric conditions. The results are new even in the case of the Heisenberg group which is the simplest example of a sub-Riemannian manifold with transverse symmetries.
Random invariant manifolds are geometric objects useful for understanding complex dynamics under stochastic influences. Under a nonuniform hyperbolicity or a nonuniform exponential dichotomy condition, the existence of random pseudo-stable and pseudo-unstable manifolds for a class of \emph{random} partial differential equations and \emph{stochastic} partial differential equations is shown. Unlike the invariant manifold theory for stochastic \emph{ordinary} differential equations, random norms are not used. The result is then applied to a nonlinear stochastic partial differential equation with …
By the Lyapunov-Perron method,we prove the existence of random inertial manifolds for a class of equations driven simultaneously by non-autonomous deterministic and stochastic forcing. These invariant manifolds contain tempered pullback random attractors if such attractors exist. We also prove pathwise periodicity and almost periodicity of inertial manifolds when non-autonomous deterministic forcing is periodic and almost periodic in time, respectively.
We first prove stochastic representation formulae for space-time harmonic mappings defined on manifolds with evolving Riemannian metric. We then apply these formulae to derive Liouville type theorems under appropriate curvature conditions. Space-time harmonic mappings which are defined globally in time correspond to ancient solutions to the harmonic map heat flow. As corollaries, we establish triviality of such ancient solutions in a variety of different situations.
The main objective of this work is to characterize the pathwise local structure of solutions of semilinear stochastic evolution equations (see's) and stochastic partial differential equations (spde's) near stationary solutions. Such characterization is realized through the long-term behavior of the solution field near stationary points. The analysis falls in two parts I, II. In Part I (this paper), we prove a general existence and compactness theorem for $C^k$-cocycles of semilinear see's and spde's. Our results cover a large class of semilinear see's as well as certain semilinear spde's with …
This article presents a purely functional-analytic construction of the concept of stochastic parallel transport in Hermitian bundles over Riemannian manifolds. As a byproduct, we also obtain a form of the Feynman-Kac formula in vector bundles that is, to our best knowledge, the most general found so far.
Analogous to the characterisation of Brownian motion on a Riemannian manifold as the development of Brownian motion on a Euclidean space, we construct sub-Riemannian diffusions on equinilpotentisable sub-Riemannian manifolds by developing a canonical stochastic process arising as the lift of Brownian motion to an associated model space. The notion of stochastic development we introduce for equinilpotentisable sub-Riemannian manifolds uses Cartan connections, which take the place of the Levi-Civita connection in Riemannian geometry. We first derive a general expression for the generator of the …
We are concerned with stochastic processes on surfaces in three-dimensional contact sub-Riemannian manifolds. Employing the Riemannian approximations to the sub-Riemannian manifold which make use of the Reeb vector field, we obtain a second order partial differential operator on the surface arising as the limit of Laplace-Beltrami operators. The stochastic process associated with the limiting operator moves along the characteristic foliation induced on the surface by the contact distribution. We show that for this stochastic process elliptic characteristic points are inaccessible, while hyperb…
The main result of this note is the existence of martingale solutions to the stochastic heat equation (SHE) in a Riemannian manifold by using suitable Dirichlet forms on the corresponding path/loop space. Moreover, we present some characterizations of the lower bound of the Ricci curvature by functional inequalities of various associated Dirichlet forms.
In the paper [Probab. Theory Relat. Fields, 100 (1994) 417-428] Xue-Mei Li has shown that the moment stability of an SDE is closely connected with the topology of the underlying manifold. In particular, she gave sufficient condition on SDE on a manifold $M$ under which the fundamental group $π_1 M=0$. We prove that in fact under the similar conditions the manifold $M$ is contractible, that is all homotopy groups $π_k M$, $k\geq1$, vanish.
By applying Rohlin's result on the classification of homomorphisms of Lebesgue space, the random inertial manifold of a stochastic damped nonlinear wave equations with singular perturbation is proved to be approximated almost surely by that of a stochastic nonlinear heat equation which is driven by a new Wiener process depending on the singular perturbation parameter. This approximation can be seen as the Smolukowski--Kramers approximation as time goes to infinity. However, as time goes infinity, the approximation changes with the small parameter, which is different from the approximation on a…
In this article we establish new central limit theorems for Ruppert-Polyak averaged stochastic gradient descent schemes. Compared to previous work we do not assume that convergence occurs to an isolated attractor but instead allow convergence to a stable manifold. On the stable manifold the target function is constant and the oscillations in the tangential direction may be significantly larger than the ones in the normal direction. As we show, one still recovers a central limit theorem with the same rates as in the case of isolated attractors. Here we consider step-sizes $γ_n=n^{-γ}$ with $γ\i…
In this paper, we prove the existence of martingale solutions to the stochastic heat equation taking values in a Riemannian manifold, which admits Wiener (Brownian bridge) measure on the Riemannian path (loop) space as an invariant measure using a suitable Dirichlet form. Using the Andersson-Driver approximation, we heuristically derive a form of the equation solved by the process given by the Dirichlet form. Moreover, we establish the log-Sobolev inequality for the Dirichlet form in the path space. In addition, some characterizations for the lower bounds of the Ricci curvature are presented r…
