Uniqueness for locally integrable solutions of overdetermined systems (Q1847783)

The article discusses under what conditions locally integrable solutions defined on a connected open subset \(\Omega\subset \mathbb{R}^n\) of a linear first-order overdetermined system with smooth complex-valued coefficients in one unknown function are unique. More precisely, the question is when the vanishing of a solution on a set of a positive measure implies that the solution vanishes identically. The first main theorem states that a sufficient condition is that \(\Omega\) can be decomposed into an almost everywhere minimal orbit of the system and a set of measure zero. The second main theorem proves the necessity of this condition even in more general situations where the system defines a structure which is not involutive.