SearcharxivSearch

arXiv subjects

Lukas Wessels

Publications and source records attributed to Lukas Wessels.

10 recordsLinked to original sources

Stochastic Optimal Control of Interacting Particle Systems in Hilbert Spaces and Applications

Optimal control of interacting particles governed by stochastic evolution equations in Hilbert spaces is an open area of research. Such systems naturally arise in formulations where each particle is modeled by stochastic partial differential equations, path-dependent stochastic differential equations (such as stochastic delay differential equations or stochastic Volterra integral equations), or partially observed stochastic systems. The purpose of this manuscript is to build a limiting theory as the number of particles tends to infinity via the dynamic programming approach. We prove the convergence of the value functions $u_n$ of finite particle systems to a function $\mathcal{V}$, which is the unique $L$-viscosity solution of the corresponding mean-field Hamilton-Jacobi-Bellman equation in the space of probability measures, and we identify its lift with the value function $U$ of the so-called ``lifted'' limit optimal control problem. Under suitable additional assumptions, we show $C^{1,1}$-regularity of $U$, we prove that $\mathcal{V}$ projects precisely onto the value functions $u_n$, and that optimal (resp. optimal feedback) controls of the particle system correspond to optimal (resp. optimal feedback) controls of the lifted control problem started at the corresponding initial condition. To the best of our knowledge, these are the first results of this kind for stochastic optimal control problems for interacting particle systems of stochastic evolution equations in Hilbert spaces. We apply the developed theory to problems arising in economics where the particles are modeled by stochastic delay differential equations and stochastic partial differential equations.

math.PR

Mean Field Games in Hilbert Spaces with Degenerate Diffusion: A Viscosity Solution Approach

We study a degenerate second order mean field game (MFG) system in a Hilbert space $H$ which couples a Fokker--Planck equation describing the evolution of probability measures on $H$ with a Hamilton--Jacobi--Bellman (HJB) equation for the value function. Our main result establishes existence and uniqueness of solutions to this coupled system. Solutions of the HJB equation are interpreted in the viscosity sense. For existence, we extend the classical fixed-point approach based on Tikhonov's theorem to our setting. A central difficulty in this approach is proving uniqueness for the corresponding linear degenerate Fokker--Planck equation. To address this issue, we introduce a class of suitable adjoint equations and employ viscosity solution techniques to construct sufficiently regular solutions. Uniqueness for the full MFG system is then obtained via an adaptation of the Lasry--Lions monotonicity method.

math.AP

Peng's Maximum Principle for Stochastic Delay Differential Equations of Mean-Field Type

We extend Peng's maximum principle to the case of stochastic delay differential equations of mean-field type. More precisely, the coefficients of our control problem depend on the state, on the past trajectory and on its expected value. Moreover, the control enters the noise coefficient and the control domain may be non-convex. Our approach is based on a lifting of the state equation to an infinite dimensional Hilbert space that removes the explicit delay in the state equation. The main ingredient in the proof of the maximum principle is a precise asymptotic for the expectation of the first order variational process, which allows us to neglect the corresponding second order terms in the expansion of the cost functional.

math.PR

Finite Dimensional Projections of HJB Equations in the Wasserstein Space

This paper continues the study of controlled interacting particle systems with common noise started in [W. Gangbo, S. Mayorga and A. Święch, SIAM J. Math. Anal. 53 (2021), no. 2, 1320--1356] and [S. Mayorga and A. Święch, SIAM J. Control Optim. 61 (2023), no. 2, 820--851]. First, we extend the following results of the previously mentioned works to the case of multiplicative noise: (i) We generalize the convergence of the value functions $u_n$ corresponding to control problems of $n$ particles to the value function $V$ corresponding to an appropriately defined infinite dimensional control problem; (ii) we prove, under certain additional assumptions, $C^{1,1}$ regularity of $V$ in the spatial variable. The second main contribution of the present work is the proof that if $DV$ is continuous (which, in particular, includes the previously proven case of $C^{1,1}$ regularity in the spatial variable), the value function $V$ projects precisely onto the value functions $u_n$. Using this projection property, we show that optimal controls of the finite dimensional problem correspond to optimal controls of the infinite dimensional problem and vice versa. In the case of a linear state equation, we are able to prove that $V$ projects precisely onto the value functions $u_n$ under relaxed assumptions on the coefficients of the cost functional by using approximation techniques in the Wasserstein space, thus covering cases where $V$ may not be differentiable.

