Klein-Gordon yhtälö

D
Disputator
Viestit: 238

Klein-Gordon yhtälö

Viesti Kirjoittaja Disputator »

Mun piti avata jo aikoja sitten Klein-Gordonin yhtälöä käsittelevä ketju, mutta se jäi kuitenkin tekemättä. Fysiikan kaavalotto-keskustelussa käsiteltiin KG-yhtälöä muunnelmineen, josta allaolevat lainaukset.
Varaktori kirjoitti:
QS kirjoitti:
Skalaarikentän Lagrangen tiheys se selvästi on. Kvantti-skalaarikenttiä tiedetään luonnossa vain yksi, Higgsin kenttä.
Yritin saada sinne ujutettua negatiivista massaa ja piti hörhöttää lisää tähän tapaan:
μμϕ+μ2ϕ=0
V(ϕ)=12μ2ϕ2
Takyoneista tuli puhetta toisaalla niin nuppi nyrjähti hörhötysmoodiin. No ehkä parempi pysyä näistä erossa ja keskittyä täällä enemmän selaisiin oikeasti olemassa oleviin asioihin. 🤣
QS kirjoitti:
Kokeilin myös tätä. Jos käyttää aiemmin kirjoittamaasi ja signatuuria (+,-,-,-)

L=12μϕμϕ+12m2ϕ2=12(0ϕ0ϕiϕiϕ)+12m2ϕ2

niin mielestäni Euler-Lagrange antaa liikeyhtälöksi

μμϕm2ϕ=0

mikä poikkeaa Klein-Gordon yhtälöstä siten, että massan m2 edessä miinus. Kun massaksi asettaa im, niin yhtälö muuttuu tosiaan Klein-Gordon yhtälöksi.

Ennen tuon imaginaarisen massa sijoittamista voidaan L:stä poimia kineettinen termi ja potentiaalitermi (L = K - V)

K(ϕ)0ϕ0ϕV(ϕ)iϕiϕm2ϕ2

Tässä muodossa V(ϕ) pääsee rajoittamatta negatiivisen energian puolelle, mikä tarkoittaa epästabiilia kentän energiaa, kun ϕ poikkeaa nollasta. No, tuskin ongelma, jos hyväksyy massan imaginaariseksi 😎, jolloin V(ϕ) on ihan kelvollinen.
Tuossa Varaktori:n kirjoituksessa on KG-yhtälö muodossa μμϕ+m2ϕ=0. Tuo on suhteellisuusteoreettinen notaatio, kun käytetään metriikkaa signatuurilla (1,-1,-1,-1) eli metriikka on ds2=dt2dx2dy2dz2.

Mielestäni havaitsin seuraavaa: Jos käytetäänkin signatuuria (-1,1,1,1) eli metriikalla ds2=dt2+dx2+dy2+dz2, niin silloin suhteellisuusteorian notaatioin pitäisi KG-yhtälö kirjoittaa muodossa (huomaa miinusmerkki):

μμϕ+m2ϕ=0

Siis D'Alembertin operattori =μμ vaihtaa merkkiä kun metriikan signatuuria vaihdetaan.

Wikipedian Klein-Gordon equation mukaan näin onkin. Enpä moista ole koskaan huomannutkaan aikaisemmin.

Yhtälöstä μμϕ+m2ϕ=0 saa kertomalla -1 yhtälön:

μμϕm2ϕ=0,

mikä näyttää ihan Varaktorin/QS:n negatiivisen massan yhtälöltä, jos ei huomaa tuota D'Alembertin operaattorin merkin vaihtumista.

edit: korjattu notaatioita
SI Resurrection!
V
Varaktori

Re: Klein-Gordon yhtälö

Viesti Kirjoittaja Varaktori »

