Using Lyapunov Functions in Proofs of Existence of Solutions to Stochastic Equations

The method of Lyapunov functions is used to prove new existence theorems for stochastic equations in infinite dimensions. Existence of strong and generalized solutions is proved. Martingale solutions are discussed. Examples of application of the theorems are described. One of them is the stochastic equation of Navier–Stokes type.