Scientific journal
Advances in current natural sciences
ISSN 1681-7494
"Перечень" ВАК
ИФ РИНЦ = 0,775

SOLUTION OF ELLIPTIC EQUATIONS BY MULTIPLE SUMS

Sergienko L.S. 1 Kunitsyn A.G. 1
1 National Research Irkutsk State Technical University
2593 KB
The total or temporary Schrödinger equation is the mathematical expression of the dual properties of the particle-wave nature of matter and microparticles plays a fundamental role in the non-relativistic quantum mechanics [1]. If the value of the potential energy of the field is constant, the mathematical relationship between the quantitative characteristics of the vector field will not contain time derivatives, and the dynamic model of the Schrödinger become stationary. By this equation come, for example, in the study of the process of energy quantization of the harmonic oscillator, the free rotator axis in the spectral theory of atoms in the study of the motion of electrons in the Coulomb field of the nucleus, and others. [2]. In the present paper we consider the elliptic equation is a modification of the stationary Schrödinger equation. We prove the existence and uniqueness of solutions of the Dirichlet problem in the disk for linear second order differential equation with a singular point in the center of the study area. The main result is the construction of special functions – multiple polynomials triangle form, used in calculating the coefficients of the series representing the solution.
equation problem solution
the formula row polynomial

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

Рассмотрим стационарное уравнение Шрёдингера с двумя независимыми переменными, которое формально, отвлекаясь от физического смысла аргументов, можно записать в следующем виде [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].