Johdanto yleistettyyn sini- ja kosinifunktioon
Tässä tutkielmassa määritellään sini- ja kosinifunktiot sinifunktion käänteisfunktion avulla ja näiden funktioiden yleistykset eli funktiot sinp ja cosp aiempia määritelmiä varioimalla. Samalla osoitetaan, että merkittävä osa sini- ja kosinifunktioiden ominaisuuksista periytyy yleistyksille. Edelleen tutkitaan millä tasolla yleistykset vastaavat geometrisessä mielessä tavallisia sini- ja kosinifunktioita. Lopuksi tarkastellaan lyhyesti yleistettyjen funktioiden määrittelyn taustoja ja merkitystä kirjallisuudessa.
Sinifunktio määritellään määrittelemällä ensin sen käänteisfunktio avoimella rajoitetulla välillä integroimalla sinifunktion käänteisfunktion derivaattaa. Käänteisfunktio laajennetaan määritellyksi myös välin päätepisteissä. Käänteisfunktion avulla määritellään sinifunktio paloittain koko reaaliakselille hyödyntäen käänteisfunktiolta periytyviä ominaisuuksia kuten jatkuvuutta, rajoittuneisuutta ja parittomuutta. Sitten osoitetaan, että myös käänteisfunktion derivoituvuus periytyy sinifunktiolle ja käsittää koko reaaliakselin. Tämän jälkeen kosinifunktio määritellään sinifunktion derivaattana ja osoitetaan, että kosinifunktiolla on vastaavat ominaisuudet kuin sinifunktiollakin. Huomataan, että sinifunktio saadaan kosinifunktion derivaatan vastalukuna ja siten nämä funktiot ovat äärettömästi derivoituvia. Sini- ja kosinifunktiolle osoitetaan myös muutamia yhteenlaskukaavoja sekä Pythagoraan trigonometrinen identiteetti.
Funkiot sinp ja cosp määritellään aiempien määrittelyiden rakennetta hyödyntäen siten, että uudet funktiot ovat parametrista p riippuvaisia ja yhtyvät sini- ja kosinifunktioon parametrin p arvolla kaksi. Sitten osoitetaan, että myös yleistyksillä on edellä mainitut klassisten vastineidensa ominaisuudet. Tosin sinp-funktion tiedetään olevan vain kertaalleen derivoituva, eikä funktiota sinp siten voida suoraan esittää cosp -funktion derivaatan avulla. Funktioille sinp tai cosp ei voida myöskään johtaa Pythagoraan trigonometrisen identiteetin lisäksi muita yksinkertaisia vastineita sini- ja kosinifunktiolle näytetyistä yhteenlaskukaavoista.
Geometrista tarkastelua varten määritellään lp -normi, joka vastaa tavallista Euklidista normia parametrin p arvolla kaksi. Sitten osoitetaan, että sinp- ja cosp -funktioilla voidaan parametrisoida lp -normin määrittämä yksikköympyrä. Tämän tuloksen avulla määritetään klassista napakoordinaattiesitystä vastaava yleistetty napakoordinaattiesitys lp -normin virittämään reaalitasoon. Samalla näytetään, että funktioiden sinp ja cosp argumentit eivät klassisen tapauksen tapaan vastaa yksikköympyrän sektorin kaaren pituutta. Huomataan myös, ettei Euklidisesta metriikasta tuttu sektorin kaaren pituuden ja pinta-alan välinen yhteys ole voimassa muissa lp -normin virittämissä reaalitasoissa.
Etsittäessä geometristä tulkintaa yleistetyn sinifunktion argumentille huomataan, että yksikköympyrän sektorin kaksinkertainen pinta-ala toimii erään 1800-luvulla määritetyn sinifunktion yleistyksen argumenttina. Kirjallisuuslähteiden perusteella voidaan todeta, että myös myöhemmin tätä aihetta tutkineet matemaatikot ovat päätyneet yleistettyihin trigonometrisiin funktioihin tutkiessaan alkuarvo-ongelmia. Erityisesti sinp-funktio on ratkaisu erääseen eri muodoissaan paljon tutkittuun Dirichtletin alkuarvo-ongelmaan.
Asiasanat
Metadata
Näytä kaikki kuvailutiedotKokoelmat
- Pro gradu -tutkielmat [29743]
Lisenssi
Samankaltainen aineisto
Näytetään aineistoja, joilla on samankaltainen nimeke tai asiasanat.
-
Harmoniset funktiot kompleksialueessa ja konformikuvaukset
Karttunen, Hanna-Kaisa (2014)Tämän tutkielman tarkoituksena on syventää tietoja kompleksianalyysistä tutustumalla harmonisiin funktioihin ja konformikuvauksiin. Funktioita, jotka toteuttavat Laplacen yhtälön, kutsutaan harmonisiksi funktioiksi. ... -
Analyyttinen jatke ja Riemannin pinnat
Hakavuori, Eero (2014)Tämän tutkielman tavoitteena on esittää, miten analyyttisen funktion määrittelyjoukko laajennetaan Riemannin pinnaksi, joka sisältää informaation kaikista funktion analyyttisistä jatkeista kompleksitasossa. Tätä Riemannin ... -
Picardin lauseen todistaminen Harnackin epäyhtälön avulla
Kauppinen, Jussi (2020)Charles Emile Picardin mukaan nimetty Picardin lause ottaa kantaa kompleksisesti differentioituvien eli analyyttisten funktioiden käyttäytymiseen. Kyseinen lause on tutkielman päätulos. Tarkalleen lauseessa väitetään, että ... -
Lineaariset toisen asteen hyperboliset osittaisdifferentiaaliyhtälöt
Kauppinen, Matti (2022)Tässä työssä tutkitaan toisen asteen lineaarisia hyperbolisia osittaisdifferentiaaliyhtälöitä. Toisen asteen lineaariset hyperboliset osittaisdifferentiaaliyhtälöt ovat luonnollinen yleistys aaltoyhtälölle $$u_{tt} + \Delta ... -
Polynomikasvuiset kokonaiset funktiot
Saariaho, Ville-Matias (2022)Tässä matematiikan pro gradu -tutkielmassa tarkastellaan kompleksianalyysin keinoin polynomikasvuisia kokonaisia funktioita. Polynomikasvuisuus voidaan muotoilla tarkastelemalla funktion f modulia eli itseisarvoa. Jos ...
Ellei toisin mainittu, julkisesti saatavilla olevia JYX-metatietoja (poislukien tiivistelmät) saa vapaasti uudelleenkäyttää CC0-lisenssillä.