Эллипс
d1d2A2A1B1B2F2F1
Как построить эллипс. Каноническое уравнение эллипса
Решить онлайн
Примеры решений Производная онлайн Интегралы онлайн Уравнения Бернулли xydx + (x+1)dy = 0 y'' - 3y' + 2y = 0 (y')2+2yy'' = 0 Диф уравнения онлайн Системы дифф уравнений Метод вариации постоянной

Системы дифференциальных уравнений


x() = , y() =
Метод решения:
(см. пример)
(см. пример)
  1. В качестве искомых функций используйте x, y или z. В качестве независимой переменной выстуает t. Например:
  2. Если система задана через функции x1, x2 или x3, то они заменяются на x, y и z.
  3. Если независимая переменная задана в виде x, например:
    dy/dx=2y-3z
    dz/dx=y-2z
    то для решения система записывается в следующем виде:
    dx/dt=2x-3y
    dy/dt=x-2y
    или
    x′=2x-3y
    y′=x-2y
Система уравнений, связывающая независимую переменную, искомые функции и некоторое количество их производных, то есть система уравнений вида

называется системой обыкновенных дифференциальных уравнений. Если эта система разрешена относительно старших производных y(n1)1 y(n2)2…, y(nk)k то она называется системой в канонической форме и имеет вид
yl(nl)l(x, y1, ..., yl(n1-1), y2, y2(n2-1), ... , yk, ... , yk(nk-1)), l=1,k. Эту систему путём введения новых неизвестных функций [9-11] можно привести к виду
(40)
которая называется системой обыкновенных дифференциальных уравнений в нормальной форме или системой обыкновенных дифференциальных уравнений в форме Коши.

Если ввести в рассмотрение векторы y=(y1,y2,…,yn)T, f=(f1,f2,…,fn)T и вспомнить [1,3], что производная вектор-функции по скалярному аргументу вычисляется по формуле y'=(y1', y2',…, yn')T, то систему (40) можно записать в векторной форме y'=f(x,y), которая по виду совпадает с записью дифференциального уравнения первого порядка.

Для системы обыкновенных дифференциальных уравнений (40) можно поставить задачу Коши: найти решение (y1,y2,…,yn)T системы (40), удовлетворяющее начальным условиям
(y1(x0), y2(x0), ... , yn(x0))T = (y10, y20, ... , yn0)T, (41)
В векторной форме условия (41) имеют вид y(x0)=y0.
Так же, как и для дифференциальных уравнений, для систем дифференциальных уравнений справедлива теорема существования и единственности.

Теорема. Если все функции fi, i=1,n, непрерывны по x и удовлетворяют условию Липшица по yi, i=1,n, то решение задачи Коши (40), (41) существует и единственно.
Доказательство этого результата опустим.
Если функции fi, i=1,n не зависят от x, то система (40) называется автономной. В этом случае обычно вместо x пишут t и систему записывают в виде

или в векторной форме y'=f(y). Если трактовать независимую переменную как время, то автономные системы отличаются тем, что их поведение не зависит от начала отсчёта переменной t, а зависит от начальной точки и времени, прошедшего с начала процесса. Действительно, сделав замену переменных τ=t-t0, получим

В общем случае для решения систем имеются методы интегрируемых комбинаций и исключения неизвестных. Как указывалось ранее, любое уравнение порядка n можно свести к системе n уравнений в нормальной форме. Возможна и обратная процедура. На этой идее и основан метод исключения неизвестных. Разберём его на примерах.

Примеры

1. Для системы дифференциальных уравнений

Выражая y из второго уравнения, имеем y=-x'+cost, y'=-x''-sint. Подставляя в первое уравнение и приводя подобные, получаем уравнение x''+4x'+3x=0. Это линейное уравнение второго порядка с постоянными коэффициентами. Корни его характеристического уравнения r2 + 4r + 3 = 0 равны r1 = -3, r2 = -1.

Поэтому x=C1e-3t + C2e-t. Подставляя в выражение для y, получаем y=3C1e-3t + C2e-t + cost или в векторной форме .

2. Найдём решение системы дифференциальных уравнений

