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α1⋯xdα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α1⋯∂xdα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.