Osgood-Type Growth

• Osgood-type growth is defined by a divergent inverse-modulus integral criterion that generalizes Lipschitz conditions to ensure uniqueness in solution trajectories.
• It extends traditional analysis to ODEs, PDEs, and SPDEs by accommodating non-smooth or singular data while providing thresholds for blow-up versus global existence.
• The framework underpins regular Lagrangian flows and stability estimates, offering a unifying tool for understanding control conditions in deterministic and stochastic systems.

Searching arXiv for recent and foundational papers on Osgood-type growth and related ODE/PDE/SPDE flow results. Osgood-type growth denotes a class of non-Lipschitz control conditions governed by an integral-divergence criterion of Osgood type. In its classical form, for an autonomous ODE $\dot X=b(X)$, one assumes a modulus of continuity $\omega$ such that $|b(x)-b(y)|\le \omega(|x-y|)$ and $\int_0^\delta \frac{ds}{\omega(s)}=+\infty$; this strictly generalizes Lipschitz continuity and still yields uniqueness through a Gronwall–Osgood argument (Li et al., 2011). In modern analysis, the notion has broadened in two principal directions. First, it appears as a modulus condition on increments of vector fields or coefficients, often only almost everywhere and possibly weighted by an integrable function, as in the regular Lagrangian flow framework of DiPerna–Lions type (Li et al., 2011). Second, it appears as a growth condition on nonlinearities, typically through integrals such as $\int^\infty \frac{ds}{f(s)}$, governing finite-time blow-up versus global existence in ODEs and in several PDE and SPDE settings (Laister et al., 2013). Across these contexts, the Osgood condition acts as a threshold: it is weaker than Lipschitz regularity yet still strong enough to enforce uniqueness or prevent finite-time explosion in some regimes, while failure of the condition can produce sharp non-uniqueness or blow-up phenomena (Colombo et al., 17 Jan 2026).

1. Classical criterion and canonical formulations

The classical Osgood criterion concerns scalar or finite-dimensional ODEs with non-Lipschitz modulus control. If a vector field satisfies

$$|b(x)-b(y)|\le \omega(|x-y|),\qquad \int_0^\delta \frac{ds}{\omega(s)}=+\infty,$$

then uniqueness persists although $\omega$ may grow slower than linearly near $0$ (Li et al., 2011). This includes the Lipschitz case $\omega(s)=Ls$, but also moduli such as $s\log\frac1s$ and $\omega$0 for small $\omega$1 (Li et al., 2011).

A standard equivalent parametrization uses functions of the form

$\omega$2

which again yields an Osgood modulus after setting $\omega$3 (Li et al., 2011). In the same spirit, a mixed Osgood–Sobolev formulation for stochastic equations replaces two-sided modulus control by a one-sided estimate

$\omega$4

where $\omega$5 is nondecreasing and $\omega$6 (Luo, 2016). This one-sided structure is natural in transport, stochastic flow, and BSDE settings.

In PDEs with coefficient regularity measured by a modulus of continuity $\omega$7, the Osgood condition is expressed as

$\omega$8

This is the critical threshold for several backward parabolic uniqueness and stability results: Lipschitz and Log-Lipschitz moduli satisfy it, Hölder moduli $\omega$9 with $|b(x)-b(y)|\le \omega(|x-y|)$0 do not (Casagrande et al., 2018, Casagrande et al., 2019).

A distinct but related formulation appears for scalar nonlinear growth: $|b(x)-b(y)|\le \omega(|x-y|)$1 For the ODE $|b(x)-b(y)|\le \omega(|x-y|)$2, this is the criterion preventing finite-time blow-up. It underlies several PDE and SPDE results where bounded data behave ODE-like, while rough data may exhibit sharply different behavior (Laister et al., 2013, Chen et al., 2023).

2. Almost everywhere Osgood continuity and regular Lagrangian flows

A major modern generalization is the “almost everywhere Osgood continuous” vector field introduced in the direct Lagrangian theory of flows. The structural assumption is that there exist negligible sets $|b(x)-b(y)|\le \omega(|x-y|)$3, a nonnegative function $|b(x)-b(y)|\le \omega(|x-y|)$4, and a strictly increasing $|b(x)-b(y)|\le \omega(|x-y|)$5 with $|b(x)-b(y)|\le \omega(|x-y|)$6 and

$|b(x)-b(y)|\le \omega(|x-y|)$7

such that for $|b(x)-b(y)|\le \omega(|x-y|)$8,

$|b(x)-b(y)|\le \omega(|x-y|)$9

