Elektronen-Neutrino-Streuung effektive Lagrange-Funktion

Das Elektron und das Neutrino können über ein zwischengeschaltetes Z-Boson über die Lagrange-Funktion interagieren:

L = 1 2 μ ϕ Z μ ϕ Z 1 2 M Z 2 ϕ Z 2 G v ϕ Z ψ v ¯ ψ v G e ϕ Z ψ e ¯ ψ e .

Anscheinend kann man mit dem Pfadintegral-Formalismus durch Integration über den bosonischen Freiheitsgrad einen Ausdruck für einen effektiven Lagrange-Operator finden und erhält den folgenden Ausdruck:

L e F F e C T ich v e = G v G e M Z 2 ψ v ¯ ψ v ψ e ¯ ψ e .

Ich weiß nicht, wie ich das beweisen soll. Ich bin ziemlich neu im Pfadintegralformalismus und habe nicht wirklich die Intuition dafür.

Welche Menge sollte ich mit der Betrachtung beginnen? Ich vermute, dass etwas mit der Erzeugungsfunktion zu tun hat, aber ich bin mir nicht sicher, wie ich anfangen soll.

EDIT: Ich nehme an, was ich frage, ist Folgendes: Für den Moment vergessen e , v , Z , wie würde man vorgehen, um einen effektiven Lagrange-Operator für ein Problem mit 3 beliebigen Teilchen abzuleiten, die über einen ähnlichen Lagrange-Operator auf der entsprechenden Energieskala interagieren?

Ihr Lagrange ist falsch. Das Z-Boson ist ein Vektorteilchen, kein Skalar.
Lässt es sich als solches annähern? Vielleicht ist das nur ein vereinfachtes Modell.
Meine Antwort enthält ein ziemlich ähnliches System. Ihr Lagrangeian ist nicht für schwache Interaktionen gedacht, sondern für Interaktionen vom Typ Yukawa, wie ich sie in Betracht ziehe. Es kann sich dem schwachen Lagrange nicht annähern, zeigt aber die Idee. Geht das für dich?

Antworten (1)

Probieren wir es aus. S U ( 2 ) Sektor des Standardmodells Lagrange ist ziemlich kompliziert, also werden wir uns etwas Einfacheres ansehen. Neutron-Proton-Wechselwirkung kommt mir in den Sinn. Bei niedriger Energiegrenze wird es durch ein massives Skalarteilchen – ein Pion – vermittelt. Wir werden diesbezüglich sehr qualitativ sein, in Wirklichkeit gibt es viele Details.

Lagrange sieht in etwa so aus:

L = 1 2 μ π μ π 1 2 M π 2 π 2 G ψ ¯ π ψ + L D ich R A C

Grundsätzlich versuchen Sie Folgendes zu tun:

Z e F F = Z π

dh einen Ausdruck für die Zustandssumme erzeugen, der in der unteren Energiegrenze genauso aussehen würde wie der fundamentale. Sie sollten sich daran erinnern, dass die Partitionsfunktion einen Exponenten der Aktion enthält, der im Grunde die Aufgabe erfüllt, alle Lagrange-Operatoren in kompliziertere zu kleben. Wenn Sie diesen Exponenten erweitern, erhalten Sie am Ende eine unendliche Reihe aller möglichen Wechselwirkungen der explizit geschriebenen Theorie. Wir werden das nicht tun, aber wir werden uns vorstellen.

Unter ihnen werden die Betreiber sein, nach denen wir suchen:

Ö ^ 1 = ψ ¯ ( X ) G π ( X ) ψ ( X )
Ö ^ 2 = ψ ¯ ( X ) G π ( X ) ψ ( X ) ψ ¯ ( X ' ) G π ( X ' ) ψ ( X ' )

Da wir über das Skalarteilchen mitteln werden, weisen wir seinem Feld eine Null-Vakuum-Erwartung zu, so dass es selbst keinen Beitrag leistet:

Ö ^ 1 π = ψ ¯ ( X ) G π ( X ) ψ ( X ) 0

was bedeutet, dass diese Partikel nicht produziert werden. Dann,

Ö ^ 2 π = G 2 ψ ¯ ( X ) ψ ( X ) π ( X ) π ( X ' ) ψ ¯ ( X ' ) ψ ( X ' )

Hier haben wir einen bekannten Durchschnitt – den Propagator. Der Einfachheit halber gehen wir von nun an in den Fourier-Raum. Hier ist seine Fourier-Transformation:

S ~ π ( P ) = 1 P 2 M π 2

Da die Energieskala zu klein ist, um ein echtes Teilchen zu erzeugen, nehmen wir den Beitrag niedrigster Ordnung von diesem Operator, der sein wird

S ~ π 1 M π 2

Und unser Betreiber wird

Ö ^ 2 π = G 2 M π 2 ψ ¯ ψ ψ ¯ ψ

Als nächstes werden alle Mittelwerte höherer Ordnung ausgewertet π und Neuordnung der Reihe können wir im Prinzip einen neuen Exponenten mit einer effektiven Aktion sammeln.