SLIDE 84 Presentation Weak solutions Open problems Sobolev spaces Approximation of TK α (t) Representation formula for TK α (t) Interior regularity Regular boundaries and traces Regularity up to the boundary
In infinite dimensions, let K = {x ∈ H : g(x) ≤ 1} with g as before, α = 0.
- Theorem. Assume that the function
h := −2 L0g
|Q1/2Dg|2 + Q1/2D2gQ1/2 · Q1/2Dg,Q1/2Dg |Q1/2Dg|4
is bounded from above in ∂K. Then for every λ > 0 and f ∈ L2(K,µ) the weak solution of
λϕ(x)−L0ϕ(x) = f(x), in K, ϕ(x) = 0,
belongs to W 2,2
0 (K,µ), and ϕW 2,2 (K,µ) ≤ CfL2(K,µ).
Alessandra Lunardi in collaboration with G. Da Prato Dirichlet problems for Ornstein-Uhlenbeck operators in subsets of Hilbert spaces