Gauss integrali

Gauss integrali, Euler–Poisson integrali olarak da bilinir, tüm reel sayılardaki e^−x2 Gauss fonksiyonunun integralidir. Alman matematik ve fizikçi Carl Friedrich Gauss'dan sonra adlandırlıdı. İntegrali şöyledir:

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx=\sqrt{\pi }.$

Bu integral çok geniş uygulama alanına sahiptir. Örneğin değişkenlerin azıcık değiştirilerek normal dağılımın normalleştirme sabitini hesaplamak için kullanılır. Sonlu sınırları olan aynı integral, normal dağılımın hem hata fonksiyonu hem de birikimli dağılım fonksiyonu ile yakından ilişkilidir.

Hata fonksiyonu için her ne kadar temel fonksiyon olmazsa bile, Risch algoritması kanıtlamıştır ki, Kalkülüs araçları kullanılarak Gauss integrali analitik olarak çözülebilir. Burada, aşağıdaki integralin temel İlkel fonksiyonu yoktur:

$\int e^{-x^2}dx,$

fakat aşağıdaki belirli integrali hesaplanabilir:

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx$

Gauss integrali ile, fizikte çok sık karşılaşılır ve integralin sayısal genelleştirilmesi ile kuantum alan kuramında sık karşılaşılır.

Hesaplama

Kutupsal koordinat sisteminde

Gauss integralini hesaplamanın standart yolu Poisson'a geri gitmektir, is

• R² düzleminde e^{−(x2 + y2)} = e^−r2 fonksiyonunu göz önüne alalım ve iki yolla integralini hesaplayalim:
  1. bir taraftan, bir kare integral olan kartezyen koordinat sistemindeki katlı integrali ile:

     ${(\int e^{-x^2}dx)}^2;$

  2. diğer taraftan kabuk integrali (kutupsal koordinat sistemindeki çift katlı integral) ile, bu integral π olarak hesaplar.

Bu iki hesaplama karşılaştırılırsa uygun integral elde edilmiş olur.

Basit ispat

Kısaca yukarıdaki yöntem kullanılarak, bir taraftan şöyle hesaplanabilir;

$\underset{{𝐑}^2}{\int }{e}^{-(x^2+y^2)}dA=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-(x^2+y^2)}dxdy=\left(\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx\right)\left(\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-y^2}dy\right)={\left(\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx\right)}^2$

Diğer taraftan da şöyle hesaplanabilir;

$\begin{array}{cc}\underset{{𝐑}^2}{\int }{e}^{-(x^2+y^2)}dA& =\underset{0}{\overset{2\pi }{\int }}\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-r^2}rdrd\theta \\ & =2\pi \underset{0}{\overset{\mathrm{\infty }}{\int }}r{e}^{-r^2}dr\\ & =2\pi \underset{-\mathrm{\infty }}{\overset{0}{\int }}\frac{1}{2}{e}^{s}ds& & s=-r^2\\ & =\pi \underset{-\mathrm{\infty }}{\overset{0}{\int }}{e}^{s}ds\\ & =\pi (e^0-e^{-\mathrm{\infty }})\\ & =\pi ,\end{array}$

Buradaki r faktörü, kutupsal koordinat dönüşümlerinden elde edilir. (r dr dθ, kutupsal koordinat sisteminde ifade edilen düzlemin standart ölçüsüdür [1]Şablon:Webarşiv) ve s = −r² yerine konulursa ds = −2r dr olur.

Bunları bir araya getirirsek

${\left(\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx\right)}^2=\pi ,$ olur.

Böylece,

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx=\sqrt{\pi }$ elde edilir.

Kapsamlı ispat

Katlı integrallerin uygunluğunu ve iki ifadenin eşitliğini doğrulamak için, aşağıdaki yaklaşım fonksiyonu ile başlayalım:

$I(a)=\underset{-a}{\overset{a}{\int }}{e}^{-x^2}dx.$

Eğer integral şöyle olursa:

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx$

mutlak yakınsaklığın Cauchy esas değeri limiti şöyle olur;

$\underset{a\to \mathrm{\infty }}{\lim }I(a)$

Bu limit aşağıdaki integral ile uyuşur;

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx.$

