We consider a stochastic control problem, where the control domain is convex and the system is governed by a nonlinear backward stochastic differential equation. With a L1 terminal data, we derive necessary optimality conditions in the form of stochastic maximum principle.
Backward stochastic differential equations extend the martingale representation theorem to the nonlinear setting. This can be seen as path-dependent counterpart of the extension from the heat equation to fully nonlinear parabolic equations in the Markov setting. This paper extends such a nonlinear representation to the context where the random variable of interest is measurable with respect to the information at a finite stopping time. We provide a complete wellposedness theory which covers the semilinear case (backward SDE), the semilinear case with obstacle (reflected backward SDE), and the …
We establish existence, uniqueness and regularity of solution results for a class of backward stochastic partial differential equations with singular terminal condition. The equation describes the value function of non-Markovian stochastic optimal control problem in which the terminal state of the controlled process is pre-specified. The analysis of such control problems is motivated by models of optimal portfolio liquidation.
In this paper, we provide a one-to-one correspondence between the solution Y of a BSDE with singular terminal condition and the solution H of a BSDE with singular generator. This result provides the precise asymptotic behavior of Y close to the final time and enlarges the uniqueness result to a wider class of generators.
In this article, we are interested in solving numerically backward doubly stochastic differential equations (BDSDEs) with random terminal time tau. The main motivations are giving a probabilistic representation of the Sobolev's solution of Dirichlet problem for semilinear SPDEs and providing the numerical scheme for such SPDEs. Thus, we study the strong approximation of this class of BDSDEs when tau is the first exit time of a forward SDE from a cylindrical domain. Euler schemes and bounds for the discrete-time approximation error are provided.
We investigate a stochastic optimal control problem where the controlled system is depicted as a stochastic differential delayed equation; however, at the terminal time, the state is constrained in a convex set. We firstly introduce an equivalent backward delayed system depicted as a time-delayed backward stochastic differential equation. Then a stochastic maximum principle is obtained by virtue of Ekeland's variational principle. Finally, applications to a state constrained stochastic delayed linear-quadratic control model and a production-consumption choice problem are studied to illustrate …
In this paper, we study the solvability of anticipated backward stochastic differential equations (BSDEs, for short) with quadratic growth for one-dimensional case and multi-dimensional case. In these BSDEs, the generator, which is of quadratic growth in Z, involves not only the present information of solution (Y, Z) but also its future one. The existence and uniqueness of such BSDEs, under different conditions, are derived for several terminal situations, including small terminal value, bounded terminal value and unbounded terminal value.
We study a constrained optimal control problem with possibly degenerate coefficients arising in models of optimal portfolio liquidation under market impact. The coefficients can be random in which case the value function is described by a degenerate backward stochastic partial differential equation (BSPDE) with singular terminal condition. For this degenerate BSPDE, we prove existence and uniqueness of a nonnegative solution. Our existence result requires a novel gradient estimate for degenerate BSPDEs.
We introduce a generalized notion of semilinear elliptic partial differential equations where the corresponding second order partial differential operator $L$ has a generalized drift. We investigate existence and uniqueness of generalized solutions of class $C^1$. The generator $L$ is associated with a Markov process $X$ which is the solution of a stochastic differential equation with distributional drift. If the semilinear PDE admits boundary conditions, its solution is naturally associated with a backward stochastic differential equation (BSDE) with random terminal time, where the forward pr…
We solve a class of BSDE with a power function $f(y) = y^q$, $q > 1$, driving its drift and with the terminal boundary condition $ ξ= \infty \cdot \mathbf{1}_{B(m,r)^c}$ (for which $q > 2$ is assumed) or $ ξ= \infty \cdot \mathbf{1}_{B(m,r)}$, where $B(m,r)$ is the ball in the path space $C([0,T])$ of the underlying Brownian motion centered at the constant function $m$ and radius $r$. The solution involves the derivation and solution of a related heat equation in which $f$ serves as a reaction term and which is accompanied by singular and discontinuous Dirichlet boundary conditions. Although t…
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-…
We consider a class of Backward Stochastic Differential Equations with superlinear driver process $f$ adapted to a filtration supporting at least a $d$ dimensional Brownian motion and a Poisson random measure on ${\mathbb R}^m- \{0\}.$ We consider the following class of terminal conditions $ξ_1 = \infty \cdot 1_{\{τ_1 \le T\}}$ where $τ_1$ is any stopping time with a bounded density in a neighborhood of $T$ and $ξ_2 = \infty \cdot 1_{A_T}$ where $A_t$, $t \in [0,T]$ is a decreasing sequence of events adapted to the filtration ${\mathcal F}_t$ that is continuous in probability at $T$. A special…
In this paper, we discuss the solvability of backward stochastic differential equations (BSDEs) with superquadratic generators. We first prove that given a superquadratic generator, there exists a bounded terminal value, such that the associated BSDE does not admit any bounded solution. On the other hand, we prove that if the superquadratic BSDE admits a bounded solution, then there exist infinitely many bounded solutions for this BSDE. Finally, we prove the existence of a solution for Markovian BSDEs where the terminal value is a bounded continuous function of a forward stochastic differentia…
In this paper, we study the existence and uniqueness of solutions to quadratic Backward Stochastic Differential Equations (QBSDEs for short) with rough driver and square integrable terminal condition. The main idea consists in using both Doss-Sussman and Zvonkin type transformations. As an application we study connection between QBSDEs and quadratic PDEs with rough drivers. We also obtain Backward Doubly SDEs and QBSDEs driven by Fractional Brownian with Hurst parameter greater than $\frac{1}{4}$ as particular cases of our QBSDEs with rough drivers. A probabilistic representation of a class of…
We study linear backward stochastic partial differential equations of parabolic type with special boundary conditions in time. The standard Cauchy condition at the terminal time is replaced by a condition that holds almost surely and mixes the random values of the solution at different times, including the terminal time, initial time and continuously distributed times. Uniqueness, solvability and regularity results for the solutions are obtained. In particular, conditions of existence of periodic in time and "almost periodic" solutions are obtained for backward SPDEs.
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 consider a stochastic control problem where the set of controls is not necessarily convex and the system is governed by a nonlinear backward stochastic differential equation. We establish necessary as well as sufficient conditions of optimality for two models. The first concerns the strict (classical) controls. The second is an extension of the first to relaxed controls, who are a measure valued processes.
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.
We study linear stochastic partial differential equations of parabolic type with non-local in time or mixed in time boundary conditions. The standard Cauchy condition at the terminal time is replaced by a condition that mixes the random values of the solution at different times, including the terminal time, initial time and continuously distributed times. For the case of backward equations, this setting covers almost surely periodicity. Uniqueness, solvability and regularity results for the solutions are obtained. Some possible applications to portfolio selection are discussed.
This paper is devoted to a general solvability of a multi-dimensional backward stochastic differential equation (BSDE) of a diagonally quadratic generator $g(t,y,z)$, by relaxing the assumptions of \citet{HuTang2016SPA} on the generator and terminal value. More precisely, the generator $g(t,y,z)$ can have more general growth and continuity in $y$ in the local solution; while in the global solution, the generator $g(t,y,z)$ can have a skew sub-quadratic but in addition "strictly and diagonally" quadratic growth in the second unknown variable $z$, or the terminal value can be unbounded but the g…
We relate the $L_p$-variation, $2\le p < \infty$, of a solution of a backward stochastic differential equation with a path-dependent terminal condition to a generalized notion of fractional smoothness. This concept of fractional smoothness takes into account the quantitative propagation of singularities in time.
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…
This article is devoted to study the class of backward stochastic differential equation with delayed generator. We suppose the terminal value and the generator to be $L^{p}$-integrable with $p>1$. We derive a new type of estimation related to this BSDE. Next, we establish the existence and uniqueness result in two ways. First, an approximation technics used by Briand et al. (Stochastic Process. Appl. 108 (2003) 109-129) and hence the well-know Picard iterative procedure. Using Picard iterative procedure, we revisit the result of Dos Reis et al. (Stochastic Process. Appl. 121 (9) (2011) 2114-21…
We consider backward stochastic differential equations (BSDE) with nonlinear generators typically of quadratic growth in the control variable. A measure solution of such a BSDE will be understood as a probability measure under which the generator is seen as vanishing, so that the classical solution can be reconstructed by a combination of the operations of conditioning and using martingale representations. In case the terminal condition is bounded and the generator fulfills the usual continuity and boundedness conditions, we show that measure solutions with equivalent measures just reinterpret…
We consider a mean field game (MFG) of optimal portfolio liquidation under asymmetric information. We prove that the solution to the MFG can be characterized in terms of a FBSDE with possibly singular terminal condition on the backward component or, equivalently, in terms of a FBSDE with finite terminal value, yet singular driver. Extending the method of continuation to linear-quadratic FBSDE with singular driver we prove that the MFG has a unique solution. Our existence and uniqueness result allows to prove that the MFG with possibly singular terminal condition can be approximated by a sequen…
In this paper we study backward stochastic differential equations with general terminal value and general random generator. In particular, we do not require the terminal value be given by a forward diffusion equation. The randomness of the generator does not need to be from a forward equation, either. Motivated from applications to numerical simulations, first we obtain the $L^p$-Hölder continuity of the solution. Then we construct several numerical approximation schemes for backward stochastic differential equations and obtain the rate of convergence of the schemes based on the obtained $L^p$…
We provide a probabilistic solution of a not necessarily Markovian control problem with a state constraint by means of a Backward Stochastic Differential Equation (BSDE). The novelty of our solution approach is that the BSDE possesses a singular terminal condition. We prove that a solution of the BSDE exists, thus partly generalizing existence results obtained by Popier in [7] and [8]. We perform a verification and discuss special cases for which the control problem has explicit solutions.
The work concerns a type of backward multivalued McKean-Vlasov stochastic differential equations. First, we prove the existence and uniqueness of solutions for backward multivalued McKean-Vlasov stochastic differential equations. Then, it is presented that their solutions depend continuously on the terminal values. Finally, we give a probabilistic interpretation for viscosity solutions of nonlocal quasi-linear parabolic variational inequalities.
Two discretizations of a class of locally Lipschitz Markovian backward stochastic differential equations (BSDEs) are studied. The first is the classical Euler scheme which approximates a projection of the processes Z, and the second a novel scheme based on Malliavin weights which approximates the mariginals of the process Z directly. Extending the representation theorem of Ma and Zhang leads to advanced a priori estimates and stability results for this class of BSDEs. These estimates are then used to obtain competitive convergence rates for both schemes with respect to the number of points in …
Motivated by earlier work on the use of fully-coupled Forward-Backward Stochastic Differential Equations (henceforth FBSDEs) in the analysis of mathematical models for the CO2 emissions markets, the present study is concerned with the analysis of these equations when the generator of the forward equation has a conservative degenerate structure and the terminal condition of the backward equation is a non-smooth function of the terminal value of the forward component. We show that a general form of existence and uniqueness result still holds. When the function giving the terminal condition is bi…
Stochastic maximum principle for time-changed forward-backward stochastic control problem with Lévy noise
Yau Mathematical Sciences Center, Tsinghua University(丘成桐数学科学中心,清华大学);Department of Mathematical Sciences, Tsinghua University(数学科学系,清华大学);Department of Automation, Center for Brain-Inspired Computing Research, Tsinghua University(自动化系,脑启发计算研究中心,清华大学)
In this paper we study the homeomorphic properties of the solutions to one dimensional backward doubly stochastic differential equations under suitable assumptions, where the terminal values depend on a real parameter. Then, we apply them to the solutions for a class of second order quasilinear parabolic stochastic partial differential equations.
A Class of Multi-dimensional Backward Stochastic Differential Equations with Singular Generators exhibiting Diagonally Quadratic Growth and Applications
We introduce two simple models of forward-backward stochastic differential equations with a singular terminal condition and we explain how and why they appear naturally as models for the valuation of CO2 emission allowances. Single phase cap-and-trade schemes lead readily to terminal conditions given by indicator functions of the forward component, and using fine partial differential equations estimates, we show that the existence theory of these equations, as well as the properties of the candidates for solution, depend strongly upon the characteristics of the forward dynamics. Finally, we gi…
We present a backward diffusion flow (i.e. a backward-in-time stochastic differential equation) whose marginal distribution at any (earlier) time is equal to the smoothing distribution when the terminal state (at a latter time) is distributed according to the filtering distribution. This is a novel interpretation of the smoothing solution in terms of a nonlinear diffusion (stochastic) flow. This solution contrasts with, and complements, the (backward) deterministic flow of probability distributions (viz. a type of Kushner smoothing equation) studied in a number of prior works. A number of coro…
We consider backward stochastic differential equations (BSDEs) related to finite state, continuous time Markov chains. We show that appropriate solutions exist for arbitrary terminal conditions, and are unique up to sets of measure zero. We do not require the generating functions to be monotonic, instead using only an appropriate Lipschitz continuity condition.
Backward stochastic partial differential equations of parabolic type in bounded domains are studied in the setting where the coercivity condition is not necessary satisfied and the equation can be degenerate. Some generalized solutions based on the representation theorem are suggested. In addition to problems with a standard Cauchy condition at the terminal time, problems with special non-local boundary conditions are considered. These non-local conditions connect the terminal value of the solution with a functional over the entire past solution. Uniqueness, solvability and regularity results …
We study the existence of a minimal supersolution for backward stochastic differential equations when the terminal data can take the value +$\infty$ with positive probability. We deal with equations on a general filtered probability space and with generators satisfying a general monotonicity assumption. With this minimal supersolution we then solve an optimal stochastic control problem related to portfolio liquidation problems. We generalize the existing results in three directions: firstly there is no assumption on the underlying filtration (except completeness and quasi-left continuity), sec…
In [4], the existence of the solution is proved for a scalar linearly growing backward stochastic differential equation (BSDE) if the terminal value is $L\exp{\left(μ\sqrt{2\log{(1+L)}}\,\right)}$-integrable with the positive parameter $μ$ being bigger than a critical value $μ\_0$. In this note, we give the uniqueness result for the preceding BSDE.
This paper considers a class of scalar backward stochastic differential equations (BSDEs) with $L\exp(μ\sqrt{2\log(1+L)})$-integrable terminal values. We associate these BSDEs with BSDEs with integrable parameters through Girsanov change. Using this technique, we prove uniqueness, comparisons and stability for them under an extended monotonicity condition (more precisely one sided Osgood condition).
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…
In a preceding article, we have studied a generalization of the problem of finding a martingale on a manifold whose terminal value is known. This article completes the results obtained in the first article by providing uniqueness and existence theorems in a general framework (in particular if positive curvatures are allowed), still using differential geometry tools.
We study linear backward stochastic partial differential equations of parabolic type with special boundary condition that connect the terminal value of the solution with a functional over the entire past solution. Uniqueness, solvability and regularity results for the solutions are obtained.
In this paper, we first study one-dimensional quadratic backward stochastic differential equations driven by $G$-Brownian motions ($G$-BSDEs) with unbounded terminal values. With the help of a $θ$-method of Briand and Hu [4] and nonlinear stochastic analysis techniques, we propose an approximation procedure to prove existence and uniqueness result when the generator is convex (or concave) and terminal value is of exponential moments of arbitrary order. Finally, we also establish the well-posedness of multi-dimensional G-BSDEs with diagonally quadratic generators.
It is known that the Azema-Yor solution to the Skorokhod embedding problem maximizes the law of the running maximum of an uniformly integrable martingale with given terminal value distribution. Recently this optimality property has been generalized to expectations of certain bivariate cost functions depending on the terminal value and the running maximum. In this paper we give an extension of this result to another class of functions. In particular, we study a class of cost functions with the property that the corresponding optimal embeddings are not Azema-Yor. The suggested approach is quite …
We obtain the variational equations for backward stochastic differential equations in recursive stochastic optimal control problems, and then get the maximum principle which is novel. The control domain need not be convex, and the generator of the backward stochastic differential equation can contain z.
The problem of finding a martingale on a manifold with a fixed random terminal value can be solved by considering BSDEs with a generator with quadratic growth. We study here a generalization of these equations and we give uniqueness and existence results in two different frameworks, using differential geometry tools. Applications to PDEs are given, including a certain class of Dirichlet problems on manifolds.
Explicit solutions for a class of linear backward stochastic differential equations (BSDE) driven by Gaussian Volterra processes are given. These processes include the multifractional brownian motion and the multifractional Ornstein-Uhlenbeck process. By an Itô formula, proven in the context of Malliavin calculus, the BSDE is associated to a linear second order partial differential equation with terminal condition whose solution is given by a Feynman-Kac type formula. An application to self-financing trading strategies is discussed.
In this paper, we show that the minimal solution of a backward stochastic differential equation gives a probabilistic representation of the minimal viscosity solution of an integro-partial differential equation both with a singular terminal condition. Singularity means that at the final time, the value of the solution can be equal to infinity. Different types of regularity of this viscosity solution are investigated: Sobolev, H{ö}lder or strong regularity.
We introduce a new class of Backward Stochastic Differential Equations in which the $T$-terminal value $Y_{T}$ of the solution $(Y,Z)$ is not fixed as a random variable, but only satisfies a weak constraint of the form $E[Ψ(Y_{T})]\ge m$, for some (possibly random) non-decreasing map $Ψ$ and some threshold $m$. We name them \textit{BSDEs with weak terminal condition} and obtain a representation of the minimal time $t$-values $Y_{t}$ such that $(Y,Z)$ is a supersolution of the BSDE with weak terminal condition. It provides a non-Markovian BSDE formulation of the PDE characterization obtained fo…
We derive a non-linear version of the Feynman-Kac formula for the solutions of the vorticity equation in dimension 2 with space periodic boundary conditions. We prove the existence (global in time) and uniqueness for a stochastic terminal value problem associated with the vorticity equation in dimension 2.
Vector- and operator-valued backward stochastic equations with finite-variation drivers and a maximum principle for singular stochastic control in infinite dimensions
IRMAR, Université Rennes 1(雷恩第一大学);School of Mathematical Sciences, Nankai University(南开大学);School of Mathematical Sciences, Fudan University(复旦大学)
This paper studies the convergence of three temporal semi-discretizations for a backward semilinear stochastic evolution equation. For general terminal value and general coefficient with Lipschitz continuity, the convergence of the first two temporal semi-discretizations is established, and an explicit convergence rate is derived for the third temporal semi-discretization. The third temporal semi-discretization is applied to a general stochastic linear quadratic control problem, and the convergence of a temporally semi-discrete approximation to the optimal control is established.