Strong existence (source code)

= Strong existence

A <stochastic differential equation> has strong existence for specified coefficients and initial data if a <strong stochastic solution> can be constructed on every prescribed stochastic basis carrying the required initial variable and driving <Brownian motion>. This existence assertion is distinct from <pathwise uniqueness> and from a definition of the solution itself.