On a closed manifold M, let P(f)=0 be a linear overdetermined elliptic smooth PDE of 2nd order.(For simplicity, let's assume it is for a real-valued function f.) If a solution f is zero on an open subset, then is f zero on the whole M?
If not in general, what would be conditions for it to be true? Also please recommend some references. Thanks a lot!