Теорема существования и единственности решения задачи Коши

Укажем достаточные условия существования и единственности решения задачи Коши

. (1)

Теорема Пикара. Пусть функция непрерывна в прямоугольнике

и удовлетворяет условию Липшица по y равномерно относительно x, т.е. , для всех x, и .

Пусть

тогда задача Коши (1) на промежутке имеет единственное решение .

Замечание. Условие Липшица в теореме Пикара можно заменить на требование ограниченности или непрерывности в каждом компакте из области определения дифференциального уравнения.

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

. (2)

Оценка погрешности, получаемой при замене точного решения y(x) n- м приближением , выражается неравенством

Теорема Пеано. Пусть функция непрерывна в прямоугольнике , причем

Тогда задача Коши на промежутке имеет по крайне мере одно решение .

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

в векторных обозначениях записывается в виде

, (3)

где и - векторы. Непрерывность вектор - функции f означает непрерывность всех функций , а вместо рассматривается матрица из частных производных .

Рассмотренные выше теоремы остаются справедливы и для системы, записанной в виде (3). При этом |y| означает длину вектора y: .

Рассмотрим уравнение вида

. (4)

Пусть в области D функция f и ее частные производные первого порядка по непрерывны, и точка лежит внутри D. Тогда при начальных условиях

уравнение (4) имеет единственное решение.

Уравнение (4) можно свести к системе вида (2), если ввести новые неизвестные функции по формулам . Тогда уравнение (4) сводится к системе

которая является частным случаем системы (3) и к которой применимы все рассмотренные утверждения.

Часто решение задачи Коши существует не только на отрезке, указанном в теоремах, но и на большем отрезке.

Если функция f(x, y) удовлетворяет в прямоугольнике условиям теоремы Пикара, то всякое ее решение можно продолжить до выхода на границу прямоугольника . Если функция f(x, y) в полосе непрерывна и удовлетворяет неравенству , где a(x) и b(x) - непрерывные функции, то всякое решение уравнения (1) и (3) можно продолжить на весь интервал .

Пример 1. Построить последовательные приближения к решению данного уравнения с данными начальными условиями: .

Решение.

Последовательные приближения к решению данной задачи определим по рекуррентной формуле

Подставляя в последнюю формулу поочередно n=0, 1 найдем нужные приближения:

Пример 2. Указать какой-нибудь отрезок, на котором существует решение с данными начальными условиями: .

Решение.

Воспользуемся теоремой Пикара. В данном случае . Функция f непрерывна в любом прямоугольнике и удовлетворяет условию Липшица, поскольку производная ограничена числом . Следовательно, на сегменте , где

существует единственное решение данной задачи. Найдем число

Ясно, что если на каком - то сегменте I существует единственное решение, то оно существует и на меньшем сегменте, вложенном в I. Отсюда следует, что желательно найти как можно больший отрезок I, т.е.

Так как функция возрастает при , а функция убывает, то достигается при условии, что , т.е.

. (5)

Взяв производную по b от правой части (5), найдем, что при достигается максимум a, который легко вычислить, подставив значение в (5). Тогда получим

Таким образом, можно гарантировать существование и единственность решения данной задачи на сегменте .

Пример 3. При каких начальных условиях существует единственное решение уравнения .

Решение.

Поскольку функция

вместе с частными производными

непрерывна при и , то через каждую точку , где и , проходит единственная интегральная кривая уравнения

Если получены два различных набора базисных неизвестных при различных способах нахождения решения одной и той же системы, то эти наборы обязательно содержат одно и то же число неизвестных, называемое рангом системы.

Вычисление обратной матрицы

Пусть A=(aij) – квадратная матрица с определителем, не равным нулю. Тогда существует обратная матрица A–1, которая вычисляется по формуле

Последняя формула означает, что в i-й строке и j-м столбце обратной матрицы располагается алгебраическое дополнение элемента, стоящего в j-й строке и в i-м столбце исходной матрицы, деленное на определитель исходной матрицы.

Напомним здесь, что Apq=(–1)p+qMpq, где Mpq называется минором и представляет собой определитель, получающийся из определителя detA вычеркиванием p-й строки и q-го столбца.

Рассмотрим пример:

detA=20+6–24=2;

Еще раз подчеркнем, что обратная матрица существует только для квадратной матрицы с определителем, отличным от нуля!

Преобразование, применение которого превращает систему в новую систему, эквивалентную исходной, называется эквивалентным или равносильным преобразованием. Примерами эквивалентных преобразований могут служить следующие преобразования: перестановка местами двух уравнений системы, перестановка местами двух неизвестных вместе с коэффициентами у всех уравнений, умножение обеих частей какого-либо уравнения системы на отличное от нуля число.

31) Рангом системы строк (столбцов) матрицы A с m строк и nстолбцов называется максимальное число линейно независимыхстрок (столбцов). Несколько строк (столбцов) называются линейно независимыми, если ни одна из них не выражается линейно через другие. Ранг системы строк всегда равен рангу системы столбцов, и это число называется рангом матрицы.

Ранг матрицы — наивысший из порядков миноров этой матрицы, отличных от нуля.

Ранг матрицы — Размерность образа dim(im(A)) линейного оператора, которому соответствует матрица.

Обычно ранг матрицы A обозначается ( ) или . Оба обозначения пришли к нам из иностранных языков, потому и употребляться могут оба. Последний вариант свойственен для английского языка, в то время как первый — длянемецкого, французского и ряда других языков.

Определение. В матрице порядка mxn минор порядка r называется базисным, если он не равен нулю, а все миноры порядка r+1 и выше равны нулю, или не существуют вовсе, т.е. r совпадает с меньшим из чисел m или n.
Столбцы и строки матрицы, на которых стоит базисный минор, также называются базисными.

В матрице может быть несколько различных базисных миноров, имеющих одинаковый порядок.

Определение. Порядок базисного минора матрицы называется рангом матрицы и обозначается Rg А.
Очень важным свойством элементарных преобразований матриц является то, что они не изменяют ранг матрицы.

Определение. Матрицы, полученные в результате элементарного преобразования, называются эквивалентными.
Надо отметить, что равные матрицы и эвивалентные матрицы - понятия совершенно различные.

Теорема. Наибольшее число линейно независимых столбцов в матрице равно числу линейно независимых строк.

Т.к. элементарные преобразования не изменяют ранг матрицы, то можно существенно упростить процесс нахождения ранга матрицы.

Определение. Матрица , полученная из матрицы при помощи элементарных преобразований, называется эквивалентной и обозначается А В.

Теорема. Ранг матрицы не изменяется при элементарных преобразованиях матрицы.

С помощью элементарных преобразований можно привести матрицу к так называемому ступенчатому виду, когда вычисление ее ранга не представляет труда.

Матрица называется ступенчатой если она имеет вид:

, где , , .

Очевидно, что ранг ступенчатой матрицы равен числу ненулевых строк , т.к. имеется минор -го порядка, не равный нулю:

Пример. Определить ранг матрицы с помощью элементарных преобразований.

Ранг матрицы равен количеству ненулевых строк, т.е. .

Предыдущая 1 2 3 456 7 8 9 10 11 12 13 Следующая