Snellin laki (myös Snell tai Snell ) kuvaa valon taittumista kahden läpinäkyvän aineen rajalla. Se soveltuu myös erityyppisten aaltojen, esimerkiksi ääniaaltojen, taittumisen kuvaukseen. Snellin lain teoreettinen selitys on artikkelissa Taittuminen .
Hollantilainen matemaatikko Willebrord Snellius keksi lain vuonna 1621 [1] . Hieman myöhemmin julkaissut (ja luultavasti itsenäisesti uudelleen löydetty) René Descartes .
Valon tulokulma pinnalle on suhteessa taitekulmaan suhteella: |
Anna sen olla piirustuksen tasossa. Olkoon akseli suunnattu vaakasuoraan, akseli - pystysuoraan. Symmetrianäkökohdista seuraa, että ja (tulevien, heijastuneiden ja taittuneiden aaltojen osalta) on oltava samassa tasossa.
Erotetaan tulevasta säteestä tasopolarisoitu komponentti, jossa kulma ja tason välinen kulma on mielivaltainen. Sitten, jos valitsemme alkuvaiheen yhtä suureksi kuin nolla, niin:
Tuloksena oleva kenttä ensimmäisessä ja toisessa ympäristössä on vastaavasti:
On selvää, että tangentiaalikomponenttien ja on oltava samat rajapinnassa, eli at
Sitten:
Jotta viimeinen yhtälö päteisi kaikille , on välttämätöntä, että ja jotta se pätee kaikille , on välttämätöntä, että:
missä ja ovat aallonnopeudet ensimmäisessä ja toisessa väliaineessa, vastaavasti.Tästä seuraa siis
Snellin laki on hyvin määritelty " geometrisen optiikan " tapauksessa, eli siinä tapauksessa, että aallonpituus on tarpeeksi pieni verrattuna taitepinnan mittoihin, se toimii yleisesti ottaen likimääräisen kuvauksen puitteissa, joka on geometrinen optiikka.
Jos sisäinen heijastus on täydellinen (ei ole taittunutta sädettä, tuleva säde heijastuu kokonaan välineiden välisestä rajapinnasta).
On huomattava, että anisotrooppisten väliaineiden (esimerkiksi kiteet, joilla on alhainen symmetria tai mekaanisesti epämuodostuneet kiinteät aineet) tapauksessa taittuminen noudattaa hieman monimutkaisempaa lakia. Tässä tapauksessa taittuneen säteen suunnan riippuvuus ei ole mahdollista vain tapahtuman suunnasta, vaan myös sen polarisaatiosta (katso kahtaistaitteisuus ).
Snellin laki ei kuvaa tulevan, taittuneen ja heijastuneen säteen intensiteettien ja polarisaatioiden suhdetta yksityiskohtaisemmissa Fresnel-kaavoissa .
Ensimmäinen valon taittumissääntö, toisin sanoen taitekulman riippuvuus tulokulmasta, yritti kokeellisesti määrittää kuuluisan muinaisen tähtitieteilijän Claudius Ptolemaioksen tutkielmansa "Optics" viidennessä kirjassa . Ptolemaios mittasi, kuinka taitekulma muuttuu tulokulman mukaan, kun jälkimmäinen muuttuu arvosta toiseen, ja laati taulukot kolmelle väliaineen vaihtovaihtoehdolle: ilma-vesi, ilma-lasi ja vesi-lasi. Esimerkiksi ilma-vesi -tilanteessa Ptolemaioksen taulukko on seuraava (vertailua varten annetaan myös nykyaikaiset tiedot ja virhearvo) [2] [3] :
Tapahtumakulma, astetta |
10° | 20° | 30° | 40° | 50° | 60° | 70° | 80° |
Ptolemaioksen tiedot | 8° 0' | 15° 30' | 22° 30' | 29°0' | 35° 0' | 40° 30' | 45° 30' | 50° 0' |
Moderni data | 7° 29' | 14° 52' | 22° 01' | 28° 49' | 35° 04' | 40° 30' | 44° 48' | 47° 36' |
Virhearvo | +31' | +38' | +29' | +11' | −4' | 0' | +42' | +144' |
Historioitsijat ovat tulleet siihen johtopäätökseen, että Ptolemaios todella mittasi säteen taipuman vain 60°:n alueella ja kulmat lähellä sitä, koska kaikissa kolmessa taulukossa tälle arvolle virhe on nolla, ja muille kulmille hän suoritti lineaarisen approksimoinnin. hänen valitsemillaan kertoimilla. Todellisuudessa taitekulman riippuvuus tulokulmasta on kuitenkin epälineaarinen, joten Ptolemaios sai suuria virheitä [2] [4] .
1000- luvun arabifyysikko ja tähtitieteilijä Ibn al-Khaytham käsittelee kirjassaan Optics (1021) myös tätä aihetta ja esittää taulukonsa lähellä Ptolemaioksen taulukoita, mutta ei yritä ilmaista vaadittua lakia matemaattisesti. [3] .
Vuonna 1990 arabien tieteen historioitsija Roshdi Rashed , joka on erikoistunut etsimään arabien panoksia maailmantieteeseen, julkaisi artikkelin, jossa hän kertoi löytäneensä kaksi fragmenttia vähän tunnetun tutkijan arabiankielisestä käsikirjoituksesta. kymmenellä vuosisadalla, Ibn Sal , yksi Ibn al-Haythamin opettajista. Rashed raportoi myös pystyneensä rekonstruoimaan tekstin, josta seuraa, että ibn Sal löysi ja muotoili oikein Snellin lain. Rashedin väitteille ei ole vielä saatu riippumatonta vahvistusta. On myös selitettävä, miksi kukaan ibn Salin seuraajista, mukaan lukien hänen oppilaansa Ibn al-Khaytham, ei mainitse tätä perustavanlaatuista saavutusta ja miksi ibn Sal itse ei raportoi millä kokeilla hän osoitti löytönsä [5] [3] .
Euroopassa ensimmäinen taittumislain muotoilu löytyy englantilaisen matemaatikon Thomas Harriotin (1602) julkaisemattomasta käsikirjoituksesta. Saksalainen tähtitieteilijä Johannes Kepler , joka käsitteli sytytyslinssien parhaan muodon valintaa, pyysi Harriotia toimittamaan yksityiskohtia avoimesta laista, mutta Harriot rajoittui lähettämään päivitettyjä taulukoita vedoten siihen, että huono terveys ei sallinut hänen ilmaista laki julkaistavaksi sopivassa muodossa [6] .
Toinen tämän lain julkaisematon löytö tapahtui vuonna 1621, jolloin hollantilainen matemaatikko Willebrord Snell ( Snellius ) kirjoitti muistiin taittumislain nykyistä vastaavassa muodossa: " samassa mediassa tulokulmien kosekanttien suhde ja taittuminen pysyy vakiona ." Äkillinen kuolema vuonna 1626 esti Snelliä julkaisemasta löytöään, mutta hänestä levisi huhuja, ja luonnos Snellin paperista säilyi ja on Amsterdamin yliopiston kirjastossa [7] .
Myöhemmin "Snellin lain" löysi ja julkaisi itsenäisesti René Descartes tutkielmassa Discourse on Method (Dioptric Appendix, 1637). Snellin prioriteetin asetti Christian Huygens vuonna 1703 (käsitelmässään Dioptrics), 77 vuotta Snellin kuoleman jälkeen, jolloin tämä laki oli jo hyvin tiedossa; Huygens perusteli myös ( kirjassa Treatise on Light ) Snellin lain johtamista valon aaltoteoriasta ja Huygens-Fresnelin periaatteesta . Detractors syyttivät Descartesia plagioinnista epäillen, että Descartes kuuli erään Leiden-vierailunsa aikana Snellin löydöstä ja pystyi tutustumaan hänen käsikirjoituksiinsa [8] . Kuitenkaan ei ole näyttöä plagioinnista, ja historioitsijat ovat tutkineet yksityiskohtaisesti Descartesin itsenäistä polkua tähän löytöyn [9] [10] .
Tunnettua periaatetta [11] valonsäteen liikkeestä pitkin kahden pisteen välistä polkua, joka vaatii vähiten aikaa, voidaan käyttää todistamaan taittumislaki. Olkoon valon nopeus kahdessa väliaineessa ja , jolloin liikkeen aika pisteiden A ja B välillä riippuu väliaineen rajalla olevan pisteen P valinnasta:
Tällä funktiolla on minimi, kun sen derivaatta on nolla [12] :
Tässä kulmien sinit voidaan ilmaista kolmioina:
Johdannainen pelkistetään muotoon
josta se seuraa
Tämä lauseke on Snellin laki [13] .
Olkoon ja tulevan ja taittuneen valonsäteen sädevektorit eli säteiden suunnat osoittavat vektorit, joilla on pituudet ja yksikkönormaalivektori taittuvaan pintaan taitepisteessä. Sitten: