Stochastic maximum principle of nonlinear controlled forward-backward systems, where the set of strict (classical) controls need not be convex and the diffusion coefficient depends explicitly on the variable control, is an open problem impossible to solve by the classical method of spike variation. In this paper, we introduce a new approach to solve this open problem and we establish necessary as well as sufficient conditions of optimality, in the form of global stochastic maximum principle, for two models. The first concerns the relaxed controls, who are a measure-valued processes. The second is a restriction of the first to strict control problems.
This paper studies a new class of dynamic optimization problems of large-population (LP) system which consists of a large number of negligible and coupled agents. The most significant feature in our setup is the dynamics of individual agents follow the forward-backward stochastic differential equations (FBSDEs) in which the forward and backward states are coupled at the terminal time. This current paper is hence different to most existing large-population literature where the individual states are typically modeled by the SDEs including the forward state only. The associated mean-field linear-…
In this paper we investigate a kind of optimal control problem of coupled forward-backward stochastic system with jumps whose cost functional is defined through a coupled forward-backward stochastic differential equation with Brownian motion and Poisson random measure. For this end, we first study the regularity of solutions for this kind of forward-backward stochastic differential equations. We obtain that the value function is a deterministic function and satisfies the dynamic programming principle for this kind of optimal control problem. Moreover, we prove that the value functions is a vis…
In this paper, we investigate infinite horizon jump-diffusion forward-backward stochastic differential equations under some monotonicity conditions. We establish an existence and uniqueness theorem, two stability results and a comparison theorem for solutions to such kind of equations. Then the theoretical results are applied to study a kind of infinite horizon backward stochastic linear-quadratic optimal control problems, and then differential game problems. The unique optimal controls for the control problems and the unique Nash equilibrium points for the game problems are obtained in closed…
In this paper, we study the maximum principle for stochastic optimal control problems of forward-backward stochastic difference systems (FBSΔSs) where the uncertainty is modeled by a discrete time, finite state process, rather than white noises. Two types of FBSΔSs are investigated. The first one is described by a partially coupled forward-backward stochastic difference equation (FBSΔE) and the second one is described by a fully coupled FBSΔE. By adopting an appropriate representation of the product rule and an appropriate formulation of the backward stochastic difference equation (BSΔE), we d…
We study a stochastic optimal control problem for forward-backward control systems with quadratic generators. In order to establish the first and second-order variational and adjoint equations, we obtain a new estimate for one-dimensional linear BSDEs with unbounded stochastic Lipschitz coefficients involving bounded mean oscillation martingales (BMO-martingales for short) and prove the solvability for a class of multi-dimensional BSDEs with this type. Finally, a new global stochastic maximum principle is deduced.
Connections between a system of Forward-Backward SDEs and Backward Stochastic PDEs related to the utility maximiza- tion problem is established. Besides, we derive another version of FBSDE of the same problem and prove an existence of a solution
We define fully coupled forward-backward stochastic differential equations on spaces related to continuous time, finite state Markov Chains. Existence and uniqueness results of the fully coupled forward-backward stochastic differential equations on Markov Chains are obtained.
In this paper, we study the existence and uniqueness of solutions to the fully coupled nonlinear forward-backward stochastic differential equations driven by G-Brownian motion. Assuming that the diffusion coefficient $σ$ is uniformly elliptic and all coefficients are differentiable, combining the results of fully nonlinear PDEs, we prove the existence and uniqueness of solutions to these equations.
The connection between forward backward doubly stochastic differential equations and the optimal filtering problem is established without using the Zakai's equation. The solutions of forward backward doubly stochastic differential equations are expressed in terms of conditional law of a partially observed Markov diffusion process. It then follows that the adjoint time-inverse forward backward doubly stochastic differential equations governs the evolution of the unnormalized filtering density in the optimal filtering problem.
It is known that Markovian forward-backward stochastic differential equations provide nonlinear Feynman-Kac representation formulae for semilinear parabolic PDEs. We show that non-Markovian forward-backward stochastic differential equations provide nonlinear Feynman-Kac formulae for semilinear path-dependent PDEs. This extends the result proved in Ekren, Keller, Touzi, and Zhang [4] to the case with a possibly degenerate diffusion coefficient in the forward dynamics.
In this paper, we prove the existence and uniqueness of the solution of a coupled Mean-Field Forward-Backward SDE system with Jumps. Then, we give an application in the field of storage problem in smart grids, studied in [4] in the case where the production of electricity is not predictable due, for example, to the changes in meteorological forecasts.
By the methods of probability and duality technique, we give some comparison theorems for the solutions of infinite horizon forward-backwad stochastic differential equations.
Existence and uniqueness results of fully coupled forward stochastic differential equations without drifts and backward stochastic differential equations in a degenerate case are obtained for an arbitrarily large time duration.
In this paper, we consider the fully coupled forward-backward stochastic functional differential equations (FBSFDEs) with stochastic functional differential equations as the forward equations and the generalized anticipated backward stochastic differential equations as the backward equations. We will prove the existence and uniqueness theorem for FBSFDEs. As an application, we deal with a quadratic optimal control problem for functional stochastic systems, and get the explicit form of the optimal control by virtue of FBSFDEs.
In this paper, we consider the Cauchy problem of semi-linear degenerate backward stochastic partial differential equations (BSPDEs in short) under general settings without technical assumptions on the coefficients. For the solution of semi-linear degenerate BSPDE, we first give a proof for its existence and uniqueness, as well as regularity. Then the connection between semi-linear degenerate BSPDEs and forward backward stochastic differential equations (FBSDEs in short) is established, which can be regarded as an extension of Feynman-Kac formula to non-Markov frame.
We study the asymptotic behaviour of solutions of Forward Backward Stochastic Differential Equations in the coupled case, when the diffusion coefficient of the forward equation is multiplicatively perturbed by a small parameter that converges to zero. Furthermore, we establish a Large Deviation Principle for the laws of the corresponding processes.
In this paper, we prove that there exists at least one solution for the reflected forward-backward stochastic differential equation driven by G-Brownian motion satisfying the obstacle constraint with monotone coefficients.
In this paper, we consider coupled forward-backward stochastic differential equations (FBSDEs in short) with parameter $\varepsilon >0$. We study the asymptotic behavior of its solutions and establish a large deviation principle for the corresponding processes.
The purpose of this note is to provide an existence result for the solution of fully coupled Forward Backward Stochastic Differential Equations (FBSDEs) of the mean field type. These equations occur in the study of mean field games and the optimal control of dynamics of the McKean Vlasov type.
This paper is devoted to study different type of BSDE with delayed generator. We first establish an existence and uniqueness result under delayed Lipschitz condition for non homogenous backward stochastic differential equation with delayed generator. Next, existence and uniqueness result for general fully coupled forward backward stochastic differential equation with delayed coefficients has been derived.
In this paper we deal with the utility maximization problem with a general utility function. We derive a new approach in which we reduce the utility maximization problem with general utility to the study of a fully-coupled Forward-Backward Stochastic Differential Equation (FBSDE).
This paper is devoted to path-dependent kinetics equations arising, in particular, from the analysis of the coupled backward - forward systems of equations of mean field games. We present local well-posedness, global existence and some regularity results for these equations.
In this paper we investigate the well-posedness of backward or forward stochastic differential equations whose law is constrained to live in an a priori given (smooth enough) set and which is reflected along the corresponding ''normal'' vector. We also study the associated interacting particle system reflected in mean field and asymptotically described by such equations. The case of particles submitted to a common noise as well as the asymptotic system is studied in the forward case. Eventually, we connect the forward and backward stochastic differential equations with normal constraints in la…
Although having been developed for more than two decades, the theory of forward backward stochastic differential equations is still far from complete. In this paper, we take one step back and investigate the formulation of FBSDEs. Motivated from several considerations, both in theory and in applications, we propose to study FBSDEs in weak formulation, rather than the strong formulation in the standard literature. That is, the backward SDE is driven by the forward component, instead of by the Brownian motion noise. We establish the Feyman-Kac formula for FBSDEs in weak formulation, both in clas…
Motivated from time-inconsistent stochastic control problems, we introduce a new type of coupled forward-backward stochastic systems, namely, flows of forward-backward stochastic differential equations. They are systems consisting of a single forward SDE and a continuum of BSDEs, which are defined on different time-intervals and connected via an equilibrium condition. We formulate a notion of equilibrium solutions in a general framework and prove small-time well-posedness of the equations. We also consider discretized flows and show that their equilibrium solutions approximate the original one…
In this paper, we study the solvability problem for one kind of fully coupled forward-backward stochastic difference equations (FBSΔEs). With the help of the necessary and sufficient condition for the solvability of the linear FBSΔEs, under the monotone assumption, we obtain the existence and uniqueness theorem for the general nonlinear ones.
In this paper we study the relationship between functional forward-backward stochastic systems and path-dependent PDEs. In the framework of functional Itô calculus, we introduce a path-dependent PDE and prove that its solution is uniquely determined by a functional forward-backward stochastic system.
We study in this paper the wellposedness of path-dependent multidimensional forward-backward stochastic differential equations (FBSDE). By path-dependent we mean that the coefficients of the forward-backward SDE at time t can depend on the whole path of the forward process up to time t. These kinds of forward-backward SDE appear when solving path-dependent stochastic control problem by means of variational calculus. At the heart of our analysis is the construction of a decoupling random field on the path space. We first prove the existence and the uniqueness of decoupling field on small time i…
In this paper, we consider the solvability problems for the fully coupled forward-backward stochastic difference equations (FBSΔEs) on spaces related to discrete time, finite state processes. On one hand, we provide the necessary and sufficient condition for the solvability of the linear FBSΔEs. On the other hand, under the assumption that the coefficients satisfy the monotone condition, we investigate the existence and uniqueness theorems for the general nonlinear FBSΔEs.
This paper extends the results of Ma, Wu, Zhang, Zhang [11] to the context of path-dependent multidimensional forward-backward stochastic differential equations (FBSDE). By path-dependent we mean that the coefficients of the forward-backward SDE at time t can depend on the whole path of the forward process up to time t. Such a situation appears when solving path-dependent stochastic control problems by means of variational calculus. At the heart of our analysis is the construction of a decoupling random field on the path space. We first prove the existence and the uniqueness of decoupling fiel…
In this paper, a class of non-Markovian forward-backward doubly stochastic systems is studied. By using the technique of functional Itô (or path-dependent) calculus, the relationship between the systems and related path-dependent quasi-linear stochastic partial differential equations (SPDEs in short) is established, and the well-known nonlinear stochastic Feynman-Kac formula of Pardoux and Peng [Backward doubly stochastic differential equations and systems of quasilinear SPDEs, Probab. Theory Relat. Fields 98 (1994), pp. 209--227] is developed to the non-Markovian situation. Moreover, we obtai…
We derive the forward and backward filtering equations for a class of degenerate partially observable diffusions, satisfying the weak Hörmander condition. Our approach is based on the Hölder theory for degenerate SPDEs that allows to pursue the direct approaches proposed by N. V. Krylov and A. Zatezalo, and A. Yu. Veretennikov, avoiding the use of general results from filtering theory. As a by-product we also provide existence, regularity and estimates for the filtering density.
We describe a probabilistic construction of $H^s$-regular solutions for the spatially periodic forced Burgers equation by using a characterization of this solution through a forward-backward stochastic system.
This paper explores the relationship between non-Markovian fully coupled forward-backward stochastic systems and path-dependent PDEs. The definition of classical solution for the path-dependent PDE is given within the framework of functional Itô calculus. Under mild hypotheses, we prove that the forward-backward stochastic system provides the unique classical solution to the path-dependent PDE.
In this paper, we obtain the existence and uniqueness theorem of $L^{p}$-solution for coupled forward-backward stochastic differential equations driven by G-Brownian motion (G-FBSDEs) with arbitrary $T$ under weakly coupling condition. Specially, the result for $p\in(1,2)$ is completely different from the one for $p\geq2$. Furthermore, by considering the dual linear FBSDE under a suitable reference probability, we establish the comparison theorem for G-FBSDEs under weakly coupling condition.
In this paper, we use forward-backward stochastic differential systems to study the solution of two and d dimensional ($d\geq 3$) Navier-Stokes-$α$ equation. For the two dimensional Navier-Stokes-$α$ equation with space periodic boundary conditions, we derive the Feynmann-Kac formula associated with the vorticity equation and prove the global existence and uniqueness of the solution. For the d dimensional ($d\geq 3$) case, we prove the local existence and uniqueness of the solution in Sobolev space.
In this paper we introduce a class of forward-backward stochastic differential equations on tensor fields of Riemannian manifolds, which are related to semi-linear parabolic partial differential equations on tensor fields. Moreover, we will use these forward-backward stochastic differential equations to give a stochastic characterization of incompressible Navier-Stokes equations on Riemannian manifolds, where some extra conditions used in [22] are not required.
The aim of this paper is to establish the existence and uniqueness of the solution to a system of nonlinear fully coupled forward-backward doubly stochastic differential equations with Poisson jumps. Our system is Markovian in the sense that initial and terminal values depend on solutions, and are not just fixed random variables. We establish under some monotonicity conditions, the existence and uniqueness of strong solutions of such equations by using a continuation method.
Fully coupled forward-backward stochastic dynamics and functional differential systems
ETH Zürich（苏黎世联邦理工学院）；Department of Mathematics, ETH Zürich（苏黎世联邦理工学院数学系）；King’s College London（伦敦国王学院）；Oxford-Man Institute, University of Oxford（牛津大学牛津-曼研究所）
We show stability and locality of the minimal supersolution of a forward backward stochastic differential equation with respect to the underlying forward process under weak assumptions on the generator. The forward process appears both in the generator and the terminal condition. Painlevé-Kuratowski and Convex Epi-convergence are used to establish the stability. For Markovian forward processes the minimal supersolution is shown to have the Markov property. Furthermore, it is related to a time-shifted problem and identified as the unique minimal viscosity supersolution of a corresponding PDE.
We establish a connection between the strong solution to the spatially periodic Navier-Stokes equations and a solution to a system of forward-backward stochastic differential equations (FBSDEs) on the group of volume-preserving diffeomorphisms of a flat torus. We construct representations of the strong solution to the Navier-Stokes equations in terms of diffusion processes.
We obtain upper and lower Gaussian density estimates for the law of each component of the solution to a one-dimensional fully coupled forward-backward SDE (FBSDE). Our approach relies on the link between FBSDEs and quasilinear parabolic PDEs, and is fully based on the use of classical results on PDEs rather than on manipulation of FBSDEs, compared to other papers on this topic. This essentially simplifies the analysis.
We consider the classical problem of maximizing the expected utility of terminal net wealth with a final random liability in a simple jump-diffusion model. In the spirit of Horst et al. (2014) and Santacroce-Trivellato (2014), under suitable conditions the optimal strategy is expressed in implicit form in terms of a forward backward system of equations. Some explicit results are presented for the pure jump model and for exponential utilities.
In this short article we present new results that bring about hitherto unknown relations between certain Bernstein diffusions wandering in bounded convex domains of Euclidean space on the one hand, and processes which typically occur in forward-backward systems of stochastic differential equations on the other hand. A key point in establishing such relations lies in the fact that the Bernstein diffusions we consider are actually reversible Itô diffusions.
We consider an elliptic PDE in two variables. As one parameter approaches zero, this PDE collapses to a parabolic one, that is forward parabolic in a part of the domain and backward parabolic in the remainder. Such problems arise naturally in various stochastic models, such as fluid models for data-handling systems and Markov-modulated queues. We employ singular perturbation methods to study the problem for small values of the parameter.
We introduce a class of abstract nonlinear fractional pseudo-differential equations in Banach spaces that includes both the Mc-Kean-Vlasov-type equations describing nonlinear Markov processes and the Hamilton-Jacobi-Bellman(HJB)-Isaacs equation of stochastic control and games thus allowing for a unified analysis of these equations. This leads to an effective theory of coupled forward-backward systems (forward McKean-Vlasov evolution and backward HJB-Isaacs evolution) that are central to the modern theory of mean-field games.
We study the joint asymptotics of forward and backward processes of numbers of non-empty urns in an infinite urn scheme. The probabilities of balls hitting the urns are assumed to satisfy the conditions of regular decrease. We prove weak convergence to a two-dimensional Gaussian process. Its covariance function depends only on exponent of regular decrease of probabilities. We obtain parameter estimates that have a normal asymototics for its joint distribution together with forward and backward processes. We use these estimates to construct statistical tests for the homogeneity of the urn schem…
