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, math of implication?

  1. Jan 2, 2008 #1
    So what we have so far is that any and all subsets are implied by a set. If there exist a set, then all the subsets within it are implied to exist also. This includes the elements of a set. The elements of a set are implied by the existence of a set.

    One of the most natural things to do with sets is to count the number of elements it has. This can be done in order to give a relative size to subsets. So the number of elements works as a measure of a set.

    You can count an element as a member of a set only if the element is included in the set. If we label the elements with arbitrary coordinates, we can describe this mathematically as,

    [tex]\[\int_{\rm{A}} {{\rm{\delta (x - x}}_0 ){\rm{dx}}} \, = \,1\][/tex]

    The integral is 1 if [tex]\[{\rm{x}}_{\rm{o}} \in \,\,{\rm{A}}\][/tex]. In other words, if [tex]\[{\rm{A}} \to {\rm{x}}_0 \][/tex] is true, then the integral is 1. But if [tex]\[{\rm{A}} \to {\rm{x}}_0 \][/tex] is not true, then the integral is 0. The integral is 1 or 0 as the implication is true or false. The integrand is the dirac delta "function".

    Now it seems to me that the above is all true no matter what the size of the region A is. We can let A become smaller and smaller and shrink down to the size of another point, x, and the above is still true. This procedure would be the same as taking the derivative of an integral, which is the same as the integrand, [tex]\[{{\rm{\delta (x - x}}_0 )}\][/tex]. If [tex]\[x \to {\rm{x}}_0 \][/tex] is true then [tex]\[{\rm{\delta (x - x}}_0 ) \ne 0\][/tex]. And if [tex]\[x \to {\rm{x}}_0 \][/tex] is not true, then [tex]\[{\rm{\delta (x - x}}_0 ) = 0\][/tex]. The delta function is non-zero or zero as [tex]\[x \to {\rm{x}}_0 \][/tex] is true or false.

    Using coordinates to label facts allow us to employ the dirac delta function to mathematically represent the implication between those facts. Does this much sound right? Thanks.
    Last edited: Jan 3, 2008
  2. jcsd
  3. Jan 3, 2008 #2


    User Avatar
    Science Advisor
    Homework Helper

    Do you have an example?
  4. Jan 3, 2008 #3
    The closest example I can think of is that of Ariel Caticha. In


    Here he derives the path integral formulation of quantum theory from the integration of simple "setups". Each setup is described as a source of some event at x1 being detected as an event at x2. Later he reveals that these setups are actually the wavefunction and uses the delta function to describe the most primative setups (or wavefunctions).

    But to have one event result in another event is just different terminology for implication. So it seems Caticha is using the delta function to represent implication. Caticha is careful not to draw too close an analogy with logic. But I think the generalization is clear.

    Caticha then goes on to show how these simple setups can be combined to from a path integral. But I think this effort is unnecessary. I believe I can show that the Feynman path integral easily falls out of nothing more than the definition of the dirac delta function. Seriously, it's easy! And I'd be happy to show it to you. But I'd like to make sure of my assumptions first.

    So I'm trying to get a better foundation for material implication being represented by the dirac delta function. And I think I have a start. Is it possible that the dirac delta function might be the simplest form of measure in measure theory from which all other types of measure can be derived? After all it does seem to say when you are allowed to count an element in a set. Or perhaps NO discernable causal relationship between facts is the simplest relationship. Then the delta function as a gaussian distribution for totally random processes would represent there being no detectable cause between two events.

    I'm not theorizing, yet. Just trying to get information. Thanks.
    Last edited: Jan 3, 2008
  5. Jan 4, 2008 #4


    User Avatar
    Science Advisor
    Homework Helper

    When I asked for an example, I meant something of the form, "let A = [0,1], let x0 = 1, then integral = 1 over A; alternatively if A = [0,1) then integral = 0 over A," and somehow relate this to your phrase "using coordinates to label facts."

    You also seemed to be using the set notation and limit notation interchangeably ("x in A" equivalent to "x --> A"); is that a practical shorthand, or does it have theoretical significance in the context?

    Let me respond with an example of my own. On the unit interval U = [0,1], I can ascribe a "scaled" Dirac measure [itex]\bar\delta_x[/itex] = δx(x)k to each x in U, where k is the scaling constant (assuming such a constant exists -- I am waving my hands). Specifically, let that measure be [itex]\bar\delta_x[/itex](x) = f(x), (e.g., f(x) = 1) and [itex]\bar\delta_x[/itex](y) = 0 for all y [itex]\ne[/itex] x.

    There is a separate δx and a separate [itex]\bar\delta_x[/itex] for each x in U; let δ(y) = Σxδx(y) and [itex]\bar\delta(y)=\sum_x\bar\delta_x(y)[/itex]. Then [itex]\bar\delta[/itex](y) = f(y) for all y in U.

    Let F be the antiderivative of f (e.g. F(x) = x). Then [itex]\int_U \bar\delta(x)dx = \int_U f(x)dx = \int_U dF(x)[/itex] is the F-measure of the set U.

    So in that "scaled delta" sense, I can define an arbitrary measure F in terms of [itex]\bar\delta[/itex] through f (the derivative of F), which is the scaled delta. But honestly, my example is a little like fitting a square peg into a round hole, because there is no scaling constant k (a real number) that would satisfy [itex]\bar\delta[/itex](x) = δ(x)k = [itex]\infty[/itex]k = f(x) < [itex]\infty[/itex]; that is, there is no real number k that could produce a finite measure out of the infinite Dirac delta. If you see a conceptual way to get you around this, then you will have answered your own question.
    Last edited: Jan 4, 2008
  6. Jan 5, 2008 #5
    Oh! I thought you meant some particular types of facts being labeled with coordinates. But perhaps I'm overstating the necessity of needing facts to label. In the generalization of these concepts, we probably lose track of facts we are labeling and just notice how field values change as the coordinates change. I think in terms of mathematics we can restrict our concerns to elements at coordinates and ask what number describes how two different elements are related. Since the number of elements in a set give a relative probability, the relation between any two elements is most likely in terms of the probability of going from one to the other. If we start with a totally random process that leads from one to any other, then we are looking at a gausian probability distribution. Or does anyone else have any other ideas?

    I'm using [tex]\[{\rm{A}} \to {\rm{B}}\][/tex] to symbolize that A implies B. This is fairly common notation, but there is other notation as well.

    I'm not sure why you use a "scaled" dirac delta. As I understand it, the integral=1 when integrated in ANY interval that contains x, no matter how small that interval is. This is because the dirac delta has a shrinking parameter that renders it zero when the argument is not zero. Since that parameter shrinks to zero, any interval will contain the function being integrated.

    The dirac delta function is the derivative of the unit step funciton, u(x), which equals zero for x<0 and equals 1 for x>0. This makes sense, since the slope of the unit step is 0 when x<0, is infinite at x=0, is 0 again when x>0, just like the delta function. So how does this help your diffinition of measure again?

    I've said previously that I can derive the Feynman path integral solely in terms of the dirac delta function. But there is some controversy about whether the Feynman path integral is mathematically well defined. They say that "measure" of differential paths in not well defined, or something like that. So this brings me to wonder if the dirac delta function is well defined or not. Does anyone have any insight into the dirac delta function being a well defined measure or distribution? Thanks.
    Last edited: Jan 6, 2008
  7. Jan 6, 2008 #6


    User Avatar

    The dirac delta function is not strictly, as mathematicians routinely define "function", a function. Strictly speaking, what they teach us in Real Analysis (or a similarly titled course) is that the Lebesgue integrals of two different functions f(x) and g(x) that are equal "almost everywhere" must be equal. Thinking of the dirac delta as a regular function that is zero everywhere but at x=0 leads one to contradict the above since the integral of the dirac, f(x) is 1, yet the integral of g(x)=0 is zero, yet the two functions agree almost everywhere.

    Mathematicians do not like how engineers (and some physicists) deal with the dirac delta (as if we are playing fast and lose with the facts).
  8. Jan 6, 2008 #7
    Does infinity only at one point still qualify as equal almost everywhere to a finite value only at that point? Or does infinity throw off that calculation since you would then be giving an infinite weight to the contribution for that point as opposed to a finite weight for that point.

    I wonder if all concerns are well defined and valid when the zero approaching parameter of the delta function is some arbitrary value that's NOT zero, then wouldn't those concerns also be valid as the parameter APPROACHES zero? At what value of the parameter does one draw the line? If the concerns (I'm not sure what) are valid independent of the value of the parameter, then I would think it is still valid as the parameter approaches zero, since it is NOT technically zero.
  9. Jan 7, 2008 #8


    User Avatar
    Science Advisor
    Homework Helper

    Dirac's delta "DD" is defined for an interval that contains a singular element x, for which DD is being defined (or associated with). In that respect, ANY superset of {x} has the same measure (=1), which makes DD not particularly useful to define a measure. I was using the scaled DD to get around that property -- or impose some structure onto the problem so that DD can be used to construct a useful measure that discriminates between a set and its numerous supersets.
  10. Jan 12, 2008 #9
    I think I understand what you're saying. But the Dirac delta would only be useful in deciding whether to count an element as a member of a set. The definition of the delta precludes any information about the set as a whole, since any size superset containing the element gives the same number. The measure of the set to which the element belongs would be accomplished by some count of ALL the elements in the set. I suppose that means there would have to be a Dirac delta function for each element and some integration of all the deltas in the region occupied by the set.

    There is another thing to consider. The Dirac delta for each element assigns a equal weight to each element. But what if different element have different weights. Wouldn't that mean that you would then integrate the Dirac delta multiplied by some function that weighs each element?
  11. Jan 14, 2008 #10


    User Avatar
    Science Advisor
    Homework Helper

    One way to accomplish this is to substitute k(x) for k in my post above.
  12. Jan 14, 2008 #11
    If we have one k(x) for all time, then I think we will get from this first quantization. But if the k(x,t) changes with time, then we are talking about second quantization, an initial field configuration propagating to a final field configuration through every possible means. I think I'm about ready to discuss how the definition of the dirac delta equates to the Feynman path integral. This would put the path integral squarely in the realm of probability distributions, would all of you agree?

    I'm not sure I've got everything correct yet. I could probably use some help on this. Does anyone (monitors) object to my persuing this objective in this forum? Should I start a new thread? Thanks.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook