Equation Icon  u (t,x )∗H (t,x)P0 (t,x, s)u (t,x ) ≤ 0, (t,x) ∈ 𝒯 , (5.90 )