Mulla oli tuolla Delirium ketjussakin ei-lineaarinen Klein-Gordon -yhtälö mutta näitä on myös lineaarinen Klein-Gordon -yhtälö. Otetaan vain ei-lineaariset termit pois:
2ϕt22ϕ+m2ϕ=0
Sehän saadaan lagrangian tiheydestä, joka kuvaa vapaan skalaarikentän dynamiikkaa:
L=12(μϕμϕm2ϕ2)
Jotta saadaan kenttäyhtälö käytetään Eulerin-Lagrangen yhtälöä:
Lϕμ(L(μϕ))=0
Minä näistä mitään ymmärrä, mutta tämä voisi olla QS:n valtakuntaa? Kyllähän tämä nyt on oleellinen osa kenttäteoriota yleisestikin, mutta myös kvanttikenttäteoriaa?
V
Varaktori

Re: Klein-Gordon yhtälö

Viesti Kirjoittaja Varaktori »

Yritin siis edellisessä hakea sitä, että lineaarisessa tapauksessa yhtälön ratkaisu on yleensä helppo. Esimerkkinä tasoaaltoratkaisu:
ϕ(x,t)=Aei(kxωt)
ϕ(x,t)=Aei(kxk2+m2t)
Ei-lineaariset on sitten haastavampia. Simulaatio on se päivän sana kai niissä kun tietotekniikka on kehittynyt niistä ajoista kun minä olin nuori. Siinä Ed Copelandin paperissakin josta minun viimeaikainen hörhötys lähti liikkeelle ja Klein-Gordon tupsahti jostain kuvaan mukaan kuvataan simulaatiota jonka tekivät.

EDIT:
Kulmataajuus ω on dispersion relaation mukaan ω=k2+m2

Niin ja saa korjata missä vaan meni metsään.
Q
QS
Viestit: 568

Re: Klein-Gordon yhtälö

Viesti Kirjoittaja QS »

Disputator kirjoitti: 23 Kesä 2024, 12:52
Mun piti avata jo aikoja sitten Klein-Gordonin yhtälöä käsittelevä ketju, mutta se jäi kuitenkin tekemättä. Fysiikan kaavalotto-keskustelussa käsiteltiin KG-yhtälöä muunnelmineen, josta allaolevat lainaukset.
Varaktori kirjoitti:
QS kirjoitti:
Skalaarikentän Lagrangen tiheys se selvästi on. Kvantti-skalaarikenttiä tiedetään luonnossa vain yksi, Higgsin kenttä.
Yritin saada sinne ujutettua negatiivista massaa ja piti hörhöttää lisää tähän tapaan:
μμϕ+μ2ϕ=0
V(ϕ)=12μ2ϕ2
Takyoneista tuli puhetta toisaalla niin nuppi nyrjähti hörhötysmoodiin. No ehkä parempi pysyä näistä erossa ja keskittyä täällä enemmän selaisiin oikeasti olemassa oleviin asioihin. 🤣
QS kirjoitti:
Kokeilin myös tätä. Jos käyttää aiemmin kirjoittamaasi ja signatuuria (+,-,-,-)

L=12μϕμϕ+12m2ϕ2=12(0ϕ0ϕiϕiϕ)+12m2ϕ2

niin mielestäni Euler-Lagrange antaa liikeyhtälöksi

μμϕm2ϕ=0

mikä poikkeaa Klein-Gordon yhtälöstä siten, että massan m2 edessä miinus. Kun massaksi asettaa im, niin yhtälö muuttuu tosiaan Klein-Gordon yhtälöksi.

Ennen tuon imaginaarisen massa sijoittamista voidaan L:stä poimia kineettinen termi ja potentiaalitermi (L = K - V)

K(ϕ)0ϕ0ϕV(ϕ)iϕiϕm2ϕ2

Tässä muodossa V(ϕ) pääsee rajoittamatta negatiivisen energian puolelle, mikä tarkoittaa epästabiilia kentän energiaa, kun ϕ poikkeaa nollasta. No, tuskin ongelma, jos hyväksyy massan imaginaariseksi 😎, jolloin V(ϕ) on ihan kelvollinen.
Tuossa Varaktori:n kirjoituksessa on KG-yhtälö muodossa μμϕ+m2ϕ=0. Tuo on suhteellisuusteoreettinen notaatio, kun käytetään metriikkaa signatuurilla (1,-1,-1,-1) eli metriikka on ds2=dt2dx2dy2dz2.

