Акустический журнал, 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

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

Аннотация

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

Ключевые слова: дифракция, сильно вытянутый эллипсоид, высокочастотная асимптотика, метод параболического уравнения, функции Гойна

ВВЕДЕНИЕ

В задаче дифракции на гладком выпуклом теле В.А. Фоком [1] были получены асимптотические разложения для поля в полутени. В этих разложениях зависимость от поперечной координаты представлена лишь через зависимость от нее радиуса кривизны поверхности. При дифракции на цилиндрической поверхности формулы Фока дают весьма точное описание волнового поля уже при $k\rho \approx 3$, где $k$ – волновое число, $\rho $ – радиус цилиндра. Однако, при дифракции на сфере, где также отсутствует зависимость радиуса кривизны от поперечной координаты, асимптотическое приближение начинает работать лишь при $k\rho \approx 15$, а для дифракции на вытянутом сфероиде нижняя граница допустимых частот еще больше увеличивается [2]. Идея учета поправочных членов, вновь использованная в [3] при рассмотрении задачи дифракции на умеренно вытянутом теле вращения, не приводит к улучшению ситуации. Построению более пригодных асимптотических и численных представлений для поля в задачах дифракции на вытянутых телах в последнее время уделяется большое внимание. Перечислим лишь некоторые работы [48]. Однако, во всех этих статьях зависимость параметров поверхности от поперечной координаты отсутствует. Здесь мы обобщаем процедуру построения высокочастотной асимптотики в задаче дифракции на сильно вытянутом теле [6] на поверхность, свойства которой зависят от поперечной координаты. Мы рассматриваем задачу дифракции на трехосном сильно вытянутом эллипсоиде.

Как известно, уравнение Гельмгольца допускает разделение переменных в общих эллипсоидальных координатах [9]. Такое решение было построено в [10] в терминах волновых функций Ламэ, которые удовлетворяют дифференциальному уравнению с 5 особыми точками, точнее его конфлюэнтному случаю, когда две особые точки слились и образовали иррегулярную особую точку. Уравнение записывается в виде:

$\left[ {\sqrt {f(\zeta )} \frac{d}{{d\zeta }}\sqrt {f(\zeta )} \frac{d}{{d\zeta }} + \frac{{h - l\zeta + {{k}^{2}}{{\zeta }^{2}}}}{4}} \right]w = 0,$
где $f(\zeta ) = (\zeta - {{a}_{1}})(\zeta - {{a}_{2}})(\zeta - {{a}_{3}})$, величины ${{a}_{1}}$, ${{a}_{2}}$, ${{a}_{3}}$ задают эллипсоид, а $h$ и $l$ – параметры разделения переменных. Переход к используемому в работе методу параболического уравнения сводит задачу к решаемой в терминах конфлюэнтных функций Гойна. Другими словами, подобно тому как при рассмотрении задач дифракции на сфероиде осуществлялся переход от сфероидальных функций (функций класса Гойна), в которых задача решается точно, к вырожденным гипергеометрическим функциям Уиттекера, здесь мы имеем переход от конфлюэнтного варианта уравнения с пятью особыми точками к конфлюэнтному уравнению класса Гойна (т.е. класса уравнений с четырьмя особыми точками).

Полученные асимптотические представления позволяют провести верификацию численных программ расчета волновых полей подобно тому, как это было сделано в [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}}$. Акустическое поле во внешности эллипсоида удовлетворяет уравнению Гельмгольца

(2)
$\Delta u + {{k}^{2}}u = 0.$

Здесь $k = {\omega \mathord{\left/ {\vphantom {\omega c}} \right. \kern-0em} c}$ – волновое число, зависимость от частоты $\omega $ принята в виде ${{e}^{{ - i\omega t}}}$, $c$ – скорость распространения волн, которую мы считаем постоянной.

Пусть поле возбуждается плоской волной, падающей на эллипсоид вдоль оси $Oz$

(3)
${{u}_{{inc}}} = \exp (ikz).$

Будем одновременно рассматривать две задачи: в случае идеально мягкой поверхности зададим условия Дирихле, а в случае идеально жесткой – условия Неймана. На бесконечности для рассеянного поля ${{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}}}}$ характеризует степень вытянутости по отношению к меньшей из полуосей. Поверхность эллипсоида в этой системе координат является координатной. Пусть она задается уравнением

