Warum impliziert die Ableitung unendlicher Ordnung in der Lagrange-Dichte nicht lokal?

Es gibt eine Hausaufgabe in Feldtheorie. Es besagt, dass die negative Ordnung der Ableitung (wie z 1 2 ), Bruchordnung der Ableitung (wie z 2 / 3 ) und Ableitung unendlicher Ordnung im Allgemeinen können in einer lokalen Feldtheorie nicht vorkommen.

Es ist leicht zu beweisen:

1 2 ϕ ( X ) = D 3 k 1 k 2 ϕ ~ ( k ) e ich k X D 3 j 1 | X j | ϕ ( j )
Es ist also nichtlokal.

Auf die gleiche Weise,

2 / 3 ϕ ( X ) D 3 k k 2 / 3 ϕ ~ ( k ) D 3 j 1 | X j | 8 / 3 ϕ ( j )
Auch nichtlokal.

Aber ich kann nicht beweisen, warum die Ableitung unendlicher Ordnung nicht lokal impliziert? Zum Beispiel e 2 ϕ ( X ) sollte nur von Mengen auf Punkt abhängen X . Ich versuche auch zu argumentieren

N = 0 ( 2 ) N = 1 1 2
Aber ich denke, es ist nicht wahr, da
N = 0 ( 2 ) N ϕ ( X ) = D 3 k N = 0 k 2 N ϕ ~ ( k )
nur wenn k < 1 , obige Mengen können gleich sein D 3 k 1 1 k 2 ϕ ~ ( k ) .

Ist also jede Ableitungstheorie unendlicher Ordnung imlpys nichtlokal, oder gibt es eine Ableitungstheorie unendlicher Ordnung, die nichtlokal ist?

Geben Sie mir ein konkretes Beispiel für die Ableitungstheorie unendlicher Ordnung, die nicht lokal ist.

Wenn G ( X , T ) der Propagator ist, dann für jede Entfernung D > 0 es sollte eine geben T > 0 so dass G ( X , T ) = 0 Wenn | X | > D Und T < T .

Antworten (1)

exp ( A )   F ( X ) = F ( X + A ) gibt F übersetzt durch a , da es seine Taylorentwicklung in a um a=0 zusammenfasst . f hängt dann tatsächlich von seinem Wert an einem verschobenen Punkt ab.

+1 ! Sie haben den berühmten Schichtoperator von Lagrange geschrieben , die eigentliche Essenz der Nichtlokalität.
Schönes Beispiel! Aber eines kann ich noch nicht ganz nachvollziehen. Grundsätzlich sollte jede Orderableitung in einem Punkt auch eine lokale Information in diesem Punkt enthalten. Vielleicht nehmen wir an, dass die Funktion analytisch ist, sodass die Ableitung unendlicher Ordnung alle Informationen der Funktion im analytischen Bereich enthält.
@ fff123123 Eine Ableitung endlicher Ordnung enthält lokale Informationen über "unendlich nahe" Nachbarn, aber der Verschiebungsoperator enthält die gefährlichen nichtlokalen Informationen. Bei generischen Lagrange-Operatoren mit Ableitungen höherer Ordnung treten jedoch Probleme mit der Stabilität auf (siehe Satz von Ostragradski).