Haz de jets
En topología diferencial, un haz de jets es una construcción que genera un nuevo fibrado diferenciable de un haz dado de fibras suaves. Hace posible escribir ecuaciones diferenciales en secciones de un haz de fibras en una forma invariante. Los jets también se pueden ver como las versiones de la serie de Taylor libres de coordenadas.

Históricamente, los haces de jets se atribuyen a Ehresmann, y fueron un avance en el método (prolongación) de Élie Cartan, de tratar geométricamente con derivadas sucesivas, al imponer condiciones diferenciales a las variables formales recientemente introducidas. Los haces de jets a veces se llaman espráis, aunque los espráis por lo general se refieren más específicamente al campo vectorial asociado inducido en el haz correspondiente (por ejemplo, el espray geodésico en variedades de Finsler).

Más recientemente, los haces de jets han aparecido como una forma concisa para describir los fenómenos asociados con las aplicaciones de derivadas, en particular las asociadas con el cálculo de variaciones. En consecuencia, ahora se reconoce que el haz de jets es el dominio correcto para la teoría de campo covariante geométrica clásica, y se realiza mucho trabajo en las formulaciones de campos en la relatividad general que utilizan este enfoque.

Jets

Supóngase que M es una variedad m-dimensional y que (E, π, M) es un fibrado. Para p ∈ M, sea Γ(p) el conjunto de todas las secciones locales cuyo dominio contiene p. Se define  como una entidad multi indexada no ordenada (una m-tupla de enteros), tal que

 

Defínanse las secciones locales σ, η ∈ Γ(p) que tienen el mismo r-jet en p si

 

La relación de que dos aplicaciones tienen el mismo r-jet es una relación de equivalencia. Un r-jet es una clase de equivalencia bajo esta relación, y el r-jet con el representante σ se denota . El número entero r también se llama orden del jet, p es su fuente y σ(p) es su objetivo.

Variedades de jet
El r-ésimo múltiplo del jet de π es el conjunto

 

Se pueden definir las proyecciones πr y πr,0 denominadas proyecciones fuente y objetivo, respectivamente, por

 

Si 1 ≤ k ≤ r, entonces un k-jet es la función πr,k definida por

 

De esta definición, está claro que πr = π o πr,0 y que si 0 ≤ m ≤ k, entonces πr,m = πk,m o πr,k. Es convencional considerar πr,r como la función identidad en J r(π) e identificar J 0(π) con E.

Las funciones πr,k, πr,0 y πr son funciones sobreyectivas suaves inmersas.

Un sistema de coordenadas en E generará un sistema de coordenadas en J r (π). Sea (U, 
u) un atlas adaptado en E, donde u = (xi, uα). El gráfico de coordenadas inducidas (Ur,ur) en J r (π) se define por

 

donde

 

y las funciones  son conocidas como las coordenadas derivadas:

 

Dado un atlas de mapas adaptados (U, u) en E, la colección correspondiente de mapas (U  r, u r) es un atlas de dimensión finita C∞ sobre J r( π).

Haces de jets
Dado que el atlas en cada Jr (π) define una variedad, las tripletas (Jr (π), πr,k, Jk (π)), (Jr (π), πr,0, E) y (Jr (π), πr, M) definen todas las variedades de fibras. En particular, si (E, π, M) es un paquete de fibras, el triplete (Jr (π), πr, M) define el r-ésimo jet de π.

Si W ⊂ M es una subvariedad abierta, entonces

 

Si p ∈ M, entonces la fibra  se denota como .

Sea σ una sección local de π con dominio W ⊂ M. La r-prolongación del jet de σ es la aplicación jrσ: W → Jr (π) definido por

 

Téngase en cuenta que πr o jrσ = idW, por lo que jrσ realmente es una sección. En coordenadas locales, jrσ viene dada por

 

identificando j0σ con σ.

Perspectiva algebraico-geométrica
A continuación se da una construcción motivada independientemente del haz de secciones .

Considérese una aplicación diagonal , donde el múltiplo diferenciable  es un espacio localmente anillado por  para cada  abierto. Sea  la banda ideal , de manera equivalente sea  el haz de gérmenes diferenciables que se anulan en  para todos los . La imagen inversa de la teoría de haces  de  a  por  es el haz de k-jets.

El límite directo de la secuencia de aplicaciones inyectivas dada por las inclusiones canónicas  de haces da lugar al haz infinito de jets . Obsérvese que debido a la construcción de límite directo se trata de un anillo filtrado.

Ejemplo
Si π es el fibrado (M × R, pr1, M), entonces existe un difeomorfismo canónico entre el primer haz de jets J1 (π) y T * M × R. Para construir este difeomorfismo, para cada σ en ΓM (π), debe escribirse como .

Entonces, cada vez que p ∈ M

 

En consecuencia, la aplicación

 

está bien definida y es claramente una función inyectiva. Transcribirlo a coordenadas demuestra que es un difeomorfismo, porque si (xi, u) son coordenadas en M × R, donde u = idR es la identidad de coordenadas, entonces las coordenadas derivadas ui en J1(π) corresponden a las coordenadas ∂i en T * M.

Del mismo modo, si π es el haz trivial (R × M, pr1, R), entonces existe un difeomorfismo canónico entre J1(π) y R × TM.

Estructura de contacto
El espacio Jr(π) tiene una distribución natural, es decir, un subconjunto del fibrado tangente TJr(π), llamado distribución de Cartan. La distribución de Cartan se extiende por todos los planos tangentes a gráficos de secciones holonómicas; es decir, secciones de la forma jrφ, siendo φuna sección de π.

El inverso de la distribución de Cartan es un espacio diferencial de forma 1, llamado forma de contacto en Jr(π). El espacio de formas únicas diferenciables en Jr(π) se denota por  y el espacio de formas de contacto se denota por . Una forma es una forma de contacto siempre que su aplicación regrediente en cada prolongación sea cero. En otras palabras,  es una forma de contacto si y solo si
 
para todas las secciones locales σ de π sobre M.

La distribución de Cartan es la estructura geométrica principal en los espacios de jets y juega un papel importante en la teoría geométrica de las ecuaciones en derivadas parciales. Las distribuciones de Cartan son completamente no integrables. En particular, no son involutivas. La dimensión de la distribución de Cartan crece con el orden del espacio del jet. Sin embargo, en el espacio de jets infinitos J∞, la distribución de Cartan se vuelve involutiva y de dimensión finita: su dimensión coincide con la dimensión de la variedad de base M.

Ejemplo
Considésese el caso (E, π, M), donde E ≃ R2 y M ≃ R. Entonces, (J1(π), π, M) define el primer haz de jets, y puede expresarse en las coordenadas (x, u, u1), donde

 

para todos los p ∈ M y σ en Γp(π). Una 1-forma general en J1(π) tiene la expresión

 

Una sección σ en Γp(π) tiene una primera prolongación

 

Por lo tanto, (j1σ) * θ se puede calcular como

 

Esta expresión se anulará para todas las secciones σ si y solo si c = 0 y a = -bσ'(x). Por lo tanto, θ = b (x, u, u1) θ0 debe ser necesariamente un múltiplo de la forma básica de contacto θ0 = du-u1dx. Continuando con el segundo espacio de jets J2(π) con la coordenada adicional u2 , tal que

 

se genera una 1-forma general con la construcción

 

Este es una forma de contacto si y solo si

 

lo que implica que e = 0 y a = -bσ'(x)-cσ(x). Por lo tanto, θ es una forma de contacto si y solo si

 

donde θ1 = du1-u2dx es la siguiente forma de contacto básico (téngase en cuenta que aquí se está identificando la forma θ0 con su regrediente  sobre J2(π)).

En general, proporcionando x, u ∈ R, una forma de contacto en Jr+1(π) se puede escribir como una combinación lineal de las formas de contacto básicas

 

donde

 

Argumentos similares conducen a una caracterización completa de todas las formas de contacto.

En coordenadas locales, cada contacto de una forma en Jr+1(π) se puede escribir como una combinación lineal

 

con coeficientes diferenciables  de los formas de contacto básicas

 |I| se conoce como el orden de la forma de contacto . Téngase en cuenta que las formas de contacto en Jr+1(π) tienen órdenes r como máximo. Las formas de contacto proporcionan una caracterización de aquellas secciones locales de πr+1 que son prolongaciones de secciones de π.

Sea ψ ∈ ΓW(πr+1), entonces ψ = jr+1σ donde σ ∈W(π) si y solo si 

Campos vectoriales
Un campo vectorial general sobre el espacio total E, coordenado por , es

 

Un campo vectorial se llama horizontal si todos los coeficientes verticales desaparecen cuando  = 0.

Un campo vectorial se llama vertical si todos los coeficientes horizontales desaparecen cuando ρi = 0.

Para (x, u) fijo, se identifica

 

teniendo coordenadas (x, u, ρi, φα), con un elemento en la fibra TxuE de TE sobre (x, u) en E, llamado un vector tangente en TE. Una sección

 

