# How to deal with the product of distributions by Renormalization or similar?

how can we deal for example with the product of distributions in physics ?? is there any mean to define with physics $\delta ^{2}(x)$ or to treat a product of two distributions within the Renormalization framework ?

another question let be a metric with a dirac delta derivative $ds^{2}= g_{a,b}dx^{a}dx^{b}$ and for example $g_{x,x}= \delta (x-y)$ and $g_{x,y}= H(x-y)$ (heaviside function) how could we compute and define the Einstein Equations ?? $R_ {a,b}=0$

-
You should clear up the title and make this two questions. –  genneth Apr 9 '12 at 12:32
You should not separate indices with a comma, as that usually indicates a noncovariant derivative. –  Ron Maimon Apr 14 '12 at 0:54

There are two approaches within which one can decide whether a product of distributions makes sense: Microlocal analysis and Colombeau algebras.

Microlocal analysis uses wave front sets to decide the question when a product distribution can be uniquely determined.

Colombeau algebras embed distributions into an algebra where multiplication is always possible, but the same algebra element may correspond to multiple distributions. In this way the standard nogo theorem is rendered invalid.

Products of distributions are important in the Epstein-Glaser approach to relativistic quantum field theory - renormalization via correct distribution splitting. There is a book by Scharf on quantum electrodynamics where this is discussed in detail.

-

The first is really easy--- you make a lattice approximation, put a lattic-spacing dependent coefficient in front of $\delta^2(x)$ to make it $c(\epsilon) (\delta_\epsilon(x))^2$ and take the continuum limit $\epsilon\rightarrow 0$, with $c\propto\epsilon$, and from this you learn that $c \delta(x)^2$ becomes $c'\delta(x)$ in the limit, where c' is the renormalized coefficient. In other words, squaring the delta function gives a delta function with an infinite coefficient.

This is regularization dependent. If you point-split, so that the product is for delta-functions at separate points, you can get 0 as the answer. You have to define the lattice thing, and show how to take the limit. That's what people do in quantum field theory anyway.

For more complicated cases, like the product $f(x) \delta''(x)\delta'(x)$, no point splitting, you can get a $\delta$ function (if the two are at the same point), or you can get a linear combination of $\delta$ and $\delta'$ if the two approximate delta-functions are nearby but not right on top of each other.

The main issue is that distributions are in the continuum limit from the start, and field theory is defined so that you take the continuum limit at the end, because the continuum limit is complicated.

This is why distribution language is disfavored for modern field theory formulations, in favor of an explicit regulator and explicit renormalization scheme. This was the Feynman-Pauli-Villars regulator approach, which is universally used today.

Your second example is more complicated, because to define the delta-metric, you have to imagine a series of manifolds that approximate the delta-metric, and there is no guarantee that the limiting conception is sensible.

Consider a 2d metric which is

$$g_{\mu\nu} = (1+ \delta_\epsilon(x)\delta_\epsilon(y)) (-l_{00} + l_{11})$$

This is conformally flat (which is not saying much in 2d). The result will have opposite sign stresses right near the origin, which come from differentiating the approximate delta functions, and it is not going to be physical. The requirements that the energy is positive, or that the vacuum equations are satisfied, each impose an ellipticity constraint that eliminates such localized curvatures.

It is not possible to smoosh too much curvature in a small region, because the hoop bound tells you that mass M requires an extension of about M to be visible without a horizon.

So one can ask: what kind of localized singularities are allowed in vacuum or energy-condition restricted GR? The only case I know of is the 2d cone-metric, for a 2d space, where there is a delta-function in the curvature at the cone point. This generalizes to a codimension 2 cone point in higher dimensions, and to orbifold singularities of various dimensions in string theory, where you can T-dualize the orbifold to lower dimensions.

Aside from orbifolds (where the metric is not singular, only the curvature), I don't believe there are other examples where Einstein's equations allow a singular metric (the centers of black holes are not part of the manifold).

-