Радиотехника и электроника, 2022, T. 67, № 2, стр. 130-139

Переходная зона в высокочастотной задаче дифракции на импедансной границе со скачком кривизны. Метод Кирхгофа и метод пограничного слоя

Е. А. Злобина a*, А. П. Киселев abc**

a Санкт-Петербургский государственный университет
199034 Санкт-Петербург, Университетская наб. 7-9, Российская Федерация

b Санкт-Петербургское отделение Математического института им. В.А. Стеклова РАН
191023 Санкт-Петербург, наб. р. Фонтанки 27, Российская Федерация

c Институт проблем машиноведения РАН
199178 Санкт-Петербург, Большой проспект В.О. 61, Российская Федерация

* E-mail: ezlobina2@yandex.ru
** E-mail: aleksei.kiselev@gmail.com

Поступила в редакцию 24.08.2021
После доработки 24.08.2021
Принята к публикации 01.09.2021

Полный текст (PDF)

Аннотация

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

ВВЕДЕНИЕ

Интерес к высокочастотным задачам дифракции на препятствиях, обладающих в каждой точке непрерывной касательной, но имеющих разрывную кривизну, не ослабевает уже шесть десятилетий (см., например, [113]) – в сущности, с момента создания геометрической теории дифракции (ГТД) [1315]. Эта тематика, помимо приложений к радиолокации, привлекает внимание исследователей тем, что для нее нет простой эталонной задачи, из которой можно было бы определить дифракционные коэффициенты11, являющиеся базовым понятием ГТД.

Определению дифракционных коэффициентов для разных граничных условий как при некасательном, так и при касательном падении посвящены соответственно работы [18] и [912]. В этих задачах, как и вообще в теории дифракции, дифракционные коэффициенты обращаются в бесконечность при приближении к направлению геометрооптического отражения от границы в точке ее негладкости – предельному лучу. В окрестности предельного луча возникает переходная зона, где происходит слияние геометрически отраженной волны и волны, дифрагированной точкой негладкости, а поле выражается через подходящие специальные функции. Для угловых областей, в простейших случаях, поля в переходных зонах описываются имеющими двухсотлетнюю историю формулами, содержащими интегралы Френеля [15]. Сейчас их обобщения систематически изучаются под именем краевых и угловых катастроф [16, 17]. Исследование переходной зоны в задаче дифракции на разрыве кривизны, которому посвящена данная статья, тоже можно отнести к этой проблематике (соответствующая угловая катастрофа имеет тип ${{B}_{2}}$ [17]).

В подавляющем большинстве работ [112] рассматривалась исключительно двумерная задача и использовался восходящий к работам Френеля метод Кирхгофа [15]. Метод Кирхгофа хорошо зарекомендовал себя при описании полей в переходных зонах, но не дает детального описания дифрагированного поля за их пределами [15]. Полученные в его рамках дифракционные коэффициенты для дифракции на разрыве кривизны не совпадают с выражениями, которые дает строгий метод пограничного слоя (см. [13], также ср. результаты [3] и [6]). Метод пограничного слоя [18] (в этой тематике восходящий к работе [3], имеющей большую эвристическую составляющую) строго описывает поле в окрестности сингулярной точки и дает выражение для дифрагированной волны, пригодное на любых расстояниях [8]. Однако полученное с его помощью выражение для поля в переходной зоне ограничено пока малыми расстояниями [8]. Для некасательного падения плоской волны и условия Дирихле, в рамках последовательного погранслойного подхода, влияние скачка кривизны на волновое поле в переходной зоне описывается выражением [8]

(1)
$\sqrt {\frac{2}{{{\pi }}}} \frac{{\left[ \unicode{230} \right]{{r}_{1}}}}{{\sin {{{{\varphi }}}_{0}}}}\exp \left( {ik{{r}_{1}} - i\frac{{{{z}^{2}}}}{2}} \right){{D}_{{ - 3}}}\left( {\sqrt 2 z~\exp \left( { - i\frac{{{\pi }}}{4}} \right)} \right),$
где $k{{r}_{1}} \gg 1$, а [ae] – величина скачка кривизны. Здесь ${{r}_{1}}$ и ${{{{\varphi }}}_{1}}$ – полярные координаты с центром в точке негладкости границы, ${{{{\varphi }}}_{0}} > 0$ – значение угла падения в точке негладкости, и

(2)
$z = \sqrt {{{k{{r}_{1}}} \mathord{\left/ {\vphantom {{k{{r}_{1}}} 2}} \right. \kern-0em} 2}} \left( {{{{{\varphi }}}_{1}} - {{{{\varphi }}}_{0}}} \right).$

Присутствие переменной (2) в аргументе специальной функции типично для описания переходных зон, где сливаются плоская и цилиндрическая волны [15].

Выражение (1) применимо только на малых расстояниях $\kappa {{r}_{1}} \ll 1$ (здесь $\kappa $ – характеристический параметр, определяемый геометрией границы, см. (6)). Это обусловлено, во-первых, очевидным фактом линейного роста амплитуды по ${{r}_{1}}$. Во-вторых, тем требующим углубления в геометрические рассмотрения обстоятельством, что формула (1) перестает сшиваться с геометрооптически отраженной волной при $\left| z \right| \gg 1$, если не выполняются условия $\kappa {{r}_{1}} \ll 1$ и $\kappa {{r}_{1}}{{z}^{2}} \ll 1$ (подробнее см. [8]).

Вместе с тем с точки зрения метода Кирхгофа представляется, что результат для переходной зоны должен быть другим [6, 13]. Для получения главного члена асимптотики, описывающей влияние разрыва кривизны на уходящее поле, достаточно рассматривать границы, составленные из двух касающихся дуг окружностей разного радиуса. Естественно (и это делалось в работах [6, 13]) разбить кирхгофовский интеграл на две соответствующие части, которые без большого труда выражаются через интегралы Френеля от сложных (не таких, как в дифракции на клине) аргументов, зависящих от кривизны соответствующей дуги. Интеграл Френеля простым образом выражается через функцию параболического цилиндра ${{D}_{{ - 1}}}$, в то время как погранслойные рассмотрения приводят к специальной функции ${{D}_{{ - 3}}}$, см. (1). Разрешение этого (как выяснится, кажущегося) противоречия и составляет один из основных результатов данной работы.

Рассмотрена двумерная задача дифракции высокочастотной волны от точечного источника на импедансной границе со скачком кривизны. Падающая волна приходит в точку неглакости границы некасательно. Граница предполагается пассивной, т.е. поверхностных волн не возникает. Все рассмотрения ведутся в высокочастотном приближении: расстояния от точки негладкости до источника и точки наблюдения много больше длины волны. Основываясь на методе Кирхгофа, мы детально исследуем поле в узкой окрестности предельного луча на умеренных (по сравнению с геометрическим параметром задачи $\kappa $) расстояниях. Интересующий нас эффект слияния геометрически отраженной и дифрагированной волн асимптотически описывается суммой двух френелевских выражений. Обращаясь к малым расстояниям, мы аналитически прослеживаем переход френелевской асимптотики в выражение, аналогичное (1).

Поле в переходной зоне вблизи предельного луча уже исследовалось методом Кирхгофа в работах [13] и [6]. Однако в [13] были рассмотрены только граничные условия Дирихле и Неймана, а в [6] – специфическое импедансное условие, при котором возникает поверхностная волна, причем авторов преимущественно интересовало поле в случае слияния поверхностной волны с дифрагированной и отраженной волнами. Кроме того, ранее не обсуждались границы применимости возникающих формул и не давалась геометрическая интерпретация аргументов соответствующих спец-функций.

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

1. ПОСТАНОВКА ЗАДАЧИ

Рассмотрим дифракцию на границе $C$, составленной из дуг двух касающихся окружностей разного радиуса. Точки на контуре будем характеризовать длиной дуги $s$, отсчитываемой от точки касания $O$ (считаем, что $s > 0$ справа от $O$, рис. 1). Кривизна границы имеет вид

