Frobenius theorem
フロベニウスの定理は、演算子 が対合性として知られるある可積分性条件を満たす場合に限り、この問題が局所的に解を持つと主張している 。 具体的には、次の式