Доклады Российской академии наук. Физика, технические науки, 2021, T. 496, № 1, стр. 31-36

АНОМАЛЬНОЕ ПРОХОЖДЕНИЕ ВОЛН ЧЕРЕЗ ТОНКИЙ КАНАЛ, СОЕДИНЯЮЩИЙ ДВА АКУСТИЧЕСКИХ ВОЛНОВОДА

С. А. Назаров 1*, Л. Шенель 2**

1 Санкт-Петербургский государственный университет
Санкт-Петербург, Россия

2 École Polytechnique, Université Paris-Saclay
Paris, France

* E-mail: srgnazarov@yahoo.co.uk
** E-mail: lucas.chesnel@inria.fr

Поступила в редакцию 21.09.2020
После доработки 09.10.2020
Принята к публикации 10.10.2020

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

Аннотация

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

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

1. Мотивировка. Классическая задача о распространении акустических волн в полубесконечном цилиндре с прямым торцом и жесткими стенками решается при помощи метода Фурье, а простейшая форма волновода обеспечивает “идеальное” отражение приходящей из бесконечности волны: коэффициент отражения $R$ равен единице. Возмущение конца полуцилиндра – образование резонатора Гельмгольца – обычно не может изменить дифракционную картину кардинально, так как коэффициент отражения $R = {{e}^{{i\psi }}}$ не покидает единичную окружность на комплексной плоскости в силу закона сохранения энергии, однако при определенных, заведомо не всех, формах резонатора на изолированных частотах происходит захват волны. Иными словами, задача Неймана для оператора Гельмгольца приобретает решение, затухающее на бесконечности, а значит, и собственную частоту, причем окружающий ее узкий частотный диапазон характеризуется “странным” поведением коэффициентов рассеяния, которое ассоциируется с разнообразными аномалиями рассеяния – аномалии Вуда [1] и Вайнштейна [2], резонансы Фано [3] и пр. (см. обзорную статью [4]).

Поиск собственных частот, вкрапленных в непрерывный спектр и потому обладающих природной неустойчивостью, – занятие трудоемкое и требующее применения продвинутых методов, например, асимптотических. В настоящем сообщении изучается похожий вопрос, однако не связанный непосредственно со спектром: рассматриваются два полубесконечных цилиндра, соединенные тонкой перемычкой (рис. 1 ). На первый взгляд кажется, что ввиду предсказуемо плохой проводимости узкого акустического канала дифракционная картина мало отличается от описанной в предыдущем абзаце, за тем исключением, что модуль $\left| R \right|$ коэффициента отражения становится чуть меньше единицы из-за незначительного, но все-таки ненулевого коэффициента прохождения T. В самом деле, почти полное отражение волны – ситуация общего положения, но далее будет показано, что на частотах, близких к собственной частоте ${{\kappa }_{ * }}$ одномерной модели тонкого канала, может происходить обратное явление – почти полное прохождение волны (инвертированная аномалия Вайнштейна по терминологии [4]): большая часть энергии, приносимой волной с бесконечности в одной трубе, проникает через тонкую перемычку в другую трубу и уносится на бесконечность в ней, а амплитуда отраженной волны пропорциональна малому относительному диаметру узкого канала (ср. далее формулу (7)). Вместе с тем на самой частоте ${{\kappa }_{ * }}$ указанная аномалия отсутствует, и для ее образования требуется “точная настройка” формы резонирующего канала.

Для упрощения изложения задача дифракции решается в наиболее простой постановке, хотя предложенный подход допускает разнообразные обобщения, представляющие интерес в инженерной практике и годящиеся для создания волновых фильтров и демпферов. Так, соединение двух полубесконечных цилиндрических волноводов тонкими искривленными трубками в количестве N штук может обеспечить значительное прохождение волн из низкочастотного диапазона спектра только на заданном наперед наборе частот ${\text{\{ }}{{\kappa }_{1}},\; \ldots ,\;{{\kappa }_{N}}{\text{\} }}$. Еще одно важное обстоятельство: локализованные деформации трубок позволяют варьировать избранные частоты, т.е. изменять настройку фильтра.

Рис. 1.

Двумерное изображение акустического волновода, состоящего из широких рукавов и узкого соединительного канала.

Аномальное прохождение волн было описано, например, в статьях [5, 6] в случае падения плоской волны на толстую стенку с периодически расположенными узкими щелями и в [7] для одномерной модели неоднородного волновода с зауженным участком. Изученная далее задача о прохождении поршневой моды вдоль акустического волновода на рис. 1 разнится с изученными ранее во многих аспектах. Во-первых, рассмотрен пространственный волновод, для которого строение абсолютного большинства промежуточных и финальных формул отличается от плоского случая. Во-вторых, допускается существенно общая форма сечений волновода, не позволяющая применять использованные в предшествующих работах приемы сведения дифференциальной задачи к интегральным уравнениям или решения нелинейных обыкновенных дифференциальных уравнений. В-третьих, сечения широких двух рукавов волновода не обязаны быть одинаковыми, и тем самым получен критерий (6) возникновения обсуждаемой аномалии. Наконец, изменена и суть вопроса: вместо проверки, что “почти полное прохождение реализуется на какой-то частоте”, установлено, что параметры соединительного канала можно подобрать так, чтобы искомый эффект наблюдался на заданной наперед частоте. Наконец, разработанная процедура точной настройки формы канала – то новшество, которое отличает данное сообщение от всех предшествующих публикаций.

