Исследование существования и анализ решения задачи Коши для возмущенного уравнения Клейна – Гордона Текст научной статьи по специальности «Математика»

УДК 517.95

Е. А. Будылина

ИССЛЕДОВАНИЕ СУЩЕСТВОВАНИЯ И АНАЛИЗ РЕШЕНИЯ ЗАДАЧИ КОШИ ДЛЯ ВОЗМУЩЕННОГО УРАВНЕНИЯ КЛЕЙНА - ГОРДОНА

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

Ключевые слова: уравнение Клейна - Гордона, существование решения, относительная погрешность приближенного решения, приложения.

E. A. Budylina

THE STUDY OF THE EXISTENCE AND THE ANALYSIS OF THE CAUCHY PROBLEM SOLUTION FOR THE PERTURBED KLEIN-GORDON EQUATION

Abstract. Background. At present time different approximate models for the description of the gas-liquid mix move are used, and the Klein - Gordon equation is one of them. Studying acoustic properties of liquids with bubbles of gas, as well as waves with the finite length in mixes with sufficiently large bubbles is based on these models. Besides, there are a number of mathematical models describing nonlinear seismic effects in geophysical environments, for instance, the sine-Gordon equation and its modifications. The objective of the paper is to study the existence and the Cauchy problem solution for the perturbed Klein - Gordon equation and to determine the relative error of the solution of Cauchy problem when replacing the perturbed Klein - Gordon equation with the non-perturbed one. Results and conclusions. The existence of the Cauchy problem solution for the perturbed Klein-Gordon equation has been proved. The relative error of the solution of the Cauchy problem for the perturbed Klein - Gordon equation when replacing the perturbed Klein -Gordon equation with non-perturbed has been determined. The results of the research make it possible to find borders at which it is admissible to replace small constant coefficients with zero.

Key words: the Klein - Gordon's equation, the problem of existence, the relative error of the approximate solution, applications.

Нелинейное уравнение Клейна - Гордона

z'xx (x,t)- ztt (x,t) = f(z(x,t))

(1)

является одним из классических уравнений теории нелинейных волн (встречается в теории магнетиков, дислокаций, джозефсоновских переходов). Частным случаем является уравнение синус-Гордона:

В ряде современных практических применений (например, нестационарный эффект Джозефсона [1], развертывание нитей ДНК [2]) в левой части уравнения синус-Гордона появляется слагаемое с первой производной по времени (возмущение):

Иногда при малых интервалах времени этим слагаемым пренебрегают, но при больших интервалах времени это может привести к потере решения специального вида [1] - типа бегущей волны, сглаживающейся на бесконеч-

^ ^ +о и при ^ ^ —о; Нш g (^) не обязательно равен Нш g (^)).

о —о

В настоящее время наблюдается большой интерес к проблеме распространения волн в газожидкостных системах (гидродинамические процессы современной технологии и энергетики, ультразвуковые технологии); реальная жидкость рассматривается двухфазной средой с начальными параметрами газосодержания, соответствующими экспериментальным данным. Используются различные приближенные модели, описывающие движение газожидкостной смеси, в том числе уравнение Клейна - Гордона. На основе этих моделей проводится изучение акустических свойств жидкостей с пузырьками газа, а также исследование волн конечной амплитуды в смесях с достаточно крупными пузырьками газа. Уравнение Клейна - Гордона используется и при описании взрывных неустойчивостей поверхности жидкого металла во внешнем электрическом поле, заряженной поверхности диэлектрической жидкости, тангенциального разрыва по механизму Кельвина - Гельмгольца и др.

Известен ряд математических моделей, описывающих нелинейные сейсмические эффекты в геофизических средах (канонические нелинейные уравнения Бусинеска, Бургерса, Кортевега-де Фриза, Шредингера), в том числе уравнение синус-Гордона и его модификации. В качестве существенных нелинейностей рассматриваются диссипация и дисперсия - основные характеристики геофизической среды и волновых процессов, протекающих в ее пределах.

