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

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite
1












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?







share|cite|improve this question




















  • 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














up vote
0
down vote

favorite
1












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?







share|cite|improve this question




















  • 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












up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1





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?







share|cite|improve this question












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?









share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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
















  • 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










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|$$






share|cite|improve this answer




















  • I thought of that! Anyway, is my solution correct?
    – Mike
    Aug 15 at 6:40










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















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






























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|$$






share|cite|improve this answer




















  • I thought of that! Anyway, is my solution correct?
    – Mike
    Aug 15 at 6:40














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|$$






share|cite|improve this answer




















  • I thought of that! Anyway, is my solution correct?
    – Mike
    Aug 15 at 6:40












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|$$






share|cite|improve this answer












Use
$$left|int_a^b u,mathrm dtright|le (b-a)|u|$$
$$|u+v|le|u+v|$$
and
$$|uv|le|u||v|$$







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










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
















  • 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












 

draft saved


draft discarded


























 


draft saved


draft discarded














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













































































這個網誌中的熱門文章

tkz-euclide: tkzDrawCircle[R] not working

How to combine Bézier curves to a surface?

1st Magritte Awards