У математиці функція помилок — це неелементарна функція, що використовується в теорії ймовірності, статистиці і математичній фізиці. Вона визначається як

Графік функції помилок.
.

У багатьох із цих застосувань аргументом функції є дійсне число. Якщо аргумент функції є дійсним, то значення функції також є дійсним.

У статистиці для невід'ємних значень x функція помилок має таке трактування: для випадкової величини Y, яка має нормальний розподіл із математичним сподіванням 0 та дисперсією 12, erf x — це ймовірність того, що Y потрапляє в інтервал [−x, x].

Доповнювальна функція помилок, що позначається (іноді застосовується позначення ) визначається через функцію помилок:

.

Уявна функція помилок, що позначається , також визначається через функцію помилок:

.

НазваРедагувати

Назва "функція помилок" та її абревіатура erf запропоновані Джеймсом Глейшером[en] в 1871 р. через її зв'язок з "теорією ймовірності, і особливо теорією помилок."[1] Доповнювальні функції помилок також обговорювалося Глейшером того ж року в окремій публікації.[2] Для "закону об'єкта" помилок, щільність якого має вигляд

 

(нормальний розподіл), Глейшер обчислював ймовірність помилки, що лежить між   і  , як

 

ЗастосуванняРедагувати

Якщо результати серії вимірювань описуються нормальним розподілом із середньоквадратичним відхиленням   та математичним сподіванням 0, то   — це ймовірність того, що похибка одного вимірювання лежить між −a та +a, при додатньому a. Це корисно, наприклад, при визначенні коефіцієнта бітових помилок цифрової системи зв'язку. Функцію помилок та доповнювальну функцію помилок застосовують, наприклад, у розв'язках рівняння теплопровідності, якщо граничні умови задаються функцією Гевісайда. Функцію помилок та її наближення можна використовувати для оцінки результатів, які мають місце з великою ймовірністю[en] або з низькою ймовірністю. Нехай задана випадкова величина   і константа  , тоді

 

де A і B — деякі числові константи. Якщо L достатньо далека від математичного сподівання, тобто  , тоді

 

і ймовірність прямує до 0, якщо  .

ВластивостіРедагувати

Підінтегральні функції в комплексній площині
Інтеграл  .
 
 
  • Для будь-якого комплексного   виконується
 

де риска позначає комплексне спряження числа  .

  • Підінтегральні функції   та   зображено в комплексній площині z на рисунках.

Рівень   показано товстою зеленою лінією. Від'ємні цілі значення   показано товстими червоними лініями. Додатні цілі значення   показано товстими синіми лініями. Проміжні рівні   показано тонкими зеленими лініями. Проміжні рівні   показано тонкими червоними лініями для від'ємних значень і тонкими синіми лініями для додатних значень.

  • Функція помилок не може бути представлена через елементарні функції, але, розкладаючи інтегрований вираз в ряд Тейлора і інтегруючи почленно, ми можемо одержати її подання у вигляді ряду:
 

Ця рівність виконується (і ряд сходиться) як для будь-якого дійсного  , так і на всій комплексній площині. Послідовність знаменників утворює послідовність A007680 з Онлайн енциклопедії послідовностей цілих чисел, OEIS.

  • Для ітеративного обчислення елементів ряду корисно представити його в альтернативному вигляді:
 

оскільки   — співмножник, що перетворює  -й член ряду в  -й, вважаючи першим членом  .

  • Уявна функція помилок має дуже схожий ряд Маклорена, а саме
 

для будь-якого комплексного числа z.

  • Функція помилок на нескінченності рівна одиниці; проте це справедливо тільки при наближенні до нескінченності по дійсній осі, оскільки:
  • При розгляді функції помилок в комплексній площині точка   буде для неї істотно особливою.
  • Похідна функції помилок виводиться безпосередньо з визначення функції:
 

Звідси похідна уявної функції помилок:

 

Первісною функції помилок, яку можна отримати за допомогою інтегрування частинами, є

 

Первісною уявної функції помилок, яку також можна отримати інтегруванням частинами, є

 

Похідні вищих порядків задаються формулами

 

де   — це поліноми Ерміта.[3]

  • Розклад[4], який збігається швидше для всіх дійсних значень   ніж ряд Тейлора, отримується за допомогою теореми Ганса Генріха Бюрмана[en]:[5]
 

(  — це signum-функція). Зберігаючи лише перші два коефіцієнти та вибираючи   та  , отримане наближення показує свою найбільшу відносну похибку при   , яка менша ніж  :

 
  • Обернена функція помилок є рядом
 

де c0 = 1 і

 

Тому ряд можна подати в наступному вигляді (помітимо, що дроби скорочені):

 [1]

Послідовності чисельників і знаменників після скорочення - A092676 і A132467 у OEIS; послідовність чисельників до скорочення - A002067 у OEIS.

При |z| < 1 має місце співвідношення  .

Обернена доповнювальна функція помилок визначається як

 

Для дійсного x існує єдине дійсне число  , що  . Обернена уявна функція помилок визначається як  .[6]

Для будь-якого дійсного x можна використовувати метод Ньютона для обчислення  , а при   наступний ряд Макролена є збіжним:

 

де коефіцієнти ck визначені вище.

 
Доповнювальна функція помилок

