Search arXiv⌕ Search

arXiv · 2610.39492

Weighted Harris--oscillation contraction and invariant expectations for nonlinear Markov semigroups

Abstract

We establish a weighted contraction principle for sublinear Markov semigroups on noncompact state spaces. Its abstract inputs are a Lyapunov drift condition and a strict local contraction of oscillations on a Lyapunov sublevel set. For locally uniformly parabolic diffusion semigroups, the latter is obtained by applying the parabolic Harnack inequality to both the upper evolution and its conjugate lower evolution: if $u=T_tφ$, then $u-m$ and $M-u$ solve the upper and lower Bellman equations, respectively. Combining the resulting local oscillation contraction with the Lyapunov drift yields a strict contraction in a weighted oscillation seminorm, a unique invariant sublinear expectation in the finite-Lyapunov-moment class, and weighted exponential convergence for Borel observables controlled by the Lyapunov function. To treat bounded Borel data for $G$-SDEs, we use a canonical covariance-law representation, progressively measurable state maps compatible with conditioning and pasting, and a stopped dynamic programming principle. A probabilistic Krylov--Safonov argument then gives positive-time Hölder regularisation before viscosity identification, thereby avoiding a measurable-data envelope argument. The abstract result is verified for ordinary locally uniformly elliptic SDEs, multiplicative $G$-SDEs, and the full equation with quadratic-variation drift \[ dX_t=b(X_t)\,dt +\sum_{i,j=1}^m h_{ij}(X_t)\,d\langle B^i,B^j\rangle_t +\sum_{j=1}^mσ_j(X_t)\,dB_t^j. \] For the full equation the hypotheses are expressed through the effective drift and covariance and are required uniformly over all covariance scenarios. Finally, the contraction and stochastic continuity of the associated stationary process yield ergodicity in the sense of Feng and Zhao.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Danyang Zhao, Huaizhong Zhao. 2026-10-29. Weighted Harris--oscillation contraction and invariant expectations for nonlinear Markov semigroups. https://arxiv.org/abs/2610.39492

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

KEEP EXPLORING

Related papers

Langevin equations solved by Markov chains (instead of integrals), two solutions with multiplicative noise and their properties

Langevin equations are usually understood as integral equations, since continuous and Markov solutions are nowhere differentiable. This is avoidable by the fact that white Gaussian noise can be seen as a generalized derivative of the Wiener process. The simplest LE is thus solved by Wiener paths, which can be computed by a Markov chain. That crucial property persists for functions of these paths, and solutions of the general LE are therefore assumed to have that form. In short time steps these functions must be linear or quadratic. Both cases lead to sampled versions of existing stochastic intrgrals ('Ito' and 'anti-Ito' respectively). In physics they apply for Brownian motion in presence of a temperature gradient: without a feedback to the medium in the linear case, and for a tagged molecule in the quadratic one; in the latter case the Fokker-Planck equation describes a local equilibrium.

math.PR↗

Diffusion Processes on $p$-Wasserstein Space over Banach Space

To study diffusion processes on the p-Wasserstein space $\mathscr P_p$ for $p\in [1,\infty)$ over a separable, reflexive Banach space $X$, we present a criterion on the quasi-regularity of Dirichlet forms in $L^2(\mathscr P_p,Λ)$ for a reference probability $Λ$ on $\mathscr P_p$. It is formulated in terms of an upper bound condition with the uniform norm of the intrinsic derivative. We find a versatile class of quasi-regular local Dirichlet forms on $\mathscr P_p$ by using images of Dirichlet forms on the tangent space $L^p(X\to X,μ_0)$ at a reference point $μ_0\in\mathscr P_p$. The Ornstein--Uhlenbeck type Dirichlet form and process on $\mathscr P_2$ are an important example in this class. We derive an $L^2$-estimate for the corresponding heat kernel and an integration by parts formula for the invariant measure.

math.PR↗

Convergence of stochastic integrals with applications to transport equations and conservation laws with noise

Convergence of stochastic integrals driven by Wiener processes $W_n$, with $W_n \to W$ almost surely in $C_t$, is crucial in analyzing SPDEs. Our focus is on the convergence of the form $\int_0^T V_n\, \mathrm{d} W_n \to \int_0^T V\, \mathrm{d} W$, where $\{V_n\}$ is bounded in $L^p(Ω\times [0,T];X)$ for a Banach space $X$ and some finite $p > 2$. This is challenging when $V_n$ converges to $V$ weakly in the temporal variable. We supply convergence results to handle stochastic integral limits when strong temporal convergence is lacking. A key tool is a uniform mean $L^1$ time translation estimate on $V_n$, an estimate that is easily verified in many SPDEs. However, this estimate alone does not guarantee strong compactness of $(ω,t)\mapsto V_n(ω,t)$. Our findings, especially pertinent to equations exhibiting singular behavior, are substantiated by establishing several stability results for stochastic transport equations and conservation laws.

math.PR↗