An ''n''-dimensional is a vector
:
with integers . For multi-indices and one defines:
:
:
|
:
:
where
The notation allows to extend many formula from elementary calculus to the corresponding multi-variable case. Some examples of common applications of multi-index notations:
In fact, for a smooth enough function, we have the similar
for smooth functions with
Compact Support in a bounded domain
one has
::
.
For each
, the function
only depends on
. In the above, each partial differentiation
therefore reduces to the corresponding ordinary differentiation
. Hence, from equation 1, it follows that
vanishes if
for any
. If this is not the case, i.e., if
as multi-indices, then for each
,
:
,
and the theorem follows.
- Saint Raymond, Xavier (1991). ''Elementary Introduction to the Theory of Pseudodifferential Operators''. Chap 1.1 . CRC Press. ISBN 0-8493-7158-9