Սխալների ֆունկցիա

աջից|մինի|400x400փքս|Սխալների ֆունկցիայի գրաֆիկ
**Սխալների ֆունկցիա** (կոչվում է նաև հավանականության ինտեգրալ), ոչ տարրական ֆունկցիա, որը ծագել է հավանականության տեսության, վիճակագրության և մասնական ածանցյալներով դիֆերենցիալ հավասարումների տեսության մեջ։ Այն սահմանվում է որպես.

: \operatorname{erf}\,x = \frac{2}{\sqrt{\pi}}\int\limits_0^x e^{-t^2}\,\mathrm dt

**Սխալների լրացուցիչ ֆունկցիան**,  որը նշանակվում է \operatorname{erfc}\,x (երբեմն օգտագործվում է \operatorname{Erf}\,x նշանակումը), որոշվում է սխալների ֆունկցիայի միջոցով՝

: \operatorname{erfc}\,x = 1-\operatorname{erf}\,x = \frac{2}{\sqrt{\pi}} \int\limits_x^{\infty} e^{-t^2}\,\mathrm dt.

**Սխալների կոմպլեքս ֆունկցիան**, որը նշանակվում է w(x), նույնպես սահմանվում է սխալների ֆունկցիայի միջոցով.

: w(x) = e^{-x^2}\operatorname{erfc}\,(-ix).

## Հատկություններ
* Սխալների ֆունկցիան կենտ է.

:: \operatorname{erf}\,(-x) = -\operatorname{erf}\,x

* Ցանկացած կոմպլեքս x-ի համար տեղի է ունենում․

:: \operatorname{erf}\,\bar{x} = \overline{\operatorname{erf}\,x}  
: որտեղ գիծը նշանակում է x թվի կոմպլեքս լծորդ։

* Սխալների ֆունկցիան չի կարող ներկայացվել տարրական ֆունկցիաների միջոցով, սակայն, բաժանելով ինտեգրվող արտահայտությունը Թեյլորի շարքին և ինտեգրելով ըստ անդամների, կարող ենք ստանալ դրա ներկայացումը շարքի ձևով։

:: \operatorname{erf}\,x= \frac{2}{\sqrt{\pi}}\sum_{n=0}^\infin\frac{(-1)^n x^{2n+1}}{n! (2n+1)} =\frac{2}{\sqrt{\pi}} \left(x-\frac{x^3}{3}+\frac{x^5}{10}-\frac{x^7}{42}+\frac{x^9}{216}-\ \cdots\right)
: Այս հավասարությունը պահպանվում է (և շարքը համընկնում է) ինչպես ցանկացած իրական x-ի, այնպես էլ ամբողջ կոմպլեքս հարթության վրա, համաձայն Դ'Ալամբերի հայտանիշի։ Հայտարարների հաջորդականությունը կազմում է  հաջորդականություն․

* Շարքի տարրերի իտերատիվ հաշվարկման համար օգտակար է այն ներկայացնել այլընտրանքային ձևով՝

:: \operatorname{erf}\,x= \frac{2}{\sqrt{\pi}}\sum_{n=0}^\infin\left(x \prod_{i=1}^n{\frac{-(2i-1) x^2}{i (2i+1)}}\right) = \frac{2}{\sqrt{\pi}} \sum_{n=0}^\infin \frac{x}{2n+1} \prod_{i=1}^n \frac{-x^2}{i}
: քանի որ \frac{-(2i-1) x^2}{i (2i+1)} համաբազմապատկիչ է, որը շարքի i-րդ անդամը վերածում է (i+1), հաշվի առնելով առաջին x անդամը։

* Սխալների ֆունկցիան անսահմանության մեջ հավասար է մեկի, սակայն, դա ճիշտ է միայն իրական առանցքով անսահմանությանը մոտենալիս, քանի որ՝
* Բարդ պլանում սխալների ֆունկցիան դիտարկելիս  z=\infty կետը նրա համար էականորեն առանձնահատուկ կլինի։
* Սխալների ֆունկցիայի ածանցյալը ուղղակիորեն բխում է ֆունկցիայի սահմանումից՝

