• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.931-940
• /
• 2009

Given a system of smooth 1-forms $\theta$ = ($\theta^1$,...,$\theta^s$) on a smooth manifold $M^m$, we give a necessary and sufficient condition for M to be foliated by integral manifolds of dimension n, n $\leq$ p := m - s, and construct an integrable supersystem ($\theta,\eta$) by finding additional 1-forms $\eta$ = ($\eta^1$,...,$\eta^{p-n}$). We also give a necessary and sufficient condition for M to be foliated by reduced submanifolds of dimension n, n $\geq$ p, and construct an integrable subsystem ($d\rho^1$,...,$d\rho^{m-n}$) by finding a system of first integrals $\rho=(\rho^1$,...,$\rho^{m-n})$. The special case n = p is the Frobenius theorem on involutivity.

• Journal of the Korean Mathematical Society
• /
• v.40 no.4
• /
• pp.695-708
• /
• 2003

We study the existence of solutions for overdetermined PDE systems that admit prolongation to a complete system. We reduce the problem to a Pfaffian system on a submanifold of the jet space of unknown functions and then express the integrability conditions in terms of the coefficients of the original system. As possible applications we present some local problems in CR geometry: determining the CR embeddibility into spheres and the existence of infinitesimal CR automorphisms.

• Journal of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.1087-1103
• /
• 2009

Given a system of s independent 1-forms on a smooth manifold M of dimension m, we study the existence of integral manifolds by means of various generalized versions of the Frobenius theorem. In particular, we present necessary and sufficient conditions for there to exist s'-parameter (s' < s) family of integral manifolds of dimension p := m-s, and a necessary and sufficient condition for there to exist integral manifolds of dimension p', p' $\leq$ p. We also present examples and applications to complex analysis in several variables.

• Journal of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.237-252
• /
• 2002

We study the compatibility conditions and the existence of solutions or overdetermined PDE systems that admit complete prolongation. For a complete system of order k there exists a submanifold of the ($\kappa$-1)st jet space of unknown functions that is the largest possible set on which the initial conditions of ($\kappa$-1)st order may take values. There exists a unique solution for any initial condition that belongs to this set if and only if the complete system satisfies the compatibility conditions on the initial data set. We prove by applying the Frobenius theorem to a Pfaffian differential system associated with the complete prolongation.

• Journal of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1001-1015
• /
• 2010

Let M be a $C^{\infty}$ real hypersurface in $\mathbb{C}^{n+1}$, $n\;{\geq}\;1$, locally given as the zero locus of a $C^{\infty}$ real valued function r that is defined on a neighborhood of the reference point $P\;{\in}\;M$. For each k = 1,..., n we present a necessary and sufficient condition for there to exist a complex manifold of dimension k through P that is contained in M, assuming the Levi form has rank n - k at P. The problem is to find an integral manifold of the real 1-form $i{\partial}r$ on M whose tangent bundle is invariant under the complex structure tensor J. We present generalized versions of the Frobenius theorem and make use of them to prove the existence of complex submanifolds.