Статьи Соросовского Образовательного журнала в текстовом формате
Сформулированы общие правила решения дифференциальных уравнений с постоянными коэффициентами для различных содержательных представлений о производной.
СКОРОСТЬ, ПРОИЗВОДНАЯ, ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕП. Б. ГУСЯТНИКОВ
Московский физико-технический институт,
Долгопрудный Московской обл.
Если спросить естествоиспытателей, какая из математических операций является одним из наиболее распространенных инструментов исследования, то большинство из них, почти не задумываясь, ответит, что это дифференцирование, или операция нахождения производной. В терминах производных формулируются основные законы природы. На основе этих законов составляются дифференциальные уравнения, описывающие эволюцию подлежащих изучению объектов. Решая полученные дифференциальные уравнения, исследователь имеет возможность достаточно полного описания многих аспектов изучаемых явлений, включая предсказание еще неоткрытых научных фактов. Дифференциальные уравнения, используемые в различных разделах науки и описывающие качественно непохожие друг на друга процессы, внешне одинаковы. Они различаются лишь порядком входящих в них производных и функциональными зависимостями, связывающими эти производные. Все это позволяет абстрагироваться от конкретного содержательного смысла переменных и, рассматривая дифференциальные уравнения как математические объекты, разрабатывать методы их решения.
Таким образом, цепочка, ведущая от содержательной научной задачи к ее математическому исследованию, представляется следующей: исходя из известных эмпирических фактов сформулировать основные законы природы и договориться о моделях явлений, основанных на этих законах; составить дифференциальные уравнения, описывающие исследуемые явления, и решить их. Чтобы начать двигаться вдоль этой цепочки, необходимо прежде всего определить, что понимать под производной.
Большинство исследователей принимают математическую абстракцию бесконечности и связанные с этой абстракцией такие понятия, как бесконечное множество, предел, непрерывность и т.д., и считают, что экспериментальные научные факты (а этих фактов все же конечное, хотя и большое число!) на деле отражают присущие природе аналитические зависимости, в которых независимые переменные могут пробегать такие бесконечные множества, как промежуток числовой прямой или вся числовая прямая R, множество комплексных чисел C, множество точек многомерного пространства и им подобные. Так выглядят закон всемирного тяготения, закон Кулона и многие другие законы природы. Для ученого, стоящего на таких позициях, функция f (t) независимого переменного t k R нередко выражает изменение во времени t некоторой физической величины f. В таком случае величина uср(t1 , t2) = = (f (t2) - f (t1))/(t2 - t1) имеет содержательный смысл. Она называется средней скоростью изменения величины f (t) на отрезке [t1 , t2]. Средняя скорость уже не отражает поведения функции f (t) внутри промежутка [t1 , t2]. Чтобы избежать этого недостатка, вводится понятие мгновенной скорости u(t) в момент времени t как предел средней скорости uср(t, t + Dt) при стремлении к нулю длины | Dt | отрезка [t, t + Dt], на котором эта средняя скорость вычислялась:
Если предел (1) существует, он называется производной функции f (t) в точке t, а сама функция называется дифференцируемой в точке t. Если мгновенная скорость определена при всех t и непрерывно зависит от t, то и зависимость f (t), и средняя скорость на любом отрезке [t1 , t2] могут быть восстановлены с помощью операции интегрирования:
Данными формулами средняя скорость восстанавливается однозначно, а сама зависимость f (t) - лишь с точностью до постоянной f (t1). Если найдена зависимость скорости u(t) от времени t, то можно также поставить задачу о нахождении ускорения a(t), то есть скорости изменения скорости, и решить ее по формуле
В последнем выражении приходится вычислять производную от производной (f '(t))' или, как говорят, вторую производную f "(t) функции f (t). Если ускорение определено (предел в (2) существует) и непрерывно зависит от t, то с помощью операции интегрирования скорость может быть восстановлена с точностью до постоянной. После этого (с точностью до уже двух постоянных !) восстанавливается и сама зависимость f (t). Для точного определения этой зависимости следует задать значения f (t1) и u(t1) = f '(t1) в некоторый определенный момент времени t1 . При необходимости можно вычислить третью производную f '''(t) как производную от второй производной (f "(t))', а также производные более высоких порядков.
Если операцию (оператор) дифференцирования (нахождения производной) обозначить через D, то есть положить по определению D(f ) = f ', то известные правила вычисления производной от суммы и произведения двух дифференцируемых функций f и g могут быть записаны в виде
D( f + g) = D( f ) + D(g), D( fg) = D( f )g + fD(g).
В частности, если функция g = с постоянна (принимает одно и то же значение c при всех значениях аргумента t), то
D(cf ) = cD( f ).
Операцию вычисления второй производной f " записывают как D(D( f )) или D2( f ), третью производную - как D3( f ) и т.д.
Наличие между функцией и ее производными указанного выше взаимно однозначного (с точностью до набора постоянных) соответствия позволяет описывать законы природы в виде уравнений, содержащих не только сами функции, но и их производные, то есть в виде дифференциальных уравнений. Так, с использованием производных различных порядков записываются второй закон Ньютона, законы сохранения энергии, импульса, момента импульса, уравнения Максвелла, уравнение Шр╦дингера и многие другие. Решая получившиеся уравнения, мы находим (опять с точностью до набора постоянных) интересующие нас зависимости. Сами же постоянные определить из уравнений невозможно. Для их нахождения следует задать значения искомых функций и (или) их производных некоторых порядков в некоторые моменты времени.
При всей распространенности и общепринятости приведенного выше подхода к исследованию природных зависимостей не меньшего внимания заслуживает и другой подход, который мы условно назовем эмпирическим, а ученого, последовательно придерживающегося этого подхода, - эмпириком. Для эмпирика законы природы - это сами экспериментальные факты, и только они. Поэтому связанные с абстракцией бесконечности зависимости вида f (t), t k R, и приведенные выше процедуры вычисления мгновенной скорости и ускорения, основанные на предельных переходах, для него достаточно бессмысленны. Эмпирик знает, что за всю свою жизнь он да и все человечество вместе с ним смогут провести лишь конечное число измерений. Поэтому если эмпирик и согласится использовать понятие бесконечности, то только лишь в виде бесконечной последовательности, понимая под последней последовательность с очень большим, но все же конечным числом элементов. Погрешности измерительных приборов принципиально не позволят ему рассматривать промежутки времени длины меньшей, чем некоторое число g > 0. Поэтому при таком подходе зависимость f (t), t k R, заменяется на последовательность f = { fk}, где fk = f (kg), k k Z = {0, ?1, ? 2, _}, а под скоростью u = f ' понимается последовательность u = {uk}, где
Оператор дифференцирования D переводит последовательность f = { fk} в последовательность D( f ) = = u = {uk}, определяемую формулой (5) и называемую производной f ' последовательности f. В соответствии с определением (5) каждая последовательность дифференцируема (имеет производную), а правила дифференцирования имеют вид
D( f + g) = D( f ) + D(g),
D( fg) = D( f )g + fD(g) + D( f )gD(g).
Первое из этих равенств проверяется тривиально, а второе доказывается следующим образом. Полагая D( f ) = {uk}, D(g) = {wk}, имеем
fk + 1 = fk + guk , gk + 1 = gk + gwk , k k Z,
= {ukgk + fkwk + ukgwk} = D( f )g + fD(g) + D( f )gD(g).
Если в доказанном равенстве последовательность g = c постоянна, то есть gk = с для всех k k Z, то выполняется соотношение (4).
Если известна производная u = f ', то сама последовательность f восстанавливается с точностью до постоянной f0 по формулам fk = f0 - (u- 1 + u- 2 + _ + uk) при k < 0 и fk = f0 + (u0 + u1 + _ + uk - 1} при k > 0.
По найденной скорости u (см. (5)) можно найти ускорение a как производную от скорости:
a = {ak} = D(u) = D(D( f )) = D2( f ),
где
Сравнивая формулы дифференцирования (3) и (6), мы видим, что формулы (3) являются частным случаем формул (6) при g = 0.
Это означает, что, развивая универсальный математический аппарат дифференцирования, пригодный для каждой из двух приведенных выше познавательных позиций естествоиспытателей, математик обязан считать дифференцирование некоторой операцией, действующей на некоторые дифференцируемые объекты по правилам (6), не запрещая величине g принимать те или иные значения. Более того, именно исходя из тех же соображений универсальности, предпочтительнее разрабатывать указанный аппарат как чисто алгебраический, взяв за определение дифференцирования именно его свойства типа свойств (6). Подобный формальный подход мы и будем развивать ниже.
Рассмотрим множество K элементов x, y, z, _, в котором заданы две бинарные операции "+" (операция сложения) и "J" (операция умножения). Это означает, что каждой упорядоченной паре x и y элементов множества K поставлены в соответствие два элемента множества K: x + y (сумма элементов x и y) и x J y (произведение элементов x и y, обычно обозначаемое xy). Множество К с операциями сложения и умножения называется кольцом, если выполнены следующие требования:
"x, y k K x + y = y + x
(коммутативность сложения),
"x, y, z k K x + (y + z) = (x + y) + z
(ассоциативность сложения),
существует нулевой элемент q = qК кольца К такой, что x + q = x для любого элемента x из K,
для каждого элемента x k K существует противоположный элемент (- x), такой, что x + (- x) = q,
"x, y, z k K x(y + z) = xy + xz, (x + y)z = xz + yz
(закон дистрибутивности).
Кольцо K называется ассоциативным, если
"x, y, z k K x(yz) = (xy)z
(ассоциативность умножения);
коммутативным, если
"x, y k K xy = yx
(коммутативность умножения).
Кольцо К называют кольцом с единицей, если существует единичный элемент 1 = 1К кольца К, такой, что 1 J x = x J 1 = x для любого элемента x из K.
Разностью x - y элементов кольца называется элемент x + (- y).
Если К - кольцо с единицей, то обратным к элементу x k K называют такой элемент x-1 k K, что x J x-1 = x-1 J x = 1. Сам элемент x в таком случае называют обратимым. Если элементы x и y обратимы, то обратим и элемент xy, причем (xy)-1 = y -1 J x-1.
Полем называют ассоциативное коммутативное кольцо с единицей, в котором каждый ненулевой элемент обратим.
В кольце K элементы x и y называются перестановочными, если xy = yx. В ассоциативном кольце K натуральная степень произвольного элемента x определяется по индукции так: x1 = x, xn + 1 = x J xn, n = 1, 2, _ В кольце с единицей для каждого натурального числа n той же буквой n обозначают элемент, равный сумме n слагаемых, каждое из которых равно 1.
Примерами колец являются, например, поле R действительных чисел и поле C комплексных чисел (с обычными операциями сложения и умножения). Навыки работы с действительными и комплексными числами позволяют легко проводить действия и с элементами кольца: законы коммутативности позволяют менять местами слагаемые (сомножители), законы ассоциативности позволяют опускать скобки в сумме (произведении) трех и более слагаемых (сомножителей). Законы дистрибутивности - это привычные правила раскрытия скобок.
Важным понятием, связанным с кольцом K, является понятие многочлена над кольцом K. Пусть n - натуральное число, a0 , a1 , _, an - элементы кольца K, причем an - ненулевой элемент.
Выражение
P(l) = a0 + a1l + _ + anln
называется многочленом (над кольцом K ) n-й степени с коэффициентами a0 , a1 , _, an . Многочленом нулевой степени называется выражение P(l) = a0 , a0 ? q. Многочлен P(l) = q называется нулевым (его степень по определению считается равной - ?). Многочлены считаются равными, если равны их степени и соответственно равны коэффициенты. В выражении (7) переменная l считается некоторой внешней относительно кольца переменной. Поставив в (7) вместо l любой элемент x ассоциативного кольца K, мы получим элемент P(x) кольца K, вычисляемый по формуле P(x) = a0 + a1x +...+ anxn.
Непустое множество А ? К называется подкольцом кольца К, если А само является кольцом относительно операций, определенных в К. В частности, если А - подкольцо кольца К, то qА = qК , а если К - кольцо с единицей и 1К k А, то А - подкольцо с единицей и 1А = 1К .
Если А1 , А2 , _, Аk - некоторые подмножества кольца K, то их суммой А1 + А2 + _ + Аk называют совокупность всех элементов z кольца K, представимых в виде
z = y1 + y2 + _ + yk ,
где y1 k А1 , y2 k А2 , yk k Аk .
Сумма множеств А1 + А2 + _ + Аk называется прямой и обозначается А1 ~ А2 ~ _ ~ Аk , если каждый ее элемент z единственным образом представляется в виде (8).
Если A - некоторое подмножество кольца K, b - некоторый элемент кольца K, то под произведением bA понимается совокупность всех элементов z кольца K, представимых в виде z = bx, x k A.
Всюду ниже, говоря о кольце K, мы будем предполагать, что K - ассоциативное коммутативное кольцо с единицей. Через K [l] будем обозначать совокупность всех многочленов над кольцом K. Если определить сумму и произведение многочленов по обычным школьным правилам почленного умножения, группировки подобных членов и вынесения общих множителей, считая при этом l некоторой переменной, перестановочной со всеми элементами кольца K, то множество K [l] также оказывается ассоциативным коммутативным кольцом с единицей. Роль нуля в нем играет нулевой многочлен, а роль единицы - многочлен нулевой степени, равный единице кольца K. Многочлены P(l) и Q(l) из кольца K [l] назовем взаимно простыми, если в кольце K [l] найдутся такие многочлены M(l) и N(l), что выполнено равенство
P(l)M(l) + Q(l)N(l) = 1.
Утверждение 1. Пусть P1(l), P2(l), _, Pk(l) и Q(l) - многочлены над полем K. Многочлен Q(l) взаимно прост с каждым из многочленов P1(l), P2(l), _ _, Pk(l) тогда и только тогда, когда он взаимно прост с их произведением P1(l)P2(l)_Pk(l).
Утверждение 2. Пусть x и y - элементы кольца K, m и n - натуральные числа. Многочлены (l - x)m и (l - - y)n взаимно просты тогда и только тогда, когда элемент x - y обратим.
Всякое отображение F : K K будем называть преобразованием кольца K или сокращенно оператором. По определению, оператор F ставит в соответствие каждому элементу x кольца K некоторый элемент y = F(x) того же кольца. Этот факт будем записывать как F : x F(x), x k K. Ядром Ker F оператора F назовем совокупность всех элементов x k K, для которых F(x) = q. Если F : K K и G : K K - два оператора, то под их суммой F + G будем понимать оператор, действующий по правилу F + G : x F(x) + G(x), x k K. Под произведением FG будем понимать композицию операторов F и G, то есть оператор, действующий по правилу FG : x F(G(x)), x kK. Операторы F и G назовем перестановочными, если FG = GF, то есть F (G(x)) = = G(F (x)) для любого элемента x кольца K. Буквой I будем обозначать тождественное преобразование кольца K : I: x x, x k K. Для каждого элемента c кольца K под произведением cF элемента c на оператор F будем понимать оператор, действующий по правилу cF : x cF(x), x k K.
Если P(l) = a0 + a1l + _ + anln - многочлен над кольцом K, F : K K - некоторый оператор, то под P(F ) будем понимать оператор P(F ) = a0I + a1F + _ _ + anF n, получаемый формальной подстановкой оператора F вместо l в соотношение (7).
Оператор F : K K назовем морфизмом (кольца K ), если для любых двух элементов x и y кольца K выполнены равенства
F(x + y) = F(x) + F(y), F(xy) = F(x) J F(y).
Теперь мы можем определить, что в дальнейшем будем понимать под дифференцированием.
Пусть K - некоторое кольцо. Оператор D: K K назовем дифференцированием (кольца K ), если существует элемент g кольца K, такой, что для всех элементов f и g кольца K выполнены равенства (6), а также соотношения
D(1) = q, D(g) = q.
В дальнейшем будем считать, что и кольцо K и оператор D дифференцирования кольца K фиксированы, и через KD обозначать ядро Ker D оператора D. Элементы этого ядра назовем константами (оператора дифференцирования D). Единица 1 кольца K и элемент g в соответствии с (9) являются константами. Из равенств D( f ) = D( f + q) = D( f ) + D(q) следует, что D(q) = q. Поэтому константой является и нуль кольца K. Используя второе из равенств (6), легко убедиться, что для произвольной константы c оператора дифференцирования D и любого элемента f кольца K выполняется равенство (4).
Утверждение 3. Ядро KD оператора дифференцирования D кольца K является кольцом (подкольцом кольца K ). Если c - обратимая константа оператора D, то с-1 - также константа оператора D.
Утверждение 4. Пусть P(l) и Q(l) - два многочлена над кольцом KD , S(l) = P(l) + Q(l) и T (l) = = P(l)Q(l) - соответственно сумма и произведение этих многочленов. Тогда оператор S(D ) является суммой операторов P(D ) и Q(D ), а оператор T (D ) - произведением (композицией) перестановочных операторов P(D ) и Q(D ).
Пусть
P(l) = a0 + a1l + _ + anln
есть произвольный многочлен n-й степени над кольцом KD . Уравнение
a0 y + a1D(y) + _ + anDn(y) = q
относительно неизвестного элемента y кольца K будем называть линейным однородным дифференциальным уравнением n-го порядка c постоянными коэффициентами, а многочлен P(l) - характеристическим многочленом этого уравнения. Более коротко уравнение (*) можно записать в виде
P(D )(y) = q.
Задача нахождения всех решений уравнения (10) эквивалентна отысканию ядра оператора P(D ). Формулу, описывающую множество всех решений уравнения (10) и только их, будем называть общим решением уравнения (10).
Теорема 1. Пусть многочлены P1(l), P2(l), _ _, Pm(l) над кольцом KD попарно взаимно просты, а многочлен P(l) является их произведением. Тогда
Ker P(D ) = Ker P1(D ) ~ Ker P2(D ) ~ _ ~ Ker Pm(D ).
Теорема 1 позволяет свести решение уравнения (10) к двум задачам. Первая из них - это алгебраическая задача разложения характеристического многочлена P(l) на наиболее просто устроенные попарно взаимно простые множители Pj(l), j = 1, 2, _ _, m. Вторая задача - отдельное решение каждого из уравнений Pj(D )(y) = q, j = 1, 2, _, m, с последующим сложением множеств решений всех этих уравнений.
Наиболее просто устроены многочлены первой степени вида P(l) = l - c, где c - константа оператора D, и их степени (l - c)k, поэтому прежде всего займемся решением уравнений
D(y) = cy,
(D - cI )k(y) = q.
Константу c оператора D назовем спектральной, если уравнение (11) имеет обратимое решение. Для каждой спектральной константы c зафиксируем обратимое решение уравнения (11) и обозначим его Exp D(c).
Утверждение 5. Если c - спектральная константа, то константа (1 + gс) обратима. Множество всех решений уравнения (11) дается формулой Exp D(c)KD . Иными словами, общее решение уравнения (11) дается формулой y = b Exp D(c), где b - произвольная константа оператора D.
Возможность решения уравнения (12) при k > 1 напрямую связана с наличием в кольце K некоторого элемента, который назовем аргументом оператора дифференцирования D и обозначим tD . Именно, аргументом tD оператора D назовем всякий элемент кольца K, удовлетворяющий равенству D(tD) = 1. Ясно, что аргумент оператора D определен с точностью до константы. Ниже будем предполагать, что аргумент оператора D существует и зафиксируем его.
Будем также предполагать, что, каково бы ни было натуральное число n, соответствующий элемент n кольца K обратим.
Теорема 2. Пусть c - спектральная константа. Тогда при любом натуральном k ядро оператора (D - - cI )k имеет вид
Ker (D - cI )k = Exp D(c)(KD ~ tDKD ~ _ ~ (tD)k - 1KD).
В соответствии с этой теоремой все решения уравнения (12) (при условии, что c - спектральная константа) и только они представимы (причем единственным образом!) в виде y = Exp D(c)M(tD), где M (l) - произвольный многочлен степени не выше k - 1 над кольцом KD .
Из теорем 1 и 2 и утверждения 2 вытекает следующая
Теорема 3. Пусть многочлен P(l) над кольцом KD представим в каноническом виде
где cj - спектральные константы, rj - натуральные числа, j = 1, 2, _, m. Пусть каждая из констант (cj - - ci), 1 # i < j # m, обратима. Тогда общее решение уравнения (10) дается формулой
y = Exp D (c1)M1(tD) + Exp D (c2)M2(tD) + _
_ + Exp D (cm)Mm(tD),
где Mj(l) - произвольные многочлены степени не выше rj - 1 над кольцом KD , j = 1, 2, _, m.
Перейдем к рассмотрению примеров. Рассмотрим морфизм F кольца K. Ассоциированным этому морфизму назовем оператор D = F - I.
Утверждение 6. Оператор D = F - I, ассоциированный морфизму F, является дифференцированием кольца K, причем в (6) g = 1.
Константами морфизма назовем назовем константы ассоциированного этому морфизму оператора дифференцирования. Множество всех констант морфизма F в соответствии с утверждениями 6 и 3 является подкольцом кольца K. Это подкольцо обозначим KF. Каждая константа b морфизма F удовлетворяет равенству F(b) = b. Аргументом t F морфизма F назовем аргумент tD ассоциированного оператора D. Аргумент морфизма определяется равенством F(t F) = t F + 1.
Рассмотрим произвольный многочлен Q(l) над кольцом KF и уравнение
Q(F)(y) = q
относительно неизвестного элемента y кольца K. Многочлен Q(l) назовем характеристическим многочленом уравнения (15). Если в уравнение (15) подставить F = D + I (D - оператор дифференцирования, ассоциированный морфизму F), раскрыть скобки и перегруппировать слагаемые, то получится дифференциальное уравнение вида (10), в котором P(l) = Q(l +1). Это наблюдение позволяет перенести на уравнение (15) результаты теоремы 3.
Константу b морфизма F назовем спектральной, если уравнение
F(y) = by
имеет обратимое решение. Зафиксируем это обратимое решение и обозначим его Exp F(b).
Утверждение 7. Константа b морфизма F является спектральной тогда и только тогда, когда константа b - 1 является спектральной константой ассоциированного морфизму F оператора дифференцирования D. При этом соответствующие обратимые решения можно зафиксировать так, что Exp F(b) = Exp D (b - 1).
Теорема 4. Пусть многочлен Q(l) над кольцом K F представим в каноническом виде
где bj - спектральные константы морфизма F, rj - натуральные числа, j = 1, 2, _, m. Пусть каждая из констант (bj - bi), 1 # i < j # m, обратима. Тогда общее решение уравнения (15) дается формулой
y = Exp F(b1)M1(t F) + Exp F(b2)M2(t F) + _
_ + Exp F(bm)Mm(t F),
где Mj(l) - произвольные многочлены степени не выше rj - 1 над кольцом K F, j = 1, 2, _, m.
Применим результаты теоремы 4 к решению так называемых рекуррентных уравнений.
Рассмотрим кольцо K всех комплекснозначных последовательностей f = { fk}, где fk k C, k k Z = {0, 1, 2, _} с обычными операциями почленного сложения и умножения последовательностей. Нулем этого кольца является последовательность, все члены которой - нули, а единицей - последовательность, все члены которой - единицы. Рассмотрим преобразование F кольца K, которое каждой последовательности f = { fk} ставит в соответствие последовательность g = {gk}, в которой gk = fk + 1 , k k Z. Это преобразование является морфизмом кольца K. Константами морфизма F являются все постоянные последовательности. Каждую такую последовательность условимся отождествлять с тем комплексным числом, которому равны все ее члены. Аргументом морфизма является последовательность t = {tk}, в которой tk = k, k k Z.
Уравнение (16) для неизвестной последовательности y = {yk} принимает вид yk + 1 = byk , k k Z. Это уравнение имеет обратимое решение Exp(b) = {bk } для любой константы b, неравной нулю. Поэтому спектральными константами морфизма F являются все ненулевые постоянные последовательности.
Зафиксируем теперь комплексные числа d0 , d1 , _ _, dn , d0 ? 0, dn ? 0, и поставим задачу найти все последовательности y = {yk}, удовлетворяющие рекуррентному соотношению
d0yk + d1yk + 1 + _ + dn yk + n = 0, k k Z.
Используя введенный выше морфизм F, перепишем это соотношение в виде уравнения вида (15), в котором Q(l) = d0 + d1l + _ + dnln. В соответствии с теоремой 4 далее следует поступить следующим образом. Нужно представить характеристический многочлен Q(l) в каноническом виде (17) и написать ответ (см. (18))
yk = (b1)kM1(k) + (b2)kM2(k) + _ + (bm)kMm(k),
k k Z,
где Mj(l) - произвольные многочлены с постоянными коэффициентами степени не выше rj - 1, j = 1, 2, _, m.
Рассмотрим в качестве примера рекуррентное уравнение
yk - yk + 1 - yk + 2 + yk + 3 = 0, k k Z.
Характеристический многочлен этого уравнения
Q(l) = 1 - l - l2 + l3 = (l - 1)2(l + 1).
В соответствии с формулой (20) решениями рекуррентного уравнения являются все последовательности вида
yk = (1)k(A + Bk) + (-1)kC = A + Bk + (-1)kC, k k Z,
где A, B, C - произвольные фиксированные комплексные числа.
Теорема 3 применима и к обыкновенным дифференциальным уравнениям с постоянными коэффициентами.
Рассмотрим кольцо K всех бесконечно дифференцируемых функций f = { f(t), t k R} с обычными операциями сложения и умножения функций. Нулем q этого кольца является функция, равная нулю при всех t, а единицей кольца является функция, равная 1 при всех значениях t. Обозначим через D преобразование этого кольца, ставящее в соответствие каждой функции f ее производную f '. В соответствии с формулами дифференцирования (3) преобразование D является дифференцированием. Оно удовлетворяет требованиям (6), (9) при g = 0. Константами оператора D являются постоянные функции. Аргументом оператора D является функция f (t) = t, t k R. Эту функцию будем обозначать той же буквой t. Каждая константа с оператора D является спектральной, причем Exp D (c) есть функция ect, t k k R. В соответствии с теоремой 3 для решения дифференциального уравнения (10) следует выписать характеристический многочлен этого уравнения, представить его в каноническом виде (13), в котором c1 , c2 , _, cm - все попарно различные корни характеристического многочлена, и записать ответ (см. (14)):
где Mj(l) - произвольные многочлены с постоянными коэффициентами степени не выше rj - 1, j = 1, 2, _, m.
Решим в качестве примера уравнение
y''' - y'' - y' + y = 0.
Характеристический многочлен этого уравнения
P(l) = 1 - l - l2 + l3 = (l - 1)2(l + 1).
В соответствии с формулой (21) общее решение этого уравнения
y(t) = et(A + Bt) + Ce - t,
где A, B, C - произвольные постоянные.
ЛИТЕРАТУРА
1. Беллман Р., Кук К. Дифференциально-разностные уравнения. М.: Мир, 1967. 548 с.
2. Фаддеев Д.К. Лекции по алгебре. М.: Наука, 1984. 416 с.
* * *
Петр Борисович Гусятников, доктор физико-математических наук, профессор кафедры высшей математики Московского физико-технического института. Область научных интересов - теория оптимального управления, дифференциальные игры, теория дифференциальных уравнений, контактная гидродинамика. Автор более 80 публикаций, в том числе трех книг и нескольких учебных пособий.