Definition:

Let${\displaystyle \phi :U\to \mathbb{R}}$ be a function, where${\displaystyle U}$ is an open subset of${\displaystyle {\mathbb{R}}^d}$. We say

• ${\displaystyle \phi \in {\mathcal{C}}^k(U)}$ iff all partial derivatives of${\displaystyle \phi }$ up to order${\displaystyle k}$ exist and are continuous
• ${\displaystyle \phi \in {\mathcal{C}}^{\mathrm{\infty }}(U)}$ iff all partial derivatives of${\displaystyle \phi }$ ofany order exist and are continuous.

Definition:

Let${\displaystyle (X,\tau )}$ be a topological space and let${\displaystyle f:X\to \mathbb{R}}$ be a function. Then thesupport of${\displaystyle f}$ is defined to be the set

${\displaystyle \mathrm{supp}f:=\overline{\left\{x\in X|f(x)\ne 0\right\}}}$;

the bar above the set on the right denotes thetopological closure.

Definition:

Abump function is a function${\displaystyle \phi }$ from an open set${\displaystyle U\subseteq {\mathbb{R}}^d}$ to${\displaystyle \mathbb{R}}$ such that the following two conditions are satisfied:

1. ${\displaystyle \mathrm{supp}\phi }$ is compact
2. ${\displaystyle \phi \in {\mathcal{C}}^{\mathrm{\infty }}(U)}$

The multiindex notation is an efficient way of denoting several things in multi-dimensional space. For instance, it takes fairly long to denote a partial derivative in the usual way; in the usual notation, a partial derivative is denoted

${\displaystyle {\mathrm{\partial }}_1^{k_1}\cdots {\mathrm{\partial }}_d^{k_d}f}$

for some${\displaystyle k_1,\dots ,k_d\in \mathbb{N}}$. Now in multiindex notation, the${\displaystyle k_1,\dots ,k_d}$ are assembled into a vector${\displaystyle \alpha =(k_1,\dots ,k_d)}$, and the term

${\displaystyle {\mathrm{\partial }}_{\alpha }f}$

is then used instead of the partial derivative notation used above. Now, for one partial derivative this may not be a huge advantage (unless one is talking about ageneral partial derivative), but for instance when one sums all partial derivatives of a polynomial${\displaystyle p}$, say, then one obtains expressions as such:

${\displaystyle \sum _{\alpha \in {\mathbb{N}}_0^d}{\mathrm{\partial }}_{\alpha }p}$ (Note that this is well-defined, as the sum is finite.)

Now compare this to the much longer

${\displaystyle \sum _{k_1=1}^{\mathrm{\infty }}\cdots \sum _{k_n=1}^{\mathrm{\infty }}{\mathrm{\partial }}_1^{k_1}\cdots {\mathrm{\partial }}_d^{k_d}p}$;

as you can see, we saved a lot of time, and that's what's all about. Multiindex notation was invented byLaurent Schwartz.

Other multiindex conventions are the following (we use a convention byBéla Bollobás and denote${\displaystyle [d]:=\{1,\dots ,d\}}$):

• MultiindexPartial order:${\displaystyle (k_1,\dots ,k_d)\le (m_1,\dots ,m_d):\iff \mathrm{\forall }j\in [d]:k_j\le m_j}$
• Multiindex factorial:${\displaystyle (k_1,\dots ,k_d)!:=k_1!\cdots k_d!}$
• Multiindex binomial coefficient: Let${\displaystyle \alpha =(k_1,\dots ,k_d)}$ and${\displaystyle \beta =(m_1,\dots ,m_d)}$ be multiindices, then${\displaystyle (\genfrac{}{}{0ex}{}{\alpha }{\beta }):=(\genfrac{}{}{0ex}{}{k_1}{m_1})\cdots (\genfrac{}{}{0ex}{}{k_d}{m_d})}$
• Multiindex power: Let additionally${\displaystyle x=(x_1,\dots ,x_d)\in {\mathbb{R}}^d}$, then set${\displaystyle x^{\alpha }:=x_1^{k_1}\cdots x_d^{k_d}}$
• Constant multiindex: If${\displaystyle n\in \mathbb{N}}$, we denote the constant multiindex${\displaystyle (n,\dots ,n)}$ by the boldface${\displaystyle \mathbf{n}}$
• Multiindex differentiability: We write${\displaystyle f\in {\mathcal{C}}^{\alpha }(U)}$ iff the partial derivatives${\displaystyle {\mathrm{\partial }}_{\beta }f}$ exist for all${\displaystyle \beta \in {\mathbb{N}}_0^d}$ with${\displaystyle \beta \le \alpha }$.

