Неэлементарный интеграл - Nonelementary integral
Эта статья нужны дополнительные цитаты для проверка.Декабрь 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения) ( |
В математика, а неэлементарное первообразное данной элементарной функции является первообразный (или неопределенный интеграл), который сам по себе не является элементарная функция (т.е. функция, построенная из конечного числа частных постоянных, алгебраических, экспоненциальных, тригонометрических и логарифмических функций с использованием полевых операций).[1] А Теорема Лиувилля в 1835 г. предоставил первое доказательство существования неэлементарных первообразных.[2] Эта теорема также дает основу для Алгоритм риша для определения (с трудом) того, какие элементарные функции имеют элементарные первообразные.
Примеры функций с неэлементарными первообразными:
- [1] (эллиптический интеграл )
- [3] (логарифмический интеграл ).
- [1] (функция ошибки, Гауссов интеграл )
- и (Интеграл Френеля )
- (интеграл синуса, Интеграл Дирихле )
- (экспоненциальный интеграл )
- (в терминах экспоненциального интеграла)
- (в терминах логарифмического интеграла)
- (неполная гамма-функция ); за c = 0 первообразная может быть записана в терминах экспоненциального интеграла; за c = ½ в терминах функции ошибок; за c = 1 или 2, первообразная является элементарно.
Некоторым распространенным неэлементарным первообразным функциям даны имена, определяющие так называемые специальные функции, а формулы, содержащие эти новые функции, могут выражать более широкий класс неэлементарных первообразных. В приведенных выше примерах в скобках указаны соответствующие специальные функции.
Неэлементарные первообразные часто можно оценить с помощью Серия Тейлор. Даже если функция не имеет элементарной первообразной, ее ряд Тейлора может всегда быть интегрированным посередине, как многочлен, давая первообразную функцию в виде ряда Тейлора с тем же радиусом сходимости. Однако даже если подынтегральное выражение имеет сходящийся ряд Тейлора, его последовательность коэффициентов часто не имеет элементарной формулы и должна оцениваться по каждому члену с тем же ограничением для интегрального ряда Тейлора.
Даже если невозможно вычислить неопределенный интеграл (первообразную) в элементарных терминах, всегда можно аппроксимировать соответствующий определенный интеграл к численное интегрирование. Бывают также случаи, когда нет элементарной первообразной, но конкретные определенные интегралы (часто несобственные интегралы по бесконечным интервалам) могут быть вычислены в элементарных терминах: наиболее известен Гауссов интеграл .
Замыкание при интегрировании множества элементарных функций есть множество Лиувиллевские функции.
Смотрите также
Рекомендации
- ^ а б c Вайсштейн, Эрик У. «Элементарная функция». Материал из MathWorld - веб-ресурса Wolfram. http://mathworld.wolfram.com/ElementaryFunction.html Из MathWorld По состоянию на 24 апреля 2017 г.
- ^ Данэм, Уильям (2005). Галерея исчислений. Принстон. п. 119. ISBN 978-0-691-13626-4.
- ^ Теоремы о невозможности элементарного интегрирования; Брайан Конрад. Институт математики Клэя: 2005 Серия коллоквиумов Академии. Проверено 14 июля 2014 г.
- Интеграция неэлементарных функций, S.O.S MATHematics.com; по состоянию на 7 декабря 2012 г.
дальнейшее чтение
- Уильямс, Дана П., НЕЭЛЕМЕНТНЫЕ ПРОТИВОДЕЙСТВИЯ, 1 декабря 1993 г. Проверено 24 января 2014 г.