Здесь «вынужденные» члены в правых частях можно вывести, принимая во внимание то обстоятельство, что величины в соотношениях (6) и падающая волна (
Из уравнений (3) следует, что
можем добиться того, чтобы удовлетворялось граничное условие (В3). В приведенных соотношениях символ производной
Что касается соотношений (14), то они превращаются в специальный способ разложения в ряд Фурье. Иначе говоря, представляют собой разложения по системе ортогональных функций, превращающихся в нуль при | y | =b. Физически они представляют собой собственные колебания плоскопараллельного волновода. Достаточность таких разложений будет видна из обсуждения свойств регулярности, о которых речь идет ниже. Окончательно, в качестве решения уравнений (12), удовлетворяющих граничным условиям (В2), (В3), можем записать следующие выражения :
Здесь члены рядов представляют собой частные решения. Кроме того, неизвестные функции, снабженные нижними индексами C, S, представляют собой, с учетом свойств четности в соотношениях (10), следующие выражения ( j=0, 1):
Наконец, выполняются следующие соотношения ( j=0, 1, q= c, s):
В заключение обсудим коэффициенты разложений в формулах (14). Как отмечалось и при разъяснении формул (6), выступающих в качестве определений, за исключением членов, связанных с падающей волной (известные выражения), функция
заметим, что
Если допустить иные разложения, чем задаваемые формулами (14), то сохранение описанных здесь свойств регулярности становится невозможным. Таким образом ясно, что способ разложения по формулам (14) оказывается достаточным для рассматриваемой задачи.
УРАВНЕНИЯ ВИННЕРА-ХОПФА
В предыдущем разделе было установлено, что используя только Фурье-компоненты рассеянной волны (конкретно,
Здесь кернфункции (ядра)задаются следующими формулами:
Уравнения (21) по существу представляют собой систему уравнений Винера-Хопфа. Этот факт становится еще более очевидным, если применить преобразования по приводимым ниже формулам. А именно, если умножить эти уравнения на
При этом имеют место следующие соотношения:
Тот факт, что правые части в формулах (24), а в конечном счете, правые части в формулах (26), являются регулярными в верхней полуплоскости (области U) или в нижней полуплоскости (области L ), можно установить следующим образом. Ясно, что с первого взгляда можно заключить, что особенностью функции
Что касается системы уравнений Винера-Хопфа, представленной формулой (24), то ее решение можно найти, выполняя интегрирование вдоль разрезов от точек ветвления в разложениях керн-функций на множители. При выполнении расчетов возникают определенные затруднения, однако вывод решений проводится автоматически. Сначала выполняем разложение керн-функций на частное (произведение) функций, регулярных в верхней полуплоскости и в нижней полуплоскости, и, сверх того, не имеющих нулей (j=0, 1, q= c, s):
Затем, делим (умножаем) правые части и левые части уравнений (24) на эти функции разложения, исключаем их полюса и выполняем интегрирование вдоль разрезов от точек ветвления. Если выполнить описанные действия, то обе части уравнений (24) можно разложить таким образом, что они окажутся регулярными соответственно в верхней полуплоскости (область U) или в нижней полуплоскости (область L). Более того, полученные соотношения окажутся справедливыми в общей области Д. Следовательно, по теореме Лиувилля обе части вместе оказываются функциями, регулярными во всей плоскости, т.е. постоянными. Однако, эти постоянные в силу граничного условия (В5) концевой точки, оказываются равными нулю, так что решение уравнений (24) определяется единственным образом. Здесь в качестве граничного условия концевой точки принимается условие