(3)
${{\unicode{230} }}\left( s \right) = {{{{\unicode{230} }}}_{ - }} + \left[ {{\unicode{230} }} \right]{{\theta }}\left( s \right),$
где

(4)
${{\theta }}\left( s \right) = \left\{ {\begin{array}{*{20}{l}} {1,\,\,\,\,s > 0,} \\ {0,\,\,\,\,\,s \leqslant 0} \end{array}} \right.$
Рис. 1.

Дифрагированная волна и переходная зона.

– функция Хевисайда;

(5)
$\left[ {{\unicode{230} }} \right] = {{{{\unicode{230} }}}_{ + }} - {{{{\unicode{230} }}}_{ - }}$

– амплитуда скачка кривизны (${{{{\unicode{230} }}}_{ \pm }}$ – константы). Кривизна может быть положительной, отрицательной или знакопеременной. Важным геометрическим параметром задачи является величина

(6)
$\kappa = {\text{max}}\left\{ {\left| {{{{{\unicode{230} }}}_{ - }}} \right|,\left| {{{{{\unicode{230} }}}_{ + }}} \right|} \right\}.$

Введем декартову систему координат, как показано на рис. 1: начало координат расположено в точке скачка кривизны $O$, и ось $x$ касается контура.

Предполагается гармоническая зависимость от времени вида $\exp \left( { - i{{\omega }}t} \right)$. Здесь ${{\omega }}$ – круговая частота, связанная с волновым числом $k$ соотношением ${{{\omega }} \mathord{\left/ {\vphantom {{{\omega }} c}} \right. \kern-0em} c} = k$, и $c = {\text{const}}$ – скорость распространения волн, которая принимается равной единице: $c = 1$. Полное волновое поле $u$ над контуром $C$ описывается уравнением Гельмгольца

(7)
$\left( {\frac{{{{\partial }^{2}}}}{{\partial {{x}^{2}}}} + \frac{{{{\partial }^{2}}}}{{\partial {{y}^{2}}}} + {{k}^{2}}} \right)u = - \,{{\delta }}\left( {x - {{x}_{0}}} \right){{\delta }}\left( {y - {{y}_{0}}} \right),$
где ${{M}_{0}} = \left( {{{x}_{0}},{{y}_{0}}} \right)$ – точка источника. Большим параметром в нашей задаче является величина

(8)
${k \mathord{\left/ {\vphantom {k \kappa }} \right. \kern-0em} \kappa } \gg 1.$

На контуре выполнено импедансное граничное условие:

(9)
${{\left. {\left( {\frac{\partial }{{\partial n}} + ikg} \right)u} \right|}_{C}} = 0.$

Импеданс $g$ предполагается постоянным. В предельных случаях $g = \infty $ и $g = 0$ условие (9) переходит в условие Дирихле и в условие Неймана соответственно. На бесконечности $u$ удовлетворяет условию излучения.

В соответствии с (7) поле $u$ разбивается на падающую и уходящую волны

(10)
$u = {{u}^{{{\text{пад}}}}} + {{u}^{{{\text{ух}}}}},$

причем падающая волна возбуждается точечным источником колебаний, расположенным в точке ${{M}_{0}}$, и имеет вид

(11)
$\begin{gathered} {{u}^{{{\text{пад}}}}}\left( {x,y} \right) = G\left( {x,y;{{x}_{0}},{{y}_{0}}} \right):\, = \\ = \frac{i}{4}H_{0}^{{\left( 1 \right)}}\left( {k\sqrt {{{{\left( {x - {{x}_{0}}} \right)}}^{2}} + {{{\left( {y - {{y}_{0}}} \right)}}^{2}}} } \right). \\ \end{gathered} $

Здесь введено обозначение для удовлетворяющей условию излучения функции Грина для уравнения Гельмгольца в свободном пространстве, $H_{0}^{{\left( 1 \right)}}$ – функция Ганкеля. Предполагается, что падающая волна приходит в точку $O$ некасательно.

Согласно ГТД (см., например, [1315]), уходящее поле в грубом приближении есть сумма волн ${{u}^{{{\text{отр}}}}}$, геометрически отраженных от гладких частей контура, и волны ${{u}^{{{\text{диф}}}}}$, дифрагированной точкой негладкости границы:

(12)
${{u}^{{{\text{ух}}}}} = {{u}^{{{\text{отр}}}}} + {{u}^{{{\text{диф}}}}}.$

Для некасательного падения лучевой метод (см., например, [19]) дает для ${{u}^{{{\text{отр}}}}}$ явное выражение, теряющее гладкость на предельном (геометрически отраженном в точке негладкости контура) луче.

Везде далее предполагается, что точка источника ${{M}_{0}} = \left( {{{x}_{0}},{{y}_{0}}} \right)$ и точка наблюдения ${{M}_{1}} = \left( {{{x}_{1}},{{y}_{1}}} \right)$ лежат на больших по сравнению с длиной волны расстояниях от точки негладкости $O$:

(13)
$k{{r}_{0}} \gg 1,\,\,\,\,k{{r}_{1}} \gg 1.$

Тогда дифрагированная волна ${{u}^{{{\text{диф}}}}}$ является цилиндрической волной:

(14)
$\begin{gathered} {{u}^{{{\text{диф}}}}} = A\left( {{{{{\varphi }}}_{0}},{{{{\varphi }}}_{1}};k} \right)\frac{{\exp \left( {ik\left( {{{r}_{0}} + {{r}_{1}}} \right)} \right)}}{{k\sqrt {{{r}_{0}}{{r}_{1}}} }} \times \\ \times \,\,\left[ {1 + \mathcal{E}\left( {{{r}_{0}},{{r}_{1}},{{{{\varphi }}}_{0}},{{{{\varphi }}}_{1}};k} \right)} \right]. \\ \end{gathered} $

Здесь ${{r}_{{0,1}}} = \left| {O{{M}_{{0,1}}}} \right|$ – расстояния от точки $O$ до точек источника ${{M}_{0}}$ и наблюдения ${{M}_{1}}$, ${{{{\varphi }}}_{{0,1}}}$ – углы между осью $Ox$ и прямыми $O{{M}_{0}}$ и $O{{M}_{1}}$ соответственно (см. рис. 1), $A$ – дифракционный коэффициент, а $\mathcal{E}$ – неравномерная по углам погрешность. Для дифракции на негладких препятствиях (см., например, [3, 8, 15, 20, 21]) характерно обращение $A$ и $\mathcal{E}$ в бесконечность на предельном луче, где ${{{{\varphi }}}_{1}} = {{{{\varphi }}}_{0}}$. В наших рассмотрениях ${{{{\varphi }}}_{0}} > 0$.

В области над границей ${{u}^{{{\text{ух}}}}}$ удовлетворяет однородному уравнению Гельмгольца. Формула Грина (см., например, [15]) позволяет выразить поле ${{u}^{{{\text{ух}}}}}$ в точке ${{M}_{1}}$ через значения собственно его и его нормальной производной на границе:

(15)
$\begin{gathered} {{u}^{{{\text{ух}}}}}\left( {{{x}_{1}},{{y}_{1}}} \right) = \int\limits_C {ds} \left( {{{u}^{{{\text{ух}}}}}\left( {X,Y} \right)\frac{{\partial G}}{{\partial n}}\left( {X,Y;{{x}_{1}},{{y}_{1}}} \right)} \right. - \\ \left. { - \,\,G\left( {X,Y;{{x}_{1}},{{y}_{1}}} \right)\frac{{\partial {{u}^{{{\text{ух}}}}}}}{{\partial n}}\left( {X,Y} \right)} \right). \\ \end{gathered} $

Здесь $X = X\left( s \right)$ и $Y = Y\left( s \right)$ – координаты переменной точки $N\left( s \right)$ на контуре $C$, ${\partial \mathord{\left/ {\vphantom {\partial {\partial n}}} \right. \kern-0em} {\partial n}}$ – производная по внутренней нормали к границе области. Метод Кирхгофа основан на подстановке в (15) геометрооптических аппроксимаций ${{u}^{{{\text{ух}}}}}$ и ${{\partial {{u}^{{{\text{ух}}}}}} \mathord{\left/ {\vphantom {{\partial {{u}^{{{\text{ух}}}}}} {\partial n}}} \right. \kern-0em} {\partial n}}$ (см., например, [15]).

Нас интересует уходящее поле ${{u}^{{{\text{ух}}}}}$, во-первых, в области, где $\kappa {{r}_{1}} \sim 1$, и, во-вторых, в области, где $\kappa {{r}_{1}} \ll 1$.

2. ПРЕДВАРИТЕЛЬНЫЙ АНАЛИЗ ИНТЕГРАЛА КИРХГОФА

2.1. Поле и его нормальная производная на границе

Согласно традиционному кирхгофовскому подходу [15], значения уходящего поля и его нормальной производной на границе принимаются равными соответственно:

(16)
$\begin{gathered} {{u}^{{{\text{ух}}}}}\left( s \right) = R\left( s \right){{u}^{{{\text{пад}}}}}\left( s \right), \\ \frac{{\partial {{u}^{{{\text{ух}}}}}}}{{\partial n}}\left( s \right) = - R\left( s \right)\frac{{\partial {{u}^{{{\text{пад}}}}}}}{{\partial n}}\left( s \right), \\ \end{gathered} $
где ${{u}^{{{\text{ух}}}}}\left( s \right):\, = {{u}^{{{\text{ух}}}}}\left( {X\left( s \right),Y\left( s \right)} \right)$, а $R\left( s \right)$ – коэффициент отражения плоской волны от соответствующей плоской границы. Для импедансного граничного условия (9) он равен [22]
(17)
$R\left( s \right) = \frac{{\cos {{\alpha }}\left( s \right) - g}}{{\cos {{\alpha }}\left( s \right) + g}},$
где ${{\alpha }}\left( s \right)$ – значение угла падения в точке контура $N\left( s \right)$. В предельных случаях Дирихле ($g = \infty $) и Неймана ($g = 0$) $R = - 1$ и $R = 1$ соответственно. В отличие от работ [6, 21] мы предполагаем, что при $s = 0$ коэффициент отражения $R\left( s \right)$ не обращается в нуль или бесконечность.

2.2. Виртуальные лучи

Обозначим расстояние от произвольной точки контура $N\left( s \right) = \left( {X\left( s \right),Y\left( s \right)} \right)$ до точки источника ${{M}_{0}} = \left( {{{x}_{0}},{{y}_{0}}} \right)$ через ${{l}_{0}}\left( s \right)$, а до точки наблюдения ${{M}_{1}} = \left( {{{x}_{1}},{{y}_{1}}} \right)$ через ${{l}_{1}}\left( s \right)$ (рис. 2):

(18)
$\begin{gathered} {{l}_{{0,1}}}\left( s \right):\, = \left| {N{{M}_{{0,1}}}} \right| = \\ = \sqrt {{{{\left( {X\left( s \right) - {{x}_{{0,1}}}} \right)}}^{2}} + {{{\left( {Y\left( s \right) - {{y}_{{0,1}}}} \right)}}^{2}}} . \\ \end{gathered} $
Рис. 2.

Виртуальные лучи.

Отметим, что ${{r}_{{0,1}}} = {{l}_{{0,1}}}\left( 0 \right)$. Пользуясь асимптотикой функции Ганкеля [23]

(19)
$\begin{gathered} H_{0}^{{\left( 1 \right)}}\left( L \right) = \sqrt {{2 \mathord{\left/ {\vphantom {2 {{{\pi }}L}}} \right. \kern-0em} {{{\pi }}L}}} \exp \left( {iL - {{i{{\pi }}} \mathord{\left/ {\vphantom {{i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)\left( {1 + O({{L}^{{ - 1}}})} \right), \\ L \gg 1, \\ \end{gathered} $

получим при $k{{l}_{{0,1}}}\left( s \right) \gg 1$

(20)
$\begin{gathered} G\left( {X,Y;{{x}_{{0,1}}},{{y}_{{0,1}}}} \right) = \\ = \frac{{\exp \left( {ik{{l}_{{0,1}}}\left( s \right) + {{i{{\pi }}} \mathord{\left/ {\vphantom {{i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)}}{{\sqrt {8{{\pi }}k{{l}_{{0,1}}}\left( s \right)} }}\left( {1 + O\left( {\frac{1}{{k{{l}_{{0,1}}}\left( s \right)}}} \right)} \right), \\ \frac{{\partial G}}{{\partial n}}\left( {X,Y;{{x}_{{0,1}}},{{y}_{{0,1}}}} \right) = \\ = ik\frac{{\partial {{l}_{{0,1}}}}}{{\partial n}}\left( s \right)G\left( {X,Y;{{x}_{{0,1}}},{{y}_{{0,1}}}} \right)\left( {1 + O\left( {\frac{1}{{k{{l}_{{0,1}}}\left( s \right)}}} \right)} \right). \\ \end{gathered} $

Подынтегральная функция в (15) принимает вид

(21)
$\begin{gathered} - \frac{{R\left( s \right)}}{{8{{\pi }}}}\left( {\frac{{\partial {{l}_{0}}}}{{\partial n}}\left( s \right) + \frac{{\partial {{l}_{1}}}}{{\partial n}}\left( s \right)} \right)\frac{{\exp \left( {ik{{\tau }}\left( s \right)} \right)}}{{\sqrt {{{l}_{0}}\left( s \right){{l}_{1}}\left( s \right)} }} \times \\ \times \,\,\left( {1 + O\left( {\frac{1}{{k{{l}_{0}}\left( s \right)}}} \right) + O\left( {\frac{1}{{k{{l}_{1}}\left( s \right)}}} \right)} \right). \\ \end{gathered} $

Здесь ${{\tau }}$ – длина ломаной ${{M}_{0}}N\left( s \right){{M}_{1}}$:

(22)
${{\tau }}\left( s \right) = {{l}_{1}}\left( s \right) + {{l}_{0}}\left( s \right).$

Таким образом, интеграл Кирхгофа ((15) с подстановкой (16) и (20)) имеет вид суммы вкладов виртуальных лучей ${{M}_{0}}N\left( s \right){{M}_{1}}$. Поле в точке наблюдения, лежащей вблизи предельного луча, формируется в результате синфазного сложения виртуальных лучей, у которых точки $N\left( s \right)$ лежат вблизи $O$.

2.3. Разложения при малых $s$

Выражение для длины звена $N\left( s \right){{M}_{{0,1}}}$ виртуального луча зависит от положения точки $N\left( s \right)$ относительно $O$. Обозначим ее $l_{{0,1}}^{ + }$ в случае $s > 0$ и $l_{{0,1}}^{ - }$ в случае $s < 0$. Раскладывая ${{l}_{{0,1}}}\left( s \right)$ (см. (18)) при малых $s$ справа и слева от нуля до квадратичных членов, в результате прямого вычисления получим22

(23)
$\begin{array}{*{20}{c}} \begin{gathered} l_{0}^{ \pm }\left( s \right) = {{r}_{0}} + s\cos {{{{\varphi }}}_{0}} + \\ + \,\,\frac{{{{s}^{2}}}}{2}\left( {{{{{\unicode{230} }}}_{ \pm }}\sin {{{{\varphi }}}_{0}} + \frac{{{{{\sin }}^{2}}{{{{\varphi }}}_{0}}}}{{{{r}_{0}}}}} \right) + O\left( {\frac{{{{s}^{3}}}}{{r_{0}^{2}}}\left( {1 + {{\kappa }^{2}}r_{0}^{2}} \right)} \right). \\ \end{gathered} \end{array}$

Выражения для $l_{1}^{ \pm }$ получаются заменой индекса $0$ на $1$ и знака плюс перед линейным по $s$ членом на минус. Обозначения ${{r}_{{0,1}}}$ и ${{{{\varphi }}}_{{0,1}}}$ введены после (14), см. также рис. 2. Для длины виртуального луча (22) получаем

(24)
$\begin{gathered} {{{{\tau }}}_{ \pm }}\left( s \right) = l_{0}^{ \pm }\left( s \right) + l_{1}^{ \pm }\left( s \right) = \\ = {{r}_{0}} + {{r}_{1}} + s\left( {\cos {{{{\varphi }}}_{0}} - \cos {{{{\varphi }}}_{1}}} \right) + \\ + \frac{{{{s}^{2}}}}{2}\left( {{{{{\unicode{230} }}}_{ \pm }}\left( {\sin {{{{\varphi }}}_{0}} + \sin {{{{\varphi }}}_{1}}} \right) + \frac{{{{{\sin }}^{2}}{{{{\varphi }}}_{0}}}}{{{{r}_{0}}}} + \frac{{{{{\sin }}^{2}}{{{{\varphi }}}_{1}}}}{{{{r}_{1}}}}} \right) + \\ + \,\,O\left( {{{s}^{3}}\left( {{{\kappa }^{2}} + \frac{1}{{r_{0}^{2}}} + \frac{1}{{r_{1}^{2}}}} \right)} \right). \\ \end{gathered} $

Здесь следует взять индекс $ + $ ($ - $), если точка $N\left( s \right)$ лежит справа (слева) от $O$. Из (18) нетрудно получить, что

(25)
${{\left. {{{\partial {{l}_{{0,1}}}\left( s \right)} \mathord{\left/ {\vphantom {{\partial {{l}_{{0,1}}}\left( s \right)} {\partial n}}} \right. \kern-0em} {\partial n}}} \right|}_{{s = 0}}} = - \sin {{{{\varphi }}}_{{0,1}}}.$

Подынтегральная функция (21) при малых $s$ переписывается в виде

(26)
$\begin{gathered} \frac{{R\left( 0 \right)}}{{8{{\pi }}}}\frac{{\sin {{{{\varphi }}}_{0}} + \sin {{{{\varphi }}}_{1}}}}{{\sqrt {{{r}_{0}}{{r}_{1}}} }}\exp \left( {ik{{{{\tau }}}_{ \pm }}\left( s \right)} \right) \times \\ \times \,\,\left[ {1 + O\left( {\frac{1}{{k{{r}_{0}}}} + \frac{1}{{k{{r}_{1}}}}} \right) + O\left( {s\left( {\kappa + \frac{1}{{{{r}_{0}}}} + \frac{1}{{{{r}_{1}}}}} \right)} \right)} \right]. \\ \end{gathered} $

2.4. Замена переменной в интеграле Кирхгофа

Для точки наблюдения ${{M}_{1}}$, расположенной вблизи предельного луча, ${{{{\varphi }}}_{1}} \approx {{{{\varphi }}}_{0}}$ (см. рис. 2), и выражение (24) мгновенно переписывается в виде

(27)
$\begin{gathered} {{{{\tau }}}_{ \pm }}\left( s \right) = {{r}_{0}} + {{r}_{1}} + s\sin {{{{\varphi }}}_{0}}{{\delta \varphi }} + \\ + \,\,\frac{{{{s}^{2}}}}{{2{{\rho }}}}{{\sin }^{2}}{{{{\varphi }}}_{0}}\left( {\frac{{2{{{{\unicode{230} }}}_{ \pm }}{\kern 1pt} {{\rho }}}}{{\sin {{{{\varphi }}}_{0}}}} + 1} \right) + \epsilon \left( s \right), \\ \end{gathered} $

где $\epsilon \left( s \right) = O\left( {s{{{\left( {{{\delta \varphi }}} \right)}}^{2}}} \right)$ + $O\left( {{{s}^{2}}{{\delta \varphi }}\left( {\kappa + r_{0}^{{ - 1}} + r_{1}^{{ - 1}}} \right)} \right)$ $ + \,\,O\left( {{{s}^{3}}\left( {{{\kappa }^{2}} + r_{0}^{{ - 2}} + r_{1}^{{ - 2}}} \right)} \right)$. Здесь введены важные для дальнейшего изложения обозначения

(28)
${{\delta \varphi }} = {{{{\varphi }}}_{1}} - {{{{\varphi }}}_{0}},\,\,\,\,{{\rho }} = {{{{r}_{0}}{{r}_{1}}} \mathord{\left/ {\vphantom {{{{r}_{0}}{{r}_{1}}} {\left( {{{r}_{0}} + {{r}_{1}}} \right)}}} \right. \kern-0em} {\left( {{{r}_{0}} + {{r}_{1}}} \right)}}.$

Величина ${{\rho }}$ часто встречается при описании полей в областях слияния двух цилиндрических волн (см., например, [24, 25]). Очевидно, что если $\kappa {{r}_{1}}$ много меньше или порядка единицы, то $\kappa {{\rho }}$ тоже много меньше или порядка единицы. Везде далее

(29)
$k{{\rho }} \gg 1,$

что равносильно (13)33.

Перейдем в интеграле Кирхгофа к безразмерной переменной

(30)
$p = s\sqrt {{k \mathord{\left/ {\vphantom {k {{\rho }}}} \right. \kern-0em} {{\rho }}}} \sin {{{{\varphi }}}_{0}}\exp \left( {{{ - i{{\pi }}} \mathord{\left/ {\vphantom {{ - i{{\pi }}} 4}} \right. \kern-0em} 4}} \right).$

Поскольку падающая волна приходит в точку $O$ некасательно, ${\text{sin}}{{{{\varphi }}}_{0}} > 0$. Фаза подынтегральной функции $ik{{{{\tau }}}_{ \pm }}$ принимает вид

(31)
$\begin{gathered} ik{{{{\tau }}}_{ \pm }} = ik\left( {{{r}_{0}} + {{r}_{1}}} \right) - \left( {{{\xi }}p + {{{{J}_{ \pm }}{{p}^{2}}} \mathord{\left/ {\vphantom {{{{J}_{ \pm }}{{p}^{2}}} 2}} \right. \kern-0em} 2}} \right) + \\ + \,\,O\left( {\left( {p{{\xi }} + {{p}^{2}}} \right){{\delta \varphi }}} \right) + O\left( {{{{{p}^{3}}} \mathord{\left/ {\vphantom {{{{p}^{3}}} {\sqrt {k{{\rho }}} }}} \right. \kern-0em} {\sqrt {k{{\rho }}} }}} \right). \\ \end{gathered} $

Здесь введены обозначения

(32)
${{\xi }} = \sqrt {k{{\rho }}} \,{{\delta \varphi }}~\,{\text{exp}}\left( {{{ - i{{\pi }}} \mathord{\left/ {\vphantom {{ - i{{\pi }}} 4}} \right. \kern-0em} 4}} \right),$
(33)
${{J}_{ \pm }} = 1 + {{2{{{{\unicode{230} }}}_{ \pm }}{\kern 1pt} {{\rho }}} \mathord{\left/ {\vphantom {{2{{{{\unicode{230} }}}_{ \pm }}{\kern 1pt} {{\rho }}} {\sin {{{{\varphi }}}_{0}}}}} \right. \kern-0em} {\sin {{{{\varphi }}}_{0}}}},$

см. (28). В случае выпуклого контура ${{2{{{{\unicode{230} }}}_{ \pm }}{\kern 1pt} {{\rho }}} \mathord{\left/ {\vphantom {{2{{{{\unicode{230} }}}_{ \pm }}{\kern 1pt} {{\rho }}} {\sin {{{{\varphi }}}_{0}}}}} \right. \kern-0em} {\sin {{{{\varphi }}}_{0}}}} > 0$, и ${{J}_{ \pm }} \sim 1$ как при $\kappa {{\rho }} \ll 1$, так и при $\kappa {{\rho }} \sim 1$. Если же контур имеет вогнутый участок, например ${{{{\unicode{230} }}}_{ - }} < 0$, то ${{J}_{ - }}$ обращается в нуль при ${{\rho }} = {{ - \sin {{{{\varphi }}}_{0}}} \mathord{\left/ {\vphantom {{ - \sin {{{{\varphi }}}_{0}}} {2{{{{\unicode{230} }}}_{ - }}}}} \right. \kern-0em} {2{{{{\unicode{230} }}}_{ - }}}}$, что соответствует каустике. В таком случае мы ограничимся рассмотрением области, где ${{\rho }} + \sin {{{{\varphi }}}_{0}}{\text{/}}2{{{{\unicode{230} }}}_{ \pm }}$ не мало, и тогда ${{J}_{ \pm }} \sim 1$.

2.5. Разбиение интеграла и упрощение подынтегрального выражения

Следуя стандартной схеме (см., например, [613]), представим интеграл Кирхгофа в виде суммы двух интегралов по участкам $p < 0$ и $p > 0$, на которых подынтегральная функция гладкая. Возникшие интегралы исследуем с помощью традиционных приемов (см., например, [26]): упрощаем подынтегральное выражение для малых $p$, удерживая квадратичные члены в фазе и главные члены в амплитуде, переносим малые члены из фазы в амплитуду и распространяем интегрирование на промежутки $\left( { - \infty ,0} \right)$ и $\left( {0, + \infty } \right)$ соответственно.

Таким образом, учитывая (26), (30) и (31), получаем выражение для уходящего поля вблизи предельного луча

(34)
${{u}^{{{\text{ух}}}}} \approx \frac{{R\left( 0 \right)\exp \left( {{{i{{\pi }}} \mathord{\left/ {\vphantom {{i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)}}{{4{{\pi }}}}\frac{{\exp \left( {ik\left( {{{r}_{0}} + {{r}_{1}}} \right)} \right)}}{{\sqrt {k\left( {{{r}_{0}} + {{r}_{1}}} \right)} }}\left( {{{I}_{ - }} + {{I}_{ + }}} \right),$

где

(35)
${{I}_{ \pm }} = \mathop \smallint \limits_{ - \infty }^0 dp\exp \left( { \pm {{\xi }}p - {{J}_{ \pm }}\frac{{{{p}^{2}}}}{2}} \right)\left( {1 + \epsilon \left( p \right)} \right),$

причем

$\begin{gathered} \epsilon \left( p \right) = O\left( {{{\delta \varphi }}} \right) + O\left( {{1 \mathord{\left/ {\vphantom {1 {k{{\rho }}}}} \right. \kern-0em} {k{{\rho }}}}} \right) + O\left( {p\sqrt {k{{\rho }}} {{{\left( {{{\delta \varphi }}} \right)}}^{2}}} \right) + \\ + \,\,O\left( {{{p}^{2}}{{\delta \varphi }}} \right) + O\left( {{{{{p}^{3}}} \mathord{\left/ {\vphantom {{{{p}^{3}}} {\sqrt {k{{\rho }}} }}} \right. \kern-0em} {\sqrt {k{{\rho }}} }}} \right). \\ \end{gathered} $

3. ДЕТАЛЬНОЕ ИССЛЕДОВАНИЕ ИНТЕГРАЛА КИРХГОФА

3.1. Асимптотика уходящего поля вблизи предельного луча при $\kappa {{\rho }} \sim 1$

Рассмотрим сначала поле в области, где $\kappa {{\rho }} \sim 1$. Перейдем в интегралах ${{I}_{ \pm }}$ к переменным $p\sqrt {{{{{J}_{ \pm }}} \mathord{\left/ {\vphantom {{{{J}_{ \pm }}} 2}} \right. \kern-0em} 2}} \mp {{{\xi }} \mathord{\left/ {\vphantom {{{\xi }} {\sqrt {2{{J}_{ \pm }}} }}} \right. \kern-0em} {\sqrt {2{{J}_{ \pm }}} }}$, после чего интегралы легко переписываются в виде

(36)
$\begin{array}{*{20}{c}} {{{I}_{ \pm }} = \mathop \smallint \limits_{ - \infty }^0 dp\exp \left( { \pm {{\xi }}p - {{J}_{ \pm }}\frac{{{{p}^{2}}}}{2}} \right)\left( {1 + \epsilon \left( p \right)} \right) = } \\ { = \sqrt {\frac{{2{{\pi }}}}{{{{J}_{ \pm }}}}} \exp \left( {\frac{{{{{{\xi }}}^{2}}}}{{2{{J}_{ \pm }}}}} \right){{\Phi }}\left( { \mp \frac{{{{\xi exp}}\left( {{{i{{\pi }}} \mathord{\left/ {\vphantom {{i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)}}{{\sqrt {2{{J}_{ \pm }}} }}} \right)\left( {1 + {{\varepsilon }}} \right),} \end{array}$

где ${{\Phi }}$ – интеграл Френеля [15],

(37)
${{\Phi }}\left( t \right) = \frac{{\exp \left( {{{ - i{{\pi }}} \mathord{\left/ {\vphantom {{ - i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)}}{{\sqrt {{\pi }} }}\mathop \smallint \limits_{ - \infty }^t dq\exp \left( {i{{q}^{2}}} \right),$

а ${{\varepsilon }} = O\left( {\sqrt {k{{\rho }}} {{{\left( {{{\delta \varphi }}} \right)}}^{2}}} \right) + O\left( {{1 \mathord{\left/ {\vphantom {1 {\sqrt {k{{\rho }}} }}} \right. \kern-0em} {\sqrt {k{{\rho }}} }}} \right)$. Оценка погрешности получена тем же способом, что и в [8].

Введем обозначение для выражения, входящего в аргументы интегралов Френеля в (36):

(38)
${{\zeta }} = {{\xi }}\exp {{\left( {{{i{{\pi }}} \mathord{\left/ {\vphantom {{i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)} \mathord{\left/ {\vphantom {{\left( {{{i{{\pi }}} \mathord{\left/ {\vphantom {{i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)} {\sqrt 2 }}} \right. \kern-0em} {\sqrt 2 }} = \sqrt {{{k{{\rho }}} \mathord{\left/ {\vphantom {{k{{\rho }}} 2}} \right. \kern-0em} 2}} \,{{\delta \varphi }},$

см. (32). Величина ${{\zeta }}$ характерна для аргументов спецфункций, описывающих поля в областях слияния двух цилиндрических волн. Когда источник удаляется на бесконечность вдоль фиксированного направления ($\kappa {{r}_{0}} \gg 1$, ${{{{\varphi }}}_{0}} = {\text{const}}$), ${{\zeta }}$ переходит в величину (2), типичную для областей слияния цилиндрической и плоской волн.

Формула (34) для уходящего поля принимает вид

(39)
$\begin{gathered} {{u}^{{{\text{ух}}}}} = \frac{{R\left( 0 \right)}}{{2\sqrt {2{{\pi }}} }}\frac{{\exp \left( {ik\left( {{{r}_{1}} + {{r}_{0}}} \right) + \frac{{i{{\pi }}}}{4}} \right)}}{{\sqrt {k\left( {{{r}_{1}} + {{r}_{0}}} \right)} }} \times \\ \times \,\,\left( {{{A}_{ - }}{{\Phi }}\left( {\frac{{{\zeta }}}{{\sqrt {{{J}_{ - }}} }}} \right) + {{A}_{ + }}{{\Phi }}\left( { - \frac{{{\zeta }}}{{\sqrt {{{J}_{ + }}} }}} \right)} \right)\left( {1 + {{\varepsilon }}} \right), \\ \end{gathered} $

где ${{\varepsilon }}$ определено после (37), а

(40)
${{A}_{ \pm }} = \exp {{\left( {{{ - i{{{{\zeta }}}^{2}}} \mathord{\left/ {\vphantom {{ - i{{{{\zeta }}}^{2}}} {{{J}_{ \pm }}}}} \right. \kern-0em} {{{J}_{ \pm }}}}} \right)} \mathord{\left/ {\vphantom {{\left( {{{ - i{{{{\zeta }}}^{2}}} \mathord{\left/ {\vphantom {{ - i{{{{\zeta }}}^{2}}} {{{J}_{ \pm }}}}} \right. \kern-0em} {{{J}_{ \pm }}}}} \right)} {\sqrt {{{J}_{ \pm }}} }}} \right. \kern-0em} {\sqrt {{{J}_{ \pm }}} }}.$

Похожая формула была получена в работе [6], в которой авторы не следили за остаточными членами. В предельных случаях Дирихле и Неймана формула согласуется с выражением, полученным в [13] для плоской падающей волны.

В задачах дифракции цилиндрической волны на клине [24] и плоской волны на ленте [25] переменная ${{\zeta }}$ выступала как аргумент специальных функций, описывавших поля в переходных зонах. В [6], где рассматривалась дифракция цилиндрической волны на криволинейной границе с разрывом кривизны, аргументами таких функций были, как и в (39), отношения ${{{\zeta }} \mathord{\left/ {\vphantom {{{\zeta }} {\sqrt {{{J}_{ \pm }}} }}} \right. \kern-0em} {\sqrt {{{J}_{ \pm }}} }}$. В случае клина и ленты кривизна гладких участков границы равняется нулю, и ${{J}_{ \pm }} = 1$. Отметим, что, когда ${{{{\unicode{230} }}}_{ \pm }} = 0$, формула (39) описывает поле, отраженное от соответствующей плоской границы.

3.2. Асимптотика уходящего поля при $\left| {{\zeta }} \right| \gg 1$

Асимптотика интеграла Френеля имеет вид [15]

(41)
$\begin{gathered} {{\Phi }}\left( t \right) = {{\theta }}\left( t \right) - \frac{{\exp \left( {i{{t}^{2}} - {{i{{\pi }}} \mathord{\left/ {\vphantom {{i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)}}{{2\sqrt {{\pi }} }}\left( {\frac{i}{t} + \frac{1}{{2{{t}^{3}}}} + O\left( {\frac{1}{{{{t}^{5}}}}} \right)} \right), \\ \left| t \right| \gg 1. \\ \end{gathered} $

Отметим, что ${{\theta }}\left( t \right)$ равно нулю при отрицательных $t$ и равно единице для положительных $t$. При $\left| {{\zeta }} \right| \gg 1$

(42)
$\begin{gathered} {{A}_{ - }}{{\Phi }}\left( {\frac{{{\zeta }}}{{\sqrt {{{J}_{ - }}} }}} \right) = {{A}_{ - }}{{\theta }}\left( {{\zeta }} \right) - \frac{{\exp \left( {{{i{{\pi }}} \mathord{\left/ {\vphantom {{i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)}}{{2\sqrt {{\pi }} {{\zeta }}}} - \\ - \,\,\frac{{{{J}_{ - }}\exp \left( {{{ - i{{\pi }}} \mathord{\left/ {\vphantom {{ - i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)}}{{4\sqrt {{\pi }} {{{{\zeta }}}^{3}}}} + O\left( {\frac{1}{{{{{{\zeta }}}^{5}}}}} \right), \\ {{A}_{ + }}{{\Phi }}\left( { - \frac{{{\zeta }}}{{\sqrt {{{J}_{ + }}} }}} \right) = {{A}_{ + }}{{\theta }}\left( { - {{\zeta }}} \right) + \frac{{\exp \left( {{{i{{\pi }}} \mathord{\left/ {\vphantom {{i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)}}{{2\sqrt {{\pi }} {{\zeta }}}} + \\ + \,\,\frac{{{{J}_{ + }}\exp \left( {{{ - i{{\pi }}} \mathord{\left/ {\vphantom {{ - i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)}}{{4\sqrt {{\pi }} {{{{\zeta }}}^{3}}}} + O\left( {\frac{1}{{{{{{\zeta }}}^{5}}}}} \right). \\ \end{gathered} $

Из формулы (39), в результате сокращения вторых слагаемых в правых частях (42) получим

(43)
$\begin{gathered} {{u}^{{{\text{ух}}}}} = \frac{{R\left( 0 \right)}}{{2\sqrt {2{{\pi }}} }}\frac{{\exp \left( {ik\left( {{{r}_{1}} + {{r}_{0}}} \right) + {{i{{\pi }}} \mathord{\left/ {\vphantom {{i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)}}{{\sqrt {k\left( {{{r}_{1}} + {{r}_{0}}} \right)} }} \times \\ \times \,\,\left( {{{A}_{ - }}{{\theta }}\left( {{\zeta }} \right) + {{A}_{ + }}{{\theta }}\left( { - {{\zeta }}} \right)\frac{{{{J}_{ + }} - {{J}_{ - }}}}{{4\sqrt {{\pi }} {{{{\zeta }}}^{3}}}}\exp \left( { - i\frac{{{\pi }}}{4}} \right) + O\left( {\frac{1}{{{{{{\zeta }}}^{5}}}}} \right)} \right) \times \\ \times \,\,\left( {1 + {{\varepsilon }}} \right),\,\,\,\,\left| {{\zeta }} \right| \gg 1, \\ \end{gathered} $

где ${{A}_{ \pm }}$ определены в (40), а погрешность ${{\varepsilon }}$ – после (37). Интересно, что величины ${{J}_{ \pm }}$ (см. (33)) связаны с геометрическими расхождениями ${{\mathcal{J}}_{ \pm }}$ цилиндрических волн, отраженных от дуг окружностей с радиусами ${{\unicode{230} }}_{ \pm }^{{ - 1}}$ [19]:

(44)
${{\mathcal{J}}_{ \pm }} = {{r}_{0}} + {{r}_{1}} + {{2{{{{\unicode{230} }}}_{ \pm }}{{r}_{0}}{{r}_{1}}} \mathord{\left/ {\vphantom {{2{{{{\unicode{230} }}}_{ \pm }}{{r}_{0}}{{r}_{1}}} {\sin {{{{\varphi }}}_{0}}}}} \right. \kern-0em} {\sin {{{{\varphi }}}_{0}}}} = \left( {{{r}_{0}} + {{r}_{1}}} \right){{J}_{ \pm }}.$

С использованием выражений (38) и (44) формула (43) переписывается в геометрических терминах:

(45)
$\begin{gathered} {{u}^{{{\text{ух}}}}} = \frac{{R\left( 0 \right)}}{{2\sqrt {2{{\pi }}} }}\exp \left( {ik\left( {{{r}_{1}} + {{r}_{0}}} \right) + {{i{{\pi }}} \mathord{\left/ {\vphantom {{i{{\pi }}} 4}} \right. \kern-0em} 4}} \right) \times \\ \times \,\,\left[ {{{\mathcal{A}}_{ - }}{{\theta }}\left( {{{\delta \varphi }}} \right) + {{\mathcal{A}}_{ + }}{{\theta }}\left( { - {{\delta \varphi }}} \right)} \right]\left( {1 + {{\varepsilon }}} \right) + \\ + \,\,\frac{{\left[ {{\unicode{230} }} \right]R\left( 0 \right)}}{{2{{\pi }}\sin {{{{\varphi }}}_{0}}{{{\left( {{{\delta \varphi }}} \right)}}^{3}}}}\frac{{{\text{exp}}\left( {ik\left( {{{r}_{1}} + {{r}_{0}}} \right)} \right)}}{{{{k}^{2}}\sqrt {{{r}_{0}}{{r}_{1}}} }} \times \\ \times \,\,\left( {1 + {{\hat {\varepsilon }}}} \right),\,\,\,\,k{{\rho }}{{\left( {{{\delta \varphi }}} \right)}^{2}} \gg 1. \\ \end{gathered} $

Здесь

(46)
$\begin{gathered} {{\mathcal{A}}_{ \pm }} = \exp {{\left( { - ik{{r}_{0}}{{r}_{1}}{{{{{\left( {{{\delta \varphi }}} \right)}}^{2}}} \mathord{\left/ {\vphantom {{{{{\left( {{{\delta \varphi }}} \right)}}^{2}}} {2{{\mathcal{J}}_{ \pm }}}}} \right. \kern-0em} {2{{\mathcal{J}}_{ \pm }}}}} \right)} \mathord{\left/ {\vphantom {{\left( { - ik{{r}_{0}}{{r}_{1}}{{{{{\left( {{{\delta \varphi }}} \right)}}^{2}}} \mathord{\left/ {\vphantom {{{{{\left( {{{\delta \varphi }}} \right)}}^{2}}} {2{{\mathcal{J}}_{ \pm }}}}} \right. \kern-0em} {2{{\mathcal{J}}_{ \pm }}}}} \right)} {\sqrt {k{{\mathcal{J}}_{ \pm }}} }}} \right. \kern-0em} {\sqrt {k{{\mathcal{J}}_{ \pm }}} }} = \\ = {{{{A}_{ \pm }}} \mathord{\left/ {\vphantom {{{{A}_{ \pm }}} {\sqrt {k\left( {{{r}_{0}} + {{r}_{1}}} \right)} }}} \right. \kern-0em} {\sqrt {k\left( {{{r}_{0}} + {{r}_{1}}} \right)} }}, \\ \end{gathered} $

см. (40), а погрешность имеет вид

${{\hat {\varepsilon }}} = O\left( {\sqrt {k{{\rho }}} {{{\left( {{{\delta \varphi }}} \right)}}^{2}}} \right) + O\left( {{1 \mathord{\left/ {\vphantom {1 {\left( {k{{\rho }}{{{\left( {{{\delta \varphi }}} \right)}}^{2}}} \right)}}} \right. \kern-0em} {\left( {k{{\rho }}{{{\left( {{{\delta \varphi }}} \right)}}^{2}}} \right)}}} \right).$

Первое слагаемое в правой части отлично от нуля для положительных ${{\delta \varphi }}$ и соответствует волне, отраженной от контура слева от точки $O$. Второе слагаемое отлично от нуля при отрицательных ${{\delta \varphi }}$ и отвечает волне, отраженной от контура справа от точки $O$. Третье слагаемое описывает дифрагированную волну, ее диаграмма направленности согласуется с формулами, полученными методом пограничного слоя в [3, 8], где рассматривалась плоская падающая волна.

Остаточные члены в (45) малы при выполнении неравенств (29), $k{{\rho }}{{\left( {{{\delta \varphi }}} \right)}^{4}} \ll 1$ и

(47)
$k{{\rho }}{{\left( {{{\delta \varphi }}} \right)}^{2}} \gg 1.$

Последнее условие означает, что точка наблюдения не слишком близка к предельному лучу.

В Приложении показано, что выражения для отраженных волн в (45) согласуются с лучевыми формулами [19] в области, где выполнено неравенство

(48)
$k{{\rho }}{{\left| {{{\delta \varphi }}} \right|}^{3}} \ll 1,$

характеризующее ширину переходной зоны (отсюда вытекает малость $k{{\rho }}{{\left( {{{\delta \varphi }}} \right)}^{4}}$).

3.3. Волновое поле в области $\kappa {{\rho }} \ll 1$

Рассмотрим теперь область, где $\kappa {{\rho }} \ll 1$ (но $k{{\rho }} \gg 1$, см. (29)). Покажем, что выражение (39), полученное выше методом Кирхгофа, согласуется с выглядящей качественно иначе формулой (1), полученной в [8] методом пограничного слоя. Учитывая выражения (33), перепишем фазы экспонент в (35) в виде

(49)
$ - {{\xi }}p - {{J}_{ \pm }}\frac{{{{p}^{2}}}}{2} = - {{\xi }}p - \frac{{{{p}^{2}}}}{2} - \frac{{{{{{\unicode{230} }}}_{ \pm }}{{\rho }}}}{{\sin {{{{\varphi }}}_{0}}}}{{p}^{2}}.$

Поскольку $\kappa {{\rho }} \ll 1$, последнее слагаемое мало. Перенесем его в амплитуду и получим

(50)
$\begin{gathered} {{I}_{ \pm }} = \mathop \smallint \limits_0^{ + \infty } dp\exp \left( { \mp {{\xi }}p - \frac{{{{p}^{2}}}}{2}} \right) \times \\ \times \,\,\left( {1 - \frac{{{{{{\unicode{230} }}}_{ \pm }}{{\rho }}}}{{\sin {{{{\varphi }}}_{0}}}}{{p}^{2}} + O\left( {{{p}^{4}}{{\kappa }^{2}}{{{{\rho }}}^{2}}} \right)} \right)\left( {1 + \epsilon \left( p \right)} \right) = \\ = \mathop \smallint \limits_0^{ + \infty } dp\exp \left( { \mp {{\xi }}p - \frac{{{{p}^{2}}}}{2}} \right)\left( {1 + \epsilon \left( p \right)} \right) - \\ - \,\,\frac{{{{{{\unicode{230} }}}_{ \pm }}{{\rho }}}}{{\sin {{{{\varphi }}}_{0}}}}\mathop \smallint \limits_0^{ + \infty } dp~{{p}^{2}}\exp \left( { \mp {{\xi }}p - \frac{{{{p}^{2}}}}{2}} \right) \times \\ \times \,\,\left( {1 + \epsilon \left( p \right) + O\left( {{{p}^{2}}\kappa {{\rho }}} \right)} \right). \\ \end{gathered} $

Сумма интегралов ${{I}_{ \pm }}$ принимает вид (поправочные члены не приводим)

(51)
$\begin{gathered} {{I}_{ + }} + {{I}_{ - }} \approx \mathop \smallint \limits_{ - \infty }^{ + \infty } dp\exp \left( { - {{\xi }}p - \frac{{{{p}^{2}}}}{2}} \right) - \frac{{{{{{\unicode{230} }}}_{ - }}{{\rho }}}}{{\sin {{{{\varphi }}}_{0}}}} \times \\ \times \,\,\mathop \smallint \limits_{ - \infty }^{ + \infty } dp~{{p}^{2}}\exp \left( { - {{\xi }}p - \frac{{{{p}^{2}}}}{2}} \right) - \\ - \,\,\frac{{\left[ {{\unicode{230} }} \right]{{\rho }}}}{{\sin {{{{\varphi }}}_{0}}}}\mathop \smallint \limits_0^{ + \infty } dp~{{p}^{2}}\exp \left( { - {{\xi }}p - \frac{{{{p}^{2}}}}{2}} \right) = \\ = \sqrt {2{{\pi }}} \exp \left( {\frac{{{{{{\xi }}}^{2}}}}{2}} \right)\left( {1 - \frac{{{{{{\unicode{230} }}}_{ - }}{{\rho }}}}{{\sin {{{{\varphi }}}_{0}}}}\left( {{{{{\xi }}}^{2}} + 1} \right)} \right) - \\ - \,\,\frac{{2\left[ {{\unicode{230} }} \right]{{\rho }}}}{{\sin {{{{\varphi }}}_{0}}}}\exp \left( {\frac{{{{{{\xi }}}^{2}}}}{4}} \right){{D}_{{ - 3}}}\left( {{\xi }} \right). \\ \end{gathered} $

Здесь мы явно выделили линейный по амплитуде скачка кривизны $\left[ {{\unicode{230} }} \right]$ член и воспользовались интегральным представлением для функции параболического цилиндра [23]:

(52)
$\begin{gathered} {{D}_{{{\nu }}}}\left( t \right) = \frac{{\exp \left( {{{ - {{t}^{2}}} \mathord{\left/ {\vphantom {{ - {{t}^{2}}} 4}} \right. \kern-0em} 4}} \right)}}{{\Gamma \left( { - {{\nu }}} \right)}}\mathop \smallint \limits_0^{ + \infty } dp~{{p}^{{ - {{\nu }} - 1}}}\exp \left( { - tp - \frac{{{{p}^{2}}}}{2}} \right), \\ {{\nu }} < 0, \\ \end{gathered} $

а первые два интеграла вычислили, пользуясь тем, что

$\mathop \smallint \limits_{ - \infty }^\infty dq\exp \left( { - \beta {{q}^{2}}} \right) = \sqrt {{{{\pi }} \mathord{\left/ {\vphantom {{{\pi }} \beta }} \right. \kern-0em} \beta }} $

(см. [23]). Подставляя (51) в выражение для полного поля (34), получим

(53)
$\begin{gathered} {{u}^{{{\text{ух}}}}} = \frac{{R\left( 0 \right)}}{{2\sqrt {2{{\pi }}} }}\frac{{\exp \left( {ik\left( {{{r}_{1}} + {{r}_{0}}} \right) + {{i{{\pi }}} \mathord{\left/ {\vphantom {{i{{\pi }}} 4}} \right. \kern-0em} 4}} \right)}}{{\sqrt {k\left( {{{r}_{1}} + {{r}_{0}}} \right)} }} \times \\ \times \,\,\left( {{{U}_{0}} + {{U}_{1}} + {{V}_{1}}} \right). \\ \end{gathered} $

Здесь

(54)
${{U}_{0}} = \exp \left( { - i{{{{\zeta }}}^{2}}} \right)\left( {1 + {{{{\varepsilon }}}_{1}}} \right),$
(55)
${{U}_{1}} = \frac{{{{{{\unicode{230} }}}_{ - }}{{\rho }}}}{{\sin {{{{\varphi }}}_{0}}}}\left( {2i{{{{\zeta }}}^{2}} - 1} \right)\exp \left( { - i{{{{\zeta }}}^{2}}} \right)\left( {1 + {{{{\varepsilon }}}_{1}} + {{{{\varepsilon }}}_{2}}} \right),$
(56)
$\begin{gathered} {{V}_{1}} = \sqrt {\frac{2}{{{\pi }}}} \frac{{\left[ {{\unicode{230} }} \right]{{\rho }}}}{{\sin {{{{\varphi }}}_{0}}}}\exp \left( { - i\frac{{{{{{\zeta }}}^{2}}}}{2}} \right) \times \\ \times \,\,{{D}_{{ - 3}}}\left( {\sqrt 2 {{\zeta }}\exp \left( { - i\frac{{{\pi }}}{4}} \right)} \right)\left( {1 + {{{{\varepsilon }}}_{1}} + {{{{\varepsilon }}}_{2}}} \right), \\ \end{gathered} $

${{\zeta }} = \sqrt {{{k{{\rho }}} \mathord{\left/ {\vphantom {{k{{\rho }}} 2}} \right. \kern-0em} 2}{\kern 1pt} } \,{{\delta \varphi }}$, погрешности имеют вид

${{{{\varepsilon }}}_{1}} = O\left( {{1 \mathord{\left/ {\vphantom {1 {k{{\rho }}}}} \right. \kern-0em} {k{{\rho }}}}} \right) + O\left( {k{{\rho }}{{{\left( {{{\delta \varphi }}} \right)}}^{3}}} \right),$
${{{{\varepsilon }}}_{2}} = O\left( {\kappa {{\rho }}} \right) + O\left( {k\kappa {{{{\rho }}}^{2}}{{{\left( {{{\delta \varphi }}} \right)}}^{2}}} \right).$

Поправочные члены малы при выполнении условий (29), (48) и

(57)
$\kappa {{\rho }} \ll 1,\,\,\,\,k\kappa {{{{\rho }}}^{2}}{{\left( {{{\delta \varphi }}} \right)}^{2}} \ll 1.$

В Приложении показано, что в области, где справедливы неравенства (29), (48) и (57), первые два слагаемых в (53) соответствуют геометрически отраженной волне. Главный (относительно малого параметра $\kappa {{\rho }}$) член, отвечающий ${{U}_{0}}$, описывает отраженную волну в главном приближении и представляет собой волну от мнимого (отраженного относительно оси $Ox$) источника. Члены, отвечающие ${{U}_{1}}$ и ${{V}_{1}}$, учитывают влияние кривизны границы.

Выражение для линейного по $\left[ {{\unicode{230} }} \right]$ члена для граничных условий Дирихле ($R\left( 0 \right) = - 1$) при удалении источника на бесконечность ($\kappa {{r}_{0}} \gg 1$ с выполнением условий (57)) согласуется с формулой (1), полученной в рамках погранслойной техники для случая падения плоской волны [8].

ЗАКЛЮЧЕНИЕ

В рамках метода Кирхгофа найдены выражения для уходящего поля в переходной зоне на умеренных и малых расстояниях от границы ($\kappa {{\rho }}$ порядка единицы или мало). Детально изучены области их применимости. Установлено, что ширина переходной зоны характеризуется неравенством $k{{\rho }}{{\left( {{{\delta \varphi }}} \right)}^{3}} \ll 1$, см. (48). Показано, что в случае, когда точка наблюдения находится на малых расстояниях от границы ($\kappa {{r}_{1}} \ll 1$), найденные асимптотики согласуются с полученными в [8] методом пограничного слоя. Приемы, использованные в работе, могут быть применены в задачах дифракции на препятствиях с кривизной, имеющей более слабые особенности [20, 21].

Список литературы

  1. Weston V.H. // IRE Trans. 1962. V. AP-10. № 6. P. 775.

  2. Weston V.H. // IEEE Trans. 1965. V. AP-13. № 4. P. 611.

  3. Kaminetzky L., Keller J.B. // SIAM J. Appl. Math. 1972. V. 22. № 1. P. 109.

  4. Senior T.B.A. // IEEE Trans. 1972. V. AP-20. № 3. P. 323.

  5. Bouche D. // Ann. Télécommunic. 1992. V. 47. № 9–10. P. 391.

  6. Rogoff Z.M., Kiselev A.P. // Wave Motion. 2001. V. 33. № 2. P. 183.

  7. Bouche D.P., Aguilera P., Loillier S. // Proc. Int. Conf. on Electromagnetics in Adv. App. (ICEAA), Verona, 11–15 Sep. 2017. N.Y.: IEEE, 2017. P. 531.

  8. Zlobina E.A., Kiselev A.P. // Wave Motion. 2020. V. 96. P. 102671.

  9. Попов А.В. // Тр. V Всес. симпоз. по дифракции и распространению волн. Ленинград, 13–17 июня 1970. Л.: Наука, 1971. С. 171.

  10. Michaeli A. // IEEE Trans. 1990. V. AP 38. № 6. P. 929.

  11. Кирпичникова Н.Я., Филиппов В.Б., Кирпичникова А.С. // Зап. научн. сем. ПОМИ. 1999. Т. 267. С. 75.

  12. Kirpichnikova A.S., Philippov V.B. // IEEE Trans. 2001. V. AP.-49. № 12. P. 1618.

  13. James G.L. Geometrical Theory of Diffraction for Electromagnetic Waves. L: IEEE Electromagnetic. Ser. 1., 1986.

  14. Keller J.B. // J. Opt. Soc. Amer. 1962. V. 52. № 5. P. 116.

  15. Боровиков В.А., Кинбер Б.Е. Геометрическая теория дифракции. М.: Связь, 1978.

  16. Крюковский А.С., Лукин Д.С., Палкин Е.А., Растягаев Д.В. // РЭ. 2006. Т. 51. № 10. С. 1155.

  17. Крюковский A.C. Равномерная асимптотическая теория краевых и угловых волновых катастроф. М.: РосНОУ, 2013.

  18. Бабич В.М., Кирпичникова Н.Я. Метод пограничного слоя в задачах дифракции. Л.: Изд-во ЛГУ, 1974.

  19. Бабич В.М., Булдырев В.С. Асимптотические методы в задачах дифракции коротких волн. М.: Наука, 1972.

  20. Злобина Е.А., Киселев А.П. // Алгебра и анализ. 2021. Т. 33. № 2. С. 35.

  21. Злобина Е.А. // Зап. научн. сем. ПОМИ. 2020. Т. 493. С. 169.

  22. Бреховских Л.М., Годин О.А. Акустика слоистых сред. М.: Наука, 1989.

  23. Абрамовиц М., Стиган И. Справочник по специальным функциям. М.: Наука, 1979.

  24. Уфимцев П.Я. Теория дифракционных краевых волн в электродинамике. М.: Бином, 2012.

  25. Попов А.В. // Акуст. журн. 1973. Т. 19. № 4. С. 594.

  26. Эрдейи А. Асимптотические разложения. М.: Физматлит, 1962.

  27. Злобина Е.А, Киселев А.П. // Зап. научн. сем. ПОМИ. 2018. Т. 471. С. 113.

Дополнительные материалы отсутствуют.