Решение уравнения с частными производными параболического типа

Курсовая работа: Решение параболических уравнений

Реферат

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

Объем курсовой работы: 33 с.

Ключевые слова: параболическое уравнение, уравнение теплопроводности, метод сеток, краевая задача, конечные разности.

1. Теоретическая часть

1.1 Метод сеток решения уравнений параболического типа

1.2 Метод прогонки решения разностной задачи для уравненийпараболического типа

1.3 Оценка погрешности и сходимость метода сеток

1.4 Доказательство устойчивости разностной схемы

2. Реализация метода

2.1 Разработка программного модуля

2.2 Описание логики программного модуля

2.3 Пример работы программы

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

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

.

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

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

1. Теоретическая часть

1.1 Метод сеток решения уравнений параболического типа

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

. (1.1)

Требуется найти функцию в области с границей при заданных краевых условиях. Согласно методу сеток в плоской области строится сеточная область , состоящая из одинаковых ячеек. При этом область должна как можно лучше приближать область . Сеточная область (то есть сетка) состоит из изолированных точек, которые называются узлами сетки. Число узлов будет характеризоваться основными размерами сетки : чем меньше , тем больше узлов содержит сетка. Узел сетки называется внутренним, если он принадлежит области , а все соседние узлы принадлежат сетке . В противном случае он называется граничным. Совокупность граничных узлов образует границу сеточной области .

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

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

Рассмотрим неоднородное уравнение теплопроводности, являющееся частным случаем уравнений параболического типа:

, (1.2)

– известная функция.

Будем искать решение этого уравнения в области

Заметим, что эту полуполосу всегда можно привести к полуполосе, когда . Уравнение (1.2) будем решать с начальными условиями:

, (1.3)

– известная функция, и краевыми условиями:

(1.4)

где – известные функции переменной .

Для решения задачи область покроем сеткой .

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

.

Для производной запишем следующие формулы:

,

,

.

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

, (1.5)

, (1.6)

, (1.7)

.

Разностные уравнения (1.5) аппроксимируют уравнение (1.2) с погрешностью , уравнение (1.6) – с такой же погрешностью, а уравнение (1.7) уже аппроксимирует уравнение (1.2) с погрешностью .

В разностной схеме (1.5) задействованы 4 узла. Конфигурация схемы (1.5) имеет вид:

В схеме (1.6) также участвуют 4 узла, и эта схема имеет вид:

В схеме (1.7) участвуют 5 узлов, и эта схема имеет вид:

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

Для узлов начального (нулевого) слоя значения решения выписываются с помощью начального условия (1.3):

(1.8)

Для граничных узлов, лежащих на прямых и , заменив производные по формулам численного дифференцирования, получаем из граничных условий (1.4) следующие уравнения:

(1.9)

Уравнения (1.9) аппроксимируют граничные условия (1.4) с погрешностью , так как используем односторонние формулы численного дифференцирования. Погрешность аппроксимации можно понизить, если использовать более точные односторонние (с тремя узлами) формулы численного дифференцирования.

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

Третья схема также весьма проста для проведения вычислений, но при ее использовании необходимо кроме значений решения в узлах слоя найти каким-то образом значения функции и в слое . Далее вычислительный процесс легко организовывается. В случае второй схемы, которая является неявной, обязательно приходится решать систему уравнений для нахождения решения сеточной задачи.

С точки зрения точечной аппроксимации третья схема самая точная.

Введем в рассмотрение параметр . Тогда наши разностные схемы можно переписать, вводя указанный параметр. При этом самый простой их вид будет при .

В любом случае согласно методу сеток будем иметь столько уравнений, сколько имеется неизвестных (значения искомой функции в узлах). Число неизвестных равно числу всех узлов сетки. Решая систему уравнений, получаем решение поставленной задачи.

Разрешимость этой системы для явных схем вопросов не вызывает, так как все действия выполняются в явно определенной последовательности. В случае неявных схем разрешимость системы следует исследовать в каждом конкретном случае. Важным вопросом является вопрос о том, на сколько найденные решения хорошо (адекватно) отражают точные решения, и можно ли неограниченно сгущая сетку (уменьшая шаг по осям) получить приближенные решения, сколь угодно близкие к точным решениям? Это вопрос о сходимости метода сеток.

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

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

Явные схемы просты для организации вычислительного процесса, но имеют один весьма весомый недостаток: для их устойчивости приходится накладывать сильные ограничения на сетку. Неявные схемы свободны от этого недостатка, но есть другая трудность – надо решать системы уравнений большой размерности, что на практике при нахождении решения сложных уравнений в протяженной области с высокой степенью точности может потребовать больших объемов памяти ЭВМ и времени на ожидание конечного результата. К счастью, прогресс не стоит на месте и уже сейчас мощности современных ЭВМ вполне достаточно для решения поставленных перед ними задач.

1.2 Метод прогонки решения разностной задачи для уравнений параболического типа

Рассмотрим частный случай задачи, поставленной в предыдущем разделе. В области

найти решение уравнения

(1.10)

с граничными условиями

(1.11)

и начальным условием

. (1.12)

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

Запишем разностное уравнение, аппроксимирующее дифференциальное уравнение (1.10) во всех внутренних узлах слоя . При этом будем использовать следующие формулы:

,

.

Эти формулы имеет погрешность . В результате уравнение (1.10) заменяется разностным:

(1.13)

Перепишем (1.13) в виде:

. (1.14)

Данная вычислительная схема имеет следующую конфигурацию:

(1.15)

(1.16)

Система (1.14) – (1.16) представляет собой разностную задачу, соответствующую краевой задаче (1.10) – (1.12).

За величину мы положили .

(1.14) – (1.16) есть система линейных алгебраических уравнений с 3-диагональной матрицей, поэтому ее резонно решать методом прогонки, так как он в несколько раз превосходит по скорости метод Гаусса.

. (1.17)

Здесь , – некоторые коэффициенты, подлежащие определению. Заменив в (1.17) на будем иметь:

. (1.18)

Подставив уравнение (1.18) в (1.14) получим:

. (1.19)

Сравнив (1.17) и (1.19) найдем, что:

(1.20)

Положим в (1.14) и найдем из него :

,

.

(1.21)

Заметим, что во второй формуле (1.21) величина подлежит замене на согласно первому условию (1.15).

С помощью формул (1.21) и (1.20) проводим прогонку в прямом направлении. В результате находим величины

Затем осуществляем обратный ход. При этом воспользуемся второй из формул (1.15) и формулой (1.17). Получим следующую цепочку формул:

(1.22)

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

Итак, мы построили неявную схему решения дифференциальных уравнений параболического типа методом сеток.

1.3 Оценка погрешности и сходимость метода сеток

При решении задачи методом сеток мы допускаем погрешность, состоящую из погрешности метода и вычислительной погрешности.

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

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

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

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

1.4 Доказательство устойчивости разностной схемы

Пусть есть решение уравнения (1.14), удовлетворяющее возмущенным начальным условиям

и граничным условиям

.

Здесь – некоторые начальные ошибки.

.

Погрешность будет удовлетворять уравнению

(1.23)

(в силу линейности уравнения (1.14)), а также следующими граничными и начальными условиями:

, (1.24)

. (1.25)

Частное решение уравнения (1.23) будем искать в виде

. (1.26)

Здесь числа и следует подобрать так, чтобы выражение (1.26) удовлетворяло уравнению (1.23) и граничным условиям (1.24).

При целом удовлетворяет уравнению (1.23) и условиям (1.24).

Подставим уравнение (1.26) в уравнение (1.24). При этом получим:

.

Выражение в квадратных скобках равно

.

Подставляя это выражение в предыдущее уравнение вместо выражения в квадратных скобках и проводя сокращения на получим:

,

откуда находим :

.

Таким образом, согласно уравнению (1.26), получаем линейно-независимые решения уравнения (1.23) в виде

Заметим, что это частное решение удовлетворяет однородным краевым условиям (1.24). Линейная комбинация этих частных решений также является решением уравнения (1.23):

, (1.27)

причем , определенное в выражении (1.27), удовлетворяет для любых однородным граничным условиям (1.24). Коэффициенты подбираются исходя из того, что должны удовлетворять начальным условиям (1.25):

.

В результате получаем систему уравнений

,

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

Для устойчивости исследуемой разностной схемы необходимо, чтобы при любых значениях коэффициентов , определяемое формулой (1.27), оставалось ограниченной величиной при . Для этого достаточно, чтобы для всех выполнялось неравенство

. (1.28)

Анализируя (1.28) видим, что это неравенство выполняется для любых значений параметра . При этом при или в крайнем случае, когда

,

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

2. Реализация метода

2.1 Разработка программного модуля

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

(1.29)

,

(1.30)

Разобьем область прямыми

– шаг по оси ,

– шаг по оси .

Заменив в каждом узле производные конечно-разностными отношениями по неявной схеме, получим систему вида:

. (1.31)

Преобразовав ее, получим:

, (1.32)

В граничных узлах

(1.33)

В начальный момент

. (1.34)

Эта разностная схема устойчива при любом . Будем решать систему уравнений (1.32), (1.33) и (1.34) методом прогонки. Для этого ищем значения функции в узле в виде

, (1.35)

где – пока неизвестные коэффициенты.

. (1.36)

Подставив значение (1.35) в (1.32) получим:

.

. (1.37)

Из сравнения (1.35) и (1.37) видно, что

. (1.38)

. (1.39)

Для из (1.32) имеем:

.

.

Откуда, используя (1.35), получим:

, (1.40)

. (1.41)

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

1) Зная значения функции на границе (1.33), найдем значения коэффициентов по (1.40) и по (1.38) для всех .

2) Найдем по (1.41), используя для начальное условие (1.34).

3) Найдем по формулам (1.39) для .

4) Найдем значения искомой функции на слое, начиная с :

2.2 Описание логики программного модуля

Листинг программы приведен в приложении 1. Ниже будут описаны функции программного модуля и их назначение.

Функция main() является базовой. Она реализует алгоритм метода сеток, описанного в предыдущих разделах работы.

Функция f (x, y) представляет собой свободную функцию двух переменных дифференциального уравнения (1.29). В качестве аргумента в нее передаются два вещественных числа с плавающей точкой типа float. На выходе функция возвращает значение функции , вычисленное в точке .

Функции mu_1 (t) и mu_2 (t) представляют собой краевые условия. В них передается по одному аргументу (t) вещественного типа (float).

Функция phi() является ответственной за начальный условия.

В функции main() определены следующие константы:

– правая граница по для области ;

– правая граница по для области ;

– шаг сетки по оси ;

– шаг сетки по оси ;

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

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

Программа написана на языке программирования высокого уровня Borland C++ 3.1 в виде приложения MS-DOS. Обеспечивается полная совместимость программы со всеми широко известными операционными системами корпорации Майкрософт: MS-DOS 5.x, 6.xx, 7.xx, 8.xx, Windows 9x/Me/2000/NT/XP.

2.3 Пример работы программы

В качестве примера рассмотрим численное решение следующего дифференциального уравнения параболического типа:

,

Задав прямоугольную сетку с шагом оси 0.1 и по оси 0.01, получим следующее решение:

2.10 1.91 1.76 1.63 1.53 1.44 1.37 1.31 1.26 1.22 1.18

2.11 1.75 1.23 1.20 1.15 1.10 1.07 1.04 1.04 1.07 1.21

2.12 1.61 0.95 0.96 0.93 0.91 0.90 0.90 0.94 1.03 1.24

2.13 1.51 0.79 0.81 0.81 0.80 0.81 0.83 0.89 1.03 1.27

2.14 1.45 0.69 0.73 0.74 0.74 0.76 0.80 0.88 1.04 1.31

2.15 1.41 0.64 0.69 0.70 0.71 0.74 0.79 0.89 1.05 1.34

В таблице ось x расположена горизонтально, а ось t расположена вертикально и направлена вниз.

На выполнение программы на среднестатистическом персональном компьютере тратится время, равное нескольким миллисекундам, что говорит о высокой скорости алгоритма.

Подробно выходной файл output.txt, содержащий таблицу значений функции представлен в приложении 3.

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

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

1. Березин И.С., Жидков Н.П.Методы вычислений. Т.2. – М.: Физматгиз, 1962.

2. Тихонов А.Н., Самарский А.А.Уравнения математической физики. – М.: Наука, 1972.

3. Пирумов У.Г.Численные методы. – М.: Издательство МАИ, 1998.

4. Калиткин Н.Н.Численные методы. – М.: Наука, 1976.

Дифференциальные уравнения в частных производных с примерами решения и образцами выполнения

Дифференциальным уравнением с частными производными называется уравнение вида
(1)

связывающее независимые переменные x1, х2, … , хn искомую функцию и = и(х1, х2,…, хn) и ее частные производные (наличие хотя бы одной производной обязательно). Здесь ki,k2,… ,кn — неотрицательные целые числа, такие, что к1 + к2 + … + кп = т.

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

— дифференциальное уравнение 1-го порядка;

— дифференциальные уравнения 2-го порядка.

Для упрощения записи пользуются также следующими обозначениями:

Пусть имеем дифференциальное уравнение с частными производными (1) порядка т. Обозначим через С m (D) множество функций, непрерывных в области D вместе со всеми производными до порядка m включительно.

Определение:

Решением дифференциального уравнения (1) в некоторой области D изменения независимых переменных x1, x2…xn,. называется всякая функция и = и(х1, х2,…, xп) ∈ С m (D) такая, что подстановка этой функции и ее производных в уравнение (1) обращает последнее в тождество по x1, x2, …., хп в области D.

Пример:

Найти решение и = и(х,у) уравнения

Равенство (2) означает, что искомая функция и не зависит опт х, но может быть любой функцией от у,

u = φ(y). (3)

Таким образом, решение (3) уравнения (2) содержит одну произвольную функцию. Это — общее решение уравнения (2).

Приме:

Найти решение u = u(z, у) уравнения

Положим = о. Тогда уравнение (4) примет вид = 0. Его общим решением будет произвольная функция v = w(у). Поскольку v= приходим к уравнению = w(у). Интегрируя по у (считая х параметром), получим

где g(x) — произвольная функция. Так как w(у) — произвольная функция, то и интеграл от нее также является произвольной функцией; обозначим его через f(у). В результате получим решение уравнения (4) в виде

u(x, y) = f(y) + g(x) (5)

произвольные дифференцируемые функции).

Решение (5) уравнения с частными производными 2-го порядка (4) содержит уже две произвольные функции. Его называют общим решением уравнения (4), так как всякое другое решение уравнения (4) может быть получено из (5) подходящим выбором функций f и g.

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

Пример:

Множество действительных решений уравнения

исчерпывается функцией u(x, y) = const, а уравнение

вовсе не имеет действительных решений.

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

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

Уравнение с частными производными называется линейным, если оно линейно относительно искомой функции и всех ее производных, входящих в уравнение; в противном случае уравнение называется нелинейным.

Пример:

— линейное уравнение; уравнения

Линейное дифференциальное уравнение 2-го порядка для функции двух независимых переменных х, у в общем случае имеет вид
(1)

где А(х, у), В(х, у), …, с(х,у), f(x,y) — функции переменных х, у, заданные в некоторой области D плоскости хОу. Если f(x,y) ≡ 0 в D, то уравнение (1) называется однородным, в противном случае — неоднородным.

Обозначив левую часть уравнения (1) через L[u], запишем (1) в виде

L[u] = f(x, у). (2)

Соответствующее однородное уравнение запишется так:

L[u] = 0. (3)

Здесь L — линейный дифференциальный оператор, определенный на линейном пространстве C 2 (D) функций и = и(х, у).

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

Теорема:

Если и(х, у) есть решение линейного однородного уравнения (3), то си(х, у), где с — любая постоянная, есть также решение уравнения (3).

Теорема:

Если и₁(х, у) и и₂(х, у) — решения линейного однородного уравнения (3), то сумма и₁(х, у) + и₂(x, у) есть также решение этого уравнения.

Следствие:

Если каждая из функций и₁(х, у) и и₂(х, у), u k(x, у) является решением уравнения (3), то линейная комбинация

где c1, c2 …, сk — произвольные постоянные, также является решением этого уравнения.

В отличие от обыкновенного линейного однородного дифференциального уравнения, имеющего конечное число линейно независимых частных решений, линейная

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

Пример:

имеет общее решение k = φ(х), так что решениями его будут, например, функции 1,х,…, х n ,… . В соответствии с этим в линейных задачах для уравнений с частными производными нам придется иметь дело не только с линейными комбинациями конечного числа решений, но и с рядами , членами которых являются произведения постоянных Сп на частные решения иn(х, у) дифференциального уравнения.