Обширна библиография по исследованию задач о возмущении уединенных волн. Под уединенной волной понимается решение вида ф(х,1) = g(х — V1),

отличное от константы, если g (^) стремится к константам при и

g/(^) стремится к нулю при ^^±о. При этом g/(^) меняет знак не более

(2)

z'Xcx (x,t) - z"tt (x,t) + a • z't (x,t) = sin(z(x,t)) + sin(z(x,t)). (3)

ности (решение вида ф(х,1 ) = g(х — VI), отличное от константы; g(^) стремится к константам при ^ ^ +о и при ^ ^ —о; g'(^) стремится к нулю при

одного раза при изменении ^ от —да до +да. Наиболее полные результаты получены для диссипативных нелинейных уравнений и для возмущений уравнений, интегрируемых методом обратной задачи рассеяния; для неинтегрируемых методом обратной задачи рассеяния волновых уравнений построены сингулярные асимптотические решения нелинейных уравнений Клейна - Гордона.

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

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

Используемая здесь классификация решений приводится на рис. 1.

Рис. 1. Классификация решений

Займемся доказательством существования решения уравнения

Фа(х1 ) = а2 -Фхх(х1) + ь(х1 )фг(х1) + /((х1)) (4)

где а = соп81, а Ф 0, |Ь (х, 1)|< В, |Ьх (х, 1)|< В1, |Ьг (х, 1)|< В2, с = соп81 при условиях

ф(x, 1)=0 = ^0 (х), Фг (x, 1 )1г=0 = ¥1 (х), —о < х < +°°. (5)

Предполагается, что функция / задана и дифференцируема на всей числовой оси, и ее производная ограничена:

/'(ф)|<М; (6)

/г) либо ограничена на всей оси, либо растет на бесконечности не быстрее линейной.

Введем новые переменные: и =а1 - х + и0, V = а1 + х, где и0 - некоторая

( V — (и — и0) V + (и — и0 )

постоянная

; примем z (u, v ) = ф

2 2а

\ У

Задача Коши (4), (5) примет вид

гт (и, V ) = £1 (и, V )и (и, V ) + £2 (и, V )^ (и, V ) + Р (г (и, V )),

г(u,v) 1и+v=и0 = г0 (и ),( (u, v) + ги (u, v)) 1и+v=u0 = г1 (и).

(7)

(8)

Проинтегрировав (7) по треугольнику Д' с вершинами в точках (и;и — и0), (и;V), (0 — V;V), получим

и

12ш ( п) & П = г (и, v) — г0 (и0 —у)— | ги ( и0 — ^))^.

Д'

u0-v

С другой стороны,

I гт ( п) ^п = г (и, V) — ^ (и)— | ^ (и0 — п, п) Д' и0 —и

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

21 ( П)^П = 2г (и v ) — г0 (и0 — v ) — г0 (и ) —

Д'

u

v

— j zu ( uo-^)d^ — J zv (uo — П n)dn.

u0-v

uo u

Введя Ц = uo — n, получим

(9)

-(u, v ) = -

z0 (u0 — v) + z0 (u)+ J z1 (^)dS

u0 —v

+

+||(1 (Фи (п) + £2^ (п) + Р(г(л)))^)п . (10)

Д'

Используя (10), построим последовательные приближения:

( и ^

1

Z(n+1)(u, v ) = 7

z0 (0— v) + z0 (u)+ J z1 (^)dS

u0 —v

+

+tff£i (n)(z(n)) (П) + £2 (n)) (n) + F()(n))Wn (ii)

Д'

Справедливы утверждения:

1. Приближения (11) сходятся к решению интегральной задачи (10), если высота к треугольника удовлетворяет оценке

к < (^4(В + а(( + Ь2 )) + 2М — 2(В + а(Ь1 + Ь2 ))).

2. Приближения (11) сходятся к решению задачи Коши (7), (8). Вернемся к исходной задаче. Она имеет решение ф(х, 1 ) =

= г( — х + и0,а1 + х) в полосе

0 < к < Н = М_^4(В + а(( + Ь2 ))2 + 2М — 2(В + а(( + Ь2))).

Это эквивалентно утверждению: существует Н такое, что для любого

0 < к < Н задача Коши (4), (5) имеет решение в полосе

0 < t < h < H =-

i

•^(B + a(b| + b2 j) +M /2 + (B + a(( + b2 )

Рассмотрим уравнение (4); примем a = const, a Ф 0, |b (x, t )< B,

|bx (x, t) < Bi, |bt (x, t) < B2, c = const, f задана и дифференцируема на всей числовой оси, ее производная ограничена | f '(ф)| < M .

Снова поставим для (4) задачу Коши (З). Рассмотрим также уравнение

фп (xt ) = a2 ■фхх (x, t) + f ((xt)). (i2)

Поставим для него ту же задачу Коши (З). Введем обозначения:

m = max

4a

b (x,y)

ni =max

-r (by (x,y)—abx (x,y )

n2 =max

-^2 (by (() + abx (x,y)

, M = max “Г f'

4a2

где ф* (х, 1) - решение задачи Коши (4), (5); ф(х, 1) - решение задачи Коши (12), (5).

Теорема. Если ф Ф 0, то при приведенных выше условиях для любых х, 1 из полосы 0 < 1 < к < Н справедливо

max

A

ф—ф

2тт2

<

max|

A

SmaH + 2( + n2 )a H i — 2Ma2 H 2

(13)

где A - треугольник с вершинами в точках (x — at;0), (x;t), (x + at;0).

*

Таким образом, сделав обратную замену переменных, легко получим заявленную оценку.

Выводы

1. Доказано существование решения задачи Коши в полосе возмущенного уравнения Клейна - Гордона.

2. Получена оценка относительной погрешности решения задачи Коши в полосе при замене возмущенного уравнения Клейна - Гордона невозмущенным. А именно:

- чем ближе точка (u,v) к прямой, на которой заданы начальные условия, т.е. чем меньше h, тем ближе решения;

- чем меньше величины max|е1 , max|e^ , max|e!u|, max|e2v|, тем ближе решения.

3. Результаты исследований позволяют находить границы, при которых допустима замена малых по модулю постоянных еj нулем.

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

1. Данилова, Е. А. Некоторые вопросы, связанные с модификациями уравнения синус-Гордона : дис. ... канд. физ.-мат. наук / Данилова Е. А. - М., 2012. - 71 с.

2. Yakushevich, L. V. Nonlinear physics of DNA / L. V. Yakushevich. - Wiley, Chichester, New York, Brisbane, Toronto, Signature, 1998.

References

1. Danilova E. A. Nekotorye voprosy, svyazannye s modifikatsiyami uravneniya sinus-Gordona: dis. kand. fiz.-mat. nauk [Some questions relating to modifications of sine-Gordon equations: dissertation to apply for the degree of the candidate of physical and mathematical sciences]. Moscow, 2012, 71 p.

2. Yakushevich L. V. Nonlinear physics of DNA. Wiley, Chichester, New York, Brisbane, Toronto, Signature, 1998.

Будылина Евгения Александровна

кандидат физико-математических наук, старший преподаватель, кафедра информационных систем и дистанционных технологий, Московский государственный машиностроительный университет (МАМИ) (Россия, г. Москва, ул. Большая Семеновская, З8)

E-mail: [email protected]

Budylina Evgeniya Aleksandrovna Candidate of physical and mathematical sciences, senior lecturer, sub-department of information systems and distance technology, Moscow State University of mechanical engineering (MAMI)

(38 Bol'shaya Semenovskaya street, Moscow, Russia)

УДК 517.95 Будылина, Е. А.

Исследование существования и анализ решения задачи Коши для возмущенного уравнения Клейна - Гордона / Е. А. Будылина // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2013. - № 3 (27). - С. 25-30.