One can always assume that u(0,x) = ut(0,x) = 0 for all x ∈ Σ by a suitable redefinition of u, F and g.