Возможны случаи, когда функция и(х, у; λ) при всех значениях параметра λ из некоторого интервала (λо, λ1), конечного или бесконечного, является решением уравнения (3). В этом случае говорят, что решения уравнения зависят от непрерывно меняющегося параметра λ. Если теперь взять функцию С(λ) такую, что первые и вторые производные интеграла

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

L[u] = f (4)

справедливы следующие предложения.

Теорема:

Если и(х, у) есть решение линейного неоднородного уравнения (4), a v(x, у) — решение соответствующего однородного уравнения (3), то сумма и + v есть решение неоднородного уравнения (4).

Теорема:

Принцип суперпозиции. Если и1(х, у) —решение уравнения L[u] = f1, a u2(x,y) — решение уравнения L[u] = f2, то и1 + u2 — решение уравнения L[u] = f1 + f2.

Классификация линейных дифференциальных уравнений второго порядка с двумя независимыми переменными

Определение:

Линейное дифференциальное уравнение второго порядка

в некоторой области Q на плоскости хОу называется

1) гиперболическим в Ω, если

2) параболическим в Ω, если

3) эллиптическим в Ω, если

Пользуясь этим определением, легко проверить, что уравнения

— гиперболические при всех х и у, уравнение

— параболическое при всех х и у, а уравнение

— эллиптическое при всех х и у. Уравнение

— эллиптическое при у > 0, параболическое на линии у = 0 и гиперболическое в полуплоскости у

с помощью которой уравнение (1) преобразуется к более простому, каноническому виду, своему для каждого типа уравнения.

Уравнение гиперболического типа (∆ > 0) преобразуется к вшу

(два канонических вида уравнений гиперболического типа).

Уравнение параболического типа (∆ ≡ 0) преобразуется к виду

(канонический вид уравнения параболического типа).

Уравнение эллиптического типа (∆

(канонический вид уравнения эллиптического типа). Здесь F и Ф — некоторые функции, зависящие от искомой функции и, ее первых производных и независимых переменных ξ, η. Вид функций F и Ф определяется исходным уравнением (1).

В некоторых случаях каноническая форма уравнения позволяет найти общее решение исходного уравнения.

Как правило, приведениеуравнения(1) к каноническому виду путем замены независимых переменных имеет локальный характер, т. е. осуществимо лишь в некоторой достаточно малой окрестности рассматриваемой точки Mo(xo, уo).

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

Здесь и = и(х, у, z, t).

Замечание:

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

к каноническому виду возможно только в данной точке и невозможно в любой сколь угодно малой окрестности этой точки.

Мы ограничимся рассмотрением линейных дифференциальных уравнений 2-го порядка. К таким уравнениям приводит большое количество различных физических задач.

Так, колебательные процессы различной природы (колебания струн, мембран, акустические колебания газа в трубах, электромагнитные колебания и т. д.) описываются уравнениями гиперболического типа. Простейшим из таких уравнений является уравнение колебаний струны (одномерное волновое уравнение): (2)

Здесь х — пространственная координата, t — время, где Т — натяжение струны, р — ее линейная плотность.

Процессы теплопроводности и диффузии приводят к уравнениям параболического типа. В одномерном случае простейшее уравнение теплопроводности имеет вид
(3)

Здесь где р — плотность среды, с — удельная теплоемкость, k — коэффициент теплопроводности.

Наконец, установившиеся процессы, когда искомая функция не зависит от времени, определяются уравнениями эллиптического типа, типичным представителем которых является уравнение Лапласа
(4)

Непосредственной проверкой убеждаемся в том, что решением уравнения (2) является всякая функция и(х, t) вида

Можно показать, что решениями уравнения (3) являются функции вида

произвольные постоянные, А — числовой параметр). Интегрируя решение и(х, t; λ) = уравнения (3) по параметру λ в пределах от — ∞ до + ∞ , получим так называемое фундаментальное решение U(x, t) = уравнения теплопроводности.

Наконец, нетрудно убедиться, что действительнозначные функции Рn(х,у) и Qn(x, у), определяемые из соотношения

являются решениями уравнения Лапласа (4) для п = 0, 1, 2…..Этот последний результат есть частный, случай общего утверждения, что и действительная и мнимая части аналитической функции

f(z) = u(x, у) + iv(x, у)

комплексного переменного z = х + iy являются решениями уравнения Лапласа (4).

В силу линейности уравнения (4) ряды

тоже будут решениями уравнения (4), если они сходятся равномерно, как и ряды, полученные из них двукратным почленным дифференцированием по каждому из аргументов х, у.

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

Постановка основных задач для линейных дифференциальных уравнений второго порядка

Для полного описания того или иного физического процесса мало иметь только дифференциальное уравнение процесса, надо еще задать начальное состояние этого процесса (начальные условия) и режим на границе S той области Ω, в которой процесс происходит (граничные условия). Это обусловлено неединственностью решения дифференциальных уравнений.

Пример:

Общее решение уравнения

имеет вид и(х, у) = f(x) + g(y), где f(x) и g(y) — произвольные дифференцируемые функции. Поэтому чтобы выделить решение, описывающее данный физический процесс, необходимо задать дополнительные условия.

Различают три основных типа задач для дифференциальных уравнений с частными производными (число независимых переменных равно п):

а) задача Коши для уравнений гиперболического и параболического типов: задаются начальные условия, область Ω совпадает со всем пространством R n , граничные условия отсутствуют;

б) краевая задача для уравнений эллиптического типа: задаются граничные условия на границе S области Ω, начальные условия отсутствуют;

в) смешанная задача для уравнений гиперболического и параболического типов: задаются начальные и граничные условия, Ω ≠ R n

Решение заданий и задач по предметам:

Дополнительные лекции по высшей математике:

Образовательный сайт для студентов и школьников

Копирование материалов сайта возможно только с указанием активной ссылки «www.lfirmal.com» в качестве источника.

© Фирмаль Людмила Анатольевна — официальный сайт преподавателя математического факультета Дальневосточного государственного физико-технического института

Устойчивость решений дифференциальных уравнений в частных производных параболического типа Текст научной статьи по специальности « Математика»

Аннотация научной статьи по математике, автор научной работы — Бойков Илья Владимирович, Паксялева Оксана Геннадьевна, Романова Людмила Дмитриевна

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

Похожие темы научных работ по математике , автор научной работы — Бойков Илья Владимирович, Паксялева Оксана Геннадьевна, Романова Людмила Дмитриевна

Текст научной работы на тему «Устойчивость решений дифференциальных уравнений в частных производных параболического типа»

И. В. Бойков, О. Г. Паксялева, Л. Д. Романова

УСТОЙЧИВОСТЬ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ В ЧАСТНЫХ ПРОИЗВОДНЫХ ПАРАБОЛИЧЕСКОГО ТИПА

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

Ключевые слова: устойчивость, системы параболических уравнений.

Abstract. Given the sufficient conditions of stability of parabolic systems. The coefficients of parabolic systems are depended on time and space coordinates. Keywords: stability, systems of parabolic equations.

Исследованию устойчивости решений различных классов уравнений в частных производных посвящена обширная литература, подробная библиография которой приведена в 1. Основным аппаратом исследования устойчивости решений линейных и нелинейных уравнений в частных производных является применение преобразования Фурье и построение обобщенных функционалов Ляпунова.

В работе [4] был предложен метод построения критериев устойчивости решений систем линейных и нелинейных дифференциальных уравнений параболического типа, основанный на исследовании спектров и логарифмических норм специальным образом построенных семейств линейных операторов. Недостатком этого метода является то обстоятельство, что он применим только к уравнениям, определенным во всем пространстве пространственных переменных.

В данной работе предложен другой метод исследования устойчивости решений систем дифференциальных уравнений параболического типа. Этот метод применим к уравнениям, заданным в конечных областях. Он является распространением метода, описанного в [5], на системы уравнений в частных производных параболического типа.

Отметим, что предлагаемые ниже критерии устойчивости могут быть распространены и на некоторые другие системы дифференциальных уравнений с распределенными параметрами.

В данной работе рассматриваются системы линейных параболических уравнений, имеющие при любых начальных значениях из рассматриваемой области решения, определенные при всех значениях t е [tg,тс).

При исследовании устойчивости решений линейных параболических уравнений ограничимся рассмотрением уравнений

+a13(t, x)u1(t, x) + a14(t, x)u2(t, x); du2(^,x) _a21 (t,x)Au1 (t,x) + a22(t,x)Au2(t,x) +

+023^, х)щ(V, х) + 024^, х)ы2^, х) (1)

в ограниченных областях й с гладкой границей Г = дQ. Здесь

и (V, х) = (и^, х), ^2(V, х)), х = (х1,х2).

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

Уравнение (1) имеет тривиальное решение при нулевых начальном и граничном условиях. Будем исследовать устойчивость тривиального решения при нулевом граничном условии

и при возмущении начального условия

Исследование устойчивости решения системы уравнений (1) при граничном значении (2) будем проводить в пространстве функций и (V, х) = (и1 (V, х), и2 (V, х)) с нормой

Iи (t) ||2= JJ(u—(t, x) + u—(t, x))dx.

Умножим первое из уравнений системы (1) на щ(ґ,х), второе — на и2 (^, х) и проинтегрируем каждое из них по рассматриваемой области интегрирования. В результате получаем систему уравнений

——JJ u2 (t, x)dx = JJ a„(t, x)ui (t, x)Aui (t, x)dx +

+JJ ai—(t, x)ui (t, x) Au— (t, x)dx +

JJ °l3(t, x)u— (t, x)dx + JJ ai4(t, x)ui(t, x)u— (t, x)dx;

i d JJu—(t, x)dx = JJ a—i(t , x)u— (t, x)Aui (t, x)dx —

JJ a——(t , x)u— (t, x)Au— (t, x)dx +

+JJ a—3 (t, x)ui (t, x)u— (t, x)dx + JJ a—4 (t, x)u— (t, x)dx. (4)

Воспользуемся интегральной теоремой Остроградского — Гаусса

J J (grad u,grad v)dx + JJ vAudx = Jv—ds, (5)

где п — единичная нормаль к контуру Г.

Положим v(t, x) = uj(t, x)ajj(t, x).

grad (uj (t, x)ajj(t, x) ) = ajj(t, x)grad u(t, x) + u (t, x)grad ajj(t, x).

Так как на границе Г области й uj(t, x) = 0, то из равенства (5) следует, что

Ц ajj(t, x)uj (t, x)Auj (t, x)dx = -JJ (ajj(t, x)grad uj (t, x), grad uj (t, x) )dx -й й

— JJ (uj (t, x)grad an(t, x), grad uj (t, x)) dx. й

Следовательно, если функции ajj(t, x), aj2(t, x), a2j(t, x), a22(t, x) зависят только от t, то приходим к следующей системе:

J J uj2 (t, x)dx = -aj j (t) J J (grad uj (t, x), grad uj (t, x) )dx -й й

-aj2 (t) J J (grad uj (t, x), grad u2 (t, x)) dx + й

+JJ aj3(t, x)uj2 (t, x)dx + JJ Oj4(t, x)uj(t, x)u2 (t, x) dx;

-—J Ju- (t, x)dx = _°2і(^) J J (grad uj (t, x), grad u- (t, x) )dx -й й

—a— (t) J J (grad u- (t, x), grad u- (t, x) — dx +

J J a-з (t, x)ui (t, x)u- (t, x)dx + JJ a-4 (t, x)u- (t, x)dx. (6)

Исследуем устойчивость решения системы уравнений (6) в предположении, что функции ajj (t, x), i = 1,-, j = 1,-,3,4, не зависят от x. В результате приходим к следующей системе уравнений:

—JJui- (t, x)—x = —-aj j (t) J J (grad uj (t, x))- dx — й й

—-aj-(t) JJ (grad uj (t, x), grad u- (t, x) )dx + й

+-aj3 (t) J J u- (t, x)dx + -aj4 (t) J J uj (t, x)u- (t, x)dx;

j JJu2 (t, x)dx = -2«2j(t )JJ (grad uj (t, x), grad u2(t, x) )x-

-2a22 (t) J J (grad u2 (t, x))2 dx + 2a23 (t) J J uj (t, x)u2 (t, x)dx + й й

+2a24 (t) J J u2 (t, x)dx. (7)

Сложим первое и второе уравнения системы (7). В результате приходим к уравнению

j JJ (uj2 (t, x)+ uf (t, x))dx = f (t) =

= -2ajj(t) J J (grad uj (t, x), grad uj (t, x))dx -й

-2(aj2 (t) + a2j(t)) J J (grad uj (t, x),grad u2 (t, x))dx + й

+2( aj4 (t) + a23 (t)) J J (uj (t, x), u2 (t, x))dx + й

+2aj3(t )JJuj2(t, x)dx + 2a24(t) JJu2 (t, x)dx -й й

-2a22 (t) J J (grad u2 (t, x), grad u2 (t, x))dx. (8)

Преобразуем функцию f (t) следующим образом:

f (t) = -(aj2(t) + a2j(t))) (grad uj (t, x) + grad u2 (t, x) )2 dx +

+ (aj2(t) + a2j(t) — 2ajj(t) ) J J (grad uj (t, x) )2 dx +

+ (aj2(t) + a2j(t) — 2a22 (t)) (grad u2 (t, x) )2 dx +

+ (aj4(t) + a23(t)) J J ((t,x) + u2 (t, x))2 dx -й

-(aj4(t) + a23 (t) — 2aj3(t)) u2 (t, x)dx —

-(aj4(t) + a23 (t) — 2a24 (t)) u| (t, x)dx.

Предыдущую функцию можно представить в следующем виде: f (t ) = — (aj2(t) + a2j(t) ))(grad u j( t, x) + grad u2(t, x) )2 dx +

+ ((*) + а21 (г) — 2а22 (г)) (grad и2 (г, х) )2 )х +

+ (4(0 + а2з(г) )) ( (г, х) + и2(г, х) )2 2х -а

-(а^(г) + а2з(г) — 2а1з(г) )) (и 2 (г, х) + и2 (г, х) | —х +

+ (2а24 (г) — 2а1з(г) ))и2 (г, х) —х.

Предположим, что выполнены следующие условия при всех значениях

012 (г) + а21 (г) > 0, а12 (г) + а21(г) — 2ап (г) 0, а^О -а^(0 ¿0)

/ (0 ^) выполняется условие

-(ам(0 + а2з( 0 — 2а1з( г)) 0, (1з)

то решение уравнения (11) устойчиво в целом.

Так как при сделанных предположениях /(г) 0, aj2 (t) + a2j(t) — 2an (t) 0, a24(t) — a23(t) > 0 ^4)

выполняется неравенство f (t) 0, (j5)

она асимптотически устойчива.

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

Теорема 1. Пусть выполнены условия (9) или (14). Тогда решение системы уравнений (1) устойчиво.

Теорема 2. Пусть выполнены условия (9) и (13) или (14) и (15). Тогда

решение системы уравнений (1) асимптотически устойчиво.

1. Эйдельман, С. Д. Параболические системы / С. Д. Эйдельман. — М. : Наука, 1964. — 444 с.

2. Сиразетдинов, Т. К. Устойчивость систем с распределенными параметрами / Т. К. Сиразетдинов. — М. : Наука, 1987. — 232 с.

3. Шес таков, А. А. Обобщенный прямой метод Ляпунова для систем с распределенными параметрами / А. А. Шестаков. — М. : Наука, 1990. — 320 с.

4. Бойков, И. В. Об определении областей устойчивости для некоторых классов нелинейных уравнений с распределенными параметрами / И. В. Бойков // Автоматика и телемеханика. — 2001. — № 1. — С. 40-49.

5. Пу, Т. Нелинейная экономическая динамика / Т. Пу. — Ижевск : Издательский дом «Удмурдский университет», 2000. — 200 с.

6. Мартынюк, А. А. Устойчивость движения. Метод интегральных неравенств / А. А. Мартынюк, В. Лакшмикантам, С. Лила. — Киев : Наукова думка, 1989. — 272 с.

Бойков Илья Владимирович

доктор физико-математических наук, профессор, заведующий кафедрой высшей и прикладной математики, Пензенский государственный университет

Паксялева Оксана Геннадьевна

аспирант, Пензенский государственный университет

Романова Людмила Дмитриевна доцент, кафедра высшей и прикладной математики, Пензенский государственный университет

Boykov Ilya Vladimirovich Doctor of physico-mathematical sciences, professor, head of sub-department of higher and applied mathematics,

Penza State University

Paksyaleva Oksana Gennadyevna Postgraduate student,

Penza State University

Romanova Lyudmila Dmitrievna Associate professor, sub-department of higher and applied mathematics, Penza State University

УДК 517.19 Бойков, И. В.

Устойчивость решений дифференциальных уравнений в частных производных параболического типа / И. В. Бойков, О. Г. Паксялева, Л. Д. Романова // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2009. — № 4 (12). — С. 20-26.