This is Assumption (H) in the unified treatment of ODEs under Osgood and Sobolev type conditions (Li et al., 2011).

This formulation interpolates between two previously separate theories. If $\int_0^\delta \frac{ds}{\omega(s)}=+\infty$0 is essentially bounded, one recovers classical Osgood continuity: $\int_0^\delta \frac{ds}{\omega(s)}=+\infty$1 If $\int_0^\delta \frac{ds}{\omega(s)}=+\infty$2 and $\int_0^\delta \frac{ds}{\omega(s)}=+\infty$3 is the local maximal function $\int_0^\delta \frac{ds}{\omega(s)}=+\infty$4, one recovers the Crippa–De Lellis almost everywhere Lipschitz estimate for Sobolev vector fields (Li et al., 2011). Example 2.4 in that paper exhibits a vector field $\int_0^\delta \frac{ds}{\omega(s)}=+\infty$5 satisfying (H) but not covered by either pure Sobolev almost everywhere Lipschitz control or pure Osgood continuity alone, showing that the class is genuinely larger (Li et al., 2011).

The relevant flow notion is the regular Lagrangian flow $\int_0^\delta \frac{ds}{\omega(s)}=+\infty$6, defined by the integral equation

$\int_0^\delta \frac{ds}{\omega(s)}=+\infty$7

for almost every $\int_0^\delta \frac{ds}{\omega(s)}=+\infty$8, together with the compressibility bound

$\int_0^\delta \frac{ds}{\omega(s)}=+\infty$9

Under boundedness of $\int^\infty \frac{ds}{f(s)}$0, Assumption (H), and bounded negative divergence

$\int^\infty \frac{ds}{f(s)}$1

there exists a unique regular Lagrangian flow (Li et al., 2011). This is precisely the sense in which Osgood-type growth extends DiPerna–Lions theory beyond Sobolev or $\int^\infty \frac{ds}{f(s)}$2 regularity.

3. Uniqueness mechanisms: Osgood, Bihari–LaSalle, and flow stability

The analytic core of Osgood-type growth is the divergence of an inverse-modulus integral. In the Lagrangian flow setting, the auxiliary function

$\int^\infty \frac{ds}{f(s)}$3

is increasing and concave, and satisfies

$\int^\infty \frac{ds}{f(s)}$4

because $\int^\infty \frac{ds}{f(s)}$5 (Li et al., 2011). This yields a stability estimate for two flows $\int^\infty \frac{ds}{f(s)}$6: $\int^\infty \frac{ds}{f(s)}$7 with $\int^\infty \frac{ds}{f(s)}$8 (Li et al., 2011). Setting $\int^\infty \frac{ds}{f(s)}$9 forces equality of the two flows almost everywhere.

For nonlocal continuity systems, the same mechanism appears through Bihari–LaSalle rather than averaged concave transforms. The relevant modulus is not $$|b(x)-b(y)|\le \omega(|x-y|),\qquad \int_0^\delta \frac{ds}{\omega(s)}=+\infty,$$0 alone but the composed modulus

$$|b(x)-b(y)|\le \omega(|x-y|),\qquad \int_0^\delta \frac{ds}{\omega(s)}=+\infty,$$1

where $$|b(x)-b(y)|\le \omega(|x-y|),\qquad \int_0^\delta \frac{ds}{\omega(s)}=+\infty,$$2 is later chosen in terms of total mass (Inversi et al., 2023). The Osgood condition is

$$|b(x)-b(y)|\le \omega(|x-y|),\qquad \int_0^\delta \frac{ds}{\omega(s)}=+\infty,$$3

and it implies uniqueness of Lagrangian weak solutions for the system of non-local continuity equations (Inversi et al., 2023). The stability estimate takes the form

$$|b(x)-b(y)|\le \omega(|x-y|),\qquad \int_0^\delta \frac{ds}{\omega(s)}=+\infty,$$4

and when $$|b(x)-b(y)|\le \omega(|x-y|),\qquad \int_0^\delta \frac{ds}{\omega(s)}=+\infty,$$5, the Osgood divergence forces $$|b(x)-b(y)|\le \omega(|x-y|),\qquad \int_0^\delta \frac{ds}{\omega(s)}=+\infty,$$6 (Inversi et al., 2023).

In transport by Osgood vector fields, the flow distortion is quantified by

$$|b(x)-b(y)|\le \omega(|x-y|),\qquad \int_0^\delta \frac{ds}{\omega(s)}=+\infty,$$7

leading to

$$|b(x)-b(y)|\le \omega(|x-y|),\qquad \int_0^\delta \frac{ds}{\omega(s)}=+\infty,$$8

