2) Достаточность
Условие (6) будет выполняться, если возьмем
Следовательно -это и есть первый интеграл.
40. Теорема существования решений дифференциального уравнения в виде обобщенного степенного ряда (без доказательства). Уравнение Бесселя.
Теорема. Если a0 является нулем функции a0(x0) порядка s: a0(x0)=0, а функция a1(x) имеет в точке x0 порядок не ниже (s-1) и функция a2(x) имеет в точке x0 порядок не ниже (s-2), то уравнение a0(x)y//+a1(x)y/+a2(x)y=0 (1) имеет по крайней мере одно решение в виде обобщенного степенного ряда:
(2),
r-некоторое действительное число (необязательно целое).
Уравнение Бесселя.
При исследовании объектов круговой симметрии встречается лин. диф. ур-е вида:
x2y//+xy/+(x2-v2)y=0 (3).
Точка x=0 является особой точкой этого ур-я. Поскольку a0(x)=x2, a1(x)=x, a0(x)=x2-v2, то указанная точка является нулём второго порядка ф-и a0(x), нулём первого порядка ф-и a1(x), вообще не является нулём ф-и a2(x) при и является нулём второго порядка при v=0. Воспользуемся теперь теоремой и будем искать решение в виде:
(4),
подставляя (4) в (3) находим:
Выделим в первой сумме слагаемые с xr и с xr+1 , не содержащиеся во второй сумме, и приравняем к нулю коф-э при степенях x. Слагаемое с k=0 даст равенство:
поскольку (в противном случае надо было бы переобозначить r), то:
(5)
приравнивание к нулю члена с k=1 приводит к рав-ву:
отсюда с учётом (5) получаем:
Далее есть две возможности: либо A1 =0 либо . Остановимся на более общем случае A1 =0, положив r=v. Тогда получим:
Заменяя индекс суммирования в первой сумме k=m+2, имеем:
отсюда,
.
Поскольку A1 =0, то все нечётные коэф-ы равны нулю: A2т+1 =0. С другой стороны,
Воспользуемся гамма-функцией, определяемой как:
и обладающую св-вами: Г(x+1)=x Г(x), Г(n+1)=n!. Выберем постоянную:
.
Тогда,
И из (4) получаем:
(6)
(6) называется функцией Бесселя первого рода n–го порядка и обозначается Jv(x). Если взять r=-v, то получим второе решение y2=J-v(x). Таким образом общее решение уравнения Бесселя, запишется в виде:
y(x)=c1Jv(x)+ c2J-v(x)
В случае целого v(v=m) из (6) имеем:
Ф-и Jm(x) и J-m(x) оказываются уже линейно зависимыми: J-m(x)=(-1)m Jm(x) (7). Здесь вторым линейно независимым решением является функция Бесселя 2-го рода:
Из формулы Лиувилля для ур-й 2-го порядка можно получить другое представление этой функции:
42(часть). … Определение первого интеграла для нормальной системы дифференциальных уравнений. Независимость интегралов. Существование n независимых первых интегралов, как следствие теоремы о дифференцируемости решений нормальной системы по начальным условиям.
Функция , непрерывно дифференцируемая по всем аргументам, для которой и которая вдоль любой интегральной кривой системы принимает постоянные значения, называется первым интегралом системы .
Таких интегралов много, поэтому возникает вопрос об их функциональной зависимости. Первые интегралы называются независимыми в точке если ранг функциональной матрицы равен k:
=k.
- 22. Некоторые способы понижения порядка дифференциального уравнения, неразрешенного относительно старшей производной.
- 23. Теорема существования и единственности решения линейного дифференциального уравнения n-го порядка. Понятие линейного дифференциального оператора, его свойства.
- 24. Определитель Вронского решений однородного уравнения и его свойства.
- 26. Теорема о структуре общего решения линейного однородного уравнения n-го порядка.
- 39. Теорема существования решений дифференциального уравнения в виде степенного ряда (без доказательства). Уравнение Эйри.
- 43.Необходимое и достаточное условие для того, чтобы непрерывно дифференцируемая функция была первым интегралом нормальной системы.
- 1) Необходимость
- 2) Достаточность
- 44. Теорема о максимальном числе независимых первых интегралов.
- 45. Эквивалентность отыскания n независимых первых интегралов построению общего решения нормальной системы.
- 46. Способ понижения порядка системы, если известна часть первых интегралов.
- 47. Симметричная форма системы дифференциальных уравнений. Необходимое и достаточное условие для первого интеграла симметричной системы. Интегрируемые комбинации.
- 58. Метод исключения для линейных систем с постоянными коэффициентами произвольного вида.
- 59. Устойчивость по Ляпунову. Теорема Ляпунова об устойчивости и асимптотической устойчивости.