We establish a connection between the strong solution to the spatially periodic Navier-Stokes equations and a solution to a system of forward-backward stochastic differential equations (FBSDEs) on the group of volume-preserving diffeomorphisms of a flat torus. We construct representations of the strong solution to the Navier-Stokes equations in terms of diffusion processes.

In this article, we introduce a backward method to model stochastic gene expression and protein-level dynamics. The protein amount is regarded as a diffusion process and is described by a backward stochastic differential equation (BSDE). Unlike many other SDE techniques proposed in the literature, the BSDE method is backward in time; that is, instead of initial conditions it requires the specification of end-point ("final") conditions, in addition to the model parametrization. To validate our approach we employ Gillespie's stochastic simulation algorithm (SSA) to generate (forward) benchmark data, according to predefined gene network models. Numerical simulations show that the BSDE method is able to correctly infer the protein-level distributions that preceded a known final condition, obtained originally from the forward SSA. This makes the BSDE method a powerful systems biology tool for time-reversed simulations, allowing, for example, the assessment of the biological conditions (e.g., protein concentrations) that preceded an experimentally measured event of interest (e.g., mitosis, apoptosis, etc.).

We obtain an existence and uniqueness theorem for fully coupled forward-backward SDEs (FBSDEs) with jumps via the classical solution to the associated quasilinear parabolic partial integro-differential equation (PIDE), and provide the explicit form of the FBSDE solution. Moreover, we embed the associated PIDE into a suitable class of non-local quasilinear parabolic PDEs which allows us to extend the methodology of Ladyzhenskaya et al [8], originally developed for traditional PDEs, to non-local PDEs of this class. Namely, we obtain the existence and uniqueness of a classical solution to both the Cauchy problem and the initial-boundary value problem for non-local quasilinear parabolic PDEs.

We obtain upper and lower Gaussian density estimates for the laws of each component of the solution to a one‐dimensional fully coupled forward‐backward SDE. Our approach relies on the link between FBSDEs and quasilinear parabolic PDEs, and is fully based on the use of classical results on PDEs rather than on manipulation of FBSDEs, compared to other papers on this topic. This essentially simplifies the analysis.