Gravitaatioteorioiden Palatini-formalismi
|
|
- Ville Pesonen
- 9 vuotta sitten
- Katselukertoja:
Transkriptio
1 Gravitaatioteorioiden Palatini-formalismi Pro gradu -tutkielma Turun yliopisto Fysiikan laitos Teoreettinen fysiikka 2007 Fil. yo. Jaakko Vainio Tarkastajat: Lehtori Iiro Vilja Dosentti Tuomas Multamäki
2 Sisältö 1 Johdanto 1 2 Yleistettyjen gravitaatioteorioiden motivointi Kokeelliset syyt Teoreettiset syyt Palatini-formalismi Palatini-formalismin taustaa Palatini-formalismi f(r)-teorian tapauksessa Vertailu puhtaasti metrisen variaatioperiaatteen tuloksiin Konnektion lisätarkasteluja Erikoistapaus, lisätermi 1/R Einsteinin ja Jordanin puite Yleinen tulos f(r)-vaikutusten tapauksessa Palatini-formalismin ongelmat Pintatermit Korkeamman kertaluvun vaikutukset Moniston valinta Materiatermit Kaksiulotteinen tapaus Torsiollinen konnektio ja materia Riemannin tensorista EinsteinStraus-teoriat Symmetrinen metriikka ja torsiollinen konnektio Gravitaation vaikutus Materian vaikutus Kenttäyhtälöt
3 5.3.4 Lagrangen kertojien menetelmä Hypermomentti häviää Symmetrinen hypermomentti Antisymmetrinen hypermomentti Lagrangen tiheyden muodostaminen Materian Lagrangen tiheydet Diracin vaikutus Symmetriset avaruudet Ainit vektorikentät aika-avaruudessa Muotoinvarianssi ja Killingin yhtälö Homogeenisuus ja isotrooppisuus Konnektion komponentit homogeenisessa ja isotrooppisessa avaruudessa Riccin tensori ja skalaari Pallosymmetrinen tapaus Konnektion komponentit Riccin tensori ja skalaari Yhteenveto 59 Viitteet 61 A Määritelmiä ja merkintöjä 69 B Yhtälöiden johtoja 72 B.1 Kovarianttia integrointitekniikkaa B.2 Christoelin symbolin variaatio B.3 Konnektio esitettynä torsion ja ei-metrisyystensorin avulla C Tetradiformalismi 76 D Diracin matriiseista ja spinoreista 81 E Lien derivaatta 84 F Tensorien muotoinvarianssi 86 II
4 TURUN YLIOPISTO Fysiikan laitos VAINIO, JAAKKO: Gravitaatioteorioiden Palatini-formalismi Pro gradu -tutkielma, 68 s., 21 liites. Teoreettinen fysiikka Marraskuu 2007 Viime vuosisadan lopulla tehtiin tärkeä havainto supernovista: galaksit näyttävät loittenevan kiihtyvällä vauhdilla. Näiden havaintojen jälkeen yleistetyt gravitaatioteoriat ovat nousseet huomattavan kiinnostuksen kohteiksi. Näillä uusilla teorioilla voidaan mahdollisesti selittää maailmankaikkeuden kiihtyvä laajeneminen ilman pimeää energiaa. Tässä tutkielmassa on perehdytty yhteen mahdolliseen yleistykseen: Palatini-formalismiin f(r)-teorioissa. Yleisessä suhteellisuusteoriassa aika-avaruuden ominaisuudet seuraavat metriikasta. Tämä on erikoistapaus Palatiniformalismissa, jossa yhdensuuntaissiirtoon liittyvä konnektio on metriikasta riippumaton. Palatini-formalismi selviää samoista testeistä kuin erikoistapauksensa, yleinen suhteellisuusteoria. Käsitellyt Lagrangen tiheydet ovat f(r)-muotoa eli kaarevuuden funktioita. Tutkielmassa on aluksi perehdytty menetelmän historiaan. Taustojen selvittelyn jälkeen käsitellään Palatini-formalismia yksinkertaisessa tapauksessa, jossa konnektio on symmetrinen. Erikoistapauksena käsitellään eräs Lagrangen tiheys, jolla voidaan selittää maailmankaikkeuden kiihtyvä laajeneminen. Palatini-formalismiin kohdistunutta kritiikkiä on myös tarkasteltu mikään ei kuitenkaan sulje menetelmää pois laskuista. Vaikka Palatini-formalismia tarkastellaan tavallisesti symmetrisen konnektion tapauksessa, on yksi tutkielman luku omistettu yleisemmälle tapaukselle. Osoittautuu, että monet symmetriseen konnektioon liitetyt ominaisuudet seuraavat yleisemmästäkin tapauksesta, mutta ilman tarvetta lisäoletuksiin. Samassa luvussa on myös tarkasteltu materian osuutta Lagrangen tiheydessä. Tutkielman lopussa on tarkasteltu mahdollisuuksia hyödyntää symmetriaa konnektion määräämisessä. Tätä mahdollisuutta ei ole juurikaan tutkittu aiemmin. Havainnot ovat osoittaneet, että maailmankaikkeudessa esiintyy symmetriaa. Tensorien muotoinvarianssia hyödynnetään konnektion komponenttien laskemiseen. Yleisessä tapauksessa konnektiolla on 64 komponenttia, jotka voivat riippua ajasta ja paikasta. Homogeenisessa ja isotrooppisessa tapauksessa vapausasteet saadaan rajoitettua neljään vain ajasta riippuvaan funktioon. Pallosymmetrisessä tapauksessa vapausasteita jää 14 ajasta ja säteestä riippuvaa funktiota. Näitä tuloksia ei tiettävästi ole laskettu muualla. Tässä laskettuja tuloksia voidaan hyödyntää sijoittamalla huomattavasti rajatut konnektion komponentit kenttäyhtälöihin. Näin saadut yhtälöt ovat huomattavasti yksinkertaisempia. Käyttömahdollisuudet eivät rajoitu pelkästään Palatini-formalismiin, vaan kirjoittamalla Lagrangen tiheys tietyllä tavalla, voidaan tuloksia käyttää myös puhtaasti metrisessä formalismissa. Avainsanat: Palatini-formalismi, metris-aini formalismi, torsio, maksimaalinen symmetria, f(r)-teoriat, yleistetyt gravitaatioteoriat.
5 Alkusanat Kun pikkupoikana pelailin Master of Orionia, kohtaloni selvisi. Minusta tulisi fyysikko. Tuossa pelissä minulle oli aina tärkeintä panostaa tieteeseen. En juuri ymmärtänyt silloin vielä englantia, mutta kovasti hienoilta kaikki tulokset kuulostivat. Eikä sillä niin väliä ollutkaan, kaikki vei kauemmas tähtiin. Jossakin määrittelemättömässä vaiheessa sitten aloin kiinnostua gravitaatiosta. En oikeastaan osaa sanoa, mistä tämä kiinnostus on peräisin. Jotenkin se vain aina tuntui tärkeimmältä ja jännittävimmältä vuorovaikutukselta. Eikä sen kokemiseen tarvita mitään välineitä! Lopulta yliopistolla sitten tein enemmälti tuttavuutta kosmologian kanssa. Siinä viehättivät losoaa muistuttavat suuret kysymykset. Filosoa on minua aina etäisesti kiinnostanut juuri näiden kysymysten johdosta, mutta toisaalta en ole pitänyt sen menetelmistä. Vaikka en enää aikuisena ihmisenä uskokaan sokeasti tieteen pelastavan maailman, koen tieteen yhdeksi tärkeimmistä itseisarvoista. Kieltämättä tiede tuottaa sovelluksia, jotka mahdollistavat paremman huomisen, mutta se merkitsee muutakin. Välillä maailman tapahtumien seuraaminen saa kysymään: Mikä oikeasti erottaa meidät muista eläimistä? Oikeastaan en enää osaa vastata tähän muuta kuin, että tieto nostaa meidät muun luonnon yläpuolelle. Ja toisaalta se sälyttää meille valtavan vastuun. Haluan kiittää kaikkia, jotka ovat auttaneet tämän tutkielman valmistumisessa. Matkan varrelta kiitän erityisesti lehtori Iiro Viljaa, joka ohjaili projektin kohti mielenkiintoista omaa tutkimusta sekä dosentti Tuomas Multamäkeä, joka opastuksen lisäksi järjesti Suomen Akatemian rahoitusta työlleni. Loppuvaiheesta kiitän vielä oikolukemisesta Jani Sainiota, Pekka Silanterää ja Jyrki Vainiota, varsinkin kun kahdelle kolmesta tutkielma ei ollut lainkaan omaa alaa. To gaze up from the ruins of the oppressive present towards the stars is to recognise the indestructible world of laws, to strengthen faith in reason, to realise the 'harmonia mundi' that transfuses all phenomena, and that never has been, nor will be, disturbed. Hermann Weyl Turussa , Jaakko Vainio
6 1 Johdanto Kosmologia tulee Kreikan sanasta κoσµoλoγíα (κoσµoς,kosmos+λoγoσ,logos). Varsinaisesti antiikin kreikkalaiset eivät vielä tutkineet kosmologiaa, vaan tätä sanaa alettiin käyttää 1700-luvulla. Tällä tieteenalalla on kuitenkin pitkät perinteet. Tarkasti ottaen tässä pro gradu -tutkielmassa käsitellään fysikaalista kosmologiaa erotuksena uskonnollisesta ja metafyysisestä kosmologiasta. Luonnollisesti ensimmäinen näistä on ainoa, joka käyttää luonnontieteen menetelmiä. Tieteen ja fysiikan historiasta on kirjoitettu useita kirjoja, mutta nimenomaan kosmologiaan keskittyviä teoksia on niukasti. Pieni katsaus tieteenalan historiaan on kuitenkin paikallaan [1], [2], [3]. Kosmologian suuret kysymykset, kuten minkälainen maailmankaikkeus on, miten se on syntynyt ja minne se on menossa, ovat aina kiinnostaneet ihmisiä. Jossakin mielessä jo primitiivisten kansojen yritykset selittää maailmaansa sisälsivät kosmologiaa. Varhaisissa kulttuureissa, kuten Egyptissä ja Babyloniassa, ainoa yhteiskuntaluokka, jolla oli mahdollisuuksia perehtyä tieteisiin, oli papisto. Ei siis ole mitenkään yllättävää, että historialliset käsitykset maailmasta ovat kulloisenkin ajan valtauskonnon värittämiä - uskonnollista kosmologiaa. Enimmäkseen ajatukset maailmankaikkeudesta olivat tietenkin hyvin kaukana nykyisistä käsityksistä, mutta yllättävänkin hyviä päätelmiä löytyy paikoittain. Antiikin Kreikan losot pohtivat monia taivaan ilmiöitä ja saivat aikaan hyviäkin tuloksia. Ymmärrettävistä syistä ajatukset pyörivät enimmäkseen planeettojen ja tähtien ympärillä. Kuitenkin asialistalla oli myös todellisia kosmologian kysymyksiä: Onko maailmankaikkeus ääretön? Onko materiaa rajattomasti? Atomistit olivat ajatuksissaan tuhansia vuosia edellä aikaansa. He olivat valmiita uskomaan äärettömään maailmankaikkeuteen, jossa on ääretön määrä ainetta. Aristoteles taas kannatti perinteisempää ajatusta, että molemmat ovat äärellisiä. Valitettavasti antiikista keskiajalle siirtyneet ajatukset eivät aina olleet oikeimpia ja tiede kaikilla aloilla lukkiutui väärille urille tuhanneksi vuodeksi. Renessanssin ja ennen kaikkea Isaac Newtonin myötä alkoi fysiikan todellinen kukoistus. Vaikka kosmologia tukeutuu voimakkaasti suhteellisuusteoriaan, toimii Newtonin mekaniikka pitkälle galaksien ja tähtienkin tapauksessa [4]. Kopernikuksen ajatus, että maan päällä
7 toimivat samat lait kuin taivaalla oli myös tärkeä käsitteellinen havainto, sillä ilman sitä olisi hyvin vaikea edetä Einsteinin postulaatteihin luvulla tutkittiin paljon termodynamiikkaa ja tätä kautta johduttiin myös kosmologian pohdintoihin. Esimerkiksi Rudolf Clausiuksen mukaan maailmankaikkeudessa energia on vakio, ja entropia pyrkii kohti maksimia. Lopputilasta puhuttiin lämpökuolemana, elottomana maailmankaikkeutena. Tämä oli kuitenkin hankala ajatus siinä mielessä, että mikäli maailmankaikkeus olisi ollut aina olemassa, olisi se nyt äärettömän ajan kuluttua tuossa lopputilassa. Toisaalta ajatus, että maailmankaikkeus olisi syntynyt jonain tiettynä hetkenä, herätti ennakkoluuloja, koska se väitteenä herätti uskonnollisia mielleyhtymiä. Nykyinen kosmologia on tieteenä nuori; se on kehittynyt 1900-luvun aikana. Vielä nuoremmaksi sen tekee, että sen rooli muuttui merkittävästi vuosisadan viimeisellä vuosikymmenellä. Juuret ovat kieltämättä syvällä historiassa, mutta varsinaisesti kosmologian katsotaan saaneen alkunsa Einsteinin töissä 1910-luvulla [5], [6]. Siihen saakka päätelmät olivat lähestulkoon perusteetonta pohdintaa. Einsteinin työt antoivat pohjan, josta voitiin matemaattisesti johtaa kosmologian tuloksia. Myös tähtitieteen havaintomahdollisuudet kasvoivat suuresti 1900-luvun aikana, joten kyse ei enää ollut mystisestä metafysiikasta, vaan laskelmia voitiin verrata havaintoihin. Einsteinin alkuperäisessä mallissa maailmankaikkeus oli ajallisesti ääretön, mutta avaruudellisesti rajoitettu. Pohjan mallille antoivat hänen yhtälönsä vuodelta 1915, mutta nyt niihin ilmestyi uusi termi, kosmologinen vakio. Sen tarkoitus oli pitää malli staattisena. Einstein uskoi ensin, että tämä olisi ainoa yleiseen suhteellisuusteoriaan sopiva ratkaisu. Näin ei kuitenkaan ollut, vaan Willem de Sitterin ratkaisu, kosmologisen vakion dominoima maailmankaikkeus, osoittautui myös mahdolliseksi ja hyvin erilaiseksi. Samoihin aikoihin havaintojen puolella tapahtui paljon. Vuonna 1917 Vesto Slipher havaitsi spiraaligalaksien punasiirtymiä. Seitsemän vuotta myöhemmin puolalainen Ludwik Silberstein esitti punasiirtymien olevan verrannollisia etäisyyteen. Hänen todistuksensa olivat kuitenkin virheellisiä, eikä ajatus ottanut vielä tuulta alleen. Samaan aikaan käytiin myös keskustelua muiden galaksien olemassaolosta. Jo Immanuel Kant oli esittänyt ajatuksen maailman saarekkeista (Weltinsel) avaruudessa, mutta vasta vuonna 1923, kun Edwin Hubble mittasi kefeidien avulla etäisyyden Andromedan galaksiin, tuli galakseista yleisesti hyväksyttyjä. Itse asiassa Hubble oli luonteeltaan varovainen, joten siinä vaiheessa, kun hän julkisti löydöksensä 1925, olivat ne yleisesti tunnettuja ja jopa hyväksyttyjä. Vuonna 1929 Hubble tuli samaan tulokseen kuin Silberstein aiemmin; punasiirtymä on suoraan verrannollinen etäisyyteen. Toisin kuin yleensä väitetään, hän ei kuitenkaan julkisesti yhdistänyt tätä maailmankaikkeuden laajenemiseen. Samalla vuosikymmenellä Alexander Friedmann tutki Einsteinin kenttäyhtälöitä ja totesi Einsteinin ja de Sitterin ratkaisu- 2
8 jen olevan erikoistapauksia yleisestä ratkaisusta. Friedmann tutki asiaa puhtaan matemaattisesti eikä siis pyrkinyt liittämään tuloksiaan havaintoihin. Lemaître tutki viittä vuotta myöhemmin samoja yhtälöitä ja päätyi samoihin tuloksiin. Hän yhdisti tuloksensa havaittuihin punasiirtymiin ja johti Hubblen lain. Nämä tulokset eivät kuitenkaan tulleet laajemmalti tunnetuiksi kuin vasta 1930-luvulla. Friedmann pohti töissään myös äärellisen ikäistä maailmankaikkeutta, mutta lähinnä matematiikasta nousevana mahdollisuutena ei siis varsinaisena todellisuutena. Vuonna 1931 Lemaître alkoi kampanjoida alkuräjähdysteorian puolesta. Monille tämä kuitenkin toi mieleen lososen ongelman maailman luomisesta. Voisiko maailmankaikkeus syntyä tyhjästä tai jos sen on jokin luonut, mistä tämä luoja tulee? Alkuräjähdysteoria sai uutta pontta Gamowin ja Alpherin töistä, joissa mukaan liitettiin ydinfysiikkaa. Tuolloin ennustettiin kosminen taustasäteily, mutta sitä ei löydetty vielä pitkään aikaan. Samaan aikaan englantilaiset Bondi, Gold ja Hoyle esittelivät oman kilpailevan teoriansa. Heidän steady state -maailmankaikkeutensa laajeni, mutta oli stationäärinen. Tämä kuitenkin vaati, että uutta materiaa syntyi jatkuvasti. Tämän teorian etuna oli, että sen avulla pystyttiin selittämään galaksien synty paremmin kuin alkuräjähdyksen avulla. Steady state -teoria oli suosittu erityisesti Englannissa. Kiista kahden kilpailevan teorian välillä ratkesi 1960-luvulla. Tuolloin saatiin todisteita alkuräjähdyksen puolesta moneltakin suunnalta. Ensimmäisenä saatiin radioastronomian puolelta havaintoja avaruuden geometriasta, jotka eivät sopineet steady state -malliin. Lisää todisteita tarjosivat kvasaarit ja heliumin osuus maailmankaikkeudessa. Vuonna 1965 löytyi aiemmin ennustettu kosminen taustasäteily. Löydön takana olivat Penzias ja Wilson, jotka eivät kuitenkaan osanneet selittää havaintojaan. Löydön merkitys paljastui, kun kosmologiaa tutkinut Robert Dicke sai tietää tuloksista ja 1980-luvuilla kosmologian siteet ydin- ja hiukkasfysiikkaan vahvistuivat. Uudet hiukkaskiihdyttimet tarjosivat tietoa myös kosmologeille. Hiukkasfysiikan puolelta tuli myös Alan Guthin inaatioteoria, jonka mukaan varhainen maailmankaikkeus laajeni ja kylmeni hyvin nopeasti [7], [8], [9]. Inaatioteoria täytti joitakin perinteiseen alkuräjähdysteoriaan jääneitä aukkoja. Tätä uutta teoriaa pidettiin aluksi kovin metafyysisenä, mutta se hyväksyttiin, kun sitä tukevaa havaintoaineistoa alkoi kertyä enemmän luvulla havaintomenetelmät alkoivat olla siinä määrin kehittyneitä, että kosmologian kultakausi saattoi alkaa. Hyödyllisiä olivat erityisesti satelliittihavainnot. Esimerkiksi taustasäteilyä tarkkailleet WMAP- ja COBE-luotaimet nostivat havainnot uudelle tasolle. Testejä mahdollisille kosmologian teorioille löytyi kosmisesta taustasäteilystä, suuren skaalan rakenteista ja supernovista. Vuonna 1998 tehtiin kosmologian kannalta tärkein löytö: supernovahavainnot tukevat ajatusta kiihtyvästi laajenevasta maailmankaikkeudesta [10], [11]. 3
9 Perinteinen yleinen suhteellisuusteoria vaatii tämän selittääkseen kosmologisen vakion. Kosmologiseen vakioon taas liittyy useita ongelmia ja näin syntyykin kysyntä yleistetyille gravitaatioteorioille, joita on ehdotettu montaa eri tyyppiä. Yksi mahdollinen yleistys on Palatini-formalismi. Yleisessä suhteellisuusteoriassa aikaavaruuden luonteen määrää metriikka geometrian kannalta yhdensuuntaissiirtoon liittyvä konnektio määräytyy myös metriikan avulla. Palatini-formalismissa tai metris-ainissa formalismissa konnektio on a priori metriikasta riippumaton. Eräällä Lagrangen tiheyden valinnalla metris-aini formalismi tuottaa samat kenttäyhtälöt kuin yleinen suhteellisuusteoria erikoistapauksena. Merkittävää on, että metris-aini formalismi voi selittää maailmankaikkeuden kiihtyvän laajenemisen ilman pimeää energiaa. 4
10 2 Yleistettyjen gravitaatioteorioiden motivointi 2.1 Kokeelliset syyt Einsteinin yhtälöihin tulee Lagrangen tiheyden potentiaalitermistä kosmologinen vakio. Einstein otti sen alun perin mukaan saadakseen tulokseksi stationäärisen maailmankaikkeuden. Kun myöhemmin Hubblen tulokset osoittivat, että maailmankaikkeus ei ollutkaan stationäärinen, Einsteinin kutsui kosmologista vakiota elämänsä suurimmaksi munaukseksi. Einsteinin epäonnistumisetkin saattavat olla kiinnostavia, sillä uudet havainnot laajenevasta maailmankaikkeudesta ovat tehneet kosmologisesta vakiosta jälleen mielenkiinnon kohteen. Tyypin Ia supernovat (SNIa) ovat yksi tärkeimmistä apuvälineistä mitatessa tähtitieteellisiä etäisyyksiä. Supernovina räjähtävät tähdet ovat lyhytikäisiä ja sen vuoksi niitä voidaan havaita myös hyvin nuoressa maailmankaikkeudessa. Lisäksi supernovan fysiikka tunnetaan melko hyvin ja 1990-luvun puoliväliin mennessä niiden valokäyrät 1 tunnettiin varsin hyvin. Vähän aikaa supernova loistaa emogalaksiaan kirkkaammin. Havaittujen supernovien kirkkautta mittaamalla voidaan laskea galaksin punasiirtymä ja etäisyys. Tässä tutkielmassa ei paneuduta supernovien fysiikkaan, johon voi perehtyä lähes kaikkien tähtitieteen oppikirjojen avulla, esim. [12], [13]. Jo paljaan silmän havainnot osoittavat, että maailmankaikkeudessa on huomattava määrä tavallista ainetta. Kaikkea maailmankaikkeuden liikettä ei kuitenkaan pystytä selittämään pelkästään näkyvän materian avulla. Vaihtoehtoja on kaksi. Joko gravitaatioteoria vaatii korjausta tai maailmankaikkeudessa on runsaasti jotakin eksoottisessa muodossa olevaa energiaa. Aiemmin mainittu Einsteinin kosmologinen vakio, jolla on negatiivinen paine, on yksi selitysehdotus. Tämä negatiivinen paine selittäisi kiihtyvän laajenemisen. Ratkaisu voi ol- 1 en. light curve, valon intensiteetti ajan funktiona. 5
11 la muunkin luonteinen. Esimerkiksi Palatini-formalismi lähtee liikkeelle jostakin Lagrangen tiheydestä kuten Einsteinin teoriakin, mutta kenttäyhtälöt johdetaan eri tavalla. Toisaalta teoria saattaa kaivata syvällisempää muokkausta, lähtien niinkin itsestään selvältä tuntuvan asian kuin ulottuvuuksien määrän muuttamisesta. Tällöin painovoimaa voisi hukkua ylimääräisiin ulottuvuuksiin ja siten avaruuden laajenemiselle olisi vähemmän vastusta [14]. 2.2 Teoreettiset syyt Teoreettiseen fysiikkaan kuuluu perinteisten teorioiden kyseenalaistaminen ja toisaalta uusien kehittely. Jo siitä syystä tutkitaan yleistettyjä gravitaatioteorioita. Vaikka Einsteinin teoria on yksinkertaisin ja siksi kaunis, ei se välttämättä ole koko totuus. Newtonin gravitaatiokin oli riittävän tarkka useaksi sadaksi vuodeksi, mutta silti se on vain raja-arvo laajemmasta teoriasta. EinsteinHilbert-vaikutus ei nouse esiin mistään teoriasta. On siis syytä epäillä, että taustalla on olemassa jokin syvällisempi periaate, jota ei vain vielä tunneta. Mikään ei estä vaikutusta sisältämästä epälineaarista riippuvuutta kaarevuudesta tai jonkinlaista muuta lisäystä. Osoittautuukin, kuten historian saatossa on tapahtunut aiemminkin, että nykyiset teoriat ovat monissa tilanteissa tyydyttäviä, mutta eivät kuitenkaan koko totuus. Kenttäyhtälöiden ratkaisemisessa on kyse Cauchyn tehtävästä. Tämä on ongelma, jota on tutkittu varsin paljon. Eräs kohtuullisen laaja katsaus asiaan löytyy viitteestä [15]. Keskustelua on käyty pitkään, mutta lopullista tulosta ei ole vielä saatu [16]. Erityisen kiinnostava on kysymys siitä, onko Cauchyn tehtävä hyvin asetettu sekä metrisessä että metris-ainissa formalismissa vai vain toisessa [17]. Yleensäkin tieteessä ja erityisesti fysiikassa pyritään kohti mahdollisimman yksinkertaisia ja kattavia teorioita [18]. Sähköinen ja magneettinen vuorovaikutus saatiin yhdistettyä jo sata vuotta sitten. Kun sähkömagnetismi ja heikko vuorovaikutus saatiin myöhemmin yhdistettyä, syntyi usko mahdollisuuteen löytää kaikki perusvuorovaikutukset yhdistävä teoria. Nykyään pystytään esittämään sekä sähköheikko- että vahvavuorovaikutus renormalisoituvina kvanttikenttinä. Kaikkien vuorovaikutusten yhdistäminen yhden teorian alle on kuitenkin osoittautunut erityisesti gravitaation osalta hankalaksi. Einsteinin gravitaatiota ei pystytä kvantisoimaan, toisin kuin muita vuorovaikutuksia. Monia kilpailevia teorioita, esimerkiksi säieteoria, on ehdotettu, mutta tyydyttävää ratkaisua ei ole löytynyt. Hankala kysymys on myös maailmankaikkeuden synty. Mitä tapahtui hetkellä nolla? Einsteinin gravitaatio ei ole riittävä selittämään tätä mielenkiintoista kysymystä. Vaikuttaa siltä, että näiden äärimmäisten olosuhteiden kuvauksessa vaaditaan toimivaa kvanttigravitaation teoriaa. Hyvä yleistetty gravitaatioteoria voisi tarjota nykyistä paremman approksi- 6
12 maation hankaluuksia tuottavasta kvanttigravitaatiosta. Einsteinin gravitaatio tuottaa luonnostaan singulariteettiratkaisuja, joita pidetään kiusallisina. Nämä on mahdollista välttää joissakin teorioissa [19]. Suurilla etäisyyksillä yleinen suhteellisuusteoria tuottaa hyviä tuloksia, mutta erittäin lyhyet etäisyydet, joilla kvanttivaikutukset tulevat merkittäviksi, vaaditaan jotakin uutta. Säieteoria tarjoaisi mahdollisuuksia, mutta teorian keskeneräisyys on ongelma. Monia teorian piirteitä saadaan kuitenkin mukaan käyttämällä efektiivistä voimaa, johon on tehty säieteorian mukaiset korjaukset. Otettaessa käyttöön kvanttikorjauksia, joudutaan gravitaatiokenttien yhtälöihin lisäämään termejä. Eräitä mahdollisia yleistettyjä gravitaatioteorioita ovat skalaaritensoriteoriat ja moniulotteiset KaluzaKlein-teoriat [20]. Molemmat näistä liittyvät BransDicke-teoriaan, jota on käytetty monien yleistettyjen gravitaatioteorioiden pohjana. Yksi tärkeä syy tämän teorian kehittämiseen oli luoda Machin periaatteen[21] sisältävä teoria. Se ei täysin sisälly yleiseen suhteellisuusteoriaan, vaikka Einstein piti tätä yhtenä johtotähtenään suhteellisuusteoriaa luodessaan. Machin periaate on ongelmallinen siinä mielessä, että sen kantava ajatus massa täällä vaikuttaa inertiaan tuolla on varsin epämääräinen. Tämän vuoksi Machin periaatteeksi on esitetty erilaisia väitteitä. Viitteessä [22] on lueteltu kymmenen erilaista tulkintaa Machin periaatteesta. BransDicke-teoriassa esiintyy parametri ω vaikutuksessa [20] 2 S BD = 1 16π dω g [ φr ω φ gµν µ φ ν φ V (φ) ] + S M, (2.1) ja rajalla ω tulokset ovat useimmissa tapauksissa samat kuin yleisellä suhteellisuusteorialla. Skalaaritensoriteorioiden vaikutus muistuttaa BransDicke-teorian vastaavaa vaikutusta. Merkittävä ero on, että tässä parametri ω = ω(φ) riippuu skalaarikentästä. KaluzaKlein-teoriasta puolestaan voidaan johtaa BransDicke-teoria. EinsteinHilbert-vaikutukselle on monia vaihtoehtoja. Suosittuja tutkimuskohteita ovat niin sanotut f(r)-teoriat, joissa vaikutus on muotoa S f(r) = dω gf(r). (2.2) Tämä on siinä mielessä yksinkertainen muutos, että se ei tuo mukanaan uusia kenttiä. Eniten tutkittuja ovat paitsi perinteinen R, lisätermit R 2 ja 1 (esim. [23], [24]). Ongelmana on R kuitenkin, että mikäli käytetään edelleen puhtaasti metristä variaatioperiaatetta 3, tulokset eivät saa oikeaa newtonilaista rajaa [25], [26], [23] eivätkä selviä Aurinkokunnan testeistä [23], [27]. 2 Tutkielmassa käytetään liitteen A mukaista merkintää d 4 x U dω. 3 Seuraavassa luvussa on käsitelty kolmea erilaista variaatioperiaatetta. 7
13 3 Palatini-formalismi 3.1 Palatini-formalismin taustaa Ennen varsinaista tarkastelua on hyvä ensin perehtyä menetelmän historiaan. Palatini-formalismin kehityksestä viime vuosisadan alussa kertoo erityisesti viite [28]. Lähdettäessä johtamaan Einsteinin kenttäyhtälöitä (tai mahdollisesti jonkin yleistetyn gravitaatioteorian) käytetään yleensä sopivaa variaatioperiaatetta. Vaihtoehtoja on kuitenkin enemmän kuin yksi, eivätkä vaihtoehtoiset tavat välttämättä johda samaan tulokseen. Yksi vaihtoehto on metris-aini variaatioperiaate, jossa riippumattomia kenttiä ovat metriikka g ja konnektio Γ. Mukaan voidaan liittää myös materian kenttiä φ. Metris-ainia teoriaa rakennettaessa tehdään oletus, että metriikka ja konnektio sisältävät kaiken oleellisen informaation käsiteltävästä monistosta. Metriikka määrää kronologisen rakenteen ja konnektio ainin rakenteen. Otetaan käyttöön Lagrangen tiheys L MA, jonka kentät ovat g, g, Γ, Γ, φ ja φ. Kenttäyhtälöt saadaan varioimalla vaikutusta eli δ u ( U ) dωl MA (u, u) = 0, (3.1) jossa variaatio käy läpi kaikki riippumattomat kentät u = (g, Γ, φ). Tätä metriikan ja konnektioiden tulkitsemista riippumattomiksi kentiksi kutsutaan Palatinin variaatiomenetelmäksi tai sanotaan, että kenttäyhtälöt saadaan Palatinin formalismissa. On tosin kyseenalaista, kuuluuko tässä asiassa kunnia Palatinille. Kolmas käytetty nimitys on ensimmäisen kertaluvun formalismi 1. Tämän viimeisen nimityksen merkitys näkyy vaikutuksessa (3.1), joka on funktio kentistä ja näiden ensimmäisistä derivaatoista. Saadaan siis ensimmäisen kertaluvun dierentiaaliyhtälöitä. Koska tässä metriikkaa ja konnektioita varioidaan erikseen, ei etukäteen voida olettaa minkäänlaista riippuvuutta näiden kahden välille. Jos esimerkiksi oletetaan, että Γ on Levi- Civita-konnektio jolloin komponentit ovat Christoelin symboleita päädytään erilaiseen 1 Tätä suomenkielistä nimitystä käytetään harvoin, mutta englanninkielistä termiä rst order formalism näkee artikkeleissa. 8
14 variaatioperiaatteeseen. Tällöin on Γ = Γ(g, g), joten Lagrangen tiheys voidaan kirjoittaa muodossa L M (g, g, 2 g, φ, φ). Kenttäyhtälöitä haetaan siis yhtälöstä δ v ( U ) dωl MA (v, v, 2 v) = 0, (3.2) jossa tällä kertaa variaatio käy läpi kaksi riippumatonta kenttää v = (g, φ). Koska variaatiota ei suoriteta aineiden konnektioiden suhteen, tätä vaihtoa kutsutaan puhtaasti metriseksi (tai Hilbertin) variaatioperiaatteeksi. Joskus tässä yhteydessä käytetään Lagrangen kertoimia. Tällöin konnektion metrisyys tulee mukaan side-ehtona. Tämä menetelmä on ekvivalentti puhtaasti metrisen variaatioperiaatteen kanssa [29]. Palatini käytti vuoden 1919 artikkelissaan [30] tätä puhtaasti metristä variaatioperiaatetta, mutta lähestyen hieman eri suunnasta [28]. Hän aloitti käsittelemällä yleistä konnektiota, mutta puolitiessä valitsi kuitenkin Levi-Civita-konnektion. Artikkelissa johdettu Palatinin yhtälö on kuitenkin voimassa yleisellä konnektiolla. Kolmas vaihtoehtoinen variaatioperiaate [31], [32] on puhtaasti aini variaatioperiaate [28]. Tässä tapauksessa kenttäyhtälöitä haetaan muodossa δ w ( U ) dωl A (w, w, 2 w) = 0, (3.3) jossa varioidaan kahden kentän Γ ja φ suhteen. Tässä siis konnektio on perimmäinen kenttä ja se vastaa siten koordinaatteja relativistisessa mekaniikassa [33]. Tätä analogiaa voi jatkaa rinnastamalla kaarevuuden nelinopeuteen ja metriikan yleistettyihin momentteihin. Tämä analogia toimii siinäkin mielessä, että konnektio ja koordinaatit eivät ole tensoreita, mutta niiden variaatiot ovat (koordinaattien variaatiot ovat vektoreita). Metrinen tensori syntyy konnektiosta riippuvan Lagrangen tiheyden Hamiltonin derivaatoista [34]. Kun Einstein esitteli alustavat ja epätäydelliset yhtälönsä marraskuussa 1915, hän käytti puhtaasti metristä variaatiomenetelmää. Tällöin hän kuitenkin teki oletuksen, että g = 1 eikä Lagrangen tiheys ollut yleisesti kovariantti. Myöhemmin samassa kuussa, kun hän esitteli lopulliset yhtälönsä, ei artikkelissa ollut käytetty mitään variaatioperiaatetta. Samoihin aikoihin David Hilbert johti Einsteinin yhtälöt metrisellä variaatioperiaatteella käyttäen Lagrangen tiheytenä L = R g, (3.4) joka on kovariantti. Einstein julkaisi seuraavana vuonna yleisen suhteellisuusteorian perusteet [35] 2, jossa kuitenkin on edelleen ongelmana, että variaatioperiaate ei ole kovariantti. Samana vuonna Lorentz perehtyi Einsteinin tuloksiin käyttäen samaa Lagrangen tiheyttä kuin Hilbert. 2 käännös [36] 9
15 Lisäksi Lorentz tutki monia erilaisia materiatermejä. Oletettavasti hänen töidensä vaikutuksesta Einstein palasikin tähän ongelmaan artikkelissaan [37]. Tällä kertaa käytössä ei ollut ongelmallista rajoitusta metriikalle. Lisäksi hän asettaa tässä artikkelissa materialle huomattavasti aiempaa vähemmän oletuksia. Metrisen formalismin voi katsoa tässä vaiheessa päässeen eroon lastentaudeistaan, vaikkakin Klein kehitteli sitä edelleen Emmy Noetherin ajatusten pohjalta. Palatini julkaisi oman artikkelinsa [30] 3 vuonna Hänen tarkoituksensa oli kehitellä eteenpäin Hilbertin päättelyä ja säilyttää kaikissa yhtälöissä tensoriluonne. Artikkeli sisältääkin arvokkaita tuloksia: Palatinin yhtälö ja tieto Christoelin symbolin variaation tensoriluonteesta. Erityisesti Palatinin yhtälö on riippumaton symmetrisen konnektion valinnasta eikä siis vaadi näiden olevan Christoelin symboleita. Palatini ei kuitenkaan käyttänyt mielivaltaisia konnektioita, vaan rajoittui yksinomaan metriseen tapaukseen. Näin siitäkin huolimatta, että hän esitteli yleisen konnektion käyttämisen mahdollistavia työkaluja. Palatinin artikkeli ei kuitenkaan tullut tuolloin laajalti tunnetuksi. Samaan aikaan Weyl pohdiskeli samansuuntaisia asioita [39] todennäköisesti tuntematta Palatinin töitä. Weylin työt tulivat paremmin tunnetuiksi ja niiden perusteella ryhdyttiin pohtimaan puhtaasti aineja gravitaatioteorioita. Ensimmäisten joukossa oli Eddington, joka pääsi lähelle kohdettaan, mutta hän määritteli metriikan siten, että se lukitsi konnektion. Lopputulos oli siis pohjimmiltaan edelleen puhtaasti metrinen. Hieman myöhemmin, 1923, Einstein kehitteli tätä ajatusta edelleen. Suurena ajatuksena oli yhdistää sähkömagnetismi ja gravitaatio yhden teorian alle geometriselta pohjalta. Hän esitti, että Lagrangen tiheyden tulisi riippua pelkästään konnektiosta ja sitä tulisi myös varioida konnektion suhteen. Metriikka saataisiin oheistuotteena. Einstein palasi asiaan vielä uudelleen vuonna 1925, koska yhdistetty kenttäteoria tuotti ongelmia. Yhdistettyä kenttäteoriaa ei vieläkään syntynyt, mutta hänen artikkelinsa oli ensimmäinen, jossa nykyisin tunnettu Palatinin menetelmä esiintyi. Hän siis hylkäsi puhtaasti ainin variaatioperiaatteen ja palasi käyttämään metris-ainia variaatioperiaatetta. Tässä esityksessä hän ei olettanut edes konnektion symmetrisyyttä. Tämä käytiin kuitenkin läpi erikoistapauksena. Einstein ei viittaa artikkelissaan Palatinin töihin. Myöhemmin Einstein kyllä viittasi Palatiniin, joten on todennäköistä, että Einstein ei tässä vaiheessa tuntenut Palatinin töitä. Ensimmäistä kertaa Einstein viittasi Palatiniin Hän nimitti tätä metris-ainia variaatioperiaatetta Palatinin menetelmäksi ja tämä nimitys on pysynyt, vaikkakin kunnia kuulunee etupäässä Einsteinille. Koska tämäkään menettely ei tuottanut tulosta yhdistetyn kenttäteorian saralla, metris- 3 Käännös [38] 10
16 aini variaatio menetti suuren osan merkityksestään, sillä EinsteinHilbert-vaikutuksen tapauksessa metrinen ja metris-aini variaatio tuottavat ekvivalentit tulokset. Palatinin formalismi koki kuitenkin uuden nousun 1950-luvulla, kun menetelmää käytettiin kaarevuustensorin suhteen kvadraattisten Lagrangen tiheyksien yhteydessä. Jälleen kerran motivaationa oli yhdistetty kenttäteoria. Erityisesti Buchdahl kuitenkin puhui Palatinin formalismia vastaan ja ehdotti sen hylkäämistä [40], [24] ja 1980-luvun tutkimuksissa on havaittavissa tiettyä ennakkoluuloisuutta suhteellisuusteorian kilpailijoita kohtaan. Tuolloin havainnot eivät olleet osoittaneet vielä mitään syitä poiketa yleisestä suhteellisuusteoriasta. Koska metris-aini variaatioperiaate tarjosi vain toisen tavan johtaa Einsteinin yhtälöt, koettiin se lähinnä taakaksi [29]. Sama päti muihinkin muutoksiin yleiseen suhteellisuusteoriaan. Viime aikoina Palatinin formalismi on jälleen kerännyt huomiota. Tällä kertaa kiinnostus ei johdu niinkään yhdistetystä kenttäteoriasta, vaan mahdollisuudesta selittää pimeän energian ongelma. Näin maailmankaikkeude kiihtyvää laajenemista ei tarvitsisi selittää mystisellä pimeällä energialla, vaan kyseinen käytös nousisi suoraan teoriasta. Toinen käyttökohde on kvanttigravitaation ongelma. Ashtekar kehitteli 1980-luvulla uutta formalismia, johon voidaan soveltaa kvantisointia mittakenttäteorioista [41],[42]. Ongelmallista tässä on, että kentät ovat kompleksisia ja seurauksena on hankaluuksia reaalisuusehdoista. Myöhemmin Barberon [43] ja Holstin [44] töissä Ashtekarin formalismia on kehitetty edelleen ja mukaan on tullut Palatinin formalismi. Nykyään usein kvantisoinnissa käytetään Palatinin vaikutusta, jota varioidaan kahden kentän tetradin 1 ja konnektion suhteen [46], [47]. 3.2 Palatini-formalismi f(r)-teorian tapauksessa Tässä ja jatkossa otetaan käyttöön liitteessä A esitellyt merkinnät. Enimmäkseen nämä ovat laajalti tunnettuja, mutta tensoritiheyksien merkitseminen fraktuuralla on hieman harvinaisempi tapa. Tässä luvussa tarkastellaan f(r)-tyyppisiä Lagrangen tiheyksiä metris-ainin variaatioperiaatteen valossa. Torsion oletetaan häviävän a priori tämän luvun tarkasteluissa. Perinteisesti tätä on pidetty luonnollisena oletuksena, sillä torsiota ei ole pystytty kokeellisesti havaitsemaan. Tätä kiertyvän aika-avaruuden tapausta tarkastellaan seuraavassa luvussa. 1 Tämä liittyy metriikkaan, sillä g µν = e α µe β ν η αβ [45]. Tetradeista kerrotaan laajemmin liitteessä C. 11
17 Riippumatta variaatioperiaatteesta, lähtötilanne on δ dωl = dω(a µν δg µν + B µν α δγ α µν). (3.5) U U Tässä L on Lagrangen tiheys kerrottuna metriikasta saatavalla g. Oikealla puolella esiintyvät A ja B ovat joitakin tensoritiheyksiä. Metris-ainin variaation tapauksessa tästä saadaan yhtälöiksi A µν = 0, B µν α = 0. (3.6) Metrisen variaation tapauksessa kirjoitetaan δγ α µν riippuu metriikasta, jolloin saadaan G µν = 0. (3.7) Toisin sanoen Einsteinin tensoritiheyden tulee hävitä. Lähdetään nyt tarkastelemaan vaikutusta S(g, g, Γ, Γ) = 1 dω gf(r) + S M, (3.8) 2κ U jossa κ on jokin vakio. Jo tässä vaiheessa huomataan yksi etu Palatinin formalismissa: vaikutuksessa on vain ensimmäisen kertaluvun derivaattoja kentistä. Ensinnäkin tätä voidaan varioida metriikan g µν suhteen δs = 1 dωδ [ gf(r) ] + δs M = 1 dω [ f(r)δ g + gf (R)δR ] + δs M. 2κ U 2κ U (3.9) Nyt tarvitaan tietoa δ g = g g µν δgµν = 1 2 g g g µν δgµν = 1 2 g µνδg µν. (3.10) Lisäksi δr = δ(g µν R µν ) = R µν δg µν, koska Riccin kaarevuusskalaari on funktio aineista konnektioista, jotka eivät siis metris-ainissa tapauksessa riipu metriikasta. Näiden kahden avulla saadaan (3.9) muotoon δs = 1 2κ Koska variaation pitää hävitä, saadaan joka voidaan kirjoittaa U dω [ 1 2 g µνf(r)δg µν + f (R)R µν δg µν] + δs M δg µν δgµν. (3.11) 1 [ f (R)R µν 1 2κ 2 g µνf(r) ] = δs M, (3.12) δg µν f (R)R µν 1 2 g µνf(r) = 12 2κ g δs M δg µν κt µν. (3.13)
18 Ennen kuin vaikutusta voidaan varioida konnektion suhteen, tarvitaan työkaluja. Erityisesti tarvitaan Palatinin identiteettiä (tulos tunnetaan myös Palatinin yhtälön nimellä), joka oli esillä jo aiemmin: δr µν = λ δγ λ µν ν δγ λ µλ. (3.14) Jotta kyseinen tulos saadaan johdettua, on ensin syytä tarkastella hetki konnektiota Γ α µν sekä sen variaatiota δγ α µν. Konnektiot Γ α µν eivät käyttäydy muunnoksissa kuten tensorit (eivät edes Christoelin symbolit) [48]. Yksi tapa saada tämä tulos olisi tarkastella vaikkapa kontravariantin vektorin kovarianttia derivaattaa ν A µ = ν A µ +Γ µ ναa α ja vaatia sen olevan (1,1)-tensori. Tämä tuottaa Γ α µν:lle muunnoskaavan, joka ei yleisessä tapauksessa ole tensorin muunnoskaava. On tietenkin luonnollista, että näin on, koska konnektiot ovat korjaamassa tensorin derivoinnissa syntyvän ylimääräisen osan. Toisin kuin Γ α µν, on δγ α µν tensori [49], jolla on kovariantit derivaatat. Kuten aiemmin todettua, tämä tulos on peräisin Palatinin artikkelista [30] tosin metrisen konnektion tapauksessa. Liitteessä B.2 on perehdytty Palatinin tapaan johtaa tämä tulos. Toinen ja lyhyempi tapa saada tämä tulos on tarkastella konnektion Γ α µν pientä muutosta joten siis Γ α µν Γ α µν = Γ α µν + δγ α µν, (3.15) δγ α µν = Γ α µν Γ α µν. (3.16) Kahden konnektion Γ α µν erotukset ovat tensoreita, koska muunnoksen epähomogeeniset osat kumoavat toisensa. Tässä menetelmässä on myös se etu, ettei tarvitse olettaa konnektion metrisyyttä tai edes torsiottomuutta. Palatinin yhtälön johtaminen kuitenkin vaatii torsiottomuutta. Torsiollinen tapaus käsitellään myöhemmin luvussa 5. Nyt Palatinin yhtälö saadaan käyttäen määritelmiä (A.4) ja (A.5) δr µν = δr α µαν = δ( ν Γ α µα α Γ α νµ + Γ α κνγ κ µα Γ α καγ κ νµ) (3.17) = λ δγ λ µν ν δγ λ µλ + δγ λ σλγ σ µν + Γ λ σλδγ σ µν δγ λ σνγ σ µλ Γ λ σνδγ σ µλ ( ) ( ) = λ δγ λ µν + δγ λ σλγ σ µν δγ λ σνγ σ µλ Γ λ σνδγ σ µλ ν δγ λ µλ Γ λ σλδγ σ µν. (3.18) Ensimmäisistä sulkeista saadaan kolmannen asteen sekatensorin kovariantti derivaatta. Samoin toisten sulkujen termien avulla saadaan kovariantin vektorin kovariantti derivaatta. Saadaan siis tulos (3.14). Tämä tulos voidaan johtaa muillakin tavoilla, joista yhden esitti Palatini artikkelissaan [30]. Nyt on esitelty tarvittavat työkalut vaikutuksen (3.8) varioimiseksi kon- 13
19 nektion suhteen: δs = 1 2κ = 1 2κ U U dωδ [ gf(r) ] + δs M = 1 dω gf (R)δR 2κ U dωf (R)g µν δr µν, (3.19) jossa materian osuus S M ei riipu konnektioista. Tässä voidaan selvästikin käyttää edellä käsiteltyä Palatinin yhtälöä (3.14), jonka avulla saadaan [50] δs = 1 dωf (R)g µν ( ν δγ α µα α δγ α 2κ µν). (3.20) U Tässä kohdin voidaan käyttää Gaussin lausetta [51]. Koska variaatio häviää pinnalla, on dωf (R)g µν ν δγ α µα = dωδγ α µα ν (f (R)g µν ). (3.21) U Tässä on syytä huomata, että vasemmalla kovariantin vektorin kovariantti derivaatta, kun taas oikealla puolella on toisen asteen kontravariantin tensoritiheyden kovariantti derivaatta. Tätä asiaa on tarkasteltu liitteessä B.1. Toimimalla vastaavasti toisen termin suhteen voidaan kirjoittaa δs = 1 dω [ ] ν (f (R)g µν )δγ α µα α (f (R)g µν )δγ α µν 2κ U = 1 dω [ δ ν 2κ α β (f (R)g µβ ) α (f (R)g µν ) ] δγ α µν. (3.22) U Koska vaikutuksen varioinnin tulee hävitä mielivaltaisessa tilavuudessa, jonka yli integroidaan, täytyy olla [ δ ν α β (f (R)g µβ ) α (f (R)g µν ) ] δγ α µν = 0 (3.23) Koska tässä kappaleessa tarkastellaan symmetrisen konnektion tapausta, jossa Cartanin torsiotensori häviää [52], [53] eli S µν α = 1 2( Γ α µν Γ α νµ) = 0 pitää edellisessä symmetrisen osan hävitä sulkujen sisältä eli U 1 2 δν α β ( f (R)g µβ) δµ α β ( f (R)g νβ) α ( f (R)g µν) = 0. (3.24) Tämä tulos voidaan saattaa vielä siistimpään muotoon. Kontraktoidaan α ja µ, µ ( f (R)g µν) 1 2 β( f (R)g βµ) δ ν µ 1 2 β( f (R)g βν) δ µ µ = β(f (R)g βµ )δ ν µ + 2 β (f (R)g βν ) = µ (f (R)g µν ) 5 2 µ(f (R)g µν ) = µ (f (R)g µν ) 14 µ (f (R)g µν ) = 0. (3.25)
20 Tämänkaltainen toimenpide voidaan suorittaa aina, jos n 2. Sijoitetaan tämä tulos takaisin yhtälöön (3.24), jolloin ainoastaan viimeinen termi jää jäljelle. Kenttäyhtälöt ovat siis α ( f (R)g µν) = 0, f (R)R µν 1 2 g µνf(r) = κt µν. (3.26a) (3.26b) Vertailu puhtaasti metrisen variaatioperiaatteen tuloksiin Nyt voidaan metris-ainin variaatioperiaatteen tuloksia verrata vain metriikkaa varioimalla saatuun tulokseen EinsteinHilbert-vaikutuksen tapauksessa, jossa siis f(r) = R 2Λ ja. Tällöin kenttäyhtälöt (3.26) saadaan muotoon κ = 1 2 α (g µν ) = 0, R µν 1 2 g µνr + g µν Λ = 1 2 T µν. (3.27a) (3.27b) Jälkimmäinen on juuri sama, metrisellä variaatioperiaatteella saatu tulos ja sitä kutsutaan Einsteinin (gravitaatio)yhtälöksi. Ylempi yhtälö on uusi. Se ei kuitenkaan tuo uutta informaatiota, sillä se vastaa metrisyysehtoa eli kertoo konnektion komponenttien Γ α µν olevan Christoelin symboleita. Vaatimus, että konnektio on Levi-Civita-konnektio sisältää tarkalleen ottaen kaksi erillistä vaatimusta, metrisyysehdon ja torsiottomuuden. Torsiottomuus on kuitenkin ollut tässä käsittelyssä koko ajan oletettuna. Seuraavalla tavalla voidaan osoittaa, että (3.27a) kertoo komponenttien Γ α µν olevan Christoffelin symboleita (torsiottomassa tapauksessa). Ensinnäkin tarvitaan kovariantti derivaatta α g, joka on määritelty [54] α g = α g Γ µ µα g. (3.28) Tästä saadaan käyttäen tunnettuja metriikan determinantin g derivointiominaisuuksia g α g = 2 gµν α g µν Γ µ µα g. (3.29) Lähdetään tarkastelemaan seuraavanlaista rakennetta: Toisaalta on voimassa myös α (g µν g νβ ) = g µν α g νβ = gg µν α g νβ. (3.30) α (g µν g νβ ) = α ( gδ µ β ) = δµ β α g. (3.31) 15
21 Voidaan siis kirjoittaa (3.29) avulla δ µ β α g = δ µ g β ( 2 gλν α g λν Γ λ λα g) = gg µν α g νβ. (3.32) Kontraktoidaan nyt µ ja β, jolloin 2 gg µν α g µν 4 gγ µ µα = gg µν ( α g µν Γ β ναg νβ Γ β µαg βν ). (3.33) Oikea puoli sievenee kontraktiot laskemalla ja saadaan eli 2 gg µν α g µν 4 gγ µ µα = gg µν α g µν 2 gγ µ µα (3.34) gg µν α g µν 2Γ µ µα = 2 α g = 0. (3.35) Sijoitetaan tämä tulos yhtälöön (3.32), jolloin nähdään, että 0 = gg µν α g νβ. (3.36) Tästä seuraa, että α g νβ = 0. (3.37) Tuloksena saatiin siis Riccin identiteetti eli metrisyysehto. Käytännössä tämä tarkoittaa, että yhdensuuntaissiirrossa pituus säilyy. Tätä ominaisuutta kutsutaan metrisyydeksi. Riccin identiteetin avulla voidaan kirjoittaa Christoelin symbolin määritelmässä (A.2):ssa esiintyvät kolme derivaattaa seuraavalla tavalla: µ g βν = µ g βν Γ α µβg αν Γ α µνg αβ = 0 µ g βν = Γ α µβg αν + Γ α µνg αβ, ν g βµ = Γ α νβg αµ + Γ α νµg αβ, Summataan kolme viimeistä yhtälöä, jolloin saadaan β g µν = Γ α βµg αν Γ α βνg αµ. (3.38) µ g βν + ν g βµ β g µν = Γ α µβg αν + Γ α µνg αβ + Γ α νβg αµ + Γ α νµg αβ Γ α βµg αν Γ α βνg αµ = Γ α µνg αβ + Γ α νµg αβ = 2Γ α µνg αβ, (3.39) kun muistetaan, että tarkastellaan torsiotonta tapausta. Tulos alkaa jo olla selvästi nähtävillä, mutta kerrotaan vielä puolittain yhdistelmällä 1 2 gαβ, jotta saadaan 1 2 gαβ ( µ g βν + ν g βµ β g µν ) = Γ α µν, (3.40) 16
22 joka on Christoelin symbolin määritelmä (A.2). Tämän käsittelyn tuloksena siis todetaan, että yksinkertaisessa tapauksessa, jossa varioidaan EinsteinHilbert-vaikutusta, saadaan samat yhtälöt varioimalla pelkästään metriikan suhteen tai varioimalla sekä metriikan että konnektioiden suhteen. Yleinen suhteellisuusteoria siis saadaan metris-ainin f(r)-teorian erikoistapauksena. Selvää on myös, että tulokset eivät yleisesti ole samat, sillä konnektioiden suhteen variointi tuottaa yhtälön, joka ei välttämättä ole pelkkä metrisyysehto. Tämä tulos voidaan tietenkin johtaa Palatinin menetelmällä suoraan EinsteinHilbert-vaikutuksesta käyttämättä aluksi yleisempää f(r)-teoriaa [54] Konnektion lisätarkasteluja Konnektion variaatiolla saatu kenttäyhtälö (3.26a) on mahdollista ratkaista suoraan konnektion suhteen kirjoittamalla auki kovariantti derivaatta. Vaihtoehtoisesti voidaan määritellä uusi metriikka ĝ µν = f (R)g µν, (3.41) jolloin yhtälö on α ĝ µν = 0. (3.42) Tämä puolestaan on edellisen osion tarkastelun mukaan yhtäpitävä sen kanssa, että konnektio Γ α µν on Christoelin symboli uuden metriikan ĝ µν suhteen. Sanotaan, että metriikat g ja g ovat konformit, jos [55] g µν = Ω 2 g µν, g µν = Ω 2 g µν, (3.43) jollakin nollasta eroavalla dierentioituvalla funktiolla Ω. Sanotaan myös, että metriikalle on tehty konformimuunnos. Yhtälön (3.41) määrittelemä uusi metriikka ja alkuperäinen ovat siis konformit. Konformimuunnos vaikuttaa ajan- tai paikanluonteisten intervallien pituuteen, mutta se jättää kausaalisuuden ennalleen. Valokartio pysyy siis muuttumattomana [56], [57]. Koska uuden metriikan tapauksessa konnektion komponentit ovat Christoelin symbol- 17
23 eita voidaan määritelmään (A.2) sijoittaa ĝ µν = ( f (R) ) 2 gµν, jolloin 4 Γ α µν = 2ĝαβ[ 1 ] µ ĝ βν + ν ĝ βµ β ĝ µν { } α = + gαβ ( gβν µν f µ f (R) + g βµ ν f (R) g µν β f (R) ) (R) { } α = + 1 ( δ α µν f (R) ν µ f (R) + δµ α ν f (R)g βµ g µν g αβ β f (R) ) { } α = + ( δν α µ ln f (R) + δ α µν µ ν ln f (R)g βµ g µν g αβ β ln f (R) ). (3.44) Tässä on merkitty Christoelin symbolia alkuperäisen metriikan suhteen { α µν} 5. Koska konnektio tämän mukaan riippuu funktiosta f (R), joka edelleen riippuu konnektion derivaatasta, ei konnektio näytä määräytyvän täysin. Tähän mennessä on kenttäyhtälöistä tarkasteltu (3.26a), joten on aika katsoa myös yhtälöä (3.26b). Kontraktio tuottaa yhtälöksi Rf (R) 2f(R) = κt, (3.45) josta saa määrätyllä f(r) ratkaistua R = R(T ). Konnektio siis riippuu energiaimpulssitensorin T derivaatasta. Kun materiatermi riippuu vain metriikasta, eikä sen derivaatoista, saadaan konnektiolle lauseke, joka riippuu vain metriikan ensimmäisistä derivaatoista. Kenttäyhtälöt ovat siis toista kertalukua metriikan suhteen. Laskettaessa Riccin tensori ja -skalaari sijoittamalla (3.44) Riemannin kaarevuustensorin määritelmään (A.4) havaitaan, että nämä muodostuvat metrisistä osista R µν (g), R(g) sekä joukosta korjaustermejä 6 : R µν = R µν (g) 3 2(f ) 2 µf ν f + 1 f µ ν (f ) f g µν f, (3.46a) R = R(g) + 3 f f 3 2(f ) 2 µf ν f. (3.46b) Yhtälön (3.44) muodon perusteella saattoi jo päätelläkin, että Riccin tensorissa ja skalaarissa esiintyisi Christoelin symboleista saatavat kaarevuussuureet. Korjaustermit riippuvat derivaatasta f (R). Koska korjaukset erottuvat erillisiksi termeiksi, voidaan ne kenttäyhtälössä siirtää samalle puolelle energiaimpulssitensorin kanssa ja nimetä koko oikea puoli muunnetuksi lähteeksi. Näin saadaan R µν (g) 1 2 R(g)g µν = κ T µν. (3.47) 4 hawking73 5 Tämä on Christoelin symbolin perinteinen merkintä. Varhaisimmissa artikkeleissa, kuten Palatinin töissä, merkintä oli kuitenkin käänteinen { µν α }. 6 Tässä on merkitty f (R) = f. 18
24 3.2.3 Erikoistapaus, lisätermi 1/R Artikkelissaan [51] 7 Vollick käsitteli erikseen mielenkiintoista tapausta, jossa f(r) = R α2 3R. (3.48) Hän osoitti, että Palatinin formalismissa maailmankaikkeuden kiihtyvä laajeneminen voidaan selittää ilman hankalaa pimeää energiaa. Tässä esityksessä seurataan pääosin hänen artikkeliaan. Tähän asti Palatinin formalismia oli käsitelty harvakseltaan lähinnä kuriositeettina vaihtoehtoisena tapana johtaa Einsteinin yhtälöt, mutta ilman sen kummempaa omaa merkitystä. Luonnollisesti ei kuitenkaan voida valita vain jotakin sopivalta näyttävää tiheyttä piittaamatta sen fysikaalisuudesta. Tässä tapauksessa valintaa voidaan kuitenkin perustella järkevästi. Lukuisat havainnot muun muassa Aurinkokunnan sisällä ovat osoittaneet, että Einsteinin yleinen suhteellisuusteoria pitää paikkansa erittäin hyvin. Sen sijaan suurilla etäisyyksillä tilanne voi olla toinen. Pimeää energiaa tarvitaan selittämään ilmiöitä näillä pienen kaarevuuden alueilla. Lisätermi 2 on siis hyvä ehdokas, koska se on Auringon α 3R lähistöllä pieni ja syvässä avaruudessa pieni. Kun sijoitetaan (3.48) kenttäyhtälöön (3.26b), saadaan (1 + α2 3R )R 2 µν 1 α2 (R 2 3R )g µν = κt µν. (3.49) Kontraktio antaa R + α2 R = κt R2 κt R α 2 = 0, (3.50) jonka voi ratkaista toisen asteen yhtälön ratkaisukaavalla R = 1 2 (κt ± κt 2 + 4α 2 ). (3.51) Näiden kahden ratkaisun fysikaalisuus ei ole itsestään selvää, joten täytyy tehdä merkkitarkastelu. Jos T kasvaa suureksi, pitäisi tuloksen olla Einsteinin yhtälön mukaisesti R = κt. Täytyy siis valita positiivinen merkki, kun T > 0 ja negatiivinen kun T < 0. Jos tarkastellaan maailmankaikkeutta, jonka täyttää ideaalivirre (perfect uid), jolle T = (ρ 3P ) on 8 R = 1 2 (κt κt 2 + 4α 2 ), (3.52) joka on vakuumirajalla T 0 R = α. (3.53) 7 Samaa tapausta tarkastellaan myös muun muassa viitteessä [58]. 8 Kun ρ > 0 ja ρ 3P. 19
25 Tämä tarkoittaa, että maailmankaikkeus lähestyy vakiokaarevuuden avaruutta. Tarkastellaan seuraavaksi kaarevuutta, kun α on hyvin suuri tai pieni verrattuna tuloon κt. Kun κt >> α, saadaan tuloksena Einsteinin yhtälöt. Siis tiheässä pölyn täyttämässä maailmankaikkeudessa ei synny eroa Einsteinin yhtälöihin. Kun maailmankaikkeus laajenee ja aine harvenee, kasvaa lisätermin merkitys ja lopulta se muuttuu hallitsevaksi. Nykyisessä maailmankaikkeudessa ei materian osuus ole mitätön, joten (3.52) voidaan kehittää sarjaksi R = 1 2 ( κt κt 1 + 4α2 κt 2 ) κt 2α2 κt 2. (3.54) Tulos on kontraktoitu Einsteinin yhtälö pienellä kosmologisella vakiolla. Saatu tulos selviää siis samoista testeistä kuin Einsteinin yleinen suhteellisuusteoriakin. Havaintojen perusteella voidaan määrätä arvo α:lle. Tarkastellaan maailmankaikkeutta, jossa myöhäisessä vaiheessa (α >> κt) voidaan käyttää metriikkaa ds 2 = dt 2 + a(t)[dx 2 + dy 2 + dz 2 ]. (3.55) Koska α on hyvin suuri, voidaan yhtälöä (3.46) approksimoida jättämällä toinen termi pienenä pois: R µν R µν (g) + 1 f µ ν (f ) f g µν f. (3.56) Kaarevuusskalaarille saadaan puolestaan arvio jättämällä huomiotta κt-termi neliöjuuren alla yhtälössä (3.52): R 1 κt α. (3.57) 2 Tämä arvio kaarevuusskalaarille voidaan sijoittaa funktio f(r) lausekkeeseen (3.48) ja saada f(r) 1 2 κt α 2 3 κt 3α 1 2 κt 2 3 α + κt ( 6 = 2 3 α 1 κt α 2 Derivaatalle puolestaan saadaan ). (3.58) f (R) = 1 + α2 3R ( κt κt 2 ) κt 3α = 4 ( 1 + κt ). (3.59) 3 4α α 4α 2 Nämä approksimoidut tulokset sijoitetaan yhtälöön (3.26b), jolloin kenttäyhtälöksi saadaan R µν = κ f T µν + f 2f g µν κt µν 4 κt (1 + ) + 1 2α(1 κt ) 3 α 4 κt 2 (1 + ) g µν 3 4α 3 4α 3 4 κt µν α 4 (1 κt κt )(1 α 4α )g µν = αg µν κ( 4 T µν 5 ) 16 T g µν. (3.60) 20
Valtteri Lindholm (Helsingin Yliopisto) Horisonttiongelma 21.11.2013 1 / 9
: Valtteri Lindholm (Helsingin Yliopisto) Horisonttiongelma 21.11.2013 1 / 9 Horisonttiongelma Valtteri Lindholm Helsingin Yliopisto Teoreettisen fysiikan syventävien opintojen seminaari Valtteri Lindholm
Matematiikan tukikurssi
Matematiikan tukikurssi Kurssikerta 8 1 Derivaatta Tarkastellaan funktion f keskimääräistä muutosta tietyllä välillä ( 0, ). Funktio f muuttuu tällä välillä määrän. Kun tämä määrä jaetaan välin pituudella,
Sisällysluettelo. Alkusanat 11. A lbert E insteinin kirjoituksia
Sisällysluettelo Alkusanat 11 A lbert E insteinin kirjoituksia Erityisestä ja yleisestä su hteellisuusteoriasta Alkusanat 21 I Erityisestä suhteellisuusteoriasta 23 1 Geometristen lauseiden fysikaalinen
Maailmankaikkeuden kriittinen tiheys
Maailmankaikkeuden kriittinen tiheys Tarkastellaan maailmankaikkeuden pientä pallomaista laajenevaa osaa, joka sisältää laajenemisliikkeessä olevia galakseja. Olkoon pallon säde R, massa M ja maailmankaikkeuden
Luonnollisten lukujen laskutoimitusten määrittely Peanon aksioomien pohjalta
Simo K. Kivelä, 15.4.2003 Luonnollisten lukujen laskutoimitusten määrittely Peanon aksioomien pohjalta Aksioomat Luonnolliset luvut voidaan määritellä Peanon aksioomien avulla. Tarkastelun kohteena on
Oletetaan, että funktio f on määritelty jollakin välillä ]x 0 δ, x 0 + δ[. Sen derivaatta pisteessä x 0 on
Derivaatta Erilaisia lähestymistapoja: geometrinen (käyrän tangentti sekanttien raja-asentona) fysikaalinen (ajasta riippuvan funktion hetkellinen muutosnopeus) 1 / 13 Derivaatan määritelmä Määritelmä
Matematiikan tukikurssi
Matematiikan tukikurssi Kurssikerta 10 1 Sarjakehitelmiä Palautetaan mieliin, että potenssisarja on sarja joka on muotoa a n (x x 0 ) n = a 0 + a 1 (x x 0 ) + a 2 (x x 0 ) 2 + a 3 (x x 0 ) 3 +. n=0 Kyseinen
MS-A0004 - Matriisilaskenta Laskuharjoitus 3
MS-A0004 - Matriisilaskenta Laskuharjoitus 3 atkaisut Tehtävä Merkitään matriisin rivejä, 2 ja 3. Gaussin eliminoinnilla saadaan 3 5 4 7 3 5 4 7 3 2 4 2+ 0 3 0 6 6 8 4 3+2 2 0 3 0 6 3 5 4 7 0 3 0 6 3+
2.2 Täydellinen yhtälö. Ratkaisukaava
. Täydellinen yhtälö. Ratkaisukaava Tulon nollasäännöstä näkee silloin tällöin omituisia sovellutuksia. Jotkut näet ajattelevat, että on olemassa myöskin tulon -sääntö tai tulon "mikä-tahansa"- sääntö.
2.7 Neliöjuuriyhtälö ja -epäyhtälö
2.7 Neliöjuuriyhtälö ja -epäyhtälö Neliöjuuren määritelmä palautettiin mieleen jo luvun 2.2 alussa. Neliöjuurella on mm. seuraavat ominaisuudet. ab = a b, a 0, b 0 a a b =, a 0, b > 0 b a2 = a a > b, a
Aluksi. 2.1. Kahden muuttujan lineaarinen epäyhtälö
Aluksi Matemaattisena käsitteenä lineaarinen optimointi sisältää juuri sen saman asian kuin mikä sen nimestä tulee mieleen. Lineaarisen optimoinnin avulla haetaan ihannearvoa eli optimia, joka on määritelty
Inflaatio ja ei-gaussiset perturbaatiot
Inflaatio ja ei-gaussiset perturbaatiot Elina Riskilä Teoreettisen fysiikan laudatur-seminaari 2.12.2008 1 / 20 1 2 3 4 2 / 20 Inflaatio Ajanjakso hyvin varhaisessa maailmankaikkeudessa, jolloin maailmankaikkeuden
MAA10 HARJOITUSTEHTÄVIÄ
MAA0 Määritä se funktion f: f() = + integraalifunktio, jolle F() = Määritä se funktion f : f() = integraalifunktio, jonka kuvaaja sivuaa suoraa y = d Integroi: a) d b) c) d d) Määritä ( + + 8 + a) d 5
Dynaamisen järjestelmän siirtofunktio
Dynaamisen järjestelmän siirtofunktio Nyt päästään soveltamaan matriisilaskentaa ja Laplace muunnosta. Tutkikaamme, miten lineaarista mallia voidaan käsitellä. Kuten edellä on jo nähty säätötekniikassa
Johdatus diskreettiin matematiikkaan Harjoitus 7, 28.10.2015
Johdatus diskreettiin matematiikkaan Harjoitus 7, 28.10.2015 1. Onko olemassa yhtenäistä verkkoa, jossa (a) jokaisen kärjen aste on 6, (b) jokaisen kärjen aste on 5, ja paperille piirrettynä sivut eivät
Aine ja maailmankaikkeus. Kari Enqvist Helsingin yliopisto ja Fysiikan tutkimuslaitos
Aine ja maailmankaikkeus Kari Enqvist Helsingin yliopisto ja Fysiikan tutkimuslaitos Lahden yliopistokeskus 29.9.2011 1900-luku tiedon uskomaton vuosisata -mikä on aineen olemus -miksi on erilaisia aineita
4A 4h. KIMMOKERROIN E
TURUN AMMATTIKORKEAKOULU TYÖOHJE 1/5 A h. KIMMOKERROIN E 1. TYÖN TAVOITE 2. TEORIAA Tässä työssä muista töistä poiketen tärkein tavoite on ymmärtää fysikaalisten suureiden keskinäistä riippuvuutta toisistaan
PIMEÄ ENERGIA mysteeri vai kangastus? Kari Enqvist Helsingin yliopisto ja Fysiikan tutkimuslaitos
PIMEÄ ENERGIA mysteeri vai kangastus? Kari Enqvist Helsingin yliopisto ja Fysiikan tutkimuslaitos 1917: Einstein sovelsi yleistä suhteellisuusteoriaa koko maailmankaikkeuteen Linnunradan eli maailmankaikkeuden
Luento 6. June 1, 2015. Luento 6
June 1, 2015 Normaalimuodon pelissä on luontevaa ajatella, että pelaajat tekevät valintansa samanaikaisesti. Ekstensiivisen muodon peleissä pelin jonottaisella rakenteella on keskeinen merkitys. Aluksi
Pimeän energian metsästys satelliittihavainnoin
Pimeän energian metsästys satelliittihavainnoin Avaruusrekka, Kumpulan pysäkki 04.10.2012 Peter Johansson Matemaattis-luonnontieteellinen tiedekunta / Peter Johansson/ Avaruusrekka 04.10.2012 13/08/14
TILASTOLLINEN LAADUNVALVONTA
1 Aki Taanila TILASTOLLINEN LAADUNVALVONTA 31.10.2008 2 TILASTOLLINEN LAADUNVALVONTA Tasalaatuisuus on hyvä tavoite, jota ei yleensä voida täydellisesti saavuttaa: asiakaspalvelun laatu vaihtelee, vaikka
Eksponenttifunktion Laplace muunnos Lasketaan hetkellä nolla alkavan eksponenttifunktion Laplace muunnos eli sijoitetaan muunnoskaavaan
Laplace muunnos Hieman yksinkertaistaen voisi sanoa, että Laplace muunnos muuttaa derivaatan kertolaskuksi ja integroinnin jakolaskuksi. Tältä kannalta katsottuna Laplace muunnoksen hyödyllisyyden ymmärtää;
Matematiikan tukikurssi 3.4.
Matematiikan tukikurssi 3.4. Neliömuodot, Hessen matriisi, deiniittisyys, konveksisuus siinä tämän dokumentin aiheet. Neliömuodot ovat unktioita, jotka ovat muotoa T ( x) = x Ax, missä x = (x 1,, x n )
Esimerkki 8. Ratkaise lineaarinen yhtälöryhmä. 3x + 5y = 22 3x + 4y = 4 4x 8y = 32. 3 5 22 r 1 + r 3. 0 13 26 4 8 32 r 3 4r 1. LM1, Kesä 2014 47/68
Esimerkki 8 Ratkaise lineaarinen yhtälöryhmä 3x + 5y = 22 3x + 4y = 4 4x 8y = 32. 3 5 22 r 1 + r 3 3 4 4 4 8 32 1 3 10 0 13 26 4 8 32 r 3 4r 1 1 3 10 3 4 4 r 2 3r 1 4 8 32 1 3 10 0 13 26 r 2 /13 0 4 8
Sähköstaattisen potentiaalin laskeminen
Sähköstaattisen potentiaalin laskeminen Potentiaalienegia on tuttu mekaniikan kussilta eikä se ole vieas akielämässäkään. Sen sijaan potentiaalin käsite koetaan usein vaikeaksi. On hyvä muistaa, että staattisissa
monissa laskimissa luvun x käänteisluku saadaan näyttöön painamalla x - näppäintä.
.. Käänteisunktio.. Käänteisunktio Mikäli unktio : A B on bijektio, niin joukkojen A ja B alkioiden välillä vallitsee kääntäen yksikäsitteinen vastaavuus eli A vastaa täsmälleen yksi y B, joten myös se
Kosmologia: Miten maailmankaikkeudesta tuli tällainen? Tapio Hansson
Kosmologia: Miten maailmankaikkeudesta tuli tällainen? Tapio Hansson Kosmologia Kosmologiaa tutkii maailmankaikkeuden rakennetta ja historiaa Yhdistää havaitsevaa tähtitiedettä ja fysiikkaa Tämän hetken
ESTON LASKENTA VERKOSSA
J. Virtamo 38.3141 Teleliikenneteoria / Esto verkossa 1 ESTON LASKENTA VERKOSSA Erlangin funktion E(C, a) avulla voidaan laskea esto yhdessä linkissä, jonka kapasiteetti on C (johtoa) ja johon tarjotun
Huomaa, että 0 kitkakerroin 1. Aika harvoin kitka on tasan 0. Koska kitkakerroin 1, niin
Kun alat vetää jotain esinettä pitkin alustaa, huomaat, että tarvitaan tietty nollaa suurempi voima ennen kuin mainittu esine lähtee edes liikkeelle. Yleensä on vielä niin, että liikkeelle lähteminen vaatii
Epäyhtälön molemmille puolille voidaan lisätä sama luku: kaikilla reaaliluvuilla a, b ja c on voimassa a < b a + c < b + c ja a b a + c b + c.
Epäyhtälö Kahden lausekkeen A ja B välisiä järjestysrelaatioita A < B, A B, A > B ja A B nimitetään epäyhtälöiksi. Esimerkiksi 2 < 6, 9 10, 5 > a + + 2 ja ( + 1) 2 2 + 2 ovat epäyhtälöitä. Epäyhtälössä
Esimerkkejä derivoinnin ketjusäännöstä
Esimerkkejä derivoinnin ketjusäännöstä (5.9.008 versio 1.0) Esimerkki 1 Määritä funktion f(x) = (x 5) derivaattafunktio. Funktio voidaan tulkita yhdistettynä funktiona, jonka ulko- ja sisäfunktiot ovat
S U H T E E L L I S U U S T E O R I AN P Ä Ä P I I R T E I T Ä
S U H T E E L L I S U U S T E O R I AN P Ä Ä P I I R T E I T Ä (ks. esim. http://www.kotiposti.net/ajnieminen/sutek.pdf). 1. a) Suppeamman suhteellisuusteorian perusolettamukset (Einsteinin suppeampi suhteellisuusteoria
KELAN INDUKTANSSI VAASAN YLIOPISTO TEKNILLINEN TIEDEKUNTA SÄHKÖTEKNIIKKA. Miika Manninen, n85754 Tero Känsäkangas, m84051
VAASAN YLIOPISTO TEKNILLINEN TIEDEKUNTA SÄHKÖTEKNIIKKA Miika Manninen, n85754 Tero Känsäkangas, m84051 SATE.2010 Dynaaminen kenttäteoria KELAN INDUKTANSSI Sivumäärä: 21 Jätetty tarkastettavaksi: 21.04.2008
Induktio kaavan pituuden suhteen
Induktio kaavan pituuden suhteen Lauselogiikan objektikieli määritellään kurssilla Logiikka 1B seuraavasti: 1. Lausemuuttujat p 1, p 2, p 3,... ovat kaavoja. 2. Jos A on kaava, niin A on kaava. 3. Jos
Teoreetikon kuva. maailmankaikkeudesta
Teoreetikon kuva Teoreetikon kuva hiukkasten hiukkasten maailmasta maailmasta ja ja maailmankaikkeudesta maailmankaikkeudesta Jukka Maalampi Fysiikan laitos Jyväskylän yliopisto Lapua 5. 5. 2012 Miten
110. 111. 112. 113. 114. 4. Matriisit ja vektorit. 4.1. Matriisin käsite. 4.2. Matriisialgebra. Olkoon A = , B = Laske A + B, 5 14 9, 1 3 3
4 Matriisit ja vektorit 4 Matriisin käsite 42 Matriisialgebra 0 2 2 0, B = 2 2 4 6 2 Laske A + B, 2 A + B, AB ja BA A + B = 2 4 6 5, 2 A + B = 5 9 6 5 4 9, 4 7 6 AB = 0 0 0 6 0 0 0, B 22 2 2 0 0 0 6 5
Ensimmäisen ja toisen kertaluvun differentiaaliyhtälöistä
1 MAT-1345 LAAJA MATEMATIIKKA 5 Tampereen teknillinen yliopisto Risto Silvennoinen Kevät 9 Ensimmäisen ja toisen kertaluvun differentiaaliyhtälöistä Yksi tavallisimmista luonnontieteissä ja tekniikassa
PARADIGMOJEN VERTAILUPERUSTEET. Avril Styrman Luonnonfilosofian seura
PARADIGMOJEN VERTAILUPERUSTEET Avril Styrman Luonnonfilosofian seura 17.2.2015 KokonaisHede Koostuu paradigmoista Tieteen edistystä voidaan siten tarkastella prosessina missä paradigmat kehinyvät ja vaihtuvat
Kosmologian yleiskatsaus. Syksy Räsänen Helsingin yliopisto, fysiikan laitos ja Fysiikan tutkimuslaitos
Kosmologian yleiskatsaus Syksy Räsänen Helsingin yliopisto, fysiikan laitos ja Fysiikan tutkimuslaitos www.helsinki.fi/yliopisto 1 Päämääriä Kosmologia tutkii maailmankaikkeutta kokonaisuutena. Kehitys,
SIS. Vinkkejä Ampèren lain käyttöön laskettaessa magneettikenttiä:
Magneettikentät 2 SISÄLTÖ: Ampèren laki Menetelmän valinta Vektoripotentiaali Ampèren laki Ampèren lain avulla voidaan laskea maneettikenttiä tietyissä symmetrisissä tapauksissa, kuten Gaussin lailla laskettiin
+ 3 2 5 } {{ } + 2 2 2 5 2. 2 kertaa jotain
Jaollisuustestejä (matematiikan mestariluokka, 7.11.2009, ohjattujen harjoitusten lopputuloslappu) Huom! Nämä eivät tietenkään ole ainoita jaollisuussääntöjä; ovatpahan vain hyödyllisiä ja ainakin osittain
Johdatus yliopistomatematiikkaan, 2. viikko (2 op)
Johdatus yliopistomatematiikkaan, 2. viikko (2 op) Jukka Kemppainen Mathematics Division Yhtälöt ja epäyhtälöt Jokainen osaa ratkaista ensimmäisen asteen yhtälön ax + by + c = 0. Millä parametrien a, b
Sähköpostiohjeet. Tehokas ja huoleton sähköposti
Sähköpostiohjeet 1 Uuden PST tiedoston luominen sähköposteille... 3 Tärkeää!... 3 Tiedoston luominen... 3 Kansioiden luominen datatiedostoon... 5 Pikatoimintojen luominen... 8 Odottaa vastausta allekirjoitus...
Matematiikan tukikurssi, kurssikerta 3
Matematiikan tukikurssi, kurssikerta 3 1 Epäyhtälöitä Aivan aluksi lienee syytä esittää luvun itseisarvon määritelmä: { x kun x 0 x = x kun x < 0 Siispä esimerkiksi 10 = 10 ja 10 = 10. Seuraavaksi listaus
Maailmankaikkeuden syntynäkemys (nykykäsitys 2016)
Maailmankaikkeuden syntynäkemys (nykykäsitys 2016) Kvanttimeri - Kvanttimaailma väreilee (= kvanttifluktuaatiot eli kvanttiheilahtelut) sattumalta suuri energia (tyhjiöenergia)
f(x, y) = x 2 y 2 f(0, t) = t 2 < 0 < t 2 = f(t, 0) kaikilla t 0.
Ääriarvon laatu Jatkuvasti derivoituvan funktion f lokaali ääriarvokohta (x 0, y 0 ) on aina kriittinen piste (ts. f x (x, y) = f y (x, y) = 0, kun x = x 0 ja y = y 0 ), mutta kriittinen piste ei ole aina
30 + x. 15 + 0,5x = 2,5 + x 0,5x = 12,5 x = 25. 27,5a + 27,5b = 1,00 55 = 55. 2,5a + (30 2,5)b (27,5a + 27,5b) = 45 55.
RATKAISUT, Insinöörimatematiikan koe 1.5.201 1. Kahdessa astiassa on bensiinin ja etanolin seosta. Ensimmäisessä astiassa on 10 litraa seosta, jonka tilavuudesta 5 % on etanolia. Toisessa astiassa on 20
(x 0 ) = lim. Derivoimissääntöjä. Oletetaan, että funktiot f ja g ovat derivoituvia ja c R on vakio. 1. Dc = 0 (vakiofunktion derivaatta) 2.
Derivaatta kuvaa funktion hetkellistä kasvunopeutta. Geometrisesti tulkittuna funktion derivaatta kohdassa x 0 on funktion kuvaajalle kohtaan x 0 piirretyn tangentin kulmakerroin. Funktio f on derivoituva
Kokemusasiantuntijan tarina. Kasvamista kokemusasiantuntijaksi
Kokemusasiantuntijan tarina Kasvamista kokemusasiantuntijaksi Tie päihdekuntoutujasta kokemusasiantuntijaksi on ollut kivinen ja pitkä. En olisi joskus toipumiseni alussa voinut ikinä kuvitellakaan toimivani
Funktion raja-arvo 1/6 Sisältö ESITIEDOT: reaalifunktiot
Funktion raja-arvo 1/6 Sisältö Esimerkki funktion raja-arvosta Lauseke f() = 1 cos määrittelee reaauuttujan reaaliarvoisen funktion f, jonka lähtöjoukko muodostuu nollasta eroavista reaaliluvuista. Periaatteessa
Kosmologia. Kosmologia tutkii maailmankaikkeutta kokonaisuutena:
Kosmologia Kosmologia tutkii maailmankaikkeutta kokonaisuutena: -laajeneminen -ainesisältö -alkuhetket -kohtalo Kosmologia käsittelee avaruuden aikakehitystä: yleisen suhteellisuusteorian sovellus suurimpaan
Erityinen suhteellisuusteoria (Harris luku 2)
Erityinen suhteellisuusteoria (Harris luku 2) Yliopistonlehtori, TkT Sami Kujala Mikro- ja nanotekniikan laitos Kevät 2016 Ajan ja pituuden suhteellisuus Relativistinen työ ja kokonaisenergia SMG-aaltojen
KiVa Koulu tilannekartoituskysely 2016 sivu 1/31. KiVa Koulu tilannekartoituskysely 2016 sivu 2/31. KiVa Koulu tilannekartoituskysely 2016 sivu 3/31
KiVa Koulu tilannekartoituskysely 2016 sivu 1/31 Tervetuloa täyttämään kysely! Koulutunnus: Oppilaiden tilannekartoitussalasana: Kirjaudu kyselyyn KiVa Koulu tilannekartoituskysely 2016 sivu 2/31 Kukaan
( ) ( ) ( ) ( ( ) Pyramidi 4 Analyyttinen geometria tehtävien ratkaisut sivu 271 Päivitetty 19.2.2006. 701 a) = keskipistemuoto.
Pyramidi Analyyttinen geometria tehtävien ratkaisut sivu 7 Päivitetty 9..6 7 a) + y = 7 + y = 7 keskipistemuoto + y 7 = normaalimuoto Vastaus a) + y = ( 7 ) + y 7= b) + y+ 5 = 6 y y + + = b) c) ( ) + y
KEMA221 2009 KEMIALLINEN TASAPAINO ATKINS LUKU 7
KEMIALLINEN TASAPAINO Määritelmiä Kemiallinen reaktio A B pyrkii kohti tasapainoa. Yleisessä tapauksessa saavutetaan tasapainoa vastaava reaktioseos, jossa on läsnä sekä lähtöaineita että tuotteita: A
KJR-C2002 Kontinuumimekaniikan perusteet
KJR-C2002 Kontinuumimekaniikan perusteet Luento 23.11.2015 Susanna Hurme, Yliopistonlehtori, TkT Luennon sisältö Hooken laki lineaaris-elastiselle materiaalille (Reddy, kpl 6.2.3) Lujuusoppia: sauva (Reddy,
Lisää segmenttipuusta
Luku 24 Lisää segmenttipuusta Segmenttipuu on monipuolinen tietorakenne, joka mahdollistaa monenlaisten kyselyiden toteuttamisen tehokkaasti. Tähän mennessä olemme käyttäneet kuitenkin segmenttipuuta melko
Teknillinen korkeakoulu Mat-5.187 Epälineaarisen elementtimenetelmän perusteet (Mikkola/Ärölä) 4. harjoituksen ratkaisut
Teknillinen korkeakoulu Mat-5.187 Epälineaarisen elementtimenetelmän perusteet Mikkola/Ärölä 4. harjoituksen ratkaisut Teht. 1 Jacobin determinantin J det F materiaalisen aikaderivaatan laskemiseksi lasketaan
Kanta ja Kannan-vaihto
ja Kannan-vaihto 1 Olkoon L vektoriavaruus. Äärellinen joukko L:n vektoreita V = { v 1, v 2,..., v n } on kanta, jos (1) Jokainen L:n vektori voidaan lausua v-vektoreiden lineaarikombinaationa. (Ts. Span(V
PHYS-C0220 Termodynamiikka ja statistinen fysiikka Kevät 2016
PHYS-C0220 Termodynamiikka ja statistinen fysiikka Kevät 2016 Emppu Salonen Lasse Laurson Toni Mäkelä Arttu Lehtinen Luento 4: Entropia Pe 4.3.2016 1 AIHEET 1. Klassisen termodynamiikan entropia 2. Entropian
Matematiikan tukikurssi
Matematiikan tukikurssi Kurssikerta 4 Jatkuvuus Jatkuvan funktion määritelmä Tarkastellaan funktiota f x) jossakin tietyssä pisteessä x 0. Tämä funktio on tässä pisteessä joko jatkuva tai epäjatkuva. Jatkuvuuden
Mustan kappaleen säteily
Mustan kappaleen säteily Musta kappale on ideaalisen säteilijän malli, joka absorboi (imee itseensä) kaiken siihen osuvan säteilyn. Se ei lainkaan heijasta eikä sirota siihen osuvaa säteilyä, vaan emittoi
Ratkaisuehdotukset Kesäyliopisto 2014. 1. Kuvassa on esitetty erään ravintolan lounasbuffetin kysyntäfunktio.
Harjoitukset 2 Taloustieteen perusteet Ratkaisuehdotukset Kesäyliopisto 2014 1. Kuvassa on esitetty erään ravintolan lounasbuffetin kysyntäfunktio. a) Mikä on kysynnän hintajousto 12 :n ja 6 :n välillä?
1.7 Gradientti ja suunnatut derivaatat
1.7 Gradientti ja suunnatut derivaatat Funktion ensimmäiset osittaisderivaatat voidaan yhdistää yhdeksi vektorifunktioksi seuraavasti: Missä tahansa pisteessä (x, y), jossa funktiolla f(x, y) on ensimmäiset
Pimeä energia. Hannu Kurki- Suonio Kosmologian kesäkoulu 2015 Solvalla
Pimeä energia Hannu Kurki- Suonio Kosmologian kesäkoulu 2015 Solvalla 27.5.2015 Friedmann- Robertson- Walker - malli homogeeninen ja isotrooppinen approksimaa>o maailmankaikkeudelle Havaintoihin sopii
Molemmille yhteistä asiaa tulee kerralla enemmän opeteltavaa on huomattavasti enemmän kuin englannissa
Molemmille yhteistä alkavat Espoossa 4. luokalta 2 oppituntia viikossa etenemisvauhti on kappaleittain laskettuna hitaampaa kuin englannissa, mutta asiaa tulee kerralla enemmän sanat taipuvat, joten opeteltavaa
FUNKTIONAALIANALYYSIN PERUSKURSSI 1. 0. Johdanto
FUNKTIONAALIANALYYSIN PERUSKURSSI 1. Johdanto Funktionaalianalyysissa tutkitaan muun muassa ääretönulotteisten vektoriavaruuksien, ja erityisesti täydellisten normiavaruuksien eli Banach avaruuksien ominaisuuksia.
Teoreettinen hiukkasfysiikka ja kosmologia Oulun yliopistossa. Kari Rummukainen
Teoreettinen hiukkasfysiikka ja kosmologia Oulun yliopistossa Kari Rummukainen Mitä hiukkasfysiikka tutkii? Mitä Oulussa tutkitaan? Opiskelu ja sijoittuminen työelämässä Teoreettinen fysiikka: työkaluja
Klassisssa mekaniikassa määritellään liikemäärä p kl näin:
Relativistinen liikemäärä Luento 3 Klassisssa mekaniikassa määritellään liikemäärä p kl näin: pkl = mv. Mekaniikan ilmiöissä on todettu olevan voimassa liikemäärän säilymisen laki: eristetyn systeemin
DYNAMIIKKA II, LUENTO 5 (SYKSY 2015) Arttu Polojärvi
DYNAMIIKKA II, LUENTO 5 (SYKSY 2015) Arttu Polojärvi LUENNON SISÄLTÖ Kertausta edelliseltä luennolta: Suhteellisen liikkeen nopeuden ja kiihtyvyyden yhtälöt. Jäykän kappaleen partikkelin liike. Jäykän
Kolmannen ja neljännen asteen yhtälöistä
Solmu /019 7 Kolmannen neljännen asteen yhtälöistä Esa V. Vesalainen Matematik och statistik, Åbo Akademi Tämän pienen artikkelin tarkoituksena on satuilla hieman algebrallisista yhtälöistä. Erityisesti
String-vertailusta ja Scannerin käytöstä (1/2) String-vertailusta ja Scannerin käytöstä (2/2) Luentoesimerkki 4.1
String-vertailusta ja Scannerin käytöstä (1/2) Vertailuja tehdessä törmätään usein tilanteeseen, jossa merkkijonoa (esimerkiksi merkkijonomuuttujaa) pitää vertailla toiseen merkkijonoon. Tällöin tavanomainen
Friedmannin yhtälöt. Einsteinin yhtälöt isotrooppisessa, homogeenisessa FRW-universumissa 8 G 3. yleisin mahdollinen metriikka. Friedmannin yhtälö
Friedmannin yhtälöt Einsteinin yhtälöt isotrooppisessa, homogeenisessa FRW-universumissa 8 G G [ R( t)] T [ aine, energia, R( t)] 3 yleisin mahdollinen metriikka d sin d dr ds c dt R( t) ( r d ) 1 kr Friedmannin
MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt
MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt Matriisihajotelmat: Schur ja Jordan Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 2015 1 / 18 R. Kangaslampi Matriisihajotelmat:
1 Rajoittamaton optimointi
Taloustieteen matemaattiset menetelmät 7 materiaali 5 Rajoittamaton optimointi Yhden muuttujan tapaus f R! R Muistutetaan mieleen maksimin määritelmä. Funktiolla f on maksimi pisteessä x jos kaikille y
Tytöt LVI-alalla - Perusraportti
Tytöt LVI-alalla - Perusraportti 1. Ikäni on Tämä kysymys antoi harhaanjohtavan tuloksen, sillä kaksi tytöistä täyttää 16 vuotta tänä vuonna mutta kaksi 17, vielä loppuvuoden aikana. 2. Aiempi koulutukseni
Muodolliset kieliopit
Muodolliset kieliopit Luonnollisen kielen lauseenmuodostuksessa esiintyy luonnollisia säännönmukaisuuksia. Esimerkiksi, on jokseenkin mielekästä väittää, että luonnollisen kielen lauseet koostuvat nk.
Lauri Tarkkonen: Kappa kerroin ja rinnakkaisten arvioitsijoiden yhdenmukaisuus
Lauri Tarkkonen: Kappa kerroin ja rinnakkaisten arvioitsijoiden yhdenmukaisuus Tässä rajoitutaan tarkastelemaan kahden arvioitsijan tapausta, Olettakaamme, että n havaintoa on arvioitu kahden arvioitsijan
Trigonometrian kaavat 1/6 Sisältö ESITIEDOT: trigonometriset funktiot
Trigonometrian kaavat 1/6 Sisältö Ulkoa muistettavat peruskaavat Trigonometrisia funktioita koskevia kaavoja on paljon. Seuraavassa esitetään tärkeimmät ja lyhyet ohjeet niiden muistamiseen. Varsinaisesti
Teoreettisen fysiikan tulevaisuuden näkymiä
Teoreettisen fysiikan tulevaisuuden näkymiä Tämä on teoreettisen fysiikan professori Erkki Thunebergin virkaanastujaisesitelmä, jonka hän piti Oulun yliopistossa 8.11.2001. Esitys on omistettu professori
SMG-4200 Sähkömagneettisten järjestelmien lämmönsiirto Ehdotukset harjoituksen 4 ratkaisuiksi
SMG-400 Sähkömaneettisten järjestelmien lämmönsiirto Ehdotukset harjoituksen 4 ratkaisuiksi Jatkuvuustilan D-lämpötilajakauma: differenssimenetelmä Differenssimenetelmän käyttämen lämpötehtävien ratkaisemiseen
MEI Kontinuumimekaniikka
MEI-55300 Kontinuumimekaniikka 1 MEI-55300 Kontinuumimekaniikka 3. harjoitus matemaattiset peruskäsitteet, kinematiikkaa Ratkaisut T 1: Olkoon x 1, x 2, x 3 (tai x, y, z) suorakulmainen karteesinen koordinaatisto
FILOSOFIA JA USKONTO LÄNSIMAINEN NÄKÖKULMA USKONTOON. Thursday, February 19, 15
FILOSOFIA JA USKONTO LÄNSIMAINEN NÄKÖKULMA USKONTOON USKONNONFILOSOFIA HY USKONNONFILOSOFIAA OPISKELLAAN JA TUTKITAAN SEURAAVISSA TIETEISSÄ: TEOLOGINEN TIEDEKUNTA (KRISTILLINEN PUOLI) TEOREETTINEN FILOSOFIA
c) Määritä paraabelin yhtälö, kun tiedetään, että sen huippu on y-akselilla korkeudella 6 ja sen nollakohdat ovat x-akselin kohdissa x=-2 ja x=2.
MAA4. Koe 8.5.0 Jussi Tyni Kaikkiin tehtäviin ratkaisujen välivaiheet näkyviin! Ota kokeesta poistuessasi tämä paperi mukaasi! Tee konseptiin pisteytysruudukko! Muista kirjata nimesi ja ryhmäsi. Valitse
Analyyttinen mekaniikka I periodi 2012
Analyyttinen mekaniikka I periodi 2012 Luennot: Luennoitsija: Kurssin kotisivu: ma & to 10-12 (E204) Rami Vainio, Rami.Vainio@helsinki.fi http://theory.physics.helsinki.fi/~klmek/ Harjoitukset: to 16-18
LIITE. asiakirjaan KOMISSION TIEDONANTO
EUROOPAN KOMISSIO Bryssel 15.11.2013 COM(2013) 901 final ANNEX 1 LIITE asiakirjaan KOMISSION TIEDONANTO Arviointi toimista, jotka ESPANJA, RANSKA, MALTA, ALANKOMAAT ja SLOVENIA ovat toteuttaneet neuvoston
Numeeriset menetelmät
Numeeriset menetelmät Luento 1 Ti 6.9.2011 Timo Männikkö Numeeriset menetelmät Syksy 2011 Luento 1 Ti 6.9.2011 p. 1/28 p. 1/28 Numeriikan termejä Simulointi: Reaalimaailman ilmiöiden jäljitteleminen (yleensä)
Matematiikan tukikurssi
Matematiikan tukikurssi Kurssikerta 8 1 Suunnattu derivaatta Aluksi tarkastelemme vektoreita, koska ymmärrys vektoreista helpottaa alla olevien asioiden omaksumista. Kun liikutaan tasossa eli avaruudessa
Huomaathan, että ohjeessa olevat näytöistä otetut kuvat voivat poiketa sinun koulutuksesi vastaavien sivujen kuvista.
OHJE OPISKELIJALLE MOODLEN KÄYTTÖÖN 1/5 2011/2012 MOODLE KOULUTUKSESSA Työterveyslaitoksella käytetään Moodle -verkko-oppimisalustaa. Potilassiirtojen Ergonomia - koulutus on monimuotokoulutusta, johon
Merkintöjen tekeminen pohjakuvaan Libre Officella v.1.2
v.1.2 Tämän ohjeen avulla voit piirtää omia merkintöjäsi olemassa olevan pohjakuvan päälle. Ohje on tehty käyttäen LibreOfficen versiota 5.0, mutta se toimii melko hyvin myös vanhempien versioiden kanssa.
MATEMATIIKAN KOE, PITKÄ OPPIMÄÄRÄ 18.3.2015 HYVÄN VASTAUKSEN PIIRTEITÄ
MATEMATIIKAN KOE, PITKÄ OPPIMÄÄRÄ 8..5 HYVÄN VASTAUKSEN PIIRTEITÄ Alla oleva vastausten piirteiden, sisältöjen ja pisteitysten luonnehdinta ei sido ylioppilastutkintolautakunnan arvostelua. Lopullisessa
II- luento. Etiikan määritelmiä. Eettisen ajattelu ja käytänteet. 1 Etiikka on oikean ja väärän tutkimusta
II- luento Eettisen ajattelu ja käytänteet Etiikan määritelmiä 1 Etiikka on oikean ja väärän tutkimusta 2. Etiikka ei ole samaa kuin moraali, se on moraalin tutkimusta 3. Etiikka ei ole tutkimusta siitä,
Matematiikan tukikurssi
Matematiikan tukikurssi Kurssikerta 4 Supremum ja inmum Tarkastellaan aluksi avointa väliä, Tämä on joukko, johon kuuluvat kaikki reaaliluvut miinus yhdestä yhteen Kuitenkaan päätepisteet eli luvut ja
T&K- HANKKEISIIN ja OPINNÄYTETÖIHIN SOVELTUVIA ANALYYSIMENETELMIÄ
T&K- HANKKEISIIN ja OPINNÄYTETÖIHIN SOVELTUVIA ANALYYSIMENETELMIÄ Mitä analyysilla tarkoitetaan? Analyysin tekemiseen tarvitaan analysoitava kohde ja siinä olevia analysoitavia yksiköitä. Ne voivat olla
Dierentiaaliyhtälöistä
Dierentiaaliyhtälöistä Markus Kettunen 4. maaliskuuta 2009 1 SISÄLTÖ 1 Sisältö 1 Dierentiaaliyhtälöistä 2 1.1 Johdanto................................. 2 1.2 Ratkaisun yksikäsitteisyydestä.....................
Tutustu merkintöihin! Tärkeää tietoa siitä, miten varmistat pesu- ja puhdistusaineiden käytön turvallisuuden kotona
Tutustu merkintöihin! Tärkeää tietoa siitä, miten varmistat pesu- ja puhdistusaineiden käytön turvallisuuden kotona Kodin puhdistusaineisiin on lähiaikoina tulossa uudet varoitusmerkinnät. Osa symboleista
Tiede ja usko KIRKKO JA KAUPUNKI 27.2.1980
Tiede ja usko Jokaisen kristityn samoin kuin jokaisen tiedemiehenkin velvollisuus on katsoa totuuteen ja pysyä siinä, julistaa professori Kaarle Kurki-Suonio. Tieteen ja uskon rajankäynti on ollut kahden
MATEMATIIKAN KOE, PITKÄ OPPIMÄÄRÄ HYVÄN VASTAUKSEN PIIRTEITÄ
MATEMATIIKAN KOE, PITKÄ OPPIMÄÄRÄ 4.9.09 HYVÄN VASTAUKSEN PIIRTEITÄ Alustavat hyvän vastauksen piirteet on suuntaa-antava kuvaus kokeen tehtäviin odotetuista vastauksista ja tarkoitettu ensisijaisesti
9. Vektorit. 9.1 Skalaarit ja vektorit. 9.2 Vektorit tasossa
9. Vektorit 9.1 Skalaarit ja vektorit Skalaari on koon tai määrän mitta. Tyypillinen esimerkki skalaarista on massa. Lukumäärä on toinen hyvä esimerkki skalaarista. Vektorilla on taas suuruus ja suunta.
Mihin kotityöpalvelu perustuu asiakkaan kanssa tehtyyn sopimukseen
Mihin kotityöpalvelu perustuu asiakkaan kanssa tehtyyn sopimukseen Tässä materiaalissa kerrotaan tärkeät asiat kotityöpalvelusopimuksesta, kartoituskäynnistä asiakkaan kodissa. Laadukkaat kotityöpalvelut