Теорема Лере

Задача 1. Пусть заданы
f ∈ L²(0,T ; V'),
u₀ ∈ H.
Ищется такое u, что
u ∈ L²(0,T ; V) ∩ L^∞(0,T ; H),
(u',v)+ νa(u, v)+ b(u, u, v)=(f, v) ∀v ∈ V ∩ (Lⁿ(Ω))ⁿ ,
u(0) = u₀.
Теорема Лере:Существует решение u задачи 1 при произвольном конечном T > 0.