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 Plantilla:Math como una entidad multi indexada no ordenada (una m-tupla de enteros), tal que

$\begin{array}{cc}|I|& :=\sum _{i=1}^{m}I(i)\\ \frac{{\partial }^{|I|}}{\partial x^I}& :=\prod _{i=1}^m{\left(\frac{\partial }{\partial x^i}\right)}^{I(i)}.\end{array}$

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

${\frac{{\partial }^{|I|}{\sigma }^{\alpha }}{\partial x^I}|}_p={\frac{{\partial }^{|I|}{\eta }^{\alpha }}{\partial x^I}|}_p,0\le |I|\le r.$

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 $j_p^r\sigma$. 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

$J^r(\pi )=\{j_p^r\sigma :p\in M,\sigma \in \mathrm{\Gamma }(p)\}.$

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

$\{\begin{array}{c}{\pi }_r:J^r(\pi )\to M\\ j_p^r\sigma \mapsto p\end{array},\{\begin{array}{c}{\pi }_{r,0}:J^r(\pi )\to E\\ j_p^r\sigma \mapsto \sigma (p)\end{array}$

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

$\{\begin{array}{c}{\pi }_{r,k}:J^r(\pi )\to J^k(\pi )\\ j_p^r\sigma \mapsto j_p^k\sigma \end{array}$

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 ⁰(π) 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 = (xⁱ, u^α). El gráfico de coordenadas inducidas (U^r,u^r) en J ^r (π) se define por

$\begin{array}{cc}{U}^r& =\{j_p^r\sigma :\sigma (p)\in U\}\\ u^r& =(x^i,u^{\alpha },u_I^{\alpha })\end{array}$

donde

$\begin{array}{cc}{x}^i(j_p^r\sigma )& =x^i(p)\\ u^{\alpha }(j_p^r\sigma )& =u^{\alpha }(\sigma (p))\end{array}$

y las funciones $n({}^{m+r}{C}_r-1)$ son conocidas como las coordenadas derivadas:

$\{\begin{array}{c}{u}_I^{\alpha }:U^k\to 𝐑\\ u_I^{\alpha }(j_p^r\sigma )={\frac{{\partial }^{|I|}{\sigma }^{\alpha }}{\partial x^I}|}_p\end{array}$

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 J^r (π) define una variedad, las tripletas (J^r (π), π_r,k, J^k (π)), (J^r (π), π_r,0, E) y (J^r (π), π_r, M) definen todas las variedades de fibras. En particular, si (E, π, M) es un paquete de fibras, el triplete (J^r (π), π_r, M) define el r-ésimo jet de π.

Si W ⊂ M es una subvariedad abierta, entonces

$J^r\left(\pi {|}_{{\pi }^{-1}(W)}\right)\cong {\pi }_r^{-1}(W).$

Si p ∈ M, entonces la fibra ${\pi }_r^{-1}(p)$ se denota como $J_p^r(\pi )$.

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

$(j^r\sigma )(p)=j_p^r\sigma .$

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

$({\sigma }^{\alpha },\frac{{\partial }^{|I|}{\sigma }^{\alpha }}{\partial x^{|I|}})1\le |I|\le r.$

identificando j⁰σ con σ.

Perspectiva algebraico-geométrica

A continuación se da una construcción motivada independientemente del haz de secciones $\mathrm{\Gamma }{J}^k({\pi }_{TM})$.

Considérese una aplicación diagonal ${\mathrm{\Delta }}_n:M\to {\prod }_{i=1}^{n+1}M$, donde el múltiplo diferenciable $M$ es un espacio localmente anillado por $C^k(U)$ para cada $U$ abierto. Sea $ℐ$ la banda ideal ${\mathrm{\Delta }}_n(M)$, de manera equivalente sea $ℐ$ el haz de gérmenes diferenciables que se anulan en ${\mathrm{\Delta }}_n(M)$ para todos los $0<n\le k$. La imagen inversa de la teoría de haces ${{\mathrm{\Delta }}_n}^{*}(ℐ/{ℐ}^{n+1})$ de ${\prod }_{i=1}^{n+1}M$ a $M$ por ${\mathrm{\Delta }}_n$ es el haz de k-jets.

El límite directo de la secuencia de aplicaciones inyectivas dada por las inclusiones canónicas ${ℐ}^{n+1}\hookrightarrow {ℐ}^n$ de haces da lugar al haz infinito de jets ${𝒥}^{\mathrm{\infty }}(TM)$. 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, pr₁, M), entonces existe un difeomorfismo canónico entre el primer haz de jets J¹ (π) y T * M × R. Para construir este difeomorfismo, para cada σ en Γ_M (π), debe escribirse como $\overline{\sigma }=p{r}_2\circ \sigma \in C^{\mathrm{\infty }}(M)$.

Entonces, cada vez que p ∈ M

$j_p^1\sigma =\{\psi :\psi \in {\mathrm{\Gamma }}_p(\pi );\overline{\psi }(p)=\overline{\sigma }(p);d{\overline{\psi }}_p=d{\overline{\sigma }}_p\}.$

En consecuencia, la aplicación

$\{\begin{array}{c}{J}^1(\pi )\to T^{*}M\times 𝐑\\ j_p^1\sigma \mapsto (d{\overline{\sigma }}_p,\overline{\sigma }(p))\end{array}$

está bien definida y es claramente una función inyectiva. Transcribirlo a coordenadas demuestra que es un difeomorfismo, porque si (xⁱ, u) son coordenadas en M × R, donde u = id_R es la identidad de coordenadas, entonces las coordenadas derivadas u_i en J¹(π) corresponden a las coordenadas ∂_i en T * M.

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

Estructura de contacto

El espacio J^r(π) tiene una distribución natural, es decir, un subconjunto del fibrado tangente TJ^r(π), 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 j^rφ, 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 J^r(π). El espacio de formas únicas diferenciables en J^r(π) se denota por ${\mathrm{\Lambda }}^1{J}^r(\pi )$ y el espacio de formas de contacto se denota por ${\mathrm{\Lambda }}_C^r\pi$. Una forma es una forma de contacto siempre que su aplicación regrediente en cada prolongación sea cero. En otras palabras, $\theta \in {\mathrm{\Lambda }}^1{J}^r\pi$ es una forma de contacto si y solo si

$(j^{r+1}\sigma {)}^{*}\theta =0$

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 ≃ R² y M ≃ R. Entonces, (J¹(π), π, M) define el primer haz de jets, y puede expresarse en las coordenadas (x, u, u₁), donde

$\begin{array}{cc}x(j_p^1\sigma )& =x(p)=x\\ u(j_p^1\sigma )& =u(\sigma (p))=u(\sigma (x))=\sigma (x)\\ u_1(j_p^1\sigma )& ={\frac{\partial \sigma }{\partial x}|}_p={\sigma }^{\prime }(x)\end{array}$

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

$\theta =a(x,u,u_1)dx+b(x,u,u_1)du+c(x,u,u_1)d{u}_1$

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

$j^1\sigma =(u,u_1)=(\sigma (p),{\frac{\partial \sigma }{\partial x}|}_p).$

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

$\begin{array}{cc}(j_p^1\sigma {)}^{*}\theta & =\theta \circ j_p^1\sigma \\ & =a(x,\sigma (x),{\sigma }^{\prime }(x))dx+b(x,\sigma (x),{\sigma }^{\prime }(x))d(\sigma (x))+c(x,\sigma (x),{\sigma }^{\prime }(x))d({\sigma }^{\prime }(x))\\ & =a(x,\sigma (x),{\sigma }^{\prime }(x))dx+b(x,\sigma (x),{\sigma }^{\prime }(x)){\sigma }^{\prime }(x)dx+c(x,\sigma (x),{\sigma }^{\prime }(x)){\sigma }^{″}(x)dx\\ & =[a(x,\sigma (x),{\sigma }^{\prime }(x))+b(x,\sigma (x),{\sigma }^{\prime }(x)){\sigma }^{\prime }(x)+c(x,\sigma (x),{\sigma }^{\prime }(x)){\sigma }^{″}(x)]dx\end{array}$

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, u₁) θ₀ debe ser necesariamente un múltiplo de la forma básica de contacto θ₀ = du-u₁dx. Continuando con el segundo espacio de jets J²(π) con la coordenada adicional u₂ , tal que

$u_2(j_p^2\sigma )={\frac{{\partial }^2\sigma }{\partial x^2}|}_p={\sigma }^{″}(x)$

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

$\theta =a(x,u,u_1,u_2)dx+b(x,u,u_1,u_2)du+c(x,u,u_1,u_2)d{u}_1+e(x,u,u_1,u_2)d{u}_2$

Este es una forma de contacto si y solo si

$\begin{array}{cc}(j_p^2\sigma {)}^{*}\theta & =\theta \circ j_p^2\sigma \\ & =a(x,\sigma (x),{\sigma }^{\prime }(x),{\sigma }^{″}(x))dx+b(x,\sigma (x),{\sigma }^{\prime }(x),{\sigma }^{″}(x))d(\sigma (x))+\\ & +c(x,\sigma (x),{\sigma }^{\prime }(x),{\sigma }^{″}(x))d({\sigma }^{\prime }(x))+e(x,\sigma (x),{\sigma }^{\prime }(x),{\sigma }^{″}(x))d({\sigma }^{″}(x))\\ & =adx+b{\sigma }^{\prime }(x)dx+c{\sigma }^{″}(x)dx+e{\sigma }^{‴}(x)dx\\ & =[a+b{\sigma }^{\prime }(x)+c{\sigma }^{″}(x)+e{\sigma }^{‴}(x)]dx\\ & =0\end{array}$

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

$\theta =b(x,\sigma (x),{\sigma }^{\prime }(x)){\theta }_0+c(x,\sigma (x),{\sigma }^{\prime }(x)){\theta }_1,$

donde θ₁ = du₁-u₂dx es la siguiente forma de contacto básico (téngase en cuenta que aquí se está identificando la forma θ₀ con su regrediente $({\pi }_{2,1}{)}^{*}{\theta }_0$ sobre J²(π)).

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

${\theta }_k=d{u}_k-u_{k+1}dxk=0,\dots ,r-1$

donde

$u_k(j^k\sigma )={\frac{{\partial }^k\sigma }{\partial x^k}|}_p.$

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

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

$\theta =\sum _{|I|=0}^r{P}_{\alpha }^i{\theta }_i^{\alpha }$

con coeficientes diferenciables $P_i^{\alpha }(x^i,u^{\alpha },u_I^{\alpha })$ de los formas de contacto básicas

${\theta }_i^{\alpha }=d{u}_i^{\alpha }-u_{I,i}^{\alpha }d{x}^i$

|I| se conoce como el orden de la forma de contacto ${\theta }_i^{\alpha }$. Téngase en cuenta que las formas de contacto en J^r+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 ψ = j^r+1σ donde σ ∈_W(π) si y solo si ${\psi }^{*}(\theta {|}_W)=0,\mathrm{\forall }\theta \in {\mathrm{\Lambda }}_C^1{\pi }_{r+1,r}.$

Campos vectoriales

Un campo vectorial general sobre el espacio total E, coordenado por $(x,u)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}(x^i,u^{\alpha })$, es

$V\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}{\rho }^i(x,u)\frac{\partial }{\partial x^i}+{\varphi }^{\alpha }(x,u)\frac{\partial }{\partial u^{\alpha }}.$

Un campo vectorial se llama horizontal si todos los coeficientes verticales desaparecen cuando ${\varphi }^{\alpha }$ = 0.

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

Para (x, u) fijo, se identifica

$V_{(x,u)}\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}{\rho }^i(x,u)\frac{\partial }{\partial x^i}+{\varphi }^{\alpha }(x,u)\frac{\partial }{\partial u^{\alpha }}$

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

