Gaussův integrál (také Euler-Poissonův integrál nebo Poissonův integrál [1] ) je integrál Gaussovy funkce :
Důkaz |
---|
Uvažujme o funkci . Na intervalu je shora ohraničena jedničkou a na intervalu zdola nulou . Zejména za předpokladu , že získáme pro :
Omezme změnu v první nerovnosti intervalem a ve druhé - intervalem zvyšme obě nerovnosti na mocninu , protože nerovnosti s kladnými členy lze zvýšit na jakoukoli kladnou mocninu. Dostaneme: aZískáme integraci nerovností v uvedených mezích a jejich snížení do jedné Při střídání dostáváme Za předpokladu , že dostaneme, resp. Nahrazení integračních mezí je dosaženo tím, že když se proměnná změní z 0 na hodnotu , změní se z 0 na 1. A výměnou dostaneme Zde jsou limity integrace podobné: změní se z nekonečna na nulu, když se proměnná změní z 0 na . Poslední dva integrály najdeme takto: jejich dvojitým integrováním po částech získáme rekurentní vztahy, jejichž řešením dojdeme k výsledkům na pravé straně. Požadované K tedy může být obsaženo v intervalu Abychom našli K, odmocníme celou nerovnost a transformujeme ji. V důsledku toho je vše výrazně zjednodušeno Z Wallisova vzorce vyplývá, že levý i pravý výraz mají tendenci Tudíž, Protože funkce je sudá, dostaneme to |
Důkaz 2 |
---|
Gaussův integrál může být reprezentován jako . Uvažujme druhou mocninu tohoto integrálu . Zavedením dvourozměrných kartézských souřadnic , přechodem z nich do polárních souřadnic , a integrací přes (od 0 do ) získáme:
Proto, . |
Důkaz 3 |
---|
Gaussův integrál může být reprezentován jako . Uvažujme třetí mocninu tohoto integrálu . Zavedení trojrozměrných kartézských souřadnic , přechod z nich na sférické souřadnice :
jakobiánem transformace je , a integrací přes (od do ), přes (od do ), přes (od do ), dostaneme:
Proto, . |
Gaussovy integrály škálované Gaussovy funkce
a vícerozměrné Gaussovy integrály
jsou elementárně redukovány na obvyklou jednorozměrnou, popsanou jako první (zde i níže je všude implikována integrace přes celý prostor).
Totéž platí pro vícerozměrné integrály formy
kde x je vektor a M je symetrická matice se zápornými vlastními čísly, protože takové integrály se redukují na předchozí, pokud se provede transformace souřadnic, která diagonalizuje matici M .
Praktická aplikace (například pro výpočet Fourierovy transformace Gaussovy funkce) často nachází následující vztah
Výpočet tohoto integrálu a jeho různých variací je hlavním obsahem mnoha témat moderní teoretické fyziky [2] .
Poprvé byl jednorozměrný Gaussův integrál vypočítán v roce 1729 Eulerem , poté Poisson našel jednoduchou metodu pro jeho výpočet. V tomto ohledu dostal název Euler-Poissonův integrál [2] .