27.10.2014 Views

Вычислительная математика - ИСЭМ СО РАН

Вычислительная математика - ИСЭМ СО РАН

Вычислительная математика - ИСЭМ СО РАН

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

K(t) = A +<br />

∫ t<br />

0<br />

k(s)ds.<br />

Теорема. Если операторы B, A, k(t) удовлетворяют условию (С), оператор B имеет<br />

полный обобщенный жорданов набор относительно оператор-функции K(t), то интегродифференциальный<br />

оператор (Bδ ′ (t)−Aδ(t)−k(t)θ(t)) имеет на классе обобщенных функций<br />

с ограниченным слева носителем фундаментальную оператор-функцию вида<br />

E(t) = Γe AΓt θ(t) ∗<br />

∗<br />

{<br />

где N 1 (t) – резольвента ядра<br />

(I − Q)δ(t) −<br />

(<br />

)<br />

Iδ(t) + R 1 (t)θ(t)<br />

i=1<br />

j=1<br />

(<br />

)<br />

∗ Iδ(t) + N 1 (t)θ(t) ∗<br />

}<br />

p n∑ ∑ i<br />

〈·, φ (j)<br />

i 〉z i δ (pi+1−j) (t) ,<br />

n∑<br />

(−Q i M (pi) (t))θ(t),<br />

i=1<br />

здесь {φ (j)<br />

i } полный обобщенный жорданов набор оператора B ∗ относительно<br />

K ∗ (t) = A ∗ +<br />

∫ t<br />

0<br />

k ∗ (s)ds,<br />

{z i } – биортогональная система элементов к {ψ i } ∈ N(B ∗ ), Q i = 〈·, φ i 〉z i , i = 1, n и<br />

Q = ∑ n<br />

i=1 Q i проекторы.<br />

С помощью приведенной теоремы можно исследовать на разрешимость в классе распределений<br />

задачу (1)–(2). Единственным решением этой задачи в классе K +(E ′ 1 ) является<br />

функция<br />

(<br />

)<br />

ũ(t) = E(t) ∗ Bu 0 δ(t) + f(t)θ(t) .<br />

Условия, при которых сингулярная составляющая решения ũ(t) обращается в нуль,<br />

а остающаяся при этом регулярная составляющая удовлетворяет начальному условию<br />

(2) и являются условиями разрешимости задачи (1)–(2) в классическом смысле,<br />

при этом обобщенное решение ũ(t) совпадает с классическим. Таком образом, знание<br />

фундаментальной оператор-функции E(t) для интегро-дифференциального оператора<br />

(Bδ ′ (t) − Aδ(t) − k(t)θ(t)) позволяет решать несколько задач: во-первых, выделить класс<br />

обобщенных функций в которых решение существует и единственно, во-вторых, выписать<br />

в замкнутом виде формулы для восстановления обобщенного решения и, в-третьих,<br />

исследовать связь между построенным обобщенным решением и классическим (если<br />

последнее существует). Проиллюстрируем все вышеизложенное на следующих примерах.<br />

Пример 1. (Задачи теории вискоэластики.)<br />

Рассмотрим начально-краевую задачу для интегро-дифференциального уравнения вида<br />

∫ t<br />

(γu t − ∆u t ) − ∆u − g(t − τ)∆udτ = f(t, ¯x), t > 0, ¯x ∈ Ω,<br />

0<br />

173

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!