Элементарные функции

Элемента́рные фу́нкции — функции, которые можно получить с помощью конечного числа арифметических действий и композиций из следующих основных элементарных функций:

• степенная функция с любым действительным показателем;
• показательная и логарифмическая функции;
• тригонометрические и обратные тригонометрические функции.

Каждую элементарную функцию можно задать формулой, то есть набором конечного числа символов, соответствующих используемым операциям. Все элементарные функции непрерывны на своей области определения.

Иногда к основным элементарным функциям относят также гиперболические и обратные гиперболические функции, хотя они могут быть выражены через перечисленные выше основные элементарные функции.

Элементарные функции по ЛиувиллюПравить

Рассматривая функции комплексного переменного, Лиувилль определил элементарные функции несколько шире. Элементарная функция $y(x)$$y(x)$  переменной $x$$x$  — аналитическая функция, которая может быть представлена как алгебраическая функция $y(x)=\mathrm{\varphi <!--\; \varphi \; -->}(x,z_1,...,z_r),$$y(x)=\phi (x,z_{1},...,z_{r}),$  причём:

• $z_1$$z_{1}$  является логарифмом или экспонентой от некоторой алгебраической функции $g_1(x),$$g_{1}(x),$ 
• $z_2$$z_{2}$  является логарифмом или экспонентой от некоторой алгебраической функции $g_2(x,z_1),$$g_{2}(x,z_{1}),$ 

...

• $z_r$$z_{r}$  является логарифмом или экспонентой от некоторой алгебраической функции $g_r(x,z_1,...,z_{r-<!--\; -\; -->1}).$$g_{r}(x,z_{1},...,z_{r-1}).$ 

Например, $y(x)=\sin <!--\; \; -->(x)$$y(x)=\sin(x)$  — элементарная функция в этом смысле, поскольку она является алгебраической функцией от показательной функции $e^{ix}:$$e^{ix}:$ 

$\sin <!--\; \; -->(x)=\frac{(e^{ix}{)}^2-<!--\; -\; -->1}{2i{e}^{ix}}.$$\sin(x)={\frac {(e^{ix})^{2}-1}{2ie^{ix}}}.$ 

Вообще, с помощью указанного тождества все тригонометрические и обратные тригонометрические функции можно выразить через логарифмы, экспоненты, арифметические действия, а также операцию взятия квадратного корня. Разумеется, при этом будет использована мнимая единица $i=\sqrt{-<!--\; -\; -->1}.$$i={\sqrt {-1}}.$ 

Функция $y(x)=e^{e^x}$$y(x)=e^{e^{x}}$  тоже является элементарной, поскольку её можно представить в виде:

$y(x)=\mathrm{\varphi <!--\; \varphi \; -->}(x,z_1,z_2),$$y(x)=\phi (x,z_{1},z_{2}),$  где $z_1=e^x,z_2=e^{z_1},\mathrm{\varphi <!--\; \varphi \; -->}(x,z_1,z_2)=z_2.$$z_{1}=e^{x},\ z_{2}=e^{z_{1}},\ \phi (x,z_{1},z_{2})=z_{2}.$ 

Не ограничивая общности рассмотрения, можно считать функции $z_1,\dots <!--\; \dots \; -->,z_r$$z_{1},\dots ,z_{r}$  алгебраически независимыми. Это означает, что алгебраическое соотношение $\mathrm{\psi <!--\; \psi \; -->}(x,z_1,...,z_r)=0$$\psi (x,z_{1},...,z_{r})=0$  может выполняться для всех $x$$x$ , только если коэффициенты полинома $\mathrm{\psi <!--\; \psi \; -->}(x,z_1,...,z_r)$$\psi (x,z_{1},...,z_{r})$  равны нулю.

Дифференцирование элементарных функцийПравить

Производная элементарной функции всегда является элементарной функцией и может быть найдена за конечное число действий. Именно, по правилу дифференцирования сложной функции

$y^{\prime }(x)=\frac{d}{dx}\mathrm{\varphi <!--\; \varphi \; -->}(x,z_1,\dots <!--\; \dots \; -->,z_r)=\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\varphi <!--\; \varphi \; -->}}{\mathrm{\partial <!--\; \partial \; -->}x}+\underset{i=1}{\overset{r}{\sum <!--\; \sum \; -->}}\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\varphi <!--\; \varphi \; -->}}{\mathrm{\partial <!--\; \partial \; -->}{z}_i}\frac{d{z}_i}{dx},$$y'(x)={\frac {d}{dx}}\phi (x,z_{1},\dots ,z_{r})={\frac {\partial \phi }{\partial x}}+\sum \limits _{{i=1}}^{r}{\frac {\partial \phi }{\partial z_{i}}}{\frac {dz_{i}}{dx}},$ 

где $z_1^{\prime }(z)$$z_{1}'(z)$  равно или $g_1^{\prime }/g_1$$g_{1}'/g_{1}$  или $z_1{g}_1^{\prime }$$z_{1}g_{1}'$  в зависимости от того, логарифм ли $z_1$$z_{1}$  или экспонента и т. д. На практике удобно использовать таблицу производных.

Интегрирование элементарных функцийПравить

Интеграл элементарной функции не всегда сам является элементарной функцией. Наиболее распространённые функции, интегралы которых найдены, собраны в таблице интегралов. В общем случае проблема интегрирования элементарных функций решается алгоритмом Риша, основанном на теореме Лиувилля:

Теорема Лиувилля. Если интеграл от элементарной функции $y=\mathrm{\varphi <!--\; \varphi \; -->}(x,z_1,\dots <!--\; \dots \; -->z_r)$$y=\phi (x,z_{1},\dots z_{r})$  сам является элементарной функцией, то он представим в виде

$\int <!--\; \int \; -->\mathrm{\varphi <!--\; \varphi \; -->}(x,z_1(x),\dots <!--\; \dots \; -->,z_r(x))dx=\underset{i}{\sum <!--\; \sum \; -->}{A}_i\ln <!--\; \; -->({\mathrm{\psi <!--\; \psi \; -->}}_i(x,z_1,\dots <!--\; \dots \; -->z_r))+{\mathrm{\psi <!--\; \psi \; -->}}_0(x,z_1,\dots <!--\; \dots \; -->,z_r)+C,$$\int \phi (x,z_{1}(x),\dots ,z_{r}(x))\,dx=\sum \limits _{i}A_{i}\ln(\psi _{i}(x,z_{1},\dots z_{r}))+\psi _{0}(x,z_{1},\dots ,z_{r})+C,$ 

где $A_i$$A_{i}$  — некоторые комплексные числа, а ${\mathrm{\psi <!--\; \psi \; -->}}_i$$\psi _{i}$  — алгебраические функции своих аргументов.

Доказательство этой теоремы Лиувилль основал на следующем принципе. Если интеграл от $y$$y$  берётся в элементарных функциях, то верно

$\int <!--\; \int \; -->\mathrm{\varphi <!--\; \varphi \; -->}(x,z_1(x),\dots <!--\; \dots \; -->z_r(x))dx=\mathrm{\psi <!--\; \psi \; -->}(x,z_1(x),\dots <!--\; \dots \; -->z_s(x))+\mathrm{const}$$\int \phi (x,z_{1}(x),\dots z_{r}(x))\,dx=\psi (x,z_{1}(x),\dots z_{s}(x))+\operatorname {const}$ 

где $\mathrm{\psi <!--\; \psi \; -->}$$\psi$  — алгебраическая функция, $z_{r+1}$$z_{{r+1}}$  — логарифм или экспонента алгебраической функции $x,z_1,\dots <!--\; \dots \; -->z_r$$x,z_{1},\dots z_{r}$  и т. д. Функции $z_1,\dots <!--\; \dots \; -->z_s$$z_{1},\dots z_{s}$  являются алгебраически независимыми и удовлетворяют некоторой системе дифференциальных уравнений вида

$z_1^{\prime }={\mathrm{\rho <!--\; \rho \; -->}}_1(x,z_1,\dots <!--\; \dots \; -->,z_s),\dots <!--\; \dots \; -->$$z_{1}'=\rho _{1}(x,z_{1},\dots ,z_{s}),\dots$ 

где ${\mathrm{\rho <!--\; \rho \; -->}}_i$$\rho _{i}$  — алгебраические функции своих аргументов. Если $z_1=z_1(x,C),\dots <!--\; \dots \; -->$$z_{1}=z_{1}(x,C),\dots$  — семейство решений этой системы, то

$\int <!--\; \int \; -->\mathrm{\varphi <!--\; \varphi \; -->}(x,z_1(x,C),\dots <!--\; \dots \; -->)dx=\mathrm{\psi <!--\; \psi \; -->}(x,z_1(x,C),\dots <!--\; \dots \; -->z_s(x,C))+\mathrm{const}$$\int \phi (x,z_{1}(x,C),\dots )\,dx=\psi (x,z_{1}(x,C),\dots z_{s}(x,C))+\operatorname {const}$ 

откуда

$\mathrm{\psi <!--\; \psi \; -->}(x,z_1(x),\dots <!--\; \dots \; -->)=\mathrm{\psi <!--\; \psi \; -->}(x,z_1(x,C),\dots <!--\; \dots \; -->z_s(x,C))+f(C)$$\psi (x,z_{1}(x),\dots )=\psi (x,z_{1}(x,C),\dots z_{s}(x,C))+f(C)$ 

Для некоторых классов интегралов эта теорема позволяет весьма просто исследовать разрешимость в элементарных функциях задачи об интегрировании.

Интегрирование функций вида $p(x)e^{q(x)}$$p(x)e^{{q(x)}}$ Править

Следствие теоремы Лиувилля (См. Ритт, с. 47 и сл.). Если интеграл

$\int <!--\; \int \; -->p(x)e^{q(x)}dx,$$\int p(x)e^{{q(x)}}\,dx,$ 

где $p,q$$p,q$  — полиномы, берётся в элементарных функциях, то

$\int <!--\; \int \; -->p(x)e^{q(x)}dx=r(x)e^{q(x)}$$\int p(x)e^{{q(x)}}\,dx=r(x)e^{{q(x)}}$ ,

где $r(x)$$r(x)$  — тоже некоторый полином, удовлетворяющий дифференциальному уравнению

$r^{\prime }+q^{\prime }(x)r=p(x)$$r'+q'(x)r=p(x)$ 

Пример. В частности, интеграл

$\int <!--\; \int \; -->e^{x^2}dx$$\int e^{{x^{2}}}\,dx$ 

не берётся, поскольку подстановка

$r=A{x}^n+\dots <!--\; \dots \; -->(A\ne 0)$$r=Ax^{n}+\dots \quad (A\not =0)$ 

в уравнение

$r^{\prime }+2xr=1$$r'+2xr=1$ 

даёт $A=0$$A=0$ . Интеграл же

$\int <!--\; \int \; -->x{e}^{x^2}dx$$\int xe^{{x^{2}}}\,dx$ 

берётся, поскольку

$r^{\prime }+2xr=x$$r'+2xr=x$ 

имеет решение $r=1/2$$r=1/2$ . При этом, конечно,

$\int <!--\; \int \; -->x{e}^{x^2}dx=\frac{e^{x^2}}{2}+\mathrm{const}$$\int xe^{{x^{2}}}\,dx={\frac {e^{{x^{2}}}}{2}}+\operatorname {const}$ 

Доказательство следствия. В силу теоремы Лиувилля

$\int <!--\; \int \; -->p(x)e^{q(x)}dx={\mathrm{\psi <!--\; \psi \; -->}}_0(x,e^{q(x)})+\sum <!--\; \sum \; -->A_i\ln <!--\; \; -->{\mathrm{\psi <!--\; \psi \; -->}}_i(x,e^{q(x)})+\mathrm{const}$$\int p(x)e^{{q(x)}}\,dx=\psi _{0}(x,e^{{q(x)}})+\sum A_{i}\ln \psi _{i}(x,e^{{q(x)}})+\operatorname {const}$ 

Тогда в силу принципа Лиувилля при произвольной константе $C$$C$  верно

