Show that $sum_i = 1^n f(i) = lfloor n rfloor f(n)- int_1^nf'(x)lfloor xrfloor, dx$ The 2019 Stack Overflow Developer Survey Results Are InHow to prove this property of floor function?Transforming a Riemann-Stieltjes integral related to the factorial$varepsilon$-$delta$ proof of continuity of floor function $lfloor xrfloor$Solve $lim_xto +inftyfracx^x(lfloor x rfloor)^lfloor x rfloor $Is $f(x)-leftlfloor f(x)rightrfloor$ continuous?Integrating with floor-function:$int_a^bf'(x)lfloor xrfloor dx $Sum the series $sum_n=0^inftya_n$ if $a_n =(-1)^lfloorfracnmrfloor cdot r^n$if $f(x)=int_0^x lfloortrfloor ,dt$ for $x≥0$, draw the graph of $f$ over the interval [0,4]Is the sum of series $sum_n=0^infty lfloor npi rfloor x^n$ a rational function?Prove that $f(x)=x^2 cdot lfloor frac1x^2rfloor$ is continuous.

Deal with toxic manager when you can't quit

FPGA - DIY Programming

Is "plugging out" electronic devices an American expression?

Why is the maximum length of OpenWrt’s root password 8 characters?

Is there a symbol for a right arrow with a square in the middle?

For what reasons would an animal species NOT cross a *horizontal* land bridge?

Why didn't the Event Horizon Telescope team mention Sagittarius A*?

Why was M87 targetted for the Event Horizon Telescope instead of Sagittarius A*?

Are there any other methods to apply to solving simultaneous equations?

Worn-tile Scrabble

Can we generate random numbers using irrational numbers like π and e?

What is the meaning of the verb "bear" in this context?

What is the meaning of Triage in Cybersec world?

What did it mean to "align" a radio?

Aging parents with no investments

Write faster on AT24C32

Building a conditional check constraint

Is there any way to tell whether the shot is going to hit you or not?

Origin of "cooter" meaning "vagina"

I see my dog run

Multiply Two Integer Polynomials

Shouldn't "much" here be used instead of "more"?

Geography at the pixel level

Is three citations per paragraph excessive for undergraduate research paper?



Show that $sum_i = 1^n f(i) = lfloor n rfloor f(n)- int_1^nf'(x)lfloor xrfloor, dx$



The 2019 Stack Overflow Developer Survey Results Are InHow to prove this property of floor function?Transforming a Riemann-Stieltjes integral related to the factorial$varepsilon$-$delta$ proof of continuity of floor function $lfloor xrfloor$Solve $lim_xto +inftyfracx^x(lfloor x rfloor)^lfloor x rfloor $Is $f(x)-leftlfloor f(x)rightrfloor$ continuous?Integrating with floor-function:$int_a^bf'(x)lfloor xrfloor dx $Sum the series $sum_n=0^inftya_n$ if $a_n =(-1)^lfloorfracnmrfloor cdot r^n$if $f(x)=int_0^x lfloortrfloor ,dt$ for $x≥0$, draw the graph of $f$ over the interval [0,4]Is the sum of series $sum_n=0^infty lfloor npi rfloor x^n$ a rational function?Prove that $f(x)=x^2 cdot lfloor frac1x^2rfloor$ is continuous.










1












$begingroup$


Where $f$ is a function defined in $mathbbR$ with countinuos derivative in all
$mathbbR$, for each $nin mathbbN$ and the function $lfloor x rfloor$ is the floor function.



I tried using integration by parts:



I have



$$int_1^n f'(x)lfloor x rfloor dx + int_1^n lfloor x rfloor ' f(x) dx = lfloor n rfloor f(n)-lfloor 1 rfloor f(1)$$



Then $$int_1^nf(x)lfloor x rfloor ' dx + lfloor 1 rfloor f(1) = lfloor x rfloor f(n)- int_1^n lfloor x rfloor f'(x) dx$$



But I have(Is this correct?):



$$int_1^nf'(x) lfloor x rfloor dx= sum_i=1^n lfloor x rfloor int_i^i+1f'(x) dx= sum_i = 1^n f(i)$$



So now I end with:



$$sum_i = 1^n f(i)= lfloor x rfloor f(n) -int_1^nf(x)lfloor x rfloor ' dx - lfloor 1 rfloor f(1) $$
But I don't know how to proceed from here.



I see this problem in the book Real Analysis from Carothers
14.37.a



![The enunciate










share|cite|improve this question









New contributor




RebecaR is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$











  • $begingroup$
    I self learning real Analysis, ths is where the book i'm following introduces integrator of bounded variable but i don't understand this yet, so I'm trying to do all the excercises from this section.
    $endgroup$
    – RebecaR
    Apr 6 at 21:52










  • $begingroup$
    en.m.wikipedia.org/wiki/Summation_by_parts
    $endgroup$
    – HAMIDINE SOUMARE
    Apr 6 at 22:12















1












$begingroup$


Where $f$ is a function defined in $mathbbR$ with countinuos derivative in all
$mathbbR$, for each $nin mathbbN$ and the function $lfloor x rfloor$ is the floor function.



I tried using integration by parts:



I have



$$int_1^n f'(x)lfloor x rfloor dx + int_1^n lfloor x rfloor ' f(x) dx = lfloor n rfloor f(n)-lfloor 1 rfloor f(1)$$



Then $$int_1^nf(x)lfloor x rfloor ' dx + lfloor 1 rfloor f(1) = lfloor x rfloor f(n)- int_1^n lfloor x rfloor f'(x) dx$$



But I have(Is this correct?):



$$int_1^nf'(x) lfloor x rfloor dx= sum_i=1^n lfloor x rfloor int_i^i+1f'(x) dx= sum_i = 1^n f(i)$$



So now I end with:



$$sum_i = 1^n f(i)= lfloor x rfloor f(n) -int_1^nf(x)lfloor x rfloor ' dx - lfloor 1 rfloor f(1) $$
But I don't know how to proceed from here.



I see this problem in the book Real Analysis from Carothers
14.37.a



![The enunciate










share|cite|improve this question









New contributor




RebecaR is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$











  • $begingroup$
    I self learning real Analysis, ths is where the book i'm following introduces integrator of bounded variable but i don't understand this yet, so I'm trying to do all the excercises from this section.
    $endgroup$
    – RebecaR
    Apr 6 at 21:52










  • $begingroup$
    en.m.wikipedia.org/wiki/Summation_by_parts
    $endgroup$
    – HAMIDINE SOUMARE
    Apr 6 at 22:12













1












1








1





$begingroup$


Where $f$ is a function defined in $mathbbR$ with countinuos derivative in all
$mathbbR$, for each $nin mathbbN$ and the function $lfloor x rfloor$ is the floor function.



I tried using integration by parts:



I have



$$int_1^n f'(x)lfloor x rfloor dx + int_1^n lfloor x rfloor ' f(x) dx = lfloor n rfloor f(n)-lfloor 1 rfloor f(1)$$



Then $$int_1^nf(x)lfloor x rfloor ' dx + lfloor 1 rfloor f(1) = lfloor x rfloor f(n)- int_1^n lfloor x rfloor f'(x) dx$$



But I have(Is this correct?):



$$int_1^nf'(x) lfloor x rfloor dx= sum_i=1^n lfloor x rfloor int_i^i+1f'(x) dx= sum_i = 1^n f(i)$$



So now I end with:



$$sum_i = 1^n f(i)= lfloor x rfloor f(n) -int_1^nf(x)lfloor x rfloor ' dx - lfloor 1 rfloor f(1) $$
But I don't know how to proceed from here.



I see this problem in the book Real Analysis from Carothers
14.37.a



![The enunciate










share|cite|improve this question









New contributor




RebecaR is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$




Where $f$ is a function defined in $mathbbR$ with countinuos derivative in all
$mathbbR$, for each $nin mathbbN$ and the function $lfloor x rfloor$ is the floor function.



I tried using integration by parts:



I have



$$int_1^n f'(x)lfloor x rfloor dx + int_1^n lfloor x rfloor ' f(x) dx = lfloor n rfloor f(n)-lfloor 1 rfloor f(1)$$



Then $$int_1^nf(x)lfloor x rfloor ' dx + lfloor 1 rfloor f(1) = lfloor x rfloor f(n)- int_1^n lfloor x rfloor f'(x) dx$$



But I have(Is this correct?):



$$int_1^nf'(x) lfloor x rfloor dx= sum_i=1^n lfloor x rfloor int_i^i+1f'(x) dx= sum_i = 1^n f(i)$$



So now I end with:



$$sum_i = 1^n f(i)= lfloor x rfloor f(n) -int_1^nf(x)lfloor x rfloor ' dx - lfloor 1 rfloor f(1) $$
But I don't know how to proceed from here.



I see this problem in the book Real Analysis from Carothers
14.37.a



![The enunciate







real-analysis riemann-integration stieltjes-integral






share|cite|improve this question









New contributor




RebecaR is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




RebecaR is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited Apr 7 at 18:24







RebecaR













New contributor




RebecaR is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked Apr 6 at 19:45









RebecaRRebecaR

528




528




New contributor




RebecaR is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





RebecaR is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






RebecaR is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











  • $begingroup$
    I self learning real Analysis, ths is where the book i'm following introduces integrator of bounded variable but i don't understand this yet, so I'm trying to do all the excercises from this section.
    $endgroup$
    – RebecaR
    Apr 6 at 21:52










  • $begingroup$
    en.m.wikipedia.org/wiki/Summation_by_parts
    $endgroup$
    – HAMIDINE SOUMARE
    Apr 6 at 22:12
















  • $begingroup$
    I self learning real Analysis, ths is where the book i'm following introduces integrator of bounded variable but i don't understand this yet, so I'm trying to do all the excercises from this section.
    $endgroup$
    – RebecaR
    Apr 6 at 21:52










  • $begingroup$
    en.m.wikipedia.org/wiki/Summation_by_parts
    $endgroup$
    – HAMIDINE SOUMARE
    Apr 6 at 22:12















$begingroup$
I self learning real Analysis, ths is where the book i'm following introduces integrator of bounded variable but i don't understand this yet, so I'm trying to do all the excercises from this section.
$endgroup$
– RebecaR
Apr 6 at 21:52




$begingroup$
I self learning real Analysis, ths is where the book i'm following introduces integrator of bounded variable but i don't understand this yet, so I'm trying to do all the excercises from this section.
$endgroup$
– RebecaR
Apr 6 at 21:52












$begingroup$
en.m.wikipedia.org/wiki/Summation_by_parts
$endgroup$
– HAMIDINE SOUMARE
Apr 6 at 22:12




$begingroup$
en.m.wikipedia.org/wiki/Summation_by_parts
$endgroup$
– HAMIDINE SOUMARE
Apr 6 at 22:12










1 Answer
1






active

oldest

votes


















0












$begingroup$

HINT: note that $lfloor xrfloorle x$, and that $lfloor xrfloor$ is a constant function in $[n,n+1)$ for any chosen $ninBbb N$, so



$$int_1^n f'(x)lfloor xrfloor, dx\=int_1^2 f'(x)cdot 1, dx+int_2^3 f'(x)cdot 2, dx+ldots+int_n-1^n f'(x)(n-1), dx\
=sum_k=1^n-1kint_k^k+1f'(x), dxtag1$$



Now applying the fundamental theorem of calculus we find that



$$sum_k=1^n-1kint_k^k+1f'(x), dx=sum_k=1^n-1k(f(k+1)-f(k))=sum_k=1^n-1 kf(k+1)-sum_k=1^n-1kf(k)\
=sum_k=2^n (k-1)f(k)-sum_k=1^n-1kf(k)=(n-1)f(n)-f(1)-sum_k=2^n-1f(k)$$



Can you conclude from here, right?






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Sure, you solve it all. Maybe I confuse both becouse i tried to use integration by parts.
    $endgroup$
    – RebecaR
    Apr 6 at 22:40










  • $begingroup$
    @RebecaR I skimmed the book, and probably the exercise want to be solved in a different way (more complicated), anyway Im not completely sure
    $endgroup$
    – Masacroso
    Apr 6 at 22:50












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',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);






RebecaR is a new contributor. Be nice, and check out our Code of Conduct.









draft saved

draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3177369%2fshow-that-sum-i-1n-fi-lfloor-n-rfloor-fn-int-1nfx-l%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









0












$begingroup$

HINT: note that $lfloor xrfloorle x$, and that $lfloor xrfloor$ is a constant function in $[n,n+1)$ for any chosen $ninBbb N$, so



$$int_1^n f'(x)lfloor xrfloor, dx\=int_1^2 f'(x)cdot 1, dx+int_2^3 f'(x)cdot 2, dx+ldots+int_n-1^n f'(x)(n-1), dx\
=sum_k=1^n-1kint_k^k+1f'(x), dxtag1$$



Now applying the fundamental theorem of calculus we find that



$$sum_k=1^n-1kint_k^k+1f'(x), dx=sum_k=1^n-1k(f(k+1)-f(k))=sum_k=1^n-1 kf(k+1)-sum_k=1^n-1kf(k)\
=sum_k=2^n (k-1)f(k)-sum_k=1^n-1kf(k)=(n-1)f(n)-f(1)-sum_k=2^n-1f(k)$$



Can you conclude from here, right?






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Sure, you solve it all. Maybe I confuse both becouse i tried to use integration by parts.
    $endgroup$
    – RebecaR
    Apr 6 at 22:40










  • $begingroup$
    @RebecaR I skimmed the book, and probably the exercise want to be solved in a different way (more complicated), anyway Im not completely sure
    $endgroup$
    – Masacroso
    Apr 6 at 22:50
















0












$begingroup$

HINT: note that $lfloor xrfloorle x$, and that $lfloor xrfloor$ is a constant function in $[n,n+1)$ for any chosen $ninBbb N$, so



$$int_1^n f'(x)lfloor xrfloor, dx\=int_1^2 f'(x)cdot 1, dx+int_2^3 f'(x)cdot 2, dx+ldots+int_n-1^n f'(x)(n-1), dx\
=sum_k=1^n-1kint_k^k+1f'(x), dxtag1$$



Now applying the fundamental theorem of calculus we find that



$$sum_k=1^n-1kint_k^k+1f'(x), dx=sum_k=1^n-1k(f(k+1)-f(k))=sum_k=1^n-1 kf(k+1)-sum_k=1^n-1kf(k)\
=sum_k=2^n (k-1)f(k)-sum_k=1^n-1kf(k)=(n-1)f(n)-f(1)-sum_k=2^n-1f(k)$$



Can you conclude from here, right?






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Sure, you solve it all. Maybe I confuse both becouse i tried to use integration by parts.
    $endgroup$
    – RebecaR
    Apr 6 at 22:40










  • $begingroup$
    @RebecaR I skimmed the book, and probably the exercise want to be solved in a different way (more complicated), anyway Im not completely sure
    $endgroup$
    – Masacroso
    Apr 6 at 22:50














0












0








0





$begingroup$

HINT: note that $lfloor xrfloorle x$, and that $lfloor xrfloor$ is a constant function in $[n,n+1)$ for any chosen $ninBbb N$, so



$$int_1^n f'(x)lfloor xrfloor, dx\=int_1^2 f'(x)cdot 1, dx+int_2^3 f'(x)cdot 2, dx+ldots+int_n-1^n f'(x)(n-1), dx\
=sum_k=1^n-1kint_k^k+1f'(x), dxtag1$$



Now applying the fundamental theorem of calculus we find that



$$sum_k=1^n-1kint_k^k+1f'(x), dx=sum_k=1^n-1k(f(k+1)-f(k))=sum_k=1^n-1 kf(k+1)-sum_k=1^n-1kf(k)\
=sum_k=2^n (k-1)f(k)-sum_k=1^n-1kf(k)=(n-1)f(n)-f(1)-sum_k=2^n-1f(k)$$



Can you conclude from here, right?






share|cite|improve this answer











$endgroup$



HINT: note that $lfloor xrfloorle x$, and that $lfloor xrfloor$ is a constant function in $[n,n+1)$ for any chosen $ninBbb N$, so



$$int_1^n f'(x)lfloor xrfloor, dx\=int_1^2 f'(x)cdot 1, dx+int_2^3 f'(x)cdot 2, dx+ldots+int_n-1^n f'(x)(n-1), dx\
=sum_k=1^n-1kint_k^k+1f'(x), dxtag1$$



Now applying the fundamental theorem of calculus we find that



$$sum_k=1^n-1kint_k^k+1f'(x), dx=sum_k=1^n-1k(f(k+1)-f(k))=sum_k=1^n-1 kf(k+1)-sum_k=1^n-1kf(k)\
=sum_k=2^n (k-1)f(k)-sum_k=1^n-1kf(k)=(n-1)f(n)-f(1)-sum_k=2^n-1f(k)$$



Can you conclude from here, right?







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Apr 6 at 22:15

























answered Apr 6 at 21:35









MasacrosoMasacroso

13.1k41747




13.1k41747











  • $begingroup$
    Sure, you solve it all. Maybe I confuse both becouse i tried to use integration by parts.
    $endgroup$
    – RebecaR
    Apr 6 at 22:40










  • $begingroup$
    @RebecaR I skimmed the book, and probably the exercise want to be solved in a different way (more complicated), anyway Im not completely sure
    $endgroup$
    – Masacroso
    Apr 6 at 22:50

















  • $begingroup$
    Sure, you solve it all. Maybe I confuse both becouse i tried to use integration by parts.
    $endgroup$
    – RebecaR
    Apr 6 at 22:40










  • $begingroup$
    @RebecaR I skimmed the book, and probably the exercise want to be solved in a different way (more complicated), anyway Im not completely sure
    $endgroup$
    – Masacroso
    Apr 6 at 22:50
















$begingroup$
Sure, you solve it all. Maybe I confuse both becouse i tried to use integration by parts.
$endgroup$
– RebecaR
Apr 6 at 22:40




$begingroup$
Sure, you solve it all. Maybe I confuse both becouse i tried to use integration by parts.
$endgroup$
– RebecaR
Apr 6 at 22:40












$begingroup$
@RebecaR I skimmed the book, and probably the exercise want to be solved in a different way (more complicated), anyway Im not completely sure
$endgroup$
– Masacroso
Apr 6 at 22:50





$begingroup$
@RebecaR I skimmed the book, and probably the exercise want to be solved in a different way (more complicated), anyway Im not completely sure
$endgroup$
– Masacroso
Apr 6 at 22:50











RebecaR is a new contributor. Be nice, and check out our Code of Conduct.









draft saved

draft discarded


















RebecaR is a new contributor. Be nice, and check out our Code of Conduct.












RebecaR is a new contributor. Be nice, and check out our Code of Conduct.











RebecaR is a new contributor. Be nice, and check out our Code of Conduct.














Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid


  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.

Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3177369%2fshow-that-sum-i-1n-fi-lfloor-n-rfloor-fn-int-1nfx-l%23new-answer', 'question_page');

);

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







Popular posts from this blog

What does it mean to find percent difference when two values are equivalent? The 2019 Stack Overflow Developer Survey Results Are InWhat does “percent of change” mean?Find what percent X is between two numbers?Unable to determine 'original amount' in simple percentage problemsWhat is the correct percent difference formula?How does proportionality hold when quantities are high? And the percentage increase formulaprofit and loss GRE questionProfitability calculationWhat is the difference between $xtimes 0.8$ and $x div 1.2 ? $Finding the percent probability of completing BUDs trainingCalculating Percent Difference with zero and near zero values

Why did some early computer designers eschew integers?What register size did early computers use?What other computers used this floating-point format?Why did so many early microcomputers use the MOS 6502 and variants?Why were early computers named “Mark”?Why did expert systems fall?Why were early personal computer monitors not green?When did “Zen” in computer programming become a thing?History of advanced hardwareWere there any working computers using residue number systems?Why did some CPUs use two Read/Write lines, and others just one?

How to avoid repetitive long generic constraints in Rust The 2019 Stack Overflow Developer Survey Results Are In Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern) The Ask Question Wizard is Live! Data science time! April 2019 and salary with experienceIs it possible to automatically implement a trait for any tuple that is made up of types that all implement the trait?Is there a constraint that restricts my generic method to numeric types?How can foreign key constraints be temporarily disabled using T-SQL?How do I use reflection to call a generic method?How to create a generic array in Java?How to get a class instance of generics type THow is `last` allowed to be called for an Args value?How to implement a trait for a parameterized traitAvoiding PhantomData in a struct to enforce type constraintsIs it possible to return part of a struct by reference?Associated References types as Value Types