1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Monotonous functions and asymptotes

  1. Mar 10, 2007 #1
    1. The problem statement, all variables and given/known data

    Show that if [tex]f(x)[/tex] tends to zero monotonically as x increases without limit, and is continuous for x>0, and of the series [tex]\sum_{k=1}^{\infty}f(k)[/tex] diverges, then [tex]\sum_{k=1}^nf(k) \sim \int_1^nf(x)dx[/tex].

    If g(x) is a second function satisfying the same hypotheses as f(x), and if g(x)=o(f(x)), show that

    [tex]\sum_{k=1}^ng(k)=o(\sum_{k=1}^nf(k)_[/tex].


    3. The attempt at a solution

    I think by monotonicity we can conclude that

    [tex]\frac{\int_1^nf(x+1)dx}{\sum_{k=1}^nf(k)}\le1\le\frac{f(1)+\int_1^nf(x)dx}{\sum_{k=1}^nf(k)}[/tex]

    And I want to show that LHS and RHS converge to each other, hence they both converge to 1. But I can't get it to work.

    The second part I don't know what to do.
     
    Last edited: Mar 10, 2007
  2. jcsd
  3. Mar 10, 2007 #2
    I think you have to restate the problem. How does n enter the picture?
     
  4. Mar 10, 2007 #3
    Dragonfall,

    I have two questions to understand your question:

    Do you really mean that [tex]\sum_{k=1}^{\infty}f(k)[/tex] diverges ?

    What do you mean by [tex]\sum_{k=1}^\infty f(k) \sim \int_1^nf(x)dx[/tex], what is the meaning of the symbol [tex]\sim[/tex] ?

    Otherwise I have the feeling that a correspondance between a series and an integral can always be established by considering some ad-hoc step function. The properties could then be derived by considering some relations between the step function and the continuous function. In your case, with the given hypothesis, you can easily find two step functions majoring and minoring the integral.

    michel
     
    Last edited: Mar 10, 2007
  5. Mar 10, 2007 #4

    Gib Z

    User Avatar
    Homework Helper

    [tex]\sim[/tex] Means the quotient of the two, in the limit of infinity, is equal to 1. Note: Just because the quotient of the two is 1, it does not mean they are equal, even in the limit.

    Eg [tex]x \sim x+1[/tex], but the difference is always constant and they are never equal.

    In long terms, hes saying

    [tex]\lim_{n\to\infty} \frac{\sum_{k=1}^\infty f(k)}{\int_1^nf(x)dx}[/tex]
     
  6. Mar 10, 2007 #5
    Are you sure the limiting variable is n? n Doesn't appear in that quotient, hence it is a constant.

    The problem needs to be restated.
     
  7. Mar 10, 2007 #6

    Gib Z

    User Avatar
    Homework Helper

    Yes it does appear in the quotient, look at the bounds on the integral..
     
  8. Mar 10, 2007 #7
    I meant the numerator. My bad.
     
  9. Mar 10, 2007 #8

    Gib Z

    User Avatar
    Homework Helper

    No its just that before the original sum was [tex]\sum_{k=1}^n f(k)[/tex], and the limit makes that to infinity.
     
  10. Mar 10, 2007 #9

    Gib Z

    User Avatar
    Homework Helper

    If it make anyone happy:

    [tex]\frac{\sum_{k=1}^\infty f(k)}{\int_1^{\infty} f(x) dx}[/tex]
     
  11. Mar 10, 2007 #10
    Hum!

    [tex]\sum_{k=1}^{\infty}f(k)[/tex] doesn't even exist according to our hypothesis. Someone is being sloppy with notation.
     
  12. Mar 10, 2007 #11

    Gib Z

    User Avatar
    Homework Helper

    It wasn't me! I was just copying down whatever he said and explained what the ~ meant!
     
  13. Mar 10, 2007 #12

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Perhaps it would be better to say
    [tex]\lim_{n\rightarrow \infty}\frac{\Sigma_{k=1}^n f(k)}{\int_1^n f(x)dx}= 1[/tex]
    I believe that's the same thing.

    Dragonfall, consider how the Riemann sum
    [tex]\sum_{i=1}^n f(a+ i\Delta n)\Delta n[/itex]
    a an integer compares with f((a).
     
  14. Mar 10, 2007 #13
    I'm not sure it's necessary to look at that sum, since f(x) is monotone decreasing we already have that

    [tex]\sum_{k=1}^nf(k)\le\int_1^nf(x)dx+f(1)[/tex],

    and a similar bound from below. My question is whether

    [tex]\frac{\int_1^nf(x+1)dx}{\sum_{k=1}^nf(k)}\rightarrow\frac{f(1)+\int_1^nf(x)dx}{\sum_{k=1}^nf(k)}[/tex]

    as n goes to infty, and second if

    [tex]f(x)\le a\le g(x)[/tex]

    for all x and that as x increases [tex]f\rightarrow g[/tex] and [tex]g\rightarrow f[/tex], then [tex]f\rightarrow a[/tex]?
     
    Last edited: Mar 10, 2007
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Monotonous functions and asymptotes
  1. Asymptotes of function (Replies: 2)

  2. Monotonic function (Replies: 2)

  3. Monotonic function (Replies: 8)

Loading...