Решение уравнения гельмгольца методом разделения переменных

Решение однородного уравнения Гельмгольца методом разделения переменных в декартовой системе координат

При решении граничных задач для различных уравнений с частными производными широко используется так называемый метод разделения переменных, позволяющий свести исходную задачу к трем задачам для обыкновенных дифференциальных уравнений. Этот метод применим при использовании ортогональных систем координат (например декартовой, цилиндрической, сферической и др.), когда граничная поверхность задачи может рассматриваться как координатная.

Однородное уравнение Гельмгольца

в декартовой системе координат (x,y,z) принимает вид

Будем искать решение этого уравнения в виде произведения трех функций

w=w(x.y,z) = X(x) . Y(y) . Z(z),

где X(x) – функция только координаты x, Y(y) – функция только координаты y, Z(z) – функция только координаты z. Подставим в исходное уравнение и разделим все члены на w=X . Y . Z. Это дает

.

Как видно первые три члена – функции разных аргументов, а четвертый постоянен, то есть

Предположим, что переменные y и z – принимают некоторое фиксированное значение тогда F₂(y) и F₃(z) – становятся некоторыми константами.

Рассуждая аналогичным образом можно показать что F₂(y) и F₃(z) являются постоянными величинами. Тогда можно записать следующую систему из трех обыкновенных дифференциальных уравнений

.

Общие решения таких уравнений хорошо известны:

X(x) = Acosγ_xx + Bsinγ_xx или ,

.

Можно записать аналогичные решения и для Y(y) и Z(z). Таким образом, получаем

Данная символическая запись означает, что каждый из сомножителей решения (X,Y и Z) можно брать как в форме верхней, так и в форме нижней строчки. Очевидно, что записанная функция выражает решение исходного уравнения при любых постоянных коэффициентах A,B,…,T,V и любых постоянных , удовлетворяющих равенству в нижней строчке.

Дата добавления: 2016-03-27 ; просмотров: 2319 ; ЗАКАЗАТЬ НАПИСАНИЕ РАБОТЫ

Решение уравнения гельмгольца методом разделения переменных

Willard Miller, Jr.
School of Mathematics
University of Minnesota
Minneapolis, Minnesota

With a Foreword by
Richard Askey
University of Wisconsin

Перевод с английского
Г. П. Бабенко

под редакцией
К. И. Бабенко

ОГЛАВЛЕНИЕ ♦ ♦ ПРЕДИСЛОВИЕ РЕДАКТОРА ПЕРЕВОДА 5 ОТ РЕДАКТОРА ЭНЦИКЛОПЕДИИ 7 ПРЕДИСЛОВИЕ РЕДАКТОРА СЕРИИ 8 ПРЕДИСЛОВИЕ АВТОРА 28 Глава 1. УРАВНЕНИЕ ГЕЛЬМГОЛЬЦА 33 1.0. Введение 33 1.1. Группа симметрии уравнения Гельмгольца 34 1.2. Разделение переменных для уравнения Гельмгольца 42 1.3. Формулы разложения, связывающие решения с разделёнными переменными 56 1.4. Разделение переменных для уравнения Клейна–Гордона 74 1.5. Формулы разложения для решений уравнения Клейна–Гордона 83 1.6. Комплексное уравнение Гельмгольца 95 1.7. Метод Вейснера для комплексного уравнения Гельмгольца 100 Упр ажнения 109 Глава 2. УРАВНЕНИЕ ШРЁДИНГЕРА И УРАВНЕНИЕ ТЕПЛОПРОВОДНОСТИ 111 2.1. Разделение переменных для уравнения Шрёдингера 111 2.2. Уравнение теплопроводности 132 2.3. Разделение переменных для уравнения Шрёдингера 146 2.4. Комплексное уравнение 154 2.5. Разделение переменных для уравнения Шрёдингера 162 2.6. Базисы и матричные элементы смешанных базисов для уравнения Шрёдингера 178 2.7. Вещественное и комплексное уравнения теплопроводности 188 2.8. Заключительные замечания 203 Упр ажнения 206 Глава 3. УРАВНЕНИЯ ГЕЛЬМГОЛЬЦА И ЛАПЛАСА С ТРЕМЯ ПЕРЕМЕННЫМИ 207 3.1. Уравнение Гельмгольца 207 3.2. Модель гильбертова пространства: сфера S 2 217 3.3. Многочлены и функции Ламе на сфере 231 3.4. Формулы разложения для решений с разделёнными переменными уравнения Гельмгольца 239 3.5. Модели негильбертовых пространств для решений уравнения Гельмгольца 242 3.6. Уравнение Лапласа 252 3.7. Тождества для решений с разделёнными переменными уравнения Лапласа 263 Упр ажнения 272 Глава 4. ВОЛНОВОЕ УРАВНЕНИЕ 273 4.1. Уравнение 273 4.2. Оператор Лапласа на сфере 280 4.3. Диагонализация операторов P 0 , P 2 и D 284 4.4. Уравнение Шрёдингера и уравнение Эйлера–Пуассона–Дарбу 288 4.5. Волновое уравнение 292 Упр ажнения 295 Глава 5. ГИПЕРГЕОМЕТРИЧЕСКАЯ ФУНКЦИЯ И ЕЁ ОБОБЩЕНИЯ 296 5.1. Функции Лауричеллы F D 296 5.2. Формулы преобразований и производящие функции для функций F D 303 Упр ажнения 308 Приложение А. ГРУППЫ И АЛГЕБРЫ ЛИ 310 Приложение Б. ОСНОВНЫЕ СВОЙСТВА СПЕЦИАЛЬНЫХ ФУНКЦИЙ 315 Приложение В. ЭЛЛИПТИЧЕСКИЕ ФУНКЦИИ 324 СПИСОК ЛИТЕРАТУРЫ 326 ИМЕННОЙ УКАЗАТЕЛЬ 333 ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ 336

В прикладных областях исследователи часто имеют дело с конкретными дифференциальными уравнениями, допускающими нетривиальную группу преобразований. Многие важные классы решений уравнений гидродинамики, теории упругости, магнитной гидродинамики были получены с использованием групповых свойств этих уравнений. Это решения типа простых волн в гидродинамике, типа бегущих волн, так называемые автомодельные решения

С другой стороны, метод разделения переменных, широко применяемый для отыскания частных решений линейного дифференциального уравнения, самым тесным образом связан с групповыми свойствами уравнения. Хорошо известно, что очень многие классические специальные функции первоначально появились при решении волнового уравнения и уравнения Лапласа методом разделения переменных. В связи со сказанным естественно возникает задача изучения дифференциальных уравнений с групповой точки зрения. Такое изучение является в известном смысле вынужденным ввиду следующего обстоятельства. По мере развития самой математики и по мере увеличения числа тех областей естествознания и техники, где математика находит широкие приложения, росло число специальных функций и различных относящихся к ним фактов. В то же время происходила резкая переоценка роли отдельных классов функций, а это приводило к тому, что целые поколения математиков-прикладников были начисто лишены необходимых знаний в отдельных областях теории специальных функций. Учитывая, что для непосвящённого читателя теория специальных функций представляется кошмарным набором сложных формул, возникает большое желание навести порядок во всём этом таком сложном, но и таком чрезвычайно важном разделе математики. К счастью, эта задача не представляется столь уж безнадёжной, и здесь прежде всего могут помочь методы теории групп и алгебр Ли и их представлений.

В предлагаемой монографии развит один из возможных подходов к вопросу о разделении переменных в ряде классических уравнений математической физики, основанный на изучении алгебры Ли симметрии уравнения и на теории представлений этой алгебры Ли. В результате не только находятся все системы координат, в которых уравнение допускает разделение переменных, но и получается целый ряд соотношений из теории специальных функций. В частности, таким образом получаются различного рода производящие функции для различных классов специальных функций, теоремы сложения Автор рассмотрел довольно большой набор специальных функций, включающий и функции, не принадлежащие к гипергеометрическому типу. Нам представляется, что специалисту по прикладной математике, использующему специальные функции, будет полезно владение изложенными в данной монографии алгебраическими навыками работы с ними, равно как и умение работать со специальными функциями с помощью ЭВМ. Но это уже иной аспект теории специальных функций.

Монография входит в известную «Энциклопедию математики и её приложений», которая выпускается издательством «Эддисон–Уэсли» под общей редакцией и открывает серию, посвящённую специальным функциям. Цели этого собрания книг и его структура описаны в следующих ниже предисловиях редактора Энциклопедии и редактора серии.

ОТ РЕДАКТОРА ЭНЦИКЛОПЕДИИ

Математика состоит главным образом из фактов, которые можно представить и описать подобно любому явлению природы. Эти факты, иногда сформулированные явно в виде теорем, иногда упоминаемые по ходу доказательств, составляют основную часть приложений математики и будут существовать всегда, несмотря на изменчивость направлений и интересов в данной науке.

Цель настоящей Энциклопедии — постараться осветить все области математики. От каждого автора требуется ясное и чёткое изложение материала, доступное для понимания широкого круга читателей, а также подробная библиография. Тома Энциклопедии объединяются в серии, которые соответствуют различным областям современной математики; порядок выхода книг в отдельных сериях не устанавливается. Число томов и серий время от времени будет пересматриваться и корректироваться.

Мы надеемся, что наше смелое предприятие будет способствовать ещё более широкому применению математики не только там, где без неё нельзя обойтись, но даже в тех областях, где её следовало бы применять и где недостатка информации это пока почти не делается.

Всем, кто хоть раз пытался решить какое-либо дифференциальное уравнение, известно, что такое разделение переменных. Обычно этот метод представляется как множество всяческих ловких приёмов, лежащих на грани математики.

Профессор Миллер в своей монографии дал первое систематическое изложение этого метода; в ней раскрыта тесная связь процесса разделения переменных с одним из основных разделов современной математики и математической физики, а именно с теорией алгебр Ли.

Этот том открывает серию, посвящённую теории специальных функций, с которыми математикам приходится сталкиваться в приложениях.

Этот том открывает серию книг, авторы которых пытаются показать, как и почему во многих приложениях математики появляются специальные функции. Элементарные трансцендентные функции, такие, как экспоненциальная функция, её обратная (логарифмическая) и тригонометрические функции, входят в число рабочих инструментов не только математиков, но и большинства специалистов, использующих математику в своей работе. Было время, когда каждый математик в совершенстве знал теорию высших трансцендентных функций. Так, например, во второй половине XIX столетия появилось поразительное количество книг, посвящённых эллиптическим функциям, а на выпускных экзаменах в университетах постоянно предлагались сложные задачи на доказательство различных фактов, относящихся к функциям Бесселя и функциям Лежандра. Теперь эти функции и другие исключительно полезные специальные функции известны не столь широкому кругу специалистов; это привело к тому, что возникающие в приложениях важные специальные функции вот уже в течение двадцати пяти с лишним лет изучаются людьми, не подозревающими, что многие открытые ими факты были установлены около ста лет тому назад.

За последние сорок лет нечто подобное произошло с так называемыми С этими функциями приходится сталкиваться при исследовании разложения прямого произведения двух неприводимых представлений Поскольку гипергеометрические ряды известны не столь широко, как следовало бы, только недавно было обнаружено, что одно из соотношений ортогональности для является не чем иным, как соотношением ортогональности для некоторого семейства многочленов, полученным Чебышёвым ещё в Для этих многочленов Чебышёв предложил несколько полезных формул, до сих пор не появившихся в физической литературе, к которой относится большинство работ, посвящённых Подобным же образом соотношение симметрии для полученное Регге в было предложено в Уипплом, а ещё ранее — в — Томэ. Первые операторы симметрии для этих функций были найдены в Куммером. Можно было бы не беспокоиться о том, что старые результаты забываются, если бы получать такие результаты было легко и просто и если бы это было по плечу каждому, кто в них нуждается. Однако довольно часто дело обстоит совсем иначе, а для соотношения симметрии Регге это можно утверждать с полной уверенностью. В период с 1930 по 1958 годы многие специалисты занимались изучением но никто из них не смог получить эту симметрию.

От недостатка обмена информацией между математиками и специалистами, применяющими математику в своей работе, страдают обе стороны, что можно показать на простом примере. В Рака опубликовал важное соотношение ортогональности для функций, которые мы теперь называем или коэффициентами Рака. Он также установил важное представление для этих функций в виде однократной суммы, обычно же эти функции представляются в виде четырёхкратных сумм. Подставляя представление в виде однократной суммы в соотношении ортогональности Рака и применяя к формулу преобразования Уиппла (кстати, Рака переоткрыл эту же формулу), можно получить новое семейство ортогональных многочленов, совершенно не упоминаемое в математической литературе. В действительности положение было намного хуже: это семейство ортогональных многочленов не только не было открыто, но имелся ряд теорем, которые, казалось бы, утверждали, что существующее множество ортогональных многочленов от одной переменной является полным множеством всех ортогональных многочленов от одной переменной, которые можно представить в явном виде. Такое утверждение, как показал Рака на примере предложенных им многочленов, было ошибочным.

Этот случай должен послужить хорошим уроком, и из него следует сделать очень важный вывод: для того чтобы математика не превратилась в разрозненный набор отдельных узких областей, необходимы тесные контакты между специалистами по её различным разделам. Цель настоящей серии книг — попытаться показать, как различные разделы математики связаны между собой и как эту связь можно использовать для решения проблем, представляющих интерес для специалистов в различных областях.

В оставшейся части этого предисловия мы дадим краткий обзор современных взглядов на специальные функции. Поскольку имеется довольно много важных специальных функций, мы в своём обзоре будем рассматривать специальные функции примерно в том порядке, в котором они были открыты. Многих, возможно, удивит тот факт, что современный взгляд на некоторые вопросы почти не претерпел никаких изменений с того момента, когда были получены первые серьёзные результаты. Мы придерживаемся современного стиля изложения, но большинство идей, которыми мы пользуемся, было предложено

В приложениях наиболее важными специальными функциями оказываются гипергеометрические функции. Обобщённый гипергеометрический ряд имеет вид

причём c n +1 / c n — рациональная функция Эта рациональная функция, как правило, представляется в виде произведения

Первым функцию в общем случае изучил Эйлер. Он получил дифференциальное уравнение второго порядка, которому эта функция удовлетворяет, дал формулу преобразования

и интегральное представление

Пфафф, занимаясь посмертным изданием работ Эйлера, нашёл ещё две формулы преобразований. Он получил обе формулы для случая, когда ряд конечен, но одна формула легко переносится на случай бесконечного ряда. Это следующие формулы:

