Доклады Российской академии наук. Физика, технические науки. T. 509, Номер 1, 2023

Доклады Российской академии наук. Физика, технические науки, 2023, T. 509, № 1, стр. 39-44

ТОЧНОЕ РЕШЕНИЕ УРАВНЕНИЯ ВИНЕРА–ХОПФА НА ОТРЕЗКЕ ДЛЯ КОНТАКТНЫХ ЗАДАЧ И ЗАДАЧ ТЕОРИИ ТРЕЩИН В СЛОИСТОЙ СРЕДЕ

Академик РАН В. А. Бабешко 12*, О. В. Евдокимова 1, О. М. Бабешко 1, М. В. Зарецкая 1, В. С. Евдокимов 2

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

2 Южный научный центр Российской академии наук
Ростов-на-Дону, Россия

* E-mail: babeshko41@mail.ru

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

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

Аннотация

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

Ключевые слова: смешанные задачи, многослойные среды, интегральное уравнение Винера–Хопфа, бесконечные алгебраические системы

ВВЕДЕНИЕ

При решении смешанных граничных задач для дифференциальных уравнений в многослойной среде с плоскими границами возникают интегральные уравнения Винера–Хопфа на конечном отрезке [13]. К числу таких граничных задач относятся контактные задачи теории упругости, задачи теории трещин Гриффитса и трещин нового типа, задачи трибологии, создания элементной базы электроники, оценки свойств ледовых покрытий, геофизики, сейсмологии и ряда других областей. Для их решения разработан большой арсенал различных аналитических, численных и приближенных методов, объединяющих аналитические и численные подходы [13]. В свою очередь аналитические методы делятся на подходы, включающие построение точных решений, применение ортогональных полиномов, граничных элементов, асимптотических методов, метод коллокации и др. Зачастую эти методы находят дальнейшее развитие путем последующего применения численных подходов, чем достигается их высокая эффективность. Свойства решений граничных задач, как правило, описываются функциями, содержащими те или иные особенности и сингулярности, или могут содержать условия, вызывающие резонансное поведение рассматриваемой деформируемой структуры. Применение различных методов решения граничных задач показало, что в тех случаях, когда свойства решений представляются достаточно гладкими функциями, можно применять приближенные методы. Но когда аналитические свойства решений граничных задач полностью не известны, важно суметь построить точное решение рассматриваемой задачи и выявить все возможные особенности решения. После этого можно уже применять приближенные подходы, позволяющие учитывать все свойства. Сказанное можно наблюдать на примерах решения контактной задачи для полупространства, выполненной Л.А. Галиным [2], о действии клиновидного в плане штампа на деформируемую среду, о трещинах Гриффитса и многих других примерах.

Как правило, построенное точное решение граничной задачи открывает возможность решения следующих по сложности задач, в том числе из других областей. Относящиеся к числу аналитических, асимптотические методы могут дать возможность построить точное решение рассматриваемой задачи. В настоящей работе на основе анализа свойств асимптотических решений контактной задачи о действии жесткого штампа конечной относительной длины на слоистую среду оказалось возможным построить точное решение соответствующего интегрального уравнения Винера–Хопфа. В работе [2] разработаны асимптотические методы решения интегрального уравнения Винера–Хопфа на конечном отрезке $2a$. Именно, построены асимптотические формулы отдельно для случаев $a \gg 1$ и $a \ll 1$. Эти асимптотические формулы использовались и продолжают использоваться для решения самых разных смешанных граничных задач. Так, в работах [414] рассмотрен большой набор важных и ответственных смешанных задач в разных областях, опирающихся на указанные асимптотические подходы и на близкие к ним. В частности, рассмотрены смешанные задачи для сред сложных реологий [4], для тел конечных размеров [5], в проблеме дефектоскопии [6, 7], в проблеме излучения и отражения волн [8], в проблеме прочности предварительно напряженных материалов [9], в динамических контактных задачах [10, 11], в смешанных задачах теории трещин [12, 13], в геофизике [14]. Разработанный в настоящей работе метод построения точного решения ряда смешанных задач для многослойных областей может оказаться полезным во всех вышеперечисленных задачах, в том числе в наноматериалах, контактных задачах с деформируемым штампом, трещинах нового типа. В его разработке использован новый универсальный метод моделирования [15].

