Farklı bir şekilde bende yazayım.
erf(x) fonksiyonun tanımı :
erf(x)=2√π∫x0e−t2dt
İntegralimiz :
∫∞0e−x2erf(x)dx
erf(x) yerine yukarıda verdiğim eşitliği kullanalım.
2√π∫∞0e−x2∫x0e−t2dtdx
∫x0e−t2dt=ω olacak şekilde değişken değiştirelim.
2√π∫√π20ωdω
İntegrali alalım.
2√ππ8
∫∞0e−x2erf(x)dx=√π4