Weak solutions of Stochastic Volterra Equations in convex domains with general kernels

Aur\'elien Alfonsi; Eduardo Abi Jaber; Guillaume Szulda

arxiv: 2506.04911 · v2 · pith:X25SNFWInew · submitted 2025-06-05 · 🧮 math.PR

Weak solutions of Stochastic Volterra Equations in convex domains with general kernels

Eduardo Abi Jaber , Aur\'elien Alfonsi , Guillaume Szulda This is my paper

Pith reviewed 2026-05-19 11:33 UTC · model grok-4.3

classification 🧮 math.PR

keywords stochastic Volterra equationsweak existenceconvex domainsnon-convolution kernelsstochastic invariancesquare-root diffusionnonnegative solutionsRiccati equation

0 comments

The pith

Stochastic Volterra equations with general kernels have weak solutions that stay inside closed convex sets when the driving SDE preserves the set.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves weak existence for multidimensional stochastic Volterra equations driven by continuous coefficients and possibly singular non-convolution kernels. The argument proceeds by constructing an approximation scheme whose limit stays inside a prescribed closed convex set. The key step extends a nonnegativity-preservation condition from convolution kernels to the general case, allowing the stochastic invariance already known for the associated ordinary SDE to carry over to the Volterra equation. A direct application yields weak existence and uniqueness in law for square-root diffusions that remain in the nonnegative orthant, together with a Laplace-transform representation via a non-convolution Riccati equation.

Core claim

Under the extended nonnegativity-preserving property of the kernel and the stochastic invariance of a closed convex set by the corresponding SDE, an approximation scheme for the stochastic Volterra equation converges to a weak solution that remains inside the set. For square-root diffusion coefficients and non-convolution kernels, the same conditions deliver weak existence, uniqueness in law, and nonnegativity, along with a representation of the Laplace transform through a non-convolution Riccati equation.

What carries the argument

An approximation scheme for the SVE together with the extended nonnegativity-preserving property of non-convolution kernels, which transfers stochastic invariance from the associated SDE to the Volterra equation.

If this is right

Weak existence holds for SVEs with continuous coefficients and singular non-convolution kernels inside any closed convex set that is invariant for the driving SDE.
Square-root diffusions driven by admissible non-convolution kernels admit unique-in-law solutions that remain nonnegative.
The Laplace transform of such nonnegative solutions satisfies a non-convolution Riccati equation for which existence is proved.
The same approximation technique applies to other convex domains beyond the orthant once the kernel meets the extended preservation condition.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The invariance transfer may let modelers impose positivity or other domain constraints on memory-dependent processes without adding reflection terms.
Similar approximation-plus-invariance arguments could be tested on other classes of path-dependent stochastic equations.
Numerical checks of the extended nonnegativity property for concrete kernels would indicate how far the theoretical conditions reach in applications.
The non-convolution Riccati representation opens the possibility of computing transforms for models with time-varying memory kernels.

Load-bearing premise

The kernels satisfy the extended nonnegativity-preserving property and the corresponding SDE leaves the closed convex set invariant.

What would settle it

A concrete non-convolution kernel and closed convex set for which the driving SDE is invariant yet every weak solution of the SVE eventually exits the set would falsify the transfer of invariance.

read the original abstract

We establish new weak existence results for $d$-dimensional Stochastic Volterra Equations (SVEs) with continuous coefficients and possibly singular one-dimensional non-convolution kernels. These results are obtained by introducing an approximation scheme and showing its convergence. A particular emphasis is made on the stochastic invariance of the solution in a closed convex set. To do so, we extend the notion of kernels that preserve nonnegativity introduced in \cite{Alfonsi23} to non-convolution kernels and show that, under suitable stochastic invariance property of a closed convex set by the corresponding Stochastic Differential Equation, there exists a weak solution of the SVE that stays in this convex set. We present a family of non-convolution kernels that satisfy our assumptions, including a non-convolution extension of the well-known fractional kernel. We apply our results to SVEs with square-root diffusion coefficients and non-convolution kernels, for which we prove the weak existence and uniqueness of a solution that stays within the nonnegative orthant. We derive a representation of the Laplace transform in terms of a non-convolution Riccati equation, for which we establish an existence result.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Generalizes weak existence for SVEs to non-convolution kernels with invariance in convex sets, plus square-root case with Riccati; the approximation limit step needs checking for domain preservation.

read the letter

The main point is that this paper extends weak existence results for multidimensional stochastic Volterra equations to non-convolution kernels while keeping solutions inside closed convex sets such as the nonnegative orthant. They also handle the square-root diffusion case with uniqueness and derive the Laplace transform via a non-convolution Riccati equation for which they prove existence. The new technical step is extending the nonnegativity-preserving kernel condition beyond convolutions and exhibiting an explicit family that includes a non-convolution fractional-type kernel. The argument proceeds by constructing an approximation scheme, proving convergence to a weak solution of the SVE, and transferring the stochastic invariance property from the driving SDE to the limit. This builds directly on their earlier convolution work, which keeps the foundation solid. The square-root application gives a usable representation that could be checked numerically or in models. A soft spot is the passage to the limit under singular non-convolution kernels. The stress-test concern about whether the approximation keeps approximants inside the set and whether tightness plus identification preserve the domain constraint is worth verifying in the proofs; if the estimates control the error uniformly with the invariance, the claim goes through, but the abstract leaves that transfer somewhat implicit. The kernel family verification also looks like it could be spelled out more explicitly in places. This is aimed at specialists in stochastic analysis and mathematical finance who already work with Volterra equations and domain constraints. A reader familiar with the convolution theory will see the incremental technical advance without much trouble. It has enough new content and formal structure to deserve peer review rather than a desk reject, even if the proofs will probably need some tightening on the limit arguments.

