+¥
Если т < 1, то Ь = | а (x)v(x)dx < 0. Лемма доказана.
о
Лемма 2к. Если и(x, у) е C^ ~) п C(D~) - решение уравнения (1) в области D~ , обращающееся в нуль на характеристиках у = кт — x и у = Ь + кт — x, то
Ъ+кт (к+1)т
Ркк = |а(x)v(x)dx > 0, Ркк+1 = |а(x)v(x)dx > 0 .
кт Ъ+кт
Доказательство леммы проводится аналогично [2, с. 14-15].
Прейдем к доказательству теоремы единственности. Предположим противное: задача Т имеет в области D два решения и1(x, у) и и2^,у). Тогда и = и1 — и2 также будет решением задачи для уравнения (1) с однородными условиями (2)-(5).
На основании лемм 1-2к приходим к тому, что Р = 0. В силу (7) и(x, у) ° 0 для
"(x, у) е D +, т.е. и(x,0) ° 0 , Vx е [0,+да). С помощью решения задачи Коши в области D установим, что и(x, у) ° 0,"(x, у) е D ~ . Значит и(x, у) ° 0, V(x, у) е D . Теорема доказана.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Зарубин А.Н. Решение задачи Трикоми для дифференциально-разностного уравнения Лаврентьева-Бицадзе в неограниченной области. // Дифференциальные уравнения и их приложения. Междунар. научн. конф. Сб. тр. Самара. 2002. С. 129-135.
2. Зарубин А.Н. Уравнения смешанного типа с запаздывающим аргументом. Орел: Изд-во ОГУ, 1999, 225 с.
3. ИльинВ.А., ПозднякЭ.Г. Основы математического анализа. Ч.1. М.: Наука, 1982. 616 с.
4. Зарубин А.Н. Интегральное представление решения задачи Коши для гиперболического уравнения с запаздывающим аргументом в производной // Матеем. моделирование и краевые задачи. Труды двенадцатой межвуз. конф. Часть 3. Самара: СамГТУ, 2002. С. 44-47.
Поступила 19.03.2004 г.
УДК 517.95 С.А. Бейлин
ОБ ОДНОМ СВОЙСТВЕ КОРНЕЙ ФУНКЦИИ БЕССЕЛЯ Jv (x)
При изучении одной нелокальной задачи для гиперболического уравнения с сингулярным коэффициентом возникла необходимость исследовать ряды, содержащие функции Бесселя и их корни. В настоящей заметке приведен один из полученных результатов.
Р — 1
Покажем, что если v = —^—, где p > 0, то справедливо равенство:
¥ 2 1
zA=-+г • (1)
1=1 ml р +1
где m-к - положительные корни уравнения Jp—1 (x) = 0.
2
Для доказательства этого утверждения рассмотрим задачу об отыскании ограниченного решения уравнения
utt = uxx + Pux, x e [0,1], t > 0, (2)
x
удовлетворяющего условиям
u(x,0) = u0 ° const, ut (x,0) = 0, (3)
u(1, t) = 0. (4)
Применяя метод разделения переменных и учитывая при этом, что решение уравнения
X" + РХ' + Я2 X = 0
имеет вид [1]
1-p (
X (x) = x 2 Cj Jp-1 (1x) + C2 J1-p (1x) ,
V 2 2 0
нетрудно найти решение задачи (2)-(4). Оно имеет вид:
2
/
2
Проинтегрируем (5) по x от 0 до 1. В силу формулы 6.561.5 [2], получим:
Г / w ^ 2cos mkt
I u(x,t)dx = u0 У -------2----.
■A 2cos mkt
k=1 H-k
О
Положив в последнем равенстве t = 0, приходим к (1).
БИБЛИОГРАФИЧЕСКИИ СПИСОК
1. Ватсон Н. Теория Бесселевых функций. М., ИЛ, 1949.
2. Градштейн С., РыжикИ.М. Таблицы интегралов, сумм, рядов и произведений. М.: Наука. 1963.
Поступила 14.05.2004 г.
УДК 517.926.4:517.983
О.А. Мудракова
УСТОЙЧИВОСТЬ НЕКОТОРЫХ ИНТЕГРАЛЬНЫХ МОДЕЛЕЙ
С ВЕСОВОЙ ФУНКЦИЕЙ ЭКСПОНЕНЦИАЛЬНОГО ТИПА
Установлен квазиканонический вид экспоненциальной характеристики интегрального уравнения
Вольтерра 2-го рода с ядром типа функции Коши в банаховом пространстве.
Как известно одна из основных задач теории устойчивости по Ляпунову состоит в выяснении условий, при которых системы дифференциальных уравнений (линейных или "близких" к линейным) с аргументом, изменяющимся на полуоси, имеют ограниченные решения при ограниченных правых частях.
Во многих задачах механики, теории автоматического регулирования, теории связи, изучаемые процессы, вообще говоря, не остаются ограниченными во времени. Отклонения от предвычисленных значений могут возрастать с течением времени, но скорость этого возрастания должна не превышать скорости самого процесса. Эти практические задачи приводят к исследованию экспоненциального роста решений эволюционных уравнений, моделирующих законы развития во времени изучаемых процессов.
М.А. Рутман [1] в 1956 году впервые ввел понятие, которое, следуя [2], позднее получило название экспоненциальной характеристики. В настоящей работе строится экспоненциальная характеристика интегрального уравнения Вольтерра 2-го рода с ядром экспоненциального типа.
Пусть на линейное устройство подается входной сигнал p(t), который разветвляется в точке входа:
t
(кЛ Xt) = |K(t, s)p1 (s)s,