Further, theabsolute value of a multiindex${\displaystyle \alpha =(k_1,\dots ,k_d)}$ is defined as

${\displaystyle |\alpha |:=\sum _{j=1}^d{k}_d}$.

A few sample theorems on multiindices are these (we'll need them often):

Theorem (multiindex binomial formula):

Let${\displaystyle \alpha \in {\mathbb{N}}_0^d}$ be a multiindex,${\displaystyle x,y\in {\mathbb{R}}^d}$. Then

${\displaystyle (x+y{)}^{\alpha }=\sum _{\mathbf{0}\le \beta \le \alpha }(\genfrac{}{}{0ex}{}{\alpha }{\beta })x^{\beta }{y}^{\alpha -\beta }}$.

Note that this formula looks exactly as in the one-dimensional case, with one dimensional variables replaced by multiindex variables. This will be a recurrent phenomenon.

Proof:

We prove the theorem by induction on${\displaystyle |\alpha |}$. For${\displaystyle |\alpha |=0}$ the case is clear. Now suppose the theorem has been proven where${\displaystyle |\alpha |=n}$, and let instead${\displaystyle |\alpha |=n+1}$. Then${\displaystyle \alpha }$ has at least one nonzero component; let's say the${\displaystyle j}$-th component of${\displaystyle \alpha }$ is nonzero. Then${\displaystyle {\alpha }^{\prime }:=\alpha -e_j}$ (${\displaystyle e_j}$ denoting the${\displaystyle j}$-th unit vector, i.e.${\displaystyle e_j=\left(0,\dots ,0,\stackrel{j\text{-th place}}{\overbrace{1}},0,\dots ,0\right)}$) is a multiindex of absolute value${\displaystyle n}$. By induction,

${\displaystyle (x+y{)}^{{\alpha }^{\prime }}=\sum _{\mathbf{0}\le \beta \le {\alpha }^{\prime }}(\genfrac{}{}{0ex}{}{{\alpha }^{\prime }}{\beta })x^{\beta }{y}^{{\alpha }^{\prime }-\beta }}$

and hence, multiplying both sides by${\displaystyle (x+y{)}^{e_j}=x_j+y_j}$,

because

${\displaystyle (\genfrac{}{}{0ex}{}{{\alpha }^{\prime }}{\beta -e_j})+(\genfrac{}{}{0ex}{}{{\alpha }^{\prime }}{\beta })=(\genfrac{}{}{0ex}{}{{\alpha }^{\prime }+e_j}{\beta })=(\genfrac{}{}{0ex}{}{\alpha }{\beta })}$

by the respective rule for the usual${\displaystyle 1}$-dim. binomial coefficient.${\displaystyle ◻}$

Theorem (multiindex product rule):

Let${\displaystyle \alpha \in {\mathbb{N}}_0^d}$ be a multiindex,${\displaystyle U\subseteq {\mathbb{R}}^d}$ be open and${\displaystyle f,g\in {\mathcal{C}}^{\alpha }(U)}$. Then

${\displaystyle {\mathrm{\partial }}_{\alpha }(f\cdot g)=\sum _{\beta \le \alpha }(\genfrac{}{}{0ex}{}{\alpha }{\beta }){\mathrm{\partial }}_{\beta }f\cdot {\mathrm{\partial }}_{\alpha -\beta }g}$;

in particular,${\displaystyle f\cdot g\in {\mathcal{C}}^{\alpha }(U)}$.

Proof:

Again, we proceed by induction on${\displaystyle |\alpha |}$. As before, pick${\displaystyle j\in [d]}$ such that the${\displaystyle j}$-th entry of${\displaystyle \alpha }$ is nonzero, and define${\displaystyle {\alpha }^{\prime }:=\alpha -e_j}$. Then by induction

${\displaystyle ◻}$

Note that the proof is essentially the same as in the previous theorem, since by the product rule, differentiation in one direction has the same effect as multiplying the "sum of derivatives" to the existing derivatives.

Note that the dimension of the respective multiindex must always match the dimension of the space we are considering.

• Book:Distribution Theory