|
Краткие сообщения
Краевая задача на геометрическом графе-звезде с нелинейным условием в узле
М. Ш. Бурлуцкая, М. Б. Зверева, М. И. Каменский Воронежский государственный университет
Ключевые слова:
геометрический граф, энергетический функционал, интеграл Стилтьеса, функция ограниченной вариации, абсолютно-непрерывная функция.
Поступило: 23.02.2023
Математические модели, описываемые в терминах ветвящегося аргумента, т.е. аргумента, принимающего значения из некоторого геометрического графа, возникают при анализе процессов в сложных физических системах. Примером таких систем могут служить упругие сетки, решетки стержней, электрические цепи, акустические сети, волноводы, гидравлические системы и пр. Активный математический интерес к исследованию таких задач привел к появлению многочисленных публикаций. Особенно отметим работы [1]–[9]. Также выделим публикации [10], [11], в которых для случая отрезка проводилось исследование решений дифференциальных уравнений с обобщенными коэффициентами. Однако во всех этих работах рассматривались задачи с линейными граничными условиями.
В данной статье для дифференциального уравнения второго порядка с импульсными особенностями в коэффициентах и правой части, порождаемыми наличием локализованных внешних нагрузок (упругих опор, сосредоточенных сил), проводится поточечный анализ краевой задачи на геометрическом графе-звезде с нелинейным условием в узле. При этом используется стилтьесовский подход, продемонстрировавший свою эффективность, например, в работах [2], [4], [5], [7].
Пусть точки $O$, $A_1,A_2,\dots,A_n$ принадлежат горизонтальной плоскости $\pi$. Рассмотрим механическую систему, состоящую из $n$ струн, соединенных между собой в одной точке (узел), которые в положении равновесия совпадают с отрезками $OA_1,OA_2,\dots,OA_n$. Под воздействием внешней силы, направленной перпендикулярно плоскости $\pi$, струны отклоняются от равновесного положения. При этом предполагается, что отклонение всех точек струн параллельно прямой, перпендикулярной плоскости $\pi$. Введем систему координат, чтобы описать процесс деформаций. Поместим начало координат в точку $O$. Ось $Ox$ для $i$-й струны, $i=1,2,\dots ,n$, содержит отрезок $OA_i$ и направлена от $O$ к $A_i$. Ось $Oy$ направлена перпендикулярно к плоскости $\pi$ и проходит через точку $O$. Точка $A_i$ имеет на своей оси $Ox$ координату $l_i$, $i=1,2,\dots ,n$. Граф $\Gamma$, вдоль которого в положении равновесия расположена струнная система, ориентирован от узла и состоит из ребер-интервалов $\gamma_i=(0,l_i)$ и внутренней вершины $0$ (узла). Мы используем обозначения и терминологию из [3]. Через $\partial\Gamma$ обозначим множество граничных вершин $\Gamma$. В нашем случае им соответствуют точки $l_i$ на каждом из ребер. Определим множества $\overline{\Gamma}=\Gamma\cup \partial\Gamma$; $R(\Gamma)=\bigcup_{i=1}^n\gamma_i$.
Обозначим через $u(x)$ заданную на $\overline{\Gamma}$ функцию, описывающую отклонение струнной системы от положения равновесия под воздействием внешней силы. Будем предполагать, что струны жестко закреплены в граничных вершинах, т.е. выполнено условие
$$
\begin{equation}
u(a)=0, \qquad a\in \partial\Gamma.
\end{equation}
\tag{1}
$$
Сужения $u_i(x)$ функции $u(x)$ на $(0,l_i)$ определяют деформации каждой из струн. В качестве аргумента мы используем натуральный параметр, т.е. расстояние от соответствующей точки до общего узла. Доопределим функции $u_i(x)$ в точки $x=0$ и $x=l_i$ предельными значениями. Условие соединения струн в узле имеет вид $u_1(0)=u_2(0)=\dots =u_n(0)=u(0)$. Обозначим через $F_i(x)$ сужение заданной на $\overline{\Gamma}$ функции $F(x)$ на $(0,l_i)$. Физический смысл $F_i(x)$ – сила, приложенная на участок $(0,x]$ соответствующего ребра. В точке $x=0$ допускается сосредоточенная сила, равная $f$. Заметим, что скачки функции $F$ совпадают с сосредоточенными в соответствующих точках силами.
Мы также предполагаем, что в произвольном количестве точек (но не более, чем счетном), принадлежащих ребрам, установлены упругие опоры (пружины). Обозначим через $Q(x)$ определенную на $\overline{\Gamma}$ функцию, описывающую упругую реакцию внешней среды. Ее скачки совпадают с жесткостями пружин, установленных в соответствующих точках. Обозначим через $p(x)$ определенную на $\overline{\Gamma}$ функцию, характеризующую упругие свойства струн. Сужения функций $Q$ и $p$ на $(0,l_i)$ будем обозначать как $Q_i$ и $p_i$ соответственно. Дополнительно будем предполагать, что в узле, вдоль оси $Oy$ установлен ограничитель на перемещение струн под воздействием внешней силы, представленный отрезком $[-m,m]$. Таким образом, имеется условие
$$
\begin{equation}
|u(0)|\leqslant m.
\end{equation}
\tag{2}
$$
В зависимости от приложенной внешней силы узловая точка струнной системы либо остается внутри интервала $(-m,m)$, либо касается границ ограничителя. Опишем эту ситуацию в форме единой модели.
Согласно [4] функционал потенциальной энергии для системы стилтьесовских струн имеет вид
$$
\begin{equation}
\Phi(u)=\int_{\Gamma}\frac{pu'^{2}}{2}\,dx +\int_{\Gamma}\frac{u^2}{2}\,dQ-{\int_{\Gamma}}u\,dF.
\end{equation}
\tag{3}
$$
Будем предполагать, что функции $p$, $Q$, $F$ удовлетворяют следующим условиям:
Во всех формулировках результатов предполагается, что выполнены условия (i)–(iv).
В (3) первый интеграл, характеризующий работу силы упругости струн (при малых деформациях), понимается как сумма интегралов Лебега по ребрам; второй интеграл, определяющий работу силы упругости внешней среды, понимается как соответствующие суммы интегралов Стилтьеса по ребрам; третий интеграл, определяющий работу внешней силы, под воздействием которой происходит процесс деформаций, понимается как соответствующие суммы интегралов Стилтьеса по ребрам и узлу $\int_{\{0\}}u\,dF$, где $\int_{\{0\}}u\,dF=fu(0)$.
Согласно принципу Лагранжа–Гамильтона реальная форма, принятая струнной системой, минимизирует функционал $\Phi(u)$ с условиями (1), (2). Функционал $\Phi(u)$ мы рассматриваем на множестве $E$ абсолютно-непрерывных на $\overline{\Gamma}$ функций $u(x)$, производные которых $u'(x)$ являются на каждом ребре функциями ограниченной вариации.
Теорема 1. Функция $u_0(x)$ является точкой минимума функционала $\Phi(u)$, рассматриваемого на множестве функций $u\in E$ удовлетворяющих условиям (1), (2), тогда и только тогда, когда $u_0(x)$ является решением задачи
$$
\begin{equation}
\begin{cases} \displaystyle -(p_iu_i')(x)+{\int_0^x}u_i\,dQ_i=F_i(x)-F_i(+0)-(p_iu_i')(+0), \qquad i=1,2,\dots ,n, \quad x\in \gamma_{i\sigma_i}, \\ \displaystyle \sum_{i=1}^np_i(+0)u_i'(+0)+f\in N_{[-m,m]}u(0), \\ u_1(0)=u_2(0)=\dots =u_n(0)=u(0), \\ u_i(l_i)=0, \qquad i=1,2,\dots ,n. \end{cases}
\end{equation}
\tag{4}
$$
Нелинейное условие
$$
\begin{equation}
\sum_{i=1}^np_i(+0)u_i'(+0)+f\in N_{[-m,m]}u(0)
\end{equation}
\tag{5}
$$
возникает за счет наличия ограничителя на перемещение струн в узле, где $ N_{[-m,m]}u(0)$ – нормальный конус в точке $u(0)$ к отрезку $[-m,m]$, определяемый как числовое множество
$$
\begin{equation*}
N_{[-m,m]}u(0)=\{\xi\colon \xi(c-u(0))\leqslant0 \ \forall\, c\in [-m,m]\},
\end{equation*}
\notag
$$
где $u(0)\in [-m,m]$. Из (5) вытекает, что если внешняя сила такова, что $|u(0)|< m$, то $\sum_{i=1}^np_i(+0)u_i'(+0)=-f$. Иначе выполняются условия
$$
\begin{equation*}
u(0)=m \qquad\text{и}\qquad \sum_{i=1}^np_i(+0)u_i'(+0)+f \geqslant 0,
\end{equation*}
\notag
$$
либо условия
$$
\begin{equation*}
u(0)=-m \qquad\text{и}\qquad \sum_{i=1}^np_i(+0)u_i'(+0)+f \leqslant 0.
\end{equation*}
\notag
$$
Переменная $x$ в каждом уравнении из (4) принадлежит соответствующим специальным расширениям отрезков $[0,l_i]$, обозначаемым через $\gamma_{i\sigma_i}$, $i=1,2,\dots ,n$. Доопределим в точки $x=0$ и $x=l_i$ функции $p_i$, $Q_i$, $F_i$ предельными значениями. Обозначим через $S_i$ множество точек разрыва функций $p_i$, $Q_i$, $F_i$, принадлежащих $(0,l_i)$. На множестве $\gamma_{i\sigma_i}$ каждая точка $\xi_i\in S_i$ заменяется парой $\{\xi_i-0, \xi_i+ 0\}$. Тем самым, мы не допускаем, чтобы переменный верхний предел $x$ в интеграле принимал значение из $S_i$. Мы полагаем, что $\xi_i-0>x$ для всех $x<\xi_i$ и $\xi_i+0<x$ для всех $x>\xi_i$. На $\gamma_{i\sigma_i}$ значения $p_i(\xi_i\pm0)$, $Q_i(\xi_i\pm0)$ и $F_i(\xi_i\pm0)$, которые были на $[0,l_i]$ предельными, оказываются собственными значениями в соответствующих точках из $\gamma_{i\sigma_i}$. Точная конструкция построения такого расширения отрезка приведена в работе [5].
Заметим, что в каждой точке $\xi_i\in S_i$ имеет место равенство
$$
\begin{equation*}
\begin{aligned} \, &-p_i(\xi_i+0)u'_i(\xi_i+0)+p_i(\xi_i-0)u'_i(\xi_i-0) +u_i(\xi_i)\bigl(Q_i(\xi_i+0)-Q_i(\xi_i-0)\bigr) \\ &\qquad=F_i(\xi_i+0)-F_i(\xi_i-0). \end{aligned}
\end{equation*}
\notag
$$
Решением задачи (4) назовем функцию $u\in E$, удовлетворяющую на соответствующих ребрах уравнениям из (4) (для всех $x\in \gamma_{i\sigma_i}$) и удовлетворяющую условиям (1), (2).
Теорема 2. Если решение задачи (4) существует, то оно единственно.
Теорема 3. Пусть функции $\varphi_1^i(x)$ и $\varphi_2^i(x)$ являются решениями уравнения
$$
\begin{equation*}
-(p_iu'_i)(x)+(p_iu'_i)(+0)+{\int_0^x}u_i\,dQ_i=0
\end{equation*}
\notag
$$
и удовлетворяют условиям
$$
\begin{equation*}
\varphi_1^i(0)=1, \quad \varphi_1^i(l_i)=0, \qquad \varphi_2^i(0)=0, \quad \varphi_2^i(l_i)=1,
\end{equation*}
\notag
$$
где $i=1,2,\dots ,n$. Тогда если
$$
\begin{equation*}
\biggl|\frac{f+\sum_{j=1}^n{\int_0^{l_j}}\varphi_1^j(s)\,dF_j(s)} {\sum_{j=1}^n p_j(+0)\varphi_1^{j'}(+0)}\biggr|<m,
\end{equation*}
\notag
$$
то решение задачи (4) имеет вид
$$
\begin{equation*}
\begin{aligned} \, u_i(x) &=-\frac{f\varphi_1^i(x)} {\sum_{j=1}^np_j(+0)\varphi_{1}^{j'}(+0)}+\frac{\varphi_1^i(x)} {p_i(+0)\varphi_{2}^{i'}(+0)}{\int_0^x}\varphi_2^i(s)\,dF_i(s) \\ &\qquad\qquad +\frac{\varphi_2^i(x)}{p_i(+0)\varphi_{2}^{i'}(+0)} {\int_x^{l_i}}\varphi_1^i(s)\,dF_i(s) \\ &\qquad\qquad -\frac{\varphi_1^i(x)} {\sum_{j=1}^np_j(+0)\varphi_{1}^{j'}(+0)} \biggl(\sum_{j=1}^n{\int_0^{l_j}}\varphi_1^j(s)\,dF_j(s)\biggr). \end{aligned}
\end{equation*}
\notag
$$
Если
$$
\begin{equation*}
m+\frac{\sum_{j=1}^n{\int_0^{l_j}}\varphi_1^j(s)\,dF_j(s)}{\sum_{j=1}^n p_j(+0)\varphi_1^{j'}(+0)}+\frac{f}{\sum_{j=1}^n p_j(+0)\varphi_1^{j'}(+0)}\leqslant 0,
\end{equation*}
\notag
$$
то решение задачи (4) имеет вид
$$
\begin{equation*}
u_i(x)=m\varphi_1^i(x)+\frac{\varphi_1^i(x)}{p_i(+0) \varphi_{2}^{i'}(+0)}{\int_0^x}\varphi_2^i(s)\,dF_i(s) +\frac{\varphi_2^i(x)}{p_i(+0)\varphi_{2}^{i'}(+0)} {\int_x^{l_i}}\varphi_1^i(s)\,dF_i(s).
\end{equation*}
\notag
$$
Если
$$
\begin{equation*}
m-\frac{\sum_{j=1}^n{\int_0^{l_j}}\varphi_1^j(s)\,dF_j(s)}{\sum_{j=1}^n p_j(+0)\varphi_1^{j'}(+0)}-\frac{f}{\sum_{j=1}^n p_j(+0)\varphi_1^{j'}(+0)}\leqslant 0,
\end{equation*}
\notag
$$
то решение задачи (4) имеет вид
$$
\begin{equation*}
u_i(x)=-m\varphi_1^i(x)+\frac{\varphi_1^i(x)} {p_i(+0)\varphi_{2}^{i'}(+0)}{\int_0^x}\varphi_2^i(s)\,dF_i(s) +\frac{\varphi_2^i(x)}{p_i(+0)\varphi_{2}^{i'}(+0)} {\int_x^{l_i}}\varphi_1^i(s)\,dF_i(s),
\end{equation*}
\notag
$$
где $i=1,2,\dots ,n$.
Теорема 4. Пусть $m\to 0$. Тогда решение задачи (4) равномерно на $\overline{\Gamma}$ стремится к решению задачи
$$
\begin{equation*}
\begin{cases} \displaystyle -(p_iu_i')(x)+\int_0^xu_idQ_i=F_i(x)-F_i(+0)-(p_iu_i')(+0), \qquad i=1,2,\dots ,n, \\ u_i(0)=0, \quad u_i(l_i)=0, \qquad i=1,2,\dots ,n. \end{cases}
\end{equation*}
\notag
$$
Теорема 5. Пусть $m\to +\infty$. Тогда решение задачи (4) равномерно на $\overline{\Gamma}$ стремится к решению задачи
$$
\begin{equation*}
\begin{cases} \displaystyle-(p_iu_i')(x) +\int_{0}^{x}u_i\,dQ_i=F_i(x)-F_i(+0)-(p_iu_i')(+0), \qquad i=1,2,\dots ,n, \\ \displaystyle \sum_{i=1}^np_i(+0)u_i'(+0)=-f, \\ u_1(0)=u_2(0)=\dots =u_n(0)=u(0), \\ u_i(l_i)=0, \qquad i=1,2,\dots ,n. \end{cases}
\end{equation*}
\notag
$$
|
|
|
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
|
|
|
1. |
А. Т. Диаб, Б. К. Калдыбекова, О. М. Пенкин, Матем. заметки, 99:4 (2016), 489–501 |
2. |
Р. Ч. Кулаев, А. А. Уртаева, Матем. заметки, 111:6 (2022), 947–952 |
3. |
Ю. В. Покорный, О. М. Пенкин, В. Л. Прядиев, А. В. Боровских, К. П. Лазарев, С. А. Шабров, Дифференциальные уравнения на геометрических графах, Физматлит, М., 2005 |
4. |
Ю. В. Покорный, М. Б. Зверева, Ж. И. Бахтина, Дифференц. уравнения, 48:8 (2012), 1117–1125 |
5. |
Ю. В. Покорный, М. Б. Зверева, С. А. Шабров, УМН, 63:1 (379) (2008), 111–154 |
6. |
Ю. В. Покорный, В. Л. Прядиев, УМН, 59:3 (357) (2004), 115–150 |
7. |
M. Kamenskii, Ch.-F. Wen, M. Zvereva, Optimization, 69:9 (2020), 1935–1959 |
8. |
Yu. V. Pokornyi, A. V. Borovskikh, J. Math. Sci. (N.Y.), 119:6 (2004), 691–718 |
9. |
A. P. Zhabko, V. V. Provotorov, S. M. Sergeev, Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 18:3 (2022), 425–437 |
10. |
В. Е. Владыкина, А. А. Шкаликов, Матем. заметки, 98:6 (2015), 832–841 |
11. |
А. М. Савчук, А. А. Шкаликов, Матем. сб., 211:11 (2020), 129–166 |
Образец цитирования:
М. Ш. Бурлуцкая, М. Б. Зверева, М. И. Каменский, “Краевая задача на геометрическом графе-звезде с нелинейным условием в узле”, Матем. заметки, 114:2 (2023), 316–320; Math. Notes, 114:2 (2023), 275–279
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm13936https://doi.org/10.4213/mzm13936 https://www.mathnet.ru/rus/mzm/v114/i2/p316
|
Статистика просмотров: |
Страница аннотации: | 163 | PDF полного текста: | 26 | HTML русской версии: | 112 | Список литературы: | 37 | Первая страница: | 17 |
|