Прикладная математика и механика, 2019, T. 83, № 2, стр. 265-281

СТРАННОЕ ПОВЕДЕНИЕ ЧАСТОТ СОБСТВЕННЫХ КОЛЕБАНИЙ УПРУГОГО ТЕЛА С ЗАТУПЛЕННЫМ ПИКОМ

С. А. Назаров *

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

* E-mail: srgnazarov@yahoo.co.uk

Поступила в редакцию 24.08.2018
После доработки 18.12.2018
Принята к публикации 25.12.2018

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

Аннотация

Острие пика на поверхности упругого тела $\Omega $ порождает непрерывный спектр, провоцирующий волновые процессы в конечном объеме (“черные дыры” для упругих волн). Спектр тела ${{\Omega }^{h}}$ с затупленным пиком дискретный, но входящие в него нормальные собственные числа приобретают “странное поведение” при стремлении к нулю длины $h$ обломанного кончика. В разных ситуациях обнаружены собственные числа, не покидающие малой окрестности фиксированной точки или наоборот ниспадающие вдоль вещественной оси с большой скоростью, но плавно опускающиеся на нижний порог непрерывного спектра тела $\Omega $. Может случиться и хаотичное блуждание собственных чисел выше второго порога. Обнаружен новый механизм формирования непрерывного спектра тела $\Omega $ с острием из семейства дискретных спектров тел ${{\Omega }^{h}}$ с затупленным пиком, $h > 0$.

Ключевые слова: затупленный пик, дискретный и непрерывный спектр, асимптотика, “мигающие” и “планирующие” собственные частоты

1. Тело с пиком. Деформируемое тело $\Omega \subset {{\mathbb{R}}^{3}}$ ограничено поверхностью $\partial \Omega $, гладкой (класса ${{C}^{\infty }}$ для простоты) всюду кроме точки $\mathcal{O}$, начала декартовых координат x = $({{x}_{1}},{{x}_{2}},{{x}_{3}})$. В окрестности этой точки тело имеет форму пика (левая часть фигуры 1)

(1.1)
$\begin{array}{*{20}{c}} {{{\Pi }^{d}} = } \end{array}\{ x = (y,z):z = {{x}_{3}} \in (0,d),\;\eta : = {{z}^{{ - m}}}y \in \omega \subset {{\mathbb{R}}^{2}}\} $
Фиг. 1

Здесь $d > 0$ – длина пика (1.1), $m \geqslant 1$ – показатель заострения, а $\omega $ – эталонное сечение, ограниченное простым замкнутым гладким контуром $\partial \omega $. Масштабированием сведем характерный размер области $\omega $ к единице и сделаем декартовы координаты и геометрические параметры безразмерными.

Рассмотрим задачу о гармонических во времени упругих колебаниях анизотропного и однородного тела, записанную в краткой форме

(1.2)
$\begin{array}{*{20}{c}} {Lu = \Lambda u\;{\text{в }}\;\Omega ,\quad Bu = 0\;{\text{н а }}\;\partial \Omega {\backslash }\mathcal{O}} \end{array}$

При этом $u$ – вектор смещений, $\Lambda = \rho {{\gamma }^{2}}$ – спектральный параметр, $\gamma \geqslant 0$ – частота колебаний, $\rho > 0$ – плотность материала, $n = ({{n}_{1}},{{n}_{2}},{{n}_{3}})$ – единичный вектор внешней нормали, а дифференциальные операторы $L$ и $B$ второго и первого порядков соответственно выражаются через декартовы компоненты ${{\sigma }_{{jk}}}$ тензора напряжений

${{(Lu)}_{j}} = - \sum\limits_{k = 1,2,3} \frac{\partial }{{\partial {{x}_{k}}}}{{\sigma }_{{kj}}}(u),\quad {{(Bu)}_{j}} = \sum\limits_{k = 1,2,3} {{n}_{k}}{{\sigma }_{{kj}}}(u)$

Установлено [13], что при $m \in \left[ {1,2} \right)$ спектр задачи (1.2) дискретный, т.е. состоит из нормальных собственных чисел (СЧ) конечных кратностей с единственной точкой сгущения на бесконечности, однако при $m \geqslant 2$ спектр приобретает непрерывную компоненту $[{{\Lambda }^{\dag }}, + \infty )$. В рассматриваемом далее случае

$m = 2$
точка отсечки ${{\Lambda }^{\dag }}$ положительна, но ${{\Lambda }^{\dag }} = 0$ при $m > 2$. Непрерывный спектр порождает волновые процессы в конечном объеме (1.1), известные [46] в инженерной практике как “черные дыры” для упругих и акустических волн. Вместе с тем, в реальности идеальное острие недостижимо, и далее изучается задача
(1.3)
$\begin{array}{*{20}{c}} {L{{u}^{h}} = {{\Lambda }^{h}}{{u}^{h}}\;{\text{в }}\;{{\Omega }^{h}},\quad B{{u}^{h}} = 0\;{\text{н а }}\;\partial {{\Omega }^{h}}} \end{array}$
о колебаниях тела с затупленным пиком (правая часть фигуры 1)

(1.4)
$\begin{array}{*{20}{c}} {{{\Omega }^{h}} = \Omega {\kern 1pt} {\backslash }{\kern 1pt} \overline {{{\Pi }^{h}}} ,\quad h \ll d} \end{array}$

Поверхность $\partial {{\Omega }^{h}}$ липшицева, а значит, у задачи (1.3) при $h > 0$ формируется полностью дискретный спектр

(1.5)
$\begin{array}{*{20}{c}} {0 = \Lambda _{1}^{h} = \ldots = \Lambda _{6}^{h} < \Lambda _{7}^{h} \leqslant \Lambda _{8}^{h} \leqslant \ldots \leqslant \Lambda _{p}^{h} \leqslant \ldots \to + \infty } \end{array}$

Шесть нулевых СЧ отвечают смещениям тела (1.4) как жесткого целого.

Далее исследуется асимптотика при $h \to + 0$ положительных членов последовательности (1.5), среди которых выявлены “малоподвижные”, “планирующие” и “блуждающие” СЧ (разд. 5, 8 и 9 соответственно). Кроме того, описан (разд. 8) новый способ формирования непрерывного спектра $[{{\Lambda }^{\dag }}, + \infty )$ из семейства дискретных спектров (1.5): всякая точка $\Lambda > {{\Lambda }^{\dag }}$ становится СЧ задачи (1.4) для почти периодической в логарифмическом масштабе $\left| {lnh} \right|$ бесконечно малой последовательности $\left\{ {{{h}_{n}}(\Lambda )} \right\}_{{n = 1}}^{\infty }$, однако обычно лежит вне спектра (1.5) в промежутках между критическими длинами ${{h}_{n}}(\Lambda )$ и ${{h}_{{n + 1}}}(\Lambda )$. Иными словами, выше порога ${{\Lambda }^{\dag }}$ непрерывного спектра наблюдается эффект “мигания” СЧ при уменьшении длины обломка ${{\Pi }^{h}}$ и восстановлении идеального острия (разд. 7).

2. Асимптотическое поведение упругих полей в пике. Поскольку диаметр $O({{\zeta }^{2}})$ сечения

(2.1)
$\begin{array}{*{20}{c}} {{{\omega }^{\zeta }} = \{ x = (y,z) \in {{\Pi }^{d}}:z = \zeta \} ,\quad \zeta > 0} \end{array}$
много меньше расстояния $\zeta \ll d$ до вершины $\mathcal{O}$, применим процедуру понижения размерности [17], в которой удобно использовать матричную форму [810] записи определяющих соотношений теории упругости. Вектор смещений $u$ представим как столбец ${{({{u}_{1}},{{u}_{2}},{{u}_{3}})}^{ \top }}$ в фиксированной системе координат $x$; здесь $ \top $ – знак транспонирования и ${{u}_{j}}$ – проекция вектора на ось ${{x}_{j}}$, $j = 1,2,3$. Закон Гука
$\sigma (u) = A\varepsilon (u)$
включает симметричную положительно определенную постоянную (6 × 6) -матрицу $A$ упругих модулей и связывает столбец напряжений
(2.2)
$\begin{array}{*{20}{c}} {\sigma (u) = {{{({{\sigma }_{{11}}}(u),{{\sigma }_{{22}}}(u),\;\sqrt 2 {{\sigma }_{{12}}}(u),\;\sqrt 2 {{\sigma }_{{13}}}(u),\;\sqrt 2 {{\sigma }_{{23}}}(u),{{\sigma }_{{33}}}(u))}}^{ \top }}} \end{array}$
со столбцом деформаций такого же строения

(2.3)
$\begin{gathered} \varepsilon (u) = D({{\nabla }_{x}})u \\ D{{({{\nabla }_{x}})}^{ \top }} = \left( {\begin{array}{*{20}{c}} {{{\partial }_{1}}}&0&{{{2}^{{ - 1/2}}}{{\partial }_{2}}}&{{{2}^{{ - 1/2}}}{{\partial }_{3}}}&0&0 \\ 0&{{{\partial }_{2}}}&{{{2}^{{ - 1/2}}}{{\partial }_{1}}}&0&{{{2}^{{ - 1/2}}}{{\partial }_{3}}}&0 \\ 0&0&0&{{{2}^{{ - 1/2}}}{{\partial }_{1}}}&{{{2}^{{ - 1/2}}}{{\partial }_{2}}}&{{{\partial }_{3}}} \end{array}} \right) \\ {{\nabla }_{x}} = \left( {\begin{array}{*{20}{c}} {{{\partial }_{1}}} \\ {{{\partial }_{2}}} \\ {{{\partial }_{3}}} \end{array}} \right),\quad {{\partial }_{j}} = \frac{\partial }{{\partial {{x}_{j}}}} \\ \end{gathered} $

Множители ${{2}^{{1/2}}}$ и ${{2}^{{ - 1/2}}}$ введены в определения (2.2) и (2.3) для того, чтобы уравнять естественные нормы тензоров второго ранга и изображающих их столбцов высотой шесть.

Асимптотическое разложение поля смещений вблизи вершины пика имеет вид [1, 3, 7]

(2.4)
$\begin{array}{*{20}{c}} {u(y,z) = {{U}^{{ - 2}}}(z) + {{U}^{{ - 1}}}(y,z) + {{U}^{0}}(y,z) + {{U}^{{ - 1}}}(y,z) + {{U}^{{ - 2}}}(y,z) + \tilde {u}(y,z)} \end{array}$
(2.5)
$\begin{array}{*{20}{c}} {{{U}^{{ - 2}}}(z) = \sum\limits_{j = 1,2} {{e}_{{(j)}}}{{w}_{j}}(z),\quad {{U}^{{ - 1}}}(y,z) = {{e}_{{(3)}}}\left( {{{w}_{3}}(z) - \sum\limits_{j = 1,2} {{y}_{j}}\frac{{\partial {{w}_{1}}}}{{\partial z}}(z)} \right) + {{w}_{4}}(z)\theta (y)} \end{array}$
(2.6)
$\begin{gathered} \theta (y) = {{2}^{{ - 1/2}}}({{y}_{1}}{{e}_{{(2)}}} - {{y}_{2}}{{e}_{{(1)}}}) = {{z}^{2}}\theta (\eta ) \\ {{w}_{j}}(z) = {{z}^{{\kappa - 5/2}}}{{\mathcal{W}}_{j}},\quad j = 1,2,\quad {{w}_{3}}(z) = {{z}^{{\kappa - 3/2}}}{{\mathcal{W}}_{3}},\quad {{w}_{4}}(z) = {{z}^{{\kappa - 7/2}}}{{\mathcal{W}}_{4}} \\ \end{gathered} $

