Обобщенный метод разделения переменных в краевых задачах эллиптического типа тема диссертации и автореферата по ВАК РФ 01.01.02, доктор физико-математических наук Бадюков, Владимир Федорович

• Бадюков, Владимир Федорович
• доктор физико-математических наук
• 1996

Оглавление диссертации доктор физико-математических наук Бадюков, Владимир Федорович

Введение.

0.1. Общая характеристика метода разделения переменных.

0.2. Двумерные задачи рассеяния.

0.3. Основные результаты диссертации.

Глава 1. Постановка задачи и теоремы единственности.

1.1. Двумерные уравнения с разделяющимися переменными.

1.1.1. Периодическая задача.

1.1.2. Случай конечной границы.

1.2. Более общие задачи.

1.2.1. N-периодическая граница.

1.2.2. Многомерная конечная граница.

1.2.3. Уравнения с неразделяющимися переменными.

1.3. Единственность решений двумерных периодических задач.

1.4. Теоремы единственности для других краевых задач.

1.4.1. Многомерные конечные границы.

1.4.2. N-периодические границы.

1.4.3. Уравнения с неразделяющимися переменными.

Глава 2. Метод построения фундаментальных решений.

2.1. Квазипериодические задачи типа рассеяния.

2.2. Квазипериодические задачи типа диффузии.

2.3. Двумерные задачи с центральной симметрией.

2.4. Многомерные периодические задачи.

Глава 3. Исследование решений краевых задач.

3.1. Теоремы существования.

3.2. Свойства систем собственных функций.

3.3. Методы решения.

3.3.1. Интегральные уравнения.

3.3.2. Краевые задачи.

Глава 4. Асимптотические оценки коэффициентов Фурье.

4.1. Аналитические свойства весовой функции в в интегральном представлении коэффициентов Фурье.

4.1.1. Уравнение для функции О.

4.1.2. Аналитическое продолжение О.

4.2. Двусторонние оценки коэффициентов Фурье.

4.2.1. Оценки сверху коэффициентов Фурье.

4.2.2. Оценки снизу коэффициентов Фурье.

4.3. Синусоидальная граница.

4.3.1. Оценки сверху.

4.3.2. Оценки снизу.

4.4. Степенная граница.

4.4.1. Оценки сверху.

4.4.2. Оценки снизу.

4.5. Логарифмическая граница.

4.5.1. Оценки сверху.

4.5.2. Оценки снизу.

Введение диссертации (часть автореферата) на тему «Обобщенный метод разделения переменных в краевых задачах эллиптического типа»

0.1. Общая характеристика обобщенного метода разделения переменных.

Разделение переменных в задачах математической физики является одним из наиболее старых и плодотворных приемов. Представление решения рядами, к которым приводит этот метод, имеет много естественных преимуществ. Это, во-первых, достаточно простой способ получения решения в явной форме; во-вторых, возможность представить этими рядами чрезвычайно широкий класс функций (например, удовлетворяющих внутри области одним условиям гладкости, а на границе - другим); в-третьих, возможность применить аппарат асимптотического анализа для получения оценок коэффициентов Фурье, что позволяет улучшить сходимость и выделить особенности ряда. Есть много и других преимуществ, специфических для каждой конкретной задачи. Например, яркий физический смысл коэффициентов Фурье в задачах рассеяния, унификация постановки задачи и т.д.

Однако, все эти чрезвычайно привлекательные достоинства компенсируются одним, но решающим недостатком. Число задач, к которым применим классический метод разделения переменных, конечно и не очень велико. Дело в том, что допускать разделение переменных должны не только уравнения, но и границы, а также1 краевые условия. Другими словами, если уравнение допускает разделение переменных, то для применения метода границы должны быть координатными' линиями в данной системе координат.

Одной из первых попыток перенесения метода на эллиптическую задачу с некоординатными границами можно считать классическую работу Рэлея [1] (см. также [2]). В ней содержалась простая идея представить решение рядом Фурье в части области, полностью содержащей координатные линии, вдоль которых проводилось разделение переменных. Затем в предположении, что построенный ряд сходится всюду в области вплоть до границы, с помощью заданного краевого условия вычислялись коэффициенты Фурье. Дальнейшие многочисленные исследования показали, что предположение о сходимости ряда всюду в области, сделанное1 в [1] (гипотеза Рэлея), верно не всегда и, кроме того, его доказательство представляет само по себе трудную задачу, связывать которую с методом разделения переменных нецелесообразно.

Таким образом, метод Рэлея нельзя считать строгим, однако его идея представить решение в виде ряда в некоторой части области оказалась содержательной и послужила отправной точкой многих исследований в этом направлении.

Для уравнений гиперболического типа обобщение метода разделения переменных на смешанную задачу с произвольной некоординатной поверхностью было предложено в работе [3]. При этом коэффициенты Фурье получены в явном виде как функционалы от данных Коши и формы поверхности.

Для уравнения эллиптического типа в задаче рассеяния такое обобщение было предложено в работах [4-6, 80]. Однако в отличие от гиперболического типа явных выражений коэффициентов Фурье через краевые условия и форму границы построить не удалось. Поэтому задача определения коэффициентов разложений остается, вообщее говоря, на уровне бесконечной системы алгебраических уравнений [4]. В работе [5] демонстрируются три варианта метода: обобщенная ортогональность, почленная формула Грина, интегральное преобразование с переменными пределами. Все они приводят к одному результату. В работе [6] постановка обобщенного метода разделения переменных (ОМРП) для задачи рассеяния унифицирована, а именно, введена матрица рассеяния преобразующая амплитуды приходящих волн в амплитуды уходящих, указан обоснованный способ построения этой матрицы.

Несколько позлее в [7] был предложен алгоритм вычисления коэффициентов Фурье в задаче рассеяния, близкий алгоритму работы [б] и использующий Т - матрицу, связанную с Б соотношением 5 = 2 Т + 1. Значительно позже, чем [6], была опубликована [8] модификация алгоритма работы [7] (известная за рубежом [9] как метод МММ), в которой, как ив [7], основные соотношения ОМРП были получены на основе дополнительного предположения о погашении поля внутри тела. Подчеркнем здесь, что предположение о погашении поля, используемое в [7,8], совершенно не требуется при вычислении коэффициентов Фурье (см. [б], а также [10-11, 89]). Строгое обоснование методов, изложенных в работах [7,8], было дано в [95].

Численные расчеты коэффициентов Фурье показали достаточную эффективность матричного подхода к реализации ОМРП [5. 9, 12-15]. Однако с увеличением высоты гребней границы трудности счета нарастают, что связано, по-видимому, со способом реализации метода [10, 11]. Иногда эти затруднения связываются с несправедливостью гипотезы Рэлея, хотя численная сходимость наблюдалась и вне границ ее выполнимости [96]. Сравнение эффективности численной реализации различных подходов пока но привело к единому мнению. Так, если в [9] предпочтение отдается матричному подходу, то в [97] - методу интегрального уравнения.

Распространение метода разделения переменных на задачи с уравнениями эллиптического типа, допускающими асимптотическое разделение переменных, по-видимому, впервые было предложено в [81], где в трехмерной непериодической задаче рассеяния потенциал предполагался центральным только при удалении от рассеивателя.

Распространение метода разделения переменных на задачи с уравнениями эллиптического типа, допускающими асимптотическое разделение переменных, по-видимому, впервые было предложено в [81], где в трехмерной непериодической задаче рассеяния потенциал предполагался центральным при удалении от рассеявателя.

Представление решения рядом в рамках ОМРП имеет, кроме1 перечисленных выше неудобств, один существенный недостаток, а именно, не дает возможности описывать решение вблизи границы. Естественный способ преодоления этой трудности заключается в обосновании возможности продолжить ряд Фурье вплоть до границы. На разрешение этого вопроса для одной только задачи рассеяния, описываемой уравнением Гельмгольца было затрачено много усилий (из обширной библиографии по этому вопросу см., например, [16-20]). При этом доказано существование двух классов границ: для одного гипотеза Рэлея справедлива, для другого -нет.

Таким образом, открытым остается вопрос о построении решений и сходящимся к ним приближений во всей области. Также открыт вопрос о построении сходящихся приближений к коэффициентам Фурье краевых задач для уравнений более общего вида.

Трудности в исследовании гипотезы Рэлея, а также общие затруднения при определении коэффициентов Фурье в ОМРП для эллиптических задач привлекли особое внимание к получению асимптотических оценок коэффициентов разложений. Прежде всего получение асимптотических оценок коэффициентов Фурье само по себе является важной задачей анализа. Применительно к ОМРП знание точной асимптотики решает в главном задачу нахождения этих коэффициентов. Действительно, даже в случае применимости классического метода, когда коэффициенты находятся в явной форме, интегралы, представляющие их, явно вычисляются лишь в крайне редких случаях. Поэт-ому одним из основных (если не главным) аппаратом аналитического исследования и использования любых рядов Фурье является асимптотика их коэффициентов. С этой точки зрения трудности асимптотического анализа, которые необходимо преодолеть в классическом и обобщенном методах, при некоторых условиях примерно одного уровня. А именно, различие заключается лишь в том, что в первом случае подынтегральная плотность (значение решения или его нормальной производной на границе ) известна, а во втором - нет. Различие совершенно исчезнет, если для достаточно широкого класса границ удастся выяснить аналитические; свойства неизвестной плотности, пригодные для применения асимптотических методов (например, метода перевала). Исходя из этого можно исследовать упрощенную постановку задачи, а именно, ставить вопрос об отыскании не полного выражения коэффициентов Фурье, а его асимптотики [21, 10]. Такой подход позволил распространить ОМРП на уравнения с неразделяющимися переменными и представить коэффициенты Фурье [84-87] при больших значениях номера в виде асимптотических рядов.

Знание асимптотических оценок коэффициентов сп может оказаться существенно важным также и при построении решения вблизи границы. А именно, точная асимптотика сп выявляет класс границ, для которых гипотеза Рэлея справедлива. В этом случае ряд Фурье является решением всюду в области. Если же асимптотические1 оценки сп не допускают использование ряда вблизи границы, то с помощью точной асимптотики сп можно выделить слабо сходящуюся часть ряда и просуммировать ее (см., например, [22]). Таким образом решение можно будет представить в виде суммы двух функций. Первая функция - это быстро сходящаяся часть ряда Фурье, которая в силу этого аналитична уже во всей области и коэффициенты которой нужно искать тем или иным способом. Вторая функция - это сумма слабо сходящейся части ряда Фурье, которая также аналитична во всей области как разность двух аналитических функций.

Итак, резюмируя сказанное, подчеркнем, что разработка методов точной асимптотики коэффициентов Фурье является одной из важнейших составных частей ОМРП.

