Реактивный комплект

В дифференциальной топологии струйное расслоение — это определенная конструкция, которая делает из заданного гладкого расслоения новое гладкое расслоение. Это позволяет записывать дифференциальные уравнения на сечениях расслоения в инвариантной форме. Джеты также можно рассматривать как бескоординатную версию расширений Тейлора .

Исторически расслоения струй приписывают Чарльзу Эресману и были развитием метода ( продолжения ) Эли Картана геометрической работы с высшими производными путем наложения условий дифференциальной формы на вновь введенные формальные переменные. Пучки струй иногда называют спреями , хотя спреи обычно относятся более конкретно к соответствующему векторному полю , индуцированному на соответствующем расслоении (например, геодезический спрей на многообразиях Финслера ).

С начала 1980-х годов струйные пучки появились как краткий способ описания явлений, связанных с производными карт, особенно тех, которые связаны с вариационным исчислением . ^[1] Следовательно, расслоение струй теперь признано правильной областью для геометрической ковариантной теории поля , и большая работа проделана в области общерелятивистских формулировок полей с использованием этого подхода.

Джеты

Предположим, что M — m - мерное многообразие и что ( E , π, M ) — расслоение . Для p ∈ M пусть Γ(p) обозначает множество всех локальных сечений, область определения которых содержит p . Пусть это мультииндекс ( набор m неотрицательных целых чисел, не обязательно в порядке возрастания), затем определите: ${\displaystyle I=(I(1),I(2),...,I(m))}$

${\displaystyle {\begin{aligned}|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{aligned}}}$

Определим локальные сечения σ, η ∈ Γ(p) так, чтобы они имели одну и ту же r -струю в точке p , если

${\displaystyle \left.{\frac {\partial ^{|I|}\sigma ^{\alpha }}{\partial x^{I}}}\right|_{p}=\left.{\frac {\partial ^{|I|}\eta ^{\alpha }}{\partial x^{I}}}\right|_{p},\quad 0\leq |I|\leq r.}$

Отношение того, что два отображения имеют одну и ту же r -струю, является отношением эквивалентности . r - джет является классом эквивалентности по этому отношению, и r -джет с представителем σ обозначается . Целое число r также называется порядком струи, p — ее источник , а σ( p ) — ее цель . ${\displaystyle j_{p}^{r}\sigma }$

Струйные коллекторы

r -е струйное многообразие π — это множество

${\displaystyle J^{r}(\pi )=\left\{j_{p}^{r}\sigma :p\in M,\sigma \in \Gamma (p)\right\}.}$

Мы можем определить проекции π _r и π _{r ,0,} называемые исходной и целевой проекциями соответственно, следующим образом:

${\displaystyle {\begin{cases}\pi _{r}:J^{r}(\pi )\to M\\j_{p}^{r}\sigma \mapsto p\end{cases}},\qquad {\begin{cases}\pi _{r,0}:J^{r}(\pi )\to E\\j_{p}^{r}\sigma \mapsto \sigma (p)\end{cases}}}$

Если 1 ⩽ k ⩽ r , то проекция k -струи — это функция π _r,k, определенная формулой

${\displaystyle {\begin{cases}\pi _{r,k}:J^{r}(\pi )\to J^{k}(\pi )\\j_{p}^{r}\sigma \mapsto j_{p}^{k}\sigma \end{cases}}}$

Из этого определения ясно, что π _r = π o π _{r ,0} и что если 0 ⩽ m ⩽ k , то π _r,m = π _k,m o π _r,k . Традиционно рассматривать π _r,r как тождественное отображение на J  ^r ( π ) и отождествлять J  ⁰ ( π ) с E .

Функции π _r,k , π _{r ,0} и π _r являются гладкими сюръективными субмерсиями .

Система координат на E будет порождать систему координат на J  ^r ( π ). Пусть ( U , u ) — адаптированная координатная карта на E , где u = ( x ⁱ , u ^α ). Индуцированная координатная карта ( U ^r , u ^r ) на J  ^r ( π ) определяется формулой

${\displaystyle {\begin{aligned}U^{r}&=\left\{j_{p}^{r}\sigma :p\in M,\sigma (p)\in U\right\}\\u^{r}&=\left(x^{i},u^{\alpha },u_{I}^{\alpha }\right)\end{aligned}}}$

где

${\displaystyle {\begin{aligned}x^{i}\left(j_{p}^{r}\sigma \right)&=x^{i}(p)\\u^{\alpha }\left(j_{p}^{r}\sigma \right)&=u^{\alpha }(\sigma (p))\end{aligned}}}$

и функции, известные как производные координаты : ${\displaystyle n\left({\binom {m+r}{r}}-1\right)}$

${\displaystyle {\begin{cases}u_{I}^{\alpha }:U^{k}\to \mathbf {R} \\u_{I}^{\alpha }\left(j_{p}^{r}\sigma \right)=\left.{\frac {\partial ^{|I|}\sigma ^{\alpha }}{\partial x^{I}}}\right|_{p}\end{cases}}}$

