Home Doubly reflected generalized BSDEs with jumps and an obstacle problem of parabolic IPDEs with nonlinear Neumann boundary conditions
Article
Licensed
Unlicensed Requires Authentication

Doubly reflected generalized BSDEs with jumps and an obstacle problem of parabolic IPDEs with nonlinear Neumann boundary conditions

  • Mohammed Elhachemy ORCID logo EMAIL logo and Mohamed El Otmani ORCID logo
Published/Copyright: February 28, 2024

Abstract

A one-dimensional generalized backward stochastic differential equation with jumps and two barriers is the main objective of this paper. When the generators are monotone and the barriers are right continuous with left limits and completely separated, we prove the existence and uniqueness of a solution. As in application, we provide a probabilistic interpretation of a solution of a double obstacle problem of second-order parabolic integral-partial differential equations with nonlinear Neumann boundary conditions.

MSC 2020: 60H05; 60H10; 60H30; 35D40; 35R09

A Appendix

We consider the following generalized BSDE with jumps:

(A.1) { (i) Y S μ 2 , Z M μ 2 , d and V L μ 2 , (ii) Y t = ξ + t T f ( s , Y s , Z s , V s ) d s + t T g ( s , Y s ) d A s t T Z s d W s t T E V s ( e ) N ̃ ( d s , d e ) .

It is important to highlight that the uniqueness and existence of the solution for this generalized BSDE were ensured by [29, Theorem 55.2, p. 214]. In this appendix, we are going to establish the link between the solution of (A.1) and an IPDE with nonlinear Neumann boundary conditions. Initially, a comparison result is required in this context. However, it is worth noting that the results provided in [13, Theorems 2 and 3] remain applicable even in this particular case.

Now, taking into account the reflected SDE (4.2), for each t [ 0 , T ] , we consider the following Markovian generalized BSDE:

{ (i) Y t , x S μ 2 , Z t , x M μ 2 , d , V t , x L μ 2 , (ii) Y s t , x = H ( X T t , x ) + s T f ( r , X r t , x , Y r t , x , Z r t , x , V r t , x ) d r + s T g ( r , X r t , x , Y r t , x ) d A r t , x s T Z r t , x d W r s T E V r t , x ( e ) N ̃ ( d r , d e ) , t s T .

Next, let v = v ( t , x ) denote the solution of the following associated IPDE with nonlinear Neumann boundary condition:

(A.2) { v t L v f ( t , x , v , ( v σ ) , B v ) = 0 for all ( t , x ) [ 0 , T ] × G , v ( T , x ) = H ( x ) for all x G , v n + g ( t , x , v ) = 0 for all x G ,

where ℒ, ℬ, n , 𝑓, 𝑔 and 𝐻 are the same as defined in (4.6), (4.7) and Assumption 3.

Subsequently, as in Lemma 4, it is straightforward to demonstrate that the deterministic function defined by

(A.3) v ( t , x ) = Y t t , x

belongs to Π g c . Presently, let us concentrate on proving that 𝑣 is a unique viscosity solution of (A.2). Then we have the following theorem.

Theorem 4

Assume that Assumptions 15 hold. Then the deterministic function defined in (A.3) is a continuous viscosity solution of (A.2) (in the sense of Definition 2). Moreover, if, for each r > 0 , there exists a continuous function m r : R + R + , m r ( 0 ) = 0 , such that | f ( t , x , y , z , q ) f ( t , x , y , z , q ) | m r ( | x x | ( 1 + | z | ) ) , then the solution v ( t , x ) is unique in the class of function of Π g c .

Proof

We will prove only the existence; the claim of uniqueness can be found in [22, Theorem 4.7, p. 48]. Initially, let us demonstrate that 𝑣 is a viscosity subsolution of (A.2). A similar argument will establish its role as a viscosity supersolution of (A.2). Let φ C 1 , 2 ( [ 0 , T ] × G ) and ( t 0 , x 0 ) [ 0 , T ] × G such that φ ( t 0 , x 0 ) = v ( t 0 , x 0 ) and φ ( t , x ) v ( t , x ) for all ( t , x ) [ 0 , T ] × G ̄ .

Step 1. Suppose that x 0 G and that

φ t ( t 0 , x 0 ) L φ ( t 0 , x 0 ) f ( t 0 , x 0 , v ( t 0 , x 0 ) , ( φ σ ) ( t 0 , x 0 ) , B φ ( t 0 , x 0 ) ) > 0 ,

and we will find a contradiction. It follows from the continuity of 𝑓, 𝑔, 𝑏, 𝜎, 𝑐 and 𝜑 that there exist ε > 0 and η ε > 0 such that, for all ( t , x ) , t 0 t t 0 + η ε and { x : | x x 0 | η ε } G , we have v ( t , x ) ( t , x ) + ε and

(A.4) φ t ( t , x ) L φ ( t , x ) f ( t , x , v ( t , x ) , ( φ σ ) ( t , x ) , B φ ( t , x ) ) ε .

Define

(A.5) τ = inf { s t 0 : | X s t 0 , x 0 x 0 | > η ε } ( t 0 + η ε ) .

Then, for all s [ t 0 , τ ] , we have

Y s t 0 , x 0 = Y τ t 0 , x 0 + s τ f ( r , X r t 0 , x 0 , Y r t 0 , x 0 , Z r t 0 , x 0 , V r t 0 , x 0 ) d r s τ Z r t 0 , x 0 d W r s τ E V r t 0 , x 0 ( e ) N ̃ ( d r , d e ) .

On the other hand, applying Itô’s formula to φ ( s , X s t 0 , x 0 ) yields that

φ ( τ , X τ t 0 , x 0 ) = φ ( s , X s t 0 , x 0 ) + s τ φ r ( r , X r t 0 , x 0 ) d r + s τ φ ( r , X r t 0 , x 0 ) d X r t 0 , x 0 + 1 2 s τ D x 2 φ ( r , X r t 0 , x 0 ) ( σ σ T ) ( X r t 0 , x 0 ) d r + s τ E [ φ ( r , X r t 0 , x 0 + c ( X r t 0 , x 0 , e ) ) φ ( r , X r t 0 , x 0 ) φ ( r , X r t 0 , x 0 ) c ( X r t 0 , x 0 , e ) ] N ( d s , d e ) = φ ( s , X s t 0 , x 0 ) + s τ [ φ r ( r , X r t 0 , x 0 ) + φ ( r , X r t 0 , x 0 ) b ( X r t 0 , x 0 ) + 1 2 D x 2 φ ( r , X r t 0 , x 0 ) ( σ σ T ) ( X r t 0 , x 0 ) ] d r + s τ φ ( r , X r t 0 , x 0 ) σ ( X r t 0 , x 0 ) d W r + s τ E [ φ ( r , X r t 0 , x 0 + c ( X r t 0 , x 0 , e ) ) φ ( r , X r t 0 , x 0 ) ] N ̃ ( d s , d e ) + s τ E [ φ ( r , X r t 0 , x 0 + c ( X r t 0 , x 0 , e ) ) φ ( r , X r t 0 , x 0 ) φ ( r , X r t 0 , x 0 ) c ( X r t 0 , x 0 , e ) ] λ ( d e ) d r .

Then

φ ( s , X s t 0 , x 0 ) = φ ( τ , X τ t 0 , x 0 ) s τ [ φ r + L φ ] ( r , X r t 0 , x 0 ) d r s τ φ ( r , X r t 0 , x 0 ) σ ( X r t 0 , x 0 ) d W r s τ E [ φ ( r , X r t 0 , x 0 + c ( X r t 0 , x 0 , e ) ) φ ( r , X r t 0 , x 0 ) ] N ̃ ( d s , d e ) , t 0 s τ .

Now, by assumption (A.4), we have

[ φ s + L φ ] ( s , X s t 0 , x 0 ) f ( s , X s t 0 , x 0 , φ ( s , X s t 0 , x 0 ) , ( φ σ ) ( s , X s t 0 , x 0 ) , B φ ( s , X s t 0 , x 0 ) ) ε .

Also, φ ( τ , X τ t 0 , x 0 ) v ( τ , X τ t 0 , x 0 ) = Y τ t 0 , x 0 . We deduce with the help of [13, Theorem 3] that

φ ( t 0 , x 0 ) > φ ( t 0 , X t 0 t 0 , x 0 ) ε ( τ t 0 ) v ( t 0 , x 0 ) ,

which contradicts our assumption.

Step 2. Now suppose that x 0 G and that

[ φ t ( t 0 , x 0 ) L φ ( t 0 , x 0 ) f ( t 0 , x 0 , v ( t 0 , x 0 ) , ( φ σ ) ( t 0 , x 0 ) , B φ ( t 0 , x 0 ) ) ] [ φ n ( t 0 , x 0 ) g ( t 0 , x 0 , φ ( t 0 , x 0 ) ) ] > 0 ,

and we will find a contradiction. It follows from the continuity of 𝑓, 𝑔, 𝑏, 𝜎, 𝑐 and 𝜑 that there exist ε > 0 and η ε > 0 such that, for all ( t , x ) , t 0 t t 0 + η ε and { x : | x x 0 | η ε } , we have

(A.6) [ φ t ( t , x ) L φ ( t , x ) f ( t , x , v ( t , x ) , ( φ σ ) ( t , x ) , B φ ( t , x ) ) ] [ φ n ( t , x ) g ( t , x , φ ( t , x ) ) ] ε .

Let 𝜏 the stopping time defined as above in (A.5) and note that, for all s [ t 0 , τ ] , we have

Y s t 0 , x 0 = Y τ t 0 , x 0 + s τ f ( r , X r t 0 , x 0 , Y r t 0 , x 0 , Z r t 0 , x 0 , V r t 0 , x 0 ) d r + s τ g ( r , X r t 0 , x 0 , Y r t 0 , x 0 ) d A r t 0 , x 0 s τ Z r t 0 , x 0 d W r s τ E V r t 0 , x 0 ( e ) N ̃ ( d r , d e ) .

On the other hand, applying Itô’s formula to φ ( s , X s t 0 , x 0 ) , we end up with

φ ( s , X s t 0 , x 0 ) = φ ( τ , X τ t 0 , x 0 ) s τ [ φ r + L φ ] ( r , X r t 0 , x 0 ) d r + s τ φ n ( r , X r t 0 , x 0 ) d A r t 0 , x 0 s τ φ ( r , X r t 0 , x 0 ) σ ( X r t 0 , x 0 ) d W r s τ E [ φ ( r , X r t 0 , x 0 + c ( X r t 0 , x 0 , e ) ) φ ( r , X r t 0 , x 0 ) ] N ̃ ( d s , d e ) , t 0 s τ .

Now, by assumption (A.6), we have

( [ φ s + L φ ] ( s , X s t 0 , x 0 ) f ( s , X s t 0 , x 0 , φ ( s , X s t 0 , x 0 ) , ( φ σ ) ( s , X s t 0 , x 0 ) , B φ ( s , X s t 0 , x 0 ) ) ) [ φ n ( s , X s t 0 , x 0 ) g ( s , X s t 0 , x 0 , φ ( s , X s t 0 , x 0 ) ) ] ε .

Also, φ ( τ , X τ t 0 , x 0 ) v ( τ , X τ t 0 , x 0 ) = Y τ t 0 , x 0 . We deduce with the help of [13, Theorem 3] that

φ ( t 0 , x 0 ) > φ ( t 0 , X t 0 t 0 , x 0 ) ε ( τ t 0 ) Y t 0 t 0 , x 0 = v ( t 0 , x 0 ) ,

which leads to a contradiction. ∎

  1. Communicated by: Vyacheslav L. Girko

References

[1] G. Barles, R. Buckdahn and E. Pardoux, Backward stochastic differential equations and integral-partial differential equations, Stoch. Stoch. Rep. 60 (1997), no. 1–2, 57–83. 10.1080/17442509708834099Search in Google Scholar

[2] K. L. Chung, A Course in Probability Theory, 3rd ed., Academic Press, San Diego, 2001. Search in Google Scholar

[3] M. G. Crandall, H. Ishii and P.-L. Lions, User’s guide to viscosity solutions of second order partial differential equations, Bull. Amer. Math. Soc. (N.S.) 27 (1992), no. 1, 1–67. 10.1090/S0273-0979-1992-00266-5Search in Google Scholar

[4] J. Cvitanić and I. Karatzas, Backward stochastic differential equations with reflection and Dynkin games, Ann. Probab. 24 (1996), no. 4, 2024–2056. 10.1214/aop/1041903216Search in Google Scholar

[5] R. W. R. Darling and E. Pardoux, Backwards SDE with random terminal time and applications to semilinear elliptic PDE, Ann. Probab. 25 (1997), no. 3, 1135–1159. 10.1214/aop/1024404508Search in Google Scholar

[6] C. Dellacherie and P.-A. Meyer, Probabilités et potentiel, Hermann, Paris, 1975. Search in Google Scholar

[7] L. Delong, Backward Stochastic Differential Equations with Jumps and Their Actuarial and Financial Applications, Springer, London, 2013. 10.1007/978-1-4471-5331-3Search in Google Scholar

[8] N. El Karoui, C. Kapoudjian, E. Pardoux, S. Peng and M. C. Quenez, Reflected solutions of backward SDE’s, and related obstacle problems for PDE’s, Ann. Probab. 25 (1997), no. 2, 702–737. 10.1214/aop/1024404416Search in Google Scholar

[9] N. El Karoui, S. Peng and M. C. Quenez, Backward stochastic differential equations in finance, Math. Finance 7 (1997), no. 1, 1–71. 10.1111/1467-9965.00022Search in Google Scholar

[10] M. El Otmani, Generalized BSDE driven by a Lévy process, J. Appl. Math. Stoch. Anal. 2006 (2006), Article ID 85407. 10.1155/JAMSA/2006/85407Search in Google Scholar

[11] M. El Otmani and N. Mrhardy, Generalized BSDE with two reflecting barriers, Random Oper. Stoch. Equ. 16 (2008), no. 4, 357–382. 10.1515/ROSE.2008.020Search in Google Scholar

[12] M. Elhachemy and M. El Otmani, Reflected generalized BSDE with jumps under stochastic conditions and an obstacle problem for integral-partial differential equations with nonlinear Neumann boundary conditions, J. Integral Equations Appl. 35 (2023), no. 3, 311–338. 10.1216/jie.2023.35.311Search in Google Scholar

[13] M. Elhachemy and M. El Otmani, Reflected generalized discontinuous BSDEs with RCLL barrier and an obstacle problem of IPDE with nonlinear Neumann boundary conditions, Mod. Stoch. Theory Appl. 10 (2023), no. 1, 77–110. 10.15559/22-VMSTA218Search in Google Scholar

[14] T. Fujiwara and H. Kunita, Stochastic differential equations of jump type and Lévy processes in diffeomorphisms group, J. Math. Kyoto Univ. 25 (1985), no. 1, 71–106. 10.1215/kjm/1250521160Search in Google Scholar

[15] S. Hamadène and M. Hassani, BSDEs with two reflecting barriers: The general result, Probab. Theory Related Fields 132 (2005), no. 2, 237–264. 10.1007/s00440-004-0395-2Search in Google Scholar

[16] S. Hamadène and M. Hassani, BSDEs with two reflecting barriers driven by a Brownian and a Poisson noise and related Dynkin game, Electron. J. Probab. 11 (2006), 121–145. 10.1214/EJP.v11-303Search in Google Scholar

[17] S. Hamadène, M. Hassani and Y. Ouknine, Backward SDEs with two RCLL reflecting barriers without Mokobodski’s hypothesis, Bull. Sci. Math. 134 (2010), no. 8, 874–899. 10.1016/j.bulsci.2010.03.001Search in Google Scholar

[18] S. Hamadene and J.-P. Lepeltier, Zero-sum stochastic differential games and backward equations, Systems Control Lett. 24 (1995), no. 4, 259–263. 10.1016/0167-6911(94)00011-JSearch in Google Scholar

[19] S. Hamadène and J.-P. Lepeltier, Reflected BSDEs and mixed game problem, Stochastic Process. Appl. 85 (2000), no. 2, 177–188. 10.1016/S0304-4149(99)00072-1Search in Google Scholar

[20] S. Hamadène and M.-A. Morlais, Viscosity solutions for second order integro-differential equations without monotonicity condition: The probabilistic approach, Stochastics 88 (2016), no. 4, 632–649. 10.1080/17442508.2015.1110155Search in Google Scholar

[21] S. Hamadène and H. Wang, BSDEs with two RCLL reflecting obstacles driven by Brownian motion and Poisson measure and a related mixed zero-sum game, Stochastic Process. Appl. 119 (2009), no. 9, 2881–2912. 10.1016/j.spa.2009.03.004Search in Google Scholar

[22] N. Harraj, Y. Ouknine and I. Turpin, Double-barriers–reflected BSDEs with jumps and viscosity solutions of parabolic integrodifferential PDEs, J. Appl. Math. Stoch. Anal. 2005 (2005), no. 1, 37–53. 10.1155/JAMSA.2005.37Search in Google Scholar

[23] J. Jacod and A. N. Shiryaev, Limit Theorems for Stochastic Processes, Grundlehren Math. Wiss. 288, Springer, Berlin, 1987. 10.1007/978-3-662-02514-7_6Search in Google Scholar

[24] K. Kamizono and H. Morimoto, On a variational inequality associated with a stopping game combined with a control, Stoch. Stoch. Rep. 73 (2002), no. 1–2, 99–123. 10.1080/10451120212867Search in Google Scholar

[25] W. Łaukajtys and L. Słomiński, Penalization methods for reflecting stochastic differential equations with jumps, Stoch. Stoch. Rep. 75 (2003), no. 5, 275–293. 10.1080/1045112031000155687Search in Google Scholar

[26] J.-P. Lepeltier and J. San Martín, Backward SDEs with two barriers and continuous coefficient: An existence result, J. Appl. Probab. 41 (2004), no. 1, 162–175. 10.1239/jap/1077134675Search in Google Scholar

[27] M. N’zi and Y. Ouknine, Probabilistic interpretation for integral-partial differential equations with subdifferential operator, Random Oper. Stoch. Equ. 9 (2001), no. 1, 87–101. 10.1515/rose.2001.9.1.87Search in Google Scholar

[28] B. Øksendal and A. Sulem, Applied Stochastic Control of Jump Diffusions, Universitext, Springer, Cham, 2019. 10.1007/978-3-030-02781-0Search in Google Scholar

[29] E. Pardoux, Generalized discontinuous backward stochastic differential equations, Backward Stochastic Differential Equations (Paris 1995–1996), Pitman Res. Notes Math. Ser. 364, Longman, Harlow (1997), 207–219. Search in Google Scholar

[30] E. Pardoux and S. Peng, Adapted solution of a backward stochastic differential equation, Systems Control Lett. 14 (1990), 55–61. 10.1016/0167-6911(90)90082-6Search in Google Scholar

[31] E. Pardoux and S. Peng, Backward stochastic differential equations and quasilinear parabolic partial differential equations, Stochastic Partial Differential Equations and Their Applications (Charlotte 1991), Lect. Notes Control Inf. Sci. 176, Springer, Berlin (1992), 200–217. 10.1007/BFb0007334Search in Google Scholar

[32] E. Pardoux and A. Răşcanu, Continuity of the Feynman–Kac formula for a generalized parabolic equation, Stochastics 89 (2017), no. 5, 726–752. 10.1080/17442508.2016.1276911Search in Google Scholar

[33] E. Pardoux and S. Tang, Forward-backward stochastic differential equations and quasilinear parabolic PDEs, Probab. Theory Related Fields 114 (1999), no. 2, 123–150. 10.1007/s004409970001Search in Google Scholar

[34] E. Pardoux and S. Zhang, Generalized BSDEs and nonlinear Neumann boundary value problems, Probab. Theory Related Fields 110 (1998), no. 4, 535–558. 10.1007/s004400050158Search in Google Scholar

[35] S. G. Peng, Probabilistic interpretation for systems of quasilinear parabolic partial differential equations, Stoch. Stoch. Rep. 37 (1991), no. 1–2, 61–74. 10.1080/17442509108833727Search in Google Scholar

[36] P. E. Protter, Stochastic Integration and Differential Equations, 2nd ed., Appl. Math. (New York) 21, Springer, Berlin, 2004. Search in Google Scholar

[37] Y. Ren and M. El Otmani, Generalized reflected BSDEs driven by a Lévy process and an obstacle problem for PDIEs with a nonlinear Neumann boundary condition, J. Comput. Appl. Math. 233 (2010), no. 8, 2027–2043. 10.1016/j.cam.2009.09.037Search in Google Scholar

[38] Y. Ren and N. Xia, Generalized reflected BSDE and an obstacle problem for PDEs with a nonlinear Neumann boundary condition, Stoch. Anal. Appl. 24 (2006), no. 5, 1013–1033. 10.1080/07362990600870454Search in Google Scholar

[39] S. Rong, On solutions of backward stochastic differential equations with jumps and applications, Stochastic Process. Appl. 66 (1997), no. 2, 209–236. 10.1016/S0304-4149(96)00120-2Search in Google Scholar

[40] S. J. Tang and X. J. Li, Necessary conditions for optimal control of stochastic systems with random jumps, SIAM J. Control Optim. 32 (1994), no. 5, 1447–1475. 10.1137/S0363012992233858Search in Google Scholar

[41] P. Tankov, Financial Modelling with Jump Processes, Chapman and Hall/CRC, New York, 2003. 10.1201/9780203485217Search in Google Scholar

[42] K. Yosida, Functional Analysis, 6th ed., Grundlehren Math. Wiss. 123, Springer, Berlin, 1980. Search in Google Scholar

Received: 2023-02-02
Accepted: 2024-01-14
Published Online: 2024-02-28
Published in Print: 2024-06-01

© 2024 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 3.10.2025 from https://www.degruyterbrill.com/document/doi/10.1515/rose-2024-2002/html
Scroll to top button