Is the delta in the commutation relations of QFT a dirac delta or a kronecker?

Click For Summary
SUMMARY

The discussion clarifies the distinction between Dirac and Kronecker deltas in the context of quantum field theory (QFT) commutation relations. Specifically, the commutation relation [φ^i(x), π_j(y)] = δ^i δ^(D)(x-y) indicates that the first delta represents a Kronecker delta for different field components, while the second delta is a Dirac delta function, which is a distribution. The fields in QFT are operator-valued distributions that require integration with test functions to avoid singularities when x equals y. This understanding parallels the treatment of operators in quantum mechanics (QM), where position and momentum operators also exhibit distributional properties.

PREREQUISITES
  • Understanding of quantum field theory (QFT) concepts
  • Familiarity with commutation relations in quantum mechanics (QM)
  • Knowledge of distributions and test functions in mathematical physics
  • Basic grasp of operator-valued distributions
NEXT STEPS
  • Study the properties of Dirac delta functions in quantum field theory
  • Learn about Kronecker delta applications in quantum mechanics
  • Explore the role of test functions in the context of distributions
  • Investigate operator-valued distributions and their implications in QFT
USEFUL FOR

Physicists, particularly those specializing in quantum field theory, quantum mechanics, and mathematical physics, will benefit from this discussion. It is also valuable for students and researchers seeking to deepen their understanding of commutation relations and distributions in theoretical physics.

silence11
Messages
6
Reaction score
0
If it's a dirac delta doesn't it mean it's infinite when x=y? Or is it a sort of kronecker where it's equal to one but the indices x and y are continuous? I'm confused.
 
Physics news on Phys.org
Both the Dirac and Kronecker deltas can occur in QFT.

Post a specific example of a CR you don't understand...
 
silence11 said:
If it's a dirac delta doesn't it mean it's infinite when x=y? Or is it a sort of kronecker where it's equal to one but the indices x and y are continuous? I'm confused.

In QFT you can have commutation relations like

<br /> [\phi^i (x), \pi_j (y)] = \delta^_i \delta^{(D)}(x-y)<br />

where phi and pi are conjugate fields, of which you can have, say, N, and D is the dimension of spacetime.

The first delta states that these fields don't commutate if they are different components. That's a Kronecker delta. The second is a distribution, and is there because the fields are really distributions. These kind of relations only make sense if you integrate them with a test function. Otherwise you would naively say that the commutator blows up if x=y.

You can compare it with the commutators in QM; those only make sense if you apply them to a wave function.
 
haushofer said:
The second is a distribution, and is there because the fields are really distributions. These kind of relations only make sense if you integrate them with a test function. Otherwise you would naively say that the commutator blows up if x=y.

You can compare it with the commutators in QM; those only make sense if you apply them to a wave function.

Are all operators distributions then, and not just commutators? In QM, X and P are distributions. In QFT, creation/annihilation operators and fields are distributions?
 
geoduck said:
In QM, X and P are distributions.
Could you elaborate on this?
 
lugita15 said:
Could you elaborate on this?

I was just asking haushofer a question. He said fields in QFT are distributions, and I was wondering why. He said you integrate them over test functions, so I was wondering if he meant that any linear operator is a distribution in QM, e.g.,

<x|P|x'> takes ψ(x') and maps it to:

<x|P|ψ>=-i d/dx[ψ(x)]

I have no idea what he meant, so I just wanted to learn :)
 
In QFT fields are operator-valued distributions where (in position space) x is a "continuous index". The delta-distribution is the identity-operator.

In QM the operators are X (and P, ...) - no fields - and there is only a discrete index (i=1,2,3, ... for dimensions etc.) and therefore you get a Kronecker delta as identity-operator. The delta-function in QM is not an operator but a matrix element.
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 7 ·
Replies
7
Views
1K
Replies
18
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K