CC BY
658
УДК 517.926+517.982.45
МЕТОД ИНТЕГРАЛА ДЮАМЕЛЯ ДЛЯ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ С ПОСТОЯННЫМИ КОЭФФИЦИЕНТАМИ С ТОЧКИ ЗРЕНИЯ ТЕОРИИ ОБОБЩЁННЫХ ФУНКЦИЙ
И. Л. Коган
Российский государственный аграрный университет — МСХА им. К. А. Тимирязева,
127550, Москва, Тимирязевская ул., 49.
E-mail: ik_@list.ru
Приводится новое доказательство метода интеграла Дюамеля, основанное на свёрточной алгебре обобщённых функций и позволяющее распространить этот метод на область отрицательных значений аргумента. Выведены универсальные формулы для решения уравнений с разрывной правой частью.
Ключевые слова: интеграл Дюамеля, пространство обобщённых функций, свёртка обобщённых функций, алгебра свёртки.
1. Постановка задачи. Напомним суть метода, например [1, гл. VI]. Требуется найти решение линейного дифференциального уравнения с постоянными коэффициентами при нулевых начальных условиях
Ь(Б)у = / (х), (1)
где
П
Ь(Б) = Пп + а^п-1 + Й2^га-2 + ... + ап = ^ ап-гОг (ас = 1) (2)
г=0
— линейный дифференциальный оператор с постоянными коэффициентами, по известному решению у1(х) этого уравнения для специальной правой части /(х) = 1, отвечающему также нулевым начальным условиям. Тогда искомое решение определяется сразу с помощью свёртки (интеграла Дюамеля)
Г X
у(х) = /(т)у!(х - т)йт (3)
с
или
рх
у(х) = У1(х)/(0)+ У1(т)//(х - т)(1т. (4)
с
С помощью интегрирования по частям из (3) следует (4) и наоборот. Воспользовавшись коммутативностью свёртки, можно получить ещё две экви-
валентные формулы. Приведённое решение обычно выводится с помощью операционного исчисления, основанного на преобразовании Лапласа. Следовательно, исходя из требований, налагаемых на оригинал, у(х) = 0 при х < 0. В то же время решение, полученное для положительных значений х, возможно распространить и на всю ось Ох.
Иосиф Леонидович Коган (к.т.н.), старший преподаватель, каф. высшей математики.
Целью настоящей работы является обоснование метода интеграла Дюа-меля непосредственно с помощью алгебры свёртки, в том числе, отдельно рассмотрев случай х ^ 0. Кроме того, удобно воспользоваться тем, что кусочно-гладкая функция, имеющая разрывы первого рода, с точки зрения теории обобщённых функций легко дифференцируется: в точках разрыва производная выражается через смещённую дельта-функцию Дирака. Последняя функция в свёрточной алгебре представляет оператор сдвига. Это позволяет получить универсальные формулы для решения уравнений с разрывной правой частью.
2. Новое доказательство формул (3) и (4). Пусть известно решение у1(х) дифференциального уравнения
ЦО)у1(х) = ^ (5)
где оператор Ь(П) определён формулой (2), с нулевыми начальными условиями
у1 (0) = у 1(0) = ••• = у(п-1)(0) = 0. (6)
Продифференцируем (5):
н
= £(-0)2/10*0 = °-
Отсюда следует, что у1(х) является решением однородного уравнения, причём, как видно из (6), отвечающим п — 1 нулевым начальным условиям. Недостающее начальное условие для (у1)(п—1) (0) = у(п)(0) будет определено ниже.
Рассмотрим уравнение (5) в подпространстве обобщённых функций (с носителями на луче х € [0, то)), образующих одноименную свёрточную алгебру [2, с. 141], [3, с. 87]:
Ь(0)п1(х) = #(х), (7)
где
«1(х) = <&(х)у1 (х) (8)
и $(х) —единичная функция Хевисайда.
Уравнение (7) в алгебре с единичным элементом 5(х) (дельта-функцией Дирака) имеет вид
Ь(5') * и1(х) = $(х),
где Ь(5Г) — свёрточный оператор, соответствующий Ь(П).
Дифференцируем (8) по правилу дифференцирования обобщённых функций с учётом начальных условий (6):
и(1к)(х)=^(х)у(к)(х) (0 ^ к ^ п), и(1п+1)(х)=$(х)у(п+1)(х)+£(х)у(п)(0). (9)
Производные от у1(х) понимаются в обычном смысле. Теперь, используя (9), дифференцируем уравнение (7):
L(D)u'1(x) = L(D)( tf(x)yl(x)) + £(ж)у(”° (0) =
= ^(x)L(D)yi + £(ж)у(”° (0) = 5(ж). (10)
Отсюда следует, что u1 = $(ж)у ' — фундаментальное решение. Так как y'(ж), в свою очередь, является решением однородного уравнения, то для соблюдения равенства в (10) должно выполняться начальное условие y(n)(0) = 1. С учётом (6) функция у'(ж) должна удовлетворять начальным условиям:
У 1(0) = У 140) = ... = y(n-1)(0)=0, y(n)(0) = 1. (11)
Таким образом, y '(ж) является решением однородного уравнения, отвечающим начальным условиям (11), и по теореме Лорана Шварца [2, с. 144] $(ж)у '(ж) представляет фундаментальное решение, а именно элементарное решение для оператора L(D) или свёрточного оператора L(£'). Следовательно,
(L(«0)- 1 = ОДЛх). (12)
Неоднородное уравнение для оператора L(D) с произвольной правой частью в алгебре D+ имеет вид
L(5') * у(ж) = #(ж)/(ж), (13)
а его решение исходя из элементарного решения (12) для обычной локально интегрируемой функции f (ж):
ГХ
у(ж) = (L(5'))- 1 * tf(x)f (ж) = ^(x)yi(x) * tf(x)f(ж) = f (т)у'(ж - т)dr.
J0
Таким образом, получена формула (3).
Найдём формулу (4) с помощью теории обобщённых функций (как отмечалось в п. 1, формулы (3) и (4) эквивалентны). Заметим, что элементарное
решение (12), учитывая (9), можно представить как
(LOT)- 1 = (tfMyi (ж))'. (14)
Теперь воспользуемся полученным представлением (14) и правилом дифференцирования свёртки функций:
у(ж) = ($(ж)у!(ж))' * $(ж)f (ж) = ^(ж)у1(ж) * ($(ж)f (ж))', (15)
откуда получим формулу (4):
Г Х
У (ж) = 0(ж)у1(ж) * (0(ж)/'(ж) + f (0)5(ж)) = Уl(ж)f (0) + / У1 (т )f' (ж - т )dT,
J0
так как у1(ж) = ^(ж)у1(ж), если ж ^ 0. При выводе формулы (4) получено полезное соотношение (15), выражающее решение в виде общего представления свёртки с производной от правой части уравнения (13).
Решение неоднородного уравнения по формуле (3) или эквивалентным формулам (4), (15) имеет нулевые начальные условия (теорема Лорана Шварца). Впрочем, доказательство немедленно следует из (15). Дифференцируя эту формулу по правилу дифференцирования свёртки функций, имеем
У(к)(ж) = (^(ж)у1(ж))(к) * ($(ж)/(ж))
Из последней формулы, формул (6) и (9) вытекает это утверждение.
Теперь рассмотрим уравнение (5) в подпространстве (с носителями на луче ж € (-то, 0]), также образующих одноименную свёрточную алгебру [2, с. 146]:
Ь(^)^1(ж) = $(—ж), где ^1(ж) = $(-ж)у1(ж),
или в алгебре :
£(£') * ^1(ж) = $(-ж).
Проводя аналогичные выкладки, как и в случае , найдём элементарное решение для оператора Ь(^) или свёрточного оператора £(£'):
(£(а'))-1 = -^1(ж) = —^(—ж)у1(ж), (16)
где для у1(ж) выполняются начальные условия (11), т. е. У(п)(0) = 1. Неоднородное уравнение для оператора Ь(^) с произвольной правой частью в алгебре имеет вид
£(£') * у(ж) = 0(-ж)/(ж), (17)
а его решение исходя из выражения (16) для обычной локально интегрируемой функции /(ж) будет определяться формулой (3):
у(ж) = — $(-ж)у/1(ж) * $(—ж)/(ж) =
г0 гх
= - / (т Шж - т = / (т Шж - т ^т-
х0
Элементарное решение (16) можно выразить как
(£(£'))- 1 = -(^(-ж)ш(ж))(18)
Учитывая (18), определим решение у(ж) для подпространства в виде, аналогичном (15):
у(ж) = -(^(-ж)у1(ж))' * $( ж)/(ж) = ^(-ж)у1(ж) * (-$(-ж)/(ж))', (19)
откуда снова придём к формуле (4):
У (ж) = 0(-ж)у1(ж) * (/(0)5(ж) - 0(-ж)/' (ж)) =
х
= У1(ж)/(0)+ / У1(т)/'(ж - т)^т.
0
Таким образом, формула (3) (или (4)) даёт решение линейного дифференциального уравнения с постоянными коэффициентами на всей числовой оси, удовлетворяющее нулевым начальным условиям.
3. Вопросы применения метода интеграла Дюамеля. Решение У1(ж) вспомогательного уравнения (5) можно выразить через фундаментальное решение ^(ж)и(ж) для оператора Ь(^):
Г X
у1(ж) = $(ж)и(ж) * $(ж) = и(т)^т, (20)
0
где и(ж) —решение однородного уравнения £(^)и = 0 с начальными условиями типа (11): и(к)(0) = 0 при 0 ^ к ^ п - 2 и и(п-1)(0) = 1.
Формулы (15) и (19), найденные для соответствующих подпространств, целесообразно применять при решении уравнения (1) с правой частью, имеющей разрывы первого рода, даже если для этого нужно предварительно определить у1(ж). Преобразуем для этой цели указанные формулы.
Предложение 1. Решение уравнения (1) при ж ^ 0 и нулевых начальных условиях, когда правая часть (13) $(ж)/(ж) является кусочно-гладкой функцией с разрывами первого рода в точках жг, определяется по формуле
х
у(ж) = У1 (т)/С (ж - т)^т + М(ж - ж*)у1(ж - жг) (21)
]0 г
или в развёрнутом виде
Г Хп Г X
У(ж) = У1(т)/Сг(ж - т)йт + / У1(т)/Сг(ж - т)йт+
«/0 ” Хп
п
+ М(ж - жг)у1 (ж - жг),
г=0
где Нг = /(жг + 0) - /(жг - 0) — скачки в точках разрыва; /Сг (ж) — производная от /(ж) в классическом (обычном) смысле; ж0 = 0, Л,0 = /(0); жп ^ ж < жп+1, п € N и {0}.
Действительно, дифференцируя $(ж)/(ж) по правилу дифференцирования обобщённых функций, имеем
(0(ж)/(ж))' = #(ж)/Сг(ж) + /(0)5(ж) + ^ М(ж - жг) =
г (г€Н)
= $(ж)/Сг(ж) + ^ М(ж - жг). (22)
г(г=0)
Теперь, внося (22) в формулу (15) и используя свойство свёртки
У (ж) * 5(ж - жг) = У (ж - жг), приходим к формуле (21).
Предложение 2. Решение уравнения (1) при х ^ 0 и нулевых начальных условиях, если правая часть (17) $(—х)/(х) является кусочно-гладкой функцией с разрывами первого рода в точках х*, определяется по формуле
р X
У(х) = / Уі(т)/Сі(х - т)^т + £ Л-$(х* - х)уі(х - х*) (23)
Л *
или
рхп гх
у(х) = уі(т)/Сі(х - т)йт + / Уі(т)/Сі(х - т)йт+
</ 0 </ Хп
п
+ Л-$(х* - х)уі(х - х*),
*=0
где Л— = /(х* - 0) - /(х* + 0) — скачки в точках разрыва; х0 = 0, Л,0 = /(0); хп ^ х > хп+і, п Є N и {0} .
Для обоснования (23) дадим вывод для выражения производной от $(-х)/(х) в подпространстве несколько подробнее. Следуя аналогично [4, с. 32], введём непрерывную функцию /сі(х), имеющую во всех точках гладкости /(х) при х ^ 0 производную, совпадающую по значению с /'(х):
$(-х)/сг(х) = $( х)/(х) - ^ Л-$(х* - х).
* (*ЄН)
Дифференцируя это равенство и учитывая чётность дельта-функции, получаем
(^(-х)/(х)У = ^(-х)/Сг(х) - /(0Жх) - ^ Л-^(х* - х) =
* (*ЄН)
= ^(-х)/Сг(х) - ^ V^(х* - х)- (24) *(*=0)
Теперь, внося (24) в формулу (19) и используя у(х) * 5(х* - х) = у(х) * * £(х - х*) = у(х - х*), приходим к формуле (23).
Далее приводим очевидное решение уравнения (1) с правой частью
/(х) = ^ Л*^(х - х*), (25)
*
где Л* — постоянная и х0 = 0 (і = 0), найденное исходя из решения вспомогательного уравнения уі(х).
Предложение 3. Решение уравнения (1) при х ^ 0 и нулевых начальных условиях, если правая часть (13) представляет соотношение (25), находится по формуле
п
У(х) = ^ М(х - х*)у!(х - х*), (26)
*=0
где хп ^ х < хп+1 и п € N и {0}.
Это выражение получено непосредственно из элементарного решения для оператора в форме (12). Очевидно, что использование формулы (26)
может быть целесообразным только в случае заданного выражения У1(х). В противном случае нужно найти элементарное решение исходя из решения однородного уравнения, как указано в начале этого пункта.
Пусть требуется определить решение исходного уравнения (1) при ненулевых начальных условиях в точке х = 0. В этом случае к найденному решению с помощью метода интеграла Дюамеля, обладающему нулевыми начальными условиями, нужно прибавить решение однородного уравнения, отвечающего заданным начальным условиям.
Найдём решение (1) с начальными условиями
у(0) = Ьо, У (0) = Ьь ..., у(п-1)(0) = Ьп-1 (27)
по известному решению У1(х) вспомогательного уравнения (5) с помощью теории обобщённых функций. Решение ищем в подпространстве ^+. Применяя оператор Ь(^), заданный формулой (2), к $(х)у(х) и используя начальные условия (27) при вычислении производных от у(х), приходим к уравнению [2, с. 144-145]
П-1
£(.0)($(х)у(х)) = $(х)/(х) + ^ вк 6(к) (х), (28)
к=0
где вк = Ьп-1—к + а1Ьп-2—к + • • • + ап-к-1Ь0.
В алгебре уравнение (28) имеет вид
П-1
£(£') * #(х)у(х) = #(х)/(х) + ^ вк£(к)(х),
к=0
откуда, используя представление для элементарного решения (12),
п-1
у(х) = 0(х)у1(х) * 0(х)/(х) + ^ вкУ(к+1)(х). (29)
к=0
Полученное решение (29) (по построению) удовлетворяет начальным условиям (27), свёртка в правой части (29) является одной из форм интеграла Дюамеля (15), т. е. представляет решение неоднородного уравнения (1) с нулевыми начальными условиями. Следовательно, слагаемое в виде суммы в этом выражении является решением однородного уравнения с заданными начальными условиями. С другой стороны, как показано в п. 2, у^(х) является решением однородного уравнения, это же относится и к производным
более высокого порядка от У1(х) и линейным комбинациям этих производ-
ных. Таким образом, мы пришли к следующему предложению.
Предложение 4. Решение однородного уравнения £(^)у0(х) = 0, удовлетворяющее начальным условиям (27), определяется из решения у1(х) вспо-
могательного уравнения (5) с нулевыми начальными условиями (6) по формуле
П—1
Уо(х) = ^ efcy(fc+1)(x), k=0
где находятся согласно (28). Это решение, естественно, справедливо для любых значений х.
Примеры. Найти решение задачи Коши y/;+w2y = f (х), если выполняются следующие условия:
1) У(0) = У(0) =0 и
а) f(х) = 0(х — а) — 0(х — 2а); б) f(х) = $(х + а) — $(х — а);
в) /(х) = $(x)f — S $(х — *а) (а > 0);
i=1
2) y(0) = Ьо, У(0) = bi и f (х) — произвольная функция.
Решение. Частное решение исходного уравнения c f(х)=1 при нулевых начальных условиях легко найти из (20):
У\ = ^(1 -соъшх).
1 а) Решение определяется по формуле (21). Здесь h0 = f (0) = fcl(х) = 0 hi = 1 при х1 = а и h2 = —1 при х2 = 2а, поэтому
у{х) = i?(ж — а)^з (1 — совш(ж — а)) — $(ж — 2а)^ (1 — совш(ж — 2а))
или
{0, х < а,
~2" [ 1 cos uj(x а)], а ^ ж < 2а,
~2"[cos uj(x 2а) cos uj(x а)], ж ^ 2а.
1 б) Будем искать решения для подпространств D+ и D1 _ отдельно. В случае D+ воспользуемся (21), и учитывая, что ho = f(0) = 1, hi = —1 при х1 = а, fCz (х) = 0, получим
у{ж) = $(ж)^(1 — cos lux') — i?(ж — а)^2 (l — совш(ж — а))
или
У(х) =
^2 (1 — cos их), 0 ^ ж < а,
-^2 [cos со(х — а) — cos их], ж ^ а.
В случае D— по (23), учитывая, что h0 = f(0) = 1, h— = —1 при х1 = —а, fCz (х) = 0, получим
у(ж) = $(—ж)(1 — cos шж) — $(—а — ж)^з (1 — cos сс>(ж + а))
или
Г ^(l-cos^), —а < ж ^ 0,
I ^2 [cos ш(ж + а) — совшж], ж < -а.
Полученные решения для подпространств D+ и D’_ можно свести в единую формулу
0J2 .. . . _
|х| ^ а.
Г ^(l-coswx), |ж| < а,
I ^2 [cos ш(|ж| — а) — cos их],
1 в) Решение определяется по формуле (21). Здесь h0=/ (0)= 0, /Сг(х) = a 1 при x € [0, то), hi = —1 , Xj = ia, i € N, поэтому
2/(ж) = -о
/•Ж ^
/ (1 — cos wt)dr + $(x — ia) (cos w(x — ia) — 1)
Уо i=i
Раскрывая это выражение, окончательно получим
y(x)=
— ш smwxJ
(ж — ^ sin их) — п + cos w(x — *a) i=1
x < a, n = 0, na ^ x < (n + 1)a, n € N.
2) Решение определяется по формуле (29), в которой для свёртки используется формула (15). Из формулы для ek в (28) при n = 2 получаем e0 = b1 (a1 = 0) и e1 = bo, поэтому
у(х) = -^т(1 — cosoux) * (§(x)f(x))' + Ъ\S11^,a: + bocosoux.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Лаврентьев М. А., Шабат Б. В. Методы теории функций комплексного переменного. — М.: Наука, 1987. — 688 с.
2. Шварц Л. Математические методы для физических наук. — М.: Мир, 1965. — 412 с.
3. Владимиров В. С. Обобщённые функции в математической физике. — М.: Наука, 1979. — 320 с.
4. Гельфанд И. М., Шилов Г. Е. Обобщённые функции и действия над ними. Вып. 1. — М.: Добросвет, 2000. — 412 с.
Поступила в редакцию 20/VII/2009; в окончательном варианте — 12/II/2010.
1
a
1
2
1
2
MSC: 34L40, 47E05
METHOD OF DUHAMEL INTEGRAL FOR ORDINARY DIFFERENTIAL EQUATIONS WITH CONSTANT COEFFICIENTS IN RESPECT TO THE THEORY OF DISTRIBUTIONS
I. L. Kogan
Russian State Agrarian University — Moscow Agricultural Academy after K. A. Timiryazev,
49, Timiryazevskaya str., Moskow, 127550.
E-mail: ik_@list.ru
A new proof for the method of Duhamel integral is presented. This proof is based on the convolution algebra of distributions and allows to extend this method for the region x < 0. Universal formulas for solving equations with discontinuous right-hand side are obtained.
Key words: Duhamel integral, space of distributions, convolution of distributions, convolution of distributions, convolution algebra.
Original article submitted 20/VII/2009; revision submitted 12/II/2010.
Iosif L. Kogan (Ph.D. (Techn.)), Lecturer, Dept. of Higher Mathematics.