:: \frac{d}{dx}\,\operatorname{erf}\,x=\frac{2}{\sqrt{\pi}}\,e^{-x^2}.

* Մասերով ինտեգրման մեթոդով ստացված սխալների ֆունկցիայի նախնական՝

:: F(x)=x\operatorname{erf}(x) + \frac{e^{-x^2}}{\sqrt{\pi}}.

* **Սխալների հակադարձ ֆունկցիան** շարք է․

:: \operatorname{erf}^{-1}\,x=\sum_{k=0}^\infin\frac{c_k}{2k+1}\left (\frac{\sqrt{\pi}}{2}x\right )^{2k+1},
: որտեղ *c*0 = 1 և
:: c_k=\sum_{m=0}^{k-1}\frac{c_m c_{k-1-m}}{(m+1)(2m+1)} = \left\{1,1,\frac{7}{6},\frac{127}{90},\ldots\right\}

: Հետևաբար շարքը կարող է ներկայացվել հետևյալ ձևով (նկատի ունենալ, որ կոտորակները կրճատված են)․
:: \operatorname{erf}^{-1}\,x=\frac{1}{2}\sqrt{\pi}\left (x+\frac{\pi x^3}{12}+\frac{7\pi^2 x^5}{480}+\frac{127\pi^3 x^7}{40320}+\frac{4369\pi^4 x^9}{5806080}+\frac{34807\pi^5 x^{11}}{182476800}+\dots\right ).http://functions.wolfram.com/GammaBetaErf/InverseErf/06/01/

: Հաջորդականությունները համարիչների ու հայտարարների կրճատումից հետո՝ A092676 և A132467 AE9IS-ում։ Հմաարիչների հաջորդականությունից կրճատումից առաջ`A002067 OEIS-ում։

աջից|մինի|400x400փքս|Սխալների լրացուցիչ ֆունկցիա

## Կիրառություն
Եթե մի շարք պատահական փոփոխականներ ենթարկվում են նորմալ բաշխմանը` \sigma ստանդարտ շեղումով, ապա հավանականությունը, որ մեծությունը շեղվում է միջինից ոչ ավելի, քան a-ով, հավասար է  \operatorname{erf}\,\frac{a}{\sigma \sqrt{2}}։

Սխալների ֆունկցիան և սխալների լրացուցիչ ֆունկցիան հանդիպում են որոշ դիֆերենցիալ հավասարումների լուծման մեջ, օրինակ, ջերմային հաղորդակցության հավասարումները նախնական պայմաններով, որ նկարագրվում են Հևիսայդի ֆունկցիայով («աստիճանով»)։

Թվային օպտիկական հաղորդակցության համակարգերում բիթով սխալվելու հավանականությունը նույնպես արտահայտվում է սխալների ֆունկցիան օգտագործող բանաձևով։

## Ասիմպտոտիկ բաշխում
Մեծ x-երի դեպքում օգտակար է ասիմպտոտիկ բաշխումը սխալների լրացուցիչ  ֆունկցիայի համար․

: \operatorname{erfc}\,x = \frac{e^{-x^2}}{x\sqrt{\pi}}\left [1+\sum_{n=1}^\infty (-1)^n \frac{1\cdot3\cdot5\cdots(2n-1)}{(2x^2)^n}\right ]=\frac{e^{-x^2}}{x\sqrt{\pi}}\sum_{n=0}^\infty (-1)^n \frac{(2n)!}{n!(2x)^{2n}}.

Չնայած ցանկացած վերջնական x-ի համար  այս շարքը տարբերվում է. գործնականում առաջին մի քանի անդամները բավարար են հաշվարկելու համար \operatorname{erfc}\,x  լավ ճշգրտությամբ, մինչդեռ Թեյլորի շարքը շատ դանդաղ է մոտարկվում։

Մեկ այլ մոտարկում տրվում է հետևյալ բանաձևով․

: (\operatorname{erf}\,x)^2\approx 1-\exp\left(-x^2\frac{4/\pi+ax^2}{1+ax^2}\right)

որտեղ

:  a = \frac{8}{3\pi}\frac{3 - \pi}{\pi - 4}