This is the Osgood analogue of exponential flow distortion in the Lipschitz case (La, 2022). For $$|b(x)-b(y)|\le \omega(|x-y|),\qquad \int_0^\delta \frac{ds}{\omega(s)}=+\infty,$$9, the distortion becomes a power law with time-dependent exponent; for iterated-log moduli it becomes substantially weaker but still vanishes at $\omega$0, which is the decisive Osgood feature (La, 2022).

In BSDE theory, the one-sided Osgood condition is expressed as

$\omega$1

with $\omega$2 concave, nondecreasing, and satisfying

$\omega$3

(Lai et al., 15 Sep 2025). Stochastic Bihari inequalities then yield uniqueness of $\omega$4 solutions. The 2017 multidimensional $\omega$5 BSDE theory and its 2025 extension both use this mechanism, with the later work allowing stochastic coefficients and a general terminal time (Fan, 2017, Lai et al., 15 Sep 2025).

4. Growth nonlinearities, blow-up criteria, and the ODE–PDE divide

When Osgood-type growth is placed on a scalar nonlinearity $\omega$6, the key integral becomes

$\omega$7

For the scalar ODE $\omega$8, divergence of this integral is necessary and sufficient for global existence of all positive solutions (Laister et al., 2013). This motivates the expectation that Osgood nonlinearities should preclude finite-time blow-up more generally.

That intuition is reliable for bounded initial data in semilinear heat equations. If $\omega$9, comparison with the scalar ODE implies global existence when

$0$0

(Laister et al., 2013). However, the same papers show that this intuition fails dramatically for rougher data. There exist locally Lipschitz, nondecreasing nonlinearities $0$1 satisfying the Osgood condition and yet, for every $0$2, one can find $0$3 such that the corresponding semilinear heat equation has no local integral solution (Laister et al., 2013, Laister et al., 2013). The mechanism is that singular initial data produce large short-time lower bounds on the linear heat flow, and the source term $0$4 then becomes non-integrable in space-time. In this sense, Osgood growth controls temporal blow-up in ODEs but not the interaction of diffusion and spatial concentration for unbounded PDE data (Laister et al., 2013).

The same phenomenon survives in a non-Gaussian fractional-time setting. For

$0$5

Osgood-type nonlinearities modeled on piecewise-plateau functions $0$6 still satisfy

$0$7

yet local solutions can fail to exist in $0$8 when the Osgood index $0$9 exceeds the threshold

$\omega(s)=Ls$0

(Solís et al., 2024). This shows that Osgood-type growth on the source term is not, by itself, an existence criterion once fractional diffusion and singular initial data are involved.

A complementary SPDE result restores the classical Osgood intuition in a different regime. For the stochastic heat equation

$\omega(s)=Ls$1

on $\omega(s)=Ls$2, if there exists an increasing function $\omega(s)=Ls$3 such that $\omega(s)=Ls$4 is nondecreasing,

$\omega(s)=Ls$5

$\omega(s)=Ls$6

and $\omega(s)=Ls$7 satisfies the specific growth bound

$\omega(s)=Ls$8

then there exists a unique global mild solution for initial data $\omega(s)=Ls$9 with $s\log\frac1s$0 (Chen et al., 2023). The proof uses a discrete Osgood argument based on stopping times and a sequence

$s\log\frac1s$1

whose divergent sum is the discrete counterpart of the infinite Osgood integral (Chen et al., 2023). In that drift-dominated regime, the finite versus infinite Osgood dichotomy again marks the blow-up threshold.

5. Regularity, transport, and Hamilton–Jacobi settings

In transport theory with Osgood drifts, the central question is not only uniqueness but also propagation and loss of regularity. Divergence-free vector fields with Osgood modulus

$s\log\frac1s$2

generate unique flows (La, 2022). Yet Sobolev regularity of passive scalars need not propagate. For every admissible growth function $s\log\frac1s$3, there exists a divergence-free vector field with associated Osgood modulus

$s\log\frac1s$4

and initial datum $s\log\frac1s$5 such that $s\log\frac1s$6 for every $s\log\frac1s$7 and every $s\log\frac1s$8 (La, 2022). Thus Osgood continuity is a uniqueness threshold for the flow, not a Sobolev propagation threshold for the transported scalar.

The same paper develops a positive theory for modulus-based regularity. If $s\log\frac1s$9 has modulus $\omega$00, then $\omega$01 has modulus $\omega$02, where $\omega$03 is the explicit distortion modulus induced by the flow (La, 2022). This suggests that Osgood-type growth should be viewed as compatible with a scale-sensitive, non-Sobolev regularity theory.

