A Frobenius-type theorem for singular Lipschitz distributions (Q1933637)

The main goal of the paper is to prove a Frobenius-type result for singular distributions generated by a family of locally Lipschitz continuous vector fields satisfying almost everywhere a quantitative finite-type condition. The main result of the paper, namely Theorem 1.1, is: Let \(\mathcal{P} :=\{Y_1, \dots, Y_q\}\) be a family of locally Lipschitz continuous vector fields in \(\mathbb R^{n}\). For any \(x\in\mathbb R\) and \(r>0\), define \(P_x^r:=\left\{\sum\limits^{q}_{j=1}c_j Y_{j,x}:| c| <r\right\}\), where \(Y_{j,x}=Y_j(x)\) is the evaluation at \(x\) of the vector field \(Y_j\). Write \(Y_j=:g_j\cdot \nabla\) and assume that for any bounded open set \(\Omega \subset\mathbb R^n\) there is \(C=C_\Omega >0\) such that \[ [Y_j,Y_k]_x:= (Y_jg_k(x)-Y_kg_j(x))\cdot \nabla \in P_x^{C_{\Omega}}\text{ for a.e. } x \in \Omega. \] Then for all \(x \in\mathbb R^n\) the orbit \(\mathcal{O}^x\) with topology \(\tau_d\) has the structure of a connected \(C^{1,1}\) immersed submanifold of \(\mathbb R^n\) with \(T_{y} \mathcal{O}^x=P_y\) for all \(y \in \mathcal{O}^x\).