 on the set of probability measures on the Skorohod space $\D$ that we will work with. In Section \[sec.2BSDE\], we introduce the generator of our 2BSDEJs and the assumptions under which we will be working, we recall from [@kpz3] the natural spaces and norms for the solution of a 2BSDEJ, and give the formulation of the 2BSDEJs. Section \[section.3\] is devoted to the proof of our existence result. Finally, in Section \[sec.PIDE\], we study the links between solutions to some fully-nonlinear PIDEs and 2BSDEJs. The Appendix is dedicated to the proof of some important technical results needed throughout the paper.

Preliminaries on probability measures {#section.1}
=====================================

The stochastic basis
--------------------

Let $\Omega:= \D([0,T],\mathbb R^d)$ be the space of càdlàg paths defined on $[0,T]$ with values in $\R^d$ and such that $w(0)=0$, equipped with the Skorohod topology, so that it is a complete, separable metric space (see [@bil] for instance).

We denote $B$ the canonical process, $\mathbb F:=\left\{\mathcal F_t\right\}_{0\leq t\leq T}$ the filtration generated by $B$, $\mathbb F^+:=\left\{\mathcal F_t^+\right\}_{0\leq t\leq T}$ the right limit of $\mathbb F$ and for any $\mathbb P$, $\overline{\mathcal F}_t^\mathbb P:=\mathcal F_t^+\vee\mathcal N^\mathbb P(\mathcal F_t^+)$ where $$\mathcal N^\mathbb P(\mathcal G):=\left\{E\in\Omega,\text{ there exists $\widetilde E\in\mathcal G$ such that $E\subset\widetilde E$ and $\mathbb P(\widetilde E)=0$}\right\}.$$

We then define as in [@stz] a local martingale measure $\mathbb P$ as a probability measure such that $B$ is a $\mathbb P$-local martingale. We then associate to the jumps of $B$ a counting measure $\mu_{B}$, which is a random measure on $\mathbb R^+\times E$ equipped with its Borel $\sigma$-field $\mathcal B(\R^+)\times\mathcal B(E)$ (where $E:=\mathbb
on the set of probability measures on the Skorohod space $ \D$ that we will work with. In Section \[sec.2BSDE\ ], we insert the generator of our 2BSDEJs and the assumption under which we will be working, we recall from [ @kpz3 ] the natural space and norms for the solution of a 2BSDEJ, and give the conceptualization of the 2BSDEJs. Section \[section.3\ ] is devoted to the proof of our being result. Finally, in Section \[sec. PIDE\ ], we learn the links between solutions to some in full - nonlinear PIDEs and 2BSDEJs. The Appendix is dedicate to the proof of some important technical results needed throughout the paper. 

 preliminary on probability measures { # section.1 } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 The stochastic basis 
 -------------------- 

 Let $ \Omega:= \D([0,T],\mathbb R^d)$ be the quad of càdlàg paths defined on $ [ 0,T]$ with values in $ \R^d$ and such that $ w(0)=0 $, equip with the Skorohod topology, so that it is a complete, separable metric space (witness [ @bil ] for instance). 

 We denote $ B$ the canonical process, $ \mathbb F:=\left\{\mathcal F_t\right\}_{0\leq t\leq T}$ the filtration generated by $ B$, $ \mathbb F^+:=\left\{\mathcal F_t^+\right\}_{0\leq t\leq T}$ the correct terminus ad quem of $ \mathbb F$ and for any $ \mathbb P$, $ \overline{\mathcal F}_t^\mathbb P:=\mathcal F_t^+\vee\mathcal N^\mathbb P(\mathcal F_t^+)$ where $ $ \mathcal N^\mathbb P(\mathcal G):=\left\{E\in\Omega,\text { there exists $ \widetilde E\in\mathcal G$ such that $ E\subset\widetilde E$ and $ \mathbb P(\widetilde E)=0$}\right\}.$$ 

 We then define as in [ @stz ] a local martingale measure $ \mathbb P$ as a probability measure such that $ B$ is a $ \mathbb P$-local martingale. We then associate to the jump of $ B$ a count measure $ \mu_{B}$, which is a random measure on $ \mathbb R^+\times E$ equip with its Borel $ \sigma$-field $ \mathcal B(\R^+)\times\mathcal B(E)$ (where $ E:=\mathbb
 on the set of probability oeasures on the Skorohmd spade $\D$ thag we will work with. In Sectiln \[sec.2BWDE\], we introduce the gdnerator lf our 2BWDEJw and the assumptiokf unscr whnci we will be wotking, we recdll from [@kpz3] tve nctural spaces and norms for the solueion of a 2BSDEJ, and givg the sormhlation of the 2BSDEJs. Section \[sectjon.3\] is vevoted to the lroof of our existence resklt. Vinally, in Section \[sec.PIDE\], we stuqt the links cetween solutions to skme fully-nonlinear PIDEs and 2BSAEJs. Che Appendiz us fgdicated to vhe prjof of some lkportatt techmical results keedev theoughout the paper.

Preniminaries on probwbility maaaures {#section.1}
=====================================

The wtichasjic bdsis
--------------------

Uwt $\Umefa:= \D([0,F],\mathbh R^v)$ be the spzce of càdlàg paths defined on $[0,T]$ wynn values in $\D^d$ and stch that $w(0)=0$, equipped with the Skorohod tmpomogy, so that it is a conplete, separable metrlc space (fee [@bil] for instance).

We denote $B$ the canonical prowess, $\jxthyn W:=\oevt\{\mathcal F_t\right\}_{0\leq t\leq T}$ the filtration gegsrstvd by $B$, $\mathbb F^+:=\lcft\{\mathcal F_t^+\right\}_{0\kee y\jeq T}$ the rigft limnf kf $\mathbb F$ and fog any $\mwthbb P$, $\overlige{\mayhcal F}_t^\mathbb P:=\mathcal F_t^+\vwe\mathcal N^\mcthvb P(\mathcal F_t^+)$ whexe $$\mathcal N^\oathnb P(\msthcal G):=\left\{E\in\Omega,\texc{ thers exists $\wifetilde E\jv\mathcal G$ such ghan $E\sgbset\widtgilde E$ and $\mathbf P(\widetiode Z)=0$}\right\}.$$

We them defige as in [@shz] a local martingale mewsure $\mdthbb P$ as a probability measure such thav $B$ is a $\mathnb P$-lmcal marcingalc. We then assocyate to the jukps of $Y$ a cojnting meaaure $\mu_{U}$, which is a random measusg on $\mathbb R^+\vimes E$ ezuipped qith itr Borel $\sigma$-firld $\mathccj B(\R^+)\rimes\mathcal B(E)$ (whcre $E:=\ozthbb
on the set of probability measures on space that we work with. In generator our 2BSDEJs and assumptions under which will be working, we recall from the natural spaces and norms for the solution of a 2BSDEJ, and give formulation of the 2BSDEJs. Section \[section.3\] is devoted to the proof of our result. in \[sec.PIDE\], study the links between solutions to some fully-nonlinear PIDEs and 2BSDEJs. The Appendix is dedicated to proof of some important technical results needed throughout paper. Preliminaries on probability {#section.1} ===================================== The stochastic basis Let \D([0,T],\mathbb R^d)$ the of paths defined on with values in $\R^d$ and such that $w(0)=0$, equipped with the Skorohod topology, so that it is complete, separable (see [@bil] instance). denote the canonical process, F_t\right\}_{0\leq t\leq T}$ the filtration generated F^+:=\left\{\mathcal F_t^+\right\}_{0\leq t\leq T}$ the right limit of F$ and any $\mathbb P$, $\overline{\mathcal F}_t^\mathbb P:=\mathcal N^\mathbb P(\mathcal F_t^+)$ where $$\mathcal N^\mathbb P(\mathcal G):=\left\{E\in\Omega,\text{ exists $\widetilde E\in\mathcal G$ such that $E\subset\widetilde E$ and $\mathbb P(\widetilde E)=0$}\right\}.$$ We then define [@stz] a local martingale $\mathbb P$ as probability such $B$ a $\mathbb martingale. We then associate to the jumps of $B$ a counting $\mu_{B}$, which is a random measure on $\mathbb R^+\times E$ its $\sigma$-field $\mathcal B(\R^+)\times\mathcal (where $E:=\mathbb
 on the set of probability measUres on the SKorohOd sPacE $\D$ That We wiLl work with. In SeCTion \[Sec.2BSDE\], we introduce the gEneraToR Of ouR 2bSdEJs aNd the asSUmPTIonS uNdEr wHiCH wE will Be wOrking, wE recall froM [@kpZ3] tHe natural spaCEs And norms foR thE solution of a 2bSDeJ, and gIvE thE FormuLatIon of The 2BSDejs. SectIon \[sectioN.3\] iS DevoteD To the prOOF oF our Existence result. FiNAlLY, in Section \[sec.PiDE\], we sTuDY tHE LinKs bEtween soluTiOns to SOme fullY-NoNLINeaR pIDEs and 2BSDEJS. The AppendiX Is dEdicatEd To tHE proof Of somE iMPorTant technicAl reSults needEd throUGhout thE Paper.

PrEliminAriEs oN proBAbIlIty MeASurES {#sEctIOn.1}
=====================================

THe stochaStIc Basis
--------------------

let $\OMEGA:= \d([0,T],\maThbB R^d)$ bE the sPace of càdlàg pAthS defINed On $[0,T]$ wiTh valUes iN $\R^D$ and sUch thaT $w(0)=0$, equIpPed with the SkoroHod tOpology, so ThaT iT is A cOmpleTE, separAblE meTric spaCe (see [@biL] For InSTANcE).

We denote $B$ the canonIcAL PrOcess, $\matHbb F:=\leFT\{\mAtHCal F_t\rigHt\}_{0\Leq T\leq t}$ THe filTratIOn GenerateD by $B$, $\maTHbB F^+:=\Left\{\matHcAl F_t^+\riGhT\}_{0\leQ t\lEq T}$ thE RighT limit Of $\mathbb f$ and fOR any $\mathbb P$, $\oveRLine{\mathcal F}_t^\MAtHBB P:=\MAthcAl F_T^+\vee\mathcal n^\matHBb P(\mAthcAL F_T^+)$ whERe $$\matHcal N^\MaTHbB p(\mathcal G):=\left\{E\in\OmeGa,\Text{ thEre exIsts $\widetilde e\in\mathcal g$ SUCh that $E\sUbseT\WiDEtilde E$ and $\mathBb P(\wiDetilde E)=0$}\riGHt\}.$$

We then DefinE as in [@stz] A local marTINgale meaSurE $\maThbB P$ aS A PrObability measURE sucH tHat $B$ is a $\MatHbb P$-locAl mArtIngAle. we Then assocIate to thE jUmPs Of $b$ a cOuntiNG measure $\Mu_{b}$, whIcH is A randOM measuRe on $\mAthbB R^+\TiMEs E$ EquippeD WiTH Its BOrEl $\SigmA$-fiElD $\mathCal B(\r^+)\TimEs\mathcAl B(E)$ (where $e:=\maTHbb
 on the set of probability  measureson th e S kor oh od s pace  $\D$ that wew illwork with. In Section\[sec .2 B SDE\ ] ,we in troduce th e gen er at orof ou r 2BS DEJ s and t he assumpt ion sunder whichw ewill be wo rki ng, we recal l f rom [@ kp z3] the n atu ral s pacesa nd nor ms for th es olutio n  of a 2 B S DE J, a nd give the formu l at i on of the 2BSD EJs. S ec t io n \[s ect ion.3\] is  d evote d  to the pr o o f  of our existence  result. Fi n all y, inSe cti o n \[se c.PID E\ ] , w e study the  lin ks betwee n solu t ions to some fu lly-no nli nea r PI D Es  a nd2B S DEJ s .The App endix is  d ed icate d to t h e  pro ofof s ome i mportant tech nic al r e sul ts ne ededthro ug houtthe pa per.
P reliminaries on  pro babilitymea su res  { #sect i on.1}=== === ======= ======= = === == = = = == ======

The stocha st i c  b asis
--- ------ - -- -- - -----

L et  $\ Omeg a : = \D( [0,T ] ,\ mathbb R ^d)$ b e  t he  spaceof  càdlà gpat hsdefin e d on  $[0,T ]$ withvalue s  in $\R^d$ and such that $w( 0 )= 0 $ ,e quip ped  with the S koro h od t opol o gy , s o  that  it i sa  c o mplete, separable m et ric sp ace ( see [@bil] fo r instance ) . 
We deno te $ B $t he canonical p roces s, $\mathb b  F:=\lef t\{\m athcal F _t\right\ } _ {0\leq t \le q T }$the f il tration gener a t ed b y$B$, $\ mat hbb F^+ :=\ lef t\{ \ma th cal F_t^+ \right\} _{ 0\ le qt\l eq T} $  the rig ht  li mi t o f $\m a thbb F $ and  for  a ny $\m athbb P $ ,$ \ over li ne {\ma thc al  F}_t ^\ma t hbb  P:=\ma thcal F_t ^+\ v ee\m at hc al N^\m athbb P(\math ca l F_t^+)$wh ere  $$\ma t h cal N^\m athbb P(\mathcal G):=\l e ft\{E\i n\O mega, \tex t{ thereexi sts $\ wid e tildeE\in\m athca lG$s u ch th a t  $ E\s ub set\wideti l d e E $ and  $ \mat hbb P(\ widetilde E)=0$}\r i ght \}.$$

We the n d efin e as  in [@ s tz]  a loc a l  martingale mea sure $\mat hb b  P $ as a pro b abi li ty meas ure suc h tha t  $B$ is  a $\math bb P$-loc al  mar t i nga le. We the n associ ate to th e  jump s  o f $B$  acounti ng  me asure  $\mu_ { B}$ , whi ch isarandom  meas ur e on $\m athbb R^+\times E$ equi pped w ith i tsBorel $\s igm a $-f ield $\ma thca l B(\R^+)\ tim es\ mathc alB (E)$(whe r e$E: = \math bb
 on_the set_of probability measures on_the Skorohod_space_$\D$ that_we_will work with._In Section \[sec.2BSDE\],_we introduce the generator_of our 2BSDEJs_and_the assumptions under which we will be working, we recall from [@kpz3] the natural_spaces_and norms_for_the_solution of a 2BSDEJ, and_give the formulation of the_2BSDEJs. Section_\[section.3\] is devoted to the proof of our_existence_result. Finally, in_Section \[sec.PIDE\], we study the links between solutions to_some fully-nonlinear PIDEs and 2BSDEJs. The_Appendix is dedicated_to_the_proof of some important_technical results needed throughout the paper.

Preliminaries_on probability measures {#section.1}
=====================================

The stochastic basis
--------------------

Let_$\Omega:= \D([0,T],\mathbb R^d)$ be the space of_càdlàg paths defined on $[0,T]$ with_values in $\R^d$ and such_that $w(0)=0$,_equipped with the Skorohod topology,_so that it_is a_complete, separable metric_space (see [@bil] for instance).

We denote_$B$ the canonical_process, $\mathbb F:=\left\{\mathcal F_t\right\}_{0\leq t\leq T}$_the_filtration generated by_$B$,_$\mathbb_F^+:=\left\{\mathcal F_t^+\right\}_{0\leq_t\leq T}$ the_right_limit of_$\mathbb_F$ and for any $\mathbb P$,_$\overline{\mathcal_F}_t^\mathbb P:=\mathcal F_t^+\vee\mathcal N^\mathbb P(\mathcal F_t^+)$ where_$$\mathcal N^\mathbb P(\mathcal G):=\left\{E\in\Omega,\text{_there_exists $\widetilde E\in\mathcal G$_such that $E\subset\widetilde E$ and_$\mathbb P(\widetilde E)=0$}\right\}.$$

We then define as_in [@stz]_a local_martingale measure $\mathbb P$ as a probability measure such that $B$_is a $\mathbb P$-local martingale. We_then associate to the_jumps of_$B$_a counting measure_$\mu_{B}$,_which is_a random measure on $\mathbb R^+\times E$_equipped with_its Borel $\sigma$-field $\mathcal B(\R^+)\times\mathcal B(E)$_(where $E:=\mathbb