Prove that function is smooth

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











up vote
0
down vote

favorite
1












There is a function:



$V(n) = sum_i=1^infty f(b_i(n))b_i^'(n)- f(a_i(n))a_i^'(n)$,



where $f$,$b$ and $a$ are $C^infty$ smooth functions.



I know that we can prove that the function $V(n)$ is also smooth under some assumptions.



I SUGGEST THE NEXT SOLUTION



As I understand we should take



$V^'(n) = sum_i=1^infty f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)$,



where $f^'$ exists, $b^''$ and $a^''$ should also be smooth.



MY QUESTION: Can somebody check this logic and help me?



I will really appreciate your help!










share|cite|improve this question



















  • 2




    You need more information on the functions $f,b_i,a_i$ to justify this result. You don't even know that the series for $V'(n)$ converges (even assuming that the series for $V(n)$ does). By the way, you calculated the derivatives of the terms incorrectly, for instance the first term should be $f'(b_i(n))b'_i(n)^2$.
    – Lorenzo Quarisa
    Sep 10 at 9:13











  • Thank you, you are right, but in my case the problem is that I don'thave a lot of information about $f,b_i$ and$ a_i$ so I can do only assumptions... It seems that we can conclude that $V^'$ converges uniformly if $sum_i=1^infty f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)=s(n)$ and $forall epsilon>0$, $kgeq N(epsilon)$ so that $|sum_i=1^k f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)-s(n)|<epsilon$
    – Caim
    Sep 10 at 9:54















up vote
0
down vote

favorite
1












There is a function:



$V(n) = sum_i=1^infty f(b_i(n))b_i^'(n)- f(a_i(n))a_i^'(n)$,



where $f$,$b$ and $a$ are $C^infty$ smooth functions.



I know that we can prove that the function $V(n)$ is also smooth under some assumptions.



I SUGGEST THE NEXT SOLUTION



As I understand we should take



$V^'(n) = sum_i=1^infty f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)$,



where $f^'$ exists, $b^''$ and $a^''$ should also be smooth.



MY QUESTION: Can somebody check this logic and help me?



I will really appreciate your help!










share|cite|improve this question



















  • 2




    You need more information on the functions $f,b_i,a_i$ to justify this result. You don't even know that the series for $V'(n)$ converges (even assuming that the series for $V(n)$ does). By the way, you calculated the derivatives of the terms incorrectly, for instance the first term should be $f'(b_i(n))b'_i(n)^2$.
    – Lorenzo Quarisa
    Sep 10 at 9:13











  • Thank you, you are right, but in my case the problem is that I don'thave a lot of information about $f,b_i$ and$ a_i$ so I can do only assumptions... It seems that we can conclude that $V^'$ converges uniformly if $sum_i=1^infty f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)=s(n)$ and $forall epsilon>0$, $kgeq N(epsilon)$ so that $|sum_i=1^k f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)-s(n)|<epsilon$
    – Caim
    Sep 10 at 9:54













up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1





There is a function:



$V(n) = sum_i=1^infty f(b_i(n))b_i^'(n)- f(a_i(n))a_i^'(n)$,



where $f$,$b$ and $a$ are $C^infty$ smooth functions.



I know that we can prove that the function $V(n)$ is also smooth under some assumptions.



I SUGGEST THE NEXT SOLUTION



As I understand we should take



$V^'(n) = sum_i=1^infty f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)$,



where $f^'$ exists, $b^''$ and $a^''$ should also be smooth.



MY QUESTION: Can somebody check this logic and help me?



I will really appreciate your help!










share|cite|improve this question















There is a function:



$V(n) = sum_i=1^infty f(b_i(n))b_i^'(n)- f(a_i(n))a_i^'(n)$,



where $f$,$b$ and $a$ are $C^infty$ smooth functions.



I know that we can prove that the function $V(n)$ is also smooth under some assumptions.



I SUGGEST THE NEXT SOLUTION



As I understand we should take



$V^'(n) = sum_i=1^infty f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)$,



