A Gauss-integrál ( Euler-Poisson integrál vagy Poisson integrál [1] is) egy Gauss-függvény integrálja :
Bizonyíték |
---|
Tekintsünk egy függvényt . Az intervallumon felülről egy, az intervallumon alulról nulla határolja . Különösen, ha feltételezzük , hogy a következőt kapjuk :
Korlátozzuk az első egyenlőtlenség változását az intervallumban , a másodikban pedig az intervallumban emeljük mindkét egyenlőtlenséget hatványra , mivel a pozitív tagú egyenlőtlenségek bármely pozitív hatványra emelhetők. Kapunk: ésAz egyenlőtlenségeket a megadott határokon belül integrálva és egybe redukálva kapjuk Csere után kapjuk Feltéve , hogy kapunk, ill. Az integrációs határok pótlása abból adódik, hogy amikor a változó 0-ról vált át, az érték 0-ról 1-re változik. És lecserélve kapjuk Itt is hasonlóak az integráció határai: végtelenről nullára változik, ha a változó 0-ról -ra változik . Az utolsó két integrált a következőképpen találhatjuk meg: részenként kétszer integrálva ismétlődő összefüggéseket kapunk, melyek megoldásával a jobb oldalon lévő eredményekhez jutunk. Így a kívánt K-t az intervallum tartalmazhatja K megtalálásához négyzetre emeljük a teljes egyenlőtlenséget, és átalakítjuk. Ennek eredményeként minden nagyon leegyszerűsödik A Wallis-képletből következik, hogy mind a bal, mind a jobb oldali kifejezések hajlamosak Következésképpen, Mivel a függvény páros, ezt kapjuk |
2. bizonyítás |
---|
A Gauss-integrál így ábrázolható . Tekintsük ennek az integrálnak a négyzetét . Bevezetve a kétdimenziós derékszögű koordinátákat , átlépve belőlük a polárkoordinátákba , és átintegrálva (0-tól ig ), megkapjuk:
Ezért ,. |
3. bizonyíték |
---|
A Gauss-integrál így ábrázolható . Tekintsük ennek az integrálnak a kockáját . Bemutatjuk a háromdimenziós derékszögű koordinátákat , áttérve belőlük a gömbkoordinátákra :
, az átalakulás jakobiánusa , és átintegrálva (tól -ig ), át (tól -ig ), át (tól -ig ) kapjuk:
Ezért ,. |
Egy skálázott Gauss-függvény Gauss-integráljai
és többdimenziós Gauss integrálok
alapvetően az előbb leírt szokásos egydimenziósra redukálódnak (itt és alább mindenhol a teljes térre kiterjedő integrációt sejtetnek).
Ugyanez vonatkozik az űrlap többdimenziós integráljaira is
ahol x egy vektor, M pedig egy szimmetrikus mátrix negatív sajátértékekkel, mivel az ilyen integrálok az előzőre redukálódnak, ha olyan koordinátatranszformációt hajtunk végre, amely átlósítja az M mátrixot .
A gyakorlati alkalmazás (például egy Gauss-függvény Fourier-transzformációjának kiszámításához) gyakran a következő összefüggést találja
Ennek az integrálnak és különféle variációinak kiszámítása a modern elméleti fizika számos témakörének fő tartalma [2] .
Először 1729-ben Euler számolta ki az egydimenziós Gauss-integrált , majd Poisson talált egy egyszerű módszert a kiszámítására. Ebből a szempontból az Euler-Poisson integrál nevet kapta [2] .