Frobenius Theorem (differential Topology)

Introduction

In its most elementary form, the theorem addresses the problem of finding a maximal set of independent solutions of a regular system of first-order linear homogeneous partial differential equations. Suppose that f_ki(x) are a collection of real-valued C1 functions on Rn, for i = 1, 2, ..., n, and k = 1, 2, ..., r, where r < n, such that the matrix (f_ki) has rank r. Consider the following system of partial differential equations for a real-valued C2 function u on Rn:

$\left. \begin{matrix} L_1u\ \stackrel{\mathrm{def}}{=}\ \sum_i f_1^i(x)\frac{\partial u}{\partial x^i} &= 0\\ L_2u\ \stackrel{\mathrm{def}}{=}\ \sum_i f_2^i(x)\frac{\partial u}{\partial x^i} &= 0\\ \dots&\\ L_ru\ \stackrel{\mathrm{def}}{=}\ \sum_i f_r^i(x)\frac{\partial u}{\partial x^i} &= 0 \end{matrix}\right\}.$ (1)

One seeks conditions on the existence of a collection of solutions u₁, ..., u_n−r such that the gradients

are linearly independent.

The Frobenius theorem asserts that this problem admits a solution locally if, and only if, the operators L_k satisfy a certain integrability condition known as involutivity. Specifically, they must satisfy relations of the form

for i, j = 1, 2,..., r, and all C2 functions u, and for some coefficients ck_ij(x) that are allowed to depend on x. In other words, the commutators must lie in the linear span of the L_k at every point. The involutivity condition is a generalization of the commutativity of partial derivatives. In fact, the strategy of proof of the Frobenius theorem is to form linear combinations among the operators L_i so that the resulting operators do commute, and then to show that there is a coordinate system y_i for which these are precisely the partial derivatives with respect to y₁, ..., y_r.

Read more about this topic: Frobenius Theorem (differential Topology)

Famous quotes containing the word introduction:

“Such is oftenest the young man’s introduction to the forest, and the most original part of himself. He goes thither at first as a hunter and fisher, until at last, if he has the seeds of a better life in him, he distinguishes his proper objects, as a poet or naturalist it may be, and leaves the gun and fish-pole behind. The mass of men are still and always young in this respect.”
—Henry David Thoreau (1817–1862)

“For better or worse, stepparenting is self-conscious parenting. You’re damned if you do, and damned if you don’t.”
—Anonymous Parent. Making It as a Stepparent, by Claire Berman, introduction (1980, repr. 1986)

“We used chamber-pots a good deal.... My mother ... loved to repeat: “When did the queen reign over China?” This whimsical and harmless scatological pun was my first introduction to the wonderful world of verbal transformations, and also a first perception that a joke need not be funny to give pleasure.”
—Angela Carter (1940–1992)

Frobenius Theorem (differential Topology) - Introduction

Famous quotes containing the word introduction: