# whether $t=0$ is missed in the proof?

When I try to compute $g^{ij}g^{pq}\nabla_{i,j}^2h_{pq}=\Delta tr_gh$, I need $g^{ij}=\delta^{ij},\nabla_i g_{kl}=0$,i.e, it's normal coordinate. But $g(t)$ will change with $t$, only for a $t_0$, I can use normal coordinate. So, whether $t=0$ is missed in the proof in picture below ?

The picture is from 59th page of this paper.

• Not completely sure I understand your question, but if I'm not mistaken, you should be able to fix a point $p$ arbitrarily, then use normal coordinates at $p$ to show the indicated PDE holds at $p$ and at $t = 0$, and finally conclude the PDE holds in the large for arbitrary time because the terms have coordinate-independent meaning. Commented Nov 20, 2015 at 11:29
• @AndrewD.Hwang Yes, your understand is right. I am fuzzy with coordinate-independent.I mean that I can't understand the terms have coordinate-independent.Is it because they are tensor ? But how to deal with time ? Could you give a detail answer ? Thanks. Commented Nov 20, 2015 at 11:36
• No time at the moment, but if I can put together a convincing argument in the next day or two I'll write it up. On the other hand, I'll be Perfectly Happy if someone posts a clear, concise explanation in the meantime. :) Commented Nov 20, 2015 at 11:47
• @AndrewD.Hwang Thanks :) Commented Nov 20, 2015 at 12:04

I think you are missing the essence of using normal coordinate, if you are able to derive $$g^{ij} g^{pq} \nabla^2_{ij} h_{pq} = \Delta \text{tr}_g h$$ using normal coordinate, then the above equation holds under ANY coordinate, as both sides of the equations are tensor fields. So to derive that equality, fix a $p$ and a $t$, then assume $g_t$ is the normal coordinate at $p$ and compute.
• In fact ,I don't know why tensor is independent to coordinate. But $g^{ij} g^{pq} \nabla^2_{ij} h_{pq} = \Delta \text{tr}_g h$ still be a question for me .Only under normal coordinate I can get it ... Commented Nov 20, 2015 at 13:22
• I might just give an example: If $A_{ij} = B_{ij}$ under some coordinates, then under any other coordinate, $$A_{\alpha\beta} = F^i_\alpha F^j_\beta A_{ij} = F^i_\alpha F^j_\beta B_{ij} = B_{\alpha\beta}$$ @lanse2pty