Let $f:Eto BbbR,;pmapsto f(p)=int_0^1p^3(t)dt$. Then $f$ is differentiable and we can compute $f'(u)$

Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
I have been faced with this problem. Let $$f:Eto BbbR$$
$$pmapsto f(p)=int_0^1p^3(t)dt.$$
I want to prove that $f$ is differentiable and also compute $f'(u).$ $E=R_n[x]$ is provided with the following norm $Vert pVert=sup|p(t)|,;;forall;tin [0,1]$
Here is what I've done:
$f(p) = int_0^1p^3(t)dt, tag 1$
we have
$f(p + h) = int_0^1(p + h)^3(t)dt tag 2$
for any $h in E; tag 3$
we may expand the right-hand side as follows:
$(p + h)^3 = (p + h)(p + h)(p + h) = (p + h)(p^2 + ph + hp + h^2)$
$= p^3 + p^2 h + php + ph^2 + hp^2 + hph + h^2 p + h^3; tag 4$
thus
$$f(u + h) - f(u) = int_0^1(p^2 h + php + ph^2 + hp^2 + hph + h^2 p + h^3)(t)dt$$
$$= int_0^1(p^2 h + php + hp^2 + ph^2 + hph + h^2 p + h^3)(t)dt; tag 5$$
$L(u)(h) = int_0^1(p^2 h + php + hp^2)(t)dt; tag 6$
and
$$Vert hVert varepsilon(h)= int_0^1( ph^2 + hph + h^2 p + h^3)(t)dt $$
$$ Vert varepsilon(h)Vert= fracVert int_0^1( ph^2 + hph + h^2 p + h^3)(t)dt VertVert hVert. tag 7$$
My question is: How do I force (7) to $0$? Please, can anyone help out?
analysis multivariable-calculus derivatives
add a comment |Â
up vote
0
down vote
favorite
I have been faced with this problem. Let $$f:Eto BbbR$$
$$pmapsto f(p)=int_0^1p^3(t)dt.$$
I want to prove that $f$ is differentiable and also compute $f'(u).$ $E=R_n[x]$ is provided with the following norm $Vert pVert=sup|p(t)|,;;forall;tin [0,1]$
Here is what I've done:
$f(p) = int_0^1p^3(t)dt, tag 1$
we have
$f(p + h) = int_0^1(p + h)^3(t)dt tag 2$
for any $h in E; tag 3$
we may expand the right-hand side as follows:
$(p + h)^3 = (p + h)(p + h)(p + h) = (p + h)(p^2 + ph + hp + h^2)$
$= p^3 + p^2 h + php + ph^2 + hp^2 + hph + h^2 p + h^3; tag 4$
thus
$$f(u + h) - f(u) = int_0^1(p^2 h + php + ph^2 + hp^2 + hph + h^2 p + h^3)(t)dt$$
$$= int_0^1(p^2 h + php + hp^2 + ph^2 + hph + h^2 p + h^3)(t)dt; tag 5$$
$L(u)(h) = int_0^1(p^2 h + php + hp^2)(t)dt; tag 6$
and
$$Vert hVert varepsilon(h)= int_0^1( ph^2 + hph + h^2 p + h^3)(t)dt $$
$$ Vert varepsilon(h)Vert= fracVert int_0^1( ph^2 + hph + h^2 p + h^3)(t)dt VertVert hVert. tag 7$$
My question is: How do I force (7) to $0$? Please, can anyone help out?
analysis multivariable-calculus derivatives
Is there a reason why you distinguisd $hp$ and $ph$?
â Hagen von Eitzen
Aug 15 at 6:14
@Hagen von Eitzen: I thought $E$ does not form a commutative algebra.
â Mike
Aug 15 at 6:40
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I have been faced with this problem. Let $$f:Eto BbbR$$
$$pmapsto f(p)=int_0^1p^3(t)dt.$$
I want to prove that $f$ is differentiable and also compute $f'(u).$ $E=R_n[x]$ is provided with the following norm $Vert pVert=sup|p(t)|,;;forall;tin [0,1]$
Here is what I've done:
$f(p) = int_0^1p^3(t)dt, tag 1$
we have
$f(p + h) = int_0^1(p + h)^3(t)dt tag 2$
for any $h in E; tag 3$
we may expand the right-hand side as follows:
$(p + h)^3 = (p + h)(p + h)(p + h) = (p + h)(p^2 + ph + hp + h^2)$
$= p^3 + p^2 h + php + ph^2 + hp^2 + hph + h^2 p + h^3; tag 4$
thus
$$f(u + h) - f(u) = int_0^1(p^2 h + php + ph^2 + hp^2 + hph + h^2 p + h^3)(t)dt$$
$$= int_0^1(p^2 h + php + hp^2 + ph^2 + hph + h^2 p + h^3)(t)dt; tag 5$$
$L(u)(h) = int_0^1(p^2 h + php + hp^2)(t)dt; tag 6$
and
$$Vert hVert varepsilon(h)= int_0^1( ph^2 + hph + h^2 p + h^3)(t)dt $$
$$ Vert varepsilon(h)Vert= fracVert int_0^1( ph^2 + hph + h^2 p + h^3)(t)dt VertVert hVert. tag 7$$
My question is: How do I force (7) to $0$? Please, can anyone help out?
analysis multivariable-calculus derivatives
I have been faced with this problem. Let $$f:Eto BbbR$$
$$pmapsto f(p)=int_0^1p^3(t)dt.$$
I want to prove that $f$ is differentiable and also compute $f'(u).$ $E=R_n[x]$ is provided with the following norm $Vert pVert=sup|p(t)|,;;forall;tin [0,1]$
Here is what I've done:
$f(p) = int_0^1p^3(t)dt, tag 1$
we have
$f(p + h) = int_0^1(p + h)^3(t)dt tag 2$
for any $h in E; tag 3$
we may expand the right-hand side as follows:
$(p + h)^3 = (p + h)(p + h)(p + h) = (p + h)(p^2 + ph + hp + h^2)$
$= p^3 + p^2 h + php + ph^2 + hp^2 + hph + h^2 p + h^3; tag 4$
thus
$$f(u + h) - f(u) = int_0^1(p^2 h + php + ph^2 + hp^2 + hph + h^2 p + h^3)(t)dt$$
$$= int_0^1(p^2 h + php + hp^2 + ph^2 + hph + h^2 p + h^3)(t)dt; tag 5$$
$L(u)(h) = int_0^1(p^2 h + php + hp^2)(t)dt; tag 6$
and
$$Vert hVert varepsilon(h)= int_0^1( ph^2 + hph + h^2 p + h^3)(t)dt $$
$$ Vert varepsilon(h)Vert= fracVert int_0^1( ph^2 + hph + h^2 p + h^3)(t)dt VertVert hVert. tag 7$$
My question is: How do I force (7) to $0$? Please, can anyone help out?
analysis multivariable-calculus derivatives
asked Aug 15 at 6:06
Mike
71515
71515
Is there a reason why you distinguisd $hp$ and $ph$?
â Hagen von Eitzen
Aug 15 at 6:14
@Hagen von Eitzen: I thought $E$ does not form a commutative algebra.
â Mike
Aug 15 at 6:40
add a comment |Â
Is there a reason why you distinguisd $hp$ and $ph$?
â Hagen von Eitzen
Aug 15 at 6:14
@Hagen von Eitzen: I thought $E$ does not form a commutative algebra.
â Mike
Aug 15 at 6:40
Is there a reason why you distinguisd $hp$ and $ph$?
â Hagen von Eitzen
Aug 15 at 6:14
Is there a reason why you distinguisd $hp$ and $ph$?
â Hagen von Eitzen
Aug 15 at 6:14
@Hagen von Eitzen: I thought $E$ does not form a commutative algebra.
â Mike
Aug 15 at 6:40
@Hagen von Eitzen: I thought $E$ does not form a commutative algebra.
â Mike
Aug 15 at 6:40
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
2
down vote
accepted
Use
$$left|int_a^b u,mathrm dtright|le (b-a)|u|$$
$$|u+v|le|u+v|$$
and
$$|uv|le|u||v|$$
I thought of that! Anyway, is my solution correct?
â Mike
Aug 15 at 6:40
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
Use
$$left|int_a^b u,mathrm dtright|le (b-a)|u|$$
$$|u+v|le|u+v|$$
and
$$|uv|le|u||v|$$
I thought of that! Anyway, is my solution correct?
â Mike
Aug 15 at 6:40
add a comment |Â
up vote
2
down vote
accepted
Use
$$left|int_a^b u,mathrm dtright|le (b-a)|u|$$
$$|u+v|le|u+v|$$
and
$$|uv|le|u||v|$$
I thought of that! Anyway, is my solution correct?
â Mike
Aug 15 at 6:40
add a comment |Â
up vote
2
down vote
accepted
up vote
2
down vote
accepted
Use
$$left|int_a^b u,mathrm dtright|le (b-a)|u|$$
$$|u+v|le|u+v|$$
and
$$|uv|le|u||v|$$
Use
$$left|int_a^b u,mathrm dtright|le (b-a)|u|$$
$$|u+v|le|u+v|$$
and
$$|uv|le|u||v|$$
answered Aug 15 at 6:14
Hagen von Eitzen
265k21258477
265k21258477
I thought of that! Anyway, is my solution correct?
â Mike
Aug 15 at 6:40
add a comment |Â
I thought of that! Anyway, is my solution correct?
â Mike
Aug 15 at 6:40
I thought of that! Anyway, is my solution correct?
â Mike
Aug 15 at 6:40
I thought of that! Anyway, is my solution correct?
â Mike
Aug 15 at 6:40
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2883250%2flet-fe-to-bbbr-p-mapsto-fp-int-01p3tdt-then-f-is-differe%23new-answer', 'question_page');
);
Post as a guest
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
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
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
Is there a reason why you distinguisd $hp$ and $ph$?
â Hagen von Eitzen
Aug 15 at 6:14
@Hagen von Eitzen: I thought $E$ does not form a commutative algebra.
â Mike
Aug 15 at 6:40