Результат получен при помощи асимптотических методов: на канале применяется процедура понижения размерности, а в зонах соединения – анализ сингулярно возмущенных задач (см. книги [8, 9] соответственно). Новый подход позволяет исследовать сочленения разнообразных (акустических, квантовых, упругих и т.д.) волноводов с различными предельными размерностями, причем не только для основных мод (поршневых в рассматриваемой ситуации). Незначительные ограничения на геометрию акустического волновода ${{\Pi }^{\varepsilon }}$ с жесткой стенкой $\partial {{\Pi }^{\varepsilon }}$ вводятся далее для упрощения изложения, и только в разд. 6 рукава волновода и канал становятся прямыми цилиндрами для полной конкретизации асимптотических формул.

2. Постановка задачи. Волновод состоит из двух рукавов-труб $\Omega _{ \pm }^{\varepsilon }$ и соединяющего их тонкого ($\varepsilon \ll 1$) канала ${{\Theta }^{\varepsilon }}$ переменного сечения (рис. 1 ), которые заданы формулами

(1)
$\begin{array}{*{20}{c}} {\Omega _{ \pm }^{\varepsilon } = {\text{\{ }}x = (y,z) \in {{\mathbb{R}}^{2}} \times \mathbb{R}{\text{:}}\;(y, \pm z - L_{ \pm }^{\varepsilon }) \in {{\Omega }_{ \pm }}{\text{\} }},} \end{array}$
(2)
$\begin{array}{*{20}{c}} {{{\Omega }_{ \pm }}(\ell ): = {\text{\{ }}x \in {{\Omega }_{ \pm }}{\text{:}}\; \pm z > \ell {\text{\} }} = {{\omega }_{ \pm }} \times (\ell , + \infty ),\,\,\ell > 0,} \end{array}$
(3)
$\begin{array}{*{20}{c}} \begin{gathered} {{\Theta }^{\varepsilon }} = \{ x{\text{:}}\;z \in [ - L_{ - }^{\varepsilon },L_{ + }^{\varepsilon }],\,\,{{\varepsilon }^{{ - 1}}}H{{(z)}^{{ - 1}}}y \in \theta \} , \\ {{\theta }_{ \pm }} = \{ y = ({{y}_{1}},{{y}_{2}}){\text{:}}\;H_{ \pm }^{{ - 1}}y \in \theta \} , \\ \end{gathered} \end{array}$
(4)
$\begin{array}{*{20}{c}} {L_{ \pm }^{\varepsilon } = L_{ \pm }^{0} + \varepsilon L_{ \pm }^{'} + {{\varepsilon }^{2}}L_{ \pm }^{{''}},\quad L: = L_{ - }^{0} = L_{ + }^{0} > 0.} \end{array}$

Здесь ε > 0 – малый параметр, ${{\omega }_{ \pm }}$ и $\theta $ – области на плоскости, ограниченные простыми замкнутыми гладкими контурами и содержащие начало декартовых координат $y \in {{\mathbb{R}}^{2}}$. Гладкая профильная функция H положительна на сегменте $\left[ { - L - {{\ell }_{0}},L + {{\ell }_{0}}} \right]$ и

(5)
$\begin{array}{*{20}{c}} \begin{gathered} H(z) = {{H}_{ \pm }}\quad {\text{при}}\quad \left| {z \mp L} \right| < {{\ell }_{0}} \\ {\text{с}}\;{\text{некоторым}}\;{{\ell }_{0}} > 0. \\ \end{gathered} \end{array}$

Наконец, поверхности $\partial {{\Omega }_{ \pm }}$ содержат начало $\mathcal{O}$ декартовой системы координат $x = ({{x}_{1}},{{x}_{2}},{{x}_{3}})$ и совпадают с частями плоскости ${\text{\{ }}x{\text{:}}\;z = {{x}_{3}} = 0{\text{\} }}$ в окрестности точки $\mathcal{O}$. Все специфические черты волновода отражены на рис. 1 .

Гармонические во времени свободные колебания акустического поля с частотой $\kappa > 0$ описываются решениями задачи Неймана

(6)
$\begin{array}{*{20}{c}} \begin{gathered} - {{\Delta }_{x}}{{u}^{\varepsilon }}(x) = {{\kappa }^{2}}{{u}^{\varepsilon }}(x),\quad x \in {{\Pi }^{\varepsilon }}, \\ {{\partial }_{n}}{{u}^{\varepsilon }}(x) = 0,\quad x \in \partial {{\Pi }^{\varepsilon }}, \\ \end{gathered} \end{array}$
где ${{u}^{\varepsilon }}$ – давление, ${{\Delta }_{x}}$ – оператор Лапласа и ${{\partial }_{n}}$ – производная вдоль внешней нормали n. Непрерывный спектр задачи (6) занимает полуось $\mathop {{{{\bar {\mathbb{R}}}}_{ + }}}\nolimits_{} = \left[ {0, + \infty } \right)$, а частота $\kappa $ берется из первого интервала $(0,{{\kappa }_{\dag }})$ постоянной кратности, т.е. ${{\kappa }_{\dag }}$ = = min κ± и $\kappa _{ \pm }^{2}$ – первые положительные собственные числа задачи Неймана для оператора Лапласа ${{\Delta }_{y}}$ на сечениях ${{\omega }_{ \pm }}$. Таким образом, в цилиндрических частях (2) волновода (1) распространяются только поршневые моды ${{w}^{ \pm }}(x) = {{e}^{{ \pm i\kappa z}}}$.

Приходящая с бесконечности в рукаве $\Omega _{ - }^{\varepsilon }$ волна $c{{w}^{ + }}$ рассеивается в “резонаторе” $\{ x \in {{\Pi }^{\varepsilon }}$: $z \in ( - L_{ - }^{\varepsilon },L_{ + }^{\varepsilon })\} $, возвращаясь в рукав $\Omega _{ - }^{\varepsilon }$ с коэффициентом отражения ${{R}^{\varepsilon }}$ и проникая в рукав $\Omega _{ + }^{\varepsilon }$ с коэффициентом прохождения ${{T}^{\varepsilon }}$. Основная цель сообщения — показать, что подбор параметров канала (3), в частности, длин (4) может обеспечить соотношения

(7)
$\begin{array}{*{20}{c}} {{{R}^{\varepsilon }} = O(\varepsilon ),\quad {\text{|}}{{T}^{\varepsilon }}{\text{|}} = 1 + O(\varepsilon )} \end{array}$
для коэффициентов рассеяния в дифракционном решении
(8)
$\begin{array}{*{20}{c}} \begin{gathered} {{u}^{\varepsilon }}(x) = {{\chi }_{ - }}(z){{\left( {2\kappa \left| {{{\omega }_{ - }}} \right|} \right)}^{{ - 1/2}}}({{e}^{{ + i\kappa (z + {{L}^{\varepsilon }})}}} + {{R}^{\varepsilon }}{{e}^{{ - i\kappa (z + {{L}^{\varepsilon }})}}}) + \\ + \;{{\chi }_{ + }}(z){{\left( {2\kappa \left| {{{\omega }_{ + }}} \right|} \right)}^{{ - 1/2}}}{{T}^{\varepsilon }}{{e}^{{ + i\kappa (z - {{L}^{\varepsilon }})}}} + {{{\tilde {u}}}^{\varepsilon }}(x) \\ \end{gathered} \end{array}$
задачи (6). Здесь остаток ${{\tilde {u}}^{\varepsilon }}$ экспоненциально затухает на бесконечности, а ${{\chi }_{ \pm }}$ – гладкая срезающая функция, служащая для локализации волн в рукаве $\Omega _{ \pm }^{\varepsilon }$,

(9)
$\begin{array}{*{20}{c}} \begin{gathered} {{\chi }_{ \pm }}(z) = 0\quad {\text{при}}\quad \pm z < L + \ell , \\ {{\chi }_{ \pm }}(z) = 1\quad {\text{при}}\quad \pm z > L + 2\ell . \\ \end{gathered} \end{array}$

Подчеркнем, что закон сохранения энергии гарантирует равенство ${\text{|}}{{R}^{\varepsilon }}{{{\text{|}}}^{2}} + \,{\text{|}}{{T}^{\varepsilon }}{{{\text{|}}}^{2}} = 1$, а нормирующий множитель ${{\left( {2\kappa \left| {{{\omega }_{ \pm }}} \right|} \right)}^{{ - 1/2}}}$ в поршневых модах содержит площадь $\left| {{{\omega }_{ \pm }}} \right|$ сечения ${{\omega }_{ \pm }}$

3. Специальные решения предельных задач. Задача в изолированном рукаве

$\begin{gathered} - {{\Delta }_{x}}{{u}_{ \pm }}(x) = {{\kappa }^{2}}{{u}_{ \pm }}(x),\quad x \in {{\Omega }_{ \pm }}, \\ {{\partial }_{n}}{{u}_{ \pm }}(x) = 0,\quad x \in \partial {{\Omega }_{ \pm }}, \\ \end{gathered} $
имеет два используемых далее решения: поле
(10)
$\begin{array}{*{20}{c}} {{{\zeta }_{ \pm }}(x) = \chi (z){{{\left( {2\kappa \left| {{{\omega }_{ \pm }}} \right|} \right)}}^{{ - 1/2}}}({{e}^{{ - i\kappa z}}} + {{S}_{ \pm }}{{e}^{{ + i\kappa z}}}) + \mathop {\widetilde \zeta }\nolimits_ \pm (x),} \end{array}$
включающее приходящую и уходящую волны, и обобщенную функцию Грина

(11)
$\begin{array}{*{20}{c}} \begin{gathered} {{G}_{ \pm }}(x) = {{\chi }_{0}}(x)({{\left( {2\pi \left| x \right|} \right)}^{{ - 1}}} + G_{ \pm }^{0}) + \\ + \;\chi (z){{\left( {2\kappa \left| {{{\omega }_{ \pm }}} \right|} \right)}^{{ - 1/2}}}{{K}_{ \pm }}{{e}^{{ + i\kappa z}}} + \tilde {G}_{ \pm }^{{}}(x). \\ \end{gathered} \end{array}$

При этом остатки ${{\tilde {\zeta }}_{ \pm }}(x)$ и ${{\tilde {G}}_{ \pm }}(x)$ исчезают на бесконечности с экспоненциальной скоростью и справедливо равенство ${{\tilde {G}}_{ \pm }}(\mathcal{O}) = 0$, а ${{S}_{ \pm }}$ и ${{K}_{ \pm }}$, $G_{ \pm }^{0}$ – комплексные числа, зависящие от формы рукава ${{\Omega }_{ \pm }}$ и частоты $\kappa $, причем выполнены соотношения

(12)
$\left| {{{S}_{ \pm }}} \right|\begin{array}{*{20}{c}} { = 1,\quad \zeta (\mathcal{O}) = i{{S}_{ \pm }}{{{\bar {K}}}_{ \pm }}.} \end{array}$

Наконец, χ0 – гладкая срезающая функция с малым носителем, равная единице в окрестности точки $\mathcal{O}$, а функция χ определена формулой (9) при L = 0.

Одномерная модель тонкого канала (3) выглядит следующим образом (см., например, книги [8; 9, гл. 15]):

(13)
$\begin{array}{*{20}{c}} { - \left| \theta \right|{{\partial }_{z}}H(z){{\partial }_{z}}{v}(z) = {{\kappa }^{2}}\left| \theta \right|H(z){v}(z),\quad z \in ( - L,L),} \end{array}$
(14)
$\begin{array}{*{20}{c}} {{v}( \pm L) = 0.} \end{array}$

Пусть параметры $L = L_{ \pm }^{0}$ и H в формулах (3)(5) подобраны так, что

(15)
$\begin{gathered} \begin{array}{*{20}{c}} {(0,\kappa _{\dag }^{2}) \mathrel\backepsilon {{\kappa }^{2}}} \end{array} \\ \\ \end{gathered} $
есть собственное число задачи (13), (14) и v$ \in {{C}^{\infty }}[ - L,L]$ – соответствующая собственная функция. Ясно, что

(16)
$\begin{array}{*{20}{c}} {{{A}_{ \pm }}: = \left| {{{\theta }_{ \pm }}} \right|{{\partial }_{z}}{\mathbf{v}}( \pm L) \ne 0.} \end{array}$

Уравнение (13) с неоднородными краевыми условиями

(17)
$\begin{array}{*{20}{c}} {{v}( \pm L) = {{g}_{ \pm }}} \end{array}$
имеет решение в том и только в том случае, если

(18)
$\begin{array}{*{20}{c}} {{{g}_{ + }}{{A}_{ + }} - {{g}_{ - }}{{A}_{ - }} = 0.} \end{array}$

Последняя из нужных предельных задач возникает в результате растяжения координат

(19)
$\begin{array}{*{20}{c}} {x \mapsto {{\xi }^{{\varepsilon \pm }}} = ({{\varepsilon }^{{ - 1}}}y,{{\varepsilon }^{{ - 1}}}(L_{ \pm }^{\varepsilon } \mp z))} \end{array}$
и формального перехода к ε = 0, которые переделывают область Πε в объединение ${{\Xi }_{ \pm }}$ полупространства $\mathbb{R}_{ - }^{3} = {\text{\{ }}\xi {\text{:}}\;{{\xi }_{3}} < 0{\text{\} }}$ (освободили обозначения от верхних индексов $^{{\varepsilon \pm }}$) и полуцилиндра ${{Q}_{ \pm }} = {{\theta }_{ \pm }} \times [0, + \infty )$, а задачу (6) – в задачу Неймана для уравнения Лапласа

(20)
$\begin{array}{*{20}{c}} \begin{gathered} - {{\Delta }_{\xi }}W(\xi ) = 0,\quad \xi \in {{\Xi }_{ \pm }}, \\ {{\partial }_{{\nu (\xi )}}}W(\xi ) = 0\,\,{\text{в}}\,\,\mathbb{R}_{ - }^{3},\quad \xi \in \partial {{\Xi }_{ \pm }}. \\ \end{gathered} \end{array}$

Любое ограниченное решение задачи (20) – линейная комбинация ${{c}_{0}} + {{c}_{1}}{{W}_{ \pm }}(\xi )$ (см., например, обзор [10, §5]), в которой ${{W}_{ \pm }}$ – гармоническая в области ${{\Xi }_{ \pm }}$ функция с нулевыми данными Неймана на поверхности $\partial {{\Xi }_{ \pm }}$, полностью определенная своим поведением на бесконечности:

(21)
$\begin{array}{*{20}{c}} \begin{gathered} {{W}_{ \pm }}(\xi ) = \\ = \left\{ \begin{gathered} {{\left( {2\pi \left| \xi \right|} \right)}^{{ - 1}}} + O({{\left| \xi \right|}^{{ - 1}}}),\quad \xi \in \mathbb{R}_{ - }^{3},\quad |\xi | \to \infty , \hfill \\ {{\left| {{{\theta }_{ \pm }}} \right|}^{{ - 1}}}({{\xi }_{3}} + {{M}_{ \pm }}) + O({{e}^{{ - {{k}_{ \pm }}{{\xi }_{3}}}}}),\quad \xi \in {{Q}_{ \pm }},\quad {{\xi }_{3}} \to + \infty . \hfill \\ \end{gathered} \right. \\ \end{gathered} \end{array}$

При этом ${{M}_{ \pm }} > 0$ – постоянная, зависящая только от формы сечения ${{\theta }_{ \pm }}$.

4. Асимптотика коэффициентов рассеяния. Поскольку по предположению ${{\kappa }^{2}}$ – собственное число задачи (13), (14), асимптотический анзац для решения (8) задачи (6) на канале Θε выглядит так:

(22)
$\begin{array}{*{20}{c}} \begin{gathered} {{u}^{\varepsilon }}(x) = {{\varepsilon }^{{ - 2}}}{{{v}}^{0}}(z) + {{\varepsilon }^{{ - 1}}}{v}{\text{'}}(z) + \\ + \,{{\varepsilon }^{0}}({v}{\text{''}}(z) + \mathcal{V}({{\varepsilon }^{{ - 1}}}y,z)) + \; \ldots \\ \end{gathered} \end{array}$

Здесь ${{{v}}^{0}} = {{a}^{0}}{\mathbf{v}}$ – собственная функция, ${{a}^{0}}$ и ${v}{\text{'}}$, ${v}{\text{''}}$ – число и функции, подлежащие определению, а многоточие заменяет младшие асимптотические члены, не существенные для предпринимаемого анализа. Кроме того, функция $\mathcal{V}$, имеющая нулевое среднее по сечению, возникает как результат применения процедуры понижения размерности [8, 9, гл. 15] к задаче (6), суженной на тонкий канал (3), но $\mathcal{V} = 0$ в случае прямого ($H = {\text{const}}$) канала и $\mathcal{V}({{\varepsilon }^{{ - 1}}}y,z) = 0$ при $\left| {z \mp L} \right| < {{\ell }_{0}}$ благодаря ограничению (5).

Вблизи зон присоединения канала ${{\Theta }^{\varepsilon }}$ к рукавам $\Omega _{ \pm }^{\varepsilon }$ в силу краевых условий (14) имеем

(23)
$\begin{array}{*{20}{c}} {{{u}^{\varepsilon }}(x) = {{\varepsilon }^{{ - 1}}}( \mp {{a}^{0}}\xi _{3}^{ \pm }{{\partial }_{z}}{\mathbf{v}}( \pm L) + {v}{\text{'}}( \pm L)) + \; \ldots } \end{array}$

При этом $\xi _{3}^{ \pm } = {{\varepsilon }^{{ - 1}}}(L \mp z)$ – растянутая координата, отличающаяся от $\xi _{3}^{{\varepsilon \pm }} = \xi _{3}^{ \pm } + L{\kern 1pt} '\, + \varepsilon L''$ (ср. формулы (9) и (19)). Следовательно, главный член внутреннего разложения

${{u}^{\varepsilon }}(x) = {{\varepsilon }^{{ - 1}}}V_{ \pm }^{0}({{\xi }^{ \pm }}) + {{\varepsilon }^{0}}V_{ \pm }^{'}({{\xi }^{ \pm }}) + \; \ldots $
принимает вид

(24)
$\begin{array}{*{20}{c}} \begin{gathered} V_{ \pm }^{0}({{\xi }^{ \pm }}) = \\ = \mp {{a}^{0}}\left| {{{\theta }_{ \pm }}} \right|{{\partial }_{z}}{\mathbf{v}}( \pm L){{W}_{ \pm }}({{\xi }_{1}},{{\xi }_{2}},{{\xi }_{3}} \pm L{\text{'}} \pm \varepsilon L{\text{''}}) + C_{ \pm }^{0}. \\ \end{gathered} \end{array}$

Вместе с тем внешние разложения в рукавах $\Omega _{ \pm }^{\varepsilon }$

(25)
$\begin{array}{*{20}{c}} {{{u}^{\varepsilon }}(x) = u_{ \pm }^{0}(y,L_{ \pm }^{\varepsilon } \mp z) + \; \ldots } \end{array}$
остаются ограниченными при $\varepsilon \to + 0$, т.е. ввиду затухания функции (21) в полупространстве приходится положить $C_{ \pm }^{0} = 0$ в формуле (24). Следовательно, вблизи точек $\mathcal{O}_{ \pm }^{\varepsilon } = (0,0, \pm L_{ \pm }^{\varepsilon })$ выполнены разложения
(26)
$\begin{array}{*{20}{c}} \begin{gathered} {{\varepsilon }^{{ - 1}}}V_{ \pm }^{0}({{\xi }^{{\varepsilon \pm }}}) = \\ = \left\{ \begin{gathered} \mp {{a}^{0}}{{A}_{ \pm }}{{(2\pi {\text{|}}x - \mathcal{O}_{ \pm }^{\varepsilon }{\text{|}})}^{{ - 1}}} + \mathcal{O}(\varepsilon {\text{|}}x - \mathcal{O}_{ \pm }^{\varepsilon }{{{\text{|}}}^{{ - 2}}}),\quad \pm z < L_{ \pm }^{\varepsilon }, \hfill \\ \mp {{\varepsilon }^{{ - 1}}}{{a}^{0}}{{\partial }_{z}}{\mathbf{v}}( \pm L)(\xi _{3}^{ \pm } + {{M}_{ \pm }} + L_{ \pm }^{'} + \varepsilon L_{ \pm }^{{''}}) + O(1), \hfill \\ \pm z > L_{ \pm }^{\varepsilon }. \hfill \\ \end{gathered} \right. \\ \end{gathered} \end{array}$
Наложим ограничения
(27)
$\begin{array}{*{20}{c}} {L_{ \pm }^{'} = - {{M}_{ \pm }}} \end{array}$
на вторые члены представлений (4) и в результате сравнения второй строки (26) с формулой (23) получим, что ${v}{\text{'}}( \pm L) = 0$, а значит, можно взять ${v}{\text{'}} = 0$ в анзаце (22) на тонком канале.

Внутри рукавов $\Omega _{ \pm }^{\varepsilon }$ сращивание внутреннего разложения из первой строки (26) с внешним разложением (25) при учете проистекающих от (8) условий излучения

$\begin{gathered} u_{ - }^{0}(x) = {{\left( {2\kappa \left| {{{\omega }_{ - }}} \right|} \right)}^{{ - 1/2}}}({{e}^{{ - i\kappa z}}} + {{R}^{0}}{{e}^{{ + i\kappa z)}}}) + \; \ldots , \\ u_{ + }^{0}(x) = {{\left( {2\kappa \left| {{{\omega }_{ + }}} \right|} \right)}^{{ - 1/2}}}{{T}^{0}}{{e}^{{ + i\kappa z}}} + \; \ldots \\ \end{gathered} $
показывает, что
(28)
$\begin{array}{*{20}{c}} \begin{gathered} u_{ - }^{0}(x) = {{\zeta }_{ - }}(x) + {{a}^{0}}{{A}_{ - }}{{G}_{ - }}(x), \\ u_{ + }^{0}(x) = - {{a}^{0}}{{A}_{ + }}{{G}_{ + }}(x) \\ \end{gathered} \end{array}$
и

(29)
$\begin{array}{*{20}{c}} {{{R}^{0}} = {{S}_{ - }} + {{a}^{0}}{{A}_{ - }}{{K}_{ - }},\quad {{T}^{0}} = - {{a}^{0}}{{A}_{ + }}{{K}_{ + }}.} \end{array}$

Согласно формулам (28) и (10), (11) находим:

$u_{ \pm }^{0}(x) = \mp {{a}^{0}}{{A}_{ \pm }}{{\left( {2\pi \left| x \right|} \right)}^{{ - 1}}} + u_{ \pm }^{ \bullet } + O\left( {\left| x \right|} \right),$
(30)
$\begin{array}{*{20}{c}} {u_{ - }^{ \bullet } = {{\zeta }_{ - }}(O) + {{a}^{0}}{{A}_{ - }}G_{ - }^{0},\quad u_{ + }^{ \bullet } = - {{a}^{0}}{{A}_{ + }}G_{ + }^{0}.} \end{array}$

Следовательно, присоединив к (30) множители при $1 = {{\varepsilon }^{0}}$ из формулы (22) и второй строки формулы (26), применим процедуру сращивания на указанном уровне и обнаружим связи

(31)
$\begin{gathered} {v}{\text{''}}( - L) = {{g}_{ - }}: = {{\zeta }_{ - }}(\mathcal{O}) + {{a}^{0}}{{A}_{ - }}G_{ - }^{0} + {{a}^{0}}{{\partial }_{z}}{\mathbf{v}}( - L)L_{ - }^{{''}}, \\ {v}{\text{''}}( + L) = {{g}_{ + }}: = - {{a}^{0}}{{A}_{ + }}G_{ + }^{0} - {{a}^{0}}{{\partial }_{z}}{\mathbf{v}}( + L)L_{ + }^{{{\text{''}}}}. \\ \end{gathered} $

Слагаемое $\mathcal{V}$ из анзаца (22) не сказывается ни на уравнении (13), ни на краевых условиях (31) для функции ${v}{\text{''}}$, а значит, условие (18) ее существования принимает вид

(32)
$\begin{array}{*{20}{c}} {{{A}_{ - }}{{\zeta }_{ - }}(\mathcal{O}) = - {{a}^{0}}\sum\limits_ \pm {{{A}_{ \pm }}} ({{A}_{ \pm }}G_{ \pm }^{0} + {{\partial }_{z}}{\mathbf{v}}( \pm L)L_{ \pm }^{{{\text{''}}}}).} \end{array}$

Осталось как-то зафиксировать величину $L_{ \pm }^{{{\text{''}}}}$, найти коэффициент a0 из соотношения (32) и, подставив его в формулы (29), вычислить главные члены асимптотики коэффициентов рассеяния

(33)
$\begin{array}{*{20}{c}} {{{R}^{\varepsilon }} = {{R}^{0}} + O(\varepsilon ),\quad {{T}^{\varepsilon }} = {{T}^{0}} + O(\varepsilon ).} \end{array}$

5. Обеспечение почти полного прохождения. Для выполнения требований (7) нужно обратить в нуль выражение R0 из (29), т.е. соблюсти равенство

(34)
$\begin{array}{*{20}{c}} {{{S}_{ - }} = - {{a}^{0}}{{A}_{ - }}{{K}_{ - }}.} \end{array}$

Подставив соотношения (34), (12) в равенство (32) и зафиксировав величины

(35)
$\begin{array}{*{20}{c}} {L_{ \pm }^{{''}} = - \left| {{{\theta }_{ \pm }}} \right|{\text{Re}}G_{ \pm }^{0},} \end{array}$
получаем необходимое (и достаточное согласно приведенным асимптотическим конструкциям) условие почти полного прохождения поршневой моды

(36)
$\begin{array}{*{20}{c}} {A_{ - }^{2}{{{\left| {{{K}_{ - }}} \right|}}^{2}} = \sum\limits_ \pm {A_{ \pm }^{2}} {\text{Im}}G_{ \pm }^{0}.} \end{array}$

Числа ${{K}_{ \pm }},G_{ \pm }^{0} \in \mathbb{C}$ определены по заданным рукавам (1), но величины (4) и (16), относящиеся к соединительному каналу (3), по условию находятся в нашем распоряжении, и потому можно добиться выполнения условия (36) путем вариации профильной функции $H$ – длина $L_{ - }^{\varepsilon } + L_{ + }^{\varepsilon }$ канала ${{\Theta }^{\varepsilon }}$ выбирается согласно формулам (15), (27) и (33).

6. Волновод, составленный из прямых цилиндров. Пусть ${{\Omega }_{ \pm }} = {{\omega }_{ \pm }} \times {{\mathbb{R}}_{ + }}$ и ${{\Theta }^{\varepsilon }} = \theta \times [ - {{L}^{\varepsilon }},{{L}^{\varepsilon }}]$. Решая предельные задачи из разд. 3, находим:

(37)
$\begin{gathered} {{\zeta }_{ \pm }}(\mathcal{O}) = \sqrt 2 {{\left( {\kappa \left| {{{\omega }_{ \pm }}} \right|} \right)}^{{ - 1/2}}},\quad {{S}_{ \pm }} = 1, \\ {{K}_{ \pm }} = \sqrt 2 i{{\left( {\kappa \left| {{{\omega }_{ \pm }}} \right|} \right)}^{{ - 1/2}}},\quad {\text{Im}}G_{ \pm }^{0} = - {{\left( {\kappa \left| {{{\omega }_{ \pm }}} \right|} \right)}^{{ - 1}}} \\ {\mathbf{v}}(z) = cos(\kappa z),\quad L = {{(2\kappa )}^{{ - 1}}}\pi m,\quad m \in {\text{\{ }}1,2,3, \ldots {\text{\} }}, \\ {{A}_{ - }} = \kappa {\text{|}}\theta {\text{|}},\quad {{A}_{ + }} = {{( - 1)}^{m}}\kappa {\text{|}}\theta {\text{|}}. \\ \end{gathered} $

Условие (36) почти полного прохождения поршневой моды принимает вид

$2\frac{{\kappa {{{\left| \theta \right|}}^{2}}}}{{\left| {{{\omega }_{ - }}} \right|}} = \sum\limits_ \pm {\frac{{\kappa {{{\left| \theta \right|}}^{2}}}}{{\left| {{{\omega }_{ \pm }}} \right|}}} $
и выполняется исключительно при совпадении площадей сечений рукавов ${{\Omega }_{ \pm }}$.

7. Комментарии. 1. Геометрия. Основную роль, разумеется, играет расстояние $L_{ + }^{\varepsilon } + L_{ - }^{\varepsilon }$ между рукавами, а его разбиение (4) введено лишь для удобства: если, например, $L_{ - }^{'} = 0$ и $L_{ + }^{'} = - {{M}_{ + }} - {{M}_{ - }}$ (ср. формулы (27)), то вывод сохраняется, но второй член ${v}{\text{'}}$ анзаца (22) перестает быть нулевым.

Границы областей ${{\Omega }_{ \pm }}$ и $\theta $ могут быть липшицевыми, в частности, кусочно-гладкими. При этом вместо дифференциальной постановки задачи нужно использовать интегральное тождество – обобщенную постановку задачи. Допускаются кусочно-гладкие профильные функции $H$, в частности, выбор параметров $L$, ${{L}_{ * }}$ и ${{H}_{ \pm }} > 0$ в случае кусочно-постоянного профиля

$\begin{gathered} H(z) = {{H}_{ - }}\quad {\text{при}}\quad z \in [ - L,{{L}_{ * }}), \\ H(z) = {{H}_{ + }}\quad {\text{при}}\quad z \in ({{L}_{ * }},L] \\ \end{gathered} $
позволяет добиться почти полного прохождения волны в ситуации ${{\Omega }_{ \pm }} = {{\omega }_{ \pm }} \times {{\mathbb{R}}_{ + }}$, $\left| {{{\omega }_{ - }}} \right| \ne \left| {{{\omega }_{ + }}} \right|$ из разд. 6.

Предположение об уплощении поверхностей $\partial {{\Omega }_{ \pm }}$ в окрестности начала координат $\mathcal{O}$ тривиализует процедуру сращивания, но результат остается прежним и для изогнутых границ, а для конических точек $\mathcal{O} \in \partial {{\Omega }_{ \pm }}$ предложенный подход требует несущественных изменений (см. монографию [9, гл. 5]). Искривление оси канала ${{\Theta }^{\varepsilon }}$ также не сказывается на предельном уравнении (13) (ср. публикации [11] и [9, гл. 15, 16]).

2. Полное прохождение. Проведенный асимптотичсекий анализ в принципе позволяет достичь даже полного прохождения (${{R}^{\varepsilon }} = 0$) поршневой моды, так как выбор величин $L_{ \pm }^{{''}}$ позволяет компенсировать возмущение мнимых частей выражений в (32), а вариация профиля H и как следствие величин ${{A}_{ \pm }}$ – возмущение вещественных частей. Вместе с тем необходимая процедура настройки усложняется значительно (см. статьи [1113] для родственных задач) и вопрос оставлен открытым.

3. Отражение. Если κ2 не является собственным числом задачи (13), (14), то внешние разложения (25) и (22) включают функции $u_{ - }^{0} = {{\zeta }_{ - }}$, $u_{ + }^{0} = 0$ и решение ${{{v}}^{0}}$ задачи (13), (17) с правыми частями ${{g}_{ - }} = {{\zeta }_{ - }}(\mathcal{O})$, ${{g}_{ + }} = 0$. Таким образом, ${{R}^{0}} = {{S}_{ - }}$ и ${{T}^{0}} = 0$ в представлениях (33) коэффициентов рассеяния, т.е. реализуется почти полное отражение поршневой моды.

Если нарушить “настройку” (35) длины канала Θε, то также возникает существенное отражение волны. Например, для составного цилиндрического волновода из разд. 6 при дополнительном ограничении $\left| \omega \right| = \left| {{{\omega }_{ + }}} \right| = \left| {{{\omega }_{ - }}} \right|$ положим

$L_{ \pm }^{{''}} = \left| \theta \right|({\text{Re}}G_{ \pm }^{0} - {{\left( {\kappa \left| \omega \right|} \right)}^{{ - 1}}}t),\quad t \in \mathbb{R}.$

Согласно соотношениям (29), (32) и (37) главные члены представлений (33) коэффициентов рассеяния принимают вид

${{R}^{0}}(t) = 1 - \frac{{1 + it}}{{1 + {{t}^{2}}}},\quad {{T}^{0}}(t) = {{( - 1)}^{{1 + m}}}\frac{{1 + it}}{{1 + {{t}^{2}}}}.$

Модуль ${\text{|}}{{T}^{0}}(t){\text{|}} = {{(1 + {{t}^{2}})}^{{ - 1}}}$ коэффициента прохождения монотонно убывает при возрастании малого отклонения $2{{\varepsilon }^{2}}t{{\left( {\kappa \left| \omega \right|} \right)}^{{ - 1}}}\left| \theta \right|$ от “правильно выбранной” длины канала. Пути $\mathbb{R} \ni t \mapsto {{R}^{0}}(t)$, ${{T}^{0}}(t) \in \mathbb{C}$ суть окружности с радиусом $\frac{1}{2}$ и центрами в точках $\frac{1}{2}$, $\frac{{{{{( - 1)}}^{{1 + m}}}}}{2}$ на вещественной оси.

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

  1. Wood R. On the remarkable case of uneven distribution of light in a difraction grating spectrum // Proc. Phys. Soc. London. 1902. V. 18. P. 269–275.

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

  3. Fano U. Effects of configuration interaction on intensities and phase shifts // Physical Review. 1961. V. 124. № 6. P. 1866–1878.

  4. Назаров С.А. Аномалии рассеяния акустических волн вблизи точек отсечки непрерывного спектра (обзор) // Акустический журнал. 2020. Т. 66. № 5. С. 489–508.

  5. Kriegsmann G.A. Complete transmission through a two-dimensional difffraction grating // SIAM J. Appl. Math. 2004. V. 65. № 1. P. 24–42.

  6. Lin J., Zhang H. Scattering by a periodic array of subwavelength slits I: Field enhancement in the diffraction regime // Multiscale Model. Sim. 2018. V. 16. № 2. P. 922–953.

  7. Руденко О.В., Шварцбург А.Б. О нелинейных и линейных волновых явлениях в узких трубках // Акустический журнал. 2019. Т. 65. № 3. С. 305–310.

  8. Назаров С.А. Асимптотическая теория тонких пластин и стержней. Понижение размерности и интегральные оценки. Новосибирск: Научная книга, 2002. 408 с.

  9. Mazja W.G., Nasarow S.A., Plamenewski B.A. Asymptotische Theorie elliptischer Randwertaufgaben in singulär gestörten Gebieten. 1. B.: Akademie-Verlag, 1991. 432 s.

  10. Назаров С.А. Полиномиальное свойство самосопряженных эллиптических краевых задач и алгебраическое описание их атрибутов // Успехи матем. наук. 1999. Т. 54. № 5. С. 77–142.

  11. Chesnel L., Nazarov S.A., Taskinen J. Surface waves in a channel with thin tunnels at the bottom: non-reflecting underwater topography // Asymptotic Analysis. 2020. V. 118. № 1, 2. P. 81–122.

  12. Bonnet-Ben Dhia A.-S., Chesnel L., Nazarov S.A. Perfect transmission invisibility for waveguides with sound hard walls // J. Math. Pures Appl. 2018. V. 111. P. 79–105.

  13. Chesnel L., Nazarov S.A., Pagneux V. Invisibility and perfect reflectivity in waveguides with finite length branches // SIAM J. Appl. Math. 2018. V. 78. № 4. P. 2176–2199.

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