Search arXiv⌕ Search

arXiv · 2610.03541

An infinite-dimensional Skorokhod problem with a diagonalization approach

Abstract

We study an infinite-dimensional Skorokhod problem on the positive cone of $L_1([0,1])$, where a regulator process constrains a free càdlàg path to remain nonnegative through an oblique reflection mechanism determined by a positive linear integral operator $\boldsymbol{F}$ on $L_1([0,1])$ with spectral radius less than $1$. This constrained process $Z$ remains in the positive cone, and the regulator $Y$ is nondecreasing with respect to the cone order and satisfies a pointwise complementarity condition, increasing only on those space-time regions where the corresponding component of $Z$ vanishes. This formulation extends the classical multidimensional Skorokhod problem on the nonnegative orthant to an infinite-dimensional setting. Under suitable assumptions on the operator $\boldsymbol{F}$ that guarantee a dominant positive eigenfunction, we proceed through a diagonalization argument to give an alternative representation of the system in which the $L_1$ norm of the linear operator is less than 1. From this characterization, we establish existence and uniqueness of solutions for arbitrary input paths $X\in D([0,T],L_1([0,1]))$. We further show that the associated Skorokhod map is well defined and Lipschitz continuous with respect to both the uniform and Skorokhod $J_1$ topologies. As a consequence, solutions may be obtained as limits of multidimensional Skorokhod problems, providing a constructive characterization of the infinite-dimensional reflection mechanism. These results provide a framework for the study of constrained stochastic systems with infinitely many interacting components and provide a foundation for reflected stochastic processes evolving in function spaces.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Louis T. Clarke, Guodong Pang, Ruoyu Wu. 2026-10-02. An infinite-dimensional Skorokhod problem with a diagonalization approach. https://arxiv.org/abs/2610.03541

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

KEEP EXPLORING

Related papers

Representation-free Densities of Ratios and Powers of Stable Variables

We derive representation-free densities of ratios of the positive stable random variable and obtain their Laplace/Stieltjes transforms. We state representation-free densities of occupation times (Lamperti, 1958) and Bessel process excursions (Bertoin et al., 2006) and their transforms. We also obtain simple representations of these and other densities using a known infinite series representation of the stable density.

math.PR↗

The Right Wing of the SABR Smile with an Absorbing Boundary: Resolution of Conjectures of Henry-Labordère

We determine the leading logarithmic asymptotics of the fixed-maturity right tail of the SABR model with $β\in(0,1)$ and absorption at zero, for every correlation $ρ\in(-1,1)$. If $P(k)$ is the probability that the terminal forward is at least $f_0e^k$, then $-k^{-2}\ln P(k)\to(1-β)^2/(2ν^2T(1-(ρ\wedge0)^2))$ as $k\to\infty$. For $ρ\ge0$ this is the rate predicted by the unrestricted hyperbolic geometry. For $ρ<0$ it is strictly larger: along the volatility excursion that produces the tail, survival forces the noise orthogonal to volatility to stay above a moving square-root barrier, at an additional cost of the same order $k^2$. Consequently the Black-Scholes implied volatility tends to $ν\sqrt{1-(ρ\wedge0)^2}/(1-β)$: Henry-Labordère's conjectured wing limit $ν/(1-β)$ holds for $ρ\ge0$ and fails for every $ρ<0$. For his second conjecture, whose unrestricted-distance Gaussian estimate does not hold for $ρ<0$, we also identify the correct replacement for this model: at the level of tail probabilities, the rate is given by the squared intrinsic Riemannian distance, within the survival domain, from the initial state to the terminal target set. The proofs are direct, combining a stopped Lamperti transform, a conditional time change, Gaussian moving-barrier bounds and change-of-measure constructions, and use no heat-kernel estimates.

math.PR↗

The contact process with social clusters and asymptomatic states

This paper is concerned with a natural variant of the contact process that places a social cluster of individuals, rather than a single individual, at each lattice point, and distinguishes between symptomatic and asymptomatic individuals. In particular, the epidemic model depends on four infection parameters: the external (inter-cluster) and internal (intra-cluster) infection rates for both symptomatic and asymptomatic individuals. Newly infected individuals begin as asymptomatic before transitioning to the symptomatic state at a spontaneous mutation rate, and infected individuals recover at a baseline rate of one. We study the phase structure of the deterministic nonspatial mean-field model when each cluster reduces to a pair of individuals, and prove that the stochastic spatial model exhibits the same phase transitions with respect to the four infection rates for all cluster sizes. We also prove the existence of a phase transition driven by the cluster size itself for the spatial model.

math.PR↗