Symmetrizing factor in the case of corank 1

(xournal 195)
Key idea to start reasoning:
Lemma
Given a closed 1-form ω on an open set URn, a vector field V is a symmetry of the Pfaffian system S({ω}) if and only if Vω is a first integral of S({ω}).

Proof
The function Vω is a first integral if and only if d(Vω)ω=0. Taking into account Cartan formula this is equivalent to

(LVωVdω)ω=0LVωω=0.

And this is true if and only if LVω=βω for some function β, i.e., V is a symmetry of the Pfaffian system

Pasted image 20221028073831.png

From here we can conclude several interesting facts, like those on @sherring1992geometric:

Proposition 1
Given a Frobenius integrable 1-form ω and a vector field XS({ω}) then a function f satisfies fX is a symmetry of S({ω}) (is a symmetrizing factor) if and only if μ=1fXω is an integrating factor of ω.

Proof
We know that there exist an integrating factor μ~, that is, a function such that μ~ω is closed. Taking into account that S({μ~ω})=S({ω}), and according to the Lemma above, fX is a symmetry of S({ω}) if and only if fXμ~ω is a first integral. Now observe that

fXμ~ω=μ~1fXω

and this is a first integral if and only if 1fXω is an integrating factor.

Proposition 2
Given a symmetry V, then 1/Vω is an integrating factor.

Proof
Take f=1 in Proposition 1.

Proposition 3
Given a Frobenius integrable 1-form, a smooth function μ is an integrating factor if there exists a symmetry V such that μ=1/Vω.

Proof
Take any X such that Xω0. Since μ is an integrating factor, by Proposition 1 f=1μXω is a symmetrizing factor for X, so V=fX is a symmetry. It is easy to check that

μ=1Vω.