---
title: Backward Stochastic Evolution Equations
url: https://www.emergentmind.com/topics/backward-stochastic-evolution-equations
type: topic
---

# Backward Stochastic Evolution Equations

Backward stochastic evolution equations (BSEEs) are infinite-dimensional extensions of backward stochastic differential equations (BSDEs), formulated on Banach or Hilbert spaces and driven by stochastic processes, typically cylindrical Wiener processes. BSEEs generalize classical BSDEs by replacing finite-dimensional Itô processes with stochastic evolution equations governed by (possibly unbounded) linear operators, often in the context of stochastic partial differential equations (SPDEs). Central to control theory, filtering, stochastic analysis, and the theory of SPDEs, BSEEs serve as adjoint equations in the stochastic maximum principle, encode sensitivities in optimization, and appear in connections to singular Volterra-type kernels, anticipated equations, and set-valued inclusions.

## 1. Canonical Formulation and Mild Solutions

A backward stochastic evolution equation on a Banach or Hilbert space \(X\) equipped with a strongly continuous semigroup \(S(t)=e^{-tA}\), is typically written as
\[
\begin{cases}
dU(t) + A\,U(t)\,dt = f(t, U(t),V(t))\,dt + V(t)\,dW(t), & t\in[0,T],\\
U(T) = u_T,
\end{cases}
\]
where \(A\) is (minus) the generator of a \(C_0\)-semigroup \(\{S(t)\}\), \(W\) is a Brownian motion, and \(f\) is a general driver [1812.05290]. The mild solution is given by
\[
U(t) = S(T-t)u_T + \int_t^T S(s-t)f(s,U(s),V(s))\,ds + \int_t^T S(s-t) V(s)\,dW(s).
\]
The extension to multivalued generators yields backward stochastic evolution inclusions (BSEIs):
\[
dY_t + A Y_t\,dt \in G(t, Y_t, Z_t)\,dt + Z_t\,dW_t,\quad Y_T = \xi,
\]
with measurable, closed-valued \(G\), where a mild \(L^p\)-solution consists of processes \((Y, Z)\) and a selector \(g\) satisfying an inclusion version of the above mild identity [2204.13389].

The solution framework requires stochastic integration in Banach spaces, notably utilizing \(\gamma\)-radonifying operators to define stochastic integrals when \(X\) is a UMD Banach space [1812.05290].

## 2. Function Space Setting and Solvability Conditions

Existence and uniqueness of BSEE solutions hinge on the underlying functional setting. In UMD Banach spaces (where the Hilbert transform extends to vector-valued \(L^p\)), the Itô isomorphism for \(\gamma\)-radonifying-valued processes is crucial [1812.05290]. The following network of conditions typically appears:

- **Generator and potential regularity**: The driver \(f\) is required to be Lipschitz in the unknowns \(u, v\) and jointly measurable [1812.05290], [2204.13389].
- **Semigroup properties**: The family \(\{S(t)\}\) must be \(\gamma\)-bounded—the upper contraction property suffices [1812.05290], [2204.13389].
- **Terminal condition**: The data \(u_T\) or \(\xi\) belongs to a suitable \(L^p\) space, possibly equipped with the filtration and the Banach space norm.

When \(X\) is a Hilbert space, the integral spaces simplify, and classical \(L^2\)-theory can be deployed [1202.4009].

For BSEIs (set-valued case), additional assumptions include the nonemptiness and closedness of the set of selectors, and a global Hausdorff–Lipschitz condition on \(G\) [2204.13389].

Existence and uniqueness under these hypotheses follow via contraction mapping arguments in the relevant process spaces (such as \(L^p(\Omega; \gamma(0,T; X))\)), often constructed on short backward intervals and patched globally, exploiting the smoothing or contraction properties of the semigroup and stochastic integral [1812.05290], [2204.13389].

## 3. Extensions: Inclusions, Anticipated and Volterra-Type Equations

BSEEs extend beyond single-valued, non-anticipative forms. Significant generalizations include:

- **Backward Stochastic Evolution Inclusions (BSEI)**: With set-valued generator \(G\), the problem becomes a mild inclusion in the space of adapted \(\gamma\)-radonifying maps. The theory in UMD Banach spaces accounts for measurable selectors and set-valued Hausdorff–Lipschitz continuity [2204.13389].

- **Anticipated Backward Stochastic Evolution Equations (ABSEE)**: These arise as adjoints in path-dependent stochastic control, featuring conditional expectations of non-anticipative derivatives that require "anticipated" arguments; the adjoint equation is posed over a time interval potentially extended by delay or memory effects [2504.18798].

- **Volterra and Fractional-Type BSEEs/BSVIEs**: In singular backward stochastic Volterra integral equations (BSVIEs), kernels can be singular, e.g., of fractional or rough-Heston type, with the equation driven by two-parameter processes \((Y, Z(t, s))\) [2312.04094]. Fractional BSEEs model systems with long memory, using Caputo-type kernels and fractional resolvent operators [2601.01631].