ИНТЕГРАЛЬНОЕ УРАВНЕНИЕ ВИНЕРА–ХОПФА НА ОТРЕЗКЕ

Интегральное уравнение контактной задачи на многослойной среде при наличии смены граничных условий на отрезке длиной $2a$ имеет вид [2]

(1)
$\begin{gathered} \int\limits_{ - a}^a k (x - \xi )\varphi (\xi )d\xi = f(x),\quad \left| {{{x}_{1}}} \right| \leqslant a, \\ k(x) = \frac{1}{{2\pi }}\int\limits_{ - \infty }^\infty K (u){{e}^{{ - iux}}}du.{\text{ }} \\ \end{gathered} $

В том случае если многослойная среда имеет конечную толщину, то преобразование Фурье ядра интегрального уравнения, функция K(u), является мероморфной в комплексной плоскости переменного u и обладает свойствами

${\text{ }}K(u) = A{{\left| u \right|}^{{ - 1}}}\left[ {1 + o(1)} \right],\quad \left| u \right| \gg 1.$

В изотропном случае она является четной и может быть представлена в виде $K(u) = {\text{ }}{{P}^{{ - 1}}}(u)R(u)$. Здесь целые функции R(u) и P(u) имеют первый порядок и конечный тип, обладают счетными множествами нулей, которые предполагаются однократными, имеющими точки сгущения на бесконечности в окрестности мнимых полуосей. Асимптотическое представление нулей и полюсов верхней полуплоскости, свойственное многослойной среде, имеет вид [2]

(2)
$\begin{gathered} {{\xi }_{S}} = ir(s + 0.5)(1 + o(1)),\quad s \to \infty , \\ {{z}_{m}} = irm(1 + o(1)), \\ s \to \infty ,\quad r = {\text{const}} > 0. \\ \end{gathered} $

Например, в статической контактной задаче для упругого слоя, в случае жесткого сцепления с основанием, функция $K(u)$ имеет вид [2]

$K\left( u \right) = - \frac{{2\left( {3 - 4\nu } \right){\text{sh}}2u - 4u}}{{u[2(3 - 4\nu )\,{\text{ch}}2u + 4{{u}^{2}} + 1 + {{{\left( {1 - \nu } \right)}}^{2}}]}},$
которая обладает перечисленными выше свойствами. Предполагается также, что для рассматриваемых интегральных уравнений на отрезке доказаны теоремы единственности и разрешимости в некоторых пространствах ${{L}_{p}}( - a,a).$ Ряд теорем единственности для интегральных уравнений статических задач имеется в [2].

Используя описанные нули, построим четные целые функции $R\left( {u,z} \right)$ $P\left( {u,z} \right)$ в форме бесконечных произведений [16]. Последние будут иметь вид

$\begin{gathered} R({{u}^{2}},z) = {{R}_{ \mp }}\left( {u,z} \right){{R}_{ \pm }}\left( {u,z} \right), \\ {{R}_{ \pm }}\left( {u,z} \right) = {{T}_{ \mp }}{{e}^{{ \mp iu}}}\prod\limits_{s = 1}^\infty {\left( {1 \pm \frac{u}{{{{z}_{s}}}}} \right){{e}^{{\frac{u}{{ \pm {{z}_{s}}}}}}}} , \\ \end{gathered} $
(3)
${{T}_{ \mp }} = {\text{const}},\quad P\left( {u,\xi } \right) = {{P}_{ \mp }}\left( {u,\xi } \right){{P}_{ \pm }}\left( {u,\xi } \right),$
$\begin{gathered} {{P}_{ \pm }}\left( {u,\xi } \right) = {{S}_{ \mp }}{{e}^{{ \mp iu}}}\prod\limits_{s = 1}^\infty {\left( {1 \pm \frac{u}{{{{\xi }_{s}}}}} \right){{e}^{{\frac{u}{{ \pm {{\xi }_{s}}}}}}},} \\ {{S}_{ \mp }} = {\text{const}}, \\ \end{gathered} $
которые после деления на P(u) дадут мероморфные функции, обозначенные K(u) = ${{P}^{{ - 1}}}(u,\xi )R(u,z)$. Их нулями являются $ \pm {{z}_{m}}$, а полюсами $ \pm {{\xi }_{s}}$.

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

${{K}_{ \pm }}(u) = P_{ \pm }^{{ - 1}}\left( {u,\xi } \right){{R}_{ \pm }}\left( {u,z} \right).$

