Sähkömagnetismi suhteellisuusteoriassa

Sähkömagnetismi suhteellisuusteoriassa käsittelee kysymystä siitä, miten erityinen suhteellisuusteoria vaikutti nykyiseen teoriaan sähkömagnetismista ja elektro­dynamiikasta. Suhteellisuusteoria osoitti ensinnäkin, miten sähkö­magneettiset, erityisesti sähkö- ja magneetti­kenttiä kuvaavat suureet riippuvat havaitsijan liiketilasta Lorentz-muunnoksen mukaisella tavalla. Toiseksi se johti entistä syvälli­sempään käsitykseen siitä, miten sähkö ja magnetismi liittyvät toisiinsa ja osoitti, millä tavoin käytetty vertailu­järjestelmä vaikuttaa siihen, mitkä ilmiöt oli käsitetty sähköisiksi, mitkä magneettisiksi. Jo aikaisemmin oli esimerkiksi tiedetty, että johteeseen syntyi yhtä suuri virta, liikkuipa johde magneetin läheisyydessä tai magneetti yhtä suurella nopeudella johteen läheisyydessä, mutta näitä pidettiin kahtena eri ilmiönä, kun taas suhteellisuus­teoria osoitti, että kysymys on samasta ilmiöstä. Kolmanneksi se tarjosi mahdolliseksi ilmaista sähkö­magnetismin lait lyhemmässä muodossa kovarianttien tensorien avulla.
Suhteellisuus­teoria saikin alkunsa sähkö­magnetismin lakien luonnetta koskeneesta pohdinnasta. Vuonna 1865 James Clerk Maxwell oli jo tiivistänyt sähkö­magnetismin teorian neljäksi yhtälöksi, Maxwellin yhtälöiksi. Ennen suhteellisuus­teoriaa vallitseva käsitys kuitenkin oli, että nämä yhtälöt pätevät sellaisenaan vain maailmaneetterin koordinaatistossa, joka myös samastettiin Newtonin olettaman absoluuttinen avaruuden kanssa. Tässä suhteessa sähkö­magnetismin lait olisivat kuitenkin selvästi poikenneet klassisen mekaniikan laeista, jotka olivat samat kaikissa tasaisessa liikkeessä olevissa inertiaali­järjestelmissä. Erityinen suhteellisuus­teoria sitä vastoin osoitti, että myös sähkö­magnetismin lait ovat samat kaikissa inertiaali­järjestelmissä. Itse asiassa Einsteinin ensimmäisen suhteellisuusteoriaa koskeneen, vuonna 1905 julkaistun artikkelin otsikkona olikin "Liikkuvien kappaleiden elektro­dynamiikasta" (), ja yli puolet artikkelista käsitteli kysymystä siitä, miten Maxwellin yhtälöt muuntuvat siirryttäessä vertailu­järjestelmästä toiseen.
Kenttien muunnokset inertiaalijärjestelmien välillä.
Sähkökentän voimakkuus ja magneettivuon tiheys.
Seuraavassa oletetaan kaksi inertiaalijärjestelmää, S ja S', joista S' liikkuu S:n suhteen nopeudella v. Sähkö­kentän voimakkuudelle ja magneetti­vuon tiheydelle sellaisena, kuin ne ovat mitattavissa inertiaalijärjestelmässä S, käytetään seuraavassa merkintöjä E ja B; vastaavat arvot inertiaalijärjestelmässä S' ovat E' ja B'. Lisäksi käytetään kenttä­vektorien liikkeen suuntaisille komponenteille merkintöjä formula_1 ja formula_2, liikettä vastaan kohtisuorille komponenteille taas merkintöjä formula_3 ja formula_4 Sähkö­kentän voimakkuuden ja magneetti­vuon tiheyden välillä eri vertailu­järjestelmissä on yhteys:
formula_5
missä formula_6 on Lorentzin tekijä: 
formula_7
ja "c" valonnopeus. Muunnokset käänteiseen suuntaan ovat muutoin samat paitsi että v on korvattava -v:llä.
Jos liike tapahtuu x-akselin suunnassa, voidaan kenttävektorien eri koordinaattiakselien suuntaisten komponenttien muunnokset esittää myös muodossa:
formula_8
Vaihto­ehtoisesti ja yhtäpitävästi voidaan yhtälöt esittää myös muodossa:
formula_9
missä v̂ on nopeuden suuntainen yksikkövektori.
Näistä yhtälöistä seuraa, että vaikka jompikumpi kentistä olisi nolla jossakin vertailu­järjestelmässä, se ei välttämättä ole nolla kaikissa vertailu­järjestelmissä. Jos edellä mainitussa vertailu­järjestelmässä S esimerkiksi sähkö­kenttä on nolla, järjestelmässä S' niin ei ole laita, mikäli järjestelmässä B magneetti­kenttä ei ole nolla.
Tämä ei merkitse, että eri vertailu­järjestelmissä havaittaisiin eri ilmiöt, joskin samat ilmiöt on kuvattava eri tavoin. Sähkö- ja magneetti­kenttä eivät olekaan erillisiä, toisistaan riippumattomia käsitteitä, vaan saman fysikaalisen perus­olion,
sähkö­magneettisen kentän eri ilmenemis­muotoja. Sitä ei voida abso­luuttisesti jakaa sähkö- ja magneetti­kenttään, vaan jako riippuu varauksen liikkeestä havaitsijan suhteen. Samoin eivät sähköinen ja magneettinen vuoro­vaikutus ole kaksi eri ilmiötä vaan ne ovat sähkö­magneettisen vuoro­vaikutuksen eri puolia.
Sähkökentän muunnoskaavojen johto.
Sähkövaraus on suhteellisuus­teoriankin mukaan invariantti, riippumaton käytetystä vertailu­järjestelmästä.
Oletetaan, että vertailu­järjestelmässä S' on levossa kaksi sähkö­varausta, "Q" ja "q". Tässä vertailu­järjestelmässä niiden välillä havaitaan vain sähköinen vuoro­vaikutus. Jos varauksen "Q" aiheuttaman sähkö­kentän voimakkuus varauksen "q" kohdalla on E, varaukseen "q" kohdistuu voima
formula_10,
jonka eri akselien suuntaiset komponentit ovat:
formula_11
Oletetaan lisäksi, että vertailu­järjestelmä S liikkuu S':n suhteen x-akselin suuntaan nopeudella v. Tässä vertailu­järjestelmässä molemmat varaukset ovat liikkeessä. Näin ollen varaus "Q" saa aikaan sähkö­kentän lisäksi myös magneetti­kentän. Koska myös varaus "q" on liikkeessä nopeudella "-v", siihen kohdistuva voima on
formula_12,
jonka eri akselien suuntaiset komponentit ovat:
formula_13
Lorentzin muunnoksen avulla voidaan voimille johtaa muunnos­kaavat:
formula_14,
kun havaitsija on levossa järjestelmässä S' ja liikkuu nopeudella S järjestelmän S suhteen.
Kun nämä sijoitetaan voimaa järjestelmässä S' kuvaaviin lausekkeisiin, saadaan:
formula_15
eli täsmälleen edellä mainitut sähkökentän komponenttien muunnos­kaavat.
Vastaavan­laisella mutta hieman työläämmällä tarkastelulla voidaan johtaa myös magneetti­kentän kompo­nenttien muunnos­kaavat.
Muunnos­kaavat voidaan ilmaista tiiviimmässä muodossa käyttämällä jäljempänä määriteltyä kovarianttia sähkö­magneettista tensoria.
Sähkövuon tiheys ja magneettikentän voimakkuus.
Sähkövuon tiheys ja magneettikentän voimakkuus tyhjiössä saadaan sähkö­kentän voimakkuuden ja magneetti­vuon tiheyden avulla seuraavasti:
formula_16
missä formula_17 on sähkövakio ja formula_18 magneettivakio. Kun näiden vakioiden ja valonnopeuden välillä on yhteys 
formula_19,
saadaan näille kenttävektoreille muunnoskaavat:
formula_20
Potentiaalit.
Vastaavat muunnokset voidaan johtaa myös sähköiselle potenti­aalille φ ja magneettiselle potenti­aalille A:
formula_21
missä formula_22 magneettisen potentiaalin A vertailu­järjestelmien välisen suhteellisen nopeuden "v" suuntainen komponentti ja formula_23 sitä vastaan kohti­suora komponentti. Nämä muistuttavat muodoltaan muita Lorentzin muunnoksia kuten ajan ja sijainnin sekä energian ja liikemäärän välisiä, kun taas edellä esitetyt kenttä­voimakkuuksien ja vuon­tiheyksien muunnokset ovat hieman mutkikkaampia­kin. Nämä komponentit voidaan yhdistää seuraavasti:
formula_24
Varaus- ja virrantiheys.
Samaan tapaan voidaan varaus­tiheydelle ρ ja virran­tiheydelle J johtaa muunnokset,
formula_25
Näiden komponentit voidaan yhdistää seuraavasti:
formula_26
Epärelativistiset likiarvot.
Kun vertailu­järjestelmien suhteellinen nopeus "v" on paljon pienempi kuin valon­nopeus "c", on Lorentzin kerroin γ ≈ 1. Tällöin yhtälöt yksin­kertaistuvat muotoon:
formula_27
niin että Maxwellin yhtälöissä ei ole tarpeen erottaa toisistaan paikka- ja aika­koordinaatteja.
Sähkön ja magnetismin yhteys.
Magnetismin johto sähköstatiikasta.
Riippuu valitusta vertailu­järjestelmästä, onko jokin sähkö­magneettinen ilmiö katsottava sähkö­staattiseksi vai magneettiseksi.
Kuten edellä osoitettiin, magnetismi voidaankin johtaa sähkö­statiikasta, kun erityinen suhteellisuus­teoria ja varauksen invarianssi otetaan huomioon. Esimerkiksi Richard Feynmanin teoksessa "The Feynman Lectures on Physics" on tällä tavoin johdettu lauseke sille magneettiselle voimalle, jonka liikkuva varaus kohdistaa lähellä olevaan virta­johtimeen.
Kenttät eri vertailujärjestelmissä.
Edellä esitetyt muunnokset osoittavat, että mikä yhdessä vertailu­järjestelmässä havaitaan sähkö­kenttänä, saatetaan toisessa
vertailu­järjestelmässä havaita magneetti­kenttänä, ja päin­vastoin.. Tämä ilmaistaan usein sanomalla, että sähkö- ja magneettikentät ovat saman perusilmiön, sähkö­magneettisen kentän, eri puolia. Itse asiassa koko sähkö­magneettinen kenttä voidaan jäljempänä selitetyllä tavalla ilmaista yhdellä toisen kerta­luvun tensorilla, jota sanotaan sähkö­magneettiseksi tensoriksi.
Liikkuvan magneetin ja johteen ongelma.
Kuuluisa esimerkki siitä, miten sähköiset ja magneettiset ilmiöt liittyvät toisiinsa eri vertailu­järjestelmistä, on "liikkuvan magneetin ja johteen ongelma", johon Einstein vuonna 1905 viittasi erityistä suhteellisuus­teoriaa käsitelleessä artikkelissaan.
Jos johde liikkuu tasaisella nopeudella paikoillaan olevan magneetin kentässä, siihen syntyy pyörre­virtoja, jotka saa aikaan johteen elektronei­hin kohdistuva "magneettinen" voima. Jos taas johde on levossa ja magneetti liikkuu, klassisen sähkö­magneettisen teorian mukaan johteeseen syntyvät täsmälleen samat pyörre­virrat, mutta nyt ne saakin aikaan muuttuvan magneetti­kentän indusoima sähkö­kenttä ja sen aiheuttama "sähköinen" voima. Vasta suhteellisuus­teoria osoitti, että kysymys on kummassakin tapauksessa todellisuudessa samasta ilmiöstä.
Kovariantti muotoilu tyhjiössä.
Klassisen elektro­dynamiikan lait voidaan matemaattisesti kirjoittaa täysin kovariantissa muodossa. Seuraavassa se tehdään ainoastaan siinä muodossa, jossa lait pätevät tyhjiössä. Käytetään siis Maxwellin yhtälöiden mikro­skooppista muotoilua, jossa ei esiinny materiaalien makro­skooppisia ominaisuuksia kuten permit­tiivi­syyttä, ja lait ilmaistaan tässä SI-yksiköissä.
Tässä käytetään Einsteinin notaatiota ja Einsteinin summaussääntöä. Minkowskin metriselle tensorille η käytetään metrisiä etu­merkkejä (+ − − −).
Kenttätensori ja nelivirta.
Edellä esitetyt suhteellisuus­teoreettiset muunnokset siihen, että sähkö- ja magneetti­kentät voidaan yhdistää mate­maattiseksi objektiksi, jossa on kuusi komponenttia, anti­symmetriseksi toisen kerta­luvun tensoriksi tai bivektoriksi. Sitä sanotaan sähkö­magneettiseksi kenttä­tensoriksi, ja sille käytetään tavallisesti merkintää "F"μν. Matriisimuodossa se on: 
formula_28
missä "c" on valonnopeus - luonnollisissa yksiköissä "c" = 1.
Sähkö- ja magneetti­kentät voidaan yhdistää anti­symmetriseksi tensoriksi toisinkin, korvaamalla suureet seuraavasti: E/"c" → B ja B → − E/"c", jolloin saadaan duaalinen tensori "G"μν.
formula_29
Erityisessä suhteellisuus­teoriassa nämä molemmat muuntuvat Lorentzin muunnoksella seuraavasti:
formula_30,
missä Λαν on Lorentzin muunnos­tensori siirryttäessä vertailu­järjestelmästä toiseen. Samaa tensoria käytetään summauksessa kahteen kertaan.
Kenttien lähteet, varaus- ja virrantiheys, yhdistyvät myös nelivektoriksi
formula_31,
jota sanotaan neli­virraksi.
Maxwellin yhtälöt tensorimuodossa.
Näiden tensorien avulla Maxwellin yhtälöt supistuvat muotoon:
formula_32 
missä osittais­derivaatat voidaan kirjoittaa useilla eri tavoilla. Näistä yhtälöistä ensimmäinen vastaa sekä Gaussin lakia sähkö­kentille (aika­koordi­naatin β = 0 osalta) että Ampèren-Maxwellin lakia (paikka­koordi­naattien β = 1, 2, 3 osalta), toisin sanoen Maxwellin ensimmäistä ja neljättä yhtälöä. Toinen näistä yhtälöistä vastaa kahta muuta Maxwellin yhtälöistä, Gaussin lakia magneetti­kentille (koordi­naatin β = 0 osalta) ja Faradayn lakia (koordi­naattien β = 1, 2, 3 osalta).
Nämä tensori­yhtälöt ovat täysin kovariantteja siinä mielessä, että indeksien asemasta voidaan todeta yhtälöt kovarianteiksi. Tämä Maxwellin yhtälöiden lyhyt muoto kuvastaa monien fyysikoiden käsitystä, jonka mukaan fysiikan lait saadaan tensorien avulla yksin­kertaisempaan muotoon.
Yhtälöt voidaan muuntaa myös sellaiseen muotoon, että "F"αβ:n sijasta niissä esiintyy "F"αβ:
formula_33
Tällöin jälkimmäinen yhtälö voidaan kirjoittaa "F"αβ:n avulla seuraavasti:
formula_34
missä formula_35 on kovariantti Levi-Civita-symboli. Huomattava on, että tässä yhtälössä esiintyy indeksien syklinen permutaatio:
formula_36.
Toinen kovariantti sähk­ömagneettinen suure on sähkömagneettinen jännitys-energiatensori, kovariantti toisen kerta­luvun tensori, johon sisältyvät Poyntingin vektori, Maxwellin jännitystensori ja sähkö­magneettinen energian­tiheys.
Nelipotentiaali.
Sähkömagneettinen kenttätensori voidaan kirjoittaa myös muotoon
formula_37
missä
formula_38
on nelipotentiaali ja 
formula_39
nelipaikkavektori.
Käyttämällä nelipotentiaalia Lorentzin vertailujärjestelmässä saadaan toinen täysin kovariantti muotoilu, jossa esiintyy vain yksi yhtälö, yleistys Bernhard Riemannin ja Arnold Sommerfeldin esittämästä Riemannin-Sommer­feldin yhtälöstä,
 tai Maxwellin yhtälöiden kovariantti muoto ):
formula_40
missä formula_41 on d'Alembertin operaattori, Laplacen operaattorin vastine neli­vektoreille.