数学において多重指数記法(たじゅうしすうきほう、英: multi-index notation; 多重添字記法)は、添字記法を順序組を用いて多重化(多変数に一般化)する表記法であり、多変数微分積分学、偏微分方程式論、シュヴァルツ超関数論などの分野において、主に整数冪の冪指数などの添字を多重化した多重指数、多重添字を用いて様々な式の表記を簡潔にする。
主な定義
非負整数からなる n-次元(あるいは n-変数)の多重指数あるいは多重添字αとは非負整数全体の成す集合 N0 の n-重デカルト積 N0n の元を言う。すなわち、α1, α2, ..., αn∈N0 とすると
![{\displaystyle \alpha =(\alpha _{1},\alpha _{2},\ldots ,\alpha _{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70122d07b448b26cbd14d9542d648d5c761d3107)
である[1]。場合によっては整数からなる多重指数や実数からなる多重指数も必要に応じて用いられる。
多重指数を利用して数ベクトルや勾配作用素の多重指数による冪を次のように定義する。
- 多重冪指数 [1]
ただし![{\displaystyle x=(x_{1},x_{2},\ldots ,x_{n})\in \mathbb {R} ^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c047739eac345078cfb521510064dbd02ca3041)
- 高階偏微分の階数[1]
ただし、
∇.
多重指数の演算
以下、α, β は適当な数のクラスに成分を持つ多重指数とし、(通常の意味で書かれた右辺の式が定義される限りにおいて)右辺によって左辺を定義する。
- 半順序
[1] - 成分ごとの加法(と減法)
[1] - ただし、減法は
の時に限り定義される[1]。 - 長さ[1]、大きさ、絶対値、全次数
[1] - 階乗
[1]
またこれらを複合する形で
- 二項係数
[1] - 多項係数
![{\displaystyle {\binom {|\alpha |}{\alpha }}={\frac {|\alpha |!}{\alpha !}}:={\frac {(\alpha _{1}+\alpha _{2}+\cdots +\alpha _{n})!}{\alpha _{1}!\alpha _{2}!\cdots \alpha _{n}!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abe7e649db75a719172d6f39a83b349e5a8d82de)
なども定義できる。
応用例
多重指数記法を用いれば、初等解析学における多くの公式をほとんどそのままの形で、対応する多変数の式にすることができる。以下はそのいくつかの例である。すべて
,
,
(
).とする。
- 多項定理
![{\displaystyle {\biggl (}\sum _{i=1}^{n}x_{i}{\biggr )}^{k}=\sum _{|\alpha |=k}{\binom {k}{\alpha }}\,x^{\alpha }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c144ffc0893748b9c4119fe1ed81d4bb914846f)
- 多重二項定理
-
![{\displaystyle (x+y)^{\alpha }=\sum _{\nu \leq \alpha }{\binom {\alpha }{\nu }}\,x^{\nu }y^{\alpha -\nu }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db39d7304e8fba5771d4a36ee307044d1b1df7b4)
- 注意:
はベクトルで
は多重指数だから、左辺は
の略記法である。 - ライプニッツ則
- f と gは滑らかな関数とする。
![{\displaystyle \partial ^{\alpha }(fg)=\sum _{\nu \leq \alpha }{\binom {\alpha }{\nu }}\,\partial ^{\nu }f\,\partial ^{\alpha -\nu }g.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ef0670fad1007b937c3a9a82a6c497046feb1d6)
- テイラー級数
- n引数の解析関数fは次のように展開される。
![{\displaystyle f(x+h)=\sum _{\alpha \in \mathbb {N} _{0}^{n}}^{}{{\frac {\partial ^{\alpha }f(x)}{\alpha !}}h^{\alpha }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/876d4e484fff118421fa290f089b77c8e1bdda3e)
- 実際、fがk+1階微分可能な関数ならば、テイラー展開
![{\displaystyle f(x+h)=\sum _{|\alpha |\leq k}{{\frac {\partial ^{\alpha }f(x)}{\alpha !}}h^{\alpha }}+R_{k}(x,h),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7010e4456b47d2550bb49ad4952c5f7a6c014fea)
- を得る。ただし最終項(剰余項)はテイラーの定理における剰余項の表示形式によって異なる。例えば積分表示による剰余項であれば、
![{\displaystyle R_{k}(x,h)=(k+1)\sum _{|\alpha |=k+1}{\frac {h^{\alpha }}{\alpha !}}\int _{0}^{1}(1-t)^{k}\partial ^{\alpha }f(x+th)\,dt.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a0aafd4f2f32b35d0d281e1f8853f454394abbe)
- 一般化偏微分作用素
- n項の形式的N階偏微分作用素は次のように定義される。
![{\displaystyle P(\partial )=\sum _{|\alpha |\leq N}{}{a_{\alpha }(x)\partial ^{\alpha }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8337065ee25c08f25c133f4ddb728bd9e8dd8231)
- 部分積分
- 有界な領域
上にコンパクトな台を持つ滑らかな関数u,vは、 ![{\displaystyle \int _{\Omega }{}{u(\partial ^{\alpha }v)}\,dx=(-1)^{|\alpha |}\int _{\Omega }^{}{(\partial ^{\alpha }u)v\,dx}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6542070b9eaa44eaab4d070c9706900d637faf26)
- この形式は超関数と弱微分の定義において用いられる。
関連項目
出典
[脚注の使い方]
注釈
参考文献
- Saint Raymond, Xavier (1991). Elementary Introduction to the Theory of Pseudodifferential Operators. Chap 1.1 . CRC Press. ISBN 0-8493-7158-9
- 小澤徹 (2008年). “多重指数” (PDF). ,小澤徹 (おざわ とおる) 数学小ネタ集. 早稲田大学. 2021年11月7日閲覧。
- 矢野健太郎「幾何学部門報告」『数学』第23巻第2号、日本数学会、1971年、101-106頁、CRID 1390001205067286016、doi:10.11429/sugaku1947.23.101、ISSN 0039470X。
|
---|
Glossary of tensor theory(英語版) |
範囲 (Scope) | |
---|
表記法 (Notation) | |
---|
テンソルの定義 | |
---|
算法 | |
---|
関連事項 | |
---|
有名なテンソル | |
---|
数学者 | |
---|
カテゴリ |