Вычислительная математика - ИСЭМ СО РАН
Вычислительная математика - ИСЭМ СО РАН
Вычислительная математика - ИСЭМ СО РАН
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ВЫРОЖДЕНИЕМ В<br />
БАНАХОВЫХ ПРОСТ<strong>РАН</strong>СТВАХ И ИХ ПРИЛОЖЕНИЯ<br />
М.В.Фалалеев<br />
Иркутский государственный университет, Иркутск<br />
e-mail: mihail@ic.isu.ru<br />
Аннотация. В работе на примере двух начально-краевых задач прикладного характера<br />
проиллюстрировано применение теории фундаментальных оператор-функций вырожденных<br />
интегро-дифференциальных операторов в банаховых пространствах к исследованию неклассических<br />
уравнений математической физики.<br />
Ключевые слова: банахово пространство, фредгольмов оператор, распределение, фундаментальная<br />
оператор-функция.<br />
Постановка задачи<br />
Рассматривается задача Коши вида<br />
B ˙u = Au +<br />
∫ t<br />
0<br />
k(t − s)u(s)ds + f(t), (1)<br />
u(0) = u 0 , (2)<br />
для которой будем предполагать выполненным условие:<br />
(C) B, A, k(t) – замкнутые линейные операторы из E 1 в E 2 , E 1 , E 2 – банаховы<br />
пространства, D(A) ⋂ D(k) = D(B) = E 1 , D(k) – не зависит от t, D(B) ⊂ D(A) ⋂ D(k),<br />
R(B) = R(B), k(t) – сильно непрерывна на D(k), k(t) ∈ C ∞ (t 0), B – фредгольмов,<br />
f(t) – достаточно гладкая функция со значениями в E 2 .<br />
Фундаментальные оператор-функции вырожденных интегро-дифференциальных<br />
операторов.<br />
Известно, что задачи вида (1)–(2) разрешимы в классе непрерывных функций (т.е. имеют<br />
классические решения) лишь при определенных соотношениях между входными данными<br />
u 0 и f(t). При нарушении таких соотношений задача уже не имеет гладких решений,<br />
но разрешима (причем однозначно) в классе обобщенных функций с ограниченным слева<br />
носителем K +(E ′ 1 ). Единственность обобщенного решения из K +(E ′ 1 ), равно как и формулы<br />
для его восстановления были получены в [1] с помощью конструкции фундаментальной<br />
оператор-функции для интегро-дифференциального оператора (Bδ ′ (t) − Aδ(t) − k(t)θ(t)).<br />
Приведем соответсвующее утверждение из [1].<br />
Введем обозначения Γ – оператор Шмидта [2] для B,<br />
R 1 (t) – резольвента ядра g(t),<br />
g(t) =<br />
∫ t<br />
M(t) = R 1 (t) + AΓe AΓt +<br />
0<br />
k(t − s)Γe AΓs ds,<br />
172<br />
∫ t<br />
0<br />
AΓe AΓ(t−s) R 1 (s)ds,