Акустический журнал, 2021, T. 67, № 4, стр. 351-360
Дифракция плоской волны на сильно вытянутом трехосном эллипсоиде
И. В. Андронов a, *, Н. И. Андронов a
a Санкт-Петербургский государственный университет, НИИФ
198504 Петродворец, Ульяновская 1/1, Россия
* E-mail: iva-@list.ru
Поступила в редакцию 12.03.2021
После доработки 14.04.2021
Принята к публикации 20.04.2021
Аннотация
Рассмотрена задача высокочастотной дифракции плоской волны на трехосном сильно вытянутом эллипсоиде. Методом параболического уравнения в эллипсоидальных координатах построен старший член асимптотики поля в пограничном слое у поверхности. Поле выражается в квадратурах через решения конфлюэнтного уравнения Гойна. Рассчитаны значения поля на поверхности идеально жесткого эллипсоида и скорости на поверхности идеально мягкого. Обсуждаются эффекты высокочастотной дифракции.
ВВЕДЕНИЕ
В задаче дифракции на гладком выпуклом теле В.А. Фоком [1] были получены асимптотические разложения для поля в полутени. В этих разложениях зависимость от поперечной координаты представлена лишь через зависимость от нее радиуса кривизны поверхности. При дифракции на цилиндрической поверхности формулы Фока дают весьма точное описание волнового поля уже при $k\rho \approx 3$, где $k$ – волновое число, $\rho $ – радиус цилиндра. Однако, при дифракции на сфере, где также отсутствует зависимость радиуса кривизны от поперечной координаты, асимптотическое приближение начинает работать лишь при $k\rho \approx 15$, а для дифракции на вытянутом сфероиде нижняя граница допустимых частот еще больше увеличивается [2]. Идея учета поправочных членов, вновь использованная в [3] при рассмотрении задачи дифракции на умеренно вытянутом теле вращения, не приводит к улучшению ситуации. Построению более пригодных асимптотических и численных представлений для поля в задачах дифракции на вытянутых телах в последнее время уделяется большое внимание. Перечислим лишь некоторые работы [4–8]. Однако, во всех этих статьях зависимость параметров поверхности от поперечной координаты отсутствует. Здесь мы обобщаем процедуру построения высокочастотной асимптотики в задаче дифракции на сильно вытянутом теле [6] на поверхность, свойства которой зависят от поперечной координаты. Мы рассматриваем задачу дифракции на трехосном сильно вытянутом эллипсоиде.
Как известно, уравнение Гельмгольца допускает разделение переменных в общих эллипсоидальных координатах [9]. Такое решение было построено в [10] в терминах волновых функций Ламэ, которые удовлетворяют дифференциальному уравнению с 5 особыми точками, точнее его конфлюэнтному случаю, когда две особые точки слились и образовали иррегулярную особую точку. Уравнение записывается в виде:
Полученные асимптотические представления позволяют провести верификацию численных программ расчета волновых полей подобно тому, как это было сделано в [11] для случая дифракции на сфероиде.
ПОСТАНОВКА ЗАДАЧИ
Мы рассматриваем задачу высокочастотной дифракции на сильно вытянутом трехосном эллипсоиде. Зададим эллипсоид стандартным уравнением
(1)
${{\left( {\frac{x}{{{{a}_{x}}}}} \right)}^{2}} + {{\left( {\frac{y}{{{{a}_{y}}}}} \right)}^{2}} + {{\left( {\frac{z}{{{{a}_{z}}}}} \right)}^{2}} = 1.$Здесь ${{a}_{x}}$, ${{a}_{y}}$ и ${{a}_{z}}$ – полуоси эллипсоида. Без ограничения общности будем считать, что ${{a}_{x}} < {{a}_{y}}$. Акустическое поле во внешности эллипсоида удовлетворяет уравнению Гельмгольца
Здесь $k = {\omega \mathord{\left/ {\vphantom {\omega c}} \right. \kern-0em} c}$ – волновое число, зависимость от частоты $\omega $ принята в виде ${{e}^{{ - i\omega t}}}$, $c$ – скорость распространения волн, которую мы считаем постоянной.
Пусть поле возбуждается плоской волной, падающей на эллипсоид вдоль оси $Oz$
Будем одновременно рассматривать две задачи: в случае идеально мягкой поверхности зададим условия Дирихле, а в случае идеально жесткой – условия Неймана. На бесконечности для рассеянного поля ${{u}_{{sc}}} = u - {{u}_{{inc}}}$ ставятся условия излучения.
Частоту считаем высокой, так что волновые размеры сфероида велики, т.е. $k{{a}_{x}} \gg 1$, $k{{a}_{y}} \gg 1$ и $k{{a}_{z}} \gg 1$. Кроме того, эллипсоид будем считать сильно вытянутым [17], что записывается в виде соотношений
(4)
$\sqrt {k{{a}_{z}}} \frac{{{{a}_{x}}}}{{{{a}_{z}}}} = O(1),\,\,\,\,\sqrt {k{{a}_{z}}} \frac{{{{a}_{y}}}}{{{{a}_{z}}}} = O(1).$С учетом симметрии задачи, рассмотрения можно проводить лишь в четверти пространства $x > 0$, $y > 0$. Это позволяет ввести эллипсоидальные координаты $(\eta ,\nu ,\mu )$ при помощи формул [12]
(5)
$\begin{gathered} x = p\sqrt {\frac{{(\mu - a)(\nu - a)({{\eta }^{2}} - a)}}{{a(a - 1)}}} , \\ y = p\sqrt {\frac{{(\mu - 1)(\nu - 1)({{\eta }^{2}} - 1)}}{{1 - a}}} ,\,\,\,\,z = p\sqrt {\frac{{\mu \nu }}{a}} \eta {\kern 1pt} {\kern 1pt} . \\ \end{gathered} $Здесь $0 < \eta < 1 < \nu < a < \mu < \infty $, параметр $p$ имеет смысл половины фокусного расстояния, параметр $a = {{(a_{z}^{2} - a_{x}^{2})} \mathord{\left/ {\vphantom {{(a_{z}^{2} - a_{x}^{2})} {{{p}^{2}}}}} \right. \kern-0em} {{{p}^{2}}}}$ характеризует степень вытянутости по отношению к меньшей из полуосей. Поверхность эллипсоида в этой системе координат является координатной. Пусть она задается уравнением
Полуоси такого эллипсоида вычисляются по формулам
(6)
${{a}_{x}} = p\sqrt {{{\mu }_{0}} - a} ,\,\,\,\,{{a}_{y}} = p\sqrt {{{\mu }_{0}} - 1} ,\,\,\,\,{{a}_{z}} = p\sqrt {{{\mu }_{0}}} ,$(7)
$a = 1 + \frac{\chi }{{kp}},\,\,\,\,\mu = 1 + \frac{\chi }{{kp}}t,\,\,\,\nu = 1 + \frac{\chi }{{kp}}s.$Координата $s$ меняется в пределах $0 < s < 1$, а координата $t > 1$. Пусть
Параметры ${{t}_{0}}$ и $\chi $ определяются через полуоси эллипсоида. В старшем по $kp$ порядке имеем
ПАРАБОЛИЧЕСКОЕ УРАВНЕНИЕ
Как известно [9], уравнение Гельмгольца допускает разделение переменных в эллипсоидальных координатах, а решение выражается через волновые функции Ламэ. Однако, в случае высоких частот такое решение, как и многие другие точные решения задач дифракции, оказывается непригодным. Поэтому будем строить асимптотическое решение, считая $kp \gg 1$. Используя метод параболического уравнения, представим решение в виде
Функции ${{U}_{j}}$, входящие в асимптотический ряд, будем предполагать независящими от $kp$. Подставляя представление (9) в уравнение Гельмгольца (2), которое следует переписать в координатах $(\eta ,s,t)$, и приравнивая члены при ${{(kp)}^{1}}$ (члены при ${{(kp)}^{2}}$ сокращаются), получим параболическое уравнение
(10)
$\begin{gathered} 4s(1 - s){{U}_{{ss}}} + (2 - 4s){{U}_{s}} + 4t(t - 1){{U}_{{tt}}} + \\ + \,\,(4t - 2){{U}_{t}} + 2i\chi (t - s)(1 - {{\eta }^{2}}){{U}_{\eta }} + \\ + \,\,\chi (t - s)\left( {\chi (s + t - 1) - 2i\eta } \right)U = 0. \\ \end{gathered} $Здесь мы опустили индекс $0$ у функции ${{U}_{0}}$, а нижними индексами $s$, $t$ и $\eta $ обозначили производные по соответствующим переменным. Уравнение (10) допускает разделение переменных в виде
Для функции $R(\eta )$ получается дифференциальное уравнение первого порядка
которое решается в элементарных функциях(11)
$R = \frac{1}{{\sqrt {1 - {{\eta }^{2}}} }}{{\left( {\frac{{1 - \eta }}{{1 + \eta }}} \right)}^{{i\lambda }}}.$Для функций $S$ и $T$ получаются обыкновенные дифференциальные уравнения
с одним и тем же оператором(13)
$\begin{gathered} {\text{L}} = \zeta (1 - \zeta )\frac{{{{d}^{2}}}}{{d{{\zeta }^{2}}}} + \left( {\frac{1}{2} - \zeta } \right)\frac{d}{{d\zeta }} + \\ + \,\,\left( {\frac{{{{\chi }^{2}}}}{4}\zeta (1 - \zeta ) + \chi \lambda \left( {\frac{1}{2} - \zeta } \right) + \alpha } \right). \\ \end{gathered} $Первое уравнение в (12) будем называть угловым, а второе – радиальным. Параметры $\lambda $ и $\alpha $ в (11) и (12) являются параметрами разделения переменных.
Решение (11) является ядром интегрального преобразования [13]
(14)
$\begin{gathered} \hat {F}(\eta ) = \frac{1}{{\sqrt {1 - {{\eta }^{2}}} }}\int\limits_{ - \infty }^{ + \infty } {{{{\left( {\frac{{1 - \eta }}{{1 + \eta }}} \right)}}^{{i\lambda }}}} F(\lambda )d\lambda , \\ F(\lambda ) = \frac{1}{\pi }\int\limits_{ - 1}^1 {{{{\left( {\frac{{1 + \eta }}{{1 - \eta }}} \right)}}^{{i\lambda }}}} \hat {F}(\eta )\frac{{d\eta }}{{\sqrt {1 - {{\eta }^{2}}} }}. \\ \end{gathered} $Поэтому общее решение параболического уравнения (10) будем искать в виде интеграла по $\lambda $ по вещественной оси.
Дифференциальные уравнения (12) должны быть дополнены краевыми условиями. По переменной $s$ рассматривается конечный интервал $[0,1]$, однако концы этого интервала являются особыми точками дифференциального оператора. Согласно аналитической теории линейных дифференциальных уравнений [14] уравнение (12) имеет регулярные особые точки $\zeta = 0$ и $\zeta = 1$ и иррегулярную особую точку на бесконечности. Это уравнение сводится к вырожденному (конфлюэнтному) уравнению Гойна [15]. В окрестности особой точки $\zeta = 0$ решение уравнения (12) имеет вид
где ${{S}_{{00}}}$ и ${{S}_{{01}}}$ – голоморфные в окрестности $\zeta = 0$ функции. Аналогично, в окрестности точки $\zeta = 1$ имеют место представленияИз (5) и (7) следует, что при фиксированных значениях $\eta $ и $t$ координата $s$ пропорциональна ${{y}^{2}}$ при малых $y$, а $1 - s$ пропорциональна ${{x}^{2}}$ при малых $x$. Поэтому решение ${{S}_{{00}}}$ соответствует четному продолжению поля $u$ на отрицательные значения координаты $y$, а решение $\sqrt \zeta {{S}_{{01}}}(\zeta )$ – нечетному. Аналогично, решение ${{S}_{{10}}}$ соответствует четному продолжению поля на отрицательные значения координаты $x$, а решение $\sqrt {1 - \zeta } {{S}_{{11}}}(\zeta )$ – нечетному. Поскольку падающее поле является четным по $x$ и $y$, эта четность переносится и на полное поле. Таким образом, нас интересуют такие решения углового уравнения (12), которые одновременно голоморфны и в окрестности $\zeta = 0$, и в окрестности $\zeta = 1$. Такая сингулярная задача Штурма–Лиувилля может рассматриваться как возмущение задачи, получающейся при $\chi = 0$, и имеющей полиномиальные решения
(17)
$S_{n}^{^\circ }(\zeta ) = {{T}_{n}}(2\zeta - 1),\,\,\,\,\alpha _{n}^{^\circ } = {{n}^{2}},\,\,\,\,n = 0,1,2, \ldots ,$Известно [15], что сингулярная задача Штурма–Лиувилля для углового уравнения (12) имеет простой, дискретный, ограниченный снизу спектр. Пусть ${{\alpha }_{n}}$, $n = 0,1,2, \ldots $ – собственные числа. Естественно, они зависят от параметров $\chi $ и $\lambda $ (при необходимости подчеркнуть эту зависимость будем писать ${{\alpha }_{n}}(\chi ,\lambda )$), причем
Ниже зависимость от параметра $\chi $, который является фиксированным, для краткости указывать не будем. Пусть ${{F}_{n}}(\zeta ) = {{F}_{n}}(\lambda ,\zeta )$ – собственные функции, отвечающие собственным числам ${{\alpha }_{n}}$. Поскольку оператор в уравнении (12) является симметричным в ${{L}_{2}}$ с весом $\rho = {1 \mathord{\left/ {\vphantom {1 {\sqrt {\zeta (1 - \zeta )} }}} \right. \kern-0em} {\sqrt {\zeta (1 - \zeta )} }}$, функции ${{F}_{n}}$ образуют полную ортогональную систему. Нормируем их таким образом, что
(18)
$\int\limits_0^1 \,\frac{{{{F}_{n}}(\zeta ){{F}_{m}}(\zeta )}}{{\sqrt {\zeta (1 - \zeta )} }}d\zeta = \delta _{n}^{m},$Обратимся теперь к решениям радиального уравнения (12) относительно $T(\zeta )$. Кроме решения ${{F}_{n}}(\zeta )$, являющегося аналитическим продолжением собственных функций с отрезка $[0,1]$, нам понадобится также решение, фиксированное поведением на бесконечности. Как известно [15], имеются два решения, фиксированные своим поведением на бесконечности
(19)
${{G}^{ + }}(\zeta ) = exp\left( {\frac{{i\chi }}{2}\zeta } \right){{\zeta }^{{ - \tfrac{1}{2} + i\lambda }}}\sum\limits_{j = 0}^\infty \,\frac{{c_{j}^{ + }}}{{{{\zeta }^{j}}}}$(20)
${{G}^{ - }}(\zeta ) = exp\left( { - \frac{{i\chi }}{2}\zeta } \right){{\zeta }^{{ - \tfrac{1}{2} - i\lambda }}}\sum\limits_{j = 0}^\infty \,\frac{{c_{j}^{ - }}}{{{{\zeta }^{j}}}}.$Функции (19) и (20) называются решениями Томе. Ряды в (19) и (20) не сходятся, а дают лишь асимптотическое приближение в секторе, содержащем положительную полуось $\zeta $.
Поскольку параметр $\chi $ положителен, решение ${{G}^{ + }}(\zeta )$ имеет фазу, растущую на бесконечности, и, тем самым, отвечает волне, уходящей на бесконечность, в то время как решение ${{G}^{ - }}(\zeta )$ отвечает приходящей из бесконечности волне. Таким образом, в представлении рассеянного поля могут присутствовать решения ${{G}^{ + }}(\zeta )$ и не могут присутствовать решения ${{G}^{ - }}(\zeta )$.
ПРЕДСТАВЛЕНИЕ ДЛЯ ФУНКЦИИ ОСЛАБЛЕНИЯ
На основании результатов предыдущего параграфа будем искать старший член асимптотики функции ослабления в следующем виде
(21)
$\begin{gathered} U(s,t,\eta ) = \frac{1}{{\sqrt {1 - {{\eta }^{2}}} }}\int\limits_{ - \infty }^{ + \infty } \,\mathop {\left( {\frac{{1 - \eta }}{{1 + \eta }}} \right)}\nolimits^{i\lambda } \sum\limits_{n = 0}^\infty \,{{F}_{n}}(\lambda ,s) \times \\ \times \,\,\left\{ {{{A}_{n}}(\lambda ){{F}_{n}}(\lambda ,t) + {{B}_{n}}(\lambda )G_{n}^{ + }(\lambda ,t)} \right\}d\lambda . \\ \end{gathered} $Здесь $G_{n}^{ + }(\lambda ,\zeta )$ – решение радиального уравнения (12) c параметром $\alpha = {{\alpha }_{n}}$, фиксированное поведением (19) при $t \to + \infty $.
В фигурных скобках записано общее решение радиального уравнения при фиксированных значениях параметров $\lambda $ и $\alpha = {{\alpha }_{n}}$. Это решение можно было бы записать и через другие частные решения радиального уравнения. Выбранная в представлении (21) форма удобна тем, что, если в ней положить ${{B}_{n}} \equiv 0$, то полученная функция $U$ будет допускать четное продолжение во все полупространство $x < 0$. Ранее мы рассматривали лишь внешность эллипсоида и вопрос о четном/нечетном продолжении поля затрагивал зависимость лишь от координаты $s$. При рассмотрении представления (21) внутри эллипсоида, то есть при $t < {{t}_{0}}$, следует обратить внимание на то, что значению $t = 1$ отвечает предельный эллиптический диск в плоскости $x = 0$. Продолжение в область $x < 0$ через этот диск происходит в соответствии с зависимостью поля от координаты $t$. При фиксированных $\eta $ и $s$ величина $t - 1$ пропорциональна ${{x}^{2}}$ при малых $x$. Поэтому функция ${{F}_{n}}(t)$, которая является голоморфной в окрестности $t = 1$, может быть записана как некоторая функция от ${{x}^{2}}$, и ввиду этого отвечающее ей поле будет зависеть от $x$ четным образом. Если же в представлении (21) положить ${{A}_{n}} \equiv 0$, то полученное решение будет представлять собой комбинацию волн, уходящих по переменной $t$ на бесконечность. Поэтому это решение будет удовлетворять условиям излучения. На основании этих свойств можно утверждать, что первое слагаемое ${{A}_{n}}{{F}_{n}}(t)$ порождает функцию ослабления ${{U}_{{inc}}}$ для падающего поля, а слагаемое ${{B}_{n}}G_{n}^{ + }(t)$ порождает функцию ослабления для рассеянного поля.
Удобно положить
Тогда коэффициенты ${{R}_{n}}$ можно рассматривать как парциальные коэффициенты отражения от поверхности. Требуя выполнения краевых условий при $t = {{t}_{0}}$ тождественно под знаком интеграла, получим в задаче Дирихле
и в задаче Неймана(23)
${{R}_{n}} = - \frac{{\tfrac{d}{{dt}}{{F}_{n}}(\lambda ,{{t}_{0}})}}{{\tfrac{d}{{dt}}G_{n}^{ + }(\lambda ,{{t}_{0}})}}.$Для завершения построения асимптотического представления в старшем порядке осталось определить коэффициенты ${{A}_{n}}(\lambda )$. Для этого рассмотрим представление падающего поля
(24)
$\begin{gathered} {{U}_{{inc}}} = \frac{1}{{\sqrt {1 - {{\eta }^{2}}} }}\int\limits_{ - \infty }^{ + \infty } \,\mathop {\left( {\frac{{1 - \eta }}{{1 + \eta }}} \right)}\nolimits^{i\lambda } \times \\ \times \,\,\sum\limits_{n = 0}^\infty \,{{A}_{n}}(\lambda ){{F}_{n}}(\lambda ,s){{F}_{n}}(\lambda ,t)d\lambda {\kern 1pt} . \\ \end{gathered} $В этом представлении слева стоит старший член асимптотического ряда для функции ослабления падающей волны. Перейдем в (3) к координатам пограничного слоя. Имеем
(25)
$\begin{gathered} z = p\sqrt {\frac{{\left( {1 + \tfrac{{\chi t}}{{kp}}} \right)\left( {1 + \tfrac{{\chi s}}{{kp}}} \right)}}{{1 + \tfrac{\chi }{{kp}}}}} \eta = \\ = p\eta + \frac{\chi }{{2k}}(t + s - 1) + O({{p}^{{ - 1}}}). \\ \end{gathered} $Тогда для ${{U}_{{inc}}}$ получим выражение
Прямой подстановкой проверяется, что функция ${{U}_{{inc}}}$ удовлетворяет параболическому уравнению, а значит, может быть представлена в виде правой части (24) точно.
Применим к (24) обратное преобразование (14)
(27)
$\sum\limits_{n = 0}^\infty \,{{A}_{n}}(\lambda ){{F}_{n}}(\lambda ,s){{F}_{n}}(\lambda ,t) = K(\lambda ,s,t),$(28)
$K(\lambda ,s,t) = \frac{1}{\pi }\int\limits_{ - 1}^1 \,\mathop {\left( {\frac{{1 + \eta }}{{1 - \eta }}} \right)}\nolimits^{i\lambda } \frac{{exp\left( {\tfrac{{i\chi }}{2}(s + t - 1)\eta } \right)}}{{\sqrt {1 - {{\eta }^{2}}} }}d\eta .$Сравнивая интеграл в (28) с интегральным представлением для функции Уиттекера $M$ [16], окончательно получим
(29)
$K(\lambda ,s,t) = \frac{1}{{(\pi \lambda )}}\frac{{{{M}_{{ - i\lambda ,0}}}(i\chi (s + t - 1))}}{{\sqrt {i\chi (s + t - 1)} }}.$Отметим, что функция $K(\lambda ,s,t)$ не имеет особенностей (квадратный корень в знаменателе компенсируется соответствующим ветвлением функции Уиттекера).
Теперь воспользуемся свойством ортогональности собственных функций ${{F}_{n}}(s)$. Домножим тождество (27) на ${{F}_{m}}(s)$ и проинтегрируем с весом $\rho (s)$ по отрезку $s \in [0,1]$. В левой части ввиду (18) останется лишь слагаемое с $n = m$. Таким образом,
(30)
$\begin{gathered} {{A}_{n}}(\lambda ) = \frac{1}{{(\pi \lambda )}}\frac{1}{{{{F}_{n}}(\lambda ,t)}} \times \\ \times \,\,\int\limits_0^1 \,\frac{{{{M}_{{ - i\lambda ,0}}}(i\chi (s + t - 1))}}{{\sqrt {i\chi (s + t - 1)} }}\frac{{{{F}_{n}}(\lambda ,s)}}{{\sqrt {s(1 - s)} }}ds. \\ \end{gathered} $Отметим, что коэффициенты ${{A}_{n}}(\lambda )$ не зависят от $t$, в то время как параметр $t$ присутствует в правой части выражения (30). Формулу (30) следует рассматривать при таких значениях параметра $t$, при которых сходится интеграл в правой части и которые не являются нулями ${{F}_{n}}(t)$. Наличие параметра $t$ позволяет дополнительно контролировать точность вычислений функций ${{F}_{n}}(\lambda ,\zeta )$.
В теории функций класса Гойна соотношения, подобные (30), известны как интегральные соотношения или интегральные уравнения для функций класса Гойна [15].
ЧИСЛЕННАЯ ПРОЦЕДУРА И РЕЗУЛЬТАТЫ
Для обсуждения дифракционных эффектов в задаче дифракции на жестком эллипсоиде будем вычислять полное поле на его поверхности. Приводя выражение, взятое в фигурных скобках в (21), к общему знаменателю, получим формулу для поля в следующем виде
(31)
$\begin{gathered} U(s,{{t}_{0}},\eta ) = \frac{1}{{\sqrt {1 - {{\eta }^{2}}} }}\int\limits_{ - \infty }^{ + \infty } \,\mathop {\left( {\frac{{1 - \eta }}{{1 + \eta }}} \right)}\nolimits^{i\lambda } \times \hfill \\ \times \,\,\sum\limits_{n = 0}^\infty \,{{A}_{n}}(\lambda ){{F}_{n}}(\lambda ,s)\frac{{W[{{F}_{n}},G_{n}^{ + }]({{t}_{0}})}}{{\mathop {\dot {G}}\nolimits_n^ + (\lambda ,{{t}_{0}})}}d\lambda . \hfill \\ \end{gathered} $Здесь точкой обозначена производная функции $G_{n}^{ + }$ по ее аргументу $t$, $W[{{F}_{n}},G_{n}^{ + }] = {{F}_{n}}\dot {G}_{n}^{ + } - {{\dot {F}}_{n}}G_{n}^{ + }$ – определитель Вронского функций ${{F}_{n}}$ и $G_{n}^{ + }$, который, как известно, зависит от ${{t}_{0}}$ посредством множителя ${1 \mathord{\left/ {\vphantom {1 {\sqrt {{{t}_{0}}({{t}_{0}} - 1)} }}} \right. \kern-0em} {\sqrt {{{t}_{0}}({{t}_{0}} - 1)} }}$.
В задаче дифракции на идеально мягкой поверхности будем вычислять нормальную производную поля на поверхности. При этом учтем, что
(32)
$\frac{\partial }{{\partial n}} = \frac{2}{p}\frac{{\sqrt {kp} }}{{\sqrt \chi }}\sqrt {\frac{{t(t - 1)}}{{(t - s)(1 - {{\eta }^{2}})}}} \frac{\partial }{{\partial t}}.$В результате получаем
(33)
$\begin{gathered} \frac{{\partial u}}{{\partial n}} = - \frac{{2\sqrt {kp} {{e}^{{ikp\eta }}}}}{{p\sqrt \chi (1 - {{\eta }^{2}})}}\sqrt {\frac{{t_{0}^{2} - {{t}_{0}}}}{{{{t}_{0}} - s}}} \int\limits_{ - \infty }^{ + \infty } \,\mathop {\left( {\frac{{1 - \eta }}{{1 + \eta }}} \right)}\nolimits^{i\lambda } \times \\ \times \,\,\sum\limits_{n = 0}^\infty \,{{A}_{n}}(\lambda ){{F}_{n}}(\lambda ,s)\frac{{W[{{F}_{n}},G_{n}^{ + }]({{t}_{0}})}}{{G_{n}^{ + }(\lambda ,{{t}_{0}})}}d\lambda . \\ \end{gathered} $Для проведения расчетов по формулам (31), (33) необходимо решить задачу Штурма–Лиувилля для углового уравнения (12) и найти значения спектрального параметра ${{\alpha }_{n}}(\lambda )$ и собственные функции ${{F}_{n}}(\lambda ,s)$. Отметим, что в [18] использована замена переменных, которая позволяет устранить одновременно обе особые точки. Однако, при этом получаются уравнения с неполиномиальными коэффициентами. С нашей точки зрения удобнее сделать более простые замены независимой переменной
(34)
$F(s) = \frac{{\Phi (\tau )}}{{\sqrt[4]{{1 - s}}}} = \frac{{\Psi (\sigma )}}{{\sqrt[4]{s}}},\,\,\,\tau = \sqrt s ,\,\,\,\,\sigma = \sqrt {1 - s} .$Первую замену выполним для $s \in [0,{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}]$, вторую для $s \in [{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2},1]$. Для функций $\Phi $ и $\Psi $ получим уравнения
где(36)
$Q(\lambda ,\zeta ) = {{\chi }^{2}}{{\zeta }^{2}} + 4\chi \lambda + \frac{{4\alpha - 2\chi \lambda - \tfrac{1}{4}}}{{1 - {{\zeta }^{2}}}} + \frac{3}{4}\frac{1}{{{{{(1 - {{\zeta }^{2}})}}^{2}}}}.$Отсутствие первой производной в (36) позволяет применить численную схему Нумерова. Введем равномерную сетку ${{\{ {{\zeta }_{j}}\} }_{{j = 0,1, \ldots ,N}}}$ с шагом $h$ на интервале $[0,{{\sqrt 2 } \mathord{\left/ {\vphantom {{\sqrt 2 } 2}} \right. \kern-0em} 2}]$ и вектор неизвестных ${\mathbf{F}} = (\Phi (0),\Phi ({{\zeta }_{1}}), \ldots ,\Phi ({{\zeta }_{{N - 1}}}),$ $\Phi ({{\sqrt ( 2)} \mathord{\left/ {\vphantom {{\sqrt ( 2)} 2}} \right. \kern-0em} 2}),\Psi ({{\zeta }_{{N - 1}}}), \ldots ,\Psi ({{\zeta }_{1}}),\Psi (0){{)}^{T}}$. Уравнения метода Нумерова записываются в виде
с трехдиагональной матрицейНахождение собственных чисел производилось методом стрельбы, т.е. выбирая $\Phi (0) = 1$, что влияет лишь на нормировку, и, последовательно используя $2N - 1$ уравнение системы, определялись компоненты вектора ${\mathbf{F}}$. Параметр $\alpha $, играющий роль пристрелочного параметра, находился из требования, чтобы выполнялось последнее уравнение системы.
Нормировочные интегралы (18) и интегралы в формулах (30) для коэффициентов ${{A}_{n}}(\lambda )$ вычислялись по составным квадратурным формулам трапеций. Проверка условий ортогональности (18) и независимости правых частей (30) от $t$ дают возможность дополнительной проверки точности вычислений.
После того как собственные числа ${{\alpha }_{n}}$ найдены, необходимо решить радиальные уравнения (12) и найти функции $G_{n}^{ + }(\lambda ,t)$. Функции $G_{n}^{ + }(\lambda ,t)$ фиксируются своим поведением на бесконечности. Поэтому радиальное уравнение решалось в отрицательном направлении независимой переменной. Для того чтобы задать начальные данные для задачи Коши, можно воспользоваться решениями Томе (19). Несложно установить, что коэффициенты $c_{j}^{ + }$ асимптотического ряда удовлетворяют трехчленным рекуррентным уравнениям
(37)
$\begin{gathered} {{c}_{{n + 2}}} = \frac{i}{{\chi (n + 2)}}(n + 1 - i\lambda )\left( {n + \frac{1}{2} - i\lambda } \right){{c}_{n}} - \\ - \,\,\frac{i}{{\chi (n + 2)}}\left[ {{{{\left( {n + \frac{3}{2} - i\lambda } \right)}}^{2}} + i\chi \left( {n + \frac{5}{4} - i\lambda } \right) - \alpha } \right]{{c}_{{n + 1}}}, \\ \end{gathered} $Ряд в (19), как уже отмечалось выше, расходится и может использоваться лишь как асимптотический. Поэтому будем рассматривать конечный отрезок ряда и использовать его при достаточно большом значении $\zeta {\text{*}}$, которое и будет начальным значением независимой переменной в задаче Коши для $G_{n}^{ + }(\zeta )$. Отметим, что ввиду наличия множителей ${{\chi }^{{ - 1}}}$ в формулах (37) значение $\zeta {\text{*}}$ приходится брать тем большим, чем меньше значение параметра $\chi $. При приближении к сингулярной точке $\zeta = 1$ для повышения точности вычислений и исключения особенности в $\zeta = 0$ можно произвести замену независимой переменной
(38)
${{G}^{ + }}(\zeta ) = \frac{{\Upsilon (\tau )}}{{\sqrt[4]{t}}},\,\,\,\,\tau = \sqrt {\zeta - 1} ,$Как показывает численный счет, подынтегральные выражения в (31) и (33) быстро убывают при $\lambda \to \pm \infty $, а заметный вклад в сумму дают лишь слагаемые с $n = 0$ и $n = 1$.
C точки зрения физики процесса дифракции вызывает интерес изучение поперечной структуры дифракционного поля. Как уже отмечалось выше, приближение Фока имеет двумерный характер и на границе свет–тень на поверхности жесткого тела дает значение амплитуды полного поля, равное 1.399. Таким образом, согласно этому приближению зависимости от поперечной координаты нет. В реальности, такая зависимость присутствует и полученные здесь асимптотические представления позволяют ее выявить. Рассмотрим сечение $x = 0$ и будем сравнивать распределение поля в этом сечении с распределением поля на поверхности сфероида, которое может быть рассчитано по асимптотическим формулам, полученным в [6]. На рис. 1 это распределение показано сплошной линией. Для эллипсоида с меньшей поперечной кривизной распределение поля показано штриховой линией, а для эллипсоида с большей кривизной – пунктиром. Расчеты показывают, что поперечная кривизна влияет на распределение поля двояким образом. Во-первых, при увеличении поперечной кривизны эллипсоид становится более плоским, что приводит к уменьшению амплитуды рассеянного поля (на жестком эллиптическом диске, являющемся предельным случаем эллипсоида, рассеянное поле отсутствует). Во-вторых, большая поперечная кривизна снижает скорость затухания поля в тени, что выражается меньшим наклоном у пунктирной кривой и бóльшим у штриховой.
Сравнивая поля в сечениях $x = 0$ и $y = 0$ (см. рис. 2) можно сделать вывод о том, что амплитуда поля в более вытянутом сечении оказывается меньше, чем в менее вытянутом.
При дифракции на идеально мягкой поверхности удобно ввести величину
которая в старшем порядке не зависит от асимптотического параметра $kp$. Расчеты по формуле (33) представлены на рис. 3. Влияние поперечной кривизны на распределение поля оказывается сходным. Однако (см. рис. 4), по сравнению с задачей дифракции на жесткой поверхности амплитуда $v$ оказывается больше в более вытянутом сечении, чем в менее вытянутом. Кроме того, влияние поперечной кривизны проявляется сильнее, чем в случае жесткой поверхности. Этот факт в некотором смысле неожиданный, так как при использовании стандартного метода параболического уравнения поправка на поперечную кривизну для дифракции на идеально мягкой поверхности появляется лишь в третьем члене асимптотики [3], в то время как в случае жесткой поверхности уже во втором [19].Особый интерес вызывает исследование предела при превращении эллипсоида в сильно вытянутый эллиптический диск. В случае жесткого диска рассеянное поле отсутствует, а в случае мягкого наблюдается усиление поля на кромке диска. Рассчитанные значения величины $\left| v \right|$ на границе свет–тень в сечениях $x = 0$ и $y = 0$ приведены в табл. 1.
Таблица 1.
Полуось (${{k}^{{ - 1}}}$) | $\left| {v(0,{{t}_{0}},0)} \right|$ | $\left| {v(1,{{t}_{0}},0)} \right|$ |
---|---|---|
15 | 1.2625695 | 1.6000447 |
10 | 1.1161410 | 2.0459228 |
5 | 0.9662729 | 3.4741242 |
1 | 0.8487356 | 15.1752945 |
0.2 | 0.8258801 | 73.6736424 |
0.02 | 0.8207700 | 731.9964218 |
0.002 | 0.8202608 | 7315.2478423 |
При уменьшении толщины эллипсоида величина $v$ в сечении $y = 0$ стремится к пределу ${{v}_{0}} \approx 0.82$, а в сечении $x = 0$ неограниченно возрастает примерно пропорционально отношению ${{{{a}_{y}}} \mathord{\left/ {\vphantom {{{{a}_{y}}} {{{a}_{x}}}}} \right. \kern-0em} {{{a}_{x}}}}$.
ЗАКЛЮЧЕНИЕ
В данной статье мы построили и исследовали высокочастотную асимптотику поля дифракции на сильно вытянутом трехосном эллипсоиде для случая падения плоской волны вдоль большой полуоси эллипсоида. При этом учитывалось лишь поле прямой волны, описываемой в приближении модифицированного метода параболического уравнения. Подобно тому, как это было сделано в случае дифракции на сильно вытянутом сфероиде, в дальнейшем предполагается распространить результаты анализа на падение под углом, на другие виды падающих полей, а также включить в рассмотрение “обратную” волну, формирующуюся вследствие огибания рассеянным полем теневого конца эллипсоида. Общая идея указанных обобщений повторяет случай сфероида, однако на пути их реализации ожидаются определенные трудности. Во-первых, усложнение интеграла (28) приводит к проблеме сведения его к известным специальным функциям. Во-вторых, нет явных выражений для асимптотик функций класса Гойна, использование которых необходимо при получении амплитуды “обратной” волны.
Список литературы
Фок В.А. Новые методы в теории дифракции // Вестник Ленинградского университета. 1947. № 4. С. 5–11.
Белкина М.Г. Характеристики излучения вытянутого эллипсоида вращения // Дифракция электромагнитных волн на некоторых телах вращения, М.: Советское радио, 1957. С. 126–147.
Кирпичникова Н.Я., Попов М.М. Метод параболического уравнения Леонтовича–Фока в задаче дифракции на вытянутых телах // Зап. научн. семинаров ПОМИ. 2012. Т. 409. № 42. С. 55–79.
Корольков А.И., Шанин А.В., Белоус А.А. Дифракция на вытянутом теле вращения с импедансными границами. Метод граничного интегрального параболического уравнения // Акуст. журн. 2019. Т. 65. № 3. С. 440–447.
Клеев А.И., Кюркчан А.Г. Использование метода диаграммных уравнений в сфероидальных координатах для решения задач дифракции на сильно вытянутых рассеивателях // Акуст. журн. 2015. Т. 61. № 1. С. 21–29.
Андронов И.В. Дифракция на сильно вытянутом теле вращения // Акуст. журн. 2011. Т. 57. № 2. С. 147–152.
Андронов И.В. Дифракция плоской волны, падающей под малым углом к оси вращения сильно вытянутого сфероида // Акуст. журн. 2012. Т. 58. № 5. С. 571–579.
Andronov I.V. High-frequency acoustic scattering from prolate spheroids with high aspect ratio // J. Acoust. Soc. Am. 2013. V. 134. № 6. P. 4307–4316.
Бейтмен Г., Эрдейи А. Высшие трансцендентные функции. Т. 3. М.: Наука, 1967. 300 с.
Федорюк М.В. Дифракция звуковых волн на трехосном эллипсоиде // Акуст. журн. 1988. Т. 34. № 1. С. 160–164.
Chernokozhin E.V., Andronov I.V., Boag A. Mutual Validation of a Fast Solver Based on the Multilevel Nonuniform Grid Approach and an Asymptotic Approximation for High-frequency Scattering by Strongly Elongated Spheroids // 2020 XXXIIIrd General Assembly and Scientific Symposium of the International Union of Radio Science. https://doi.org/10.23919/URSIGASS49373.2020.9231997
Морс Ф.М., Фешбах Г. Методы теоретической физики. Т. 1. М.: ИЛ, 1958. 931 с.
Петров В.Э. Обобщенное сингулярное уравнение Трикоми как уравнение свертки // Доклады Акад. наук. 2006. Т. 411(2). С. 1–5.
Федорюк М.В. Асимптотические методы в теории обыкновенных дифференциальных уравнений. М.: Наука, 1983. 352 с.
Славянов С.Ю., Лай В. Специальные функции: единая теория, основанная на анализе особенностей. С.-Петербург: Невский Диалект, 2002. 312 с.
Градштейн И.С., Рыжик И.М. Таблицы интегралов, сумм, рядов и произведений. М.: Физматгиз, 1963. 1100 с.
Andronov I.V., Bouche D. Asymptotic of creeping waves on a strongly prolate body // Ann. Télьommun. 1994. V. 49. № 3–4. P. 205–210.
Абрамов А.А., Дышко А.Л., Конюхова Н.Б., Левитина Т.В. О численно-аналитическом исследовании задач дифракции плоской звуковой волны на идеальных вытянутых сфероидах и трехосных эллипсоидах // Журн. вычислит. матем. и матем. физики. 1995. Т. 35. № 9. С. 1374–1400.
Hong S. Asymptotic theory of electromagnetic and acoustic diffraction by smooth convex surfaces of variable curvature // J. Math. Physics. 1967. V. 8. P. 1223–1232.
Дополнительные материалы отсутствуют.
Инструменты
Акустический журнал