
- •Факультет «Прикладная Математика»
- •Введение
- •Замечание 1.
- •Пример (уравнение Эйлера).
- •Замечание 2 (задача «гибдд»).
- •§3. Задача Коши для квазилинейного уравнения Постановка задачи Коши для квазилинейного уравнения.
- •Геометрическая интерпретация задачи в расширенном фазовом пространстве.
- •Задача.
- •Мораль: как решать задачу Коши?
- •Алгоритм решения задачи Коши {(1), (2)}.
- •Утверждение 1 (о справедливости алгоритма).
- •Упражнение.
- •Интерпретация алгоритма в фазовом пространстве.
- •§7. Обоснования алгоритмов решения задачи Коши для уравнения Гамильтона-Якоби
- •Глава 2 «Уравнение диффузии или теплопроводности. Метод разделения переменных (метод Фурье) его решения» §1. Получение уравнения диффузии или теплопроводности Параметры.
- •Вывод уравнения диффузии или теплопроводности.
- •§2. Постановка начально-краевой или смешанной задачи для уравнения диффузии или теплопроводности.
- •§3. Смешанная задача с краевым условиемI-ого рода Утверждение 1 (о редукции задачи (1)-(3) к задаче с однородным уравнением и однородными граничными условиями).
- •§4. Метод Фурье для однородной смешанной задачи с однородным граничным условием Идея принципа Фурье.
- •Утверждение 2.
- •Проблемы.
- •Теорема 2.
- •Следствие (о классическом решении задачи).
- •Пример (безопасность ядерного реактора).
- •§5. Корректность начально-краевой задачи для уравнения диффузии с краевым условиемI-ого рода
- •Теорема 2 (о единственности классического решения).
- •Теорема 3 (о непрерывной зависимости классического решения).
- •Теорема 4.
- •Замечание 3 (о локальности решения).
- •Пример.
- •§7. Классическое преобразование Фурье
Глава 2 «Уравнение диффузии или теплопроводности. Метод разделения переменных (метод Фурье) его решения» §1. Получение уравнения диффузии или теплопроводности Параметры.
xR3.
Теплопроводность: u(x,t) – температура.
D(x,t) – коэффициент теплопроводности.
c(x,t) –удельная теплопроводность.
f(x,t) – плотность тепловых источников.
(x,t) – плотность вещества.
Диффузия: u(x,t) – концентрация.
D(x,t) – коэффициент диффузии.
c(x,t) – пористость среды.
f(x,t) – плотность источников вещества.
Вывод уравнения диффузии или теплопроводности.
по формуле Грина-Стокса-Острогацкого-Гаусса
из векторного анализа. Здесь
,
аdV=d3x.
.
Q3=Q1+Q2 по закону сохранения энергии.
Считая все функции гладкими и применяя теорему о среднем к полученным тройным интегралам в формуле (2) и стягивая объем к произвольной точке x (устремляя его к0), переходим к дифференциальному уравнению:
Оно неоднородное при f 0, линейное приf 0, с переменными коэффициентами.
Рассмотрим случай, когда c,
, D
– константы. Заметим, что.
Тогда:
,
где
,
а
.
§2. Постановка начально-краевой или смешанной задачи для уравнения диффузии или теплопроводности.
x
, 0<t<T.
- начальное условие.
(3) граничные условия:
3a)
-краевое условие I-ого
рода. Если
=0, то данное краевое условие называютусловием Диришле.
3б)-краевое условие II-го
рода. Если
=0, то данное краевое условие называютусловием Неймана(в данном случае
область теплоизолирована).
3в)-краевое условие III-го
рода. Этозакон Фурьетеплообмена тела с окружающей средой,
температура которой равнаc0.
Задача {(1), (2), (3)} называется начально-краевой или смешанной задачей.
§3. Смешанная задача с краевым условиемI-ого рода Утверждение 1 (о редукции задачи (1)-(3) к задаче с однородным уравнением и однородными граничными условиями).
От задачи (1)-(3) можно перейти к задаче (1’)-(3’).
Обоснование редукции.
1) u=q=v+w,гдеw – произвольная функция, удовлетворяющая условию:
И т.о. мы переходим к задаче:
2) v будем искать в видеv=v1+v2.
Заметим, что (*2) – это задача (1’)-(3’).
3) Необходимо свести задачу (*) к задаче (1’)-(3’). Будем основываться напринципе Дионеля.
Замечание.
Вспомним принцип Дионеля из О.Д.У.
Тогда по принципу Дионеля
,
гдеw(t,
) удовлетворяет задаче
,
гдеW удовлетворяет
задаче:
Обоснуем этот принцип.
из формулы (4),
из третьего условия задачи (5).
Задача (5) (1’)-(3’),
т.к. полагая,
а для
как раз получаем задачу (1’)-(3’).
Утверждение доказано.
§4. Метод Фурье для однородной смешанной задачи с однородным граничным условием Идея принципа Фурье.
Под классическим решением задачи (1)-(3) будем понимать функцию
граничные
условия..
Эту функцию будем искать в виде
Для того, чтобы функция u удовлетворяла граничным условиям (3), необходимо, чтобы:
Задача (5)-(7) – это задача Штурма-Лиувилля.
Задача (6)-(7) эквивалентна спектральной
задаче для самосопряженного оператора
в L2(
), рассматриваемой в курсе функционального
анализа. В качестве оператора здесь
выступает оператор,
который определен в области
.
Можно показать, что
.
- спектральная задача.
Очевидно, что задача (8) эквивалентна задаче (6)-(7).
Утверждение 2.
1)
,
т.е.
формально самосопряжен (симметричен)
на своей области определения (на
).
2)
Доказательство.
1) Первый пункт доказывается на основеIIформулы Грина:
Т.к. v, u,
то
,
что и требовалось.
2) Второй пункт доказывается на основеIформулы Грина:
Положим в этой формуле vu
из граничных условий
Замечание.
Из утверждения 2 следует, что, если
существуют собственные значения
оператора
,
то они вещественны и неотрицательны.
Теорема 1 (собственных значениях и собственных функциях задачи (8)).
1) Все собственные значения
задачи (8) дискретны и не имеют конечного
предела, т.е. собственные значения:
j, jN,
причем.
2) Все собственные значения имеют конечную кратность и их можно перенумеровать в порядке неубывания:
0< 1 2 … j j+1 …
3) Система собственных вещественных
функций задачи (8)образовывает ортогональный базис вL2(
), т.е. любая функция
L2(
) раскладывается в ряд Фурье:
,
где
.
.
Замечание (о формальном решении задачи).
Предварительно из формулы (5) мы найдем
Подставив ее в (4), мы получим счетный
набор функций-решений уравнения (1),
удовлетворяющий граничным условиям:
Т.к. уравнение линейно, то и любая линейная
комбинация
- решение исходного уравнения. Т.о.
получаем формальное решение:
Используем начальное
условие:
.
.
Т.к. Vj
– базис, то
Т.о. формулы (5’), (9) и (10) определяют формальное решение исходной задачи (1)-(3). Не трудно показать, что функция (9) дважды дифференцируема внутри цилиндра:
Заметим, что
в силу равенства Парсеваля.
Но на самом деле можно
доказать, что