Forward–backward SDEs with random terminal time and applications to pricing special European-type options for a large investor

In this paper, we first discuss the solvability of coupled forward–backward stochastic differential equations (FBSDEs, for short) with random terminal time. We prove the existence and uniqueness of adapted solution to such FBSDEs under some natural assumptions. The method of proof adopted is to construct a contraction mapping related to the solutions of a sequence of backward SDEs. Our monotonicity-type assumptions are different from those in Hu and Peng (1995) [4], , Peng and Shi (2000) [11], and so on. As a corollary of our main result, the solvability of FBSDEs with a finite time horizon is discussed. Finally, the existence and uniqueness theorem of the solution to FBSDEs with a finite time horizon is applied to price special European-type options for a large investor.