Soit un espace probabilisé avec un processus de Wiener en dimension d (sur cet espace). Soit la filtration générée par , i.e. , et soit une variable aléatoire mesurable. Considérons l'EDSR donnée par:
Alors la g-espérance pour est donnée par . Notons que si est un vecteur de dimension m, alors (pour tout temps ) est un vecteur de dimension m et est une matrice de taille .
En fait l'espérance conditionnelle est donnée par et similairement à la définition formelle pour l'espérance conditionnelle il vient pour tout (où la fonction est la fonction indicatrice)[1].
Alors pour toute variable aléatoire ;\mathbb {R} ^{m})}
il existe une unique paire de processus -adaptés qui vérifient l'équation différentielle stochastique rétrograde[2].
En particulier, si vérifie également:
est continue en temps ()
pour tout
alors pour la condition terminale ;\mathbb {R} ^{m})}
il suit que les processus solution sont de carré intégrable. Ainsi est de carré intégrable pour tout temps [3].
1 2 Philippe Briand, François Coquet, Ying Hu, Jean Mémin et Shige Peng, «A Converse Comparison Theorem for BSDEs and Related Properties of g-Expectation», Electronic Communications in Probability, vol.5, no13, , p.101–117 (DOI10.1214/ecp.v5-1025, lire en ligne[PDF], consulté le )
↑ S. Peng, Stochastic Methods in Finance, vol.1856, coll.«Lecture Notes in Mathematics», , 165–138p. (ISBN978-3-540-22953-7, DOI10.1007/978-3-540-44644-6_4, lire en ligne[archive du ][PDF]), «Nonlinear Expectations, Nonlinear Evaluations and Risk Measures»