## Հարակից ֆունկցիաներ
Մինչև մասշտաբ և տեղափոխում սխալների ֆունկցիան համընկնում է նորմալ ինտեգրալ բաշխման հետ, որը նշանակվում է․

: \Phi(x) = \frac{1}{2}\biggl(1+\operatorname{erf}\,\frac{x}{\sqrt{2}}\biggl)

Հակադարձ ֆունկցիան դեպի \Phi,  որը հայտնի է որպես նորմալ քանակական ֆունկցիա, երբեմն նշանակվում է \operatorname{probit}  և արտահայտվում է սխալների նորմալ ֆունկցիայի միջոցով, ինչպես․

: \operatorname{probit}\,p = \Phi^{-1}(p) = \sqrt{2}\,\operatorname{erf}^{-1}(2p-1)

Նորմալ ինտեգրալ բաշխումը ավելի հաճախ օգտագործվում է հավանականության տեսության և մաթեմատիկական վիճակագրության մեջ, մինչդեռ սխալների ֆունկցիան առավել հաճախ օգտագործվում է մաթեմատիկայի այլ բաժիններում։

Սխալների ֆունկցիան Միտտագ-Լեֆլերի տիպի ֆունկցիայի մասնավոր դեպքն է, և կարող է նաև ներկայացվել որպես փոփոխված հիպերգեոմետրիկ ֆունկցիա (Կումմերի ֆունկցիա)։

: \operatorname{erf}\,x=\frac{2x}{\sqrt{\pi}}\,_1F_1\left(\frac{1}{2},\frac{3}{2},-x^2\right)

Սխալների ֆունկցիան արտահայտվում է նաև Ֆրենելի ինտեգրալի միջոցով։ Կանոնավոր թերի գամմա p ֆունկցիայի և թերի գամմա ֆունկցիայի տերմիններով՝

: \operatorname{erf}\,x=\operatorname{sign}\,x\,P\left(\frac{1}{2}, x^2\right)={\operatorname{sign}\,x \over \sqrt{\pi}}\gamma\left(\frac{1}{2}, x^2\right)

### Ընդհանրացված սխալների ֆունկցիաներ
աջից|մինի|400x400փքս|Ընդհանրացված սխալների ֆունկցիաներ գրաֆիկ<math>E_n(x)</math>․

մոխրագույն գիծ՝ <math>E_1(x)=(1-e^{-x})/\sqrt{\pi}</math> կարմիր գիծ՝ <math>E_2(x)=\operatorname{erf}\,x</math>կանաչ գիծ՝ <math>E_3(x)</math>

կապույտ գիծ՝ <math>E_4(x)</math>դեղին գիծ՝ <math>E_5(x)</math>
Որոշ հեղինակներ քննարկում են ավելի ընդհանուր ֆունկցիաներ

: E_n(x) = \frac{n!}{\sqrt{\pi}} \int\limits_0^x e^{-t^n}\,\mathrm dt =\frac{n!}{\sqrt{\pi}}\sum_{p=0}^\infin(-1)^p\frac{x^{np+1}}{(np+1)p!}\,.

Նշանակալի մասնավոր դեպքերն են՝

* E_0(x) — կոորդինատների սկզբոց անցնող ուղիղ գիծ՝ E_0(x)=\frac{x}{e \sqrt{\pi}}
* E_2(x) — սխալների ֆունկցիա \operatorname{erf}\,x։

n!-ի բաժանվելուց հետո կենտ n-ով բոլոր E_n-երը նման տեսք ունեն (բայց ոչ նույնական)։ Զույգ n-ով բոլոր E_n-երը նույնպես նման եհ, բայց ոչ նույնական n!-ի բաժանելուց հետո։ Բոլոր ընդհանրացված սխալնների ֆունկցիաների n>0 դեպքում  նույնպես նման են x>0 կիսաառանցքի վրա։

x>0 կիսաառանցքի վրա բոլոր ընդհանրացված ֆունկցիաները կարող են արտահայտվել գամմա ֆունկցիայի միջոցով.

: E_n(x) = \frac{\Gamma(n)\left(\Gamma\left(\frac{1}{n}\right)-\Gamma\left(\frac{1}{n},x^n\right)\right)}{\sqrt\pi}, \quad \quad x>0