$\{\begin{array}{c}\psi :E\to TE\\ (x,u)\mapsto \psi (x,u)=V\end{array}$

se llama un campo vectorial en E con

$V={\rho }^i(x,u)\frac{\partial }{\partial x^i}+{\varphi }^{\alpha }(x,u)\frac{\partial }{\partial u^{\alpha }}$

y ψ en Γ(TE).

El haz de planos J^r(π) está coordenado por $(x,u,w)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}(x^i,u^{\alpha },w_i^{\alpha })$. Para (x, u, w) fijo, se identifica

$V_{(x,u,w)}\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}{V}^i(x,u,w)\frac{\partial }{\partial x^i}+V^{\alpha }(x,u,w)\frac{\partial }{\partial u^{\alpha }}+V_i^{\alpha }(x,u,w)\frac{\partial }{\partial w_i^{\alpha }}+V_{i_1{i}_2}^{\alpha }(x,u,w)\frac{\partial }{\partial w_{i_1{i}_2}^{\alpha }}+\cdots +V_{i_1\cdots i_r}^{\alpha }(x,u,w)\frac{\partial }{\partial w_{i_1\cdots i_r}^{\alpha }}$

con las coordenadas

$(x,u,w,v_i^{\alpha },v_{i_1{i}_2}^{\alpha },\cdots ,v_{i_1\cdots i_r}^{\alpha }),$

