Граничные условия общего вида
Граничные условия общего вида
План.
1. Сопряженный оператор.
2. Сопряженная однородная задача.
3. Условия разрешимости.
Сопряженный оператор.
Обозначим через дифференциальный оператор второго порядка, т.е.
(1)
где представляют собой непрерывные функции в промежутке . Если и - дважды непрерывно дифференцируемые на функции, то имеем:
(2)
Как и в предыдущем параграфе, интегрирование соотношения (2) по частям дает:
(3)
Обозначим дифференциальный оператор, входящий в подынтегральное выражение в правой части (3) через , т.е. (4)
При этом соотношение (3) перепишется так:
(5)
Оператор называется сопряженным по отношению к оператору . Умножая соотношение (4) на и интегрируя полученный результат по частям, по отношению к оператору . Таким образом, операторы и взаимно сопряжены.
Как и в предыдущем параграфе, дифференциальное уравнение:
(6)
будем называть сопряженным дифференциальному уравнению:
(7)
Если же , то оператор и дифференциальное уравнение будем называть сопряженными. Сравнивая выражения (1) и (5), приходим к выводу, что тогда и только, когда:
Таким образом, оператор будем самосопряженным тогда и только тогда, когда .
При этом:
Так как любое дифференциальное уравнение вида (7) можно преобразовать в самосопряженную форму, умножив на функцию .
Дифференцируя соотношение (5) по , получаем так называемую формулу Лагранжа:
(8)
Правая часть этой формулы может быть записана как:
(9)
где
(10)
Отметим, что:
и следовательно, матрица -невырожденная. Подстановка выражения (9) в соотношение (8) дает:
(11)
Сопряженная однородная задача.
Введем следующее невырожденное линейное преобразование в вектор :
(12),
где
Заметим, что указанное преобразование может быть выполнено бесчисленным множеством способов, в зависимости от выбора матрицы А. При заданном ненулевом векторе две последние строки матрицы А можно выбрать так, чтобы придать любые требуемые значения компонентам. Это замечание используется в дальнейшем при нахождении вида сопряженных граничных условий. Поскольку , мы можем обратить преобразование (12) и получить:
.
При этом (11) можно переписать как:
или
(13),
где (14)
Билинейная форма в соотношении (13) называется каноническим представлением билинейной формы в правой части тождества (11).
Для того чтобы найти граничные условия сопряженной задачи, положим в соотношении (13)
и и получим:
(15)
Из формулы (21) следует, что однородные граничные условия, эквивалентны равенствам:
(16)
(17)
С учетом равенств (16) и (17) соотношение (15) принимает вид:
(18)
При ненулевом векторе последние две строки матрицы А могут быть выбраны так, чтобы компоненты и принимали любые требуемые значения, лишь бы и не обращались в нуль одновременно. В частности, нижние строки матрицы А можно выбрать из условия . При этом из соотношения (11) следует, что . Аналогичным образом, нижние строки матрицы А можно выбрать так, чтобы выполнялись равенства . При этом из соотношения (11) вытекает, что . Таким образом, задача, сопряженная задаче (19)
имеет вид:
(20)
где и связаны с компонентами вектора соотношением (14). Краевая задача (19) называется самосопряженной тогда и только тогда, когда и каждая из двух компонент и является линейной комбинацией и , т.е. пропорциональна .