---
title: One-Sided Lipschitz Conditions
url: https://www.emergentmind.com/topics/one-sided-lipschitz-conditions
type: topic
---

# One-Sided Lipschitz Conditions

A one-sided Lipschitz condition is a generalized monotonicity-type constraint imposed on nonlinear maps, vector fields, or set-valued mappings, that relaxes the classical global Lipschitz (bi-Lipschitz) requirement by bounding the quadratic form associated with the increment instead of its norm. This relaxation plays a central role in contemporary analysis, control, stochastic dynamics, differential inclusions, and numerical approximation—especially for systems admitting superlinear or "stiff" nonlinearities. One-sided Lipschitz conditions enable uniqueness, stability, and convergence claims in situations where two-sided Lipschitz continuity is either inapplicable or unnecessarily conservative. The literature recognizes variants such as local, global, relaxed, and negative one-sided Lipschitz constants, each tailored to specific applications in PDEs, SDEs, control theory, and variational analysis.

## 1. Formal Definitions and Analytical Framework

The canonical one-sided Lipschitz (OSL) condition for a function $f: \mathbb{R}^n \to \mathbb{R}^n$ is:
\[
\langle f(x) - f(y),\,x-y \rangle \leq \lambda\,\|x-y\|^2,\quad\forall\,x, y \in \mathcal{D}
\]
with $\lambda \in \mathbb{R}$ the OSL constant. This bounds the symmetric part of the directional derivative, and $\lambda$ can be negative for contractive or monotone flows. In variational, PDE, and SPDE applications, the OSL property is often encoded via Gelfand triples or variational pairings, e.g., for a Nemytskii operator in a Hilbert space,
\[
2\,_{V^*}\!\langle \Phi(x)-\Phi(y),\,x-y\rangle_{V} \leq L\|x-y\|^2_{\mathcal{H}}
\]
for all $x, y$ in the Banach or Hilbert framework [1710.10591], [1301.6350].

Relaxed (set-valued) OSL, as for multivalued maps $F: [0,T] \times V \to 2^H$ with closed, convex values, reads
\[
\langle g-\hat g,\,u-v\rangle_{V^*,V} \leq \ell(t) \|u-v\|_H^2,\quad g\in F(t,u),\;\exists\,\hat g\in F(t,v)
\]
for some measurable rate $\ell\in L^1$ [1710.10591], [1902.01498].

In the context of time-dependent velocity fields (e.g., transport or SDE flows), the OSL inequality appears as
\[
(b(t,x) - b(t,y))\cdot(x-y) \geq -C_1(t) |x-y|^2
\]
with $C_1(t) \geq 0$ and $b$ possibly only measurable in $(t,x)$ [2505.08970], [2306.13288].

## 2. Comparison with Classical Lipschitz and Monotonicity Hypotheses

A globally Lipschitz map $f$ satisfies $\|f(x)-f(y)\| \leq L\|x-y\|$, which in turn implies the directional OSL condition with $\lambda=L$ by Cauchy–Schwarz. However, OSL is strictly weaker: it restricts only the component of $f(x)-f(y)$ along $x-y$, not the full norm disparity. One-sided Lipschitz functions need not be (two-sided) Lipschitz, nor even locally so. Prototypical examples include $f(x) = -x^3$ and $f(x) = -\mathrm{sgn}(x)\sqrt{|x|}$, both globally OSL with $\lambda=0$, but not globally nor locally Lipschitz. Dissipativity—i.e., OSL with $\lambda<0$—is particularly significant for ensuring contractivity of the dynamical flow, exponential stability, and mixing in SDEs [1302.5867], [2010.00512], [1612.03824].

In multivalued and differential inclusion settings, the OSL condition enables the existence and uniqueness of trajectories (solutions), even under irregular, possibly discontinuous nonlinearities—something full Lipschitz continuity would exclude [1710.10591], [1902.01498].

## 3. Computation and Analytical Characterization of OSL Constants

For $C^1$ maps, the minimal OSL constant $\lambda_{OSL}$ over a compact set $\Omega$ is characterized by the symmetric part of the Jacobian,
\[
\lambda_{OSL} = \sup_{x\in\Omega} \lambda_{\max}\left(\tfrac{1}{2}\big[\nabla f(x) + \nabla f(x)^T\big]\right)
\]
This formulation underpins computational techniques—grid sampling, interval analysis, branch-and-bound, and SOS relaxations—to derive sharp or conservative $\lambda_{OSL}$ in practice [2002.02361], [1903.05882], [1907.12155].

For reaction–diffusion and switched control systems, spatial/temporal discretizations yield symmetric matrices (e.g., discrete Laplacians), so OSL analysis often reduces to spectral radius computations. In infinite dimensions or for operator-valued nonlinearities, the pairing is taken in the energy or dual norm [1301.6350], [1710.10591].

## 4. Applications in Differential Equations, Stochastic Analysis, and Numerical Schemes

### Semilinear Parabolic Inclusions and PDEs

Relaxed one-sided Lipschitz conditions facilitate well-posedness (existence of weak solutions) and compactness for parabolic differential inclusions, even when nonlinearities grow superlinearly. The key is the ability to dominate the nonlinearity in energy estimates, yielding a Gronwall-type control and compactness in solution trajectories under Galerkin discretization [1710.10591].

### SDEs with Superlinear Drift