con un elemento en el haz $T_{xuw}(J^r\pi )$ de TJ^r(π) sobre (x, u, w) ∈ J^r(π), llamado un vector tangente en TJ^r(π). Aquí,

$v_i^{\alpha },v_{i_1{i}_2}^{\alpha },\cdots ,v_{i_1\cdots i_r}^{\alpha }$

son funciones con valores reales en J^r(π). Una sección

$\{\begin{array}{c}\mathrm{\Psi }:J^r(\pi )\to T{J}^r(\pi )\\ (x,u,w)\mapsto \mathrm{\Psi }(u,w)=V\end{array}$

es un campo vectorial en J^r(π), y se dice que $\mathrm{\Psi }\in \mathrm{\Gamma }(T(J^r\pi )).$

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 J^r (π). Una solución es una sección local σ ∈ _W(π) que satisface $j_p^r\sigma \in S$, 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, pr₁, R²) con coordenadas globales (x¹, x' '², u¹). Entonces la aplicación F: J¹ (π) → R definida por

$F=u_1^1{u}_2^1-2x^2{u}^1$

da lugar a la ecuación diferencial

$S=\{j_p^1\sigma \in J^1\pi :(u_1^1{u}_2^1-2x^2{u}^1)(j_p^1\sigma )=0\}$

