Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2017 (2017), Article ID 1868560, 13 pages
Research Article

Maximum Principle for Forward-Backward Control System Driven by Itô-Lévy Processes under Initial-Terminal Constraints

College of Mathematics and Systems Science, Shandong University of Science and Technology, Qingdao 266590, China

Correspondence should be addressed to Xiangrong Wang

Received 13 January 2017; Revised 14 April 2017; Accepted 4 May 2017; Published 20 June 2017

Academic Editor: Zhongwei Lin

Copyright © 2017 Meijuan Liu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


This paper investigates a stochastic optimal control problem where the control system is driven by Itô-Lévy process. We prove the necessary condition about existence of optimal control for stochastic system by using traditional variational technique under the assumption that control domain is convex. We require that forward-backward stochastic differential equations (FBSDE) be fully coupled, and the control variable is allowed to enter both diffusion and jump coefficient. Moreover, we also require that the initial-terminal state be constrained. Finally, as an application to finance, we show an example of recursive consumption utility optimization problem to illustrate the practicability of our result.

1. Introduction

The stochastic optimal control problem is very important in control theory. The sufficient and necessary conditions for the optimal control, called the maximum principle, are one of the control topics. Since 1960s, Pontryagin gave the necessary maximum principle under the deterministic control system; a lot of work has been done on this topic. Especially in nearly 20 years, many important results have been obtained; see literatures [14]. One can refer to Yong and Zhou [5], Wu [6], or Peng and Wu [7], for a complete account on the subject of maximum principle and a complete list of references.

In recent years, motivated by studying the mathematical economics and mathematical finance, many scholars turned their sight on forward-backward stochastic control system (FBSCS in short). Initially, they studied the optimal conditions about the control system driven by Brownian motion and obtained some fundamental results in many literatures. Ji and Zhou [8] studied a kind of forward-backward stochastic control system where the forward state is constrained in a convex set at the terminal time, and a stochastic maximum principle is obtained. Liu et al. [9] considered one kind of linear quadratic optimal control with constraint for discrete-time stochastic systems with state and disturbance dependent noise, presenting a necessary condition under which the problem is well posed and a state feedback solution can be derived. Wu and Xu [10] obtained the maximum principle for fully coupled FBSCS with state constraints, in which the control domain needs to be convex and the diffusion coefficient does not contain control variables. Based on the results of Wu and Xu’s work in [10], Shi [11] studied a fully coupled forward-backward control system where the forward diffusion coefficient does not contain the control variable, but control domain is not necessarily convex. For the above-mentioned question, Meng [12] and Ji and Wei [13] have applied the terminal variation approach to obtain the maximum principle under other versions.

Considering the complexity of finance market, as a consequence, it becomes natural to investigate control problems for systems driven by one kind of Itô-Lévy processes which is introduced by Nualart and Shoutens [14] and detailedly described by Applebaum [15]. Many researches have been done to extend the stochastic maximum principle of stochastic differential equations (SDEs in short) involving some Lévy jumps. Motivated by risk minimization, Øksendal and Sulem [16] studied the partial coupled FBSCS which need control domain to be convex and obtained maximum principle. Shi and Wu [17] obtained both necessary and sufficient maximum principle for optimal control of stochastic system with random jumps consisting of forward-backward state variables. The control variable is allowed to enter both diffusion and jump coefficients. Based on this literature, Shi [18] proved the global result of maximum principle where the control domain is not assumed to be convex, and the control variable appears in both diffusion and jump coefficient of the forward equation. Zhang et al. [19] discussed the stochastic optimal control question of FBSDE driven by Teugels martingales and obtained the maximum principle under the assumption of convex control domain.

In many classical cases as well as recent studies of forward-backward stochastic systems, introducing the model to formulate the process of financial derivative products has been a valid method to solve questions. As application of stochastic control theory, the stochastic maximum principle is usually used to solve investment strategy, risk control, and recursive utility; see examples of the literature: Ji and Zhou [8], Nualart and Schoutens [14], Shi and Wu [17], and Aase [20]. Similarly, we also apply the maximum principle to study the problem of maximizing consumption utility with initial-terminal state restrained, which is also discussed by Øksendal and Sulem [21].