Mielestäni havaitsin seuraavaa: Jos käytetäänkin signatuuria (-1,1,1,1) eli metriikalla ds2=dt2+dx2+dy2+dz2, niin silloin suhteellisuusteorian notaatioin pitäisi KG-yhtälö kirjoittaa muodossa (huomaa miinusmerkki):

μμϕ+m2ϕ=0

Siis D'Alembertin operattori =μμ vaihtaa merkkiä kun metriikan signatuuria vaihdetaan.

Wikipedian Klein-Gordon equation mukaan näin onkin. Enpä moista ole koskaan huomannutkaan aikaisemmin.

Yhtälöstä μμϕ+m2ϕ=0 saa kertomalla -1 yhtälön:

μμϕm2ϕ=0,

mikä näyttää ihan Varaktorin/QS:n negatiivisen massan yhtälöltä, jos ei huomaa tuota D'Alembertin operaattorin merkin vaihtumista.

edit: korjattu notaatioita
Kappas. Minkäkään en ole tätä huomannut, kun kenttäteoriassa yleensä (+,-,-,-). Poikkeuksena Weinberg, mutta en ole sitä lukiessa asiaan kiinnittänyt huomiota, kun aivokapasiteetti muutenkin äärirajoilla Weinbergin kanssa.

Huomasin sellaisenkin, että KG-kentän L:ään voidaan valita skalaarikerroin λ

L=λ(μϕμϕm2ϕ2).

Kun signatuurissa (+,-,-,-) valitaan λ=12, niin

L=12μϕμϕ12m2ϕ2=12(0ϕ0ϕiϕiϕ)12m2ϕ2

Vastaavasti signatuurissa (-,+,+,+) valitaan λ=12, jolloin

L=12μϕμϕ+12m2ϕ2=12(0ϕ0ϕ+iϕiϕ)+12m2ϕ2=12(0ϕ0ϕiϕiϕ)+12m2ϕ2

minkä lopullinen muoto on sama kuin aiemmassa 'negatiivisen massan' tapauksessa, mutta signatuuri ei ole sama, joten kyseessä ei kuitenkaan ole tuo 'negatiivisen massan' L. Euler-Lagrange

Lϕμ(L(μϕ))=0

johtaa signatuurissa (+,-,-,-) yhtälöön m2ϕμμϕ=0, joka -1 kerrottuna on KG yhtälö tutuimmassa muodossaan

(μμ+m2)ϕ=0

Signatuurissa (-,+,+,+) saadaan m2ϕμμϕ=0, joka -1 kerrottuna on sama kuin kirjoittamasi

(μμm2)ϕ=0

Lagrangen tiheydessä molempien signatuurien kineettinen termi 120ϕ0ϕ on sama, mutta (+,-,-,-):ssa potentiaalitermi on

12iϕiϕ +12m2ϕ2

kun taas (-,+,+,+):ssa se on

12iϕiϕ 12m2ϕ2.

Nyt en ole ihan varma miten tämä jälkimmäinen potentiaalitermi pitäisi ajatella, mutta se tosiaan näyttää samalle kuin 'negatiivisen massan' tapauksessa. Tuo alussa mainittu skalaari λ voidaan käsittääkseni valita vapaasti myös signatuurista riippumatta, sillä periaatteessa riittävää on, että L toteuttaa tietyt symmetriaehdot.

Tähän liittyy nyt varmaankin se, että fysikassa halutaan Hamiltoniin postitiivinen kineettinen energiatermi. Tuon potentiaalitermin etumerkki onkin mielenkiintoisempi. Tai sitten tässä pitäisi laskea energia-liikemäärätensori ja huomata, että jokin energiatiheys halutaan positiiviseksi. No, täytyy pohtia.

p.s tässä on toki mahdollista, että sössin taas etumerkit, mutta ainakin koetin saada kohdalleen.
Q
QS
Viestit: 568