Асимптотичний розкладРедагувати

Корисним асимптотичним розкладом доповнювальної функції помилок (а отже, і функції помилок) для великих дійсних   є

 

де (2n – 1)!! — подвійний факторіал числа (2n – 1), який є добутком усіх непарних чисел до (2n – 1) включно. Цей ряд розбігається для будь-якого скінченного  , і його зміст як асимптотичного розкладу полягає в тому, що для будь-якого  

 

де залишок, в позначеннях O великого,

 

при  

Дійсно, точне значення залишку становить

 

яке легко отримується за допомогою індукції з використанням формули

 

та інтегрування частинами.

Для досить великих значень   потрібні лише перші кілька членів цього асимптотичного розкладу, щоб отримати гарне наближення для функції   (тоді як для не надто великих значень   вищенаведений ряд Тейлора у точці   забезпечує більш швидку збіжність).

Розвинення в ланцюговий дрібРедагувати

Представлення доповнювальної функції помилок через ланцюговий дріб має вигляд:[7]

 

Інтеграл функції помилок з функцією розподілу ГаусаРедагувати

 

який отриманий Нг та Геллером за допомогою зміни змінних, формула 13 у параграфі 4.3.[8]

Факторіальний рядРедагувати

  • Обернений факторіальна ряд
 

є збіжним при  . Тут

 

через   позначено зростаючий факторіал, а  число Стірлінга першого роду[9][10]

 

Споріднені функціїРедагувати

З точністю до масштабу і зсуву, функція помилок збігається з функцією розподілу ймовірностей нормального розподілу, що позначається  

 

Зворотна функція до  , відома як нормальна квантильна функція, іноді позначається   і виражається через нормальну функцію помилок як

 

Нормальний інтегральний розподіл частіше застосовується в теорії ймовірності і математичній статистиці, тоді як функція помилок частіше застосовується в інших розділах математики.

Функція помилок є окремим випадком функції Міттаг-Лефлера, а також може бути представлена як вироджена гіпергеометрична функція (функція Куммера):

 

Функція помилок виражається також через інтеграл Френеля. У термінах регуляризованої неповної гамма-функції P і неповної гамма-функції

 

Узагальнені функції помилокРедагувати

 
Графік узагальнених функцій помилок  :
сіра лінія:  
червона лінія:  
зелена лінія:  
синя лінія:  
жовта лінія:  .

Також можна розглянути загальніші функції:

 

Окремими вартими уваги випадками є:

  •   — пряма лінія, що проходить через початок координат:  
  •   - функція помилок  .

Після ділення на   всі   з непарними   виглядають схоже (але не ідентично). Всі   з парними   теж виглядають схоже, але не ідентично, після ділення на  . Всі узагальнені функції помилок з   виглядають схоже на напівосі  .

На напівосі   всі узагальнені функції можуть бути виражені через гамма-функцію:

 

Отже, ми можемо виразити функцію помилок через гамма-функцію:

 

Ітеровані інтеграли додаткової функції помилокРедагувати

Ітеровані інтеграли додаткової функції помилок визначаються як

 

Їх можна розкласти в ряд:

 

звідки випливають властивості симетрії

 

і

 

ЛітератураРедагувати

  • Milton Abramowitz and Irene A. Stegun, eds. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. New York: Dover, 1972.
  1. Glaisher, James Whitbread Lee (July 1871). On a class of definite integrals. London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science. 4 42 (277): 294–302. doi:10.1080/14786447108640568. Процитовано 6 December 2017. 
  2. Glaisher, James Whitbread Lee (September 1871). On a class of definite integrals. Part II. London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science. 4 42 (279): 421–436. doi:10.1080/14786447108640600. Процитовано 6 December 2017. 
  3. Weisstein, Eric W. Erf. MathWorld. Wolfram. 
  4. H. M. Schöpf and P. H. Supancic, "On Bürmann's Theorem and Its Application to Problems of Linear and Nonlinear Heat Transfer and Diffusion," The Mathematica Journal, 2014. doi:10.3888/tmj.16–11.Schöpf, Supancic
  5. Weisstein, E. W.. Bürmann's Theorem. Wolfram MathWorld—A Wolfram Web Resource. 
  6. Bergsma, Wicher (2006). «On a new correlation coefficient, its orthogonal decomposition and associated tests of independence». arXiv:math/0604627. 
  7. Cuyt, Annie A. M.; Petersen, Vigdis B.; Verdonk, Brigitte; Waadeland, Haakon; Jones, William B. (2008). Handbook of Continued Fractions for Special Functions. Springer-Verlag. ISBN 978-1-4020-6948-2. 
  8. Ng, Edward W.; Geller, Murray (January 1969). A table of integrals of the Error functions. Journal of Research of the National Bureau of Standards Section B 73B (1): 1. doi:10.6028/jres.073B.001. 
  9. Schlömilch, Oskar Xavier (1859). Ueber facultätenreihen. Zeitschrift für Mathematik und Physik (de) 4: 390–415. Процитовано 2017-12-04. 
  10. Eq (3) on page 283 of Nielson, Niels (1906). Handbuch der Theorie der Gammafunktion (de). Leipzig: B. G. Teubner. Процитовано 2017-12-04.