Kuantum mekaniksel sistem olarak N elektronlu (yerleri xi), K çekirdekli (yerleri Ri), çekirdek kütleleri (M1,...,MK) ve yükleri (Z1,...,ZK)=:Z_ olan bir molekülü inceleyelim (ya da K'yı içeren terimleri yazmazsak bir atomu):
Çekirdeklerin Hilbert uzayı için ⨂Kk=1L2(R3Rk) ve elektronlar için, spinleri nedeniyle ⨂N(L2(R3)) yerine ⨂NL2(R3;C2) 'yi ve de fermiyon olarak Pauli prensibine tabi oldukları için yine L2(R3;C2)) L2(R3;C2)) yerine N kere antisimetrik tensör çarpımı ⋀Ni=1L2(R3;C2)'yi alıyoruz. Sonuç olarak toplam Hilbert uzayı H:=⨂Kk=1L2(R3Rk)⊗⋀Ni=1L2(R3;C2)'dır. Hamiltonyen ise şöyle tanımlansın:
HN,Z_:C∞0(R3K)⊗C∞0(R3N;C2N)→H
ψ↦HN,Z_(ψ):=(K∑k=1Tk+N∑i=1ti+VC)ψ
Burada Tk:=−ℏ2Mk△RK k. çekirdeğin kinetik enerji işlemcisi,ti:=−ℏ22me△xi i. elektronun kinetik enerji işlemcisi ve
VC(ψ(x1,...,xN;R1,...,RN)):=
14πϵ0(−K∑k=1N∑i=1Zke|xi−Rk|+∑1≤i<j≤Ne2|xi−xj|+∑1≤k<l≤KZkZl|Rk−Rl|) Coulomb potensiyali işlemcisidir (ℏ Planck sabiti, e elektron yükü, me elektron kütlesi, ϵ0 elektriksel alan sabiti).
Soru 1: Bu Hamiltonyen işlemcisi sınırlı mı sınırsız mı? Bir gözlenebilir (bkz. ilgili yanıt) tanımlar mı ya da nasıl tanımlayabilir? Herhalükârda biz uygun bölgeyi B olarak adlandıralım:) Hesaplama yapmadan sadece fonksiyonel analiz bilgisi kullanarak sistem hakkında birşey söyleyebilirmiyiz?
Soru 2: ψ∈B için zamandan bağımsız Schrödinger denklemini HN,Z_ψ=Eψ çözün.
Not: Stone'nun tek parametreli üniter gruplar hakkındaki teoremini kullanarak HN,Z_ üzerinden zaman değişkeni t belirlenir.
Soru 3: ψ∈B için zamana bağımlı Schrödinger denklemini iℏ∂tψ=Hψ çözün.
Soru 4: İncelediğimiz Schrödinger teorisi bağlamında çekirdeklerle elektronlar hangi durumda ve neden bir araya gelmekte direnir?
Not: Soruları bu halleriyle tam çözemezseniz lütfen neden çözemediğinizi belirtin ve(ya) molekülün çekirdeklerini sabit kabul edip (H:=⋀Ni=1L2(R3;C2), HN,Z_(ψ):=N∑i=1ti+14πϵ0(−K∑k=1N∑i=1Zke|xi−Rk|+∑1≤i<j≤Ne2|xi−xj|)) bir de öyle deneyin. Yoksa sadece taban enerjisini EN,Z_t:=infσHN,Z_ (bir T işlemcisinin izgesi genelde σT olarak gösterilir) bulmaya çalışın. Eğer bu da olmazsa taban enerjisi için bir alt sınır tahmin edin veya daha özel bir durumu inceleyin (örn. hidrojen atomu, helyum atomu).