que se puede escribir como

$\frac{\partial \sigma }{\partial x^1}\frac{\partial \sigma }{\partial x^2}-2x^2\sigma =0.$

En particular

$\{\begin{array}{c}\sigma :{𝐑}^2\to {𝐑}^2\times 𝐑\\ \sigma (p_1,p_2)=(p^1,p^2,p^1(p^2{)}^2)\end{array}$

tiene una primera prolongación dada por

$j^1\sigma (p_1,p_2)=(p^1,p^2,p^1(p^2{)}^2,(p^2{)}^2,2p^1{p}^2)$

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

$\begin{array}{cc}(u_1^1{u}_2^1-2x^2{u}^1)(j_p^1\sigma )& =u_1^1(j_p^1\sigma )u_2^1(j_p^1\sigma )-2x^2(j_p^1\sigma )u^1(j_p^1\sigma )\\ & =(p^2{)}^2\cdot 2p^1{p}^2-2\cdot p^2\cdot p^1(p^2{)}^2\\ & =2p^1(p^2{)}^3-2p^1(p^2{)}^3\\ & =0\end{array}$

y entonces $j_p^1\sigma \in S$ para cada p ∈ 'R' ².

Prolongación de un jet

Un difeomorfismo local ψ: J^r(π) → J^r (π) 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 J^r(π), entonces ψ * θ también es una forma de contacto.

El flujo generado por un campo vectorial V^r en el espacio de jets J^r (π) forma un grupo de un solo parámetro de transformaciones de contacto si y solo si la derivada de Lie ${ℒ}_{V^r}(\theta )$ de cualquier forma de contacto θ conserva el contacto ideal.

Para el caso de primer orden, se considera un campo de vectores general V¹ en J¹ (π), dado por

$V^1\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}{\rho }^i(x^i,u^{\alpha },u_I^{\alpha })\frac{\partial }{\partial x^i}+{\varphi }^{\alpha }(x^i,u^{\alpha },u_I^{\alpha })\frac{\partial }{\partial u^{\alpha }}+{\chi }_i^{\alpha }(x^i,u^{\alpha },u_I^{\alpha })\frac{\partial }{\partial u_i^{\alpha }}.$

