1. Limited time only! Sign up for a free 30min personal 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!

Show that this is less than that

  1. Nov 11, 2013 #1
    1. The problem statement, all variables and given/known data
    I would like to prove that when x is between 1 and 2 [tex] \frac{k^{0.5}x^x}{1+x^{2k}} < \frac{1}{\sqrt{x-1}} [/tex] for all [itex] k\in \mathbb{N} [/itex]


    2. Relevant equations



    3. The attempt at a solution

    This is for my analysis class. I am algebraist, so please take pity :)
    I have learned that if I were to show that the numerator of the first fraction is less than the numerator of the second and the denominator of the first fraction is greater than the denominator of the second then the first fraction would be smaller than the second. That technique doesn't seem to be working though. If the second fraction needs tweaking to make this work then that is fine. I'm just trying to bound the first fraction with something integrable. I think my bound works based on Maple graphs.
     
  2. jcsd
  3. Nov 11, 2013 #2

    LCKurtz

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Does the bound have to be independent of ##k##?
     
  4. Nov 11, 2013 #3
    Yes it does.
     
  5. Nov 11, 2013 #4
    Can't be true, if I let k-> inf surely it will not be valid.
     
  6. Nov 11, 2013 #5
    alas! you may be right. I have just received word that a classmate may have a proof that the sequence cannot be bounded by an integrable function.
     
  7. Nov 11, 2013 #6

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    Sure it is. The left hand side goes to zero as k→∞ for all x in (1,∞), and 0<1/sqrt(x-1) for all x in (1,2).
     
  8. Nov 11, 2013 #7
    Yes you're right. Then how will the proof read?
     
  9. Nov 11, 2013 #8

    I like Serena

    User Avatar
    Homework Helper

    Here's a possible outline of a proof.

    Take the natural logarithm of the left hand side.
    \begin{aligned}\ln \frac{k^{0.5}x^x}{1+x^{2k}}
    &= 0.5\ln k + x\ln x - \ln(1+x^{2k}) \\
    &< 0.5\ln k + x\ln x - \ln(x^{2k}) \\
    &= 0.5\ln k + x\ln x - 2k \ln x
    \end{aligned}
    Find the maximum value of this last expression with respect to ##k##, treating it as a real number.
    The result is ##k=1/\ln x## with the maximum ##\frac 1 2 \ln(1/\ln x) - 1##.

    Therefore an upper bound of the original left hand side is:
    $$\frac 1 {e\sqrt{\ln x}}$$

    What is left is the proof that this is less than the right hand side.
    Substitute ##x=u+1## and make a first order Taylor expansion of ##\ln##.

    And.... we're done. :smile:
     
    Last edited: Nov 11, 2013
  10. Nov 11, 2013 #9
    Thank you so much ILS. This analysis makes me want to cry!
     
  11. Nov 11, 2013 #10

    I like Serena

    User Avatar
    Homework Helper

    Cry? Why?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted