Bloch teoremi - Bloch's theorem

Bir silikon kafes içinde bir Bloch durumunun kare modülünün izosurface
Düz çizgi: Tipik bir Bloch durumunun bir boyuttaki gerçek bölümünün bir şeması. Noktalı çizgi e i k · r faktöründendir. Açık halkalar atomları temsil eder.

İçinde yoğun madde fiziği , Bloch'ın teoremi çözümler bu durumları Schrödinger denklemi periyodik potansiyel bir şeklinde düzlemi dalga bir modüle periyodik fonksiyonu . Matematiksel olarak şöyle yazılır:

Bloch işlevi

burada pozisyonu, bir dalga fonksiyonu , a, periyodik bir fonksiyon kristali olarak eşit periyodikliğe sahip, dalga vektörü olan kristal ivme vektörü , bir Euler sayısı ve bir sanal birim .

Bu formun fonksiyonları Bloch fonksiyonları veya Bloch durumları olarak bilinir ve kristal katılardaki elektronların dalga fonksiyonları veya durumları için uygun bir temel olarak hizmet eder .

Adını İsviçreli fizikçi Felix Bloch'tan alan elektronların, Bloch elektronları (veya daha az sıklıkla Bloch Dalgaları ) olarak adlandırılan Bloch fonksiyonları cinsinden tanımlanması, elektronik bant yapıları kavramının temelini oluşturur .

Bu özdurumlar , bant indeksi olarak adlandırılan ayrık bir indeks olduğu gibi alt simgelerle yazılır, çünkü aynı olan birçok farklı dalga fonksiyonu vardır (her birinin farklı bir periyodik bileşeni vardır ). Bir bant içinde (yani sabit için ), enerjisi gibi sürekli olarak değişir . Ayrıca, yalnızca sabit bir karşılıklı kafes vektörüne kadar benzersizdir , veya . Bu nedenle dalga vektörü , genellik kaybı olmaksızın karşılıklı kafesin ilk Brillouin bölgesi ile sınırlandırılabilir .

Uygulamalar ve sonuçları

uygulanabilirlik

Bloch teoreminin en yaygın örneği, özellikle kristalin elektronik bant yapısı gibi elektronik özelliklerini karakterize etmede, bir kristaldeki elektronları tanımlamaktır . Bununla birlikte, bir Bloch dalgası tanımı, daha genel olarak, periyodik bir ortamdaki herhangi bir dalga benzeri fenomen için geçerlidir. Örneğin, elektromanyetizmada periyodik bir dielektrik yapı fotonik kristallere yol açar ve periyodik akustik ortam fononik kristallere yol açar . Genellikle dinamik kırınım teorisinin çeşitli biçimlerinde ele alınır .

dalga vektörü

Bir Bloch dalga fonksiyonu (altta), periyodik bir fonksiyonun (üstte) ve bir düzlem dalganın (merkezde) ürününe bölünebilir. Sol taraf ve sağ taraf, dalga vektörü k 1 (sol) veya k 2 (sağ) dahil olmak üzere iki farklı şekilde bölünmüş aynı Bloch durumunu temsil eder . Fark ( k 1k 2 ) karşılıklı bir kafes vektörüdür. Tüm parsellerde mavi gerçek kısım ve kırmızı hayali kısımdır.

Bir elektronun Bloch durumunda olduğunu varsayalım.

burada u , kristal kafes ile aynı periyodikliğe sahip periyodiktir. Elektronun gerçek kuantum durumu, doğrudan k veya u ile değil , tamamen k tarafından belirlenir . Bu önemlidir çünkü k ve u vardır değil benzersiz. Özellikle, kullanarak yukarıdaki gibi yazılabilir k , o olabilir de (kullanılarak yazılabilir k + K ), K herhangi bir karşılıklı kafes vektör (sağda şekle bakınız). Bu nedenle, karşılıklı bir kafes vektörü ile farklılık gösteren dalga vektörleri, aynı Bloch durumları kümesini karakterize etmeleri anlamında eşdeğerdir.

İlk Brillouin bölgesi değerlerinin sınırlı bir dizi k bunların herhangi bir iki eşdeğer, ama her türlü bu özelliği ile k bir (ve yalnızca bir) ilk Brillouin bölgesinin vektörün eşdeğerdir. Bu nedenle, k'yi ilk Brillouin bölgesiyle kısıtlarsak , o zaman her Bloch durumunun benzersiz bir k'si vardır . Bu nedenle, ilk Brillouin bölgesi, örneğin bir bant yapısında , fazlalık olmadan tüm Bloch durumlarını göstermek için sıklıkla kullanılır ve birçok hesaplamada aynı nedenle kullanılır.

