Бабаханова С. Ш. Об одном разложении по собственным функциям семейства дифференциальных операторов // Международный научный журнал "Интернаука". - 2017. - №15.
Физико-математические науки
УДК 517.95
Бабаханова Севда Шахы
кандидат физико-математических наук,
доцент кафедры «Математика»
Государственный экономический университет Азербайджана
Babakhanova Sevda
Candidate of Physical-Mathematical Science,
Docent of the Department of Mathematics
State Economy University of Azerbaijan
ОБ ОДНОМ РАЗЛОЖЕНИИ ПО СОБСТВЕННЫМ ФУНКЦИЯМ СЕМЕЙСТВА ДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВ
ON AN EXPANSION IN EIGENFUNCTIONS OF A FAMILY OF DIFFERENTIAL OPERATORS
Аннотация. В статье рассматривается сопряженное семейство операторов и доказывается конечность, числа их собственных значении.
Ключевые слова: спектр семейства операторов, полиномы, мероморфные функции, формула Лагранжа, скалярное произведение элементов.
Summary. The conjugate family of operators is considered in the paper and the finiteness, the numbers of their eigenvalues are proved.
Key words: spectrum of a family of operators, polynomials, meromorphic functions, Lagrange formula, scalar product of elements.
1. Рассмотрим дифференциальное выражение
(1.1)
где комплексны значение функции, суммируемые по на и полиномы по степени
Разобьем комплексную - плоскость на равных секторов таких, что
Каждый из снова разделим на 2 равных сектора и .
Обозначим лучи, ограничивающие сектор через и , а через -его биссектрису.
Обозначим через совокупность функций, интегрируемых в квадрате по на при каждом удовлетворяющих следующим условиям:
1) существуют и абсолютно непрерывны по в каждом конечном интервале для всех
2)
Пусть заданы краевые условия.
(1.2)
где - мероморфные функции комплексного переменного такие , что при
(1.3)
P – натуральное число или ноль. Формы линейно независимы.
Пусть - фиксированное значение параметра , являющееся регулярной точкой всех функции одновременно.
Обозначим через - совокупность всех функции , удовлетворяющих (1.2) при .
Определим теперь оператор : его область определения есть , причем при
Пусть теперь - комплексный параметр, пробегающий регулярные точки всех функции . Тогда мы получим семейство операторов с областью определения и при
Рассуждая также, как и в [7], докажем следующее предложение.
ТЕОРЕМА 1.1. Если ранг формы равен , то области определения оператора плотны в .
2. Сейчас займемся описанием спектра семейства операторов.
ОПРЕДЕЛЕНИЕ 2.1. Функцию назовем собственной функцией семейства , если существует такое число , что при
Число назовем собственным значением семейства операторов.
Пусть решения, построенные в [3].
Обозначим через
Тогда уравнение для нахождения собственных значений семейства операторов имеет вид
Пусть выполняются условия
(2.2)
для всех
Пусть при
(2.3)
ТЕОРЕМА 1.1. Пусть выполняются условия (2.2) и (2.3), а . Тогда множество собственных значений оператора конечно для .
ЗАМЕЧАНИЕ. Так же, как и в [3], легко доказывается конечность числа собственных значений семейства операторов на границах секторов .
Пусть – оператор с областью определения либо в зависимости от того точка принадлежит сектору , либо .
Сопряженным дифференциальным выражением к (1.1) будет выражение вида
(2.4)
Обозначим через совокупность всех функций, определенных для так же, как в для . Очевидно, что тогда и только тогда, когда .
Нетрудно вычисляется, что если , а то имеет место формула Лагранжа
(2.5)
где учитывая, что .
Формулу (2.5) можно переписать в виде
(2.6)
где есть скалярное произведение элементов и в пространстве .
Учитывая тот факт, что если , то
формулу (2.6) можно записать так
(2.7)
В свою очередь, формулу (2.7) можно преобразовать, введя сопряженные краевые условия , которые в точке будут иметь вид
(2.8)
Формы , дополним какими-нибудь формами до линейно независимой системы форм , . В силу их линейной независимости, переменные можно выразить в виде линейных комбинаций форм , . Подставим эти выражения в билинейную форму в (2.7). (У нас роль будут играть функции , а роль - функции ). Тогда коэффициенты при переменных , также будут линейными однородными формами от переменных . Обозначим эти формы в точке через соответственно. Тогда формула (2.7) примет вид
(2.9)
Для построения сопряженного семейства операторов построим его область определения.
Областью определения сопряженного семейства операторов , обозначим ее через , будет совокупность функций , где построено аналогично и удовлетворяющих (2.8).
При
Где произвольные постоянные.
Заставляя параметр пробегать множество всех регулярных точек всех функций , получим сопряженное к семейство операторов с областью определения .
В общем виде условия (2.8) запишутся в виде
(2.10)
где , , , в общем говоря, мероморфные функции комплексного переменного .
Построенное таким образом сопряженное семейство операторов действительно является сопряженным семейством.
Литература