# All Science Fair Projects

## Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

# Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

# Free field

Classically, a free field is a field described by linear partial differential equations which has a unique solution given initial data.

In quantum field theory, an operator valued distribution is a free field if it satisfies some linear partial differential equations such that the corresponding case of the same linear PDEs for a classical field (i.e. not an operator) would be the Euler-Lagrange equation for some quadratic Lagrangian. We can differentiate distributions by defining their derivatives via differentiated test functions. See Schwartz distribution for more details. Since we are dealing not with ordinary distributions but operator valued distributions, it is understood these PDEs aren't constraints on states but instead a description of the relations among the smeared fields. Beside the PDEs, the operators also satisfy another relation, the commutation/anticommutation relations.

Basically, commutator (for bosons)/anticommutator (for fermions) of two smeared fields is i times the Peierls bracket of the field with itself (which is really a distribution, not a function) for the PDE's smeared over both test functions. This has the form of a CCR/CAR algebra.

CCR/CAR algebras with infinitely many degrees of freedom have many inequivalent irreducible unitary representations. If the theory is defined over Minkowski space, we may choose the unitary irrep containing a vacuum state although that isn't always necessary.

## Example

Let φ be an operator valued distribution and the PDE be

$\partial^\mu \partial_\mu \phi+m^2 \phi^2=0$.

This is a bosonic field. Let's call the distribution given by the Peierls bracket Δ.

Then,

{φ(x),φ(y)} = Δ(x;y)

where here, φ is a classical field and {,} is the Peierls bracket.

Then, the CCR relation is

[φ[f],φ[g]] = iΔ[f,g].

Note that Δ is a distribution over two arguments, and so, can be smeared as well.

Equivalently, we could have insisted that

$\mathcal{T}\{[((\partial^\mu \partial_\mu+m^2)\phi)[f],\phi[g]]\}=-i\int d^dx f(x)g(x)$

where $\mathcal{T}$ is the time ordering operator and that if the supports of f and g are spacelike separated,

[φ[f],φ[g]] = 0.