se llama un campo vectorial en E con

 

y ψ en Γ(TE).

El haz de planos Jr(π) está coordenado por . Para (x, u, w) fijo, se identifica

 

con las coordenadas

 

con un elemento en el haz  de TJr(π) sobre (x, u, w) ∈ Jr(π), llamado un vector tangente en TJr(π). Aquí,

 

son funciones con valores reales en Jr(π). Una sección

 

es un campo vectorial en Jr(π), y se dice que 

Ecuaciones diferenciales parciales
Sea (E, π, M) un haz de fibras. Una ecuación en derivadas parciales de 'r-ésimo orden en π es una variedad cerrada embebida en la subvariedad S de la variedad de jets Jr (π). Una solución es una sección local σ ∈ W(π) que satisface , para todo p en M.

Considérese un ejemplo de una ecuación diferencial parcial de primer orden:

Ejemplo
Sea π el haz trivial (R 2 × R, pr1, R2) con coordenadas globales (x1, x' '2, u1). Entonces la aplicación F: J1 (π) → R definida por

 

da lugar a la ecuación diferencial

 

que se puede escribir como

 

En particular

 

tiene una primera prolongación dada por

 

y es una solución de esta ecuación diferencial, porque

 

y entonces  para  cada   p  ∈  'R'  2.

Prolongación de un jet
Un difeomorfismo local ψ: Jr(π) → Jr (π) define una transformación de contacto de orden r si preserva el contacto ideal, lo que significa que si θ es cualquier forma de contacto en Jr(π), entonces ψ * θ también es una forma de contacto.

El flujo generado por un campo vectorial Vr en el espacio de jets Jr (π) forma un grupo de un solo parámetro de transformaciones de contacto si y solo si la derivada de Lie  de cualquier forma de contacto θ conserva el contacto ideal.

Para el caso de primer orden, se considera un campo de vectores general V1 en J1 (π), dado por

 

Ahora se aplica  a las formas de contacto básicas  y se amplia la derivada exterior de las funciones en términos de sus coordenadas para obtener:

 

Por lo tanto, V1 determina una transformación de contacto si y solo si los coeficientes de dxi y  desaparecen. Los últimos requisitos implican las condiciones de contacto

 

Los requisitos anteriores proporcionan fórmulas explícitas para los coeficientes de los primeros términos derivados en V1:

 

donde

 

denota el truncamiento de orden cero-ésimo de la derivada total Di.

Por lo tanto, las condiciones de contacto únicamente prescriben la prolongación de cualquier punto o campo vectorial de contacto. Es decir, si  satisface estas ecuaciones, Vr se denomina r-ésima prolongación de V a un campo vectorial en Jr(π).

Estos resultados se entienden mejor cuando se aplican a un ejemplo particular:

Ejemplo
Considérese el caso (E, π, M), donde E ≅ R2 y M ≃ R. Entonces, (J1(π), π, E) define el primer haz del jet, y puede ser coordenado por (x, u, u1), donde

 

para todos los p ∈ M y σ en Γp(π). Un forma de contacto en J1(π) tiene la propiedad de que

 

Considérese ahora un vector V en E, teniendo la forma

 

Entonces, la primera prolongación de este campo vectorial a J1(π) es

 

Si ahora se toma la derivada de Lie de la forma de contacto con respecto a este campo de vector prolongado, se obtiene 

 

Por lo tanto, para la preservación del contacto ideal, se requiere que

 

Y entonces la primera prolongación de V a un campo de vectores en J1(π) es

 

Calculando también la segunda prolongación de V a un campo vectorial en J2(π), se tienen  como coordenadas en J2(π). Por lo tanto, el vector prolongado tiene la forma

 

Las formas de contacto son

 

Para preservar el contacto ideal, se requiere

 

Ahora, θ no tiene dependencia de u2. Por lo tanto, a partir de esta ecuación se deduce la fórmula para ρ, que necesariamente será el mismo resultado encontrado para V1. Por lo tanto, el problema es análogo a la prolongación del campo vectorial V1 a J2 (π). Es decir, se puede generar la r-ésima prolongación de un campo vectorial mediante la aplicación recursiva de la derivada de Lie de las formas de contacto con respecto a los campos vectoriales prolongados r veces. Entonces se tiene que

 

y entonces

 

Por lo tanto, la derivada de Lie de la segunda forma de contacto con respecto a V2 es

 

Por lo tanto, para que  preserve el contacto ideal, es necesario que

 

Y entonces, la segunda prolongación de V a un campo de vectores en J2(π) es

 

