Käänteiskuvauslause, implisiittikuvauslause ja Lagrangen menetelmä
Tutkielman keskeinen anti on esitellä ja todistaa käänteiskuvauslause ja implisiittikuvauslause. Näiden luontevana jatkona esitellään ja todistetaan niiden sovellus Lagrangen menetelmä, jolla puolestaan on useita sovelluskohteita muun muassa fysiikassa ja taloustieteissä. Esitietoina esitellään ymp...
Main Author: | |
---|---|
Format: | Dissertation |
Language: | Finnish |
Published: |
University of Oulu
2014
|
Subjects: | |
Online Access: | http://urn.fi/URN:NBN:fi:oulu-201409061850 http://nbn-resolving.de/urn:nbn:fi:oulu-201409061850 |
id |
ndltd-oulo.fi-oai-oulu.fi-nbnfioulu-201409061850 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-oulo.fi-oai-oulu.fi-nbnfioulu-2014090618502018-06-21T04:47:11ZKäänteiskuvauslause, implisiittikuvauslause ja Lagrangen menetelmäTuomela, D. (Dimitri)info:eu-repo/semantics/openAccess© Dimitri Tuomela, 2014MathematicsTutkielman keskeinen anti on esitellä ja todistaa käänteiskuvauslause ja implisiittikuvauslause. Näiden luontevana jatkona esitellään ja todistetaan niiden sovellus Lagrangen menetelmä, jolla puolestaan on useita sovelluskohteita muun muassa fysiikassa ja taloustieteissä. Esitietoina esitellään ympäristö, luonnollinen kanta, lineaarikuvaus, differentioituvuus, Jacobin matriisi, gradientti, C1-kuvaus, lokaali kääntyvyys ja sileä kuvaus. Lisäksi palautetaan mieleen ketjusääntö ja vektorianalyysin väliarvolause. Käänteiskuvauslauseen todistusta varten osoitetaan, että C1-kuvauksen sileydestä jossakin pisteessä seuraa sen sileys ja injektiivisyys myös tämän pisteen ympäristössä. Käänteiskuvauslauseen todistuksessa käytetään Banachin kiintopistemenetelmän kaltaista päättelyä ja todistuksen jälkeen pohditaan, miksi käänteiskuvauslauseessa pitää olla nimenomaan C1-kuvaus pelkän differentioituvan kuvauksen sijasta. Lopuksi käänteiskuvauslauseen käyttöä ja merkitystä havainnollistetaan esimerkein. Implisiittikuvauslauseeseen käsiksi pääsemistä edeltää pohdintaa siitä, mikä on implisiittisesti määritelty kuvaus. Aluksi esitellään kaksiulotteinen versio implisiittikuvauslauseesta, jonka avulla derivaatan laskemista verrataan eksplisiittiseen menettelyyn. Samalla kurkistetaan hieman analyysin varhaisiin vaiheisiin, missä Fermat ja Descartes mittelevät taitojaan tangenttien etsimisessä. Kappaleen lopuksi todistetaan eräs muoto yleisestä implisiittikuvauslauseesta ja havainnollistetaan sitä. Lagrangen menetelmän muotoilun ja todistamisen jälkeen sitä havainnollistetaan useilla optimointiesimerkeillä. Niissä etsitään pienintä ellipsoidin sisälle mahtuvaa suorakulmaista särmiötä tai paraabelin ja sen akselin mielivaltaisen pisteen välistä pienintä etäisyyttä ym. Esimerkit ovat yksinkertaista matemaattista leikittelyä, jotka havainnollistavat menetelmän käyttöä.University of Oulu2014-09-08info:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://urn.fi/URN:NBN:fi:oulu-201409061850urn:nbn:fi:oulu-201409061850fin |
collection |
NDLTD |
language |
Finnish |
format |
Dissertation |
sources |
NDLTD |
topic |
Mathematics |
spellingShingle |
Mathematics Tuomela, D. (Dimitri) Käänteiskuvauslause, implisiittikuvauslause ja Lagrangen menetelmä |
description |
Tutkielman keskeinen anti on esitellä ja todistaa käänteiskuvauslause ja implisiittikuvauslause. Näiden luontevana jatkona esitellään ja todistetaan niiden sovellus Lagrangen menetelmä, jolla puolestaan on useita sovelluskohteita muun muassa fysiikassa ja taloustieteissä.
Esitietoina esitellään ympäristö, luonnollinen kanta, lineaarikuvaus, differentioituvuus, Jacobin matriisi, gradientti, C1-kuvaus, lokaali kääntyvyys ja sileä kuvaus. Lisäksi palautetaan mieleen ketjusääntö ja vektorianalyysin väliarvolause.
Käänteiskuvauslauseen todistusta varten osoitetaan, että C1-kuvauksen sileydestä jossakin pisteessä seuraa sen sileys ja injektiivisyys myös tämän pisteen ympäristössä. Käänteiskuvauslauseen todistuksessa käytetään Banachin kiintopistemenetelmän kaltaista päättelyä ja todistuksen jälkeen pohditaan, miksi käänteiskuvauslauseessa pitää olla nimenomaan C1-kuvaus pelkän differentioituvan kuvauksen sijasta. Lopuksi käänteiskuvauslauseen käyttöä ja merkitystä havainnollistetaan esimerkein.
Implisiittikuvauslauseeseen käsiksi pääsemistä edeltää pohdintaa siitä, mikä on implisiittisesti määritelty kuvaus. Aluksi esitellään kaksiulotteinen versio implisiittikuvauslauseesta, jonka avulla derivaatan laskemista verrataan eksplisiittiseen menettelyyn. Samalla kurkistetaan hieman analyysin varhaisiin vaiheisiin, missä Fermat ja Descartes mittelevät taitojaan tangenttien etsimisessä. Kappaleen lopuksi todistetaan eräs muoto yleisestä implisiittikuvauslauseesta ja havainnollistetaan sitä.
Lagrangen menetelmän muotoilun ja todistamisen jälkeen sitä havainnollistetaan useilla optimointiesimerkeillä. Niissä etsitään pienintä ellipsoidin sisälle mahtuvaa suorakulmaista särmiötä tai paraabelin ja sen akselin mielivaltaisen pisteen välistä pienintä etäisyyttä ym. Esimerkit ovat yksinkertaista matemaattista leikittelyä, jotka havainnollistavat menetelmän käyttöä. |
author |
Tuomela, D. (Dimitri) |
author_facet |
Tuomela, D. (Dimitri) |
author_sort |
Tuomela, D. (Dimitri) |
title |
Käänteiskuvauslause, implisiittikuvauslause ja Lagrangen menetelmä |
title_short |
Käänteiskuvauslause, implisiittikuvauslause ja Lagrangen menetelmä |
title_full |
Käänteiskuvauslause, implisiittikuvauslause ja Lagrangen menetelmä |
title_fullStr |
Käänteiskuvauslause, implisiittikuvauslause ja Lagrangen menetelmä |
title_full_unstemmed |
Käänteiskuvauslause, implisiittikuvauslause ja Lagrangen menetelmä |
title_sort |
käänteiskuvauslause, implisiittikuvauslause ja lagrangen menetelmä |
publisher |
University of Oulu |
publishDate |
2014 |
url |
http://urn.fi/URN:NBN:fi:oulu-201409061850 http://nbn-resolving.de/urn:nbn:fi:oulu-201409061850 |
work_keys_str_mv |
AT tuomeladdimitri kaanteiskuvauslauseimplisiittikuvauslausejalagrangenmenetelma |
_version_ |
1718698188632752128 |