Skip to main content
deleted 78 characters in body; edited title
Source Link
Urb
  • 2.7k
  • 4
  • 14
  • 26

Scalar field hamiltonianHamiltonian $H = 0$ from parameterization independence

This question is related (but not similar) to this old one of mine:

https://physics.stackexchange.com/questions/305678/how-to-derive-the-two-friedmann-lemaître-equations-from-a-lagrangianHow to derive the two Friedmann-Lemaître equations from a Lagrangian?

Consider the Lagrangian of an isotropic-homogeneous spacetime (Robertson-Walker metric), containing a simple scalar field and a cosmological constant (this expression comes from the standard Hilbert-Einstein and scalar field action, in an isotropic-homogeneous spacetime. The space coordinates were integrated out and an hypersurface term was discarded) : \begin{equation}\tag{1} \mathcal{L} = -\: \frac{1}{8 \pi G} (3 \, a \, \dot{a}^2 - 3 k \, a + \Lambda \, a^3) + \frac{1}{2} \; \dot{\phi}^2 a^3 - \mathcal{V}(\phi) \, a^3. \end{equation} The function $\mathcal{V}(\phi)$ is the potential energy density of the scalar field. The action is simply $$\tag{2} S = \int_{t_1}^{t_2} \mathcal{L} \, dt. $$ Just for reference, the hypersurface term that was neglected is the following: $$\tag{1b} \mathcal{L}_{\text{surf}} =\frac{1}{8 \pi G} \, \frac{d}{dt} ( 3 \, a^2 \, \dot{a}). $$ It's easy to find the Hamiltonian: \begin{equation}\tag{3} \mathcal{H} \equiv \dot{a} \, \frac{\partial \mathcal{L}}{\partial \, \dot{a}} + \dot{\phi} \, \frac{\partial \mathcal{L}}{\partial \, \dot{\phi}} - \mathcal{L} = -\: \frac{3}{8 \pi G} \Big( \frac{\dot{a}^2}{a^2} + \frac{k}{a^2} - \frac{\Lambda}{3} \Big) \, a^3 + \Big( \frac{1}{2} \, \dot{\phi}^2 + \mathcal{V}(\phi) \Big) \, a^3. \end{equation} That Hamiltonian can be proved to be 0, by a transformation of the time variable $dt \Rightarrow N \, dt$, where $N$ is an arbitrary function of $t$ (the "lapse" function). This changes the lagrangian (1): \begin{equation}\tag{4} \tilde{\mathcal{L}} = -\: \frac{1}{8 \pi G} (3 \, a \, \dot{a}^2/N - 3 k \, a N + \Lambda \, a^3 N) + \frac{1}{2} \; \dot{\phi}^2 a^3 / N - \mathcal{V}(\phi) \, a^3 N. \end{equation} Since $N$ is arbitrary, we then could consider it as a new variable that can be varied. The Euler-Lagrange equation applied to the lapse function implies that $\mathcal{H} = 0$.

What confuses me is that this reasoning could also be applied to any other Lagrangian, starting from its action and applying an arbitrary time transformation that doesn't change the end points: $$\tag{5} S = \int_{t_1}^{t_2} L \Big(q, \frac{dq}{dt} \Big) \, dt = \int_{t_1}^{t_2} L \Big(q, \frac{1}{N} \, \frac{dq}{d\tilde{t}} \Big) \, N \, d\tilde{t}, $$ so that $$\tag{6} \tilde{L} = N \, L \Big(q, \frac{1}{N} \, \frac{dq}{d\tilde{t}} \Big). $$ Applying the Euler-Lagrange equation to $N$ (which is still arbitrary) then gives an absurdity: $H = 0$ for any Lagrangian! Of course, this cannot be true!

So two questions:

  1. Where did I made a stupid mistake in this reasoning? It certainly should be obvious, but I don't see it!
  2. I often read that $H = 0$ comes from the parameterization invariance of the action. But then, like most classical Lagrangians, (1) and (2) doesn'tdon't seem to be independent of the time parameterization (even if I bring back the surface term that was discarded at the beginning). So how can we show that (1)-(2) are actually independent of the time parameterization and show the relation to the hamiltonianHamiltonian being zero?

Scalar field hamiltonian $H = 0$ from parameterization independence

This question is related (but not similar) to this old one of mine:

https://physics.stackexchange.com/questions/305678/how-to-derive-the-two-friedmann-lemaître-equations-from-a-lagrangian

Consider the Lagrangian of an isotropic-homogeneous spacetime (Robertson-Walker metric), containing a simple scalar field and a cosmological constant (this expression comes from the standard Hilbert-Einstein and scalar field action, in an isotropic-homogeneous spacetime. The space coordinates were integrated out and an hypersurface term was discarded) : \begin{equation}\tag{1} \mathcal{L} = -\: \frac{1}{8 \pi G} (3 \, a \, \dot{a}^2 - 3 k \, a + \Lambda \, a^3) + \frac{1}{2} \; \dot{\phi}^2 a^3 - \mathcal{V}(\phi) \, a^3. \end{equation} The function $\mathcal{V}(\phi)$ is the potential energy density of the scalar field. The action is simply $$\tag{2} S = \int_{t_1}^{t_2} \mathcal{L} \, dt. $$ Just for reference, the hypersurface term that was neglected is the following: $$\tag{1b} \mathcal{L}_{\text{surf}} =\frac{1}{8 \pi G} \, \frac{d}{dt} ( 3 \, a^2 \, \dot{a}). $$ It's easy to find the Hamiltonian: \begin{equation}\tag{3} \mathcal{H} \equiv \dot{a} \, \frac{\partial \mathcal{L}}{\partial \, \dot{a}} + \dot{\phi} \, \frac{\partial \mathcal{L}}{\partial \, \dot{\phi}} - \mathcal{L} = -\: \frac{3}{8 \pi G} \Big( \frac{\dot{a}^2}{a^2} + \frac{k}{a^2} - \frac{\Lambda}{3} \Big) \, a^3 + \Big( \frac{1}{2} \, \dot{\phi}^2 + \mathcal{V}(\phi) \Big) \, a^3. \end{equation} That Hamiltonian can be proved to be 0, by a transformation of the time variable $dt \Rightarrow N \, dt$, where $N$ is an arbitrary function of $t$ (the "lapse" function). This changes the lagrangian (1): \begin{equation}\tag{4} \tilde{\mathcal{L}} = -\: \frac{1}{8 \pi G} (3 \, a \, \dot{a}^2/N - 3 k \, a N + \Lambda \, a^3 N) + \frac{1}{2} \; \dot{\phi}^2 a^3 / N - \mathcal{V}(\phi) \, a^3 N. \end{equation} Since $N$ is arbitrary, we then could consider it as a new variable that can be varied. The Euler-Lagrange equation applied to the lapse function implies that $\mathcal{H} = 0$.

What confuses me is that this reasoning could also be applied to any other Lagrangian, starting from its action and applying an arbitrary time transformation that doesn't change the end points: $$\tag{5} S = \int_{t_1}^{t_2} L \Big(q, \frac{dq}{dt} \Big) \, dt = \int_{t_1}^{t_2} L \Big(q, \frac{1}{N} \, \frac{dq}{d\tilde{t}} \Big) \, N \, d\tilde{t}, $$ so that $$\tag{6} \tilde{L} = N \, L \Big(q, \frac{1}{N} \, \frac{dq}{d\tilde{t}} \Big). $$ Applying the Euler-Lagrange equation to $N$ (which is still arbitrary) then gives an absurdity: $H = 0$ for any Lagrangian! Of course, this cannot be true!

So two questions:

  1. Where did I made a stupid mistake in this reasoning? It certainly should be obvious, but I don't see it!
  2. I often read that $H = 0$ comes from the parameterization invariance of the action. But then, like most classical Lagrangians, (1) and (2) doesn't seem to be independent of the time parameterization (even if I bring back the surface term that was discarded at the beginning). So how can we show that (1)-(2) are actually independent of the time parameterization and show the relation to the hamiltonian being zero?

Scalar field Hamiltonian $H = 0$ from parameterization independence

This question is related (but not similar) to this old one of mine:

How to derive the two Friedmann-Lemaître equations from a Lagrangian?

Consider the Lagrangian of an isotropic-homogeneous spacetime (Robertson-Walker metric), containing a simple scalar field and a cosmological constant (this expression comes from the standard Hilbert-Einstein and scalar field action, in an isotropic-homogeneous spacetime. The space coordinates were integrated out and an hypersurface term was discarded) : \begin{equation}\tag{1} \mathcal{L} = -\: \frac{1}{8 \pi G} (3 \, a \, \dot{a}^2 - 3 k \, a + \Lambda \, a^3) + \frac{1}{2} \; \dot{\phi}^2 a^3 - \mathcal{V}(\phi) \, a^3. \end{equation} The function $\mathcal{V}(\phi)$ is the potential energy density of the scalar field. The action is simply $$\tag{2} S = \int_{t_1}^{t_2} \mathcal{L} \, dt. $$ Just for reference, the hypersurface term that was neglected is the following: $$\tag{1b} \mathcal{L}_{\text{surf}} =\frac{1}{8 \pi G} \, \frac{d}{dt} ( 3 \, a^2 \, \dot{a}). $$ It's easy to find the Hamiltonian: \begin{equation}\tag{3} \mathcal{H} \equiv \dot{a} \, \frac{\partial \mathcal{L}}{\partial \, \dot{a}} + \dot{\phi} \, \frac{\partial \mathcal{L}}{\partial \, \dot{\phi}} - \mathcal{L} = -\: \frac{3}{8 \pi G} \Big( \frac{\dot{a}^2}{a^2} + \frac{k}{a^2} - \frac{\Lambda}{3} \Big) \, a^3 + \Big( \frac{1}{2} \, \dot{\phi}^2 + \mathcal{V}(\phi) \Big) \, a^3. \end{equation} That Hamiltonian can be proved to be 0, by a transformation of the time variable $dt \Rightarrow N \, dt$, where $N$ is an arbitrary function of $t$ (the "lapse" function). This changes the lagrangian (1): \begin{equation}\tag{4} \tilde{\mathcal{L}} = -\: \frac{1}{8 \pi G} (3 \, a \, \dot{a}^2/N - 3 k \, a N + \Lambda \, a^3 N) + \frac{1}{2} \; \dot{\phi}^2 a^3 / N - \mathcal{V}(\phi) \, a^3 N. \end{equation} Since $N$ is arbitrary, we then could consider it as a new variable that can be varied. The Euler-Lagrange equation applied to the lapse function implies that $\mathcal{H} = 0$.

What confuses me is that this reasoning could also be applied to any other Lagrangian, starting from its action and applying an arbitrary time transformation that doesn't change the end points: $$\tag{5} S = \int_{t_1}^{t_2} L \Big(q, \frac{dq}{dt} \Big) \, dt = \int_{t_1}^{t_2} L \Big(q, \frac{1}{N} \, \frac{dq}{d\tilde{t}} \Big) \, N \, d\tilde{t}, $$ so that $$\tag{6} \tilde{L} = N \, L \Big(q, \frac{1}{N} \, \frac{dq}{d\tilde{t}} \Big). $$ Applying the Euler-Lagrange equation to $N$ (which is still arbitrary) then gives an absurdity: $H = 0$ for any Lagrangian! Of course, this cannot be true!

So two questions:

  1. Where did I made a stupid mistake in this reasoning? It certainly should be obvious, but I don't see it!
  2. I often read that $H = 0$ comes from the parameterization invariance of the action. But then, like most classical Lagrangians, (1) and (2) don't seem to be independent of the time parameterization (even if I bring back the surface term that was discarded at the beginning). So how can we show that (1)-(2) are actually independent of the time parameterization and show the relation to the Hamiltonian being zero?