Выражая из первого уравнения y получаем . Следовательно, и, подставляя во второе уравнение, имеем x''+9x=0. Это линейное уравнение второго порядка с постоянными коэффициентами. Корни его характеристического полинома r2+9 равны r1,2=±3i Поэтому общее решение полученного уравнения есть x=C1cos3t + C2sin3t. Подставляя в выражение для y, получаем или в векторной форме

Системы линейных уравнений

Если в системе (40) все функции fi линейны по переменным y1,y2,..,yn, то она называется линейной. В этом случае её можно переписать в виде
(42)
Обозначая матрицу системы через A(x), а вектор (b1(x),b2(x),…,bn(x))T через b(x) систему (42) можем переписать в матричной форме,

y'=A(x)y + b(x) (42а)

Будем, по возможности, пользоваться матричной формой записи. Если b(x)=0, то получаем соответствующую систему однородных уравнений

y'=A(x)y. (43)

Для систем линейных уравнений строится теория, полностью эквивалентная теории линейных уравнений порядка n. В частности, справедлива теорема о наложении решений и её следствия. В том числе и теорема о том, что множество решений однородной системы (43) образует линейное подпространство в пространстве дифференцируемых вектор-функций.
Так же как для векторов [1,2] и систем функций, для систем вектор-функций вводятся понятия их линейной зависимости и линейной независимости.

Определение. Система вектор-функций y1,y2,…,ym называется линейно зависимой на отрезке [a,b], если существуют числа α1, α2,…, αm, , не все из которых равны нулю, такие, что

всюду на [a,b], и линейно независимой, если такого ненулевого набора не существует.

Рассмотрим совокупность вектор-функций y1,y2,…,ym. Определитель, составленный из их координат,

называется определителем Вронского, или вронскианом системы вектор-функций y1,y2,…,ym.
Определитель Вронского служит индикатором линейной зависимости системы вектор-функций.

Теорема. Если система вектор-функций линейно зависима, то её определитель Вронского W(x) равен нулю.

Теорема. Если y1,y2,…,ym - линейно независимая совокупность решений системы однородных уравнений y'=A(x)y, то её определитель Вронского W(x) отличен от нуля для всех x∈[α, β].
Удостоверимся в существовании базиса в пространстве решений системы уравнений y'=A(x)y.

Теорема. Для любой однородной системы линейных дифференциальных уравнений y'=A(x)y порядка n существует система n линейно независимых решений этого уравнения.
Доказательство. Возьмём матрицу
(44)
с определителем, отличным от нуля. Тогда строки и столбцы этой матрицы линейно независимы. Найдём такие решения yj(x), j=1,2,..,n, системы уравнений y'=A(x)y, чтобы выполнялись соотношения ykj(x0)=qkj, k=1,2,...,n. По теореме существования и единственности такой набор решений существует. Найденная система решений линейно независима, так как её определитель Вронского в точке x0 совпадает с определителем матрицы (44). Теорема доказана.
Матрицу (44) можно взять единичную.

Теорема (о виде общего решения однородной системы линейных дифференциальных уравнений). Если y1,y2,…,yn - линейно независимая совокупность решений однородной системы уравнений y'=A(x)y, то любое решение этой системы есть линейная комбинация решений y1,y2,…,yn, то есть

и, следовательно, y1,y2,…,yn - базис пространства решений системы уравнений y'=A(x)y.

см. также Решение системы линейных дифференциальных уравнений методом вариации произвольной постоянной

Примеры

Для линейной системы дифференциальных уравнений матрица  имеет собственные числа λ1=3 с соответствующим собственным вектором p1=(-1,1,3)T и λ2,3=-1 кратности 2 с собственными  векторами p2=(1,1,0)T и p3=(2,0,-1)T.
Поэтому фундаментальная система решений состоит из функций p1e3t, p2e-t, p3e-t, а общее решение имеет вид:
.
Болит горло
Как быстро вылечить ангину, гланды, тонзиллит
Природные средства, проверенные временем и врачами
Подробнее
ЕГЭ по математике
Yandex.Просвещение представляет бесплатные видеокурсы по ЕГЭ с возможностью прохождения тестов
Подробнее
Упростить логическое выражение
Решение по шагам
(a→c)→ba
Упростим функцию, используя основные законы логики высказываний.
Замена импликации: A → B = A v B
Решение онлайн
Курсовые на заказ