Билеты_5_сем
.pdf
25. Определение и взаимосвязь цилиндрических функций.
Опр. Ур-ние |
|
|
|
|
наз-ся ур-нием Бесселя. |
||||||
Всякое решение ур-ния Бесселя наз-ся цилиндрической ф-цией. |
|||||||||||
Опр. Ф-ция |
|
|
|
|
|
|
|
|
наз-ся ф-цией Бесселя порядка v. |
||
|
|
|
|||||||||
Она явл-ся решением ур-ния Бесселя. |
|
|
|
|
|
||||||
Ф-ции Неймана: |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ф-ции Ханкеля I-го рода и II-го рода:
Модифицированные ф-ции Бесселя и Ханкеля:
Теорема: Фундаментальную систему решений (ФСР) ур-ния Бесселя образует каждая из пар ф-ций:
Следствие: Общее решение ур-ния Бесселя задается каждой из формул:
Для ф-ции Бесселя 0 и 1 порядка:
Для ф-ции Бесселя полуцелого порядка:
26. Рекуррентные формулы для цилиндрических функций.
Для функ. Бесселя и Неймана имеют место следующие рекуррентные формулы:
|
|
|
|
|
|
. |
|
|
|
|
|||||
Их также можно переписать в виде |
. |
||||||
Если из второй формулы вычесть первую, получим еще одно выражение |
|||||||
|
|
|
|
||||
Для функций Бесселя и Неймана с целочисленным порядком |
верно равенство |
||||||
27. Интегральные формулы для функций Бесселя.
имеют место следующие интегральные формулы: 1) Интегралы Ломмеля
где Z(x) – произвольные решения уравнения Бесселя:
28. Поведение функций Бесселя и Неймана. |
|
|
|
|
||||||||||
Приведем для примера ф-и |
, |
|
|
|
|
|
|
|
Из определения получаем: |
|||||
|
|
|
|
= |
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
||||
.
* |
|
|
|
|
. |
|
|
|
|
|
|
||
|
|
|
||||
*
Графики некоторых ф-й.
Заметим, что |
|
|
|
Поэтому иногда говорят, что |
есть аналог |
a |
- |
||||||||||||||||||
аналог |
|
только |
|
|
– решения ур-ия |
|
|
|
|
, в то время как ф-и |
|
и |
|||||||||||||
– решения ур-ий |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Поскольку |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, функции |
|
|
|
в окрестности нуля ведут себя |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
следующим образом: |
|
|
|
|
|
|
|
|
|
|
|
|
. Известно асимптотическое поведение ф-й |
|
|||||||||||
Бесселя при |
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
. |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
), |
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
Теорема (Поведение в окрестности нуля).
Утв.
29. Скалярное произведение, ортогональность и норма функций Бесселя.
Опр. Скалярным произв-м на простр-ве решений урав-я Бесселя будем называть следующее скалярное произв-е в
Фун-ии, скаляр. произв-е которых равно нулю, наз-ся ортогональными. Нормой фун-ии u(x) будем называть число
Теорема: |
|
|
Усл. Число |
а числа |
-действительные корни урав-ия |
Утв. Фун-ии |
и |
ортогональны |
Теорема (аналог т. Стеклова).
Усл.Фун-ия |
|
|
|
|
|
|
удовлетворяет граничным условиям |
|||||||||||||
и при |
|
|
|
|
|
|
|
фун-ия |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
||||||||||||||
Утв.1. Фун-я |
|
|
|
|
разлагается в ряд Фурье на интер-ле (0,1) |
|||||||||||||||
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Утв. 2. В случае |
фун-я |
|
разлагается в ряд Фурье на интер-ле (0,1) |
||||||
|
|
|
|
|
|
|
|
|
|
где -полож-е корни ур-ия
.
30. Задачи Штурма-Лиувилля для уравнения Бесселя на [0; R].
Опр.: Уравнение Называется уравнение Бесселя. Всякое решение уравнения Бесселя называется цилиндрической функцией.
Опр.: Функция |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
называется функцией Бессиля порядка v. Она является |
||||||
|
|
|
|
|
|
|
|
|
||||||||||||||
решением уравнения Бесселя. |
||||||||||||||||||||||
Теорема: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Утв. 1: Функция |
|
|
|
|
разлагается в ряд Фурье на интервале (0, R) |
|||||||||||||||||
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где
Утв. 2: В случае |
|
|
разлагается в ряд Фурье на интервале (0, R) |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где μk – положительные корни уравнения J1(μ)=0.
Опр.: Через M мы будем обозначать следующий класс функций:
Опр.: Задачей Штурма-Лиувилля для уравнения Бессиля на [0, R] мы будем называть задачу: найти числа λ и функции из условий:
При этом функции |
называются собственными функциями задачи Штурма-Лиувилля, а числа λ |
|||
– собственными числами ЗШЛ. |
|
|||
Оператор левой части уравнения ШЛ мы будем обозначать так: |
|
|||
Теорема: |
|
|
|
|
|
|
|
|
|
Утв. 1: Все собственые числа ЗШЛ неотриц. и кратности 1. |
|
|||
Утв. 2: Число λ=0 есть собственное число ЗШЛ тогда и только тогда, когда |
, и ему |
|||
соответствует собственная функция Теорема: Утв.: Все положительные собственные числа ЗШЛ и соответствующие им функции имеют вид:
где - положительные корни уравнения
31. Задачи Штурма-Лиувилля для уравнения Бесселя на [a; b]. |
|
|
|
||||||||||
Опр. Ур-ие |
|
|
|
|
|
|
, |
, наз. ур-ием Бесселя. Всякое решение |
|||||
наз-ся – цилиндрической ф-ией. |
|
|
|
|
|
|
|||||||
Опр. Ф-я |
|
|
|
|
|
|
наз-ся ф-ией Бесселя порядка |
. Она явл. реш-ем ур-ия |
|||||
|
|
|
|
|
|
||||||||
Бесселя. ] |
|
|
|
|
|
|
|
|
|
|
|
|
|
Теор. Усл. |
– ортогональная сист. собств-х ф-ий задачи Ш-Л. |
|
|
|
|||||||||
Утв. |
, удовлетворяющей краевым условиям, |
: |
|
, причем |
|||||||||
последний ряд сходится к |
абсолютно и равномерно на |
, а для |
верно: |
|
|
||||||||
|
|||||||||||||
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теор. Усл. Ф-я |
– есть решение на |
|
ур-ия |
|
. |
|
|
||||||
– полож-е реш-ия ур-ия |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
Утв. 1. Каждая из ф-ий |
, |
|
явл-ся решением задачи Ш-Л |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
При этом ф-я |
имеет вид |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
Утв. 2. |
|
|
|
|
|
|
|
|
|
|
|
|
. |
, |
. |
|
|
|
|
|
|
|
|
|
|
||
Утв. 3. |
|
|
|
|
|
|
|
|
|
|
|
||
[ Задача Ш-Л на ур-ия Бесселя на |
. |
|
|
|
|
|
|
|
|
|
|||
Опр. Через М обознач-ся следующий класс ф-ий: |
; |
|
|
|
|
. |
|||||||
|
|
|
|
||||||||||
|
|
|
|||||||||||
Задачей Ш-Л для ур-ия Бесс. на [0,1] наз-ся задача: найти числа |
и ф-ии |
из условий: |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
При этом ф-ии |
наз-ся собственными ф-ями задачи Ш-Л, а числа |
– собств-ми числами задачи |
||
Ш-Л. Оператор левой части ур-ия задачи Ш-Л обознач-ся: |
|
|
. |
|
|
||||
Теор. Утв. 1. Все собств-е числа задачи Ш-Л неотрицательны и кратности 1.
Утв. 2. Число |
– собств-ое число задачи Ш-Л т.и.т.т., когда |
, и ему соответствует |
собств-я ф-ия |
. |
|
Теор. Утв. Все полож-е собств-е числа задачи Ш-Л и соответствующие им собств-е ф-ии имеют вид:
, , , где – корни ур-ия .
32. Уравнение Лежандра. Полиномы Лежандра. Рекуррентные формулы.
Ур-ние Лежандра:
Полиномы Лежандра тесно связаны с фундаментальным решением уравнения Лапласа |
, где |
– |
|||||||||||||
расстояние точки от фиксированной точки . Пусть и – радиусы векторы точек |
и , а |
– |
|||||||||||||
угол между ними: |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где |
и |
|
или |
(в обоих случаях меньше единицы). |
Производящая ф-ция полиномов: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
раскладывая ее в ряд по степеням :
Коэффициенты явл. Полиномами n-ной степени и наз-ся полиномами Лежандра. Рекуррентные формулы:
Формула Родрига (для вычисления многочленов):
33. Ортогональность и норма полиномов Лежандра.
Ортогональность: Полиномы Лежандра разных порядков ортогональны между собой:
|
|
при m |
|
|
|
Норма: |
|
. Применим рекуррентную формулу |
|||
|
|
дважды: сначала выразим из нее (предварительно заменив в |
|||
) через |
и |
, а затем |
через |
и |
Учитывая ортогональность полиномов |
и, получим:
.
Последовательное применение формулы дает |
|
|
|
|
. Подставив сюда |
|||
|
|
|
||||||
находим квадрат нормы |
|
: |
|
Таким образом: |
||||
|
|
|||||||
|
|
|||||||
|
|
|
|
|
|
|
|
|
