Table of Contents
Fetching ...

Variational inequalities and smooth-fit principle for singular stochastic control problems in Hilbert spaces

Salvatore Federico, Giorgio Ferrari, Frank Riedel, Michael Röckner

Abstract

We consider a class of infinite-dimensional singular stochastic control problems. These can be thought of as spatial monotone follower problems and find applications in spatial models of production and climate transition. Let $(D,\mathcal{M},μ)$ be a finite measure space and consider the Hilbert space $H:=L^2(D,\mathcal{M},μ; \mathbb{R})$. Let then $X$ be an $H$-valued stochastic process on a suitable complete probability space, whose evolution is determined through an SPDE driven by a self-adjoint linear operator $\mathcal{A}$ and affected by a cylindrical Brownian motion. The evolution of $X$ is controlled linearly via an $H$-valued control consisting of the direction and the intensity of action, a real-valued nondecreasing right-continuous stochastic process, adapted to the underlying filtration. The goal is to minimize a discounted convex cost-functional over an infinite time-horizon. By combining properties of semiconcave functions and techniques from viscosity theory, we first show that the value function of the problem $V$ is a {$C^{1,\mathrm{Lip}}(H)$}-viscosity solution to the corresponding dynamic programming equation, which here takes the form of a variational inequality with gradient constraint. Then, by allowing the decision maker to choose only the intensity of the control and requiring that the given control direction $\hat{n}$ is an eigenvector of the linear operator $\mathcal{A}$, we establish that the directional derivative $V_{\hat{n}}$ is of class $C^1(H)$, hence a second-order smooth-fit principle in the controlled direction holds for $V$. This result is obtained by exploiting a connection to optimal stopping and combining results and techniques from convex analysis and viscosity theory.

Variational inequalities and smooth-fit principle for singular stochastic control problems in Hilbert spaces

Abstract

We consider a class of infinite-dimensional singular stochastic control problems. These can be thought of as spatial monotone follower problems and find applications in spatial models of production and climate transition. Let be a finite measure space and consider the Hilbert space . Let then be an -valued stochastic process on a suitable complete probability space, whose evolution is determined through an SPDE driven by a self-adjoint linear operator and affected by a cylindrical Brownian motion. The evolution of is controlled linearly via an -valued control consisting of the direction and the intensity of action, a real-valued nondecreasing right-continuous stochastic process, adapted to the underlying filtration. The goal is to minimize a discounted convex cost-functional over an infinite time-horizon. By combining properties of semiconcave functions and techniques from viscosity theory, we first show that the value function of the problem is a {}-viscosity solution to the corresponding dynamic programming equation, which here takes the form of a variational inequality with gradient constraint. Then, by allowing the decision maker to choose only the intensity of the control and requiring that the given control direction is an eigenvector of the linear operator , we establish that the directional derivative is of class , hence a second-order smooth-fit principle in the controlled direction holds for . This result is obtained by exploiting a connection to optimal stopping and combining results and techniques from convex analysis and viscosity theory.
Paper Structure (17 sections, 19 theorems, 219 equations)

This paper contains 17 sections, 19 theorems, 219 equations.

Key Result

Lemma 2.10

For each $I\in\mathcal{I}$, there exists a couple $(\vartheta,\nu)\in \mathcal{I}_{0}$, with $\nu\sim |I|$, such that This couple is unique in the following sense: the optional random measure $\nu$ is unique and $\vartheta$ is unique up to $\mathsf{P} \otimes \nu-$null measure sets.

Theorems & Definitions (50)

  • Remark 2.3
  • Remark 2.4
  • Remark 2.6
  • Remark 2.8
  • Remark 2.9
  • Lemma 2.10
  • proof
  • Proposition 3.1
  • proof
  • Proposition 3.2
  • ...and 40 more