La notación multi-índice es un tipo de abreviación usado en cálculo de varias variables y análisis funcional para escribir abreviadamente ciertas expresiones matemáticas. Esencialmente, un multi-índice
α
{\displaystyle \alpha \,}
es una n -tupla de números enteros, cuya medida
|
α
|
{\displaystyle |\alpha |\,}
viene dada por:
α
=
(
α
1
,
…
,
α
n
)
∈
N
n
,
|
α
|
=
α
1
+
α
2
+
⋯
+
α
n
{\displaystyle \alpha =(\alpha _{1},\dots ,\alpha _{n})\in \mathbb {N} ^{n},\qquad |\alpha |=\alpha _{1}+\alpha _{2}+\dots +\alpha _{n}}
Se define
α
!
=
α
1
!
α
2
!
…
α
n
!
{\displaystyle \alpha !=\alpha _{1}!\alpha _{2}!\dots \alpha _{n}!}
Esta notación multi-índice simplifica muchas fórmulas utilizadas en el cálculo multivariable , en las ecuaciones diferenciales parciales o en la teoría de distribuciones , al generalizar el concepto de una índice entera a una tupla ordenada de índices.
Los multi-índices son frecuentemente usados para resumir derivadas parciales de una función de n variables:
D
α
f
≡
∂
|
α
|
f
∂
x
1
α
1
∂
x
2
α
2
…
∂
x
n
α
n
.
{\displaystyle D^{\alpha }f\equiv {\frac {\partial ^{|\alpha |}f}{\partial x_{1}^{\alpha _{1}}\partial x_{2}^{\alpha _{2}}\dots \partial x_{n}^{\alpha _{n}}}}\,.}
Otros contextos y sus propiedades básicas
editar
Un n -dimensional multiíndice es una n -tupla
α
=
(
α
1
,
α
2
,
…
,
α
n
)
{\displaystyle \alpha =(\alpha _{1},\alpha _{2},\ldots ,\alpha _{n})}
de enteros no negativos (es decir, un elemento del conjunto de números naturales de n , denotado
N
0
n
{\displaystyle \mathbb {N} _{0}^{n}}
).
Para los multiíndices
α
,
β
∈
N
0
n
{\displaystyle \alpha ,\beta \in \mathbb {N} _{0}^{n}}
y
x
=
(
x
1
,
x
2
,
…
,
x
n
)
∈
R
n
{\displaystyle x=(x_{1},x_{2},\ldots ,x_{n})\in \mathbb {R} ^{n}}
se define:
Suma y diferencia por componentes
α
±
β
=
(
α
1
±
β
1
,
α
2
±
β
2
,
…
,
α
n
±
β
n
)
{\displaystyle \alpha \pm \beta =(\alpha _{1}\pm \beta _{1},\,\alpha _{2}\pm \beta _{2},\ldots ,\,\alpha _{n}\pm \beta _{n})}
Orden parcial
α
≤
β
⇔
α
i
≤
β
i
∀
i
∈
{
1
,
…
,
n
}
{\displaystyle \alpha \leq \beta \quad \Leftrightarrow \quad \alpha _{i}\leq \beta _{i}\quad \forall \,i\in \{1,\ldots ,n\}}
Suma de componentes (valor absoluto)
|
α
|
=
α
1
+
α
2
+
⋯
+
α
n
{\displaystyle |\alpha |=\alpha _{1}+\alpha _{2}+\cdots +\alpha _{n}}
Factorial
α
!
=
α
1
!
⋅
α
2
!
⋯
α
n
!
{\displaystyle \alpha !=\alpha _{1}!\cdot \alpha _{2}!\cdots \alpha _{n}!}
Coeficiente binomial
(
α
β
)
=
(
α
1
β
1
)
(
α
2
β
2
)
⋯
(
α
n
β
n
)
=
α
!
β
!
(
α
−
β
)
!
{\displaystyle {\binom {\alpha }{\beta }}={\binom {\alpha _{1}}{\beta _{1}}}{\binom {\alpha _{2}}{\beta _{2}}}\cdots {\binom {\alpha _{n}}{\beta _{n}}}={\frac {\alpha !}{\beta !(\alpha -\beta )!}}}
Coeficiente multinomial
(
k
α
)
=
k
!
α
1
!
α
2
!
⋯
α
n
!
=
k
!
α
!
{\displaystyle {\binom {k}{\alpha }}={\frac {k!}{\alpha _{1}!\alpha _{2}!\cdots \alpha _{n}!}}={\frac {k!}{\alpha !}}}
donde
k
:=
|
α
|
∈
N
0
{\displaystyle k:=|\alpha |\in \mathbb {N} _{0}}
Potencias
x
α
=
x
1
α
1
x
2
α
2
…
x
n
α
n
{\displaystyle x^{\alpha }=x_{1}^{\alpha _{1}}x_{2}^{\alpha _{2}}\ldots x_{n}^{\alpha _{n}}}
Derivada parcial de orden superior
∂
α
=
∂
1
α
1
∂
2
α
2
…
∂
n
α
n
{\displaystyle \partial ^{\alpha }=\partial _{1}^{\alpha _{1}}\partial _{2}^{\alpha _{2}}\ldots \partial _{n}^{\alpha _{n}}}
where
∂
i
α
i
:=
∂
α
i
/
∂
x
i
α
i
{\displaystyle \partial _{i}^{\alpha _{i}}:=\partial ^{\alpha _{i}}/\partial x_{i}^{\alpha _{i}}}
(véase también 4-gradiente ). A veces también se utiliza la notación
D
α
=
∂
α
{\displaystyle D^{\alpha }=\partial ^{\alpha }}
.[ 1]
↑ Reed, M.; Simon, B. (1980). Métodos de la física matemática moderna: Análisis funcional I (Revisada y ampliada edición). San Diego: Academic Press. p. 319. ISBN 0-12-585050-6 .