Bunun gerçek durumunu şöyledir;

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}|e^{-x^2}|dx<\underset{-\mathrm{\infty }}{\overset{-1}{\int }}-x{e}^{-x^2}dx+\underset{-1}{\overset{1}{\int }}{e}^{-x^2}dx+\underset{1}{\overset{\mathrm{\infty }}{\int }}x{e}^{-x^2}dx<\mathrm{\infty }.$

Böylece şöyle hesaplayabiliriz

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx$

burada limit alınırsa

$\underset{a\to \mathrm{\infty }}{\lim }I(a)$.

I(a)nın karesi elde edilir

$\begin{array}{cc}I(a{)}^2& =\left(\underset{-a}{\overset{a}{\int }}{e}^{-x^2}dx\right)\left(\underset{-a}{\overset{a}{\int }}{e}^{-y^2}dy\right)\\ & =\underset{-a}{\overset{a}{\int }}\left(\underset{-a}{\overset{a}{\int }}{e}^{-y^2}dy\right)e^{-x^2}dx\\ & =\underset{-a}{\overset{a}{\int }}\underset{-a}{\overset{a}{\int }}{e}^{-(x^2+y^2)}dxdy.\end{array}$

Fubini teoremini kullanarak, yukarıdaki katlı integral, şu şekilde alan integraline çevrilebilir:

$\int e^{-(x^2+y^2)}d(x,y),$

xy düzleminde {(−a, a), (a, a), (a, −a), (−a, −a)} köşelerine sahip bir kare elde edilir.

Üstel fonksiyon, tüm reel sayılar için 0'dan büyük olduğundan dolayı, karenin iç teğet çemberinin integrali $I(a{)}^2$'den küçük olmalıdır ve benzer şekilde karenin dış teğet çemberinin integrali de $I(a{)}^2$'den büyük olmalıdır. Bu iki çemberin integralleri kutupsal koordinat dönüşümünden kolayca hesaplanabilir:

$\begin{array}{cc}x& =r\cos \theta \\ y& =r\sin \theta \\ d(x,y)& =rd(r,\theta ).\end{array}$

$\underset{0}{\overset{2\pi }{\int }}\underset{0}{\overset{a}{\int }}r{e}^{-r^2}drd\theta <I^2(a)<\underset{0}{\overset{2\pi }{\int }}\underset{0}{\overset{a\sqrt{2}}{\int }}r{e}^{-r^2}drd\theta .$

(Kutupsal dönüşümler için kartezyen koordinatlardan kutupsal koordinatlara dönüşüme bakın.)

Integral alma,

$\pi (1-e^{-a^2})<I^2(a)<\pi (1-e^{-2a^2}).$

Sıkıştırma teoreminden, Gauss integral elde edilebilir:

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx=\sqrt{\pi }.$

Kartezyen koordinat sisteminde

Laplace dönüşümüne geri gitmenin farklı bir yöntemi, aşağıdaki gibidir:

$\begin{array}{cc}y& =xs\\ dy& =xds.\end{array}$

y → ±∞ iken s sınırları, x in işaretine bağlıdır ve bir çift fonksiyon olan e^−x2 kullanılarak hesaplama basitleştirilebilir. Böylece tüm reel sayılardaki integral için, sıfırdan sonsuza iki kez integral alınır. Bu da şöyle olur;

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx=2\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx.$

Böylece, x ≥ 0 için integral alınır ve y ile s değişkenleri aynı sınırlara sahiptir. Buradan:

$I^2=4\underset{0}{\overset{\mathrm{\infty }}{\int }}\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-(x^2+y^2)}dydx.$

elde edilir. Ardından:

$\begin{array}{cc}\frac{1}{4}{I}^2& =\underset{0}{\overset{\mathrm{\infty }}{\int }}\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-(x^2+y^2)}dy\right)dx\\ & =\underset{0}{\overset{\mathrm{\infty }}{\int }}\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2(1+s^2)}xds\right)dx\\ & =\underset{0}{\overset{\mathrm{\infty }}{\int }}\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2(1+s^2)}xdx\right)ds\\ & =\underset{0}{\overset{\mathrm{\infty }}{\int }}{\left[\frac{1}{-2(1+s^2)}{e}^{-x^2(1+s^2)}\right]}_{x=0}^{x=\mathrm{\infty }}ds\\ & =\frac{1}{2}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{ds}{1+s^2}\\ & =\frac{1}{2}{[\arctan s\frac{}{}]}_0^{\mathrm{\infty }}\\ & =\frac{\pi }{4}.\end{array}$