Учитывая атлас адаптированных карт ( U , u ) на E , соответствующий набор карт ( U  ^r , ur  ⁾ является конечномерным атласом C ^∞ на J  ^r ( π ).

Реактивные пакеты

Поскольку атлас на каждом из них определяет многообразие, тройки и все определяют расслоенные многообразия. В частности, если — расслоение, тройка определяет r -е струйное расслоение π . ${\displaystyle J^{r}(\pi )}$ ${\displaystyle (J^{r}(\pi ),\pi _{r,k},J^{k}(\pi ))}$ ${\displaystyle (J^{r}(\pi ),\pi _{r,0},E)}$ ${\displaystyle (J^{r}(\pi ),\pi _{r},M)}$ ${\displaystyle (E,\pi ,M)}$ ${\displaystyle (J^{r}(\pi ),\pi _{r},M)}$

Если W ⊂ M — открытое подмногообразие, то

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

Если p ∈ M , то слой обозначается как . ${\displaystyle \pi _{r}^{-1}(p)\,}$ ${\displaystyle J_{p}^{r}(\pi )}$

Пусть σ — локальное сечение π с областью определения W ⊂ M. r - е струйное продолжение σ — это отображение , определяемое формулой ${\displaystyle j^{r}\sigma :W\rightarrow J^{r}(\pi )}$

${\displaystyle (j^{r}\sigma )(p)=j_{p}^{r}\sigma .\,}$

Обратите внимание, что , so действительно является разделом. В местных координатах имеет вид ${\displaystyle \pi _{r}\circ j^{r}\sigma =\mathbb {id} _{W}}$ ${\displaystyle j^{r}\sigma }$ ${\displaystyle j^{r}\sigma }$

${\displaystyle \left(\sigma ^{\alpha },{\frac {\partial ^{|I|}\sigma ^{\alpha }}{\partial x^{I}}}\right)\qquad 1\leq |I|\leq r.\,}$

Мы идентифицируем себя с . ${\displaystyle j^{0}\sigma }$ ${\displaystyle \sigma }$

Алгебро-геометрическая перспектива

Приведено самостоятельно мотивированное построение пучка разделов . ${\displaystyle \Gamma J^{k}\left(\pi _{TM}\right)}$

Рассмотрим диагональное отображение , где гладкое многообразие является локально окольцованным пространством для каждого открытого пространства . Пусть – идеальный пучок , что то же самое – пучок гладких ростков , исчезающих для всех . Обращение факторпучка от к by есть пучок k- струй . ^[2] ${\textstyle \Delta _{n}:M\to \prod _{i=1}^{n+1}M}$ ${\displaystyle M}$ ${\displaystyle C^{k}(U)}$ ${\displaystyle U}$ ${\displaystyle {\mathcal {I}}}$ ${\displaystyle \Delta _{n}(M)}$ ${\displaystyle {\mathcal {I}}}$ ${\displaystyle \Delta _{n}(M)}$ ${\displaystyle 0<n\leq k}$ ${\displaystyle {\Delta _{n}}^{*}\left({\mathcal {I}}/{\mathcal {I}}^{n+1}\right)}$ ${\textstyle \prod _{i=1}^{n+1}M}$ ${\displaystyle M}$ ${\displaystyle \Delta _{n}}$

Прямой предел последовательности инжекций, заданной каноническими включениями пучков, приводит к возникновению бесконечного струйного пучка . Заметим, что по конструкции прямого предела это фильтруемое кольцо. ${\displaystyle {\mathcal {I}}^{n+1}\hookrightarrow {\mathcal {I}}^{n}}$ ${\displaystyle {\mathcal {J}}^{\infty }(TM)}$

Пример

Если π — тривиальное расслоение ( M × R , pr ₁ , M ), то существует канонический диффеоморфизм между первым расслоением струй и T*M × R . Чтобы построить этот диффеоморфизм, для каждого σ в write . ${\displaystyle J^{1}(\pi )}$ ${\displaystyle \Gamma _{M}(\pi )}$ ${\displaystyle {\bar {\sigma }}=pr_{2}\circ \sigma \in C^{\infty }(M)\,}$

Тогда всякий раз, когда p ∈ M

${\displaystyle j_{p}^{1}\sigma =\left\{\psi :\psi \in \Gamma _{p}(\pi );{\bar {\psi }}(p)={\bar {\sigma }}(p);d{\bar {\psi }}_{p}=d{\bar {\sigma }}_{p}\right\}.\,}$

Следовательно, отображение

${\displaystyle {\begin{cases}J^{1}(\pi )\to T^{*}M\times \mathbf {R} \\j_{p}^{1}\sigma \mapsto \left(d{\bar {\sigma }}_{p},{\bar {\sigma }}(p)\right)\end{cases}}}$

четко определен и явно инъективен . Запись его в координатах показывает, что это диффеоморфизм, потому что если (x ⁱ , u) — координаты на M × R , где u = id _R — единичная координата, то производные координаты u _i на J ¹ (π) соответствуют координатам ∂i _на T *M .

Аналогично, если π — тривиальное расслоение ( R × M , pr ₁ , R ), то существует канонический диффеоморфизм между и R × TM . ${\displaystyle J^{1}(\pi )}$

Структура контактов

Пространство J ^r (π) несет в себе естественное распределение , то есть подрасслоение касательного расслоения TJ ^r (π)), называемое распределением Картана . Распределение Картана натянуто всеми касательными плоскостями к графикам голономных сечений; то есть сечения вида j ^r φ для φ — сечения π.

