![](/user_photo/_userpic.png)
- •1 ОБОБЩЕННЫЕ ФУНКЦИИ: ОСНОВНЫЕ ПОНЯТИЯ
- •1.1.1 Пространство основных функций
- •1.2 ДЕЙСТВИЯ НАД ОБОБЩЕННЫМИ ФУНКЦИЯМИ
- •1.2.1 Дифференцирование обобщенных функций
- •1.2.2 Замена переменной обобщенной функции
- •1.2.4 Формула суммирования Пуассона
- •1.3 ЛОКАЛЬНЫЕ СВОЙСТВА ОБОБЩЕННЫХ ФУНКЦИЙ
- •1.3.1 Носитель обобщенной функции
- •1.4 СТЕПЕННЫЕ ОСОБЕННОСТИ
- •1.4.1 Регуляризация степенных особенностей
- •1.4.4 Формулы Сохоцкого
- •1.5 ВЫБОРОЧНЫЕ СВЕДЕНИЯ ОБ ОБОЩЕННЫХ ФУНКЦИЯХ МНОГИХ ПЕРЕМЕННЫХ
- •1.5.1 Прямое произведение обобщенных функций
- •1.6 СВЕРТКА ОБОБЩЕННЫХ ФУНКЦИЙ
- •1.6.1 Классическая свертка
- •1.6.2 Обобщенная свертка
- •1.7 ОБОБЩЕННЫЕ РЕШЕНИЯ ЛИНЕЙНЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
- •1.7.1 Обобщенные и классические решения
- •1.7.2 Фундаментальные решения
- •1.7.3 Фундаментальное решение и задача Коши
- •2 ОБОБЩЕННЫЕ ФУНКЦИИ МЕДЛЕННОГО РОСТА И ПРЕОБРАЗОВАНИЕ ФУРЬЕ
- •2.1 КЛАССИЧЕСКОЕ ПРЕОБРАЗОВАНИЕ ФУРЬЕ
- •2.1.1 Преобразование Фурье классической свертки
- •2.1.2 Равенство Парсеваля
- •2.1.3 Соотношение неопределенности
- •2.1.4 Многомерное преобразование Фурье
- •2.2 ОБОБЩЕННЫЕ ФУНКЦИИ МЕДЛЕННОГО РОСТА
- •2.3 ОБОБЩЕННОЕ ПРЕОБРАЗОВАНИЕ ФУРЬЕ
- •2.4 МЕТОД ФУРЬЕ ПОСТРОЕНИЯ ФУНДАМЕНТАЛЬНЫХ РЕШЕНИЙ ОПЕРАТОРОВ С ПОСТОЯННЫМИ КОЭФФИЦИЕНТАМИ
- •3 ПОСТАНОВКА И КОРРЕКТНОСТЬ ЗАДАЧ МАТЕМАТИЧЕСКОЙ ФИЗИКИ (КРАТКИЙ ОБЗОР)
- •3.1 КЛАССИФИКАЦИЯ УРАВНЕНИЙ ВТОРОГО ПОРЯДКА
- •3.2.1 Теорема Ковалевской и пример Адамара
- •3.3 ТЕОРЕМЫ ЕДИНСТВЕННОСТИ
- •3.3.1 Формулы Грина
- •3.3.2 Единственность внутренней смешанной задачи для волнового уравнения
- •3.3.3 Единственность внутренней смешанной задачи для уравнения теплопроводности
- •3.3.4 Единственность внутренней краевой задачи для уравнения Пуассона
- •3.3.5 Единственность внешних краевых задач для уравнения Пуассона
- •4 ОБОБЩЕННЫЕ РЕШЕНИЯ ЗАДАЧ МАТЕМАТИЧЕСКОЙ ФИЗИКИ
- •4.1 ФУНДАМЕНТАЛЬНЫЕ РЕШЕНИЯ ДЛЯ НЕКОТОРЫХ ПРОСТЕЙШИХ ОПЕРАТОРОВ
- •4.1.1 Волновое уравнение
- •4.1.2 Уравнение теплопроводности
- •4.2 ОБОБЩЕННАЯ ЗАДАЧА КОШИ
- •4.2.1 Постановка и решение обобщенной задачи Коши для волнового уравнения
- •4.2.2 Запаздывающие потенциалы
- •4.2.3 Формула Даламбера
- •4.2.4 Формулы Кирхгофа и Пуассона
- •4.2.5 Задачи Коши для уравнения теплопроводности
- •4.3 ФУНКЦИЯ ГРИНА КРАЕВОЙ ЗАДАЧИ ДЛЯ УРАВНЕНИЯ ЛАПЛАСА
- •4.3.1 Метод отражений
- •ДОПОЛНЕНИЯ
- •II ФРАКТАЛЬНОЕ ИНТЕГРИРОВАНИЕ И ДИФФЕРЕНЦИРОВАНИЕ
- •III -ФУНКЦИЯ
- •СПИСОК ЛИТЕРАТУРЫ
![](/html/611/244/html_PuVbcTXz0S.IApY/htmlconvd-MbbXnm19x1.jpg)
2) ((f g)0, φ) = (f g, −φ0) = (f(x), (g(y), −φ0(x + y))) = (f(x), (g0(y), φ(x + y))) =
(f g0, φ); из коммутативности свертки (f g)0 = (g f)0 = g f0 = f0 g. 3) доказывается аналогично 1).
Пример 1.13. f K0 δ f = f δ = f; δ(x − x0) f = f δ(x − x0) = f(x − x0) .
1.7ОБОБЩЕННЫЕ РЕШЕНИЯ ЛИНЕЙНЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
Ограничимся рассмотрением (линейных) обыкновенных дифференциальных уравнений вида
n |
dk |
|
|
X |
(1.2) |
||
|
|||
Ly(x) ≡ pk(x)dxk y(x) = f(x) . |
|||
k=0 |
|
|
1.7.1Обобщенные и классические решения
Классическое решение - это функция y(x), имеющая n непрерывных производных и удовлетворяющая уравнению (1.2). Такое решение заведомо существует, если все коэффициенты и правая часть в этом уравнении — гладкие функции, причем pn(x) 6= 0.
Определение 1.26. Оператором, сопряженным к L, называется оператор L , определяемый равенством:
. |
n |
|
dk |
|
L y(x) = |
X |
(−1)k |
|
(pk(x)y(x)) . |
k=0 |
dxk |
|||
|
|
|
|
Определение 1.27. Обобщенным решением дифференциального уравнения называется такой функционал y, что для любой пробной функции выполняется равенство (называемое интегральным тождеством) (y, L φ) = (f, φ).
Утверждение 1.16. 1) Классическое решение является обобщенным;
2) Обобщенное решение, имеющее n непрерывных производных, является классическим.
Доказательство этих утверждений вытекает из того факта , что для гладких решений имеет место тождество (получаемое интегрированием по частям)
Z Z Z
(y, L φ) = y(x) (L φ(x)) dx = (Ly(x)) φ(x)dx = f(x)φ(x)dx = (f, φ) .
Утверждение 1.17. Уравнение y0(x) = 0 имеет только классическое решение.
Фиксируем произвольную пробную функцию φ0(x), удовлетворяющую условию
R
φ0(x)dx = 1. Заметим, что любая пробная функция φ(x) может быть представлена как φ(x) = ψ0(x) + Aφ0(x), ãäå ψ(x) K è A = R φ(x)dx. Действительно, разрешив это равенство относительно ψ0(x) и проинтегрировав, получим
xx
ZZ
ψ(x) = ψ(−∞) + |
φ(t)dt − A φ0(t)dt . |
−∞ |
−∞ |
Существование свертки любой f с δ-функцией вытекает из финитности последней .
18
![](/html/611/244/html_PuVbcTXz0S.IApY/htmlconvd-MbbXnm20x1.jpg)
Из данного представления вытекает бесконечная гладкость ψ. Положим ψ(−∞) = 0. Из финитности φ(x) è φ0(x) вытекает ψ(x) ≡ 0 ïðè x < −R, ãäå R достаточно велико. Кроме
RR
R R R
òîãî, ïðè x > R ψ(R) = φ(x)dx − A φ0(x)dx = φ(x)dx − A = 0, ò.å. ψ финитная
−∞ −∞
функция. Таким образом, ψ K.
Для любого решения уравнения y0 = 0 имеем (y, φ) = (y, ψ0 + Aφ0) = (y0, −ψ) + A(y, φ0). Первое слагаемое здесь равно нулю в силу уравнения ; во втором слагаемом (y, φ0) является произвольной постоянной, зависящей от выбора φ0. Таким образом, (y, φ) = AC =
R
Cφ(x)dx = (C, φ), ò.å. y = C .
Пример 1.14. Рассмотрим уравнение xy0 = 0. Мы знаем, ÷òî y0 = C1δ(x). Частным решением последнего уравнения является C1θ(x), а общим решением соответствующего однородного уравнения — C2. Поэтому окончательно y(x) = C1θ(x) + C2.
В действительности, утверждение 1.17 допускает следующее обобщение (без доказательства):
Теорема 1.2. Уравнение (1.2) ïðè pn(x) 6= 0 имеет только классические решения.
1.7.2Фундаментальные решения
Определение 1.28. Фундаментальным решением оператора L называется обобщенная функция, удовлетворяющая уравнению LE = δ.
Очевидно, фундаментальное решение не изменится, если к нему прибавить любое ре-
шение однородного уравнения2 |
Ly = 0. |
|
||||
Пример |
|
d |
|
|
однако можно вычесть из этого решения |
|
1.15. L = dx2 − 1 E(x) = θ(x) sinh(x); |
||||||
1 |
1 |
|||||
2 ex, и тогда оно принимает симметричный вид E(x) = −2 e−|x|. |
||||||
Важнейшим свойством фундаментального решения является следующее |
Утверждение 1.18. Свертка y = E f (если существует) удовлетворяет уравнению
Ly = f.
Действительно, L(E f) = (LE) f = δ f = f.
Пример 1.16. Частным решением уравнения y00 |
− y = f является интеграл |
|||
∞ |
|
èëè |
|
Z e−|t|f(x − t)dt . |
Z E(t)f(x − t)dt = Z0 |
sinh(t)f(x − t)dt |
1 |
||
2 |
Существует простой способ построить фундаментальное решения для оператора (1.2) при условии pn(x) 6= 0:
Утверждение 1.19. L(x) = θ(x)u(x), ãäå u(x) - частное решение однородного уравнения Lu = 0, удовлетворяющее начальным данным u(0) = 0, . . . , u(n−2)(0) = 0, u(n−1)(0) = 1/pn(0).
Заметим, ÷òî dxd (θ(x)u(x)) = theta(x)u0(x) + δ(x)u(x). Поскольку множитель перед δ- функцией можно заменить его значением в нуле, то второе слагаемое исчезает. Аналогич-
íî dxdkk (θ(x)u(x)) = θ(x)u(k)(x), k = 1, . . . , n−1, íî dxdnn (θ(x)u(x)) = θ(x)u(n)(x)+δ(x)u(n−1)(0)
Âрезультате L (θ(x)u(x)) = θ(x)Lu + pn(0)δ(x)u(n−1)(0) = δ(x) .
Âпримерах, рассмотренных в настоящем параграфе, sinh(x) как раз и является решением u(x), удовлетворяющим начальным условиям утверждения 1.19.
19
![](/html/611/244/html_PuVbcTXz0S.IApY/htmlconvd-MbbXnm21x1.jpg)
1.7.3Фундаментальное решение и задача Коши
Рассмотрим задачу Коши
Ly = f , y(k) t=0 = yk , k = 0, ..., n − 1 . |
(1.3) |
Решения задачи Коши ищутся при t > 0. Поставим задачу отыскания функции y+, |
совпадающей при t > 0 с решением уравнения (1.3) и продолженных нулем на область отрицательных t. Аналогично введем функцию f+, однако сохраним за продолженными
функциями прежнее обозначения: y+ y, f+ f. Посмотрим, какому уравнению удовлетворяет такое обобщенное решение . Находим: y0 = {y0(x)} + y0δ(x), y00 = {y00(x)} +
|
|
k−1 |
|
|
|
|
|
y0δ0(x) + y1δ(x), ..., y(k) = {y(k)(x)}+ j=0 yjδ(k−j−1) |
(x), где фигурными скобками обозначены |
||||||
классические производные |
. |
P |
|
(1.3) |
приводит к |
||
|
Подстановка этих формул в уравнение |
|
|
||||
n−1 |
|
n−1 |
n−k−1 |
|
|
|
|
X |
|
X |
X |
|
|
|
|
Ly = {L} + |
ckδ(k)(x) = f(x) + |
ckδ(k)(x) , ck = |
|
pk+j+1yj . |
(1.4) |
||
k=0 |
|
k=0 |
j=0 |
|
|
|
Таким образом, мы приходим к следующему определению:
Определение 1.29. Обобщенным решением задачи Коши называется обобщенное решение уравнения (1.4).
Это решение может быть получено методом фундаментального решения : y = (θ(x)u(x))
n−1 |
|
f(x) + k=0 ckδ(k)(x) , ãäå u - частное решение уравнения Lu = 0, фигурирующее в утвер- |
|
P |
n−1 |
ждении 1.19. Простым вычислением находим y = (θ(x)u(x)) f + |
cku(k)(x). |
|
kP |
|
=0 |
1.7.4Функция Грина краевой задачи для оператора 2-го порядка
В этом параграфе мы будем иметь дело с частным случаем уравнения (1.2) с оператором
. |
d |
|
dy |
|
(1.5) |
||
Ly(x) = − |
|
|
p(x) |
|
|
+ q(x)y , p(x) 6= 0 , p, q C[a, b], |
|
dx |
dx |
(называемым оператором Штурма-Лиувилля). Важной особенностью оператора (1.5) является его симметричность: L = L . Уравнение (1.2) рассматривается на отрезке [a, b] (который может быть и бесконечным) с краевыми условиями вида y(a) = 0, y(b) = 0 (или с линейными однородными условиями более общего вида ).
Классическая функция Грина
Классическое определение функции Грина состоит в следующем :
Определение 1.30. Функция Грина – это непрерывная функция двух переменных G(x, x0), дважды дифференцируемая по x при и как функция x при любом x0 (a, b)
удовлетворяющая уравнению и краевым условиям , причем частная производная Gx(x, x0) испытывает в точке x0 скачок: [Gx(x, x0]x=x0
20
![](/html/611/244/html_PuVbcTXz0S.IApY/htmlconvd-MbbXnm22x1.jpg)
Имеет место явное представление для функции Грина . |
Пусть ya(x) è y.b(x) – äâà ðå- |
|||||||||
шения однородного уравнения |
L |
y = 0, причем y |
(a) = 0, y |
(b) = 0, è W (x) = y0 |
y |
b − |
y |
y0 |
– |
|
|
|
a |
b |
a |
|
a |
b |
|
||
определитель Вронского этих решений. В этих обозначениях |
|
|
|
|
|
|||||
|
|
1 |
ya(x)yb(x0) , x < x0 |
|
|
|
|
|
||
G(x, x0) = |
|
ya(x0)yb(x) , x > x0 . |
|
|
|
|
|
|||
W (x0)p(x0) |
|
|
|
|
|
Замечание 1.8. В случае линейно-зависимых решений ya,b их определитель Вронского ра-
âåí íóëþ, и функция Грина не существует. Но линейная зависимость ya è yb означает существование решения однородного уравнения (1.2), удовлетворяющего одновременно
обоим краевым условиям. Таким образом, если однородная краевая задача имеет ненулевые решения, то функции Грина не существует.
Пример 1.17. Функция Грина оператора |
L |
= d |
2 |
− |
1 с краевыми условиями G |
−−−−→ |
0 |
|||
|
2 |
|||||||||
|
|
dx |
|
|
|
|||||
|
|
|
|
|
|
| |
|→∞ |
|
||
|
|
|
|
|
|
|
|
x |
|
|
åñòü 12 e−|x−x0|.
Утверждение 1.20. Функция Грина единственна (если она существует).
Если предположить, что существуют две функции Грина, G1 è G2, то их разность удовлетворяет краевым условиям и уравнению L(G1 − G2) = 0 всюду на (a, b) ((G1)x − (G2)x
не имеет скачка!). Следовательно, G1 − G2 является классическим решением однородной краевой задачи. Но такая задача может иметь только тривиальное решение (иначе функция Грина не существует).
Функция Грина играет ту же роль в задаче с краевыми условиями , что и фундаментальное решение для свободного уравнения :
Утверждение 1.21. Классическим решением краевой задачи для уравнения (1.2) ïðè
b
непрерывной правой части f(x) является y(x) = R G(x, x0)f(x0)dx0.
a
Написанный интеграл удовлетворяет краевым условиям , ò.ê.им удовлетворяет G(x, x0) как функция x. Сосчитаем
|
b |
|
|
|
x |
|
b |
= |
x |
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
d |
Z |
|
d |
Z |
|
|
Z |
dx f x ) |
|
|
|
Z |
|
dx f(x ) |
|
|
|
||||||
|
G(x, x0)f(x0)dx0 = |
|
+ |
|
0 |
|
( 0 |
|
|
ya(x0)yb0 (x)+ |
|
0 |
|
0 |
|
|
ya0 (x)yb(x0) . |
||||||
dx |
dx |
|
W (x |
0 |
)p(x |
0 |
) |
W (x |
0 |
)p(x |
0 |
) |
|||||||||||
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
a |
|
|
a |
x |
|
a |
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
Поскольку ya,b – решения однородного уравнения, то дальнейшее применение оператора L
под знаком интеграла анулируется. При повторном же дифференцировании по верхнему и нижнему пределам получаем
dx2 |
Z |
+ Z |
b |
|
= −p(x) |
L Z |
G(x, x0)f(x0)dx0 |
= f(x) . |
d2 |
x |
|
|
f(x) |
b |
|
|
|
|
a |
x |
|
|
|
a |
|
|
Функция Грина и обобщенные решения
Применение оператора L к функции Грина в классическом смысле невозможно , поскольку G(x, x0) не имеет второй производной. В обобщенном смысле:
Именно здесь нужна непрерывность функции f .
21
Утверждение 1.22. LG(x, x0) = δ(x − x0).
(G, L φ) = (G, Lφ) = G (Lφ) dx = |
|
x0 |
+x0 |
! G(x, x0) − (p(x)φ0(x))0 + q(x)φ(x) dx = |
|||||||||||
|
|
|
R |
|
|
|
R |
R |
|
|
|
|
|
||
x0 |
+x0 ! [Gx p(x)φ0(x) + G q(x)φ(x)] dx = − [Gx(x, x0)]x=x0 p(x0)φ(x0) + |
x0 |
+x0 ! |
(LG) φ dx . |
|||||||||||
R |
R |
|
|
|
|
|
|
1 |
|
|
R |
R |
|
|
|
Поскольку |
|
G = 0 ïðè x = x0 |
è [G ] |
|
= |
|
|
|
, то правая часть сводится к φ(x0) . |
||||||
L |
x=x0 |
−p(x0) |
|||||||||||||
|
|
6 |
x |
|
|
|
|
|
Таким образом, функция Грина ”похожа” на фундаментальное решение (но при этом удовлетворяет и краевым условиям).
Утверждение 1.23. Формула y(x) = |
b |
G(x, x0)f(x0)dx0 |
дает обобщенное решение крае- |
|||||
|
||||||||
|
|
a |
|
интегрируемой |
|
правой части |
|
|
вой задачи в случае разрывной (íî |
локально |
) |
f(x). |
|||||
|
R |
- |
|
|
|
Для упрощения доказательства дополнительно предположим , ÷òî supp f [a, b]. Имеем
(y, L , φ) = |
Z y(x)(L φ)(x)dx = |
|
|
||
|
R b |
|
|
||
|
Z |
Z |
|
|
(L φ)(x)dx = |
= |
− b |
G(x, x0)f(x0)dx0 |
|
||
|
a |
R |
|
||
|
R |
|
|
|
|
|
|
|
|
|
ZZ
= f(x0)dx0 G(x, x0)(L φ)(x)dx =
|
|
a |
−R |
|
|
|
|
|
|
|
|
b |
b |
|
|
= |
Za |
f(x0)(G, L φ)dx0 = Za |
f(x0)(L G, φ)dx0 = |
= Za |
b |
Z f(x0)φ(x0)dx0 = (f, φ) |
|
|
f(x0)φ(x0)dx0 = |
|
(в последней строке использовано утверждение 1.22 и предположение о supp f).
22