EESTI MATEMAATIKA
SELTS
AASTARAAMAT
2006
Tartu 2007
EESTI MATEMAATIKA SELTSJ. Liivi 2, 50409 Tartu, Eestie-post: [email protected]://ioc.ee/matem/EMS/
Toimetajad: Kalle Kaarli, Valdis Laan
Autoriõigus Eesti Matemaatika Selts, 2007
ISSN 1406-4316
Trükkinud: OÜ Paar
Sisukord
Saateks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Matemaatika
Thurstoni hüpotees, Ricci voog ja edusammud Poincaréprobleemi lahendamisel. Viktor Abramov . . . . . . . . . . . . . . . . . . .10
Madala hälbivusega jadad ja integraalide arvutamine.Raul Kangro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Tõenäosusjaotuste lähendamine hulkadega. Meelis Käärik . . 38
Black-Scholes-Mertoni järgne finantsmatemaatika. Artur Sepp 43
GPS ja meteoroloogia ning natuke matemaatikat selles.Peep Uba . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
Matemaatikud
Jüri Afanasjev 60. Elts Abel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
Helki Haavasalu 60. Viive Tamm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
Helgi Uudelepp 70. Kalle Kaarli . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
In memoriam
Jaak Lõhmus 28.09.1937–23.02.2006 . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
Olaf Prinits 03.09.1924–14.04.2006 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
Paul Moritz Cohn 08.01.1924–20.04.2006 . . . . . . . . . . . . . . . . . . . . . . 82
Paul Halmos 03.03.1916–02.10.2006 . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
Donald G. Higman 20.09.1928–13.02.2006 . . . . . . . . . . . . . . . . . . . . . 85
Irving Kaplansky 22.03.1917–25.06.2006 . . . . . . . . . . . . . . . . . . . . . . . 86
Karl Zeller 28.12.1924–20.07.2006 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
3
4
Koolimatemaatika
Kokkuvõte õpilaste matemaatikavõistlustest aastal 2006.Härmel Nestra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
Konverentsid ja seminarid
Rahvusvaheline matemaatikute kongress ICM 2006 Madridis.Peeter Puusemp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
II Soome-Eesti Matemaatikakollokvium. Kalle Kaarli . . . . . 125
Seminar “Algebra ja tema rakendused”. Valdis Laan . . . . . . . 128
Matemaatikahariduse konverents Tartus. Jüri Afanasjev . . . 129
SOBI 2006. Otu Vaarmann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
Eesti Matemaatika Päevad Jäneda mõisas. Andi Kivinukk . . 134
Matemaatiline tarkvaratehnoloogia Saaremaal.Tarmo Uustalu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
Riiklike Matemaatikavõistluste Ülemaailmse Föderatsiooniviies konverents. Raili Vilt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
Vabariiklikud matemaatikaõpetajate päevad Pärnus.Lea Lepmann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
Preemiad ja autasud
Üle anti järjekordsed prof. Gerhard Rägo nimelised medalid.Tiit Lepmann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
Eesti Vabariigis antud preemiad ja autasud . . . . . . . . . . . . . . . . . . 151
Eesti Matemaatika Seltsi preemiad . . . . . . . . . . . . . . . . . . . . . . . 151
Haridus- ja Teadusministeeriumi 2006. a. üliõpilasteteadustööde riiklik konkurss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
Teisi preemiaid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
Matemaatikud – riiklike teenetemärkide kavalerid 2006 . . . 152
5
Varia
Statistika ja eetika. Ene-Margit Tiit . . . . . . . . . . . . . . . . . . . . . . .154
Rahvusvaheline Üliõpilaste Matemaatikavõistlus.Vladimir Kutšmei . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
Väitekirjade kaitsmine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
Ülikoolide lõpetajad 2006 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
Juubelid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187
EMS 2006. a. tegevuse kroonika . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
Contents
Foreword . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9
Mathematics
Thurston’s conjecture, Ricci flow and progressin solving the Poincaré problem. Viktor Abramov . . . . . . . . . . 10
Low dicrepancy sequences and numerical integration.Raul Kangro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Fitting sets to probability distributions. Meelis Käärik . . . . . 38
Mathematical finance beyond Black-Scholes-Merton.Artur Sepp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
GPS and meteorology, and some mathematicsappropriate to both. Peep Uba . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
Mathematicians
Jüri Afanasjev 60. Elts Abel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
Helki Haavasalu 60. Viive Tamm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
Helgi Uudelepp 70. Kalle Kaarli . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
In memoriam
Jaak Lõhmus 28.09.1937–23.02.2006 . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
Olaf Prinits 03.09.1924–14.04.2006 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
Paul Moritz Cohn 08.01.1924–20.04.2006 . . . . . . . . . . . . . . . . . . . . . . 82
Paul Halmos 03.03.1916–02.10.2006 . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
Donald G. Higman 20.09.1928–13.02.2006 . . . . . . . . . . . . . . . . . . . . . 85
Irving Kaplansky 22.03.1917–25.06.2006 . . . . . . . . . . . . . . . . . . . . . . . 86
Karl Zeller 28.12.1924–20.07.2006 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
6
7
School Mathematics
Summary of mathematical contests in 2006.Härmel Nestra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
Conferences and seminars
International Congress of Mathematicians ICM 2006 in Madrid.Peeter Puusemp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
II Finnish-Estonian Mathematics Colloquium. Kalle Kaarli 125
Workshop “Algebra and its Applications”. Valdis Laan . . . . . 128
Conference on mathematics education in Tartu.Jüri Afanasjev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
SOBI 2006. Otu Vaarmann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
Estonian Mathematics Days at Jäneda manor. Andi Kivinukk 134
Mathematical software technology in Saaremaa.Tarmo Uustalu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
V Conference of World Federation of National MathematicsCompetitions. Raili Vilt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
Mathematics Teachers’ Days in Pärnu.Lea Lepmann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
Prizes and awards
Winners of Professor Gerhard Rägo medals. Tiit Lepmann . .148
Winners of prizes and awards in Estonia . . . . . . . . . . . . . . . . . . . . . . 151
Awards of Estonian Mathematical Society . . . . . . . . . . . . . . . . 151
State contest of the Ministry of Education and Sciencefor scientific works of students in 2006 . . . . . . . . . . . . . . . . . . . . 151
Other awards . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .151
Mathematicians – recipients of state decorations 2006 . . . . .152
8
Varia
Statistics and ethics. Ene-Margit Tiit . . . . . . . . . . . . . . . . . . . . . 154
International Mathematics Competition for UniversityStudents. Vladimir Kutšmei . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
PhD theses and Master’s theses 2006 . . . . . . . . . . . . . . . . . . . . . . . . . 177
Graduates of universities in 2006 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
Jubilees . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .187
Chronicle of the 2006 activities of the EstonianMathematical Society . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
Saateks
Teie ees on Eesti Matemaatika Seltsi 2006. a. aastaraamat. Aas-taraamatu koostamisel arvestasime väljakujunenud traditsioone jakolleegide ettepanekuid. Meil on hea meel öelda, et praktiliselt kõik,kelle poole me kaastöö palvega pöördusime, reageerisid positiivselt.Suur tänu neile! Samuti rõõmustab meid matemaatika suur osakaalaastaraamatus – viis artiklit, mis tutvustavad erinevaid matemaati-ka ja tema rakenduste valdkondi. Aastaraamat algab V. Abramoviartikliga, mis tutvustab olulisimat sündmust matemaatikas 2006.aastal. See oli Poincaré probleemi lahendamine G. Perelmani poolt,üks neist vähestest sündmustest kaasaja matemaatikas, mis jõuabka tavaajakirjandusse. Oma töid tutvustavad A. Humala preemiavõitja M. Käärik ja EMS publikatsiooniauhinna pälvinud A. Sepp.Samuti avaldame R. Kangro ja P. Uba artiklid, mis põhinevadJänedal Eesti Matemaatika Päevadel peetud ettekannetele. Erititäname R. Kangrot, kes lisaks oma artikli kirjutamisele tõlkis eestikeelde ka A. Sepa originaalis ingliskeelse teksti. Aastaraamat sisal-dab veel V. Kuťsmei artikli üliõpilaste rahvusvahelistest matemaati-kaolümpiaadidest ja E. Tiidu kirjutise eetikast statistikas. E. Tiidultpalusime kaastööd seoses tema valimisega EMS auliimeks.
Ülejäänud materjal on päevakajalise iseloomuga, kajastadesEestiga seonduvaid matemaatikaelu sündmusi 2006. a. Neist ju-hiksime eelkõige tähelepanu H. Nestra väga põhjalikule ülevaatelekoolinoorte matemaatikavõistlustest ja P. Puusempi pikemale kir-jutisele Madridis toimunud Rahvusvahelisest Matemaatikute Kong-ressist.
Suur tänu Vladimir Kuťsmeile tehnilise abi eest.
Aastaraamatu koostajad
9
MATEMAATIKA
Thurstoni hüpotees, Ricci voog ja
edusammud Poincaré probleemi lahendamisel
Viktor Abramov
Tartu Ülikool
1. Clay instituudi millenniumiprobleemid
2000. a. avaldas Clay Matemaatika Instituut (Clay MathematicsInstitute) loetelu seitsmest kaasaegse matemaatika tähtsaimastprobleemist (millenniumiprobleemist), määrates iga probleemi la-henduse eest preemiaks miljon USA dollarit. Probleemide arv oliära määratud selle instituudi asutaja Bostoni miljardäri Landon T.Clay poolt preemiateks eraldatud miljonite arvuga. Clay instituudieksperdid, kes tegid eespool nimetatud valiku, arvavad, et justnimelt need 7 probleemi määravad ära matemaatika arengu XXIsajandil. Eesti Matemaatika Seltsi juhatus korraldas 2001. a.millenniumiprobleemidele pühendatud seltsi ettekandekoosoleku.Sellel koosolekul ettekantu publitseeriti Eesti Matemaatika Seltsiaastaraamatus 2001. Käesoleva artikli autor esines ettekandegateemal “Poincaré hüpotees”, milles kirjeldas probleemi olemust, sisuja arengut eelmisel sajandil. Ettekanne avaldati Eesti MatemaatikaSeltsi aastaraamatus 2001 ([1]) ja autor soovitab sellega tutvudalugejatel, kes soovivad saada ettekujutust diferentsiaalgeomeetriaja topoloogia põhimõistetest selleks, et mõista Poincaré hüpoteesisisu.
Peterburi matemaatik Grigori (mõnikord kirjutatakse Grisha)Perelman paigutas aastatel 2002–2003 e-preprintide elektroonili-se arhiivi arXiv.org (http://arxiv.org) diferentsiaalgeomeetriaossa (math.DG) kolm preprinti ([13], [14], [15]), mis suuremaosa 3-mõõtmeliste muutkondade topoloogiaga tegelevate eskpertidearvates lubavad väita, et Poincaré probleem on lahendatud. Tahaksrõhutada, et G. Perelman talitas küllaltki omapäraselt, paigutades
10
Poincaré probleem 11
oma tööd e-preprintide elektroonilisse arhiivi, sest rangelt võttesei loeta neid sel juhul teaduspublikatsioonideks. Kui sellisel juhuloleks teoreemide tõestustes ilmnenud lüngad või puudused ja oleksleidunud matemaatik, kes, kõrvaldanud lüngad ja puudused, oleksoma töö avaldanud matemaatilises teadusväljaandes, oleks too ma-temaatik võinud ka pretendeerida Poincaré probleemi lahendajaks.Peale selle ei saa G. Perelman pretendeerida ka miljonidollariliselepreemiale ühe millenniumiprobleemi lahenduse eest, kuna sealon tingimuseks, et probleemi lahendus peab olema publitseeritudretsenseeritavas teadusajakirjas ning kahe aasta jooksul alatesavaldamise momendist pole lahenduse õigsus antud valdkonnastegutsevate ekspertide poolt kahtluse alla seatud. Samas otsustadesmassimeedias G. Perelmanile pühendatud artiklite järgi, ei kavat-segi ta sellele preemiale pretendeerida. Just need momendid ningka see, et G. Perelman ei sõitnud 2006. a. Hispaanias toimunudrahvusvahelisele matemaatikakongressile, kus kuningas Juan Carlospidi talle üle andma Fieldsi preemia panuse eest geomeetriasseja saavutuste eest Ricci voogude (Ricci flow) geomeetrilise jaanalüütilise struktuuri uurimisel, tegidki G. Perelmani nime avalik-kusele tuttavaks. Käesoleva artikli eesmärgiks on luua ettekujutusstruktuuridest, meetoditest ja ideedest, mida kasutas G. PerelmanPoincaré probleemi lahendamiseks.
2. Poincaré probleem
Meenutagem lühidalt Poincaré hüpoteesi (probleemi) formulee-ringut (üksikasjalise kirjelduse leiab artiklis [1]). Oma 1904. a.avaldatud artikli ([17]) lõpus mainis Henri Poincaré (1854–1912),et on jäänud veel üks probleem, mida tasuks uurida (sõnastus onantud kaasaegsetes terminites):
Kas 3-mõõtmeline diferentseeruv kinnine (s.o. kompaktne jarajata) triviaalse fundamentaalrühmaga π1(M) muutkond M ondifeomorfne 3-mõõtmelise sfääriga S3?
Poincaré hüpotees seisneb selles, et vastus sellele küsimusele on jaa-
12 Viktor Abramov
tav. Poincaré ise ei jõudnud probleemi lahendamisel kuigi kaugele,osutades, et see kallutab teda põhiuuringutest kõrvale. Järgnevateaastate katsed leida probleemile lahendus stimuleerisid uute mõis-tete ja meetodite arengut lõplikumõõtmeliste muutkondade topo-loogias. Poincaré probleemil on tähtis osa 3-mõõtmelise muutkonnatopoloogilise struktuuri uurimisel, sest ta puudutab selliste muut-kondade klassifikatsiooni. Mõned selle ala spetsialistid ennustavad,et juhul kui G. Perelmani antud Poincaré probleemi lahendus onõige (ja tõenäoliselt see nii ka on), siis huvi antud matemaatikavaldkonna vastu jahtub ja paljud uurijad lülituvad teistele vald-kondadele. Rõhutagem, et Poincaré probleemi lahendus pole tähtismitte ainult muutkondade teooria sisemise arengu seisukohalt,vaid sellel on ka rakenduslikud aspektid. Arvatakse, et Perelmanipoolt pakutud lahendus annab impulsi uute meetodite tekkeksfüüsikaliste protsesside kirjeldamisel keerulistes 3-mõõtmelistes geo-meetrilistes ruumides ja arvutitopoloogias.
Poincaré probleemiga analoogilise probleemi topoloogiliste muut-kondade jaoks dimensioonis m > 5 lahendasid 1960. a. StephenSmale ([18]), John Stallings ([19]) ja Andrew Wallace ([22]). Kuidmeetodid, mida nemad kasutasid, osutusid kõlbmatuks 4-mõõtme-liste muutkondade puhul. Viimaste jaoks lahendas Poincaré prob-leemi 1981. a. Michael Freedman ([6]). Seega sai möödunud sajandilõpuks selgeks, et 3-mõõtmelised muutkonnad kujutuvad endastkõige keerulisemat juhtu. Tähtis on see tõsiasi, et igal 3-mõõtmeliseltopoloogilisel muutkonnal on ainult üks (difeomorfismi täpsusega)diferentseeruv struktuur. Seega on 3-mõõtmeliste topoloogilistemuutkondade klassifikatsioon homöomorfismi täpsusega ekvivalent-ne diferentseeruvate muutkondade klassifikatsiooniga difeomorfismitäpsusega. Asjalood on teised kolmest kõrgemate dimensioonidekorral. Kirby ja Siebenmann näitasid ([10]), et topoloogilisel muut-konnal dimensiooniga m > 4 võib olla mitu erinevat diferentseeru-vat struktuuri. Hiljem selgus, et kõige keerulisemateks selles suhteson just 4-mõõtmelised muutkonnad. Michael Freedman näitaseksootiliste siledate struktuuride olemasolu triviaalsel topoloogiliselmuutkonnal R4. Muutkonna R4 siledat struktuuri nimetatakse
Poincaré probleem 13
eksootiliseks, kui ta ei ole difeomorfne selle muutkonna standartsesileda struktuuriga. Tõestuseks näitas M. Freedman, et selle väiteeitus viib vastuoluni 4-mõõtmeliste muutkondade täieliku klas-sifikatsiooni konstrueerinud S. Donaldsoni teoreemidega ([4],[5]).Hiljem tõestas C.H. Taubes ([20]), et selliste eksootiliste siledatestruktuuride hulk on mitteloenduv. Dimensiooni 4 puhul erinevatesiledate struktuuride ilmsikstulek oli sedavõrd sensatsiooniline, etNew York Times’is ilmus sellele avastusele pühendatud artikkel jaühes oma artiklis esitas C.H. Taubes küsimuse: “Kas me oskamediferentseerida?”
Seega fakt, et 3-mõõtmelisel juhul muutkondade klassifikatsioo-niprobleemi uurides võime vaadelda diferentseeruvaid muutkondi,võimaldab rakendada diferentsiaalgeomeetria meetodeid. Diferent-seeruvate muutkondade hulgas on tähtsaimaks ja huvitavaimaksklassiks Riemanni muutkonnad. Et G. Perelmani ja tema eelkäijatelähenemine 3-mõõtmeliste muutkondade vallas tugineb 3-mõõtme-lise muutkonna Riemanni struktuurile, siis järgmises punktis mee-nutame lühidalt Riemanni geomeetria mõningaid põhimõisteid.
3. Ricci kõverus ja lokaalselt homogeenne
Riemanni muutkond
Diferentseeruvat m-mõõtmelist muutkonda Mm nimetatakse Rie-manni muutkonnaks, kui muutkonna igas punktis p ∈ Mm onpuutujaruumil TpM
m antud bilineaarne sümmeetriline positiivseltmääratud ruutvorm g, mis sõltub siledalt punktist p. Seega määrabg puutujavektorite u, v ∈ TpMm skalaarkorrutise g(u, v) muutkonnaMm igas punktis p. Vormi g nimetatakse Riemanni meetrikaks.Muutkonna Mm lokaalsetes koordinaatides x1, x2, . . . , xm kirjuta-takse meetrika g tavaliselt kujul g = gij(x) dx
idxj , kus gij(x)on lokaalsete koordinaatide siledad funktsioonid ja mida nime-tatakse meetrilise tensori komponentideks. Riemanni muutkonnatähtsaimaks karakteristikuks on tema kõverus. Kõveruse defineeri-misel lähtutakse kõveruse mõistest, mis on üks olulisim kaasaegsesdiferentsiaalgeomeetrias.
14 Viktor Abramov
Olgu C∞(Mm) siledate funktsioonide algebra ja D(Mm) sile-date vektorväljade Lie algebra diferentseeruval muutkonnal Mn.Meenutame, et vektorväli X ∈ D(Mm) on algebra C∞(Mm) deri-vatsioon, s.o. vektorruumi C∞(Mm) lineaarteisendus, mis rahuldabLeibnizi valemit funktsioonide korrutamise suhtes. VektorväljadeX,Y ∈ D(Mm) kommutaator [X,Y ] = X ·Y − Y ·X, kus X ·Y onteisenduste korrutis (kompositsioon), tekitab Lie algebra struktuurivektorruumil D(Mm). Levi-Civita seostuseks muutkonnal Mm
nimetatakse reeglit, mis igale vektorväljale X ∈ D(Mm) seabvastavusse vektorruumi D(Mm) lineaarteisenduse (endomorfismi)∇X nii, et rahuldatud on tingimused
∇f X+hY = f ∇X + h∇Y ,∇X(f Y ) = X(f)Y + f ∇XY,
kus f, h ∈ C∞(Mm) ja X,Y ∈ D(Mm). Kui Mm on Riemannimuutkond meetrikaga g, siis Levi-Civita seostust nimetatakse Rie-manni seostuseks, kui ta rahuldab kahte tingimust:
[X,Y ] = ∇XY −∇YX,Z(g(X,Y )) = g(∇ZX,Y ) + g(X,∇ZY ), Z ∈ D(Mm).
Esimene tingimus näitab, et Riemanni seostus on seostus ilmaväändeta ja teine tingimus näitab, et Riemanni seostus on kooskõlasmeetrikaga. Riemanni muutkondade teoorias tõestatakse, et Rie-manni muutkonnalMm meetrikaga g leidub parajasti üks Riemanniseostus ([16]), s.t. Riemanni seostus on üheselt määratud meetrika-ga g. Riemanni seostuse kõveruseks R nimetatakse suurust
R(X,Y ) = ∇X∇Y −∇Y∇X −∇[X,Y ], X, Y ∈ D(Mm).
EtR(X,Y ) = −R(Y,X), osutub kõverus R teist järku diferentsiaal-vormiks (2-vormiks) muutkonnal Mm, mille väärtusteks punktisp ∈ Mm on puutujaruumi TpMm lineaarteisendused. Kõverus Rtekitab kõverustensori R(X,Y,Z,W ) = g(R(X,Y )Z,W ). Kõverus-tensor on (0, 4)-tüüpi tensor (neljandat järku kovariantne tensor),mille komponente tähistame Rlijk, kus Rlijk = g(R(ej , ek)ei, el) ja
Poincaré probleem 15
{ei} on muutkona Mm puutujakihtkonna lokaalne ortonormeeritudreeper. Ricci kõveruseks nimetatakse sümmeetrilist bilineaarsetvormi Ric : TpM
m × TpMm → R, mis on määratud lokaalsesortonormeeritud reeperis {ei} valemiga
Ric(u, v) =m∑
i=1
g(R(ei, u)v, ei), u, v ∈ TpMm.
Ricci kõverus tekitab Ricci (0,2)-tensori, mille komponendid aval-duvad kõverustensori komponentide kaudu järgmiselt:
Ricij =m∑
k=1
Rkikj. (1)
Seega võib öelda, et Ricci kõverus osutub kõverustensori jäljeks.Kuna Ricci voogu kirjeldav võrrandisüsteem tugineb Ricci kõve-rusele, siis Ricci kõverustensori komponendid avalduvad meetrikaja Riemanni seostuse komponentide kaudu. Kui x1, x2, . . . , xm onmuutkonna Mm lokaalsed koordinaadid, siis kehtib
Ricik =∂Γlik∂xl
− ∂Γlil
∂xk+ ΓlikΓ
mlm − Γmil Γlkm,
kus Γkij on Riemanni seostuse lokaalsed komponendid (lokaalsetekoordinaatide funktsioonid), mis omakorda avalduvad meetrilisetensori komponentide kaudu järgmiselt:
Γkij =1
2gkl
(∂glj∂xi
+∂gil∂xj
− ∂gij∂xl
)
.
Ricci kõveruse jälge nimetatakse skalaarseks kõveruseks. Kui ska-laarset kõverust tähistada R, siis saame
R = Tr Ric =
m∑
i,j=1
g(R(ei, ej)ej , ei). (2)
Suunakõveruseks nimetatakse vormi
sec(u, v) =g(R(v, u)u, v)
g(u, u)g(v, v) − (g(u, v))2 , u, v ∈ TpMm.
16 Viktor Abramov
Saab näidata, et suunakõverus sõltub ainult vektorite u, v poolttekitatud tasandist π ⊂ TpMm, tingimusel, et nood on lineaarseltsõltumatud. Kui suunakõverus sec(π) on võrdne ühe ja samareaalarvuga k iga tasandi π ⊂ TpMm korral ja muutkonna Mmkõikides punktides, siis nimetatakse Riemanni muutkonda Mm
konstantse kõverusega Riemanni muutkonnaks. KolmemõõtmeliseRiemanni muutkonna M3 puhul sisaldub kogu informatsioon sellemuutkonna kõveruse R kohta Ricci kõveruses Ric.
Kui Mm ja Nn on kaks Riemanni muutkonda vastavalt meet-rikatega g ja h, siis difeomorfismi φ : Mm → Nn nimetatakseisomeetriaks, kui ta rahuldab tingimust g(u, v) = h(Dφ(u),Dφ(v))suvaliste u, v ∈ TpMm ja p ∈ Mm korral (siin Dφ : TMm → TNnon kujutuse φ diferentsiaal). Ilmselt moodustab muutkonna Mm
kõikide isomeetriate φ : Mm → Mm hulk rühma, mida tähistameIsom(Mm). See rühm toimib loomulikul viisil muutkonnal Mm, s.t.Mm × Isom(Mm) → Mm, kus (p, φ) 7→ φ(p). Kui isomeetriaterühm toimib transitiivselt, siis nimetatakse Riemanni muutkondahomogeenseks muutkonnaks. Meenutagem, et rühm toimib tran-sitiivselt, kui muutkonna M suvalise kahe punkti p ja q korralleidub selline isomeetria φ ∈ Isom(Mm) nii, et q = φ(p). Seegaon homogeensel muutkonnal igas punktis üks ja sama meetrilinestruktuur. Homogeense Riemanni muutkonna näideteks on sfäärSn, Eukleidiline ruum Rn, hüperboolne ruum Hn. Märkigem, etneist kaks esimest on konstantse kõverusega, vastavalt kõverustega+1 ja 0. Hüperboolne ruum Hn on Riemanni muutkond konstantsekõverusega −1 ja tema mudelit võib kirjeldada järgmiselt: ruumRn+1 = {(x0, x1, . . . , xn) : xµ ∈ R} temal määratud meetrikaga g,kus
g = −(dx0)2 +n∑
i=1
(dxi)2; (3)
vastavat Riemanni muutkonda tähistame R1,n. Seega on R1,n harilik(topoloogilises mõttes) ruum Rn+1 indefiniitse meetrikaga g jameetrika indefiniitsuse pärast ei ole R1,n Riemanni muutkond. Kuin = 3, siis nimetatakse ruumi R1,3 Minkowski ruumiks. Mainime, etsellel ruumil baaserub relatiivsusteooria geomeetria. Olgu r > 0 ja
Poincaré probleem 17
H(r) ⊂ R1,n hüperpind ruumis R1,n, mis on määratud võrrandiga
−(x0)2 +n∑
i=1
(xi)2 = −r2.
Mainime, et hüperpinda H(r) võib interpreteerida imaginaarseraadiusega ir n-mõõtmelise “sfäärina” meetrikas g. Juhul n = 2on H(r) kahekatteline hüperboloid ning me võime eraldada ühetema katetest, seades tingimuse x0 > 0. Pole keeruline näidata, etmeetrika g kitsendus g|H(r) hüperpinnale H(r) määrab Riemannimeetrika h hüperpinnal H(r) ja H(r) indutseeritud meetrikaga hmuutub Riemanni muutkonnaks. See muutkond ongi juhul r = 1hüperboolse ruumi Hn mudeliks.
Riemanni geomeetria põhimõisteks, mis on vajalik, et andalugejale ettekujutus Poincaré hüpoteesi üldistuseks olevast Thurs-toni hüpoteesist, on lokaalselt homogeenne Riemanni muutkond.Lokaalselt homogeenne Riemanni muutkond peab rahuldama kahtetingimust:
1. olema lokaalselt isomeetriline antud homogeense Riemannimuutkonnaga Mm;
2. olema täielik Riemanni muutkond.
Olgu N lokaalselt homogeenne Riemanni muutkond. Esimene nõuetähendab, et muutkonna N suvalise punkti q jaoks leidub selleümbrus Uq ⊂ N ja isomeetria φ : Uq → V , kus V ⊂ Mm on muut-konna Mm lahtine alamhulk. Homogeenset Riemanni muutkondaMm nimetatakse lokaalselt homogeense Riemanni muutkonna Nmudelmuutkonnaks. Et selgitada teist, täielikkuse nõuet, meenu-tagem geodeetilise joone mõistet Riemanni muutkonnal. Siledatjoont γ : I → Mm, kus I ⊂ R, nimetatakse geodeetiliseks, kui∇γ̇ γ̇ = 0, kus γ̇ on puutujavektorväli piki joont γ ja ∇ on Riemanniseostus. Geodeetilistel joontel on Riemanni muutkonnal täita samaroll, mis sirgetel Eukleidilises ruumis Rn. Riemanni geomeetriastõestatakse ([16]), et Riemanni muutkonna Mm suvalise punkti p jasuvalise puutujavektori v ∈ TpMm korral leidub ainus geodeetiline
18 Viktor Abramov
joon γ : (−ǫ, ǫ) → Mm nii, et joon γ läbib punkti p ja temapuutujavektoriks punktis p on vektor v, s.t. γ(0) = p, γ̇(0) = v.Seega punkt ja muutkonna puutujavektor selles punktis määravadüheselt ära geodeetilise joone, kuid see, kui kaugele seda võibjätkata, sõltub muutkonnast. Riemanni muutkonda nimetataksegeodeetiliselt täielikuks kui kõik selle muutkonna geodeetilisedjooned on määratud kogu arvsirgel R. Hoff-Rinowi teoreem keh-testab selle mõiste ja Riemanni muutkonna kui meetrilise ruumitäielikkuse mõiste ekvivalentsuse, kui kahe punkti vaheline kaugusmäärata valemiga
d(p, q) = inf{l(γ) : γ ∈ Ω(p, q)},
kus l(γ) on tükiti-sileda joone γ pikkus ja Ω(p, q) on muutkonnaMm tükiti-siledate punktist p punkti q kulgevate joonte hulk.
Ruumala vormiks Riemanni muutkonnal Mm meetrikaga g ni-metatakse m-diferentsiaalvormi dVg, mis on määratud muutkonnapunktis p valemiga
dVg(v1, v2, . . . , vm) = det(g(vi, ej)), (4)
kus v1, v2, . . . , vm ∈ TpMm ja {ei} on puutujaruumi TpMmpositiivselt orienteeritud ortonormeeritud baas. Ruumala vormikuju lokaalsetes koordinaatides on
dVg =√
det(gij) dx1 ∧ . . . ∧ dxm.
Riemanni muutkonda Mm nimetatakse lõpliku ruumalaga Rieman-ni muutkonnaks, kui kehtib
∫
MmdVg
Poincaré probleem 19
4. Thurstoni hüpotees
Olles end varustanud Riemanni geomeetria vajalike mõistetega,võime asuda kirjeldama Poincaré probleemiga seotud geomeetriaja topoloogia valdkonna edasist arengut. Olulise panuse selles-se arengusse on andnud W. Thurston ([21]), kes 1980-ndatelaastatel edendas teistsugust, topoloogilistest meetoditest erinevatlähenemisviisi 3-mõõtmelistele muutkondadele. Thurston vaatleslokaalselt homogeenseid Riemanni muutkondi, mille mudelmuut-konnaks on hüperboolne ruum H3. Selliseid muutkondi nimeta-takse hüperboolseteks muutkondadeks. Mitte iga 3-mõõtmelinemuutkond ei saa olla varustatud sellise meetrikaga (mis teeb tahüperboolseks muutkonnaks), sest on olemas ilmsed ja hästituntudtakistused. Kõige üldisemalt formuleeritud Thurstoni hüpoteesväidab, et need takistused osutuvad ainukesteks ja et kui nadkõrvaldada, siis saab muutkonda varustada hüperboolse muut-konna meetrikaga. Tõestanud selle hüpoteesi mitme erijuhu kor-ral, jõudis Thurston hüpoteesi üldisema formuleeringuni lokaal-selt homogeensete meetrikate olemasolust (kas hüperboolsete võivastasel juhul kõikide muutkondade jaoks). Seda hüpoteesi hakatinimetama Thurstoni geometriseerimise hüpoteesiks. Oluline on, etselles hüpoteesis sisaldub Poincaré hüpotees erijuhuna. Thurstonihüpoteesi eelis Poincaré hüpoteesi ees väljendub selles, et Thurstonihüpotees:
1. käsitleb kõiki kinniseid orienteeritavaid 3-muutkondi;
2. tekitab seose 3-mõõtmeliste muutkondade topoloogia ja dife-rentsiaalgeomeetria vahel.
Et anda Thurstoni hüpoteesi täpne formuleering, meenutagemmõnda hädavajalikku mõistet muutkondade teooriast. Olgu Mm
ja Nn kaks siledat muutkonda, n > m, ja olgu f : Mm → Nnsile kujutus. Kujutust f nimetatakse muutkonna Mm sisestuseksmuutkonda Nn, kui f on injektsioon ja kujutuse f diferentsiaaliDf : TMm → TNn astak igas punktis on m, s.t. maksimaalne.
20 Viktor Abramov
Topoloogiliste muutkondade teoorias on tähtis roll topoloogilis-te muutkondade sidusa summa mõistel. Olgu M ja N kaks orientee-ritavat topoloogilist (või siledat) sidusat n-mõõtmelist muutkonda.Eemaldame mõlema muutkonna sisemusest (s.t. riivamata nendemuutkondade rajasid ∂M ja ∂N) n-mõõtmelise kera. Me saamekaks muutkonda, mille rajade üheks komponendiks on n-mõõtmeli-ne sfäär. Nüüd kleebime need muutkonnad piki sfääre kokku nii, etnende orientatsioonid liimitavatel sfääridel kokku langeksid. Võibnäidata, et saadud objekt on sile n-mõõtmeline muutkond (kui Mja N on siledad muutkonnad), mille sile struktuur on kooskõlaslähtemuutkondade siledate struktuuridega, ja mis ei sõltu ei keraega kleepiva (liimiva) isomorfismi valikust. Sellist muutkonda nime-tataksegi muutkondade M ja N sidusaks summaks ja tähistataksesümboliga M#N . Tuletame meelde, et topoloogiliste muutkondadeteoorias nimetatakse 3-mõõtmelist muutkonda algmuutkonnaks(prime manifold), kui ta pole difeomorfne 3-mõõtmelise sfääriga S3
ja igal antud muutkonda sisestatud ja seda kaheks mittelõikuvaksosaks eraldaval 2-mõõtmelisel sfääril S2 on see omadus, et üks neistosadest on difeomorfne 3-mõõtmelise keraga.
Üks tähtsaimatest teoreemidest 3-mõõtmeliste muutkondadetopoloogias kuulub H. Kneserile1 ([11]).
Teoreem (Kneser, 1929). Iga kinnine orienteeritav 3-mõõtmelinemuutkond on esitatav lõpliku arvu orienteeritavate 3-mõõtmelistealgmuutkondade (prime factor) sidusa summana. See lahutus onainus liidetavate järjestuse ja iga liidetava orientatsiooni säilitavadifeomorfismi täpsusega. Kõikide orienteeritavate 3-mõõtmelistealgmuutkondade hulk on lõpmatu, kuid loenduv.
Seega Kneseri teoreem taandab kinniste orienteeritavate 3-mõõtmeliste muutkondade topoloogia uurimise Kneseri lahutuseliidetavate uurimisele. Tähtsaks on antud juhul osutunud fakt, etiga lokaalselt homogeenne Riemanni muutkond on algmuutkond,välja arvatud erandina RP 3#RP 3, kus RP 3 on 3-mõõtmeline
1On huvitav teada, et Hellmuth Kneser sündis 16. aprillil 1898. a. Tartus,kus tema isa Adolf Kneser oli tollal Tartu Ülikooli matemaatikaõppejõud
Poincaré probleem 21
projektiivne ruum, millele mudelmuutkonnaks on S2 × R.
Tahtes kasutada Riemanni geomeetria meetodeid 3-mõõtmelisemuutkonna uurimisel, peame viimase varustama lokaalselt homo-geense meetrikaga ja seepärast peame piirduma algmuutkondadeklassiga. Thurstoni hüpotees käib just algmuutkondade kohta.
Thurstoni hüpotees. Olgu M kinnine, orienteeritav 3-mõõtmeli-ne algmuutkond. Eksisteerib mittelõikuvate 2-mõõtmeliste tooride jaKleini pudelite ühendi sisestus f : ∐iT 2i →M muutkonda M nii, ettäiendi M \f(∐iT 2i ) iga komponendi jaoks leidub lõpliku ruumalagalokaalselt homogeenne meetrika.
Seega on näha, et lõigates kinnise orienteeritava algmuutkonna Mlahti piki 2-toore ja Kleini pudeleid, lahutame me selle tükkideks,millest igaühe jaoks leidub lokaalselt homogeenne Riemanni meet-rika. Tasub tähele panna, et sisestus f tekitab 2-toori ja Kleinipudeli fundamentaalrühmade injektiivse homomorfismi muutkonnaM fundamentaalrühma π(M). Seda kasutades võib näidata, etThurstoni hüpoteesist järeldub Poincaré hüpotees, s.t. Poincaréhüpotees on Thurstoni hüpoteesi erijuht. Olgu Σ3 homotoopnesfäär, s.t. kinnine ühelisidus (s.t. triviaalse fundamentaalrühmaga)3-mõõtmeline muutkond. Oletame, et Thurstoni hüpotees vastabtõele. Siis pole keeruline näidata, et homotoopse sfääri Σ3 lahutuspiki 2-toore ja 2-Kleini pudeleid lahtilõikamise teel on triviaalne, s.t.et homotoopset sfääri Σ3 selles mõttes lahutada ei saa. Tõepoolest,kui selline 2-toor või Kleini pudel leiduksid, siis kujutuksid nendefundamentaalrühmad (nad on mittetriviaalsed) injektiivselt rühmaπ(Σ3) kuid π(Σ3) = {1} on triviaalne, seega selliseid 2-toore jaKleini pudeleid pole. Vastavalt Thurstoni hüpoteesile leidub sfäärilΣ3 lõpliku ruumalaga lokaalselt homogeenne Riemanni meetrika. Etπ(Σ3) = {1}, on Σ3 mudelmuutkonnaks Σ3. Kuid Σ3 on kompaktnemuutkond ja 3-mõõtmelistest mudelmuutkondadest on kompaktneainult üks, S3. Seega on Σ3 isomeetriline (seega difeomorfne)muutkonnaga S3, millega on Poincaré hüpotees tõestatud.
22 Viktor Abramov
5. Ricci voog, Hamiltoni ja Perelmani
tulemused
Riemanni geomeetria vaatevinklist kinnitab Thurstoni hüpotees“parima võimaliku” meetrika olemasolu kinnisel 3-mõõtmeliselmuutkonnal. Sellise meetrika võib konstrueerida sobiva vektorväljaintegraaljoonte abil antud muutkonna kõikide meetrikate ruumil.Mainime, et lõplikumõõtmelise sileda muutkonna Mm kõikideRiemanni meetrikate ruum GMm on lõpmatumõõtmeline funktsio-naalne ruum, mille elementideks on antud muutkonnal määratudRiemanni meetrikad g. Meenutagem, et kuiNn on lõplikumõõtmeli-ne sile muutkond ja X on vektorväli muutkonnal Nn, siis genereeribvektorväli X integraaljoonte voo, mille iga joon α : I → Nn, kusI ⊂ R, rahuldab diferentsiaalvõrrandite süsteemi
d
dt(α(t)) = X(α(t)) (5)
algtingimusega α(0) = p ∈ Nn. Võrrandisüsteem (5) näitab, etvektorvälja integraaljoone puutujavektor iga t ∈ I korral on võrdnevektorvälja väärtusega vastavas punktis α(t).
Kuna muutkonnaks Nn on lõplikumõõtmelise muutkonna Mm
kõikide meetrikate funktsionaalne ruum GMm , siis selleks, et meiloleks määratud vektorväli meetrikate ruumil GMm , peame sobivaltvalima funktsionaali sellel ruumil. Funktsionaal peab sõltuma meet-rikast (ja võib-olla meetrika tuletistest) ja meetrikate ruumi GMm
igas punktis g on funktsionaali väärtuseks sümmeetriline teist järkukovariantne tensor nagu meetrikagi. Kõige loomulikum ja lihtsamvalik on Ricci kõverustensor Ricij (1). Sel juhul kirjeldab vek-torvälja integraaljoonte voogu võrrandisüsteemiga (5) analoogilinevõrrandisüsteem
d
dt(g(t)) = −2Ric(g(t)). (6)
Võrrandisüsteemiga (6) määratud integraaljoonte voogu meetrikateruumis GMm nimetatakse Ricci vooks (Ricci flow). Ricci voo mõistevõttis kasutusele R. Hamilton. Põhjused, miks Hamilton valisvõrrandisüsteemi (6) paremale poole Ricci kõverustensori, on väga
Poincaré probleem 23
sarnased nendega, miks Einstein võttis oma gravitatsiooniteooriaskasutusele Ricci kõverustensori: vaja oli teist järku kovariantsetsümmeetrilist tensorit, mis sõltuks meetrikast ning selle esimest jateist järku osatuletistest. Nende nõuetega on Ricci kõverustensormääratud peaaegu üheselt (meetrilise tensori kordseks oleva tensoritäpsusega).
Olgu x1, x2, . . . , xm Riemanni muutkonna Mm lokaalsed har-moonilised koordinaadid meetrika g(t) suhtes, kus g(t) on võrran-disüsteemiga (6) määratud Ricci voog. Riemanni muutkonna har-moonilistes koordinaatides kehtib võrdus ([16])
−2Ricij = ∆ gij +Qij(g, ∂g),
kus ∆ = gkl∂k∂l on Laplace’i operaator (meetrikas g) ningavaldis Qij on polünomiaalne meetrika g ja tema osatuletistesuhtes, sealjuures ruutvorm osatuletiste suhtes. Muutkonna Mm
harmoonilistes koordinaatides muutub Ricci voo võrrandisüsteemi(6) kuju järgmiseks:
dgijdt
= ∆ gij +Qij(g, ∂g). (7)
See on mittelineaarne soojusjuhtivuse tüüpi võrrand meetrikajaoks. Diferentsiaalvõrrandite teooriast järeldub Ricci voo g(t)olemasolu ja ainsus ajaintervallil −δ < t < δ, kui algtingimusekson sile Riemanni meetrika g0. Seega Ricci voo võrrandisüsteemi(6) paremal poolel asetseval miinusel on tähtis roll, sest ta viibmeid korrektsele soojusjuhtivuse tüüpi võrrandile (harmoonilisteskoordinaatides) ja sellega Ricci voo eksisteerimine on garanteeritud.Kui võrrandisüsteemi (6) paremal pool asuv Ricci tensor oleksplussiga, siis esimene liige võrrandisüsteemi (7) paremal poolel oleksmiinusega ja vastav võrrandisüsteem oleks soojusjuhtivuse tüüpivõrrand tagasisuunatud ajaga. Sellisel võrrandisüsteemil lahendeidüldiselt ei ole.
Võrrandisüsteemi (6) lahendiks algtingimusega g(0) = g0, kusg0 on mingi sile Riemanni meetrika muutkonnal M
m, on Riemannimeetrikate g(t) pere antud muutkonnal Mm. Riemanni meetrikate
24 Viktor Abramov
pere g(t) käitumine erinevate parameetri t väärtuste korral jasamuti tekkivad singulaarsused olid Hamiltoni uuringute objektiks.Toome ära kaks Hamiltoni poolt tõestatud tulemust ([7], [8], [9]):
1. olemasolu ja ainsus lõplikul ajaintervallil: kui g0 on sileRiemanni meetrika kompaktsel muutkonnal, siis leidub sellinemeetrikast g0 sõltuv arv ǫ > 0 ja võrrandisüsteemi (6) ainukelahend g(t), mis on määratud t ∈ [0, ǫ) korral ning g(0) = g0;
2. singulaarsuste tekkimise iseloomustamine kõveruse abil: kuivõrrandisüsteemi (6) lahend g(t) on määratud intervallil[0, T ), kus T on reaalarv, ja seda pole võimalik jätkatasuuremale intervallile [0, T ′), kus T ′ > T , siis leidub muut-konna punkt x, milles Riemanni meetrikaga g(t) määratudkõverustensor R(x, t) on tõkestamata t→ T korral.
Need Hamiltoni tulemused on üldise iseloomuga selles mõttes, etkehtivad suvalise mõõtmega muutkonna jaoks. Hamilton kasutaskolmemõõtmeliste muutkondade uurimiseks omaenda tehnikat ningproovis tõestada Thurstoni hüpoteesi. Õnnestus tal see siiski vaidtugevate lisaeeldustega juhu jaoks. Hamiltoni poolt tõestatud teo-reemidest järeldub järgmine tulemus:
Kui Ricci voog g(t) 3-mõõtmelisel sidusal Riemanni muutkonnalM Riemanni meetrikaga g0 (s.t. g(0) = g0) on määratud suvaliset ∈ [0,∞) korral ja meetrika g(t) poolt määratud normaliseeritudkõverus t · R(x, t), kus x ∈ M , on tõkestatud t → ∞ korral, siisrahuldab muutkond M Thurstoni hüpoteesi.
Thurstoni hüpoteesi lahenduse pakkus välja Perelman omapreprintide seerias ([13], [14], [15]). Perelman jätkas Ricci voouurimist, pakkudes välja suure hulga originaalseid ideid. Selle artiklilõpetuseks olekski mõningate Perelmani ideede ja meetodite lühikekirjeldus ([3], [12]).
Gravitatsiooniteoorias nimetatakse Einstein-Hilberti mõjufunkt-sionaaliks funktsionaali S : GM → R, kusjuures
S(g) =
∫
M
R dVg, (8)
Poincaré probleem 25
kus M on Riemanni muutkond meetrikaga g, R on skalaarnekõverus (2), dVg on ruumala vorm (4) ja GM on muutkonnaM meetrikate ruum. Mainime, et selle mõjufunktsionaali Euler-Lagrange’i võrrandid on Einsteini võrrandid gravitatsiooniväljajaoks.
Meenutagem, et siledal lõplikumõõtmelisel muutkonnalN antudsile funktsioon f : N → R tekitab vektorvälja grad(f), kusjuuresmuutkonna N lokaalsetes koordinaatides x1, x2, . . . , xn kehtib
grad(f) =
(∂
∂x1,∂
∂x2, . . . ,
∂
∂xn
)
.
Vektorvälja grad(f) integraaljoontega on määratud selle vektorväl-ja voog, mida nimetatakse funktsiooni f gradiendi vooks. Einstein-Hilberti mõjufunktsionaal on funktsionaal muutkonna M meetri-kate ruumil GM ja seoses sellega kerkib loomulik küsimus, kasRicci voog on seotud Einstein-Hilberti mõjufunktsionaaliga S(g)?Näiteks, kas Ricci voog on Einstein-Hilberti mõjufunktsionaaligradiendi voog? Osutub, et see on väga lähedane sellele, et olla õige,kuid siiski vastus on eitav. On võimalik isegi näidata, et Einstein-Hilberti mõjufunktsionaali gradiendi voog ei eksisteeri ja see onseotud sellega, et Einstein-Hilberti mõjufunktsionaali varieerimineviib meid soojusjuhtivuse võrrandile skalaarse kõveruse jaoks taga-sisuunatud ajaga, s.t.
d
dt(R) = −∆R +Q,
ja see on mittekorrektne võrrand. Funktsiooni f ∈ C∞(M) ka-sutades modifitseerime Einstein-Hilberti mõjufunktsionaali S(g)järgmiselt
S(g, f) =∫
M
(R + |grad(f)|2) e−f dVg. (9)
Funktsionaali S(g, f) võime vaadelda kui muutkonna M Riemannimeetrikate ruumil määratud funktsionaalide parve, kus parve para-meetrite ruumiks on siledate funktsioonide ruumC∞(M). Mainime,
26 Viktor Abramov
et funktsionaal S(g, f) tekib stringiteoorias (väljateooria kaasaegsesteoreetilises füüsikas ([2]), milles osakest kujutatakse mitte punk-tina ruumis nagu klassikalises teoorias, vaid ühedimensionaalseobjektina (string) ehk matemaatika vaatevinklist kõverjoonena) kuimadalenergia efektiivne mõjufunktsionaal, kusjuures funktsiooni f(ehk väljateooria terminites skalaarvälja) nimetatakse dilatoniks.Valime muutkonnal M mingi sileda mõõdu dµ ja defineerimePerelmani seose (Perelman coupling) valemiga
e−fdVg = dµ. (10)
Perelmani seose abil saadud funktsionaal
Sµ(g, f) =∫
M
(R + |grad(f)|2) dµ,
on funktsionaal muutkonna M Riemanni meetrikate ruumil GM .Esmapilgul paistab, et saadud funktsionaal on palju keerulisem, kuiEinstein-Hilberti funktsionaal S(g) ja sellega meie suurt midagi eivõida, kuid osutub, et leidub selliste funktsioonide f (või mõõtudedµ) üsna suur klass, et funktsionaali Sµ(g, f) gradiendi voogeksisteerib ja rahuldab võrrandisüsteemi
d
dt(g̃(t)) = −2 (Ric(g̃(t)) +D2f), (11)
kus D2f on funktsiooni f Hesse determinant Riemanni meetrikag̃(t) suhtes. Seega võrrandisüsteemiga (11) määratud meetrikateg̃(t) voog on infinitesimaalse difeomorfismiD2f abil modifitseeritudRicci voog (6), kus
D2f =d
dt(ψ∗t (g̃(t))),
ja ψt on vektorvälja grad(f) poolt indutseeritud muutkonna M lo-kaalsete difeomorfismide üheparameetriline rühm. Järelikult funkt-sionaali Sµ(g, f) gradiendi voog on Ricci voog infinitesimaalsete di-feomorfismide täpsusega, kusjuures mõõdu dµ erinevatele valikutele
Poincaré probleem 27
vastavad erinevad infinitesimaalsed difeomorfismid D2f . On tähtis,et funktsionaal Sµ kasvab mööda Ricci voogu.
Perelman näitas, et kui g(t) on muutkonna M Ricci voogalgtingimusega g(0) = g0, siis suvalise t > 0 korral funktsioonideja vastavate mõõtude klass, mille iga funktsioon f ja vastav mõõtdµ rahuldavad Perelmani seost (10) meetrika g(t) korral, on vägalai, ja valides sobival teel funktsiooni f , Perelman uuris Riemannimeetrika g(t) poolt tekitatud muutkonna M geomeetriat. Näiteksuurides funktsionaali Sµ Perelman näitas, et meetrika g(t) kidumist(kollapsit) muutkonna M mingi punkti p ümbruses on võimalikkindlaks teha funktsionaali Sµ(f, g(t)) väärtuse abil, kui funktsioonf on valitud nii, et e−f on deltafunktsiooni δ(x − p) lähend. Midasuurem on Riemanni meetrika g(t) kollaps punkti p ligidal, sedasuurem absoluutväärtuselt on funktsionaali Sµ(f, g(t)) negatiivneväärtus. Kasutades nüüd seda, et funktsionaal Sµ(f, g(t)) kasvabmööda Ricci voogu, on võimalik vältida meetrika suvalise mastaa-biga kollapsit lõpliku aja t jooksul.
Kirjandus
1. V. Abramov, Poincaré hüpotees, Eesti Matemaatika Seltsiaastaraamat 2001, Tartu 2003, 56–68.
2. V. Abramov, P. Kuusk, Supersümmeetria füüsikas ja mate-maatikas, Tartu Ülikooli Kirjastus, Tartu 1994.
3. M.T. Anderson, Geometrization of 3-manifolds via the Ricciflow, Notices Am. Math. Soc. 51 (2004), 184–193.
4. S. Donaldson, An application of gauge theory to the topologyof 4-manifolds, J. Diff. Geom. 18 (1983), 269–316.
5. D.S. Freed, K. Uhlenbeck, Instantons and Four-Manifolds,Springer-Verlag, 1984.
6. M. Freedman, The topology of four-dimensional manifolds, J.Differential Geom. 17 (1982), 357–453.
28 Viktor Abramov
7. R. Hamilton, Three-manifolds with positive Ricci curvature,J. Differential Geom. 17 (1982), 255–306.
8. R. Hamilton, The Harnack estimate for the Ricci flow, J.Differential Geom. 37 (1993), 225–243.
9. R. Hamilton, Formation of singularities in the Ricci flow,Surveys in Differential Geometry 2, International Press 1995,7–136.
10. R. Kirby, L. Siebenmann, On the triangulation of manifoldsand the Hauptvermutung, Bull. Amer. Math. Soc. 75 (1969),742–749.
11. H. Kneser, Geschlossene Flächen in drei-dimensionalen Man-nigfaltigkeiten, Jahresber. D. M. V. 38 (1929), 248–260.
12. J.W. Morgan, Recent progress on the Poincaré conjecture andthe classification of 3-manifolds, Bull. Am. Math. Soc., NewSer. 42 (2005), 57–78.
13. G. Perelman, The entropy formula for the Ricci flow and itsgeometric applications, preprint (2002), math.DG/0211159.
14. G. Perelman, Ricci flow with surgery on thee-manifolds,preprint (2003), math.DG/0303109.
15. G. Perelman, Finite extinction time for the solutions tothe Ricci flow on certain three-manifolds, preprint (2003),math.DG/0307245.
16. P. Petersen, Riemannian Geometry, Graduate Texts in Mat-hematics 171, Springer, 1997.
17. H. Poincaré, Cinquième complément à l’analysis situs, Rend.Circ. Mat. Palermo 18 (1904), 45–110.
18. S. Smale, The generalized Poincaré conjecture in higherdimensions, Bull. Amer. Math. Soc. 66 (1960), 373–375.
Poincaré probleem 29
19. J. Stallings, Polyhedral homotopy spheres, Bull. Amer. Math.Soc. 66 (1960), 485–488.
20. C.H. Taubes, Gauge theory on asymptotically periodic 4-manifolds, J. Diff. Geom. 25 (1987), 363–430.
21. W. Thurston, Three-dimensional Geometry and Topology,Vol. 1, Princeton Math. Ser., Vol. 35, Princeton Univ. Press1997.
22. A. Wallace, Modifications and cobounding manifolds. II, J.Math. Mech. 10 (1961), 773–809.
Madala hälbivusega jadad ja
integraalide arvutamine
Raul Kangro
Tartu Ülikool
1. Sissejuhatus
Integraalide arvutamine on tähtsal kohal paljudes matemaatikarakendustes, kuna integraalsel kujul esituvad mitmed füüsikalisedsuurused, samuti ka juhuslike suuruste keskväärtused. Kuigi in-tegraale õnnestub täpselt arvutada suhteliselt harva, on paljuerinevaid meetodeid nende ligikaudseks leidmiseks. Sageli aga onpraktilistes rakendustes (näiteks finantsmatemaatikas) vaja arvu-tada suurest arvust muutujatest sõltuvate funktsioonide integraalening sel juhul standardsed meedodid pahatihti ei tööta või on liigaaeglased. Käesolevas artiklis tuleb juttu ühest suhteliselt uuestlähenemisest, mis võimaldab ka viimasel juhul enamasti saadamõistliku täpsusega tulemusi aktsepteeritava tööajaga.
2. Motivatsioon ja eesmärgid
Vaatleme integraalide
I =
∫
D
f(x) dx,
kus D = [0, 1]d, d > 1, arvutamise mõningaid meetodeid. Alustamejuhust d = 1, s.t. integraalidest üle ühiklõigu.
1. Ristkülikvalem. Jaotame lõigu [0, 1] n osalõiguks, arvutamefunktsiooni väärtused nende osalõikude keskpunktides, korru-tame osalõigu pikkusega ja summeerime. Nii saame integraaliväärtuseks
I ≈ In =∑n
i=1 f(xi)
n,
30
Madala hälbivusega jadad ja integraalide arvutamine 31
kus xi =2i−12n , i = 1, 2, . . . , n. Selle valemi kohta on teada, et
ta on ruutkoonduvusega:
|I − In| ≤c
n2,
kus c sõltub ainult funktsioonist f ; viga on võimalik arvutustekäigus hinnata Runge võttega:
I − I3n ≈In − I3n
8.
2. Monte-Carlo meetod. Kasutades teadmist, et lõigul [0, 1]ühtlase jaotusega juhusliku suuruse korral avaldub keskväär-tus E[f(X)] vaadeldava integraaliga ning et suurte arvudeseaduse kohaselt saab keskväärtust leida kui sõltumatu-te katsete aritmeetilise keskmise piirväärtust katsete arvukasvades, saame vaadeldava integraali ligikaudse väärtuseleida nii, et genereerime n ühtlase jaotusega juhuslikku arvuX1,X2, . . . ,Xn ning leiame
I ≈ In =∑n
i=1 f(Xi)
n.
Erinevalt ristkülikvalemist on suuruse In viga Monte-Carlomeetodi korral juhuslik; fikseeritud n korral võime arvutusikorrates saada iga kord erineva tulemuse. Seetõttu on kaveahinnang tõenäosuslik: tõenäosusega p on n katse korraltulemuse viga hinnatav järgmiselt:
|I − In| ≤σ√
n√
1 − p,
kus σ on juhusliku suuruse f(X) dispersioon, mida saabhinnata arvutatud funktsiooni väärtuste f(Xi) abil.
Kui võrrelda neid kahte meetodit, siis ristkülikvalemi eelisekson tema suurem koonduvuskiirus: näiteks funktsiooni f(x) =cos(x) puhul annab ristkülikvalemi kasutamine juba n = 6 korral
32 Raul Kangro
(ja ka suuremate n väärtuste korral) tulemuse veaga, mis onväiksem kui 0, 001, kuid Monte-Carlo meetodi abil tuleb selleks,et saada sama täpsus keskmiselt 19 juhul 20-st kasutada rohkemkui 74000 genereerimist. Samuti võib ristkülikvalemi eeliseks lugedaveahinnangu mittejuhuslikkust. Monte-Carlo meetodi eeliseks võibaga lugeda seda, et juba leitud tulemust on lihtne täpsustada,selleks tuleb ainult juhusliku suuruseX väärtusi juurde genereerida,kusjuures arvutused võib peatada suvalisel momendil (näitekskui enam pole aega oodata) ning kõiki arvutatud funktsiooniväärtusi saab kasutada integraali ligikaudse väärtuse leidmiseks.Ristkülikvalemi puhul on tulemuse täpsustamine nii, et varemteh-tud töö raisku ei läheks, tunduvalt keerulisem, kuna selleks tulebsuurendada n väärtust kolm korda ning arvutusi ei tohi peatadaenne, kui funktsiooni väärtus on kõigis lisandunud punktides väljaarvutatud ja kokku summeeritud. Kokkuvõtvalt võib aga öelda, etühemõõtmeliste integraalide korral ei suuda Monte-Carlo meetodristkülikvalemiga konkureerida.
Integreerimispiirkonna dimensiooni d kasvades aga muutub piltvarsti teiseks. Ei ole kuigi raske veenduda, et ristkülikvalemianaloog (kus me jaotame piirkonna n = kd d-mõõtmeliseks kuu-biks ja leiame keskmise funktsiooni väärtustest nende kuubikestekeskpunktides) koondub d-mõõtmelise integraali korral kiirusegac
n2/d, mis juba d = 5 korral on aeglasem, kui Monte-Carlo meetodi
koonduvuskiirus c√n. Seega muutub mitmemõõtmeliste integraalide
korral Monte-Carlo meetod arvestatavaks konkurendiks klassika-listele integraalide arvutamise numbrilistele meetoditele, samutimuutub suurema dimensiooni korral olulisemaks võimalus arvutusipeatada siis, kui see meile vajalikuks osutub. Samas aga jäävadprobleemideks suhteliselt aeglane koonduvuskiirus ning tulemusejuhuslikkus.
Siit tekibki küsimus, et kas ei ole võimalik konstrueeridaintegraalide ligikaudse arvutamise meetodit, mis koonduks kiire-mini kui Monte-Carlo meetod suvalise dimensiooni d korral, oleksmittejuhuslik ning võimaldaks arvutusi peatada suvalisel momendil.Osutub, et see on võimalik, kuid sellise meetodi konstrueerimisel
Madala hälbivusega jadad ja integraalide arvutamine 33
tuleb kasutada spetsiaalselt valitud punkte xi, kus funktsioo-ni väärtusi välja arvutada. Siin tulevadki mängu nn. madalahälbivusega jadad.
3. Madala hälbivusega jadad ja integraalide
arvutamine
On arusaadav, et integraali heaks lähendamiseks peavad punktid,kus funktsiooni väärtused leitakse, paiknema integreerimispiirkon-nas mingis mõttes ühtlaselt. Kui me tahame, et integraal oleks hästilähendatud suvalise arvu punktide korral, peaks ühtlase paigutusetingimus olema täidetud jada x1, x2, . . . , xn jaoks iga n korral.Siin tekib aga küsimus, kuidas punktide paigutuse ühtlust mõõta.Osutub, et selleks sobib hälbivuse mõiste.
Definitsioon 1. Olgu P mingi lõplik hulk punkte piirkonnas[0, 1]d ning olgu H hulga [0, 1]d mingi Lebesgue’i mõttes mõõtuva-te alamhulkade kollektsioon. Punktihulga P hälbivuseks H suhtesnimetatakse suurust
supH∈H
∣∣∣∣
|H ∩ P ||P | − µ(H)
∣∣∣∣,
kus |A| tähistab hulga A elementide arvu ning µH on hulga HLebesgue’i mõõt (pindala d = 2 korral, ruumala d = 3 korral jne.).Kui H koosneb risttahukatest kujul [a1, b1] × [a2, b2] × · · · × [ad, bd],kus 0 ≤ ai < bi ≤ 1, siis hälbivust H suhtes nimetatakse lihtsalthälbivuseks ning tähistatakse kujul D(P ). Kui H koosneb hulkadestkujul [0, b1]×[0, b2]×· · ·×[0, bd], siis hälbivust H suhtes nimetatakse∗-hälbivuseks (tärn-hälbivus) ja tähistatakse kujul D∗(P ).
Definitsioonist järeldub, et iga lõpliku punktihulga P korralkehtib võrratus D∗(P ) ≤ D(P ). Veidi raskem on veenduda selles,et tegelikult kehtib ka võrratus D(P ) ≤ 2dD∗(P ), mistõttu on∗-hälbivus ja tavaline hälbivus ekvivalentsed suurused. Lihtne onnäha ka seda, et D(P ) > 1|P | (selleks piisab väikeste, ühte punkti
34 Raul Kangro
sisaldavate ruudukeste vaatlemisest). Huvitavaks probleemiks onaga selliste punktijadade konstrueerimine, mille korral esimesest nelemendist koosnevate punktihulkade hälbivus läheks n kasvadesnulli võimalikult kiiresti.
On teada mitmeid mooduseid jadade konstrueerimiseks d-mõõtmelises ühikkuubis, mille korral kehtivad võrratused
D({x1, . . . , xn}) ≤c(ln n)d−1
n.
Üldtunnustatud (kuid seni tõestamata) hüpoteesiks on, et kiirematnullikoondumist ei ole võimalik saavutada, mistõttu selliseid jadasidnimetatakse madala hälbivusega jadadeks.
Integraalide arvutamise seisukohalt muudab madala hälbivuse-ga jadad väga huvipakkuvaks järgnev Koskma-Hlawka võrratusenime all tuntav tulemus.
Teoreem 1. Suvalise teatud tehnilisi eeldusi (lõpliku Hardy-Krausevariatsiooni olemasolu) rahuldava funktsiooni f korral kehtib võrra-tus ∣
∣∣∣∣
1
n
n∑
i=1
f(xi) −∫
[0, 1]df(u)du
∣∣∣∣∣≤ cfD∗({x1, . . . , xn}),
kus konstant cf sõltub ainult funktsiooni f omadustest.
Siit on näha, et madala hälbivusega jada kasutamise korralvõime integraali arvutada samuti nagu Monte-Carlo simulatsioonikasutades: arvutame funktsiooni väärtused mingis arvus punktidesning integraali lähendiks on nende väärtuste keskmine, kusjuuresmadala hälbivusega jadade korral on koonduvuskiirus suurem (vigakäitub peaaegu nagu c
nMonte-Carlo c√
nasemel). Seetõttu on
madala hälbivusega jada kasutamine mitmekordsete integraalidearvutamisel Monte-Carlo meetodile vägagi arvestatavaks konku-rendiks. Ainukeseks seni ületamata puuduseks on see, et siiani eiole leitud efektiivset moodust tegeliku vea hindamiseks arvutustekäigus (vastava konstandi väljaarvutamine on enamasti vähemaltsama keerukas ülesanne, kui integraali väärtuse leidmine).
Madala hälbivusega jadad ja integraalide arvutamine 35
Vaatleme ühte küllaltki lihtsat moodust madala hälbivusegajadade konstrueerimiseks. Selleks tähistame naturaalarvu k baasilb esituse i-ndat numbrit kujul αb(i, k), s.t. 0 ≤ αb(i, k) < b ning
k =∞∑
i=0
αb(i, k)bi,
kusjuures αb(i, k) = 0, kui i > logb(k). Naturaalarvude esitusekaudu b-ndsüsteemis saame defineerida kujutuse naturaalarvudehulgast lõiku [0, 1] kujul
ψb(k) =
∞∑
i=0
αb(i, k)
bi+1, k ∈ IN.
Näiteks b = 2 korral saame
ψ2(0) = 0, ψ2(1) =1
2, ψ2(2) =
1
4, ψ2(3) =
3
4, ψ2(4) =
1
8,
ψ2(5) =1
2+
1
8=
5
8jne.
Osutub, et kui fikseerida d erinevat algarvu (või üldisemalt, dühistegurita arvu) ning defineerida d-mõõtmeliste punktide jada
xk = (ψb1(k), . . . , ψbd(k)), k ∈ IN,
siis saadud nn. Haltoni jada on madala hälbivusega. Näiteks b1 =2, b2 = 3 korral saame nii punktid
(0, 0),
(1
2,1
3
)
,
(1
4,2
3
)
,
(3
4,1
9
)
,
(5
8,4
9
)
jne.
Esimese saja punkti paiknemist võib näha jooniselt 1. Kahjukssuure dimensiooni d korral ei ole Haltoni punktid väga headeomadustega, mistõttu praktilistes rakendustes kasutatakse tundu-valt keerulisemalt defineeritud, kuid paremate omadustega madalahälbivusega jadasid.
36 Raul Kangro
Joonis 1: Esimesed sada Haltoni punkti juhul b1 = 2, b2 = 3.
Madala hälbivusega jadad ja integraalide arvutamine 37
Joonis 2: Integraali lähisväärtuse viga Monte-Carlo meetodi (halljoon) ja kvaasi-Monte-Carlo meetodi (must joon) korral
Lõpetuseks toome ka ühe numbrilise eksperimendi tulemused.Nimelt vaatleme integraali
∫ 1
0
∫ 1
0x · sin(x+ y) dx dy
ligikaudset leidmist Monte-Carlo meetodil ning eelpool definee-ritud Haltoni punkte kasutava nn. kvaasi-Monte-Carlo meeto-dil, võrreldes saadud tulemuste erinevusi täpsest väärtusest n =100, 101, . . . , 1000 korral. Nagu jooniselt 2 näha, on Monte-Carloviga tunduvalt hüppelisem ning kahaneb aeglasemalt kui Haltonipunktide kasutamisel saadud tulemuse viga.
Tõenäosusjaotuste lähendamine hulkadega
Meelis Käärik
Tartu Ülikool
Tõenäosusjaotuste lähendamine hulkadega on oluline ülesannenii klassikalises statistikas ja tõenäosusteoorias kui mitmetes prakti-listes valdkondades. Teatavasti on ka sellised tuntud karakteristikudnagu juhusliku suuruse keskväärtus ja mediaan tema parimadühepunktilised lähendid vastavalt ruutkauguse või absoluutse kau-guse mõttes. Käesolevas töös vaadeldakse selle klassikalise ülesandekaugeleulatuvat üldistust, seda nii lähendhulkade valiku, kaofunkt-siooni kuju kui ka põhiruumi enda osas.
Võimalike lähendhulkade valik on väga lai. Tuntumad näitedon k-punktilised hulgad, sirged, tasandid, aga ka erinevad kõveradja pinnad. Kõige sügavamad tulemused on kirjanduses seni saa-dud juhul, kui klass A koosneb k-punktilistest hulkadest. Sellistelähendhulkadega on tegemist näiteks kvantimise (analoogsignaalimuutmine digitaalseks) korral. Suhteliselt hästi on lahendatudoptimaalsete k-hulkade olemasolu, nende koondumise jt. küsimused(vt. [12], [3], [8]). Lähendhulkade koondumise probleem tekib siis,kui lähendhulgad on optimaalsed mõõtude jada {Pn} suhtes, kus Pnkoondub (nõrgalt) mõõduks P . Kirjeldatud situatsioon on praktikasväga levinud: nimelt on statistikas enamasti vaja hinnata üldkogumikriteeriume, aga võimalik on kasutada ainult valimist saadudinformatsiooni. On ilmne, et valimi karakteristikute koondumineüldkogumile vastavaks karakteristikuks on igati soovitav omadus,mille tõestamine üldjuhul aga pole sugugi triviaalne ülesanne.Seejuures on teada fakt, et valimi tekitatud empiiriline jaotuskoondub nõrgalt üldkogumile vastavaks jaotuseks tõenäosusega 1.Eelpool mainitud töödes ongi vaatluse all just empiirilised mõõdudPn ning väitekirja üks ülesanne oligi käsitleda üldisemat juhtu,mis haaraks ka näiteks ergoodiliste protsesside poolt indutseeritudmõõte.
Seoses arvutustehnika võimsuse pideva kasvuga on järjest enamhakatud uurima ka keerulisemaid mudeleid kui k punktiga lähen-
38
Tõenäosusjaotuste lähendamine hulkadega 39
damine. Jaotuste ringjoontega lähendamise probleem on kerkinudmitmetes eri valdkondades. Huvitavaks näiteks on siin ühe Antiik-Kreeka staadioni rekonstrueerimine osaliselt säilinud stardirajajärgi ([16]). Lähendamine ringjoonte ja ellipsitega on oluline teemafüüsikas osakeste kiirendamisel magnetväljas, astronoomias ([11]),lennukitööstuses, metroloogias, helilainete uurimisel ([17]) ja mujal.
Matemaatiliselt saame uuritava ülesande kirja panna järgmiselt.Olgu antud juhuslik element X jaotusega P separaablil meetri-lisel ruumil (S, d) ja olgu A ruumi S teatud alamhulkade hulk.Lähendhulka A ∈ A nimetame optimaalseks (jaotuse P mõttes),kui ta minimiseerib järgmise kaofunktsiooni:
W (A,P ) = Eϕ(d(X,A)),
kus d(x,A) on kaugus punkti x ja lähendhulga A vahel ja hälbe-funktsioon ϕ annab lähendhulgale tema kauguse põhjal “hinde”.
Töös püstitatud põhiküsimused olid:
1) millal optimaalne lähendhulk üldse leidub?
2) kas kaofunktsioonide infiimumväärtuste (“parimate hinnete”)jada koondub?
3) kas optimaalsete lähendhulkade jada {An} koondub?
Paneme tähele, et “parimate hinnete” käitumise uurimine onsageli olulisemgi kui optimaalsete lähendite endi uurimine. Nimelt,tihti on meil lihtsalt vaja jaotuse Pn põhjal leida jaotuse P jaoks“piisavalt hea hindega” lähendit. Sellise ülesande püstituse korral eiolegi niivõrd oluline see, kas Pn-optimaalsed lähendid koonduvad,tähtis on, et just “hinnete” jada koonduks (vt. näiteks [18]).
Toodud probleeme on üsna laialdaselt uuritud ka varem ([12],[1], [3], [4], [13], [14], [2], [8], [9]). Töö eesmärk oli üldistada seniseidtulemusi antud valdkonnas kahes põhisuunas:
• valides võimalikult laia lähendhulkade klassi A;• tehes võimalikult vähe kitsendusi mõõtudele {Pn} ja P , et
kaasata ka praktikas olulisi mitte-empiirilisi mõõte (kaasatudon näiteks ka ergoodiliste protsesside poolt genereeritudmõõtude jadad).
40 Meelis Käärik
Töö tulemused võib jagada kahele põhilise üldistuse tasemele.Esmalt on uuritud jaotuste lähendamist suvalise lähendhulkadeklassi ja separaabli meetrilise ruumi S korral. Sellistel üldistel eel-dustel õnnestus tõestada kaofunktsioonide optimaalsete väärtuste(“parimate hinnete”) koondumine – üks püstitatud põhieesmärke.Toodud teoreem (koos mitmete kaasnevate tulemustega) üldistabpaljusid varasemaid samalaadseid tulemusi (vt. [12], [1], [14], [18]).
Edasi on lähemalt vaadeldud kahte võrdlemisi laia lähendhulkadeklassi: teatud tüüpi tõkestatud hulgad ja parameetrilised hulgad.Mõlema klassi korral said positiivse vastuse kaks ülejäänud põhi-küsimust: tõestatud on optimaalsete lähendhulkade leidumine jakoondumine lõplikumõõtmelises normeeritud ruumis.
Saadud tulemused on edasiarenduseks artikli (Käärik, 2000)tulemustele, kus vaadeldi jaotuste lähendamist sfääridega, samution nad üldisema iseloomuga võrreldes teiste varasemate töödegaselles vallas (vrdl. [12], [1], [2], [15]).
Väitekirjaga seotud teemadel on tehtud ettekanded Vilniu-se Ülikooli matemaatika-informaatikateaduskonna tõenäosusteooriaseminaris (detsembris 2004) ja Leedu Teaduste Akadeemia Mate-maatika ja Informaatika Instituudi tõenäosusteooria seminaris (det-sembris 2004), samuti konverentsil 9th International Vilnius Con-ference on Probability Theory and Mathematical Statistics (juunis2006). Lisaks väitekirjale on sel teemal avaldatud ka kolm artiklit:[5], [6], [7].
Kirjandus
1. E.F. Abaya, G.L. Wise, Convergence of vector quantizers withapplications to optimal quantization, SIAM J. Appl. Math. 44(1984), 183–189.
2. J. Averous, M. Meste, Median balls: an extension of theinterquantile intervals to multivariate distributions, J. Mul-tivariate Anal. 63 (1997), 222–241.
3. J.A. Cuesta, C. Matrán, The strong law of large numbersfor k-means and best possible nets of Banach valued random
Tõenäosusjaotuste lähendamine hulkadega 41
variables, Probab. Theory Related Fields, 78 (1988), 523–534.
4. J.A Cuesta, C. Matrán, Uniform consistency of r-means,Statist. Probab. Lett. 6 (1989), 65–71.
5. M. Käärik, Approximation of distributions by sphere, Multi-variate Statistics. New Trends in Probability and Statistics,Vol. 5, VSP/TEV, Vilnius-Utrecht-Tokyo 2000, 61–66.
6. M. Käärik, K. Pärna, Approximation of distributions byparametric sets, Acta Appl. Math. 78 (2003), 175–183.
7. M. Käärik, K. Pärna, Fitting parametric sets to probabilitydistributions, Acta Comment. Univ. Tartu. Math. 8 (2004),101–112.
8. J. Lember, Consistency of empirical k-centres, Doctoral Dis-sertation. Tartu Ülikooli Kirjastus, Tartu 1999.
9. J. Lember, Consistency of k-centres via metric projection,Limit Theorems in Probability and Statistics II, Budapest2002, 335–350.
10. J. Lember, K. Pärna, Strong consistency of k-centres inreflexive spaces, Probability Theory and Mathematical Sta-tistics, VSP/TEV, Vilnius-Utrecht-Tokyo 1999, 441–452
11. Y. Nievergelt, A tutorial history of least squares with applica-tions to astronomy and geodesy, J. Comput. Appl. Math., 121(2000), 37–72.
12. D. Pollard, Strong consistency of k-means clustering, Ann.Statist. 9 (1981), 135–140.
13. K. Pärna, Strong consistency of k-means clustering criterionin separable metric spaces, Tartu Riikl. Ülik. Toimetised 733(1986), 86–96.
42 Meelis Käärik
14. K. Pärna, On the stability of k-means clustering criterion inseparable metric spaces, Tartu Riikl. Ülik. Toimetised 798(1988), 19–36.
15. K. Pärna, J. Lember, A. Viiart, Approximating of distribu-tions by sets, Classification in the Information Age, Springer-Verlag 1999, Heidelberg 215–224.
16. C. Rorres, D.G. Romano, Finding the center of a circularstarting line in an ancient Greek stadium, SIAM Review 39,(1997), 745–754
17. H. Späth, Least-squares fitting by circles, Computing 57(1996), 179–185.
18. V. Vapnik, Statistical Learning Theory, Wiley, New York,1998.
Black-Scholes-Mertoni järgne
finantsmatemaatika
Artur Sepp
Tartu Ülikool
Käesolevas artiklis käsitletakse mõningaid tähtsaid arenguidfinantsmatemaatikas pärast Black-Scholes-Mertoni ([1], [4], 1973)poolt tuletisinstrumentide, s.t. teiste finantsinstrumentide nagunäiteks aktsiad, võlakirjad, valuutad jne. turuhindadest sõltuva-te väärtustega finantsinstrumentide, hindade arvutamise ja nen-dega kauplemisega seondavate riskide taandamise metodoloogiaväljatöötamist. Käesolev artikkel kajastab ainult autori akadeemi-lise ja professionaalse tegevusega seonduvat, seega ei saa järgnevatmingil juhul vaadelda kui ammendavat ülevaadet vägagi laia ja mit-mekesise finantsmatemaatika valdkonna tähtsamatest arengutest jalahendamata probleemidest.
1. Sissejuhatus
Kõige lihtsamateks tuletisinstrumentideks on Euroopa tüüpi ostu-ja müügioptsioonid, mille aluseks oleva finantsvara hinda ajal ttähistame kujul S(t). Vaatleme Euroopa tüüpi ostuoptsiooni, milleväärtus olgu antud funktsiooniga C(t, S). See optsioon annabomanikule õiguse (ilma igasuguste kohustusteta) osta üks alusvaraaktsia täitmisajal T lepingus määratud täitmishinnaga K. Teistesõnadega, selle optsiooni rahalist väärtust täitmisajal kirjeldab nn.maksefunktsioon kujul
C(T, S) = max(S −K, 0), (1)
kus maksimumi võtmine vastab sellele, et optsioon on õigus jamitte kohustus, mistõttu omanikul on mõistlik seda kasutada ainultsiis, kui täitmishind (s.t. optsiooni realiseerimisel makstav hind)on väiksem kui momendi turuhind, millega oleks võimalik vastavatalusvara osta.
43
44 Artur Sepp
Vaatleme nüüd ostuoptsiooniga kauplemist müüja seisukohalt.Oletame, et meid huvitab ajamoment t, 0 ≤ t < T . Optsioonimüüja peab leidma vastuse järgmistele olulistele küsimustele: 1)kui palju oleks õige küsida sellise optsioonilepingu müümise eest,ning 2) kuidas elimineerida või kahandada lepinguga seotud riski,arvestades, et müüja seisukohalt on võimalik ainult piiratud suu-rusega positiivne lõpptulemus ning alusvara hinna plahvatuslikulkasvamisel potentsiaalselt kuitahes suur negatiivne tulemus.
Selleks, et nende küsimustega tegeleda matemaatilisest vaa-tenurgast lähtuvalt, on esimeseks vaadeldavaks ideeks kirjeldadakõigepealt alusvara hinna jaotus ajal T , seejärel leida seda jaotustkasutades vaadeldava ostuoptsiooni maksefunktsiooni keskväärtusajal T ning lõpuks rakendada sobivat diskonteerimist selleks, etleida ajamomendile t vastav optsiooni hind. On selge, et alusvarahinna jaotuse valimisel on oluline küsimus vastava keskväärtuse jadispersiooni leidmine. Keskväärtus peaks olema seotud vaadeldavaalusvara keskmise tulususega, standardhälve aga iseloomustaksalusvara tulususe muutlikkust ehk riski.
On ilmne, et ülalmainitud tõenäosusjaotuse kuju muutub ajassõltuvalt alusvara momendihinnast ning (võib-olla ka) alusvaratulususe muutlikkusest, seetõttu optsioonide dünaamiliseks hinda-miseks ja riskide maandamiseks tuleb kirjeldada alusvara hinna ajasarenemist kajastav mudel. Selleks sobivad stohhastilised diferent-siaalvõrrandid. Kuna Feynman-Kac’i teoreem võimaldab esitadakeskväärtusi stohhastiliste diferentsiaalvõrrandite poolt kirjelda-tud juhuslike suuruste suhtes osatuletistega diferentsiaalvõrrandite(ODV) lahenditena, siis võib optsioonide hindade arvutamise taan-dada teadud ODV-de lahendamisele.
2. Black-Scholes-Mertoni mudel
Finantsoptsioonide hidamises ja riskide maandamises tõi murranguBlack-Scholes-Mertoni poolt 1973. aastal väljatöötatud lähenemine,mille kohaselt võib aktsiahindade ajas arenemist kirjeldada log-
Black-Scholes-Mertoni järgne finantsmatemaatika 45
normaalse difusiooni mudeliga:
dS(t) = µS(t) + σS(t)dW (t), S(0) on antud, (2)
kus µ on alusvara trend (iseloomustab keskmist protsentuaalsetalusvara hinnatõusu), σ on alusvara volatiilsus (mõõdab alusvarahinna S(t) suhteliste muutuste varieeruvust) ja W (t) on standardneBrowni liikumine, mida kasutatakse hinnamuutuste juhuslikkusemodelleerimiseks.
Black-Scholes-Mertoni lähenemise põhiliseks uuenduseks oli opt-siooni müügiga seotud riskide maandamise strateegia väljatöötami-ne, mis võimaldas tuletisväärtpaberi müügiga seotud riskid elimi-neerida alusvaraga dünaamilise kauplemise ja selleks vajaminevaraha riskivaba protsendiga r laenamise (või ülejääva raha samaprotsendiga hoiustamise) abil. Kuna see strateegia on sama kõigimüüjate jaoks sõltumata nende riskitundlikkusest, siis järelikult onvõimalik optsioonide hinna leidmisel kasutada nn. riskineutraalsetmartingaalimõõtu Q, mille korral iga tuletisinstrumendi (sh. alus-vara enda) diskonteeritud hind on martingaal ning alusvara trendon riskivaba protsent r. Viimasest võib mõelda kui lühiajalisteriigivõlakirjade tulususprotsendist.
Eelneva põhjal võib ostuoptsiooni hinda arvutada kui keskväär-tust tema diskonteeritud väärtusest ajal T :
C(t, S) = e−r(T−t)∫ ∞
0max(S′ −K, 0)Ξ(t, S;T, S′)dS′, (3)
kus Ξ(t, S;T, S′) on võrrandiga (2) kirjeldatud log-normaalse ju-husliku suuruse üleminekutõenäosuse tihedusfunktsioon, milleks on
Ξ(t, S;T, S′) =
1√
2πσ2(T − t)S′exp
{
−(ln
(SS′
)+ rT − 12σ2(T − t)
)2
2σ2(T − t)
}
. (4)
Feynman-Kac’i teoreemi kohaselt rahuldab ostuoptsiooni hind
46 Artur Sepp
C(t, S) ka tuntud Black-Scholes-Mertoni ODV-d:
Ct +1
2σ2S2CSS + rSCS − rC = 0,
C(T, S) = max(S −K, 0),(5)
kus me eeldame, et C(t, S) on piisavalt sile, s.t. et osatuletised Ct,CS ja CSS eksisteerivad.
Võrrandi (5) lahendamisel saame kuulsa Black-Scholes-Mertoniostuoptsiooni hinna valemi
C(t, S) = SN (d+) + e−r(T−t)KN (d−),
d+,− =ln(S/K) + (r ± 12σ2)(T − t)
σ√T − t
,(6)
kus N (x) on standardse normaaljaotuse jaotusfunktsioon.Valemis (6) S(t) ja r on määratud olemasoleva turuinfoga, T
ja K on toodud optsioonilepingus, seega alusvara volatiilsus σ onainus “vaba” parameeter, mida on vaja kuidagi leida või järeldadaolemasolevate andmete põhjal.
Lõpetuseks märgime, et kuna ostuoptsiooni hind esitub niikeskväärtusena (3) kui ka ODV (5) lahendina, võime me leidaselle (ja teiste sarnaste lepingute) hindasid kahte moodi: 1) leidesintegraali (3) väärtuse analüütiliselt või Monte-Carlo meetodil,või 2) lahendades ODV (5) kas ilmutatud kujul analüütilistemeetoditega (sh. Laplace’i ja Fourier’ teisendusi kasutades) võinumbriliselt näiteks võrgumeetodeid kasutades. Praktikas tulebvalida sobiv meetod vastavalt lahendatava ülesande keerukusele:lihtsamate ülesannete korral on eelistatumaks täpsete lahenditeolemasolu, kuid keerulisemate ülesannete korral tuleb kasutada kasvõrgumeetodit või Monte-Carlo simulatsioone.
3. Volatiilsuse naeratus
Kuigi Black-Scholes-Mertoni lähenemine on finantsiliselt robustnening matemaatiliselt mugav kasutada, on tema suureks puuduseks
Black-Scholes-Mertoni järgne finantsmatemaatika 47
eeldus, et alusvara volatiilsus σ on konstantne kõigi täitmishindadeja täitmisaegade suhtes. Praktikas on investorid aga tüüpiliseltmures finantsvara suure negatiivse muudatuse võimaluse pärastning kaitsevad ennast selle riski vastu madala täitmishinnagamüügioptsioonide ostmise abil (müügioptsioon annab omanikuleõiguse müüa alusvara täitmisajal T lepingus määratud täitmis-hinnaga K). Lisaks sellele on investoritel, kes plaanivad alusva-ra hinna kasvamisel oma osaluse kasumi väljavõtmise eesmärgilteatud hinnatasemel realiseerida, kasulikum hoopis müüa vastavatäitmishinnaga ostuoptsioon.
Nõudlus madala hinnatasemega müügioptsioonide järele ninghuvi kõrgema hinnatasemega ostuoptsioonide müümise vastu toobkaasa nn. volatiilsuse naeratuse. Seda efekti on võimalik näha, kuikasutada valemit (6) selleks, et leida volatiilsusväärtus σimp(K),kasutades teadaolevaid turuhindu täitmishinnaga Kp müügiopt-siooni, täitmishinnaga Kc ostuoptsiooni ning täitmishinnaga K0ostuoptsiooni korral juhul Kp < K0 < Kc. Tulemusena näemeenamasti, et
σimp(Kp) > σimp(K0) > σimp(Kc), (7)
mis on vastuolus Black-Scholes-Mertoni konstantse volatiilsuseeeldusega.
Lisaks eelnevale on finantsturgudel täheldatav ka nn. täitmis-ajast sõltuvuse efekt, mille kohaselt volatiilsused ja võrratuste (7)täidetuse rangus sõltuvad ka täitmisajast T .
Selleks, et võtta arvesse ülalmainitud efekte, tuleb modifitseeri-da Black-Scholes-Mertoni eeldust alusvara log-normaalse dünaamika(5) kohta. Kasutada tuleks sellist alusvara dünaamikat, millekorral alusvara tulevikuhindade jaotus oleks sobivalt asümmeet-riline, s.t. keskväärtusest madalamate hindade tõenäosused peaksolema kõrgemad ning keskmisest kõrgemate väärtustega hindadetõenäosused madalamad, kui vastaval log-normaalsel jaotusel. Needefektid muudavad madalate (kõrgete) täitmishindadega müügi-optsioonid (ostuoptsioonid) rohkem (vähem) väärtuslikumaks võr-reldes Black-Scholes-Mertoni mudelil põhineva hinnaga, mis au-
48 Artur Sepp
tomaatselt tooks kaasa reaalsetel turgudel täheldatava naeratuseefekti.
4. Hüpetega difusiooniprotsessid
Esimeseks katseks asümmeetriliste jaotuste sissetoomiseks tegi Mer-ton [5], kes täiendas Black-Scholes-Mertoni mudelit (2). Hüppeidlubava matemaatilise mudeli kasutamine alusvara hinna modellee-rimisel on täiesti realistlik, kuna reaalsetel turgudel toimuvad aeg-ajalt järsud hinnahüpped.
Modelleerimisel tavaliselt eeldatakse, et hüpped toimuvad vas-tavalt konstantse intensiivsusega λ Poissoni protsessile Nλ(t), seegaaktsiahinna muutumise võrrandiks on
dS(t) = rS(t) + σS(t)dW (t) + S(t)(eJ − 1)dNλ(t), S(0) on antud.(8)
Kui hüpe toimub, siis tema suurus J on juhuslik suurus tõenäosus-tihedusfunktsiooniga ̟(J). Selleks, et alusvara hind oleks mar-tingaal mõõdu Q suhtes, tuleb keskmine hüppe suurus m lisadaalusvara trendile, m =
∫ ∞−∞[e
J ′ − 1]̟(J ′)dJ ′.Merton soovitas kasutada normaaljaotusega hüppe suurust J .
Teiseks arvestatavaks alternatiiviks on kasutada asümmeetrilisttopelt-eksponentjaotust, mida soovitas Kou [3]; selle jaotuse tihe-dusfunktsioon on kujul
̟(J) = q+1
η+e− 1
η+J1{J>0} + q
− 1η−e
1
η−J1{J η+ > 0, η− > 0 on positiivsete ja negatiivsetehüpete keskväärtused; q+ ja q− kirjeldavad vastavalt positiivsete janegatiivsete hüpete tõenäosusi, kusjuures q+, q− > 0, q+ + q− = 1.
Sel juhul optsiooni hind on lahendiks nn. osatuletistega integro-
Black-Scholes-Mertoni järgne finantsmatemaatika 49
diferentsiaalvõrrandile (PIDE):
Ct +1
2σ2S2CSS + (r − λm)SCS − rC
+ λ
∫ ∞
−∞(C(t, SeJ
′
) − C(t, S))̟(J ′)dJ ′ = 0,
C(T, S) = max(S −K, 0),
(10)
Seda tüüpi võrrandeid on mugav lahendada, kasutades Fourier’teisendust normaliseeritud alusvara hinna logaritmi x = ln S
K
suhtes. On selge, et Fourier’ teisenduse kasutamisel eeldataksetõkestamata piirkonda muutuja x jaoks: −∞ < x
50 Artur Sepp
tähistatud kujul U(p, x), kus x on logaritm normaliseeritud hinnastning p on järelejäänud eluea τ = T − t suhtes võetud Laplace’iteisenduse muutuja,
U(p, x) :=1
KL[C(τ, x)] = 1
K
∫ ∞
0C(τ, x)e−pτdτ, (12)
valemi:
U(p, x) =
{C0e
ψ0x + C1eψ1x, x < 0
C2eψ2x + C3e
ψ3x[ex
p− 1
r+p
]
, x > 0,(13)
kus konstandid C0, C1, C2, C3 on lahendiks süsteemile
1 1 −1 −1ψ0 ψ1 −ψ2 −ψ31
ψ0η−+11
ψ1η−+1− 1ψ2η−+1
− 1ψ3η−+1
1ψ0η+−1
1ψ1η+−1 −
1ψ2η+−1 −
1ψ3η+−1
C0C1C2C3
=
1p− 1
r+p1p
1p(η−+1)
− 1r+p
1p(η+−1) +
1r+p
, (14)
kus µ = r − λm− 12σ2 ning ψi, i = 0, 1, 2, 3 on polünoomi
1
2σ2η−η+ψ4 +
(
µη−η+ − 12σ2(η− − η+)
)
ψ3
−(
1
2σ2 + µ(η− − η+) + (r + p+ λ)η−η+
)
ψ2
+(−µ+ (r + p+ λ)(η− − η+) − λ(q+η− − q−η+)
)ψ + (r + p)
(15)
reaalsed juured. Ostuoptsiooni hinna C(t, S) leidmiseks on võimalikkasutada vastava Laplace’i teisenduse U(p, x) numbrilist pööramist,mida on võimalik teha kiirelt ning suure täpsusega. Tõketegaostuoptsiooni hind avaldub sarnaselt, omades ainult mõningaidlisaliikmeid valemis (13).
Black-Scholes-Mertoni järgne finantsmatemaatika 51
Lõpuks märgime, et tõketega optsioonide hindamisele sarnasedprobleemid tekivad Mertoni poolt ([5]) kasutusele võetud nn. laos-tumise struktuursete mudelite kasutamise korral, kus eeldatakse, etfirma väärtuse muutumine on stohhastiline protsess ning laostumi-ne leiab aset siis, kui väärtus kukub ettemääratud tasemeni. Sedatüüpi mudelid on vajalikud selleks, et hinnata võlakirju või teisiväärtpabereid, mille väärtus sõltub väljaandja võimalikust laos-tumisest. Struktuurimudelite kasutamine toob automaatselt kaasavolatiilsuse naeratuse, kuna nende kohaselt on müügioptsioonidkõrgemalt hinnatud, mida võib vaadelda kui kaitset laostumise vas-tu juhul, kui aktsiate turuhind langeb peaaegu nullini. Empiirilisedandmed toetavad hüpete olemasolu firmaväärtuse protsessi ajalisesarengus. Struktuurimudeleid, kus eeldatakse, et firma väärtuson topelt-eksponentsiaaljaotusega hüpetega difusiooniprotsess, onuurinud Sepp ([9]), kes demonstreeris ka seose olemasolu eelmaini-tud firmaväärtuse protsessi ja selle firma aktsiate Euroopa tüüpioptsioonide hindade vahel.
5. Stohhastiline volatiilsus
Järgmisena vaatleme teist tähtsat Black-Scholes-Mertoni mudeli al-ternatiivina kasutatavat mudelite klassi, kus eeldatakse, et alusvaravolatiilsus on samuti juhuslik. Stohhastilise volatiilsusega mudelidüritavad toime tulla volatiilsuse naeratuse efektiga sel teel, et eel-davad, et alusvara muutlikkus V (t) = σ2 on stohhastiline protsess,mis on korreleeritud alusvara hinnaga. Laialdaselt aktsepteeritudmudeliks on nn. ruutjuure protsess (square root process), mis võetikasutusele Hestoni [6] poolt. Selle kohaselt kehtivad võrrandid
{dS(t) = rS(t) + S(t)
√
V (t)dW (t),
dV (t) = κ(θ − V (t))dt + ε√
V (t)dW v(t),(16)
kus θ on muutlikkuse V (t) keskväärtus, κ on keskmisele lähenemisekiirus (reversion speed), ε on muutlikkuse volatiilsus ning ρ onBrowni liikumiste W (t) ja W v(t) vaheline korrelatsioon. Selle
52 Artur Sepp
mudeli kehtivuse korral rahuldab ostuoptsiooni hind järgnevatosatuletistega diferentsiaalvõrrandit:
Ct +1
2σ2S2CSS + rSCS + κ(θ − V )CV +
1
2ε2V CV V + ρεV SCSV − rC = 0,
C(T, S) = max(S −K, 0).
(17)
Eeltoodud diferentsiaalvõrrandi lahendamise efektiivseks meetodikson Fourier’ teisenduse kasutamine normaliseeritud hinna x = ln S
K
suhtes. Täpsemalt võib mainitud lahendamise meetodi kohta lugedaartiklist [2]. Käesolevas artiklis toome ainult ära ostuoptsioonihinna valemi turumudeli (16) kehtimise korral:
C(t, S) = S − Ke−τr
π
∫ ∞
0ℜ
[
e(−ik+1
2)(x+rτ)+A(τ,k)+B(τ,k)V
k2 + 14
]
dk,
(18)kus
A(τ, k) = −κθε2
[
ψ+τ + 2 ln
(ψ− + ψ+e−ζτ
2ζ
)]
,
B(τ, k) = −(k2 + 1/4) 1 − e−ζτ
ψ− + ψ+e−ζτ,
ψ± = ∓(u+ ikρε) + ζ,ζ =
√
(k2ε2(1 − ρ2) + 2ikρεu + u2 + ε2/4,τ = T − t, u = κ− ρε/2.
Lõpetuseks märgime, et stohhastilise volatiilsusega mudelid onmuutunud äärmiselt tähtsaks seoses realiseerunud alusvara muut-likkusest sõltuvate optsioonide ilmumisega. Hestoni mudeli (16)korral avaldub realiseerunud muutlikus üle perioodi T , tähistatunakujul I(T ), järgnevalt:
I(T ) =1
T
∫ T
0V (t′)dt′. (19)
Black-Scholes-Mertoni järgne finantsmatemaatika 53
On selge, et I(T )-st sõltuvate optsioonide hindamiseks on vajateada tema jaotust. Ka seda probleemi võib rünnata Fourier’teisenduste tehnikat kasutades. Mainitud lähenemist on rakendanudartiklites [8] ja [10].
6. Finantsmatemaatika rakendustest
Kaasajal mängib finantsmatemaatika tähtsat rolli finantsmaailmas,mis nähtub sellest, et suured pangad ja investeerimisfondid pal-kavad tosinate kaupa PhD kraadiga teadusliku taustaga töötajaidtuletisväärtpaberite hidamise, riski haldamise, erakauplemistehin-gute (proprietary trading) jms. igapäevaste tegevuste teostamiseks.Selliseid töötajaid kutsutakse kõnekeeles kvantideks (quants), kedaon valdavalt nelja liiki:
1) Kontorikvandid (desk quants), kes töötavad otseselt kaup-lejatega, aidates neil analüüsida spetsiifiliste tehingute hindamiseküsimusi ning riskide haldamise võimalusi. Nende töö hõlmabtavaliselt Exceli tabelite ning finantsvarade hindamise tarkvaradeulatuslikku kasutamist.
2) Arenduskvandid, kelle ülesandeks on välja töötada ja raken-dada uusi hindamise mudeleid, mida saaksid kasutada kauplejad jakontorikvandid. See töö eeldab laialdast programmide kirjutamistselleks, et luua kasutamiskõlblikku tarkvara.
3) Riskide haldamise kvandid, kelle ülesandeks on olemasolevatemudelite hindamine ja testimine, samuti broneeritud tehingutegaseotud riskide ning ülefirmaliste riskide arvutamine. Selle töö puhulpeab oskama kasutada Excelit, andmebaase ning hindade leidmisetarkvara.
4) Erakauplemistehingute kvandid kavandavad ja viivad ellukauplemisstrateegiaid, mis põhinevad valdavalt aegridade analüüsi-misel selleks, et leida turul eksisteerivaid arbitraaživõimalusi.
Sageli võib kvant olla hõlvatud mitmes ülalmainitud valdkon-nas.
Järgnevalt kirjeldame lühidalt arenduskvantide põhitegevusi,mida võib jagada kolme laia kategooriasse.
54 Artur Sepp
1) Andmetöötlusprobleemid (data-fitting), mis sisaldab olemas-olevate turuandmete interpoleerimist ja ekstrapoleerimist selleks,et arvutada volatiilsuse maatrikseid, siledaid hoiustamise protsendikõveraid (interest yield curves) jne. Tüüpiline kasutatav matemaa-tiline aparatuur sisaldab splaine, polünomiaalset interpolatsiooni,vähimruutude meetodit.
2) Hindamismudelite kalibreerimine, mis sisaldab väga lik-viidsete tuletisväärtpaberite hindamise mudelite väljatöötamist jarealiseerimist ning kasutatavate mudelite parameetrite turuand-mete põhjal arvutamise protseduuride loomist. Matemaatilisedvahendid sisaldavad analüütiliste hinnavalemite leidmiseks kasuta-tavaid otseseid ja teisendustel põhinevaid meetodeid. Analüütilistehinnavalemite olemasolu on sellel etapil väga tähtis, kuna neidtuleb ulatuslikult kasutada mudelite kalibreerimisel (s.t. hindadearvutamise kiirus on äärmiselt oluline). Kalibreerimine hõlmab agatöökindlate optimiseerimismeetodite kasutamist.
3) Eksootiliste finantsinstrumentide hindamine, mis sisaldabtöökindlate numbriliste või, harvemini, analüütiliste meetoditeväljatöötamist keerulisemate finantsinstrumentide hindade ja hinnatuletiste arvutamiseks. Matemaatilisteks vahenditeks on tüüpiliseltosatuletistega diferentsiaalvõrrandite lahendamine võrgumeetoditevõi Monte-Carlo meetodi abiga.
Tüüpiline ajajaotus nende erinevate tegevuste vahel on umbes40% − 40% − 20%. Autori hinnangul on matemaatiliselt kõigesuuremat väljakutset pakkuvaks teine kategooria, kuna see nõuabpaljude kõrgetasemeliste matemaatiliste meetodite kasutamist kee-ruliste ülesannete efektiivseks lahendamiseks.
7. Kokkuvõte
Eelnevas on toodud lühike ülevaade finantsmatemaatika arengustpärast Black-Scholes-Mertoni fundamentaalseid ar