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

Dirac delta

  1. Jul 6, 2011 #1
    I'm reading Daniel T. Gillespie's A QM Primer: An Elementary Introduction to the Formal Theory of QM. In the section on continuous eigenvalues, he admits to playing "fast and loose" with the laws of calculus, with respect to the Dirac delta function. I'd like to understand it better, or, if such understanding requires more advanced conceptual machinery than I have yet, at least to get some pointers. Here's what I've been able to find so far:

    Formalised as a probability measure, I think the Dirac delta means

    [tex]\delta_x : \Sigma \rightarrow [0,1],[/tex]

    [tex]\[ \delta_x(A) = \left\{
    \begin{array}{l l}
    1 & \quad \mbox{if $x$ is in $A$}\\
    0 & \quad \mbox{if $x$ is not in $A$}\\ \end{array} \right. \][/tex]

    where [itex]\Sigma[/itex] is any sigma algebra on the configuration space of the system.

    Formalised as a distribution, I think it means

    [tex]\delta_x : L^2(\mathbb{R},\mathbb{C}) \rightarrow \mathbb{C},[/tex]

    [tex]\delta_x(\Psi) = \Psi(x).[/tex]

    A distribution is a continuous (in a certain sense) linear functional on the vector space of test functions. A test function is a smooth function with bounded support (Griffel: Applied Functional Analysis).

    I wonder how these definitions relate to Gillespie's "fast and loose" Dirac delta. In an expression like

    [tex](\delta_x, \Psi),[/tex]

    should I reinterpret this notation, for what Gillespie calls the inner product between two state vectors, as

    [tex]\delta_x(\Psi)[/tex]

    (that is, the value of a dual vector on a vector) or is there a state vector in L2 dual to each Dirac delta distribution? If not, does this mean that the position operator has no actual eigenvectors, only something analogous to eigenvectors, which Gillespie informally treats as eigenvectors but which is really a set of dual vectors? How does the probability measure definition relate to the distribution definition? How does it formalise Gillespie's idea of an infinitesimal multiplied by a function of infinite value?

    In the equation

    [tex]f(a) \int_{-\infty}^{\infty} f(x) \delta_a(x) dx,[/tex]

    should I interpret this as, with the distribution formalism, an integral of the product of [itex]f[/itex] with [itex]\delta_a \circ Id[/itex] considered as a function, where Id denotes the identity test function. And in the measure formalism, as an integral of the product of [itex]f[/itex] with [itex]\delta_a \circ g[/itex], where

    [tex]g : \mathbb{R} \rightarrow \Sigma,[/tex]

    [tex]g(x) = {x},[/tex]

    for some appropriate sigma? It seems to me these naive guesses reintroduce exactly the problem such formalisms are supposed to solve.*

    Can anyone recommend a text, online or in print, which takes up these ideas where Gillespie leaves off, beginning at a similarly elementary level.


    *EDIT. Ah, perhaps the rule is, when viewing the Dirac delta as a distribution (in the sense of a continuous linear functional on test functions), take the notation

    [tex]\int_{-\infty}^{\infty} \Psi(x) \delta_a(a) \; dx[/tex]

    to mean, not what it would denote if delta was replaced by any other symbol (in which case, the value would always be zero), but rather take the integral notation to mean [itex]\delta_a(\Psi) \equiv \Psi(a)[/itex]. Not sure how this relates to the measure idea, but maybe some similar device is employed there.

    (I wonder if there's any connection between the use of the word distribution for this kind of function, and its use in probability theory to mean a probability measure on the sigma algebra associated with an observation space.)
     
    Last edited: Jul 6, 2011
  2. jcsd
  3. Jul 6, 2011 #2

    mathman

    User Avatar
    Science Advisor
    Gold Member

    There are at least two distinct functions involved in the discussion you have presented.

    The first is usually called the characteristic function of a set, i.e. a function which = 1 for points in the set and = 0 for points outside.

    The Dirac delta function is the term under the integral sign which makes the integral = value of the function at the point. It is usually written as δ(x-a), but I presume your notation is acceptable. For mathematical rigor, it is called a distribution (completely unrelated to probability distribution).

    I am not familiar with the material in the middle of your note, so I can't comment on it.
     
  4. Jul 6, 2011 #3
    Thanks you, mathman. I've been looking at

    http://en.wikipedia.org/wiki/Distribution_(mathematics)

    and

    http://en.wikipedia.org/wiki/Dirac_measure

    I'll need to get a better idea of what Lebesgue integration means to understand the latter article, but I wonder if it's correct to say that the Dirac delta distribution has no "corresponding" test function - corresponding as defined in the Basic Idea section of Wikipedia: Distribution - although it does have a corresponding probability measure, namely the Dirac measure.
     
  5. Jul 6, 2011 #4

    George Jones

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Yes. From

    https://www.physicsforums.com/showthread.php?p=1346748#post1346748
     
    Last edited by a moderator: Apr 26, 2017
  6. Jul 7, 2011 #5
    Thanks, George. That's very helpful. Would I be right in thinking that the Dirac delta, although "continuous" in the distribution sense, does not belong to the continuous dual space of H = L2(R,C), since it's not continuous with respect to the norm topologies of H and C, since it's not bounded (in the bounded operator sense)? Also, I think, by the Riesz representation theorem (as stated here by Tillmann Berg, in the Remark section before Unbounded Operators), if g is the inner product function, and there exists no f such that delta = g(f,_), then delta is not in H'.

    Distributions are only defined for test functions (=smooth functions with compact support); does L2(R,C) contain functions which are not test functions, and are therefore functions for which distributions, such as the Dirac delta, are undefined? And does this mean that the Dirac delta is not even an element of H*, the algebraic dual space of H = L2(R,C)?
     
  7. Jul 7, 2011 #6

    strangerep

    User Avatar
    Science Advisor

    Rasalhague,

    You seem to want a rigorous treatment. If so, try reading up on
    "rigged Hilbert space", aka "Gel'fand triples", in the context
    of "generalized functions".

    Wikipedia has some (rather brief) information:

    http://en.wikipedia.org/wiki/Rigged_hilbert_space


    Ballentine's textbook gives an introduction (though he skips some
    of the rigor). There's also this useful overview paper: quant-ph/0502053

    One can also take a space of smooth functions of fast decrease at infinity (whose dual is the space of tempered distributions).

    The Hilbert space is self-dual, but the Dirac delta is not square-integrable (i.e., doesn't
    have a sensible Hilbert space norm).

    But it's probably best if you check out the references above first and see how many of your questions still remain afterwards.
     
    Last edited: Jul 7, 2011
  8. Jul 7, 2011 #7

    George Jones

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I quite like
     
  9. Jul 7, 2011 #8

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    That's right. Distributions are however members of the continuous dual space of the set of test functions, with a more complicated topology than the ones you mentioned.
     
  10. Jul 7, 2011 #9
    Thanks to everyone for the replies and reading suggestions!

    Self-dual, I take it, meaning having natural anti-isomorphism between itself and its continuous dual; namely, if g is the inner product, [itex]f \mapsto g(f, \cdot )[/itex].
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Dirac delta
  1. Dirac delta (Replies: 6)

  2. Dirac delta (Replies: 24)

Loading...