$\mu = {{\mu }_{0}}.$

Полуоси такого эллипсоида вычисляются по формулам

(6)
${{a}_{x}} = p\sqrt {{{\mu }_{0}} - a} ,\,\,\,\,{{a}_{y}} = p\sqrt {{{\mu }_{0}} - 1} ,\,\,\,\,{{a}_{z}} = p\sqrt {{{\mu }_{0}}} ,$
откуда с учетом (4) следует, что ${{\mu }_{0}}$, а значит и параметр $a$ должны быть близки к единице. Тогда близка к единице и координата $\nu $. Введем вместо $\mu $ и $\nu $ растянутые координаты $(t,s)$ по формулам

(7)
$a = 1 + \frac{\chi }{{kp}},\,\,\,\,\mu = 1 + \frac{\chi }{{kp}}t,\,\,\,\nu = 1 + \frac{\chi }{{kp}}s.$

Координата $s$ меняется в пределах $0 < s < 1$, а координата $t > 1$. Пусть

${{\mu }_{0}} = 1 + \frac{\chi }{{kp}}{{t}_{0}}{\kern 1pt} .$

Параметры ${{t}_{0}}$ и $\chi $ определяются через полуоси эллипсоида. В старшем по $kp$ порядке имеем

(8)
$\chi = \frac{{k(a_{y}^{2} - a_{x}^{2})}}{{{{a}_{z}}}},\,\,\,\,{{t}_{0}} = \frac{{a_{y}^{2}}}{{a_{y}^{2} - a_{x}^{2}}}.$

ПАРАБОЛИЧЕСКОЕ УРАВНЕНИЕ

Как известно [9], уравнение Гельмгольца допускает разделение переменных в эллипсоидальных координатах, а решение выражается через волновые функции Ламэ. Однако, в случае высоких частот такое решение, как и многие другие точные решения задач дифракции, оказывается непригодным. Поэтому будем строить асимптотическое решение, считая $kp \gg 1$. Используя метод параболического уравнения, представим решение в виде

(9)
$u = {{e}^{{ikp\eta }}}\sum\limits_{j = 0}^\infty {{{U}_{j}}(s,t,\eta )} {{(kp)}^{{ - j}}}.$

Функции ${{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) допускает разделение переменных в виде

$U(s,t,\eta ) = S(s)T(t)R(\eta ).$

Для функции $R(\eta )$ получается дифференциальное уравнение первого порядка

$R{\kern 1pt} '(\eta ) = \frac{{\eta - 2i\lambda }}{{1 - {{\eta }^{2}}}}R(\eta ),$
которое решается в элементарных функциях

(11)
$R = \frac{1}{{\sqrt {1 - {{\eta }^{2}}} }}{{\left( {\frac{{1 - \eta }}{{1 + \eta }}} \right)}^{{i\lambda }}}.$

Для функций $S$ и $T$ получаются обыкновенные дифференциальные уравнения

(12)
${\text{L}}S(\zeta ) = 0,\,\,\,\,{\text{L}}T(\zeta ) = 0$
с одним и тем же оператором

(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) имеет вид

(15)
$S(\zeta ) = {{S}_{{00}}}(\zeta ) + \sqrt \zeta {{S}_{{01}}}(\zeta ),$
где ${{S}_{{00}}}$ и ${{S}_{{01}}}$ – голоморфные в окрестности $\zeta = 0$ функции. Аналогично, в окрестности точки $\zeta = 1$ имеют место представления

(16)
$S(\zeta ) = {{S}_{{10}}}(1 - \zeta ) + \sqrt {1 - \zeta } {{S}_{{11}}}(1 - \zeta ).$

Из (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 ,$
выражающиеся через полиномы Чебышева первого рода ${{T}_{n}}$. С точки зрения рассматриваемой задачи дифракции переход к $\chi = 0$ соответствует стремлению ${{a}_{x}} \to {{a}_{y}}$, то есть к задачам, когда эллипсоид является почти телом вращения.

Известно [15], что сингулярная задача Штурма–Лиувилля для углового уравнения (12) имеет простой, дискретный, ограниченный снизу спектр. Пусть ${{\alpha }_{n}}$, $n = 0,1,2, \ldots $ – собственные числа. Естественно, они зависят от параметров $\chi $ и $\lambda $ (при необходимости подчеркнуть эту зависимость будем писать ${{\alpha }_{n}}(\chi ,\lambda )$), причем

${{\alpha }_{n}}(\chi ,\lambda ) = {{\alpha }_{n}}(\chi , - \lambda )\,\,\,\,\,{\text{и}}\,\,\,\,\,{{\alpha }_{n}}(0,\lambda ) = {{n}^{2}}.$

Ниже зависимость от параметра $\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},$
где $\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)$ порождает функцию ослабления для рассеянного поля.

