Multi-indice

En mathématiques, les multi-indices généralisent la notion d'indice entier en permettant d'envisager plusieurs variables entières pour une indexation. L'utilisation des multi-indices a pour but de simplifier les formules qu'on rencontre dans le calcul à plusieurs variables, que ce soit pour le calcul polynomial ou en analyse vectorielle.

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (décembre 2025).

Un multi-indice de taille n est un vecteur

α = (α_{1}, α_{2}, \dots, α_{n})

à coefficients $α_{i}$ entiers positifs.

Au multi-indice α est associé sa longueur (parfois appelée module) $| α |$ , définie par :

| α | = \sum_{k = 1}^{n} α_{k} = α_{1} + \dots + α_{n}

Il convient de préciser que les multi-index peuvent représenter des sous-ensembles de k éléments pris dans n, déterminés par le calcul combinatoire.

Notations adaptées

On utilise pour un vecteur $𝐱$ de composantes $x_{1}, \dots, x_{n}$ , une notation sous forme d'exponentiation pour représenter le calcul polynomial

𝐱^{α} = x_{1}^{α_{1}} x_{2}^{α_{2}} \dots x_{n}^{α_{n}} = \prod_{k = 1}^{n} x_{k}^{α_{k}}

Et on peut introduire l'opérateur différentiel

\partial^{α} := \partial_{1}^{α_{1}} \partial_{2}^{α_{2}} \dots \partial_{n}^{α_{n}} avec \partial_{i}^{j} := \frac{\partial^{j}}{\partial x_{i}^{j}} .

Cet opérateur est par exemple utilisé dans certaines preuves de continuité de la Transformée de Fourier^[1]. Il faut prendre garde à n'utiliser cette notation que dans le cas de fonctions pour lesquelles l'ordre des dérivations n'importe pas (c'est-à-dire vérifiant par exemple les conditions du théorème de Schwarz).

Plus généralement, on peut définir un opérateur différentiel d'ordre^[2] N pour n variables par une formule telle que :

P (\partial) = \sum_{| α | \leq N} a_{α} (x) \partial^{α}

Pour écrire les formules classiques, on introduit une multi-factorielle généralisant la factorielle :

α! = \prod_{k = 1}^{n} (α_{k}!) = α_{1}! \times \dots \times α_{n}!

Et il est possible de généraliser les coefficients binomiaux :

(\binom{α}{β}) = \frac{α!}{(α - β)! β!} = (\binom{α_{1}}{β_{1}}) (\binom{α_{2}}{β_{2}}) \dots (\binom{α_{n}}{β_{n}})

Les coefficients multinomiaux peuvent également s'écrire à l'aide d'une notation multi-indice :

(\binom{k}{α}) = \frac{k!}{α_{1}! α_{2}! \dots α_{n}!} = \frac{k!}{α!}

où

| α | = k

Enfin pour décrire les domaines d'indexation il est utile de donner une relation d'ordre partielle sur les multi-indices

α \leq β ⟺ \forall i \in [[1; n]], α_{i} \leq β_{i}

Application à des formules usuelles

Avec ces notations un certain nombre de formules classiques s'écrivent de façon relativement compacte et admettent des généralisations vectorielles.

Calcul polynomial

Généralisation de la formule du binôme de Newton

{(𝐱 + 𝐲)}^{α} = \sum_{β \leq α} (\binom{α}{β}) 𝐱^{α - β} 𝐲^{β}

On peut également donner une écriture compacte de la formule du multinôme

{(\sum_{i = 1}^{n} x_{i})}^{k} = \sum_{| α | = k}^{} \frac{k!}{α!} 𝐱^{α}

Il est souvent utile de disposer de l'effet d'un opérateur différentiel sur un monôme

\partial^{i} x^{k} = {\begin{matrix} \frac{k!}{(k - i)!} x^{k - i} & si i \leq k \\ 0 & sinon. \end{matrix}

Calcul infinitésimal

Généralisation de la formule de Leibniz pour deux fonctions numériques suffisamment régulières u, v

\partial^{α} (u v) = \sum_{ν \leq α}^{} (\binom{α}{ν}) \partial^{ν} u \partial^{α - ν} v

Il en découle une formule d'intégration par parties : pour des fonctions suffisamment régulières dont l'une au moins est à support compact il vient

\int u (\partial^{α} v) d x = (- 1)^{| α |} \int (\partial^{α} u) v d x

Formule qui est utile par exemple en théorie des distributions.

Écriture des différentes formules de Taylor: pour une fonction suffisamment régulière

f (𝐱 + 𝐡) = \sum_{| α | \leq n} \frac{\partial^{α} f (𝐱)}{| α |!} 𝐡^{α} + R_{n} (𝐱, 𝐡)

où l'expression du dernier terme (reste) dépend de la formule utilisée. Par exemple pour la formule avec reste intégral il vient

R_{n} (𝐱, 𝐡) = (n + 1) \sum_{| α | = n + 1} \frac{𝐡^{α}}{| α |!} \int_{0}^{1} (1 - t)^{n} \partial^{α} f (𝐱 + t 𝐡) d t

Notes et références

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

↑ (en) Michael Reed et Barry Simon, Methods of Modern Mathematical Physics, Academic Press Inc., Hardcourt Brace Jovanovich, Publishers, 1980, 413 p. (ISBN 0-12-585050-6, lire en ligne), p. 319
↑ (en) Gerrit Van Dijk, « 2. Definition and First Properties of Distributions », dans Distribution Theory, De Gruyter Graduate Lectures, 2013, 115 p. (ISBN 978-3-11-029591-7, lire en ligne), p. 3

Bibliographie

(en) Gérard Bricogne, « Multi-index notation », dans Tables internationales de cristallographie, vol. B, 2010, 26 p. (ISBN 0-7923-6592-5, lire en ligne).

Portail des mathématiques

[1] (en) Michael Reed et Barry Simon, Methods of Modern Mathematical Physics, Academic Press Inc., Hardcourt Brace Jovanovich, Publishers, 1980, 413 p. (ISBN 0-12-585050-6, lire en ligne), p. 319

[2] (en) Gerrit Van Dijk, « 2. Definition and First Properties of Distributions », dans Distribution Theory, De Gruyter Graduate Lectures, 2013, 115 p. (ISBN 978-3-11-029591-7, lire en ligne), p. 3

[1]

[2]