In Hamilton–Jacobi theory, Osgood-type growth appears as an upper growth condition in the scalar state variable $\omega$04. For the equation

$\omega$05

the relevant condition is that for every compact $\omega$06, there exists a continuous $\omega$07 such that

$\omega$08

(Wang et al., 2014). This is strictly weaker than monotonicity or uniform Lipschitz dependence on $\omega$09. It guarantees, through comparison with $\omega$10, that the $\omega$11-component of characteristics does not blow up in finite time, allowing an implicit variational principle and representation of viscosity solutions by minimal characteristics (Wang et al., 2014).

Backward parabolic equations provide a different role for Osgood moduli. If the principal coefficients are Osgood continuous in time, meaning

$\omega$12

for the modulus $\omega$13, then uniqueness holds in natural function spaces, and one also has conditional stability in the form

$\omega$14

for a modulus $\omega$15 depending on $\omega$16 (Casagrande et al., 2018, Casagrande et al., 2019). The Osgood condition is thus the minimal time regularity threshold between uniqueness and known non-uniqueness phenomena. Stronger moduli such as Log-Lipschitz yield more explicit stability rates, while weaker non-Osgood moduli fail even uniqueness (Casagrande et al., 2019).

6. Sharpness, thresholds, and contemporary directions

The sharpness question asks whether the Osgood criterion is merely sufficient or actually optimal. Several supplied works support the latter interpretation.

For continuity equations with divergence-free vector fields, the 2026 sharpness result shows that for every modulus $\omega$17 that fails the Osgood condition, one can construct a divergence-free

$\omega$18

such that the ODE admits at least two distinct flow maps on a set of initial data of positive Lebesgue measure, in fact full measure inside a supporting cube, and the continuity equation has two distinct solutions starting from the same absolutely continuous datum (Colombo et al., 17 Jan 2026). The two key innovations are “parallelization,” meaning simultaneous motion across nested scales, and a fixed-point framework adapted to that parallel structure (Colombo et al., 17 Jan 2026). This establishes that Osgood is a sharp threshold for uniqueness of both trajectories and continuity equations in that class.

For BSDEs, the same threshold phenomenon appears in the passage from Lipschitz or monotone generators to one-sided Osgood generators. The existence, uniqueness, and stability theory for multidimensional $\omega$19 solutions survives under Osgood-type growth in $\omega$20, provided one retains the integral divergence and suitable $\omega$21-regularity (Fan, 2017, Lai et al., 15 Sep 2025). This indicates that the Bihari–Osgood mechanism is robust in stochastic evolution equations, not merely in deterministic flows.

A different perspective is provided by choiceless infinitesimal proofs of global Osgood theorems. In the SPOT framework, the initial value problem

$\omega$22

with continuous $\omega$23 admits a unique maximal solution, obtained by adding a positive infinitesimal perturbation and taking a standard part (Hrbacek et al., 2023). This work does not center the usual integral modulus condition; rather, it reinterprets Osgood’s theorem as a global maximality principle arising from infinitesimal upward perturbation. A plausible implication is that “Osgood-type growth” has a broader conceptual role than modulus inequalities alone, encompassing maximality and continuation structures in nonstandard formulations.

In cosmological ODE reductions, Osgood’s criterion serves as an explicit finite-time singularity test. For FLRW models with perfect fluid, viscous fluid, or Chaplygin-type equations of state, the convergence or divergence of

$\omega$24

for the expansion scalar $\omega$25, or the analogous integral for pressure $\omega$26, detects Type 0 and Type II singularities and identifies parameter-dependent initial data that avoid them (Kohli, 2015). This suggests that Osgood-type growth is not confined to regularity theory; it also functions as a sharp blow-up diagnostic in applied dynamical systems.

Taken together, the supplied literature presents Osgood-type growth as a unifying threshold concept. In modulus form, it separates uniqueness from non-uniqueness for ODEs, flows, and transport equations (Li et al., 2011, Colombo et al., 17 Jan 2026). In source-term form, it separates finite-time blow-up from global existence for scalar ODEs, but interacts in subtle ways with spatial singularity, diffusion, and noise in PDE and SPDE settings (Laister et al., 2013, Chen et al., 2023). In variational and stochastic contexts, it enables theories that are strictly weaker than Lipschitz while still quantitatively well posed (Wang et al., 2014, Lai et al., 15 Sep 2025). The common mechanism throughout is the divergence of an inverse-growth integral, which acts as the precise analytic boundary between controllable and uncontrollable growth.