Fourier-sarja

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 1. huhtikuuta 2022 tarkistetusta versiosta . tarkastukset vaativat 5 muokkausta .

Fourier-sarja -  funktion esitysjaksollasarjana

Tämä sarja voidaan kirjoittaa myös nimellä

missä

on harmonisen värähtelyn  amplitudi ,  on harmonisen värähtelyn ympyrätaajuus, on värähtelyn  alkuvaihe ,  - kompleksinen amplitudi

Yleisemmässä muodossa jonkin funktioavaruuden elementin Fourier-sarja on tämän elementin laajennus täydellisessä ortonormaalisten funktioiden järjestelmässä tai toisin sanoen ortogonaalisista funktioista koostuvassa kannassa . Käytetyn integroinnin tyypistä riippuen puhutaan Fourier-Riemann- sarjoista , Fourier-Lebesgue-sarjoista jne. [1]

On olemassa monia ortogonaalisten polynomien ja muiden ortogonaalisten funktioiden järjestelmiä (kuten Haar- , Walsh- ja Kotelnikov-funktiot), joissa funktion Fourier-sarjan laajennus voidaan suorittaa.

Funktion Fourier-sarjan laajennus on tehokas työkalu monenlaisten ongelmien ratkaisemiseen, koska Fourier-sarja käyttäytyy läpinäkyvästi, kun se erottaa , integroi , siirtää funktiota argumentin suhteen ja konvoloi funktioita.

Fourier-sarjan yleistyksiä on lukuisia matematiikan eri aloilla. Esimerkiksi mikä tahansa äärellisessä ryhmässä oleva funktio voidaan laajentaa sarjaksi, joka on samanlainen kuin Fourier-sarja sen ryhmän redusoitumattomien esitysten matriisielementtien suhteen ( täydellisyyslause ).

Historia

Fourier-sarja on nimetty ranskalaisen matemaatikon Jean-Baptiste Joseph Fourierin (1768-1830) mukaan, joka vaikutti merkittävästi trigonometristen sarjojen tutkimukseen Leonhard Eulerin , Jean Léron d'Alembertin ja Daniil Bernoullin [2] alustavien tutkimusten jälkeen . Fourier esitteli sarjan lämpöyhtälön ratkaisemiseksi metallilevyssä, kirjoittamalla alustavat tulokset kirjassaan Reminiscence of the Propagation of the Heat in Solids (Treatise on the Propagation of Heat in Solids) ja julkaisemalla sen teoksessa Analytical Theory of Heat (Théorie analytique de la chaleur) vuonna 1822. Muistutus antaa analyysin Fourierista, erityisesti Fourier-sarjasta. Fourier'n tutkimuksen ansiosta todettiin, että mielivaltainen (jatkuva) [3] funktio voidaan esittää trigonometrisellä sarjalla. Ensimmäisen ilmoituksen tästä suuresta löydöstä teki Fourier vuonna 1807 ennen Ranskan Akatemiaa [4] . Varhaiset ajatukset jaksollisen funktion laajentamisesta yksinkertaisten värähtelyfunktioiden summaksi juontavat juurensa 3. vuosisadalla eKr., jolloin muinaiset tähtitieteilijät ehdottivat empiiristä mallia planeettojen liikkeestä, joka perustuu perheisiin ja episykliin.

Lämpöyhtälö on osittainen differentiaaliyhtälö. Ennen Fourierin työtä lämpöyhtälön ratkaisu ei ollut yleisesti tiedossa, vaikka tiettyjä ratkaisuja tiedettiin, jos lämmönlähde käyttäytyi yksinkertaisella tavalla, erityisesti jos lämmönlähde oli sini- tai kosiniaalto. Näitä yksinkertaisia ​​ratkaisuja kutsutaan nykyään joskus alkuperäisiksi ratkaisuiksi. Fourierin ideana oli mallintaa monimutkainen lämmönlähde yksinkertaisten sini- ja kosiniaaltojen superpositiona (tai lineaarisena yhdistelmänä) ja kirjoittaa ratkaisu vastaavien ominaisratkaisujen superpositioksi. Tätä superpositiota tai lineaarista yhdistelmää kutsutaan Fourier-sarjaksi.

Nykyajan näkökulmasta Fourier'n tulokset ovat jokseenkin epävirallisia, koska 1800-luvun alussa ei ollut tarkkaa käsitettä toiminnasta ja integraalista. Myöhemmin Peter Gustav Lejeune Dirichlet [5] ja Bernhard Riemann [6] [7] [8] ilmaisivat Fourierin tulokset tarkemmin ja muodollisemmin.

Vaikka alkuperäinen motivaatio oli ratkaista lämpöyhtälö, myöhemmin kävi ilmi, että samoja menetelmiä voitiin soveltaa monenlaisiin matemaattisiin ja fysikaalisiin ongelmiin, erityisesti niihin, jotka sisältävät lineaarisia differentiaaliyhtälöitä vakiokertoimilla, joiden ominaisratkaisut ovat sinimuotoisia. Fourier-sarjalla on monia sovelluksia sähkötekniikassa, värähtelyanalyysissä, akustiikassa, optiikassa, signaalinkäsittelyssä, kuvankäsittelyssä, kvanttimekaniikassa, ekonometriiassa [9] , limityskuoriteoriassa [ 10] jne.

