Brachistochrone-ongelma

Tämä tutkielma käsittelee Brachistochrone-ongelmana tunnettavaa minimointiongelmaa. Ongelmassa on ideana löytää kahden tason pisteen A ja B välinen käyrä, joka minimoi ajan, joka massalliselta kappaleelta kuluu liukua pisteestä A pisteeseen B. Ongelma ratkaistaan tässä työssä variaatiolaskentaa hyödyntäen ja siten työ esittelee Brachistochrone-ongelman lisäksi myös tiettyjä variaatiolaskennan perusideoita. Variaatiolaskenta on matemaattisen analyysin ala, joka tarjoaa keinoja ääriarvotehtävien ratkaisemiseen, kun minimoitavat kuvaukset ovat funktioavaruuksista reaaliluvuille määriteltyjä funktionaaleja. Tutkielmassa esitellään aluksi, kuinka sanallisesti muotoiltu ongelma saadaan johdettua matemaattiseen muotoon. Sen jälkeen perehdytään ongelman varsinaiseen ratkaisemiseen. Nykyään yleisesti tunnetaan, että Brachistochrone-ongelman ratkaiseva käyrä on sykloidi. Työssä näytetään, kuinka sykloidi variaatiolaskennan avulla lähtökohtaisesti löydetään. Keskeisin työkalu on variaatiolaskennan oleellisimpiin välineisiin kuuluva Euler-Lagrangen differentiaaliyhtälö. Työssä osoitetaan, että Brachistochrone-ongelman ratkaisun on välttämättä toteutettava Euler-Lagrangen yhtälö. Lisäksi näytetään, että jos Brachistochrone-ongelmalla on ratkaisu, se toteuttaa myös Beltrami-yhtälöksi kutsuttavan differentiaaliyhtälön. Beltrami-yhtälö ratkaisemalla saadaan näytettyä, että ongelman mahdollinen ratkaisu on sykloidi. Työn viimeinen vaihe on todistaa Brachistochrone-ongelman ratkaisun olemassaolo ja siten näyttää, että sykloidi todella ratkaisee ongelman. Olemassaolo todistetaan erään riittävän ehdon avulla, joka kertoo, milloin Euler-Lagrangen yhtälön toteuttava funktio on variaatio-ongelman ratkaisu. Työssä esiteltävä riittävä ehto hyödyntää funktioiden konveksisuutta. Riittävä ehto ei ole suoraan sovellettavissa Brachistochrone-ongelmaan, joten työssä päädytään vielä tarkastelemaan toista minimointiongelmaa, joka ratkaisemalla myös Brachistochrone-ongelma saadaan ratkaistua.