Перейдем к точным формулировкам.

0.2. Двумерные задачи рассеяния.

Рассмотрим плоскую задачу рассеяния на - периодической связной границе 5, расположенной в полосе Ьг < у < Н+ декартовой прямоугольной системы координат (ж, у). Пусть область рассеяния содержит полуплоскость у > /г+. Полная волновая функция ф удовлетворяет уравнению Гельмгольца

Аф + к2,ф = 0, (ж, у) Е (0.2.1) где к > 0 - волновое число. Во избежание резонанса к будем пока считать нецелым. Отметим, что резонансный случай для уравнения (0.2.1) подробно исследовался в работах [29,30]. Границу 5 будем считать ляпуновской, краевое условие для простоты возьмем в виде

0|,9 = О. (0.2.2)

Ограничиваясь '2тг- периодическими решениями уравнения (0.2.1), представим ф при у > в виде ряда оо

Ф = Т,(СпФп + Сп 'Фп ), Фп = Ьп(у) ехр(гпж), Ь± = ехр (±мпу), оо

0.2.3) где уп — л/к2 — п2. Величину уп выберем так, что ип = |и,г| при [/¿| < к, уп = '1\уп\ при \п\ > к. При |п| < к волны ф~ приходящие, ■0,)" уходящие. При \п\ > к волны ф^ продольные. Когда у —> +ос, амплитуды их соответственно убывают или возрастают. В классе ограниченных решений с~ = 0, \п\>к. (0.2.4)

Задается конечное множество амплитуд приходящих волн

С™, |п| < к. (0.2.

Требуется по заданным амплитудам (0.2.4), (0.2.5) приходящих волн и краевому условию (0.2.2) найти волновую функцию ■</>, в частности найти амплитуды С,+ уходящих (|п| < к) и продольных (|п| > к:) волн (задача.рассеяния).

Такая постановка двумерной периодической задачи рассеяния была сформулирована впервые в работе [80].

В на,стоящей работе будем рассматривать условия излучения общего вида, когда задается последовательность

С',;, п — 0, ±1,., (0.2.G) такая что оо СпФп п— — оо +00. (0.2.7)

Будем также рассматривать общий случай квазипериодической с периодом Т задачи, когда решение ф удовлетворяет в условию квазипериодичности ф{х + Т. у) = ехр(грТ)ф{х, у), а собственные функции, например, для уравнения Гельмгольца имеют вид

Фп = ехр{±г^2 - (пг+р)'2у + г(ги +р)х}, где £ = 27г/Т, р - параметр квазипериодичности. Следуя [5], для коэффициентов Фурье С^ можно записать интегральные представления

-1 г дф ,

4 7Г г У гп •'Ьа о п а для С~ дополнительные представления где ^ - нормальная производная решения на границе, Яо - часть границы Я, соответствующая одному периоду.

Одна из идей реализации ОМРП в задачах рассеяния заключается в том [5], чтобы по заданной системе функционалов (0.2.9) найти нормальную производную решения и затем с помощью формулы Кирхгофа и (0.2.8) построить решение во всей области и вычислить коэффициенты Фурье С~.

В работе [6] был осуществлен матричный подход к реализации ОМРП, получивший широкое распространение в работах других авторов, а именно, была введена матрица рассеяния, преобразующая амплитуды приходящих волн в амплитуды уходящих и продольных. Другими словами, был построен прямой алгоритм вычисления С+, не затрагивающий нормальную производную. Однако оставались нерешенными вопросы построения приближений к решению краевой задачи вблизи границы, сходимости приближений в каком-либо смысле к точному решению, распространения метода, на другие задачи.

В настоящей работе будем придерживаться первоначальной идеи, основанной на вычислении из системы (0.2.9) неизвестной составляющей решения на границе. Для распространения этой плен на другие краевые задачи потребуется изменить классическую постановку задачи, в частности, дополнительные условия на бесконечности и в окрестности других особых точек, что потребует, в свою очередь, введения в постановку задачи разложения решения вдоль координатных линий типа (0.2.3). Реализация этой идеи существенным образом будет базироваться на представлении фундаментального решения в виде ряда Фурье, аналогичного разложению (0.2.3) решения краевой задачи. При этом будут построены решения для широкого класса краевых задач, уравнения которых допускают разделение переменных. Кроме того, будет предложено аналогичное распространение ОМРП на задачи, в которых не только границы, но и уравнения не допускают разделения переменных.

Прежде, чем перейти к следующим разделам работы, сделаем несколько предварительных замечаний по данной постановке задачи. Отметим вначале, что представление (0.2.3) есть разложение решения в ряд Фурье вдоль координатной линии у = с, с > /¿+, полностью содержащейся в области Далее, представление (0.2.3), вообще говоря, необходимо обосновать, что и было сделано в [5]. В задачах, которые будут рассматриваться в данной работе, обоспование представлений, аналогичных (0.2.3), будет дано несколько иначе, чем в [5].

Условия (0.2.4), (0.2.5) имеют яркий физический смысл: (0.2.5) определяет приходящие волны, условие (0.2.4) предполагает, что падающая волна на бесконечности имеет конечную энергию. В работах [33, 45, 32] было показано, что условия (0.2.4), (0.2.5) при выполнении некоторых дополнительных ограничений (на наш взгляд непринципиальных) гарантируют единственность решения данной задачи. В этом смысле их можно считать условиями излучения. Следует отметить, что эти условия имеют не совсем обычную форму, по сравнению с другими условиями, явно описывающими поведение решения на бесконечности. См., например, условия излучения Зоммерфельда, условия ограниченности на бесконечности решения двумерного уравнения Лапласа, равномерное стремление к нулю на бесконечности решения трехмерного уравнения Лапласа и т.д. Тем не менее с помощью соответствующего задания некоторой части решения (0.2.3) можно задать любое возможное в рамках конкретной задачи поведение решения на бесконечности. Следовательно, (0.2.4), (0.2.5) можно рассматривать как один из вариантов универсального условия излучения, пригодного для областей и уравнений различных типов.

Таким образом, та или иная форма задания условий типа (0.2.4), (0.2.5), а следовательно, и дополнительных условий типа (0.2.9) является не только специфическим достоинством ОМРП в задаче рассеяния (как отмечалось в [10]), но будет служить средством формализации и постановки задачи, и доказательства однозначности, и построения решений, и обоснования сходимости приближенных решений для широкого кх>уга краевых задач. При этом, однако, в некоторых задачах физический смысл этих условий будет не так очевиден.

Предположение, что ряд (0.2.3), представляющий решение при у > /г+, сходится всюду в вплоть до границы 5", составляет, как указывалось выше, содержание гипотезы Рэлея (ГР). Аналогичное предположение, появляющееся в других краевых задачах в постановке ОМРП, будем называть обобщенной гипотезой Рэлея (ОГР).

Функции фп! определенные в (0.2.3), а также функции, появляющисся в других краевых задачах в разложениях типа (0.2.3), будем называть собственными функциями данной краевой задачи в постановке ОМРП (безотносительно от каких-либо краевых условий).

0.3. Структура диссертации и основные результаты.

Перейдем к изложению содержания диссертации.

Диссертация состоит из настоящего введения, разбитого на три параграфа, четырех глав, содержащих 16 параграфов, заключения и приложения. Нумерация теорем, лемм, формул и т.д. внутренняя для каждой главы. Теоремы, леммы, следствия, замечания и формулы (внутри параграфа) имеют трехразрядную нумерацию: номер главы, параграфа и номер следования внутри параграфа. Некоторые параграфы разбиты на подпараграфы со сквозной нумерацией внутри параграфа. Во вступлении к главе II формулы нумеруются звездочками. Формулы вступления к главе IV имеют двухразрядную нумерацию (номер главы и номер порядка следования).

Первая глава "Постановка задачи и теоремы единственности'' состоит из четырех параграфов, разбитых на восемь подпарагра-фов.

В первых двух параграфах дается постановка ОМРП для уравнений, допускающих разделение переменных и предлагается методология распространения постановки задачи на уравнения, не допускающие разделения переменных. Характерной особенностью предложенной постановки является стандартность формулировки условий излучения для различных уравнений, областей (внутренних и внешних) и границ (конечных и периодических). При этом условия излучения очерчивают классы функций, допускающие особенности решений как в бесконечно удаленной, так и в конечных точках. Для уравнений, не описывающих задачи рассеяния, эти условия будем называть обобщенными условиями излучения.

В первом параграфе (1.1) исследуется двумерная задача с периодической (1.1.1) и конечной границами. Рассматриваются три типа уравнений с переменными коэффициентами: типа рассеяния, диффузии и Лапласа. Дается обоснование разложения решения в ряд Фурье в части области, анализируется выбор собственных функций, удовлетворяющих нужным асимптотическим свойствам, и формулируются обобщенные условия излучения. Для периодической задачи и уравнения типа рассеяния особо выделяется резонансный случай, когда некоторые из собственных функций имеют существенно иную асимптотику при удалении от границы. Для конечной границы и задач типа рассеяния наряду с особенностью на бесконечности допускается наличие источников и в конечных точках области.

Во втором параграфе дается распространение постановки на многомерные задачи: N+1 - мерные N - периодические границы (1.2.1) и р - мерные, р > 3, конечные границы (1.2.2). В первом случае условия излучения ставятся с помощью разложения решения в классический многомерный ряд Фурье в области выше гребней границы. Во-втором - решение представляется в виде ряда Фурье по сферическим функциям р - го порядка на р - мерных сферах, внутри которых содержится граница.

В разделе 1.2.3 предлагается распространение постановки задачи на двумерные уравнения, в которых уравнения не разделяются. Существенное отличие от предыдущего случая состоит в том, что нахождение собственных функций сводится к решению бесконечной системы обыкновенных линейных дифференциальных уравнений, которая в отличие от случая уравнения с разделяющимися переменными не расщепляется. Тем не менее обе системы в некотором смысле близки и, как будет указано в разделе 1.4.3, для распространения ОМРП на уравнения, не допускающие разделения переменных, достаточно, чтобы решения этих систем имели одинаковую асимптотику при больших значениях аргумента.

В 1.3-1.4 доказывается единственность решения поставленных задач. Третий параграф посвящен вопросам однозначности решения двумерных краевых задач с периодической границей в постановке ОМРП для уравнения (1.1.1), (1.1.7), где потенциал У\ убывает на бесконечности и удовлетворяет оценке (1.1.32).

Вначале исследуется уравнение типа рассеяния (Л > 0) и наиболее часто встречающаяся в приложениях задача отражения: нахождение коэффициентов Фурье С+ уходящих или отраженных волн (собственных функций, не исчезающих на бесконечности). Для всех трех типов краевых условий доказаны теоремы единственности определения амплитуд отраженных волн. Эти теоремы будут существенно использоваться в главе III при доказательстве разрешимости краевых задач с нулевым краевым условием и заданными амплитудами приходящих волн (например, рассеяние плоских электро-магнитных волн на идеально проводящей границе, погруженной в неоднородную среду).

Единственность полного решения для смешанной краевой задачи и задачи Дирихле доказана при некоторых ограничениях на потенциал Уь границу и краевое условие.

Отдельно исследуется однозначность решения в резонансном случае, т.е. когда множество резонансных собственных функций не пусто. Доказана серия теорем единственности. При этом получено неожиданное физическое свойство: вид закона сохранения потока (или энергии) зависит от скорости убывания потенциала У\ на бесконечности. А именно, если У\ убывает достаточно быстро, вид закона сохранения не изменится, т.е. амплитуды резонансных волн не входят в энергетическое тождество. В случае медленного у бы вания У\ в рамках оценки (1.3.54) резонансные волны дают вклад в энергетическое тождество.

Для уравнений типа диффузии (А < 0) и Лапласа (А = 0) с краевыми условиями трех типов доказаны теоремы единственности при некоторых ограничениях на потенциал и границу. Эти теоремы обобщаются на резонансный случай, который возможен при А = О и некоторых соотношениях между параметром квазипериодичности и периодом.

В заключение третьего параграфа исследуется вопрос о выборе обобщенных условий излучения (ОУИ), т.е. о выборе в разложении (0.2.3) заданной и искомой части решения. Члены ряда (0.2.3) при каждом п уже разделены по признаку асимптотического поведения при у —■» +оо. Остается решить вопрос: однозначен ли выбор из двух последовательностей С^ заданной и искомой. Для периодических задач рассеяния этот вопрос решается положительно.

Рассмотрим дополнительные по отношению к (0.2.6), (0.2.7) условия излучения: задается последовательность чисел С+ так, чтобы ряд с общим членом С£Фп сходился при у > 1г+. В теореме 1.3.12 доказывается однозначность решения краевой задачи Дирихле для уравнения (0.2.1) с дополнительными условиями излучения. Однако, в главе III будетпоказано, что так поставленная краевая задача, вообще говоря, неразрешима в общем случае непрерывного краевого условия, т.е. теорема 1.3.12 указывает только на отсутствие нетривиальных решений однородной задачи с дополнительными условиями излучения. Для условий излучения типа (0.2.G), (0.2.7) разрешимость доказывается в главе III.

В параграфе 1.4 исследуется однозначность решений поставленных задач для многомерной конечной границы (раздел 1.4.1), Лг + 1 - мерной N - периодической границы (раздел 1.4.2) и дается распространение результатов для двумерной однопериодичеекой задачи на случай, когда уравнение не допускает разделения переменных (раздел 1.4.3).

Для конечной р - мерной границы рассматривается случай р = 2, так как при р > 2 доказательства аналогичны. Предполагается, что коэффициенты уравнений обладают центральной симметрией, т.е. разделение переменных возможно в полярной (р = 2) или сферической (р > 2) системе координат. Вначале исследуется уравнение (1.1.1), (1.1.43) типа рассеяния (Л > 0). Доказываются теоремы единственности для внешних областей двух типов как с источниками только на бесконечности, так и с источниками на бесконечности и в конечных точках при краевых условиях трех типов. При заданных условиях излучения на модели уравнения Гельмгольца единственность доказывается и для внутренних задач с источником.

Для уравнений типа диффузии или Лапласа (А < 0) теоремы единственности внешних краевых задач с источниками на бесконечности доказаны при больших ограничениях на потенциал чем в случае А > 0. В завершение раздела 1.4.1 доказана единственность решения внешней р - мерной задачи без источников в конечных точках для уравнения Лапласа с обобщенными условиями излучения (теорема 1.4.6), причем доказательство единственности единообразно для всех р и всех типов краевых условий. Небезынтересно отметить, что выбирая здесь коэффициенты Фурье заданной части решения специальным образом, приходим к задаче? для уравнения Лапласа в классической постановке. А именно, при р = 2 решение ограничено, а при р > 2 стремится к нулю при г —>• ос со скоростью порядка гр~2. В этом случае в теореме 1.4.6 повторен классический результат.

В разделе 1.4.2 предлагается распространение результатов раздела 1.4.1 на N - периодические задачи. На примере уравнения типа рассеяния (Л > 0) доказываются теоремы единственности определения амплитуд отраженных волн и полного решения в отсутствие резонанса.

В разделе 1.4.3 рассматривается двумерное уравнение (1.2.46), не допускающее разделения переменных, в периодической краевой задаче. Используемые обобщенные условия излучения содержат кроме стандартных соотношений (1.2.51), (1.2.52) дополнительные (1.2.48)-(1.2.50) и (1.4.36), (1.4.37). Это обусловлено тем обстоятельством, что асимптотические свойства решений системы (1.2.56), к которой приводит задача определения собственных функций в случае уравнения с неразделяющимися переменными, вообще говоря, неизвестны. В настоящей работе эти свойства пост)глируются в форме (1.2.48)-(1.2.50) при большом аргументе и (1.4.36), (1.4.37) при большом номере. Доказаны теоремы единственности задачи отражения и полного решения.

Основные итоги первой главы.

1. Предложено распространение постановки задачи рассеяния в схеме ОМРП на широкий класс краевых задач для уравнений эллиптического типа.

2. Доказаны теоремы единственности поставленных задач.

3. Анализ доказанных теорем показывает высокую эффективность обобщенных условий излучения (ОУИ), которые обладают следующими достоинствами: а) Имеют единую форму для широкого класса уравнений эллиптического типа любой размерности и с любым знаком коэффициента Л. б) Принимают один и тот же вид для конечной и периодической границ. в) Допускают неограниченный рост на бесконечности как заданной части решения, так в некоторых случаях, и искомой части. г) Включают в себя как частный случай классические ограничения на бесконечности. д) Пригодны как для внешних, так и для внутренних задач с источниками. е) Гарантируют единственность для широкого класса краевых задач. ж) Допускают распространение на задачи, в уравнениях которых переменные не разделяются. з) Являются основой для реализации ОМРП, предложенной в главе III.

Основные результаты первой главы отражены в работах автора [32-33, 45, 52, 82].

Вторая глава посвящена методам построения фундаментальных решений для линейных уравнений эллиптического типа с переменными коэффициентами, допускающих разделение переменных. Основой для построения фундаментальных решений послужила правая часть равенства (**) [50], представляющего собой разложение в ряд Фурье периодизированного фундаментального решения уравнения Гельмгольца. Обобщение равенства (**) на квазипериодический случай было дано формулой (***) в работе [30]. Следует отметить, что представления (**) и имеют смысл только для нерезонансного случая, в противном случае ряды, входящие в них. расходятся.

В первом параграфе рассматривается двумерное уравнение типа, рассеяния. Квазипериодическое фундаментальное решение представляется агрегатом (2.1.28) вида оо = т~] Е ехР{i(nt+p)(x - ^)}ujn(y,ri), со = а-1 { К(уК(Т1), у > rh где х, £ Е Rl] у, rj Е J = (с, +оо), Т - период, р - параметр квазипериодичности, Ъ^ - фундаментальная система уравнения ап - вронскиан системы Ь^. Исследуются его классические свойства. Доказывается, что, если потенциал V\ бесконечно дифференцируем на полуоси J и суммируем в окрестности точки у = +оо, то функция К удовлетворяет уравнению (1.1.1), (1.1.7) по переменным (х, у) в области П = J х Rl \ ип(£ + пТ. г}) и уравнению оо