Trigonometrinen Fourier-sarja

Funktion trigonometrinen Fourier-sarja ( eli funktio , joka summataan väliin , tai sen jaksollinen laajennus reaaliviivalle ) on funktionaalinen sarja muotoa

(yksi)

missä

Lukuja ja ( ) kutsutaan funktion Fourier-kertoimiksi . Niiden kaavat voidaan selittää seuraavasti. Oletetaan, että haluamme esittää funktion sarjana (1) ja meidän on määritettävä tuntemattomat kertoimet , ja . Jos kerromme (1):n oikean puolen ja integroimme väliin , niin kaikki oikean puolen termit katoavat tämän välin sinien ja kosinien ortogonaalisuuden vuoksi yhtä lukuun ottamatta. Tuloksena olevasta yhtälöstä kerroin ilmaistaan ​​helposti . Samoin .

Sarja (1) funktiolle avaruudesta suppenee tässä avaruudessa . Toisin sanoen, jos merkitsemme sarjan (1) osittaissummilla:

,

silloin niiden keskipoikkeama funktiosta on yleensä nolla:

.

Huolimatta neliökeskiarvokonvergenssista, funktion Fourier-sarjan ei yleisesti ottaen tarvitse konvergoida siihen pisteittäin.

Usein Fourier-sarjan kanssa työskennellessä on kätevämpää käyttää perustana imaginaariargumentin eksponenteja sinien ja kosinien sijaan. Käsittelemme monimutkaisten arvoisten funktioiden tilaa sisäisen tuotteen kanssa

.

Otamme myös huomioon funktiojärjestelmän

.

Kuten ennenkin, nämä funktiot ovat pareittain ortogonaalisia ja muodostavat täydellisen järjestelmän, joten mikä tahansa funktio voidaan laajentaa niiden päälle Fourier-sarjassa:

,

jossa oikeanpuoleinen sarja supistuu normiin vuonna . Tässä

.

Kertoimet suhteutetaan klassisiin Fourier-kertoimiin seuraavilla suhteilla:

Reaaliarvoisen funktion kertoimet ja ovat monimutkaisia ​​konjugaattia.

Yleistykset

Fourier-sarja Hilbert-avaruudessa

Edellä kuvattu rakenne voidaan yleistää trigonometrisen järjestelmän avaruudesta mielivaltaiseen Hilbert-avaruuteen. Antaa annetaan ortogonaalinen järjestelmä Hilbert - avaruudessa ja  olla mielivaltainen elementti . Oletetaan, että haluamme esittää (äärettömänä) lineaarisena elementtien yhdistelmänä :

Kerrotaan tämä lauseke . Kun otetaan huomioon funktiojärjestelmän ortogonaalisuus , kaikki sarjan termit katoavat, paitsi termi kohdassa :

Numerot

kutsutaan koordinaateiksi tai järjestelmän elementin Fourier-kertoimiksi ja sarjaksi

kutsutaan elementin Fourier-sarjaksi ortogonaalisessa järjestelmässä .

Minkä tahansa ortogonaalisen järjestelmän elementin Fourier-sarja konvergoi avaruudessa , mutta sen summa ei välttämättä ole yhtä suuri kuin . Ortonormaalille järjestelmälle erotettavassa Hilbert- avaruudessa seuraavat ehdot ovat vastaavat:

.

Jos nämä ehdot eivät täyty, niin elementin Fourier-sarjan summa on yhtä suuri kuin sen ortogonaalinen projektio elementtien lineaarisen jännevälin sulkeutumiseen . Tässä tapauksessa Parseval-yhtälön sijasta Besselin epäyhtälö on totta :

Esimerkkejä

Trigonometriset funktiot muodostavat Hilbertin avaruuden perustan . Jos otamme huomioon vain kosinit tai vain sinit, tällainen järjestelmä ei ole enää täydellinen. Funktioiden lineaarisen välin sulkeminen on kaikki parilliset funktiot alkaen ja funktioiden lineaarisen välin sulkeminen kaikki parittomat funktiot. Seurauksena funktion laajentamisesta Fourier-sarjaan näissä järjestelmissä saadaan funktion parilliset ja parittomat osat , vastaavasti :

Vielä mielenkiintoisempi tilanne syntyy järjestelmää tarkasteltaessa . Tämä järjestelmä ei taaskaan ole täydellinen. Sen lineaarisen jänteen sulkeminen on Hardy-avaruus . Tämän avaruuden elementit ovat ne ja vain ne funktiot , joilla on muoto , missä ovat jonkin ympyrän analyyttisen funktion raja-arvot

Pontryagin kaksinaisuus

