|
(15) |
Дѣйствительно, подстановки (10) образуютъ группу.
Такъ какъ всѣ корни уравненія (2') или, что то же, уравненія (2) черезъ каждый изъ нихъ выражаются раціонально, то это уравненіе само для себя служитъ резольвентою Галуа.
Теорема 4. Всякое отношеніе двухъ линейно независимыхъ частныхъ интеграловъ линейнаго дифференціальнаго уравненія втораго порядка (1)[1] и всякій корень уравненія (2) удовлетворяютъ дифференціальному уравненію 3-го порядка вида:
|
(16) |
гдѣ есть раціональная функція :
(17) |
Возьмемъ линейное дифференціальное уравненіе 2-го порядка:
|
(1) |
Пусть суть два линейно независимыхъ частныхъ интеграла этого уравненія и пусть
|
(6') |
Одифференцируемъ это равенство три раза по и составимъ выраженіе:
- ↑ Первая часть доказываемой теоремы справедлива не только для дифференціальнаго уравненія (1), имѣющаго алгебраическіе интегралы, но и вообще для всякаго линейнаго дифференціальнаго уравненія 2-го порядка.
- ↑ Сравн. формулу ([[../../Глава I/ДО#Eq22|22]]) [[../../Глава I/ДО|главы I]].
|
(15) |
Действительно, подстановки (10) образуют группу.
Так как все корни уравнения (2') или, что то же, уравнения (2) через каждый из них выражаются рационально, то это уравнение само для себя служит резольвентой Галуа.
Теорема 4. Всякое отношение двух линейно независимых частных интегралов линейного дифференциального уравнения второго порядка (1)[1] и всякий корень уравнения (2) удовлетворяют дифференциальному уравнению 3-го порядка вида:
|
(16) |
где есть рациональная функция :
(17) |
Возьмем линейное дифференциальное уравнение 2-го порядка:
|
(1) |
Пусть суть два линейно независимых частных интеграла этого уравнения и пусть
|
(6') |
Продифференцируем это равенство три раза по и составим выражение: