Birchin ja Swinnerton-Dyerin konjektuuri

Birchin ja Swinnerton-Dyerin konjektuuri on avoin matemaattinen ongelma, joka liittyy rationaalisiin pisteisiin elliptisellä käyrällä. Rationaaliset pisteet tarkoittavat pisteitä, joiden koordinaatit ovat rationaalilukuja. Birchin ja Swinnerton-Dyerin konjektuuri on yksi seitsemästä Clay-instituutin Millennium-ongelmasta. Sen ratkaisusta Clay-instituutti on luvannut miljoona Yhdysvaltain dollaria. Konjektuurin loivat brittiläiset matemaatikot Bryan John Birch ja Peter Swinnerton-Dyer 1960-luvun alkupuolella tutkiessaan elliptisten käyrien rationaalisia pisteitä tietokoneavusteisesti. Birchin ja Swinnerton-Dyerin konjektuuri oli ensimmäisiä matemaattisia otaksumia, joiden synnyssä tietokoneet olivat merkittävässä roolissa.[1]

Taustaa

Elliptinen käyrä voidaan määritellä yhtälön $y^{2}=x^{3}+ax+b$ avulla. Tavoitteena on löytää pisteet $y$ ja $x$ , jotka ovat molemmat rationaalilukuja ja samalla toteuttavat kyseisen yhtälön. Näitä rationaalisia pisteitä voi yleisesti ottaen olla mikä tahansa määrä nollasta äärettömään eri tilanteissa. Osoittautuu, että rationaalisten pisteiden löytäminen elliptiseltä käyrältä on vaikeaa. Toiveena on, että Birchin ja Swinnerton-Dyerin konjektuuri auttaa näiden pisteiden löytämisessä.[2]

Ongelma rationaalisten pisteiden löytämisestä elliptiseltä käyrältä muistuttaa Fermat'n viimeistä teoreemaa. Fermat'n viimeinen teoreema todistettiinkin lopulta elliptisten käyrien avulla ja se liittyy samaan matematiikan alaan kuin Birchin ja Swinnerton-Dyerin konjektuuri.

Väite

Birchin ja Swinnerton-Dyerin konjektuuri käsittelee elliptiseen käyrään E liittyvää L-funktiota. L-funktion määritelmää ei voida esittää lyhyesti, joten sitä ei anneta tässä. Sen arvoja kuitenkin kyetään laskemaan moderneilla matemaattisilla laskentaohjelmistoilla.[1] Helpoimmassa muodossaan konjektuurin väite on seuraava:

Elliptisellä käyrällä on ääretön määrä rationaalisia pisteitä jos ja vain jos siihen liittyvälle L-funktiolle pätee $L(1)=0$ .

Konjektuuri kokonaisuudessaan kertoo kuitenkin vielä enemmän rationaalisista pisteistä. Konjektuuri liittää L-funktion pisteen 1 ympärillä kehitetyn Taylorin sarjan ensimmäisen nollasta poikkeavan termin asteen siihen, kuinka tiheästi käyrällä on rationaalisia pisteitä.[1] Kaikkein tiukimmassa muodossaan konjektuuri ennustaa myös Taylorin sarjan ensimmäisen nollasta poikkeavan termin kertoimen. Jos tämä muoto pitää paikkansa, se voisi antaa tehokkaan tavan löytää rationaalisia pisteitä elliptisellä käyrällä.[2]

Lähteet

Harder, Günter ja Zagier, Don: The Conjecture of Birch and Swinnerton-Dyer people.mpim-bonn.mpg.de. Viitattu 28.1.2022. (englanniksi)
Wiles, Andrew: The Birch and Swinnerton-Dyer Conjecture Clay-instituutti. Viitattu 28.1.2022. (englanniksi)

Clay-instituutin seitsemän Millennium-ongelmaa

P=NP ● Hodgen otaksuma ● Poincarén otaksuma (ratkaistu) ● Riemannin hypoteesi ●
Yangin–Millsin olemassaolo ● Navierin–Stokesin yhtälöt ● Birchin ja Swinnerton-Dyerin konjektuuri

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[:0-1] Harder, Günter ja Zagier, Don: The Conjecture of Birch and Swinnerton-Dyer people.mpim-bonn.mpg.de. Viitattu 28.1.2022. (englanniksi)

[:1-2] Wiles, Andrew: The Birch and Swinnerton-Dyer Conjecture Clay-instituutti. Viitattu 28.1.2022. (englanniksi)