Главная » Просмотр файлов » Сферические функции - Пальцев

Сферические функции - Пальцев (1188239), страница 5

Файл №1188239 Сферические функции - Пальцев (Сферические функции - Пальцев) 5 страницаСферические функции - Пальцев (1188239) страница 52020-09-19СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 5)

Если S(t) — решение уравнения(54), то дифференцируя его (как тождество), получим(1−t2 )(S 0 )00 −2t(S 0 )0 −2(n+1)t(S 0 )0 −2(n+1)S 0 +[l(l+1)−n(n+1)]S 0 == (1 − t2 )(S 0 )00 − 2(n + 2)(S 0 )0 + [l(l + 1) − (n + 1)(n + 2)]S 0 = 0,и первое утверждение леммы установлено.2◦ . Преобразуем уравнение (54) при n = −l к виду(1 − t2 )S 00 − 2tS 0 + 2ltS 0 + 2lS = ((1 − t2 )S 0 )0 + 2l(tS)0 = 0.Поэтому решение уравнения первого порядка(1 − t2 )S 0 + 2ltS = 0будет и решением предыдущего уравнения. Но последнее уравнение легко интегрируется (оно является уравнением с разделяющимися переменными).

Одним из решений этого уравнения является функция (55). Лемма 6 установлена.Применим теперь эту лемму к нахождению решений из∞C ([−1,1]) уравнений (53). Для того, чтобы получить такоерешение уравнения (53) при m = 0, согласно лемме 6 достаточно l раз продифференцировать многочлен (55), и полученный многочлен будет с точностью до постоянного множителяединственным нетривиальным ограниченным на [−1,1] решением этого уравнения.

Вместо такого многочлена берут многочлен1 dl 2Pl (t) = l(t − 1)l(56)2 l! dtl(он — степени l), нормированный условием Pl (1) = 1 (проверить последнее самим). Систему многочленов (56) l = 0,1,2, . . .называют системой многочленов Лежандра. Формула (56) носит название формулы Родрига для многочленов Лежандра.34Пользуясь далее пунктом 1◦ леммы 6, находим, что решением уравнения (53), причём с точностью до постоянного множителя единственным ограниченным на [−1,1] решением при|m| > 0 является многочленd|m|Pl (t).dt|m|Отметим, что при |m| > l этот многочлен будет равен тождественно нулю.Обратимся теперь к замене (52), и мы получаем, что единственным, с точностью до постоянного множителя, нетривиальным ограниченным на (−1,1) решением уравнения Лежандра (43) является функцияd|m|Pl (t),(57)dt|m|где Pl (t) — многочлен Лежандра степени l.

При этом такие нетривиальные решения уравнения (43) существуют только дляm, удовлетворяющих условию |m| 6 l. При |m| > 0 функции (57) называются присоединнными функциями Лежандра.При m = 0 Pl0 (t) — многочлены Лежандра.Обратимся, наконец, к формулам (40) и (42). И мы в результате находим, что при каждом l > 0 — целом системафункций|m|Pl(t) = (1 − t2 )|m|yblm (θ,ϕ) = Pl|m|2(cos θ)eimϕ ,− l 6 m 6 l,(58)представляет собой систему (2l + 1) сферических функцийвеса l.

Таким образом, если мы ещё установим, что такая система линейно независимая, то задача будет решена: тогда мынашли всю систему сферических функций веса l для каждогоl > 0 (точнее — их выражений в сферической системе).Обычно вместо системы (58) используют систему действительных сферических функций (получаемую из системы (58)35отделением действительных и мнимых частей): mPl (cos θ) cos mϕ,m = 0, .

. . ,l,Yblm (θ,ϕ) =(59)|m|Pl (cos θ) sin |m|ϕ, m = −1, − 2, . . . , − l.Установим, что эта система при каждом l > 0 является линейно независимой системой (2l +1) сферических функций весаl. Это вытекает из свойства ортогональности системы (59) относительно скалярного произведения (16).§ 5. Ортогональность сферических функцийи функций Лежандра. Производящая функцияи рекуррентное соотношение. БазисностьИтак, обозначим черезYlm (x),x ∈ S1 ,l = 0,1,2, .

