Содержание к диссертации
Введение
ГЛАВА I. Операторные голоморфные функции с неотрицательной эрмитовой частью 14
1. Основные понятия и обозначения. Основные пространства. Преобразование Фурье 14
2. Тензорные произведения пространств скалярных функций и гильбертова пространства. Интегрирование по - мере 20
3. Преобразование Фурье-Лапласа в APStibjjJsL... 40
4-Ф Свертка.Сверточные алгебры. Сверточное представление трансляционно-инвариантных отображений 42
5. Операторные голоморфные функции с неотрицательной 53
6. Положительно-вещественные операторные функции в трубчатых областях над конусом 61
ГЛАВА ІII. Линейные пассивные системы в гильбертовом пространстве 64
7. Линейные трансляционно-инвариантные пассивные системы в гильбертовом пространстве 64
8. Теорема о реализуемости линейных трансляционно-инвариантных пассивных систем в гильбертовом пространстве . 68
9. Невырожденные линейные пассивные системы 70
ГЛАВА III. Задача Коши для линейных пассивных систем в гильбертовом пространстве ..85
10. Фундаментальное решение в сверточной алгебре 85
11. Обобщенная задача Коши для линейных пассивных систем в гильбертовом пространстве 87
12. Многомерные дифференциальные пассивные
системы в гильбертовом пространстве .' 88
ГЛАВА ІV. Приложения 93
13. Обобщенная задача Коши для гиперболического дифференциального уравнения в частных производных с операторными коэффициентами .1 V 93
14. Обобщенная задача Коши для волнового уравнения с переменным коэффициентом 95
15. Обобщенная задача Коши для нестационарного линеаризованного уравнения Больцмана 102
16. Асимптотика решения задачи Коши двумерной системы уравнений вращающейся сжимаемой жидкости 104-
17. Пассивные системы, описывающие волноводы ИЗ
Литература 117
- Тензорные произведения пространств скалярных функций и гильбертова пространства. Интегрирование по - мере
- Положительно-вещественные операторные функции в трубчатых областях над конусом
- Теорема о реализуемости линейных трансляционно-инвариантных пассивных систем в гильбертовом пространстве
- Обобщенная задача Коши для линейных пассивных систем в гильбертовом пространстве
Введение к работе
Начиная с 50-ых годов математическая идеализация ряда задач теории электрических цепей, термодинамики, теории рассеяния частиц в квантовой механике оформилась в теорию одномерных скалярных линейных трансляционно-инвариантных пассивных систем. Разработка этой теории была завершена в работах ряда авторов Е.Баль-трами и М,Волерса [22] , Х.Кенига [28] , Т.Мейкснера [32J , Д,Юо-лы, Л,Кастриоты и Г.Карлемана рю], А. Земаняна[42] и др; [25], [33],[3б],[38],[39] .
В 60-70-х годах дальнейшие исследования в теории пассивных систем развивались в двух направлениях.
Первое направление разрабатывалось В.Хакенброком [2б], А.'Зе-маняном [41-44] , Х;Кенигом[29] , М.Волерсом [37] . Они распространили одномерную теорию пассивных систем сначала с скалярного случая на матричный и затем на случай операторов в гильбертовом пространстве.
Второе направление нашло отражение в цикле работ В.С.Владимирова [2] , [з], f 5J ,' В этих работах было введено понятие пассивной системы, учитывающее пространственно-временную динамику физического процесса, была построена теория линейных многомерных матричных трансляционно-инвариантных пассивных систем на основе разработанной им теории голоморфных матриц-функций с неотрицательной эрмитовой частью. При этом широко использовались методы многомерного преобразования Лапласа и оценки для голомофрных функций с неотрицательной мнимой частью в трубчатых областях над конусом [4-] . В монографии [ъ] изложены некоторые применения этой теории: для изучения матрицы рассеяния, систем дифференциальных уравнений в частных производных первого порядка с постоянными коэффициентами, а также разрешимости обобщенной задачи Коши для пассивных систем.
- б -
В последние годы теорию В.С.Владимирова на случай многомерных линейных матричных не трансляционно-инвариантных дифференциальных пассивных систем обобщил Ю. Н. Дрожжи нов [із] ,[I4J. Следует отметить, что в этом последнем направлении мощный аппарат теории преобразования Лапласа не используется, что затрудняет развитие теории пассивных систем в не трансляционно-инвариантном случае (см. также [б] ).
Настоящая работа посвящена изучению линейных многомерных трансляционно-инвариантных пассивных систем в гильбертовом пространстве.
Теория пассивных систем возникла на основе математической идеализации моделей физических процессов. Математическая модель таких процессов строится по принципу "черного ящика": физическая система описывается некоторым линейным оператором Л , который действует из некоторого топологического векторного функционального пространства в другое аналогичное функциональное пространство, при этом оператор 71 удовлетворяет некоторому неравенству энергетического типа, отражающему свойство физической системы поглощать или рассеивать энергию. При таком рассмотрении, условиями физической задачи выделяется часть параметров, описывающих такую систему, называемых "входом" и оставшаяся часть - называемых "выходом" системы. Если входной и выходной сигналы зависят как функции от одной переменной (как правило, времени), то такие системы называются одномерными, если же от Л - переменных (пространственные координаты и время), то такие системы называются многомерными. Если входной и выходной сигналы являются функциями со значениями в гильбертовом пространстве hi , то такие системы будем называть гильбертовыми или пассивными системами в гильбертовом пространстве /-/ . Когда пространство конечномерно, т.е. п^п , где /S/< ,
то такие системы называются матричными, если кроме того, N-l , то такая система - скалярная.
С подобными математическими моделями можно познакомиться, например, в работах f і] ,[г] ,[5J ,[20] ,[25], [32].
В математических моделях физических процессов (пассивных системах) очень важна структура топологического векторного функционального пространства. Грубо говоря, в силу ядерности этого пространства из линейности, непрерывности и трансляционной инвариант' ности оператора Ос следует сверточное представление для этого оператора, т.е. Л—Z* , где Z - называется ядром пассивной системы и является отображением из одного специального пространства в другое аналогичное. Этому и другим вспомогательным общим математическим вопросам посвящена первая глава.
Как правило этот оператор обладает рядом дополнительных свойств: сохраняет гладкость выходного сигнала, пассивен относительно некоторого острого телесного конуса. Свойство пассивности системы, выражаемое в виде неравенства энергетического типа, является чрезвычайно сильным свойством: из него, в частности, вытекают причинность и умеренный рост ядра пассивной системы. Эти вопросы и составляют содержание второй главы, в которой излагается теория пассивных систем в гильбертовом пространстве.
Учет пространственно-временной динамики физических процессов приводит к многомерным пассивным системам. Многочисленные примеры многомерных матричных пассивных систем рассмотрены в монографии В.С.Владимирова [5] . Например, такими системами являются система уравнений сжимаемой вращающейся жидкости и акустики, магнитной гидродинамики, уравнения теории упругости, уравнение переноса, уравнение Дирака, уравнения Максвелла и др.
Различные краевые задачи для симметрических гиперболических
систем изучались С.К.Годуновым и У.М.Султангазиным[ю], А.А.Де-ЗИНЫМ [i l] ,K.Friedrichs[2^, P. Lax И R Phillips [і б] , [30] и P.Leonard [31] '.
В работах f7J,[l2] методами теории многомерных матричных пассивных систем получено решение обобщенной задачи Коши для систем уравнений вращающейся сжимаемой жидкости (пространственно двумерный случай) и магнитной гидродинамики. Явное представление этого решения позволило в упомянутых работах исследовать его временную асимптотику. Заметим, что временная асимптотика решения задачи Коши для системы уравнений вращающейся сжимаемой жидкости (общий случай) другим методом изучена В.Н.Масленниковой (см., например, [і?] ).
Ряд конкретных систем уравнений математической физики, являющихся в нашей терминологии многомерными матричными дифференциальными пассивными системами, а также разрешимость задачи Коши для таких систем рассмотрены в работах F.Garnir - Mon^oie [24-] и M.Povoas [34J . Делая преобразование Лапласа по временной переменной, они далее, пользуясь обычными методами функционального анализа, исследуют спектральное разложение полугруппы операторов в гильбертовом пространстве.
Необходимость рассмотрения одномерных пассивных систем в гильбертовом пространстве впервые возникла при решении задач теории распространения электромагнитных сигналов в волноводах [zi] . Многомерные гильбертовые линейные трансляционно-инвариантные пассивные системы возникают в ряде задач математической физики: им-педансные системы в теории волноводов (с переменной диэлектрической проницаемостью поперек волновода), линеаризованное нестационарное уравнение Больцмана, описывающее физический процесс переноса молекул газа с учетом их поглощения и рассеяния [35] .
Еще одна область применения многомерных гильбертовых тран-сляционно-инвариантных пассивных систем-решение обобщенной задачи Коши для дифференциальных уравнений в частных производных с операторными коэффициентами, а также решение задачи Коши для волнового уравнения с переменным коэффициентом.
Четвертая глава, содержащая перечисленные выше применения теории пассивных систем в гильбертовом пространстве к конкретным моделям из математической физики, завершает диссертацию.
Здесь уместно подчеркнуть свойство замкнутости теории невырожденных пассивных систем относительно ее ядра в некоторой свер-точной алгебре: фундаментальное решение пассивной системы тоже определяет трансляционно-инвариантную линейную пассивную систему.
Перейдем теперь к краткой характеристике глав диссертации.
В первой главе излагается теория операторных голоморфных функций с неотрицательной эрмитовой частью в трубчатой области над конусом, которая будет использоваться на протяжении всей диссертации.
В первом параграфе излагаются основные понятия теории оператор-
нозначных обобщенных функций: пространства іг>(н),н] ЛУШ],
где >(Н) и У(Н) - основные пространства.
В 2 вводятся тензорные произведения пространств скалярных функций, в частности ь& и У , и гильбертова пространства И . Излагаемая здесь теорема о топологическом изоморфизме пространств
существенно облегчает использование фактов теории операторнозначных обобщенных функций при исследовании пассивных систем в гильбертовом пространстве. Здесь же кратко напоминаются сведения из теории положительных операторных мер (РО - мер) и интегрирования гильбертовозначных функций по таким мерам.
- 10 -Аналитическому аппарату теории трансляционно-инвариантных
пассивных систем (теории преобразования Фурье-Лапласа операторнозначных обобщенных функций) посвящен 3.
Выяснению условия существования свертки двух операторнозначных функций в алгебрах [>(Н), Н] (о+) и [i/(Hj,H](S+) уделяется основное внимание в 4. Приводится доказательство теоремы о сверточном представлении линейных непрерывных трансляционно-инвариантных отображений из
Центральное место в первой главе принадлежит 5,6, в которых излагается: теория эрмитово-неотрицательных операторнозначных Тс ; положительно-вещественные операторные функции в
трубчатой области, а также доказывается лемма о пространствах инвариантности неотрицательных операторов в гильбертовом пространстве.
Во второй главе строится теория многомерных линейных непрерывных трансляционно-инвариантных пассивных систем в гильбертовом пространстве.-
В 7 аксиоматически вводятся линейные непрерывные трансля-ционно-инвариантные пассивные системы в гильбертовом пространстве. Устанавливается ряд свойств ядра пассивной системы.
В 8 решается вопрос: всякое ли ядро будет определять линейную трансляционно-инвариантную пассивную систему? Теорема реализуемости таких систем в гильбертовом пространстве дает необходимое и достаточное условие того, что операторнозначная обобщенная функция определяет сверточную пассивную систему.
В 9 доказывается теорема о том, что для невырожденности пассивной системы достаточна обратимость ее импеданса в одной фикси-
л. . .. . Эта теорема дает эффективный способ
проверки невырожденности пассивной системы.
- II -
В третьей главе рассматриваются вопросы корректности постановки обобщенной задачи Коши для пассивных систем в гильбертовом пространстве.
В 10 исследуются условия существования и единственности фундаментального решения пассивной системы в сверточной алгебре [У(Н)3Н\(Є+) , связь между невырожденностью и существованием фундаментального решения пассивной системы.
В II ставится обобщенная задача Коши для пассивной системы в гильбертовом пространстве и доказывается корректность постановки такой задачи. Устанавливается связь между невырожденностью пассивной системы и разрешимостью обобщенной задачи Коши для нее.
В 12 изучаются многомерные дифференциальные пассивные системы с операторными коэффициентами. Для таких систем устанавливаются условия пассивности, невырожденности, корректности постановки обобщенной задачи Коши.
Четвертая глава посвящена применениям теории пассивных систем к некоторым конкретным моделям математической физики.
В 13 рассматривается задача Коши для гиперболического уравнения с операторными коэффициентами.Она сводится к обобщенной задаче Коши для многомерной дифференциальной пассивной системы в гильбертовом пространстве. Устанавливаются условия существования и единственности решения задачи Коши.
В 14- решается задача Коши для волнового уравнения с переменным коэффициентом с использованием теории пассивных систем. Переход к пассивной системе в гильбертовом пространстве совершается с помощью метода Роте.
Физически интересным примером пассивной системы в гильбертовом пространстве является нестационарное линеаризованное уравнение Больцмана с учетом процессов поглощения и рассеяния молекул
- 12 -газа, возникающее в ряде математической физики. Изучению условий, при которых это уравнение порождает пассивную систему, уделяется основное внимание в 15.
В 16 получено решение задачи Коши для двумерной системы уравнений вращающейся сжимаемой жидкости и исследовано асимптотическое поведение этого решения при t —* 0.
Примеры пассивных систем в гильбертовом пространстве, возникающие в задачах теории волноводов, рассмотрены в 17.
Резюме. Основные результаты, полученные в диссертации;
Исследованы эрмитово-положительные операторные функции в трубчатой области под конусом j и на .основе результатов этого изучения построена теория пассивных систем в гильбертовом пространстве (глава I, 5, теорема 5.1; глава П, 7, теорема 7.1).
Получены необходимые и достаточные условия положительно-вещественности операторных функций в трубчатой области над конусом С и доказана теорема реализуемости пассивных систем в гильбертовом пространстве (глава I, б, теорема 6.1; глава П, 8).
Доказана корректность постановки обобщенной задачи Коши для пассивных систем в гильбертовом пространстве (глава П, 9; глава Ш, II).
Основные результаты, приведенные в диссертации, опубликованы в работах [7], [в], [э] и неоднократно докладывались на семинарах отдела Математической физики Математического института им.В.А. Стеклова, на семинарах отдела математики и физики с ВЦ Башкирского филиала АН СССР (г.Уфа).
Автор приносит искреннюю благодарность своему руководителю Ю.Н.Дрожжинову, а также благодарит всех сотрудников отдела Математической физики МИАН, особенно Б.И.Завьялова и В.В.Жаринова за полезные советы и помощь в работе.
- ІЗ -
Математические обозначения и определения, используемые в работе, совпадают с обозначениями в работах [5],[44] . Нумерация параграфов по главам сквозная. Нумерация же формул и теорем в работе своя в каждом параграфе. Так, например: (7.6) - означает 6-ую формулу в 7, теорема 9.2 - означает 2-ую теорему 9.
Тензорные произведения пространств скалярных функций и гильбертова пространства. Интегрирование по - мере
Еще одна область применения многомерных гильбертовых тран-сляционно-инвариантных пассивных систем-решение обобщенной задачи Коши для дифференциальных уравнений в частных производных с операторными коэффициентами, а также решение задачи Коши для волнового уравнения с переменным коэффициентом.
Четвертая глава, содержащая перечисленные выше применения теории пассивных систем в гильбертовом пространстве к конкретным моделям из математической физики, завершает диссертацию.
Здесь уместно подчеркнуть свойство замкнутости теории невырожденных пассивных систем относительно ее ядра в некоторой свер-точной алгебре: фундаментальное решение пассивной системы тоже определяет трансляционно-инвариантную линейную пассивную систему.
Перейдем теперь к краткой характеристике глав диссертации. В первой главе излагается теория операторных голоморфных функций с неотрицательной эрмитовой частью в трубчатой области над конусом, которая будет использоваться на протяжении всей диссертации. В первом параграфе излагаются основные понятия теории оператор нозначных обобщенных функций: пространства іг (н),н] ЛУШ], где (Н) и У(Н) - основные пространства. В 2 вводятся тензорные произведения пространств скалярных функций, в частности ь& и У , и гильбертова пространства И . Излагаемая здесь теорема о топологическом изоморфизме пространств существенно облегчает использование фактов теории операторнозначных обобщенных функций при исследовании пассивных систем в гильбертовом пространстве. Здесь же кратко напоминаются сведения из теории положительных операторных мер (РО - мер) и интегрирования гильбертовозначных функций по таким мерам. - 10 -Аналитическому аппарату теории трансляционно-инвариантных пассивных систем (теории преобразования Фурье-Лапласа операторнозначных обобщенных функций) посвящен 3. Выяснению условия существования свертки двух операторнозначных функций в алгебрах [ (Н), Н] (о+) и [i/(Hj,H](S+) уделяется основное внимание в 4. Приводится доказательство теоремы о сверточном представлении линейных непрерывных трансляционно-инвариантных отображений из Центральное место в первой главе принадлежит 5,6, в которых излагается: теория эрмитово-неотрицательных операторнозначных Тс ; положительно-вещественные операторные функции в трубчатой области, а также доказывается лемма о пространствах инвариантности неотрицательных операторов в гильбертовом пространстве. Во второй главе строится теория многомерных линейных непрерывных трансляционно-инвариантных пассивных систем в гильбертовом пространстве. В 7 аксиоматически вводятся линейные непрерывные трансля-ционно-инвариантные пассивные системы в гильбертовом пространстве. Устанавливается ряд свойств ядра пассивной системы. В 8 решается вопрос: всякое ли ядро будет определять линейную трансляционно-инвариантную пассивную систему? Теорема реализуемости таких систем в гильбертовом пространстве дает необходимое и достаточное условие того, что операторнозначная обобщенная функция определяет сверточную пассивную систему. В 9 доказывается теорема о том, что для невырожденности пассивной системы достаточна обратимость ее импеданса в одной фикси л. . .. . Эта теорема дает эффективный способ проверки невырожденности пассивной системы. - II В третьей главе рассматриваются вопросы корректности постановки обобщенной задачи Коши для пассивных систем в гильбертовом пространстве. В 10 исследуются условия существования и единственности фундаментального решения пассивной системы в сверточной алгебре [У(Н)3Н\(Є+) , связь между невырожденностью и существованием фундаментального решения пассивной системы. В II ставится обобщенная задача Коши для пассивной системы в гильбертовом пространстве и доказывается корректность постановки такой задачи. Устанавливается связь между невырожденностью пассивной системы и разрешимостью обобщенной задачи Коши для нее. В 12 изучаются многомерные дифференциальные пассивные системы с операторными коэффициентами. Для таких систем устанавливаются условия пассивности, невырожденности, корректности постановки обобщенной задачи Коши. Четвертая глава посвящена применениям теории пассивных систем к некоторым конкретным моделям математической физики. В 13 рассматривается задача Коши для гиперболического уравнения с операторными коэффициентами.Она сводится к обобщенной задаче Коши для многомерной дифференциальной пассивной системы в гильбертовом пространстве. Устанавливаются условия существования и единственности решения задачи Коши. В 14- решается задача Коши для волнового уравнения с переменным коэффициентом с использованием теории пассивных систем. Переход к пассивной системе в гильбертовом пространстве совершается с помощью метода Роте.
Положительно-вещественные операторные функции в трубчатых областях над конусом
В этой главе излагается теория линейных трансляционно-инвариантных пассивных систем в гильбертовом пространстве, которые аксиоматически вводятся в 7. Основным инструментом в этой теории являются положительно-вещественные операторные функции в трубчатых областях над конусами, которые изучались в 6. К этой проблеме близко примыкает вопрос: всегда ли положительно-вещественные операторные функции в трубчатых областях порождают линейные трансляционно-инвариантные пассивные системы в гильбертовом пространстве, ответ на который дает теорема реализуемости,излагаемая в 8. Рассмотрение в 9 невырожденных пассивных систем логически завершает изложение упомянутой выше теории.
В этом параграфе мы рассмотрим теорию линейных трансляцион-но-инвариантных пассивных систем в гильбертовом пространстве. Из нескольких аксиом, отражающих физические свойства систем, описываемых математически отображением в пространстве 5о(Н), выводятся свойства умеренности роста, причинности.
Пусть задано линейное непрерывное отображение 9Ї из о&(Н) в / /-//. Предположим, что оно удовлетворяет еще следующим аксиомам: I. отображение 3 с -вещественное, т.е. J fa[oD(), Нґ{, , 2. отображение J С -трансляционно-инвариантное, т.е. 3. Отображение OX пассивно относительно конуса Г е[ (її / )( ), / (х)їнІ 0 #]Іє&(Н). (7.1) -Г Как показано выше (см. 4 глава I) J с имеет сверточное представление, т.е. существует такое, что 7tf-Y f +feZ (H). 7-2 Отображение Y назовем ядром отображения п. Замечание 7.1. Формула (7.2) дает продолжение указанного отображения ОЪ с с&(Н) на пространство [&fHj. Неравенство (7.1) корректно так как Ф рє), (Y#P)(X)G(H). Определение 7.1. Линейное непрерывное отображение 71 ,удовлетворяющее аксиомам 1-3 , называется линейной трансляционно-инвариантной системой пассивной относительно конуса Г. В дальнейшем, имея в виду только трансляционно-инвариантные пассивные системы, мы будем говорить просто линейная система, пассивная относительно конуса і . Нетрансляционно-инвариантные пассивные системы изучались в работах Ю.Н.Дрожжинова [б],[іЗІ, [и]. Утверждение 7.1. Носитель ядра j системы , пассивной относительно конуса і , содержится в конусе! , T.e.suf pYcn Доказательство.В силу пассивности е -Г 7L(fi + jk),f +4 н J Ї"І &("), & - 66 Будем считать, что sufp% = 1&п\(-Г) В силу произвольности л l ltfz, k HJ o е&(н). Возьмем г %(х) = Л(зс)а, , где" Лє2) , аєН .Тогда J Z &( ),& „ ( ) / = О. -Г В силу леммы дю Буа-Реймонда (см.рэ]) и из условия Ук(х),а)& »получим,что 0l fi(o),a)H=0 fa H. Поэтому, Отсюда, suocY c/7 Утверждение 7.2. Ядро У системы 02 ,пассивной относительно конуса і , принадлежит пространству [&(Н),Н]ш Доказательство.В силу условия пассивности ФЄЮ(И). Устремляя ]х0\— , получим условие дисси-пативности 2el Y b l HJ o jeX(H). (7-3) В силу последнего неравенства, отображение Г + j положительно определенное по Бохнеру и по теореме Бохнера "Y" "+Y" Є[У(Н),Н] . Рассмотрим отображение fa W tXrW ШІ ( ) где Уге " характе" ристическая функция конуса 1 , а м( ) - "шапочка": Из (7.4) ясно, что если SU P/QФ с. UE , где / - шар радиуса в JR , є%о(н) , то (Y69f) = o .Следовательно, УЄ[ (НІН] . Итак, Y=Ye+jfcF принадлежит пространству [/(Н),Н] Замечание 7.2.Условие 3 может быть продолжено на шєд(ніщ В силу утверждений 7.1 и 7.2, для ядра Y системы 7t , пассивной относительно конуса j , существует преобразование Лапласа ($)а=(У{х],Пг(х)Є#р(і$-х)Оі) ъ Т. (7.5) Функция &($) " называется импедансом системы It , пассивной относительно конуса! . Если -Иг І существует f ( ///, /У/ , то (j ) называется адмитансом системы Ук , пассивной относительно конуса I . Из аксиомы I следует вещественность импеданса ос (?) при =o+io , где є , т.е. &(о + ір) є 1» іо, Иґ По] -fy еС. V-V Утверждение 7.3. Импеданс ос( ) системы / , пассивной относительно конуса 1 , является положительно-вещественной операторной функцией в 1 . Доказательство.В силу замечания 7.2, -Отсюда Итак, в силу (7.5) Из (7.6) следует вещественность импеданса о($) . Этим и завершается доказательство утверждения. 8. Реализуемость линейных пассивных систем в гильбертовом пространстве. В этом параграфе мы выясним в каких случаях операторная функция f(s) [HjH] является импедансом некоторой линейной трансляционно-инвариантной пассивной системы и,наоборот. Такая теорема носит название теоремы реализуемости пассивных систем, т.е. в каких случаях a priori выбранная операторная функция будет реализовать (или соответствовать) какую-нибудь пассивную систему в гильбертовом пространстве.
Теорема о реализуемости линейных трансляционно-инвариантных пассивных систем в гильбертовом пространстве
В этом параграфе мы рассмотрим некоторые конкретные примеры пассивных систем, возникающих при решении задач теории волноводов. Здесь мы несколько модифицируем рассуждения, изложенные в монографии по теории электромагнетизма Jones F.S. [ЗО] .
Напомним, что под волноводом понимается устройство, осуществляющее передачу электромагнитных сигналов высокой частоты (или микроволн) от источника к приемнику . Физическая мо -ш- дель (идеализация) волновода-совершенно проводящая металлическая труба бесконечной длины.
Будем считать, что ось Z направлена вдоль оси трубы. Внутренность трубы обозначим через О , & - поперечное се чение области (У при z const 9 У-ЪВ - граница попе речного сечения S Итак, Задача распространения электромагнитной волны внутри волновода математически формулируется так: решить классическую зада-чу Коши в пространстве Wx (S) X V/, (&хЯ±) (например, для составляющих вектора электрической напряженности) с условиями согласования C/LVJ)=O 9 а.1ъВ =о % и с условиями на границе области и : I» исчезновение тангенциальной составляющей электрического поля 2. линейная зависимость вектора электрической индукции (вектора магнитной индукции) от вектора напряженности электрического (соответственно магнитного) поля. Здесь W - пространство Соболева, Легко видеть, что Ф I « Фі=:0 ; о ? / =0 (из I ); Преобразуя первое уравнение системы (17.I) к виду lpf=A? (17.2) сведем задачу (17.I) к отдельным задачам для электрического и магнитного поля. Для простоты мы продемонстрируем нашу технику для компоненты 7 (для остальных компонент-аналогично). Рассмотрим в пространстве Wf (s) базис {Ф ІМ І » являющийся системой из собственных функций задачи (17.3) Разложим Ez(i,c,4,%) по этому базису Для односвязной области это разложение единственно. Из уравнения (17.2) для составляющей z где Аг - Лапласиан от переменных у)» в СИЛУ разложения (17.3), имеем где 6 = Дгс/ссс/ч . Предполагая зависимость 6m(z,i)= » мы получим,что для составляющей z вектора напряженности электрического поля исходная задача (17.I) све лась к задаче Коши для телеграфного уравнения с операторными коэффициентами. Если А 0 в Н - Щ (&) » то систе му (І7Л) можно привести к пассивному виду следовательно, имеем Теорема 17.I. Решение обобщенной задачи Коши (17.5) существует и единственно в пространстве [ (п)} НІ (IR.+ XIR.) Для любой ,Гяе[У,Н](Ш). Вытекает непосредственно из результатов І4-, Отсюда,следует, что существует решение задачи Коши и для (17.4). Аналогичными рассуждениями сводится к решению обобщенной задачи Коши для пассивной системы в гильбертовом пространстве нахождение других составляющих векторов напряженности электрического и магнитного поля.
Обобщенная задача Коши для линейных пассивных систем в гильбертовом пространстве
Четвертая глава, содержащая перечисленные выше применения теории пассивных систем в гильбертовом пространстве к конкретным моделям из математической физики, завершает диссертацию.
Здесь уместно подчеркнуть свойство замкнутости теории невырожденных пассивных систем относительно ее ядра в некоторой свер-точной алгебре: фундаментальное решение пассивной системы тоже определяет трансляционно-инвариантную линейную пассивную систему.
Перейдем теперь к краткой характеристике глав диссертации. В первой главе излагается теория операторных голоморфных функций с неотрицательной эрмитовой частью в трубчатой области над конусом, которая будет использоваться на протяжении всей диссертации. В первом параграфе излагаются основные понятия теории оператор нозначных обобщенных функций: пространства іг (н),н] ЛУШ], где (Н) и У(Н) - основные пространства. В 2 вводятся тензорные произведения пространств скалярных функций, в частности ь& и У , и гильбертова пространства И . Излагаемая здесь теорема о топологическом изоморфизме пространств существенно облегчает использование фактов теории операторнозначных обобщенных функций при исследовании пассивных систем в гильбертовом пространстве. Здесь же кратко напоминаются сведения из теории положительных операторных мер (РО - мер) и интегрирования гильбертовозначных функций по таким мерам. Аналитическому аппарату теории трансляционно-инвариантных пассивных систем (теории преобразования Фурье-Лапласа операторнозначных обобщенных функций) посвящен 3. Выяснению условия существования свертки двух операторнозначных функций в алгебрах [ (Н), Н] (о+) и [i/(Hj,H](S+) уделяется основное внимание в 4. Приводится доказательство теоремы о сверточном представлении линейных непрерывных трансляционно-инвариантных отображений из Центральное место в первой главе принадлежит 5,6, в которых излагается: теория эрмитово-неотрицательных операторнозначных Тс ; положительно-вещественные операторные функции в трубчатой области, а также доказывается лемма о пространствах инвариантности неотрицательных операторов в гильбертовом пространстве. Во второй главе строится теория многомерных линейных непрерывных трансляционно-инвариантных пассивных систем в гильбертовом пространстве. В 7 аксиоматически вводятся линейные непрерывные трансля-ционно-инвариантные пассивные системы в гильбертовом пространстве. Устанавливается ряд свойств ядра пассивной системы. В 8 решается вопрос: всякое ли ядро будет определять линейную трансляционно-инвариантную пассивную систему? Теорема реализуемости таких систем в гильбертовом пространстве дает необходимое и достаточное условие того, что операторнозначная обобщенная функция определяет сверточную пассивную систему. В 9 доказывается теорема о том, что для невырожденности пассивной системы достаточна обратимость ее импеданса в одной фикси л. . .. . Эта теорема дает эффективный способ проверки невырожденности пассивной системы. - II В третьей главе рассматриваются вопросы корректности постановки обобщенной задачи Коши для пассивных систем в гильбертовом пространстве. В 10 исследуются условия существования и единственности фундаментального решения пассивной системы в сверточной алгебре [У(Н)3Н\(Є+) , связь между невырожденностью и существованием фундаментального решения пассивной системы. В II ставится обобщенная задача Коши для пассивной системы в гильбертовом пространстве и доказывается корректность постановки такой задачи. Устанавливается связь между невырожденностью пассивной системы и разрешимостью обобщенной задачи Коши для нее. В 12 изучаются многомерные дифференциальные пассивные системы с операторными коэффициентами. Для таких систем устанавливаются условия пассивности, невырожденности, корректности постановки обобщенной задачи Коши. Четвертая глава посвящена применениям теории пассивных систем к некоторым конкретным моделям математической физики. В 13 рассматривается задача Коши для гиперболического уравнения с операторными коэффициентами.Она сводится к обобщенной задаче Коши для многомерной дифференциальной пассивной системы в гильбертовом пространстве. Устанавливаются условия существования и единственности решения задачи Коши. В 14- решается задача Коши для волнового уравнения с переменным коэффициентом с использованием теории пассивных систем. Переход к пассивной системе в гильбертовом пространстве совершается с помощью метода Роте. Физически интересным примером пассивной системы в гильбертовом пространстве является нестационарное линеаризованное уравнение Больцмана с учетом процессов поглощения и рассеяния молекул газа, возникающее в ряде математической физики. Изучению условий, при которых это уравнение порождает пассивную систему, уделяется основное внимание в 15.
