Core idea

A multi-index is a tuple α=(α1,,αd)N0d\alpha=(\alpha_1,\ldots,\alpha_d)\in\mathbb N_0^d. The standard notation is

α=α1++αd,α!=α1!αd!,xα=x1α1xdαd,|\alpha|=\alpha_1+\cdots+\alpha_d, \quad \alpha!=\alpha_1!\cdots\alpha_d!, \quad x^\alpha=x_1^{\alpha_1}\cdots x_d^{\alpha_d},
α=x1α1xdαd.\partial^\alpha =\partial_{x_1}^{\alpha_1}\cdots\partial_{x_d}^{\alpha_d}.
Derivative families

The symbol DafD^a f may denote the family (αf)α=a(\partial^\alpha f)_{|\alpha|=a}. A scalar size such as Daf(x)=supα=aαf(x)|D^a f(x)|=\sup_{|\alpha|=a}|\partial^\alpha f(x)| must be stated because other texts use Euclidean or summed norms on this finite family.

Uses

Multi-indices compress Taylor formulas, symbol estimates, , and in several variables.

References
  1. Lawrence C. Evans, Partial Differential Equations, 2nd ed., AMS, 2010. Publisher record.