Ne zaman k ile çarpılır indirgenmiş Planck sabiti , bu elektronun eşit kristal ivme . Bununla ilgili olarak , bir elektronun grup hızı , bir Bloch durumunun enerjisinin k ile nasıl değiştiğine bağlı olarak hesaplanabilir ; daha fazla ayrıntı için kristal momentuma bakın .

Ayrıntılı örnek

Bloch teoreminin sonuçlarının belirli bir durumda işlendiği ayrıntılı bir örnek için şu makaleye bakın: Tek boyutlu kafesteki parçacık (periyodik potansiyel) .

Bloch teoremi

Bloch teoremi aşağıdaki gibidir:

Mükemmel bir kristaldeki elektronlar için, aşağıdaki özelliklere sahip bir dalga fonksiyonları temeli vardır :

  • Bu dalga fonksiyonlarının her biri bir enerji özdurumudur.
  • Bu dalga fonksiyonlarının her biri bir Bloch durumudur, yani bu dalga fonksiyonu şu şekilde yazılabilir:


burada u, kristalin atomik yapısı ile aynı periyodikliğe sahiptir.

Teoremin ispatı

Kafes periyodikliği ile ispat  —

Ön bilgiler: Kristal simetriler, kafes ve karşılıklı kafes

Bir kristalin tanımlayıcı özelliği, öteleme simetrisidir; bu, kristalin uygun bir miktarda kaydırılması durumunda, tüm atomlarıyla aynı yerlere sarılması anlamına gelir. (Sonlu boyutlu bir kristal mükemmel öteleme simetrisine sahip olamaz, ancak bu yararlı bir yaklaşımdır.)

Üç boyutlu bir kristalin üç ilkel kafes vektörü vardır a 1 , a 2 , a 3 . Kristal, bu üç vektörden herhangi biri veya bunların bir kombinasyonu tarafından kaydırılırsa

burada n, i bunlar başladı sonra atomuna yerle aynı set sonuna kadar üç tam sayılardır,.

İspattaki bir başka yardımcı bileşen, karşılıklı kafes vektörleridir . Bunlar, a i · b i = 2π, ancak ij olduğunda a i · b j = 0 özelliğine sahip üç b 1 , b 2 , b 3 vektörüdür (ters uzunluk birimleriyle) . (Formül için b i , bkz Ters örgü vektör ).

Çeviri operatörleri hakkında bilgi

Let anlamında olabildikleri, bir çeviri operatörü kaymalar, her dalga miktarı ile fonksiyon bu n- 1 , bir 1 + n, 2 , bir 2 + n, 3 , bir 3 (yukarıdaki gibi, n j tamsayılardır). Aşağıdaki gerçek, Bloch teoreminin ispatı için yararlıdır:

Lemma: bir dalga fonksiyonu ise bir bir özdurumu (aynı anda) için operatörlerinin olarak, daha sonra bir Bloch durumudur.

İspat: Tüm çeviri operatörlerinin öz durumu olan bir dalga fonksiyonumuz olduğunu varsayalım . Bunun özel bir durumu olarak,

için j = 1, 2, 3, Cı- j üç sayı (vardır özdeğerler bağımlı olmayan) r . C j sayılarını e 2 πiθ j = C j ile θ 1 , θ 2 , θ 3 olmak üzere üç sayı seçerek farklı bir biçimde yazmak yararlıdır :

Yine, θ j , r'ye bağlı olmayan üç sayıdır . Tanımlama k = θ 1 b 1 + θ 2 b 2 + θ 3 b , 3 , b j olan düz örgü vektörleri (yukarıya bakınız). Son olarak, tanımlayın

Sonra

.

Bu kanıtlıyor u kafeste periyodunu sahiptir. Çünkü bu , devletin bir Bloch devleti olduğunu kanıtlar.

Kanıt

Son olarak, Bloch teoreminin aşağıdaki gibi ana kanıtına hazırız.

Yukarıdaki gibi, her dalga fonksiyonunu n 1 a 1 + n 2 a 2 + n 3 a 3 miktarı kadar kaydıran bir öteleme operatörü gösterelim , burada n i tam sayılardır. Kristal öteleme simetrisine sahip olduğundan, bu operatör Hamilton operatörü ile yer değiştirir . Ayrıca, bu tür çeviri operatörlerinin her biri birbiriyle iş yapar. Bu nedenle, Hamilton operatörünün ve olası her operatörün eşzamanlı bir öztebanı vardır . Bu temel, aradığımız şeydir. Bu temeldeki dalga fonksiyonları, enerji özdurumlarıdır (çünkü bunlar Hamiltoniyenin özdurumlarıdır) ve aynı zamanda Bloch durumlarıdır (çünkü bunlar öteleme operatörlerinin özdurumlarıdır; bkz. yukarıdaki Lemma).

