“…These assumptions in particular imply the following: - System () with conditions w ( x ,0) = ξ ( x ) , w ( x , t ) = f ( x , t ) x ∈ ∂ Ω is solvable for every ξ ∈ L 2 (Ω) and f ∈ L 2 ( ∂ Ω × (0, T )), and it turns out that w ∈ C ([0, T ]; L 2 (Ω)) × C 1 ([0, T ]; H − 1 (Ω)).
- Variations of the temperature propagate with finite speed (in every direction, like in the wave equation, see ).
- System () is controllable in the following sense: There exists a time T 0 such that for every η ∈ L 2 (Ω), there exists f ∈ L 2 ( ∂ Ω × (0, T 0 )) such that w ( T 0 ) = η (the initial condition is zero, and we assume w = f on ∂ Ω). See for the proof which uses both the regularity of the kernel, and the condition N (0) ≠ 0.
…”