Аннулятор распределения Картана — это пространство дифференциальных одноформ , называемых контактными формами , на J ^r (π). Пространство дифференциальных одноформ на J ^r (π) обозначается через , а пространство контактных форм – через . Единичная форма является контактной формой при условии, что ее откат вдоль каждого продолжения равен нулю. Другими словами, является контактной формой тогда и только тогда, когда ${\displaystyle \Lambda ^{1}J^{r}(\pi )}$ ${\displaystyle \Lambda _{C}^{r}\pi }$ ${\displaystyle \theta \in \Lambda ^{1}J^{r}\pi }$

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

для всех локальных сечений σ точки π над M .

Распределение Картана является основной геометрической структурой в пространствах джетов и играет важную роль в геометрической теории уравнений в частных производных . Распределения Картана совершенно неинтегрируемы. В частности, они не инволютивны . Размерность распределения Картана растет с увеличением порядка струйного пространства. Однако в пространстве бесконечных струй J ^∞ распределение Картана становится инволютивным и конечномерным: его размерность совпадает с размерностью базового многообразия M .

Пример

Рассмотрим случай (E, π, M) , где E ≃ R ² и M ≃ R . Тогда (J ¹ (π), π, M) определяет первое расслоение струй и может координироваться с помощью (x, u, u ₁ ) , где

${\displaystyle {\begin{aligned}x\left(j_{p}^{1}\sigma \right)&=x(p)=x\\u\left(j_{p}^{1}\sigma \right)&=u(\sigma (p))=u(\sigma (x))=\sigma (x)\\u_{1}\left(j_{p}^{1}\sigma \right)&=\left.{\frac {\partial \sigma }{\partial x}}\right|_{p}=\sigma '(x)\end{aligned}}}$

для всех p ∈ M и σ в Γ _p (π). Общая 1-форма на J ¹ (π) принимает вид

${\displaystyle \theta =a(x,u,u_{1})dx+b(x,u,u_{1})du+c(x,u,u_{1})du_{1}\,}$

Сечение σ в Γ _p (π) имеет первое продолжение

${\displaystyle j^{1}\sigma =(u,u_{1})=\left(\sigma (p),\left.{\frac {\partial \sigma }{\partial x}}\right|_{p}\right).}$

Следовательно, (j ¹ σ)*θ можно вычислить как

${\displaystyle {\begin{aligned}\left(j_{p}^{1}\sigma \right)^{*}\theta &=\theta \circ j_{p}^{1}\sigma \\&=a(x,\sigma (x),\sigma '(x))dx+b(x,\sigma (x),\sigma '(x))d(\sigma (x))+c(x,\sigma (x),\sigma '(x))d(\sigma '(x))\\&=a(x,\sigma (x),\sigma '(x))dx+b(x,\sigma (x),\sigma '(x))\sigma '(x)dx+c(x,\sigma (x),\sigma '(x))\sigma ''(x)dx\\&=[a(x,\sigma (x),\sigma '(x))+b(x,\sigma (x),\sigma '(x))\sigma '(x)+c(x,\sigma (x),\sigma '(x))\sigma ''(x)]dx\end{aligned}}}$

Это будет равно нулю для всех участков σ тогда и только тогда, когда c = 0 и a = − bσ′(x) . Следовательно, θ = b(x, u, u ₁ )θ ₀ обязательно должно быть кратным основной контактной форме θ ₀ = du − u ₁ dx . Переходя ко второму струйному пространству J ² (π) с дополнительной координатой u ₂ , такой, что

${\displaystyle u_{2}(j_{p}^{2}\sigma )=\left.{\frac {\partial ^{2}\sigma }{\partial x^{2}}}\right|_{p}=\sigma ''(x)\,}$

общая 1-форма имеет конструкцию

${\displaystyle \theta =a(x,u,u_{1},u_{2})dx+b(x,u,u_{1},u_{2})du+c(x,u,u_{1},u_{2})du_{1}+e(x,u,u_{1},u_{2})du_{2}\,}$

Это контактная форма тогда и только тогда, когда

${\displaystyle {\begin{aligned}\left(j_{p}^{2}\sigma \right)^{*}\theta &=\theta \circ j_{p}^{2}\sigma \\&=a(x,\sigma (x),\sigma '(x),\sigma ''(x))dx+b(x,\sigma (x),\sigma '(x),\sigma ''(x))d(\sigma (x))+{}\\&\qquad \qquad c(x,\sigma (x),\sigma '(x),\sigma ''(x))d(\sigma '(x))+e(x,\sigma (x),\sigma '(x),\sigma ''(x))d(\sigma ''(x))\\&=adx+b\sigma '(x)dx+c\sigma ''(x)dx+e\sigma '''(x)dx\\&=[a+b\sigma '(x)+c\sigma ''(x)+e\sigma '''(x)]dx\\&=0\end{aligned}}}$

откуда следует, что e = 0 и a = − bσ′(x) − cσ′′(x) . Следовательно, θ является контактной формой тогда и только тогда, когда

${\displaystyle \theta =b(x,\sigma (x),\sigma '(x))\theta _{0}+c(x,\sigma (x),\sigma '(x))\theta _{1},}$

где θ ₁ = du ₁ − u ₂ dx — следующая базовая контактная форма (заметим, что здесь мы отождествляем форму θ ₀ с ее возвратом к J ² (π) ). ${\displaystyle \left(\pi _{2,1}\right)^{*}\theta _{0}}$

В общем случае, если x, u ∈ R , контактная форма на J ^r+1 (π) может быть записана как линейная комбинация основных контактных форм

${\displaystyle \theta _{k}=du_{k}-u_{k+1}dx\qquad k=0,\ldots ,r-1\,}$

где

${\displaystyle u_{k}\left(j^{k}\sigma \right)=\left.{\frac {\partial ^{k}\sigma }{\partial x^{k}}}\right|_{p}.}$

Подобные рассуждения приводят к полной характеристике всех контактных форм.

В локальных координатах каждую контактную одноформу на J ^r+1 (π) можно записать в виде линейной комбинации

${\displaystyle \theta =\sum _{|I|=0}^{r}P_{\alpha }^{I}\theta _{I}^{\alpha }}$

с гладкими коэффициентами основных контактных форм ${\displaystyle P_{i}^{\alpha }(x^{i},u^{\alpha },u_{I}^{\alpha })}$

${\displaystyle \theta _{I}^{\alpha }=du_{I}^{\alpha }-u_{I,i}^{\alpha }dx^{i}\,}$

|Я| известен как заказ контактной формы . Заметим, что контактные формы на J ^r+1 (π) имеют порядок не выше r . Контактные формы дают характеристику тех локальных сечений π _r+1 , которые являются продолжениями сечений π. ${\displaystyle \theta _{i}^{\alpha }}$

Пусть ψ ∈ Γ _W ( π _r+1 ), тогда ψ = j ^r+1 σ, где σ ∈ Γ _W (π), тогда и только тогда, когда ${\displaystyle \psi ^{*}(\theta |_{W})=0,\forall \theta \in \Lambda _{C}^{1}\pi _{r+1,r}.\,}$

Векторные поля

Общее векторное поле на общем пространстве E , координируемое , есть ${\displaystyle (x,u)\mathrel {\stackrel {\mathrm {def} }{=}} \left(x^{i},u^{\alpha }\right)\,}$

${\displaystyle V\mathrel {\stackrel {\mathrm {def} }{=}} \rho ^{i}(x,u){\frac {\partial }{\partial x^{i}}}+\phi ^{\alpha }(x,u){\frac {\partial }{\partial u^{\alpha }}}.\,}$

Векторное поле называется горизонтальным , что означает, что все вертикальные коэффициенты равны нулю, если = 0. ${\displaystyle \phi ^{\alpha }}$

Векторное поле называется вертикальным , что означает, что все горизонтальные коэффициенты обращаются в нуль, если ρ ⁱ = 0.

При фиксированном (x, u) мы определяем

${\displaystyle V_{(x,u)}\mathrel {\stackrel {\mathrm {def} }{=}} \rho ^{i}(x,u){\frac {\partial }{\partial x^{i}}}+\phi ^{\alpha }(x,u){\frac {\partial }{\partial u^{\alpha }}}\,}$

имеющий координаты (x, u, ρ ⁱ , φ ^α ) с элементом в слое T xu _E TE над ( x, u) в E , называемый касательным вектором в TE . Секция

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

называется векторным полем на E с

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

и ψ в Γ(TE) .

Струйный пучок J ^r (π) координируется . Для фиксированного (x, u, w) определите ${\displaystyle (x,u,w)\mathrel {\stackrel {\mathrm {def} }{=}} \left(x^{i},u^{\alpha },w_{i}^{\alpha }\right)\,}$

${\displaystyle V_{(x,u,w)}\mathrel {\stackrel {\mathrm {def} }{=}} 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 }}}}$

имея координаты

${\displaystyle \left(x,u,w,v_{i}^{\alpha },v_{i_{1}i_{2}}^{\alpha },\cdots ,v_{i_{1}\cdots i_{r}}^{\alpha }\right),}$

с элементом в слое TJ r ⁽ π) над (x, u, w) ∈ J ^r (π) , называемым касательным вектором в TJ ^r (π) . Здесь, ${\displaystyle T_{xuw}(J^{r}\pi )}$

${\displaystyle v_{i}^{\alpha },v_{i_{1}i_{2}}^{\alpha },\ldots ,v_{i_{1}\cdots i_{r}}^{\alpha }}$

являются вещественными функциями на J ^r (π) . Секция

${\displaystyle {\begin{cases}\Psi :J^{r}(\pi )\to TJ^{r}(\pi )\\(x,u,w)\mapsto \Psi (u,w)=V\end{cases}}}$

является векторным полем на J ^r (π) , и мы говорим ${\displaystyle \Psi \in \Gamma (T\left(J^{r}\pi \right)).}$

