多重指数

非負整数からなる n-次元（あるいは n-変数）の多重指数あるいは多重添字αとは非負整数全体の成す集合 N₀ の n-重デカルト積 N₀ⁿ の元を言う。すなわち、α₁, α₂, ..., α_n∈N₀ とすると

${\displaystyle \alpha =(\alpha _{1},\alpha _{2},\ldots ,\alpha _{n})}$

である[1]。場合によっては整数からなる多重指数や実数からなる多重指数も必要に応じて用いられる。

多重指数を利用して数ベクトルや勾配作用素の多重指数による冪を次のように定義する。

多重冪指数 [1]

${\displaystyle x^{\alpha }:=x_{1}^{\alpha _{1}}x_{2}^{\alpha _{2}}\dotsb x_{n}^{\alpha _{n}}.}$ ただし${\displaystyle x=(x_{1},x_{2},\ldots ,x_{n})\in \mathbb {R} ^{n}.}$

高階偏微分の階数[1]

${\displaystyle \partial ^{\alpha }:=\partial _{1}^{\alpha _{1}}\partial _{2}^{\alpha _{2}}\dotsb \partial _{n}^{\alpha _{n}}\quad (\partial _{i}^{\alpha _{i}}=\partial ^{\alpha _{i}}/\partial x_{i}^{\alpha _{i}}).}$ ただし、${\displaystyle \partial =(\partial _{1},\partial _{2},\ldots ,\partial _{n})=}$∇.

多重指数記法を用いれば、初等解析学における多くの公式をほとんどそのままの形で、対応する多変数の式にすることができる。以下はそのいくつかの例である。すべて${\displaystyle x,y,h\in \mathbb {X} ^{n}}$, ${\displaystyle \alpha ,\nu \in \mathbb {N} _{0}^{n}}$,${\displaystyle f,a_{\alpha }\colon \mathbb {X} ^{n}\to \mathbb {X} }$ (${\displaystyle \mathbb {X} =\mathbb {C} ,\mathbb {R} }$).とする。

多項定理

${\displaystyle {\biggl (}\sum _{i=1}^{n}x_{i}{\biggr )}^{k}=\sum _{|\alpha |=k}{\binom {k}{\alpha }}\,x^{\alpha }}$

多重二項定理

${\displaystyle (x+y)^{\alpha }=\sum _{\nu \leq \alpha }{\binom {\alpha }{\nu }}\,x^{\nu }y^{\alpha -\nu }.}$

注意: ${\displaystyle x+y}$はベクトルで${\displaystyle \alpha }$ は多重指数だから、左辺は ${\displaystyle (x_{1}+y_{1})^{\alpha _{1}}\cdots (x_{n}+y_{n})^{\alpha _{n}}}$の略記法である。

ライプニッツ則

f と gは滑らかな関数とする。

${\displaystyle \partial ^{\alpha }(fg)=\sum _{\nu \leq \alpha }{\binom {\alpha }{\nu }}\,\partial ^{\nu }f\,\partial ^{\alpha -\nu }g.}$

テイラー級数

n引数の解析関数fは次のように展開される。

${\displaystyle f(x+h)=\sum _{\alpha \in \mathbb {N} _{0}^{n}}^{}{{\frac {\partial ^{\alpha }f(x)}{\alpha$ !}}h^{\alpha }}.}

実際、fがk+1階微分可能な関数ならば、テイラー展開

${\displaystyle f(x+h)=\sum _{|\alpha |\leq k}{{\frac {\partial ^{\alpha }f(x)}{\alpha$ !}}h^{\alpha }}+R_{k}(x,h),}

を得る。ただし最終項(剰余項)はテイラーの定理における剰余項の表示形式によって異なる。例えば積分表示による剰余項であれば、

${\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.}

一般化偏微分作用素

n項の形式的N階偏微分作用素は次のように定義される。

${\displaystyle P(\partial )=\sum _{|\alpha |\leq N}{}{a_{\alpha }(x)\partial ^{\alpha }}.}$

部分積分

有界な領域 ${\displaystyle \Omega \subset \mathbb {R} ^{n}}$ 上にコンパクトな台を持つ滑らかな関数u,vは、

${\displaystyle \int _{\Omega }{}{u(\partial ^{\alpha }v)}\,dx=(-1)^{|\alpha |}\int _{\Omega }^{}{(\partial ^{\alpha }u)v\,dx}.}$

この形式は超関数と弱微分の定義において用いられる。

• アインシュタインの縮約記法
• リッチ計算法[注 1]

• 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)	添字表記法 多重指数 アインシュタインの縮約記法 リッチ計算法 ペンローズのグラフ記法 フォークト表記 抽象添字記法 テトラド表記 ファン・デル・ヴェルデン表示
テンソルの定義	テンソル空間 テンソル場 テンソル密度 曲線座標系におけるテンソル 混テンソル 反対称テンソル 対称テンソル テンソル作用素 テンソル束
算法	テンソル積 楔積 テンソルの縮約 行列（2階テンソル）の転置 添字の上げ下げ ホッジ双対 共変微分 外微分 共変外微分 リー微分
関連事項	次元 基底 ベクトル、ベクトル空間 多重ベクトル ベクトルの共変性と反変性 線型写像 行列 スピノール カルタン形式 微分形式 接続形式 測地線 多様体 ファイバー束 曲率形式 レヴィ・チヴィタ接続 アフィン接続
有名なテンソル	数学 クロネッカーのデルタ エディントンのイプシロン 計量テンソル クリストッフェル記号 リッチテンソル リーマン曲率テンソル ワイルテンソル 捩率テンソル 物理学 慣性モーメント 角運動量 応力テンソル エネルギー・運動量テンソル 電磁場テンソル グルーオン場の強度テンソル アインシュタインテンソル 計量テンソル (一般相対論)
数学者	レオンハルト・オイラー カール・フリードリヒ・ガウス オーギュスタン＝ルイ・コーシー ヘルマン・グラスマン グレゴリオ・リッチ＝クルバストロ トゥーリオ・レヴィ＝チヴィタ Jan Arnoldus Schouten ベルンハルト・リーマン エルヴィン・クリストッフェル ヴォルデマール・フォークト エリ・カルタン ヘルマン・ワイル アルベルト・アインシュタイン
カテゴリ