Пожалуйста, проясните ситуацию. Был выбран курс " Компьютерная алгебра" для самостоятельного изучения. Как теперь записаться на этот курс с целью получения диплома о повышении квалификации? На данный момент он имеет статус " изучаю". Если я пройду экзаменационный тест в таком статусе без оформления документов и оплаты диплома, придется ли еще раз регистрироваться на этот курс и заново проходить тестирование? |
Интегрирование полиномов и рациональных функций. Некоторые сведения из дифференциальной алгебры. Структурная теорема
-
-дифференциальное поле элементарных функций с дифференцированием
.
- Если
-дифференциальное поле элементарных функций и
-его алгебраическое расширение, то
-также дифференциальное поле элементарных функций.
- Если
-дифференциальное расширение дифференциального поля
элементарных функций и
, где
-либо логарифм, либо экспонента над
, то
-дифференциальное поле элементарных функций.
Хотя кажется, что это определение накладывает очень сильные ограничения на функции, называемые элементарными, в действительности элементарными является большинство функций, рассматриваемых в курсе математического анализа, в частности, тригонометрические, обратные тригонометрические, гиперболические, обратные гиперболические, как показывают следующие соотношения.
![\begin{align*}
\sin x&=\frac {e^{ix}-e^{-ix}}{2i},&
\arcsin x&=-i\ln (ix+\sqrt{1-x^2 }),\\
\sinh x&=\frac {e^x-e^{-x}}2,&
\arsh x&=\ln (x+\sqrt{x^2 +1}),\\
\cos x&=\frac {e^{ix}+e^{-ix}}2,&
\arccos x&=-i\ln (x+i\sqrt{1-x^2 }),\\
\cosh x&=\frac {e^x+e^{-x}}{2},&
\arch x&=\ln (x+\sqrt{x^2 -1}).
\end{align*}](/sites/default/files/tex_cache/cc8c46d2e2481df56ba73be2636c2a32.png)
Теперь мы можем сформулировать задачу интегрирования в конечном виде.
23.11. ЗАДАЧА.
Пусть -дифференциальное
поле, где
-конструктивное поле констант (т. е. предполагается, что мы можем реализовать
вычисления в поле
на компьютере),
-
переменная, для которой
,
и для любого
от 1 до
элемент
является либо алгебраическим
элементом, либо логарифмом, либо экспонентой над полем
. Построить
алгоритм, позволяющий для произвольной элементарной функции
найти
элементарную функцию
, для которой
, если
только такая функция
существует.
Естественно возникает вопрос о существовании универсального
алгоритма,
применимого к любой элементарной функции .
Как правило, подынтегральная функция зависит не только от переменной интегрирования, но и от некоторых других переменных, которые мы будем называть параметрами. Мы будем предполагать, что на параметры не наложено никаких соотношений. Вычисление неопределенных интегралов от функции, содержащей параметры, можно понимать двумя способами: нахождение формулы, которая представляет собой неопределенный интеграл данной функции при всех значениях параметров, или нахождение множества значений параметров, при которых функция интегрируема и вычисление интеграла для значений параметров из этого множества. Мы будем рассматривать задачу в первой постановке. Вторая постановка чаще всего приводит к неразрешимым задачам. Приведем пример, когда простое подынтегральное выражение во второй постановке задачи интегрирования приводит к очень сложным вопросам.
23.12. ПРИМЕР.
Пусть , где
-действительный
параметр, а
-некоторая функция с действительными значениями.
Можно
показать, что первое слагаемое интегрируемо тогда и только тогда, когда
-рациональное число, а второе -когда
. Кроме того
между
интегралами слагаемых в этой сумме нет взаимодействия, т. е. сумма интегрируема
тогда и только тогда, когда интегрируемо каждое слагаемое. Значит
интегрируемость нашего выражения зависит от того, является ли рациональное
число
корнем уравнения
.
Ключевым результатом для обоснования алгоритмов интегрирования в конечном виде является теорема Лиувилля, которую мы приводим без доказательства.
23.13. ТЕОРЕМА.
Пусть -некоторое дифференциальное поле,
-
его поле констант и
. Пусть
-элементарная над
функция, удовлетворяющая
уравнению
. Тогда
можно представить в
виде
, где
-константы из
алгебраического замыкания поля
,
,
, где
-
некоторое расширение поля
, получающееся присоединением к нему
конечного
числа констант, алгебраических над
.
Алгоритмы интегрирования имеют рекурсивный характер, когда от задачи,
сформулированной в терминах поля , нужно перейти к одной или
нескольким
задачам над полем
. При этом существенно различаются
методы,
используемые для трансцендентных и алгебраических расширений. В данном курсе
мы рассмотрим только случай трансцендентных расширений, алгебраические
расширения требуют значительно более сложной техники, основанной на
фундаментальных результатах алгебраической геометрии.
Прежде чем излагать алгоритм интегрирования трансцендентных функций, рассмотрим несколько примеров.
23.14. ПРИМЕР.
Рассмотрим уравнение , где
. Введем обозначение
. Тогда
, т. е.
в наших
терминах. Легко видеть, что элемент
трансцендентен не
только над
, но даже над
. Будем рассматривать
как независимую переменную над основным полем функций
.
Предположим, что интеграл от
линейного полинома от переменной должен являться полиномом второй
степени от
, т. е. должен
иметь вид
, где
.
Задача интегрирования приняла вид уравнения
![\int \theta\,dx = B_2\theta ^2 +B_1\theta +B_0.](/sites/default/files/tex_cache/1d2bd7529c10a41fb51a44fddecd4a6c.png)
![\theta =B_2'\theta ^2 +\left(\frac 2x B_2+B_1'\right)\theta +\left(\frac
1xB_1+B_0'\right),](/sites/default/files/tex_cache/7c9953685688bd8f5112a36e35ca3ec2.png)
!['](/sites/default/files/tex_cache/3590cb8af0bbb9e78c343b52b93773c9.png)
![x](/sites/default/files/tex_cache/9dd4e461268c8034f5c8564e155c67a6.png)
![\theta](/sites/default/files/tex_cache/2554a2bb846cffd697389e5dc8912759.png)
![\begin{cases} B_2'=0&\\ \frac 2xB_2+B_1'=1& \\ \frac
1xB_1+B_0'=0,&\end{cases}](/sites/default/files/tex_cache/2706981149a576961e1af5f8e82f83f9.png)
![\begin{cases} B_2'=0&\\ B_1'=1-\frac 2xB_2& \\ B_0=-\frac {B_1}x.&\end{cases}](/sites/default/files/tex_cache/a6ebb2dd6bf799ca1433dcf573510931.png)
Решение каждого из этих уравнений сводится к интегрированию
некоторой
функции. При этом нужно помнить, что мы ищем неизвестные функции из поля . Интегрированием неизвестные функции
определяются с точностью
до констант (констант интегрирования). Значения этих констант (кроме
последней) однозначно определяются следующим уравнением в выписанной системе.
Из первого уравнения получаем
. Подставляя это
значение во
второе уравнение, после интегрирования получаем ограничения на константу
:
![B_1=x-2b_2\log x+b_1=x-2b_2\theta +b_1.](/sites/default/files/tex_cache/f3661c566f2e7ffbfca2aeba108de5cf.png)
![B_1](/sites/default/files/tex_cache/262e0afc75c8a9fc536a7dce57e6ebe1.png)
![\mathbb Q (x)](/sites/default/files/tex_cache/169dc766fd6d4aaab504f2f63e75b42a.png)
![b_2](/sites/default/files/tex_cache/738f96a4cb37df3457c637024d23a488.png)
![b_2=0](/sites/default/files/tex_cache/332192141919935e75d1af5b2a9facb2.png)
![B_1=x+b_1.](/sites/default/files/tex_cache/6d1c09fc2eb8e3c5fccd292d1df8dc1d.png)
Последнее уравнение принимает вид
![B_0'=-1 -\frac{b_1}x.](/sites/default/files/tex_cache/96f60c1fa99849d988ee6a1f1eeeb913.png)
![B_0=-x -b_1\theta +b_0.](/sites/default/files/tex_cache/4abf50c40bf537df2040b43a723e154a.png)
![b_1=0](/sites/default/files/tex_cache/b34755e6b67935ea37b38cbf96da9444.png)
![B_0=-x+b_0](/sites/default/files/tex_cache/f19575620607850150db324c7772ac01.png)
Таким образом, мы определили функции с точностью до
единственной
константы
, значение которой не может быть определено
условием задачи.
Непосредственной проверкой убеждаемся, что полученное выражение
является решением
исходного
уравнения. Заметим, что в данном случае нам не требуется обосновывать выбор
формы решения и трансцендентность элемента
. Если
предъявлена
функция, удовлетворяющая исходному уравнению, то задача решена, независимо от
того, какими соображениями мы пользовались при выборе этой функции.
При доказательстве неинтегрируемости некоторой функции в классе элементарных функций, наоборот, трансцендентность и возможный вид зависимости играет решающую роль.
23.15. ПРИМЕР. Рассмотрим уравнение
![]() |
( 23.2) |
![\theta
=e^{-x^2}](/sites/default/files/tex_cache/be5ea5e24d80553be5f9afdee5c6fc9d.png)
![\theta](/sites/default/files/tex_cache/2554a2bb846cffd697389e5dc8912759.png)
![\mathbb Q (x)](/sites/default/files/tex_cache/169dc766fd6d4aaab504f2f63e75b42a.png)
![\mathbb C(x)](/sites/default/files/tex_cache/306b45c6bb7a8b9c94ed7897b8051d40.png)
![\theta '=-2x\theta](/sites/default/files/tex_cache/23f960f2627e1a73f8bbe83c408822c8.png)
![f(x)=e^{-x^2}](/sites/default/files/tex_cache/3abae43455da836904eb28f23396991f.png)
![\mathbb Q (x,\theta )](/sites/default/files/tex_cache/47a1db654f029c7f1377bbbd46aeb254.png)