edited title
Link
Cham
  • 7.7k
  • 4
  • 28
  • 69

Scalar field cosmology hamiltonian $H = 0$ from parameterization independence

added 182 characters in body
Source Link
Cham
  • 7.7k
  • 4
  • 28
  • 69

This question is related (but not similar) to this old one of mine:

https://physics.stackexchange.com/questions/305678/how-to-derive-the-two-friedmann-lemaître-equations-from-a-lagrangian

Consider the Lagrangian of an isotropic-homogeneous spacetime (Robertson-Walker metric), containing a simple scalar field and a cosmological constant (this expression comes from the standard Hilbert-Einstein and scalar field action, in an isotropic-homogeneous spacetime. The space coordinates were integrated out and an hypersurface term was discarded) : \begin{equation}\tag{1} \mathcal{L} = -\: \frac{1}{8 \pi G} (3 \, a \, \dot{a}^2 - 3 k \, a + \Lambda \, a^3) + \frac{1}{2} \; \dot{\phi}^2 a^3 - \mathcal{V}(\phi) \, a^3. \end{equation} The function $\mathcal{V}(\phi)$ is the potential energy density of the scalar field. The action is simply $$\tag{2} S = \int_{t_1}^{t_2} \mathcal{L} \, dt. $$ Just for reference, the hypersurface term that was neglected is the following: $$\tag{1b} \mathcal{L}_{\text{surf}} =\frac{1}{8 \pi G} \, \frac{d}{dt} ( 3 \, a^2 \, \dot{a}). $$ It's easy to find the Hamiltonian: \begin{equation}\tag{3} \mathcal{H} \equiv \dot{a} \, \frac{\partial \mathcal{L}}{\partial \, \dot{a}} + \dot{\phi} \, \frac{\partial \mathcal{L}}{\partial \, \dot{\phi}} - \mathcal{L} = -\: \frac{3}{8 \pi G} \Big( \frac{\dot{a}^2}{a^2} + \frac{k}{a^2} - \frac{\Lambda}{3} \Big) \, a^3 + \Big( \frac{1}{2} \, \dot{\phi}^2 + \mathcal{V}(\phi) \Big) \, a^3. \end{equation} That Hamiltonian can be proved to be 0, by a transformation of the time variable $dt \Rightarrow N \, dt$, where $N$ is an arbitrary function of $t$ (the "lapse" function). This changes the lagrangian (1): \begin{equation}\tag{4} \tilde{\mathcal{L}} = -\: \frac{1}{8 \pi G} (3 \, a \, \dot{a}^2/N - 3 k \, a N + \Lambda \, a^3 N) + \frac{1}{2} \; \dot{\phi}^2 a^3 / N - \mathcal{V}(\phi) \, a^3 N. \end{equation} Since $N$ is arbitrary, we then could consider it as a new variable that can be varied. The Euler-Lagrange equation applied to the lapse function implies that $\mathcal{H} = 0$.

What confuses me is that this reasoning could also be applied to any other Lagrangian, starting from its action and applying an arbitrary time transformation that doesn't change the end points: $$\tag{5} S = \int_{t_1}^{t_2} L \Big(q, \frac{dq}{dt} \Big) \, dt = \int_{t_1}^{t_2} L \Big(q, \frac{1}{N} \, \frac{dq}{d\tilde{t}} \Big) \, N \, d\tilde{t}, $$ so that $$\tag{6} \tilde{L} = N \, L \Big(q, \frac{1}{N} \, \frac{dq}{d\tilde{t}} \Big). $$ Applying the Euler-Lagrange equation to $N$ (which is still arbitrary) then gives an absurdity: $H = 0$ for any Lagrangian! Of course, this cannot be true!