2 F 1 ( a , b ; c ; x ) = ( 1– x ) –a 2 F 1(a , c–b ; c ;x

и2 F 1 (– n , b ; c ; x ) =( c – b ) n

( c ) n2 F 1 (– n , b ; b–n +1– c ; 1 – x ) , n = 0, 1, . .

Используя первую формулу, Эйлер рассмотрел целый ряд примеров преобразований рядов, ускоряющих сходимость. Например, при ряд сходится медленно, а ряд — гораздо быстрее. В век, когда вычисления выполняются легко и сравнительно недорого, нам трудно представить себе, как желание вычислить могло стимулировать столько математических исследований. Эти формулы преобразований вместе с преобразованием Эйлера были первыми из немногих открытых за последние два столетия формул преобразований обобщённых гипергеометрических рядов. Ещё одной формулой преобразований является полученная Регге формула симметрии для упомянутых ранее Гаусс нашёл правильное обобщение второй формулы преобразований Пфаффа на случай бесконечного ряда. Если в множителе

заменить – n на a , то, как можно догадаться, этот множитель примет вид

но это не единственное изменение: следует добавить ещё один член.

Гаусс занимался исследованием результатов и иного вида. Он считал два гипергеометрических ряда смежными, если все их параметры, за исключением одного, совпадают, а несовпадающие параметры различаются на единицу. Он показал, что функция общего вида и две смежные с ней линейно независимы. В силу симметрии функции по a и b имеется девять таких соотношений. Эти соотношения для смежных функций можно итерировать и таким образом показать, что любые три функции где целые числа, будут линейно независимыми. Поскольку

dx2 F 1 ( a , b ; c ; x ) =ab

c2 F 1 ( a + 1, b + 1; c + 1; x ),

легко видеть, что дифференциальное уравнение Эйлера для можно представить в виде одного из этих итерированных соотношений для смежных функций. Это разностное уравнение было дано Гауссом в конце его единственной опубликованной работы по гипергеометрическим функциям. В своей второй работе, которая так и не была издана при его жизни, Гаусс, рассматривая это уравнение как дифференциальное уравнение, получил большую часть явных формул, которые можно вывести непосредственно из этого уравнения. К ним относятся квадратичные преобразования, играющие очень важную роль в целом ряде проблем. Чтобы лучше понять значение этих преобразований, необходимо напомнить ещё о двух важных открытиях

Первым из них было изучение эллиптических интегралов, которыми занимались Фаньяно, Эйлер, Ланден и Лежандр, а также введение Лагранжем и Гауссом понятия арифметико-геометрического среднего. Вторым открытием было введение Лежандром и Лапласом сферических функций и многочленов Лежандра. Исследование эллиптических интегралов привело к эллиптическим функциям, которыми последние три четверти интенсивно занимались Абель, Якоби, Эйзенштейн, Вейерштрасс, Эрмит и многие другие. Второе открытие непосредственно связано с некоторыми алгебраическими подходами к исследованию специальных функций, которые были разработаны за последние пятьдесят лет. Миттаг-Лефлер [7] дал прекрасный исторический обзор первых работ по эллиптическим интегралам. В этой работе описывается преобразование Ландена в том виде, в каком его дал Лагранж; Миттаг-Лефлер приводит также квадратичные преобразования Гаусса эллиптических интегралов первого рода. Интерес Лагранжа к эллиптическим интегралам объяснялся его желанием вычислить величину некоего важного интеграла. Гаусс сначала исследовал последовательности заметив, что они сходятся, он нашёл величину, к которой они сходятся при b 0 = 1, и наконец вычислил предел в общем виде. Используя этот результат, Гаусс получил ещё два результата, а именно ввёл лемнискатические функции, являющиеся специальными эллиптическими функциями, и ввёл два квадратичных преобразования общего вида обыкновенной гипергеометрической функции с различными ограничениями на один из параметров. Эти функции образуют очень важный подкласс общего вида, поскольку, будучи умноженными на соответствующую алгебраическую функцию, они в точности составляют класс гипергеометрических рядов, которые мы называем функциями Лежандра.

Многочлены Лежандра интенсивно изучались в восьмидесятых годах Лежандром и Лапласом. Эти многочлены были введены следующим образом. Функция даёт значение в потенциала силы, обратно пропорциональной квадрату расстояния от здесь r и c — расстояния от P и C до фиксированной а θ — угол между Разлагая эту функцию в степенной ряд получаем

где P n ( x ) — многочлен степени n от x , называемый многочленом Лежандра. Лежандр и Лаплас вывели для этих многочленов следующие формулы:

Присоединённые функции Лежандра определяются соотношениями

Ещё раньше Лагранж получил эти же многочлены как решения разностного уравнения

Каждая из приведённых выше формул — только одна из обширного класса формул для специальных функций более общего вида. Чтобы продемонстрировать эти формулы, мы ниже приведём соответствующие результаты для тригонометрических функций, а затем укажем условия их применения. Поскольку многочлен от рассмотрим функцию определяемую соотношением

Соотношения ортогональности (L.1) и (T.1) являются фундаментальными. Поскольку и — многочлены, эти многочлены ортогональны. Для любого семейства многочленов от одной переменной, ортогонального относительно некоторой положительной меры, выполняется трёхчленное рекуррентное соотношение

где A n –1 C n > 0 и B n — вещественная величина. Обратно, любое множество многочленов, удовлетворяющих этому рекуррентному соотношению, ортогонально относительно некоторой положительной меры, если и вещественная величина. Если и то эти многочлены ортогональны относительно положительной меры, носитель которой состоит лишь из конечного числа точек. Данное рекуррентное соотношение напоминает одно из соотношений Гаусса для смежных функций в ряде случаев можно показать, что это соотношение является вариантом одной из формул Гаусса или итерацией этих формул. В других случаях получаются иные гипергеометрические ряды: либо либо где удовлетворяющие соотношениям для смежных функций более общего вида, которые приводят к ортогональным многочленам. Теперь переменная многочлена стоит на месте одного из параметров или нескольких параметров, а не является переменной степенного ряда. По этой причине, а также в силу нашего исключительного интереса к степенным рядам изучением и применением этих многочленов стали заниматься с некоторым опозданием.

Одна из причин, объясняющих полезность функций cos θ и sin θ, состоит в их тесной связи с окружностью. Для доказательства формулы (T.5) самым простым способом надо сделать поворот окружности. Такое доказательство было дано Коши. Подобным же образом, чтобы доказать формулу сложения (L.5) для надо рассмотреть группу поворотов, действующую на сфере

Чтобы разобраться в ситуации, рассмотрим сначала окружность. можно разложить в ряд Фурье

где

Это разложение можно использовать для построения гармонической функции в круге принимающей заданные значения на границе. Пусть

где x = r cos θ, y = r sin θ. Тогда будет гармонической функцией, т.е.

∂ x 2+∂ 2 u

∂ y 2= 0

и

если функция f (θ) непрерывна при

Подобная задача существует и для трёх переменных, и решается она аналогичным образом. Прежде всего необходимо найти семейство функций, удовлетворяющих уравнению Лапласа

∂ x 2+∂ 2 u

∂ y 2+∂ 2 u

∂ z 2= 0

в шаре Для этого вводятся сферические координаты а затем находятся решения уравнения Лапласа вида Можно взять или и Функции и являются однородными многочленами Подобным образом и являются однородными гармоническими линейно независимыми многочленами Существует 2 n + 1 таких многочленов, и именно это число стоит в знаменателе в формуле (L.1). Подобным образом функции и линейно независимы при и во всех этих случаях существуют обе функции; если же то имеется только одна из этих функций. Этим обстоятельством объясняется вид дробей в правой части (T.1). Далее, при помощи этих однородных гармонических многочленов гармоническая функция в шаре с заданными граничными значениями строится точно так же, как и в случае окружности, поскольку функции и образуют полную ортогональную систему.

Формула (L.3) является основным функциональным уравнением, которому удовлетворяет зональная сферическая гармоника («зональная» означает «не зависящая от зональные сферические гармоники мы называем сферическими функциями. При более общей постановке вопроса необходимым условием возникновения таких сферических функций является наличие метрического пространства и действующей на этом пространстве. Это пространство должно быть однородно в том смысле, что в результате действия группы любая точка отображается в любую другую точку. Кроме того, это пространство должно обладать следующим свойством: если то имеется элемент такой, что О таких пространствах говорят, что они двуточечно однородны. Кроме сферы и сфер любой размерности, вещественные проективные пространства, комплексные проективные пространства, кватернионные проективные пространства, а также двумерное проективное пространство над числами Кэли являются компактными двуточечно однородными римановыми многообразиями. Во всех этих случаях сферические функции являются ортогональными многочленами от переменной, зависящей от расстояния. Каждый из этих ортогональных многочленов является также гипергеометрической функцией вида при некоторых в случае (L.1a) даёт размер орбиты малой получающийся в результате поворота, при котором северный полюс неподвижен.

Имеются и другие компактные двуточечно однородные пространства. Для наглядности рассмотрим множество вершин единичного куба В этом случае сферические функции также являются ортогональными многочленами, причём ортогональны они относительно симметрического биномиального распределения поскольку это распределение даёт размер орбиты любой точки с и единицами, получаемый в результате действия на это пространство октаэдральной группы, оставляющей неподвижной точку Эти ортогональные многочлены также являются гипергеометрическими функциями а связывающее их трёхчленное рекуррентное соотношение является одним из соотношений Гаусса для смежных функций. Эти многочлены называются многочленами Кравчука (хотя введены они были почти сто лет тому назад Грэмом) и играют важную роль в теории кодирования, которой посвящён третий том настоящей Энциклопедии («Теория информации и кодирования»).

Дифференциальные уравнения (L.4), (T.4) и (T.4a) получаются при решении уравнения Лапласа методом разделения переменных. Формулы сложения (L.5) и (T.5) относятся к наиболее важным из известных для этих функций формул. Для большинства двуточечно однородных пространств, где для сферических функций найдены явные формулы, имеется формула сложения, являющаяся неким ортогональным разложением и содержащая функциональное уравнение в качестве постоянного члена. Например, проинтегрировав (L.5) по по и применив формулу (T.1a), мы получим (L.3). Наиболее естественный способ вывода формул сложения этого типа состоит в том, что мы используем действие группы на это пространство. Фактически этим же методом пользовались Лежандр и Лаплас двести лет тому назад.

Другим важным классом функций, введённым в XVIII столетии, являются функции Бесселя. Функции Бесселя первого можно определить следующим соотношением:

После элементарных трансцендентных функций эти функции изучались наиболее интенсивно и нашли применение во многих областях, где применяется математика. Они тесно связаны с функциями Лежандра, и изучением этой связи занимались многие учёные. Простым примером такой связи является формула Мелера

Эту формулу можно интерпретировать следующим образом: будем рассматривать многочлены Лежандра как сферические функции на сфере большого радиуса и посмотрим, что происходит в окрестности северного полюса. Сфера при этом уплощается, и это наводит на мысль, что функция должна играть ту же роль что и функция Аналоги зональных функций называются радиальными функциями, т.е. функциями, зависящими только от расстояния от начала координат. Пуассон установил следующий важный факт: если и

то

Следующим важным этапом в исследовании специальных функций было введение Якоби и Абелем эллиптических функций и (Исторический обзор можно найти в работе Миттаг-Лефлера.) После введения этих функций был сделан целый ряд открытий, которые позволили несколько изменить наш взгляд на этот предмет. Важным достижением было введение Гейне класса рядов, аналогичных гипергеометрическим рядам. Напомним, что гипергеометрическим рядом называется где — рациональная функция Ряды, введённые Гейне, имеют где — рациональная функция для некоторого фиксированного q . Роль, которую в гипергеометрическом ряде играет сдвинутый факториал теперь исполняет

Если | q | , то

определяется для нецелочисленных значений n , пока имеет место соотношение Эйлер вычислил два ряда

Эти равенства суть частные случаи q -биномиальной теоремы

приписываемой различным учёным. Гейне получил этот результат, когда предложил основной аналог функции в 1847 году, Коши опубликовал доказательство несколькими годами ранее, а Якоби ссылается на работу Швейнса 1820 года. Эта формула приводится в работе Швейнса, но последний ссылается на более раннюю работу Роте. К сожалению, я не знаком с работой Роте и не могу подтвердить, что эта теорема действительно была известна уже в 1811 году, как утверждает Швейнс; впрочем, вполне вероятно, что он прав, так как в 1811 году Гаусс опубликовал формулы, связанные с этим результатом.

Одним из наиболее важных рядов является ряд

сумма которого представляет собой известную тэта-функцию. Этот результат был не первым примером билатерального ряда (ряда, бесконечного в обоих направлениях), поскольку

и

тем не менее это было весьма плодотворным открытием. Первоначально Якоби, исследуя эллиптические функции в Fundamenta Nova Theoriae Functionum Ellipticarum получил результаты для (как следствия результатов для эллиптических функций). Позднее он обратил эту процедуру и использовал чтобы получить результаты для эллиптических функций. Функция появилась в работе Фурье, посвящённой анализу уравнения теплопроводности, а Пуассон получил очень важное преобразование этой функции, но тот факт, что эта функция является фундаментальной, установил и объяснил Якоби. Недавно для этой функции были получены новые результаты, позволяющие применить к ней теоретико-групповые методы исследования, подобные тем, которые были указаны нами выше. Соответствующей группой является трёхмерная группа Гейзенберга, т.е. группа матриц

(см. работу Картье [5], а также Ауслендера и Толимьери [1]).

Другими примерами аналогов гипергеометрических рядов являются многочлены, получающиеся как сферические функции на дискретных двуточечно однородных пространствах в результате действия на эти пространства некоторых групп Шевалле. Пока ещё рано говорить, какое значение будут иметь эти функции, но я твёрдо уверен, что, развивая эту идею, мы получим важные результаты. В XIX столетии эллиптические функции были исследованы самым подробным образом и, казалось бы, заняли определённое место в математическом образовании. Усилия учёных постигнуть смысл этих функций породили много идей. Однако сами эти функции оказались не столь полезными, как можно было ожидать, и поэтому их место в общепринятых программах обучения математике заняли другие, представляющиеся более полезными понятия, и в течение десятилетий эллиптические функции были известны лишь ограниченному кругу учёных-теоретиков, некоторым специалистам, занимающимся прикладными вопросами, и немногим инженерам. В настоящее время каждый, кто изучает и применяет комбинаторный анализ, стремится узнать как можно больше об упомянутых выше аналогах гипергеометрических рядов. Сюда можно отнести специалистов в области статистики, занимающихся блочным планированием, и многих специалистов, которые изучают и применяют в своей работе вычислительные алгоритмы. Эти ряды играют важную роль в теории разбиений, которой посвящён второй том («Теория разбиений») настоящей Энциклопедии.

Большим вкладом в развитие учения о специальных функциях в прошлом столетии было введение дифференциальных уравнений более чем с тремя регулярными особыми точками. Риман заметил, что дифференциальное уравнение Эйлера

имеет регулярные особые точки в x = 0, 1, ∞ и что при помощи дробно-линейного преобразования эти особые точки можно переместить в три произвольные точки. Полученное в результате дифференциальное уравнение определяется положением этих особых точек и некоторыми параметрами, характеризующими природу решений в окрестности этих точек. Риман показал простой способ получения результатов Гаусса, Куммера и некоторых результатов Якоби, относящихся к гипергеометрическим рядам, и нашёл кубическое преобразование, которое до сих пор ещё не понято. Однако истинная ценность его работы состоит в установлении того факта, что особые точки дифференциального уравнения дают гораздо больше информации о его решении, чем это предполагалось. Впоследствии были предложены и другие дифференциальные уравнения, например уравнения Хойна, Матье, Ламе и уравнения для сфероидальных волновых функций, часто получающиеся при разделении переменных в волновом уравнении или уравнении Лапласа, вследствие которого эти уравнения сводятся к обыкновенным дифференциальным уравнениям. Решения этих уравнений являются интересными специальными функциями, значительно более сложными, чем гипергеометрические функции. До сих пор всё ещё непонятно, какой подход к изучению этих функций является наилучшим, и можно надеяться, что алгебраические методы, предлагаемые Миллером в его книге, дадут нам возможность действительно понять эти важные функции.

Аппель ввёл гипергеометрические функции от двух переменных и установил для них результаты, аналогичные некоторым результатам, полученным для обычных гипергеометрических функций. Однако, несмотря на то что мы обладаем рядом методов, позволяющих плодотворно исследовать некоторые аспекты этой проблемы, истинное понимание гипергеометрических функций от двух переменных остаётся делом будущего.

Пинчерле, а впоследствии Меллин и Варне предложили новый способ изучения гипергеометрических рядов и функций. Они проинтегрировали отношения и без труда получили аналитические продолжения гипергеометрических функций. Интегралы рассмотренного ими вида встречаются во многих работах, начиная с ранней работы Мелера, посвящённой проблемам теории электричества с конической симметрией, и кончая работой Баргманна о представлениях группы Лоренца.

Пуанкаре, исследуя автоморфные функции, получил важные обобщения эллиптических функций. Было предложено несколько способов обобщения этих функций на несколько переменных. Одним из наиболее плодотворных из них оказался предложенный Зигелем метод, в котором используются функции матричного аргумента. от матричного аргумента были введены несколько раньше Ингамом в связи с его работами по статистике. С точки зрения специальных функций, используемых в прикладной математике, основную пользу от автоморфных функций, возможно, мы получим в виде методов, которые могут быть применены для развития теории функций от многих переменных; хотя теория гипергеометрических функций и аналогичных им функций Гейне от нескольких переменных почти не разработана, мы имеем достаточно результатов, чтобы понять, что можно получить ещё много фундаментальных результатов. Хорошим примером может служить недавно вышедшая работа Макдональда, посвящённая соотношениям, подобным тройному произведению для которые он получил из аффинных систем корней классических Как гипергеометрические функции от нескольких переменных можно рассматривать интегралы Фейнмана а также применяющиеся для разложения тензорных произведений представлений И те и другие очень полезны и тем не менее ещё мало исследованы. Таким образом, положение в этой области математики нисколько не отличается от положения в других областях этой науки; необходимо как можно быстрее ответить на все вопросы, связанные со специальными функциями от многих переменных.

До сих пор мы не дали определения термина «специальная функция». Я даю простое, но не инвариантное относительно времени определение: функция называется специальной, если она встречается настолько часто, что ей присваивается название. Имеется целый ряд очень важных специальных функций, которые не укладываются в изложенную выше схему, например Римана, которая играет основную роль в изучении простых чисел и в решении многих других теоретико-числовых проблем. Другим примером таких функций могут служить многочлены Бернулли и числа Бернулли. Числа Бернулли были введены в целях вычисления рядов, а теперь они часто встречаются в совершенно неожиданных ситуациях.

Гарри Бейтмен составил список более чем тысячи специальных функций. И, хотя многие из этих функций являются частными случаями гипергеометрических рядов и нет никаких оснований присваивать им особые названия, поскольку все установленные для этих функций факты являются частными случаями результатов, известных для гипергеометрических рядов более общего вида, совершенно очевидно, что многие функции заслуживают того, чтобы о каждой из них были написаны отдельные книги. Некоторые из этих функций обладают столь интересными свойствами и встречаются настолько часто, что каждое поколение математиков непременно заново начинает исследовать их и регистрировать полученные результаты, с тем чтобы ими могли пользоваться другие. Пока нельзя точно сказать, какие книги по специальным функциям выйдут в настоящей серии, но в настоящее время не существует надлежащего подхода к гипергеометрическим рядам и их аналогам, введённым Гейне. Имеется несколько в которых применяется алгебраический подход к исследованию специальных функций, но ни в одну из них не включены очень интересные исследования унитарной группы, которые приводят к формулам сложения для многочленов Якоби и Лагерра и для круговых многочленов, образующих важный класс ортогональных многочленов от двух переменных. Дискретные ортогональные многочлены тоже рассматриваются неадекватным образом. Всё это — материал для будущих книг.

Существует также ряд очень интересных приложений специальных функций к комбинаторным задачам, лишь частично рассмотренных в упомянутых выше втором и третьем томах настоящей Энциклопедии. И подождём дальнейших открытий. Опыт подсказывает, что нас ожидают удивительные открытия в этой области математики. Такие открытия можно предсказывать ретроспективно, но не заранее.

Ауслендер, Толимьери (Auslander L., Tolimieri R.). Abelian harmonic analysis, theta functions and function algebras on a nilmanifold. — Lecture Notes in Mathematics, No. 436. — Berlin: Springer, 1975.2.

Биденхарн, ВанДам (Biedenharn L. C., VanDam H.). Quantum theory of angular momentum. — New York: Academic Press, 1965.3.

Виленкин Н. Я. Специальные функции и теория представлений групп. — М.: Наука, 1965.4.

Голубева В. А. Некоторые задачи аналитической теории интегралов Фейнмана. — 1976, т. 31, УМН, 1976, т. 31,5.

Картье (Cartier P.). Quantum mechanical commutative relations and theta functions. — In: Proc. Symp. Pure — Providence: Amer. Math. Soc., 1965,6.

Миллер (Miller W., Jr.). Lie theory and special functions. — New York: Academic Press, 1968.7.

Миттаг-Лефлер (Mittag-Leffler G.). An introduction to the theory of elliptic functions. — Ann. of Math., Ser. 2, v. 24, 1923, (Перевод работы, впервые опубликованной в8.

Толмен (Talman J. D.). Special functions, a group theoretic approach. — New York: W. A. Benjamin, 1968.

В этой книге рассматривается связь между операторами симметрии линейного дифференциального уравнения в частных производных второго порядка, системами координат, в которых это уравнение допускает решения с разделёнными переменными, и свойствами получающихся при этом специальных функций. Книга рассчитана на широкий круг специалистов, занимающихся дифференциальными уравнениями в частных производных, специальными функциями и теорией т.е. специалистов в области теории групп, прикладных вопросов математики, теоретической физики и химии, а также инженеров. Мы продемонстрируем, как в старый метод разделения переменных вводятся некоторые современные теоретико-групповые приёмы, применение которых может дать нам основу для теории специальных функций, В частности, мы покажем в явном виде, что все специальные функции, получающиеся в процессе разделения переменных в уравнениях математической физики, можно изучать при помощи теоретико-групповых методов. Это относится к функциям Ламе, Айнса, Матье и другим функциям, включая функции гипергеометрического типа.

Сейчас в истории применения теоретико-групповых методов к теории специальных функций наступил критический момент. Основные связи между группами Ли, специальными функциями и методами разделения переменных были выяснены совсем недавно. Теперь появилась возможность сконструировать некий теоретико-групповой алгоритм, который, будучи применённым к заданному дифференциальному уравнению, сможет дать рациональное описание возможных систем координат, допускающих решения с разделёнными переменными, и различные теоремы разложений, связывающие решения с разделёнными переменными (специальные функции), полученные в различных системах координат. Действительно, для большинства важных линейных уравнений решения с разделёнными переменными являются общими собственными функциями множеств коммутирующих операторов второго порядка из универсальной обвёртывающей алгебры симметрии, соответствующей этому уравнению. Задача разложения одной системы решений с разделёнными переменными по элементам другой сводится к задаче теории представлений алгебры Ли симметрии.

Несмотря на простоту, элегантность и полезность этого метода, он пока применялся к сравнительно немногим дифференциальным уравнениям. (Во время работы над настоящей книгой волновое уравнение всё ещё интенсивно изучалось.) Кроме того, пока что доказано мало теорем, раскрывающих все возможности этого метода. Автор надеется, что настоящая работа, рассчитанная на широкий круг специалистов, сможет убедить читателя в исключительной полезности и уместности теоретико-групповых методов при изучении разделения переменных и специальных функций. Можно также надеяться, что эта работа вызовет у некоторых читателей интерес к данной области математики и что со временем мы получим от них ответы на многие ещё не решённые задачи.

Идеи, связывающие группы Ли, специальные функции и разделение переменных, исходят из различных источников. Первая глубокая работа, в которой изучались связи теории представлений групп со специальными функциями, обычно приписывается Картану [65]. Однако первые подробные указания на использование этих связей в вычислительных целях, возможно, дают работы Вигнера. Вигнер начал работать в этой области ещё в тридцатых годах, а в в конспектах лекций, прочитанных в Принстонском университете, он изложил полученные им результаты. Впоследствии эти результаты были обобщены и усовершенствованы в книге Толмена [122].

Следующий большой вклад в теорию вычислений внёс Виленкин, который, начиная с выпустил целую серию работ, основные результаты которых изложены в его книге [37]. Этот энциклопедический труд создавался под сильным влиянием явных конструкций неприводимых представлений классических групп, предложенных Гельфандом и Наймарком (см., например, [44]). Виленкин (и Вигнер) получил специальные функции в виде матричных элементов операторов, определяющих неприводимые представления групп.

Ещё одним предшественником нашей теории явился метод факторизации. Данный метод был предложен Шрёдингером, который применил его к решению не зависящего от времени уравнения Шрёдингера для ряда систем, представляющих определённый интерес с физической точки зрения (см., например, [141]). Это полезное орудие вычисления собственных функций и рекуррентных соотношений для решения обыкновенных дифференциальных уравнений второго порядка было разработано несколькими авторами, включая Инфельда и Халла [51], которые дали обзор состояния теории на Совершенно независимая и несколько иная разработка этой теории дана в работе Инуи [50].

Автор настоящей книги также внёс определённый вклад в развитие этой теории, показав в [81], что метод факторизации эквивалентен теории представлений

Другой подход к решению проблем, рассматриваемых в настоящей книге, был предложен и разработан Вейснером в его замечательных работах первая из которых появилась в Вейснер раскрыл теоретико-групповой смысл семейств производящих функций для гипергеометрических функций, функций Эрмита и функций Бесселя. В этих статьях можно также найти примеры допускающих разделение переменных систем координат, описанных при помощи операторов симметрии алгебры Ли. Теория Вейснера получила дальнейшее развитие и была связана с методом факторизации в монографии [83] автора настоящей книги, где рассматривалась главным образом теория локальных групп Ли, а не теория глобальных групп Ли, как в работах Толмена и Виленкина.

Необходимо также сказать несколько слов о монографии Трусделла [123], посвящённой в которой показан способ прямого получения производящих функций и интегральных представлений для специальных функций, если известны дифференциальные рекуррентные соотношения, которым эти специальные функции удовлетворяют. В было установлено, что метод Трусделла вполне соответствует теоретико-групповому подходу к изучению специальных функций [83].

Основная идея настоящей работы состоит в том, что системы координат, допускающие разделение переменных для линейных дифференциальных уравнений в частных производных второго порядка, можно охарактеризовать при помощи систем операторов симметрии второго порядка для этих уравнений. Эта идея вполне естественна с квантово­механической точки зрения. Кроме того, уже с тех пор, как появилась работа Ли, известно, что данная идея справедлива для некоторых простых систем координат, таких, как сферические, цилиндрические и декартовы, т.е. систем координат, связанных с некоей подгруппой.

Для некоторых важных уравнений Шрёдингера, например уравнения для атома водорода, известен способ операторной характеристики некоторых неподгрупповых систем координат [10, 71]. Но явное утверждение о связи между операторами симметрии и разделением переменных впервые появилось лишь в в работе Винтернитца и Фриша [40], которые дали теоретико-групповую характеристику допускающих разделение переменных систем координат, соответствующих уравнениям на собственные значения для операторов Лапласа–Бельтрами на двумерных пространствах с постоянной кривизной. Эта работа была продолжена Винтернитцем (см. [38, 39, 79, 108]). И наконец, автор настоящей книги в сотрудничестве с Бойером и Калнинсом дал теоретико-групповую классификацию систем координат, допускающих разделение переменных для целого ряда важных уравнений в частных производных, и исследовал связь между этой классификацией и теорией специальных функций. Интересной особенностью этой работы, которой мы обязаны Калнинсу, было открытие целого ряда допускающих разделение переменных систем координат, не указанных в работе [101], на которую обычно ссылаются все авторы. Другой особенностью этой работы является разработка теоретико-группового метода, позволяющего получать тождества для негипергеометрических специальных функций, таких, как функции Матье, Ламе, сфероидальные функции, функции Айнса, функции ангармонического осциллятора, а также для более известных гипергеометрических функций.

Для понимания настоящей книги необходимо некоторое знакомство с группами и алгебрами Ли (точнее, с гомоморфизмом и изоморфизмом групп и алгебр Ли); необходимые знания могут дать работы [45, 86]. Однако рассматриваемые нами примеры просты и должны быть понятны всем, кто хотя в мере знаком с теорией Ли. Предполагается также, что читатель имеет некоторый опыт в решении дифференциальных уравнений в частных производных методом разделения переменных, скажем, в прямоугольных, полярных и сферических координатах.

В силу недостатка места, времени и компетенции автора мы были вынуждены опустить некоторые темы; наиболее важное место среди них занимает теория сферических функций на группах. Этой теме, которая является обобщением теории сферических гармоник, посвящена обширная литература (см., например, [126, 131]). Кроме того, недавно при помощи сферических функций была получена формула сложения для многочленов Якоби [69, 138]. Но сферические функции всегда связаны с координатами подгрупп, поэтому для большинства даже элементарных уравнений, рассматриваемых в настоящей книге, они не могут охватить все специальные функции, получающиеся в процессе разделения переменных.

Краевые задачи также не рассматриваются, хотя при их решении метод операторов симметрии имеет большое значение (см. [19]). В последней работе, а также в работах [106, 144, 145] рассматривается применение метода операторов симметрии к решению нелинейных дифференциальных уравнений в частных производных; этот вопрос нами не рассматривался, так как окончательного мнения по нему пока нет.

Я искренне благодарен Полю Винтернитцу за полезные обсуждения основных концепций, связывающих симметрию и разделение переменных. И в заключение я выражаю свою признательность Чарльзу Бойеру и Эрни Калнинсу, без творческого сотрудничества с которыми эта книга не была бы написана.

Глава 1
УРАВНЕНИЕ ГЕЛЬМГОЛЬЦА

Основные идеи, связывающие группу симметрии некоторого линейного дифференциального уравнения в частных производных и системы координат, в которых данное уравнение допускает решения с разделяющимися переменными, можно легко продемонстрировать на конкретных примерах. Наиболее простым нетривиальным примером, подходящим для этой цели, очевидно, является приведённое волновое уравнение, или уравнение Гельмгольца,

где ω — некоторая вещественная положительная константа и

(Здесь ∂ xx Ψ — частная производная второго порядка по

В этой главе мы дадим подробный анализ группы симметрии уравнения (0.1), решений с разделяющимися переменными этого уравнения, а также уравнений, с ним связанных; в дальнейшем этот анализ будет служить нам основой в подобных исследованиях гораздо более сложных задач.

На данном этапе мы рассмотрим только такие решения Ψ уравнения (0.1), которые определены на некотором открытом связном множестве D и аналитичны относительно вещественных переменных (Здесь D , например, можно выбрать так, чтобы оно совпадало с этой плоскостью.) Множество всех таких решений Ψ образует векторное (комплексное) пространство т.е. если и то и если то Фиксируя D в нашем анализе, назовём F 0 пространством решений уравнения (0.1).

Пусть F — векторное пространство всех комплекснозначных функций, определённых и вещественно-аналитических и пусть Q — дифференциальный оператор в частных производных:

определённый на D . Ясно, что при такое подпространство векторного которое является ядром, или линейного

Известно, что если Ψ( x ), x = ( x , y ), является некоторым решением уравнения (0.1), то где — вещественный двумерный вектор, и где

также будут решениями этого уравнения. (Точку x следует выбирать так, чтобы и x O лежали с тем чтобы имели смысл при вычислении их в Таким образом, переносы в рассматриваемой плоскости и повороты относительно начала координат отображают решения уравнения (0.1) в решения. Эти переносы и повороты порождают — группу движений евклидовой полости, или евклидову группу , элементы которой суть движения фигуры как твёрдого тела в данной плоскости. Как мы покажем в дальнейшем, использование евклидовой симметрии уравнения (0.1) даёт возможность просто доказать многие факты относительно решений уравнения Гельмгольца. Ниже мы дадим доказательство того, что уравнение (0.1) допускает евклидову группу движений, и покажем, что в определённом смысле представляет собой максимальную группу симметрии этого уравнения.

Линейный дифференциальный оператор

называется оператором симметрии для уравнения Гельмгольца, если

где [ L , Q ] = LQ – QL — коммутатор операторов L и Q , а аналитическая функция зависит Напомним, что (Соотношение (1.2) означает, что оператор справа и оператор слева, будучи применёнными к любой функции дают один и тот же результат.)

Пусть G — множество всех операторов симметрии уравнения Гельмгольца.

Теорема 1.1. Оператор симметрии L отображает решения уравнения (0.1) в решения, т.е. если то

СПИСОК ЛИТЕРАТУРЫ

Айнс Э. Л. Обыкновенные дифференциальные уравнения. — Харьков: Гос. Украины, 1939. [ Есть переиздание от 2005 года, выпущенное издательством «Факториал». Кстати, забавно, что, когда я делал в августе 2011 года доклад по модам Айнса–Гаусса на конференции, посвящённой английского математика и физика Майкла Берри, то юбиляр поправил меня: «Не Айнс, а Инс», а когда я стал говорить, что у нас в России на обложке книги по ОДУ написано Айнс, он пожал плечами и добавил: «Вы, конечно, можете говорить как привыкли, но Эйнштейн говорил ‘Инс’». Вот ]

Альфорс (Ahlfors L). Complex analysis. — New York: 1953.

Андерсон, Кумеи, Вульфман (Anderson R., Kumei S., Wulfman C.). Invariants of the equations of wave mechanics, I, II. — Rev. Mexicana Fis., 1972, t. 21, 1–33, 35–57.

Аппель, Кампе де Ферье (Appell P., Kampe de Feriet J.). Functions hypergéometriques et hypersphériques. — Paris: Gauthiers-Villars, 1926.

Армстронг (Armstrong L., Jr.). Group properties of radial wavefunctions. — J. Phys. Colloq., C4, Suppl., 1970, v. 31, 17–23.

— O (2,1) and the harmonic oscillator radial function. — J. Math. Phys., 1971, v. 12, 953–957.

Арскотт (Arscott F.). Periodic differential equations. — New York: Macmillan (Pergamon), 1964.

— The Whittaker–Hill equation and the wave equation in paraboloidal coordinates. — Proc. Roy. Soc. Edinburgh, 1967, v. A67, 265–276.

Ахиезер Н. И., Глазман И. И. Теория линейных операторов в гильбертовом пространстве. — Гостехиздат, 1950.

Баргманн (Bargmann V.). Zur Theorie des Wasser­stoff­atoms. — Z. Physik, 1936, B. 99, 576–582.

— Irreducible unitary represetations of the Lorentz group. — Ann. of Math., 1947, v. 48, 568–640.

— On a Hilbert space of analytic functions and an associated integral transform, I. — Comm. Pure Appl. Math., 1961, v. 14, 187–214.

Бейтмен (Bateman H.). Electrical and optical wave-motion. — New York: Dover, 1955.

— Partial differential equations of mathematical physics. — London and New York: Cambridge Univ. Press, 1969.

— The transformation of the electrodynamical equations. — J. London Math. Soc., 1909, v. 8, 223–264.

Бейтмен Г., Эрдейи А. Высшие трансцендентные функции, т. 1. — M.: Наука, 1973.

— — Высшие трансцендентные функции, т. 2. — М.: Наука, 1974.

Блумен, Коул (Blumen G., Cole J.). The general similarity solution of the heat equation. — J. Math. and Mech., 1969, v. 18, 1025–1042.

Similarity methods for differential equations. — Applied Mathematical Sciences, v. 13. — New York: Springer, 1974.

Бойер (Boyer C.). The maximal kinematical invariance group for an arbitrary potential. — Helv. Phys. Acta, 1974, v. 47, 589–605.

— Lie theory and separation of variables for the equation — SIAM J. Math. Anal., 1976, v. 7, 230–263.

Бойер, Вольф (Boyer C., Wolf B.). Finite SL (2,R) representation matrices of the for all subgroup reductions. — Rev. Mexicana Fis., 1976, t. 25, 31–45.

Бойер, Калнинс, Миллер (Boyer C., Kalnins E., Miller W., Jr.). Lie theory and separation of variables, 6: The equation — J. Math. Phys., 1975, v. 16, 499–511.

— — — Lie theory and separation of variables, 7: The harmonic oscillator in elliptic coordinates and Ince polynomials. — J. Math. Phys., 1975, v. 16, 512–517.

— — — Symmetry and separation of variables for the Helmholtz and Laplace equations. — Nagoya Math. J., 1976, v. 60, 35–80.

Бойер, Миллер (Boyer C., Miller W., Jr.). A classification of second-order raising operators for Hamiltonians in two variables. — J. Math. Phys., 1974, v. 15, 1484–1489.

Бохер (Bôcher M.). Die Reihenentwickelungen der Potentialtheorie. — Leipzig: 1894.

Брэгг (Bragg L.). The radial heat polynomials and related functions, — Trans. Amer. Math. Soc., 1965, v. 119, 270–290.

Буххольц (Buchholz H.). The confluent hypergeometric function. — New York: Springer, 1969.

Вайнстейн (Weinstein A.). The generalized radiation problem and the Euler–Poisson–Darboux equation. — Summa Brasil. Math., 1955, t. 3, 125–146.

— On a Cauchy problem with subharmonic initial values. — Ann. Mat. Pura Appl. (4), 1957, t. 43, 325–340.

Ватсон Г. Теория бесселевых функций. — М.: ИЛ, 1949.

Вейснер (Weisner L.). Group-theoretic origin of certain generating functions. — Pacific J. Math., 1955, v. 5, 1033–1039.

— Generating functions for Bessel functions. — Canad. J. Math., 1959, v. 11, 148–155.

— Generating functions for Hermite functions. — Canad. J. Math., 1959, v. 11, 141–147.

Вигнер Е. Теория групп и её приложения в квантовомеханической теории атомных спектров. — М.: ИЛ, 1961.

Виленкин Н. Я. Специальные функции и теория представления групп. — М.: Наука, 1965.

Винтернитц П., Лукач И., Смородинский Я. А. Квантовые числа в малых группах группы Пуанкаре. — Ядерная физика, 1968, т. 7, вып. 1, 192–201.

Винтернитц П., Смородинский Я. А., Улир М., Фриш И. Группы симметрии в классической и квантовой механике. — Ядерная физика, 1968, т. 7.

Винтернитц П., Фриш И. Инвариантные разложения релятивистских амплитуд и подгруппы собственной группы Лоренца. — Ядерная физика, 1965, т. 1, вып. 5, 889–901.

Висванатан (Viswanathan B.). Generating functions for ultraspherical functions. — Canad. J. Math., 1968, v. 20, 120–134.

Гельфанд И. М., Виленкин Н. Я. Обобщённые функции. Вып. 4. Некоторые применения гармонического анализа. Оснащённые гильбертовы пространства. — М.: Физматгиз, 1961.

Гельфанд И. М., Минлос Р. А., Шапиро З. Я. Представление группы вращений и группы Лоренца, их приложения. — М.: Гостехиздат, 1958.

Гельфанд И. М., Наймарк М. А. Унитарные представления классических групп. — Труды Мат. им. Стеклова, т. 36. — 1950.

Гилмор P. (Gilmore R.). Lie groups, Lie algebras and some of their applications. — New York: Wiley, 1974.

Гросс Л. (Gross L.). Norm invariance of mass-zero equations under the conformal group. — J. Math. Phys., 1964, v. 5, 687–695.

Давыдов А. С. Квантовая механика. — M.: Наука, 1973.

Данфорд Н., Шварц Дж. Т. Линейные операторы. Ч. 1. — М.: ИЛ, 1962; Ч. 2. — М.: Мир, 1966.

Дирак (Dirac P.). Discussion of the infinite distribution of electrons in the theory of the positron. — Proc. Cambridge Phil. Soc., 1934, v. 30, 150–163.

Инуи (Inoui T.). Unified theory of recurrence formulas. — Progr. Theoret. Phys., 1948, v. 3, 169–187, 244–261.

Инфельд, Халл (Infeld L., Hull T.). The factorization method. — Revs. Mod. Phys., 1951, v. 23, 21–68. [ Есть русский перевод: Л. Инфельд и Т. Е. Халл. Метод факторизации. — сб. переводов «Математика», 1966, т. 10, № 3, с.39–125. ]

Иосида (Yosida K.). Lectures on differential and integral equations. — New York: Wiley (Interscience), 1960.

Калнинс (Kalnins E.). Mixed-basis matrix elements for the subgroup reductions of SO (2,1). — J. Math. Phys., 1973, v. 14, 654–657.

— On the separation of variables for the Laplace equation in two- and three-dimensional Minkowski space. — SIAM J. Math. Anal., 1975, v. 6, 340–374.

Калнинс, Миллер (Kalnins E., Miller W., Jr.). Symmetry and separation of variables for the heat equation. — In: Proc. Conf. on Symmetry, Similarity and Group-Theoretic Methods in Mechanics. — Univ. of Calgary, Canada, 1974, p. 246–261.

— — Lie theory and separation of variables, 3: The equation — J. Math. Phys., 1974, v. 15, 1025–1032; «Erratum». — J. Math. Phys., 1975, v. 16, 1531.

— — Lie theory and separation of variables, 4: The groups SO (2,1) and SO (3). — J. Math. Phys., 1974, v. 15, 1263–1274.

— — Lie theory and separation of variables, 5: The equations and — J. Math. Phys., 1974, v. 15, 1728–1737.

— — Lie theory and separation of variables, 8: Semisubgroup coordinates for — J. Math. Phys., 1975, v. 16, 2507–2516.

— — Lie theory and separation of variables, 9: Orthogonal coordinate systems for the wave equation — J. Math. Phys., 1976, v. 17, 331–335.

— — Lie theory and separation of variables, 10: Nonorthogonal solutions of the wave equation — J. Math. Phys., 1976, v. 17, 356–368.

— — Lie theory and separation of variables, 11: The EPD equation. — J. Math. Phys., 1976, v. 17, 369–377.

— — Lie theory and the wave equation in 1: The Lorentz group. — J. Math. Phys., 1977, v. 18, 1–16.

Калнинс, Миллер, Винтернитц (Kalnins E., Miller W., Jr., Winiternitz P.). The group O (4), separation of variables and the hydrogen atom. — SIAM J. Appl. Math., 1976, v. 30, 630–664.

Картан (Cartan E.). Sur la détermination d’un système orthogonal complet dans un espace de Riemann symétrique clos. — Rend. Circ. Math. Palermo, 1929, t. 53, 217–252.

Каструп (Kastrup H.). Conformal group and its connection with an indefinite metric in Hilbert space. — Phys. Rev., 1965, v. 140, B183–186.

Като Т. Теория возмущений линейных операторов. — М.: Мир, 1972.

Коревар (Korevaar J.). Mathematical methods. Vol. 1. — New York: Academic Press, 1968.

Корнвиндер (Koornwinder Т.). The addition formula for Jacobi polynomials and spherical harmonics. — SIAM J. Appl. Math., 1973, v. 25, 236–246.

— Jacobi polynomials. II. An analytic proof of the product formula. — SIAM J. Math. Anal., 1974, v. 5, 125–137.

Кулсон, Джозеф (Coulson C., Joseph A.). A constant of the motion for the Kepler problem. — Internat. J. Quant. Chem., 1967, v. 1, 337–347.

Ландау Л. Д., Лифшиц Е. М. Квантовая механика. Ч. 1. Нерелятивистская теория. — М.: Гостехиздат, 1948.

Лауричелла (Lauricella G.). Sulle funzioni ipergemetriche a pui variabili. — Rend. Circ. Mat. Palermo, 1893, t. 7, 111–113.

Леви-Леблон (Levy-Leblond J.-M.). Galilei group and Galilean invariance. — In: Group theory and its applications (Loebl E., ed.). Vol. 2. — New York: Academic Press, 1971.

Левитан Б. М., Саргсян И. С. Введение в спектральную теорию. — М.: Наука, 1970.

Макаров А., Смородинский Я., Валиев К., Винтернитц П. (Makarov A., Smorodinsky J., Valiev К., Winternitz P.). A systematic search for nonrelativistic systems with dynamical symmetries. — Part I: The integrals of motion. — Nuovo Cimento, 1967, t. 52A, 1061–1084.

Мак-Брайд (McBride E.). Obtaining generating functions. — Berlin: Springer, 1971.

Макки (Mackey G.). Induced representations of groups and quantum mechanics. — New York: W. A. Benjamin, 1968.

Макфадьен, Винтернитц (Macfadyen N., Winternitz P.). Crossing symmetric expansions of physical scattering amplitudes; the O (2,1) group and Lamé functions. — J. Math. Phys., 1971, v. 12, 281–293.

Мейкснер, Шефке (Meixner J., Schäfke F.). Mathieusche Funktionen und Sphäroidfunktionen. — Berlin: Springer, 1965.

Миллер (Miller W., Jr.). On Lie algebras and some special functions of mathematical physics. — Amer. Math. Soc. Memoir, No. 50. — Providence: Amer. Math. Soc., 1964.

— Confluent hypergeometric functions and representations of a four-parameter Lie group. — Comm. Pure Appl. Math., 1966, v. 19, 251–259.

— Lie theory and special functions. — New York: Academic Press, 1968.

— Special functions and the complex Euclidean group in I. — J. Math. Phys., 1968, v. 9, 1163–1175.

— Special functions and the complex Euclidean group in III. — J. Math. Phys., 1968, v. 9, 1434–1444.

— Symmetry groups and their applications. — New York, Academic Press, 1972.

— Clebsch–Gordan coefficients and special function identities, I. The harmonic oscillator group. — J. Math. Phys., 1972, v. 13, 648–655.

— Clebsch–Gordan coefficients and special function identities, II. The rotation and Lorentz groups. — J. Math. Phys., 1972, v. 13, 827–833.

— Lie theory and generalized hypergeometric functions. — SIAM J. Math. Anal., 1972, v. 3, 31–44.

— Lie theory and Meijer’s G function. — SIAM J. Math. Anal., 1974, v. 5, 309–318.

— Lie theory and the Lauricella functions F D . — J. Math. Phys., 1972, v. 13, 1393–1399.

— Lie theory and generalizations of the hypergeometric functions. — SIAM J. Appl. Math., 1973, v. 25, 226–235.

— Lie algebras and generalizations of the hypergeometric functions. — In: Harmonic analysis on homogeneous spaces. — Proc. Symp. Pure Math., v. 26. — Providence: Amer. Math. Soc., 1973, p. 355–356.

— Symmetries of differential equations: The hypergeometric and Euler–Darboux equations. — SIAM J. Math. Anal., 1973, v. 4, 314–328.

— Lie theory and separation of variables, 1: Parabolic cylinder coordinates. — SIAM J. Math. Anal., 1974, v. 5, 626–643.

— Lie theory and separation of variables, 2: Parabolic coordinates. — SIAM J. Math. Anal., 1974, v. 5, 822–836.

Монтгомери, О’Рейфеартей (Montgomery W., O’Raifeartaigh L.), Noncompact approach to the unitary representations of S̃Ũ(1,1). — J. Math. Phys., 1974, v. 15, 380–382.

Морен (Maurin K.) General eigenfunction expansions and unitary representations of topological groups. — Warszawa: PWN, 1968.

Морс Ф., Фешбах Г. Методы теоретической физики. т. 1. — М.: ИЛ, 1958.

Мошински, Селигман, Вольф (Moshinsky M., Seligman T., Wolf K.). Canonical transformations and the radial oscillator and Coulomb problems. — J. Math. Phys., 1972, v. 13, 901–907.

Мун, Спенсер (Moon P., Spencer D.). Field theory handbook. — Berlin: Springer, 1961.

Наймарк М. А. Линейные дифференциальные операторы. — M.: Гостехиздат, 1954.

Нейлор, Селл (Naylor A., Sell G.). Linear operator theory. — New York: Holt, 1971.

Нидерер (Niederer U.). The maximal kinematical invariance group of the harmonic oscillator. — Helv. Phys. Acta, 1973, v. 46, 191–200.

— Universität Zurich preprint. December 1973.

Овсянников Л. В. Групповые свойства дифференциальных уравнений. — Новосибирск: 1962.

Олевский М. Н. Триортогональные системы в пространствах постоянной кривизны, в которых уравнение допускает полное разделение переменных. — Матем. сб., 1950, т. 27 (69), вып. 2, 379–426.

Патера, Винтернитц (Patera J., Winternitz P.). A new basis for the representations of the rotation group: Lamé and Heun polynomials. — J. Math. Phys., 1973, v. 14, 1130–1139.

Петровский И. Г. Лекции об уравнениях с частными производными. — М.: Гостехиздат, 1953.

Пруговецки (Prugovecki E.). Quantum mechanics in Hilbert space. — New York: Academic Press, 1971.

Райнвилль (Rainville E.). The contiguous function relations for p F q with applications. — Bull. Amer. Math. Soc., 1945, v. 51, 714–723.

Рид М., Саймон Б. Методы современной математической физики. т. 1. Функциональный анализ. — М.: Мир, 1977.

Рис Ф., Сёкефальви-Надь Б. Лекции по функциональному анализу. — — М.: Мир, 1979.

Розенблюм, Уиддер (Rosenbloom P., Widder D.). Expansions in terms of heat polynomials and associated functions. — Trans Amer. Math. Soc., 1959, v. 92, 220–266.

Розенкранс (Rosencrans S.). Perturbation algebra of an elliptic operator. — J. Math. Anal. Appl., 1976, v. 56, 317–329.

Сегё Г. Ортогональные многочлены. — М.: Физматгиз, 1962.

Слейтер (Slater L.). Generalized hypergeometric functions. — London and New York: Cambridge Univ. Press, 1966.

Смородинский Я. А., Тугов И. И. О полных наборах наблюдаемых. — ЖЭТФ, 1966, т. 50, вып. 3, 653–659.

Стэкгоулд (Stakgold I.). Boundary value problems of mathematical physics. Vol. 1. — New York: Macmillan, 1967.

Сэлли (Sally Р). Analytic continuation of the irreducible unitary representations of the universal cohering group of SL (2,R). — Amer. Math. Soc. Mem. No. 69. — Providence: Amer. Math. Soc., 1967.

Титчмарш (Titchmarsh E.). Eigenfunction expansions. Part 1. — — London and New York: Oxford Univ. Press, 1962. [Имеется перевод изд. 1946 г.: Титчмарш Э. Ч. Разложения в собственных функциях, связанные с дифференциальными уравнениями второго порядка. Ч. 1. — М.: ИЛ, 1960. Поскольку в первом издании книги теорема, на которую ссылается автор, отсутствует, мы указываем второе издание этой же работы на английском языке. ]

Толмен (Talman J.). Special functions: A group theoretic approach. — New York: W. A. Benjamin, 1968.

Трусделл (Truesdell C.) An essay toward a unified theory of special functions. — Ann. of Math. Studies, No. 18. — Princeton Univ. Press, 1948.

Уиттекер (Whittaker E.). On Hamilton’s principal function in quantum mechanics. — Proc. Roy. Soc. Edinburgh, 1941, v. A61, 1–19.

Уиттекер Э. Т., Ватсон Дж. Н. Курс современного анализа. Ч. 1., Ч. 2. — — М.: Физматгиз, 1962, 1963.

Уорнер (Warner G.). Harmonic analysis on semi-simple Lie groups. Vols. 1, 2. — New York: Springer, 1972.

Урвин, Арскотт (Urwin K., Arscott F.). Theory of the Whittaker–Hill equation. — Proc. Roy. Soc. Edinburgh, 1970, v. A69, 28–44.

Фам Нгок Дин (Pham Ngoc Dinh A.). Opérateurs diagonaux associés a l’équation de Mathieu et applications. — C. R. Acad. Sci. Paris, 1974, t. A279, 557–560.

Фридман, Руссек (Friedman B., Russek J.). Addition theorems for spherical waves. — Quart. Appl. Math., 1954, v. 12, 13–23.

Хамермеш М. Теория групп и её применение к физическим проблемам. — М.: Мир, 1966.

Хелгасон С. Дифференциальная геометрия и симметрические пространства. — М.: Мир, 1964.

Хенричи (Henrici P.). Addition theorems for general Legendre and Gegenbauer functions. — J. Rat. Mech. Anal., 1955, v. 4, 983–1018.

Хида (Hida T.). Brownian motion (на японском языке). — Токуо: Iwanami Book Co., 1975.

Хознер, Шварц (Hausner M., Schwartz J.). Lie groups and Lie algebras. — New York: Gordon & Breach, 1968.

Холевински, Хаймо (Cholewinski F., Haimo D.). The dual Poisson–Laguerre transform. — Trans. Amer. Math. Soc., 1969, v. 144, 271–300.

Хохштадт (Hochstadt H.). Addition theorems for solutions of the wave equation in parabolic coordinates. — Pacific J. Math., 1957, v. 7, 1365–1380.

Черри (Cherry T.). Expansions in terms of parabolic cylinder functions. — Proc. Edinburgh Math. Soc. (2), 1949, v. 8, 50–65.

Шапиро Р. Л. Специальные функции, связанные с представлениями относительно — Изв. высш. учебн. завед., Матем., 1968, т. 4 (71), 97–107.

Швебер С. Введение в релятивистскую квантовую теорию поля. — М.: ИЛ, 1963.

Шефке (Schäfke F.). Einführung in die Theorie der speziellen Funktion der mathematischen Physik. — Berlin: Springer, 1963.

Шрёдингер (Schrödinger E.). On solving eigenvalue problems by factorization. — Proc. Roy. Irish Acad., 1940, v. A46, 9–16.

Эйзенхарт Л. Непрерывные группы преобразований. — М.: ИЛ, 1947.

Эрдейи (Erdélyi A.). Generating functions of certain continuous orthogonal systems. — Proc. Roy. Soc. Edinburgh, 1941, v. A61, 61–70.

Эстабрук, Гаррисон (Estabrook F., Harrison B.). Geometric approach to invariance groups and solution of partial differential systems. — J. Math. Phys., 1971, v. 12, 653–666.

Эстабрук, Уолквист (Estabrook F., Wahlquist H.), Prolongation structures of nonlinear evolution equations. — J. Math. Phys., 1975, v. 16, 1–7.

А втоморфные функции 25, 26

Айнса многочлены 179, 180, 186, 195, 234

— функции 28, 31, 170, 171, 194

Ангармонического осциллятора функции 31, 169, 172, 182, 183, 191, 193

Аппеля преобразование 135, 190, 200

Баргманна–Сегала гильбертово пространство аналитических функций 186, 282

Бернулли многочлены 26

Бесселя многочлены 110

— уравнение 43, 63, 78, 100, 320

— функции 8, 21, 30, 43, 56, 72, 82, 93, 98, 100, 103, 104, 148, 155, 161, 168, 180, 192, 198, 213, 243, 266, 287, 290, 295, 319, 320

— — второго рода 109, 110

— — модифицированные 249, 271

— — сферические 223, 239

Билинейное разложение 74, 109, 206, 241, 272

Биномиальные коэффициенты 315

Биполярные координаты 262

В андермонда теорема 305

Вейля алгебра 114, 132, 164, 166

— группа 114, 132, 164

— Вейснера метод 30, 100–109, 139, 145, 155, 160, 198, 201, 202, 247, 251, 263, 268, 271, 309

Вигнера D -функция 221

Вигнера–Экхарта теорема 205

Винтовое смещение 210

Волновое уравнение 29, 272, 273, 292–295, 300

Г алилея преобразование 113

— преобразований группа 118, 172, 191

Гамильтониан осциллятора гармонического 122–124, 167

— — репульсивного изотропного 150

— потенциала линейного 122–124

— частицы свободной 122–124, 148, 150, 141, 167

Гамма-функция 11–14, 25, 128, 315

Ганкеля преобразование обратное 153

Гегенбауэра многочлены 248, 249, 269, 270, 272, 290, 293, 294, 317

Гейзенберга группа 24

Гёльдера теорема 12

Гельмгольца уравнение 33, 56, 197, 198, 207, 211, 219, 239, 240, 247, 294

Гильбертово пространство 56, 57, 83, 88, 119, 120, 173, 217, 219, 275, 276, 281, 285, 287, 289, 291, 293

Гипергеометрическая функция конфлюентная 131, 156, 160, 199, 201, 307, 318, 319

— — 2 F 1 13–16, 20, 21, 24, 145, 272, 292, 296, 302, 309, 316, 317

Гипергеометрические ряды смежные 14, 15, 21

— функции 10, 25, 26, 30, 31

— — обобщённые p F q 203, 308, 309, 320, 321

Гипергеометрический ряд обобщённый 10, 13, 14, 22

Грама–Шмидта процесс ортогонализации 60

Графа формула сложения 106, 109

Д екартовы координаты 30, 42, 50, 78, 86, 172, 212, 224, 256, 284

Дефекта индексы 61, 88, 90, 91

Дирака дельта-функция 56, 64

Допускающие разделение переменных координаты 44, 47–53, 178, 210, 309

— — — — для оператора Лапласа на сфере 232

— — — — — уравнения Гельмгольца комплексного 98

— — — — — — — от двух переменных 56

— — — — — — — — трёх переменных 212–213

— — — — — — Лапласа 256, 257

— — — — — — Шрёдингера , независящего от времени 204

Допускающие R -разделение переменных координаты 117, 175, 279, 280, 307

— — — — для уравнения волнового 279, 282–290

— — — — — — теплопроводности 134, 138, 190–195, 197, 198

— — — — — — Шрёдингера для изотропной свободной частицы 148, 155

— — — — — — — от двух переменных 118

— — — — — — — — трёх переменных 168–171

Е вклидова группа 34, 36, 50, 160, 207, 208

— — в плоскости 35–37

— — — трёхмерном пространстве 208, 262

И нверсия пространства 97, 233

К азимира оператор 126, 151, 263, 286, 290, 295

Кеплера задача 281, 294

Класса I уравнение 40–41, 76, 204, 205, 211, 254

Класса II уравнение 41, 203, 204, 211

Клебша–Гордана коэффициент 223

Клейна–Гордона уравнение 74, 109, 285, 294

уравнения слабые решения 85

Коммутатор матричный 37, 311

Конические координаты 213, 216, 231, 241, 257

Конфлюентная гипергеометрическая функция см. Гипергеометрическая функция

Конформная группа 254, 294

Координаты, допускающие разделение переменных см. Допускающие разделение переменных координаты

— подгрупп 31, 47, 288

Косоэрмитов оператор 58

Коши задача 136, 196, 206

Коши–Римана уравнения 48

Кравчука многочлены 21

Л агерра многочлены 27, 142, 151, 156, 157, 161, 178, 191, 198, 199, 206, 281, 307, 319

— — обобщённые 246, 307

— функции 148, 155, 160, 170, 194, 200

Ламе–Вангерина функция 287, 290

Ламе многочлены 217, 231, 235–239, 257

— уравнение 25, 216, 235–239, 257, 261, 268; 283

Лапласа оператор 44, 204

— — на гиперболоиде 286, 294

— — — сфере 222, 232, 233, 280, 283, 293, 295

— уравнение 19, 21, 25, 222, 233, 252–255, 257–259, 261–264, 268–272

Лауричеллы функции 296–308, 321, 322

Лебедева преобразование 90

Лежандра многочлены 15, 16, 22, 262, 287, 290, 317

Локальное мультипликативное представление 312–314

— функции 8, 16, 21, 213, 214, 317

— — присоединённые 17, 221, 227, 243, 262, 287

Лемнискатические функции 16

Ли алгебра 31, 35, 36, 95, 311

— производная 38, 46, 313

Локальная группа Ли преобразований 312

— мультипликативная функция 312

Локальное мультипликативное представление 312–314

Локальной группы представление 103

Лоренца преобразование 273

— преобразований группа 25, 293

М акдональда функция 87, 90, 93, 94, 287

Матричные элементы 71, 92, 104, 105, 141, 144, 158, 159, 220–223, 246, 247, 249

— — смешанных базисов (м.э.с.б.) 71–73, 92, 130, 131, 154, 178, 186, 187, 238–241, 288

Матье уравнение 25, 52, 68, 81, 226, 322

— — модифицированное 69, 80, 81

— функции 28, 31, 52, 56, 80, 81, 181, 187, 192, 193, 241, 322, 323

— — модифицированные 70, 181–182, 192, 193, 226

Мелера теорема 143, 144

Меллина преобразование 128

Н ерасщепляющаяся система координат 279, 292

О бобщённые гипергеометрические функции см. Гипергеометрические обобщённые функции

Оператор импульса 67, 254

— момента импульса 254

— отражения в пространстве 274

— сдвига по времени 120, 173

— симметрии инверсии 254, 274, 293

Орбиты 45, 53–55, 76–78, 83, 96, 97,99–101, 116–118, 122, 123, 127, 133, 137, 138, 147–150, 152–155, 165, 172, 180, 191, 210, 211, 232, 271, 272, 286, 290, 295

Ортогональные собственные векторы 60

Ортонормальное множество 60–61

Осциллятор гармонический 112, 163, 289

— репульсивный 112, 163, 289

П араболические координаты 50, 68, 107, 172, 181, 212, 214, 228, 240, 245, 24£, 252, 256, 265

Параболического цилиндра координаты 212, 225, 240, 256, 272, 284

— — уравнение 51, 68, 319

— — функции 51, 56, 68, 79, 82, 88, 98, 107, 118, 128, 129, 134, 139, 168, 170, 171, 192, 193, 195, 319

Параболоидальные координаты 212, 214, 229, 257

Парсеваля равенство 60, 87

Планка постоянная 111

Плоская волна 71, 224

Поворотов группа 208, 233

Повышающие операторы 205

Полурасщепляющаяся система координат 279, 280, 292

Полярные координаты 31, 43, 49, 51, 78, 172, 180, 181, 200, 284

Потенциал 162, 163, 203, 204

— линейный 112, 163, 289

Потенциалы с максимальной симметрией 163

Потенциальная функция 211. См. также Потенциал

Похгаммера символ 109, 316

Предел в среднем 85

Преобразований группа 36–38, 75, 208, 209, 254, 274, 312

Производящая функция 100, 101, 130, 140, 143, 146, 157, 161, 200–202, 241, 248, 270, 272, 303, 306, 307, 309

Производящей функции непрерывный аналог 130, 153, 206

Пуанкаре группа 75, 274, 293

— — расширенная 77, 92

Р адиальные функции 22

Разделение переменных 42

Рака коэффициенты 9

— соотношение ортогональности 9

Разделения константа 42, 51, 53

Расширение оператора 61

Расщепляющаяся система координат 279

Регге соотношение симметрии 9

Рекуррентные формулы 18, 30, 157, 199, 200, 206, 237, 238, 241, 248, 249, 269, 270, 292, 295, 297, 298, 308, 309, 316–321

Решений пространство 33, 218, 255

Решения с разделёнными переменными 43–45

Решения типа волны плоской 71, 224

— — — цилиндрической 72, 73, 225, 251

R -разделение переменных 166, 190, 191, 197, 198, 205

R -разделимость 116, 117

С амосопряжённый оператор 61, 219

Свободная частица 112, 120, 163, 189

Симметрии алгебра 35, 74, 112, 154, 189, 207, 232, 253, 273, 300, 308

— группа 34, 38, 254

— — порядка второго 39–41, 53, 76, 97, 167, 190, 203, 204, 209, 210, 232, 254, 263, 279, 280, 290

— — — первого 34–36, 38, 53, 167, 190, 203, 204

Симметрии тривиальные 40, 209–210

Симметрический оператор 59

Собственные векторы 60

— значения 44, 60, 61

— — обобщённые 64, 65, 67

Сопряжённое действие 46, 195

— представление 43, 45, 53, 54, 76, 96, 116, 147, 165, 210

Спектр непрерывный 65

Спектра кратность 65

Спектральное разложение 62, 124, 176, 178, 219, 220, 235, 288, 291

Специальная линейная группа 113, 114, 133, 147, 164, 165, 263, 278, 279, 286, 290, 291

— — — комплексная 137, 154, 157, 272, 298, 301

— ортогональная группа O (3) 233

— — — SO (2,1) 277, 286, 287

— — — SO (3) 208, 220, 221, 232, 233, 277, 279, 280

Специальной линейной группы универсальная накрывающая группа 125, 149, 291

Специальные конформные отображения 253, 254, 273, 274

— функции второго рода 109

Сфера S 2 217, 232

Сферическая волна 223, 243, 244, 251

Сферические гармоники 31, 220, 221, 236, 266, 282

— координаты 19, 30, 31, 147, 212, 213, 217, 220, 223, 231, 232, 240, 247, 249, 250, 252, 256, 262, 264, 265, 268, 272, 283

— функции 15, 20, 22, 31

Сфероида вытянутого координаты 212, 213, 226, 227, 240, 241, 256, 272

— сплющенного координаты 212, 214, 227, 228, 241, 256, 266

Сфероидальной волны уравнение 213

Т еорема о вириале 281

— сложения 71, 73, 93, 94, 223, 251

Тепловые многочлены 134

Теплопроводности уравнение 23, 132

— — комплексное 137, 197, 198, 272

— — от двух переменных 132

— — — трёх переменных 188

Теплопроводности уравнения группа симметрии 133, 182, 197

Тороидальные координаты 262, 267, 268

Тэта-функции 13, 22, 23, 26

У иппла формула 9

Уиттекера функции 148, 170, 193, 228

Уиттекера–Хилла уравнение 179, 184, 215, 229, 268

Унитарное представление 58, 85

— преобразование 59, 85, 219

Унитарные операторы 58, 85

Ф акториал сдвинутый 10, 22

Факторизации метод 29, 30

Фейнмана интеграл 27

Фурье преобразование 67, 87, 275

Х илле–Харди формула 151, 152, 162, 206

Хойна уравнение 25

Ц иклида 257, 258, 262

Цилиндрическая волна 72, 73, 225, 251, 266, 267

Цилиндрические координаты 30, 211, 212, 225, 240, 244, 256, 262, 271

Ч ерри теорема 129

Ш аровые гармоники 264, 266–268

Шрёдингера алгебра 164, 206

— группа 115, 116, 126, 164, 289

— группы накрывающая группа 126

— уравнение 30, 111, 162, 178, 185, 188, 203

— — временнóе 111, 162, 204

— — для линейного потенциала 122, 167, 174, 204, 206

— — — осциллятора изотропного гармонического 147, 150

— — — — — репульсивного 147, 150, 152

— — — — линейного гармонического 121, 167, 174, 204

— — — — — репульсивного 121, 122, 127, 167, 174, 204

— — — частицы свободной 112, 121, 124, 163, 167, 190, 206, 288, 294

— — — — — изотропной 146, 150, 151, 153, 206

— — не зависящее от времени 29, 203

Штурма–Лиувилля задача 68, 322

Э йлера–Пуассона–Дарбу уравнение (ЭПД уравнение) 288–292, 295

Эйлеровы углы 208, 218, 220

Эйри функции 82, 98, 118, 129, 134, 138, 146, 161, 171, 182, 187, 193, 195

Эквивалентные системы координат 45, 279

Экспоненциальное отображение 37, 311, 313

Эллипсоидальной волны уравнение 216, 230

— — функция 216, 230, 231

Эллипсоидальные гармоники 257

— координаты 212, 215, 229, 241, 257

Эллиптические интегралы 15

— координаты 52, 53, 68, 172, 179, 229, 232, 235, 238, 284

— функции 8, 13, 15, 16, 22, 24, 215, 230, 231, 261, 324, 325

Эллиптического цилиндра координаты 212, 226, 241, 256

Эрмита многочлены 124, 130, 134, 139–141, 143, 146, 176, 202, 319

— функции 30, 139, 140, 143, 194, 195, 202, 206

Решение уравнения Гельмгольца в прямоугольнике.

Рассмотрим уравнение Гельмгольца в прямоугольной области конечных размеров:

. (49)

Следуя методу «разделения переменных», предложенного французским математиком Фурье ещё в 1816 году, ищем решение этого уравнения в форме произведения двух функций (по числу измерений!), каждая из которых зависит только от одной пространственной переменной:

. (50)

Подставим зависимость (50) в уравнение (49) и разделим все члены получаемого соотношения на искомую функцию:

. (51)

Поскольку переменные х и у являются независимыми, единственная возможность заключается в предположении, что справедливы уравнения

. (52)

Общие решения уравнений (52) имеют вид:

(53)

Частные решения уравнения (49) с точностью до произвольного сомножителя представляют собой следующую совокупность комбинаций произведений:

(54)

Для задачи первого рода с граничным условием U(x,y)=0 на границе области D допустимым решением является последовательность зависимостей

, (55)

На рисунках 3 и 4 показана графическая иллюстрация зависимостей (55) для двух конкретных наборов параметров m и n, размеры прямоугольной области указаны в подписях к рисункам.

Рис. 3. Продольная компонента электрического поля E_z в поперечном сечении волновода (a=2,b=1,m=1,n=1).

Рис. 4. Продольная компонента электрического поля E_z в поперечном сечении волновода (a=2,b=1,m=5,n=3).

Для краевой задачи второго рода (граничное условие – нормальная производная равна нулю на границе области) из соотношений (54) выбираем последовательность:

, (56)

На рисунках 5 и 6 показаны трёхмерные графики конкретных членов последовательности (56). Для удобства сравнения результатов решения первой и второй краевой задачи значения индексов m и n на рисунках 3 и 5, а также на рисунках 4 и 6 совпадают.

Рис. 5. Продольная компонента магнитного поля H_z в поперечном сечении волновода (a=2,b=1,m=1,n=1).

Рис. 6. Продольная компонента электрического поля H_z в поперечном сечении волновода (a=2,b=1,m=5,n=3).

Если интерпретировать приведённые результаты как результаты анализа распространения электромагнитных волн Е-типа и Н-типа в волноводе прямоугольного сечения конечных размеров, необходимо отсечь все комбинации индексов m и n, при которых величина оказывается отрицательной. Для оставшихся допустимых комбинаций индексов можно получить распределения всех проекций векторов напряжённости электрического и магнитного полей по области D с использованием зависимостей (10) или (25), т.е. довести решение задачи до конца.

Дата добавления: 2017-09-01 ; просмотров: 2844 ; ЗАКАЗАТЬ НАПИСАНИЕ РАБОТЫ