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

Changing place of limit and integral - problem

  1. May 23, 2010 #1
    [tex]\delta(x)=\frac{d}{dx}\Theta(x)[/tex] - delta function like a first derivative of Heaviside step function

    [tex]\Theta(x)=\int dx\delta(x)[/tex]

    We use integral representation of delta function


    from that we get

    [tex]\Theta(x)=\int dx\frac{1}{2\pi}\int^{\infty}_{-\infty}dke^{-ikx} [/tex]

    And now we use one trick!

    [tex]\Theta(x)=\int dx\frac{1}{2\pi}\int^{\infty}_{-\infty}dke^{-ikx}lim_{\epsilon \rightarrow 0^+}e^{\epsilon k} [/tex]

    Consider now the expression without the limit

    [tex]\frac{1}{2\pi}\int^{\infty}_{-\infty}dk\int dxe^{-i(k+i\epsilon)x}=\frac{i}{2\pi}\int^{\infty}_{-\infty}dk\frac{e^{-ikx}}{k+i\epsilon}[/tex]

    we get that

    [tex]\Theta(x)=\frac{i}{2\pi} lim_{\epsilon \rightarrow 0+}\int^{\infty}_{-\infty}dk\frac{e^{-ikx}}{k+i\epsilon}[/tex]

    Using complex integration in lower half plane for [tex]x>0[/tex] and upper half plane for [tex]x<0[/tex] we get that the upper expression is correct. But why we can change the place of limit and integral? I'm not sure.

    Thanks for your answer!
  2. jcsd
  3. May 23, 2010 #2


    User Avatar
    Science Advisor

    The question of when we can interchange to limits (and the integral, of course, is a limit) is a main topic in Mathmatical Analysis. Here we can do it because that limit converges uniformly.
  4. May 25, 2010 #3
    Can you tell me the answer with little more details? Thanks
  5. May 25, 2010 #4

    If you want to justify

    \lim_{n\to\infty} \int\limits_X f_n(x) d\mu(x) = \int\limits_X \lim_{n\to\infty} f_n(x) d\mu(x)

    with uniform convergence, you must assume [tex]\mu(X) < \infty[/tex]

    If [tex]\mu(X)=\infty[/tex], then uniform convergence is not enough. Counter examples exist. The Lebesgue Dominated Convergence theorem is the standard tool for this situation.

    Mali, details of your calculations didn't make sense to me, but I believe that you are in a situation where an expression

    \lim_{\epsilon\to 0} \int dx\; F_{\epsilon}(x)

    makes sense, and an expression

    \int dx\; \lim_{\epsilon\to 0} F_{\epsilon}(x)

    does not make sense. That means that not everything in your formulas is convergent, and you are not really supposed to justify change of orders of limit and integration. You are merely doing tricks.
  6. May 25, 2010 #5
    Show that the sequence of functions converges uniformly on every compact (closed and bounded) set in its domain. Then you can exchange limits.
  7. May 26, 2010 #6
    Rubbish! The standard counter example to the change of order of limit and integration, which is

    f_n(x) = \left\{\begin{array}{ll}
    \frac{1}{n}, & 0\leq x\leq n\\
    0, & n < x\\

    is also a counter example to this claim that uniform convergence on compact subsets of domain would be enough.
    Last edited: May 26, 2010
  8. May 26, 2010 #7
    I never said my claim held for just any sequence of functions. It holds for the one in question because each integral can be rewritten as the line integral of an analytic function. This is a consequence of Morera's theorem.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook