Дифференциальные уравнения в частных производных первого порядка
Теорема С.В. Ковалевской о существовании и единственности решения уравнения в частных производных. Доказательство положения об общем определении квазилинейного равенства. Способ построения задачи Коши с помощью геометрического смысла характеристик.
Рубрика | Математика |
Вид | курсовая работа |
Язык | русский |
Дата добавления | 26.02.2014 |
Размер файла | 278,5 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://www.allbest.ru
1. Уравнения в частных производных первого порядка
Основные понятия.
Дифференциальным уравнением в частных производных называется дифференциальное уравнение, в котором неизвестные функции являются функциями более чем от одной независимой переменной.
Рассмотрим несколько простейших примеров.
Пример 1.
Интегрируя по x, получаем:
где произвольная функция y.
Пример 2.
,
или:
.
Интегрируя по x, получаем:
,
где - произвольная функция .
Интегрируя теперь по , получим:
где - произвольная функция по х. Или обозначая:
,
окончательно будем иметь:
,
где , в силу произвольности функции , тоже является произвольной дифференцируемой функцией у.
Приведенные примеры наводят на мысль, что общее решение дифференциального уравнения в частных производных первого порядка зависит от одной произвольной функции.
Это предложение оказывается справедливым, но нуждается в уточнении. Для его уточнения сформулируем теорему С.В. Ковалевской о существовании и единственности решения уравнения в частных производных.
Теорема 1 (теорема Ковалевской). Существует единственное аналитическое в окрестности точки решение уравнения, разрешенного относительно одной из производных максимального порядка:
,
удовлетворяющее условиям при:
,
если функции ,,…, являются аналитическими функциями в окрестности начальной точки , а является аналитической функцией в окрестности начальных значений своих аргументов , ,.
Решение определяется заданием начальных функций ,,…,, произвольно меняя которые в классе аналитических функций, мы получим совокупность аналитических решений исходного уравнения, зависящую от р произвольных функций.
2. Линейные дифференциальные уравнения в частных производных первого порядка
Определение.
Линейным однородным уравнением с частными производными первого порядка называется уравнение вида:
,
где - заданные функции, непрерывно дифференцируемые в рассматриваемой области G, - неизвестная функция.
Коэффициенты уравнения одновременно не обращаются в нуль ни в одной точке из G.
Решением уравнения будем называть непрерывно дифференцируемую в G функцию , обращающую равенство в тождество.
Геометрическое решение уравнения можно интерпретировать как некоторую гладкую n-мерную поверхность называемую интегральной поверхностью для данного уравнения.
Поставим в соответствие уравнению с частными производными систему обыкновенных дифференциальных уравнений, в симметрической форме записываемую в виде:
Такую систему ОДУ называют характеристической для уравнения, а ее решения (интегральные кривые) - характеристиками уравнения.
Характеристическая система удовлетворяет теореме существования и единственности решений, поэтому через каждую точку области G проходит единственная характеристика уравнения, в параметрической форме представимая в виде n функций:
Для системы ОДУ определено понятие первого интеграла. В соответствие с ним под первым интегралом характеристической системы уравнения будем понимать отличную от константы непрерывно дифференцируемую в G функцию , которая на любой характеристике данного уравнения имеет постоянное значение:
где С - константа.
Теорема 2. Функция является решением уравнения (2) тогда и только тогда, когда является первым интегралом системы.
Доказательство.
1) Достаточность(). Пусть имеется уравнение
Очевидно, что уравнение определяет первый интеграл системы, тогда и только тогда, когда для любого ее решения :
Отсюда:
.
.
Но из (3) находим:
.
Следовательно:
.
Таким образом, функция является решением уравнения.
Необходимость. Легко проверить, что условие является не только необходимым, но и достаточным условием того, что уравнение определяет первый интеграл системы дифференциальных уравнений. Следовательно, если - решение уравнения, то уравнение определяет первый интеграл системы.
3. Квазилинейные дифференциальные уравнения в частных производных первого порядка.
Определение.
Квазилинейным называется уравнение:
,
где от переменных , z в области D; считаем, что .
Уравнение связано с автономной системой уравнений:
,
Здесь и т.п. Траектория системы в пространстве - это линии, называемые характеристиками уравнения, а решение уравнения изображается n-мерной поверхностью Считаем, что в области , а точки .
Теорема 3. Поверхность является решением уравнения тогда и только тогда, когда она целиком состоит из характеристик. То есть через каждую точку поверхности проходит характеристика, целиком лежащая на поверхности.
Доказательство. Если линия - характеристика, лежащая на поверхности, то в каждой точке линии вектор нормали к поверхности ортогонален касательному к этой линии вектору ( Их скалярное произведение равно нулю:
Если через каждую точку поверхности проходит такая линия, то это равенство выполнено на всей поверхности, то есть поверхность удовлетворяет уравнению.
Обратно, если поверхность P( удовлетворяет уравнению, то в каждой точке поверхности выполнено, то есть вектор( ортогонален нормали к поверхности значит касается поверхности. Таким образом, на поверхности P определено поле касательных векторов. Покажем, что через произвольную точку M( проходит лежащая на Р траектория этого векторного поля. В области G - проекции поверхности Р на плоскость - рассмотрим систему:
Через точку ()проходит решение этой системы.
Линия L:
, ,
лежит на поверхности P( и проходит через точку М. Покажем, что L-характеристика. Первым n уравнениям системы она удовлетворяет в силу и равенства на Р. Далее,
Поверхность удовлетворяет уравнению, поэтому последняя сумма равна b(. Итак, линия L удовлетворяет и последнему уравнению системы, то есть является характеристикой.
Теорема 4. (об общем решении квазилинейного уравнения).
Пусть , i=1,…,n - какие-либо независимые первые интегралы системы. Функция является решением уравнения в окрестности точки М своего графика, тогда и только тогда она удовлетворяет равенству:
при какой-либо функции такой, что N=0, в точке М.
Доказательство. Левая часть при любой функции постоянная вдоль траекторий системы, значит, является ее первым интегралом. При равенство определяет вблизи точки М неявную функцию .
Покажем, что формула содержит все решения уравнения. Пусть, например, Тогда вблизи точки М характеристики уравнения удовлетворяют системе:
Пусть -любое решение уравнения, М() -т очка на его графике. Решение системы с начальными условиями:
(i=2,…n),
,
обозначим:
,
.
При получаем точку М. В этой точке якобиан det в силу. В некоторой окрестности точки М систему по теореме о неявных функциях можно разрешить относительно
Функции - первые интегралы системы. Поверхность =0 совпадает с данной поверхностью , так как они обе состоят из характеристик - решений системы с начальными условиями, где . Найдется такая функция , что .Здесь - независимые первые интегралы системы.
Покажем, что в точке М. В этой точке:
.
Следовательно, в точке М.
Замечание. В случае, когда z входит только в один из первых интегралов, например, только в , вместо можно написать:
где Н произвольная функция. Разрешая, если возможно, это уравнение относительно z, получим общее решение уравнения в явном виде.
4. Задача Коши для квазилинейного уравнения
Чтобы упростить формулировки, ограничимся случаем, когда искомая функция z зависит только от двух переменных x и y.
Требуется найти поверхность , удовлетворяющую уравнению:
,
и проходящую через линию L
,
Предполагаем, что данные функции принадлежат .
Пользуясь геометрическим смыслом характеристик, можно предложить такой способ построения решения задачи Коши. Через каждую точку линии L надо провести характеристику. Если из этих характеристик составится гладкая поверхность z=f(x,y), то она и будет решением задачи Коши.
Теорема 5. Пусть на дуге линии L:
Тогда в некоторой окрестности каждой точки дуги существует единственное решение задачи Коши.
Доказательство. Так как и то через каждую точку , дуги проходит единственная характеристика:
,
Функции удовлетворяют системе уравнений вида и начальным условиям:
=,
Поверхность, состоящая из таких характеристик, выражается формулами, где:
Таким образом, есть параметрическое задание искомой поверхности.
Покажем, что в окрестности любой точки дуги эту поверхность можно записать в виде z=f(x,y). Для этого надо разрешить первые два уравнения относительно и подставить в третье. Функции . Уравнения удовлетворяются в любой точке по дуге в силу. В этой точке согласно а в силу ,, поэтому якобиан:
Значит, в окрестности этой точки по теореме о неявных функциях первые два уравнения можно разрешить относительно и получить функции t=t(x,y),s=s(x,y). Подставляя их в третье уравнение, получаем искомое решение, в виде Существование решения доказано.
Его единственность следует из того, что любое решение есть поверхность Вблизи любой точки дуги функции , определяются однозначно. Поэтому решение z-тоже.
Пример 3. Найти общее решение уравнения:
а также поверхность , удовлетворяющую этому уравнению и проходящую через линию:
z+ x+y=1.
Решение.
Пишем в симметричной форме систему уравнений, определяющую характеристики:
.
Находим независимые первые интегралы:
Общее решение уравнения можно записать в виде:
.
Чтобы найти поверхность, проходящую через линию, надо сначала из уравнения исключить x,y,z и получить равенство. Которое может содержать только , Для этого можно, например, из уравнения выразить y,z через x и подставить эти выражения:
y=1-x, z=2x-;
Исключая x из последних двух равенств, получаем:
Подставляя сюда вместо первые интегралы после упрощений получаем искомое решение:
.
квазилинейный коши геометрический
Список литературы
1. Л.Э. Эльсгольц. Дифференциальные уравнения, 2008 - С.241-243.
2. А.Ф. Филиппов. Введение в теорию дифференциальных уравнений, 2006 - С.221-232.
3. Б.М. Демидович, В.П. Моденов. Дифференциальные уравнения, 2008 - С.146-156.
Размещено на Allbest.ru
...Подобные документы
Порядок и процедура поиска решения дифференциального уравнения. Теорема существования и единственности решения задачи Коши. Задачи, приводящие к дифференциальным уравнениям. Дифференциальные уравнения первого порядка, с разделяющими переменными.
лекция [744,1 K], добавлен 24.11.2010Понятие, закономерности формирования и решения дифференциальных уравнений. Теорема о существовании и единственности решения задачи Коши. Существующие подходы и методы решения данной задачи, оценка погрешности полученных значений. Листинг программы.
курсовая работа [120,8 K], добавлен 27.01.2014Особенности выражения производной неизвестной функции. Общий вид дифференциального уравнения первого порядка, его решение. Сущность теоремы Коши (о существовании и единственности решения), её геометрический смысл. Общее и частное решение уравнения.
презентация [77,7 K], добавлен 17.09.2013Основные определения теории уравнений в частных производных. Использование вероятностных, численных и эмпирических методов в решении уравнений. Решение прямых и обратных задач методом Монте-Карло на примере задачи Дирихле для уравнений Лапласа и Пуассона.
курсовая работа [294,7 K], добавлен 17.06.2014Понятие о голоморфном решении задачи Коши. Теорема Коши о существовании и единственности голоморфного решения задачи Коши. Решение задачи Коши для линейного уравнения второго порядка при помощи степенных рядов. Интегрирование дифференциальных уравнений.
курсовая работа [810,5 K], добавлен 24.11.2013Задачи, приводящие к дифференциальным уравнениям. Теорема существования, единственности решения задачи Коши. Общее решение дифференциального уравнения, изображаемое семейством интегральных кривых на плоскости. Способ нахождения огибающей семейства кривых.
реферат [165,4 K], добавлен 24.08.2015Задачи Коши для дифференциальных уравнений. График решения дифференциального уравнения I порядка. Уравнения с разделяющимися переменными и приводящиеся к однородному. Однородные и неоднородные линейные уравнения первого порядка. Уравнение Бернулли.
лекция [520,6 K], добавлен 18.08.2012Решение дифференциального уравнения, удовлетворяющие условию Липшица. Доказательство теоремы о существовании и единственности липшицевого решения. Принцип неподвижной точки (Шаудера). Пример неединственности (Winston). Доказательство по теореме Арцела.
реферат [109,4 K], добавлен 14.01.2010Понятие дифференциального уравнения. Нахождение первообразной для заданной функции. Нахождение решения дифференциального уравнения. Выделение определенной интегральной кривой. Понятие произвольных независимых постоянных. Уравнение в частных производных.
презентация [42,8 K], добавлен 17.09.2013Общий вид линейного однородного уравнения. Нахождение производных, вещественные и равные корни характеристического уравнения. Пример решения дифференциального уравнения с постоянными коэффициентами. Общее и частное решение неоднородного уравнения.
презентация [206,3 K], добавлен 17.09.2013Линейные однородные дифференциальные уравнения второго порядка, общий вид. Линейная зависимость векторов и функций. Определитель Вронского, практические примеры его нахождения. Неоднородные уравнения второго порядка, теорема и доказательство, решение.
презентация [272,9 K], добавлен 17.09.2013Дифференциальное уравнение первого порядка. Формулировка теоремы существования и единственности. Линейные уравнения с постоянными коэффициентами. Доказательство теоремы существования и единственности для одного уравнения. Теория устойчивости Ляпунова.
дипломная работа [1,0 M], добавлен 11.04.2009Метод интегрирования по частям. Задача на нахождение частных производных 1-го порядка. Исследование на экстремум заданную функцию. Нахождение частных производных. Неоднородное линейное дифференциальное уравнение 2-го порядка. Условия признака Лейбница.
контрольная работа [90,0 K], добавлен 24.10.2010Решение эллиптических и параболических дифференциальных уравнений в частных производных. Суть метода Кранка-Николсона и теории разностных схем для теплопроводности. Построение численных методов с помощью вариационных принципов, описание Matlab и Mathcad.
курсовая работа [1,4 M], добавлен 13.03.2011Дифференциальное уравнение первого порядка, разрешенное относительно производной. Применение рекуррентного соотношения. Техника применения метода Эйлера для численного решения уравнения первого порядка. Численные методы, пригодные для решения задачи Коши.
реферат [183,1 K], добавлен 24.08.2015Определение дифференциальных уравнений в частных производных параболического типа. Приведение уравнения второго порядка к каноническому виду. Принцип построения разностных схем. Конечно-разностный метод решения задач. Двусторонний метод аппроксимации.
дипломная работа [603,8 K], добавлен 24.01.2013Производные основных элементарных функций. Правила дифференцирования. Условия существования и единственности задачи Коши. Понятие дифференциальных уравнений, их применение в моделях экономической динамики. Однородные линейные ДУ первого и второго порядка.
курсовая работа [1,0 M], добавлен 22.10.2014Общий интеграл уравнения, применение метода Лагранжа для решения неоднородного линейного уравнения с неизвестной функцией. Решение дифференциального уравнения в параметрической форме. Условие Эйлера, уравнение первого порядка в полных дифференциалах.
контрольная работа [94,3 K], добавлен 02.11.2011Великая (большая и последняя) теорема Ферма, ее доказательство для простых показателей. Целочисленные решение уравнения Пифагора в "Арифметике" Диофанта. Формулы для решения уравнения Пифагора в виде взаимно простых чисел. Преобразование уравнения Ферма.
реферат [29,1 K], добавлен 19.11.2010Решение дифференциального уравнения методом численного интегрирования Адамса. Методы, основанные на применении производных высших порядков. Формулы, обеспечивающие более высокую степень точности, требующие вычисления третьей производной искомого решения.
курсовая работа [81,9 K], добавлен 29.08.2010