Wie finde ich die Funktionsableitung (δ/δϕ)(∂μϕ)(δ/δϕ)(∂μϕ)(\delta/\delta \phi) (\partial_\mu \phi)?

Die Frage ist einfach: Wie finde ich die Funktionsableitung von

( δ / δ ϕ ( X ) ) ( μ ϕ ( X ) )   ?
Soweit ich das beurteilen kann, kann ich keine der Standardrechenregeln für die funktionale Ableitung anwenden.

δ δ ϕ ( X ) pendelt mit j μ .
Die Antwort ist also die Heavyside Step-Funktion?
Nö.
μ ( δ ϕ ( X ) / δ ϕ ( X ) ) = μ δ ( 4 ) ( 0 ) = μ = ?
Hallo @Marius Jonsson: Ist das einer Referenz entnommen? Welche Seite?
Sie wollen ( δ / δ ϕ ( j ) ) ( X ϕ ( X ) ) = X δ ( X j ) . (Perverserweise lassen einige Leute alle Positionsargumente fallen und schreiben " δ ( ϕ ) / δ ϕ = “ oder so etwas komisches.)
Aber hier, x = y, so ist es μ δ ( 0 ) welches ist δ ( 0 ) μ = μ , nach Ihrer Argumentation?
@MariusJonsson Nein, es bedeutet, dass es mit geschrieben wird X = j ist falsch!

Antworten (2)

Der Ausdruck δ μ ϕ ( j ) δ ϕ ( j ) ist mathematisch bedeutungslos .

Per Definition ist eine Funktion gegeben F Zuordnen von Realzahlen (oder allgemeiner von komplexen Zahlen) F [ ϕ ] um Funktionen zu glätten ϕ , sagen wir, dass die Verteilung δ F δ ϕ ( X ) ist die funktionelle Ableitung von F , Wenn

D D a | a = 0 F [ ϕ + a F ] = δ F δ ϕ ( X ) F ( X ) D X
für jede kompakt unterstützte reibungslose Funktion F .

Im betrachteten Fall muss man die funktionale Ableitung der Funktion berechnen F assoziieren μ ϕ ( j ) Zu ϕ , dh,

μ ϕ ( j ) := μ ϕ ( X ) δ ( X j ) D X .
Wir haben
D D a | a = 0 F [ ϕ + a F ] = D D a | a = 0 μ ( ϕ ( X ) + a F ( X ) ) δ ( X j ) D X = μ F ( X ) δ ( X j ) D X
= F ( X ) μ δ ( X j ) D X .
Wir schließen daraus
δ μ ϕ ( j ) δ ϕ ( X ) = μ ( X ) δ ( X j ) = μ ( j ) δ ( X j ) .
So δ δ ϕ ( X ) Und μ ( j ) pendeln, wie von @AccidentalFourierTransform gesagt.

In Summe, δ μ ϕ ( j ) δ ϕ ( j ) ist nicht definiert, da der Wert an einem festen Punkt einer nicht regulären Verteilung keine Bedeutung hat.

+1 Ich möchte Folgendes erwähnen: Wenn wir darauf bestehen würden, dass dieser Ausdruck ausgewertet werden soll X = j ("in einem formalen Sinne" z. B. mit Blick auf ein Regularisierungsschema), dann kann man argumentieren, dass der Ausdruck verschwindet, da die Ableitung des Dirac-Deltas ungerade ist.
Richtig, in der Tat: ex falso quodlibet
  1. Wie in der Antwort von Valter Moretti zu Recht darauf hingewiesen wird, ist es mathematisch schlecht definiert, (die traditionelle Definition von) der funktionalen / variierenden Ableitung (FD) anzuwenden.

    (1) δ L ( X ) δ ϕ a ( X )
    zum selben Raumzeitpunkt.

  2. Es ist jedoch sehr üblich, ein FD mit „gleicher Raumzeit“ als einzuführen

    (2) δ L ( X ) δ ϕ a ( X )   :=   L ( X ) ϕ a ( X ) D μ ( L ( X ) μ ϕ a ( X ) ) + .
    was seinen Variationsursprung verschleiert / verrät, aber oft aus Gründen der Notation verwendet wird. (Die Ellipse in Gl. (2) bezeichnet mögliche Beiträge von Raumzeit-Derivaten höherer Ordnung.) Siehe zB this , this , & this Phys.SE posts.

    Wenn wir den Ausdruck von OP über Gl. (2), dann die Lagrange-Dichte von OP L = μ ϕ ist eine totale Raum-Zeit-Ableitung, so dass OPs 'gleiche Raumzeit' FD verschwindet, vgl. zB dieser Phys.SE Beitrag.