Свойства малого остатка $\tilde {u}$ будут описаны в разд. 3 и 5, ${{e}_{{(k)}}}$ – орт оси ${{x}_{k}}$, $\theta (y)$ – поворот вокруг оси ${{x}_{3}}$, а комплексные число $\kappa \in \mathbb{C}$ и столбец $\mathcal{W}$ = ${{({{\mathcal{W}}_{1}},{{\mathcal{W}}_{2}},{{\mathcal{W}}_{3}},{{\mathcal{W}}_{4}})}^{ \top }}$${{\mathbb{C}}^{4}}$ подлежат определению вместе со слагаемыми суммы (2.4)

(2.7)
$\begin{array}{*{20}{c}} {{{U}^{p}}(y,z) = {{z}^{{p + 2 + \kappa - 5/2}}}{{\mathcal{U}}^{p}}(\eta ),\quad p = 0,1,2} \end{array}$

Причина введения вычитаемого 5/2 в показатели степеней переменной $z$ станет понятной в разд. 3. Согласно равенствам

${{\nabla }_{y}}({{z}^{\tau }}\mathcal{V}({{z}^{{ - 2}}}y)) = {{\left. {{{z}^{{\tau - 2}}}{{\nabla }_{\eta }}\mathcal{V}(\eta )} \right|}_{{\eta = {{z}^{{ - 2}}}y}}}$
${{\partial }_{z}}({{z}^{\tau }}\mathcal{V}({{z}^{{ - 2}}}y)) = {{z}^{{\tau - 1}}}{{\left. {(\tau \mathcal{V}(\eta ) - 2{{\eta }^{ \top }}{{\nabla }_{\eta }}\mathcal{V}(\eta ))} \right|}_{{\eta = {{z}^{{ - 2}}}y}}}$
градиент-оператор ${{\nabla }_{y}} = {{({{\partial }_{1}},{{\partial }_{2}})}^{ \top }}$ понижает показатель однородности $\tau $ сложной функции ${{z}^{\tau }}\mathcal{V}({{z}^{{ - 2}}}y)$ на два, а дифференцирование по продольной координате $z$ – только на единицу.

Обозначим $\nu = {{({{\nu }_{1}},{{\nu }_{2}})}^{ \top }}$ единичный вектор внешней нормали к контуру $\partial \omega \subset {{\mathbb{R}}^{2}}$. Трехмерная нормаль на поверхности ${{\Gamma }^{d}}$ = $\{ x:z \in (0,d)$, $\eta \in \omega \} $ принимает вид

$n = n_{0}^{{ - 1}}{{({{\nu }_{1}},{{\nu }_{2}}, - 2z{{\eta }^{ \top }}\nu )}^{ \top }},\quad {{n}_{0}} = {{(1 + 4{{z}^{2}}{{\left| {{{\eta }^{ \top }}\nu } \right|}^{2}})}^{{1/2}}}$

Матричные дифференциальные операторы $L({{\nabla }_{x}})$ и $B(x,{{\nabla }_{x}})$ из уравнений (1.2) допускают расщепления

$L = {{L}^{0}} + {{L}^{1}} + {{L}^{2}},\quad n_{0}^{{1/2}}B = {{B}^{0}} + {{B}^{1}} + {{B}^{2}}$
${{L}^{0}}({{\nabla }_{y}}) = D{{( - {{\nabla }_{y}},0)}^{ \top }}AD({{\nabla }_{y}},0),\quad {{L}^{2}}({{\partial }_{z}}) = D{{(0, - {{\partial }_{z}})}^{ \top }}AD({{\partial }_{z}},0)$
(2.8)
$\begin{array}{*{20}{c}} {{{L}^{1}}({{\nabla }_{y}},{{\partial }_{z}}) = D{{{( - {{\nabla }_{y}},0)}}^{ \top }}AD(0,{{\partial }_{z}}) + D{{{(0, - {{\partial }_{z}})}}^{ \top }}AD(0,{{\nabla }_{y}})} \end{array}$
${{N}^{0}}(y,z,{{\nabla }_{y}}) = D{{(\nu ({{z}^{{ - 2}}}y),0)}^{ \top }}AD({{\nabla }_{y}},0),\quad {{N}^{2}}(y,z,{{\partial }_{z}}) - 2zD(0,{{z}^{{ - 2}}}{{y}^{ \top }}\nu ({{z}^{{ - 2}}}y))AD(0,{{\partial }_{z}})$
${{N}^{1}}(y,z,{{\nabla }_{y}},{{\partial }_{z}}) = D{{(\nu ({{z}^{{ - 2}}}y),0)}^{ \top }}AD(0,{{\partial }_{z}}) - 2zD{{(0,{{z}^{{ - 2}}}{{y}^{ \top }}\nu ({{z}^{{ - 2}}}y))}^{ \top }}AD({{\nabla }_{y}},0)$

При этом операторы ${{L}^{q}}$ и ${{B}^{q}}$ понижают порядки однородностей вектор-функций (2.7) на $q - 4$ и $q - 2$ соответственно.

Подставим разложения (2.4) и (2.8) в уравнения (1.2) и соберем члены с одинаковыми порядками относительно переменной $z$. В результате получим последовательность плоских задач теории упругости на сечениях пика (1.1)

(2.9)
$\begin{gathered} {{L}^{0}}{{U}^{q}} = {{F}^{q}}: = - {{L}^{1}}{{U}^{{q - 1}}} - {{L}^{2}}{{U}^{{q - 2}}} + \Lambda {{\delta }_{{2,q}}}{{U}^{{ - 2}}}\;{\text{н а }}\;{{\omega }^{z}} \\ {{N}^{0}}{{U}^{q}} = {{G}^{q}}: = - {{B}^{1}}{{U}^{{q - 1}}} - {{B}^{2}}{{U}^{{q - 2}}}\;{\text{н а }}\;\partial {{\omega }^{z}} \\ \end{gathered} $

Здесь $q = - 2,\; \ldots ,\;2$, ${{U}^{p}} = 0$ при $p < - 2$, ${{\delta }_{{p,q}}}$ – символ Кронекера.

Вектор-функции (2.5) удовлетворяют задачам (2.9) при $q = - 2$ и $q = - 1$ соответственно. Проверено [1, 7], что поочередное решение задач (2.9), точнее, соблюдение условий их разрешимости

(2.10)
$\begin{gathered} \int\limits_{{{\omega }^{z}}} F_{k}^{q}(y,z)dy + \int\limits_{\partial {{\omega }^{z}}} G_{k}^{q}(y,z)d{{s}_{y}} = 0,\quad k = 1,2,3 \\ \int\limits_{{{\omega }^{z}}} \theta {{(y)}^{ \top }}{{F}^{q}}(y,z)dy + \int\limits_{\partial {{\omega }^{z}}} \theta {{(y)}^{ \top }}{{G}^{q}}(y,z)d{{s}_{y}} = 0 \\ \end{gathered} $
приводит к системе обыкновенных дифференциальных уравнений для вектор-функции w = ${{({{w}_{1}},{{w}_{2}},{{w}_{3}},{{w}_{4}})}^{ \top }}$. Для ее описания частично воспроизведем выкладки из [10], гл. 5, и [1, 7].

При учете связи

$D({{\nabla }_{y}},0){{U}^{{ - 1}}} + D(0,{{\partial }_{z}}){{U}^{{ - 2}}} = 0$
правые части задачи (2.9) с индексом $q = 0$ принимают вид

(2.11)
$\begin{gathered} {{F}^{0}} = D{{({{\nabla }_{y}},0)}^{ \top }}AD(0,{{\partial }_{z}}){{U}^{{ - 1}}},\quad {{G}^{0}} = - D{{(\nu ,0)}^{ \top }}AD(0,{{\partial }_{z}}){{U}^{{ - 1}}} \\ D(0,{{\partial }_{z}}){{U}^{{ - 1}}}(y,z) = {\mathbf{Y}}(y){\mathbf{D}}({{\partial }_{z}})w(z) \\ {\mathbf{Y}}(y) = \mathop {\left( {\begin{array}{*{20}{c}} 0&0&0&0&0&{ - {{y}_{1}}} \\ 0&0&0&0&0&{ - {{y}_{2}}} \\ 0&0&0&0&0&1 \\ 0&0&0&{ - {{y}_{2}}{\text{/}}2}&{{{y}_{1}}{\text{/}}2}&0 \end{array}} \right)}\nolimits^ \top ,\quad {\mathbf{D}}({{\partial }_{z}}) = \left( {\begin{array}{*{20}{c}} {\partial _{z}^{2}}&0&0&0 \\ 0&{\partial _{z}^{2}}&0&0 \\ 0&0&{{{\partial }_{z}}}&0 \\ 0&0&0&{{{\partial }_{z}}} \end{array}} \right) \\ \end{gathered} $

При помощи формулы интегрирования по частям проверено ([10], гл. 5, и [1, 7]), что выполнены все условия разрешимости (2.10) задачи (2.9) с индексом $q = 0$. Таким образом, справедливы соотношения

(2.12)
$\begin{gathered} {{U}^{0}}(y,z) = {\mathbf{X}}(y,z){\mathbf{D}}({{\partial }_{z}})w(z),\quad {\mathbf{X}} = ({{{\mathbf{X}}}^{1}},{{{\mathbf{X}}}^{2}},{{{\mathbf{X}}}^{3}},{{{\mathbf{X}}}^{4}}) \\ {{{\mathbf{X}}}^{l}}(y,z) = {{z}^{4}}{{X}^{l}}({{z}^{{ - 2}}}y),\quad l = 1,2,4,\quad {{{\mathbf{X}}}^{3}}(y,z) = {{z}^{2}}{{X}^{3}}({{z}^{{ - 2}}}y) \\ \end{gathered} $

Матрица ${\mathbf{X}}$ размером 4 × 3 находится из разрешимой задачи

(2.13)
$\begin{array}{*{20}{c}} {{{L}^{0}}{\mathbf{X}} = D{{{({{\nabla }_{y}},0)}}^{ \top }}A{\mathbf{Y}}\;{\text{н а }}\;{{\omega }^{z}},\quad {{B}^{0}}{\mathbf{X}} = - D{{{(\nu ,0)}}^{ \top }}A{\mathbf{Y}}\;{\text{н а }}\;\partial {{\omega }^{z}}} \end{array}$

Установлено [1, 7], что первые два ($k = 1,2$) условия разрешимости задачи (2.9) с индексом $q = 1$ выполнены автоматически, а два остальных условия превращаются в две нижние строки искомой системы четырех обыкновенных дифференциальных уравнений

(2.14)
$\begin{array}{*{20}{c}} {{\mathbf{D}}{{{( - {{\partial }_{z}})}}^{ \top }}{\mathbf{A}}(z){\mathbf{D}}({{\partial }_{z}})w(z) = \Lambda {\mathbf{T}}{{z}^{4}}w(z),\quad z > 0} \end{array}$
(2.15)

Две верхние строки системы (2.14), включающие спектральный параметр $\Lambda $ и площадь $\left| \omega \right|$ области $\omega \subset {{\mathbb{R}}^{2}}$, – результат выполнения первых двух условий разрешимости (2.10) задачи (2.9) с индексом $q = 2$. Доказано [1], что (4 × 4)-матрица ${\mathbf{A}}{\text{(1)}}$ симметрична и положительно определена.

Предельная одномерная задача на оси пика получена. В случае изотропного материала с модулем Юнга $E$ и модулем сдвига $\mu $ имеем