Հետևաբար, մենք կարող ենք արտահայտել սխալների ֆունկցիան գամմա ֆունկցիայի միջոցով։

: \operatorname{erf}\,x = 1 - \frac{\Gamma\left(\frac{1}{2},x^2\right)}{\sqrt\pi}

### Սխալների լրացուցիչ ֆունկցիայի կրկնվող ինտեգրալներ
Սխալների լրացուցիչ ֆունկցիայի  \operatorname{I^n erfc} կրկնվող ինտեգրալները սահմանվում են որպես՝

: \operatorname{I^0 erfc}\,z = \operatorname{erfc}\,z ,
: \operatorname{I^n erfc}\,z = \int\limits_z^\infty \operatorname{I^{n-1}erfc}\,\zeta\,d\zeta, n>0-ի համար։

Դրանք կարելի է բաշխել շարքով՝

: 
\operatorname{I^nerfc}\,z = \sum_{j=0}^\infty \frac{(-z)^j}{2^{n-j}j!\,\Gamma \left( 1 + \frac{n-j}{2}\right)}\,,


որտեղից հետևում են համաչափության հատկությունները՝

: 
\operatorname{I^{2m}erfc}\,(-z) = -\operatorname{I^{2m}erfc}\,z + \sum_{q=0}^m \frac{z^{2q}}{2^{2(m-q)-1}(2q)!(m-q)!}


և

: 
\operatorname{I^{2m+1}erfc}\,(-z) =\operatorname{I^{2m+1}erfc}\,z + \sum_{q=0}^m \frac{z^{2q+1}}{2^{2(m-q)-1}(2q+1)! (m-q)!}\,


## Իրականացումներ
C լեզվի ստանդարտում (ISO / IEC 9899: 1999, կետ 7.12.8) նախատեսված է \operatorname{erf} սխալների ֆունկցիան և \operatorname{erfc} սխալների լրացուցիչ ֆունկցիան։ Ֆունկցիաները հայտարարվում են վերնագրի ֆայլերում՝ `[[math.h]]` (C-ի համար) կամ `cmath` (C++-ի համար)։ Այնտեղ են հայտարարված են ֆունկցիաների զույգերը՝ `erff()`, `erfcf()` և `erfl()`, `erfcl()`: Առաջին զույգն ստանում և վերադարձնում է `float` տիպի արժեքները, իսկ երկրորդը՝ `long double` տիպի արժեքները։ Համապատասխան գործառույթները պարունակվում են նաև նախագծի `Math` գրադարանում։

Java լեզվում `java.lang.Math` մաթեմատիկական ֆունկցիաների ստանդարտ գրադարանը չի պարունակում սխալների ֆունկցիան։ `Erf` դասը կարելի է գտնել `org.apache.commons.math.special` փաթեթում՝ Apache ծրագրային հիմնադրամի կողմից տրամադրված ոչ ստանդարտ գրադարանից։

Համակարգչային հանրահաշվային Maple, Matlab, Mathematica և Maxima  համակարգերը պարունակում են սխալների սովորական և լրացուցիչ ֆունկցիաներ, ինչպես նաև դրանց հակադարձ ֆունկցիաներ։

Python-ում սխալների ֆունկցիան մատչելի է `math` ստանդարտ գրադարանից` սկսած 2.7 տարբերակից։ Նաև սխալների ֆունկցիան,   լրացուցիչ սխալների ֆունկցիան և շատ այլ հատուկ ֆունկցիաներ սահմանվում են SciPy ծրագրի `Special` մոդուլում։

Erlang լեզվի սխալների ֆունկցիան և սխալների լրացուցիչ ֆունկցիան հասանելի են ստանդարտ `math` մոդուլից։

## Ծանոթագրություններ

## Գրականություն
* 
* 
* 

## Արտաքին հղումներ
* MathWorld — Erf
* Онлайновый калькулятор Erf и много других специальных функций (до 6 знаков)
* Онлайновый калькулятор, вычисляющий в том числе Erf

Կատեգորիա:Անալիտիկ ֆունկցիաներ
Կատեգորիա:Հատուկ ֆունկցիաներ