Удобно положить

${{B}_{n}} = {{A}_{n}}{{R}_{n}}{\kern 1pt} .$

Тогда коэффициенты ${{R}_{n}}$ можно рассматривать как парциальные коэффициенты отражения от поверхности. Требуя выполнения краевых условий при $t = {{t}_{0}}$ тождественно под знаком интеграла, получим в задаче Дирихле

(22)
${{R}_{n}} = - \frac{{{{F}_{n}}(\lambda ,{{t}_{0}})}}{{G_{n}^{ + }(\lambda ,{{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}}}$ получим выражение

(26)
${{U}_{{inc}}}(s,t,\eta ) = exp\left( {\frac{{i\chi }}{2}(t + s - 1)\eta } \right).$

Прямой подстановкой проверяется, что функция ${{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 $ получим уравнения

(35)
где

(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}}$. Уравнения метода Нумерова записываются в виде

$A{\mathbf{F}} = 0$
с трехдиагональной матрицей

${{A}_{{0,0}}} = - 1 + \frac{1}{3}Q(\lambda ,0){{h}^{2}},\,\,\,\,{{A}_{{0,1}}} = 1 + \frac{1}{6}Q(\lambda ,h){{h}^{2}},$
$\begin{gathered} {{A}_{{j,j - 1}}} = 1 + \frac{1}{{12}}Q(\lambda ,(j - 1)h){{h}^{2}}, \\ {{A}_{{j,j}}} = - 2 + \frac{5}{6}Q(\lambda ,jh){{h}^{2}}, \\ {{A}_{{j,j + 1}}} = 1 + \frac{1}{{12}}Q(\lambda ,(j + 1)h){{h}^{2}}, \\ j = 1,2, \ldots ,N - 1, \\ \end{gathered} $
$\begin{gathered} {{A}_{{N,n - 1}}} = - 1 - \frac{1}{6}Q(\lambda ,(N - 1)h){{h}^{2}}, \\ {{A}_{{N,N}}} = 2 + \sqrt 2 h - \frac{1}{3}(Q(\lambda ,Nh) + Q(\lambda ,Nh)), \\ {{A}_{{N,N + 1}}} = - 1 - \frac{1}{6}Q( - \lambda ,(N - 1)h){{h}^{2}}, \\ \end{gathered} $
$\begin{gathered} {{A}_{{j,j - 1}}} = 1 + \frac{1}{{12}}Q( - \lambda ,(2N - j + 1)h){{h}^{2}}, \\ {{A}_{{j,j}}} = - 2 + \frac{5}{6}Q( - \lambda ,(2N - j)h){{h}^{2}}, \\ {{A}_{{j,j + 1}}} = 1 + \frac{1}{{12}}Q( - \lambda ,(2N - j - 1)h){{h}^{2}}, \\ j = N + 1,N + 2, \ldots ,2N - 1, \\ \end{gathered} $
$\begin{gathered} {{A}_{{2N,2N - 1}}} = 1 + \frac{1}{6}Q( - \lambda ,h){{h}^{2}}, \\ {{A}_{{2N,2N}}} = - 1 + \frac{1}{3}Q( - \lambda ,0){{h}^{2}}. \\ \end{gathered} $

Нахождение собственных чисел производилось методом стрельбы, т.е. выбирая $\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} $
в которых надо положить ${{c}_{{ - 1}}} = 0$.

Ряд в (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} ,$
которая приводит к уравнению

(39)

Как показывает численный счет, подынтегральные выражения в (31) и (33) быстро убывают при $\lambda \to \pm \infty $, а заметный вклад в сумму дают лишь слагаемые с $n = 0$ и $n = 1$.

C точки зрения физики процесса дифракции вызывает интерес изучение поперечной структуры дифракционного поля. Как уже отмечалось выше, приближение Фока имеет двумерный характер и на границе свет–тень на поверхности жесткого тела дает значение амплитуды полного поля, равное 1.399. Таким образом, согласно этому приближению зависимости от поперечной координаты нет. В реальности, такая зависимость присутствует и полученные здесь асимптотические представления позволяют ее выявить. Рассмотрим сечение $x = 0$ и будем сравнивать распределение поля в этом сечении с распределением поля на поверхности сфероида, которое может быть рассчитано по асимптотическим формулам, полученным в [6]. На рис. 1 это распределение показано сплошной линией. Для эллипсоида с меньшей поперечной кривизной распределение поля показано штриховой линией, а для эллипсоида с большей кривизной – пунктиром. Расчеты показывают, что поперечная кривизна влияет на распределение поля двояким образом. Во-первых, при увеличении поперечной кривизны эллипсоид становится более плоским, что приводит к уменьшению амплитуды рассеянного поля (на жестком эллиптическом диске, являющемся предельным случаем эллипсоида, рассеянное поле отсутствует). Во-вторых, большая поперечная кривизна снижает скорость затухания поля в тени, что выражается меньшим наклоном у пунктирной кривой и бóльшим у штриховой.

Рис. 1.

Амплитуда поля в сечении $x = 0$ на жестком сфероиде с полуосями $200{{k}^{{ - 1}}}$ и $10{{k}^{{ - 1}}}$ (сплошная линия) и на эллипсоидах с полуосями $200{{k}^{{ - 1}}}$, $10{{k}^{{ - 1}}}$ и $20{{k}^{{ - 1}}}$ (штриховая линия) и $200{{k}^{{ - 1}}}$, $10{{k}^{{ - 1}}}$ и $5{{k}^{{ - 1}}}$ (пунктир).

Сравнивая поля в сечениях $x = 0$ и $y = 0$ (см. рис. 2) можно сделать вывод о том, что амплитуда поля в более вытянутом сечении оказывается меньше, чем в менее вытянутом.

Рис. 2.

Амплитуда поля в сечениях $x = 0$ (жирные линии) и $y = 0$ (тонкие линии) на эллипсоидах с полуосями $200{{k}^{{ - 1}}}$, $20{{k}^{{ - 1}}}$ и $15{{k}^{{ - 1}}}$ (сплошная линия), $200{{k}^{{ - 1}}}$, $20{{k}^{{ - 1}}}$ и $10{{k}^{{ - 1}}}$ (штриховая линия), $200{{k}^{{ - 1}}}$, $20{{k}^{{ - 1}}}$ и $5{{k}^{{ - 1}}}$ (пунктир).

При дифракции на идеально мягкой поверхности удобно ввести величину

$v = \sqrt {\frac{p}{k}} \sqrt {1 - {{\eta }^{2}}} \frac{{\partial u}}{{\partial n}},$
которая в старшем порядке не зависит от асимптотического параметра $kp$. Расчеты по формуле (33) представлены на рис. 3. Влияние поперечной кривизны на распределение поля оказывается сходным. Однако (см. рис. 4), по сравнению с задачей дифракции на жесткой поверхности амплитуда $v$ оказывается больше в более вытянутом сечении, чем в менее вытянутом. Кроме того, влияние поперечной кривизны проявляется сильнее, чем в случае жесткой поверхности. Этот факт в некотором смысле неожиданный, так как при использовании стандартного метода параболического уравнения поправка на поперечную кривизну для дифракции на идеально мягкой поверхности появляется лишь в третьем члене асимптотики [3], в то время как в случае жесткой поверхности уже во втором [19].

Рис. 3.

Амплитуда $\left| v \right|$ в сечении $x = 0$ на мягком сфероиде с полуосями $200{{k}^{{ - 1}}}$ и $10{{k}^{{ - 1}}}$ (сплошная линия) и на эллипсоидах с полуосями $200{{k}^{{ - 1}}}$, $10{{k}^{{ - 1}}}$ и $20{{k}^{{ - 1}}}$ (штриховая линия) и $200{{k}^{{ - 1}}}$, $10{{k}^{{ - 1}}}$ и $5{{k}^{{ - 1}}}$ (пунктир).

Рис. 4.

Амплитуда $\left| v \right|$ в сечениях $x = 0$ (жирные линии) и $y = 0$ (тонкие линии) на эллипсоидах с полуосями $200{{k}^{{ - 1}}}$, $20{{k}^{{ - 1}}}$ и $15{{k}^{{ - 1}}}$ (сплошная линия), $200{{k}^{{ - 1}}}$, $20{{k}^{{ - 1}}}$ и $10{{k}^{{ - 1}}}$ (штриховая линия), $200{{k}^{{ - 1}}}$, $20{{k}^{{ - 1}}}$ и $5{{k}^{{ - 1}}}$ (пунктир).

Особый интерес вызывает исследование предела при превращении эллипсоида в сильно вытянутый эллиптический диск. В случае жесткого диска рассеянное поле отсутствует, а в случае мягкого наблюдается усиление поля на кромке диска. Рассчитанные значения величины $\left| v \right|$ на границе свет–тень в сечениях $x = 0$ и $y = 0$ приведены в табл. 1.

Таблица 1.  

Значения $\left| v \right|$ на эллипсоидах, длины двух полуосей которых имеют фиксированные значения $200{{k}^{{ - 1}}}$ и $20{{k}^{{ - 1}}}$, а длина третьей (${{a}_{x}}$) меняется

Полуось (${{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) приводит к проблеме сведения его к известным специальным функциям. Во-вторых, нет явных выражений для асимптотик функций класса Гойна, использование которых необходимо при получении амплитуды “обратной” волны.

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

  1. Фок В.А. Новые методы в теории дифракции // Вестник Ленинградского университета. 1947. № 4. С. 5–11.

  2. Белкина М.Г. Характеристики излучения вытянутого эллипсоида вращения // Дифракция электромагнитных волн на некоторых телах вращения, М.: Советское радио, 1957. С. 126–147.

  3. Кирпичникова Н.Я., Попов М.М. Метод параболического уравнения Леонтовича–Фока в задаче дифракции на вытянутых телах // Зап. научн. семинаров ПОМИ. 2012. Т. 409. № 42. С. 55–79.

  4. Корольков А.И., Шанин А.В., Белоус А.А. Дифракция на вытянутом теле вращения с импедансными границами. Метод граничного интегрального параболического уравнения // Акуст. журн. 2019. Т. 65. № 3. С. 440–447.

  5. Клеев А.И., Кюркчан А.Г. Использование метода диаграммных уравнений в сфероидальных координатах для решения задач дифракции на сильно вытянутых рассеивателях // Акуст. журн. 2015. Т. 61. № 1. С. 21–29.

  6. Андронов И.В. Дифракция на сильно вытянутом теле вращения // Акуст. журн. 2011. Т. 57. № 2. С. 147–152.

  7. Андронов И.В. Дифракция плоской волны, падающей под малым углом к оси вращения сильно вытянутого сфероида // Акуст. журн. 2012. Т. 58. № 5. С. 571–579.

  8. 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.

  9. Бейтмен Г., Эрдейи А. Высшие трансцендентные функции. Т. 3. М.: Наука, 1967. 300 с.

  10. Федорюк М.В. Дифракция звуковых волн на трехосном эллипсоиде // Акуст. журн. 1988. Т. 34. № 1. С. 160–164.

  11. 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

  12. Морс Ф.М., Фешбах Г. Методы теоретической физики. Т. 1. М.: ИЛ, 1958. 931 с.

  13. Петров В.Э. Обобщенное сингулярное уравнение Трикоми как уравнение свертки // Доклады Акад. наук. 2006. Т. 411(2). С. 1–5.

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

  15. Славянов С.Ю., Лай В. Специальные функции: единая теория, основанная на анализе особенностей. С.-Петербург: Невский Диалект, 2002. 312 с.

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

  17. 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.

  18. Абрамов А.А., Дышко А.Л., Конюхова Н.Б., Левитина Т.В. О численно-аналитическом исследовании задач дифракции плоской звуковой волны на идеальных вытянутых сфероидах и трехосных эллипсоидах // Журн. вычислит. матем. и матем. физики. 1995. Т. 35. № 9. С. 1374–1400.

  19. 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.

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