${\mathbf{A}}{\text{(1)}} = \left( {\begin{array}{*{20}{c}} {E{{I}_{{11}}}}&{E{{I}_{{12}}}}&{ - E|\omega |{{P}_{1}}}&0 \\ {E{{I}_{{12}}}}&{E{{I}_{{22}}}}&{ - E|\omega |{{P}_{2}}}&0 \\ { - E\left| \omega \right|{{P}_{1}}}&{ - E|\omega |{{P}_{2}}}&{E|\omega |}&0 \\ 0&0&0&{\mu G{\text{/}}2} \end{array}} \right)$

При этом $P$, $I$ и $G$ – центр тяжести, тензор инерции и жесткость кручения области $\omega \subset {{\mathbb{R}}^{2}}$ (см., например, [10], гл. 5 и приложение G в книге [11]). Задача (2.9) распадается на плоскую и антиплоскую задачи для плоского изотропного тела.

3. Упругие волны в пике. Разобьем матрицу ${\mathbf{A}}(z)$ на блоки размером 2 × 2 и введем (2 × 2)-матрицу ${\mathbf{M}}(z)$, также симметричную и положительно определенную:

(3.1)
$\begin{array}{*{20}{c}} {{\mathbf{A}} = \left( {\begin{array}{*{20}{c}} {{{{\mathbf{A}}}_{{\# \# }}}}&{{{{\mathbf{A}}}_{{\# \bullet }}}} \\ {{{{\mathbf{A}}}_{{ \bullet \# }}}}&{{{{\mathbf{A}}}_{{ \bullet \bullet }}}} \end{array}} \right),\quad \begin{array}{*{20}{c}} {{\mathbf{M}} = {{{\mathbf{A}}}_{{\# \# }}} - {{{\mathbf{A}}}_{{\# \bullet }}}{\mathbf{A}}_{{ \bullet \bullet }}^{{ - 1}}{{{\mathbf{A}}}_{{ \bullet \# }}}} \\ {{\mathbf{M}}(z) = {{z}^{4}}{\mathbf{M}}{\text{(1)}}{{z}^{4}}} \end{array}} \end{array}$

Исключим неизвестные ${{w}_{ \bullet }} = {{({{w}_{3}},{{w}_{4}})}^{ \top }}$ из системы (2.14) и образуем систему двух уравнений для вектор-функции ${{w}_{\# }} = {{({{w}_{1}},{{w}_{2}})}^{ \top }}$

(3.2)
$\begin{array}{*{20}{c}} { - \partial _{z}^{2}{\mathbf{M}}(z)\partial _{z}^{2}{{w}_{\# }}(z) = \Lambda {{z}^{4}}\left| \omega \right|{{w}_{\# }}(z),\quad z > 0} \end{array}$

Пусть $0 < {{{\mathbf{m}}}_{1}} \leqslant {{{\mathbf{m}}}_{2}}$ – СЧ матрицы ${\mathbf{M}}{\text{(1)}}$, а $\mathcal{W}_{\# }^{1}$ и $\mathcal{W}_{\# }^{2}$ – соответствующие ортонормированные собственные векторы (СВ). Показатели однородности $\kappa - 5{\text{/}}2$ функций ${{w}_{1}}$ и ${{w}_{2}}$ из списка (2.6) подобраны так, что характеристические биквадратные уравнения для системы (3.2) эйлеровского типа принимают простой вид

(3.3)
$\begin{array}{*{20}{c}} {{{{\mathbf{m}}}_{j}}(4{{\kappa }^{2}} - 49)(4{{\kappa }^{2}} - 25) = 16\Lambda \left| \omega \right|} \end{array}$

При условии

(3.4)
$\begin{array}{*{20}{c}} {\Lambda > \Lambda _{j}^{\dag }: = {{{\mathbf{m}}}_{j}}\frac{{1225}}{{16\left| \omega \right|}}} \end{array}$
уравнение (3.3) имеет два вещественных и два чисто мнимых корня

(3.5)
$\begin{array}{*{20}{c}} {\kappa _{j}^{{i \pm }} = \pm i\sqrt {K_{j}^{ - }} ,\quad \kappa _{j}^{{r \pm }} = \pm \sqrt {K_{j}^{ + }} ,\quad K_{j}^{ \pm } = \sqrt {9 + \Lambda \frac{{\left| \omega \right|}}{{{{{\mathbf{m}}}_{j}}}}} \pm \frac{{37}}{4} > 0} \end{array}$

В случае $\Lambda < \Lambda _{j}^{\dag }$ все корни уравнения (3.3) вещественные.

Корни (3.5) и СВ $\mathcal{W}_{\# }^{j}$ формируют решения

(3.6)
$\begin{array}{*{20}{c}} {w_{{(j\# )}}^{{b \pm }}(z) = {{z}^{{\kappa _{j}^{{\flat \pm }} - 5/2}}}\mathcal{W}_{\# }^{j},\quad \flat = i,r} \end{array}$
укороченной системы уравнений (3.2), но проверенная ([7], разд. 2, § 3) формула
(3.7)
$\begin{array}{*{20}{c}} {w_{{(j \bullet )}}^{{b \pm }}(z) = \int {{{{\mathbf{A}}}_{{ \bullet \bullet }}}{{{(z)}}^{{ - 1}}}} {{{\mathbf{A}}}_{{ \bullet \# }}}(z)\partial _{z}^{2}w_{{(j\# )}}^{{b \pm }}(z)dz} \end{array}$
восстанавливает недостающую часть вектора $w_{{(j)}}^{{b \pm }}$ высотой четыре.

Еще два решения системы (2.14)

(3.8)
$\begin{array}{*{20}{c}} {{{w}^{{30}}} = {{{(0,0,1,0)}}^{ \top }},\quad {{w}^{{40}}} = {{{(0,0,0,1)}}^{ \top }}} \end{array}$
подчинены соотношениям (2.6) с показателями ${{\kappa }_{3}} = 3{\text{/}}2$, ${{\kappa }_{4}} = 7{\text{/}}2$ и связаны с продольным жестким смещением пика и поворотом вокруг оси $z$. Наконец, решения
(3.9)
$\begin{array}{*{20}{c}} {{{w}^{{p1}}}(z) = {{z}^{{ - {{\kappa }_{p}} - 5/2}}}{{{(\mathcal{W}_{1}^{{p1}},\mathcal{W}_{2}^{{p1}},z\mathcal{W}_{3}^{{p1}},{{z}^{{ - 1}}}\mathcal{W}_{4}^{{p1}})}}^{ \top }},\quad p = 3,4} \end{array}$
отвечают продольной силе и крутящему моменту. При исследовании волновых процессов решения (3.8) и (3.9) не играют существенной роли.

Далее рассматриваем две принципиально разные ситуации

(3.10)
$\begin{array}{*{20}{c}} {\Lambda \in (\Lambda _{1}^{\dag },\Lambda _{2}^{\dag }),\quad {{\Lambda }^{\dag }}: = \Lambda _{1}^{\dag } < \Lambda _{2}^{\dag }} \end{array}$
(3.11)
$\begin{array}{*{20}{c}} {\Lambda \in (\Lambda _{2}^{\dag }, + \infty ),\quad \Lambda _{1}^{\dag } \leqslant \Lambda _{2}^{\dag }} \end{array}$

В случае (3.11) выполнены оба $(j = 1,2)$ требования (3.4), а значит, в списке (3.6) имеются четыре решения с комплексными показателями степени переменной $z$, но в случае (3.10) – только два, так как все корни уравнения (3.3) при $j = 2$ вещественные. При $\Lambda < {{\Lambda }^{\dag }}$ комплексных корней нет вообще, а на порогах $\Lambda = \Lambda _{j}^{\dag }$ нулевые корни уравнений (3.3) кратные, т.е. согласно правилу решения дифференциальных уравнений эйлеровского типа компоненты (2.6) вектор-функции $w$ приобретают линейную зависимость от $lnz$. Пороговые значения $\Lambda = \Lambda _{j}^{\dag }$ далее не анализируются, поскольку при них обсуждаемые эффекты исчезают.

Каждое решение $w$ системы (2.14) порождает [3, 7] трехмерное поле $w$, допускающее представление (2.4), например, в пике ${{\Pi }_{{3d/4}}}$ и удовлетворяет задаче (1.2), суженной на ${{\Pi }_{{d/2}}}$ и ${{\Gamma }_{{d/2}}}$ (уменьшение размеров до $3d{\text{/}}4$ и $d{\text{/}}2$ необходимо). Согласно формулам (2.5) и (2.12) столбец деформаций принимает вид

(3.12)
$\begin{array}{*{20}{c}} {\varepsilon (u;y,z) = ({\mathbf{Y}}(y) + D({{\nabla }_{y}},0){\mathbf{X}}(y,z)){\mathbf{D}}({{\partial }_{z}})w(z) + \tilde {\varepsilon }(u;y,z)} \end{array}$

Оценки остатков в представлениях (3.12) и (2.4) зависят от инициирующего поле смещений $u$ вектора $w$, в частности, от показателя $\kappa $ в соотношениях (2.6) для его компонент. Обозначим $u_{{(j)}}^{{i \pm }}$ поле смещений, порожденное мнимыми корнями (3.5) биквадратных уравнений (3.3). Далее понадобятся известные [3, 7] оценки

(3.13)
$\begin{gathered} \left| {u_{{(j)}}^{{i \pm }}(y,z) - w_{{(j)1}}^{{i \pm }}(z){{e}_{{(1)}}} - w_{{(j)2}}^{{i \pm }}(z){{e}_{{(2)}}}} \right| \leqslant c{{z}^{{ - 3/2}}},\quad (y,z) \in \overline {{{\Pi }_{{d/2}}}} \\ \left| {\tilde {\varepsilon }(u_{{(j)}}^{{i \pm }};y,z)} \right| \leqslant c{{z}^{{ - 3/2}}},\quad (y,z) \in \overline {{{\Pi }_{{d/2}}}} \\ \end{gathered} $

Аналогичные оценки верны и для полей $u_{{(j)}}^{{r \pm }}$, инициированных вещественными корнями, однако множитель ${{z}^{{ - 3/2}}}$ в мажорантах превращается в множитель ${{z}^{{\kappa _{j}^{{r \pm }} - 3/2}}}$.

Формулы (3.13) и (2.15), (3.1) для столбца $\widetilde \varepsilon $ и матриц ${\mathbf{A}}$, ${\mathbf{M}}$ соответственно позволяют вычислить функционал упругой энергии на сечении (2.1)

$E(u;{{\omega }^{z}}) = \frac{1}{2}\int\limits_{{{\omega }^{z}}} \mathop {\overline {\varepsilon (u;y,z)} }\nolimits^ \top \sigma (u;y,z)dy = $
$\begin{gathered} = \frac{1}{2}{{(\overline {{\mathbf{D}}({{\partial }_{z}})w(z)} )}^{ \top }}\int\limits_{{{\omega }^{z}}} {{(D({{\nabla }_{y}},0){\mathbf{X}}(y,z) + {\mathbf{Y}}(y))}^{ \top }}A(D({{\nabla }_{y}},0){\mathbf{X}}(y,z) + \\ + \;{\mathbf{Y}}(y))dy{\mathbf{D}}({{\partial }_{z}})w(z) + \ldots = \\ \end{gathered} $
(3.14)
$\begin{array}{*{20}{c}} { = \frac{1}{2}{{{(\overline {{\mathbf{D}}({{\partial }_{z}})w(z)} )}}^{ \top }}{\mathbf{A}}(z){\mathbf{D}}({{\partial }_{z}})w(z) + \ldots = \frac{1}{2}\overline {\partial _{z}^{2}{{w}_{\# }}(z)} {\mathbf{M}}(z)\partial _{z}^{2}{{w}_{\# }}(z) + \ldots } \end{array}$

Многоточие заменяет младшие по порядку слагаемые при $z \to + 0$.

Таким образом, погонная энергия (3.14), вычисленная для вектор-функции $w$ с компонентами (2.6), имеет порядок ${{z}^{{ - 1 + 2\operatorname{Re} \kappa }}}$, т.е. интеграл энергии в пике (1.1)

(3.15)
$\begin{array}{*{20}{c}} {E(u;{{\Pi }^{d}}) = \int\limits_0^d E(u;{{\omega }^{z}})dz} \end{array}$
сходится при $\operatorname{Re} \kappa > 0$, но заведомо расходится при $\operatorname{Re} \kappa < 0$. Соответственно поле $u$ и вектор $w$ называем энергетическими и неэнергетическими. При чисто мнимом показателе $\kappa _{j}^{{i \pm }}$ величина (3.14) принимает [7] вид
(3.16)
$\begin{array}{*{20}{c}} {E(u_{{(j)}}^{{i \pm }};{{\omega }^{z}}) = \frac{1}{{2z}}\left( {\frac{{25}}{4} + {{{\left| {\kappa _{j}^{{i \pm }}} \right|}}^{2}}} \right)\left( {\frac{{49}}{4} + {{{\left| {\kappa _{j}^{{i \pm }}} \right|}}^{2}}} \right){{{\mathbf{m}}}_{j}}{{{\left| {\mathcal{W}_{\# }^{{j \pm }}} \right|}}^{2}} + \ldots } \end{array}$
и также обеспечивает расходимость интеграла (3.15). Погонная упругая энергия (3.16) обладает примечательным свойством, характерным для волновых процессов: упругая энергия $E(u_{{(j)}}^{{i \pm }};{{\Pi }^{{2\rho }}}\backslash {{\Pi }^{\rho }})$, запасенная фрагментом пика ${{\Pi }^{d}}$, не зависит в главном от расстояния $\rho $ до вершины $\mathcal{O}$. Иными словами, волна $u_{{(j)}}^{{i \pm }}$ переносит энергию и потому называется распространяющейся. На основе принципов излучения Зоммерфельда и Умова–Мандельштама (см. [12], гл. 1, [13, 14] и др.) показано ([7], § 4), что волны $u_{{(j)}}^{{i - }}$ распространяются в сторону к вершине $\mathcal{O}$, а волны $u_{{(j)}}^{{i + }}$ – из вершины в сторону массивной части тела. Эти волны называются уходящими и приходящими соответственно.

4. Матрица рассеяния и коэффициент рассеяния; захваченные волны. Вычислен ([7], разд. 1, § 4) осредненный вектор Умова [15], проекция которого на ось $z$ пропорциональна симплектической (полуторалинейной и антиэрмитовой) форме переноса энергии

(4.1)
$\begin{array}{*{20}{c}} {{{Q}_{z}}(u,\text{v}) = \sum\limits_{j = 1,2,3} \,\int\limits_{{{\omega }^{z}}} (\overline {{{\text{v}}_{k}}(y,z)} {{\sigma }_{{3k}}}(u;y,z) - {{u}_{k}}(y,z)\overline {{{\sigma }_{{3k}}}(\text{v};y,z)} )dy} \end{array}$

Показано ([7], разд. 1, § 4), что

(4.2)
$\begin{array}{*{20}{c}} {{{Q}_{0}}(u_{{(j)}}^{{i \pm }},u_{{(j)}}^{{i \pm }}) = \mathop {lim}\limits_{z \to + 0} {{Q}_{z}}(u_{{(j)}}^{{i \pm }},u_{{(j)}}^{{i \pm }}) = \pm {\text{72}}i\left| {\kappa _{j}^{{i \pm }}} \right|{{{\mathbf{m}}}_{j}}{{{\left| {\mathcal{W}_{\# }^{j}} \right|}}^{2}}} \end{array}$

Нормируем СВ $\mathcal{W}_{\# }^{j}$ матрицы ${\mathbf{M}}{\text{(1)}}$ так, чтобы правая часть соотношения (4.2) стала равной $ \pm i$. В результате приходим к условиям ортогональности и нормировки

(4.3)
$\begin{array}{*{20}{c}} {{{Q}_{0}}(u_{{(j)}}^{{i\psi }},u_{{(k)}}^{{i\tau }}) = \pm i{{\delta }_{{\psi ,\tau }}}{{\delta }_{{j,k}}}\quad (j,k = 1,2,\;\psi ,\tau = \pm )} \end{array}$

Поля, порожденные разными чисто мнимыми показателями $i{{\kappa }_{{(1)}}}$ и $i{{\kappa }_{{(2)}}}$, ортогональны одно другому в смысле формулы (4.3) потому, что подынтегральное выражение приобретает осциллирующий множитель ${{e}^{{i({{\kappa }_{{(1)}}} - {{\kappa }_{{(2)}}})z}}}$, но сам интеграл (4.1) должен иметь предел, являясь фрагментом поверхностного интеграла в формуле Грина для решений задачи (1.2) в пике ${{\Pi }^{{d/2}}}$. По аналогичной причине ${{Q}_{0}}(u_{{(j)}}^{{r \pm }},u_{{(j)}}^{{r \pm }})$ = 0 для энергетических и неэнергетических упругих полей.

Определим дифракционные характеристики тела $\Omega $ с пиком. Сначала обратимся к ситуации (3.11), когда существуют две пары $u_{{(1)}}^{{i \pm }}$ и $u_{{(2)}}^{{i \pm }}$, т.е. $j,k = 1,2$ в формуле (4.3). Доказано ([16], гл. 5, [17], § 3, [7], § 5), что свойства (4.3) и $u_{{(j)}}^{{i - }}$ = $\overline {u_{{(j)}}^{{i + }}} $, упомянутых волн обеспечивают унитарность и симметричность (2 × 2)-матрицы рассеяния $S$, составленной из коэффициентов разложений специальных решений задачи (1.2)

(4.4)
$\begin{array}{*{20}{c}} {{{Z}^{j}}(x) = \chi (x)u_{{(j)}}^{{i + }}(x) + \chi (x)\,\sum\limits_{k = 1,2} \,{{S}_{{jk}}}u_{{(k)}}^{{i - }}(x) + {{{\tilde {Z}}}^{j}}(x),\quad j = 1,2} \end{array}$

При этом $\chi $ – гладкая срезающая функция, равная единице на ${{\Pi }^{{d/4}}}$ и нулю вне ${{\Pi }^{{d/2}}}$. Остаток ${{\tilde {Z}}^{j}}$ попадает в энергетическое гильбертово пространство $\mathcal{H}(\Omega )$, которое получается замыканием линейного пространства $C_{c}^{\infty }{{(\bar {\Omega }\backslash \mathcal{O})}^{3}}$ (бесконечно дифференцируемые функции, обращающиеся в нуль около точки $\mathcal{O}$) по норме

$\left\| {u;\mathcal{H}(\Omega )} \right\| = {{(2E(u;\Omega )\; + \;{\text{||}}u;{{L}^{2}}(\Omega {\text{)|}}{{{\text{|}}}^{2}})}^{{1/2}}}$

Более точная информация об остатках будет указана в разд. 5.

Установлено ([10], гл. 3, § 3, [1], § 3), что $\mathcal{H}(\Omega )$ шире пространства Соболева ${{H}^{1}}{{(\Omega )}^{3}}$ и вложение $\mathcal{H}{{(\Omega )}^{3}}$${{L}^{2}}{{(\Omega )}^{3}}$ не является компактным. Для энергетических полей выполнено включение $\chi u_{{(k)}}^{{r + }}$$\mathcal{H}(\Omega )$, но неэнергетические поля $\chi u_{{(k)}}^{{r - }}$ и распространяющиеся волны $\chi u_{{(j)}}^{{i \pm }}$, не принадлежат пространству $\mathcal{H}(\Omega )$.

В ситуации (3.10) имеется одна пара распространяющихся волн $u_{{(1)}}^{{i \pm }}$, и поэтому в формулах (4.3) и (4.4) фигурируют индексы $j,k = 1$, а матрица рассеяния вырождается в скаляр $S = {{S}_{{11}}}$:

(4.5)
$\begin{array}{*{20}{c}} {Z(x) = \chi (x)(u_{{(1)}}^{{i + }}(x) + Su_{{(1)}}^{{i - }}(x)) + \tilde {Z}(x)} \end{array}$

Поля (4.4) и (4.5) порождены волнами, которые приходят из вершин $\mathcal{O}$ в тело $\Omega $, но затем рассеиваются в нем и возвращаются в вершину как уходящие волны. Закон сохранения энергии обеспечивает упомянутые свойства матрицы рассеяния, а в ситуации (3.10) показывает, что коэффициент рассеяния $S$ лежит на единичной окружности $\mathbb{S}$ в комплексной плоскости $\mathbb{C}$

$S = {{e}^{{i{{\Theta }_{1}}}}} \in \mathbb{S},\quad {{\Theta }_{1}} \in ( - \pi ,\pi ]$

Решения задачи (1.2) из энергетического класса $\mathcal{H}(\Omega )$ называются захваченными упругими волнами в теле $\Omega $. При геометрической и физической симметрии (например, изотропное тело с круговыми сечениями, перпендикулярными оси $z$) найдена [1] неограниченная последовательность частот собственных колебаний тела $\Omega $, причем соответствующие собственные моды экспоненциально затухают при $x \to \mathcal{O}$. Хотя конкретных примеров до сих пор не построено [7], в принципе у задачи (1.2) могут быть собственные вектор-функции, которые содержат в представлении на ${{\Pi }^{{d/2}}}$ нетривиальные энергетические поля и потому характеризуются степенным поведением при $x \to \mathcal{O}$. Указанные захваченные волны именуем экспоненциальными и степенным соответственно.

5. “Малоподвижные” собственные частоты. Захваченная волна, т.е. собственная вектор-функция ${{u}^{0}} \in \mathcal{H}(\Omega )$ задачи (1.2), отвечающая спектральному параметру ${{\Lambda }^{0}} > 0$, оставляет малые невязки в краевых условиях на торце ${{\omega }^{h}}$ обломанного пика, что обеспечивает существование СЧ $\Lambda _{{p(h)}}^{h}$ из последовательности (1.5) в непосредственной близости от ${{\Lambda }^{0}}$

(5.1)
$\begin{array}{*{20}{c}} {\left| {\Lambda _{{p(h)}}^{h} - {{\Lambda }^{0}}} \right| \leqslant c({{\Lambda }^{0}}){{\rho }_{h}},\quad h \in (0,h({{\Lambda }^{0}})} \end{array}]$

При этом ${{\rho }_{h}} = {{e}^{{ - \beta ({{\Lambda }^{0}})/h}}}$ или ${{\rho }_{h}} = {{h}^{{{{\kappa }_{{min}}}({{\Lambda }^{0}})}}}$ в случаях экспоненциальной или степенной захваченной волны, $h({{\Lambda }^{0}})$, $c({{\Lambda }^{0}})$ и $\beta ({{\Lambda }^{0}})$ – некоторые положительные величины, зависящие от ${{\Lambda }^{0}}$, но не от $h$, а ${{\kappa }_{{min}}}({{\Lambda }^{0}})$ – наименьший положительный корень биквадратных уравнений (3.3).

Поясним как выводится неравенство (5.1). Снабдим энергетическое пространство $\mathcal{H}({{\Omega }^{h}})$ = ${{H}^{1}}{{({{\Omega }^{h}})}^{3}}$ скалярным произведением

(5.2)
$\begin{array}{*{20}{c}} {{{{\left\langle {{{u}^{h}},{{\text{v}}^{h}}} \right\rangle }}_{h}} = {{{(AD(\nabla ){{u}^{h}},D(\nabla ){{\text{v}}^{h}})}}_{{{{\Omega }^{h}}}}} + {{{({{u}^{h}},{{\text{v}}^{h}})}}_{{{{\Omega }^{h}}}}}} \end{array}$

Здесь ${{(\,,)}_{{{{\Omega }^{h}}}}}$ – скалярное произведение в пространстве Лебега ${{L}^{2}}({{\Omega }^{h}})$, а нужные свойства полуторалинейной формы (5.2) обеспечены [18] неравенством Корна в липшицевой области (1.4). Формула

(5.3)
${{\left\langle {{{\mathcal{K}}^{h}}{{u}^{h}},{{\text{v}}^{h}}} \right\rangle }_{h}} = {{({{u}^{h}},{{\text{v}}^{h}})}_{{{{\Omega }^{h}}}}},\quad {{u}^{h}},{{\text{v}}^{h}} \in \mathcal{H}({{\Omega }^{h}})$
определяет положительный, симметричный и непрерывный, а значит, самосопряженный оператор ${{\mathcal{K}}^{h}}$ в $\mathcal{H}({{\Omega }^{h}})$. Согласно определениям (5.3) и (5.2) вариационная формулировка задачи (1.3)
${{(AD(\nabla ){{u}^{h}},D(\nabla ){{\text{v}}^{h}})}_{{{{\Omega }^{h}}}}} = {{\Lambda }^{h}}{{({{u}^{h}},{{\text{v}}^{h}})}_{{{{\Omega }^{h}}}}},\quad {{u}^{h}} \in \mathcal{H}({{\Omega }^{h}})$
равносильна абстрактному уравнению
${{\mathcal{K}}^{h}}{{u}^{h}} = {{K}^{h}}{{u}^{h}}\;{\text{в }}\;\mathcal{H}({{\Omega }^{h}})$
с новым спектральным параметром

(5.4)
$\begin{array}{*{20}{c}} {{{K}^{h}} = {{{(1 + {{\Lambda }^{h}})}}^{{ - 1}}}} \end{array}$

Поскольку вложение $\mathcal{H}({{\Omega }^{h}}) \subset {{L}^{2}}{{({{\Omega }^{h}})}^{3}}$ компактно при $h > 0$, в силу общих результатов ([19], гл. 10) существенный спектр оператора ${{\mathcal{K}}^{h}}$ – единственная точка $K = 0$, а дискретный спектр – бесконечно малая положительная последовательность

(5.5)
$\begin{array}{*{20}{c}} {1 = K_{1}^{h} = \ldots = K_{6}^{h} > K_{7}^{h} \geqslant K_{8}^{h} \geqslant \ldots K_{p}^{h} \geqslant \ldots \to + 0} \end{array},$
образованная из последовательности (1.5) по правилу (5.4).

Утверждение

(5.6)
известно [20] как лемма о “почти собственных” числах и обеспечено ([19], гл. 6) спектральным разложением резольвенты.

Пусть ${{u}^{0}} \in \mathcal{H}(\Omega )$ – захваченная волна, ${{{\mathbf{u}}}^{h}}$ – ее сужение на ${{\Omega }^{h}}$ и ${{{\mathbf{K}}}^{h}} = {{(1 + {{\Lambda }^{0}})}^{{ - 1}}}$. При помощи одного из определений гильбертовой нормы находим

${{\delta }_{h}}: = \left\| {{{\mathcal{K}}^{h}}{{{\mathbf{u}}}^{h}} - {{{\mathbf{K}}}^{h}}{{{\mathbf{u}}}^{h}};\mathcal{H}({{\Omega }^{h}})} \right\| = sup\left| {{{{\left\langle {{{\mathcal{K}}^{h}}{{{\mathbf{u}}}^{h}} - {{{\mathbf{K}}}^{h}}{{{\mathbf{u}}}^{h}},{{\text{v}}^{h}}} \right\rangle }}_{h}}} \right| = $
$ = {{(1 + {{\Lambda }^{0}})}^{{ - 1}}}sup\left| {{{{(AD(\nabla ){{u}^{0}},D(\nabla ){{\text{v}}^{h}})}}_{{{{\Omega }^{h}}}}} - {{\Lambda }^{0}}{{{({{u}^{0}},{{\text{v}}^{h}})}}_{{{{\Omega }^{h}}}}}} \right| = $
(5.7)
$\begin{array}{*{20}{c}} { = {{{(1 + {{\Lambda }^{0}})}}^{{ - 1}}}sup\left| {\int\limits_{{{\omega }^{h}}} \,\mathop {\overline {{{\text{v}}^{h}}(y,h)} }\nolimits^ \top D{{{({{e}_{{(3)}}})}}^{ \top }}AD(\nabla ){{u}^{0}}(y,h)dy} \right|} \end{array}$

Здесь супремум вычисляется по единичному шару в $\mathcal{H}({{\Omega }^{h}})$, т.е. $\left\| {{{\text{v}}^{h}};\mathcal{H}({{\Omega }^{h}})} \right\| \leqslant 1$, а при переходе к интегралу по торцу ${{\omega }^{h}}$ была применена формула интегрирования по частям и учтено, что ${{u}^{0}}$ – решение задачи (1.2).

Для оценки величины (5.7) применим известное [1, 21] весовое анизотропное неравенство Корна

(5.8)
$\begin{gathered} \int\limits_{{{\Omega }^{h}}} \left( {\sum\limits_{j = 1,2} \left( {{{{\left| {\frac{{\partial \text{v}_{j}^{h}}}{{\partial {{x}_{j}}}}} \right|}}^{2}} + {{{\left| {\text{v}_{j}^{h}} \right|}}^{2}} + {{{\left| x \right|}}^{2}}\left( {{{{\left| {\frac{{\partial \text{v}_{j}^{h}}}{{\partial {{x}_{3}}}}} \right|}}^{2}} + {{{\left| {\frac{{\partial \text{v}_{3}^{h}}}{{\partial {{x}_{j}}}}} \right|}}^{2}}} \right)} \right) + } \right. \\ \left. {^{{^{{^{{^{{^{{}}}}}}}}}} + \;{{{\left| x \right|}}^{2}}\left( {\left| {\frac{{\partial \text{v}_{1}^{h}}}{{\partial {{x}_{2}}}}} \right| + {{{\left| {\frac{{\partial \text{v}_{2}^{h}}}{{\partial {{x}_{1}}}}} \right|}}^{2}}} \right) + {{{\left| {\frac{{\partial \text{v}_{3}^{h}}}{{\partial {{x}_{3}}}}} \right|}}^{2}} + \frac{1}{{{{{\left| x \right|}}^{2}}}}{{{\left| {\text{v}_{3}^{h}} \right|}}^{2}}} \right)\begin{array}{*{20}{c}} {dx \leqslant c{{{\left\| {{{\text{v}}^{h}};H({{\Omega }^{h}})} \right\|}}^{2}}} \end{array} \\ \end{gathered} $
и сопутствующие следовые неравенства

(5.9)
$\begin{gathered} h\int\limits_{{{\omega }^{h}}} {({{{\left| {\text{v}_{1}^{h}} \right|}}^{2}} + {{{\left| {\text{v}_{2}^{h}} \right|}}^{2}} + {{h}^{{ - 2}}}{{{\left| {\text{v}_{3}^{h}} \right|}}^{2}})dy} \leqslant c{{\left\| {{{\text{v}}^{h}};\mathcal{H}({{\Omega }^{h}})} \right\|}^{2}} \\ {{h}^{{ - 1}}}\int\limits_{{{\omega }^{h}}} {{{{\left| {{{\text{v}}^{h}}(y,h) - {{{\bar {v}}}^{h}}} \right|}}^{2}}} dy \leqslant c{{\left\| {{{\text{v}}^{h}};\mathcal{H}({{\Omega }^{h}})} \right\|}^{2}},\quad {{{\bar {v}}}^{h}} = \frac{1}{{{{h}^{2}}\left| \omega \right|}}\int\limits_{{{\omega }^{h}}} \,{{\text{v}}^{h}}(y,h)dy \\ \end{gathered} $

В силу формул (3.12) и (2.11), (2.12) вектор-функция

${{T}^{0}}(y,z) = D{{({{e}_{{(3)}}})}^{ \top }}AD(\nabla ){{u}^{0}}(x)$
удовлетворяет условиям ортогональности
$\int\limits_{{{\omega }^{h}}} {T_{j}^{0}} (y,h)dy = 0,\quad j = 1,2,$
которые позволяют в интеграле по ${{\omega }^{h}}$ из соотношения (5.7) произвести замену $\text{v}_{j}^{h} \mapsto \text{v}_{j}^{h} - \bar {v}_{j}^{h}$ и затем применить уточненное неравенство (5.9). Поскольку ${{u}^{0}} \in \mathcal{H}({{\Omega }^{h}})$ – полиномиальная захваченная волна, в ее представлении около вершины пика отсутствуют неэнергетические и распространяющиеся волны, но присутствуют энергетические волны. Таким образом, справедливо [3] соотношение

(5.10)
$\left| {{{T}^{0}}(y,z)} \right|\begin{array}{*{20}{c}} { \leqslant c{{z}^{{{{\kappa }_{{min}}}({{\Lambda }^{0}}) - 5/2}}}} \end{array}$

В итоге получаем оценку величины (5.7)

${{\delta }_{h}} \leqslant {{(1 + {{\Lambda }^{0}})}^{{ - 1}}}\left\| {{{T}^{0}};{{L}^{2}}({{\omega }^{h}})} \right\|\left( {\left\| {\text{v}_{3}^{h};{{L}^{2}}({{\omega }^{h}})} \right\| + \sum\limits_{j = 1,2} {\left\| {\text{v}_{j}^{h} - \bar {v}_{j}^{h};{{L}^{2}}({{\omega }^{h}})} \right\|} } \right) \leqslant $
$ \leqslant \;C{{\left| {{{\omega }^{h}}} \right|}^{{1/2}}}{{h}^{{{{\kappa }_{{min}}}({{\Lambda }^{0}}) - 5/2}}}{{h}^{{1/2}}}\left\| {{{\text{v}}^{h}};\mathcal{H}({{\Omega }^{h}})} \right\| \leqslant C{{h}^{{{{\kappa }_{{min}}}({{\Lambda }^{0}})}}} = :C{{\rho }_{h}}$

Наконец, утверждение (5.6) подтверждает справедливость оценки (5.1), так как

(5.11)
$\begin{gathered} \left| {K_{{p(h)}}^{h} - {{{\mathbf{K}}}^{h}}} \right| \leqslant C{{\rho }_{h}} \Rightarrow \left| {{{\Lambda }^{0}} - \Lambda _{{p(h)}}^{h}} \right| \leqslant C{{\rho }_{h}}(1 + {{\Lambda }^{0}})(1 + \Lambda _{{p(h)}}^{h}) \Rightarrow \\ \begin{array}{*{20}{c}} { \Rightarrow \left| {{{\Lambda }^{0}} - \Lambda _{{p(h)}}^{h}} \right| \leqslant 2C{{\rho }_{h}}(1 + {{\Lambda }^{0}})\;{\text{п р и }}\;{\text{у с л о в и и }}\;C{{\rho }_{h}}(1 + {{\Lambda }^{0}}) \leqslant 1{\text{/}}2} \end{array} \\ \end{gathered} $

Для экспоненциальных захваченных волн вычисления значительно упрощаются.

6. Пограничный слой вблизи обломанного кончика пика. Распространяющиеся волны $u_{{(j)}}^{{i \pm }}$ порождают вектор напряжений $T_{{(j)}}^{{i \pm }}$ = $D{{({{e}_{{(3)}}})}^{ \top }}AD(\nabla )u_{{(j)}}^{{i \pm }}$, для которых мажоранта в оценке (5.10) превращается в $c{{z}^{{ - 5/2}}}$ и не позволяет доказать, что величина ${{\delta }_{h}}$ – бесконечно малая при $h \to + 0$. Как обычно ([22], гл. 5 и гл. 16), для компенсации нежелательно большой невязки в краевом условии на ${{\omega }^{h}}$ приходится строить пограничный слой. Растяжение координат

$x = (y,z) \mapsto \xi = (\xi {\text{'}},{{\xi }_{3}}) = ({{h}^{{ - 2}}}y,{{h}^{{ - 2}}}(z - h))$
и формальный переход к $h = 0$ трансформируют область (1.4) в полубесконечный цилиндр $\Xi = \omega \times {{\mathbb{R}}_{ + }}$ с боковой поверхностью $\Gamma = \partial \omega \times {{\mathbb{R}}_{ + }}$ и порождают задачу теории упругости

(6.1)
$\begin{gathered} L({{\nabla }_{\xi }})W(\xi ) = 0,\quad \xi \in \Xi ,\quad B(\xi {\text{'}},{{\nabla }_{\xi }})W(\xi ) = 0,\quad \xi \in \Gamma \\ {{B}^{\omega }}({{\nabla }_{\xi }})W(\xi {\text{'}},0) = G(\xi {\text{'}}): = - D{{({{e}_{{(3)}}})}^{ \top }}AD({{\nabla }_{\xi }})W(\xi {\text{'}},0),\quad \xi {\text{'}} = ({{\xi }_{1}},{{\xi }_{2}}) \in \omega \\ \end{gathered} $

В силу классического принципа Сен-Венана (см., например, [23] и ср. математическую формулировку принципа [16], гл. 5) задача (6.1) имеет единственное решение $W \in {{H}^{1}}{{(\Xi )}^{3}}$, затухающее при ${{\xi }_{3}} \to + \infty $ с экспоненциальной скоростью, в том и только в том случае, если внешняя нагрузка на торце цилиндра самоуравновешена

(6.2)
$\begin{gathered} \begin{array}{*{20}{c}} {\int\limits_\omega {d{{{(\xi {\text{'}},0)}}^{ \top }}} G(\xi {\text{'}})d\xi {\text{'}} = 0 \in {{\mathbb{R}}^{6}}} \end{array} \\ d(\xi ) = \left( {\begin{array}{*{20}{c}} 1&0&{ - {{\xi }_{3}}}&0&0&{ - {{2}^{{ - 1/2}}}{{\xi }_{2}}} \\ 0&1&0&{ - {{\xi }_{3}}}&0&{{{2}^{{ - 1/2}}}{{\xi }_{1}}} \\ 0&0&{{{\xi }_{1}}}&{{{\xi }_{2}}}&1&0 \end{array}} \right) \\ \end{gathered} $

Строение матрицы жестких смещений $d(\xi )$ согласовано со строением матриц $D$ и ${\mathbf{Y}}$ из списков (2.3) и (2.11)

(6.3)
$\begin{array}{*{20}{c}} {D({{e}_{{(3)}}})d(\xi {\text{'}},0) = (D({{\nabla }_{y}},0){{e}_{{(3)}}}{{y}_{1}},\;D({{\nabla }_{y}},0){{e}_{{(3)}}}{{y}_{2}},\;{\mathbf{Y}}(\xi {\text{'}}))} \end{array}$

Рассмотрим какое-либо решение $w$ системы (2.14) и восстановим [3] по нему трехмерное поле смещений $u$ в ${{\Pi }^{{d/2}}}$, главную часть невязки которого в краевом условии на ${{\omega }^{h}}$ нужно компенсировать слагаемым типа пограничного слоя и потому подчинить условию ортогональности (6.2). Представление (2.4) с начальными членами (2.5) дает соотношение

$D{{({{e}_{{(3)}}})}^{ \top }}AD(\nabla )u(x) = {{\Sigma }^{0}}(y,z) + {{\Sigma }^{1}}(y,z) + \ldots $
${{\Sigma }^{p}} = D{{({{e}_{{(3)}}})}^{ \top }}A{{\Psi }^{p}},\quad {{\Psi }^{p}} = D({{\nabla }_{y}},0){{U}^{p}} + D(0,{{\partial }_{z}}){{U}^{{p - 1}}}$

Вычислим интеграл (6.2). При учете формул (2.10), (2.11), (2.15) и (6.3) находим

(6.4)
$\begin{gathered} {{\Sigma }^{0}} = D{{({{e}_{{(3)}}})}^{ \top }}A(D({{\nabla }_{y}},0){\mathbf{X}} + {\mathbf{Y}}){\mathbf{D}}({{\partial }_{z}})w \\ \int\limits_{{{\omega }^{h}}} {{{\Sigma }^{0}}} (y,h)d(y,0)dy = (0,0,({\mathbf{A}}(z){\mathbf{D}}({{\partial }_{z}}){{\left. {w(z){{)}^{ \top }}} \right|}_{{z = h}}}) \\ \end{gathered} $

Два нулевых столбца в (6 × 6)-матрице (6.4) – следствие равенств (2.13), которые вместе с представлениями (6.3) и (2.9), (2.8) приводят к формуле

$\int\limits_{{{\omega }^{z}}} {{{{(D({{\nabla }_{y}},0){{y}_{j}}{{e}_{{(3)}}})}}^{ \top }}} {{\Sigma }^{1}}(y,z)dy = $
$ = - e_{{(3)}}^{ \top }\int\limits_{{{\omega }^{z}}} {{{y}_{j}}D} {{({{\nabla }_{y}},0)}^{ \top }}A{{\Psi }^{1}}(y,z)dy + e_{{(3)}}^{ \top }\int\limits_{\partial {{\omega }^{z}}} {{{y}_{j}}D} {{(\nu ({{z}^{{ - 2}}}y),0)}^{ \top }}A{{\Psi }^{1}}(y,z)d{{s}_{y}} = $
$ = e_{{(3)}}^{ \top }\int\limits_{{{\omega }^{z}}} {{{y}_{j}}D} {{(0,{{\partial }_{z}})}^{ \top }}A{{\Psi }^{0}}(y,z)dy + 2ze_{{(3)}}^{ \top }\int\limits_{\partial {{\omega }^{z}}} {{{y}_{j}}D} {{(0,{{z}^{{ - 2}}}{{y}^{ \top }}\nu ({{z}^{{ - 2}}}y))}^{ \top }}A{{\Psi }^{0}}(y,z)d{{s}_{y}} = $
$ = \frac{\partial }{{\partial z}}\int\limits_{{{\omega }^{z}}} {{{y}_{j}}} {{(D({{e}_{{(3)}}}){{e}_{{(3)}}})}^{ \top }}A{{\Psi }^{0}}(y,z)dy = {\mathbf{e}}_{{(j)}}^{ \top }{{\partial }_{z}}{\mathbf{A}}(z){\mathbf{D}}({{\partial }_{z}})w(z) = $
$ = {\mathbf{e}}_{{(j)}}^{ \top }{{\partial }_{z}}({{{\mathbf{A}}}_{{\# \# }}}(z)\partial _{z}^{2}{{w}_{\# }}(z) + {{{\mathbf{A}}}_{{\# \bullet }}}(z){{\partial }_{z}}{{w}_{ \bullet }}(z));$
${\mathbf{e}}_{{(j)}}^{ \top } = {{({{\delta }_{{j,1}}},{{\delta }_{{j,2}}},{{\delta }_{{j,3}}},{{\delta }_{{j,4}}})}^{ \top }}$

Итак, согласно определению (3.1) матрицы ${\mathbf{M}}$ требование (6.2) затухания пограничного слоя, компенсирующего невязку поля $u$ в краевых условиях на ${{\omega }^{h}}$, эквивалентно равенствам

(6.5)
$\begin{array}{*{20}{c}} {{{{\left. {{{\partial }_{z}}{\mathbf{M}}(z){\mathbf{D}}({{\partial }_{z}}){{w}_{\# }}(z)} \right|}}_{{z = h}}} = 0,\quad {{{\left. {{\mathbf{M}}(z){\mathbf{D}}({{\partial }_{z}}){{w}_{\# }}(z)} \right|}}_{{z = h}}} = 0} \end{array}$
(6.6)
$\begin{array}{*{20}{c}} {{{{\left. {{{{\mathbf{A}}}_{{ \bullet \bullet }}}(z){{\partial }_{z}}{{w}_{ \bullet }}(z)} \right|}}_{{z = h}}} + {{{\left. {{{{\mathbf{A}}}_{{ \bullet \# }}}(z)\partial _{z}^{2}{{w}_{\# }}(z)} \right|}}_{{z = h}}} = 0} \end{array}$

Соотношения (6.5) – естественные краевые условия (терминология [24]) для усеченной системы (3.2) двух обыкновенных дифференциальных уравнений четвертого порядка. Шесть скалярных равенств в списке (6.5), (6.6) – естественные краевые условия для полной системы (2.14).

7. “Мигающие” собственные частоты. Зафиксируем точку ${{\Lambda }^{0}} > {{\Lambda }^{\dag }}$ и сначала рассмотрим ситуацию (3.10), в которой имеются две распространяющиеся волны $u_{{(1)}}^{{i \pm }}$ с мнимыми показателями $\kappa _{1}^{{i \pm }} = \pm i\kappa _{1}^{i}$, а также три энергетические $u_{{(p)}}^{{r + }}$ и три неэнергетические $u_{{(p)}}^{{r - }}$ волны; здесь $p = 1,2,3$, а соответствующие показатели $ \pm \kappa _{1}^{r}$ и $ \pm \kappa _{2}^{r}$, $ \pm \kappa _{3}^{r}$ – вещественные корни биквадратных уравнений (3.3) при $j = 1$ и $j = 2$.

В качестве главного члена асимптотики собственной моды задачи (1.3) возьмем решение (4.5) задачи (1.2), а в качестве поправки – линейную комбинацию неэнергетических волн с малыми коэффициентами

(7.1)
$\begin{array}{*{20}{c}} {u_{{(as)}}^{h}(x) = Z(x) + \chi (x)u_{{(ne)}}^{h}(x) + \ldots } \end{array}$
(7.2)
$\begin{array}{*{20}{c}} {u_{{(ne)}}^{h}(x) = \sum\limits_{p = 1,2,3} {{{h}^{{\kappa _{p}^{r}}}}} {{a}_{p}}u_{{(p)}}^{{r - }}(x)} \end{array}$

Срезающая функция $\chi $ взята из разложения (4.5). В этом разложении поля $Z$ помимо слагаемых $u_{{(1)}}^{{i + }}$ и $Su_{{(1)}}^{{i - }}$ фигурируют энергетические волны, которые привносят в краевое условие на ${{\omega }^{h}}$ невязки следующего порядка по сравнению с $O({{h}^{{ - 5/2}}})$. Излишний рост $O({{h}^{{ - \kappa _{p}^{r} - 5/2}}})$ невязки, порожденной волной $u_{{(p)}}^{{r - }}$, компенсируется множителем ${{h}^{{\kappa _{p}^{r}}}}$. Таким образом, при построении пограничного слоя следует учесть решение системы (2.14)

(7.3)
$\begin{array}{*{20}{c}} {w(z) = w_{{(1)}}^{{i + }}(z) + Sw_{{(1)}}^{{i - }}(z) + \sum\limits_{p = 1,2,3} {{{h}^{{\kappa _{p}^{r}}}}} {{a}_{p}}w_{{(p)}}^{{r - }}(z)} \end{array}$

Обозначив $a_{1}^{ - } = 1$ и $a_{1}^{ + } = S$, приводим соотношения (6.5) к виду

(7.4)
$\begin{gathered} \sum\limits_ \pm {\left( { \pm i\kappa _{1}^{i} - \frac{5}{2}} \right)} \left( { \pm i\kappa _{1}^{i} - \frac{7}{2}} \right){{h}^{{ \pm i\kappa _{1}^{i}}}}a_{1}^{ \pm }{{{\mathbf{m}}}_{1}}\mathcal{W}_{\# }^{1} \\ + \;\left( {\kappa _{1}^{r} + \frac{5}{2}} \right)\left( {\kappa _{1}^{r} + \frac{7}{2}} \right){{a}_{1}}{{{\mathbf{m}}}_{1}}\mathcal{W}_{\# }^{1} + \sum\limits_{p = 2,3} {\left( {\kappa _{p}^{r} + \frac{5}{2}} \right)} \left( {\kappa _{p}^{r} + \frac{7}{2}} \right){{a}_{p}}{{{\mathbf{m}}}_{2}}\mathcal{W}_{\# }^{2} = 0 \\ - \;\sum\limits_ \pm {\left( { \pm i\kappa _{1}^{i} - \frac{5}{2}} \right)} \left( {{{{\left| {\kappa _{1}^{i}} \right|}}^{2}} + \frac{{49}}{4}} \right){{h}^{{ \pm i\kappa _{1}^{i}}}}a_{1}^{ \pm }{{{\mathbf{m}}}_{1}}\kappa _{1}^{i}\mathcal{W}_{\# }^{1} + \\ + \;\left( {\kappa _{1}^{r} + \frac{5}{2}} \right)\left( {\frac{{49}}{4} - {{{\left| {\kappa _{1}^{r}} \right|}}^{2}}} \right){{a}_{1}}{{{\mathbf{m}}}_{1}}\mathcal{W}_{\# }^{1} + \sum\limits_{p = 2,3} {\left( {\kappa _{p}^{r} + \frac{5}{2}} \right)} \left( {\frac{{49}}{4} - {{{\left| {\kappa _{p}^{r}} \right|}}^{2}}} \right){{a}_{p}}{{{\mathbf{m}}}_{2}}\mathcal{W}_{\# }^{2} = 0 \\ \end{gathered} $

Согласно связи (3.7) фрагментов ${{w}_{\# }}$ и ${{w}_{ \bullet }}$ вектора (7.3) равенство (6.6) выполнено автоматически. Поскольку столбцы $\mathcal{W}_{\# }^{1}$ и $\mathcal{W}_{\# }^{2}$ взаимно ортогональны, выводим из системы (7.4) четырех линейных алгебраических уравнений, что ${{a}_{2}} = 0$ и ${{a}_{3}} = 0$. Исключив из системы еще одну неизвестную ${{a}_{1}}$, приходим к формулам при $j = 1$

(7.5)
$\begin{gathered} a_{j}^{ - } = - {{h}^{{2i\kappa _{j}^{i}}}}{{e}^{{i{{\theta }_{j}}}}}a_{j}^{ + },\quad {{\theta }_{j}} \in ( - \pi ,\pi ] \\ {{e}^{{i{{\theta }_{j}}}}} = \tau _{j}^{{ - 1}}{{{\bar {\tau }}}_{n}},\quad {{\tau }_{j}} = (2i\kappa _{j}^{i} - 5)(2i\kappa _{j}^{i} - 7)(\kappa _{j}^{r} + i\kappa _{j}^{i}) \\ \end{gathered} $

Вернемся к обозначениям $1 = a_{1}^{ - }$, $S = a_{1}^{ + }$ и обнаружим, что вектор-функция (7.3) удовлетворяет ограничениям (6.5) и (6.6) в том и только в том случае, если

(7.6)
$\begin{array}{*{20}{c}} {S = {{e}^{{i{{\Theta }_{1}}}}} = - {{h}^{{2i\kappa _{1}^{i}}}}{{e}^{{i{{\theta }_{1}}}}} \Leftrightarrow {{\Theta }_{1}} = {{\theta }_{1}} + \pi + 2\kappa _{1}^{i}lnh\quad (\bmod 2\pi )} \end{array}$

В результате для бесконечно малой последовательности

(7.7)
$\begin{array}{*{20}{c}} {{{h}_{n}} = {{e}^{{{{{(2\kappa _{1}^{i})}}^{{ - 1}}}({{\Theta }_{1}} - {{\theta }_{1}} - (1 + 2n)\pi )}}},\quad n = 1,2,3,\; \ldots } \end{array}$
главный член невязки, оставленной суммой (7.1) в краевом условии на торце ${{\omega }^{h}}$, можно компенсировать экспоненциально затухающим пограничным слоем. Кроме того, согласно определению (7.2) малые невязки $O({{h}^{{{{\kappa }_{{min}}}({{\Lambda }^{0}})}}})$, порожденные произведением $\chi u_{{(ne)}}^{h}$ в задаче (1.2) обращаются в нуль на множестве ${{\Pi }^{{d/2}}}{\text{/}}{{\Pi }^{h}}$ и могут быть обработаны при помощи весового неравенства Корна (5.8). В результате некоторые усложнения выкладок из разд. 6 применительно к “почти собственному” вектору uh = Z + $\chi u_{{(ne)}}^{h} + {{h}^{{ - 1/2}}}Z$ позволяют на основе утверждений (5.6) и (5.11) найти СЧ $\Lambda _{{p({{h}_{n}})}}^{{{{h}_{n}}}}$ задачи (1.3), для которого верна оценка (5.1) с бесконечно малым множителем

${{\rho }_{h}} = {{h}^{{\min \{ 1,\kappa _{1}^{r},\kappa _{2}^{r},\kappa _{3}^{r}\} }}}$

Итак, периодически в логарифмическом масштабе $\left| {lnh} \right|$ с периодом $\pi {\text{/}}\kappa _{1}^{i}({{\Lambda }^{0}})$ возникает СЧ задачи (1.3), расположенное в непосредственной близости к зафиксированной точке ${{\Lambda }^{0}} \in (\Lambda _{1}^{\dag },\Lambda _{2}^{\dag })$. В промежутках между критическими размерами (7.7) малая окрестность точки ${{\Lambda }^{0}}$ освобождается от СЧ из последовательности (1.5), если только вблизи нет “малоподвижных” СЧ (разд. 5). Такое поведение спектра при $h \to + 0$ можно ассоциировать с “миганием” СЧ.

8. “Планирующие” собственные частоты. Неравномерное растяжение координат

$x = (y,z) \mapsto {\mathbf{x}} = ({\mathbf{y}},{\mathbf{z}}) = ({{h}^{{ - 2}}}{\mathbf{h}}y,{{h}^{{ - 1}}}{\mathbf{h}}z)$
переводит множество ${{\Pi }^{d}}{\backslash }{{\Pi }^{h}}$ в множество ${{\Pi }^{{d{\mathbf{h}}/h}}}{\backslash }{{\Pi }^{{\mathbf{h}}}}$. Таким образом, при малой разности $h - {\mathbf{h}}$ существует “почти тождественный” диффеоморфизм области ${{\Omega }^{h}}$ на область ${{\Omega }^{{\mathbf{h}}}}$. Согласно общей теории возмущений линейных операторов ([25], гл. 7) в последовательностях (1.5) можно найти семейства СЧ $\{ \Lambda _{{p(h)}}^{h}\} $, непрерывно зависящих от малого параметра $h > 0$.

Пусть ${{\Lambda }^{0}} = \Lambda _{{p({{h}_{n}})}}^{{{{h}_{n}}}}$. Используя соотношение (7.6) и вытекающие из формул (3.5) и (3.4) равенства

$\frac{{\partial \kappa _{1}^{i}}}{{\partial \Lambda }}({{\Lambda }^{0}}) = \frac{{\left| \omega \right|}}{{4{{{\mathbf{m}}}_{1}}}}\frac{1}{{\kappa _{1}^{i}({{\Lambda }^{0}})}},\quad \kappa _{1}^{i}{{({{\Lambda }^{0}})}^{2}} = \frac{{\left| \omega \right|}}{{4{{{\mathbf{m}}}_{1}}}}\frac{{{{\Lambda }^{0}} - \Lambda _{1}^{\dag }}}{{37 + 4\sqrt {9 + {{\Lambda }_{0}}{\mathbf{m}}_{1}^{{ - 1}}\left| \omega \right|} }}$
вычисляем производную

(8.1)
$\begin{array}{*{20}{c}} {{{{\left. {\frac{{\partial \Lambda _{{p(h)}}^{h}}}{{\partial h}}} \right|}}_{{h = {{h}_{n}}}}} = \frac{{16}}{{{{h}_{n}}\left| {ln{{h}_{n}}} \right|}}({{\Lambda }^{0}} - \Lambda _{1}^{\dag })\frac{{1 + O({{h}_{n}})}}{{37 + 4\sqrt {9 + {{\Lambda }_{0}}{\mathbf{m}}_{1}^{{ - 1}}\left| \omega \right|} }}} \end{array}$

Соотношение (8.1) означает, что СЧ из упомянутых семейств двигаются вниз вдоль интервала $(\Lambda _{1}^{\dag },\Lambda _{2}^{\dag })$ с большой скоростью $O({{h}^{{ - 1}}}{{\left| {lnh} \right|}^{{ - 1}}})$, пересекая каждую точку ${{\Lambda }^{0}}$ ∈ ∈ $(\Lambda _{1}^{\dag },\Lambda _{2}^{\dag })$ “почти периодически” в логарифмическом масштабе. Вместе с тем скорость спадает до нуля при приближении $\Lambda _{{p(h)}}^{h}$ к $\Lambda _{1}^{\dag }$, т.е. СЧ “плавно садятся” на порог $\Lambda _{1}^{\dag }$. Аналогичный режим свойственен парашютистам в затяжном прыжке, что отражено в термине “планирующие” СЧ.

Планирующие СЧ имеют общий предел $\Lambda _{1}^{\dag }$, т.е. при $h \to + 0$ происходит концентрация спектра (1.5) около нижнего порога непрерывного спектра задачи (1.2) в теле $\Omega $.

Тот факт, что каждая точка ${{\Lambda }^{0}} \in (\Lambda _{1}^{\dag },\Lambda _{2}^{\dag })$ – истинное СЧ задачи (1.3) для бесконечно малой последовательности длин обломков ${{\Pi }^{h}}$, во-первых, подтверждает правильность термина “мигающий” (в разд. 7 показано лишь то, что такое число расположено вблизи ${{\Lambda }^{0}}$) и, во-вторых, представляет новый способ формирования непрерывного спектра на участке $(\Lambda _{1}^{\dag },\Lambda _{2}^{\dag })$ из семейства дискретных спектров (1.5) задач (1.3) в ${{\Omega }^{h}}$.

9. “Блуждающие” собственные частоты. Пусть ${{\Lambda }^{0}} > \Lambda _{2}^{\dag }$, т.е. реализуется ситуация (3.11) и имеются две пары мнимых $ \pm i\kappa _{j}^{i}$ и две пары вещественных $ \pm \kappa _{j}^{r}$ корней биквадратных уравнений (3.3), $j = 1,2$. В качестве главного члена асимптотики (7.1) собственной вектор-функции ${{u}^{h}}$ задачи (1.3) возьмем линейную комбинацию $Z$ дифракционных решений (4.4), а основную поправку составим из неэнергетических полей $u_{{(j)}}^{{r \pm }}$

(9.1)
$\begin{gathered} Z(x) = {{b}_{1}}{{Z}^{1}}(x) + {{b}_{2}}{{Z}^{2}}(x),\quad u_{{(ne)}}^{h}(x) = {{a}_{1}}{{h}^{{\kappa _{1}^{r}}}}u_{{(1)}}^{{r - }}(x) + {{a}_{2}}{{h}^{{\kappa _{2}^{r}}}}u_{{(2)}}^{{r - }}(x) \\ \begin{array}{*{20}{c}} {w(z) = \sum\limits_{j = 1,2} {\left( {\sum\limits_ \pm {a_{j}^{ \pm }w_{{(j)}}^{{i \pm }}(z)} + {{a}_{j}}{{h}^{{\kappa _{j}^{r}}}}w_{{(j)}}^{{r - }}(z)} \right)} \,,\quad a_{j}^{ + } = {{b}_{j}},\quad a_{j}^{ - } = \sum\limits_{k = 1,2} {{{S}_{{jk}}}} {{b}_{k}}} \end{array} \\ \end{gathered} $

Равенства (6.6) для решения (9.1) системы (2.14) выполнены автоматически, а равенства (6.5), спроецированные на взаимно ортогональные СВ $\mathcal{W}_{\# }^{j}$ матрицы ${\mathbf{M}}(1)$, порождают систему четырех алгебраических уравнений

$\sum\limits_ \pm {\left( { \pm i\kappa _{j}^{i} - \frac{5}{2}} \right)} \left( { \pm i\kappa _{j}^{i} - \frac{7}{2}} \right){{h}^{{ \pm i\kappa _{j}^{i}}}}a_{j}^{ \pm } + \left( {\kappa _{j}^{r} + \frac{5}{2}} \right)\left( {\kappa _{j}^{r} + \frac{7}{2}} \right){{a}_{j}} = 0$
$ - \sum\limits_ \pm {\left( { \pm i\kappa _{j}^{i} - \frac{5}{2}} \right)} \left( {{{{\left| {\kappa _{j}^{i}} \right|}}^{2}} + \frac{{49}}{4}} \right){{h}^{{ \pm i\kappa _{j}^{i}}}}a_{j}^{ \pm } + \left( {\kappa _{j}^{r} + \frac{5}{2}} \right)\left( {\frac{{49}}{4} - {{{\left| {\kappa _{j}^{r}} \right|}}^{2}}} \right){{a}_{j}} = 0$

Исключив неизвестные ${{a}_{1}}$ и ${{a}_{2}}$, получаем связи (7.5) коэффициентов $a_{j}^{ - }$ и $a_{j}^{ + }$, которые согласно соотношениям (9.1) превращаем в систему двух уравнений для столбца b = = ${{({{b}_{1}},{{b}_{2}})}^{ \top }}$

(9.2)
$\begin{array}{*{20}{c}} {Sb + R(h)b = 0} \end{array}$
(9.3)
$\begin{array}{*{20}{c}} {R(h) = {\text{diag}}} \end{array}\{ {{e}^{{i({{\theta }_{1}} + 2\kappa _{j}^{i}lnh)}}},{{e}^{{i({{\theta }_{2}} + 2\kappa _{2}^{i}lnh)}}}\} $

Итак, условие экспоненциального затухания пограничного слоя, компенсирующего невязку суммы (7.1) в краевом условии на торце ${{\omega }^{h}}$ и позволяющего обосновать асимптотику СЧ задачи (1.3) в ${{\Omega }^{h}}$, привело к системе трансцендентных уравнений (9.2), т.е. длина $h$ обломка ${{\Pi }^{h}}$ находится из требования: единица – СЧ пучка

(9.4)
$\begin{array}{*{20}{c}} {r \mapsto S + rR(h)} \end{array}$

Если $\Omega $ – изотропное упругое тело, а сечение $\omega $ симметрично относительно обеих осей системы координат $y = ({{y}_{1}},{{y}_{2}})$, то $\Lambda _{1}^{\dag } = \Lambda _{2}^{\dag }$, реализуется именно ситуация (3.11) и

$\kappa _{1}^{i} = \kappa _{2}^{i},\quad \kappa _{1}^{r} = \kappa _{2}^{r},\quad {{\theta }_{1}} = {{\theta }_{2}}$

В итоге матрица (9.3) лишь постоянным множителем отличается от единичной $(2 \times 2)$-матрицы, а значит, при

(9.5)
$\begin{array}{*{20}{c}} {{{h}_{{nk}}} = {{e}^{{{{{(2\kappa _{j}^{1})}}^{{ - 1}}}({{\Theta }_{k}} - {{\theta }_{1}} - (1 + 2n)\pi )}}},\quad k = 1,2,\quad n = 1,2,3,\; \ldots } \end{array}$
соотношение (9.2) выполнено для СВ ${{b}^{k}}$ унитарной матрицы рассеяния $S$, отвечающих ее СЧ ${{e}^{{i{{\Theta }_{k}}}}}$. Таким образом, как и в разд. 7, наблюдаем эффект “мигания” СЧ.

Аналогичный вывод справедлив и для анизотропного тела с асимметричным пиком, если только $\kappa _{1}^{i} = \kappa _{2}^{i}$, причем в качестве ${{e}^{{i{{\Theta }_{k}}}}}$ в определении (9.4) критических длин ${{h}_{{nk}}}$ выступают СЧ унитарной матрицы ${{R}^{{ - 1/2}}}S{{R}^{{ - 1/2}}}$, где $R = {\text{diag}}\{ {{e}^{{i{{\theta }_{1}}}}},{{e}^{{i{{\theta }_{2}}}}}\} $. Кроме того, согласно формуле (9.3) СЧ пучка (9.4) при $h \to + 0$ обегают с большой скоростью единичную окружность $\mathbb{S} \subset \mathbb{C}$ в направлении против часовой стрелки.

В случае $\kappa _{1}^{i} \ne \kappa _{2}^{i}$ и ${{\Lambda }^{0}} > \Lambda _{2}^{\dag }$ СЧ пучка (9.4) хаотично двигаются по окружности $\mathbb{S}$ на комплексной плоскости, а направление их движения может изменяться сколь угодно много раз при $h \to + 0$. В двух ситуациях, когда семейства $\{ \Lambda _{{p(h)}}^{h}\} $, непрерывно зависящие от параметра $h > 0$, пересекают точку $ - 1 \in \mathbb{S}$ или приближаются к ней, в малой окрестности выбранной точки ${{\Lambda }^{0}}$ появляется элемент последовательности (1.5). Вместе с тем установить какой-либо закон движения семейств не удается, и поэтому соответствующие СЧ называем “блуждающими”. По доказанному [1, 3] непрерывный спектр задачи (1.2) покрывает луч ($\Lambda _{2}^{\dag }$, $ + \infty $) и правомочна гипотеза: для каждой точки ${{\Lambda }^{0}} > \Lambda _{2}^{\dag }$ найдется такая бесконечно малая последовательность $\{ {{h}_{n}}({{\Lambda }^{0}})\} $, что расстояние от –1 до СЧ пучка (9.4) при $h = {{h}_{n}}({{\Lambda }^{0}})$ стремится к нулю при $h \to + 0$.

Работа финансово поддержана Российским научным фондом (17-11-01003).

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

  1. Назаров С.А. О спектре задачи теории упругости для тела пикообразной формы // Сиб. матем. ж. 2008. Т. 49. № 5. С. 1105–1127.

  2. Бахарев Ф.Л., Назаров С.А. О структуре спектра задачи теории упругости для тела со сверхострым пиком // Сиб. матем. ж. 2009. Т. 50. № 4. С. 746–756.

  3. Kozlov V., Nazarov S.A. On the spectrum of an elastic solid with cusps // Adv. Diff. Equat. 2016. V. 21. № 9/10. P. 887–944.

  4. Миронов М.А. Распространение изгибной волны в пластине, толщина которой плавно уменьшается до нуля на конечном интервале // Акуст. ж. 1988. Т. 34. № 3. С. 546–547.

  5. Krylov V.V. New type of vibration dampers utilising the effect of acoustic “black holes” // Acta Acustica united with Acustica. 2004. V. 90. № 5. P. 830–837.

  6. Krylov V.V., Tilman F.J.B.S. Acoustic “black holes” for flexural waves as effective vibration dampers // J. Sound Vibr. 2004. V. 274. P. 605–619.

  7. Kozlov V.A., Nazarov S.A. Waves and radiation conditions in a cuspidal sharpening of elastic bodies // J. Elast. 2018. V. 132. P. 103–140.

  8. Лехницкий С.Г. Теория упругости анизотропного тела. М.: Наука, 1977.

  9. Bertram A. Elasticity and Placticity of Large Deformations. B.; Heidelberg: Springer, 2005.

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

  11. Pólya G., Szegö G. Isoperimetric Inequalities in Mathematical Physics. Princeton, NJ: Princeton Univ. Press, 1951 = Полиа Г., Сеге Г. Изопериметрические неравенства в математической физике. М.: Физматгиз, 1962.

  12. Ворович И.И., Бабешко В.А. Динамические смешанные задачи теории упругости для неклассических областей. М.: Наука, 1979.

  13. Назаров С.А. Энергетические условия излучения Мандельштама и вектор Умова–Пойнтинга в упругих волноводах // Пробл. матем. анализа. Вып. 72. Новосибирск, 2013. С. 101–146.

  14. Назаров С.А. Условия излучения Умова–Мандельштама в упругих периодических волноводах // Матем. сб. 2014. Т. 205. № 7. С. 43–72.

  15. Умов Н.А. Уравнения движения энергии в телах. Одесса: Типогр. Ульриха и Шульце, 1874.

  16. Nazarov S.A., Plamenevsky B.A. Elliptic problems in domains with piecewise smooth boundaries. B.; N.Y.: Walter de Gruyter, 1994.

  17. Назаров С.А. Асимптотика собственных чисел на непрерывном спектре регулярно возмущенного квантового волновода // Теор. матем. физ. 2011. Т. 167. № 2. С. 239–262.

  18. Кондратьев В.А., Олейник О.А. Краевые задачи для системы теории упругости в неограниченных областях. Неравенство Корна // Успехи матем. наук. 1988. Т. 43. № 5. С. 55–98.

  19. Бирман М.Ш., Соломяк М.З. Спектральная теория самосопряженных операторов в гильбертовом пространстве. Л.: Изд-во Ленингр. ун-та, 1980.

  20. Вишик М.И., Люстерник Л.А. Регулярное вырождение и пограничный слой для линейных дифференциальных уравнений с малым параметром // Успехи матем. наук. 1957. Т. 12. № 5. С. 3–122.

  21. Назаров С.А. Дополнения к доказательству весового неравенства Корна для упругого тела с пикообразным заострением // Пробл. матем. анализа. Вып. 63. Новосибирск, 2012. С. 83–113.

  22. Mazja W.G., Nasarow S.A., Plamenewski B.A. Asymptotische Theorie elliptischer Randwertaufgaben in singulär gestörten Gebieten. Bd. 1, 2. B.: Akademie, 1991.

  23. Работнов Ю.Н. Механика деформируемого твердого тела. М.: Наука, 1988.

  24. Lions J.-L., Magenes E. Problimes aux limites non homogunes et applications. V. 1. Paris: Dunod, 1968.

  25. Kato T. Perturbation Theory for Linear Operators. 2nd ed. B.: Springer, 1976.

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