In this paper, we extend the result of Shi and Wu [17] to the case of fully coupled FBSCS, in which the control system is driven by Itô-Lévy process. At the same time, we demand that this forward-backward control system be constrained about initial-terminal state. We firstly use the traditional convex variational technique to prove the necessary condition about optimality. Then, using the result of this paper, we consider the problem of recursive consumption utility optimization problem with initial-terminal state constraints.

This paper is organized as follows: In Section 2, we formulate the control problem and list some preliminaries for fully coupled FBSCS. In Section 3, we establish variational equations about one kind of FBSCS with Itô-Lévy jumps in general form and then obtain variational inequality. In Section 4, we obtain the necessary condition of optimal control problem. In Section 5, we apply our result to test the application about the recursive utility problems.

2. Preliminaries and Notations

Let be a complete filtration space and be a filtration satisfying the usual conditions. On the above filtration space there exist two mutually independent stochastic processes:(1)A d-dimensional Brownian motion (2)A Poisson random measure on , where with the Borel -field : is the intensity of with the property that and is the compensator of , ; then   is a martingale for all satisfying .

Also we introduce the following notations: it is the transpose of a matrix. it is the inner product in it is the norm in it is the inner product in it is the inner product in Consider the following fully coupled forward-backward stochastic differential equation: where take value in , and We use the notations , , where is a given full-rank matrix. Make the following assumptions: where , and are given nonnegative constants with .

Lemma 1 (see [22]). Assume and hold; then there is a unique adapted solution , and satisfied (1).

Now we consider the following fully coupled FBSDE controlled system:where , , and is nonempty convex set, and mappings areLet , ; an element of is called an admissible control.

We define the following cost function: and the state variables of initial and terminal values satisfy the following constraint conditions: where

Problem 2. Find an admissible control , such thatWe also assume that

Remark 3. According to the conclusion of Lemma 1, for the given admissible controller , (6) has a unique adapted solution .

3. Variational Equations and Variational Inequality

Now we recall Ekeland’s variational principle.

Lemma 4 (Ekeland’s variational principle; see [23]). Let be a complete metric space and be a proper lower semicontinuous function bounded from below, if for every , there exist , such that ; then there exists , such that Define the following distance on , the space of admissible control; then is a complete metric space:Let be the optimal solution of problem, for ; define where is the trajectory of (6) corresponding to . And according to Ekeland’s variational principle, it is easy to get the following proposition.

Proposition 5. If then there exists , such that, note ,  ,  , due to the convexity of ,  for  , .
Let and be the trajectory of (6) corresponding to and , respectively; then
Consider the following variational equation: and according to assumption , one can verify (20) satisfying assumptions and . Then it is easy to get, for a given , the fact that there exists a unique adapted solution satisfying (20).

Proposition 6. Assume holds; then where the limit is in .

Proof. Let and the notations and denote and , respectively; then the equation (for simplicity, we omit the time sign )can be rewritten into the following simple form:SignBy applying Itô formula to , , and , we can prove that converges to in which is stated in the following part.That is,If , , we can get Let ; we can get , and from the unique solution of (6), we have which converges to in .
If , we can get Let ; we also can get which converges to in , and then from the unique solution of (6), we have which converge to .
Define , , , and ; thenSign where denotes , , and , respectively, andLet according to and the result of continuity: From the unique solution of (20) and the continuity, we have which converges to in as .

Proposition 7 (variational inequality). is the optimal control, and are the trajectory of (6) corresponding to . Assume condition holds; then there exist ,  , and , which are not all for 0, such that the following variational inequality holds: where are the solution of (20).

Proof. Based on (17), we can get Due to , we have Let and according to Proposition 6, one can getFrom the definition of and , we know that has convergence subsequence whose limitation is . Due to , , it is easy to get , , , and in . Let ; then variational inequality (36) can be obtained.

4. The Adjoint Equation and Maximum Principle

In this paper, we consider the following adjoint FBSDE of system (6):