ПОСТРОЕНИЕ ОБЩЕГО ВИДА РЕШЕНИЯ НА ОТРЕЗКЕ

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

(4)
$\frac{1}{{2\pi }}\int\limits_{ - \infty }^\infty {{{P}^{{ - 1}}}} (u)R(u)\Phi (u){{e}^{{ - iux}}}du = f(x).$

С учетом свойств ядра, вычислив обращения Фурье, получаем представление

$\mathop \Pi \limits_{n = 1}^\infty {{R}_{n}}\left( {i\frac{\partial }{{\partial x}}} \right)\varphi (x) = {{f}_{0}}(x),\quad {{f}_{0}}(x) \equiv \mathop \Pi \limits_{m = 1}^\infty {{P}_{m}}\left( {i\frac{\partial }{{\partial x}}} \right)f(x).$

Слева стоит дифференциальное уравнение с постоянными коэффициентами бесконечного порядка, а справа – подвергнутая дифференциальной операции правая часть, свидетельствующая о неоднородности дифференциального уравнения.

В соответствии с теорией обыкновенных дифференциальных уравнений с постоянными коэффициентами общее решение однородного дифференциального уравнения, отыскиваемое в классических функциях, имеет вид

${{\varphi }_{0}}(x) = \sum\limits_{n = 1}^\infty {{{\varphi }_{{0n}}}} (x),$
где каждая функция является решением дифференциальных уравнений вида

${{R}_{n}}\left( {i\frac{\partial }{{\partial x}}} \right){{\varphi }_{{0n}}}(x) \equiv - \left( {\frac{{{{\partial }^{2}}}}{{\partial {{x}^{2}}}} + z_{n}^{2}} \right){{\varphi }_{{0n}}}(x) = 0.$

Примем частные решения в виде

${{\varphi }_{{0n}}}(x) = C_{n}^{ + }{{e}^{{i{{z}_{n}}(a + x)}}} + C_{n}^{ - }{{e}^{{i{{z}_{n}}(a - x)}}}.$

Взяв их сумму, получим общее решение всего дифференциального уравнения, характеристическим уравнением для которого является функция

${{\varphi }_{0}}(x) = \sum\limits_{n = 1}^\infty {(C_{n}^{ + }{{e}^{{i{{z}_{n}}(a + x)}}} + C_{n}^{ - }{{e}^{{i{{z}_{n}}(a - x)}}})} .$

Учет правой части неоднородного уравнения будем осуществлять из условия удовлетворения решения интегральному уравнению.

С этой целью упростим правую часть интегрального уравнения, представив ее с помощью преобразования Фурье, положив

$f(x) = \frac{1}{{2\pi }}\int\limits_{ - \infty }^\infty F (\eta ){{e}^{{ - i\eta x}}}d\eta .$

Это дает возможность рассматривать правую часть в виде

(5)
$F(\eta ){{e}^{{ - i\eta x}}}.$

Представив частное решение дифференциального уравнения в виде $\varphi _{*}^{{}}(x) = A{{e}^{{ - i\eta x}}}$ и построив его преобразование Фурье $\Phi _{*}^{{}}(u)$, искомое решение $\Phi (u)$ интегрального уравнения в преобразованиях Фурье примем в форме

$\Phi (u) = {{\Phi }_{0}}(u) + \Phi _{*}^{{}}(u).$

В результате подстановки решения в такой форме в интегральное уравнение (4) и учета [2], а также соотношений (5) получаем представление частного решения в виде

$\Phi _{*}^{{}}(u) = \frac{{iF(\eta )}}{{K(\eta )(u - \eta )}}.$

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

Будем искать решение интегрального уравнения (4), (5) в виде

(6)
$\varphi (x) = F(\eta ){{e}^{{ - i\eta x}}} + \sum\limits_{n = 1}^\infty {[C_{n}^{ + }{{e}^{{i{{z}_{n}}(a + x)}}} + C_{n}^{ - }{{e}^{{i{{z}_{n}}(a - x)}}}]} \,.$

Внесем его в интегральное уравнение (1), с условием (5), предварительно вычислив представление ядра по вычетам и получив выражение [2]

