---
title: Backward Stochastic Riccati Equation
url: https://www.emergentmind.com/topics/backward-stochastic-riccati-equation
type: topic
---

# Backward Stochastic Riccati Equation

A backward stochastic Riccati equation (BSRE) is a matrix-valued backward (stochastic) differential equation that arises in the analysis of backward stochastic linear-quadratic (LQ) optimal control problems and related stochastic game problems. Unlike classical Riccati ODEs from deterministic control, BSREs accommodate random coefficients, possible singular terminal conditions, nonlinearities in the generator, and are often coupled with constraints or regime-switching structure. BSREs serve as the central object in characterizing closed-loop optimal controls and value functions in backward and stochastic LQ frameworks, incorporating feedback from the randomness inherent in the system dynamics and costs.

## 1. Core Formulation and Examples

The canonical formulation of a BSRE emerges in stochastic linear-quadratic (LQ) problems where the system evolution is described by a backward stochastic differential equation (BSDE). For instance, in the deterministic-coefficient, indefinite BSLQ setting, the Riccati-type equation for the matrix-valued process $\Sigma:[0,T]\to\S^n$ is
\[
-\dot\Sigma(t) = A(t)\Sigma(t) + \Sigma(t)A(t)^{\!\top} - [B(t)+\Sigma(t)S_2(t)]R_{22}(t)^{-1}[B(t)+\Sigma(t)S_2(t)]^{\!\top} - [C(t)+\Sigma(t)S_1(t)](I+\Sigma(t)R_{11}(t))^{-1}\Sigma(t)[C(t)+\Sigma(t)S_1(t)]^{\!\top},
\quad \Sigma(T)=0,
\]
where $A,B,C,S_1,S_2,R_{11},R_{22}$ are deterministic, bounded, and may admit indefiniteness in weights (e.g., $R_{22}$ negative-definite in some directions). This admits a unique continuous solution under uniform convexity of the cost [2104.04747].

In more general settings (random coefficients, multidimensional noise, regime switching), the Riccati equation becomes a matrix- or operator-valued BSDE driven by Brownian motion, and potentially Poisson random measures (to account for jumps), and with appropriate terminal and algebraic constraints.

## 2. Assumptions and Solvability Criteria

Typical standing assumptions for the solvability and uniqueness of BSREs include:

- **Boundedness and measurability**: All coefficient processes (drift, diffusion, cost weights) are progressively measurable and essentially bounded [2104.04747, 2309.05003, 1402.1483].
- **Uniform convexity**: The cost functional must be coercive in control; this is often captured by a lower bound on the quadratic form or, equivalently, positivity of a certain block $R_{22}(t)\gg 0$ [2104.04747, 2202.13667].
- **Positive-definiteness constraints**: The ‘control weight’ matrix extended by feedback ($R_{22}$ in finite dimensions, or its operator analogue) must remain positive definite—even if $R_{22}$ (or $R$) is indefinite, this may be enforced via subsolution or inverse-flow constructions [1402.1483, 1203.3857].

In singular terminal value problems and with partial terminal constraints, solvability is associated with the existence of minimal supersolutions satisfying appropriate growth at the terminal time [1611.06830, 2601.03747].

## 3. Structure, Classification, and Special Cases

Several main classes of BSREs have emerged:

- **Deterministic-coefficient, classic ODE form**: As in [2104.04747], the equation is a backward ODE and all randomness appears in the state equation and cost.
- **Matrix-valued or operator-valued BSDEs**: Stochastic drivers and random coefficients lead to fully nonlinear, often quadratic-growth BSDEs [1912.12439, 2202.13667].
- **Regime-switching and games**: Multi-dimensional, regime-dependent BSRE systems, frequently with entries taking both positive and negative values (addressing stochastic differential games with Markovian switching) [2309.05003].
- **Infinite-dimensional (operator-valued) BSREs**: When the state evolves in a separable Hilbert space (e.g., for SPDEs), the Riccati equation becomes operator-valued [1404.6543, 1901.00978].
- **BSREs with jumps**: The generator includes Poisson random measure terms, leading to backward stochastic integral-differential equations (BSREJ) [1808.08336].
- **Indefinite, algebraically constrained cases**: When the cost weighting is indefinite, the BSRE must satisfy algebraic positivity constraints, sometimes enforced indirectly via ‘gauge-neutrality’ or by solving an auxiliary BSDE for the inverse process [1203.3857].

## 4. Existence, Uniqueness, and Methodologies

Solvability proofs for BSREs employ diverse analytic tools, adapting to the nonlinearity and potentially singular nature of the terminal condition:

- **Monotone approximation and comparison principles**: Existence and uniqueness follow from truncating the non-Lipschitz (quadratic) generator, iterating through comparison, and taking monotone limits [2309.05003, 1402.1483].
- **Penalization and singular terminal data**: For terminal constraints or singular costs, a penalization/approximation scheme with increasing terminal weights yields existence of minimal supersolutions [2601.03747, 1611.06830].
- **Hilbert space/Lax-Milgram methods**: In deterministic-coefficient cases, the control problem can be recast in Hilbert spaces, with convexity ensuring a unique minimizer and hence a unique solution to the Riccati equation [2104.04747].
- **Transposition and duality**: Infinite-dimensional equations often require weak or transposition solution concepts, using duality with test processes and bilinear forms [1901.00978].
- **Decoupling via forward-backward systems**: In random coefficient settings, the fully coupled FBSDE system is decoupled by assuming existence of a solution to the BSRE, thus reducing analysis to the solvability of the Riccati equation and auxiliary linear (forward or backward) equations [1912.12439, 2202.13667].
- **Doob–Meyer and dynamic programming**: In jump-diffusion regimes, the value function admits a semimartingale decomposition, and the existence of the BSREJ solution is linked to verification and optimality arguments of the underlying control problem [1808.08336].