Ahora se aplica ${ℒ}_{V^1}$ a las formas de contacto básicas ${\theta }_0^{\alpha }=d{u}^{\alpha }-u_i^{\alpha }d{x}^i,$ y se amplia la derivada exterior de las funciones en términos de sus coordenadas para obtener:

$\begin{array}{cc}{ℒ}_{V^1}({\theta }_0^{\alpha })& ={ℒ}_{V^1}(d{u}^{\alpha }-u_i^{\alpha }d{x}^i)\\ & ={ℒ}_{V^1}d{u}^{\alpha }-({ℒ}_{V^1}{u}_i^{\alpha })d{x}^i-u_i^{\alpha }({ℒ}_{V^1}d{x}^i)\\ & =d(V^1{u}^{\alpha })-V^1{u}_i^{\alpha }d{x}^i-u_i^{\alpha }d(V^1{x}^i)\\ & =d{\varphi }^{\alpha }-{\chi }_i^{\alpha }d{x}^i-u_i^{\alpha }d{\rho }^i\\ & =\frac{\partial {\varphi }^{\alpha }}{\partial x^i}d{x}^i+\frac{\partial {\varphi }^{\alpha }}{\partial u^k}d{u}^k+\frac{\partial {\varphi }^{\alpha }}{\partial u_i^k}d{u}_i^k-{\chi }_i^{\alpha }d{x}^i-u_i^{\alpha }[\frac{\partial {\rho }^i}{\partial x^m}d{x}^m+\frac{\partial {\rho }^i}{\partial u^k}d{u}^k+\frac{\partial {\rho }^i}{\partial u_m^k}d{u}_m^k]\\ & =\frac{\partial {\varphi }^{\alpha }}{\partial x^i}d{x}^i+\frac{\partial {\varphi }^{\alpha }}{\partial u^k}({\theta }^k+u_i^{k}d{x}^i)+\frac{\partial {\varphi }^{\alpha }}{\partial u_i^k}d{u}_i^k-{\chi }_i^{\alpha }d{x}^i-u_l^{\alpha }[\frac{\partial {\rho }^l}{\partial x^i}d{x}^i+\frac{\partial {\rho }^l}{\partial u^k}({\theta }^k+u_i^{k}d{x}^i)+\frac{\partial {\rho }^l}{\partial u_i^k}d{u}_i^k]\\ & =[\frac{\partial {\varphi }^{\alpha }}{\partial x^i}+\frac{\partial {\varphi }^{\alpha }}{\partial u^k}{u}_i^k-u_l^{\alpha }(\frac{\partial {\rho }^l}{\partial x^i}+\frac{\partial {\rho }^l}{\partial u^k}{u}_i^k)-{\chi }_i^{\alpha }]d{x}^i+[\frac{\partial {\varphi }^{\alpha }}{\partial u_i^k}-u_l^{\alpha }\frac{\partial {\rho }^l}{\partial u_i^k}]d{u}_i^k+(\frac{\partial {\varphi }^{\alpha }}{\partial u^k}-u_l^{\alpha }\frac{\partial {\rho }^l}{\partial u^k}){\theta }^k\end{array}$

Por lo tanto, V¹ determina una transformación de contacto si y solo si los coeficientes de dxⁱ y $d{u}_i^k$ desaparecen. Los últimos requisitos implican las condiciones de contacto

$\frac{\partial {\varphi }^{\alpha }}{\partial u_i^k}-u_l^{\alpha }\frac{\partial {\rho }^l}{\partial u_i^k}=0$

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

${\chi }_i^{\alpha }={\hat{D}}_i{\varphi }^{\alpha }-u_l^{\alpha }({\hat{D}}_i{\rho }^l)$

donde

${\hat{D}}_i=\frac{\partial }{\partial x^i}+u_i^k\frac{\partial }{\partial u^k}$

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

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

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

Ejemplo

Considérese el caso (E, π, M), donde E ≅ R² y M ≃ R. Entonces, (J¹(π), π, E) define el primer haz del jet, y puede ser coordenado por (x, u, u₁), donde

$\begin{array}{cc}x(j_p^1\sigma )& =x(p)=x\\ u(j_p^1\sigma )& =u(\sigma (p))=u(\sigma (x))=\sigma (x)\\ u_1(j_p^1\sigma )& ={\frac{\partial \sigma }{\partial x}|}_p=\dot{\sigma }(x)\end{array}$

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