Д/С + (к2 + Vi)/C - 6(у - Г))егр(х-V J2 б(х - пТ - £) оо в классе обобщенных функций при (ж, у), (£, г/) G П, где 6 - дельта-функция Дирака, по крайней мере, трижды непрерывно-дифференцируема по переменным (х,?/, £,'/"/) и имеет классическую асимптотику вида

К ~ (2ir)~[eillTp\nrn, гп -—► О, где гп - расстояние между точками (ж,?/) и (£ + гоТ, г/).

Во втором параграфе рассматриваются уравнения типа диффузии и Лапласа. Квазипериодическое фундаментальное решение выбирается в том же виде, что и для уравнения типа рассеяния с заменой волнового числа к на г к в случае А' = —к'2 и заменой к нулем при А = 0. Исследуются аналогичные свойства фундаментальных решений. Техника доказательств для А = —к'2 основана на равенстве (2.2.2) вида

1) +°°ехр{i{nt + p)(x - О - y[k2 +(nt + р)2\у - //1} гК'> гп) —

-2 Т/*2 + (п*+ р)2 которое естественным образом следует из (***) заменой величины к на г А;, хотя в известной автору литературе не встречалось. В работе [30] указывался один из путей доказательства равенства (***). В настоящей работе для (2.2.2) реализован другой путь, который пригоден и в случае равенства (***).

Завершается параграф рассмотрением уравнения типа Лапласа (А = 0). Здесь равенства типа (***) или (2.2.2) уже не имеют места, так как периодизация фундаментального решения уравнения Лапласа приводит к всюду расходящемуся ряду. В этом с;луча,е вначале исследуется правая часть равенства (***) при А: = 0: для нерезонансного варианта как и выше, в условиях резонанса прямым суммированием ряда. Затем в технике первого параграфа полученные результаты переносятся на уравнение типа Лапласа.

В третьем параграфе рассматривается двумерное уравнение, допускающее разделение переменных в полярной системе координат, когда потенциал Уч зависит только от полярного радиуса. Согласно методу фундаментальное решение строится в виде ап -функция натурального аргумента, определяемая равенством ап — \Упг, \Уп - вронскиан системы Ь^. Выбор фундаментальной системы Ь^ однозначно определяется, как и в предыдущих случаях, асимптотическим поведением при больших значениях аргумента.

В качестве пробной функции /Со рассматривается фундаментальное решение уравнения Лапласа вида которое легко суммируется. Это упрощает вывод свойств фундаментального решения /С, аналогичных периодическому случаю.

В четвертом параграфе исследуются многомерные периодические фундаментальные решения. Для простоты рассматривается трехмерное уравнение (2.4.1), допускающее разделение переменных в декартовой системе координат. Трехмерное двумерно-квазипериодическое фундаментальное решение строится в виде (2.4.2): с= Е ехр(г(п^1 + р{)(х{ - £1) + г'(п2г2 +Р2)(я-2 - 6) х

Т{Т2 хип1п2(у,г]), (0.3.1) где Ти /' = 1,2- периоды по переменным хг, = 2ттТ~\

-п-1 / Кп2(у)ьщп2(ч), У>"П,

П1П2~ ""ЛКпМКпМ у< аП1п2 " вронскиан фундаментальной системы уравнения

С, + [а - (щ*!+Р1)2 - (п2*2+р<2)2 + ^]ьП1Н2 = о.

Двойной ряд (0.3.1) рассматривается в обычном смысле суммирования кратных рядов Фурье. Доказывается, что функция (0.3.1) является квазипериодическим по переменным х\, ж2 фундаментальным решением уравнения (2.4.6) в классе обобщенных функций.

Для исследования дифференциальных и асимптотических свойств выбирается простейший представитель семейства фундаментальных решений, соответствующий уравнению Лапласа и чисто периодическому случаю р\ = р2 = 0, а именно, ряд (2.4.9): 1 ^ ехр{г(п1^ +р0(ж1 - + г(п2*2 + Р2)(х2 где х ехр{ —-\/п2 ¿2 + пЩ\у - П\ \ + -^-иоо, (0-3-2)

1- 1-1-2

I У > 'Ь оо — — ^

У, У < 'П

Ряд (0.3.2) сходится при (Х\,Х2, у) ^ (^1 + п 1 Т\ , £2 П2Т2, г}) , п 1, л-2 - целые, по признаку, обобщающему признак Дирихле на многомерные ряды. Доказывается, что функция (0.3.2) имеет классическую асимптотику трехмерного фундаментального решения в окрестности особых точек (^ + П1Т1, + ^2Т2, т]) вида о ~ ~4^ГП1»2' г>нп2-^ 0, где гП1П, - расстояние между точкой (х*1 ,ж2,г/) и особой точкой, и аналитична в Л3 вне особых точек. Доказательство основано на представлении двойного ряда в виде двух повторных, замене внутреннего ряда интегралом, перемене порядка сумммирования и интегрирования и непосредственном суммировании слабо сходящихся частей. Реализация данного плана доказательства достаточно сложна и громоздка ввиду неравномерной сходимости исследуемых рядов и интегралов.

Итоги второй главы:

1. Предложен метод построения фундаментальных решений для уравнений эллиптического типа, допускающих разделение переменных в какой-либо системе координат.

2. Структура фундаментального решения достаточно проста, наглядна и хорошо вписывается в схему обобщенного метода разделения переменных, т.к. близка ряду Фурье общего решения.

3. Доказаны основные свойства фундаментальных решений для уравнений, допускающих разделение переменных в декартовой и полярной системах координат. В частности, конструктивным путем доказано существование квазипериодических фундаментальных решений для уравнений с переменными коэффициентами.

4. Выбранная структура фундаментальных решений позволяет, как будет показано в третьей главе, построить алгоритмы нахождения коэффициентов Фурье, решения краевых задач во всей области и решения интегральных уравнений, к которым приводят краевые задачи.

Результаты второй главы представлены в работах автора [83, 92. 106].

В третьей главе предлагаются методы решения краевых задач, поставленных в первой главе. Основную роль здесь играют Фурье-представления фундаментального решения и теоремы единственности, доказанные в главе I. На основании этих двух узловых групп теорем вначале доказывается разрешимость поставленных задач, а затем исследуются свойства систем собственных функций (полнота,, минимальность, базисность и т. д.). В завершающих разделах главы с использованием полученных результатов и аппарата теории биортогональных систем излагаются методы получения решений интегральных уравнений, к которым сводятся данные крагвые задачи, и построения приближений, к решениям самих краевых задал.

Мерный параграф посвящен вопросам разрешимости поставленных задач. Особое внимание уделено исследованию разрешимости двумерных квазипериодических задач. Для различных типов поведения потенциала V на бесконечности доказана, разрешимость красны:-: задач. Метод доказательства базируется на классической теории потенциала и теоремах единственности. В частности, исследуется важна,я для приложений задача рассеяния плоских воли и неоднородной среде ira идеально проводящих периодических границах. И этом случае существование решения гарантирует теорема единственности шдачи отражения, которая верна при минимальных ограничениях.

Аналогичным образом исследуется разрешимость двумерных краевых задач с конечной границей, когда задается краевое условие п источник волн как: на бесконечное гп. так и в конечных точках области. 1\Л ппс i Isell Ное отличие состоит в том, что в формулировке теорем приходится дополнительно предполагать наличие нужной асимптотики у собственных функций не только при больших номерах, но и при больших значениях полярного радиуса.

Во втором параграфе исследуются свойства системы функций, по которым решение краевой задачи разлагается в ряд Фурье, системы нормальных производных собственных функций на, границе п системы, состоящей из чиненных комбинаций собственных функций и их нормальных производных. Свойства этих сне тем будут использоваться в третьем параграфе для решения краевых задач соответственно первого, второго и третьего рода. Исследования проводятся для двумерной квазипериодической задачи. Обобщение на. многомерные и непериодические задачи достаточно очевидно, так как в доказательствах в основном используются только теоремы единственности и Фурье-представление фундаментальных решении.

Мри стандартных для данной работы ограничениях на. коэффп цпенты уравнения .доказана, эквивалентность полноты или мппп малыюстп систем функций в пространстве L-> на границе облас ти и единственности решения соответствующих краевых задач. Получены необходимые н достаточные условия базпеноетп. исследуемых систем, которые определяются понятиями, обобщающими известную гипотезу Рэлея для уравнения Гельмгольца.

В завершение параграфа получены интегральные уравнения, связывающие элементы пар данных систем и биортогональных к ним. Эти интегральные соотношения будут существенным образом использоваться в следующем параграфе для представления решений интегральных уравнедий в виде рядов Фурье.

В третьем параграфе, состоящем из двух разделов, предложены методы построения решений краевых задач, поставленных в главе I, и интегральных уравнений, к которым сводятся эти краевые задачи. В качестве основного аппарата исследований используются пары биортогональных систем, введенных во втором параграфе. Исследования проводятся только для двумерных квазипериодических задач, однако, приведенные схемы могут быть распространены на многомерные и другие задачи.

В первом разделе предлагается методика решения интегральных уравнений, описывающих двумерные квазипериодические задачи. Доказано, что решения этих уравнений можно представить в виде рядов по системам, биортогональным к собственным функциям. При этом оказывается, что коэффициенты Фурье решений интегральных уравнений по системам собственных функций соответствующих краевых задач совпадают с точностью до известных множителей с коэффициентами Фурье свободных членов по системам, биортогональным к собственным функциям. А именно, решение разлагается по системе связанной с сопряженной краевой задачей, а свободный член - по системе, связанной с исходной задачей.

В данном разделе предлагается также на основании полученных результатов методика вычисления коэффициентов Фурье решений краевых задач.

Во втором разделе развит способ реализации ОМРП без обращения к интегральным уравнениям, впервые предложенный в работе [5] для уравнения Гельмгольца. В [5] была предложена идея нахождения коэффициентов Фурье, которая применительно к задаче; Дирихле заключается в вычислении нормальной производной решения на границе по заданной системе амплитуд приходящих волн. Обобщенные условия излучения, выделяющие заданную часть коэффициентов Фурье решения в обобщенной постановке краевой задачи позволили в настоящей работе перенести эту идею на более общие уравнения и реализовать ее с помощью биортогональных систем. В частности, построены приближения, которые сходятся равномерно на любом компакте в рассматриваемой области к точному решению. Элементы приближающих последовательностей выражены в явной форме через краевое условие, заданную часть коэффициентов Фурье решения и элементы систем, биортогональных к системам собственных функций. Построены также алгоритмы нахождения коэффициентов Фурье способом, отличным от метода предыдущего раздела. Оба способа имеют свои преимущества. Полученные результаты основываются на свойстве базисности рассматриваемых систем. Однако, в некоторых практически важных частных случаях достаточно минимальности или даже вырожденной минимальности.

Основные итоги третьей главы: получил дальнейшее развитие метод, обобщающий на краевые задачи с некоординатной границей классический метод разделения переменных.

Результаты третьей главы опубликованы в работах автора [11, 51, 53, 54, 62, 88, 90, 91 , 93, 94].

В заключительной главе исследуется задача получения асимптотических оценок коэффициентов Фурье, к которым приводит ОМРП. Рассматривается двумерная - периодическая задача с уравнением Гельмгольца. Для определенности изучается задача Дирихле. Краевое условие предполагается аналитическим и, без уменьшения общности, полагается равным нулю, волновое число к предполагается нецелым.

В качестве основного объекта исследования выбирается интегральное представление для

С+ т с+ = -—. 1 / ехр{—гтж - г\/к2 -4гтг\/к2 - т2 оп где М нормальная производная решения на границе, 50 - часть границы, соответствующая одному периоду. Предполагается, что в полосе — 7Г < х < 7г декартовой системы координат (ж, у) граница 5 является кусочно-гладкой кривой Жордана и имеет параметрическое представление х = у = и2м, /еК/3]. (0.3.3)

Для удобства дальнейших исследований коэффициенты С+ представляются в виде 1 00 СУ- гв

С1\т\ = Л2 2 Е £0(0^(0 ехр{|т|Л±(*)}Л,

1 1 ыж у к* — тг ]\ За ат — л/т2 — к2 — |га|, к* — =рШ1(/) + и2(г), в = . у^+Мр.

ОП у=и2(0

Таким образом, изучение асимптотики С+ сводится к исследованию интегралов / ехр{т/г.±(/)}^, т —► оо, о (X которые являются классическим объектом для применения метода перевала. Основная идея метода перевала заключается в деформации контура интегрирования интеграла ст^ в комплексную плоскость 2 = £ + гд так, чтобы максимум функции Не/г* был минимален среди всех новых контуров. Метод состоит из двух частей: топологической (выбор нового контура) и аналитической (оценка интеграла вдоль выбранного контура). Развитие аналитической части в основном завершено (см., например, [72]) и во многих случаях можно воспользоваться готовыми формулами. Топологическая часть почти во всех применениях метода перевала вызывает значительные трудности, так как эта задача - глобальная. Для обобщенного метода разделения переменных в отличие от классического случая эти трудности усугубляются тем обстоятельством, что при реализации метода перевала необходимо знать аналитические свойства весовой функции О, которая неизвестна.

Последнее обстоятельство существенно снижает возможности метода перевала по двум причинам. Во-первых, минимаксный контур может и не принадлежать области аналитичности функции О. Во-вторых, метод перевала, если О неизвестна, дает всего лишь оценку сверху, так как коэффициенты ряда для сг* зависят от коэффициентов разложения функции О в степенной ряд в окрестности точки перевала. В некоторых ситуациях [74] все коэффициенты асимптотического ряда могут обращаться в нуль и вклад в асимптотику ст.* от точки перевала функции /г* исчезнет. Это обстоятельство заставило продолжить изучение сингулярностей [67, 98], определяющих главный член асимптотики, что в свою очередь потребовало рассмотрения особенностей аналитического продолжения в комплексную плоскость [99-102].

В настоящей главе предлагается методика реализации метода перевала, базирующаяся на двух следующих идеях. Во-первых, контур интегрирования предлагается деформировать в линии уровня функции Ие/^, в частности, в перевальные линии уровня. В качестве минимаксного контура выбирается контур, проходящий через точку перевала с максимумом 11е/г± среди всех точек перевала и лежащий в окрестности данной перевальной линии уровня. Таким образом, топологическая часть метода перевала формализуется и, фактически, сводится к изучению геометрии линий уровня функции Ке^. Вторая идея основана на предположении, что функция В имеет аналитическое продолжение с вещественной оси в области, ограниченные линиями уровня КеД± и вещественной осью (или ее частью).

Реализация этих идей позволяет достаточно просто получить оценки сверху коэффициентов Фурье для широкого класса границ. Кроме того, такой подход к решению топологической части метода перевала позволяет построить метод получения оценок снизу, которые совпадают о оценками сверху, по крайней мере, в главном члене асимптотики. Идея этой методики состоит в возможности переноса краевого условия при несовпадении верхней и нижней оценок в комплексную плоскость через точку перевала на бесконечность. Это приводит к противоречию с постановкой задачи.

Полученные двусторонние оценки коэффициентов Фурье позволяют выделить границу области, в которой решение краевой задачи представимо рядом Фурье. Как следствие этого результата, решается вопрос о справедливости гипотезы Рэлея.

В первом параграфе исследуются аналитические свойства весовой функции 0. Первый раздел параграфа посвящен выводу интегрального уравнения для Э. Во втором разделе исследуется возможность аналитического продолжения функции © в некоторую комплексную окрестность любого отрезка [а, Ь] С (сч,/3) при условии, что граница является кусочно-ляпуновской при t Е (л, ¡3) и аналитичной при t Е [«, Ь].

Затем рассматривается любая односвязная область О. пересечение которой с вещественной осью совпадает с (а, Ь). Доказывается,что в имеет аналитическое продолжение из (а,Ь) в I), если граница (0.3.3) является кусочно-Ляпуновской при t £ [а,/?] и имеет аналитическое продолжение из (а, Ь) в И и если уравнения г) = /^(т) + 2тггш, (0.3.4) где т - целое, неразрешимы при т £ {а, /3], г £ I), 1т,г ф 0. Уравнения (0.3.4) определяют точки возможных сингулярностей функции 0. Если вся граница аналитична, то в допускает аналитическое продолжение в любую область Г), содержащую вещественную ось, при условии, что граница допускает аналитическое продолжение в!)и уравнения (0.3.4) также неразрешимы в И.

Далее, вводятся в рассмотрение две конечных области комплексной плоскости 2 = t-\-ig, ограниченные частью вещественной оси

Ь = {г: д = 0}, где а < t\ < < (3, ж линиями уровня ¿±(/о) = • Ие/г^г) = о)}■ Здесь параметрическое задание (0.3.3) границы предполагается выбранным так, чтобы минимум функции щ достигался во внутренних точках сегмента Границы ОТ1 (¿о) предполагаются связными.

В случае, когда максимальная высота перевального уровня функции Ие/^ меньше ттм2(£), t £ вводится в рассмотрение пара областей ^Г±(го), ограниченных вещественной осью и линиями уровня

Ь*(го) = {г : Лей* (г) = Кек±(г0), Яе/г^о) < тти2(*), t £ гп. Я}.

Здесь предполагается, что Т±{го) - бесконечные области типа полосы, распространяющиеся вдоль вещественной оси, т.е. ^(гц) являются связными периодическими по переменной £ линиями, а под «Д/), .7 = 1,2, понимаются функции, доопределенные по периодичности на всю вещественную ось. Молено также отметить, что области Т± симметричны относительно вещественной оси областям

Доказана серия теорем о неразрешимости уравнений возмолшых сингулярностей функции в в Т±.

Во втором параграфе рассматриваются методики получения двусторонних оценок коэффициентов Фурье. Первая часть параграфа посвящена получению методом перевала оценок сверху.

Вначале исследуется геометрия линий уровня Re^ и показывается, что множество областей Т± не пусто. Затем строится система вложенных областей Jr±(¿on), которая приводит, если она ограничена, к области с перевальной линией уровня в качестве границы, либо с линией уровня, соединяющей концы сегмента [а,/3]. В первом случае минимаксный контур интегрирования проходит через точку перевала, содержится в окрестности данной перевальной линии уровня и окрестности той части интервала где R eh+(t) < R,e/¿+(zo), zq - точка перевала.

Во втором случае, если линия уровня Re/¿+(.z) = Reh+{[3) не является перевальной, существует система областей T±{zqu) типа полосы, которая приводит к области с периодической по переменной t перевальной линией уровня в качестве границы. В качестве нового контура интегрирования можно выбрать контур, состоящий из трех компонент Lj, j = 1,2,3, где L\ проходит через точку перевала и лежит в окрестности части линии уровня, соответствующей одному периоду. Контуры L<¿ и L-¡ соединяют концы контура L\ и точки t = а и t = /3, причем L<¿ совпадает с L'¿ при параллельном переносе на период вдоль вещественной оси. Новый контур не является минимаксным, однако, для получения асимптотических оценок достаточно того, что. контур L\ является минимаксным, так как интегралы по L2 и L3 взаимно сокращаются ввиду периодичности.

Аналитические свойства функции в, полученные в предыдущем параграфе, в комплексе с новыми контурами интегрирования позволяют выписать асимптотические ряды для коэффициентов Фурье.

Полученные асимптотические оценки позволяют выделить области сходимости ряда (1.1.10) с границей у — с плоскости (х,у) задания краевой задачи. Величина с определяется либо особыми точками границы, либо максимальной высотой перевальных линий уровня.

Может оказаться, что система областей J~±(toп) неограничена в совокупности. В этом случае минимаксный контур не существует. Однако, можно получить улучшаемую последовательность оценок, позволяющую выделить область аналитичности ряда (1.1.10). Величина с определяется в этом случае высотой функций Ие^ в так называемой особой точке перевала 2 = оо. Данная ситуация реализуется, например, для логарифмической границы и подробно исследуется в пятом параграфе.

Во втором разделе второго параграфа предлагается методика получения оценок снизу для коэффициентов Фурье. Ее основные положения состоят в следующем. Рассматривается нулевое краевое условие на части 5(с) границы содержащейся в области сходимости у > с ряда (1.1.10), где величина с определяется асимптотическими оценками, полученными в первом разделе. Ряд (1.1.10) в силу оценок сверху равен нулю на 5(с). Доказывается, что это равенство аналитически продолжимо в области на границах которых находятся точки перевала.

Предположение о выполнении оценок снизу, гарантирующих сходимость ряда (1.1.10) при у > С1, с\ < с (вклад в асимптотику С+ от точки перевала исчезает), приводит к тому, что равенство нулю ряда (1.1.10) аналитически продолжимо в область, содержащую Т±.

Затем выбирается положительный сектор точки перевала, содержащийся в той же полуплоскости, что и область и доказывается аналитическая продолжимость ряда (1.1.10) в бесконечно удаленную точку этого сектора.

Слагаемые ряда (1.1.10) имеют различное поведение при 2 —> сю. Поэтому равенство нулю ряда (1.1.10) при 2 —»• оо приводит к равенствам С17 = 0. Это противоречит постановке задачи, согласно которой С~ - априорно произвольные числа, удовлетворяющие только условиям излучения.

Таким образом, оценки снизу коэффициентов Фурье позволяют определить границу области сходимости ряда (1.1.10).

В последующих трех параграфах рассматриваются конкретные границы с параметрами и выводятся двусторонние оценки коэффициентов Фурье методами, изложенными выше.

Третий параграф посвящен получению асимптотических оценок коэффициентов Фурье решения для краевой задачи с синусоидальной границей у = Ьсобх методами, построенными выше.

В подразделе 4.3.1 выводятся оценки сверху. Вводятся функции /¿± = =ргг + Ъ совг и рассматриваются точки перевала функции }Г в верхней полуплоскости и функции /г+ в нижней.

В нижней полуплоркости в полосе [ж| < тг имеется одна точка перевала ч ь

2п = г т-, „

1 + v/£ГfT функции /¿+, причем ы =Ке'1 (2|)) =1п-Ъ-+ 1 + VI + V

В соответствии с методикой получения оценок сверху показывается существование областей Т± с перевальными линиями уровня в качестве границы. При этом в случае Ь < £>о линии образуют области Т± типа полос. Число является корнем уравнения 11ек+(г о) = -6.

Доказывается неразрешимость уравнений сингулярностей в Зг± и, следовательно, обосновывается оценка сверху

С+ = О(|пГ3/2ехр{Ке/г+(г0)|п|}). (0.3.5)

Оценка (0.3.5) была получена другим методом в работе [73] и автором в [79].

Оценка (0.3.5) гарантирует сходимость ряда (1.1.10) при у > 11е/? + (,г()) в физической плоскости (ж, у), т.е. гарантирует справедливость гипотезы Рэлея при Ь < что является повторением результата, полученного в [66].

В подразделе 4.3.2 получена оценка снизу для Сг|. Показано, что оценка 0(ехр{с|п|}, где с < Ле/г+^о), невозможна. Тем самым установлено, что ряд (1.1.10) сходится при у > Яе/г+(го) и расходится при у < КеД+(20). В частности, при Ь > Ьо гипотеза Рэлея не верна, что повторяет результат работы [19].

Итак, асимптотические оценки коэффициентов Фурье для синусоидальной границы определяются высотой точек перевала функции /¿+ в нижней полуплоскости или, что то же самое, высотой точек перевала функции Н" в верхней полуплоскости.

В четвертом параграфе рассматривается степенная граница, заданная на периоде х £ [—7Г, 7г] уравнением

Ь> 0, 1/= 1,2,3,. (0.3.б)

Функции /г* имеют вид ь^ = + Ь II- (а точки перевала функции определяются равенством ( — 7Г 2шп , т.е. Ь+ имеет 2и — 1 простых точек перевала, из них у в нижней полуплоскости (т = 0, — 1,., — у 1). В точках перевала

Ке11+{2т) = Ъ + дт[ 1 - , (0.3.8) причем во всех точках перевала нижней полуплоскости (дгп < 0) высота Ке/г+(^т) ниже, чем тахКе/г+(ж) = 6, х £ [—7г,7г]. Это понижение минимально в двух точках наиболее близких к оси Ох (т — 0,1 -и).

Вначале исследуется случай Ь > 6о, ГДС число

Ч") = £

2у — 1) БШ Ж

2(2у - 1

21/-1

2с удовлетворяет равенству 11е/г+(2о) = 0. Доказывается аналитичность функции 0 в области с границей содержащей точки перевала и На рис. 5 изображена линия перевального уровня для случая у — 4. В окрестности точек перевала ¿о и изображены также по две другие линии этого уровня, ограничивающие положительные (заштрихованные) сектора этих точек. Пунктиром отмечены линии перевального уровня функции 11е/1+ в окрестности точек г2

Таким образом, в случае Ь > 6о имеет место оценка (0.3.5), где Н.е//+(2о) определяется равенствами (0.3.8) и (0.3.7) при т =■ 0, а ряд (1.1.10) продолжим в физической плоскости (х,у) до уровня у = R eh+(zo).

В случае b < 60 часть контура интегрирования, а именно, отрезок [—7г + 7г — е], £ > 0, е - достаточно малое, деформируется в линию уровня функции R,eh+. Доказывается, что функция G аналитична в области деформации контура. При этом имеет место оценка сверху

С+ = 0(ехр{|п|с}), п оо, (0.3.9) где с > 0 - любое число. Оценка (0.3.9) гарантирует сходимость ряда (1.1.10) в полуплоскости у > 0 физической плоскости (ж, /у), в частности сходимость во всех точках границы, за исключением, может быть, точек "дна" х = (2п + 1)7Г, п - целое. Оценка (0.3.9) неулучшаема в том смысле, что ряд (1.1.10) в общем случае расходится при у < 0, так как в окрестности угловых точек границы производные решения краевой задачи, вообще говоря, неограниче-ны.

Во втором разделе Четвертого параграфа получены оценки снизу для границы (0.3.6). Доказано, что при b > 6q оценка вида

С+ = 0(ехр{|п|с}), п —> оо, где с < Re/i+(^o), zq определяется равенством (0.3.7), невозможна. Доказательство, как и выше, основано на идее переноса нулевого краевого условия в бесконечно удаленную точку комплексной плоскости, содержащуюся в положительном секторе точки перевала ~о.

Таким образом, асимптотические оценки определяются либо точками перевала максимального уровня, либо нерегулярными точками границы. При b > 1)q ряд (1.1.10) сходится в области у > Re/i+(zo), т.е. гипотеза Рэлея не справедлива. При b < 1>q ряд (1.1.10) сходится во всех точках границы за исключением, может быть, точек "дна".

В последнем пятом параграфе исследуется асимптотика коэффициентов Фурье для логарифмической границы у = ln(l + /3cos:r), |/3| < 1, /3^0. (0.3.10)

В точках перевала z^ = ((1 + sigri/3)/2 + 2т) 7г =р г1п|/3|, т = О, il,., функции /г± = ^fiz + 1п(1 + /3 cos z) имеют место равенства

1 — в'2 Re^(4) =ln—

Точки ветвления функции y(z) удовлетворяют уравнению 1 + ¡3 cos z = 0 и определяются соотношениями ((1 + sign/3)/2 + 2m) тг + г 1 ± V^3 где z~ < 0. В нижней полуплоскости нет точек перевала функции h+. Это существенно отличает логарифмическую границу от синусоидальной и степенной.

На рисунке 7, соответствующем случаю /3 > 0, отмечены точки перевала с отрицательными секторами, помеченными штриховкой, и точки ветвления. Линии перевального уровня пересекают веще-ственую ось (рис. 7) только при условии [3 > так как в этом случае Reh+(zm) < Reh+(0).

В первом разделе пятого параграфа получена оценка сверху коэффициентов Фурье вида О (|7г|-1 ехр{Н 1пг/}) , с1> п сю. (0.3.11) шI

Оценка (0.3.11) гарантирует сходимость ряда (1.1.10) в области у > 1п и существенно отличается от оценок сверху, полученных для синусоидальной и логарифмической границ. А именно, для логарифмической границы не существует минимаксного контура, но имеется последовательность контуров деформация в которые последовательно улучшает оценки. При этом области Т± деформации контура неограничены в совокупности, контуры последовательно приближаются к критическим линиям Г± уровня Ре^ = а асимптотика С* определяется высотой не перевального, но критического уровня. Линии Г"11 соответствуют так называемой особой точке перевала 2 = оо, на них выполняются равенства

Цт 1т/г±(2:) = а, а ф оо,

->оо

Г±

Пш (/г У = 0.

2 —' со V / ег±

Во втором разделе пятого параграфа получены оценки снизу для случая границы (0.3.10). Доказана невозможность оценки

C+ = 0(cunexp{Mln|^|}),

П —> оо, где шп > 0 - любая последовательность такая, что оо шп < +00. п\=щ

Доказательство, как и выше основано на идее аналитического продолжения краевого условия в бесконечно удаленную точку комплексной плоскости, что возможно ввиду неограниченности семейства областей Т±.

Полученные двусторонние оценки позволяют выделить область сходимости ряда (1.1.10): при у > 1п ^ ряд (1.1.10) сходится, при у < 1п-у - расходится, при у = 1п Щ- сходимость если и есть, то не более, чем условная.

Как следствие полученных оценок С+ решен вопрос о справедливости гипотезы Рэлея: при |/3| £ (0,2/3) гипотеза Рэлея верна, при |/31 € (2/3,1) - не верна, при \{3\ — 2/3 ряд (1.1.10) сходится во всех точках границы за исключением, может быть, точек "дна" х = (2п + 1)7г (для случая Ъ > 0) и х = 27гп (для случая Ь < 0), в которых сходимость ряда (1.1.10) если и есть, то не более, чем условная.

Завершается четвертая глава выводами, которые состоят в следующем: (1) предложена методика получения двустронних оценок коэффициентов Фурье; (2) изучение асимптотики сводится к достаточно простой задаче исследования топологии линий уровня функций /г,"1"; (3) совпадение верхних и нижних оценок в главном множителе позволяет выделить границу области сходимости ряда Фурье, которая определяется либо точками перевала функции либо особой точкой перевала 2 = со, либо нерегулярными точками границы; (4) предложенная методика допускает естественное распространение на уравнения с аналитическими коэффициентами.

Результаты четвертой главы опубликованы в работах автора [79, 103-105].

Завершается текст диссертационной работы заключением, в котором кратко изложена история вопроса, основные идеи работы и направления дальнейших исследований.

Диссертация содержит список цитируемой литературы в количестве 107 единиц и приложение, содержащее 10 рисунков к четвертой главе, иллюстрирующих реализацию метода перевала.

Заключение диссертации по теме «Дифференциальные уравнения», Бадюков, Владимир Федорович

Выводы г+.

306

3. Совпадение верхних и нижних оценок С+ в экспоненциальном множителе позволяет выделить границу области сходимости ряда Фурье. Эта граница (у = с) определяется либо точками перевала (параграф 4.3), либо точками перевала и особыми точками (параграф 4.4), либо особой точкой перевала г = оо (параграф 4.5) функции /г+.

4. Предложенная методика допускает естественное распространение на уравнения с аналитическими коэффициентами.

Заключение

В настоящей работе предложено дальнейшее развитие и формализация метода, обобщающего на некоординатные границы классического метода разделения переменных. Идея метода, предложенная Рэлеем в начале века, состояла в представлении решения краевой задачи рядом Фурье в части области с последующим нахождением коэффициентов Фурье.

В 60-х годах эта идея была строго реализована Р.Г. Баранце-вым и несколько позже Р. Мазелом и У. Миллером для двумерного уравнения типа дифракции с постоянными коэффициентами. Были построены строгие алгоритмы нахождения коэффициентов Фурье. При этом даже в рамках уравнения Гельмгольца ряд вопросов оставался невыясненным (построение приближений к решению краевой задачи, сходимость этих приближений, в частности, построение решения в части области, где ряд Фурье, вообще говоря, расходится).

В представленной работе была поставлена и на взгляд автора в достаточной степени решена задача распространения идеологии метода на более общие задачи, разрешения нерешенных вопросов и придания этой идее характера достаточно общего и законченного метода.

Для достижения этой цели потребовалось прежде всего расширить постановку задачи, дополнив ее представлением решения в виде ряда Фурье и формулировкой обобщенных условий излучения в терминах коэффициентов Фурье. Система функций, по которой разлагалось решение, определялась системой координат, в которой уравнение допускало разделение переменных. Как показали исследования, обобщенная постановка не только хорошо приспособлена к реализации метода, но и обладает рядом неожиданных достоинств, не связанных с ним непосредственно.

Следующим естественным шагом явилось доказательство единственности решения поставленных задач.

Исследования разрешимости классических краевых задач обычно проводились методами теории потенциала с использованием теорем существования фундаментальных решений, удовлетворяющих нужным дифференциальным и асимптотическим свойствам. В данном случае для доказательства разрешимости краевых задач в расширенной постановке потребовалась конкретная конструкция фундаментального решения, обладающая кроме стандартного набора свойств формой, близкой к ряду Фурье решения. Такая конструкция, Фурье-представление, была предложена и подробно исследовалась для широкого класса уравнений в главе II. В частности, конструктивным путем было установлено существование квазипериодических фундаментальных решений для некоторых типов уравнений с переменными коэффициентами.

Первые две ступени метода (теоремы единственности и Фурье-представления фундаментальных решений) позволили достаточно просто доказать разрешимость поставленных задач. В этом направлении рассматривались только двумерные краевые задачи, перенос методологии на другие задачи достаточно очевиден.

Реализация метода основана на использовании свойств систем функций, по которым разлагается решение, а также систем их нормальных производных и линейных комбинаций тех и других. Три группы теорем, связанных с однозначной разрешимостью поставленных задач и свойствами Фурье-представления, дали возможность доказать полноту, минимальность и базисность построенных систем.

В представленной работе двумя способами построены сходящиеся алгоритмы вычисления коэффициентов Фурье и приближения к решениям краевых задач, равномерно сходящиеся на любом компакте в том числе и там, где ряды Фурье, вообще говоря, расходятся.

Первый способ базируется на предположении Р.Г. Баранцева о том, что интегральные соотношения, связывающие коэффициенты Фурье из заданной части с парой краевых значений (решения и его нормальной производной), содержат достаточно информации для восстановления неизвестной составляющей указанной пары.

Второй способ основан на полученных в работе соотношениях типа интегральных уравнений, связывающих элементы исходных систем с элементами систем, биортогональных к исходным.

Каждый из путей реализации метода имеет свои достоинства (и недостатки). Тем не менее второй способ позволил получить неожиданный на первый взгляд результат, связанный с решением интегральных уравнений. А именно, коэффициенты Фурье решения совпадают с точностью до постоянного множителя с коэффициентами Фурье свободного члена, когда решение и свободный член разлагаются по биортогональным системам сопряженной и основной задач. Этот результат с иной точки зрения проясняет разницу между классическим методом разделения переменных (КМРП) и ОМРП. Для координатной границы КМРП связан с ортонормиро-ванной системой. В случае произвольной границы ОМРП характеризуется парой биортогональных систем, т.е. КМРП отождествляется с ортонормированной системой, ОМРП - с парой биортогональных систем. При приближении границы к координатной пара биортогональных систем сближается и в пределе сливается в ортонормированную. При этом решение интегрального уравнения совпадает с точностью до постоянного множителя со свободным членом (интеграл вдоль координатной линии в интегральном уравнении обращается в нуль).

Результаты четвертой главы можно рассматривать как реализацию асимптотического метода разделения переменных в задачах с некоординатной границей, так как в ней фактически предложены методы нахождения коэффициентов Фурье с большими номерами.

В завершение работы кратко отметим наиболее важные направления дальнейших исследований.

I. Особый интерес с точки зрения автора работы представляет собой дальнейшее распространение идей метода на краевые задачи, в которых и уравнения не допускают разделения переменных. Некоторые шаги в этом направлении сделаны в конце главы I: в периодическом случае поставлена задача; предложен метод построения системы функций, приводящий к бесконечной системе обыкновенных дифференциальных уравнений (б.с.о.д.у.), доказаны некоторые теоремы единственности. Ключом к решению этой проблемы являются исследования свойств фундаментальных решений, построенных в форме Фурье-представлений. Свойства эти будут определяться асимптотическими свойствами решений б.с.о.д.у. Иными словами задача построения фундаментальных решений для уравнений, не допускающих разделения переменных, может быть сведена к исследованию вопроса существования решений б.с.о.д.у., удовлетворяющих нужным асимптотическим свойствам.

II. Целесообразно продолжить дальнейшее развитие метода и

310 уточнение отдельных его положений в рамках уравнений с разделяющимися переменными по следующим направлениям:

- завершение доказательства общего случая единственности для периодических задач типа дифракции;

- исследование свойств Фурье-представления фундаментальных решений в случае большого числа переменных;

- дальнейшее исследование свойств рядов Фурье на границе;

- дальнейшее уточнение асимптотических оценок коэффициентов Фурье;

- численное исследование алгоритмов вычисления коэффициентов Фурье для многомерных задач.

Решение этих вопросов в совокупности с результатами данной работы позволит использовать достоинства классического метода разделения переменных при исследовании чрезвычайно широкого класса линейных задач.

Список литературы диссертационного исследования доктор физико-математических наук Бадюков, Владимир Федорович, 1996 год

1. Rayleigh J.S. /,/Ргос. Roy. Soc. Ser. A. 1907.-V.79. -P. 339.

2. Рэлей Дж. С. Теория звука. -Т.2. -М. 1955.

3. Баранцев Р.Г. Обобщение метода Фурье на смешанную задачу с произвольной начальной поверхностью. -Научные доклады высшей школы. 1958. -N 2. -С. 6-8.

4. Баранцев Р.Г. Метод разделения переменных в задаче рассеяния на теле произвольной формы. // Доклады АН СССР. 1962.-Т.147. N 3. -С. 569-570.

5. Баранцев Р.Г. Метод разделения переменных в волновой задаче с произвольной границей. // Вестник ЛГУ. 1965. -N 1. -С. 66-76.

6. Баранцев Р.Г., Козачек В.В. Исследование матрицы рассеяния на объектах сложной формы. // Вестник ЛГУ. 1968. -N 7. -С. 71-77.

7. Waterman P.C. New formulation of acoustic scattering. //J. Acoust. Soc. Amer. 1969. -V. 45. N.6 -P. 1417-1429.

8. Masel R.I., Merrill R.P., Miller W.H. Quantum scattering from a sinusoidal hard wall: Atomic diffraction from solid surfaces. //Phys. Rev. 1975. -V.B 12. N. 12. -P. 5545-5551.

9. Shun Lien Chuang, Jin Au Kong. Scattering of waves from periodic surfaces. //Proc. IEEE. 1981. -V. 69. N 9. -P. 1132-1144.

10. Баранцев P.Г., Грудцын B.B. Локализация особенностей в задаче рассеяния на контурах с неканоническими границами. //Асимптотические методы. Задачи и модели механики. -Новосибирск: Наука. Сибирское отделение. 1987. -С. 95-136.

11. Бадюков В.Ф. Обобщенный метод разделения переменных и его аналоги. //Радиотехника и электроника. 1987. -Т. 32. N. 9. -С. 1853-1862.

12. Антонова Л.А., Баранцев Р.Г., Козачек В.В. Численное решение задачи рассеяния на телах вращения. //Зап. науч. семинаров ЛОМИ. 1970. -Т. 17. -С. 7-19.

13. Bolomey J.С., Wirgin A. Numerical comparison of the Green's function and the Waterman and Rayleigh theories of scattering from a cylinder with arbitrary cross-section. //Proc. Inst. Electr. Eng. 1974. -V. 121. N. 8. -P. 794-804.

14. Wirgin A. Reflection from a corrugated surface. //J.Acoust. Soc. Amer. 1980. -V. 68. N. 2. -P. 692-699.

15. Goodman F.O. Scattering of atoms by a stationary sinusoidal hard wall: rigorous treatment in (n 4- 1) dimensions and comparison with the Rayleigh method. // J. Chem. Phis. 1977. -V. 66. N. 3. -P 976-982.

16. Millar R.F. On the Rayleigh assumption in scattering by a periodic surface. //Proc. Cambr. Philos. Soc. 1969. -V. 65. N. 3. -P. 773-791.

17. Nevière M., Cadilhac M. Sur la validité du development de Rayleigh. // Optic. Commun. 1970. -V.2. N. 5. -P. 235-238.

18. Баранцев P.P., Грудцын В.В., Заболотный Ф.Т., Козачек В.В. О гипотезе Рэлея в задаче рассеяния на конечных телах произвольной формы. //Вестник ЛГУ. Сер. мат., мех., астр. 1971. -N 7. -С. 56-62.

19. Petit R., Cadilhac M. Sur la diffraction d'une onde plane par un réseau infiniment conducteur. //Acad.Sci. Paris. Ser. B. 1966. -V. 262. N. 7 -P. 468-471.

20. Van den Berg P.M., Fokkema J.T. The Rayleigh hypothesis in the diffraction theory of gratings. //J. Opt. Soc. Amer. 1979. -V. 69. N. 1. -P. 27-31.

21. Barantsev R.G. On singularities of the Tricomi problem solution by the Fourier method. -Berlin: Teubner. 1985.

22. Козачек В.В., Саченко В.Д. Асимптотика матрицы рассеяния в задаче дифракции на эллиптическом цилиндре. //Асимптотические методы в теории систем. Иркутск. 1974. -Вып. 6. -С. 30-39.

23. Берс JI., Джон Ф., Шехтер М. Уравнения с частными производными. -М.: Мир, 1966.

24. Федорюк М.В. Асимптотические методы для линейные обыкновенных дифференциальных уравнений. -М.: Наука, 1983.

25. Hessel А., Oliner A.A. //Appl. Optics. 1965. -V. 4. N. 10. -P. 1275.

26. Болотовский Б.М., Лебедев A.M. // ЖЭТФ. 1967. -Т. 53. N. 10. -С. 1349.

27. Гандельман Г.М., Кондратенко П.С. //ЖЭТФ / Письма. 1983. -Т. 38. N. 5. -С. 246.

28. Вайнштейн Л.А. Теория дифракции и метод факторизации. -М.: Сов. радио, 1966.

29. Бадюков В.Ф. Исследование волновой задачи рассеяния на периодической поверхности. -Кандидатская диссертация. Л., 1979.

30. Бабич В.М. О теореме существования решения задачи Дирихле и Неймана для уравнения Гельмгольца в квазипериодическом случае. //Сиб. мат. журнал. 1988. -Т. 29. N. 2. -С. 3-9.

31. Ковалев A.A., Кондратенко П.С., Ленинский Б.Н. Аномалии Вуда при дифракции излучения на металлических гофрированных структурах малой амплитуды с конечной проводимостью. //Радиотехника и электроника. 1988. -Т. 33. N. 8. -С. 1610-1616.

32. Бадюков В.Ф. Единственность решения краевых задач рассеяния со сложными периодическими потенциалами. //Дифференциальные уравнения. 1989. -Т. 25. N. 10 -С. 1736-1746.

33. Бадюков В.Ф. Теоремы единственности для задачи рассеяния на периодической поверхности. // Вестник ЛГУ. Сер. мат., мех., астр. 1977. -N. 19.-С. 88-92.

34. Alber H.D. A quasi-periodic boundary value problem for the Lap-lacian and the continuation of its resolvent. // Proc. Roy. Soc. Edinburg. 1979. Section A. Math. -V.82. -P. 251-272.

35. Wilcox С. H. Scattering theory for diffraction gratings. -New York. 1984.

36. Reilich F. Under das asymptotische Verhalten der Losungen von Au + ku = 0 in unendlichen Gebieten. // Jber. Deutschen Math. Verein. 1943. -V. 53. -P. 57-64.

37. Эйдус Д.M. О принципе предельного поглощения. //Математический сборник. 1962. -Т. 57(99). N. 1. -С. 13-44.

38. Сухинин C.B. Об акустических и электромагнитных колебаниях около периодической решетки. //Динамика сплошной среды. Новосибирск: 1981. -Вып. 51. -С. 159-168.

39. Сухинин C.B. Качественные вопросы теории рассеяния на периодических структурах // Краткие тезисы докладов IX Все-союзн. сими, по теории дифракции и распространения волн. Телави. -Т. 1. -Тбилиси: Изд-во Тбилисского ун-та, 1985. -С. 339-342.

40. Parker R., Griffiths W.M. Low frequency resonance effects in wake shedding from parallel plates. //J. of Sound and Vibr. 1968. -V. 7. N. 3.

41. Горелов Д.H., Курзин В.Б., Сарен В.Э. Аэродинамика решеток в нестационарном потоке. -Новосибирск: Наука, 1971.

42. Лаврентьев М.М., Романов В.Г., Шишатский С.П. Некорректные задачи математической физики и анализа. -М.: Наука, 1980.

43. Морс Ф.М., Фешбах Г. Методы теоретической физики. -T. II. -М.: ИЛ, 1960.

44. Михлин С.Г. Курс математической физики. -М.: Наука, 1968.

45. Бадюков В.Ф. О единственности задачи рассеяния на периодической поверхности. -Л. 1977. Деп. в ВИНИТИ 14.07.77, N. 4379-77.

46. Гудман Ф., Вахман Г. Динамика рассеяния газа поверхностью. -М.: Мир, 1980.

47. Коддингтон Э.А., Левинсон H. Теория обыкновенных дифференциальных уравнений. -М: Наука, 1958.

48. Вайнштейн Л.А., Суков А.И. Дифракция на волнистой поверхности: сравнение численных методов.//Радиотехника и электроника. 1984. -Т. 29. N 8. -С. 1472-1478.

49. Камке Э. Справочник по обыкновенным дифференциальным уравнениям. -М.: Наука, 1971.

50. Millar R.F. The Rayleigh hypothesis and a related least-squares solution to scattering problems for periodic surface and other scattered. //Radio Sei. 1973. -V.8. N.8,9 -P. 785-796.

51. Бадюков В.Ф. Теоремы существования для задачи рассеяния на периодической поверхности. //Вестник ЛГУ. Сер. мат., мех., астр. 1978. -N. 1. -С. 81-88.

52. Бадюков В.Ф. О единственности решения краевых задач рассеяния трех типов на периодической границе. В кн.: Прикладной численный анализ и математическое моделирование. -Владивосток: ДВО АН СССР, 1989. -С. 28-37.

53. Бадюков В.Ф. Слабая гипотеза Рэлея и некоторые свойства систем метагармонических функций. // Записки научных семинаров ЛОМИ. -Т. 195. Л.: Наука. 1991. -С. 19-28.

54. Владимиров C.B. Уравнения математической физики. -М: Наука, 1971.

55. Янушаускас А.И. Двойные ряды. -Новосибирск: Наука, 1980.

56. Смирнов В.И. Курс высшей математики. -Т.1. -М.: Наука, 1974.

57. Прудников А.П., Брычков Ю.А., Маричев О.И. Интегралы и ряды. -М.: Наука, 1981.

58. Прудников А.П., Брычков Ю.А., Маричев О.И. Интегралы и ряды. Специальные функции. -М.: Наука, 1983.

59. Миранда К. Уравнения с частными производными эллиптического типа. -М.: ИЛ, 1957.

60. Талдыкин А.Т. Системы и ряды элементов. -М.: Наука, 1971.

61. Козачек В.В. Решение задач рассеяния на объектах сложной формы методом парциальных волн: Автореферат дис. канд. физ.-мат. наук. -Л., 1977.

62. Функциональный анализ. Второе издание. Под общей редакцией С.Г. Крейна. -М.: Наука, 1972.

63. Бадюков В.Ф., Баранцев Р.Г., Казаченко Н.А. Асимптотика интегралов для задачи рассеяния на периодической поверхности. //Сб. "Асимптотические методы в теории систем". -Иркутск, 1975. -Вып. 8. -С. 161-166.

64. Millar R.F. On the Rayleigh assumption in scattering by a periodic-surface. II. //Proc. Cambridge Philos. Soc. 1971. -V. 69 -P. 217225.

65. Грудцын В.В. Метод подвижных сингулярностей в задаче рассеяния на контурах г = (1 + /3cosip)1. //В кн.: Асимптотические методы в теории систем. -Иркутск, 1974. -Вып. 6. -С. 40-52.

66. Рыжик И.М., Градштейн И.С. Таблицы интегралов, сумм, рядов и произведений. -М.: Физматгиз, 1962.

67. Лаврентьев М.А., Шабат Б.В. Методы теории функций комплексного переменного. -М.: Наука, 1973.

68. Бицадзе А.В. Основы теории аналитических функций комплексного переменного. -М.: Наука, 1972.

69. Привалов M.И. Введение в теорию функций комплексного переменного. -М.: Наука, 1977.

70. Федорюк М.В. Метод перевала. -М.: Наука, 1977.

71. Чебанова H.A. О гипотезе Рэлея и точной асимптотике решения задачи рассеяния на периодической поверхности. //Докл. АН СССР. 1987.-Т. 295. N. 2. -С. 350-352.

72. Баранцев Р.Г., Грудцын В.В. К асимптотике коэффициентов Фурье в задаче рассеяния на контурах г = (14-/3 cos (р)1. //Зап. науч. семинаров ЛОМИ. 1976. -Т. 62. -С. 27-37.

73. Хенл X., Мауэ П., Вестпфаль П. Теория дифракции. -М.: Мир, 1964.

74. Апельцин В.Ф., Кюркчан А.Г. Гипотеза Рэлея и аналитические свойства волновых полей. // Радиотехника и электроника. 1985. -N. 2. -С. 193-210.

75. Чебанова H.A. Асимптотика коэффициентов Фурье для задачи Дирихле в неограниченной области с криволинейным участком границы. // Вестник ЛГУ. 1982. -N. 7. -С. 119-123.

76. Ахиезер Н.И. Элементы теории эллиптических функций. -М.: Наука, 1970.

77. Бадюков В.Ф. Двусторонние оценки коэффициентов Фурье в задаче рассеяния на периодической границе. Синусоидальная граница. // Асимптотические методы в теории систем. Иркутск: Иркутский научный центр СО АН СССР. 1990. -С. 124-149.

78. Баранцев Р.Г. Рассеяние плоской волны на двоякопериоди-ческой поверхности произвольной формы. // Акустический журнал. 1961. -Т. 7. N. 2. -С. 155-158.

79. Баранцев Р.Г. К постановке задачи рассеяния на конечном расстоянии. // Докл. АН СССР. 1964. -Т. 157. N. 5. -С. 1080-1083.

80. Бадюков В.Ф. Теоремы единственности линейных краевых задач эллиптического типа в постановке обобщенного метода разделения переменных. // Труды тихоокеанской конференции "Математическое моделирование и криптография". -Владивосток. ИПМ, 1995. -С. 16.

81. Бадюков В.Ф. Об одном методе построения фундаментальных решений в задачах рассеяния. //Дифференциальные уравнения. 1991. -Т. 27. N.9. -С. 1575-1585.

82. Баранцев Р.Г. Обобщение метода Фурье. // Интегральные уравнения и краевые задачи математической физики. -Владивосток, 1990. -С. 41.

83. Баранцев Р.Г. Асимптотическое разделение переменных. // Асимптотические методы в теории систем. -Иркутск, 1990. -С. 107-113.

84. Баранцев Р.Г., Горбунова Е.Г., Цыганкова И.В. Асимптотические интегральные итерации в неканоническом методе Фурье. // Интегральные уравнения и краевые задачи математической физики. Ч. II. -Владивосток, 1992. -С. 49-54.

85. Баранцев Р.Г., Горбунова Е.Г. Асимптотика коэффициентов Фурье в смешанной задаче для линейного квазиволнового уравнения. //Асимптотические методы в задачах аэродинамики и проектирования летательных аппаратов. Ч. I. -Иркутск, 1994. -С. 29-33.

86. Бадюков В.Ф. Об одном методе решения интегральных уравнений в периодических задачах рассеяния. // Интегральные уравнения и краевые задачи математической физики. -Владивосток, 1990. -С. 7.

87. Крутинь Ю.И., Тучкин Ю.А., Шестопалов В.П. Дифракция ^-поляризованной электромагнитной волны на периодической гладкой волнистой поверхности. // Радиотехника и электроника. -1992. -Т. 37. N. 2. -С. 202-210.

88. Бадюков В.Ф. О разрешимости задачи рассеяния плоских волн на периодических потенциалах. // М.: Изд-во Физическогообщества СССР. Сб.: Волны и дифракция. -Т. 1. 1990. -С. 5-14.

89. Бадюков В.Ф., Баранцев Р.Г. К задаче рассеяния на периодической поверхности. // Владивосток: Изд-во ДВО АН СССР. В кн. "Математическая физика и математическое моделирование". Часть I. 1990. -С. 5-14.

90. Бадюков В.Ф. Рассеяние плоских волн на периодических границах в неоднородной среде. // Акустика неоднородных сред. Новосибирск: 1992. -Вып. 105. -С. 44-50.

91. Rainm A.G. Convergence of the T-matrix approach to scattering theory. // J. Math. Phys. 1982. -V. 23. N. 6. -P. 1123-1125.

92. Stoll E., Baumberger M., Garcia N. Revisiting the GR method for scattering from a carrugated hard wall: improved stability, convergence, and new results. //J. Chern. Phys. 1984. -V. 81. N. 3. -P. 1496-1500.

93. Tobocman W. Comparison of the T-matrix and Helmholtz integral equation methods for wave scattering calculations. //J. Acoust. Soc. Amer. 1985. -V. 77. N. 2. -P. 369-374.

94. Грудцын В.В. О характере изолированных сингулярностей решения задачи рассеяния на конечных телах произвольной формы. // Асимптотические методы в механике. Иркутск. 1981. -С. 163-174.

95. Millar R.F. The analytic continuation of solutions to elliptic boundary value problems in two independent variables. //J. Math. Anal, and Appl. 1980. -V. 76. N. 2. -P. 498-515.

96. Millar R.F. The analytic continuation of solutions of the generalized axially symmetric Helmholtz equation. // Arch. Rat. Mech. Anal. 1983. -V. 81 N. 4. -P. 349-372.

97. Waterman P.C. Surface fields in potential theory and acoustic scattering. // J. Acoust. Soc. Airier. 1984. -V. 76. N. 4. -P.1215-1226.

98. Бадюков В.Ф. Двусторонние оценки коэффициентов Фурье в задаче рассеяния на периодической поверхности. Степенная граница. //Иркутск. Асимптотические методы в задачах механики. 1989. -С. 108-125.

99. Бадюков В.Ф. Двусторонние оценки коэффициентов Фурье в задаче рассеяния, на периодической поверхности. Логарифмическая граница. //Иркутск: Иркутский научный центр СО АН СССР. Асимптотические методы в теории систем. 1989. -С. 255-275.

100. Бадюков В.Ф. Асимптотика коэффициентов Фурье в задаче рассеяния на периодических границах. //Иркутск: Иркутский научный центр СО АН СССР. 1989. -С. 165-190.

101. Бадюков В.Ф. Законы сохранения в задаче рассеяния плоских волн на периодической границе // Сборник научных трудов НИИ КТ по математике / Под ред. А.Г. Зарубина. Хабаровск:321

102. Изд-во Хабар, гос. тех. ун-та, 1УУУ. -Вып. 2. -С. 3-12.