查看“︁射流 (数学)”︁的源代码

{{Other uses|射流}}

'''射流'''，也称'''节'''（{{lang-en|Jet}}）在数学中是指取一个[[可微函数]]''f''并在其定义域的每一点产生一个[[多项式]]，也就是''f''的截尾[[泰勒多项式]]的操作。虽然这是一个射流的定义，射流理论将这些多项式作为[[多项式#抽象代数|抽象多项式]]而不是多项式函数。

==欧氏空间之间的函数的射流==

在给出一个射流的严格定义之前，有必要查看一些特殊情况。

===例：一维情况===

设<math>f: {\mathbb R}\rightarrow{\mathbb R}</math>是实值函数，在点<math>x_0</math>的领域''U''有至少''k+1''阶[[导数]]。那么根据泰勒定理，

:<math>f(x)=f(x_0)+f'(x_0)(x-x_0)+\cdots+\frac{f^{(k)}(x_0)}{k!}(x-x_0)^{k}+\frac{R_{k+1}(x)}{(k+1)!}(x-x_0)^{k+1}</math>

其中
:<math>|R_{k+1}(x)|\le\sup_{x\in U} |f^{(k+1)}(x)|.</math>
那么''f''在点<math>x_0</math>的''k''-射流定义为多项式
:<math>(J^k_{x_0}f)(z)=f(x_0)+f'(x_0)z+\cdots+\frac{f^{(k)}(x_0)}{k!}z^k.</math>

射流通常视为变量''z''的[[多项式#抽象代数|抽象多项式]]，而不是一个该变量实际的多项式函数。换言之，''z''是一个[[不定 (变量)|不定变量]]，这使得我们可以在射流上施行各种[[抽象代数|代数操作]]。实际上，射流是从基点<math>x_0</math>得到它们的函数依赖关系。这样，通过变换基点，一个射流在每一点产生了一个''k''次多项式。这标志着射流和截尾泰勒级数的概念上的区别：通常泰勒级数被视为函数式地依赖于它的变量，而非其基点。另一方面，射流将泰勒级数的代数属性和它们的函数属性分离开来。我们将在本条目后面讨论该区别的原因和应用。

===例：从欧氏空间到另一个欧氏空间的映射===
假设<math>f:{\mathbb R}^n\rightarrow{\mathbb R}^m</math>是从一个欧氏空间到另一个的一个函数，有至少''(k+1)''阶导数。本例中，推广的泰勒定理断言

:<math>f(x)=f(x_0)+(Df(x_0))\cdot(x-x_0)+\frac{1}{2}(D^2f(x_0))\cdot (x-x_0)^{\otimes 2}+\cdots+\frac{D^kf(x_0)}{k!}\cdot(x-x_0)^{\otimes k}+\frac{R_{k+1}(x)}{(k+1)!}\cdot(x-x_0)^{\otimes (k+1)}</math>

这个情况下，''f''的''k''-射流定义为多项式

:<math>(J^k_{x_0}f)(z)=f(x_0)+(Df(x_0))\cdot z+\frac{1}{2}(D^2f(x_0))\cdot z^{\otimes 2}+\cdots+\frac{D^kf(x_0)}{k!}\cdot z^{\otimes k}</math>

===例：射流的代数属性===

射流可以加上两种基本的代数结构。第一个是乘积结构，虽然这最后是最不重要的。第二个是射流的复合结构。

若<math>f,g:{\mathbb R}^n\rightarrow {\mathbb R}</math>是一对实值函数，则我们可以定义它们的射流的积为

:<math>J^k_{x_0}f\cdot J^k_{x_0}g=J^k(f\cdot g)</math>.

这里，我们略去了不定变量''z''，因为可以将射流理解为形式化多项式。这个乘积就是''z''上的普通多项式的乘积，以<math>z^{k+1}</math>为[[模]]。换言之，它是在环<math>{\mathbb R}[z]/(z^{k+1})</math>上的乘积，其中<math>(z^{k+1})</math>是由次数&ge; k+1的齐次多项式生成的[[理想 (代数)|理想]]。

现在讨论射流的复合。为避免不必要的技术细节，我们考虑从原点映射到原点的函数的射流。若<math>f:{\mathbb R}^m\rightarrow{\mathbb R}^\ell</math>和<math>g:{\mathbb R}^n\rightarrow{\mathbb R}^m</math>满足''f''(0)=0和''g''(0)=0，则<math>f\circ g:{\mathbb R}^n\rightarrow{\mathbb R}^\ell</math>。''射流的复合''定义为
<math>J^k_0 f\circ J^k_0 g=J^k_0 (f\circ g).</math>
它可以用[[链式法则]]直接证明构成一个原点的射流空间上的非交换操作。

实际上，''k''-射流的复合不过就是多项式的复合，以次数<math>>k</math>的齐次多项式为模。

''例:''
*在一维，令<math>f(x)=\log(1-x)</math>而<math>g(x)=\sin\,x</math>。则

:<math>(J^3_0f)(x)=-x-\frac{x^2}{2}-\frac{x^3}{3}</math>

:<math>(J^3_0g)(x)=x-\frac{x^3}{6}</math>

且
:<math>(J^3_0f)\circ (J^3_0g)=-\left(x-\frac{x^3}{6}\right)-\frac{1}{2}\left(x-\frac{x^3}{6}\right)^2-\frac{1}{3}\left(x-\frac{x^3}{6}\right)^3\ \ (\hbox{mod}\ x^4)</math>

:<math>=-x-\frac{x^2}{2}-\frac{x^3}{6}</math>

==欧氏空间一点的射流：严格定义==
本节集中描述在一点的一个函数的射流的两种不同的严格定义，之后讨论泰勒定理。这些定义在给出在两个流形之间的射流的内蕴定义中是很有用的。

===解析定义===
如下的定义采用了[[数学分析]]中定义射流和射流空间的思想。它可以推广到[[巴拿赫空间]]之间的[[光滑函数]]、实或[[复分析|复域]]之间的[[解析函数]]、[[p进分析]]、或是其它的分析领域。

令<math>C^\infty({\mathbb R}^n,{\mathbb R}^m)</math>为光滑函数<math>f:{\mathbb R}^n\rightarrow {\mathbb R}^m</math>的向量空间。令''k''为非负整数，并令''p''为<math>{\mathbb R}^n</math>的一点。我们在该空间定义一个等价关系<math>E_p^k</math>，也就是令两个函数''f''和''g''等价如果''f''和''g''在''p''有相同的值，并且所有它们的[[偏导数]]等价到''k''阶，若''f''和''g''在''p''数值相同，并且它们直到''p''阶的偏导数全部相同。

''k''阶射流空间<math>C^\infty({\mathbb R}^n,{\mathbb R}^m)</math>在点''p''定义为<math>E^k_p</math>的等价类集合，并记为<math>J^k_p({\mathbb R}^n,{\mathbb R}^m)</math>。

光滑函数<math>f\in C^\infty({\mathbb R}^n,{\mathbb R}^m)</math>的''k''阶射流定义为''f''在<math>J^k_p({\mathbb R}^n,{\mathbb R}^m)</math>中所属的等价类。

===代数几何定义===
如下定义采用[[代数几何]]和[[交换代数]]中的思想来建立射流和射流空间的概念。虽然这个定义不太适合代数几何本身，因为它属于光滑范畴，但也很容易修改为适合代数几何的使用的形式。

令<math>C^\infty({\mathbb R}^n_p,{\mathbb R}^m)</math>为[[光滑函数]]<math>f:{\mathbb R}^n\rightarrow {\mathbb R}^m</math>在<math>{\mathbb R}^n</math>中的点''p''的[[芽 (数学)|芽]]的[[向量空间]]。令<math>{\mathfrak m}_p</math>为在''p''为零的函数的理想。(这是[[局部环]] <math>C^\infty({\mathbb R}^n_p,{\mathbb R}^m)</math>的[[极大理想]]。)则理想<math>{\mathfrak m}_p^{k+1}</math>由所有在点''p''直到''k''阶导数全部为零的函数的芽组成。现在我们可以定义''p''点的'''射流空间'''为

:<math>J^k_p({\mathbb R}^n,{\mathbb R}^m)=C^\infty({\mathbb R}^n_p,{\mathbb R}^m)/{\mathfrak m}_p^{k+1}</math>

若<math>f:{\mathbb R}^n\rightarrow {\mathbb R}^m</math>为光滑函数，我们可以定义''f''在''p''的''k''阶射流为<math>J^k_p({\mathbb R}^n,{\mathbb R}^m)</math>的如下元素

:<math>J^k_pf=f\ (\hbox{mod}\ {\mathfrak m}_p^{k+1})</math>

===泰勒定理===
不管怎样定义，泰勒定理建立了向量空间<math>J^k_p({\mathbb R}^n,{\mathbb R}^m)</math>和<math>{\mathbb R}^m[z]/(z^{k+1})</math>之间的标准同构。所以，在欧氏空间的范围中，射流通常可以和它们的多项式表示在这个同构下等同起来。

===从一点到一点的射流空间===
我们定义了位于一点<math>p\in {\mathbb R}^n</math>的射流的空间<math>J^k_p({\mathbb R}^n,{\mathbb R}^m)</math>由所有''f''(''p'')=''q''的函数''f''的射流组成的子空间记为
:<math>J^k_p({\mathbb R}^n,{\mathbb R}^m)_q=\left\{J^kf\in J^k_p({\mathbb R}^n,{\mathbb R}^m)|f(p)=q\right\}</math>

==两个流形间的函数的射流==
若''M''和''N''是两个[[光滑流形]]，我们如何定义函数<math>f:M\rightarrow N</math>的射流?也许可以通过''M''和''N''上的[[流形|局部坐标]]来定义。这个方法的缺点是流形不能在这种方式下以[[等变]]的形式来定义。射流不像[[张量]]那样变换。实际上，两个流形间的函数的射流属于一个[[射流丛]]。

本节先引入从实直线到流形的函数的射流的概念。然后，证明这样的射流构成一个[[纤维丛]]，和[[切丛]]类似，它也是一个[[射流丛]]的一个伴随丛。接下来，讨论定义两个光滑流形间的函数的射流的问题。在整节中，我们全部采用分析方法。虽然代数几何方法在很多应用中更合适，因其过于微妙不便于在此系统论述。细节请参看[[射流 (代数几何)]]。

===从实直线到流形的函数的射流===
假设''M''为一个光滑流形，''p''为其中一点。我们来定义穿过''p''的[[曲线]]的射流，我们所指的曲线也即使得''f''(0)=''p''的光滑函数<math>f:{\mathbb R}\rightarrow M</math>。定义一个等价关系<math>E_p^k</math>如下。令''f''和''g''为一对穿过''p''的曲线。我们称''f''和''g''在''p''为''k''阶等价，如果存在''p''的某个[[邻域]]''U''，使得对于每个光滑函数<math>\varphi : U \rightarrow {\mathbb R}</math>, <math>J^k_0 (\varphi\circ f)=J^k_0 (\varphi\circ g)</math>。注意，这些射流是定义良好的，因为复合函数<math>\varphi\circ f</math>和<math>\varphi\circ g</math>只是从实直线到自身的映射而已。该等价关系有时称为在点''p''的曲线的''k''阶[[相切]]。

现在我们定义''k''阶射流空间<math>J^k_0({\mathbb R},M)_p</math>为在<math>E^k_p</math>关系下穿过''p''的曲线构成的等价类。曲线''f''穿过''p''的''k''阶射流定义为''f''所属的等价类，记为<math>J^kf</math> or <math>J^k_0f</math>。

这构成了一个实向量空间。随着''p''在''M''中变化，<math>J^k_0({\mathbb R},M)_p</math>构成了''M''上的一个[[纤维丛]]:''k''阶[[切丛]]，经常记为''T''<sup>''k''</sup>''M'' （虽然这个记号有时会导致混淆）。在''k''=1时，一阶切丛就是通常的切丛：''T''<sup>1</sup>''M''=''TM''。

要证明''T''<sup>''k''</sup>''M''实际上构成一个纤维丛，我们需要查看一下<math>J^k_0({\mathbb R},M)_p</math>在局部坐标中的属性。令(''x''<sup>''i''</sup>)= (''x''<sup>''1''</sup>,...,''x''<sup>''n''</sup>)为''M''在''p''的邻域''U''中的一个局部坐标系。稍微[[滥用记号]]一下，我们可以视(''x''<sup>''i''</sup>)为一个局部[[微分同胚]]<math>(x^i):M\rightarrow\R^n</math>。

''断言：''穿过''p''的两条曲线''f''和''g''以<math>E_p^k</math>为模等价，[[当且仅当]]<math>J^k_0\left((x^i)\circ f\right)=J^k_0\left((x^i)\circ g\right)</math>在''p''的某个邻域<math> U \subset V </math>上成立。

:显然，''仅当''这部分很清楚，因为这''n''的函数''x''<sup>''1''</sup>,...,''x''<sup>''n''</sup>的每一个都是从''M''到<math>{\mathbb R}</math>的光滑函数。所以按照等价关系<math>E_p^k</math>的定义，两个等价曲线必须满足<math>J^k_0(x^i\circ f)=J^k_0(x^i\circ g)</math>。

:反过来，假设&phi;是一个''M''上在''p''的一个邻域内的光滑实值函数。因为每个光滑函数有一个局部坐标表达式，我们可以将&phi;表达为坐标的函数。精确地讲，假设''Q''是''M''中接近 ''p''的一点，则

::<math>\varphi(Q)=\psi(x_1(Q),\dots,x_n(Q))</math>

:对于某个''n''个实变量的光滑实值函数&psi;成立。因此，对于穿过''p''的曲线''f''和''g''，我们有

::<math>\varphi\circ f=\psi(x_1\circ f,\dots,x_n\circ f)</math>
::<math>\varphi\circ g=\psi(x_1\circ g,\dots,x_n\circ g)</math>

:从链式法则即可得到断言中''当''的部分。例如，若''f''和''g''是实变量''t''的函数，则

::<math>\left. \frac{d}{dt} \left( \psi\circ f \right) (t) \right|_{t=0}= \sum_{i=1}^n\left.\frac{d}{dt}(x_i\circ f)(t)\right|_{t=0}\ (D_i\psi)\circ f(0)</math>

:这和同样的表达式中用''g''代替''f''计算有相同的值，因为''f''(0)=''g''(0)=p并且''f''和''g''在坐标系(''x''<sup>''i''</sup>)中''k''阶相切。

因此，这个表面上的纤维丛''T''<sup>''k''</sup>''M''确实有每个坐标邻域中的局部平凡化。至此，要证明这个表面上的纤维丛是真正的纤维丛，只需证明它在坐标变换下有非奇异的变换函数。令<math>(y^i):M\rightarrow{\mathbb R}^n</math>为一个不同的坐标系，并令<math>\rho=(x^i)\circ (y^i)^{-1}:{\mathbb R}^n\rightarrow {\mathbb R}^n</math>为相伴随的从欧氏空间到自身的[[坐标变换]]微分同胚。通过<math>{\mathbb R}^n</math>的[[仿射变换]]，我们可以[[不失一般性]]地假设&rho;(0)=0。在该假设下，只要证明<math>J^k_0\rho:J^k_0({\mathbb R}^n,{\mathbb R}^n)\rightarrow J^k_0({\mathbb R}^n,{\mathbb R}^n)</math>是射流复合下的可逆变换即可。（参看[[射流群]]。）但是由于&rho;是微分同胚，<math>\rho^{-1}</math>也是光滑映射。因而，

:<math>I=J^k_0I=J^k_0(\rho\circ\rho^{-1})=J^k_0(\rho)\circ J^k_0(\rho^{-1})</math>

这表明<math>J^k_0\rho</math>是非奇异的。而且，它是光滑的，虽然我们这里并不需要利用这一点。

直观的来讲，这意味着我们可以用''M''上的局部坐标中的泰勒级数来表达一个曲线的射流。

''局部坐标中的例子：''
*  如前所示，通过''p''的一条曲线的1阶射流就是一个切向量。在''p''的一个切向量就是一个一阶[[微分算子]]，它作用于''p''点的光滑实值函数。在局部坐标中，每个切向量有如下形式

::<math>v=\sum_iv^i\frac{\partial}{\partial x^i}</math>

:给定这样的一个切向量''v''，令''f''为在坐标系''x''<sup>''i''</sup>中用<math>x^i\circ f(t)=tv^i</math>给定的曲线。若&phi;是''p''的一个邻域中的光滑函数，且&phi;(''p'')=0，则

::<math>\varphi\circ f:{\mathbb R}\rightarrow {\mathbb R}</math>

:是一个光滑实值单变量函数，其1阶射流如下

::<math>J^1_0(\varphi\circ f)(t)=tv^i \frac{\partial f}{\partial x^i}(p)</math>.

:这表明，可以自然地将切向量和过该点的曲线的1阶射流等同起来。

* 过一点的曲线的二阶射流。
:在以点''p''为中心的局部坐标系''x<sup>i</sup>''中，我们可以将曲线''f''(''t'')的二阶泰勒多项式表达如下

::<math>x^i(t)=t\frac{dx^i}{dt}(0)+\frac{t^2}{2}\frac{d^2x^i}{dt^2}.</math>

:所以在这个''x''坐标系中，过''p''的曲线的2阶射流可以等同为一个实数的列表<math>(\dot{x}^i,\ddot{x}^i)</math>。和且向量（曲线的1阶射流）一样，2阶射流在坐标变换函数作用下的某种变化法则。

:令(''y''<sup>''i''</sup>)为另一坐标系。按链式法则，
::<math>\frac{d}{dt}y^i(x(t))=\frac{\partial y^i}{\partial x^j}(x(t))\frac{dx^j}{dt}(t)</math>
::<math>\frac{d^2}{dt^2}y^i(x(t))=\frac{\partial^2 y^i}{\partial x^j\partial x^k}(x(t))\frac{dx^j}{dt}(t)\frac{dx^k}{dt}(t)+\frac{\partial y^i}{\partial x^j}(x(t))\frac{d^2x^j}{dt^2}(t)</math>

:因此，变换通过在''t''=0计算如下两个表达式给出。
::<math>\dot{y}^i=\frac{\partial y^i}{\partial x^j}(0)\dot{x}^j</math>
::<math>\ddot{y}^i=\frac{\partial^2 y^i}{\partial x^j\partial x^k}(0)\dot{x}^j\dot{x}^k+\frac{\partial y^i}{\partial x^j}(0)\ddot{x}^k.</math>

:注意，二阶射流的变化法则在坐标变换函数中是二阶的。

===从流形到流形的函数的射流===
现在可以定义从流形到流形的函数的射流了。

设''M''和''N''为两个光滑流形。令''p''为''M''一点。考虑由定义在''p''的某个邻域中的光滑映射<math>f:M\rightarrow N</math>组成的空间<math>C^\infty_p(M,N)</math>。在<math>C^\infty_p(M,N)</math>上定义一个等价关系<math>E^k_p</math>如下。两个映射''f''和''g''称为''等价''的，若对于每条穿过''p''的曲线&gamma;（按此处常规，这表示一个使得<math>\gamma(0)=p</math>的映射<math>\gamma:{\mathbb R}\rightarrow M</math>，）我们在''p''的某个领域上有<math>J^k_0(f\circ \gamma)=J^k_0(g\circ \gamma)</math>。

<math>J^k_p(M,N)</math>的射流空间则定义为<math>C^\infty_p(M,N)</math>以等价关系<math>E^k_p</math>为模的等价类的集合。注意，因为目标空间''N''不需要有代数结构，<math>J^k_p(M,N)</math>也可以没有这样的结构。也就是说，这和欧氏空间的情形实际上形成鲜明的对比。

若<math>f:M\rightarrow N</math>是定义在''p''附近的光滑函数，则我们定义''f''在''p''的''k''阶射流<math>J^k_pf</math>为''f''以<math>E^k_p</math>为模所属的等价类。

==截面的射流==
本节讨论[[向量丛]]的局部截面的射流的概念。所有本节的内容可以在做适当的改动后推广到[[纤维丛]]、[[巴拿赫流形]]上的[[巴拿赫丛]]、[[纤维化流形]]、或者[[概形]]上的[[准一致层]]的局部截面的情况。而且，这些例子只是可以作的推广的一部分而已。

设''E''为流形''M''上的有限维光滑向量丛，其投影为<math>\pi:E\rightarrow M</math>。则''E''的截面为满足<math>\pi\circ s</math>为''M''上的恒等[[自同构]]的光滑函数<math>s:M\rightarrow E</math>。截面''s''在''p''的一个邻域上的射流就是从''M''到''E''的光滑函数在点''p''的射流。

这些在点''p''的射流的空间记为<math>J^k_p(M,E)</math>。虽然这个记法可能会和更一般的两个流形间的函数的射流空间造成混淆，上下文通常可以消除这种歧义。

和从流形到另一流形的函数的射流不同，在''p''的截面的射流有继承自截面本身的向量空间结构的向量空间结构。随着''p''在''M''上变化，射流空间<math>J^k_p(M,E)</math>形成一个''M''上的丛，也就是''E''的''k''阶[[射流丛]]，记为''J''<sup>''k''</sup>(''E'')。

* ''例：切丛的一阶射流丛。''
:我们采用一点的局部坐标。考虑一个向量场

::<math>v=v^i(x)\partial/\partial x^i</math>

:在''M''中点''p''的一个邻域。''v''的一阶射流可以通过取向量场的系数的一阶泰勒多项式得到：

::<math>v^i(x)=v^i(0)+x^j\frac{\partial v^i}{\partial x^j}(0)=v^i+v^i_jx^j</math>

:在这个''x''坐标中，在一点的1阶射流可以和实数的列表<math>(v^i,v^i_j)</math>等同起来。这和将一点的切向量和列表(''v<sup>i</sup>'')等同起来是一样的。在特定的坐标变换的变换法则之下，我们必须知道该变换如何影响这个列表<math>(v^i,v^i_j)</math>。

:因此我们考虑变换到另一个坐标系''y''<sup>''i''</sup>时所需的变化。令''w<sup>k</sup>''为向量场''v''在''y''坐标中的表示。则在''y''坐标系中，''v''的一阶射流是新的实数列表<math>(w^i,w^i_j)</math>。因为

::<math>v=w^k(y)\partial/\partial y^k=v^i(x)\partial/\partial x^i,</math>

:我们有

::<math>w^k(y)=v^i(x)\frac{\partial y^k}{\partial x^i}(x).</math>

:所以
  
::<math>w^k(0)+y^j\frac{\partial w^k}{\partial y^j}(0)=\left(v^i(0)+x^j\frac{\partial v^i}{\partial x^j}\right)\frac{\partial y^k}{\partial x^i}(x)</math>

:用泰勒级数展开，我们有

::<math>w^k=\frac{\partial y^k}{\partial x^i}(0) v^i</math>
::<math>w^k_j=v^i\frac{\partial^2 y^k}{\partial x^i\partial x^j}+v_j^i\frac{\partial y^k}{\partial x^i}.</math>

:注意变换法则在坐标变换函数中也是二阶的。

===向量丛之间的微分算子===
参看[[微分算子#坐标无关表述]]。

==参看== 
* [[射流丛]]

==参考==

* Ehresmann, C., "Introduction a la théorie des structures infinitésimales et des pseudo-groupes de mathcal{L}."  ''Geometrie Differentielle,'' Colloq. Inter. du Centre Nat. de la Recherche Scientifique, Strasbourg, 1953, 97-127.
* Kolár(, I., Michor, P., Slovák, J., ''[http://www.emis.de/monographs/KSM/ Natural operations in differential geometry.] {{Wayback|url=http://www.emis.de/monographs/KSM/ |date=20200706173324 }}''  Springer-Verlag: Berlin Heidelberg, 1993.  ISBN 3-540-56235-4, ISBN 0-387-56235-4.
* Saunders, D.J., "The Geometry of Jet Bundles", Cambridge University Press, 1989, ISBN 0-521-36948-7
* Bocharov, A.V. [et al.], "Symmetries and conservation laws for differential equations of mathematical physics", Amer. Math. Soc., Providence, RI, 1999, ISBN 0-8218-0958
* Olver, P.J., "Equivalence, Invariants and Symmetry", Cambridge University Press, 1995, ISBN 0-521-47811-1

[[Category:微分几何|S]]
[[Category:光滑函数]]