where $f^'$ exists, $b^''$ and $a^''$ should also be smooth.



MY QUESTION: Can somebody check this logic and help me?



I will really appreciate your help!







calculus real-analysis integration derivatives






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 10 at 9:46

























asked Sep 10 at 8:58









Caim

10810




10810







  • 2




    You need more information on the functions $f,b_i,a_i$ to justify this result. You don't even know that the series for $V'(n)$ converges (even assuming that the series for $V(n)$ does). By the way, you calculated the derivatives of the terms incorrectly, for instance the first term should be $f'(b_i(n))b'_i(n)^2$.
    – Lorenzo Quarisa
    Sep 10 at 9:13











  • Thank you, you are right, but in my case the problem is that I don'thave a lot of information about $f,b_i$ and$ a_i$ so I can do only assumptions... It seems that we can conclude that $V^'$ converges uniformly if $sum_i=1^infty f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)=s(n)$ and $forall epsilon>0$, $kgeq N(epsilon)$ so that $|sum_i=1^k f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)-s(n)|<epsilon$
    – Caim
    Sep 10 at 9:54













  • 2




    You need more information on the functions $f,b_i,a_i$ to justify this result. You don't even know that the series for $V'(n)$ converges (even assuming that the series for $V(n)$ does). By the way, you calculated the derivatives of the terms incorrectly, for instance the first term should be $f'(b_i(n))b'_i(n)^2$.
    – Lorenzo Quarisa
    Sep 10 at 9:13











  • Thank you, you are right, but in my case the problem is that I don'thave a lot of information about $f,b_i$ and$ a_i$ so I can do only assumptions... It seems that we can conclude that $V^'$ converges uniformly if $sum_i=1^infty f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)=s(n)$ and $forall epsilon>0$, $kgeq N(epsilon)$ so that $|sum_i=1^k f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)-s(n)|<epsilon$
    – Caim
    Sep 10 at 9:54








2




2




You need more information on the functions $f,b_i,a_i$ to justify this result. You don't even know that the series for $V'(n)$ converges (even assuming that the series for $V(n)$ does). By the way, you calculated the derivatives of the terms incorrectly, for instance the first term should be $f'(b_i(n))b'_i(n)^2$.
– Lorenzo Quarisa
Sep 10 at 9:13





You need more information on the functions $f,b_i,a_i$ to justify this result. You don't even know that the series for $V'(n)$ converges (even assuming that the series for $V(n)$ does). By the way, you calculated the derivatives of the terms incorrectly, for instance the first term should be $f'(b_i(n))b'_i(n)^2$.
– Lorenzo Quarisa
Sep 10 at 9:13













Thank you, you are right, but in my case the problem is that I don'thave a lot of information about $f,b_i$ and$ a_i$ so I can do only assumptions... It seems that we can conclude that $V^'$ converges uniformly if $sum_i=1^infty f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)=s(n)$ and $forall epsilon>0$, $kgeq N(epsilon)$ so that $|sum_i=1^k f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)-s(n)|<epsilon$
– Caim
Sep 10 at 9:54





Thank you, you are right, but in my case the problem is that I don'thave a lot of information about $f,b_i$ and$ a_i$ so I can do only assumptions... It seems that we can conclude that $V^'$ converges uniformly if $sum_i=1^infty f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)=s(n)$ and $forall epsilon>0$, $kgeq N(epsilon)$ so that $|sum_i=1^k f^'(b_i(n))b_i^'(n)^2+f(b_i(n))b_i^''(n)- f^'(a_i(n))a_i^'(n)^2-f(a_i(n))a_i^''(n)-s(n)|<epsilon$
– Caim
Sep 10 at 9:54
















active

oldest

votes











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%2f2911704%2fprove-that-function-is-smooth%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2911704%2fprove-that-function-is-smooth%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

Why am i infinitely getting the same tweet with the Twitter Search API?

Is there any way to eliminate the singular point to solve this integral by hand or by approximations?

Strongly p-embedded subgroups and p-Sylow subgroups.