types.backends.ConvergenceType
types.backends.ConvergenceType()SDE convergence type for numerical integration.
Types: - ‘strong’: Pathwise/strong convergence * Individual sample paths converge * E[|X_numerical - X_true|] → 0 * Needed for: Filtering, control synthesis, single trajectory accuracy * More expensive to achieve
- ‘weak’: Weak convergence
- Distributions/moments converge
- E[φ(X_numerical)] → E[φ(X_true)] for test functions φ
- Needed for: Monte Carlo, statistics, ensemble behavior
- Easier to achieve (higher order possible)
Order Comparison: - Euler-Maruyama: Strong order 0.5, weak order 1.0 - Milstein: Strong order 1.0 - SRA1: Weak order 2.0