Re: Klein-Gordon yhtälö

Viesti Kirjoittaja QS »

Varaktori kirjoitti: 23 Kesä 2024, 16:00
Mulla oli tuolla Delirium ketjussakin ei-lineaarinen Klein-Gordon -yhtälö mutta näitä on myös lineaarinen Klein-Gordon -yhtälö. Otetaan vain ei-lineaariset termit pois:
2ϕt22ϕ+m2ϕ=0
Sehän saadaan lagrangian tiheydestä, joka kuvaa vapaan skalaarikentän dynamiikkaa:
L=12(μϕμϕm2ϕ2)
Jotta saadaan kenttäyhtälö käytetään Eulerin-Lagrangen yhtälöä:
Lϕμ(L(μϕ))=0
Minä näistä mitään ymmärrä, mutta tämä voisi olla QS:n valtakuntaa? Kyllähän tämä nyt on oleellinen osa kenttäteoriota yleisestikin, mutta myös kvanttikenttäteoriaa?
Epälineaarisesta KG yhtälöstä tulee ensimmäisenä mieleen

(μμ+m2)ϕ=V(ϕ)

missä V(ϕ)=V(ϕ)ϕ. Esimerkiksi V(ϕ)=14gϕ4, missä g on kytkinvakio. Vastaavan V':n voi sijoittaa edelliseen liikeyhtälöön, ja alkaa etsiä ratkaisua. Tämän ϕ4-teorian kautta saa kohtuu ymmärrettävästi otteen myös Feynmanin diagrammeista.
V
Varaktori

Re: Klein-Gordon yhtälö

Viesti Kirjoittaja Varaktori »

QS kirjoitti: 28 Kesä 2024, 20:18
Varaktori kirjoitti: 23 Kesä 2024, 16:00
Mulla oli tuolla Delirium ketjussakin ei-lineaarinen Klein-Gordon -yhtälö mutta näitä on myös lineaarinen Klein-Gordon -yhtälö. Otetaan vain ei-lineaariset termit pois:
2ϕt22ϕ+m2ϕ=0
Sehän saadaan lagrangian tiheydestä, joka kuvaa vapaan skalaarikentän dynamiikkaa:
L=12(μϕμϕm2ϕ2)
Jotta saadaan kenttäyhtälö käytetään Eulerin-Lagrangen yhtälöä:
Lϕμ(L(μϕ))=0
Minä näistä mitään ymmärrä, mutta tämä voisi olla QS:n valtakuntaa? Kyllähän tämä nyt on oleellinen osa kenttäteoriota yleisestikin, mutta myös kvanttikenttäteoriaa?
Epälineaarisesta KG yhtälöstä tulee ensimmäisenä mieleen

(μμ+m2)ϕ=V(ϕ)

missä V(ϕ)=V(ϕ)ϕ. Esimerkiksi V(ϕ)=14gϕ4, missä g on kytkinvakio. Vastaavan V':n voi sijoittaa edelliseen liikeyhtälöön, ja alkaa etsiä ratkaisua. Tämän ϕ4-teorian kautta saa kohtuu ymmärrettävästi otteen myös Feynmanin diagrammeista.

Koodi: Valitse kaikki

Piirretään Feynmanin diagrammi 2 -> 2 hiukkastörmäykselle \phi^4-teoriassa
\begin{tikzpicture}

\draw[fermion] (-3,1) -- (-1,0);
\draw[fermion] (-3,-1) -- (-1,0);
\draw[scalar] (-1,0) -- (1,0);

% Lähtevät hiukkaset
\draw[fermion] (1,0) -- (3,1); % Keskeltä kohti yläoikea
\draw[fermion] (1,0) -- (3,-1); % Keskeltä kohti alaoikea

