General Pontryagin-Type Stochastic Maximum Principle and Backward Stochastic Evolution Equations in Infinite Dimensions

The main purpose of this paper is to give a solution to a long-standing unsolved problem in stochastic control theory, i.e., to establish the Pontryagin-type maximum principle for optimal controls of general infinite dimensional nonlinear stochastic evolution equations. Both drift and diffusion terms can contain the control variables, and the control domains are allowed to be nonconvex. The key to reach it is to provide a suitable formulation of operator-valued backward stochastic evolution equations (BSEEs for short), as well as a way to define their solutions. Besides, both vector-valued and operator-valued BSEEs, with solutions in the sense of transposition, are studied. As a crucial preliminary, some weakly sequential Banach-Alaoglu-type theorems are established for uniformly bounded linear operators between Banach spaces.