Wie ist der d'Alembertsche Operator in der Differentialgeometrie definiert?

Welche allgemeine Formel für den Boxoperator ist richtig, = G ich J ich J oder = 1 G ich ( G G ich J J ) ? Ich habe gesehen, dass beide Definitionen verwendet werden, wenn beide unterschiedliche Ergebnisse liefern, z. B. für zweidimensionale Polarkoordinaten, frühere Erträge = 2 R 2 + 1 R 2 2 θ 2 während letzteres nachgibt = 1 R R ( R R ) + 1 R 2 2 θ 2 .

Antworten (1)

Der zweite. Die Definition ist die doppelt kovariante Ableitung. Die erste kovariante Ableitung wirkt auf ein Skalarfeld und ist daher nur eine Ableitung. Die zweite ist eine kovariante Ableitung des Vektorfeldes ich ϕ , was dem zweiten von Ihnen angegebenen Ausdruck entspricht.

Danke Rd Basha, endlich den Unterschied verstanden. Der Box- oder D'Alembertsche Operator ist ein Sonderfall des allgemeinen Laplace-Beltrami-Operators für flache Raumzeit, dh Raumzeit mit G ich J konstant oder koordinatenunabhängig sein. Dies wandelt die letztere Definition in die frühere um. Rechts??