Son olarak, $I=\sqrt{\pi }$ olur.

Gama fonksiyonu ile ilişkisi

Bir çift fonksiyonun integrali şöyle olsun:

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx=2\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx$

Burada $x=\sqrt{t}$ değişken değiştirme yapılırsa bu denklem Euler integraline dönüşür:

$2\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx=2\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{1}{2}{e}^{-t}{t}^{-\frac{1}{2}}dt=\mathrm{\Gamma }\left(\frac{1}{2}\right)=\sqrt{\pi }$

Buradaki Γ, gama fonksiyonudur. Bu, bir yarım tam sayı faktöriyelinin, $\sqrt{\pi }$nin bir oransal çarpanı olduğunu gösteriyor. Bunun daha genel ifade şöyledir:

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-a{x}^b}dx=\frac{1}{b}{a}^{-\frac{1}{b}}\mathrm{\Gamma }\left(\frac{1}{b}\right).$

Genelleştirmeler

Gauss fonksiyonunun integrali

Şablon:Ana Keyfi bir Gauss fonksiyonunun integrali şöyledir:

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-\frac{(x+b{)}^2}{c^2}}dx=c\sqrt{\pi }.$

Bunun başka bir biçimi de şöyledir:

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2+bx+c}dx=\sqrt{\pi }{e}^{b^2/4+c},$

n boyutlu ve fonksiyonel genelleştirme

Şablon:Ana A, bir simetrik pozitif tanımlı (bu yüzden tersinir) n×n ortak değişirli matrisi olsun. Böylece integral şöyle olur:

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\exp (-\frac{1}{2}\sum _{i,j=1}^n{A}_{ij}{x}_i{x}_j)d^{n}x=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\exp (-\frac{1}{2}{x}^{T}Ax)d^{n}x=\sqrt{\frac{(2\pi {)}^n}{\det A}}$

Burada integral Rⁿde anlaşılır. Bu, çokdeğişirli normal dağılım incelenerek uygulanır.

Ayrıca,

$\int x^{k_1}\cdots x^{k_{2N}}\exp (-\frac{1}{2}\sum _{i,j=1}^n{A}_{ij}{x}_i{x}_j)d^{n}x=\sqrt{\frac{(2\pi {)}^n}{\det A}}\frac{1}{2^{N}N!}\sum _{\sigma \in S_{2N}}(A^{-1}{)}^{k_{\sigma (1)}{k}_{\sigma (2)}}\cdots (A^{-1}{)}^{k_{\sigma (2N-1)}{k}_{\sigma (2N)}}$

Burada σ, bir {1, ..., 2N} permütasyonu ve sağ taraftaki ek faktör, N nin {1, ..., 2N} tüm kombinasyonel çiftlerinin toplamıdır ve A^d−1'den elde edilmişlerdir.

Alternatif olarak,

$\int f(\overrightarrow{x})\exp (-\frac{1}{2}\sum _{i,j=1}^n{A}_{ij}{x}_i{x}_j)d^{n}x=\sqrt{\frac{(2\pi {)}^n}{\det A}}{\exp (\frac{1}{2}\sum _{i,j=1}^n(A^{-1}{)}_{ij}\frac{\partial }{\partial x_i}\frac{\partial }{\partial x_j})f(\overrightarrow{x})|}_{\overrightarrow{x}=0}$

Yüksek dereceli polinomlar

Diğer çift polinomların üstelleri seriler kullanılarak kolayca çözülebilir. Örneğin bir dördüncü dereceden bir polinomun üstel integralinin çözümü şöyledir:

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{a{x}^4+b{x}^3+c{x}^2+dx+f}dx=\frac{1}{2}{e}^f\sum _{\begin{array}{c}n,m,p=0\\ n+p=0mod2\end{array}}^{\mathrm{\infty }}\frac{b^n}{n!}\frac{c^m}{m!}\frac{d^p}{p!}\frac{\mathrm{\Gamma }\left(\frac{3n+2m+p+1}{4}\right)}{(-a{)}^{\frac{3n+2m+p+1}{4}}}.$

Burada n + p = 0 mod 2 gereklidir. Çünkü −∞'dan 0'a integral her bir terimde (−1)^n+p/2 faktörü oluştururken, 0'dan +∞'a integral her bir terimde 1/2 faktörü oluşturur. Bu integraller, kuantum alan kuramının konusuna girer.