Uniqueness may fail when generators are fully nonlinear and indefinite; however, for the actual LQ control problem, all adapted solutions of the Riccati equation lead to the same state feedback via the decoupling structure [1912.12439].

## 5. State-Feedback Construction and Representation of Optimal Control

A principal role of the BSRE is to provide the explicit state-feedback form of the optimal control and the value function. The general procedure is:

1. **Solve the BSRE** (or system thereof) for $(\Sigma, \Lambda)$ (or higher-dimensional analogues).
2. **Construct auxiliary processes**: Solve associated forward SDE or backward BSDE (costate/state).
3. **Compute feedback law**: The unique optimal control $u^*(t)$ is typically a linear function of the forward and backward processes, with coefficients depending explicitly on the BSRE solution. For example, for deterministic coefficients,
   \[
   u^*(t) = R_{22}(t)^{-1}\bigl[B(\Sigma(t))\,X(t) - S_{2}(t)\,\varphi(t)\bigr] \tag{[2104.04747]}
   \]
   or, in stochastic/random coefficient settings,
   \[
   u^*(t) = R(t)^{-1}B(t)^\top X(t) \tag{[1912.12439]}
   \]
4. **Value function**: The minimal cost is represented as a quadratic form involving the initial state and the BSRE solution,
   \[
   V(\xi) = \langle \Sigma(0) \xi, \xi \rangle + \text{additional terms}
   \]
   with explicit integrals and expectations involving auxiliary processes [2104.04747, 2202.13667, 2601.03747].

The feedback representation holds both for finite-dimensional and infinite-dimensional systems, as long as positivity and invertibility constraints are satisfied.

## 6. Singular Terminal Conditions, Supersolutions, and Constrained Problems

A significant extension of the BSRE occurs in problems with singular terminal constraints (hard terminal constraints or infinite penalization). In these cases, the terminal condition is enforced via supersolution concepts: a process $(P, Z)$ is a supersolution if it satisfies the BSRE up to $T$ and blows up (or matches a prescribed matrix) on sets specified by the constraint [1611.06830, 2601.03747]. Existence and minimality are established via penalization, monotonicity, and careful growth estimates near terminal time. For example, in multi-asset constrained trade execution, the associated Riccati BSDE may dictate behavior such as $P_t \sim \eta_t/(T-t)$ near $T$ [2601.03747], consistent with deterministic singular-Riccati ODE asymptotics.

Minimal supersolution properties guarantee that the feedback law derived from the minimal supersolution is the unique optimizer, and that the value function is sharp among all admissible controls and supersolutions.

## 7. Applications and Broader Impact

Backward stochastic Riccati equations are central to:

- **Backward stochastic LQ control (BSLQ)**: Decoupling, state-feedback synthesis, stochastic-differential game equilibrium, and performance evaluation.
- **Stochastic LQ games with regime switching**: Characterization of saddle-point strategies under non-Markovian random environments [2309.05003].
- **Constrained multi-agent or multi-asset execution**: Handling of terminal subspace constraints and singular costs [2601.03747].
- **Infinite-dimensional stochastic control**: Feedback synthesis for SPDEs and stochastic PDE control [1404.6543, 1901.00978].
- **Risk minimization and financial mathematics**: Quadratic hedging and risk-sensitive portfolio optimization, particularly under cost or state constraints [1512.04583].

The development of BSRE theory has significantly extended classical control methodologies into stochastic and constrained domains, and provides a unifying structural tool for stochastic control, filtering, and game-theoretic optimization. The solvability techniques—comparison, monotone iteration, penalization—and the explicit feedback expressions from BSREs continue to facilitate algorithmic advances and theoretical analysis in applied stochastic optimal control.

---

### References

A selection of primary sources for the above results includes:

- Sun, Wu, Xiong, “Indefinite Backward Stochastic Linear-Quadratic Optimal Control Problems” [2104.04747]
- Guatteri, Tessitore, “Well Prosedness of Operator Valued Backward Stochastic Riccati Equations in Infinite Dimensional Spaces” [1404.6543]
- Qian, Zhou, “A Note on Indefinite Stochastic Riccati Equations” [1203.3857]
- Du, “Solvability conditions for indefinite linear quadratic optimal stochastic control problems and associated stochastic Riccati equations” [1402.1483]
- Lü, Zhang, "Optimal Feedback for Stochastic Linear Quadratic Control and Backward Stochastic Riccati Equations in Infinite Dimensions" [1901.00978]
- Zhang, Dong, Meng, "Backward Stochastic Riccati Equation with Jumps associated with Stochastic Linear Quadratic Optimal Control with Jumps and Random Coefficients" [1808.08336]
- Sun, Wang, "Linear-Quadratic Optimal Control for Backward Stochastic Differential Equations with Random Coefficients" [1912.12439]
- Bank, Voß, "Linear quadratic stochastic control problems with stochastic terminal constraint" [1611.06830]
- Li, Zheng, “Constrained Quadratic Risk Minimization via Forward and Backward Stochastic Differential Equations” [1512.04583]
- Recent extensions: [2202.13667], [2601.03747], [2309.05003].

Source: https://www.emergentmind.com/topics/backward-stochastic-riccati-equation