En matemáticas , el teorema de Frobenius da las condiciones necesarias y suficientes para encontrar un conjunto máximo de soluciones independientes de un sistema indeterminado de ecuaciones diferenciales parciales lineales homogéneas de primer orden . En términos geométricos modernos , dada una familia de campos vectoriales , el teorema da las condiciones de integrabilidad necesarias y suficientes para la existencia de una foliación por variedades integrales máximas cuyos haces tangentes se extienden por los campos vectoriales dados. El teorema generaliza el teorema de existencia.para ecuaciones diferenciales ordinarias, lo que garantiza que un solo campo vectorial siempre da lugar a curvas integrales ; Frobenius proporciona condiciones de compatibilidad bajo las cuales las curvas integrales de r campos vectoriales se entrelazan en cuadrículas de coordenadas en variedades integrales r- dimensionales. El teorema es fundamental en topología diferencial y cálculo de variedades .
Introducción
En su forma más elemental, el teorema aborda el problema de encontrar un conjunto máximo de soluciones independientes de un sistema regular de ecuaciones diferenciales parciales homogéneas lineales de primer orden . Dejar
ser una colección de funciones C 1 , con r < n , y tal que la matriz ( f yo
k ) tiene rango r . Considere el siguiente sistema de ecuaciones diferenciales parciales para una función C 2 u : R n → R :
Se buscan condiciones sobre la existencia de una colección de soluciones u 1 , ..., u n - r tales que los gradientes ∇ u 1 , ..., ∇ u n - r sean linealmente independientes .
El teorema de Frobenius afirma que este problema admite una solución localmente [1] si, y solo si, los operadores L k satisfacen una cierta condición de integrabilidad conocida como involutividad . Específicamente, deben satisfacer relaciones de la forma
para 1 ≤ i , j ≤ r , y todas las funciones C 2 u , y para algunos coeficientes c k ij ( x ) que pueden depender de x . En otras palabras, los conmutadores [ L i , L j ] deben estar en el tramo lineal de L k en cada punto. La condición de involutividad es una generalización de la conmutatividad de las derivadas parciales. De hecho, la estrategia de demostración del teorema de Frobenius es formar combinaciones lineales entre los operadores L i para que los operadores resultantes conmuten, y luego mostrar que existe un sistema de coordenadas y i para el cual estas son precisamente las derivadas parciales con respecto ay 1 , ..., y r .
Del análisis a la geometría
Las soluciones para sistemas de ecuaciones indeterminados rara vez son únicas. Por ejemplo, el sistema de ecuaciones diferenciales
permite claramente múltiples soluciones. Sin embargo, estas soluciones todavía tienen suficiente estructura como para que puedan describirse completamente. La primera observación es que, incluso si f 1 y f 2 son dos soluciones diferentes, las superficies de nivel de f 1 y f 2 deben superponerse. De hecho, las superficies de nivel para este sistema son todos planos en R 3 de la forma x - y + z = C , para C una constante. La segunda observación es que, una vez que se conocen las superficies de nivel, todas las soluciones se pueden dar en términos de una función arbitraria. Dado que el valor de una solución f en una superficie plana es constante por definición, defina una función C ( t ) por:
Por el contrario, si se da una función C ( t ) , entonces cada función f dada por esta expresión es una solución de la ecuación original. Por tanto, debido a la existencia de una familia de superficies de nivel, las soluciones de la ecuación original están en correspondencia biunívoca con funciones arbitrarias de una variable.
El teorema de Frobenius permite establecer una correspondencia similar para el caso más general de soluciones de (1). Suponga que u 1 , ..., u n − r son soluciones del problema (1) que satisfacen la condición de independencia en los gradientes. Considere los conjuntos de niveles [2] de ( u 1 , ..., u n − r ) como funciones con valores en R n − r . Si v 1 , ..., v n − r es otra colección de soluciones, se puede demostrar (usando algo de álgebra lineal y el teorema del valor medio ) que tiene la misma familia de conjuntos de niveles pero con una elección de constantes posiblemente diferente para cada juego. Por lo tanto, aunque las soluciones independientes de (1) no son únicas, la ecuación (1) determina una familia única de conjuntos de niveles. Al igual que en el caso del ejemplo, las soluciones generales u de (1) están en correspondencia biunívoca con funciones (continuamente diferenciables) de la familia de conjuntos de niveles. [3]
Los conjuntos de niveles correspondientes a los conjuntos de soluciones independientes máximas de (1) se denominan variedades integrales porque las funciones sobre la colección de todas las variedades integrales corresponden en algún sentido a constantes de integración . Una vez que se conoce una de estas constantes de integración, también se conoce la solución correspondiente.
Teorema de Frobenius en lenguaje moderno
El teorema de Frobenius se puede reformular de manera más económica en el lenguaje moderno. La versión original del teorema de Frobenius se expresó en términos de sistemas de Pfaffian , que hoy pueden traducirse al lenguaje de las formas diferenciales . Una formulación alternativa, algo más intuitiva, utiliza campos vectoriales .
Formulación usando campos vectoriales
En la formulación del campo vectorial, el teorema establece que un subconjunto del haz tangente de una variedad es integrable (o involutivo) si y solo si surge de una foliación regular . En este contexto, el teorema de Frobenius relaciona la integrabilidad con la foliación; para enunciar el teorema, ambos conceptos deben estar claramente definidos.
Uno comienza observando que un campo vectorial uniforme arbitrario en un colector define una familia de curvas , sus curvas integrales (para intervalos ). Estas son las soluciones de, que es un sistema de ecuaciones diferenciales ordinarias de primer orden , cuya solubilidad está garantizada por el teorema de Picard-Lindelöf . Si el campo vectorial no es cero en ninguna parte, entonces define un subpaquete unidimensional del paquete tangente de , y las curvas integrales forman una foliación regular de . Por tanto, los subconjuntos unidimensionales siempre son integrables.
Si el subconjunto tiene una dimensión mayor que uno, se debe imponer una condición. Uno dice que un subpaquete del haz tangente es integrable (o involutivo ), si, para dos campos vectoriales cualesquiera y tomando valores en , el soporte de Lie toma valores en también. Esta noción de integrabilidad solo necesita definirse localmente; es decir, la existencia de los campos vectoriales y y su integrabilidad solo necesita definirse en subconjuntos de .
Existen varias definiciones de foliación . Aquí usamos lo siguiente:
Definición. Una foliación p -dimensional, clase C r de una variedad n- dimensional M es una descomposición de M en una unión de subvariedades conectadas disjuntas { L α } α∈ A , llamadas hojas de la foliación, con la siguiente propiedad: Cada punto en M tiene una vecindad U y un sistema de coordenadas locales de clase C r x = ( x 1 , ⋅⋅⋅, x n ): U → R n tal que para cada hoja L α , las componentes de U ∩ L α son descrito por las ecuaciones x p +1 = constante, ⋅⋅⋅, x n = constante. Una foliación se denota por= { L α } α∈ A . [4]
Trivialmente, cualquier foliación de define un subconjunto integrable, ya que si y es la hoja de la foliación que atraviesa luego es integrable. El teorema de Frobenius establece que lo contrario también es cierto:
Dadas las definiciones anteriores, el teorema de Frobenius establece que un subconjunto es integrable si y solo si el subpaquete surge de una foliación regular de .
Formulación de formas diferenciales
Sea U un conjunto abierto en una variedad M , Ω 1 ( U ) sea el espacio de formas 1 suaves y diferenciables en U , y F sea un submódulo de Ω 1 ( U ) de rango r , siendo el rango constante en valor más de U . El teorema de Frobenius establece que F es integrable si y solo si para cada p en U el tallo F p se genera mediante r formas diferenciales exactas .
Geométricamente, el teorema establece que un módulo integrable de 1- formas de rango r es lo mismo que una foliación codimensión-r . La correspondencia con la definición en términos de campos vectoriales dada en la introducción se deriva de la estrecha relación entre las formas diferenciales y las derivadas de Lie . El teorema de Frobenius es una de las herramientas básicas para el estudio de campos vectoriales y foliaciones.
Por tanto, hay dos formas del teorema: una que opera con distribuciones , es decir, subconjuntos suaves D del haz tangente TM ; y el otro que funciona con subhaces del anillo graduado Ω ( M ) de todas las formas en M . Estas dos formas están relacionadas por dualidad. Si D es una distribución tangente suave en M , entonces el aniquilador de D , I ( D ) consta de todas las formas (para cualquier ) tal que
para todos . El conjunto I ( D ) forma un subanillo y, de hecho, un ideal en Ω ( M ) . Además, usando la definición de la derivada exterior , se puede demostrar que I ( D ) es cerrado bajo diferenciación exterior (es un ideal diferencial ) si y solo si D es involutivo. En consecuencia, el teorema de Frobenius toma la forma equivalente de que I ( D ) es cerrado bajo diferenciación exterior si y solo si D es integrable.
Generalizaciones
El teorema se puede generalizar de diversas formas.
Dimensiones infinitas
Una generalización de dimensión infinita es la siguiente. [5] Let X y Y ser espacios de Banach , y A ⊂ X , B ⊂ Y un par de conjuntos abiertos . Dejar
ser una función continuamente diferenciable del producto cartesiano (que hereda una estructura diferenciable de su inclusión en X × Y ) en el espacio L ( X , Y ) de las transformaciones lineales continuas de X en Y . Un mapeo diferenciable u : A → B es una solución de la ecuación diferencial
Si
La ecuación (1) es completamente integrable si para cada, hay una vecindad U de x 0 tal que (1) tiene una solución única u ( x ) definida en U tal que u ( x 0 ) = y 0 .
Las condiciones de la Frobenius teorema dependen de si el subyacente campo es R o C . Si es R , entonces suponga que F es continuamente diferenciable. Si es C , entonces suponga que F es dos veces diferenciable de forma continua. Entonces (1) es completamente integrable en cada punto de A × B si y solo si
para todos s 1 , s 2 ∈ X . Aquí D 1 (resp. D 2 ) denota la derivada parcial con respecto a la primera (resp. Segunda) variable; el producto escalar denota la acción del operador lineal F ( x , y ) ∈ L ( X , Y ) , así como las acciones de los operadores D 1 F ( x , y ) ∈ L ( X , L ( X , Y )) y D 2 F ( x , y ) ∈ L ( Y , L ( X , Y )) .
Colectores Banach
La versión de dimensión infinita del teorema de Frobenius también se aplica a las variedades de Banach . [6] La declaración es esencialmente la misma que la versión de dimensión finita.
Sea M una variedad de Banach de clase al menos C 2 . Deje que E sea un subfibrado del paquete de la tangente de M . El paquete E es involutivo si, para cada punto p ∈ M y par de secciones X e Y de E definidas en una vecindad de p , el soporte de Lie de X e Y evaluado en p , se encuentra en E p :
Por otro lado, E es integrable si, para cada p ∈ M , hay una Inmerso subvariedad φ : N → M cuya imagen contiene p , tal que el diferencial de φ es un isomorfismo de TN con φ -1 E .
El teorema de Frobenius establece que un subconjunto E es integrable si y solo si es involutivo.
Formas holomorfas
El enunciado del teorema sigue siendo válido para las formas 1 holomórficas en variedades complejas : variedades sobre C con funciones de transición biholomórficas . [7]
Específicamente, si son r formas 1 holomórficas linealmente independientes en un conjunto abierto en C n tales que
para algún sistema de 1-formas holomórficas ψ j
yo, 1 ≤ i , j ≤ r , entonces existen funciones holomorfas f i j y g i tales que, en un dominio posiblemente más pequeño,
Este resultado se mantiene localmente en el mismo sentido que las otras versiones del teorema de Frobenius. En particular, el hecho de que se haya indicado para dominios en C n no es restrictivo.
Formularios de grado superior
La declaración no generalizar a formas de grado superior, aunque hay una serie de resultados parciales, como el teorema de Darboux y el teorema de Cartan-Kähler .
Historia
A pesar de ser nombrado por Ferdinand Georg Frobenius , el teorema fue probado por primera vez por Alfred Clebsch y Feodor Deahna . Deahna fue el primero en establecer las condiciones suficientes para el teorema y Clebsch desarrolló las condiciones necesarias . Frobenius es responsable de aplicar el teorema a los sistemas de Pfaffian , allanando así el camino para su uso en topología diferencial.
Aplicaciones
- En la mecánica clásica , la integrabilidad de ecuaciones de restricción de un sistema determina si el sistema es holonómico o no holonómica .
Ver también
- Condiciones de integrabilidad para sistemas diferenciales
- Teorema de enderezamiento de dominio
- Teorema de Newlander-Nirenberg
Notas
- ^ Aquí localmente significa dentro de subconjuntos abiertos suficientemente pequeños de R n . En adelante, cuando hablamos de solución, nos referimos a una solución local.
- ^ Un conjunto de niveles es un subconjunto de R n correspondiente al lugar geométrico de:
- ( u 1 , ..., u norte - r ) = ( do 1 , ..., do norte - r ) ,
- ^ La noción de una función continuamente diferenciable en una familia de conjuntos de niveles puede hacerse rigurosa mediante el teorema de la función implícita .
- ^ Lawson, H. Blaine (1974), "Foliations", Boletín de la American Mathematical Society , 80 (3): 369–418, ISSN 0040-9383
- ^ Dieudonné, J (1969). Fundamentos del análisis moderno . Prensa académica. Capítulo 10.9.
- ^ Lang, S. (1995). Variedades diferencial y riemanniana . Springer-Verlag. Capítulo VI: El teorema de Frobenius. ISBN 978-0-387-94338-1.
- ^ Kobayashi, Shoshichi; Nomizu, Katsumi (1969). Fundamentos de la geometría diferencial , vol. 2 . Wiley Interscience . Apéndice 8.
Referencias
- HB Lawson , The Qualitative Theory of Foliations , (1977) American Mathematical Society CBMS Series volumen 27 , AMS, Providence RI.
- Ralph Abraham y Jerrold E. Marsden , Fundamentos de la mecánica , (1978) Benjamin-Cummings, Londres ISBN 0-8053-0102-X Véase el teorema 2.2.26 .
- Clebsch, A. "Ueber die simultane Integration linearer partieller Differentialgleichungen", J. Reine. Angew. Matemáticas. (Crelle) 65 (1866) 257-268.
- Deahna, F. "Über die Bedingungen der Integrabilitat ....", J. Reine Angew. Matemáticas. 20 (1840) 340-350.
- Frobenius, G. "Problema Über das Pfaffsche", J. für Reine und Agnew. Matemáticas. , 82 (1877) 230-315.