So two questions:

  1. Where did I made a stupid mistake in this reasoning? It certainly should be obvious, but I don't see it!
  2. I often read that $H = 0$ comes from the parameterization invariance of the action. But then, like most classical Lagrangians, (1) and (2) doesn't seem to be independent of the time parameterization (even if I bring back the surface term that was discarded at the beginning). So how can we show that (1)-(2) are actually independent of the time parameterization and show the relation to the hamiltonian being zero?

This question is related (but not similar) to this old one of mine:

https://physics.stackexchange.com/questions/305678/how-to-derive-the-two-friedmann-lemaître-equations-from-a-lagrangian

Consider the Lagrangian of an isotropic-homogeneous spacetime (Robertson-Walker metric), containing a simple scalar field and a cosmological constant (this expression comes from the standard Hilbert-Einstein and scalar field action, in an isotropic-homogeneous spacetime. The space coordinates were integrated out and an hypersurface term was discarded) : \begin{equation}\tag{1} \mathcal{L} = -\: \frac{1}{8 \pi G} (3 \, a \, \dot{a}^2 - 3 k \, a + \Lambda \, a^3) + \frac{1}{2} \; \dot{\phi}^2 a^3 - \mathcal{V}(\phi) \, a^3. \end{equation} The function $\mathcal{V}(\phi)$ is the potential energy density of the scalar field. The action is simply $$\tag{2} S = \int_{t_1}^{t_2} \mathcal{L} \, dt. $$ It's easy to find the Hamiltonian: \begin{equation}\tag{3} \mathcal{H} \equiv \dot{a} \, \frac{\partial \mathcal{L}}{\partial \, \dot{a}} + \dot{\phi} \, \frac{\partial \mathcal{L}}{\partial \, \dot{\phi}} - \mathcal{L} = -\: \frac{3}{8 \pi G} \Big( \frac{\dot{a}^2}{a^2} + \frac{k}{a^2} - \frac{\Lambda}{3} \Big) \, a^3 + \Big( \frac{1}{2} \, \dot{\phi}^2 + \mathcal{V}(\phi) \Big) \, a^3. \end{equation} That Hamiltonian can be proved to be 0, by a transformation of the time variable $dt \Rightarrow N \, dt$, where $N$ is an arbitrary function of $t$ (the "lapse" function). This changes the lagrangian (1): \begin{equation}\tag{4} \tilde{\mathcal{L}} = -\: \frac{1}{8 \pi G} (3 \, a \, \dot{a}^2/N - 3 k \, a N + \Lambda \, a^3 N) + \frac{1}{2} \; \dot{\phi}^2 a^3 / N - \mathcal{V}(\phi) \, a^3 N. \end{equation} Since $N$ is arbitrary, we then could consider it as a new variable that can be varied. The Euler-Lagrange equation applied to the lapse function implies that $\mathcal{H} = 0$.

What confuses me is that this reasoning could also be applied to any other Lagrangian, starting from its action and applying an arbitrary time transformation that doesn't change the end points: $$\tag{5} S = \int_{t_1}^{t_2} L \Big(q, \frac{dq}{dt} \Big) \, dt = \int_{t_1}^{t_2} L \Big(q, \frac{1}{N} \, \frac{dq}{d\tilde{t}} \Big) \, N \, d\tilde{t}, $$ so that $$\tag{6} \tilde{L} = N \, L \Big(q, \frac{1}{N} \, \frac{dq}{d\tilde{t}} \Big). $$ Applying the Euler-Lagrange equation to $N$ (which is still arbitrary) then gives an absurdity: $H = 0$ for any Lagrangian! Of course, this cannot be true!

So two questions:

  1. Where did I made a stupid mistake in this reasoning? It certainly should be obvious, but I don't see it!
  2. I often read that $H = 0$ comes from the parameterization invariance of the action. But then, like most classical Lagrangians, (1) and (2) doesn't seem to be independent of the time parameterization (even if I bring back the surface term that was discarded at the beginning). So how can we show that (1)-(2) are actually independent of the time parameterization and show the relation to the hamiltonian being zero?