$\theta =du-u_{1}dx$

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

$V=x\frac{\partial }{\partial u}-u\frac{\partial }{\partial x}$

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

$\begin{array}{cc}{V}^1& =V+Z\\ & =x\frac{\partial }{\partial u}-u\frac{\partial }{\partial x}+Z\\ & =x\frac{\partial }{\partial u}-u\frac{\partial }{\partial x}+\rho (x,u,u_1)\frac{\partial }{\partial u_1}\end{array}$

Si ahora se toma la derivada de Lie de la forma de contacto con respecto a este campo de vector prolongado, se obtiene ${ℒ}_{V^1}(\theta ),$

$\begin{array}{cc}{ℒ}_{V^1}(\theta )& ={ℒ}_{V^1}(du-u_{1}dx)\\ & ={ℒ}_{V^1}du-({ℒ}_{V^1}{u}_1)dx-u_1({ℒ}_{V^1}dx)\\ & =d(V^{1}u)-V^1{u}_{1}dx-u_{1}d(V^{1}x)\\ & =dx-\rho (x,u,u_1)dx+u_{1}du\\ & =(1-\rho (x,u,u_1))dx+u_{1}du\\ & =[1-\rho (x,u,u_1)]dx+u_1(\theta +u_{1}dx)& & du=\theta +u_{1}dx\\ & =[1+u_1{u}_1-\rho (x,u,u_1)]dx+u_1\theta \end{array}$

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

$1+u_1{u}_1-\rho (x,u,u_1)=0\iff \rho (x,u,u_1)=1+u_1{u}_1.$

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

$V^1=x\frac{\partial }{\partial u}-u\frac{\partial }{\partial x}+(1+u_1{u}_1)\frac{\partial }{\partial u_1}.$

Calculando también la segunda prolongación de V a un campo vectorial en J²(π), se tienen $\{x,u,u_1,u_2\}$ como coordenadas en J²(π). Por lo tanto, el vector prolongado tiene la forma

$V^2=x\frac{\partial }{\partial u}-u\frac{\partial }{\partial x}+\rho (x,u,u_1,u_2)\frac{\partial }{\partial u_1}+\varphi (x,u,u_1,u_2)\frac{\partial }{\partial u_2}.$

Las formas de contacto son

$\begin{array}{cc}\theta & =du-u_{1}dx\\ {\theta }_1& =d{u}_1-u_{2}dx\end{array}$

Para preservar el contacto ideal, se requiere

$\begin{array}{c}{ℒ}_{V^2}(\theta )=0\\ {ℒ}_{V^2}({\theta }_1)=0\end{array}$

Ahora, θ no tiene dependencia de u₂. Por lo tanto, a partir de esta ecuación se deduce la fórmula para ρ, que necesariamente será el mismo resultado encontrado para V¹. Por lo tanto, el problema es análogo a la prolongación del campo vectorial V¹ a J² (π). 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

$\rho (x,u,u_1)=1+u_1{u}_1$

y entonces

$\begin{array}{cc}{V}^2& =V^1+\varphi (x,u,u_1,u_2)\frac{\partial }{\partial u_2}\\ & =x\frac{\partial }{\partial u}-u\frac{\partial }{\partial x}+(1+u_1{u}_1)\frac{\partial }{\partial u_1}+\varphi (x,u,u_1,u_2)\frac{\partial }{\partial u_2}\end{array}$

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

$\begin{array}{cc}{ℒ}_{V^2}({\theta }_1)& ={ℒ}_{V^2}(d{u}_1-u_{2}dx)\\ & ={ℒ}_{V^2}d{u}_1-({ℒ}_{V^2}{u}_2)dx-u_2({ℒ}_{V^2}dx)\\ & =d(V^2{u}_1)-V^2{u}_{2}dx-u_{2}d(V^{2}x)\\ & =d(1+u_1{u}_1)-\varphi (x,u,u_1,u_2)dx+u_{2}du\\ & =2u_{1}d{u}_1-\varphi (x,u,u_1,u_2)dx+u_{2}du\\ & =2u_{1}d{u}_1-\varphi (x,u,u_1,u_2)dx+u_2(\theta +u_{1}dx)& du& =\theta +u_{1}dx\\ & =2u_1({\theta }_1+u_{2}dx)-\varphi (x,u,u_1,u_2)dx+u_2(\theta +u_{1}dx)& d{u}_1& ={\theta }_1+u_{2}dx\\ & =[3u_1{u}_2-\varphi (x,u,u_1,u_2)]dx+u_2\theta +2u_1{\theta }_1\end{array}$

