PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] multi-index derivative of a power (Theorem)

Theorem If $i,k$ are multi-indices in $\sN^n$ , and $x=(x_1,\ldots, x_n)$ , then \begin{eqnarray*} \partial^i x^k = \left\{ \begin {array}{ll} \frac{k!}{(k-i)!} x^{k-i} & \mbox{if}\,\, i\le k, \\ 0 & \mbox{otherwise}. \end{array}.

Proof. The proof follows from the corresponding rule for the ordinary derivative; if $i,k$ are in $0,1,2,\ldots$ , then \begin{eqnarray} \label{usual} \frac{d^i}{dx^i} x^k = \left\{ \begin {array}{ll} \frac{k!}{(k-i)!} x^{k-i} & \mbox{if}\,\, i\le k, \\ 0 & \mbox{otherwise.} \end{array}. Suppose $i=(i_1,\ldots, i_n)$ , $k=(k_1,\ldots, k_n)$ , and $x=(x_1,\ldots, x_n)$ . Then we have that \begin{eqnarray*} \partial^i x^k &=& \frac{\partial^{|i|}}{\partial x_1^{i_1} \cdots \partial x_n^{i_n}} x_1^{k_1} \cdots x_n^{k_n} \\ &=& \frac{\partial^{i_1}}{\partial x_1^{i_1}} x_1^{k_1} \cdot \cdots \cdot \frac{\partial^{i_n}}{\partial x_n^{i_n}} x_n^{k_n}. \end{eqnarray*}For each $r=1,\ldots, n$ , the function $x_r^{k_r}$ only depends on $x_r$ . In the above, each partial differentiation $\partial/\partial x_r$ therefore reduces to the corresponding ordinary differentiation $d/dx_r$ . Hence, from equation [*], it follows that $\partial^i x^k$ vanishes if $i_r > k_r$ for any $r=1,\ldots, n$ . If this is not the case, i.e., if $i\le k$ as multi-indices, then for each $r$ , $$\frac{d^{i_r}}{dx_r^{i_r}} x_r^{k_r} = \frac{k_r!}{(k_r-i_r)!} x_r^{k_r-i_r},$$ and the theorem follows. $ \Box$




Anyone with an account can edit this entry. Please help improve it!

"multi-index derivative of a power" is owned by matte.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: vanishes, equation, differentiation, function, derivative, proof, multi-indices, theorem

This is version 6 of multi-index derivative of a power, born on 2003-06-18, modified 2004-02-16.
Object id is 4376, canonical name is MultiIndexDerivativeOfAPower.
Accessed 3101 times total.

Classification:
AMS MSC05-00 (Combinatorics :: General reference works )

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)