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

ЗАДАЧА КОШИ ДЛЯ УРАВНЕНИЯ КРУТИЛЬНЫХ КОЛЕБАНИЙ НЕЛИНЕЙНО-УПРУГОГО СТЕРЖНЯ БЕСКОНЕЧНОЙ ДЛИНЫ

Х. Г. Умаров *

Академия наук Чеченской Республики
Грозный, Россия

* E-mail: umarov50@mail.ru

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

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

Аннотация

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

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

1. Введение. Крутильные волны в нелинейно-упругом стержне моделируются ([1], гл. 3, § 3.3 и формула (П.18) из обзора, приведенного в приложении) уравнением соболевского типа, не разрешенным относительно временной производной второго порядка:

(1.1)
$\begin{gathered} {\text{D}}u = \beta \frac{\partial }{{\partial x}}{{\left( {\frac{{\partial u}}{{\partial x}}} \right)}^{3}};\quad {\text{D}} = \frac{{{{\partial }^{2}}}}{{\partial {{t}^{2}}}} - \frac{{{{\partial }^{4}}}}{{\partial {{x}^{2}}\partial {{t}^{2}}}} - \frac{{{{\partial }^{2}}}}{{\partial {{x}^{2}}}} + {{\alpha }^{2}}\frac{{{{\partial }^{4}}}}{{\partial {{x}^{4}}}} \\ (x,t) \in {{R}^{1}} \times R_{ + }^{1},\quad {{R}^{1}} = {\text{]}}{\kern 1pt} - {\kern 1pt} \infty , + \infty {\kern 1pt} {\text{[}},R_{ + }^{1} = \;]0, + \infty {\kern 1pt} [;\quad \alpha \in R_{ + }^{1},\quad \beta \in {{R}^{1}} \\ \end{gathered} $

Отметим, что после замены

$\tilde {t} = {{c}_{{\text{1}}}}t\sqrt {{{{{I}_{0}}} \mathord{\left/ {\vphantom {{{{I}_{0}}} {{{I}_{\varphi }}}}} \right. \kern-0em} {{{I}_{\varphi }}}}} ,\quad \tilde {x} = x\sqrt {{{{{I}_{0}}} \mathord{\left/ {\vphantom {{{{I}_{0}}} {{{I}_{\varphi }}}}} \right. \kern-0em} {{{I}_{\varphi }}}}} ,\quad u = \theta \sqrt {{{{{I}_{0}}} \mathord{\left/ {\vphantom {{{{I}_{0}}} {{{I}_{\varphi }}}}} \right. \kern-0em} {{{I}_{\varphi }}}}} $
в уравнении крутильных колебаний [1]
$\frac{{{{\partial }^{2}}\theta }}{{\partial {{t}^{2}}}} - c_{{\text{1}}}^{{\text{2}}}\frac{{{{\partial }^{2}}\theta }}{{\partial {{x}^{2}}}} - \frac{{{{I}_{\varphi }}}}{{{{I}_{0}}}}\frac{{{{\partial }^{2}}}}{{\partial {{x}^{2}}}}\left( {\frac{{{{\partial }^{2}}\theta }}{{\partial {{t}^{2}}}} - c_{0}^{2}\frac{{{{\partial }^{2}}\theta }}{{\partial {{x}^{2}}}}} \right) = 0,$
параметр $\alpha = {{{{c}_{0}}} \mathord{\left/ {\vphantom {{{{c}_{0}}} {{{c}_{{\text{1}}}}}}} \right. \kern-0em} {{{c}_{{\text{1}}}}}}$ в уравнении (1.1) равен отношению скоростей продольных ${{c}_{0}}$ и крутильных ${{c}_{{\text{1}}}}$ волн.

Для уравнения (1.1) рассмотрим задачу Коши

(1.2)
$t = 0{\text{:}}\quad u = \varphi (x),\quad {{u}_{t}} = \psi (x),\quad x \in {{R}^{1}}$
полагая, что начальные функции $\varphi = \varphi (x)$, $\psi = \psi (x)$ и искомое классическое решение
$u = u(x,t),\quad (x,t) \in {{R}^{1}} \times \bar {R}_{ + }^{1},\quad \bar {R}_{ + }^{1} = [0, + \infty {\kern 1pt} [$
для всех значений временной переменной $t$ по переменной $x$ принадлежат банахову пространству $C[ - \infty , + \infty ]$$C[{{R}^{1}}]$ (с нормой ${{\left\| {g(x)} \right\|}_{C}}$ = $\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {g(x)} \right|$) – множеству непрерывных функций $g = g(x)$, для которых существуют пределы при $x \to \pm \infty $. (Под классическим решением понимается достаточно гладкая функция, имеющая все непрерывные производные нужного порядка, и удовлетворяющая уравнению в каждой точке области его задания.)

Наряду с уравнением (1.1) будем рассматривать уравнение, получающееся из (1.1) заменой ${{u}_{x}}$ = $\upsilon $ и последующим дифференцированием обеих его частей:

(1.3)
${\text{D}}{{\upsilon }^{3}} = \beta \frac{{{{\partial }^{2}}}}{{\partial {{x}^{2}}}}$

Цель исследования – для случая $\beta = 0$, т.е. для соответствующего (1.1) линейного уравнения, найти явный вид решения задачи Коши, а в случае $\beta \ne 0$ найти временной отрезок существования классического решения задачи Коши и оценить норму в $C[{{R}^{1}}]$ этого локального решения уравнения (1.3), далее рассмотреть условия существования глобального (определенного для $t \in \bar {R}_{ + }^{1}$) решения уравнения (1.1) и разрушения его решения на конечном временном отрезке.

Замечание 1. Выбор пространства $C[{{R}^{1}}]$ и его подмножеств

${{C}^{{\left( k \right)}}}[{{R}^{1}}] = \{ g(x) \in C[{{R}^{1}}]{\text{:}}\;g{\text{'}}(x), \ldots ,{{g}^{{\left( k \right)}}}(x) \in C[{{R}^{1}}]\} $
обоснован тем, что дифференциальный оператор ${d \mathord{\left/ {\vphantom {d {dx}}} \right. \kern-0em} {dx}}$ с областью определения $D(d{\text{/}}dx)$ = = ${{C}^{{(1)}}}[{{R}^{1}}]$ является ([2], гл. 8, § 1; [3], § 1.3) производящим оператором группы класса ${{C}_{0}}$ левых сдвигов:
$U\left( {t;\frac{d}{{dx}}} \right)g(x) = g(x + t),\quad t \in {{R}^{1}},$
а оператор ${{d}^{2}}{\text{/}}d{{x}^{2}}$, $D({{d}^{2}}{\text{/}}d{{x}^{2}}) = {{C}^{{(2)}}}[{{R}^{1}}]$, порождает [2] полугруппу класса ${{C}_{0}}$:

$U\left( {t;\frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)g(x) = \frac{1}{{2\sqrt {\pi t} }}\int\limits_{ - \infty }^{ + \infty } {{{e}^{{ - {{\xi }^{2}}/(4t)}}}g(x + \xi )d\xi } ,\quad t \geqslant 0$

Положительная полуось $\lambda > 0$ принадлежит [2] резольвентным множествам операторов $d{\text{/}}dx$, ${{d}^{2}}{\text{/}}d{{x}^{2}}$ и для соответствующих резольвент справедливы оценки

$\left\| {{{{\left( {\lambda I - \frac{d}{{dx}}} \right)}}^{{ - 1}}}} \right\|,\quad \left\| {{{{\left( {\lambda I - \frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)}}^{{ - 1}}}} \right\| \leqslant \frac{1}{\lambda },$
где $I$ – тождественный оператор.

2. Задача Коши для линейного уравнения крутильных волн. В линейном однородном уравнении11

(2.1)
${\text{D}}u = 0$
введем новую неизвестную функцию
(2.2)
$w = u - {{u}_{{xx}}}$
полагая, что частные производные ${{u}_{{xx}}}$, ${{u}_{{xxt}}}$ непрерывны при $t \geqslant 0$. Используя существование и представление [2] линейного ограниченного оператора ${{(I - {{d}^{2}}{\text{/}}d{{x}^{2}})}^{{ - 1}}}$, из замены (2.2) можно единственным образом определить начальные значения функции w = w(x, t):
$t = 0{\text{:}}\quad w = {{w}_{0}}(x) = \varphi (x) - \varphi {\text{''}}(x),\quad {{w}_{t}} = {{w}_{1}}(x) = \psi (x) - \psi {\text{''}}(x)$
при условии, что функции $\varphi (x)$ и $\psi (x)$ принадлежат ${{C}^{{(2)}}}[{{R}^{1}}]$, и выразить решение $u(x,t)$ задачи Коши (1.1), (1.2) через новую неизвестную функцию $w(x,t)$:

(2.3)
$u(x,t) = \int\limits_0^{ + \infty } {{{e}^{{ - s}}}U\left( {s;\frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)w(x,t)ds = \frac{1}{2}\int\limits_{ - \infty }^{ + \infty } {{{e}^{{ - \left| r \right|}}}w(x + r,t)dr} } $

В результате замены (2.2) уравнение (2.1) в пространстве $C[{{R}^{1}}]$ можно записать в виде абстрактного обыкновенного дифференциального уравнения

(2.4)
${{W}_{{tt}}} = {{K}_{0}}W,\quad t \in R_{ + }^{1},\quad {{K}_{0}} = {{\left( {I - \frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)}^{{ - 1}}}\left( {\frac{{{{d}^{2}}}}{{d{{x}^{2}}}} - {{\alpha }^{2}}\frac{{{{d}^{4}}}}{{d{{x}^{4}}}}} \right),$
где $W = W(t)$: $t \to w(x,t)$ – искомая вектор-функция, определенная для $t \in \bar {R}_{ + }^{1}$ и со значениями в пространстве $C[{{R}^{1}}]$. Операторный коэффициент в уравнении (2.4) – линейный оператор ${{K}_{0}}$, определен на функциях $g(x) \in {{C}^{{(4)}}}[{{R}^{1}}]$, и его можно продолжить до оператора

$K = {{\alpha }^{2}}\frac{{{{d}^{2}}}}{{d{{x}^{2}}}} + ({{\alpha }^{2}} - 1)\left[ {I - {{{\left( {I - \frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)}}^{{ - 1}}}} \right],\quad D(K) = D\left( {\frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)$

Таким образом, получим эквивалентное (2.1) интегро-дифференциальное уравнение

(2.5)
${{w}_{{tt}}} = {{\alpha }^{2}}{{w}_{{xx}}} + ({{\alpha }^{2}} - 1)(w - h * w);\quad h = {{2}^{{ - 1}}}{{e}^{{ - \left| x \right|}}},$
в котором через $\varphi * \psi $ обозначена свертка
$(\varphi * \psi )(x) = \int\limits_{ - \infty }^{ + \infty } {\varphi (x - \xi )\psi (\xi )d\xi } $
функций из $C[{{R}^{1}}]$.

Дальнейшее рассмотрение разобьем на три случая: $\alpha = 1$, $\alpha > 1$ и $\alpha < 1$.

Случай $\alpha = 1$. Уравнение (2.5) вырождается в классическое гиперболическое уравнение, решение которого находится по формуле Даламбера

(2.6)
$w(x,t) = {{2}^{{ - 1}}}\left[ {{{w}_{0}}(x - t) + {{w}_{0}}(x + t)} \right] + {{2}^{{ - 1}}}\int\limits_{x - t}^{x + t} {{{w}_{1}}(s)ds} ,$
если начальная функция ${{w}_{0}}(x)$ имеет непрерывные производные до второго порядка включительно, а ${{w}_{1}}(x)$ – до первого. Эти условия будут выполнены, если

$\varphi (x) \in {{C}^{{(4)}}}[{{R}^{1}}],\quad \psi (x) \in {{C}^{{(3)}}}[{{R}^{1}}]$

В этом случае из соотношений (2.3) и (2.6) имеем

(2.7)
$u(x,t) = {{2}^{{ - 1}}}\left[ {\varphi (x - t) + \varphi (x + t)} \right] + {{2}^{{ - 1}}}\int\limits_{x - t}^{x + t} {\psi (s)ds} $

Случай $\alpha > 1$ и ${{\alpha }_{1}} = \sqrt {{{\alpha }^{2}} - 1} $. Оператор $K$ запишем в виде

$K = A + \alpha _{1}^{2}I + {{B}_{1}};\quad A = {{\alpha }^{2}}\frac{{{{d}^{2}}}}{{d{{x}^{2}}}},\quad {{B}_{1}} = - \alpha _{1}^{2}{{\left( {I - \frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)}^{{ - 1}}}$

Оператор $A$, $D(A) = D({{d}^{2}}{\text{/}}d{{x}^{2}})$, порождает в пространстве $C[{{R}^{1}}]$ ([3], § 1.5) косинус оператор-функцию $C(t;A)$, $t \in {{R}^{1}}$, класса ${{C}_{0}}$, для которой на произвольном элементе $g(x) \in C[{{R}^{1}}]$ справедливо представление

(2.8)
$C(t;A)g(x) = \frac{1}{2}\left[ {U\left( {\alpha t;\frac{d}{{dx}}} \right) + U\left( { - \alpha t;\frac{d}{{dx}}} \right)} \right]g(x) = {{[g(x \pm \alpha t)]}_{2}},$
где обозначено
${{[g(x \pm \alpha t)]}_{2}} \equiv {{2}^{{ - 1}}}[g(x - \alpha t) + g(x + \alpha t)]$
и оценка нормы

(2.9)
$\left\| {C(t;A)} \right\| \leqslant 1,\quad t \in {{R}^{1}}$

Возмущенный оператор

$A + \alpha _{1}^{2}I,\quad D(A + \alpha _{1}^{2}I) = D\left( {\frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)$
также порождает в $C[{{R}^{1}}]$ ([3], § 8.1) косинус оператор-функцию $C(t;A + \alpha _{1}^{2}I)$, $t \in {{R}^{1}}$, класса ${{C}_{0}}$, для которой, при всех $g(x) \in C[{{R}^{1}}]$, справедливо представление
(2.10)
$C(t;A + \alpha _{1}^{2}I)g(x) = C(t;A)g(x) + {{\alpha }_{1}}t\int\limits_0^t {{{I}_{1}}({{\alpha }_{1}}\sqrt {{{t}^{2}} - {{s}^{2}}} )C(s;A)g(x)\frac{{ds}}{{\sqrt {{{t}^{2}} - {{s}^{2}}} }}} ,$
где ${{I}_{1}}(z)$ – модифицированная функция Бесселя ([5], прилож. 2.10), и оценка нормы

$\left\| {C(t;A + \alpha _{1}^{2}I)} \right\| \leqslant {\text{ch(}}{{\alpha }_{1}}t{\text{)}},\quad t \in {{R}^{1}}$

Ограниченный оператор ${{B}_{1}}$, $D({{B}_{1}}) = C[{{R}^{1}}]$, является в $C[{{R}^{1}}]$ производящим оператором косинус оператор-функции $C(t;{{B}_{1}})$, $t \in {{R}^{1}}$, класса ${{C}_{0}}$, которая для произвольного элемента $g(x)$$C[{{R}^{1}}]$ представляется ([3], § 4.2) степенным рядом

(2.11)
$C(t;{{B}_{1}})g(x) = \sum\limits_{n = 0}^{ + \infty } {\frac{{{{t}^{{2n}}}}}{{(2n)!}}B_{1}^{n}g(x)} = \sum\limits_{n = 0}^{ + \infty } {\frac{{{{{( - 1)}}^{n}}{{{({{\alpha }_{1}}t)}}^{{2n}}}}}{{(2n)!}}{{{\left( {I - \frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)}}^{{ - n}}}g(x)} $
равномерно сходящимся по $t$ на каждом конечном отрезке из ${{R}^{1}}$. Из представления (2.11) выводим

$\left\| {C(t;{{B}_{1}})} \right\| \leqslant {\text{ch(}}{{\alpha }_{1}}t{\text{)}},\quad t \in {{R}^{1}}$

Используя формулу [2], выражающую степени резольвенты ${{(I - {{d}^{2}}{\text{/}}d{{x}^{2}})}^{{ - n}}}$ через полугруппу, порождаемую оператором ${{d}^{2}}{\text{/}}d{{x}^{2}}$:

(2.12)
${{\left( {I - \frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)}^{{ - n}}}g(x) = \frac{1}{{(n - 1)!}}\int\limits_0^{ + \infty } {{{s}^{{n - 1}}}{{e}^{{ - s}}}U\left( {s;\frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)g(x)ds} $
преобразуем представление (2.11):
(2.13)
$C(t;{{B}_{1}})g(x) = g(x) - \frac{{{{{({{\alpha }_{1}}t)}}^{2}}}}{2}\int\limits_0^{ + \infty } {{{e}^{{ - s}}}{}_{0}{{F}_{2}}\left( {;\frac{3}{2},2; - \frac{{{{{({{\alpha }_{1}}t)}}^{2}}}}{4}s} \right)U\left( {s;\frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)g(x)ds} ,$
где ${}_{0}{{F}_{2}}(;3{\text{/}}2,2; - z{\text{/}}4)$ – обобщенная гипергеометрическая функция ([6], гл. 7, § 7.2.3). Применяя интегральное представление полугруппы $U(s;{{d}^{2}}{\text{/}}d{{x}^{2}})$, формуле (2.13) можно придать вид

(2.14)
$\begin{gathered} C(t;{{B}_{1}})g(x) = g(x) - \frac{{{{{({{\alpha }_{1}}t)}}^{2}}}}{{4\sqrt \pi }}\int\limits_{ - \infty }^{ + \infty } {{{F}_{0}}({{{({{\alpha }_{1}}t)}}^{2}},{{\xi }^{2}})g(x + \xi )d\xi } ,\quad t \in {{R}^{1}} \\ {{F}_{0}}(z,{{\xi }^{2}}) = \int\limits_0^{ + \infty } {{{e}^{{ - s - {{\xi }^{2}}/(4s)}}}{}_{0}{{F}_{2}}\left( {;\frac{3}{2},2; - \frac{{zs}}{4}} \right)\frac{{ds}}{{\sqrt s }}} \\ \end{gathered} $

Возмущение ограниченным оператором ${{B}_{1}}$ сохраняет способность оператора $A + \alpha _{1}^{2}I$ порождать косинус оператор-функцию класса ${{C}_{0}}$ ([3], § 8.2), поэтому оператор $K$ является производящим оператором косинус оператор-функции класса ${{C}_{0}}$, для которой на элементах $g(x)$$D(A)$ и для всех $t \in {{R}^{1}}$ справедливо представление

(2.15)
$\begin{gathered} C(t;K)g(x) = C(t;A + \alpha _{1}^{2}I)g(x) + \frac{{{{t}^{2}}}}{2}\int\limits_0^1 {{{j}_{1}}(t\sqrt {1 - {{\zeta }^{2}}} ,A + \alpha _{1}^{2}I)C(t\zeta ;{{B}_{1}})g(x)d\zeta } \\ {{j}_{1}}(t,A + \alpha _{1}^{2}I)g(x) = \frac{4}{\pi }\int\limits_0^1 {\sqrt {1 - {{\eta }^{2}}} C(t\eta ;A + \alpha _{1}^{2}I)g(x)d\eta } \\ \end{gathered} $

Используя формулы (2.8), (2.10), (2.14), косинус оператор-функцию $C(t;K)g(x)$ записываем в явном виде на функциях $g(x)$$D({{d}^{2}}{\text{/}}d{{x}^{2}})$:

$C(t;K)g(x) = {{\left[ {g(x \pm \alpha t)} \right]}_{2}} + {{\alpha }_{1}}t\int\limits_0^t {{{I}_{1}}({{\alpha }_{1}}\sqrt {{{t}^{2}} - {{s}^{2}}} ){{{[g(x \pm \alpha s)]}}_{2}}\frac{{ds}}{{\sqrt {{{t}^{2}} - {{s}^{2}}} }}} + $
$ + \;\frac{{2{{t}^{2}}}}{\pi }\int\limits_0^1 {d\zeta \int\limits_0^1 {\sqrt {1 - {{\eta }^{2}}} \left\{ {{{{[g(x \pm \alpha t\eta \sqrt {1 - {{\zeta }^{2}}} )]}}_{2}}{{ - }^{{^{{^{{^{{^{{}}}}}}}}}}}} \right.} } $
$ - \;\frac{{{{{({{\alpha }_{1}}t\zeta )}}^{2}}}}{{4\sqrt \pi }}\int\limits_{ - \infty }^{ + \infty } {{{F}_{0}}({{{({{\alpha }_{1}}t\zeta )}}^{2}},{{\xi }^{2}}){{{[g(x + \xi \pm \alpha t\eta \sqrt {1 - {{\zeta }^{2}}} )]}}_{2}}d\xi + } $
$ + \;{{\alpha }_{1}}t\eta \sqrt {1 - {{\zeta }^{2}}} \int\limits_0^{t\eta \sqrt {1 - {{\zeta }^{2}}} } {{{I}_{1}}({{\alpha }_{1}}\sqrt {{{t}^{2}}{{\eta }^{2}}(1 - {{\zeta }^{2}}) - {{s}^{2}}} )\left\{ {{{{[g(x \pm \alpha s)]}}_{2}}{{ - }^{{^{{^{{^{{^{{}}}}}}}}}}}} \right.} $
(2.16)
$\left. { - \;\frac{{{{{({{\alpha }_{1}}t\zeta )}}^{2}}}}{{4\sqrt \pi }}\int\limits_{ - \infty }^{ + \infty } {{{F}_{0}}({{{({{\alpha }_{1}}t\zeta )}}^{2}},{{\xi }^{2}}){{{[g(x + \xi \pm \alpha s)]}}_{2}}d\xi } } \right\}\left. {\frac{{ds}}{{\sqrt {{{t}^{2}}{{\eta }^{2}}(1 - {{\zeta }^{2}}) - {{s}^{2}}} }}} \right\}d\eta $

Используя табличные интегралы ([7], гл. 2, § 2.4.2; [5], гл. 2, § 2.15.9; [5], прилож. 2.10), оценим норму косинус оператор-функции (2.16):

(2.17)
$\begin{gathered} \left\| {C(t;K)} \right\| \leqslant {\text{ch(}}{{\alpha }_{1}}t{\text{)}} + \frac{{2{{t}^{2}}}}{\pi }\int\limits_0^1 {{\text{ch(}}{{\alpha }_{1}}t\zeta {\text{)}}d\zeta \int\limits_0^1 {\sqrt {1 - {{\eta }^{2}}} {\text{ch(}}{{\alpha }_{1}}t\eta \sqrt {1 - {{\zeta }^{2}}} {\text{)}}d\eta } \leqslant } \\ \leqslant \;{\text{ch(}}{{\alpha }_{1}}t{\text{)}} + \frac{{\text{1}}}{{\alpha _{1}^{2}}}{\text{sh(}}{{\alpha }_{1}}t{\text{(}}\sqrt 2 - 1{\text{))sh(}}{{\alpha }_{1}}t{\text{(}}\sqrt 2 + 1{\text{))}} \\ t \in {{R}^{1}} \\ \end{gathered} $

С косинус оператор-функцией (2.16) ассоциируют ([3], § 1.4) синус оператор-функцию

(2.18)
$S(t;K)g(x) = \int\limits_0^t {C(r;K)g(x)dr} ,\quad g(x) \in C[{{R}^{1}}]$
и линейное многообразие
${{C}_{1}}[{{R}^{1}}] = \{ g(x) \in C[{{R}^{1}}]:C(t;K)g(x) \in {{C}^{{\left( 1 \right)}}}({{R}^{1}};C[{{R}^{1}}])\} ,$
т.е. подмножество ${{C}_{1}}[{{R}^{1}}] \subset C[{{R}^{1}}]$ состоит из тех функций из $C[{{R}^{1}}]$, для которых $C(t;K)g(x)$ : ${{R}^{1}}$$C[{{R}^{1}}]$ – непрерывно дифференцируемая функция переменной $t$. Очевидно, что

$D(K) = D\left( {\frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right) \subset {{C}_{1}}[{{R}^{1}}]$

Используя оценку (2.17), имеем

(2.19)
$\left\| {S(t;K)} \right\| \leqslant \frac{{\left| {{\text{sh(}}{{\alpha }_{1}}t{\text{)}}} \right|}}{{{{\alpha }_{1}}}} + \frac{1}{{\alpha _{1}^{3}}}\left| {\frac{{{\text{sh(}}2{{\alpha }_{1}}t\sqrt 2 {\text{)}}}}{{\sqrt 2 }} - {\text{sh(}}2{{\alpha }_{1}}t{\text{)}}} \right|$

Случай $\alpha < 1$ и ${{\alpha }_{2}} = \sqrt {1 - {{\alpha }^{2}}} $. Оператор $K$ запишем в виде

$K = A + {{B}_{2}};\quad {{B}_{2}} = \alpha _{2}^{2}\left[ {{{{\left( {I - \frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)}}^{{ - 1}}} - I} \right]$

Ограниченный оператор ${{B}_{2}}$, $D({{B}_{2}}) = C[{{R}^{1}}]$, является производящим оператором косинус оператор-функции $C(t;{{B}_{2}})$, $t \in {{R}^{1}}$, класса ${{C}_{0}}$, которая для произвольного элемента g(x) ∈ $C[{{R}^{1}}]$ представляется степенным рядом

(2.20)
$C(t;{{B}_{2}})g(x) = \sum\limits_{n = 0}^{ + \infty } {\frac{{{{{({{\alpha }_{2}}t)}}^{{2n}}}}}{{(2n)!}}{{{\left[ {{{{\left( {I - \frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)}}^{{ - 1}}} - I} \right]}}^{n}}g(x)} $
равномерно сходящимся по $t$ на каждом конечном отрезке из ${{R}^{1}}$. Из равенства (2.20) выводим

$\left\| {C(t;{{B}_{2}})} \right\| \leqslant {\text{ch(}}{{\alpha }_{2}}t\sqrt 2 {\text{)}},\quad t \in {{R}^{1}}$

Применяя формулу бинома Ньютона и затем представление (2.12), имеем

(2.21)
$\begin{gathered} C(t;{{B}_{2}})g(x) = g(x) + \\ + \;\sum\limits_{n = 1}^{ + \infty } {\frac{{{{{({{\alpha }_{2}}t)}}^{{2n}}}}}{{(2n)!}}\left[ {{{{( - 1)}}^{n}}g(x) + \int\limits_0^{ + \infty } {\left( {\sum\limits_{k = 0}^{n - 1} {C_{n}^{k}\frac{{{{{( - 1)}}^{k}}{{s}^{{n - 1 - k}}}}}{{(n - 1 - k)!}}} } \right){{e}^{{ - s}}}U\left( {s;\frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)g(x)ds} } \right]} = \\ = \cos ({{\alpha }_{2}}t)g(x) + \sum\limits_{n = 1}^{ + \infty } {\frac{{{{{({{\alpha }_{2}}t)}}^{{2n}}}}}{{(2n)!(n - 1)!}}\int\limits_0^{ + \infty } {\Psi (1 - n,2;s){{e}^{{ - s}}}U\left( {s;\frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)g(x)ds} } , \\ \end{gathered} $
где $\Psi (a,b;z)$ – вырожденная гипергеометрическая функция Трикоми ([6], гл. 7, § 7.2.2). В рассматриваемом случае ([6], гл. 7, § 7.11.4)
$\Psi ( - m,n + 1;z) = {{( - 1)}^{m}}m!L_{m}^{n}(z),$
где $L_{m}^{n}(z)$ – обобщенные многочлены Лагерра ([5], прилож. 2.11).

Используя интегральное представление полугруппы $U(s;{{d}^{2}}{\text{/}}d{{x}^{2}})$, из равенства (2.21) выводим

(2.22)
$\begin{gathered} C(t;{{B}_{2}})g(x) = \cos ({{\alpha }_{2}}t)g(x) + \frac{1}{{2\sqrt \pi }}\int\limits_{ - \infty }^{ + \infty } {{{\Psi }_{0}}({{{({{\alpha }_{2}}t)}}^{2}},{{\xi }^{2}})g(x + \xi )d\xi } \\ {{\Psi }_{0}}({{({{\alpha }_{2}}t)}^{2}},{{\xi }^{2}}) = \sum\limits_{n = 1}^{ + \infty } {\frac{{{{{({{\alpha }_{2}}t)}}^{{2n}}}}}{{(2n)!(n - 1)!}}\int\limits_0^{ + \infty } {{{e}^{{ - s - {{\xi }^{2}}/(4s)}}}\Psi (1 - n,2;s)\frac{{ds}}{{\sqrt s }}} } \\ \end{gathered} $

Косинус оператор-функция класса ${{C}_{0}}$, порождаемая оператором $K = A + {{B}_{2}}$, на элементах $g(x) \in D(A)$ представляется формулами (2.15), в которых следует положить ${{\alpha }_{1}} = 0$ и заменить ${{B}_{1}}$ на ${{B}_{2}}$. Отсюда, применяя формулы (2.8) и (2.22), получаем явный вид косинус оператор-функции $C(t;K)g(x)$ на функциях $g(x) \in D({{d}^{2}}{\text{/}}d{{x}^{2}})$:

(2.23)
$\begin{gathered} C(t;K)g(x) = {{[g(x \pm \alpha t)]}_{2}} + \\ + \;\frac{{2{{t}^{2}}}}{\pi }\int\limits_0^1 {\cos ({{\alpha }_{2}}t\zeta )d\zeta \int\limits_0^1 {\sqrt {1 - {{\eta }^{2}}} {{{[g(x \pm \alpha t\eta \sqrt {1 - {{\zeta }^{2}}} )]}}_{2}}} d\eta } + \\ + \;\frac{{{{t}^{2}}}}{{\pi \sqrt \pi }}\int\limits_0^1 {d\zeta \int\limits_0^1 {\sqrt {1 - {{\eta }^{2}}} } d\eta } \int\limits_{ - \infty }^{ + \infty } {{{\Psi }_{0}}({{{({{\alpha }_{2}}t)}}^{2}},{{\xi }^{2}}){{{[g(x + \xi \pm \alpha t\eta \sqrt {1 - {{\zeta }^{2}}} )]}}_{2}}} d\xi \\ \end{gathered} $

Используя оценку (2.9), оценим норму косинус оператор-функции (2.23):

(2.24)
$\left\| {C(t;K)} \right\| \leqslant 1 + \frac{{2{{t}^{2}}}}{\pi }\int\limits_0^1 {{\text{ch(}}{{\alpha }_{2}}t\zeta \sqrt 2 {\text{)}}d\zeta \int\limits_0^1 {\sqrt {1 - {{\eta }^{2}}} } d\eta } \leqslant 1 + t\frac{{\sqrt 2 }}{{\pi {{\alpha }_{2}}}}{\text{sh(}}{{\alpha }_{2}}t\sqrt 2 {\text{)}}$

Синус оператор-функция $S(t;K)$, порождаемая оператором $K$, в рассматриваемом случае допускает оценку

(2.25)
$\left\| {S(t;K)} \right\| \leqslant \left| t \right| + \frac{1}{{\pi \alpha _{2}^{3}\sqrt 2 }}\left| {{{\alpha }_{{\text{2}}}}t\sqrt 2 {\text{ch(}}{{\alpha }_{2}}t\sqrt 2 {\text{)}} - {\text{sh(}}{{\alpha }_{2}}t\sqrt 2 {\text{)}}} \right|,\quad t \in {{R}^{1}}$

Таким образом, во всех трех случаях задания параметра $\alpha $ приходим к абстрактному дифференциальному уравнению, обобщающему уравнение (2.4) в пространстве $C[{{R}^{1}}]$:

(2.26)
${{W}_{{tt}}} = KW,\quad t \in R_{ + }^{1},$
в котором оператор $K$ порождает косинус оператор-функцию класса ${{C}_{0}}$. Начальные условия в $C[{{R}^{1}}]$ для уравнения (2.26) перепишутся в виде
(2.27)
$t = 0{\text{:}}\;W = \Phi ,\quad {{W}_{t}} = \Psi ,\quad \Phi = \varphi (x) - \varphi {\text{''}}(x),\quad \Psi = \psi (x) - \psi {\text{''}}(x)$
где $\Phi $ и $\Psi $ – элементы пространства $C[{{R}^{1}}]$.

Для того чтобы задача Коши (2.26), (2.27) была равномерно корректной на $\bar {R}_{ + }^{1}$, необходимо и достаточно, чтобы оператор $K$ был производящим оператором сильно непрерывной косинус оператор-функции класса ${{C}_{0}}$; при этом классическое решение задачи Коши (2.26), (2.27) дается формулой ([3], § 1.4)

$W(t) = C(t;K)\Phi + S(t;K)\Psi ,\quad t \in {{R}^{1}}$
для любых $\Phi \in D(K)$ и $\Psi \in {{C}_{1}}[{{R}^{1}}]$.

Замечание 2. Задача Коши

(2.28)
$u{\text{''}}(t) = Au(t),\quad t \in \bar {R}_{ + }^{1};\quad u(0) = {{u}^{0}},\quad u{\text{'}}(0) = {{u}^{1}}$
в банаховом пространстве $E$ называется равномерно корректной ([3], § 1.2), если: найдется плотное подмножество ${{E}_{1}} \subset E$ такое, что при ${{u}^{0}}$, ${{u}^{1}} \in {{E}_{1}}$ существует единственное решение на $\bar {R}_{ + }^{1}$ и это решение равномерно устойчиво по $t$ на любом компакте $P \subset \bar {R}_{ + }^{1}$, т.е. из условия $u_{n}^{m}$ → 0 ($u_{n}^{m} \in {{E}_{1}}$, $m = 0,1$) при $n \to \infty $ следует сходимость соответствующих решений ${{u}_{n}}(t)$ → 0 равномерно по $t \in P$, где $u_{n}^{{(m)}}(0) = u_{n}^{m}$, $m = 0,1$.

Замечание 3. Дважды непрерывно дифференцируемая функция $u(t){\text{:}}\;\bar {R}_{ + }^{1} \to E$, т.е. $u(t) \in {{C}^{{(2)}}}(\bar {R}_{ + }^{1};E)$, называется классическим решением абстрактной задачи Коши (2.28), если $u(t) \in D(A)$, $Au(t) \in C(\bar {R}_{ + }^{1};E)$ при $t \in \bar {R}_{ + }^{1}$ и удовлетворяются равенства (2.28).

Теперь, производя обратную замену (2.3) и используя перестановочность резольвенты ${{(I - {{d}^{2}}{\text{/}}d{{x}^{2}})}^{{ - 1}}}$ c косинус оператор-функцией, порождаемой оператором $K$, находим решение задачи Коши для уравнения (2.1)

(2.29)
$u = {{(I - {{d}^{2}}{\text{/}}d{{x}^{2}})}^{{ - 1}}}W(t) = C(t;K)\varphi + S(t;K)\psi $

Таким образом, имеет место утверждение.

Теорема 1. Пусть начальные функции $\varphi (x)$, $\psi (x)$ вместе с производными до четвертого порядка включительно принадлежат пространству $C[{{R}^{1}}]$. Тогда задача Коши для линейного однородного уравнения (2.1) равномерно корректна, классическое решение дается формулой (2.29), или в подробной записи:

1) при $\alpha = 1$ – формулой (2.7), и для решения справедлива оценка

$\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {u(x,t)} \right| \leqslant \mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\varphi (x)} \right| + \left| t \right|\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\psi (x)} \right|,\quad t \in {{R}^{1}}$

2) при $\alpha > 1$ – формулой

$u(x,t) = {{[\varphi (x \pm \alpha t)]}_{2}} + \int\limits_0^t {{{{[\psi (x \pm \alpha r)]}}_{2}}dr} + $
$ + \;{{\alpha }_{1}}t\int\limits_0^t {{{I}_{1}}({{\alpha }_{1}}\sqrt {{{t}^{2}} - {{s}^{2}}} ){{{[\varphi (x \pm \alpha s)]}}_{2}}\frac{{ds}}{{\sqrt {{{t}^{2}} - {{s}^{2}}} }}} + $
$ + \;{{\alpha }_{1}}\int\limits_0^t {r\left\{ {\int\limits_0^r {{{I}_{1}}({{\alpha }_{1}}\sqrt {{{t}^{2}} - {{s}^{2}}} ){{{[\psi (x \pm \alpha s)]}}_{2}}\frac{{ds}}{{\sqrt {{{t}^{2}} - {{s}^{2}}} }}} } \right\}dr} + $
$ + \;\frac{{2{{t}^{2}}}}{\pi }\int\limits_0^1 {d\zeta \int\limits_0^1 {\sqrt {1 - {{\eta }^{2}}} \left\{ {{{{[\varphi (x \pm \alpha t\eta \sqrt {1 - {{\zeta }^{2}}} )]}}_{2}}{{ - }^{{^{{^{{^{{^{{^{{}}}}}}}}}}}}}} \right.} } $
$ - \;\frac{{{{{({{\alpha }_{1}}t\zeta )}}^{2}}}}{{4\sqrt \pi }}\int\limits_{ - \infty }^{ + \infty } {{{F}_{0}}({{{({{\alpha }_{1}}t\zeta )}}^{2}},{{\xi }^{2}}){{{[\varphi (x + \xi \pm \alpha t\eta \sqrt {1 - {{\zeta }^{2}}} )]}}_{2}}d\xi + } $
$ + \;{{\alpha }_{1}}t\eta \sqrt {1 - {{\zeta }^{2}}} \int\limits_0^{t\eta \sqrt {1 - {{\zeta }^{2}}} } {{{I}_{1}}({{\alpha }_{1}}\sqrt {{{t}^{2}}{{\eta }^{2}}(1 - {{\zeta }^{2}}) - {{s}^{2}}} )\left\{ {{{{\left[ {\varphi \left( {x \pm \alpha s} \right)} \right]}}_{2}}{{ - }^{{^{{^{{^{{^{{^{{}}}}}}}}}}}}}} \right.} $
$\left. {\left. { - \;\frac{{{{{({{\alpha }_{1}}t\zeta )}}^{2}}}}{{4\sqrt \pi }}\int\limits_0^{t\eta \sqrt {1 - {{\zeta }^{2}}} } {{{F}_{0}}({{{({{\alpha }_{1}}t\zeta )}}^{2}},{{\xi }^{2}}){{{[\varphi (x + \xi \pm \alpha s)]}}_{2}}d\xi } } \right\}\frac{{ds}}{{\sqrt {{{t}^{2}}{{\eta }^{2}}(1 - {{\zeta }^{2}}) - {{s}^{2}}} }}} \right\}d\eta + $
$ + \;\frac{2}{\pi }\int\limits_0^t {{{r}^{2}}\left\{ {\int\limits_0^1 {d\zeta \int\limits_0^1 {\sqrt {1 - {{\eta }^{2}}} \left\{ {{{{[\psi (x \pm \alpha r\eta \sqrt {1 - {{\zeta }^{2}}} )]}}_{2}}{{ - }^{{^{{^{{^{{^{{^{{}}}}}}}}}}}}}} \right.} } } \right.} $
$ - \;\frac{{{{{({{\alpha }_{1}}r\zeta )}}^{2}}}}{{4\sqrt \pi }}\int\limits_{ - \infty }^{ + \infty } {{{F}_{0}}({{{({{\alpha }_{1}}r\zeta )}}^{2}},{{\xi }^{2}}){{{[\psi (x + \xi \pm \alpha r\eta \sqrt {1 - {{\zeta }^{2}}} )]}}_{2}}d\xi + } $
$ + \;{{\alpha }_{1}}r\eta \sqrt {1 - {{\zeta }^{2}}} \int\limits_0^{r\eta \sqrt {1 - {{\zeta }^{2}}} } {{{I}_{1}}({{\alpha }_{1}}\sqrt {{{r}^{2}}{{\eta }^{2}}(1 - {{\zeta }^{2}}) - {{s}^{2}}} )\left\{ {{{{[\psi (x \pm \alpha s)]}}_{2}}{{ - }^{{^{{^{{^{{^{{^{{}}}}}}}}}}}}}} \right.} $
$\left. {\left. {\left. { - \;\frac{{{{{({{\alpha }_{1}}r\zeta )}}^{2}}}}{{4\sqrt \pi }}\int\limits_{ - \infty }^{ + \infty } {{{F}_{0}}({{{({{\alpha }_{1}}r\zeta )}}^{2}},{{\xi }^{2}}){{{[g(x + \xi \pm \alpha s)]}}_{2}}d\xi } } \right\}\frac{{ds}}{{\sqrt {{{r}^{2}}{{\eta }^{2}}(1 - {{\zeta }^{2}}) - {{s}^{2}}} }}} \right\}d\eta } \right\}dr$
и для решения справедлива оценка

$\begin{gathered} \mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {u(x,t)} \right| \leqslant \left[ {{\text{ch(}}{{\alpha }_{1}}t{\text{)}} + \frac{{{\text{sh(}}{{\alpha }_{1}}t{\text{(}}\sqrt 2 - 1{\text{))}}\operatorname{sh} {\text{(}}{{\alpha }_{1}}t{\text{(}}\sqrt 2 + 1{\text{))}}}}{{\alpha _{1}^{2}}}} \right]\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\varphi (x)} \right| + \\ + \;\frac{1}{{{{\alpha }_{1}}}}\left[ {\left| {{\text{sh(}}{{\alpha }_{1}}t{\text{)}}} \right| + \frac{{\left| {{\text{sh(}}2{{\alpha }_{1}}t\sqrt 2 {\text{)}} - \sqrt 2 \operatorname{sh} {\text{(}}2{{\alpha }_{1}}t{\text{)}}} \right|}}{{4\alpha _{1}^{2}\sqrt 2 }}} \right]\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\psi (x)} \right| \\ t \in {{R}^{1}} \\ \end{gathered} $

3) при $\alpha < 1$ – формулой

$u(x,t) = {{[\varphi (x \pm \alpha t)]}_{2}} + \int\limits_0^t {{{{[\psi (x \pm \alpha r)]}}_{2}}dr} + $
$ + \;\frac{{2{{t}^{2}}}}{\pi }\int\limits_0^1 {\cos ({{\alpha }_{2}}t\zeta )d\zeta \int\limits_0^1 {\sqrt {1 - {{\eta }^{2}}} {{{[\varphi (x \pm \alpha t\eta \sqrt {1 - {{\zeta }^{2}}} )]}}_{2}}} d\eta } + $
$ + \;\frac{2}{\pi }\int\limits_0^t {{{r}^{2}}dr\int\limits_0^1 {\cos ({{\alpha }_{2}}t\zeta )d\zeta \int\limits_0^1 {\sqrt {1 - {{\eta }^{2}}} {{{[\psi (x \pm \alpha r\eta \sqrt {1 - {{\zeta }^{2}}} )]}}_{2}}} d\eta } } + $
$ + \;\frac{{{{t}^{2}}}}{{\pi \sqrt \pi }}\int\limits_0^1 {d\zeta \int\limits_0^1 {\sqrt {1 - {{\eta }^{2}}} } d\eta } \int\limits_{ - \infty }^{ + \infty } {{{\Psi }_{0}}({{{({{\alpha }_{2}}t)}}^{2}},{{\xi }^{2}}){{{[\varphi (x + \xi \pm \alpha t\eta \sqrt {1 - {{\zeta }^{2}}} )]}}_{2}}} d\xi + $
$ + \;\frac{1}{{\pi \sqrt \pi }}\int\limits_0^t {{{r}^{2}}dr\int\limits_0^1 {d\zeta \int\limits_0^1 {\sqrt {1 - {{\eta }^{2}}} } d\eta } \int\limits_{ - \infty }^{ + \infty } {{{\Psi }_{0}}({{{({{\alpha }_{2}}r)}}^{2}},{{\xi }^{2}}){{{[\psi (x + \xi \pm \alpha r\eta \sqrt {1 - {{\zeta }^{2}}} )]}}_{2}}} d\xi } $
и для решения справедлива оценка

$\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {u(x,t)} \right| \leqslant \left( {1 + \frac{{t\sqrt 2 \operatorname{sh} ({{\alpha }_{2}}t\sqrt 2 )}}{{\pi \alpha _{2}^{2}}}} \right)\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\varphi (x)} \right| + $
$ + \;\left( {\left| t \right| + \frac{{\left| {{{\alpha }_{2}}t\sqrt 2 \operatorname{ch} ({{\alpha }_{2}}t\sqrt 2 ) - {\text{sh(}}{{\alpha }_{2}}t\sqrt 2 {\text{)}}} \right|}}{{2\pi \alpha _{2}^{3}}}} \right)\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\psi (x)} \right|$
$t \in {{R}^{1}}$

Замечание 4. От начальной функции $\psi (x)$ в теореме 1 требуем заведомо большую гладкость, чем нужно для существования решения задачи Коши, чтобы не заниматься описанием подмножества ${{C}_{1}}[{{R}^{1}}]$ пространства $C[{{R}^{1}}]$.

Замечание 5. При $\alpha = 1$ синус оператор-функция представляется в явном виде формулой

$S\left( {t;\frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)\psi (x) = \int\limits_0^t {C\left( {r;\frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)\psi (x)dr} = \int\limits_0^t {{{{[\psi (x \pm r)]}}_{2}}dr} = {{2}^{{ - 1}}}\int\limits_{x - t}^{x + t} {\psi (s)ds} $
и для нее справедлива оценка нормы

$\left\| {S\left( {t;\frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)} \right\| \leqslant \left| t \right|,\quad t \in {{R}^{1}}$

Замечание 6. Хотя изначально ставилась цель найти решение линейного однородного уравнения крутильных колебаний на полуоси $t \in R_{ + }^{1}$, формула (2.29) определяет решение $u(x,t)$ и его частные и смешанные производные на всей числовой прямой $t \in {{R}^{1}}$, что естественно вытекает и из самого задания уравнения, так как оно не меняется при замене $t \to - t$.

Замечание 7. Так как классическое решение $W\left( t \right)$ абстрактной задачи Коши (2.26), (2.27) принадлежит ${{C}^{{\left( 2 \right)}}}(\bar {R}_{ + }^{1};C[{{R}^{1}}])$ и для него $KW(t)$$C(\bar {R}_{ + }^{1};C[{{R}^{1}}])$, то решение

$u(x,t) = {{\left( {I - \frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)}^{{ - 1}}}W(t)$
уравнения (2.1) принадлежит ${{C}^{{(4)}}}[{{R}^{1}}]$ для всех $t \in \bar {R}_{ + }^{1}$.

3. Локальное решение задачи Коши для нелинейного уравнения крутильных волн. Применим к обеим частям уравнения (1.3) оператор ${{(I - {{d}^{2}}{\text{/}}d{{x}^{2}})}^{{ - 1}}}$, тогда получим эквивалентное (1.3) нелинейное интегро-дифференциальное уравнение – нелокальное уравнение Клейна–Гордона

(3.1)
${{\upsilon }_{{tt}}} - {{\alpha }^{2}}{{\upsilon }_{{xx}}} = ({{\alpha }^{2}} - 1)\upsilon - \beta {{\upsilon }^{3}} + h * [\beta {{\upsilon }^{3}} - ({{\alpha }^{2}} - 1)\upsilon ]$

Уравнение (3.1) в пространстве $C[{{R}^{1}}]$ можно записать в виде абстрактного полулинейного уравнения

(3.2)
${{V}_{{tt}}} = KV + F(V),\quad t \in R_{ + }^{1}$

Начальные условия (1.2) для уравнения (3.2) перепишутся в виде

(3.3)
$t = 0{\text{:}}\;V = \Phi ,\quad {{V}_{t}} = \Psi ,$
где $\Phi = \varphi (x)$, $\Psi = \psi (x)$ – элементы пространства $C[{{R}^{1}}]$.

В уравнении (3.2) оператор $K$ такой же, как и в уравнении (2.26), а $F( \cdot )$ – заданный нелинейный оператор:

$F(g) = \beta \left[ {{{{\left( {I - \frac{{{{d}^{2}}}}{{d{{x}^{2}}}}} \right)}}^{{ - 1}}} - I} \right]Q(g),\quad Q(g) = f(g(x)),\quad g(x) \in C[{{R}^{1}}],\quad f(s) = {{s}^{3}}$

Отметим, что из непрерывной дифференцируемости оператора суперпозиции $Q$ в пространстве непрерывных функций ([8], гл. 5, § 20.1) и ограниченности оператора ${{(I - {{d}^{2}}{\text{/}}d{{x}^{2}})}^{{ - 1}}} - I$ следует непрерывная дифференцируемость по Фреше оператора $F( \cdot )$ в пространстве $C[{{R}^{1}}]$, и следовательно, $F( \cdot )$ удовлетворяет локальному условию Липшица. Поэтому существует промежуток $[0,t{\text{*[}}$, в котором абстрактная задача Коши (3.2), (3.3) имеет ([9], § 3) единственное обобщенное решение $V = V(t)$, т.е. единственное непрерывно дифференцируемое решение интегрального уравнения

(3.4)
$V(t) = C(t;K)\Phi + S(t;K)\Psi + \int\limits_0^t {S(t - \tau ;K)F(V(\tau ))d\tau } ,\quad t \in R_{ + }^{1}$
для любых $\Phi \in D(K)$ и $\Psi \in {{C}_{1}}[{{R}^{1}}]$.

Учитывая, что для элементов пространства $C[{{R}^{1}}]$ справедлива оценка

${{\left\| {\varphi \psi } \right\|}_{C}} \leqslant {{\left\| \varphi \right\|}_{C}}{{\left\| \psi \right\|}_{C}}$
в силу чего с ним можно работать как с алгеброй ([10], гл. 6, § 6.1), из интегрального уравнения (3.4) выводим интегральное неравенство

(3.5)
${{\left\| {V(t)} \right\|}_{C}} \leqslant \left\| {C(t;K)} \right\|{{\left\| \Phi \right\|}_{C}} + \left\| {S(t;K)} \right\|{{\left\| \Psi \right\|}_{C}} + 2\left| \beta \right|\int\limits_0^t {\left\| {S(t - \tau ;K)} \right\|\left\| {V(\tau )} \right\|_{C}^{3}d\tau } $

Нормы оператор-функций из этого неравенства оцениваются разными мажорантами в зависимости от значения параметра $\alpha $ уравнения (1.3). Поэтому дальнейшее рассмотрение интегрального неравенства (3.5) разобьем на три случая:

1) пусть $\alpha = 1$, тогда, обозначая $\Omega _{{\Phi ,\Psi }}^{{\alpha = 1}}(t) = {{\left\| \Phi \right\|}_{C}} + t{{\left\| \Psi \right\|}_{C}}$, неравенству (3.5) придадим вид

${{\left\| {V(t)} \right\|}_{C}} \leqslant \Omega _{{\Phi ,\Psi }}^{{\alpha = 1}}(t) + 2\left| \beta \right|\int\limits_0^t {(t - \tau )\left\| {V(t)} \right\|_{C}^{3}d\tau } ,$
откуда следует [11] оценка

(3.6)
$\begin{gathered} {{\left\| {V(t)} \right\|}_{C}} \leqslant \frac{{\Omega _{{\Phi ,\Psi }}^{{\alpha = 1}}(t)}}{{\sqrt[4]{{1 - 24{{\beta }^{2}}{{t}^{2}}({{e}^{{2t}}} - 1){{{(\Omega _{{\Phi ,\Psi }}^{{\alpha = 1}}(t))}}^{4}}}}}},\quad t \in [0,{{t}_{ * }}] \\ {{t}_{{\text{*}}}} = \sup \left\{ {t \in [0,t{\text{*}}[:{{t}^{2}}({{e}^{{2t}}} - 1){{{(\Omega _{{\Phi ,\Psi }}^{{\alpha = 1}}(t))}}^{4}} < \frac{1}{{24{{\beta }^{2}}}}} \right\} \\ \end{gathered} $

2) пусть $\alpha > 0$, тогда, применяя оценки (2.17) и (2.19) норм оператор-функций (2.16) и (2.18), записанные в виде

$\left\| {C(t;K)} \right\| \leqslant \left( {1 + \frac{1}{{2\alpha _{1}^{2}}}} \right){\text{ch(}}2{{\alpha }_{1}}t\sqrt 2 {\text{)}} \equiv \rho ({{\alpha }_{1}},t),\quad \left\| {S(t;K)} \right\| \leqslant \frac{{\rho ({{\alpha }_{1}},t)}}{{2{{\alpha }_{1}}\sqrt 2 }}$
имеем
${{\left\| {V(t)} \right\|}_{C}} \leqslant \rho ({{\alpha }_{1}},t)\left[ {\Omega _{{\Phi ,\Psi }}^{{\alpha > 1}} + \frac{{\left| \beta \right|}}{{{{\alpha }_{1}}\sqrt 2 }}\int\limits_0^t {{\text{ch(}}2{{\alpha }_{1}}\tau \sqrt 2 {\text{)}}\left\| {V(\tau )} \right\|_{C}^{3}d\tau } } \right];\quad \Omega _{{\Phi ,\Psi }}^{{\alpha > 1}} = {{\left\| \Phi \right\|}_{C}} + \frac{{{{{\left\| \Psi \right\|}}_{C}}}}{{2{{\alpha }_{1}}\sqrt 2 }},$
откуда следует ([12], гл. 1, § 1.3) выполнение при $t \in [0,{{t}_{{\text{*}}}}]$, где
${{t}_{{\text{*}}}} = \sup \left\{ {t \in [0,t{\text{*}}[:\frac{3}{4}{{\alpha }_{1}}t\sqrt 2 + \frac{{{\text{sh(}}4{{\alpha }_{1}}t\sqrt 2 {\text{)}}}}{4} + \frac{{{\text{sh(}}8{{\alpha }_{1}}t\sqrt 2 {\text{)}}}}{{32}} < \frac{{4\alpha _{1}^{7}\sqrt 2 }}{{\left| \beta \right|{{{(2\alpha _{1}^{2} + 1)}}^{3}}{{{(\Omega _{{\Phi ,\Psi }}^{{\alpha > 1}})}}^{2}}}}} \right\}$
оценки нормы обобщенного решения

(3.7)
${{\left\| {V(t)} \right\|}_{C}} \leqslant \frac{{(1 + {\text{1/}}(2\alpha _{1}^{2}))\Omega _{{\Phi ,\Psi }}^{{\alpha > 1}}\operatorname{ch} (2{{\alpha }_{1}}t\sqrt 2 )}}{{\sqrt {1 - \frac{{\left| \beta \right|{{{(2\alpha _{1}^{2} + 1)}}^{3}}{{{(\Omega _{{\Phi ,\Psi }}^{{\alpha > 1}})}}^{2}}}}{{4\alpha _{1}^{7}\sqrt 2 }}\left[ {\frac{3}{4}{{\alpha }_{1}}t\sqrt 2 + \frac{{{\text{sh(}}4{{\alpha }_{1}}t\sqrt 2 {\text{)}}}}{4} + \frac{{{\text{sh(}}8{{\alpha }_{1}}t\sqrt 2 {\text{)}}}}{{32}}} \right]} }}$

3) пусть $\alpha < 1$, тогда, используя неравенства (2.24) и (2.25), переписанные в виде

$\left\| {C(t;K)} \right\| \leqslant \left( {1 + \frac{{t\sqrt 2 }}{{\pi {{\alpha }_{2}}}}} \right){\text{ch(}}{{\alpha }_{2}}t\sqrt 2 {\text{)}},\quad \left\| {S(t;K)} \right\| \leqslant \left( {1 + \frac{1}{{\pi \alpha _{2}^{2}}}} \right)t\operatorname{ch} ({{\alpha }_{2}}t\sqrt 2 )$
и обозначая
$\Omega _{{\Phi ,\Psi }}^{{\alpha < 1}}(t) = \left( {1 + \frac{{t\sqrt 2 }}{{\pi {{\alpha }_{2}}}}} \right){{\left\| \Phi \right\|}_{C}} + \left( {1 + \frac{1}{{\pi \alpha _{2}^{2}}}} \right)t{{\left\| \Psi \right\|}_{C}}$
имеем
${{\left\| {V(t)} \right\|}_{C}} \leqslant \operatorname{ch} {\text{(}}{{\alpha }_{2}}t\sqrt 2 {\text{)}}\left[ {\Omega _{{\Phi ,\Psi }}^{{\alpha < 1}}(t) + 2\left| \beta \right|\left( {1 + \frac{1}{{\pi \alpha _{2}^{2}}}} \right)\int\limits_0^t {(t - \tau )\operatorname{ch} {\text{(}}{{\alpha }_{2}}\tau \sqrt 2 {\text{)}}\left\| {V(\tau )} \right\|_{C}^{3}d\tau } } \right],$
откуда следует [11] выполнение при $t \in [0,{{t}_{{\text{*}}}}]$, где
${{t}_{{\text{*}}}} = \sup \left\{ {t \in [0,t{\text{*[:}}\;{{t}^{2}}{{{(\Omega _{{\Phi ,\Psi }}^{{\alpha < 1}}(t))}}^{4}}{{{\operatorname{ch} }}^{{\text{6}}}}({{\alpha }_{2}}t\sqrt 2 )j({{\alpha }_{2}},t) < {{{\left( {{\text{48}}{{\beta }^{2}}{{{\left( {1 + \frac{1}{{\pi \alpha _{2}^{2}}}} \right)}}^{2}}} \right)}}^{{ - 1}}}} \right\}$
$j({{\alpha }_{2}},t) = \int\limits_0^t {{{e}^{{2\tau }}}{{{\operatorname{ch} }}^{{\text{2}}}}({{\alpha }_{2}}\tau \sqrt 2 )d\tau } $
оценки нормы обобщенного решения22

(3.8)
${{\left\| {V(t)} \right\|}_{C}} \leqslant \frac{{\sqrt 2 {\kern 1pt} \Omega _{{\Phi ,\Psi }}^{{\alpha < 1}}(t)\operatorname{ch} ({{\alpha }_{2}}t\sqrt 2 )}}{{\sqrt {1 - {\text{48}}{{\beta }^{2}}{{{(1 + {{{(\pi \alpha _{2}^{2})}}^{{ - 1}}})}}^{2}}{{t}^{2}}{{{(\Omega _{{\Phi ,\Psi }}^{{\alpha < 1}}(t))}}^{4}}{{{\operatorname{ch} }}^{{\text{6}}}}({{\alpha }_{2}}t\sqrt 2 )j({{\alpha }_{2}},t)} }}$

Итак, на отрезке $[0,{{t}_{{\text{*}}}}]$ существует обобщенное решение абстрактной задачи Коши (3.2), (3.3) для которого, в зависимости от значения параметра $\alpha $, справедлива соответствующая оценка нормы (3.6)–(3.8). Это обобщенное решение $V(t)$ будет классическим решением задачи Коши (3.2), (3.3), если оно дважды непрерывно дифференцируемо, что является следствием [9] непрерывной дифференцируемости нелинейного оператора $F( \cdot )$, при условии $\Phi \in D(K)$ и $\Psi \in {{C}_{1}}[{{R}^{1}}]$.

Таким образом, имеет место

Теорема 2. Пусть начальные функции $\varphi (x)$ и $\psi (x)$ задачи Коши (1.3), (1.2) принадлежат пространству $C[{{R}^{1}}]$ вместе со своими производными до четвертого порядка включительно. Тогда при $t \in [0,{{t}_{{\text{*}}}}]$ существует единственное классическое решение $\upsilon = \upsilon (x,t)$, $(x,t)$${{R}^{1}}$ × $[0,{{t}_{{\text{*}}}}]$, этой задачи в пространстве $C[{{R}^{1}}]$, для которого, в зависимости от значения параметра $\alpha $, справедлива оценка нормы (3.6)–(3.8), или в подробной записи

1) при $\alpha = 1$, обозначая

$\omega _{{\varphi ,\psi }}^{{\alpha = 1}}(t) = \mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\varphi (x)} \right| + t\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\psi (x)} \right|$

имеем

$\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\upsilon (x,t)} \right| \leqslant \sqrt 2 \omega _{{\varphi ,\psi }}^{{\alpha = 1}}(t){{(1 - 24{{\beta }^{2}}{{t}^{2}}({{e}^{{2t}}} - 1){{(\omega _{{\varphi ,\psi }}^{{\alpha = 1}}(t))}^{4}})}^{{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}}}}$

2) при $\alpha > 1$, ${{\alpha }_{1}} = \sqrt {{{\alpha }^{2}} - 1} $, обозначая

$\omega _{{\varphi ,\psi }}^{{\alpha > 1}} = \mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\varphi (x)} \right| + \frac{1}{{2{{\alpha }_{1}}\sqrt 2 }}\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\psi (x)} \right|$

имеем

$\begin{gathered} \mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\upsilon (x,t)} \right| \leqslant \left( {1 + \frac{1}{{2\alpha _{1}^{2}}}} \right)\omega _{{\varphi ,\psi }}^{{\alpha > 1}}\operatorname{ch} (2{{\alpha }_{1}}t\sqrt 2 ) \times \\ \times \;{{\left( {1 - \frac{{\left| \beta \right|{{{(2\alpha _{1}^{2} + 1)}}^{3}}{{{(\omega _{{\varphi ,\psi }}^{{\alpha > 1}})}}^{2}}}}{{128\alpha _{1}^{7}\sqrt 2 }}[24{{\alpha }_{1}}t\sqrt 2 + 8\operatorname{sh} (4{{\alpha }_{1}}t\sqrt 2 ) + \operatorname{sh} (8{{\alpha }_{1}}t\sqrt 2 )]} \right)}^{{ - 1/2}}} \\ \end{gathered} $

3) при $\alpha < 1$, ${{\alpha }_{2}} = \sqrt {1 - {{\alpha }^{2}}} $, обозначая

$\omega _{{\varphi ,\psi }}^{{\alpha < 1}}(t) = \left( {1 + \frac{{t\sqrt 2 }}{{\pi {{\alpha }_{2}}}}} \right)\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\varphi (x)} \right| + \left( {1 + \frac{1}{{\pi \alpha _{2}^{2}}}} \right)t\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\psi (x)} \right|$

имеем

$\begin{gathered} \mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {\upsilon (x,t)} \right| \leqslant \sqrt 2 \omega _{{\varphi ,\psi }}^{{\alpha < 1}}(t)\operatorname{ch} ({{\alpha }_{2}}t\sqrt 2 ) \times \\ \times \;{{\left( {1 - 48{{\beta }^{2}}{{{\left( {1 + \frac{1}{{\pi \alpha _{2}^{2}}}} \right)}}^{2}}{{t}^{2}}{{{(\omega _{{\varphi ,\psi }}^{{\alpha < 1}}(t))}}^{4}}{\text{c}}{{{\text{h}}}^{{\text{6}}}}({{\alpha }_{2}}t\sqrt 2 )j({{\alpha }_{2}},t)} \right)}^{{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}}}} \\ \end{gathered} $

Замечание 8. Здесь надо учитывать, что классическое решение уравнения (1.3) из ${{C}^{{(4)}}}[{{R}^{1}}]$, тогда как классическое решение уравнения (3.1) из ${{C}^{{\left( 2 \right)}}}[{{R}^{1}}]$.

Замечание 9. Из существования локального классического решения уравнения (1.3) следует существование классического решения уравнения (1.1) на том же отрезке $[0,t{\text{*}}]$.

4. Существование глобального решения уравнения крутильных волн и разрушения его решения на конечном отрезке. Если функция $g(x)$$C[{{R}^{1}}]$ также принадлежит пространству Соболева $W_{2}^{1}({{R}^{1}})$, то [13] справедлива оценка

${{\left\| g \right\|}_{C}} = \mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {g(x)} \right| \leqslant {{\left\| g \right\|}_{{W_{2}^{1}}}} = \sqrt {\int\limits_{ - \infty }^{ + \infty } {[{{{(g(x))}}^{2}} + {{{(g{\text{'}}(x))}}^{2}}]} dx} ,$
причем, если к тому же $g(x) \in {{C}^{{\left( 2 \right)}}}[{{R}^{1}}]$, то предел при $x \to \pm \infty $ функций $g(x)$ и $g{\text{'}}(x)$ равен нулю.

Полагая, что для всех $t \geqslant 0$ классическое решение $u = u(x,t)$ уравнения (1.1) принадлежит пересечению пространств $C[{{R}^{1}}]$$W_{2}^{1}({{R}^{1}})$, рассмотрим так называемый интеграл энергии

$y(t) = \left\| u \right\|_{{W_{2}^{1}}}^{2} = \int\limits_{ - \infty }^{ + \infty } {({{u}^{2}} + u_{x}^{2})dx} ,$
в котором $u = u(x,t)$ – решение уравнения (1.1).

Применяя к правой части равенства

$y{\text{'}}(t) = 2(u,{{u}_{t}}) + 2({{u}_{x}},{{u}_{{xt}}})$
неравенство Коши–Буняковского ($\left| {(\varphi ,\psi )} \right|$${{\left\| \varphi \right\|}_{2}}{{\left\| \psi \right\|}_{2}}$, где $(\varphi ,\psi )$ = $\int_{ - \infty }^{ + \infty } {\varphi (x)\psi (x)dx} $ и ${{\left\| \varphi \right\|}_{2}}$ = = $\sqrt {\int_{ - \infty }^{ + \infty } {{{{\left| {\varphi (x)} \right|}}^{2}}dx} } $ – скалярное произведение и норма в пространстве ${{L}_{2}}({{R}^{1}})$), выводим оценку $y{\text{'}}(t)$$\left\| u \right\|_{{W_{2}^{1}}}^{2}$ + $\left\| {{{u}_{t}}} \right\|_{{W_{2}^{1}}}^{2}$, или

(4.1)
$y{\text{'}}(t) \leqslant y(t) + z(t);\quad z(t) = \left\| {{{u}_{t}}} \right\|_{{W_{2}^{1}}}^{2} = \left\| {{{u}_{t}}} \right\|_{2}^{2} + \left\| {{{u}_{{xt}}}} \right\|_{2}^{2}$

Аналогично, из равенства

${{[y{\text{'}}(t)]}^{2}} = 4[{{(u,{{u}_{t}})}^{2}} + 2(u,{{u}_{t}})({{u}_{x}},{{u}_{{xt}}}) + {{({{u}_{x}},{{u}_{{xt}}})}^{2}}]$
выводим оценку

(4.2)
${{[y{\text{'}}(t)]}^{2}} \leqslant 4y(t)z(t)$

Используя уравнение (1.1), представление

${{u}_{x}}{{u}_{{xtt}}} = {{(u{{u}_{{xtt}}})}_{x}} - u{{u}_{{xxtt}}}$
и интегрируя по частям, имеем
${{2}^{{ - 1}}}y{\text{''}}(t) = \int\limits_{ - \infty }^{ + \infty } {u_{t}^{2}dx} + \int\limits_{ - \infty }^{ + \infty } {u_{{xt}}^{2}dx} - \int\limits_{ - \infty }^{ + \infty } {u_{x}^{2}dx} - {{\alpha }^{2}}\int\limits_{ - \infty }^{ + \infty } {u_{{xx}}^{2}dx} - \beta \int\limits_{ - \infty }^{ + \infty } {u_{x}^{4}dx} ,$
откуда выводим первое энергетическое равенство

(4.3)
${{2}^{{ - 1}}}y{\text{''}}(t) = z(t) - \left\| {{{u}_{x}}} \right\|_{2}^{2} - {{\alpha }^{2}}\left\| {{{u}_{{xx}}}} \right\|_{2}^{2} - \beta \left\| {u_{x}^{2}} \right\|_{2}^{2}$

Аналогично, используя представление

${{u}_{{xt}}}{{u}_{{xtt}}} = {{({{u}_{t}}{{u}_{{xtt}}})}_{x}} - {{u}_{t}}{{u}_{{xxtt}}}$
и интегрируя по частям, имеем
$z{\text{'}}(t) = \frac{d}{{dt}}\left( { - \int\limits_{ - \infty }^{ + \infty } {u_{x}^{2}dx} - {{\alpha }^{2}}\int\limits_{ - \infty }^{ + \infty } {u_{{xx}}^{2}dx} - {{2}^{{ - 1}}}\beta \int\limits_{ - \infty }^{ + \infty } {u_{x}^{4}dx} } \right),$
откуда следует второе энергетическое равенство
(4.4)
$z(t) = {{Z}_{0}} - \left\| {{{u}_{x}}} \right\|_{2}^{2} - {{\alpha }^{2}}\left\| {{{u}_{{xx}}}} \right\|_{2}^{2} - {{2}^{{ - 1}}}\beta \left\| {u_{x}^{2}} \right\|_{2}^{2},$
в котором

${{Z}_{0}} = \left\| \psi \right\|_{2}^{2} + \left\| {\psi {\text{'}}{\kern 1pt} } \right\|_{2}^{2} + \left\| {\varphi {\text{'}}{\kern 1pt} } \right\|_{2}^{2} + {{\alpha }^{2}}\left\| {\varphi {\text{''}}{\kern 1pt} } \right\|_{2}^{2} + {{2}^{{ - 1}}}\beta \left\| {{{{(\varphi {\text{')}}}}^{2}}} \right\|_{2}^{2}$

Пусть коэффициент уравнения (1.1) – параметр $\beta > 0$, тогда из соотношений (4.1) и (4.4) следует, что

$y{\text{'}}(t) \leqslant y(t) + {{Z}_{0}},\quad t \geqslant 0,$
и значит, в силу леммы Гронуолла,
$y(t) \leqslant {{e}^{t}}[y(0) + t{{Z}_{0}}],\quad t \geqslant 0,$
откуда следует, что при выполнении начальными функциями условий
(4.5)
$\varphi (x),\quad \psi (x) \in W_{2}^{1}({{R}^{1}});\quad {{(\varphi {\text{'}}(x))}^{2}},\quad \varphi {\text{''}}(x) \in {{L}_{2}}({{R}^{1}})$
классическое решение $u(x,t)$ уравнения (1.1) принадлежит пространству Соболева $W_{2}^{1}({{R}^{1}})$, и значит, справедлива оценка
$\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {u(x,t)} \right| \leqslant {{e}^{{{t \mathord{\left/ {\vphantom {t 2}} \right. \kern-0em} 2}}}}\sqrt {y(0) + t{{Z}_{0}}} ,\quad t \geqslant 0,$
или в подробной записи
(4.6)
$\mathop {\sup }\limits_{x \in {{R}^{1}}} \left| {u(x,t)} \right| \leqslant {{e}^{{{t \mathord{\left/ {\vphantom {t 2}} \right. \kern-0em} 2}}}}\sqrt {\left\| \varphi \right\|_{{W_{2}^{1}}}^{2} + t\left( {\left\| \psi \right\|_{{W_{2}^{1}}}^{2} + \left\| {\varphi {\text{'}}{\kern 1pt} } \right\|_{2}^{2} + {{\alpha }^{2}}\left\| {\varphi {\text{''}}{\kern 1pt} } \right\|_{2}^{2} + \frac{\beta }{2}\left\| {{{{(\varphi {\text{')}}}}^{2}}} \right\|_{2}^{2}} \right)} {\kern 1pt} {\kern 1pt} ,$
обеспечивающая существование глобального решения уравнения (1.1).

Таким образом, имеет место

Теорема 3. Пусть в уравнении (1.1) параметр $\beta > 0$, а начальные функции $\varphi (x)$ и $\psi (x)$ удовлетворяют условию (4.5). Тогда существует единственное глобальное классическое решение задачи Коши (1.1), (1.2), для которого справедлива оценка (4.6).

Вернемся к рассмотрению энергетических равенств (4.3) и (4.4): исключая из них слагаемое с параметром $\beta $; имеем

${{2}^{{ - 1}}}y{\text{''}}(t) - 3z(t) + 2{{Z}_{0}} = \left\| {{{u}_{x}}} \right\|_{2}^{2} + {{\alpha }^{2}}\left\| {{{u}_{{xx}}}} \right\|_{2}^{2},$
откуда, в силу оценки (4.2), вытекает дифференциальное неравенство для интеграла энергии
$2y(t)y{\text{''}}(t) - 3{{[y{\text{'(}}t)]}^{2}} + 8{{Z}_{0}}y(t) \geqslant 0,$
сравнивая которое с основным дифференциальным неравенством для интеграла энергии ([14], прилож., § 1) (см. ниже замечание 10), заключаем, что если потребовать выполнение условий
(4.7)
$\left\| \varphi \right\|_{{W_{2}^{1}}}^{2} > 0,\quad M = (\varphi ,\psi ) + (\varphi {\text{'}},\psi {\text{'}}) > 0\quad {\text{и }}\quad {{Z}_{0}} < {{M}^{2}}\left\| \varphi \right\|_{{W_{2}^{1}}}^{{ - 2}},$
то имеет место оценка снизу интеграла энергии
$y(t) \geqslant {{{\text{(}}\left\| \varphi \right\|_{{W_{2}^{1}}}^{{ - 1/2}} - Nt)}^{{ - 2}}}$
и оценка сверху времени $T{\text{*}}$ существования классического решения уравнения (1.1)

$T* \leqslant {{N}^{{ - 1}}}\left\| \varphi \right\|_{{W_{2}^{1}}}^{{ - 1/2}},\quad {\text{г д е }}\quad N = \left\| \varphi \right\|_{{W_{2}^{1}}}^{{ - 3/2}}\sqrt {{{M}^{2}} - {{Z}_{0}}\left\| \varphi \right\|_{{W_{2}^{1}}}^{2}} $

Таким образом, имеет место

Теорема 4. Пусть параметры $\alpha $, $\beta $ и начальные функции $\varphi (x)$ и $\psi (x)$ задачи Коши (1.1), (1.2) подчинены условиям (4.7). Тогда не существует глобального по времени классического решения уравнения крутильных колебаний нелинейно-упругого стержня, т.е. решение разрушается за конечное время $T{\text{*}}$, причем имеет место оценка сверху для времени существования решения.

Замечание 10. Пусть в дифференциальном неравенстве

$\begin{gathered} \Phi \Phi {\text{''}} - \alpha {{(\Phi ')}^{2}} + \gamma \Phi {\text{'}}\Phi + \beta \Phi \geqslant 0,\quad \alpha > 1,\quad \beta \geqslant 0,\quad \gamma \geqslant 0 \\ \Phi (t) \in {{C}^{{\left( 2 \right)}}}([0,T]),\quad \Phi (t) \geqslant 0,\quad \Phi (0) \geqslant 0 \\ \end{gathered} $
выполнены условия

$\Phi {\text{'}}(0) > \frac{\gamma }{{\alpha - 1}}\Phi (0),\quad {{\left( {\Phi {\text{'}}(0) - \frac{\gamma }{{\alpha - 1}}\Phi (0)} \right)}^{2}} > \frac{{2\beta }}{{2\alpha - 1}}\Phi (0)$

Тогда время $T > 0$ не может быть сколь угодно большим, а именно, выполнено неравенство

$\begin{gathered} T \leqslant {{T}_{\infty }} \leqslant {{\Phi }^{{1 - \alpha }}}(0){{A}^{{ - 1}}}, \\ {\text{г д е }}\quad {{A}^{2}} \equiv {{(\alpha - 1)}^{2}}{{\Phi }^{{ - 2\alpha }}}(0)\left[ {{{{\left( {\Phi '(0) - \frac{\gamma }{{\alpha - 1}}\Phi (0)} \right)}}^{2}} - \frac{{2\beta }}{{2\alpha - 1}}\Phi (0)} \right], \\ \end{gathered} $
причем

$\Phi (t) \geqslant {{e}^{{\gamma t/(\alpha - 1)}}}{{[{{\Phi }^{{1 - \alpha }}}(0) - At]}^{{ - {\text{1/}}(\alpha - 1)}}}\quad {\text{и }}\quad \mathop {\lim }\limits_{t \uparrow {{T}_{\infty }}} \Phi (t) = + \infty $

Замечание 11. Оценку (4.6) нормы решения уравнения крутильных колебаний в пространстве $C[{{R}^{1}}]$ можно существенно улучшить, если воспользоваться при $\beta > 0$ неравенствами, вытекающими из энергетических равенств (4.3) и (4.4): ${{2}^{{ - 1}}}y{\text{''}}(t) \leqslant z(t) \leqslant {{Z}_{0}}$, откуда, интегрируя, имеем

$y(t) \leqslant y(0) + y{\text{'(}}0)t + {{Z}_{0}}{{t}^{2}}$

Замечание 12. Покажем совместность достаточных условий (4.7). Пусть, например, начальные функции $\varphi $ и $\psi $ совпадают между собой: $\varphi (x) = \psi (x) \equiv \gamma (x) \ne 0$, причем $\gamma {\text{'}}(x) \ne 0$. Тогда выполнены первые два условия (4.7): $M = \left\| \gamma \right\|_{{W_{2}^{1}}}^{2} > 0$, и значит, третье условие (4.7) перепишется в виде ${{Z}_{0}} < \left\| \gamma \right\|_{{W_{2}^{1}}}^{2}$, откуда в этом случае следует

(4.8)
$\beta < - {\text{2(}}\left\| {\gamma {\text{'}}} \right\|_{2}^{2} + {{\alpha }^{2}}\left\| {\gamma {\text{''}}} \right\|_{2}^{2}{\text{)}}\left\| {\gamma {\text{'}}{{{\kern 1pt} }^{2}}} \right\|_{2}^{{ - 2}}$

Таким образом, при значениях параметра $\beta $, удовлетворяющих неравенству (4.8), совместны условия (4.7) разрушения за конечное время решения уравнения крутильных колебаний бесконечного нелинейно-упругого стержня.

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

  1. Ерофеев В.И., Кажаев В.В., Семерикова Н.П. Волны в стержнях. Дисперсия. Диссипация. Нелинейность. М.: Физматлит, 2002. 208 с.

  2. Dunford, N., Schwartz, J.T. Linear Operators. Part I: General Theory. N.Y.: Interscience, 1958. xiv + 858 p.

  3. Васильев В.В., Крейн С.Г., Пискарев С.И. Полугруппы операторов, косинус оператор-функции и линейные дифференциальные уравнения // Итоги науки и техники. Сер. Матем. анализ. М.: ВИНИТИ, 1990. С. 87–202.

  4. Демиденко Г.В. Условия разрешимости задачи Коши для псевдогиперболических уравнений // Сиб. матем. ж. 2015. Т. 56. № 6. С. 1289–1303.

  5. Прудников А.П., Брычков Ю.А., Маричев О.И. Интегралы и ряды. Специальные функции. М.: Наука. Гл. ред. физ.-матем. лит., 1983. 752 с.

  6. Прудников А.П., Брычков Ю.А., Маричев О.И. Интегралы и ряды. Дополнительные главы. М.: Наука, Гл. ред. физ.-матем. лит., 1986. 800 с.

  7. Прудников А.П., Брычков Ю.А., Маричев О.И. Интегралы и ряды. Элементарные функции. М.: Наука, Гл. ред. физ.-матем. лит., 1981. 800 с.

  8. Красносельский М.А., Забрейко П.П., Пустыльник Е.И., Соболевский П.Е. Интегральные операторы в пространствах суммируемых функций. М.: Наука, 1966. 500 с.

  9. Travis C.C., Webb G.F. Cosine families and abstract nonlinear second order differential equations // Acta Math. Acad. Scient. Hungaricae. 1978. V. 32. P. 75–96.

  10. Appell J., Zabreiko P.P. Nonlinear Superposition Operators. Cambridge: Univ. Press, 1990. 320 p.

  11. Kirane M., Tatar N. Global existence and stability of some semilinear problems // Arch. Math. (Brno) Tomus. 2000. V. 36. No. 1. P. 33–44.

  12. Dragomir S.S. Some Gronwall Type Inequalities and Applications. Melbourne City MC: Victoria 8001, 2002. 193 p.

  13. Benjamin T.B., Bona J.L., Mahony J.J. Model equations for long waves in nonlinear dispersive systems // Philos. Trans. R. Soc. London. 1972. V. 272. P. 47–78.

  14. Корпусов М.О., Свешников А.Г., Юшков Е.В. Методы теории разрушения решений нелинейных уравнений математической физики. М.: Физ. фак. МГУ, 2014. 364 с.

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