% Merkitään hiukkaset
\node at (-3.3,1) {\( \phi(p_1) \)}; % Saapuva hiukkanen 1
\node at (-3.3,-1) {\( \phi(p_2) \)}; % Saapuva hiukkanen 2
\node at (3.3,1) {\( \phi(p_3) \)}; % Lähtevä hiukkanen 1
\node at (3.3,-1) {\( \phi(p_4) \)}; % Lähtevä hiukkanen 2
\node at (0,-0.4) {\( \phi(k) \)}; % Sisäinen hiukkanen

% Vertexit (kärkikohdat)
\filldraw[black] (-1,0) circle (2pt); % Vasemmanpuoleinen vertex
\filldraw[black] (1,0) circle (2pt); % Oikeanpuoleinen vertex
\end{tikzpicture}


% Saapuvat hiukkaset
\draw[fermion] (-3,1) -- (-1,0); % Ylävasemmalta kohti keskustaa
\draw[fermion] (-3,-1) -- (-1,0); % Alavasemmalta kohti keskustaa

% Vertex ja propagaattori
\draw[scalar] (-1,0) -- (1,0); % Keskellä oleva propagaattori

% Lähtevät hiukkaset
\draw[fermion] (1,0) -- (3,1); % Keskeltä kohti yläoikea
\draw[fermion] (1,0) -- (3,-1); % Keskeltä kohti alaoikea

% Merkitään hiukkaset
\node at (-3.3,1) {\( \phi(p_1) \)}; % Saapuva hiukkanen 1
\node at (-3.3,-1) {\( \phi(p_2) \)}; % Saapuva hiukkanen 2
\node at (3.3,1) {\( \phi(p_3) \)}; % Lähtevä hiukkanen 1
\node at (3.3,-1) {\( \phi(p_4) \)}; % Lähtevä hiukkanen 2
\node at (0,-0.4) {\( \phi(k) \)}; % Sisäinen hiukkanen

% Vertexit (kärkikohdat)
\filldraw[black] (-1,0) circle (2pt); % Vasemmanpuoleinen vertex
\filldraw[black] (1,0) circle (2pt); % Oikeanpuoleinen vertex
M=(iλ)(ik2m2+iϵ)(iλ)

Nyyh, mä niin haluaisin tuon toimivan täällä. Olisi kiva hörhöttää vähän kaikenlaisella graafisella. No ei minusta keskustelijana sinulle muutenkaan paljon iloa olisi, mutta palailen tähän. Alkoi kesäloma ja saapa nähdä kestääkö maksa tai että miten ehtii näitä miettiin. 🤪
D
Disputator
Viestit: 238

Re: Klein-Gordon yhtälö

Viesti Kirjoittaja Disputator »

Aamupäivää!

Otin ihan lainaamani viestisi lopusta kohdan, jolla on relevanssia..
QS kirjoitti:
p.s tässä on toki mahdollista, että sössin taas etumerkit, mutta ainakin koetin saada kohdalleen.
Laskin noita samoja tässä aamulloa ja täytyy sanoa, että hyvin helposti menee miinukset ja plussat sekaisin. Siinä on kertoimen λ merkki, metriikan signatuuri ja derivaattojen etumerkit. Mun laskuvihkooni tuli käytettyä pyyhekumia runsaasti! Jaan nyt viestin useaan osaan.
QS kirjoitti: 26 Kesä 2024, 20:21
...
Huomasin sellaisenkin, että KG-kentän L:ään voidaan valita skalaarikerroin λ

L=λ(μϕμϕm2ϕ2).

Kun signatuurissa (+,-,-,-) valitaan λ=12, niin

L=12μϕμϕ12m2ϕ2=12(0ϕ0ϕiϕiϕ)12m2ϕ2

Vastaavasti signatuurissa (-,+,+,+) valitaan λ=12, jolloin

L=12μϕμϕ+12m2ϕ2=12(0ϕ0ϕ+iϕiϕ)+12m2ϕ2=12(0ϕ0ϕiϕiϕ)+12m2ϕ2