This question is related (but not similar) to this old one of mine:

https://physics.stackexchange.com/questions/305678/how-to-derive-the-two-friedmann-lemaître-equations-from-a-lagrangian

Consider the Lagrangian of an isotropic-homogeneous spacetime (Robertson-Walker metric), containing a simple scalar field and a cosmological constant (this expression comes from the standard Hilbert-Einstein and scalar field action, in an isotropic-homogeneous spacetime. The space coordinates were integrated out and an hypersurface term was discarded) : \begin{equation}\tag{1} \mathcal{L} = -\: \frac{1}{8 \pi G} (3 \, a \, \dot{a}^2 - 3 k \, a + \Lambda \, a^3) + \frac{1}{2} \; \dot{\phi}^2 a^3 - \mathcal{V}(\phi) \, a^3. \end{equation} The function $\mathcal{V}(\phi)$ is the potential energy density of the scalar field. The action is simply $$\tag{2} S = \int_{t_1}^{t_2} \mathcal{L} \, dt. $$ Just for reference, the hypersurface term that was neglected is the following: $$\tag{1b} \mathcal{L}_{\text{surf}} =\frac{1}{8 \pi G} \, \frac{d}{dt} ( 3 \, a^2 \, \dot{a}). $$ It's easy to find the Hamiltonian: \begin{equation}\tag{3} \mathcal{H} \equiv \dot{a} \, \frac{\partial \mathcal{L}}{\partial \, \dot{a}} + \dot{\phi} \, \frac{\partial \mathcal{L}}{\partial \, \dot{\phi}} - \mathcal{L} = -\: \frac{3}{8 \pi G} \Big( \frac{\dot{a}^2}{a^2} + \frac{k}{a^2} - \frac{\Lambda}{3} \Big) \, a^3 + \Big( \frac{1}{2} \, \dot{\phi}^2 + \mathcal{V}(\phi) \Big) \, a^3. \end{equation} That Hamiltonian can be proved to be 0, by a transformation of the time variable $dt \Rightarrow N \, dt$, where $N$ is an arbitrary function of $t$ (the "lapse" function). This changes the lagrangian (1): \begin{equation}\tag{4} \tilde{\mathcal{L}} = -\: \frac{1}{8 \pi G} (3 \, a \, \dot{a}^2/N - 3 k \, a N + \Lambda \, a^3 N) + \frac{1}{2} \; \dot{\phi}^2 a^3 / N - \mathcal{V}(\phi) \, a^3 N. \end{equation} Since $N$ is arbitrary, we then could consider it as a new variable that can be varied. The Euler-Lagrange equation applied to the lapse function implies that $\mathcal{H} = 0$.

What confuses me is that this reasoning could also be applied to any other Lagrangian, starting from its action and applying an arbitrary time transformation that doesn't change the end points: $$\tag{5} S = \int_{t_1}^{t_2} L \Big(q, \frac{dq}{dt} \Big) \, dt = \int_{t_1}^{t_2} L \Big(q, \frac{1}{N} \, \frac{dq}{d\tilde{t}} \Big) \, N \, d\tilde{t}, $$ so that $$\tag{6} \tilde{L} = N \, L \Big(q, \frac{1}{N} \, \frac{dq}{d\tilde{t}} \Big). $$ Applying the Euler-Lagrange equation to $N$ (which is still arbitrary) then gives an absurdity: $H = 0$ for any Lagrangian! Of course, this cannot be true!

So two questions:

  1. Where did I made a stupid mistake in this reasoning? It certainly should be obvious, but I don't see it!
  2. I often read that $H = 0$ comes from the parameterization invariance of the action. But then, like most classical Lagrangians, (1) and (2) doesn't seem to be independent of the time parameterization (even if I bring back the surface term that was discarded at the beginning). So how can we show that (1)-(2) are actually independent of the time parameterization and show the relation to the hamiltonian being zero?
Source Link
Cham
  • 7.7k
  • 4
  • 28
  • 69
Loading