Hay que tener en cuenta que la primera prolongación de V se puede recuperar al omitir los términos de la segunda derivada en V2, o al proyectar de nuevo a J1 (π).

Espacios de jets infinitos
El límite inverso de la secuencia de proyecciones  da lugar al "espacio de jets infinito J∞(π). Un punto  es la clase de equivalencia de las secciones de π que tienen el mismo k-jet en p que en σ para todos los valores de k. La proyección natural π∞ asigna  a p.

Solo pensando en términos de coordenadas, J∞(π) parece ser un objeto geométrico de dimensión infinita. De hecho, la forma más simple de introducir una estructura diferenciable en J∞(π), sin depender de gráficos diferenciables, viene dada por el cálculo diferencial sobre álgebras acumulativas. Dual a la secuencia de proyecciones  de variedades es la secuencia de aplicaciones inyectivas  de álgebras conmutativas. Denotando  simplemente por , el límite directo  de  será un álgebra conmutativa, que se puede suponer que es el álgebra de las funciones suaves sobre el objeto geométrico J∞(π). Obsérvese que , que nace como un límite directo, tiene una estructura adicional: es un álgebra conmutativa filtrada.

A grandes rasgos, un elemento concreto  siempre pertenecerá a algún , por lo que es una función suave en variedad de dimensión finita Jk (π) en el sentido habitual.

Ecuaciones en derivadas parciales infinitamente prolongadas
Dado un sistema de ecuaciones en derivadas parciales de orden k-ésimo E ⊆ Jk(π), la variedad de funciones suaves I(E) que se anulan en  E sobre 'J∞(π) es un ideal en el álgebra , y por lo tanto  también lo es en el límite directo .

Complétese I(E) agregando todas las composiciones posibles totalmente derivables aplicadas a todos sus elementos. De esta forma se obtiene un nuevo I, ideal de  que ahora se cierra bajo la operación de poseer derivada total. La subvariedad E(∞) de J∞(π) recortada por I se llama prolongación infinita de E.

Geométricamente, "E"(∞) es la variedad de soluciones formales de E. Se puede ver fácilmente que un punto  de E(∞) está representado por una sección σ cuyo gráfico de k-jets es tangente a E en el punto  con un orden arbitrariamente alto de tangencia.

Analíticamente, si E viene dado por φ = 0, una solución formal puede entenderse como el conjunto de coeficientes de Taylor de una sección σ en un punto p que hace desaparecer la serie de Taylor de  en el punto p.

Lo más importante es que las propiedades de cierre de I implican que E(∞) es tangente a la estructura de contacto de orden infinito  en J∞(π), de modo que al restringir  a E(∞) se obtiene el diffiety , y se puede estudiar la secuencia C-espectral asociada.

Observaciones
Este artículo ha definido jets de secciones locales de un haz, pero es posible definir jets de funciones f: M → N, donde M y N son múltiples; el jet de f simplemente corresponde al jet de la sección

 grf: M → M × N
 grf (p) = (p, f (p))

(grf se conoce como el gráfico de la función f) del haz trivial (M × N, π1, M ). Sin embargo, esta restricción no simplifica la teoría, ya que la trivialidad global de π no implica la trivialidad global de π1.

Véase también
 Grupo de jets
 Jet (matemáticas)
 Sistema lagrangiano
 Bicomplejo variacional

Referencias

Bibliografía
 Ehresmann, C., "Introducción a la teoría de las estructuras infinitésimales et des pseudo-groupes de Lie".  Geometrie Differentielle , Colloq. Enterrar. du Centre Nat. de la Recherche Scientifique, Estrasburgo, 1953, 97-127.
 Kolář, I., Michor, P., Slovák, J.,  Operaciones naturales en geometría diferencial.  Springer-Verlag: Berlin Heidelberg, 1993 ., .
 Saunders, D. J., "La geometría de los paquetes de Jet", Cambridge University Press, 1989, 
 Krasil'shchik, I. S., Vinogradov, A. M., [et al.], "Simetrías y leyes de conservación para ecuaciones diferenciales de física matemática", Amer. Mates. Soc., Providence, RI, 1999, .
 Olver, P. J., "Equivalencia, invariantes y simetría", Cambridge University Press, 1995, 
 Giachetta, G., Mangiarotti, L., Sardanashvily, G., "Teoría avanzada del campo clásico", World Scientific, 2009, 
 Sardanashvily, G., Geometría diferencial avanzada para teóricos. Paquetes de fibras, colectores de chorro y teoría de Lagrange ", Lambert Academic Publishing, 2013, ; arXiv: 0908.1886