minkä lopullinen muoto on sama kuin aiemmassa 'negatiivisen massan' tapauksessa, mutta signatuuri ei ole sama, joten kyseessä ei kuitenkaan ole tuo 'negatiivisen massan' L.
...
Tuossa yllä saattaa olla ylimääräinen miinusmerkkejä johtuen μ ja μ eroista. Mä muokkaan noita siten että pudotan kaikki indeksit alas:
QS muokattuna kirjoitti:
Kun signatuurissa (+,-,-,-) valitaan λ=12, niin

L=12μϕμϕ12m2ϕ2=12(0ϕ0ϕiiϕiϕ)12m2ϕ2

Vastaavasti signatuurissa (-,+,+,+) valitaan λ=12, jolloin

L=12μϕμϕ+12m2ϕ2=12(0ϕ0ϕ+iiϕiϕ)+12m2ϕ2=12(0ϕ0ϕiiϕiϕ)+12m2ϕ2


 
Sama lopputulos kuin sullakin alla, käytännössä, mulla on summamerkki, kun sulla on ylä-ja alaindekseihin perustuva Einsteinin summaussääntö käytössä, joka tuossa tilanteessa tuo mukanaan ylimääräisen miinusmerkin, koska μ=μ
QS kirjoitti:

Lagrangen tiheydessä molempien signatuurien kineettinen termi 120ϕ0ϕ on sama, mutta (+,-,-,-):ssa potentiaalitermi on

12iϕiϕ +12m2ϕ2

kun taas (-,+,+,+):ssa se on

12iϕiϕ 12m2ϕ2.


Kääk, painoin Lähetä-nappia liian aikaisin. Muutaman editoimisen jälkeen jätän tälläisenä, jäi kyllä vähän sekavaksi.
SI Resurrection!
D
Disputator
Viestit: 238

Re: Klein-Gordon yhtälö

Viesti Kirjoittaja Disputator »

Tarkistin aamulla ihan eksplisiittisesti, että miten signatuurin valinta vaikuttaa KG-yhtälöön ja Lagrangeen L, jolla lauseke:

L=12μϕμϕ12m2ϕ2

Tuo lausekkeen aukilaskettu muoto riippuu kuitenkin signatuurista.

Tuossa jo QS/Varaktori laski aikaisemmin näitä, mutta laitan nyt nämä munkin laskelmat näkyviin:


Signatuuri (+,-,-,-):

L=12(ϕt)2i12(ϕxi)212m2ϕ2

Euler Lagrangen liikeyhtälö antaa tulokseksi KG-yhtälön näköisen yhtälön:

μμϕ+m2ϕ=0

ja se onkin KG-yhtälö, jonka näkee aukikirjoittamalla:

μμϕ+m2ϕ=2ϕt22ϕ+m2ϕ=0


Signatuuri (-,+,+,+):

L=12(ϕt)2+i12(ϕxi)212m2ϕ2

Euler Lagrangen liikeyhtälö antaa tulokseksi myös tässä tapauksessa:

μμϕ+m2ϕ=0

Tämä ei ole kuitenkaan KG-yhtälö ja sen näkee kirjoittamalla auki:

YHtälöstä μμϕ+m2ϕ=0 saa kirjoittamalla auki ja ryhmittelemällä uudelleen: 2ϕt22ϕm2ϕ=0
Eli tämä on se imaginaarisen massan tapaus, jota virheellisesti kutsuin negatiivisen massan tapaukseksi

Voisi ajatella, että signatuurille (+,-,-,-) käytetään esimerkiksi Lagrangea:

L=12μϕμϕ12m2ϕ2

ja signatuurille (-,+,+,+) Lagrangea (huomaa miinusmerkki):

L=12μϕμϕ12m2ϕ2

niin silloin kumpikin antaa oikean KG-yhtälön. Miinusmerkin käyttöä jälkimmäisessä voisi olla syynä QS:n viittaama energian positiivisuusvaatimus.
SI Resurrection!
Q
QS
Viestit: 568

Re: Klein-Gordon yhtälö

Viesti Kirjoittaja QS »

