Strong symmetry

In the definition of a symmetry of a DE S we required that if Δ is the function such that S={Δ=0} and X(n) is the prolongation of (the generator of) the symmetry then

(1)X(n)(Δ)=0

for every p such that Δ(p)=0.

If equation (1) is satisfied for every p, the symmetry is called a strong symmetry.

There is a relation between usual symmetries and strong ones, the CDW theorem.