Научный журнал
Успехи современного естествознания
ISSN 1681-7494
"Перечень" ВАК
ИФ РИНЦ = 0,775

РЕШЕНИЕ ЭЛЛИПТИЧЕСКИХ УРАВНЕНИЙ С ПОМОЩЬЮ КРАТНЫХ СУММ

Сергиенко Л.С. 1 Куницын А.Г. 1
1 ГОУ ВПО «Национальный исследовательский Иркутский государственный технический университет»
Общее или временное уравнение Шрёдингера является математическим выражением дуального свойства корпускулярно-волновой природы микрочастиц материи и играет фундаментальную роль в нерелятивистской квантовой механике [1] . Если величина потенциальной энергии поля постоянна, то математическая зависимость между количественными характеристиками векторного поля не будет содержать производных по времени, и динамическая модель Шрёдингера станет стационарной. К такому уравнению приходят, например, при исследовании процесса квантования энергии гармонического осциллятора, ротатора со свободной осью, в спектральной теории атомов при изучении движения электронов в кулоновом поле ядра и др. [2]. В представленной работе рассматривается эллиптическое уравнение, являющееся модификацией стационарного уравнения Шрёдингера. Доказывается существование и единственность решения задачи Дирихле в круге для линейного дифференциального уравнения второго порядка с особой точкой в центре области исследования. Основным результатом является построение специальных функций – кратных многочленов треугольного вида, применяемых при вычислении коэффициентов ряда, представляющего решение.
уравнение
задача
решение
формула
ряд
многочлен
1. Математическая физика. Энциклопедия / Гл. ред. Л.Д. Фадеев. – М: Большая Российская энциклопедия, 1998. – 691 С.
2. Тихонов А.Н., Самарский А.А. Уравнения математической физики: учеб. пособие. – М: Наука, 1977. 735 С.
3. Полянин А.Д. Справочник по линейным уравнениям математической физики. – М.: ФИЗМАТЛИТ, 2001. – 576 С.
4. Сергиенко Л.С. Математическое моделирование физико-технических процессов. – Иркутск: Изд-во Ир ГТУ, 2006. – 228 c.
5. Сергиенко Л.С., Баенхаева А. В. О задаче Дирихле для одного класса вырождающихся на оси эллиптических уравнений // Современные методы теории функций и смежные проблемы: материалы Воронежской зимней математической школы / Воронежский государственный университет, Московский государственный университет им. М. В. Ломоносова, Математический институт им. В. А. Стеклова РАН. – Воронеж: Издательско – полиграфический центр Воронежского государственного университета, 2011. – 374 с.
6. Сергиенко Л.С., Баенхаева А. В. Первая краевая задача для стационарного уравнения класса Шрёдингера // Вестник Ир ГТУ / научный журнал – Иркутск: Изд-во Ир ГТУ, 2011 – № 10, выпуск 1 (48) -342 с.
7. Sergiyenko L.S., Nesmeyanov A.A. On evolution of stationary processes near the origins of excitation // International journal of applied and fundamental research. – №1, 2012. – 54 c.

Постановка задачи

Рассмотрим стационарное уравнение Шрёдингера с двумя независимыми переменными, которое формально, отвлекаясь от физического смысла аргументов, можно записать в следующем виде [3]

sergi4.wmf

В частных случаях при

sergi5.wmf

для последнего уравнения найдены корректные постановки краевых задач в определённых условиях [4–5].

В представленной работе исследуется Задача. В области

sergi8.wmf

найти решение уравнения

sergi9.wmf (1)

удовлетворяющее граничному условию

sergi10.wmf (2)

Замечание 1. В дальнейшем для упрощения выкладок будем считать радиус круга единицей масштаба рассматриваемой системы координат: R=1.

Разделение переменных по методу Фурье

Нетривиальное решение граничной задачи 1 будем искать в полярных координатах в виде

sergi11.wmf (3)

В результате подстановки произведения (3) в уравнение (1) и разделения переменных с постоянной λ получается уравнение для функции

sergi12.wmf (4)

и задача на собственные значения для функции

sergi13.wmf (5)

Общее решение однородного линейного уравнения (5) определяется с помощью характеристического уравнения в виде суперпозиции гармоник

sergi14.wmf

Для того, чтобы Ф была однозначной периодической функцией, должно выполняться

sergi16.wmf

Выбирая собственные значения sergi17.wmf получаем

sergi18.wmf (6)

При каждом фиксированном n из (4) получаем

sergi19.wmf. (7)

Так как уравнение (7) при любом заданном sergi20.wmf имеет особую точку при sergi21.wmf, его решение будет иметь вид степенного ряда, начинающегося с sergi22.wmf:

sergi23.wmf (8)

Значения характеристического показателя sergi24.wmf и коэффициентов sergi25.wmf можно определить подстановкой ряда (8) в уравнение (7). Последовательно приравнивая к нулю коэффициенты при sergi26.wmf sergi27.wmf получаем систему следующих уравнений

sergi28.wmf