Уравнения в частных производных

Пусть (E, π, M) — расслоение. Уравнение в частных производных r -го порядка на π — это замкнутое вложенное подмногообразие S струйного многообразия J ^r (π) . Решением является локальное сечение σ ∈ Γ _W (π), удовлетворяющее , для всех p в M . ${\displaystyle j_{p}^{r}\sigma \in S}$

Рассмотрим пример уравнения в частных производных первого порядка.

Пример

Пусть π — тривиальный расслоение ( R ² × R , pr ₁ , R ² ) с глобальными координатами ( x ¹ , x ² , u ¹ ). Тогда отображение F  : J ¹ (π) → R , определенное формулой

${\displaystyle F=u_{1}^{1}u_{2}^{1}-2x^{2}u^{1}}$

приводит к дифференциальному уравнению

${\displaystyle S=\left\{j_{p}^{1}\sigma \in J^{1}\pi \ :\ \left(u_{1}^{1}u_{2}^{1}-2x^{2}u^{1}\right)\left(j_{p}^{1}\sigma \right)=0\right\}}$

который можно написать

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

Конкретный

${\displaystyle {\begin{cases}\sigma :\mathbf {R} ^{2}\to \mathbf {R} ^{2}\times \mathbf {R} \\\sigma (p_{1},p_{2})=\left(p^{1},p^{2},p^{1}(p^{2})^{2}\right)\end{cases}}}$

имеет первое продолжение, заданное формулой

${\displaystyle j^{1}\sigma \left(p_{1},p_{2}\right)=\left(p^{1},p^{2},p^{1}\left(p^{2}\right)^{2},\left(p^{2}\right)^{2},2p^{1}p^{2}\right)}$

и является решением этого дифференциального уравнения, поскольку

${\displaystyle {\begin{aligned}\left(u_{1}^{1}u_{2}^{1}-2x^{2}u^{1}\right)\left(j_{p}^{1}\sigma \right)&=u_{1}^{1}\left(j_{p}^{1}\sigma \right)u_{2}^{1}\left(j_{p}^{1}\sigma \right)-2x^{2}\left(j_{p}^{1}\sigma \right)u^{1}\left(j_{p}^{1}\sigma \right)\\&=\left(p^{2}\right)^{2}\cdot 2p^{1}p^{2}-2\cdot p^{2}\cdot p^{1}\left(p^{2}\right)^{2}\\&=2p^{1}\left(p^{2}\right)^{3}-2p^{1}\left(p^{2}\right)^{3}\\&=0\end{aligned}}}$

и так для каждого p ∈ R2 ^. ${\displaystyle j_{p}^{1}\sigma \in S}$

Удлинение струи

Локальный диффеоморфизм ψ  : J ^r ( π ) → J ^r ( π ) определяет контактное преобразование порядка r , если оно сохраняет контактный идеал, а это означает, что если θ - любая контактная форма на J ^r ( π ), то ψ*θ является также контактная форма.

Поток, порождаемый векторным полем V ^r на пространстве джетов J ^r (π), образует однопараметрическую группу контактных преобразований тогда и только тогда, когда производная Ли любой контактной формы θ сохраняет контактный идеал. ${\displaystyle {\mathcal {L}}_{V^{r}}(\theta )}$

Начнем со случая первого порядка. Рассмотрим общее векторное поле V ¹ на J ¹ ( π ), заданное формулой

${\displaystyle V^{1}\ {\stackrel {\mathrm {def} }{=}}\ \rho ^{i}\left(x^{i},u^{\alpha },u_{I}^{\alpha }\right){\frac {\partial }{\partial x^{i}}}+\phi ^{\alpha }\left(x^{i},u^{\alpha },u_{I}^{\alpha }\right){\frac {\partial }{\partial u^{\alpha }}}+\chi _{i}^{\alpha }\left(x^{i},u^{\alpha },u_{I}^{\alpha }\right){\frac {\partial }{\partial u_{i}^{\alpha }}}.}$

Теперь обратимся к основным контактным формам и разложим внешнюю производную функций по их координатам, чтобы получить: ${\displaystyle {\mathcal {L}}_{V^{1}}}$ ${\displaystyle \theta _{0}^{\alpha }=du^{\alpha }-u_{i}^{\alpha }dx^{i},}$

