Physics Forums

Recognitions:
Gold Member

## Dirac delta in curved space

The Dirac delta function is defined as:
$$\int_{ - \infty }^{ + \infty } {\delta (x - {x_0})dx} = 1$$
Or more generally the integral is,
$$\int_{ - \infty }^{ + \infty } {\delta (\int_{{x_0}}^x {dx'} )dx}$$
But if the metric varies with x, then the integral becomes,
$$\int_{ - \infty }^{ + \infty } {\delta (\int_{{x_0}}^x {\sqrt {g(x')} dx'} )\sqrt {g(x)} dx}$$
But from the wikipedia.com article we have,
$$\delta (f(x)) = \frac{{\delta (x - {x_z})}}{{\left| {f'({x_z})} \right|}}$$
where xz is such that $f({x_z}) = 0$.
And since,
$$\frac{d}{{dx}}(\int_{{x_0}}^x {\sqrt {g(x')} dx'} ) = \sqrt {g(x)}$$
and
$$f(x) = \int_{{x_0}}^x {\sqrt {g(x')} dx'} = 0$$
when x= x0 so that xz= x0.
Then the above becomes,
$$\int_{ - \infty }^{ + \infty } {\delta (\int_{{x_0}}^x {\sqrt {g(x')} dx'} )\sqrt {g(x)} dx} = \int_{ - \infty }^{ + \infty } {\frac{{\delta (x - {x_0})}}{{\left| {\sqrt {g({x_0})} } \right|}}\sqrt {g(x)} dx}$$
Now obviously if g(x) is constant, we recover the original Dirac delta function. But what if g(x) is not constant, can I still recover the original Dirac delta function? Then the Dirac delta would behave the same in any space.

Have I evaluated ${\left| {\sqrt {g({x_0})} } \right|}$ wrong? Could there be some sense is saying this should simply by ${\sqrt {g(x)} }$ so that it cancels out? Maybe x never really equals x0, but only approaches it, so that we use some other property of the Dirac delta.

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug

Recognitions:      Gold Member  OK, I think I got it. Starting with  $$\int_{ - \infty }^{ + \infty } {\delta (\int_{{x_0}}^x {\sqrt {g(x')} dx'} )\sqrt {g(x)} dx} = \int_{ - \infty }^{ + \infty } {\frac{{\delta (x - {x_0})}}{{\left| {\sqrt {g({x_0})} } \right|}}\sqrt {g(x)} dx}$$ I suppose it is safe to assume that the metric g(x) is real and always positive so the squareroot is positive, and we can drop the absolute sign. And since we can bring the denominator outside the integral, we have, $$\frac{1}{{\sqrt {g({x_0})} }}\int_{ - \infty }^{ + \infty } {\delta (x - {x_0})\sqrt {g(x)} dx}$$ And then the sifting property lets us bring the function multiplied by the Dirac delta outside the integral with an x value of x0, to get, $$\frac{1}{{\sqrt {g({x_0})} }}\sqrt {g({x_0})} \int_{ - \infty }^{ + \infty } {\delta (x - {x_0})dx }$$  But since the squareroots of g cancel, this is just $\int_{ - \infty }^{ + \infty } {\delta (x - {x_0})dx}$. So, $$\int_{ - \infty }^{ + \infty } {\delta (\int_{{x_0}}^x {\sqrt {g(x')} dx'} )\sqrt {g(x)} dx} = \int_{ - \infty }^{ + \infty } {\delta (x - {x_0})dx} = 1$$ Or the Dirac delta function is invariant with changes of coordinates, metric, curvature or spaces.  But I suppose if we think in higher dimensional terms, the integral inside the Dirac delta is a line integral, and the integral outside the delta is a volume integral, right? So would we still get the cancellation of squareroots of g in higher dimensions? Or would the g(x) term in the line integral not be squarerooted like the volume integral outside the delta?

Well, the Dirac distribution satisifes:  $$\int \delta(x-x_0) f(x) dx = f(x_0)$$  That pretty much answers your question.

## Dirac delta in curved space

BTW, if I am not mistaken we should take minus the squareroot of the det of the metric in the change of variables in integration.

Recognitions:      Gold Member  I'm not satisfied because I'm not sure how this generalizes in multidimensional space. What does  $$\int_{ - \infty }^{ + \infty } {\delta (\int_{{x_0}}^x {\sqrt {g(x')} dx'} )\sqrt {g(x)} dx}$$ look like in 3D? The $${\int_{{x_0}}^x {\sqrt {g(x')} dx'} }$$ part would be a line integral. How does that generalize in 3D with a changing metric? The $$\int_{ - \infty }^{ + \infty } {\delta (......)\sqrt {g(x)} dx}$$ part would be a volume integral where the squareroot of the metic is commonly used.  So I guess my biggest question is how to use the metric in a line integral. And since you can have more than one line from x0 to x in 3D, how do you determine which line to take, if it even matters? Would you integrate the line integral as it travels over the geodesic?

Well it should be similar to the one dimensional case.  I assume you know that the n-dimensional Dirac Delta distribution is made up of a product of 1-dimensional Dirac Delta distribution.  So you do the same trick you did before and get something like:  $$\int_{\mathbb{R}^n} \delta ^n (\bar{x}-\bar{x_0}) \frac{\sqrt{g(\bar{x})}}{\sqrt{g(\bar{x_0})}} d\bar{x}$$  Ok, in your case I think (though not certain), that th line integral from one dimensional becomes if $$\bar{x} =(x^1,x^2,...,x^n)$$  then the line integral becomes:  $$\int_{x^1_0}^{x^1}...\int_{x^n_0}^{x^n} \sqrt{g(x')}dx'^1...dx'^n$$

Recognitions:      Gold Member  The differential line segment squared is: $$d{s^2} = {g_{ij}}(\vec x)d{x^i}d{x^j}$$ So the line integral in a general curved space is: $$\int_{{{\vec x}_0}}^{\vec x} {\sqrt {{g_{ij}}(\vec x)d{x^i}d{x^j}} }$$ which is usually parameterized as: $$\int_{{t_0}}^t {\sqrt {{g_{ij}}(\vec x(t))\frac{{d{x^i}}}{{dt}}\frac{{d{x^j}}}{{dt}}} } \,\,\,dt$$ And when we put this inside the Dirac delta to get $$\delta (\int_{{{\vec x}_0}}^{\vec x} {\sqrt {{g_{ij}}(\vec x)d{x^i}d{x^j}} } )$$ I don't know how this can be put in the form $$\delta (f(\vec x)) = \frac{{\delta (\vec x - {{\vec x}_z})}}{{\left| {f'({{\vec x}_z})} \right|}}$$ where $f({{\vec x}_z}) = 0$.  Can ${g_{ij}}(\vec x)d{x^i}d{x^j}$ be put in the form of a determinant of the metric time differentials so that we can evaluate $g(\vec x)$ at ${{\vec x}_0}$ and bring it outside the delta in the denominator where it cancels as before?

Recognitions:
Homework Help

Quote by friend 					 				 				The differential line segment squared is: $$d{s^2} = {g_{ij}}(\vec x)d{x^i}d{x^j}$$ So the line integral in a general curved space is: $$\int_{{{\vec x}_0}}^{\vec x} {\sqrt {{g_{ij}}(\vec x)d{x^i}d{x^j}} }$$ which is usually parameterized as: $$\int_{{t_0}}^t {\sqrt {{g_{ij}}(\vec x(t))\frac{{d{x^i}}}{{dt}}\frac{{d{x^j}}}{{dt}}} } \,\,\,dt$$ And when we put this inside the Dirac delta to get $$\delta (\int_{{{\vec x}_0}}^{\vec x} {\sqrt {{g_{ij}}(\vec x)d{x^i}d{x^j}} } )$$ I don't know how this can be put in the form $$\delta (f(\vec x)) = \frac{{\delta (\vec x - {{\vec x}_z})}}{{\left| {f'({{\vec x}_z})} \right|}}$$ where $f({{\vec x}_z}) = 0$.  Can ${g_{ij}}(\vec x)d{x^i}d{x^j}$ be put in the form of a determinant of the metric time differentials so that we can evaluate $g(\vec x)$ at ${{\vec x}_0}$ and bring it outside the delta in the denominator where it cancels as before?

Recognitions:      Gold Member  In one dimensional space, $\vec x = (x)$, which means ${x^i} = x$ and $d{x^i} = dx$, so that  $$\sqrt {{g_{ij}}(\vec x)d{x^i}d{x^j}} = \sqrt {{g_{ii}}(\vec x)d{x^i}d{x^i}} = \sqrt {g(x)} dx$$ and then $$\delta (\int_{{{\vec x}_0}}^{\vec x} {\sqrt {{g_{ij}}(\vec x)d{x^i}d{x^j}} } ) = \delta (\int_{{x_0}}^x {\sqrt {g(x')} dx} ') = \frac{{\delta (x - {x_0})}}{{\sqrt {g({x_0})} }}$$ And this ${\sqrt {g({x_0})} }$ cancels with the one in the volume integral. And the Dirac delta is invariant in 1D.  In 2D, we have $\vec x = ({x^1},{x^2})$, and $${g_{ij}}(\vec x)d{x^i}d{x^j} = {g_{11}}({x^1},{x^2})d{x^1}d{x^1} + {g_{12}}({x^1},{x^2})d{x^1}d{x^2} + {g_{22}}({x^1},{x^2})d{x^2}d{x^2} + {g_{21}}({x^1},{x^2})d{x^2}d{x^1}$$ And in flat space, ${g_{12}} = {g_{21}} = 0$, so that the above becomes, $${g_{ij}}(\vec x)d{x^i}d{x^j} = {g_{11}}d{x^1}d{x^1} + {g_{22}}d{x^2}d{x^2}$$ Then if ${g_{11}} = {g_{22}} = g$, we get  $${g_{ij}}(\vec x)d{x^i}d{x^j} = g{(d{x^1})^2} + g{(d{x^2})^2}$$  And, $$\sqrt {{g_{ij}}(\vec x)d{x^i}d{x^j}} = \sqrt g \sqrt {{{(d{x^1})}^2} + {{(d{x^2})}^2}} = \sqrt g ds$$ So that the $\sqrt g$ cancels out to make the integral of the Dirac delta invariant with changes in rescaling of flat space.  I wonder what this means. Is the Dirac delta invariant with Lorentz transformation since those are transformation from one flat spacetime to another flat spacetime?  If we parameterize the line integral with $\vec x = \vec x(t)$ to get, $$\int_{{{\vec x}_0}}^{\vec x} {\sqrt {{g_{ij}}(\vec x)d{x^i}d{x^j}} } = \int_{{t_0}}^t {\sqrt {{g_{ij}}(\vec x(t'))\frac{{d{x^i}}}{{dt'}}\frac{{d{x^j}}}{{dt'}}} } \,\,\,dt'$$ Can we show that the time variable must be orthogonal to the flat space dimensions? Can we prove the necessity of Minkowski metric for an invariant integral of a parameterized Dirac delta function?

Recognitions:
Gold Member

Quote by friend 					 				 				I wonder what this means. Is the Dirac delta invariant with Lorentz transformation since those are transformation from one flat spacetime to another flat spacetime?  If we parameterize the line integral with $\vec x = \vec x(t)$ to get, $$\int_{{{\vec x}_0}}^{\vec x} {\sqrt {{g_{ij}}(\vec x)d{x^i}d{x^j}} } = \int_{{t_0}}^t {\sqrt {{g_{ij}}(\vec x(t'))\frac{{d{x^i}}}{{dt'}}\frac{{d{x^j}}}{{dt'}}} } \,\,\,dt'$$ Can we show that the time variable must be orthogonal to the flat space dimensions? Can we prove the necessity of Minkowski metric for an invariant integral of a parameterized Dirac delta function?
Notice, for example, that in
$$\int_{{t_0}}^t {\sqrt {{g_{ij}}(\vec x(t))\frac{{d{x^i}}}{{dt}}\frac{{d{x^j}}}{{dt}}} } \,\,\,dt$$
if we make ${g_{ij}}(\vec x) = 0$ whenever i≠j, then we get
$$\int_{{t_0}}^t {\sqrt {{g_i}(\vec x(t)){{\left( {\frac{{d{x^i}}}{{dt}}} \right)}^2}} } \,\,\,dt$$
Now, in order to make $\sqrt {g(x)}$ come outside the Dirac delta and cancel as before, we need
$${\left( {\frac{{d{x^i}}}{{dt}}} \right)^2} = 1$$
Or, we can put this in a different way by saying
$${(ds)^2} = {(dt)^2} - {(dx)^2} = 0$$
This looks like the Minkowski metric. But I don't know what it would mean to have ds≠0.

Recognitions:      Gold Member  Now that I think about it, when I write: $$\int_{ - \infty }^{ + \infty } {\delta (x - {x_0})dx} = \int_{ - \infty }^{ + \infty } {\delta (\int_{{x_0}}^x {dx'} )dx} = \int_{ - \infty }^{ + \infty } {\delta (\int_{{x_0}}^x {\sqrt {g(x')} dx'} )\sqrt {g(x)} dx} = 1$$ I don't actually know whether the ${g(x)}$ in the volume form of $\int_{ - \infty }^{ + \infty } {\delta (...)\sqrt {g(x)} dx}$ outside the dirac delta is really the same as the ${g(x')}$ in $\delta (\int_{{x_0}}^x {\sqrt {g(x')} dx'} )$ in the line integral inside the dirac delta.  The volume form  ${g(x)}$ outside the delta is  $$\sqrt {g(x)} = \det ({J^T}J)$$ where $$J = \left( {\begin{array}{*{20}{c}} {\frac{{\partial {u^1}}}{{\partial {x^1}}}}&{\frac{{\partial {u^1}}}{{\partial {x^2}}}}\\ {\frac{{\partial {u^2}}}{{\partial {x^1}}}}&{\frac{{\partial {u^2}}}{{\partial {x^2}}}} \end{array}} \right)$$ for a change of coordinates from u to x.  But the ${g(x')}$ in the line integral inside the delta is $${g_{ij}}(\vec x)d{x^i}d{x^j} = {g_{11}}d{x^1}d{x^1} + {g_{12}}d{x^1}d{x^2} + {g_{22}}d{x^2}d{x^2} + {g_{21}}d{x^2}d{x^1}$$ And then when ${g_{12}} = {g_{21}} = 0$ and ${g_{11}} = {g_{22}} = g$, the ${g(x')}$ is just a constant ${g}$.  Are these two g's actually the same thing... even in curved space? How does that work?

Recognitions:
Gold Member
Previously, I considered:

Quote by friend 					 				 				$$\delta (x - {x_0})=\delta (\int_{{x_0}}^x {\sqrt {g(x')} dx} ') = \frac{{\delta (x - {x_0})}}{{\sqrt {g({x_0})} }}$$
But on second thought, this is probably not useful since I could do the same thing with the dirac delta at the right as I did on the left. I could iterate the process to get another squareroot of g in the denominator making it equal the dirac delta divided by the squarroot of g squared. In fact, I could iterate this an infinite number of times to get a squarroot of g to the power of infinity. This only works if g=1 for flat space, and I have not converted the flat dirac delta to a dirac delta in curved space. I will have to look for something else.

Recognitions:      Homework  Help  Perhaps this will help? http://www.fen.bilkent.edu.tr/~ercelebi/mp03.pdf  It gives the form of the dirac delta in curvilinear coordinates (in 3d). I would guess that to achieve your purposes you would need to generalize to arbitrary dimension and modify the scale factors ##h_i## to account for different metrics.

Recognitions:
Gold Member

Quote by Mute 					 				 				Perhaps this will help? http://www.fen.bilkent.edu.tr/~ercelebi/mp03.pdf
Thank you. That's a start. My main goal is to investigate how the properties of the dirac delta function might be used to determine the properties of the background spacetime metric. For example, if the dirac delta describes the density of a mass point, is that enough to determine the properties of the metric? Or, if the dirac delta represents causality, is that enough to determine the Minkowski metric? So I consider equation such as:

$$\int_{ - \infty }^{ + \infty } {\delta (x - {x_0})dx}=\int_{ - \infty }^{ + \infty } {\delta (\int_{{x_0}}^x {dx'} )dx}=\int_{ - \infty }^{ + \infty } {\delta (\int_{{x_0}}^x {\sqrt {g(x')} dx'} )\sqrt {g(x)} dx}=\int_{ - \infty }^{ + \infty } {\delta (\int_{{t_0}}^t {\sqrt {{g_{ij}}(\vec x(t))\frac{{d{x^i}}}{{dt}}\frac{{d{x^j}}}{{dt}}} } \,\,\,dt){\sqrt {g(x)} }dx}=1$$
Or, if I also apply the first variation to all this and set it equal to zero, is there enough information to specify the metric of Special Relativity or General Relativity? Wouldn't it be interesting if it did?

Quote by friend 					 				 				Thank you. That's a start. My main goal is to investigate how the properties of the dirac delta function might be used to determine the properties of the background spacetime metric. For example, if the dirac delta describes the density of a mass point, is that enough to determine the properties of the metric?
My gut reaction would be yes. On ℝ at least, metrics define Borel measures and every Borel measure is a Schwartz distribution. IIRC, Schwartz distributions can be broken up into sums of other singular distributions related to Dirac.

Honestly, this sounds like the domain of current theory, so ask mathematician who specialise in that?

Recognitions:
Gold Member

Quote by pwsnafu 					 				 				My gut reaction would be yes. On ℝ at least, metrics define Borel measures and every Borel measure is a Schwartz distribution. IIRC, Schwartz distributions can be broken up into sums of other singular distributions related to Dirac.  Honestly, this sounds like the domain of current theory, so ask mathematician who specialise in that?
God! I hope it's not that complicated.

Recognitions:
Gold Member

Quote by pwsnafu 					 				 				My gut reaction would be yes. On ℝ at least, metrics define Borel measures and every Borel measure is a Schwartz distribution. IIRC, Schwartz distributions can be broken up into sums of other singular distributions related to Dirac.  Honestly, this sounds like the domain of current theory, so ask mathematician who specialise in that?
Hopefully, it is easier than this. For example, the dirac delta function is a continuous version of the Kronecker delta which is used as the metric in flat space. But the spacetime metric of relativity is also flat spacetime metric. Is it also discrete version of a delta function?

Thread Tools

|                                                  |                              |         |
|--------------------------------------------------|------------------------------|---------|
| Similar Threads for: Dirac delta in curved space |                              |         |
| Thread                                           | Forum                        | Replies |
|                                                  | Quantum Physics              | 6       |
|                                                  | Calculus                     | 3       |
|                                                  | Special & General Relativity | 7       |
|                                                  | Differential Geometry        | 6       |
|                                                  | Advanced Physics Homework    | 1       |
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 34, "mathjax_display_tex": 46, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9123882055282593, "perplexity_flag": "head"}