math.OC

Stochastic optimal control in Hilbert spaces: $C^{1,1}$ regularity of the value function and optimal synthesis via viscosity solutions

We study optimal control problems governed by abstract infinite dimensional stochastic differential equations using the dynamic programming approach. In the first part, we prove Lipschitz continuity, semiconcavity and semiconvexity of the value function under several sets of assumptions, and thus derive its $C^{1,1}$ regularity in the space variable. Based on this regularity result, we construct optimal feedback controls using the notion of the $B$-continuous viscosity solutions for the associated Hamilton--Jacobi--Bellman equation. This is done in the case when the noise coefficient is independent of the control variable. We also discuss applications of our results to optimal control problems governed by stochastic reaction-diffusion equations and, under economic motivations, stochastic delay differential equations.

math.OC

Semilinear Feynman-Kac Formulae for $B$-Continuous Viscosity Solutions

We prove the existence of a $B$-continuous viscosity solution for a class of infinite dimensional semilinear partial differential equations (PDEs) using probabilistic methods. Our approach also yields a stochastic representation formula for the solution in terms of a scalar-valued backward stochastic differential equation. The uniqueness is proved under additional assumptions using a comparison theorem for viscosity solutions. Our results constitute the first nonlinear Feynman-Kac formula using the notion of $B$-continuous viscosity solutions and thus introduces a framework allowing for generalizations to the case of fully nonlinear PDEs.

math.PR

Necessary and Sufficient Conditions for Optimal Control of Semilinear Stochastic Partial Differential Equations

Using a recently introduced representation of the second order adjoint state as the solution of a function-valued backward stochastic partial differential equation (SPDE), we calculate the viscosity super- and subdifferential of the value function evaluated along an optimal trajectory for controlled semilinear SPDEs. This establishes the well-known connection between Pontryagin's maximum principle and dynamic programming within the framework of viscosity solutions. As a corollary, we derive that the correction term in the stochastic Hamiltonian arising in non-smooth stochastic control problems is non-positive. These results directly lead us to a stochastic verification theorem for fully nonlinear Hamilton--Jacobi--Bellman equations in the framework of viscosity solutions.

math.PR

Neural Network Approximation of Optimal Controls for Stochastic Reaction-Diffusion Equations

We present a numerical algorithm that allows the approximation of optimal controls for stochastic reaction-diffusion equations with additive noise by first reducing the problem to controls of feedback form and then approximating the feedback function using finitely based approximations. Using structural assumptions on the finitely based approximations, rates for the approximation error of the cost can be obtained. Our algorithm significantly reduces the computational complexity of finding controls with asymptotically optimal cost. Numerical experiments using artificial neural networks as well as radial basis function networks illustrate the performance of our algorithm. Our approach can also be applied to stochastic control problems for high dimensional stochastic differential equations and more general stochastic partial differential equations.

math.OC

Peng's Maximum Principle for Stochastic Partial Differential Equations

We extend Peng's maximum principle for semilinear stochastic partial differential equations (SPDEs) in one space-dimension with non-convex control domains and control-dependent diffusion coefficients to the case of general cost functionals with Nemytskii-type coefficients. Our analysis is based on a new approach to the characterization of the second order adjoint state as the solution of a function-valued backward SPDE.

math.PR

Deterministic Control of Stochastic Reaction-Diffusion Equations

We consider the control of semilinear stochastic partial differential equations (SPDEs) via deterministic controls. In the case of multiplicative noise, existence of optimal controls and necessary conditions for optimality are derived. In the case of additive noise, we obtain a representation for the gradient of the cost functional via adjoint calculus. The restriction to deterministic controls and additive noise avoids the necessity of introducing a backward SPDE. Based on this novel representation, we present a probabilistic nonlinear conjugate gradient descent method to approximate the optimal control, and apply our results to the stochastic Schlögl model. We also present some analysis in the case where the optimal control for the stochastic system differs from the optimal control for the deterministic system.

math.OC