E1か积分要素となるための条件は<V1,W>=0,wE又これは m に対する线
形の方程式系てある.その独立な方程式の最大个数を so(E0)とする.これを次々続け E正 1か积分要素てあるとし Ekか积分要素となるための条件は, Vkに対する次の"极方程式"
<Vk,W>=0, <Vi八Vk,dW>=0, Vi<k, VwEE
て与えられる.この方程式の独立なものの最大个数を so(E0)+s1(Eり+...+
Sk-1(Ek-l)とする,Sk-1(E←i)~O てある.
so(E0)+s1(Eり+...十Sk-1(Ek-l);;;n-kならはK次元の积分要素か存在す
るか,この不等式か成り立たないなら K次元の积分要素は