Disputator kirjoitti: 29 Kesä 2024, 11:03
Tarkistin aamulla ihan eksplisiittisesti, että miten signatuurin valinta vaikuttaa KG-yhtälöön ja Lagrangeen L, jolla lauseke:

L=12μϕμϕ12m2ϕ2

Tuo lausekkeen aukilaskettu muoto riippuu kuitenkin signatuurista.

Tuossa jo QS/Varaktori laski aikaisemmin näitä, mutta laitan nyt nämä munkin laskelmat näkyviin:


Signatuuri (+,-,-,-):

L=12(ϕt)2i12(ϕxi)212m2ϕ2

Euler Lagrangen liikeyhtälö antaa tulokseksi KG-yhtälön näköisen yhtälön:

μμϕ+m2ϕ=0

ja se onkin KG-yhtälö, jonka näkee aukikirjoittamalla:

μμϕ+m2ϕ=2ϕt22ϕ+m2ϕ=0


Signatuuri (-,+,+,+):

L=12(ϕt)2+i12(ϕxi)212m2ϕ2

Euler Lagrangen liikeyhtälö antaa tulokseksi myös tässä tapauksessa:

μμϕ+m2ϕ=0

Tämä ei ole kuitenkaan KG-yhtälö ja sen näkee kirjoittamalla auki:

YHtälöstä μμϕ+m2ϕ=0 saa kirjoittamalla auki ja ryhmittelemällä uudelleen: 2ϕt22ϕm2ϕ=0
Eli tämä on se imaginaarisen massan tapaus, jota virheellisesti kutsuin negatiivisen massan tapaukseksi

Voisi ajatella, että signatuurille (+,-,-,-) käytetään esimerkiksi Lagrangea:

L=12μϕμϕ12m2ϕ2

ja signatuurille (-,+,+,+) Lagrangea (huomaa miinusmerkki):

L=12μϕμϕ12m2ϕ2

niin silloin kumpikin antaa oikean KG-yhtälön. Miinusmerkin käyttöä jälkimmäisessä voisi olla syynä QS:n viittaama energian positiivisuusvaatimus.
Joo. Tästä tajusin, että mulla oli virhe λ -kerroin ajatuksessa. Kertoimen voi kyllä periaatteessa valita vapaasti, mutta kun valinnan tekee, niin valinta pitää säilyttää signatuurista riippumatta. Jos valitsen eri kertoimet eri signatuureille, niin kyseessähän on kaksi eri Lagrangen tiheyttä, mikä tarkoittaa karkeasti ajateltuna kahta eri 'teoriaa'.

Lagrange pitäisi kirjoittaa

L=λ(ημνμϕνϕm2ϕ2)

missä metriikka ημν. Sitten valitaan esimerkiksi λ=12, ja kirjoitetaan

L=12ημνμϕνϕ12m2ϕ2

Signatuurilla (+,-,-,-) tämä on auki kirjoitettuna

L+=12(0ϕ0ϕiϕiϕ)12m2ϕ2

ja signatuurilla (-,+,+,+)

L=12(0ϕ0ϕ+iϕiϕ)12m2ϕ2=12(0ϕ0ϕiϕiϕ)12m2ϕ2=12μϕμϕ12m2ϕ2

missä muokkauksen jälkeen ensimmäisen termin edessä miinusmerkki. Kun näin ajattelee, niin miinusmerkki on seuraus signatuurista, eikä sitä erikseen tarvitsee valita. Jos oikein ymmärsin?

Jälkimmäisen termin 12m2ϕ2 etumerkki on signatuurista riippumaton. Tuon L+:n liikeyhtälössä on +m2 ja L:n liikeyhtälössä m2.

Aloin jo kirjoittaa näiden Hamiltonin tiheyttä, mutta enpä vielä kirjoitakaan, mun en ole varma vaikuttaako signatuuri Hamiltonin tiheyden määrittelyyn. hmm.
V
Varaktori

Re: Klein-Gordon yhtälö

Viesti Kirjoittaja Varaktori »