${\displaystyle {\begin{aligned}{\mathcal {L}}_{V^{1}}\left(\theta _{0}^{\alpha }\right)&={\mathcal {L}}_{V^{1}}\left(du^{\alpha }-u_{i}^{\alpha }dx^{i}\right)\\&={\mathcal {L}}_{V^{1}}du^{\alpha }-\left({\mathcal {L}}_{V^{1}}u_{i}^{\alpha }\right)dx^{i}-u_{i}^{\alpha }\left({\mathcal {L}}_{V^{1}}dx^{i}\right)\\&=d\left(V^{1}u^{\alpha }\right)-V^{1}u_{i}^{\alpha }dx^{i}-u_{i}^{\alpha }d\left(V^{1}x^{i}\right)\\&=d\phi ^{\alpha }-\chi _{i}^{\alpha }dx^{i}-u_{i}^{\alpha }d\rho ^{i}\\&={\frac {\partial \phi ^{\alpha }}{\partial x^{i}}}dx^{i}+{\frac {\partial \phi ^{\alpha }}{\partial u^{k}}}du^{k}+{\frac {\partial \phi ^{\alpha }}{\partial u_{i}^{k}}}du_{i}^{k}-\chi _{i}^{\alpha }dx^{i}-u_{i}^{\alpha }\left[{\frac {\partial \rho ^{i}}{\partial x^{m}}}dx^{m}+{\frac {\partial \rho ^{i}}{\partial u^{k}}}du^{k}+{\frac {\partial \rho ^{i}}{\partial u_{m}^{k}}}du_{m}^{k}\right]\\&={\frac {\partial \phi ^{\alpha }}{\partial x^{i}}}dx^{i}+{\frac {\partial \phi ^{\alpha }}{\partial u^{k}}}\left(\theta ^{k}+u_{i}^{k}dx^{i}\right)+{\frac {\partial \phi ^{\alpha }}{\partial u_{i}^{k}}}du_{i}^{k}-\chi _{i}^{\alpha }dx^{i}-u_{l}^{\alpha }\left[{\frac {\partial \rho ^{l}}{\partial x^{i}}}dx^{i}+{\frac {\partial \rho ^{l}}{\partial u^{k}}}\left(\theta ^{k}+u_{i}^{k}dx^{i}\right)+{\frac {\partial \rho ^{l}}{\partial u_{i}^{k}}}du_{i}^{k}\right]\\&=\left[{\frac {\partial \phi ^{\alpha }}{\partial x^{i}}}+{\frac {\partial \phi ^{\alpha }}{\partial u^{k}}}u_{i}^{k}-u_{l}^{\alpha }\left({\frac {\partial \rho ^{l}}{\partial x^{i}}}+{\frac {\partial \rho ^{l}}{\partial u^{k}}}u_{i}^{k}\right)-\chi _{i}^{\alpha }\right]dx^{i}+\left[{\frac {\partial \phi ^{\alpha }}{\partial u_{i}^{k}}}-u_{l}^{\alpha }{\frac {\partial \rho ^{l}}{\partial u_{i}^{k}}}\right]du_{i}^{k}+\left({\frac {\partial \phi ^{\alpha }}{\partial u^{k}}}-u_{l}^{\alpha }{\frac {\partial \rho ^{l}}{\partial u^{k}}}\right)\theta ^{k}\end{aligned}}}$

Следовательно, V ¹ определяет контактное преобразование тогда и только тогда, когда коэффициенты при dx ⁱ и в формуле равны нулю. Последние требования подразумевают условия контакта ${\displaystyle du_{i}^{k}}$

${\displaystyle {\frac {\partial \phi ^{\alpha }}{\partial u_{i}^{k}}}-u_{l}^{\alpha }{\frac {\partial \rho ^{l}}{\partial u_{i}^{k}}}=0}$

Первые требования обеспечивают явные формулы для коэффициентов членов первой производной в V ¹ :

${\displaystyle \chi _{i}^{\alpha }={\widehat {D}}_{i}\phi ^{\alpha }-u_{l}^{\alpha }\left({\widehat {D}}_{i}\rho ^{l}\right)}$

где

${\displaystyle {\widehat {D}}_{i}={\frac {\partial }{\partial x^{i}}}+u_{i}^{k}{\frac {\partial }{\partial u^{k}}}}$

обозначает усечение нулевого порядка полной производной D _i .

Таким образом, условия контакта однозначно предписывают продолжение любой точки или контактного векторного поля. То есть, если удовлетворяет этим уравнениям, V ^r называется r -м продолжением V в векторное поле на J ^r (π) . ${\displaystyle {\mathcal {L}}_{V^{r}}}$

Эти результаты лучше всего понятны применительно к конкретному примеру. Поэтому давайте рассмотрим следующее.

Пример

Рассмотрим случай (E ^, π , M) , где E ≅ R2 и M ≃ R. Тогда (J ¹ (π), π, E) определяет первое расслоение струй и может координироваться с помощью (x, u, u ₁ ) , где

${\displaystyle {\begin{aligned}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 )&=\left.{\frac {\partial \sigma }{\partial x}}\right|_{p}={\dot {\sigma }}(x)\end{aligned}}}$

для всех p ∈ M и σ в Γ _p ( π ). Контактная форма на J ¹ (π) имеет вид

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

Рассмотрим вектор V на E , имеющий вид

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

Тогда первое продолжение этого векторного поля на J ¹ (π) будет

${\displaystyle {\begin{aligned}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{aligned}}}$

Если теперь мы возьмем производную Ли контактной формы по этому продолженному векторному полю, мы получим ${\displaystyle {\mathcal {L}}_{V^{1}}(\theta ),}$

