關於與「
射流 (數學)」標題相近或相同的條目頁,請見「
射流」。
射流,也稱節(英語:Jet)在數學中是指取一個可微函數f並在其定義域的每一點產生一個多項式,也就是f的截尾泰勒多項式的操作。雖然這是一個射流的定義,射流理論將這些多項式作為抽象多項式而不是多項式函數。
歐氏空間之間的函數的射流[編輯]
在給出一個射流的嚴格定義之前,有必要查看一些特殊情況。
例:一維情況[編輯]
設
是實值函數,在點
的領域U有至少k+1階導數。那麼根據泰勒定理,
![{\displaystyle 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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3b573d2b4f5261b92c2ab4aa8e3ef9c28137c5e)
其中
![{\displaystyle |R_{k+1}(x)|\leq \sup _{x\in U}|f^{(k+1)}(x)|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b52152947d7fb990f2d6f210a874fbca6024dce)
那麼f在點
的k-射流定義為多項式
![{\displaystyle (J_{x_{0}}^{k}f)(z)=f(x_{0})+f'(x_{0})z+\cdots +{\frac {f^{(k)}(x_{0})}{k!}}z^{k}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b90846b47336bb93c5dcad7ae1c3697e3a575442)
射流通常視為變量z的抽象多項式,而不是一個該變量實際的多項式函數。換言之,z是一個不定變量,這使得我們可以在射流上施行各種代數操作。實際上,射流是從基點
得到它們的函數依賴關係。這樣,通過變換基點,一個射流在每一點產生了一個k次多項式。這標誌著射流和截尾泰勒級數的概念上的區別:通常泰勒級數被視為函數式地依賴於它的變量,而非其基點。另一方面,射流將泰勒級數的代數屬性和它們的函數屬性分離開來。我們將在本條目後面討論該區別的原因和應用。
例:從歐氏空間到另一個歐氏空間的映射[編輯]
假設
是從一個歐氏空間到另一個的一個函數,有至少(k+1)階導數。本例中,推廣的泰勒定理斷言
![{\displaystyle f(x)=f(x_{0})+(Df(x_{0}))\cdot (x-x_{0})+{\frac {1}{2}}(D^{2}f(x_{0}))\cdot (x-x_{0})^{\otimes 2}+\cdots +{\frac {D^{k}f(x_{0})}{k!}}\cdot (x-x_{0})^{\otimes k}+{\frac {R_{k+1}(x)}{(k+1)!}}\cdot (x-x_{0})^{\otimes (k+1)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8633c1d63dc997384453f0d1bd1f7abf62abf629)
這個情況下,f的k-射流定義為多項式
![{\displaystyle (J_{x_{0}}^{k}f)(z)=f(x_{0})+(Df(x_{0}))\cdot z+{\frac {1}{2}}(D^{2}f(x_{0}))\cdot z^{\otimes 2}+\cdots +{\frac {D^{k}f(x_{0})}{k!}}\cdot z^{\otimes k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9bd41cd0da728096cb7a449b998b2fd18aceea6)
例:射流的代數屬性[編輯]
射流可以加上兩種基本的代數結構。第一個是乘積結構,雖然這最後是最不重要的。第二個是射流的複合結構。
若
是一對實值函數,則我們可以定義它們的射流的積為
.
這裡,我們略去了不定變量z,因為可以將射流理解為形式化多項式。這個乘積就是z上的普通多項式的乘積,以
為模。換言之,它是在環
上的乘積,其中
是由次數≥ k+1的齊次多項式生成的理想。
現在討論射流的複合。為避免不必要的技術細節,我們考慮從原點映射到原點的函數的射流。若
和
滿足f(0)=0和g(0)=0,則
。射流的複合定義為
它可以用鏈式法則直接證明構成一個原點的射流空間上的非交換操作。
實際上,k-射流的複合不過就是多項式的複合,以次數
的齊次多項式為模。
例:
- 在一維,令
而
。則
![{\displaystyle (J_{0}^{3}f)(x)=-x-{\frac {x^{2}}{2}}-{\frac {x^{3}}{3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b177989b9caa3903221505149770f30a4f818a72)
![{\displaystyle (J_{0}^{3}g)(x)=x-{\frac {x^{3}}{6}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cce2fc629c0009e767104a621396fb1787b64401)
且
![{\displaystyle (J_{0}^{3}f)\circ (J_{0}^{3}g)=-\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})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31d1a9764e3bc3537f68b0b3241776df4cbea131)
![{\displaystyle =-x-{\frac {x^{2}}{2}}-{\frac {x^{3}}{6}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a69d9f5b9d7e6719d360dc85251a33b74caa8eb4)
歐氏空間一點的射流:嚴格定義[編輯]
本節集中描述在一點的一個函數的射流的兩種不同的嚴格定義,之後討論泰勒定理。這些定義在給出在兩個流形之間的射流的內蘊定義中是很有用的。
解析定義[編輯]
如下的定義採用了數學分析中定義射流和射流空間的思想。它可以推廣到巴拿赫空間之間的光滑函數、實或復域之間的解析函數、p進分析、或是其它的分析領域。
令
為光滑函數
的向量空間。令k為非負整數,並令p為
的一點。我們在該空間定義一個等價關係
,也就是令兩個函數f和g等價如果f和g在p有相同的值,並且所有它們的偏導數等價到k階,若f和g在p數值相同,並且它們直到p階的偏導數全部相同。
k階射流空間
在點p定義為
的等價類集合,並記為
。
光滑函數
的k階射流定義為f在
中所屬的等價類。
代數幾何定義[編輯]
如下定義採用代數幾何和交換代數中的思想來建立射流和射流空間的概念。雖然這個定義不太適合代數幾何本身,因為它屬於光滑範疇,但也很容易修改為適合代數幾何的使用的形式。
令
為光滑函數
在
中的點p的芽的向量空間。令
為在p為零的函數的理想。(這是局部環
的極大理想。)則理想
由所有在點p直到k階導數全部為零的函數的芽組成。現在我們可以定義p點的射流空間為
![{\displaystyle J_{p}^{k}({\mathbb {R} }^{n},{\mathbb {R} }^{m})=C^{\infty }({\mathbb {R} }_{p}^{n},{\mathbb {R} }^{m})/{\mathfrak {m}}_{p}^{k+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1fe7427d016768540a941de5dbd77158cc0722f)
若
為光滑函數,我們可以定義f在p的k階射流為
的如下元素
![{\displaystyle J_{p}^{k}f=f\ ({\hbox{mod}}\ {\mathfrak {m}}_{p}^{k+1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3aecec3bcc9a0aa9e0816e98771a0b6781b70261)
泰勒定理[編輯]
不管怎樣定義,泰勒定理建立了向量空間
和
之間的標準同構。所以,在歐氏空間的範圍中,射流通常可以和它們的多項式表示在這個同構下等同起來。
從一點到一點的射流空間[編輯]
我們定義了位於一點
的射流的空間
由所有f(p)=q的函數f的射流組成的子空間記為
![{\displaystyle J_{p}^{k}({\mathbb {R} }^{n},{\mathbb {R} }^{m})_{q}=\left\{J^{k}f\in J_{p}^{k}({\mathbb {R} }^{n},{\mathbb {R} }^{m})|f(p)=q\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c8b8063dbccb119ce9ef9ff310004c44cc7bf22)
兩個流形間的函數的射流[編輯]
若M和N是兩個光滑流形,我們如何定義函數
的射流?也許可以通過M和N上的局部坐標來定義。這個方法的缺點是流形不能在這種方式下以等變的形式來定義。射流不像張量那樣變換。實際上,兩個流形間的函數的射流屬於一個射流叢。
本節先引入從實直線到流形的函數的射流的概念。然後,證明這樣的射流構成一個纖維叢,和切叢類似,它也是一個射流叢的一個伴隨叢。接下來,討論定義兩個光滑流形間的函數的射流的問題。在整節中,我們全部採用分析方法。雖然代數幾何方法在很多應用中更合適,因其過於微妙不便於在此系統論述。細節請參看射流 (代數幾何)。
從實直線到流形的函數的射流[編輯]
假設M為一個光滑流形,p為其中一點。我們來定義穿過p的曲線的射流,我們所指的曲線也即使得f(0)=p的光滑函數
。定義一個等價關係
如下。令f和g為一對穿過p的曲線。我們稱f和g在p為k階等價,如果存在p的某個鄰域U,使得對於每個光滑函數
,
。注意,這些射流是定義良好的,因為複合函數
和
只是從實直線到自身的映射而已。該等價關係有時稱為在點p的曲線的k階相切。
現在我們定義k階射流空間
為在
關係下穿過p的曲線構成的等價類。曲線f穿過p的k階射流定義為f所屬的等價類,記為
or
。
這構成了一個實向量空間。隨著p在M中變化,
構成了M上的一個纖維叢:k階切叢,經常記為TkM (雖然這個記號有時會導致混淆)。在k=1時,一階切叢就是通常的切叢:T1M=TM。
要證明TkM實際上構成一個纖維叢,我們需要查看一下
在局部坐標中的屬性。令(xi)= (x1,...,xn)為M在p的鄰域U中的一個局部坐標系。稍微濫用記號一下,我們可以視(xi)為一個局部微分同胚
。
斷言:穿過p的兩條曲線f和g以
為模等價,若且唯若
在p的某個鄰域
上成立。
- 顯然,僅當這部分很清楚,因為這n的函數x1,...,xn的每一個都是從M到
的光滑函數。所以按照等價關係
的定義,兩個等價曲線必須滿足
。
- 反過來,假設φ是一個M上在p的一個鄰域內的光滑實值函數。因為每個光滑函數有一個局部坐標表達式,我們可以將φ表達為坐標的函數。精確地講,假設Q是M中接近 p的一點,則
![{\displaystyle \varphi (Q)=\psi (x_{1}(Q),\dots ,x_{n}(Q))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db4966ed1ffc197824ea267fa0086f4abfb568fe)
- 對於某個n個實變量的光滑實值函數ψ成立。因此,對於穿過p的曲線f和g,我們有
![{\displaystyle \varphi \circ f=\psi (x_{1}\circ f,\dots ,x_{n}\circ f)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64f8808247122a919e54cb3017594ef5dcd3f93c)
![{\displaystyle \varphi \circ g=\psi (x_{1}\circ g,\dots ,x_{n}\circ g)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96bd8986b2aab9ed28ee9067c961eeaef6847f86)
- 從鏈式法則即可得到斷言中當的部分。例如,若f和g是實變量t的函數,則
![{\displaystyle \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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18fbae220169ecdcba820826d24cfb0393edecf0)
- 這和同樣的表達式中用g代替f計算有相同的值,因為f(0)=g(0)=p並且f和g在坐標系(xi)中k階相切。
因此,這個表面上的纖維叢TkM確實有每個坐標鄰域中的局部平凡化。至此,要證明這個表面上的纖維叢是真正的纖維叢,只需證明它在坐標變換下有非奇異的變換函數。令
為一個不同的坐標系,並令
為相伴隨的從歐氏空間到自身的坐標變換微分同胚。通過
的仿射變換,我們可以不失一般性地假設ρ(0)=0。在該假設下,只要證明
是射流複合下的可逆變換即可。(參看射流群。)但是由於ρ是微分同胚,
也是光滑映射。因而,
![{\displaystyle I=J_{0}^{k}I=J_{0}^{k}(\rho \circ \rho ^{-1})=J_{0}^{k}(\rho )\circ J_{0}^{k}(\rho ^{-1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86c77d4154f3b51423b765a6b83f2510587ff141)
這表明
是非奇異的。而且,它是光滑的,雖然我們這裡並不需要利用這一點。
直觀的來講,這意味著我們可以用M上的局部坐標中的泰勒級數來表達一個曲線的射流。
局部坐標中的例子:
- 如前所示,通過p的一條曲線的1階射流就是一個切向量。在p的一個切向量就是一個一階微分算子,它作用於p點的光滑實值函數。在局部坐標中,每個切向量有如下形式
![{\displaystyle v=\sum _{i}v^{i}{\frac {\partial }{\partial x^{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb49ff8dbc79de00789d2444823d7c18b3990780)
- 給定這樣的一個切向量v,令f為在坐標系xi中用
給定的曲線。若φ是p的一個鄰域中的光滑函數,且φ(p)=0,則
![{\displaystyle \varphi \circ f:{\mathbb {R} }\rightarrow {\mathbb {R} }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca7f6f2735ecd4df281ef442ebab99c16465129d)
- 是一個光滑實值單變量函數,其1階射流如下
.
- 這表明,可以自然地將切向量和過該點的曲線的1階射流等同起來。
- 在以點p為中心的局部坐標系xi中,我們可以將曲線f(t)的二階泰勒多項式表達如下
![{\displaystyle x^{i}(t)=t{\frac {dx^{i}}{dt}}(0)+{\frac {t^{2}}{2}}{\frac {d^{2}x^{i}}{dt^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9303b61f4a78ecb4bf82f0b43812d3e1d946e443)
- 所以在這個x坐標系中,過p的曲線的2階射流可以等同為一個實數的列表
。和且向量(曲線的1階射流)一樣,2階射流在坐標變換函數作用下的某種變化法則。
- 令(yi)為另一坐標系。按鏈式法則,
![{\displaystyle {\frac {d}{dt}}y^{i}(x(t))={\frac {\partial y^{i}}{\partial x^{j}}}(x(t)){\frac {dx^{j}}{dt}}(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/985bd3cb4f085b1a4591413c686c6b8fddc2886d)
![{\displaystyle {\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^{2}x^{j}}{dt^{2}}}(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d905aee548be0a89f6caf2a92069ff7e90e88042)
- 因此,變換通過在t=0計算如下兩個表達式給出。
![{\displaystyle {\dot {y}}^{i}={\frac {\partial y^{i}}{\partial x^{j}}}(0){\dot {x}}^{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e50f15b65ca2ebc4592fa677abcaf656c28f2dca)
![{\displaystyle {\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}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b90b86d26afe80ad20a1607a8c89ce871a48a99)
- 注意,二階射流的變化法則在坐標變換函數中是二階的。
從流形到流形的函數的射流[編輯]
現在可以定義從流形到流形的函數的射流了。
設M和N為兩個光滑流形。令p為M一點。考慮由定義在p的某個鄰域中的光滑映射
組成的空間
。在
上定義一個等價關係
如下。兩個映射f和g稱為等價的,若對於每條穿過p的曲線γ(按此處常規,這表示一個使得
的映射
,)我們在p的某個領域上有
。
的射流空間則定義為
以等價關係
為模的等價類的集合。注意,因為目標空間N不需要有代數結構,
也可以沒有這樣的結構。也就是說,這和歐氏空間的情形實際上形成鮮明的對比。
若
是定義在p附近的光滑函數,則我們定義f在p的k階射流
為f以
為模所屬的等價類。
截面的射流[編輯]
本節討論向量叢的局部截面的射流的概念。所有本節的內容可以在做適當的改動後推廣到纖維叢、巴拿赫流形上的巴拿赫叢、纖維化流形、或者概形上的准一致層的局部截面的情況。而且,這些例子只是可以作的推廣的一部分而已。
設E為流形M上的有限維光滑向量叢,其投影為
。則E的截面為滿足
為M上的恆等自同構的光滑函數
。截面s在p的一個鄰域上的射流就是從M到E的光滑函數在點p的射流。
這些在點p的射流的空間記為
。雖然這個記法可能會和更一般的兩個流形間的函數的射流空間造成混淆,上下文通常可以消除這種歧義。
和從流形到另一流形的函數的射流不同,在p的截面的射流有繼承自截面本身的向量空間結構的向量空間結構。隨著p在M上變化,射流空間
形成一個M上的叢,也就是E的k階射流叢,記為Jk(E)。
- 我們採用一點的局部坐標。考慮一個向量場
![{\displaystyle v=v^{i}(x)\partial /\partial x^{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1dd408d27fa6b226b4ff1b7b4ce55721e9995463)
- 在M中點p的一個鄰域。v的一階射流可以通過取向量場的係數的一階泰勒多項式得到:
![{\displaystyle v^{i}(x)=v^{i}(0)+x^{j}{\frac {\partial v^{i}}{\partial x^{j}}}(0)=v^{i}+v_{j}^{i}x^{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a48c433e163fc7dc1c1189215bad2841bcdab048)
- 在這個x坐標中,在一點的1階射流可以和實數的列表
等同起來。這和將一點的切向量和列表(vi)等同起來是一樣的。在特定的坐標變換的變換法則之下,我們必須知道該變換如何影響這個列表
。
- 因此我們考慮變換到另一個坐標系yi時所需的變化。令wk為向量場v在y坐標中的表示。則在y坐標系中,v的一階射流是新的實數列表
。因為
![{\displaystyle v=w^{k}(y)\partial /\partial y^{k}=v^{i}(x)\partial /\partial x^{i},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06e8a8b6d8a75ee1321b277334e1c91229bfb401)
- 我們有
![{\displaystyle w^{k}(y)=v^{i}(x){\frac {\partial y^{k}}{\partial x^{i}}}(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0847da139eb34663f0f576d7616a416762a10483)
- 所以
![{\displaystyle 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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/676369760920f34f11283e6984effc3955f76461)
- 用泰勒級數展開,我們有
![{\displaystyle w^{k}={\frac {\partial y^{k}}{\partial x^{i}}}(0)v^{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09002a4fd268253e023cc45cb12bbd93315b6884)
![{\displaystyle w_{j}^{k}=v^{i}{\frac {\partial ^{2}y^{k}}{\partial x^{i}\partial x^{j}}}+v_{j}^{i}{\frac {\partial y^{k}}{\partial x^{i}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/756d8aada8105aab3bae163fa78f6683a4945309)
- 注意變換法則在坐標變換函數中也是二階的。
向量叢之間的微分算子[編輯]
參看微分算子#坐標無關表述。
- 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., Natural operations in differential geometry. (頁面存檔備份,存於網際網路檔案館) 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