Referee Report

2 major / 2 minor

Summary. The paper establishes weak existence for d-dimensional SVEs with continuous coefficients and singular non-convolution kernels via an approximation scheme whose limit solves the equation. It extends the nonnegativity-preserving kernel property from convolution to non-convolution cases and proves that, when the associated SDE satisfies a stochastic invariance property for a closed convex set, the SVE admits a weak solution that remains in the set. A family of such non-convolution kernels is constructed, including a non-convolution fractional kernel. For square-root diffusion coefficients the authors obtain weak existence and uniqueness in the nonnegative orthant together with a Laplace-transform representation expressed via a non-convolution Riccati equation.

Significance. If the approximation-scheme convergence and the transfer of invariance are fully rigorous, the work would meaningfully extend the theory of constrained SVEs beyond convolution kernels, supplying both a general existence framework and concrete tools (new kernel family, Riccati representation) for applications that require memory effects while respecting domain constraints.

major comments (2)

[Section 3 (approximation scheme and convergence)] The central invariance claim rests on the approximation scheme producing approximants that remain inside the convex set and on the limit inheriting the SDE invariance property. The manuscript must supply explicit estimates showing that the extended nonnegativity-preserving property controls the approximation error uniformly in the singular-kernel case so that domain membership passes to the limit; without these estimates the transfer argument is incomplete.
[Application to square-root diffusions] Theorem on weak existence and uniqueness for the square-root SVE in the nonnegative orthant (the application section) invokes the general invariance result; therefore the same gap in the passage-to-the-limit argument directly affects the uniqueness statement and the subsequent Laplace-transform representation.

minor comments (2)

[Preliminaries] Notation for the extended nonnegativity-preserving property should be introduced with a numbered definition rather than inline; this would clarify the precise assumptions used in the non-convolution extension.
[Riccati equation section] The existence result for the non-convolution Riccati equation is stated but its proof sketch is brief; a short appendix or additional paragraph verifying the fixed-point argument would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. The comments correctly identify the need for more explicit control on the approximation error to rigorously transfer the invariance property to the limit. We address each point below and will revise the manuscript accordingly to strengthen the arguments.

read point-by-point responses

Referee: [Section 3 (approximation scheme and convergence)] The central invariance claim rests on the approximation scheme producing approximants that remain inside the convex set and on the limit inheriting the SDE invariance property. The manuscript must supply explicit estimates showing that the extended nonnegativity-preserving property controls the approximation error uniformly in the singular-kernel case so that domain membership passes to the limit; without these estimates the transfer argument is incomplete.

Authors: We agree that the transfer of invariance requires explicit justification for singular kernels. The approximants are constructed to remain in the closed convex set by the extended nonnegativity-preserving kernel property together with the assumed SDE invariance. Convergence holds in a suitable weak topology on path space. To make the argument complete, we will add explicit uniform estimates in a revised Section 3 (new Lemma) that bound the approximation error using the continuity of the drift and diffusion coefficients and the L1-integrability of the kernel (including its singular part). These bounds are independent of the regularization parameter and ensure that any limit point stays inside the closed set. The revised proof will cite these estimates directly when passing to the limit. revision: yes
Referee: [Application to square-root diffusions] Theorem on weak existence and uniqueness for the square-root SVE in the nonnegative orthant (the application section) invokes the general invariance result; therefore the same gap in the passage-to-the-limit argument directly affects the uniqueness statement and the subsequent Laplace-transform representation.

Authors: The square-root application relies on the general invariance theorem. Once the explicit error estimates are inserted in Section 3, the same passage-to-the-limit argument applies verbatim to the square-root coefficients, yielding weak existence inside the nonnegative orthant. Uniqueness then follows from the standard Yamada-Watanabe argument adapted to the Volterra setting, and the Laplace-transform representation is obtained by solving the associated non-convolution Riccati equation whose well-posedness is already established. We will update the application section with cross-references to the new estimates and confirm that all subsequent steps remain valid. revision: yes

Circularity Check

0 steps flagged

Minor reliance on prior work by co-author for base kernel property, with independent extension to general kernels

full rationale

The paper's derivation relies on an approximation scheme whose limit solves the SVE and stays in the convex set due to the extended nonnegativity-preserving property of the kernels and the stochastic invariance of the SDE. The notion is extended from the cited prior work, but the extension to non-convolution kernels, the new family of kernels (including fractional extension), and the application to square-root diffusions with uniqueness provide independent content. No self-definitional reductions, fitted predictions presented as results, or load-bearing self-citation chains that collapse the central claim were identified. The derivation chain remains self-contained against the stated assumptions and external SDE invariance property.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on extending kernel nonnegativity preservation from convolution to general kernels and on transferring stochastic invariance from an associated SDE; these are domain assumptions rather than derived properties.

axioms (1)

domain assumption The corresponding SDE has the stochastic invariance property for the closed convex set.
Invoked directly to guarantee that the SVE solution remains inside the set under the extended kernel conditions.

pith-pipeline@v0.9.0 · 5733 in / 1325 out tokens · 54072 ms · 2026-05-19T11:33:16.780341+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

extend the notion of kernels that preserve nonnegativity ... to non-convolution kernels ... under suitable stochastic invariance property of a closed convex set by the corresponding SDE
IndisputableMonolith/Foundation/AlphaCoordinateFixation.lean alpha_pin_under_high_calibration unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

completely monotone double kernels ... preserve nonnegativity (Thm 3.4)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Weak solutions to distribution-dependent stochastic Volterra equations
math.PR 2026-04 unverdicted novelty 5.0

Existence of weak solutions is established for distribution-dependent stochastic Volterra equations via a local martingale problem under linear growth and mild kernel regularity.