Fock - Krylovin lauseessa sanotaan , että kvasistationaarisen tilan vaimenemislaki määräytyy täysin alkutilan energiaspektrin mukaan [1] .
Fock-Krylov-lause määrittelee kvanttijärjestelmän alkutilan vaimenemistodennäköisyyden seuraavasti:
missä
on alkutilan energiaspektri.Kuvataan järjestelmä operaattorilla , joka ei ole riippuvainen ajasta. Sitten ominaisarvojen ja ominaisfunktioiden yhtälö voidaan kirjoittaa seuraavasti:
diskreetille spektrille:
jatkuvalle spektrille:
Olkoon järjestelmä hetkellä tilassa , ja hetkellä t se tulee olemaan tilassa . Järjestelmän kehitys tapahtuu Schrödingerin yhtälön mukaisesti :
Tämän yhtälön ratkaisu on:
Kertoimet ja määritetään alkuehtojen mukaan:
Todennäköisyys, että järjestelmä on alkutilassa, ilmaistaan seuraavasti:
missä on alkutilan spektri.