Başka bir kanıt

Operatörlerle kanıt  —

Çeviri operatörünü tanımlıyoruz

Ortalama bir periyodik potansiyel hipotezini kullanıyoruz

ve hamiltonian ile bağımsız elektron yaklaşımı

Hamiltonian, çeviriler için değişmez olduğu için, çeviri operatörü ile değişmelidir.

ve iki operatör ortak bir özfonksiyon kümesine sahip olacaktır. Bu nedenle, çeviri operatörünün öz fonksiyonlarına bakmaya başlıyoruz:

Verilen bir katkı operatörüdür

Burada özdeğer denklemini yerine koyarsak ve her iki tarafa da atlarsak ,

Bu, şunun için geçerlidir:

nerede

normalleştirme koşulunu tek bir ilkel hacim V hücresi üzerinde kullanırsak

ve bu nedenle

ve nerede

Nihayet

Bir bloch için ie dalga için hangisi doğrudur ile

Grup teorisi kanıtı

Karakter Teorisi ile Kanıt  —

Tüm Çeviriler olan üniter ve Abel . Çeviriler birim vektörler cinsinden yazılabilir

Bunları commuting operatörleri olarak düşünebiliriz.

nerede

Operatörlerin değişmeliliği , sonsuz, 1 boyutlu ve değişmeli olan (yalnızca bir eleman tarafından üretilebildikleri göz önüne alındığında) üç değişmeli döngüsel alt grup verir. Abelian gruplarının tüm indirgenemez temsilleri tek boyutludur.

Tek boyutlu oldukları için matris gösterimi ve karakter aynıdır. Karakter grubu ya da aynı zamanda karmaşık sayılar üzerinde gösterimidir iz ait temsili , bu durumda tek boyutlu bir matristir. Tüm bu alt gruplar, döngüsel olduklarından , birliğin uygun kökleri olan karakterlere sahiptirler . Aslında itaat edecek bir jeneratöre ve dolayısıyla karaktere sahipler . Bunun sonlu döngüsel grup durumunda basit olduğuna dikkat edin, ancak sonsuz döngüsel grubun sayılabilir sonsuz durumunda (yani buradaki öteleme grubu) , karakterin sonlu kaldığı yerde bir sınır vardır .

Karakterin bir birliğin kökü olduğu göz önüne alındığında, her alt grup için karakter şu şekilde yazılabilir:

Biz tanıtmak Eğer Born-von Karman sınır koşulu potansiyeli:

Burada L, aynı zamanda nerede katı olarak da görülebilen yönde makroskopik bir periyodikliktir.

Bu, zamandan bağımsız Schrödinger denkleminde basit bir etkin Hamiltoniyen ile yer değiştirme

dalga fonksiyonu ile bir periyodikliği indükler:

Ve her boyut için L periyoduna sahip bir çeviri operatörü

Buradan, karakterin de bir çeviri ile değişmez olacağını görebiliriz :

ve son denklemden her boyut için periyodik bir koşul elde ederiz:

tamsayı nerede ve

Dalga vektörü ile aynı şekilde azaltılamaz temsil tespit ve yönde kristalin makroskopik periyodik uzunluğudur . Bu bağlamda dalga vektörü, öteleme operatörü için bir kuantum sayısı işlevi görür.

Bunu 3 boyut için genelleyebiliriz

ve dalga fonksiyonu için genel formül şöyle olur:

yani bir çeviri için uzmanlaşmak

ve Bloch'un teoremini kanıtladık.

Grup teorisi tekniklerinden bir kısım bu kanıt ilginçtir çünkü Bloch teoreminin sadece çeviri olmayan gruplar için nasıl genelleştirileceğini netleştirir.

Bu, tipik olarak , bir öteleme ve bir nokta grubunun bir kombinasyonu olan Uzay grupları için yapılır ve FCC veya BCC gibi belirli bir kristal grup simetrisi ve nihayetinde ekstra bir temel verilen kristallerin bant yapısını, spektrumunu ve özgül ısılarını hesaplamak için kullanılır .

Bu ispatta, ekstra nokta grubunun etkin potansiyeldeki bir simetri tarafından yönlendirildiğinin, ancak Hamiltoniyen ile değişeceğinin nasıl anahtar olduğunu fark etmek de mümkündür.

