Table of Contents
Fetching ...

Maximum Principles for Partially Observed Controls of Forward SPDEs and Backward SDEs with Jumps

Hongjiang Qian, George Yin, Yanzhao Cao, Guannan Zhang

Abstract

This work establishes two versions of the Pontryagin-type maximum principles for partially observed optimal control of coupled forward stochastic partial differential equations (FSPDEs) and backward stochastic differential equations (BSDEs) with jumps in convex control domains. The FSPDE-BSDE system is driven by cylindrical Wiener processes, finite-dimensional Brownian motions, and compensated Poisson random measures. For systems with deterministic coefficients, a direct method is employed and particular attention is focused on establishing the well-posedness of a singular backward SPDE with jumps. For systems with random coefficients, a Malliavin calculus approach is developed. The main novelty here is the establishment of the well-posedness of an operator-valued SPDE with jumps, which provides a new stochastic flow representation for linear SPDEs with jumps.

Maximum Principles for Partially Observed Controls of Forward SPDEs and Backward SDEs with Jumps

Abstract

This work establishes two versions of the Pontryagin-type maximum principles for partially observed optimal control of coupled forward stochastic partial differential equations (FSPDEs) and backward stochastic differential equations (BSDEs) with jumps in convex control domains. The FSPDE-BSDE system is driven by cylindrical Wiener processes, finite-dimensional Brownian motions, and compensated Poisson random measures. For systems with deterministic coefficients, a direct method is employed and particular attention is focused on establishing the well-posedness of a singular backward SPDE with jumps. For systems with random coefficients, a Malliavin calculus approach is developed. The main novelty here is the establishment of the well-posedness of an operator-valued SPDE with jumps, which provides a new stochastic flow representation for linear SPDEs with jumps.
Paper Structure (15 sections, 19 theorems, 108 equations)

This paper contains 15 sections, 19 theorems, 108 equations.

Key Result

Lemma 3.1

Let Assumptions ass holds. For any $u\in \mathcal{U}_{\text{ad}}$, there exists a constant $C>0$ such that the solution of sys1 and eq-rho satisfy the following estimates: $\forall\, \kappa \geq 2$, we have ${\mathbb E}^u |\rho^u_t|^\kappa <\infty$, and

Theorems & Definitions (41)

  • Lemma 3.1
  • proof
  • Lemma 3.2
  • proof
  • Theorem 3.3
  • proof
  • Proposition 3.4
  • proof
  • Remark 3.6
  • Definition 3.7
  • ...and 31 more