Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Steepest-descent approximation

  1. Sep 8, 2013 #1
    Hello everyone, my first post :shy:

    I'm reading Zee's 'QFT in a Nutshell' and I came to one thing that bothers me - he's short discussion of steepest-descent approximation. I've known this thing for quite a long time now, but I've never seen the approximation of the corrections. Here is what he writes:

    [tex]I = e^{-(1/\hbar)f(a)} (\frac {2\pi \hbar}{f''(a)})^{1/2} e^{-O(\hbar ^{1/2})}[/tex]

    Of course we take the limit in which Planck's constant is small, and that is where problem occurs. Because in this limit [tex]e^{-O(\hbar ^{1/2})}[/tex] will approach infinity, and that is not what it should be like, right? Any thoughts about this issue? I just think that what he wrote is simply incorrect.
    I tried to derive this approximation by not neglecting the cubic termis in (x-a), and I don't even see why there is a square root of Planck's constant...

    Sorry for my english, it's been a long time since I wrote something in this language :shy:
  2. jcsd
  3. Sep 8, 2013 #2


    User Avatar
    2017 Award

    Staff: Mentor

    Why does it approach infinity? If ℏ goes to zero, the square root does the same, and the expression goes to e^0 = 1.
    Or does the O mean something different?

    ##e^{-(1/\hbar)}## will go to zero.
  4. Sep 8, 2013 #3


    User Avatar
    Science Advisor
    Gold Member

    And the other factor goes to zero ... and since 1 x 0 = 0 the expression vanishes.
  5. Sep 8, 2013 #4

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    In the limit of small ħ, exp(-O(ħ1/2)) approaches one, not infinity. Perhaps you are thinking of exp(O(ħ-1/2)). That's a very different quantity from exp(-O(ħ1/2)).
  6. Sep 8, 2013 #5
    Oh, my bad... I don't know why I thought that it goes to infinity, I had graph of a wrong function in my mind.

    So now, I still have a problem - how did he get this exp(-O(ħ1/2)) factor? Because I don't see why it is a square root of ħ...
  7. Sep 8, 2013 #6


    User Avatar
    Science Advisor
    Gold Member
    2017 Award

    If you tell us, from where the book starts, we may be able to help you. Is it the application of this method to the generating functional in QFT. Then my QFT manuscript may help you too:


    the [itex]\hbar[/itex] (loop) expansion is found on p. 125ff
  8. Sep 8, 2013 #7
    It is probably applied later in the book, but it firstly appears in the very begining. I made a screen of everything that there is about this issue, not that much though...

    And thank you vanhees71 for lecture, I'll check it later :smile:

    Attached Files:

    • zee.jpg
      File size:
      70.6 KB
  9. Sep 8, 2013 #8

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    For a reasonably well-behaved function f(q), the error in that Taylor expansion is going to be dominated by the last included term, ##\frac 1 2 f''(q_0)(q-q_0)^2##.

    Look at ##\int_{-\infty}^{\infty} \exp\left(\frac{-1}{2h} f''(q_0)(q-q_0)^2\right)\, dq##. Sans some scale factors, that's just the Gaussian integral.
  10. Sep 11, 2013 #9
    Well, I know, and I know how to integrate it. But still, I can't see why corrections are in the form of exponent with ##-O(\sqrt{\hbar})##.
    But now - I tried to see what will happen if we won't neglect higher order terms. So, we have:
    [tex]f(q)=f(a)+\frac{1}{2}f''(a)(q-a)^2+\frac{1}{3!}f'''(a)(q-a)^3+\ldots [/tex]
    [tex]I=\int_\mathbb{R}dq\exp\left(\frac{-1}{\hbar}f(a)+\frac{-1}{\hbar}\frac{1}{2}f''(a)(q-a)^2+\frac{-1}{\hbar}\frac{1}{3!}f'''(a)(q-a)^3+\ldots \right)[/tex]
    And now I leave the exponent with the quadratic term, and expand the exponent with qubic and higher terms in Taylor series:
    [tex]I=\int_\mathbb{R}dq\exp\left(\frac{-1}{\hbar}f(a)+\frac{-1}{\hbar}\frac{1}{2}f''(a)(q-a)^2\right)\left[1+\left(\frac{-1}{3!\hbar}f'''(a)(q-a)^3+\ldots\right)+\left(\frac{-1}{3!\hbar}f'''(a)(q-a)^3+\ldots\right)^2 \right][/tex]
    Now, ##I## is a sum, first summand is of course just our basic integral, which I will denote by ##I_0##:
    [tex]I=I_0+\int_\mathbb{R}dq\exp\left(\frac{-1}{\hbar}f(a)+\frac{-1}{\hbar}\frac{1}{2}f''(a)(q-a)^2\right)\left[\left(\frac{-1}{3!\hbar}f'''(a)(q-a)^3+\ldots\right)+\left(\frac{-1}{3!\hbar}f'''(a)(q-a)^3+\ldots\right)^2 \right][/tex]
    First non-zero integral will be the one with ##(q-a)^4##:
    Combining this with ##I_0## we get:
    Where ##C## is a constant. I looked at terms with ##(q-a)^6## and it will give contribution to the terms with ##\hbar## and ##\hbar^2##. Anyway, the conclusion is that still I see no way of exponent correcions with ##-O(\hbar^{1/2})## :shy:
  11. Sep 11, 2013 #10

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    Don't look at those higher order terms. Look instead at the last term that was included.

    In quoting just the last part of my previous post, you omitted the key point of that post. Once again,

    For a reasonably well-behaved function f(q), the error in that Taylor expansion is going to be dominated by the last included term, ##\frac 1 2 f''(q_0)(q-q_0)^2##.​

    You don't need to look at those higher order derivatives in the expansion of f(q) if that function is "well-behaved". By well behaved I mean that there exists some finite C>0 such that for all q in the interval of interest,
    [tex]\left|\sum_{r=n+1}^{\infty} \frac 1 {r!} f^{r}(a)(q-a)^r\right|<C\left|\frac 1 {n!} f^{n}(a)(q-a)^n\right|[/tex]

    In other words, for a well behaved function, the last included term in the Taylor expansion (in this case, the second order derivative term) bounds the error. If this is the case, that exp(-O(ħ1/2)) multiplicative factor falls right out.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Steepest descent approximation Date
Steepest descent vs. stationary phase method Feb 16, 2015
Steepest descent approximation Apr 6, 2012
Steepest Descent with constraints May 14, 2011
Steepest descent, non-analytic roots Sep 14, 2008
Steepest-descents/Laplace's method Feb 20, 2007