$k(x) = i\sum\limits_{s = 1}^\infty {{{b}_{s}}} {{e}^{{i{{\xi }_{s}}\left| x \right|}}},\quad {{b}_{s}} = {{\left[ {P{\kern 1pt} '({{\xi }_{s}})} \right]}^{{ - 1}}}R({{\xi }_{s}}).$

В результате вычислений и приравнивания левой части интегрального уравнения правой, с учетом свойства (3) приходим к бесконечным системам линейных алгебраических уравнений вида

$\left[ {{\mathbf{A}} \pm {\mathbf{B}}{\text{(}}a{\text{)}}} \right]{\mathbf{X}}( \pm ){\mathbf{ = D}}( \pm ){\mathbf{,}}$
(7)
$\begin{gathered} {\mathbf{A}} = \left\| {\frac{1}{{{{\xi }_{r}} - {{z}_{m}}}}} \right\|,\quad {\mathbf{B(}}a{\mathbf{)}} = \left\| {\frac{{\exp i2a{{z}_{m}}}}{{{{\xi }_{r}} + {{z}_{m}}}}} \right\|, \\ {\mathbf{D}}( \pm ) = \left\{ {\frac{{F(\eta )}}{{K(\eta )}}\left[ {\frac{{{{e}^{{ia\eta }}}}}{{\eta + \xi }} \pm \frac{{{{e}^{{ - ia\eta }}}}}{{\eta - \xi }}} \right]} \right\}, \\ \end{gathered} $
${\mathbf{X}}( \pm ) = \left\{ {{{x}_{m}}( \pm )} \right\},\quad {{x}_{m}}( \pm ) = C_{m}^{ + } \pm C_{m}^{ - }.$

Знаки в системе уравнений берутся в соответствии с этажностью.

При любом a > 0 операторы ${\mathbf{A}}$ и ${\mathbf{B}}$ действуют непрерывно в пространстве бесконечных последовательностей ${{C}_{{v}}}$, с нормой $\left\| {\mathbf{X}} \right\| = \max \left| {{{m}^{{v}}}{{x}_{m}}} \right|,$ $0 < {v} \leqslant 0.5$ [2].

Построенная бесконечная система уравнений изучалась в [2] для больших значений параметра $a \gg 1$. Здесь принято во внимание, с учетом свойств нулей zm, экспоненциальное убывание всех членов матрицы-функции B(a).

ПОСТРОЕНИЕ ОБРАТНОЙ МАТРИЦЫ A–1

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

$\begin{gathered} 0 = \frac{1}{{2\pi i}}\oint\limits_{{{C}_{n}}} {\frac{{{{K}_{ + }}(\lambda )d\lambda }}{{K_{ + }^{'}( - {{z}_{g}})( - \eta + \lambda )(\lambda + {{z}_{m}})}}} = \\ \, = - \sum\limits_{r = 1}^\infty {\frac{1}{{K_{ + }^{'}( - {{z}_{g}})( - \eta - {{\xi }_{r}})\left( { - {{\xi }_{r}} + {{z}_{m}}} \right)[]K_{ + }^{{ - 1}}( - {{\xi }_{r}}){\kern 1pt} '}}} - \\ \, - \frac{{{{K}_{ + }}(\eta )}}{{K_{ + }^{'}( - {{z}_{g}})(\eta + {{z}_{m}})}} - \frac{{{{K}_{ + }}( - {{z}_{m}})}}{{K_{ + }^{'}( - {{z}_{g}})( - \eta - {{z}_{m}})}},\quad {{C}_{n}} \to \infty . \\ \end{gathered} $

Положив в нем $\eta = - {{z}_{m}} + \delta $, приходим к соотношению

$\frac{{{{K}_{ + }}( - {{z}_{m}}) - {{K}_{ + }}( - {{z}_{m}} + \delta )}}{{K_{ + }^{'}( - {{z}_{g}})( - {{z}_{m}} + \delta + {{z}_{m}})}} = - \frac{{{{K}_{ + }}( - {{z}_{m}} + \delta ) - {{K}_{ + }}( - {{z}_{m}})}}{{K_{ + }^{'}( - {{z}_{g}})(\delta )}}.$

Устремив $\delta \to 0$, получаем

$\sum\limits_{r = 1}^\infty {\frac{1}{{K_{ + }^{'}( - {{z}_{g}})({{\xi }_{r}} - {{z}_{g}})({{\xi }_{r}} - {{z}_{m}})[K_{ + }^{{ - 1}}( - {{\xi }_{r}})]'}}} \, = \,\left\{ {\begin{array}{*{20}{c}} {1...g = m,} \\ {0...g \ne m.} \end{array}} \right.$

В результате преобразований построена бесконечная матрица A–1, являющаяся двусторонней обратной к матрице A, что легко проверяется. Она представима в виде

${{{\mathbf{A}}}^{{ - {\mathbf{1}}}}} = \left\| {{{\tau }_{{gr}}}} \right\|,\quad {{\tau }_{{gr}}} = \frac{1}{{K_{ + }^{'}( - {{z}_{g}})({{\xi }_{r}} - {{z}_{g}})[K_{ + }^{{ - 1}}( - {{\xi }_{r}})]{\kern 1pt} '}}.$

Оператор A–1 действует в пространстве ${{C}_{{v}}}$.

Для дальнейшего исследования остановимся на выборе случая верхнего этажа в уравнении (7), случай нижнего изучается аналогично. Подействуем для случая верхнего этажа слева обратной матрицей на уравнение (7), получим уравнение второго рода вида

(8)
${\mathbf{X}} = - {{A}^{{ - 1}}}{\mathbf{B}}{\text{(}}a{\text{)}}{\mathbf{X}} + {{A}^{{ - 1}}}{\mathbf{D}}.$

Достаточно легко оценивается норма оператора, имеющая вид

(9)
$\left\| {{{A}^{{ - 1}}}{\mathbf{B}}{\text{(}}a{\text{)}}} \right\| = \mathop {\max }\limits_g \left| {{{g}^{{v}}}\sum\limits_{r = 1}^\infty {\sum\limits_{m = 1}^\infty {{{\tau }_{{gr}}}} } \frac{{\exp i2a{{z}_{m}}}}{{{{\xi }_{r}} + {{z}_{m}}}}{{m}^{{ - {v}}}}} \right|,$
которая стремится к нулю при $a \to \infty $ и возрастает до бесконечности при $a \to 0$.

В силу свойства рядов экспонент, представляемая в вертикальных скобках функция (9) является не только непрерывной функцией параметра a, но также и целой функцией [17]. Отсюда следует, что найдется нижняя граница параметра $a = {{a}_{0}}$, такая, что на интервале $({{a}_{0}},\infty ]$ будет иметь место соотношение $\left\| {{{A}^{{ - 1}}}{\mathbf{B}}{\text{(}}a{\text{)}}} \right\| < 1$. Тогда в этом интервале изменения параметра a на конечном отрезке [–a, a] методом последующих приближений можно построить точное решение интегрального уравнения Винера–Хопфа, которое имеет вид

(10)
${\mathbf{X}} = \sum\limits_{n = 0}^\infty {{{{\left( { - 1} \right)}}^{n}}} {{({{A}^{{ - 1}}}{\mathbf{B}}{\text{(}}a{\text{)}})}^{n}}{{A}^{{ - 1}}}{\mathbf{D}}.$

ПОСТРОЕНИЕ ТОЧНОГО РЕШЕНИЯ ИНТЕГРАЛЬНОГО УРАВНЕНИЯ

Рассмотрим оператор ${{A}^{{ - 1}}}{\mathbf{B}}{\text{(}}a{\text{)}}X$, имеющий вид

$\begin{gathered} \sum\limits_{r = 1}^\infty {\sum\limits_{m = 1}^\infty {{{\tau }_{{gr}}}} } \frac{{\exp i2a{{z}_{m}}}}{{{{\xi }_{r}} + {{z}_{m}}}}{{x}_{m}} \equiv \sum\limits_{m = 1}^\infty {\frac{{{{K}_{ + }}({{z}_{m}})\exp i{{z}_{m}}a}}{{K_{ + }^{'}( - {{z}_{g}})({{z}_{m}} + {{z}_{g}})}}} {{x}_{m}} \equiv \\ \, \equiv \sum\limits_{m = 1}^\infty {{{{{\sigma }}}_{{mg}}}{{x}_{m}}\exp i{{z}_{m}}a} ,\quad \frac{{{{K}_{ + }}({{z}_{m}})}}{{K_{ + }^{'}( - {{z}_{g}})({{z}_{m}} + {{z}_{g}})}} = {{{{\sigma }}}_{{mg}}}. \\ \end{gathered} $

Как функция переменного a, он представляет числовой ряд экспонент с комплексными показателями и называется рядом Дирихле [17], а как равномерно сходящийся ряд целых функций представляет целую функцию параметра a.

Но решение интегрального уравнения на отрезке 2a, в отличие от случая полубесконечного отрезка, ищется в форме комбинации двух рядов – с положительными и отрицательными показателями (6), коэффициенты которых должны определяться. Встает вопрос о единственности коэффициентов. Свойства коэффициентов этих двух рядов, зависящих от параметра a, зависят от свойств показателей экспонент, входящих в этот ряд. Эти свойства выявляются вычислением индикатрисы роста целой функции, для которой показатели являются нулями. Справедлив следующий результат [2, 17].

Пусть ${{\gamma }_{k}}$ – нули целой функции $P(z)$, индикатриса роста которой

$h(\theta ) = \mathop {\overline {\lim } }\limits_{\rho \to \infty } \frac{{\ln {\text{|}}P(\rho {{e}^{{i\theta }}}){\text{|}}}}{\rho } = \sigma {\text{|}}\sin \theta {\text{|}}{\text{.}}$

Тогда если ряд

$J(z) = \mathop {{\text{lim}}}\limits_{n \to \infty } \sum\limits_{k = 1}^n {({{a}_{{kn}}}{{e}^{{{{\gamma }_{k}}z}}} + {{b}_{{kn}}}{{e}^{{ - {{\gamma }_{k}}z}}})} $
равномерно сходится в области ω, полностью содержащей отрезок мнимой оси, $\left| {\operatorname{Im} z} \right| < \sigma $, то из условия $J(z) \equiv 0$ в $\omega $ следует, что ${{a}_{{kn}}}$, ${{b}_{{kn}}} \to 0,$ $k = 1,2$, ...

В нашем случае ${{a}_{{kn}}}$, ${{b}_{{kn}}}$ не зависят от $n = \infty $ и свойства нулей целой функции удовлетворяют требованиям индикатрисы роста. Таким образом, доказана единственность коэффициентов разложения решения (7). Для доказательства существования решения на любом конечном отрезке используем свойство оператора ${{A}^{{ - 1}}}{\mathbf{B}}{\text{(}}a{\text{)}}$ как целой функции переменного a, удовлетворяющей условию $\left\| {{{A}^{{ - 1}}}{\mathbf{B}}{\text{(}}a{\text{)}}} \right\| < 1$ на интервале $({{a}_{0}},\infty ]$. На этом интервале вычислим сумму геометрической прогрессии (10). В результате получим для коэффициентов разложения представление вида

(11)
${\mathbf{X}} = \frac{{{{A}^{{ - 1}}}{\mathbf{D}}}}{{1 + {{A}^{{ - 1}}}{\mathbf{B}}{\text{(}}a{\text{)}}}}.$

Из теоремы единственности для интегрального уравнения для всех a на положительной оси следует, что знаменатель в (11) не имеет нулей, в противном случае нарушалась бы единственность решения. Таким образом, мероморфную функцию параметра a можно аналитически продолжить на весь полуинтеравал $(0,\infty ]$, в том числе в область, где

$\left\| {{{A}^{{ - 1}}}{\mathbf{B}}{\text{(}}a{\text{)}}} \right\| > 1.$

Следуя методам функционального анализа [18], операторное представление формулы (11) можно записать в виде

(12)
${\mathbf{X}} = {{[1 + {{A}^{{ - 1}}}{\mathbf{B}}{\text{(}}a{\text{)}}]}^{{ - 1}}}{{A}^{{ - 1}}}{\mathbf{D}}.$

Нетрудно проверить, что построенное решение представляет точное решение уравнения (8) для всех значений параметра a.

Действительно, подействовав оператором [1 + + ${{A}^{{ - 1}}}{\mathbf{B}}(a)]$ слева на равенство (12), получим соотношение

$[1 + {{A}^{{ - 1}}}{\mathbf{B}}{\text{(}}a{\text{)}}]{\mathbf{X}} = {{A}^{{ - 1}}}{\mathbf{D}}.$

Это свидетельствует об удовлетворении решения интегральному уравнению, эквивалентному бесконечной системе алгебраических уравнений на любом конечном отрезке. Из полученного решения можно получить предельный случай для малых $a \ll 1$. Так, взяв $f(x) = \Delta ,$ $\Delta = {\text{const}}$ и произведя преобразования в формуле (11), выделив главный член при $a \to 0$, получаем асимптотическое представление решения в виде

(13)
$\varphi (x) = \frac{\Delta }{{\sqrt {{{a}^{2}} - {{x}^{2}}} {\text{ln}}a}}.$

Оно совпадает с результатом, получаемым с исследованием исходного интегрального уравнения (1) методом малых отрезков, разработанным в [2]. Для этого случая интегральное уравнение (1) преобразуется в представленное ниже:

$\int\limits_{ - a}^a {{\text{ln}}} (x - \xi )\varphi (\xi )d\xi = \Delta .$

Его решение совпадает с (13).

ВЫВОД

Построенное решение дает возможность исследовать поведение материалов, имеющих трещины нового типа, которым свойственен механизм разрушения, отличный от случая трещин Гриффитса. Ранее их удавалось исследовать для случаев формирования полубесконечными фрагментами материала. Теперь, с получением точных решений уравнения Винера–Хопфа для конечных областей задания, это возможно выполнять для случаев, часто используемых на практике.

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

  1. Нобл Б. Метод Винера–Хопфа. М.: ИЛ, 1962. 280 с.

  2. Ворович И.И., Александров В.М., Бабешко В.А. Неклассические смешанные задачи теории упругости. М., 1974. 456 с.

  3. Попов Г.Я. Избранные труды. Т. 2. Одесса: Одесско-полиграфический дом ВМВ, 2007. 516 с.

  4. Ma J., Ke L.-L., Wang Y.-S., Aizikovich S.M. Thermal contact of magneto-electro-elastic materials subjected to a condacting flat punch // Journal of Strain Analysis for Engineering Design. 2015. V. 50. № 7. P. 513–527.

  5. Александров В.М. Аналитические методы в задачах для тел конечных размеров с несобственно смешанными граничными условиями // Известия РАН. Механика твердого тела. 2014. № 2. С. 51–57.

  6. Ватульян А.О., Плотников Д.К. К исследованию контактной задачи для неоднородной упругой полосы // ПММ. 2021. Т. 85. № 3. С. 285–295.

  7. Ватульян А.О., Беляк О.А. Асимптотический подход к расчету волновых полей в слое с дефектом малого характерного размера // Акустический журнал. 2020. Т. 66. № 3. С. 235–241.

  8. Glushkov E., Glushkova N., Golub M., Eremin A. Resonance blocking and passing effects in two dimensional elastic waveguides with obstacles // Journal of the Acoustical Society of America. 2011. V. 130. № 1. P. 113–121.

  9. Калинчук В.В., Белянкова Т.И. Динамические контактные задачи для предварительно напряженных тел. М.: Физматлит, 2006. 272 с.

  10. Ворович Е.И., Пряхина О.Д. Динамическая контактная задача для упругой системы балка-слой // Известия АН СССР. Механика твердого тела. 1989. № 1. С. 144.

  11. Пряхина О.Д., Смирнова А.В. Интегральные уравнения динамических задач для многослойных сред, содержащих систему трещин // ПММ. 2005. Т. 69. № 2. С. 345–351.

  12. Артамонова Е.А., Пожарский Д.А. Плоские трещины в трансверсально изотропном слое // ПММ. 2020. Т. 84. № 4. С. 500–510.

  13. Пожарский Д.А., Золотов Н.Б. Контактные задачи для полых цилиндров из неоднородного материала // Прикладная механика и техническая физика. 2019. Т. 60. № 6 (358). С. 130–138.

  14. Бабешко В.А., Евдокимова О.В., Бабешко О.М., Евдокимов В.С. Об определении механического состояния тектонических разломов // Геология и геофизика Юга России. 2022. № 12 (2). С. 53–66.

  15. Бабешко В.А., Евдокимова О.В., Бабешко О.М. Фрактальные свойства блочных элементов и новый универсальный метод моделирования // ДАН. 2021. Т. 499. С. 21–26. https://doi.org/10.31857/S2686740021040039

  16. Маркушевич А.И. Теория аналитических функций. Т. 2. М., 1968. 624 с.

  17. Леонтьев А.Ф. Ряды экспонент. М.: Наука, 1976. 537 с.

  18. Канторович Л.В., Акилов Г.П. Функциональный анализ. М.: Наука, 1977. 742 с.

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