Local and global OSL drifts (possibly with only local OSL growth) enable existence and uniqueness results for SDEs, as in the classic work of Krylov for locally monotone coefficients [1801.05518], [1612.03824]. For numerical approximation, OSL conditions justify implicit and tamed explicit schemes—crucial for systems with superlinear drifts, e.g., $b(x)=x+|x|^2−x^3−|x|^{1/2}$ [1801.05518], [2010.00512]. The OSL structure controls divergence in moments and ensures strong convergence (in $L^2$ and in probability) of the scheme interpolants.

### Transport, Fokker–Planck, and Conservation Laws

In linear and nonlinear transport equations with only one-sided Lipschitz velocity fields, OSL guarantees existence and stability of (Filippov) flows, unique viscosity solutions for backward/forward problems, and strong regular Lagrangian solutions in the expansive regime. The OSL constant prescribes the maximal exponential separation between characteristics and directly bounds the compressibility of the stochastic flow Jacobian in SDEs and related Fokker–Planck equations [2306.13288], [2505.08970].

### Control, Observer and Verification

In nonlinear observer design, the OSL constant enters Lyapunov-based or LMI stability criteria, generally yielding less conservative conditions than classical Lipschitz bounds—critical for high-gain observers of stiff, monotone, or highly nonlinear systems [1302.5867], [2002.02361]. For switched or sampled systems, OSL constants facilitate sharp truncation and error accumulation bounds in semi-Lagrangian grid-based controller synthesis and optimal reachability, enabling guaranteed safety and performance verification over finite and infinite horizons [1903.05882], [1907.12155].

## 5. One-Sided Lipschitz in Numerical Approximation and Convergence

OSL constants appear explicitly in quantifying the strong convergence rate and error propagation in finite-difference, finite-element, and grid-based numerical schemes for PDEs/SPDEs. For reaction-diffusion SPDEs, the OSL (monotonicity) bound on the drift enables absorption of high-degree nonlinear growth in error estimates and ensures convergence at explicit rates, with constants depending exponentially on the OSL parameter [1301.6350]. In the scalar conservation law and follow-the-leader approximation, discrete forms of the OSL condition are equivalent to discrete entropy admissibility, ensuring convergence to entropy solutions and preservation of the admissibility condition at the discrete level [2103.00061].

For SDE and Fokker–Planck evolutions, the OSL property ensures that numerical schemes (explicit Euler, tamed Euler, implicit θ-methods) remain stable, with error bounds and moment bounds growing at most polynomially in time, proportional to the OSL constant [2010.00512], [1801.05518], [1903.05882], [2505.08970].

In grid-based feedback synthesis for control or safety, OSL-based error propagation is central to bounding the discrepancy between continuous and discrete (Euler or SDE-driven) system evolution [1907.12155], [1903.05882].

## 6. Multivalued and Relaxed OSL: Variational and Set-Valued Analysis

Set-valued mappings that are L-relaxed one-sided Lipschitz with $L<0$ admit explicit localization and preimage structure stronger than mere metric regularity, permitting precise geometric characterization of solution sets via intersections and unions of balls centered on boundary points of the image sets. This property is critical in variational analysis and in the study of differential inclusions or sweeping processes, where full Lipschitz parameterizations are unavailable [1902.01498], [1710.10591].

The main preimage formula for such $F:\mathbb{R}^n \rightrightarrows \mathbb{R}^n$ is:
\[
F^{-1}(y) = \bigcap_{x\in\mathbb{R}^n} \bigcup_{z\in F(x)} B\left(x+\frac{1}{2L}(y-z),\,\frac{1}{2|L|}\|y-z\|\right)
\]
and this can be further reduced to extreme points of $F(x)$ for computational tractability [1902.01498].

## 7. Illustrative Models and Examples

- **Semilinear PDE with Nemytskii Nonlinearity:** $g(r)=r(1-|r|)$ and set-valued thickenings yield one-sided Lipschitz nonlinearity of arbitrary polynomial order, admitting existence/convergence of Galerkin approximations [1710.10591].
- **Superlinear Drift SDE:** $b(x)=x+|x|^2-x^3-|x|^{1/2}$ is OSL but not Lipschitz, handled by truncated (tamed) schemes [1801.05518].
- **FitzHugh–Nagumo SPDE:** Nonlinear drift $\phi_1(v,w)=v-v^3/3-w$ is OSL, not Lipschitz—finite-difference approximations converge strongly with explicit rate dependence on the OSL constant [1301.6350].
- **Scalar Conservation Law:** The follow-the-leader scheme imposes a discrete OSL (entropy) condition at the particle level, ensuring convergence to the entropy solution [2103.00061].
- **Explicit Preimage Calculation:** For $F(x)=ax$, $a<0$, the L-ROSL formula exactly recovers the classical inverse, illustrating sharp localization beyond metric regularity [1902.01498].

## 8. Theoretical and Practical Impact

One-sided Lipschitz conditions have become a foundational analytical tool in modern nonlinear science, allowing treatment of large classes of dissipative or monotone systems, differential inclusions, and SDEs with superlinear drift, for which two-sided Lipschitz constraints are inaccessible. They underpin the feasibility and optimality of weak solution constructions, observer and controller design, ergodicity and mixing in stochastic systems, and robust numerical approximation for high-dimensional and high-nonlinearity settings.

The flexibility and comparative sharpness of OSL bounds continue to drive methodological advances in mathematics, engineering, and scientific computing, often yielding less conservative estimates, tractable synthesis conditions, and effective algorithms in contexts where full Lipschitz structure is either impossible or intractable.

Source: https://www.emergentmind.com/topics/one-sided-lipschitz-conditions