Струя (математика)

Струя (или джет, от Шаблон:Lang-en) — структура, однозначно определённая частными производными функции (или сечения) в точке до некоторого порядка. Например k-струя функции $f$ в нуле однозначно описывается следующей последовательностью из $(k+1)$-го числа:

$f(0),f^{\prime }(0),\dots ,f^{(k)}(0).$

Струи и ростки предоставляют инвариантный язык для теории дифференциальных уравнений на гладких многообразиях.

Определения

Аналитическое определение

k-струя гладкого расслоения $E$ на многообразии $M$ в точке $x$ — совокупность гладких сечений имеющих одинаковые многочлены Тейлора k-ой степени в точке $x$ в одной некоторой (а значит и в любой) карте $x$.

Пространство $k$-струй в точке $x$ обозначается как $J_x^k$.

Алгебро-геометрическое определение

Это определение основано на идеях алгебраической геометрии и коммутативной алгебры. Пусть $C^{\mathrm{\infty }}({ℝ}_p^n,{ℝ}^m)$ — векторное пространство ростков гладких отображений $f:{ℝ}^n\to {ℝ}^m$ в точке $p\in {ℝ}^n$. Пусть ${𝔪}_p$ — идеал отображений, равных нулю в точке $p$ (это максимальный идеал локального кольца $C^{\mathrm{\infty }}({ℝ}_p^n,{ℝ}^m)$), а ${𝔪}_p^{k+1}$ — идеал, состоящий из ростков всех отображений, равных нулю в точке $p$ с точностью до $k$-го порядка. Определим пространство струй в точке $p$ как

$J_p^k({ℝ}^n,{ℝ}^m)=C^{\mathrm{\infty }}({ℝ}_p^n,{ℝ}^m)/{𝔪}_p^{k+1}.$

Если $f:{ℝ}^n\to {ℝ}^m$ — гладкое отображение, то можно определить $k$-струю $f$ в точке $p$ как элемент $J_p^k({ℝ}^n,{ℝ}^m)$, для которого

$J_p^{k}f=f(mod{𝔪}_p^{k+1}).$

Теорема Тейлора

Независимо от определения, теорема Тейлора устанавливает канонический изоморфизм между векторными пространствами $J_p^k({ℝ}^n,{ℝ}^m)$ и ${ℝ}^m[z]/(z^{k+1})$, поэтому струи функций на евклидовом пространстве зачастую отождествляются с соответствующими многочленами Тейлора.

Пространство струй из точки в точку

Мы определили пространство $J_p^k({ℝ}^n,{ℝ}^m)$ струй в точке $p\in {ℝ}^n$. Подпространство, содержащее те струи отображения $f$, для которых $f(p)=q$, обозначается

$J_p^k({ℝ}^n,{ℝ}^m{)}_q=\{J^{k}f\in J_p^k({ℝ}^n,{ℝ}^m)\mid f(p)=q\}.$

Струи сечений гладкого расслоения

Пусть $Y\to X$ — гладкое расслоение. Струёй $k$-го порядка $j_x^{k}s$ его сечений $s$ называется класс эквивалентности этих сечений, отождествляемых, если их значения и значения их частных производных до $k$-го порядка в точке $x$ совпадают. Струи $k$-го порядка образуют гладкое многообразие $J^{k}Y$, называемое многообразием струй.

Теория связностей, теория дифференциальных операторов и лагранжева теория на гладких расслоениях (в том числе классическая теория поля) формулируются в терминах многообразий струй $J^{k}Y$.

Литература

• Бочаров А. В., Вербовецкий А. М.., Виноградов А. М., Дужин С. М., Красильщик И. С., Самохин А. В., Торхов Ю. Н., Хорькова Н. Г., Четвериков В. Н., под редакцией Виноградова А. М. и Красильщика И. С. Симметрии и законы сохранения уравнений математической физики — М.: Факториал, 2005 — 380 с. ISBN 5-88688-074-7
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Sardanashvily, G., Fibre bundles, jet manifolds and Lagrangian theory. Lectures for theoreticians,arXiv: 0908.1886
• Шаблон:Книга