1. ВВЕДЕНИЕ
В работе рассматриваются системы обыкновенных дифференциальных уравнений второго порядка вида:

где a, b, c - это не зависящие от z n x n матрицы, матрица a - невырожденная эрмитова, матрица b - антиэрмитова, c - эрмитова; V(z) - полиномиальная, вообще говоря, матричная функция (потенциал), Y - это n-компонентный вектор решений (волновая функция); E - параметр (энергия), который может быть действительным [Galiev, 2002], или комплексным [Polupanov, 2008].
К решению задачи на собственные значения и задачи рассеяния для уравнения (1) сводятся многие прикладные проблемы квантовой механики, в частности - в рамках приближения эффективной массы [Luttinger, 1956] - проблема размерно-квантованных состояний и состояний рассеяния электронов и дырок в полупроводниковых квантовых ямах (КЯ) при наличии внешних полей. В данной работе мы будем рассматривать решение задачи на собственные значения для уравнения (1) и его применение к исследованию размерно-квантованных состояний дырок в КЯ. Следует отметить, что даже в простейшем случае одного уравнения (n = 1 в (1)), когда потенциал V(z) не есть кусочно-постоянная функция, для нахождения энергий связанных состояний и соответствующих волновых функций используются различные, существенно приближённые численные методы. Например, приближение многоступенчатого потенциала [Ando, 1987], кусочно-линейного потенциала [Lui, 1986], методы конечных элементов [Nakamura, 1989], вариационный метод [Bastard, 1983]. В случае системы уравнений (n > 1 в (1)) обычно использовались конечно-разностные методы [Polupanov, 1985], которые могут давать большую погрешность даже в случае одного уравнения. Значительно более эффективными и точными являются методы, основанные на численном интегрирования дифференциальных уравнений [9-10]. В настоящей работе представлен вариант явного численно-аналитического метода рекуррентных последовательностей решения задачи на собственные значения, предложенного в [Ikonic, 1992], развитого в случае сингулярной задачи на собственные значения в [11, 12] и систем вида (1) в [Chuang, 1991].
2. ОБЩАЯ ФОРМУЛИРОВКА МЕТОДА
Для дальнейшего анализа удобно записать систему уравнений (1) в виде системы уравнений первого порядка, заменяя функцию 2п-компонентной функцией y(z) следующего вида

A(z) - это матричная функция размером 2n х 2n, построенная из матриц a, b, c, нулевой 0 и единичной î матриц, размером n х n, функции V(z) и энергии E.
Мы рассматриваем случай кусочно-полиномиальной функции V (z) (потенциала КЯ), тогда функция V(z) - это полином степени n по z при 0 < z < d и V(z) = 0 пр z □ 0, z ≥ d. Матричную функцию A (z) можно представить в виде

где Ai, (i=0,1,...,n) -это постоянные 2n х 2n матрицы (вообще говоря, различные при 0 ≤ z ≤ d при z < 0, z > d).
Рассматривается следующая задача на собственные значения для уравнения (2) (а, значит, и (1)). Необходимо найти такие дискретные значения параметра E (E=Ei, i=0,1,...), при которых выполняются следующие условия для соответствующих им решений:
-
y(z) → 0 при z - ± ∞
-
y(z) непрерывна пр z = 0 и z = d.
Необходимо также найти соответствующие со бственные функции - нормированные решения (1) ΨE(z). Отметим, что в приложениях возможны и более общие ограниченные условия, чем 2), например, если матрицы a, b, c разрывно изменяются при прохождении точек z = 0, z =
d (см., например, [Федорюк, 1985]). Для определённости, но без потери общности, мы будем использовать условие 2).
Рассмотрим решения (фундаментальную систему решений) (2) по отдельности при 0 ≤ z ≤ d, z < 0 и z > d.
Поскольку предполагается , что функция V(z) - это многочлен (3) при 0 < z < d, то следующий ряд для каждого отдельного решения из фундаментальной системы решений

где уk - не зависящие от z 2n-векторы (столбцы из 2n элементов), сходится на этом отрезке (см. [ 1 5 ] ) , т. е . каждое решение уравнения (2) можно представить в виде сходящегося ряда (4). Подставляя (3) и (4) в уравнение (2), получаем следующие рекуррентные соотношения для векторов yk:

и У0 - это некоторый заданный столбец из 2n элементов.
Поскольку рассматривается польномиальная функция V(z), то выражения (4) и (5) дают точные формулы для решений (2) при 0 ≤ z ≤ d и позволяют вычислить эти решения с любой требуемой точностью, обрыв я соответствующие ряды при достаточно большой величине k = kmax.
С учетом того, что при z < 0 и z > d функция V(z) = 0, имеем следующее уравнение при z < 0, z > d:

Решения уравнения (6), удовлетворяющие граничным условиям при z → ±∞, легко найти, поскольку они есть суперпозиции 2n-столбцов (собственных векторов матрицы А0), умноженных на экспоненциальные функции с, вообще говоря, комплексными аргументами, соответствующими собств нным зн чениям матрицы A0. В случае решения задачи на собственные нужно рассматривать те значения параметра E (энергии), при которых собственные значения матрицы A0 имеют не равную нулю действительную часть и при этом следует учитывать только те экспоненциальные функции в решениях, которые убывают при z → ±∞.


3. РЕШЕНИЕ ЗАДАЧИ НА СОБСТВЕННЫЕ ЗНАЧЕНИЯ В СЛУЧАЕ СИСТЕМЫ ДВУХ ОДУ ВТОРОГО ПОРЯДКА



4. РЕЗУЛЬТАТЫ РАСЧЕТОВ И ОБСУЖДЕНИЕ


