Multinomial theorem
Theorem (binomial series)
From [math]\displaystyle{ \alpha \in {}^{(\nu)}\mathbb{C}, \binom{\alpha}{n}:=\widetilde{n!}\alpha\acute{\alpha}...(\grave{\alpha}-n) }[/math] and [math]\displaystyle{ \left|\binom{\alpha}{\grave{m}}/\binom{\alpha}{m}\right|<1 }[/math] for all [math]\displaystyle{ m \ge \nu }[/math] and [math]\displaystyle{ \binom{\alpha}{0}:=1 }[/math], it follows for [math]\displaystyle{ z \in \mathbb{D}^\ll }[/math] or [math]\displaystyle{ z \in {}^{(\omega)}\mathbb{C} }[/math] for [math]\displaystyle{ \alpha \in {}^{(\omega)}\mathbb{N} }[/math] the Taylor series centred on 0 by derivating
Multinomial theorem
For [math]\displaystyle{ z, \zeta \in {}^{(\omega)}\mathbb{C}^{k}, n^T \in {}^{(\omega)}\mathbb{N}^{k}, k, m \in {}^{\omega}\mathbb{N}^{*}, z^n := z_1^{n_1} ... z_k^{n_k} }[/math] and [math]\displaystyle{ \binom{m}{n} := \widetilde{n_1! ... {n}_k!}m!\;(k \ge 2) }[/math], it holds that
Proof:
Cases [math]\displaystyle{ k \in \{1, 2\} }[/math] are clear. Induction step from [math]\displaystyle{ k }[/math] to [math]\displaystyle{ \grave{k} }[/math] by summarising the last two summands for [math]\displaystyle{ p \in {}^{\omega}\mathbb{N} }[/math]:
Induction step from [math]\displaystyle{ m }[/math] to [math]\displaystyle{ \grave{m} }[/math] for [math]\displaystyle{ \grave{n} := n+(1,0, ... ,0) }[/math] by individual integration:
General Leibniz formula
For [math]\displaystyle{ {\downarrow}^n := {\downarrow}_1^{n_1}...{\downarrow}_k^{n_k} }[/math] and [math]\displaystyle{ {\downarrow}_j^{n_j} := {\downarrow}^{n_j}/{\downarrow}{z_j}^{n_j} }[/math], it follows for [math]\displaystyle{ m^T, n^T \in {}^{(\omega)}\mathbb{N}^{k}, j, k \in {}^{(\omega)}\mathbb{N}^* }[/math] and differentiable [math]\displaystyle{ f = f_1\cdot...\cdot f_k \in {}^{(\omega)}\mathbb{C} }[/math] from the multinomial theorem that