K- linear transformations and differentiable functions
up vote
1
down vote
favorite
Given that $T_j : mathbb{R}^n times mathbb{R}^ntimes cdots times mathbb{R}^nto mathbb{R}^m$ $j$ times $mathbb{R}^n$, such that $T_j$ is $j$-linear ,
and $f: mathbb{R}^n to mathbb{R}^m$ which is $k-1$ differentiable.
given that for $a,h in mathbb{R}^n$ we have that $f(a+h)-sum limits_{j=0}^{k} T_j (h,cdots ,h) = o(||h||^k)$
Does this imply $f$ is $k$ differentiable ?
My attempt : let $g(a) = D^{k-1} f(a)$ since $f$ is $k-1$ differentiable, i want to show that $g$ is differentiable and from this $f$ is $k$ differentiable.
$g(a+h) = D^{k-1} f(a+h) = D^{k-1} (f(a)+Df(a)h +cdots +alpha(h))$ such that $alpha(h) = o(||h||^k)$
here were i get stuck
any help for proceed or another proof would really help me.
real-analysis multivariable-calculus proof-verification
asked yesterday
Ahmad
2,4551625
add a comment |
up vote
1
down vote
favorite
Given that $T_j : mathbb{R}^n times mathbb{R}^ntimes cdots times mathbb{R}^nto mathbb{R}^m$ $j$ times $mathbb{R}^n$, such that $T_j$ is $j$-linear ,
and $f: mathbb{R}^n to mathbb{R}^m$ which is $k-1$ differentiable.
given that for $a,h in mathbb{R}^n$ we have that $f(a+h)-sum limits_{j=0}^{k} T_j (h,cdots ,h) = o(||h||^k)$
Does this imply $f$ is $k$ differentiable ?
My attempt : let $g(a) = D^{k-1} f(a)$ since $f$ is $k-1$ differentiable, i want to show that $g$ is differentiable and from this $f$ is $k$ differentiable.
$g(a+h) = D^{k-1} f(a+h) = D^{k-1} (f(a)+Df(a)h +cdots +alpha(h))$ such that $alpha(h) = o(||h||^k)$
here were i get stuck
any help for proceed or another proof would really help me.
real-analysis multivariable-calculus proof-verification
asked yesterday
Ahmad
2,4551625
Do you mean $f(a+h)color{red}{-f(a)}-sum limits_{j=0}^{k} T_j (h,cdots ,h) = o(|h|^k)$ instead?
– user1551
yesterday
@user1551 no since $T_0 =f(a)$ ,you could do that and start the sum from $j=1$ !
– Ahmad
yesterday
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Given that $T_j : mathbb{R}^n times mathbb{R}^ntimes cdots times mathbb{R}^nto mathbb{R}^m$ $j$ times $mathbb{R}^n$, such that $T_j$ is $j$-linear ,
and $f: mathbb{R}^n to mathbb{R}^m$ which is $k-1$ differentiable.
given that for $a,h in mathbb{R}^n$ we have that $f(a+h)-sum limits_{j=0}^{k} T_j (h,cdots ,h) = o(||h||^k)$
Does this imply $f$ is $k$ differentiable ?
My attempt : let $g(a) = D^{k-1} f(a)$ since $f$ is $k-1$ differentiable, i want to show that $g$ is differentiable and from this $f$ is $k$ differentiable.
$g(a+h) = D^{k-1} f(a+h) = D^{k-1} (f(a)+Df(a)h +cdots +alpha(h))$ such that $alpha(h) = o(||h||^k)$
here were i get stuck
any help for proceed or another proof would really help me.
real-analysis multivariable-calculus proof-verification
asked yesterday
Ahmad
2,4551625
Given that $T_j : mathbb{R}^n times mathbb{R}^ntimes cdots times mathbb{R}^nto mathbb{R}^m$ $j$ times $mathbb{R}^n$, such that $T_j$ is $j$-linear ,
and $f: mathbb{R}^n to mathbb{R}^m$ which is $k-1$ differentiable.
given that for $a,h in mathbb{R}^n$ we have that $f(a+h)-sum limits_{j=0}^{k} T_j (h,cdots ,h) = o(||h||^k)$
Does this imply $f$ is $k$ differentiable ?
My attempt : let $g(a) = D^{k-1} f(a)$ since $f$ is $k-1$ differentiable, i want to show that $g$ is differentiable and from this $f$ is $k$ differentiable.
$g(a+h) = D^{k-1} f(a+h) = D^{k-1} (f(a)+Df(a)h +cdots +alpha(h))$ such that $alpha(h) = o(||h||^k)$
here were i get stuck
any help for proceed or another proof would really help me.
real-analysis multivariable-calculus proof-verification
real-analysis multivariable-calculus proof-verification
asked yesterday
Ahmad
2,4551625
asked yesterday
Ahmad
2,4551625
asked yesterday
Ahmad
2,4551625
asked yesterday
Ahmad
2,4551625
asked yesterday
Ahmad
2,4551625
2,4551625
Do you mean $f(a+h)color{red}{-f(a)}-sum limits_{j=0}^{k} T_j (h,cdots ,h) = o(|h|^k)$ instead?
– user1551
yesterday
@user1551 no since $T_0 =f(a)$ ,you could do that and start the sum from $j=1$ !
– Ahmad
yesterday
add a comment |
Do you mean $f(a+h)color{red}{-f(a)}-sum limits_{j=0}^{k} T_j (h,cdots ,h) = o(|h|^k)$ instead?
– user1551
yesterday
@user1551 no since $T_0 =f(a)$ ,you could do that and start the sum from $j=1$ !
– Ahmad
yesterday
Do you mean $f(a+h)color{red}{-f(a)}-sum limits_{j=0}^{k} T_j (h,cdots ,h) = o(|h|^k)$ instead?
– user1551
yesterday
Do you mean $f(a+h)color{red}{-f(a)}-sum limits_{j=0}^{k} T_j (h,cdots ,h) = o(|h|^k)$ instead?
– user1551
yesterday
@user1551 no since $T_0 =f(a)$ ,you could do that and start the sum from $j=1$ !
– Ahmad
yesterday
@user1551 no since $T_0 =f(a)$ ,you could do that and start the sum from $j=1$ !
– Ahmad
yesterday
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%2f3007435%2fk-linear-transformations-and-differentiable-functions%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
Do you mean $f(a+h)color{red}{-f(a)}-sum limits_{j=0}^{k} T_j (h,cdots ,h) = o(|h|^k)$ instead?
– user1551
yesterday
@user1551 no since $T_0 =f(a)$ ,you could do that and start the sum from $j=1$ !
– Ahmad
yesterday