• 대한수학회지
• /
• 제46권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.

• 대한수학회지
• /
• 제40권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.

• International Journal of Internet, Broadcasting and Communication
• /
• 제6권2호
• /
• pp.1-9
• /
• 2014

This paper presents a study on nonlinear time varying systems based on differential geometry. A brief introduction about controllability and involutivity will be presented. As an example, the exact feedback linearization and the approximate feedback linearization are used in order to show some application examples.

• 대한수학회보
• /
• 제46권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.