Por lo tanto, para que ${ℒ}_{V^2}({\theta }_1)$ preserve el contacto ideal, es necesario que

$3u_1{u}_2-\varphi (x,u,u_1,u_2)=0\iff \varphi (x,u,u_1,u_2)=3u_1{u}_2.$

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

$V^2=x\frac{\partial }{\partial u}-u\frac{\partial }{\partial x}+(1+u_1{u}_1)\frac{\partial }{\partial u_1}+3u_1{u}_2\frac{\partial }{\partial u_2}.$

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 V², o al proyectar de nuevo a J¹ (π).

Espacios de jets infinitos

El límite inverso de la secuencia de proyecciones ${\pi }_{k+1,k}:J^{k+1}(\pi )\to J^k(\pi )$ da lugar al "espacio de jets infinito J^∞(π). Un punto $j_p^{\mathrm{\infty }}(\sigma )$ 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 $j_p^{\mathrm{\infty }}(\sigma )$ 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 ${\pi }_{k+1,k}:J^{k+1}(\pi )\to J^k(\pi )$ de variedades es la secuencia de aplicaciones inyectivas ${\pi }_{k+1,k}^{*}:C^{\mathrm{\infty }}(J^k(\pi ))\to C^{\mathrm{\infty }}(J^{k+1}(\pi ))$ de álgebras conmutativas. Denotando $C^{\mathrm{\infty }}(J^k(\pi ))$ simplemente por ${ℱ}_k(\pi )$, el límite directo $ℱ(\pi )$ de ${ℱ}_k(\pi )$ 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 $ℱ(\pi )$, que nace como un límite directo, tiene una estructura adicional: es un álgebra conmutativa filtrada.

A grandes rasgos, un elemento concreto $\phi \in ℱ(\pi )$ siempre pertenecerá a algún ${ℱ}_k(\pi )$, por lo que es una función suave en variedad de dimensión finita J^k (π) en el sentido habitual.

Ecuaciones en derivadas parciales infinitamente prolongadas

Dado un sistema de ecuaciones en derivadas parciales de orden k-ésimo E ⊆ J^k(π), la variedad de funciones suaves I(E) que se anulan en E sobre 'J^∞(π) es un ideal en el álgebra ${ℱ}_k(\pi )$, y por lo tanto también lo es en el límite directo $ℱ(\pi )$.

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 $ℱ(\pi )$ 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 $j_p^{\mathrm{\infty }}(\sigma )$ de E_(∞) está representado por una sección σ cuyo gráfico de k-jets es tangente a E en el punto $j_p^k(\sigma )$ 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 $\phi \circ j^k(\sigma )$ 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 $(E_{(\mathrm{\infty })},𝒞{|}_{E_{(\mathrm{\infty })}})$, 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

gr_f: M → M × N

gr_f (p) = (p, f (p))

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

Véase también

• Grupo de jets
• Jet (matemáticas)
• Sistema lagrangiano
• Bicomplejo variacional

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 .Plantilla:ISBN, Plantilla:ISBN.
• Saunders, D. J., "La geometría de los paquetes de Jet", Cambridge University Press, 1989, Plantilla:ISBN
• 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, Plantilla:ISBN.
• Olver, P. J., "Equivalencia, invariantes y simetría", Cambridge University Press, 1995, Plantilla:ISBN
• Giachetta, G., Mangiarotti, L., Sardanashvily, G., "Teoría avanzada del campo clásico", World Scientific, 2009, Plantilla:ISBN
• Sardanashvily, G., Geometría diferencial avanzada para teóricos. Paquetes de fibras, colectores de chorro y teoría de Lagrange ", Lambert Academic Publishing, 2013, Plantilla:ISBN; arXiv: 0908.1886