Harmoninen sarja
Matematiikassa harmoninen sarja on divergentti ääretön sarja:
Divergentti tarkoittaa, että kun lisäät lisää termejä, summa ei koskaan lakkaa kasvamasta. Se ei mene kohti yhtä äärellistä arvoa.
Ääretön tarkoittaa, että voit aina lisätä uuden termin. Sarjalla ei ole lopullista termiä.
Sen nimi tulee musiikin harmonisista sävelistä: värähtelevän jousen yläsävelten aallonpituudet ovat 1/2,
1/3, 1/4 jne. jousen perusaallonpituudesta. Ensimmäistä termiä lukuun ottamatta sarjan jokainen termi on sen molemmin puolin olevien termien harmoninen keskiarvo. Ilmaisu harmoninen keskiarvo tulee myös musiikista.
Historia
Nicole Oresme todisti 1300-luvulla, että harmoninen sarja divergoi, mutta se unohtui. Pietro Mengoli, Johann Bernoulli ja Jacob Bernoulli toimittivat todistukset 1600-luvulla.
Arkkitehdit ovat käyttäneet harmonisia sekvenssejä. Barokin aikana arkkitehdit käyttivät niitä pohjapiirustusten ja julkisivujen mittasuhteissa sekä kirkkojen ja palatsien arkkitehtonisten yksityiskohtien välisissä suhteissa.
Divergenssi
Harmonisen sarjan divergenssistä on useita tunnettuja todistuksia. Seuraavassa esitetään muutamia niistä.
Vertailutesti
Yksi tapa todistaa divergenssi on verrata harmonista sarjaa toiseen divergenssisarjaan, jossa jokainen nimittäjä korvataan seuraavaksi suurimmalla kahden potenssilla:
Jokainen harmonisen sarjan termi on suurempi tai yhtä suuri kuin toisen sarjan vastaava termi, joten harmonisen sarjan summan on oltava suurempi tai yhtä suuri kuin toisen sarjan summa. Toisen sarjan summa on kuitenkin ääretön:
Tästä seuraa (vertailutestin avulla), että myös harmonisten sarjojen summan on oltava ääretön. Tarkemmin sanottuna yllä oleva vertailu osoittaa, että
jokaiselle positiiviselle kokonaisluvulle k.
Tätä Nicole Oresmen noin vuonna 1350 esittämää todistusta pidetään keskiaikaisen matematiikan huippukohtana. Se on edelleen vakiotodistus, jota opetetaan matematiikan tunneilla nykyäänkin.
Kokonaisvaltainen testi
On mahdollista todistaa, että harmoninen sarja divergoi vertaamalla sen summaa epäsuotuisaan integraaliin. Tarkastellaan oikealla olevassa kuvassa esitettyä suorakulmioiden järjestelyä. Kukin suorakulmio on 1 yksikön levyinen ja
1/n yksikköä korkea, joten äärettömän määrän suorakulmioita kokonaispinta-ala on harmonisten sarjojen summa:
Käyrän alapuolella oleva kokonaispinta-ala y =
1/x arvosta 1 äärettömään saadaan divergentti epäsäännöllinen integraali:
Koska tämä pinta-ala sisältyy kokonaan suorakulmioihin, myös suorakulmioiden kokonaispinta-alan on oltava ääretön. Tämä todistaa, että
Tämän väitteen yleistäminen tunnetaan nimellä integraalitesti.
Integraalitestin havainnollistaminen.
Divergenssinopeus
Harmoninen sarja eroaa hyvin hitaasti. Esimerkiksi 10 ensimmäisen43 termin summa on alle 100. Tämä johtuu siitä, että sarjan osasummilla on logaritminen kasvu. Erityisesti,
jossa γ on Euler-Mascheronin vakio ja εk ~
1/2k, joka lähestyy 0:ta, kun k on ääretön. Leonhard Euler todisti sekä tämän että sen, että summa, joka sisältää vain alkulukujen vastavuoroiset luvut, myös divergoi, toisin sanoen:
Osasummat
Kolmekymmentä ensimmäistä harmonista lukua | |||||
n | Harmonisen sarjan osasumma, Hn |
| |||
murtolukuna ilmaistuna | desimaali | suhteellinen koko |
| ||
1 | 1 | ~1 | 1
|
| |
2 | 3 | /2 | ~1.5 | 5
|
|
3 | 11 | /6 | ~1.83333 | 83333
|
|
4 | 25 | /12 | ~2.08333 | 08333
|
|
5 | 137 | /60 | ~2.28333 | 28333
|
|
6 | 49 | /20 | ~2.45 | 45
|
|
7 | 363 | /140 | ~2.59286 | 59286
|
|
8 | 761 | /280 | ~2.71786 | 71786
|
|
9 | 7129 | /2520 | ~2.82897 | 82897
|
|
10 | 7381 | /2520 | ~2.92897 | 92897
|
|
11 | 83711 | /27720 | ~3.01988 | 01988
|
|
12 | 86021 | /27720 | ~3.10321 | 10321
|
|
13 | 1145993 | /360360 | ~3.18013 | 18013
|
|
14 | 1171733 | /360360 | ~3.25156 | 25156
|
|
15 | 1195757 | /360360 | ~3.31823 | 31823
|
|
16 | 2436559 | /720720 | ~3.38073 | 38073
|
|
17 | 42142223 | /12252240 | ~3.43955 | 43955
|
|
18 | 14274301 | /4084080 | ~3.49511 | 49511
|
|
19 | 275295799 | /77597520 | ~3.54774 | 54774
|
|
20 | 55835135 | /15519504 | ~3.59774 | 59774
|
|
21 | 18858053 | /5173168 | ~3.64536 | 64536
|
|
22 | 19093197 | /5173168 | ~3.69081 | 69081
|
|
23 | 444316699 | /118982864 | ~3.73429 | 73429
|
|
24 | 1347822955 | /356948592 | ~3.77596 | 77596
|
|
25 | 34052522467 | /8923714800 | ~3.81596 | 81596
|
|
26 | 34395742267 | /8923714800 | ~3.85442 | 85442
|
|
27 | 312536252003 | /80313433200 | ~3.89146 | 89146
|
|
28 | 315404588903 | /80313433200 | ~3.92717 | 92717
|
|
29 | 9227046511387 | /2329089562800 | ~3.96165 | 96165
|
|
30 | 9304682830147 | /2329089562800 | ~3.99499 | 99499
|
|
Eroavien harmonisten sarjojen äärelliset osasummat,
kutsutaan harmonisiksi luvuiksi.
Hn ja ln n:n erotus konvergoi Euler-Mascheroni-vakioon. Kahden harmonisen luvun erotus ei ole koskaan kokonaisluku. Yksikään harmoninen luku ei ole kokonaisluku, paitsi H1 = 1.
Aiheeseen liittyvät sarjat
Vaihtuva harmoninen sarja
Sarja
tunnetaan vaihtuvana harmonisena sarjana. Tämä sarja konvergoituu vaihtuvan sarjan testin avulla. Erityisesti summa on yhtä suuri kuin 2:n luonnollinen logaritmi:
Vaihteleva harmoninen sarja on ehdollisesti konvergentti, mutta ei absoluuttisesti konvergentti: jos sarjan termejä järjestetään systemaattisesti uudelleen, summasta tulee yleensä erilainen ja järjestämisestä riippuen mahdollisesti jopa ääretön.
Vaihtuvan harmonisen sarjan kaava on erikoistapaus Mercator-sarjasta, joka on luonnollisen logaritmin Taylor-sarja.
Vastaava sarja voidaan johtaa arktangentin Taylorin sarjasta:
Tämä tunnetaan Leibnizin sarjana.
Yleinen harmoninen sarja
Yleinen harmoninen sarja on muotoa
jossa a ≠ 0 ja b ovat reaalilukuja ja
b/a ei ole nolla tai negatiivinen kokonaisluku.
Harmonisten sarjojen raja-arvovertailutestin mukaan kaikki yleiset harmoniset sarjat poikkeavat myös toisistaan.
p-sarja
Harmonisen sarjan yleistys on p-sarja (tai hyperharmoninen sarja), joka on määritelty seuraavasti
mille tahansa reaaliluvulle p. Kun p = 1, p-sarja on harmoninen sarja, joka divergoi. Joko integraalitesti tai Cauchyn kondensointitesti osoittaa, että p-sarja konvergoi kaikilla p > 1 (jolloin sitä kutsutaan yliharmoniseksi sarjaksi) ja divergoi kaikilla p ≤ 1. Jos p > 1, niin p-sarjan summa on ζ(p) eli Riemannin zeta-funktio, joka on arvioitu pisteessä p.
Ongelmaa, joka koskee summan p = 2 löytämistä, kutsutaan Baselin ongelmaksi; Leonhard Euler osoitti, että se on seuraava.
π2 /6. Summan arvoa p = 3 kutsutaan Apéryn vakioksi, koska Roger Apéry osoitti, että se on irrationaaliluku.
ln-sarja
P-sarjaan liittyy ln-sarja, joka on määritelty seuraavasti
mille tahansa positiiviselle reaaliluvulle p. Tämä voidaan osoittaa integraalitestillä, että se divergoi, kun p ≤ 1, mutta konvergoi, kun p > 1.
φ-sarja
Minkä tahansa kuperan, reaaliarvoisen funktion φ tapauksessa, joka on sellainen, että
sarja
on konvergentti.
Satunnainen harmoninen sarja
Satunnainen harmoninen sarja
jossa sn ovat riippumattomia, identtisesti jakautuneita satunnaismuuttujia, jotka saavat arvot +1 ja -1 yhtä suurella todennäköisyydellä.
1/2, on todennäköisyysteoriassa tunnettu esimerkki satunnaismuuttujien sarjasta, joka konvergoi todennäköisyydellä 1. Tämä konvergenssi on helppo seuraus joko Kolmogorovin kolmen sarjan lauseesta tai siihen läheisesti liittyvästä Kolmogorovin maksimaalisesta epätasa-arvosta. Byron Schmuland Albertan yliopistosta tutki edelleen satunnaisen harmonisen sarjan ominaisuuksia ja osoitti, että konvergenssisarja on satunnaismuuttuja, jolla on joitakin mielenkiintoisia ominaisuuksia. Erityisesti tämän satunnaismuuttujan todennäköisyystiheysfunktio, joka arvioidaan +2:ssa tai -2:ssa, saa arvon 0,12499999999999999999999999999999999999999999999999999999999999999999999999999999999764..., mikä poikkeaa arvosta 1/8 alle 10−42 . Schmulandin artikkelissa selitetään, miksi tämä todennäköisyys on niin lähellä, mutta ei täsmälleen 1/8. Tämän todennäköisyyden tarkka arvo saadaan äärettömän kosinogeenituotteen integraalilla C2 jaettuna π:llä.
Poistunut harmoninen sarja
Varttuneen harmonisen sarjan, jossa kaikki termit, joiden nimittäjässä esiintyy numero 9, on poistettu, voidaan osoittaa konvergoivan, ja sen arvo on pienempi kuin 80. Itse asiassa, kun kaikki termit, jotka sisältävät minkä tahansa numerosarjan (missä tahansa perusluvussa tahansa), poistetaan, sarja konvergoituu.
Vuorottelevan harmonisen sarjan neljätoista ensimmäistä osasummaa (mustat viivasegmentit), jotka konvergoituvat 2:n luonnolliseen logaritmiin (punainen viiva).
Sovellukset
Harmoninen sarja voi olla vastakkainen. Tämä johtuu siitä, että se on divergentti sarja, vaikka sarjan termit pienenevät ja menevät kohti nollaa. Harmonisen sarjan divergenssi on joidenkin paradoksien lähde.
- "Mato kuminauhan päällä". Oletetaan, että mato ryömii äärettömän elastista yhden metrin pituista kuminauhaa pitkin samaan aikaan, kun kuminauhaa venytetään tasaisesti. Jos mato kulkee yhden senttimetrin minuutissa ja nauha venyy yhden metrin minuutissa, tuleeko mato koskaan kuminauhan päähän? Vastaus on intuitiivisesti "kyllä", sillä n minuutin kuluttua madon kulkeman matkan ja kuminauhan kokonaispituuden suhde on seuraava
Koska sarja kasvaa mielivaltaisesti, kun n kasvaa, tämän suhteen on lopulta oltava yli 1, mikä tarkoittaa, että mato saavuttaa kuminauhan pään. Sen n:n arvon, jolla tämä tapahtuu, on kuitenkin oltava erittäin suuri: noin e100 , luku, joka ylittää 1043 minuuttia (1037 vuotta). Vaikka harmoninen sarja eroaa, se tekee sen hyvin hitaasti.
- Jeep-ongelmassa kysytään, kuinka paljon kokonaispolttoainetta tarvitaan, jotta auto, jonka polttoainekapasiteetti on rajallinen, voi ylittää aavikon ja jättää polttoainepisaroita reitin varrelle. Matka, jonka auto voi kulkea tietyllä polttoainemäärällä, liittyy harmonisten sarjojen osasummiin, jotka kasvavat logaritmisesti. Tarvittava polttoainemäärä kasvaa siis eksponentiaalisesti halutun matkan myötä.
- Palikoiden pinoamisongelma: Kun on olemassa kokoelma samanlaisia dominopalikoita, on mahdollista pinota ne pöydän reunalle niin, että ne roikkuvat pöydän reunan yli putoamatta. Vastakkainen tulos on, että ne voidaan pinota siten, että ylihangaus on niin suuri kuin halutaan. Siis edellyttäen, että dominopalikoita on tarpeeksi.
- Uimari, joka kiihtyy joka kerta, kun hän koskettaa altaan seinää. Uimari aloittaa 10 metrin altaan ylittämisen nopeudella 2 m/s, ja jokaisella ylittämisellä nopeuteen lisätään vielä 2 m/s. Teoriassa uimarin nopeus on rajoittamaton, mutta nopeuden saavuttamiseen tarvitaan hyvin monta altaan ylitystä; esimerkiksi valonnopeuden saavuttamiseksi (ilman erityistä suhteellisuusteoriaa) uimarin on ylitettävä allas 150 miljoonaa kertaa. Vastoin tätä suurta lukua tietyn nopeuden saavuttamiseen tarvittava aika riippuu sarjojen summasta, joka saadaan millä tahansa tietyllä määrällä altaan ylityksiä:
Summan laskeminen osoittaa, että valonnopeuden saavuttamiseen tarvitaan vain 97 sekuntia.
Lohkojen pinoamisongelma: harmonisen sarjan mukaisesti linjatut lohkot ylittävät halkeamia, joiden leveys on mikä tahansa.
Aiheeseen liittyvät sivut
- Harmoninen eteneminen
- Luettelo vastavuoroisten summista
Kysymyksiä ja vastauksia
Q: Mikä on harmoninen sarja?
V: Harmoninen sarja on ääretön divergenssisarja, jossa jokainen termi on yhtä suuri kuin 1 jaettuna sen sijainnilla sarjassa.
K: Mitä tarkoittaa, että sarja on divergentti?
V: Divergentti tarkoittaa sitä, että kun lisäät lisää termejä, summa ei lakkaa koskaan kasvamasta, eikä mene kohti yhtä äärellistä arvoa.
K: Mitä tarkoittaa, että sarja on ääretön?
V: Ääretön tarkoittaa sitä, että sarjaan voidaan aina lisätä uusi termi ja että sarjassa ei ole lopputermiä.
K: Mistä sarjan nimi on peräisin?
V: Tämän sarjan nimi tulee musiikin harmonisten sävelten ideasta, jossa yläsävelten aallonpituudet ovat 1/2, 1/3, 1/4 jne. jousen perusaallonpituudesta.
K: Mitä harmoninen tarkoittaa?
V: Harmoninen keskiarvo on silloin, kun sarjan jokainen termi on yhtä suuri kuin sen viereisten termien harmoninen keskiarvo. Tämäkin ilmaisu on peräisin musiikista.
K: Miten laskemme tämän jakson jokaisen termin?
V: Jokainen termi tässä sarjassa voidaan laskea jakamalla yksi sen sijainnilla sarjassa (1/n).