. . ,− l 6 m 6 l,(60)систему всех сферических функций, каждая из которых —Ylm (x) имеет в сферической системе выражение (59).Лемма 7. 1◦ . Система (60) сферических функций являетсяортогональной системой относительно скалярного произведения (16).2◦ . Имеют место равенства 4πпри m = 0,2l + 1(61)(Ylm (x),Ylm (x))S1 = (l + |m|)! 2πпри16|m|6l.(l − |m|)! 2l + 1Д о к а з а т е л ь с т в о. Установим сначала 1◦ , а именно,12что (Ylm,Ylm)S1 = 0 для любых пар (l1 ,m1 ) и (l2 ,m2 ) таких,12что либо l1 6= l2 , либо m1 6= m2 . Если l1 6= l2 , то поскольку12Ylm(x) и Ylm(x) — собственные функции оператора −∆0S1 , от12вечающие различным собственным значениям λ1 = l1 (l1 + 1) и12,Ylm)S1 = 0.λ2 = l2 (l2 + 1), в силу леммы 2 (Ylm1236Пусть далее l1 = l2 , но m1 6= m2 .

Рассмотрим случай m1 ,m2 > 0. Выполняя замену t = cos θ, получаем дляm1 ,m2 > 0Z 2πm1m2(Yl1 ,Yl2 )S1 =cos m1 ϕ cos m2 ϕ dϕ×0Z π12(cos θ)Plm(cos θ) sin θ dθ =×Plm120Z 2πZ 112=cos m1 ϕ cos m2 ϕ dϕPlm(t)Plm(t) dt.(62)120−112Поэтому для m1 ,m2 > 0, m1 6= m2 (Ylm,Ylm)S1 = 0 в12силу известного из курса математического анализа свойстваортогональности классической тригонометрической системыcosR 2πkϕ, k > 0, sin kϕ, k > 1, k ∈ Z на интервале (0,2π):0 cos m1 ϕ cos m2 ϕ dϕ = 0 при m1 6= m2 .

Совершенно аналогично рассматриваются другие возможности для случая m1 6=6= m2 . Итак, 1◦ установлено.Отметим, что из этого свойства вытекает непосредственносвойство ортогональности систем многочленов Лежандра иприсоединённых функций Лежандра на интервале (−1,1).Лемма 8. При каждом фиксированном m > 0, m ∈ Z,Z 1Plm(t)Plm(t) dt = 0 для l1 ,l2 > m, l1 6= l2 .(63)12−1Д о к а з а т е л ь с т в о. Обратимсяк формуле (62). ПоR 2π2 mϕ dϕ = {2π при m =m)cosскольку (Ylm,Y=0,аl2 S 101= 0, π при m > 0} =6 0, получаем (63).Справедливость утверждения 2◦ леммы 7 непосредственновытекает из формулы (62) и её аналога при m1 = m2 < 0 инижеследующего утверждения.37Лемма 9.

Для любых целых l и m, 0 6 m 6 l имеет месторавенствоZ 12(l + m)!.(64)(Plm (t))2 dt =(l − m)! (2l + 1)−1Для доказательства этой формулы удобно воспользоватьсярекуррентной формулой для многочленов Лежандра, выражающей Pl+1 (t) через Pl (t) и Pl−1 (t). Доказательство такой формулы в свою очередь легко следует из нижеследующего разложения, которое представляет и самостоятельный интерес.Лемма 10. Для любых ρ : 0 6 ρ < 1 справедливо разложение∞X1p=Pl (t)ρl , ∀ t ∈ [−1,1],(65)1 − 2tρ + ρ2l=0причём это разложение допускает почленное дифференцирование по ρ и по t произвольное число раз.1Определение 5. Функцию (1 − 2tρ + ρ2 )− 2 называютпроизводящей функцией для многочленов Лежандра.1Д о к а з а т е л ь с т в о леммы 10. Функция |x − y| , x == (x1 ,x2 ,x3 ), y = (y1 ,y2 ,y3 ) ∈ R3 удовлетворяет уравнению Лапласа по переменным x ∈ R3 для x 6= y.

Положим y = (0,0,1) и1выразим |x − y| как функцию x в сферической системе:11=p,|x − y|1 − 2ρ cos θ + ρ2ρ = |x|,θ ∈ [0,π].(66)Разложим эту функцию при каждом фиксированном θ в рядТейлора по степеням ρ. Покажем, что радиус сходимости такого ряда не меньше 1 (на самом деле равен 1).38Для этого воспользуемся ТФКП. Рассмотрим при каждомфиксированном θ ∈ [0,π] квадратный трёхчлен ω(z,θ) = 1 −− 2z cos θ + z 2 = (1 − eiθ z)(1 − e−iθ z), где z — комплекснаяпеременная, z ∈ C.

Как известно, функция∞Xα(α − 1) . . . (α − k + 1)−1,h(w) =Ck 2 wk ,Ckα =k!k=0представимая степенным рядом в правой части с радиусомсходимости, равным 1, являетсярегулярнойветвью в кругеno1|w| < 1 двузначной функции 1/(1 − w) 2 , причём такой, что√√h(u) = 1/ 1 − u при 0 6 u < 1, где 1 − u — арифметическийкорень из положительного числа.Поэтому функцияg(z,θ) = h(eiθ z) · h(e−iθ z)(67)является регулярной ветвью в круге |z| < 1, при фиксированном θ, двузначной функции 1/(1 − 2z cos θ + z 2 )1/2 такой,pчто g(ρ,θ) = 1/ 1 − 2ρ cos θ + ρ2 при 0 6 ρ < 1, последний корень является корнем арифметическим из положительной величины.

Действительно, g(z,θ) регулярна по z при |z| < 1,g 2 (z,θ) = (h(eiθ z))2 (h(e−iθ z))2 = (1 − eiθ z)−1 (1 − e−iθ z)−1 = (1 −− 2z cos θ + z 2 )−1 и для 0 6 ρ < 1 g(ρ,θ) = h(eiθ ρ) · h(e−iθ ρ) == h(eiθ ρ) · h(eiθ ρ) = |h(eiθ ρ)|2 > 0 (поскольку коэффициенты−1Тейлора Ck 2 функции h действительные).Из представления (67) следует, что g(z,θ) имеет непрерывные частные производные по комплексной переменной z и подействительной переменной θ на множестве {z : |z| < 1} ×× {θ : 0 6 θ 6 π} (в регулярную функцию h(w) подставляютсяфункции, обладающие таким свойством и берётся произведение двух таких суперпозиций).Воспользуемся теперь следующим предложением.39Предложение 4.

Пусть g(z,t) — функция, регулярная вкруге |z| < R при каждом действительном t ∈ [α,β], сама ивсе её частные производные по комплексной переменной z идействительной переменной t являются непрерывными функциями z и t на множестве {z : |z| < R} × {t : α 6 t 6 β}. Тогдав разложении этой функции в ряд Тейлора∞Xg(z,t) =ak (t)z k , |z| < R, t ∈ [α,β],(68)k=0коэффициенты ak (t) ∈ C ∞ ([α,β]), и это разложение допускаетпочленное дифференцирование по z и по t произвольное числораз.Д о к а з а т е л ь с т в о.

Как известно из ТФКП, коэффициенты ak (t) представимы контурными интеграламиI1g(ξ,t)dξ, k = 0,1,2, . . .(69)ak (t) =2πi |ξ|=R1 ξ k+1где R1 — произвольное, удовлетворяющее неравенству 0 << R1 < R. Поскольку1ξk+1∂pg(ξ,t) ∈ C({ξ : |ξ| = R1 } ×∂tp× {t : α 6 t 6 β}), то дифференцирования под знаком интеграла в представлении (68) законны и ak (t) дифференцируемына [α,β] произвольное число раз.Покажем далее, что ряд∞Xdpak (t)z k ,(70)dtpk=0полученный почленным дифференцированием ряда (68) p разпо переменной t, p > 0 — произвольное целое, сходитсяравномерно по z и t на всяком множестве {z : |z| 6 r} ××{t : α 6 t 6 β}, 0 < r < R.

В самом деле, для фиксированногоr < R возьмём в представлении (69) R1 , удовлетворяющим40условию r < R1 < R. На ограниченном замкнутом множестве∂p{ξ : |ξ| = R1 } × {t : α 6 t 6 β} функция ∂tp g(ξ,t) непрерывна, апотому (по теореме Вейерштрасса) pограничена по модулю не∂которой постоянной Mp : ∂tp g(ξ,t) 6 Mp , |ξ| = R1 , t ∈ [α,β].Поэтому, пользуясь (69), можем оценить: p IZp 1dMpMp∂1g(ζ,t) k+1 dζ 6ds = k . dtp ak (t) = 2πpk+1 2πR1ζR1|ζ|=R1 ∂t|ξ|=R1Следовательно, члены ряда (70) можем оценить по модулю намножестве |z| 6 r, α 6 t 6 β членами числовой последовательности: p kdrk. dtp ak (t)z 6 Mp R1 kPrПоскольку числовой ряд Mp ∞сходится при r < R1 ,k=0 R1по признаку Вейерштрасса ряд (70) сходится равномерно по zи t при |z| 6 r, t ∈ [α,β].Перейдём к окончанию доказательства предложения 4.

То,что разложение (68) допускает почленное дифференцированиепо z, — хорошо известный результат ТФКП. То, что разложение (68) можно почленно дифференцировать и по t произвольное число раз, следует из хорошо известной теоремы математического анализа, поскольку установлено, что ряды (70) длялюбого p > 0 сходятся равномерно по t ∈ [α,β] (при каждомфиксированном z : |z| < R). Предложение 4 доказано.Вернёмся к доказательству разложения (65). Разложимфункцию (66), которая равна g(ρ,θ), где g(z,θ) определена (67),в ряд Тейлора в точке ρ = 0:1p1 − 2ρ cos θ + ρ2=∞Xal (θ)ρl , 0 6 ρ < 1,l=041где, согласно предложению 4, al (θ) = C ∞ ([0,π]), причём эторазложение можно почленно дифференцировать по ρ и θ произвольное число раз.

Характеристики

Тип файла
PDF-файл
Размер
342,17 Kb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
Почему делать на заказ в разы дороже, чем купить готовую учебную работу на СтудИзбе? Наши учебные работы продаются каждый год, тогда как большинство заказов выполняются с нуля. Найдите подходящий учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6309
Авторов
на СтудИзбе
313
Средний доход
с одного платного файла
Обучение Подробнее