Topología diferencial
Ecuaciones diferenciales
En topología diferencial , un haz de jets es una construcción que genera un nuevo fibrado diferenciable de un haz dado de fibras suaves . Hace posible escribir ecuaciones diferenciales en secciones de un haz de fibras en una forma invariante . Los jets también se pueden ver como las versiones de la serie de Taylor libres de coordenadas . Históricamente , los haces de jets se atribuyen a Ehresmann , y fueron un avance en el método ( prolongación ) de Élie Cartan , de tratar geométricamente con derivadas sucesivas , al imponer condiciones diferenciales a las variables formales recientemente introducidas . Los haces de jets a veces se llaman espráis , aunque los espráis por lo general se refieren más específicamente al campo vectorial asociado inducido en el haz correspondiente ( por ejemplo , el espray geodésico en variedades de Finsler ) . Más recientemente , los haces de jets han aparecido como una forma concisa para describir los fenómenos asociados con las aplicaciones de derivadas , en particular las asociadas con el cálculo de variaciones . En consecuencia , ahora se reconoce que el haz de jets es el dominio correcto para la teoría de campo covariante geométrica clásica , y se realiza mucho trabajo en las formulaciones de campos en la relatividad general que utilizan este enfoque . Jets Supóngase que M es una variedad m-dimensional y que ( E , π , M ) es un fibrado . Para p ∈ M , sea Γ( p ) el conjunto de todas las secciones locales cuyo dominio contiene p . Se define como una entidad multi indexada no ordenada ( una m-tupla de enteros ) , tal que Defínanse las secciones locales σ , η ∈ Γ( p ) que tienen el mismo r-jet en p si La relación de que dos aplicaciones tienen el mismo r-jet es una relación de equivalencia . Un r-jet es una clase de equivalencia bajo esta relación , y el r-jet con el representante σ se denota \ . El número entero r también se llama orden del jet , p es su fuente y σ ( p ) es su objetivo . Variedades de jet El r-ésimo múltiplo del jet de π es el conjunto Se pueden definir las proyecciones πr y πr,0 denominadas proyecciones fuente y objetivo , respectivamente , por Si≤ k ≤ r , entonces un k-jet es la función πr,k definida por De esta definición , está claro que πr = π o πr,0 y que si≤ m ≤ k , entonces πr,m = πk,m o πr,k . Es convencional considerar πr,r como la función identidad en J r( π ) e identificar J 0( π ) con E . Las funciones πr,k , πr,0 y πr son funciones sobreyectivas suaves inmersas . Un sistema de coordenadas en E generará un sistema de coordenadas en J r ( π ) . Sea ( U , u ) un atlas adaptado en E , donde u = ( xi , uα ) . El gráfico de coordenadas inducidas ( Ur,ur ) en J r ( π ) se define por donde y las funciones son conocidas como las coordenadas derivadas : Dado un atlas de mapas adaptados ( U , u ) en E , la colección correspondiente de mapas ( U r , u r ) es un atlas de dimensión finita C∞ sobre J r ( π ) . Haces de jets Dado que el atlas en cada Jr ( π ) define una variedad , las tripletas ( Jr ( π ) , πr,k , Jk ( π ) ) , ( Jr ( π ) , πr,0 , E ) y ( Jr ( π ) , πr , M ) definen todas las variedades de fibras . En particular , si ( E , π , M ) es un paquete de fibras , el triplete ( Jr ( π ) , πr , M ) define el r-ésimo jet de π . Si W ⊂ M es una subvariedad abierta , entonces Si p ∈ M , entonces la fibra se denota como \ . Sea σ una sección local de π con dominio W ⊂ M. La r-prolongación del jet de σ es la aplicación jrσ : W → Jr ( π ) definido por Téngase en cuenta que πr o jrσ = idW , por lo que jrσ realmente es una sección . En coordenadas locales , jrσ viene dada por identificando j0σ con σ . Perspectiva algebraico-geométrica A continuación se da una construcción motivada independientemente del haz de secciones \ . Considérese una aplicación diagonal , donde el múltiplo diferenciable es un espacio localmente anillado por para cada abierto . Sea la banda ideal , de manera equivalente sea el haz de gérmenes diferenciables que se anulan en para todos los \ . La imagen inversa de la teoría de haces de a por es el haz de k-jets . El límite directo de la secuencia de aplicaciones inyectivas dada por las inclusiones canónicas de haces da lugar al haz infinito de jets \ . Obsérvese que debido a la construcción de límite directo se trata de un anillo filtrado . Ejemplo Si π es el fibrado ( M × R , pr1 , M ) , entonces existe un difeomorfismo canónico entre el primer haz de jets J1 ( π ) y T * M × R . Para construir este difeomorfismo , para cada σ en ΓM ( π ) , debe escribir se como \ . Entonces , cada vez que p ∈ M En consecuencia , la aplicación está bien definida y es claramente una función inyectiva . Transcribir lo a coordenadas demuestra que es un difeomorfismo , porque si ( xi , u ) son coordenadas en M × R , donde u = idR es la identidad de coordenadas , entonces las coordenadas derivadas ui en J1( π ) corresponden a las coordenadas ∂i en T * M. Del mismo modo , si π es el haz trivial ( R × M , pr1 , R ) , entonces existe un difeomorfismo canónico entre J1( π ) y R × TM . Estructura de contacto El espacio Jr ( π ) tiene una distribución natural , es decir , un subconjunto del fibrado tangente TJr ( π ) , llamado distribución de Cartan . La distribución de Cartan se extiende por todos los planos tangentes a gráficos de secciones holonómicas ; es decir , secciones de la forma jrφ , siendo φuna sección de π . El inverso de la distribución de Cartan es un espacio diferencial de forma llamado forma de contacto en Jr ( π ) . El espacio de formas únicas diferenciables en Jr ( π ) se denota por y el espacio de formas de contacto se denota por \ . Una forma es una forma de contacto siempre que su aplicación regrediente en cada prolongación sea cero . En otras palabras , es una forma de contacto si y solo si para todas las secciones locales σ de π sobre M. La distribución de Cartan es la estructura geométrica principal en los espacios de jets y juega un papel importante en la teoría geométrica de las ecuaciones en derivadas parciales . Las distribuciones de Cartan son completamente no integrables . En particular , no son involutivas . La dimensión de la distribución de Cartan crece con el orden del espacio del jet . Sin embargo , en el espacio de jets infinitos J∞ , la distribución de Cartan se vuelve involutiva y de dimensión finita : su dimensión coincide con la dimensión de la variedad de base M. Ejemplo Considésese el caso ( E , π , M ) , donde E ≃ R2 y M ≃ R. Entonces , ( J1( π ) , π , M ) define el primer haz de jets , y puede expresar se en las coordenadas ( x , u , u1 ) , donde para todos los p ∈ M y σ en Γp ( π ) . Unaforma general en J1( π ) tiene la expresión Una sección σ en Γp( π ) tiene una primera prolongación Por lo tanto , ( j1σ ) * θ se puede calcular como Esta expresión se anulará para todas las secciones σ si y solo si c =y a = -bσ' ( x ) . Por lo tanto , θ = b ( x , u , u1 ) θ0 debe ser necesariamente un múltiplo de la forma básica de contacto θ0 = du-u1dx . Continuando con el segundo espacio de jets J2 ( π ) con la coordenada adicional u2 , tal que se genera unaforma general con la construcción Este es una forma de contacto si y solo si lo que implica que e =y a = -bσ' ( x) -cσ ( x ) . Por lo tanto , θ es una forma de contacto si y solo si donde θ1 = du1-u2dx es la siguiente forma de contacto básico ( téngase en cuenta que aquí se está identificando la forma θ0 con su regrediente sobre J2 ( π ) ) . En general , proporcionando x , u ∈ R , una forma de contacto en Jr+1( π ) se puede escribir como una combinación lineal de las formas de contacto básicas donde Argumentos similares conducen a una caracterización completa de todas las formas de contacto . En coordenadas locales , cada contacto de una forma en Jr+1( π ) se puede escribir como una combinación lineal con coeficientes diferenciables de los formas de contacto básicas |I| se conoce como el orden de la forma de contacto \ . Téngase en cuenta que las formas de contacto en Jr+1( π ) tienen órdenes r como máximo . Las formas de contacto proporcionan una caracterización de aquellas secciones locales de πr+1 que son prolongaciones de secciones de π . Sea ψ ∈ ΓW( πr+1 ) , entonces ψ = jr+1σ donde σ ∈W( π ) si y solo si Campos vectoriales Un campo vectorial general sobre el espacio total E , coordenado por , es Un campo vectorial se llama horizontal si todos los coeficientes verticales desaparecen cuando = Un campo vectorial se llama vertical si todos los coeficientes horizontales desaparecen cuando ρi = Para ( x , u ) fijo , se identifica teniendo coordenadas ( x , u , ρi , φα ) , con un elemento en la fibra TxuE de TE sobre ( x , u ) en E , llamado un vector tangente en TE . Una sección se llama un campo vectorial en E con y ψ en Γ( TE ) . El haz de planos Jr ( π ) está coordenado por \ . Para ( x , u , w ) fijo , se identifica con las coordenadas con un elemento en el haz de TJr ( π ) sobre ( x , u , w ) ∈ Jr ( π ) , llamado un vector tangente en TJr ( π ) . Aquí , son funciones con valores reales en Jr ( π ) . Una sección es un campo vectorial en Jr ( π ) , y se dice que Ecuaciones diferenciales parciales Sea ( E , π , M ) un haz de fibras . Una ecuación en derivadas parciales de ' r-ésimo orden en π es una variedad cerrada embebida en la subvariedad S de la variedad de jets Jr ( π ) . Una solución es una sección local σ ∈ W( π ) que satisface , para todo p en M. Considérese un ejemplo de una ecuación diferencial parcial de primer orden : Ejemplo Sea π el haz trivial ( R× R , pr1 , R2 ) con coordenadas globales ( x1 , x ' '2 , u1 ) . Entonces la aplicación F: J1 ( π ) → R definida por da lugar a la ecuación diferencial que se puede escribir como En particular tiene una primera prolongación dada por y es una solución de esta ecuación diferencial , porque y entonces para cada p ∈ 'R ' Prolongación de un jet Un difeomorfismo local ψ : Jr ( π ) → Jr ( π ) define una transformación de contacto de orden r si preserva el contacto ideal , lo que significa que si θ es cualquier forma de contacto en Jr ( π ) , entonces ψ * θ también es una forma de contacto . El flujo generado por un campo vectorial Vr en el espacio de jets Jr ( π ) forma un grupo de un solo parámetro de transformaciones de contacto si y solo si la derivada de Lie de cualquier forma de contacto θ conserva el contacto ideal . Para el caso de primer orden , se considera un campo de vectores general V1 en J1 ( π ) , dado por Ahora se aplica a las formas de contacto básicas y se amplia la derivada exterior de las funciones en términos de sus coordenadas para obtener : Por lo tanto , V1 determina una transformación de contacto si y solo si los coeficientes de dxi y desaparecen . Los últimos requisitos implican las condiciones de contacto Los requisitos anteriores proporcionan fórmulas explícitas para los coeficientes de los primeros términos derivados en V1: donde denota el truncamiento de orden cero-ésimo de la derivada total Di . Por lo tanto , las condiciones de contacto únicamente prescriben la prolongación de cualquier punto o campo vectorial de contacto . Es decir , si satisface estas ecuaciones , Vr se denomina r-ésima prolongación de V a un campo vectorial en Jr ( π ) . Estos resultados se entienden mejor cuando se aplican a un ejemplo particular : Ejemplo Considérese el caso ( E , π , M ) , donde E ≅ R2 y M ≃ R. Entonces , ( J1( π ) , π , E ) define el primer haz del jet , y puede ser coordenado por ( x , u , u1 ) , donde para todos los p ∈ M y σ en Γp ( π ) . Un forma de contacto en J1( π ) tiene la propiedad de que Considérese ahora un vector V en E , teniendo la forma Entonces , la primera prolongación de este campo vectorial a J1( π ) es Si ahora se toma la derivada de Lie de la forma de contacto con respecto a este campo de vector prolongado , se obtiene Por lo tanto , para la preservación del contacto ideal , se requiere que Y entonces la primera prolongación de V a un campo de vectores en J1( π ) es Calculando también la segunda prolongación de V a un campo vectorial en J2 ( π ) , se tienen como coordenadas en J2( π ) . Por lo tanto , el vector prolongado tiene la forma Las formas de contacto son Para preservar el contacto ideal , se requiere Ahora , θ no tiene dependencia de u2 . Por lo tanto , a partir de esta ecuación se deduce la fórmula para ρ , que necesariamente será el mismo resultado encontrado para V1 . Por lo tanto , el problema es análogo a la prolongación del campo vectorial V1 a J2 ( π ) . Es decir , se puede generar la r-ésima prolongación de un campo vectorial mediante la aplicación recursiva de la derivada de Lie de las formas de contacto con respecto a los campos vectoriales prolongados r veces . Entonces se tiene que y entonces Por lo tanto , la derivada de Lie de la segunda forma de contacto con respecto a V2 es Por lo tanto , para que preserve el contacto ideal , es necesario que Y entonces , la segunda prolongación de V a un campo de vectores en J2 ( π ) es Hay que tener en cuenta que la primera prolongación de V se puede recuperar al omitir los términos de la segunda derivada en V2 , o al proyectar de nuevo a J1 ( π ) . Espacios de jets infinitos El límite inverso de la secuencia de proyecciones da lugar al " espacio de jets infinito J∞ ( π ) . Un punto es la clase de equivalencia de las secciones de π que tienen el mismo k-jet en p que en σ para todos los valores de k . La proyección natural π∞ asigna a p . Solo pensando en términos de coordenadas , J∞( π ) parece ser un objeto geométrico de dimensión infinita . De hecho , la forma más simple de introducir una estructura diferenciable en J∞( π ) , sin depender de gráficos diferenciables , viene dada por el cálculo diferencial sobre álgebras acumulativas . Dual a la secuencia de proyecciones de variedades es la secuencia de aplicaciones inyectivas de álgebras conmutativas . Denotando simplemente por , el límite directo de será un álgebra conmutativa , que se puede suponer que es el álgebra de las funciones suaves sobre el objeto geométrico J∞ ( π ) . Obsérvese que , que nace como un límite directo , tiene una estructura adicional : es un álgebra conmutativa filtrada . A grandes rasgos , un elemento concreto siempre pertenecerá a algún , por lo que es una función suave en variedad de dimensión finita Jk ( π ) en el sentido habitual . Ecuaciones en derivadas parciales infinitamente prolongadas Dado un sistema de ecuaciones en derivadas parciales de orden k-ésimo E ⊆ Jk ( π ) , la variedad de funciones suaves I( E ) que se anulan en E sobre ' J∞ ( π ) es un ideal en el álgebra , y por lo tanto también lo es en el límite directo \ . Complétese I( E ) agregando todas las composiciones posibles totalmente derivables aplicadas a todos sus elementos . De esta forma se obtiene un nuevo I , ideal de que ahora se cierra bajo la operación de poseer derivada total . La subvariedad E( ∞ ) de J∞( π ) recortada por I se llama prolongación infinita de E. Geométricamente , " E" ( ∞ ) es la variedad de soluciones formales de E. Se puede ver fácilmente que un punto de E( ∞ ) está representado por una sección σ cuyo gráfico de k-jets es tangente a E en el punto con un orden arbitrariamente alto de tangencia . Analíticamente , si E viene dado por φ = una solución formal puede entender se como el conjunto de coeficientes de Taylor de una sección σ en un punto p que hace desaparecer la serie de Taylor de en el punto p . Lo más importante es que las propiedades de cierre de I implican que E( ∞ ) es tangente a la estructura de contacto de orden infinito en J∞( π ) , de modo que al restringir a E( ∞ ) se obtiene el diffiety , y se puede estudiar la secuencia C-espectral asociada . Observaciones Este artículo ha definido jets de secciones locales de un haz , pero es posible definir jets de funciones f : M → N , donde M y N son múltiples ; el jet de f simplemente corresponde al jet de la sección grf : M → M × N grf ( p ) = ( p , f ( p ) ) ( grf se conoce como el gráfico de la función f ) del haz trivial ( M × N , π1 , M ) . Sin embargo , esta restricción no simplifica la teoría , ya que la trivialidad global de π no implica la trivialidad global de π1 . Vea se también Grupo de jets Jet ( matemáticas ) Sistema lagrangiano Bicomplejo variacional Referencias Bibliografía Ehresmann , C. , " Introducción a la teoría de las estructuras infinitésimales et des pseudo-groupes de Lie " . Geometrie Differentielle , Colloq . Enterrar . du Centre Nat . de la Recherche Scientifique , Estrasburgo , Kolář , I. , Michor , P. , Slovák , J. , Operaciones naturales en geometría diferencial . Springer-Verlag : Berlin Heidelberg , . , \ . Saunders , D. J. , " La geometría de los paquetes de Jet " , Cambridge University Press , Krasil'shchik , I. S. , Vinogradov , A. M. , [ et al . ] , " Simetrías y leyes de conservación para ecuaciones diferenciales de física matemática " , Amer . Mates . Soc. , Providence , RI , \ . Olver , P. J. , " Equivalencia , invariantes y simetría " , Cambridge University Press , Giachetta , G. , Mangiarotti , L. , Sardanashvily , G. , " Teoría avanzada del campo clásico " , World Scientific , Sardanashvily , G. , Geometría diferencial avanzada para teóricos . Paquetes de fibras , colectores de chorro y teoría de Lagrange " , Lambert Academic Publishing , ; arXiv:1886 Topología diferencial Ecuaciones diferenciales