14
$\begingroup$

What the following formula mean?

$$\int\mathop{}\!\mathrm{d}^4x$$

I know that this $\int f(x)\mathop{}\!\mathrm{d}x$ is the integral of the function $f$ over the $x$ variable, but the following $\int\mathop{}\!\mathrm{d}^4x$ leave empty the argument and also have the $\mathrm{d}$ elevated to the fourth power. What that mean?

Update.

In the Einstein-Hilbert action we have (note that I have understand that the other parts of the integral are relevant only after your answers, thus sorry.):

$$S=\frac{c^4}{16\pi G}\int\mathop{}\!\mathrm{d}^4x \, \ R \sqrt{-g}$$

$\endgroup$
  • 1
    $\begingroup$ I think that you are integrate the forth derivative of $f(x)=x$. This means that you will get the third derivative of $f(x)$. $\endgroup$ – João Jun 21 '13 at 16:02
  • 2
    $\begingroup$ @João This seems highly dubious. Would you have a source? $\endgroup$ – Did Jun 21 '13 at 16:48
  • $\begingroup$ When one integrates a first derivative of a given elementary function, one gets the function itself (derivative of degree $0$). So I assume that when one have $\int{\mathrm d^n}f$ one gets $\mathrm d^{n-1}f$, with $n \in \mathbb{Z}$ and $n-1\geq 0$. $\endgroup$ – João Jun 21 '13 at 17:07
  • $\begingroup$ @João So, $n\in\mathbb{N}$. $\endgroup$ – Aurelius Jun 21 '13 at 17:11
  • 4
    $\begingroup$ @João: you are incorrect. This is a four dimensional measure, it has nothing to do with the number of derivatives. $\endgroup$ – Sharkos Jun 21 '13 at 19:05
14
$\begingroup$

It is a notation usually used in physics.

In their language $$ \int\mathop{}\!\mathrm{d}^3 p \,f(p) = \int_{\Omega} f(x,y,z)\mathop{}\!\mathrm{d}x\mathop{}\!\mathrm{d}y\mathop{}\!\mathrm{d}z. $$ Several remarks:

  • The domain where the integration is performed is unspecified, because we can have the flexibility of doing integration in momentum space or position space.

  • The exponent on the shoulder of $\mathrm{d}$ specifies the dimensionality of this integral, so no $\iint$ or $\iiint$.

  • The variable the integration is performed on is written before the integrand.

So if it is $\mathrm{d}^4 x $, normally it means to integrate in the whole space-time.


Some Updates: Not an expert in GR but if the integration is $$ S=\frac{c^4}{16\pi G}\int\mathop{}\!\mathrm{d}^4x \, R \sqrt{-g}, $$ then $\mathrm{d}^4x\,\sqrt{-g}$ means the integration is done in the whole space-time $\mathcal{M}$ with certain metric $g$. The metric also has a negative determinant (relevant to the $(− + + +)$ sign convention). The "volume" element in space-time for this integration is actually $$ \underbrace{\mathrm{d}^4 x\,\sqrt{-g}}_{\text{Physics type of notation}} = \underbrace{\sqrt{|g|} d x\wedge d y\wedge d z\wedge cd t}_{\text{Volume element of integration performed on a manifold with metric } g}. $$ Here we can't separately write $\mathrm{d}^4 x$, it would cause certain level of confusion of the metric. Also the mathematical type of notation is only true whenever we equip the manifold locally with a coordinate system $(dx,dy,dz,-cdt)$ while the physics's notation leaves the volume element's coordinate system unspecified to avoid some technique issues.

Now because the space-time's metric $g$ is not a constant but rather changing in the whole space-time, we normally we do not write in the form of $\mathrm{d} x\,\mathrm{d} y\,\mathrm{d} z\,c\mathrm{d} t$ or $ \mathrm{d} x\wedge\mathrm{d} y\wedge\mathrm{d} z\wedge c\mathrm{d} t$ unless we know the space-time is flat (Minkowski space-time). I suggest you try to derive the action using a unit mass particle moving in a gravitational field in Minkowski time yourself to better understand the notation.

