Саакян Г. Г.
Арцахский государственный
университет
О СОБСТВЕННЫХ ЗНАЧЕНИЯХ И
СОБСТВЕННЫХ ФУНКЦИЯХ ОДНОЙ ЗАДАЧИ ДЛЯ ДВУМЕРНОЙ СИСТЕМЫ ДИРАКА
Рассматривается следующая краевая задача для двумерной
системы Дирака
(1)
(2а)
(2b)
(2c)
(2d)
где
и
-действительные
функции, определенные и непрерывные на интервале
,
- параметр. Спектральные свойства для одномерного оператора
Дирака достаточно подробно исследованы ([1]-[3]). Цель данной работы
–исследование некоторых спектральных свойств для одного двумерного оператора Дирака, порождаемого задачей (1), (2a)-(2d). Заметим
прежде всего, что в раскрытом виде систему (1) можно записать в виде
(3)
Известно
([3]), что матрицы Паули четвертого порядка имеют следующий вид
и обладают следующими
свойствами:
1. (самосопряженность),
2. (антикоммутативность)
3. (
-единичная матрица
четвертого порядка).
С помощью матриц Паули дифференциальное
выражение, порождающее рассматриваемый оператор Дирака, можно представить в
виде
где ,
называют потенциалом. Нетрудно проверить
непосредственным вычислением, что имеeт место
соотношениe
Операторы Дирака,
удовлетворяющие этому условию, называют каноническими ([4], стр. 30). Мы будем рассматривать случай,
когда .
В этом случае систему (3) можно записать в виде
(4)
Лемма 1. Собственные
вектор-функции и
задачи (4), (2a)-(2d), соответствующие различным собственным
значениям
, ортогональны,
т.е.
,
где
.
Доказательство. Предположим, что и
являются
решениями задачи (4),(2а)-(2d). Тогда имеют
место тождества
и
Умножив первые тождества этих
систем соответственно на и
, вторые- на
и
, третие –на
и
,a последние –на
и
, и затем, суммируя,
получим
.
Далее, интегрируя последнее
тождество в пределах от до
, найдем
. (5)
Правая часть этого равенства,
в силу граничных условий (2), как нетрудно проверить, будет равна нулю, и
поскольку , то получим то, что и требовалось доказать.
Лемма 2. Собственные
значения краевой задачи (4), (2а)-(2d) действительны.
Доказательство.
Предположим противное, а именно: является комплексным
собственным значением задачи (4), (2а)-(2d). В силу действительности функций
и
, а также чисел
и
, число
также будет
собственным значением задачи (4), (2а)-(2d) с соответствующей собственной функцией. Тогда, с
учетом леммы 1, мы найдем, что
,
откуда будет следовать, что а, значит
что противоречит
нашему предположению. Лемма доказана.
Рассмотрим теперь систему (4) в предположении, что потенциал
равен тождественному
нулю (что равносильно выполнению условия:
).
В этом случае система (4) примет вид
(6)
Далее, предположим, что на
решения системы (6) налагаются
следующие начальные условия
(7)
Заметим, что
систему (6) можно рассмотреть как совокупность двух независимых систем,
состоящих соответственно из первого и четвертого, и, второго и третьего
уравнений. Решая каждую из них в отдельности одним из известных для линейных
однородных систем второго порядка методов, и, учитывая условия (7), нетрудно
найти, что общее решение задачи (6)-(7) можно записать в виде
(8)
Пусть есть пространство
четырехкомпонентных вектор-функций
,
, непрерывных и имеющих непрерывную первую производную.
Топология в
определяется с помощью
равномерной в каждом конечном интервале сходимости вектор-функций и их первых
производных.
Далее, пусть и
линейные
операторы-матрицы (4x4) из
в
, а
и
--замкнутые
подпространства в
.
Определение. Линейный
обратимый оператор (матрица (4x4) , определенный на всем
и действующий из
в
называется оператором (матрицей) преобразования для
пары операторов (матриц)
и
, если
удовлетворяет следующим
двум условиям:
1.
Оператор (матрица) и обратный ему
оператор (матрица)
непрерывны в
пространстве
.
2.
Имеет место
операторно-матричное тождество
. (9)
Пусть
пространство --то же, что определено выше, а пространства
--подпространство вектор-функций
, удовлетворяющих краевому условию
, (10)
где и
–произвольные конечные действительные числа.
Рассмотрим операторы-матрицы
, (11)
, (12)
где и
-- действительные и
непрерывные функции на интервале
,
Теорема. Оператор (матрица) , отображающий
на
можно реализовать в
виде
. (13)
Ядро-матрица
оператора (13) является решением дифференциального уравнения
(14)
и
удовлетворяет условиям
, (15)
. (16)
Наоборот,
если ядро-матрица есть решение задачи (14)-(15), то оператор (матрица)
, определенный формулой (13), является оператором (матрицей)
преобразования для пары операторов (матриц)
и
, действующий из
в
.
Доказательство. Из определения операторов –матриц и
, имеем
.
С другой
стороны, учитывая определения и
будем иметь
.
Учитывая (9),
и, приравнивая правые части двух последних равенств, получим
. (17)
Применив
интегрирование по частям, будем иметь
.
Тогда
равенство (17) можно записать в виде
. (18)
В силу
произвольности вектор-функции , мы можем приравнить подынтегральные выражения. Получим
,
т.е. уравнение (14). Далее, приравняв коэффициенты при , найдем
.
И, наконец, должен быть равен нулю член, содержащий справа
в выражении (18), ввиду отсутствия подобного члена слева. Следовательно,
(19)
Очевидно, что удовлетворяет
краевому условию (10). Поэтому из (19) будет следовать, что
т.е. условие (16). Теорема
доказана.
Рассмотрим теперь краевую задачу (4), (2а)-(2d).
Обозначим через решение системы (4), удовлетворяющее начальным
условиям
(20)
Очевидно, что удовлетворяет краевому
условию (2а), (2b). Рассмотрим теперь задачу (4), (20) при
. Пусть
–решение этой задачи.
Как было показано выше, при этом будем иметь
(21)
Применим теперь оператор-матрицу преобразования к решению задачи (4), (2а), (2b).
Система (4) может быть записана в виде
(22)
С другой
стороны, вектор-функция определенная равенствами (21), является решением
уравнения
(23)
Так как является решением уравнения
, то в силу определения оператора-матрицы преобразования
имеем
т.е. есть решение уравнения
. Итак, если
есть решение уравнения (22), то
есть решение
уравнения (23). Согласно теореме 1 будем иметь
,
откуда, учитывая явный вид вектор-функции , для компонентов вектор-функции
получим следующие
формулы
где --элементы матрицы-ядра
из теоремы 1.
Литература
1. М.Г. Гасымов, Б.М. Левитан. Обратная задача для системы Дирака. ДАН СССР, т. 167, № 5, стр. 967-970,
1966.
2. Б.М. Левитан, И.С. Саргсян. Операторы
Штурма-Лиувилля и Дирака.
М.; Наука, 1988.
3. Т.Н. Арутюнян. К обратной задаче для канонической
системы Дирака. Известия НАН Армении, Математика, 41, № 1, 2006, стр. 5-14.
4. В.А. Марченко. Операторы Штурма-Лиувилля и их
приложения. Киев, 1977.