- Элементарная функция
-
Элементарные функции — функции, которые можно получить из основных элементарных функций:
- многочлен,
- рациональная,
- степенная,
- показательная и логарифмическая,
- тригонометрические и обратные тригонометрические
- Гиперболические функции
с помощью конечного числа арифметических действий и композиций. Каждую элементарную функцию можно задать формулой, то есть набором конечного числа символов, отвечающих перечисленным операциям.
Содержание
Элементарные функции по Лиувиллю
Рассматривая функции комплексного переменного, Лиувилль определил элементарные функции несколько шире. Элементарная функция y переменной x — аналитическая функция, которая может быть представлена как алгебраическая функция от x и функций , причем является логарифмом или экспонентой от некоторой алгебраической функции g1 от x.
Например, sin(x) — алгебраическая функция от eix.
Не ограничивая общности рассмотрения, можно считать функции алгебраически независимы, то есть если алгебраическое уравнение выполняется для всех x, то все коэффициенты полинома равны нулю.
Дифференцирование элементарных функций
Элементарные функции непрерывны и бесконечно дифференцируемы всюду, где они определены. При этом производная элементарной функции всегда является элементарной функцией и может быть найдена за конечное число действий. Именно, по правилу дифференцирования сложной функции
где z1'(z) равно или g1' / g1 или z1g1' в зависимости от того, логарифм ли z1 или экспонента и т. д. На практике удобно использовать таблицу производных.
Интегрирование элементарных функций
Интеграл элементарной функции не всегда сам является элементарной функцией. Наиболее распространенные функции, интегралы которых найдены, собраны в таблице интегралов. В общем случае имеет место теорема:
Теорема Лиувилля. Если интеграл от элементарной функции сам является элементарной функцией, то он представим в виде
где Ai — некоторые комплексные числа, а ψi — алгебраические функции своих аргументов.
Доказательство этой теоремы Лиувилль основал на следующем принципе. Если интеграл от y берется в элементарных функциях, то верно
где ψ — алгебраическая функция, zr + 1 — логарифм или экспонента алгебраической функции и т. д. Функции являются алгебраически независимыми и удовлетворяют некоторой системе дифференциальных уравнений вида
где ρi — алгебраические функции своих аргументов. Если — семейство решений этой системы, то
откуда
Для некоторых классов интегралов эта теорема позволяет весьма просто исследовать разрешимость в элементарных функциях задачи об интегрировании.
Интегрирование функций вида p(x)eq(x)
Следствие теоремы Лиувилля (См. Ритт, с. 47 и сл.). Если интеграл
где p,q — полиномы, берется в элементарных функциях, то
- ,
где r(x) — тоже некоторый полином, удовлетворяющий дифференциальному уравнению
- r' + q'(x)r = p(x)
Пример. В частности, интеграл
не берется, поскольку подстановка
в уравнение
- r' + 2xr = 1
дает A = 0. Интеграл же
берется, поскольку
- r' + 2xr = x
имеет решение r = 1 / 2. При этом, конечно,
Доказательство следствия. В силу теоремы Лиувилля
Тогда в силу принципа Лиувилля при произвольной константе C верно
Дифференцируя по C и полагая C = 1, видим, что интеграл выражается алгебраически через x,eq(x), то есть
Опять применяя принцип Лиувилля, имеем
- Cψ(x,eq(x)) = ψ(x,Ceq(x)) + f(C).
Дифференцируя по C и полагая C = 1, имеем
при z = eq(x), а следовательно, в силу алгебраической независимости x,eq(x), при всех x,z. Поэтому
- ψ(x,z) = − B + zr(x),
где r — некоторая алгебраическая функция x. Таким образом,
Коль скоро сам интеграл заведомо является целой функций x, то r — полином. Следствие доказано.
Интегрирование алгебраических функций
Наиболее сложным оказался вопрос об интегрировании в элементарных функциях функций алгебраических, то есть о взятии абелевых интегралов, которому посвящены обширные исследования Вейерштрасса, Пташицкого[1] и Риша[2].
Теорема Лиувилля является основой для создания алгоритмов символьного интегрирования элементарных функций, реализуемых, напр., в
Вычисление пределов
Теория Лиувилля не распространяется на вычисление пределов. Не известно, существует ли алгоритм, который по заданной элементарной формулой последовательности дает ответ, имеет ли она предел или нет. Например, открыт вопрос о том, сходится ли последовательность .[3]
См. также
Литература
- J. Liouville. Mémoire sur l’intégration d’une classe de fonctions transcendantes // J. Reine Angew. Math. Bd. 13, p. 93-118. (1835)
- J.F. Ritt. Integration in Finite Terms. N.-Y., 1949// http://lib.homelinux.org
- А. Г. Хованский. Топологическая теория Галуа: разрешимость и неразрешимость уравнений в конечном виде Гл. 1. M, 2007
Примечания
- ↑ Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen. Art. 2 B 2 (W. Wirtinger, 1901 г.)
- ↑ Дэвенпорт Дж. Интегрирование алгебраических функций. Гл. 4. М., «Мир», 1985
- ↑ http://www.mccme.ru/ask/qa/pi_irr.html
Wikimedia Foundation. 2010.