---
title: Multidimensional Quadratic BSDEs
url: https://www.emergentmind.com/topics/multidimensional-quadratic-backward-stochastic-differential-equation-bsde
type: topic
---

# Multidimensional Quadratic BSDEs

A multidimensional quadratic backward stochastic differential equation (BSDE) is a system of stochastic integral equations in which the unknown process evolves backward in time, and the generator exhibits quadratic (or more generally superlinear) growth in its "control" variable. The multidimensional context introduces additional complexity due to coupling between equations, complicating the existence, uniqueness, and stability analysis compared to the one-dimensional setting. These systems are fundamental in stochastic control, financial mathematics, mean-field games, and nonlinear PDE theory.

## 1. Mathematical Formulation and Quadratic Structure

A prototypical multidimensional quadratic BSDE takes the form
\[
Y_t = \xi + \int_t^T f(s, Y_s, Z_s)\,ds - \int_t^T Z_s \, dW_s, \quad t\in[0,T],
\]
where $Y_t\in\mathbb{R}^n$, $Z_t\in\mathbb{R}^{n\times d}$, $W_t$ is a $d$-dimensional Brownian motion, $\xi$ is an $\mathcal{F}_T$-measurable terminal condition, and the generator $f$ is allowed to have quadratic growth in $Z$.

Quadratic growth refers to bounds of the form
\[
|f(t,y,z)| \leq \alpha_t + \phi(|y|) + \frac{\gamma}{2} |z|^2,
\]
possibly with additional subquadratic or structured off-diagonal terms. Key distinctions in the multidimensional theory are captured by how the generator's quadratic terms couple the various components of $Z$:

- **Diagonally quadratic**: $f^i$ depends quadratically only on $z^i$.
- **Interactively quadratic**: $f^i$ may grow quadratically in both $z^i$ and $z^j$ for $j\neq i$ (involving terms like $z^j(z^i)^\top$).
- **Triangularly quadratic**: $f^i$ depends quadratically on $z^j$ for $j\leq i$ (lower/upper triangular structure).
- **Skew subquadratic**: Off-diagonal elements are permitted subquadratic growth $|z^j|^{1+\delta}$.

General results require boundedness or integrability conditions on $\xi$ and the generator, and, frequently, BMO (bounded mean oscillation) martingale structure for solutions.

## 2. Existence and Uniqueness: Structural Conditions

Existence and uniqueness of solutions in the multidimensional quadratic regime typically require one or more of the following:

1. **Diagonal or weak coupling structure**: When each $f^i$ has at most quadratic growth in $z^i$ and only strictly controlled (e.g., logarithmic or subquadratic) growth in off-diagonal terms, global well-posedness is established for bounded $\xi$ ([1408.4579], [2302.12470], [2007.04481]). For more general off-diagonal growth, local well-posedness can often be obtained.

2. **Smallness/weak dependence**: If the terminal data or generator's coupling is sufficiently small, existence can be shown for general quadratic or superquadratic systems ([1612.02698], [1912.03692]).

3. **Mean-field and anticipated structures**: For mean-field BSDEs where $f$ depends on the distribution of $(Y_t, Z_t)$, solvability persists under diagonal structure and additional control on the law dependence ([2310.14694], [2303.16872]).

4. **Componentwise convexity/concavity and exponential integrability**: If the generator is (componentwise) convex or concave in $z^i$ and $\xi$ admits (arbitrary order) exponential moments, unique global solutions can be constructed even for unbounded $\xi$ ([2007.04481], [2503.20255]).

5. **Special structures (product, lower-triangular, Markovian/FBSDE)**: Existence and uniqueness are available for tailored product generators, triangular forms, or where an associated FBSDE admits a strong solution ([1703.04153], [1309.6716]).

The following table summarizes key structural scenarios:

| Structure                     | Off-diagonal growth     | Solution Type           | Reference      |
|-------------------------------|------------------------|------------------------|----------------|
| Diagonally quadratic          | Subquadratic/logarithmic| Global                 | [1408.4579], [2302.12470], [2007.04481]      |
| Diagonally quadratic          | Subquadratic           | Local                  | [1408.4579], [2302.12470]   |
| Interactively quadratic       | Small interaction      | Global/Local           | [2410.08748]   |
| Triangularly diagonal         | Arbitrary              | Global                 | [2302.12470]   |
| General quadratic (unbounded $\xi$) | Componentwise convex | Global                 | [2007.04481], [2503.20255]   |
| Special product/Markovian     | Product/negligible     | Global (bounded $\xi$) | [1703.04153], [1309.6716]   |

## 3. Analytical Techniques and A Priori Estimates

Solving multidimensional quadratic BSDEs relies on advanced stochastic analysis techniques:

- **BMO Martingale Framework**: BMO spaces control the exponential moments arising from quadratic growth and are essential for establishing uniqueness, a priori bounds, and integrability ([1408.4579], [1606.08627], [2007.04481], [2302.12470]).
- **Fixed-Point/Contraction Mapping**: For both local and global solvability, the contraction mapping principle is applied in Banach spaces of bounded processes and BMO martingales, leveraging structural decoupling ([1408.4579], [2303.16872], [2310.14694]).
- **Stepwise/Backward Iteration**: Global existence is often recovered by partitioning $[0,T]$ into subintervals where local solvability applies and iteratively extending the solution backward in time ([1912.03692], [2007.04481]).
- **A Priori Exponential Bounds**: Sharp a priori estimates using exponential transformations (via Itô’s formula) allow control over the process norms for quadratic and even singular generators ([2302.12470], [2507.03348]).
- **Girsanov Transformations**: Change of measure techniques are employed in settings with particular generator structure to reduce to more tractable equations ([1703.04153]).

