Virhefunktio

Virhefunktion kuvaaja

Virhefunktio on eräs useimmin vastaantulevista erikoisfunktioista.kenen mukaan? Siihen törmää helposti monissa käytännön tilanteissa, varmimmin todennäköisyyslaskennassa ja statistisessa mekaniikassa. Virhefunktio liittyy läheisesti normitetun normaalijakauman kertymäfunktioon. Itse virhefunktion lisäksi usein tulee vastaan myös virhefunktion komplementti.

Virhefunktio määritellään integraalina, mutta tarkka esitysmuoto vaihtelee hieman eri lähteissä. Tavallisinlähde? määritelmä on

erf⁡(x)=2π∫0xe−t2dt

Virhefunktion ominaisuuksia

Virhefunktio on pariton funktio

erf⁡(−x)=−erf⁡(x)

ja jos funktion argumentti on kompleksiluku, kompleksikonjugaatille on voimassa

erf⁡(z∗)=(erf⁡(z))∗.

Virhefunktiota ei ole mahdollista lausua alkeisfunktioiden avulla, mutta sitä vastaava Taylorin sarja on

erf⁡(x)=2π∑n=0∞(−1)nx2n+1(2n+1)n!=2π(x−x33+x510−x742+x9216− ⋯)

Sille voidaan esittää myös approksimaatio asymptoottisen sarjan avulla. Virhefunktion ensimmäinen derivaatta seuraa välittömästi määritelmästä

ddxerf⁡(x)=2πe−x2

ja korkeammat derivaatat voi laskea kaavalla

dndxnerf⁡(x)=(−1)n−12πHn−1(x)e−x2,

missä Hk(x) on k:s Hermiten polynomi. Virhefunktiolla on myös integraali

∫erf⁡(x)dx=xerf⁡(x)+ex2π

Virhefunktion käänteisfunktio voidaan esittää sarjakehitelmänä

erf−1(x)=∑n=0∞cn2n+1(π2x)2n+1,

missä

cn=∑m=0n−1cmcn−1−m(m+1)(2m+1),c0=1

Virhefunktio ja normaalijakauma

Virhefunktion ja normitetun normaalijakauman kertymäfunktion Φ(x) välillä on yhteys:

erf(x)=2Φ(x)−1,
Φ(x)=erf⁡(x)+12.

Molempien funktioiden raja-arvo, kun x kasvaa rajatta, on 1, mutta

limx→−∞Φ(x)=0,

kun taas

limx→−∞erf⁡(x)=−1

Muuttujan arvolla x=0 saa virhefunktio arvon 0 mutta normaalijakauman kertymäfunktio arvon 1/2.

Virhefunktion komplementti

Virhefunktion komplementin kuvaaja.

Virhefunktion komplementti määritellään

erfc⁡(x)=1−erf⁡(x)

tai yhtäpitävästi integraalina

erfc⁡(x)=2π∫x∞e−t2dt.

ja se toteuttaa differentiaaliyhtälön

d2ydx2+2xdydx−2y=0.

Virhefunktion komplementin derivointikaava muistuttaa virhefunktion vastaavaa

ddxerfc⁡(x)=−2πe−x2

ja integraalikin muistuttaa virhefunktion integraalia

∫erfc⁡(x)dx=xerfc⁡(x)−e−x2π

Aiheesta muualla