Kun Fourier-sarjan teoriaa yleistetään Hilbert-avaruuksien tapaukselle, menetetään Fourier-sarjan yhteyttä konvoluutioon ilmaisevat ominaisuudet  - se, että funktioiden konvoluution Fourier-kertoimet ovat niiden Fourier-kertoimien termisiä tuloja ja päinvastoin, tuotteen Fourier-kertoimet esitetään tekijöiden Fourier-kertoimien konvoluutiona. Nämä ominaisuudet ovat avainasemassa Fourier-teorian sovelluksissa differentiaali- , integraali- ja muiden funktionaalisten yhtälöiden ratkaisussa. Siksi erittäin mielenkiintoisia ovat sellaiset Fourier-sarjan teorian yleistykset, joissa nämä ominaisuudet säilyvät. Tällainen yleistys on Pontryaginin kaksinaisuusteoria. Se ottaa huomioon paikallisesti kompakteille Abelin ryhmille määritettyjä funktioita . Tällaisen funktion Fourier-sarjan analogi on kaksoisryhmässä määritelty funktio.

Fourier-sarjan konvergenssi

Fourier-sarjan konvergenssituloskysely

Merkitse Fourier-sarjan osasummilla funktiot :

.

Seuraavaksi käsittelemme funktiosarjan konvergenssia funktioon eri merkityksissä. Toiminnon oletetaan olevan -jaksollinen (jos se annetaan vain välissä , sitä voidaan jatkaa jaksoittain).

Fourier-kertoimien pieneneminen ja funktion analyyttisyys

Funktion analyyttisuuden ja sen Fourier-kertoimien pienenemisnopeuden välillä on perustavanlaatuinen yhteys. Mitä "parempi" funktio, sitä nopeammin sen kertoimet ovat yleensä nollassa ja päinvastoin. Fourier-kertoimien potenssilain vaimeneminen on luontaista luokan funktioille ja eksponentiaalinen vaimeneminen analyyttisille funktioille . Esimerkkejä tällaisesta yhteydestä:

Katso myös

Muistiinpanot

  1. Matemaattinen tietosanakirja . - M . : "Pöllöt. tietosanakirja" , 1988. - S.  619 .
  2. Fetter, Alexander L. Hiukkasten ja jatkuvuuden teoreettinen mekaniikka  / Alexander L. Fetter, John Dirk Walecka. - Courier, 2003. - S. 209-210. — ISBN 978-0-486-43261-8 . Arkistoitu 18. huhtikuuta 2021 Wayback Machinessa
  3. Hyvä kuitenkin, John Logiikka ja matematiikan filosofia 1800-luvulla // Routledge History of Philosophy / Ten, CL. - Routledge , 2013. - T. Volume VII: The Nineteenth Century. - S. 204. - ISBN 978-1-134-92880-4 . Arkistoitu16. toukokuuta 2020Wayback Machinessa
  4. Florian Cajori . Matematiikan historia . - Macmillan, 1893. - S. 283.
  5. Lejeune-Dirichlet, Peter Gustav Sur la convergence des séries trigonométriques qui servent à représenter une fonction arbitraire entre des limites données  (ranska)  // Journal für die reine und angewandte Mathematik . - 1829. - Voi. 4 . - s. 157-169 . - arXiv : 0806.1294 .
  6. Ueber die Darstellbarkeit einer Function durch eine trigonometrische Reihe  (saksa)  ? . Habilitationsschrift , Göttingen ; 1854. Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen , voi. 13, 1867. Richard Dedekind on julkaissut postuumisti Riemannille . Haettu 19. toukokuuta 2008. Arkistoitu alkuperäisestä 20. toukokuuta 2008.
  7. Mascre, D. & Riemann, Bernhard (1867), Postuumilainen opinnäytetyö funktioiden esittämisestä trigonometrisilla sarjoilla , Grattan-Guinness, Ivor, Landmark Writings in Western Mathematics 1640–1940 , Elsevier , < https://books , .google.com/books?id=UdGBy8iLpocC > 
  8. Remmert, Reinhold. Monimutkaisten funktioiden teoria: Matematiikan lukemat  (englanti) . - Springer, 1991. - S. 29. Arkistoitu 16. toukokuuta 2020 Wayback Machinessa
  9. Nerlove, Marc; Grether, David M.; Carvalho, Jose L. Taloudellisen aikasarjan analyysi. Talousteoria, ekonometria ja matemaattinen taloustiede  (englanniksi) . - Elsevier , 1995. - ISBN 0-12-515751-7 .
  10. Flugge, Wilhelm. Statik und Dynamik der Schalen  (saksa) . - Berliini: Springer-Verlag , 1957. Arkistoitu 14. toukokuuta 2020 Wayback Machinessa
  11. V. M. Tikhomirov, V. V. Uspensky . Ensimmäiset Fields-palkinnon saajat ja Neuvostoliiton matematiikka 1930-luvulla. I. - Matematiikka. valaistuminen, ser. 3, 2, MTsNMO, M., 1998, 21-40.

Kirjallisuus

Linkit