QS kirjoitti: 30 Kesä 2024, 14:49
Disputator kirjoitti: 29 Kesä 2024, 11:03
Tarkistin aamulla ihan eksplisiittisesti, että miten signatuurin valinta vaikuttaa KG-yhtälöön ja Lagrangeen L, jolla lauseke:

L=12μϕμϕ12m2ϕ2

Tuo lausekkeen aukilaskettu muoto riippuu kuitenkin signatuurista.

Tuossa jo QS/Varaktori laski aikaisemmin näitä, mutta laitan nyt nämä munkin laskelmat näkyviin:


Signatuuri (+,-,-,-):

L=12(ϕt)2i12(ϕxi)212m2ϕ2

Euler Lagrangen liikeyhtälö antaa tulokseksi KG-yhtälön näköisen yhtälön:

μμϕ+m2ϕ=0

ja se onkin KG-yhtälö, jonka näkee aukikirjoittamalla:

μμϕ+m2ϕ=2ϕt22ϕ+m2ϕ=0


Signatuuri (-,+,+,+):

L=12(ϕt)2+i12(ϕxi)212m2ϕ2

Euler Lagrangen liikeyhtälö antaa tulokseksi myös tässä tapauksessa:

μμϕ+m2ϕ=0

Tämä ei ole kuitenkaan KG-yhtälö ja sen näkee kirjoittamalla auki:

YHtälöstä μμϕ+m2ϕ=0 saa kirjoittamalla auki ja ryhmittelemällä uudelleen: 2ϕt22ϕm2ϕ=0
Eli tämä on se imaginaarisen massan tapaus, jota virheellisesti kutsuin negatiivisen massan tapaukseksi

Voisi ajatella, että signatuurille (+,-,-,-) käytetään esimerkiksi Lagrangea:

L=12μϕμϕ12m2ϕ2

ja signatuurille (-,+,+,+) Lagrangea (huomaa miinusmerkki):

L=12μϕμϕ12m2ϕ2

niin silloin kumpikin antaa oikean KG-yhtälön. Miinusmerkin käyttöä jälkimmäisessä voisi olla syynä QS:n viittaama energian positiivisuusvaatimus.
Joo. Tästä tajusin, että mulla oli virhe λ -kerroin ajatuksessa. Kertoimen voi kyllä periaatteessa valita vapaasti, mutta kun valinnan tekee, niin valinta pitää säilyttää signatuurista riippumatta. Jos valitsen eri kertoimet eri signatuureille, niin kyseessähän on kaksi eri Lagrangen tiheyttä, mikä tarkoittaa karkeasti ajateltuna kahta eri 'teoriaa'.

Lagrange pitäisi kirjoittaa

L=λ(ημνμϕνϕm2ϕ2)

missä metriikka ημν. Sitten valitaan esimerkiksi λ=12, ja kirjoitetaan

L=12ημνμϕνϕ12m2ϕ2

Signatuurilla (+,-,-,-) tämä on auki kirjoitettuna

L+=12(0ϕ0ϕiϕiϕ)12m2ϕ2

ja signatuurilla (-,+,+,+)

L=12(0ϕ0ϕ+iϕiϕ)12m2ϕ2=12(0ϕ0ϕiϕiϕ)12m2ϕ2=12μϕμϕ12m2ϕ2

missä muokkauksen jälkeen ensimmäisen termin edessä miinusmerkki. Kun näin ajattelee, niin miinusmerkki on seuraus signatuurista, eikä sitä erikseen tarvitsee valita. Jos oikein ymmärsin?

Jälkimmäisen termin 12m2ϕ2 etumerkki on signatuurista riippumaton. Tuon L+:n liikeyhtälössä on +m2 ja L:n liikeyhtälössä m2.

Aloin jo kirjoittaa näiden Hamiltonin tiheyttä, mutta enpä vielä kirjoitakaan, mun en ole varma vaikuttaako signatuuri Hamiltonin tiheyden määrittelyyn. hmm.
Eikö se Legendre-muunnokseen vaikuta (liike-energiat, potentiaalit)?
Vastaa Viestiin