Hi. I've been wondering about the following and haven't made much progress on it. (Note that I've also posted this in the relativity section since the ultimate aim of this is to apply it to canonical relativity but since this is essentially a question about tensors I thought I'd put a copy here too. Sorry if this is a hassle.)(adsbygoogle = window.adsbygoogle || []).push({});

To set the scene, consider the following. Suppose that we have some sort of discrete theory in which the phase space variables are [tex]q^i[/tex] and [tex]p_i[/tex]. If we have some functions [tex]F(q,p)[/tex] and [tex]G(q,p)[/tex] we can define their Poisson bracket as

[tex]\{F,G\} = \sum_i\left( \frac{\partial F}{\partial q^i}\frac{\partial G}{\partial p_i} - \frac{\partial F}{\partial p_i}\frac{\partial G}{\partial q^i}\right)

[/tex]

Then, for example, we have the following fundamental Poisson brackets

[tex]

\{q^i,p_j\} = \delta^i_{\phantom{i}j},

\{q^i,q^j\} = \{p_i,p_j\} = 0.

[/tex]

Now suppose that we go to a field theory in which the fundamental `variables' are the position-dependent [tex]q^i(\vec{x})[/tex] and [tex]\pi_j(\vec{x})[/tex]. The Poisson brackets of two functionals [tex]F(q,\pi)[/tex] and [tex]G(q,\pi)[/tex] are then

[tex]\{F,G\} \equiv \sum_i \int_\mathcal{M} dv \left( \frac{\delta F}{\delta q^i}\frac{\delta G}{\delta \pi_i} - \frac{\delta F}{\delta \pi_i}\frac{\delta G}{\delta q^i}\right).[/tex]

With this definition we obtain

[tex]\{q^i(\vec{x}),\pi_j(\vec{x}')\} = \delta^i_{\phantom{i}j}\delta(\vec{x}-\vec{x}'),

\{q^i(\vec{x}),q^j(\vec{x}')\} = \{\pi_i(\vec{x}),\pi_j(\vec{x}')\} = 0.[/tex]

That's all fine and good. But, in the Hamiltonian version of general relativity the fundamental variables are actually the three-dimensional metric [tex]g_{ij}(\vec{x})[/tex] and [tex]\pi^{ij}(\vec{x})[/tex], both of which are symmetric tensors. I can define the Poisson brackets for these variables easily as

[tex]

\{F,G\} \equiv \int_\mathcal{M}\left( \frac{\delta F}{\delta g_{ij}}\frac{\delta G}{\delta \pi^{ij}} - \frac{\delta F}{\delta\pi^{ij}}\frac{\delta G}{\delta g_{ij}}\right).

[/tex]

My question is this: what exactly is

[tex]\frac{\delta g_{ij}}{\delta g_{kl}}?[/tex]

I assume that it's not something simple like [tex]\delta^i_k\delta^j_l[/tex] and that it has to reflect the symmetry of the metric tensor, but I can't seem to figure it out. Since I can't figure it out, neither can I work out explicitly what the fundamental Poisson brackets for GR should be.

Can anyone shed some light on this? An immediate extension that springs to mind is the general case of the above, i.e., if [tex]T^{a_1\ldots a_r}[/tex] is some arbitrary (r,0) tensor then what is

[tex]\frac{\delta T^{a_1\ldots a_r}}{\delta T^{b_1\ldots b_r}}[/tex]?

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Generalized Poisson brackets

**Physics Forums | Science Articles, Homework Help, Discussion**