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

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

$f(0),f^{\prime }(0),\dots <!--\; \dots \; -->,f^{(k)}(0).$$f(0),f'(0),\dots ,f^{(k)}(0).$

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

ОпределенияПравить

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

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

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

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

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

$J_p^k({\mathbb{R}}^n,{\mathbb{R}}^m)=C^{\mathrm{\infty <!--\; \infty \; -->}}({\mathbb{R}}_p^n,{\mathbb{R}}^m)/{\mathfrak{m}}_p^{k+1}.$$J_{p}^{k}(\mathbb{R} ^{n},\;\mathbb{R} ^{m})=C^{\infty }(\mathbb{R} _{p}^{n},\;\mathbb{R} ^{m})/{\mathfrak {m}}_{p}^{{k+1}}.$ 

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

$J_p^{k}f=f(mod{\mathfrak{m}}_p^{k+1}).$$J_{p}^{k}f=f\,({\bmod \,}{\mathfrak {m}}_{p}^{{k+1}}).$ 

Теорема ТейлораПравить

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

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

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

$J_p^k({\mathbb{R}}^n,{\mathbb{R}}^m{)}_q=\{J^{k}f\in <!--\; \in \; -->J_p^k({\mathbb{R}}^n,{\mathbb{R}}^m)\mid <!--\; \mid \; -->f(p)=q\}.$$J_{p}^{k}(\mathbb{R} ^{n},\;\mathbb{R} ^{m})_{q}=\{J^{k}f\in J_{p}^{k}(\mathbb{R} ^{n},\;\mathbb{R} ^{m})\mid f(p)=q\}.$ 

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

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

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

ЛитератураПравить

• Бочаров А. В., Вербовецкий А. М.., Виноградов А. М., Дужин С. М., Красильщик И. С., Самохин А. В., Торхов Ю. Н., Хорькова Н. Г., Четвериков В. Н., под редакцией Виноградова А. М. и Красильщика И. С. Симметрии и законы сохранения уравнений математической физики — М.: Факториал, 2005 — 380 с. ISBN 5-88688-074-7
• Виноградов А. М., Красильщик И. С., Лычагин В. В. Введение в геометрию нелинейных дифференциальных уравнений. — М.: Наука, 1986. — 336 с.
• Мишачев Н.М., Элиашберг Я.М. Введение в h-принцип. — М.: Московский центр непрерывного математического образования, 2004. — ISBN 5-94057-126-3.
• Saunders D. The geometry of jet bundles. — Cambridge: Cambridge Univ. Press., 1989.
• Сарданашвили Г. А. Современные методы теории поля. 1. Геометрия и классические поля. — М.: УРСС, 1996. — 224 с. — ISBN 5-88417-087-4.
• Sardanashvily, G., Fibre bundles, jet manifolds and Lagrangian theory. Lectures for theoreticians,arXiv: 0908.1886
• Павлова Н.Г., Ремизов А.О. Введение в теорию особенностей. — М.: Изд-во МФТИ, 2022. — 181 с. — ISBN 978-5-7417-0794-4.