Считая sergi30.wmf из первого уравнения находим sergi31.wmf. Чтобы найти сингулярное ограниченное при sergi32.wmf решение уравнения (7), полагаем sergi33.wmf Тогда из последней системы заключаем, что sergi34.wmf. В этом случае все последующие нечётные коэффициенты sergi35.wmf также должны быть равны нулю, а все чётные коэффициенты определятся через сумму предыдущих по альтернативным формулам

sergi36.wmf (9)

Последовательное применение формулы (9) при sergi37.wmf позволяет получить выражение

sergi38.wmf через sergi39.wmf,

sergi40.wmf

sergi41.wmf,

sergi42.wmf sergi43.wmf

sergi44.wmf

. . .

При sergi45.wmf или

sergi46.wmf

sergi47.wmf

sergi48.wmf

sergi49.wmf

sergi50.wmf (10)

Обозначим специальные вспомогательные функции

sergi51.wmf (11)

Полагая sergi52.wmf уравнения системы (10) при sergi53.wmf можно записать в виде

sergi54.wmf, sergi55.wmf

sergi56.wmf

sergi57.wmf,

sergi58.wmf

. . .

sergi59.wmf (12)

Пример вычисления коэффициентов ряда (8).

По формулам (11) – (12) найти коэффициенты ряда (8): а) sergi60.wmf и в) sergi61.wmf

Решение. а) sergi62.wmf

Найдём значение коэффициента sergi63.wmf:

sergi64.wmf

sergi65.wmf.

Определим sergi66.wmf.

Так как

sergi67.wmf

sergi68.wmf,

имеем

sergi69.wmf

sergi70.wmf

Подставляя sergi71.wmf и sergi72.wmf в формулу

sergi73.wmf,

получим

sergi74.wmf

в) sergi75.wmf

sergi76.wmf

sergi77.wmf

sergi78.wmf

sergi79.wmf.

sergi80.wmf

sergi81.wmf

sergi82.wmf

sergi83.wmf

sergi84.wmf

sergi85.wmf

Алгоритм вычисления коэффициентов sergi86.wmf

Для простоты алгоритм вычисления коэффициентов ряда

sergi87.wmf

рассмотрим на примере составления кратных сумм вида

sergi88.wmf

Определим сначала последовательности сумм sergi89.wmf c одинаковым индексом sergi90.wmf При sergi91.wmf получаем

sergi92.wmf

sergi93.wmf

sergi94.wmf

sergi95.wmf

sergi96.wmf

sergi97.wmf

sergi98.wmf

sergi99.wmf

sergi100.wmf и т.д.

Последовательности множителей в слагаемых рассмотренных сумм sergi101.wmf, sergi102.wmf можно легко составить с помощью треугольных матриц

sergi103.wmf, sergi104.wmf, sergi105.wmf

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

Решение краевой задачи 1. Объединяя полученные результаты, определим решение задачи (1) – (2) в полярных координатах

sergi109.wmf (13)

по формуле (3): sergi110.wmf Выше было доказано, что после разделения переменных задачи (13) получаем два уравнения, первое из которых sergi111.wmf имеет частные решения (6) sergi112.wmf

При каждом фиксированном n второе уравнение

sergi113.wmf

имеет частные решения вида (8)

sergi114.wmf

Коэффициенты степенного ряда (8) определяются по формулам (12)

sergi115.wmf, sergi116.wmf

в которых

sergi117.wmf

а кратные многочлены sergi118.wmf заданы соотношениями (11)

sergi119.wmf.

Подставляя выражения sergi120.wmf и sergi121.wmf в формулу (3), определяем две системы собственных функций sergi122.wmf и sergi123.wmf, которым соответствуют частные решения первого уравнения (13)

sergi124.wmf

Суперпозиция всех этих решений

sergi125.wmf (14)

также будет решением этого уравнения. Коэффициенты sergi126.wmf и sergi127.wmf определяются из граничного условия (13)

sergi128.wmf (15)

если функцию sergi129.wmf разложить в абсолютно и равномерно сходящийся тригонометрический ряд Фурье

sergi130.wmf (16)

sergi131.wmf

Сравнивая ряды (15) и (16), получаем

sergi132.wmf (17)

Применимость принципа суперпозиции

Сходимость построенных рядов, возможность их дифференцирования в круге sergi133.wmf, а также непрерывность функции sergi134.wmf на границе этого круга доказываются классическими методами [2, с. 308–310].

С помощью альтернирующего метода Шварца построенное решение может быть продолжено за пределы круга в области более общего вида [1].


Библиографическая ссылка

Сергиенко Л.С., Куницын А.Г. РЕШЕНИЕ ЭЛЛИПТИЧЕСКИХ УРАВНЕНИЙ С ПОМОЩЬЮ КРАТНЫХ СУММ // Успехи современного естествознания. – 2014. – № 12-4. – С. 378-385;
URL: https://natural-sciences.ru/ru/article/view?id=34615 (дата обращения: 19.04.2024).

Предлагаем вашему вниманию журналы, издающиеся в издательстве «Академия Естествознания»
(Высокий импакт-фактор РИНЦ, тематика журналов охватывает все научные направления)

«Фундаментальные исследования» список ВАК ИФ РИНЦ = 1,674