Käänteishila
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9e/Rcprwrld2.png/300px-Rcprwrld2.png)
Käänteishila on kiinteän olomuodon fysiikassa ja kristallografiassa käytetty matemaattinen konstruktio, joka saadaan toisen hilan, useimmiten Bravais'n hilan Fourier’n-muunnoksena. Tavallisimmin alkuperäisen hilan eli suoran hilan hilapisteet tarkoittavat atomien sijaintia jonkin kiinteän aineen kidehilassa.
Sen sijaan että suora hila on todellisessa avaruudessa ja vastaa sitä, mikä yleensä ymmärretään fysikaaliseksi hilaksi, käänteishila on abstraktimpi konstruktio, jonka voidaan ajatella sijaitsevan käänteisavaruudessa, toisin sanoen avaruudessa, jossa pituusyksiköt ovat tavanomaisten pituusyksiköiden käänteisarvoja kuten m-1 tai cm-1.[1] Käänteisavaruutta sanotaan myös k-avaruudeksi, koska tavallisimmissa sovelluksissa sen pisteet tarkoittavat kidehilassa esiintyvien aaltoliikkeiden aaltovektorin arvoja, ja aaltovektorille käytetään fysiikan yhtälöissä tunnusta k.[1] Paikan ja liikemäärän välillä vallitsevan Pontrjaginin dualiteetin vuoksi käänteishilaa sanotaan myös liikemääräavaruudeksi. Jos jonkin hilan käänteishilalle muodostetaan vastaavalla tavalla edelleen käänteishila, saadaan jälleen alkuperäinen suora hila, sillä suora ja käänteishila ovat toistensa Fourier’n muunnoksia.
Käänteishilalla on perustava merkitys jaksollisten rakenteiden analyyttisessä tutkimuksessa, varsinkin diffraktioteoriassa. Lauen ehtojen vuoksi neutroni- ja röntgendiffaktiossa kiteeseen saapuvan ja diffraktioituneen neutronin tai röntgensäteen aaltovektorien erotus vastaa jotakin käänteishilan hilapistettä.[2] Kiteen diffraktiokuvan avulla voidaan myös määrittää käänteishilan vektorit. Tästä voidaan edelleen päätellä, miten kiteen atomit sijaitsevat toisiinsa nähden.
Käänteishilan Wigner–Seitzin koppia sanotaan Brillouinin vyöhykkeeksi.[3][4]
Matemaattinen kuvaus
Tarkastellaan kaksiulotteista Bravais'n hilaa
- , missä .
Mikä tahansa suure, esimerkiksi elektronien tiheys atomihilassa voidaan esittää jaksollisena funktiona, jolle pätee
Jaksollisuutensa vuoksi voidaan esittää Fourier’n sarjana
Koska millä tahansa kokonaisluvuilla , jälkimmäinen yhtälö pätee erikoistapauksessa
on oltava , mikä merkitsee, että
- , missä .
Matemaattisesti käänteishila voidaan esittää niiden vektorien joukkona, jotka toteuttavat tämän yhtälön kaikilla hilapisteitä vastaavilla paikkavektorin R arvoilla.
Tämä käänteishila itsekin on Bravais'n hila, ja käänteishilan käänteishila on alkuperäinen suora hila, mikä osoittaa vastaavien vektoriavaruuksien välillä vallitsevan Pontrjaginin dualiteetin.
Äärettömälle kaksiulotteiselle hilalle, jonka määrittelevät sen alkeiskopin särmiä vastaavat vektorit , voidaan käänteishila määritellä muodostamalla sen kaksi kantavektoria seuraavien yhtälöiden avulla:
missä
Tässä tarkoittaa 90 asteen rotaatiomatriisia.
Vastaavasti äärettömälle kolmiulotteiselle hilalle, jonka määrittelevät sen alkeiskopin särmiä vastaavat alkeisvektorit , voidaan käänteishila määritellä muodostamalla sen kolme kantavektoria seuraavien yhtälöiden avulla:
missä
- [5]
Huomataan, että tässä nimittäjänä on näiden vektorien skalaarikolmitulo. Käyttämällä käänteisavaruuden alkeisvektoreille sarakevektoriesitystä voidaan nämä yhtälöt kirjoittaa myös muodostamalla käänteismatriisi, jolloin saadaan:
Tämä menetelmä perustuu käänteishilan määritelmään ja voidaan yleistää kuinka moneen ulottuvuuteen tahansa. Tätä kaavaa, jossa esiintyy vektorien ristitulo, käytetään yleisesti kristallografiassa.
Edellä olevaa käänteisavaruuden määritelmää sanotaan "fyysikon määritelmäksi"[6] ja siinä esiintyvä kerroin seuraa luonnollisesti jaksollisten funktioiden ominaisuuksista. Vaihtoehtoinen "kristallografin määritelmä", saadaan määrittelemällä käänteishilaksi
jolloin käänteishilavektoreiksi saadaan
ja samoin vastaavasti molemmille muille vektoreille.[6] Kristallografin määritelmällä on se etu, että on suoraan :n käänteisarvo :n suunnassa, eikä tekijää ole mukana. Tämä yksinkertaistaa eräitä laskutoimituksia, ja sen avulla käänteishila saadaan avaruudellisen taajuuden yksiköissä. Voidaan pitää makuasiana, kumpaa käänteishilan määritelmää käytetään, kunhan vain niitä ei sekoiteta keskenään.
Jokainen käänteishilan piste vastaa jotakin suoran hilan hilatasojen joukkoa. Käänteishilan vektorin suunta on sama kuin tämän hilatason normaalin suunta. Käänteishilan vektorin suuruus taas on yhtä suuri kuin näiden suoran hilan hilatasojen välisen etäisyyden käänteisarvo.
Jos suora hila määritellään avaruuden pistejoukoksi, jonka muodostavat hilapisteet, voidaan todeta, että kristallografin määritelmää käytettäessä käänteishilan muodostavat ne käänteisavaruuden pisteet, joiden paikkavektorin pistetulo minkä tahansa suoran hilan pisteen paikkavektorin kanssa on kokonaisluku.
Eräiden kidehilojen käänteiskilat
Yksinkertainen kuutiollinen hila
Yksinkertaisen kuutiollisen Bravais'n hilan, jonka kuutiollisen alkeiskopin särmän pituus on , käänteishila on yksinkertainen kuutiollinen hila, jonka kuutiollisen alkeiskopin särmän pituus on (tai kristallografin määritelmän mukaan ). Kuutiollista hilaa sanotaan itseduaaliseksi, koska sen käänteishilalla on samat symmetriaominaisuudet kuin suoralla hilalla.
Pintakeskeinen kuutiollinen hila
Pintakeskeisen kuutiollisen hilan eli FCC-hilan käänteishila on tilakeskeinen kuutiollinen eli BCC-hila.[7]
Tarkastellaan FCC-hilan yksikkökoppia. Valitaan hilasta alkeiskoppi, toisin sanoen yksikkökoppi, jossa on yksi hilapiste. Valitaan edelleen yksi tämän alkeiskopin kärjistä origoksi. Suoran hilan kantavektorit ovat edellä sanotun mukaiset. Esitetyn kaavan avulla voidaan laskea käänteishilan kantavektorit. Nämä FCC-hilan käänteishilan vektorit vastaavat BCC-hilan kantavektoreita. Huomattava on, että suoran BCC-hilan ja FCC-hilan käänteishilan kantavektorit ovat samansuuntaisia mutta eivät samanpituisia.
Tilakeskeinen kuutiollinen hila
Tilakeskeisen kuutiollisen hilan eli BCC-hilan käänteishila on pintakeskeinen kuutiollinen eli FCC-hila.[7]
Voidaan helposti todistaa, että vain niitä Bravais'n hiloja, joilla :n, :n ja :n väliset kulmat ovat 90 astetta, toisin sanoen kuutiollista, tetragonista ja ortorombista hilaa vastaavien käänteishilojen kantavektorit ovat yhdensuuntaisia suoran hilan vektorien kanssa.
Yksinkertainen heksagonaalinen hila
Yksinkertaiselle heksagonaaliselle Bravais'n hilalle, jonka hilavakiot ovat c ja a, saadaan käänteishilaksi heksagonaalinen hila, jonka hilavakiot ovat ja . Niiden suunnat poikkeavat suoran hilan hilavektorien suunnista 30 astetta. Yksinkertaista heksagonaalista hilaa sanotaan sen vuoksi itseduaaliseksi, koska sen käänteishilalla on samat symmetriaominaisuudet kuin suoralla hilalla.
Käänteishilan käänteishila
Että käänteishilan käänteishila on sama kuin alkuperäinen suora hila, voidaan todistaa seuraavasti.
Bravais'n hilan määritelmästä seuraa, että siihen kuuluvien vektorien summa ja erotus kuuluvat myös hilaan. Niinpä riittää todeta, että jos
ja
summa ja erotus toteuttavat saman yhtälön.
Tämä osoittaa, että käänteishilakin on sulkettu vektorien yhteen- ja vähennyslaskun suhteen, toisin sanoen kahden käänteishilaan kuuluvan vektorin summa ja erotus kuuluvat siihen myös. Lisäksi tiedetään, että käänteishilan vektori G voidaan esittää kantavektorien lineaarikombinaationa.
Edellä esitetystä :n määritelmästä seuraa, että
missä on Kroneckerin delta. Olkoon R suoran hilan vektori, joka voidaan esittää suoran hilan kantavektorien lineaarikombinaationa.
Tästä voidaan todeta, että:
Käänteishilan määritelmästä todetaan, että :n on toteutettava identtisesti seuraava yhtälö:
Jotta tämä pätee, on tulon oltava kertaa jokin kokonaisluku. Tämä toteutuu, koska and . Näin ollen käänteishilakin on Bravais'n hila.
Jos edelleen vektorit muodostavat käänteishilan, on selvää, että jokainen vektori , joka toteuttaa yhtälön
- ,
on känteishilan hilavektori. :n määritelmästä, kun on suoran hilan vektori , seuraa vastaava yhteys
- .
Tästä voidaan päätellä, että käänteishilan käänteishila on alkuperäinen suora hila.
Fysikaalinen merkitys
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b0/Reciprocal_space.png/250px-Reciprocal_space.png)
Käänteishila on kiinteän olomuodon fysiikan keskeisimpiä käsitteitä.[8] Sen ja siihen liittyvien Brillouinin vyöhykkeiden merkitys kiinteiden aineiden teoriassa on niin keskeinen, että niitä on verrattu Maxwellin yhtälöihin, sillä niistä voidaan johtaa suuri osa koko teoriasta, samoin kuin koko sähkömagnetismin teoria voidaan johtaa Maxwellin yhtälöistä.[9]
Röntgensäteilyn diffraktio
Kiderakennetta tutkitaan tavallisimmin sellaisen röntgensäteilyn avulla, jonka aallonpituuson samaa suuruusluokkaa kuin kiteen atomien välinen etäisyys. Saadusta diffraktiokuviosta voidaan päätellä hilan muoto ja siten kiteen rakenne.
Käytetään kiteeseen saapuvan säteilyn aaltovektorille merkintää , annettuun suuntaan diffusioituneen säteilyn aaltovektorille merkintää ja niiden erotuksena saatavalle diffuusiovektorille merkintää . Tällöin Blochin teoreemasta seuraa, että diffraktio esiintyy, kun on jokin käänteishilan pisteistä.[2]
Hilavärähtelyt ja Brillouinin vyöhyke
Käänteishilan yksikkökoppia eli Wigner–Seitzin koppia sanotaan Brillouinin vyöhykkeeksi.[3]
Tutkittaessa kidehilassa esiintyviä kimmoaaltoja voidaan yleensä rajoittua käsittelemään aaltoja, joiden aaltovektori sisältyy ensimmäiseen Brillouinin vyöhykkeeseen, sillä aallot, joiden aaltovektori on tämän ulkopuolella, voidaan käsittää ekvivalenteiksi jonkin Brillouinin vyöhykkeessä olevan aallon kanssa.[3] Tämä on ehkä helpoimmin ymmärrettävissä tarkasteltaessa yksiulotteista atomiketjua.
Olkoon ketjussa atomien välimatka vakio r. Sen suoran hilan pisteitä ovat tällöin suoran pisteet nr, missä n on mielivaltainen kokonaisluku. Ketjun käänteishilan muodostavat k-avaruuden pisteet Näin ollen sen ensimmäisen Brillouinin vyöhykkeen muodostaa väli [10]
Tarkastellaan kahta tällaisessa ketjussa etenevää aaltoa, joiden aaltovektorit ovat ja ja joilla on sama amplitudi A. Tällöin näistä ensimmäinen on ensimmäisellä Brillouinin vyöhykkeellä, jälkimmäinen sen ulkopuolella. Näiden aaltojen aallonpituudet ovat ja Olkoon m mielivaltainen kokonaisluku, jolloin mr on jokin ketjuun kuuluva hilapiste, toisin sanoen jonkin atomin sijaintipaikka.
Jos kiteessä etenee aalto, jonka aaltovektori on ja jos sen vaihekulma origossa jollakin hetkellä on , pisteessä mr olevan atomin poikkeama tasapainopisteestä samalla hetkellä on . Jos aallon aaltovektori onkin , saman atomin poikkeama tasapainopisteestä samalla hetkellä onkin = Tämä on kuitenkin sama kuin ensimmäisenkin aallon tapauksessa, koska n on kokonaisluku ja sinifunktio saa saman arvon, kun sen argumenttiin lisätään kerrottuna millä tahansa kokonaisluvulla. Nämä aallot ovat siis aina samassa vaiheessa jokaisen hilapisteen eli atomin kohdalla, eikä sillä, missä vaiheessa ne ovat hilapisteiden välissä, ole fysikaalista merkitystä.[3] Jälkimmäinen aalto on siis ekvivalentti edellisen kanssa, jonka aaltovektori on ensimmäisellä Brillouinin vyöhykkeellä.
Mielivaltainen atomikokoelma
Mielivaltaisellekin atomikokoelmalle voidaan määritellä käänteishila. Tähän voidaan päätyä muun muassa käsittelemällä hajaantuneita aaltoja, jotka syntyvt sellaisessa Fraunhoferin diffraktiossa, joka saadaan rajatapauksena suurilla etäisyyksillä summattaessa kaikista atomeista sironneet aallot Huygensin periaatteen mukaisesti.[11]. Alla olevassa yhtälössä tätä summaa merkitään kompleksiamplitudilla F, koska sekin on suorassa avaruudessa olevan efektiivisen sirontapotentiaalin Fourier’n muunnos:
Tässä g = q/(2π) on sirontavektori q kristallografin yksiköissä, N atomien lukumäärä, fj[g] atomaarinen sirontatekijä j atomille, kun sirontavektori on 'g, kun taas rj on atomin k paikkavektori. On huomattava, että Fourier’n muunnoksen vaihe riippuu koordinaatiston origon valinnasta.
Siinä erikoistapauksessa, että kyseessä on ääretön jaksollinen kide, M yksikkökopista sironnut amplitudi (kuten edellä) osoittautuu nollasta poikkeavaksi vain :n kokonaislukuarvoilla, missä
kun atomien lukumäärä j yksikkökopissa on välillä 1 <= j <= m ja yksikkökopin fraktionaaliset hilaindeksit ovat vastaavasti {uj, vj, wj}. Todellisuudessa kide tietysti on äärellisen kokoinen, minkä vuoksi yhtälöön on tehtävä tämän seikan edellyttämät muutokset.
Olipa atomien muodostama ruudukko äärellinen tai ääretön, voidaan kuvitella myös "intensiteettikäänteishila" I[g], jonka yhdistää amplitudihilaan F tavanomainen relaatio I = F*F, missä F* on F:n kompleksikonjugaatti. Mielivaltaiselle atomikokoelmalle intensiteettikäänteishilaksi saadaan:
Tässä rjk on atomien j ja k paikkavektorien erotus. Tällä voidaan myös ennustaa, mitä seuraa nanokrystalliitin muodosta, äkillisestä säteen suunnan muutoksesta tai havaiituista diffraktiopiikeistä siinäkin tapauksessa, että rakennelma jossakin suunnassa olisi vain yhden atomin paksuinen. Toisaalta käänteishilaa käyttävät sirontalaskelmat yleensä koskevat hetkellistä tasoaaltoa. Niinpä vaikka käänteishilan avulla voidaankin tarkastella kinemaattisen sironnan vaikutuksia, on otettava huomioon myös säteen levenemisen ja useamman sironnan vaikutukset.
Duaalihilan yleistys
Abstraktin duaalihilan käsitteestä on matematiikassa kaksi versiota, jotka molemmat voidaan liittää äärellisulotteisessa vektoriavaruudessa V olevaan hilaan L.
Ensimmäinen versio on suora yleistys käänteishilan konstruktiolle, ja siinä käytetään Fourier-analyysia. Se voidaan esittää yksinkertaisesti Pontrjaginin dualiteetin termein. Ryhmän V duaaliryhmä V^ on sekin vektoriavaruus, ja osoittautuu, että sen suljettu aliryhmä L^, joka on L:n duaali, on hila V^:ssä. Siksi L^ on luonnollinen ehdokas duaalihilaksi toisessa vektoriavaruudessa, jolla on sama ulottuvuus.
Toisen näkökulman antavat V:n neliömuodot Q. Jos V ei ole degeneroitunut, ne mahdollistavat V:n ja sen duaaliavaruuden V* samastaminen. V*:n ja V välinen yhteys ei ole yksiselitteinen, vaan riippuu V:n Haarin mitan eli tilavuusalkion valinnasta. Jos kuitenkin on tehty jokin samastus, joka on jotakin skalaaria vaille hyvin määritelty, Q:n mukanaolo tekee mahdollisesti puhua L:n duaalihilasta, vaikka pysytään avaruudessa V.
Matematiikassa annetun hilan L duaalihila lokaalisti kompaktissa topologisessa Abelin ryhmässä G on G:n duaaliryhmän aliryhmä L∗, johon kuuluvat kaikki jatkuvat funktiot, jotka jokaisessa L:n pisteessä saavat arvon 1.
Diskreetissä matematiikassa hila määritellään valitsemalla n-ulotteisesta avaruudesta n lineaarisesti riippumatonta vektoria. Hila on tällöin lokaalisti diskreetti pistejoukko, jonka muodostavat kaikki näiden vektorien lineaarikombinaatiot. Tämän hilan duaalihila on tällöin niiden avaruuden pisteiden joukko, joiden sisätulo jokaisen alkuperäisen hilan pisteen kanssa on kokonaisluku. Tästä seuraa, että duaalihilan duaalihila on sama kuin alkuperäinen hila.
Jos lisäksi matriisin B sarakkeet tarkoittavat hilan määritteleviä lineaarisesti riippumattomia vektoreita, matriisin
sarakkeina ovat ne vektorit, jotka määrittelevät sen duaalihilan.
Käänteisavaruus
Käänteisavaruus eli "k-avaruus" on avaruus, jossa avaruudellisten funktioiden Fourier-muunnokset esitetään, samaan tapaan kuin ajasta riippuvien funktioiden Fourier-muunnokset voidaan esittää taajuustasossa. Fourier-muunnos merkitsee siirtymistä "todellisesta avaruudesta" käänteisavaruuteen tai päinvastoin. Käänteisavaruudella on suuri merkitys aaltomekaniikassa. Tasoaalto voidaan nimittäin kirjoittaa värähtelyterminä , aaltovektorin ja kulmataajuuden avulla, joten se on sekä aaltovektorin () että paikan () funktio, kun taas sen "spektroskooppinen osuus" on vain kulmataajuuden () ja ajan () funktio. Tasoaallon avaruudellisen värähtelyn vaihe on muotoa , ja niinpä aallon ollessa tietyssä vaiheessa avaruudellisen osan termit ja ovat kääntäen verrannollisia: ja .
Käänteisavaruuden käsite soveltuu myös kuvan rekonstruktioon magneettikuvauksessa.
Käänteishila on käänteisavaruuden jaksollinen pistejoukko, eli hila, johon kuuluvat ne pisteet , jotka muodostavat jaksollisen avaruushilan Fourier’n muunnoksen. Brillouinin vyöhyke on tämän avaruuden alue, joka käsittää ne yksikäsitteiset k-vektorit, jotka esittävät jaksollisessa rakenteessa mahdollisia klassisia tai kvanttiaaltoja.
![Käännös suomeksi](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2a/Translation_Latin_Alphabet.svg/60px-Translation_Latin_Alphabet.svg.png)
Alkuperäinen artikkeli: en:Reciprocal lattice
Katso myös
Lähteet
- ↑ a b Malcolm E. Lines: ”Värähtelevistä kielistä kiinteän aineen elektroneihin”, Jättiläisen harteilla: Matematiikan heijastuksia luonnontieteeseen, s. 73. Suomentanut Veli-Pekka Ketola. Art House, 2000. ISBN 051-884-285-X.
- ↑ a b H. E. Hall: ”Diffraction by a Crystal Lattice”, Solid State Physics, s. 172–176. John Wiley & Sons Ltd, 1979. ISBN 0-471-38281-5.
- ↑ a b c d H. E. Hall: ”The Reciprocal Lattice and Brillouin Zones”, Solid State Physics, s. 177–179. John Wiley & Sons Ltd, 1979. ISBN 0-471-38281-5.
- ↑ Kiinteän aineen elektronirakenne (s. 7, Kidehila ja käänteishila) butler.cc.tut.fi. Viitattu 16.7.2018. [vanhentunut linkki]
- ↑ ”Brillouinin vyöhykkeet”, Luennot 2007: Kvanttifysiikka luku 7A: Kiteet, s. 12. Teknillinen korkeakoulu. Teoksen verkkoversio. [vanhentunut linkki]
- ↑ a b Shaofan Li, Gang Wang: ”Crystal lattice structures”, Introdiction to Micromechanics and Nanomechanics, s. 34. World Scientific Publishing Company, 2017. ISBN 981443678X. Teoksen verkkoversio.
- ↑ a b H. E. Hall: ”Zones for structures where the atoms form a Bravais Lattice”, Solid State Physics, s. 181–184. John Wiley & Sons Ltd, 1979. ISBN 0-471-38281-5.
- ↑ Malcolm E. Lines: ”Värähtelevistä kielistä kiinteän aineen elektroneihin”, Jättiläisen harteilla: Matematiikan heijastuksia luonnontieteeseen, s. 73. Suomentanut Veli-Pekka Ketola. Art House, 2000. ISBN 051-884-285-X.
- ↑ H. E. Hall: ”Author's Preface”, Solid State Physics, s. ix–x. John Wiley & Sons Ltd, 1979. ISBN 0-471-38281-5.
- ↑ H. E. Hall: ”Classification into Metals, Semiconductors and Insulators”, Solid State Physics, s. 135. John Wiley & Sons Ltd, 1979. ISBN 0-471-38281-5.
- ↑ B. E. Warren: Z-ray diffraction. Addison-Wesley, Reading MA/Dover, Mineola NY, 1969/1990).