${\displaystyle {\begin{aligned}{\mathcal {L}}_{V^{1}}(\theta )&={\mathcal {L}}_{V^{1}}(du-u_{1}dx)\\&={\mathcal {L}}_{V^{1}}du-\left({\mathcal {L}}_{V^{1}}u_{1}\right)dx-u_{1}\left({\mathcal {L}}_{V^{1}}dx\right)\\&=d\left(V^{1}u\right)-V^{1}u_{1}dx-u_{1}d\left(V^{1}x\right)\\&=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{aligned}}}$

Следовательно, для сохранения контактного идеала потребуем

${\displaystyle 1+u_{1}u_{1}-\rho (x,u,u_{1})=0\quad \Leftrightarrow \quad \rho (x,u,u_{1})=1+u_{1}u_{1}.}$

Итак, первое продолжение V в векторное поле на J ¹ (π) равно

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

Вычислим также второе продолжение V до векторного поля на J ² (π) . Имеем в качестве координат на J ² (π) . Следовательно, продленный вектор имеет вид ${\displaystyle \{x,u,u_{1},u_{2}\}}$

${\displaystyle V^{2}=x{\frac {\partial }{\partial u}}-u{\frac {\partial }{\partial x}}+\rho (x,u,u_{1},u_{2}){\frac {\partial }{\partial u_{1}}}+\phi (x,u,u_{1},u_{2}){\frac {\partial }{\partial u_{2}}}.}$

Контактные формы

${\displaystyle {\begin{aligned}\theta &=du-u_{1}dx\\\theta _{1}&=du_{1}-u_{2}dx\end{aligned}}}$

Для сохранения контактного идеала потребуем

${\displaystyle {\begin{aligned}{\mathcal {L}}_{V^{2}}(\theta )&=0\\{\mathcal {L}}_{V^{2}}(\theta _{1})&=0\end{aligned}}}$

Теперь θ не имеет зависимости от u ₂ . Следовательно, из этого уравнения мы подберем формулу для ρ , которая обязательно будет тем же результатом, что мы нашли для V ¹ . Поэтому задача аналогична продолжению векторного поля V ¹ до J ² (π). Другими словами, мы можем сгенерировать r -е продолжение векторного поля, рекурсивно применяя производную Ли контактных форм по отношению к продолженным векторным полям r раз. Итак, у нас есть

${\displaystyle \rho (x,u,u_{1})=1+u_{1}u_{1}}$

и так

${\displaystyle {\begin{aligned}V^{2}&=V^{1}+\phi (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}}}+\phi (x,u,u_{1},u_{2}){\frac {\partial }{\partial u_{2}}}\end{aligned}}}$

Поэтому производная Ли второй контактной формы по V ² равна

${\displaystyle {\begin{aligned}{\mathcal {L}}_{V^{2}}(\theta _{1})&={\mathcal {L}}_{V^{2}}(du_{1}-u_{2}dx)\\&={\mathcal {L}}_{V^{2}}du_{1}-\left({\mathcal {L}}_{V^{2}}u_{2}\right)dx-u_{2}\left({\mathcal {L}}_{V^{2}}dx\right)\\&=d(V^{2}u_{1})-V^{2}u_{2}dx-u_{2}d(V^{2}x)\\&=d(1+u_{1}u_{1})-\phi (x,u,u_{1},u_{2})dx+u_{2}du\\&=2u_{1}du_{1}-\phi (x,u,u_{1},u_{2})dx+u_{2}du\\&=2u_{1}du_{1}-\phi (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)-\phi (x,u,u_{1},u_{2})dx+u_{2}(\theta +u_{1}dx)&du_{1}&=\theta _{1}+u_{2}dx\\&=[3u_{1}u_{2}-\phi (x,u,u_{1},u_{2})]dx+u_{2}\theta +2u_{1}\theta _{1}\end{aligned}}}$

Следовательно, для сохранения контактного идеала нам потребуется ${\displaystyle {\mathcal {L}}_{V^{2}}(\theta _{1})}$

${\displaystyle 3u_{1}u_{2}-\phi (x,u,u_{1},u_{2})=0\quad \Leftrightarrow \quad \phi (x,u,u_{1},u_{2})=3u_{1}u_{2}.}$

Итак, второе продолжение V в векторное поле на J ² (π) равно

${\displaystyle 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}}}.}$

Обратите внимание, что первое продолжение V можно восстановить, опуская члены второй производной в V ² или проецируя обратно на J ¹ (π) .

Бесконечные реактивные пространства

Обратный предел последовательности проекций порождает бесконечное пространство джетов J ^∞ (π) . Точка — это класс эквивалентности сечений π, которые имеют ту же k -струю в p , что и σ, для всех значений k . Естественная проекция _π∞ отображается в p . ${\displaystyle \pi _{k+1,k}:J^{k+1}(\pi )\to J^{k}(\pi )}$ ${\displaystyle j_{p}^{\infty }(\sigma )}$ ${\displaystyle j_{p}^{\infty }(\sigma )}$

