Mixing
Proving the Product Rule with Multiindex Notation
up vote
1
down vote
favorite
Let $f, g : mathbb{R}^n rightarrow mathbb{R}$ be smooth functions (that is, all partial derivatives exist to arbitrary orders). Show that for all multiindices $alpha in mathbb{N}^{n}_{0}$ we have
$$large partial^alpha(f cdot g)(x)= sum_{beta in mathbb{N}^{n}_{0} :beta leqslant alpha} binom{alpha}{beta} partial^{beta}f(x)partial^{alpha-beta}g(x)$$
for all $xinmathbb{R}^n$, where $Large binom{alpha}{beta}=frac{alpha!}{beta!(alpha-beta)!}=frac{alpha_{1}!cdotcdotcdotalpha_{n}!}{beta_{1}!cdotcdotcdotbeta_{n}!(alpha_{1}-beta_{1}!)cdotcdotcdot(alpha_{n}-beta_{n})!}.$
I am able to decipher the base case where $|alpha|=1$. Since for either $|beta|=0$ and $|beta|=1$, we have that $binom{alpha}{beta}=1$ and $partial^{(0,...,0)}f(x)=f(x)$. Therefore, we have that
$$large partial^{alpha}(fcdot g)(x)=sum^{n}_{i=1}partial_i f(x)g(x) + partial_i g(x)f(x).$$
However, I have no idea about the inductive step. Anyone have any solution or hint? I would greatly appreciate it. Thank you in advance.
real-analysis multivariable-calculus derivatives
asked 1 hour ago
Gaby Boy Analysis
606214
add a comment |
up vote
1
down vote
favorite
Let $f, g : mathbb{R}^n rightarrow mathbb{R}$ be smooth functions (that is, all partial derivatives exist to arbitrary orders). Show that for all multiindices $alpha in mathbb{N}^{n}_{0}$ we have
$$large partial^alpha(f cdot g)(x)= sum_{beta in mathbb{N}^{n}_{0} :beta leqslant alpha} binom{alpha}{beta} partial^{beta}f(x)partial^{alpha-beta}g(x)$$
for all $xinmathbb{R}^n$, where $Large binom{alpha}{beta}=frac{alpha!}{beta!(alpha-beta)!}=frac{alpha_{1}!cdotcdotcdotalpha_{n}!}{beta_{1}!cdotcdotcdotbeta_{n}!(alpha_{1}-beta_{1}!)cdotcdotcdot(alpha_{n}-beta_{n})!}.$
I am able to decipher the base case where $|alpha|=1$. Since for either $|beta|=0$ and $|beta|=1$, we have that $binom{alpha}{beta}=1$ and $partial^{(0,...,0)}f(x)=f(x)$. Therefore, we have that
$$large partial^{alpha}(fcdot g)(x)=sum^{n}_{i=1}partial_i f(x)g(x) + partial_i g(x)f(x).$$
However, I have no idea about the inductive step. Anyone have any solution or hint? I would greatly appreciate it. Thank you in advance.
real-analysis multivariable-calculus derivatives
asked 1 hour ago
Gaby Boy Analysis
606214
1
For every multiindex $alpha$ with $|alpha|=k+1$ there exists a multiindex $gamma$ and an index $1leq ileq n$ such that $|gamma|=k$ and $partial^alpha=partial_ipartial^gamma$. Using this you can do induction by $|alpha|$.
– maxmilgram
1 hour ago
Also, note that the sum in the "base case" is not correctly given. You do not sum over all partial derivatives, only over those specified by $alpha$.
– maxmilgram
1 hour ago
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Let $f, g : mathbb{R}^n rightarrow mathbb{R}$ be smooth functions (that is, all partial derivatives exist to arbitrary orders). Show that for all multiindices $alpha in mathbb{N}^{n}_{0}$ we have
$$large partial^alpha(f cdot g)(x)= sum_{beta in mathbb{N}^{n}_{0} :beta leqslant alpha} binom{alpha}{beta} partial^{beta}f(x)partial^{alpha-beta}g(x)$$
for all $xinmathbb{R}^n$, where $Large binom{alpha}{beta}=frac{alpha!}{beta!(alpha-beta)!}=frac{alpha_{1}!cdotcdotcdotalpha_{n}!}{beta_{1}!cdotcdotcdotbeta_{n}!(alpha_{1}-beta_{1}!)cdotcdotcdot(alpha_{n}-beta_{n})!}.$
I am able to decipher the base case where $|alpha|=1$. Since for either $|beta|=0$ and $|beta|=1$, we have that $binom{alpha}{beta}=1$ and $partial^{(0,...,0)}f(x)=f(x)$. Therefore, we have that
$$large partial^{alpha}(fcdot g)(x)=sum^{n}_{i=1}partial_i f(x)g(x) + partial_i g(x)f(x).$$
However, I have no idea about the inductive step. Anyone have any solution or hint? I would greatly appreciate it. Thank you in advance.
real-analysis multivariable-calculus derivatives
asked 1 hour ago
Gaby Boy Analysis
606214
Let $f, g : mathbb{R}^n rightarrow mathbb{R}$ be smooth functions (that is, all partial derivatives exist to arbitrary orders). Show that for all multiindices $alpha in mathbb{N}^{n}_{0}$ we have
$$large partial^alpha(f cdot g)(x)= sum_{beta in mathbb{N}^{n}_{0} :beta leqslant alpha} binom{alpha}{beta} partial^{beta}f(x)partial^{alpha-beta}g(x)$$
for all $xinmathbb{R}^n$, where $Large binom{alpha}{beta}=frac{alpha!}{beta!(alpha-beta)!}=frac{alpha_{1}!cdotcdotcdotalpha_{n}!}{beta_{1}!cdotcdotcdotbeta_{n}!(alpha_{1}-beta_{1}!)cdotcdotcdot(alpha_{n}-beta_{n})!}.$
I am able to decipher the base case where $|alpha|=1$. Since for either $|beta|=0$ and $|beta|=1$, we have that $binom{alpha}{beta}=1$ and $partial^{(0,...,0)}f(x)=f(x)$. Therefore, we have that
$$large partial^{alpha}(fcdot g)(x)=sum^{n}_{i=1}partial_i f(x)g(x) + partial_i g(x)f(x).$$
However, I have no idea about the inductive step. Anyone have any solution or hint? I would greatly appreciate it. Thank you in advance.
real-analysis multivariable-calculus derivatives
real-analysis multivariable-calculus derivatives
asked 1 hour ago
Gaby Boy Analysis
606214
asked 1 hour ago
Gaby Boy Analysis
606214
edited 1 hour ago
asked 1 hour ago
Gaby Boy Analysis
606214
asked 1 hour ago
Gaby Boy Analysis
606214
asked 1 hour ago
Gaby Boy Analysis
606214
606214
1
For every multiindex $alpha$ with $|alpha|=k+1$ there exists a multiindex $gamma$ and an index $1leq ileq n$ such that $|gamma|=k$ and $partial^alpha=partial_ipartial^gamma$. Using this you can do induction by $|alpha|$.
– maxmilgram
1 hour ago
Also, note that the sum in the "base case" is not correctly given. You do not sum over all partial derivatives, only over those specified by $alpha$.
– maxmilgram
1 hour ago
add a comment |
1
For every multiindex $alpha$ with $|alpha|=k+1$ there exists a multiindex $gamma$ and an index $1leq ileq n$ such that $|gamma|=k$ and $partial^alpha=partial_ipartial^gamma$. Using this you can do induction by $|alpha|$.
– maxmilgram
1 hour ago
Also, note that the sum in the "base case" is not correctly given. You do not sum over all partial derivatives, only over those specified by $alpha$.
– maxmilgram
1 hour ago
1
1
For every multiindex $alpha$ with $|alpha|=k+1$ there exists a multiindex $gamma$ and an index $1leq ileq n$ such that $|gamma|=k$ and $partial^alpha=partial_ipartial^gamma$. Using this you can do induction by $|alpha|$.
– maxmilgram
1 hour ago
For every multiindex $alpha$ with $|alpha|=k+1$ there exists a multiindex $gamma$ and an index $1leq ileq n$ such that $|gamma|=k$ and $partial^alpha=partial_ipartial^gamma$. Using this you can do induction by $|alpha|$.
– maxmilgram
1 hour ago
Also, note that the sum in the "base case" is not correctly given. You do not sum over all partial derivatives, only over those specified by $alpha$.
– maxmilgram
1 hour ago
Also, note that the sum in the "base case" is not correctly given. You do not sum over all partial derivatives, only over those specified by $alpha$.
– maxmilgram
1 hour ago
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3004666%2fproving-the-product-rule-with-multiindex-notation%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
For every multiindex $alpha$ with $|alpha|=k+1$ there exists a multiindex $gamma$ and an index $1leq ileq n$ such that $|gamma|=k$ and $partial^alpha=partial_ipartial^gamma$. Using this you can do induction by $|alpha|$.
– maxmilgram
1 hour ago
Also, note that the sum in the "base case" is not correctly given. You do not sum over all partial derivatives, only over those specified by $alpha$.
– maxmilgram
1 hour ago