$\int <!--\; \int \; -->p(x)C{e}^{q(x)}dx={\mathrm{\psi <!--\; \psi \; -->}}_0(x,C{e}^{q(x)})+\sum <!--\; \sum \; -->A_i\ln <!--\; \; -->{\mathrm{\psi <!--\; \psi \; -->}}_i(x,C{e}^{q(x)})+f(C)$$\int p(x)Ce^{{q(x)}}\,dx=\psi _{0}(x,Ce^{{q(x)}})+\sum A_{i}\ln \psi _{i}(x,Ce^{{q(x)}})+f(C)$ 

Дифференцируя по $C$$C$  и полагая $C=1$$C=1$ , видим, что интеграл выражается алгебраически через $x,e^{q(x)}$$x,e^{{q(x)}}$ , то есть

$\int <!--\; \int \; -->p(x)e^{q(x)}dx=\mathrm{\psi <!--\; \psi \; -->}(x,e^{q(x)}).$$\int p(x)e^{{q(x)}}\,dx=\psi (x,e^{{q(x)}}).$ 

Опять применяя принцип Лиувилля, имеем

$C\mathrm{\psi <!--\; \psi \; -->}(x,e^{q(x)})=\mathrm{\psi <!--\; \psi \; -->}(x,C{e}^{q(x)})+f(C).$$C\psi (x,e^{{q(x)}})=\psi (x,Ce^{{q(x)}})+f(C).$ 

Дифференцируя по $C$$C$  и полагая $C=1$$C=1$ , имеем

$\mathrm{\psi <!--\; \psi \; -->}(x,z)=z\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\psi <!--\; \psi \; -->}(x,z)}{\mathrm{\partial <!--\; \partial \; -->}z}+B(B=\mathrm{const})$$\psi (x,z)=z{\frac {\partial \psi (x,z)}{\partial z}}+B\quad (B=\operatorname {const})$ 

при $z=e^{q(x)}$$z=e^{{q(x)}}$ , а следовательно, в силу алгебраической независимости $x,e^{q(x)}$$x,e^{{q(x)}}$ , при всех $x,z$$x,z$ . Поэтому

$\mathrm{\psi <!--\; \psi \; -->}(x,z)=-<!--\; -\; -->B+zr(x),$$\psi (x,z)=-B+zr(x),$ 

где $r$$r$  — некоторая алгебраическая функция $x$$x$ . Таким образом,

$\int <!--\; \int \; -->p(x)e^{q(x)}dx=r(x)e^{q(x)}+\mathrm{const},$$\int p(x)e^{{q(x)}}\,dx=r(x)e^{{q(x)}}+\operatorname {const},$ 

Коль скоро сам интеграл заведомо является целой функцией $x$$x$ , то $r$$r$  — полином. Следствие доказано.

Интегрирование алгебраических функцийПравить

Наиболее сложным оказался вопрос об интегрировании в элементарных функциях функций алгебраических, то есть о взятии абелевых интегралов, которому посвящены обширные исследования Вейерштрасса, Пташицкого и Риша.

Теорема Лиувилля является основой для создания алгоритмов символьного интегрирования элементарных функций, реализуемых, напр., в Maple.

См. также: Список интегралов элементарных функций

Вычисление пределовПравить

Теория Лиувилля не распространяется на вычисление пределов. Неизвестно, существует ли алгоритм, который по заданной элементарной формулой последовательности даёт ответ, имеет ли она предел или нет. Например, открыт вопрос о том, сходится ли последовательность $\frac{1}{n^3\sin <!--\; \; -->n}$${\frac {1}{n^{3}\sin n}}$ .

См. такжеПравить

• Дифференциальная теория Галуа

ЛитератураПравить

• Зайцев В. В., Рыжков В. В., Сканави М. И. Элементарная математика. Повторительный курс. — Издание третье, стереотипное. — М.: Наука, 1976. — 591 с.
• Хованский А. Г. Топологическая теория Галуа: разрешимость и неразрешимость уравнений в конечном виде. Гл. 1. M, 2007
• Liouville J. Mémoire sur l’intégration d’une classe de fonctions transcendantes (недоступная ссылка) // J. Reine Angew. Math. Bd. 13, p. 93-118. (1835)