A simple analogy: The "area" element in polar coordinate system is $rdrd\theta$ (written in math notation convention), while in physics the integration is written as: $$ \int\mathop{}\!\mathrm{d} \theta\mathrm{d} r\,r \,f(r,\theta). $$

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ So if the variable to integrate is not been written as in my case we can assume that the integral is over all the variables of the function? And $\Omega$ represents an arbitrary surface of integration? $\endgroup$ – Aurelius Jun 21 '13 at 16:28
  • $\begingroup$ @FormlessCloud It is really case-dependent. For example we can have $$\int dr \,r e^{i\theta}$$ which means that the integral is only performed on $r$. Can you update with more context like the specific integral you saw using this notation? And yes, $\Omega$ is the domain you are performing the integral, could be $\mathbb{R}^3\times \mathbb{R}^+$(usual Newtonian space-time), or $\mathcal{M}$ the spacetime manifold, or even more generalized space. $\endgroup$ – Shuhao Cao Jun 21 '13 at 16:38
  • $\begingroup$ I've updated my question... $\endgroup$ – Aurelius Jun 21 '13 at 17:30
  • $\begingroup$ @FormlessCloud Hi, updated my answer as well. $\endgroup$ – Shuhao Cao Jun 21 '13 at 19:01
  • $\begingroup$ On the order of the integrand and differential in integration, see my answer at math.stackexchange.com/questions/387572/… $\endgroup$ – Sharkos Jun 21 '13 at 19:06
7
$\begingroup$

This is particularly common in Physics where it represents an integral over all spacetime coordinates. Here $x=(t,x,y,z)$ in natural units (note the $x$ on the left hand side isn't the same as the one on the right hand side. Then $$\int \mathrm{d}^4x \equiv \int \mathrm{d}t \int \mathrm{d}x \int \mathrm{d}y \int \mathrm{d}z$$ is just a shorthand.

Note also that in Physics, we write the $\mathrm{d}x$ before the integrand, not after.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ So in my integral, the function to integrate, is $x$ over its variables, that commonly are $t,x,y,z$, right? $\endgroup$ – Aurelius Jun 21 '13 at 16:19
  • $\begingroup$ no, $x$ isn't a function, it is the variable or rather a 4-vector of variables (both ways of thinking are fine) you would then integrate a function involving $x$ $\endgroup$ – john Jun 21 '13 at 16:26
  • $\begingroup$ e.g. in Quantum Field Theory, we have $\Delta (x-y)=\int \frac{\mathrm{d}^4k}{(2\pi)^4} \frac{e^{i k . (x-y)}}{k^2-m^2+i \epsilon}$ where $k,x,y$ are all 4-vectors $\endgroup$ – john Jun 21 '13 at 16:32
2
$\begingroup$

When we work with function $f : \Bbb R \to \Bbb R$ it's common to denote the integral of $f$ over $[a,b]$ as simply:

$$\int_a^bf(x)dx$$

This notation has much to do with the fact that in classical treatment, $dx$ was thought of as an "infinitesimal lenght" in the $x$ axis, $f(x)dx$ an infinitesimal area, and the integral the sum of those infinitesimal areas. This idea of infinitesimals lead to confusions, so that it was swept away so that we have today the modern and formal standard analysis. In this case, the $dx$ is usually superfluous and we write the integral simply as:

$$\int_a^bf$$

Now, for functions $f: A \subset \Bbb R^n \to \Bbb R$ we usually write the integral exactly as above or in the "classical language" simply as:

$$\int_A f = \idotsint_Af(x_1,\dots,x_n)dx_1\cdots dx_n$$

So people usually simplify writting $d^n x$ so that we have:

$$\int_A f = \idotsint_A f(x) d^nx$$

Now, this is just notation. Rigorous meaning, however can be given in the context of differential forms. In truth, when we study analysis over $\Bbb R^n$ and when we study differential geometry, we realize that the really meaningful objects to integrate are the so called differential forms. In that context, $dx$, $dy$ and etc receive a formal treatment: they are differential forms.

There we introduce the concept of a wedge product between forms denoted $\wedge$ and so people can usually write:

$$d^n x = dx^1 \wedge \cdots \wedge dx^n$$

Where $dx^i$ is the differential of the $i$-th coordinate function. It turns out that this is a "volume form", then scalar functions can be put into correspondence with $n$-forms in $n$-space, so that for $f : \Bbb R^n \to \Bbb R$ we associate the differential form $\omega \in \Omega^n(\Bbb R^n)$ given by :

$$\omega = f d^n x = f dx^1 \wedge \cdots \wedge dx^n$$

To see more about differential forms look at Spivak's Calculus on Manifolds. I hope this helps you somehow. Good luck!

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.