Bloch teoremi genelleştirilmiş bir versiyonda, Fourier yani dalga fonksiyon genişleme, bir genelleştirilmiş alır dönüşümü, ayrık Fourier dönüşümü tek bir siklik grup ve bu nedenle çeviri için geçerli olan karakter genleşme dalga fonksiyonunun karakterler halinde verilir belirli sonlu nokta grubu .

Ayrıca burada karakterlerin (indirgenemez temsillerin değişmezleri olarak) indirgenemez temsillerin kendileri yerine temel yapı taşları olarak nasıl ele alınabileceğini görmek mümkündür .

Bloch elektronlarının hızı ve etkin kütlesi

Zamandan bağımsız Schrödinger denklemini Bloch dalga fonksiyonuna uygularsak şunu elde ederiz:

sınır koşulları ile

Bunun sonlu bir hacimde tanımlandığı göz önüne alındığında, sonsuz bir özdeğer ailesi bekliyoruz, işte Hamiltonian'ın bir parametresi ve bu nedenle sürekli parametreye ve dolayısıyla bir elektronik bandın temel kavramına bağlı olan "sürekli bir özdeğerler ailesine" varıyoruz. yapı

Kanıt  —

ile kalıyoruz

Bu, etkin momentumun iki bölümden oluşan bir şekilde nasıl görülebileceğini gösterir.

Standart bir momentum ve bir kristal momentum . Daha kesin olarak, kristal momentum bir momentum değildir, ancak minimum bağlantıdaki elektromanyetik momentum ile aynı şekilde ve momentumun kanonik dönüşümünün bir parçası olarak momentuma karşılık gelir.

Efektif hız için elde edebileceğimiz

bir blok elektronunun ortalama hızı

Kanıt  —

Bu türevler değerlendirmek ve bunlar, q, k'dan göre küçük sayılır q aşağıdaki genleşme katsayıları belirli bir

Verilen özdeğerler q'da aşağıdaki pertürbasyon problemini düşünebiliriz:

İkinci mertebeden pertürbasyon teorisi şunu söyler:

q'da doğrusal sırada hesaplamak için

Entegrasyonların ilkel bir hücre veya tüm kristal üzerinde olduğu durumlarda, integral aşağıdaki durumlarda verilir:

hücre veya kristal boyunca normalleştirilir.

q üzerinde sadeleştirebilir ve ile kalabiliriz

Ve tüm dalga fonksiyonlarını yeniden ekleyebiliriz.

Ve etkili kütle için

etkin kütle teoremi

Kanıt  —

İkinci derece terim

ile tekrar

Ve kurtulmak ve teoremimiz var

Bir faktörle çarpılan sağdaki niceliğe efektif kütle tensörü denir ve bunu bir banttaki yük taşıyıcısı için yarı-klasik bir denklem yazmak için kullanabiliriz.

Bir banttaki yük taşıyıcı için ikinci mertebeden yarı klasik hareket denklemi

Burada bir bir hızlanma . Bu denklem, De Broglie dalga tipi yaklaşıklık ile yakın benzerlik içindedir.

Bir banttaki elektron için birinci dereceden yarı klasik hareket denklemi

Sezgisel bir yorum olarak, son iki denklemin her ikisi de biçimsel olarak benzer ve harici bir Lorentz kuvvetindeki Newton denklemiyle yarı-klasik bir analoji içindedir .

Tarihçe ve ilgili denklemler

Bloch durumu kavramı, 1928'de Felix Bloch tarafından kristal katılardaki elektronların iletimini tanımlamak için geliştirildi . Bununla birlikte, aynı temel matematik, bağımsız olarak birkaç kez keşfedildi: George William Hill (1877), Gaston Floquet (1883) ve Alexander Lyapunov (1892). Sonuç olarak, çeşitli adlandırmalar yaygındır: adi diferansiyel denklemlere uygulandığında , buna Floquet teorisi (veya bazen Lyapunov-Floquet teoremi ) denir . Tek boyutlu bir periyodik potansiyel denkleminin genel formu, Hill denklemidir :

burada f(t) periyodik bir potansiyeldir. Belirli periyodik tek boyutlu denklemler, Kronig–Penney modelini ve Mathieu denklemini içerir .

Matematiksel olarak Bloch'un teoremi, bir kafes grubunun üniter karakterleri açısından yorumlanır ve spektral geometriye uygulanır .

Ayrıca bakınız

Referanslar

daha fazla okuma