Если просто рассуждать в терминах координат, J ^∞ (π) кажется бесконечномерным геометрическим объектом. Фактически, самый простой способ введения дифференцируемой структуры на J ^∞ (π) , не полагаясь на дифференцируемые карты, дается дифференциальным исчислением над коммутативными алгебрами . Двойственной последовательности проекций многообразий является последовательность инъекций коммутативных алгебр. Обозначим просто через . Возьмем теперь прямой предел ' s . Это будет коммутативная алгебра, которую можно считать алгеброй гладких функций над геометрическим объектом J ^∞ (π) . Заметим, что , рожденная как прямой предел, несет в себе дополнительную структуру: это фильтрованная коммутативная алгебра. ${\displaystyle \pi _{k+1,k}:J^{k+1}(\pi )\to J^{k}(\pi )}$ ${\displaystyle \pi _{k+1,k}^{*}:C^{\infty }(J^{k}(\pi ))\to C^{\infty }\left(J^{k+1}(\pi )\right)}$ ${\displaystyle C^{\infty }(J^{k}(\pi ))}$ ${\displaystyle {\mathcal {F}}_{k}(\pi )}$ ${\displaystyle {\mathcal {F}}(\pi )}$ ${\displaystyle {\mathcal {F}}_{k}(\pi )}$ ${\displaystyle {\mathcal {F}}(\pi )}$

Грубо говоря, конкретный элемент всегда будет принадлежать некоторому , поэтому он является гладкой функцией на конечномерном многообразии J ^k (π) в обычном смысле. ${\displaystyle \varphi \in {\mathcal {F}}(\pi )}$ ${\displaystyle {\mathcal {F}}_{k}(\pi )}$

Бесконечно продолжительные PDE

Для системы УЧП E ⊆ J ^k (π) k -го порядка совокупность I(E) исчезающих на E гладких функций на J ^∞ (π) является идеалом в алгебре , а значит, и в прямом пределе . ${\displaystyle {\mathcal {F}}_{k}(\pi )}$ ${\displaystyle {\mathcal {F}}(\pi )}$

Улучшите I(E) , добавив все возможные композиции полных производных , примененных ко всем его элементам. Таким образом, мы получаем новый идеал I , который теперь замкнут относительно операции взятия полной производной. Подмногообразие E _(∞) в J ^∞ (π), вырезанное I , называется бесконечным продолжением E . ${\displaystyle {\mathcal {F}}(\pi )}$

Геометрически E _(∞) — это многообразие формальных решений E . Легко видеть, что точка E _(∞) представлена ​​сечением σ, график k -джета которого касается E в точке сколь угодно высоким порядком касания. ${\displaystyle j_{p}^{\infty }(\sigma )}$ ${\displaystyle j_{p}^{k}(\sigma )}$

Аналитически, если E задается формулой φ = 0, формальное решение можно понимать как набор коэффициентов Тейлора сечения σ в точке p , которые обращают в нуль ряд Тейлора в точке p . ${\displaystyle \varphi \circ j^{k}(\sigma )}$

Самое главное, что свойства замыкания I подразумевают, что E _(∞) касается контактной структуры бесконечного порядка на J ^∞ (π) , так что, ограничиваясь E _(∞) , можно получить диффиити и можно изучить связанное Виноградова (С-спектральная) последовательность . ${\displaystyle {\mathcal {C}}}$ ${\displaystyle {\mathcal {C}}}$ ${\displaystyle (E_{(\infty )},{\mathcal {C}}|_{E_{(\infty )}})}$

Примечание

В этой статье определены струи локальных сечений расслоения, но можно определить струи функций f: M → N , где M и N — многообразия; тогда струя f просто соответствует струе сечения

гр _ж : М → М × N

gr _f (p) = (p, f(p))

( gr _f известен как график функции f ) тривиального расслоения ( M × N , π ₁ , M ). Однако это ограничение не упрощает теорию, поскольку из глобальной тривиальности π не следует глобальная тривиальность π ₁ .

Смотрите также

• Реактивная группа
• Джет (математика)
• Лагранжева система
• Вариационный бикомплекс

Рекомендации

1. Крупка, Деметра (2015). Введение в глобальную вариационную геометрию. Атлантис Пресс. ISBN 978-94-6239-073-7.
2. Вакил, Рави (25 августа 1998 г.). «Руководство для начинающих по струйным пучкам с точки зрения алгебраической геометрии» (PDF) . Проверено 25 июня 2017 г.

дальнейшее чтение

• Эресманн, К., «Введение в теорию бесконечно малых структур и псевдогрупп лжи». Геометрия Дифференциелла, коллок. Интер. дю Центр Нац. de la Recherche Scientifique, Страсбург, 1953, 97–127.
• Коларж И., Михор П., Словак Й. Естественные операции в дифференциальной геометрии. Springer-Verlag: Берлин, Гейдельберг, 1993. ISBN 3-540-56235-4 , ISBN 0-387-56235-4 .  
• Сондерс, ди-джей, «Геометрия пучков струй», Cambridge University Press, 1989, ISBN 0-521-36948-7 
• Красильщик И.С., Виноградов А.М. [и др.], "Симметрии и законы сохранения для дифференциальных уравнений математической физики", Амер. Математика. Soc., Провиденс, Род-Айленд, 1999, ISBN 0-8218-0958-X . 
• Олвер, П.Дж. , «Эквивалентность, инварианты и симметрия», Cambridge University Press, 1995, ISBN 0-521-47811-1.