These generalizations support modeling of systems with memory, delay, and set-valued or nonlocal effects, common in physics (viscoelasticity, heat conduction), finance (rough volatility), and control with state-dependent delays.

## 4. Duality, Transposition, and Operator-Valued Backward Equations

In infinite-dimensional stochastic control, BSEEs are the adjoint equations in the stochastic maximum principle (SMP), encoding the sensitivity of cost functionals to state perturbations. Vector-valued BSEEs model first-order adjoints, while operator-valued BSEEs describe second-order variations (for nonconvex control or diffusion-control-dependence) [1204.3275], [1405.4454].

For general filtrations or operator-valued backward equations, the **transposition method** is adopted: the solution is defined via duality against a family of forward SDEs, not as classically defined processes. For example, the solution \((y,Y)\) is realized by verifying, for all test forward solutions \(z\), a duality identity linking the adjoint and forward processes [1405.4454]. In the operator-valued case, relaxed transposition solutions are constructed using limiting arguments to deal with lack of strong topology or only weak sequential compactness in \(\cL(H)\) [1204.3275], [1405.4454].

Tables can summarize solution types:

| Setting               | Solution Concept            | Key Reference      |
|---------------------- |----------------------------|--------------------|
| Hilbert/UMD space     | Mild, classical             | [1812.05290]      |
| Set-valued generator  | Adapted selector, mild inc. | [2204.13389]      |
| General filtration    | Transposition (dual)        | [1204.3275], [1405.4454] |
| Operator-valued BSEE  | (Relaxed) transposition     | [1204.3275], [1405.4454] |
| Singular kernel       | M-solution (BSVIE)          | [2312.04094]       |

## 5. Applications: Optimal Control, Observability, and Memory Systems

BSEEs are integral in both stochastic control theory and analysis of SPDEs:

- **Stochastic Maximum Principle (SMP)**: In infinite dimensions, the first- and second-order adjoints for control problems are given by vector- and operator-valued BSEEs, respectively. For convex/regular cases, a vector BSEE suffices; nonconvexity or control in the diffusion mandates the operator-valued backward equation in the transposition sense [1204.3275], [1405.4454], [1612.01664]. SMPs for fractional and anticipated equations rely similarly on forward–backward systems involving fractional- or delay-type BSEEs [2504.18798], [2601.01631], [2312.04094].

- **Observability and Null Controllability**: Observability inequalities for BSEEs, derived via spectral methods and telescoping arguments, yield duality-based control results for forward SPDEs. Sharp observability estimates in backward equations with degenerate, fourth-order, or heat operators underpin null controllability of corresponding forward equations with minimal controls [2308.11121].

- **Systems with Memory and Delay**: BSEEs with fractional or Volterra kernels model systems with hereditary properties. The memory effect appears naturally in the structure of the BSEE's solution, typically via convolution with singular kernels, encoding long-range temporal dependence [2312.04094], [2601.01631].

## 6. Technical Frameworks and Proof Techniques

The resolution of BSEEs relies on various advanced analytic and probabilistic tools:

- **\(\gamma\)-Radonifying Operator Techniques**: Crucial for defining stochastic integrals in UMD spaces and for transferring Hilbert space martingale inequalities to wider Banach-space contexts [1812.05290], [2204.13389].
- **Contraction Mappings and Local-Global Arguments**: Existence by Picard iteration or contraction on suitable spaces, with time-localized patching [1812.05290], [2204.13389], [1708.00324].
- **Duality and Riesz Representation**: The operator- and vector-valued transposition methods hinge on the representation theorems in vector-valued Bochner spaces to derive dual process identities [1204.3275], [1405.4454].
- **Banach–Alaoglu and Weak Compactness**: Relaxed or generalized solutions are constructed via weak convergence and diagonalization in spaces of operators [1204.3275].
- **Weighted a priori estimates**: Singular kernels, fractional equations, and space-time white noise require delicate norm estimates with time-dependent weights, Gronwall-type lemmas, and decay bounds [1708.00324], [2601.01631], [2312.04094].

## 7. Open Directions and Further Extensions

Recent literature points to multiple active research directions:

- **Extension to Non-UMD and Non-Hilbert Spaces**: Full well-posedness theory for operator-valued BSEEs in Banach spaces remains open; analysis is currently limited to Hilbert (or UMD-lattice) settings [1204.3275], [1405.4454].
- **Weakening of Spectral and Growth Assumptions**: Extensions to non-Lipschitz or monotone drivers, non-smoothing semigroups, and degenerate generators are partly open [1708.00324].
- **Stochastic Systems with Path-Dependence**: ABSEEs and BSVIEs represent an expanding class of backward objects adapted for delay- and memory-dependent stochastic systems, with applications to infinite-dimensional control and finance [2504.18798], [2312.04094].

BSEEs thus represent a central and flexible tool, both as structural ingredients in infinite-dimensional stochastic optimization and as primary objects of analysis in the study of SPDEs with backward, inclusion, anticipated, or singular-memory features.

Source: https://www.emergentmind.com/topics/backward-stochastic-evolution-equations