Search arXivSearch

arXiv · 1204.3867

Sobolev differentiable stochastic flows for SDEs with singular coefficients: Applications to the transport equation

Abstract

In this paper, we establish the existence of a stochastic flow of Sobolev diffeomorphisms \[\mathbb{R}^d\ni x\quad\longmapsto\quadϕ_{s,t}(x)\in \mathbb{R}^d,\qquad s,t\in\mathbb{R}\] for a stochastic differential equation (SDE) of the form \[dX_t=b(t,X_t)\,dt+dB_t,\qquad s,t\in\mathbb{R},X_s=x\in\mathbb{R}^d.\] The above SDE is driven by a bounded measurable drift coefficient $b:\mathbb{R}\times\mathbb{R}^d\rightarrow\mathbb{R}^d$ and a $d$-dimensional Brownian motion $B$. More specifically, we show that the stochastic flow $ϕ_{s,t}(\cdot)$ of the SDE lives in the space $L^2(Ω;W^{1,p}(\mathbb{R}^d,w))$ for all $s,t$ and all $p\in (1,\infty)$, where $W^{1,p}(\mathbb{R}^d,w)$ denotes a weighted Sobolev space with weight $w$ possessing a $p$th moment with respect to Lebesgue measure on $\mathbb {R}^d$. From the viewpoint of stochastic (and deterministic) dynamical systems, this is a striking result, since the dominant "culture" in these dynamical systems is that the flow "inherits" its spatial regularity from that of the driving vector fields. The spatial regularity of the stochastic flow yields existence and uniqueness of a Sobolev differentiable weak solution of the (Stratonovich) stochastic transport equation \[\cases{\displaystyle d_tu(t,x)+\bigl(b(t,x)\cdot Du(t,x)\bigr)\,dt+\sum_{i=1}^de_i\cdot Du(t,x)\circ dB_t^i=0,\cr u(0,x)=u_0(x),}\] where $b$ is bounded and measurable, $u_0$ is $C_b^1$ and $\{e_i\}_{i=1}^d$ a basis for $\mathbb{R}^d$. It is well known that the deterministic counterpart of the above equation does not in general have a solution.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Salah-Eldin A. Mohammed, Torstein K. Nilssen, Frank N. Proske. 2015-06-29. Sobolev differentiable stochastic flows for SDEs with singular coefficients: Applications to the transport equation. https://doi.org/10.1214/14-aop909

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The extremal process of a cascading family of branching Brownian motion

We study the asymptotic behaviour of the extremal process of a cascading family of branching Brownian motions. This is a particle system on the real line such that each particle has a type in addition to his position. Particles of type $1$ move on the real line according to Brownian motions and branch at rate $1$ into two children of type $1$. Furthermore, at rate $α$, they give birth to children too of type $2$. Particles of type $2$ move according to standard Brownian motion and branch at rate $1$, but cannot give birth to descendants of type $1$. We obtain the asymptotic behaviour of the extremal process of particles of type $2$.

math.PR

On the Wasserstein distance between a hyperuniform point process and its mean

We study the existence of bounds on the expected $p$-Wasserstein distance between a random measure and its mean under the assumption that the $p$-th centered moments of the counting statistics are controlled uniformly in space. The average Wasserstein transport cost is shown to be bounded from above and from below by some multiples of the number of points. $D$-dimensional versions of those results are also obtained. As a corollary, we prove that for any value of $p\geq 1$ the Ginibre point process can be seen as a perturbed lattice with identically distributed perturbations with a finite $p$-th moment.

math.PR

Breuer-Major Theorems for Hilbert Space-Valued Random Variables

Let $\{X_k\}_{k\in\mathbb Z}$ be a stationary Gaussian process with values in a separable Hilbert space $\mathcal H_1$, and let $G:\mathcal H_1\to\mathcal H_2$ be a measurable map into another separable Hilbert space $\mathcal H_2$. We derive a central limit theorem for the centered normalized partial sums of the Hilbert space-valued subordinated process $\{G[X_k]\}_{k\in\mathbb Z}$. Our result holds under either of two sets of sufficient conditions, formulated in terms of the transformation $G$ and the temporal and cross-sectional dependence structure of $\{X_k\}_{k\in\mathbb Z}$. These conditions coincide in finite dimensions but lead to genuinely different phenomena in the infinite-dimensional setting. The proof relies on the recently developed Fourth Moment Theorem on Hilbert spaces, leveraging tools from the infinite-dimensional Malliavin-Stein framework. We also provide continuous-time and quantitative versions of the central limit theorem. In a series of examples, we recover and strengthen limit theorems for a wide array of statistics relevant in functional data analysis, and present, as an application of our result, a novel limit theorem in the framework of neural operators.

math.PR