## 4. Extensions: Mean-field, Anticipated, Singular, and Superquadratic Systems

The multidimensional theory is extended to several advanced settings:

- **Mean-field BSDEs**: Generators depending on the law of $(Y_t, Z_t)$ and exhibiting diagonally quadratic (or even quadratic-in-law) growth in $Z$ are solvable under fixed-point and a priori control, including Volterra-type BSDEs ([2310.14694], [2303.16872]).
- **Anticipated BSDEs**: Generators that depend on the future values $(Y_{t+\delta(t)}, Z_{t+\zeta(t)})$ (anticipated terms) complicate analysis; solvability is ensured either for small terminal data (general growth) or under diagonal/triangular structure ([1909.10846], [2503.20255]).
- **Singular Generators**: BSDEs with singular diagonal terms such as $\frac{\delta}{2 y^i}|z^i|^2$ (arising in utility maximization) admit unique positive solutions under careful integrability and convexity assumptions ([2507.03348]).
- **Superquadratic Growth**: For generator growth $|z|^q$, $q>2$, a local-to-global solution procedure based on backward iteration and pathwise a priori bounds is applicable, but requires smallness/weak coupling ([1912.03692]).

## 5. Applications and Connections to PDEs and Control

Multidimensional quadratic BSDEs are intimately connected to fully nonlinear PDEs, stochastic games, and optimal control:

- **PDEs with Quadratic Gradient Nonlinearity**: Via Feynman-Kac representation, solutions correspond to viscosity or mild solutions of quasilinear (possibly path-dependent) PDEs with superquadratic terms in the gradient ([1912.03692], [1903.09052]).
- **Stochastic Differential Games**: Coupled quadratic BSDE systems encode value processes and feedback equilibria in zero-sum games, especially under regime switching and random coefficients ([2309.05003]).
- **Utility Maximization and Financial Mathematics**: Singular quadratic generators model power utility optimization in regime-switching markets, with explicit feedback forms for optimal strategies ([2507.03348]).
- **Banach Space and Rough-Path Contexts**: Quadratic BSDEs in infinite-dimensional settings and with low regularity drivers expand the framework to semilinear PDEs and rough stochastic evolution ([1903.09052], [1008.0290]).

## 6. Limitations, Challenges, and Open Problems

Despite recent advances, several challenges persist in the general multidimensional quadratic BSDE setting:

- **Failure of Comparison and Girsanov Principles**: The multidimensional context generally lacks a comparison theorem, precluding monotone approximation and complicating uniqueness proofs, especially for fully coupled and non-diagonal systems ([2007.04481], [2410.08748]).
- **Necessity of Structure/Sobriety**: Global solvability without explicit diagonal, triangular, or decoupling structure is typically impossible—known counterexamples and blow-up mechanisms exist for fully coupled systems ([2302.12470], [1408.4579]).
- **BMO-norm Smallness Barrier**: Stability and approximation methods require uniform BMO bounds, but multidimensional extensions of reverse Hölder inequalities remain open ([1606.08627]).
- **Indefinite and Interactively Quadratic Generators**: Indefinite stochastic Riccati equations and full interactive quadratic growth in non-Markovian, high-dimensional settings remain challenging, with uniqueness often requiring verification arguments specific to game-theoretic structures ([2410.08748], [2309.05003]).
- **Unbounded Data and Singularities**: Existence and uniqueness for unbounded terminal data or singular generators require exponential moment methods and often convexity/concavity, limiting generality ([2007.04481], [2507.03348], [2503.20255]).

## 7. References to Foundational and Recent Developments

A selection of key works includes:

- [1408.4579]: Multidimensional BSDEs of diagonally quadratic generators (Hu & Tang).
- [2007.04481]: General solvability for multidimensional BSDEs with diagonally quadratic and convex/concave generators (Fan et al.).
- [2302.12470]: Global solvability with small off-diagonal quadratic growth.
- [2410.08748]: Interactively quadratic generators and non-Markovian theory.
- [2507.03348]: Multidimensional singular and diagonally quadratic BSDEs.
- [2303.16872], [2310.14694]: Mean-field and superlinear-in-law extensions.
- [2309.05003]: Indefinite SREs in stochastic games with regime switching.

The multidimensional quadratic BSDE theory is now a mature field encompassing diagonal, triangular, interactively quadratic, mean-field, singular, and rough settings, with applications permeating modern stochastic analysis, mathematical finance, and PDE theory. However, the full characterization and resolution of general multidimensional, fully quadratic BSDEs remain an outstanding open problem, with ongoing research focused on structural extensions, stability conditions, and control-theoretic implications.

Source: https://www.emergentmind.com/topics/multidimensional-quadratic-backward-stochastic-differential-equation-bsde