- •Зависимость решения задачи Коши от исходных данных и параметров
- •Непрерывная зависимость решения задачи Коши от исходных данных
- •Непрерывная зависимость от исходных данных
- •Теорема сравнения
- •Зависимость решения задачи Коши от параметра
- •Непрерывная зависимость решения задачи Коши от параметра
- •Дифференцируемость решения задачи Коши по параметру
- •Метод малого параметра
- •Теория устойчивости
- •Основные понятия
- •Основные понятия теории устойчивости
- •Редукция к задаче устойчивости нулевого решения
- •Устойчивость нулевого решения линейной системы с постоянными коэффициентами
- •Вспомогательные утверждения
- •Теорема об асимптотической устойчивости нулевого решения линейной системы с постоянными коэффициентами
- •Теорема об устойчивости нулевого решения линейной системы с постоянными коэффициентами
- •Теорема о неустойчивости нулевого решения линейной системы с постоянными коэффициентами
- •Исследование на устойчивость по первому приближению (первый метод Ляпунова)
- •Исследование на устойчивость с помощью функций Ляпунова (второй метод Ляпунова)
- •Положительно определенные функции
- •Функция Ляпунова
- •Теорема об устойчивости
- •Теорема об асимптотической устойчивости
- •Теорема Четаева о неустойчивости
- •Устойчивость точек покоя
- •Классификация точек покоя
- •Классификация точек покоя линейной системы
- •Классификация точек покоя нелинейной системы
- •Краевые задачи для дифференциального уравнения второго порядка
- •Постановка краевых задач
- •Преобразование уравнения
- •Редукция к однородным краевым условиям
- •Тождество Лагранжа и его следствие
- •Формула Грина и ее следствие
- •Функция Грина. Существование решения краевой задачи
- •Функция Грина
- •Существование и единственность функции Грина
- •Нахождение решения неоднородной краевой задачи с помощью функции Грина
- •Задача Штурма-Лиувилля
- •Теорема Стеклова
- •Уравнения в частных производных первого порядка
- •Первые интегралы нормальной системы
- •Определение первого интеграла
- •Производная первого интеграла в силу системы
- •Геометрический смысл первого интеграла
- •Независимые первые интегралы
- •Уравнения в частных производных первого порядка
- •Классификация дифференциальных уравнений в частных производных первого порядка
- •Линейные однородные дифференциальные уравнения в частных производных первого порядка
- •Задача Коши для квазилинейного уравнения в частных производных
- •Основы вариационного исчисления
- •Основные понятия вариационного исчисления
- •Вариация функционала
- •Экстремум функционала
- •Основная лемма вариационного исчисления
- •Уравнение Эйлера
- •Необходимые условия экстремума для некоторых функционалов
- •Функционал, зависящий от производных порядка выше первого
- •Функционал, зависящий от функции двух переменных
- •Вариационная задача на условный экстремум
- •Неявные функции и функциональные матрицы
72 Глава 3. Краевые задачи
Пусть λ больше нуля. Тогда общее решение уравнения (3.41) имеет
вид |
√λx + c2 cos √λx. |
y(x) = c1 sin |
Из краевого условия в нуле следует, что c2 = 0. Тогда из краевого условия√в π получим уравнение для определения собственных значений sin λπ = 0. Его решениями являются собственные значения
λn = n2, n = 1, 2, . . . .
Соответствующие им собственные функции
yn(x) = c sin nx,
где c – произвольная отличная от нуля постоянная.
3.3.1. Теорема Стеклова
Сформулируем теорему, подчеркивающую важность задачи Штурма-Лиувилля.
Рассмотрим собственные функции задачи Штурма-Лиувилля (3.33)- (3.35). Можно показать, что их счетное число. Следовательно все их можно занумеровать yn(x), n = 1, 2, . . . . Чтобы устранить неопределенность, связанную с тем, что они содержат произвольный сомножитель, будем считать, что
l
Z
(yn(x))2dx = 1.
0
Пусть f(x) некоторая непрерывная на [0, l] функция. Введем обозначение
fn = Z |
l |
f(x)yn(x)dx, n = 1, 2, . . . . |
|
0 |
|
Сформулируем теорему, имеющую важное значение во многих областях математики и ее приложений.
Теорема 3.3.5. (Теорема Стеклова) Если f(x) C2[0, l] и удовлетворяет краевым условиям (3.34), (3.35), то ряд
∞
X
fnyn(x)
n=1
3.3. Задача Штурма-Лиувилля |
73 |
|
сходится равномерно на отрезке [0, l] к функции f(x), то есть |
|
|
|
∞ |
|
|
X |
|
f(x) = |
fnyn(x), 0 6 x 6 l. |
|
n=1