ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ
«БЕЛГОРОДСКИЙ ГОСУДАРСТВЕННЫЙ НАЦИОНАЛЬНЫЙ
ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ»
(НИУ «БелГУ»)
ИНСТИТУТ ИНЖЕНЕРНЫХ ТЕХНОЛОГИЙ И ЕСТЕСТВЕННЫХ
НАУК
КАФЕДРА ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
ОБОБЩЕННЫЕ ФУНКЦИИ И ДЕЙСТВИЯ НАД НИМИ
Выпускная квалификационная работа
обучающейся по направлению подготовки
010301.62 Математика
очной формы обучения, группы 07001413
Колодченко Алены Александровны
Научный руководитель
д. ф. - м. н., профессор,
Васильев В.Б.
Белгород 2018
2
ОГЛАВЛЕНИЕ
Введение…………………………………………………………………………...3
Глава
1
Теоретическое
обоснование
понятия
«обобщенные
функции»…………………………………………………………………………..6
1.1. Обобщенные функции как линейные функционалы…………………...….6
1.2. Действия над обобщенными функциями………………………………….10
1.3. Преобразование Фурье обобщенных функций………………………...….13
Глава
2.
Применение
обобщенных
функций
в
прикладных
задачах………………………………………………………………………........22
2.1. Пространство обобщенных функций……………………………...………22
2.2. Примеры обобщенных функций……………………………………...…...29
Заключение……………………………………………………………………….40
Список использованной литературы…………………………………………...42
3
ВВЕДЕНИЕ
Теория обобщенных функций – область функционального анализа,
которая возникла и развивалась в связи с потребностями современной
математической физики и позволила правильно поставить и решить ряд
теоретических и прикладных задач. Если возникает необходимость серьезно
заниматься исследованием математических моделей физических явлений, то
обязательно
потребуется
изучить
основной
язык
современной
математической физики – теорию обобщенных функций.
Необходимость во введении понятий, называемых обобщенными
функциями, возникла при попытке дать строгое описание сосредоточенных
объектов, которые являются удобными физическими идеализациями. С
другой стороны, обобщенные функции позволяют также с единой точки
зрения
рассматривать
производные
гладких
и
разрывных
функций,
преобразование Фурье убывающих и растущих функций и др., то есть в них
имеется и чисто математическая потребность.
Дифференциальное
исчисление
и
теория
дифференциальных
уравнений базируются на понятии производной, которая первоначально
вводится
в
классическом
смысле.
Например,
любая
монотонно
неубывающая функция имеет не более чем счетное число точек разрыва
первого рода, в которых функция заведомо не дифференцируема в
классическом смысле.
В физике и разделах математики: в дифференциальных уравнениях и
теории
вероятностей
возникает
потребность
расширить
понятие
производной, вводя обобщенную производную, с помощью которой
функция, имеющая разрывы первого рода, становится дифференцируемой в
точках разрыва. Как результат дифференцирования в обобщенном смысле
разрывных функций возникают обобщенные функции.
Важный вклад в формирование нового математического подхода к
понятию функции в физике принадлежит Η. Μ. Гюнтеру, который предлагал
4
рассматривать
соответствующие
вместо
точечных
функции
характеристик
множеств
еще
в
1916
типа
году и
плотности
пытался
переосмыслить на этой основе понятие решения уравнения математической
физики.
Актуальность данной темы заключается в том, что обобщенные
функции необходимо рассматривать и изучать для решения ряда задач
физики и математики. Обобщенные функции
позволяют правильно
поставить и разрешить ряд классических проблем прикладного значения.
Тема исследования: Обобщенные функции и действия над ними.
Объект исследования: обобщенные функции.
Предмет исследования: развитие теории обобщенных функций.
Цель
исследования:
дать
теоретическое
обоснование
понятия
«обобщенная функция» и рассмотреть основные действия, применяемые к
ним.
Задачи исследования:
1. Рассмотреть обобщенные функции как линейные функционалы.
2. Изучить действия над обобщенными функциями.
3. Рассмотреть пространство обобщенных функций.
4. Привести примеры обобщенных функций.
Для решения поставленных задач использовался комплекс методов
исследования:
− обобщение изученных ранее данных;
− анализ научно-методической литературы;
− систематизация информации.
Научная новизна: Существуют многие физические модели, которые в
терминах обычных функций не могут быть описаны.
Например, задача
Коши для уравнения теплопроводности. Мы не можем их описать при
помощи обычных функций. Для этого и необходимы обобщенные функции.
5
Практическое значение: материал, рассмотренный в данной выпускной
квалификационной работе, может быть использован как в школьном, так и в
вузовском курсе изучения математики.
Структура исследования: работа состоит из введения, двух глав,
заключения, списка использованной литературы.
6
1 Теоретическое обоснование понятия «обобщенные функции»
1.1. Обобщенные функции как линейные функционалы
Обобщенные функции впервые были введены в науку П. Дираком в его
квантовомеханических
исследованиях,
в
которых
систематически
использовалась знаменитая -функция. Основы математической теории
обобщенных функций были заложены С.Л. Соболевым и Л.Шварцем. В
дальнейшем теория обобщенных функций интенсивно развивалась многими
математиками. Развитие теории обобщенных функций стимулировалась в
основном потребностями математической физики и квантовой физики.
Обобщенная функция является обобщением классического понятия
функции. Это обобщение, с одной стороны, дает возможность, выразить в
математической
форме
такие
понятия,
как,
например,
плотность
материальной точки, плотность точечного заряда или диполя, плотность
простого или двойного слоя, интенсивность мгновенного точечного
источника, интенсивность силы, приложенной в точке и т.д.
С другой стороны, в понятии обобщенной функции находит отражение
тот факт, что реально нельзя, например, измерить плотность вещества в
точке, а можно измерить лишь его среднюю плотность в достаточно малой
окрестности этой точки и объявить это плотностью в данной точке; грубо
говоря, обобщенная функция определяется своими «средними значениями» в
окрестности каждой точки.
Обобщённая
функция
определяется
как
линейный
непрерывный функционал (, φ) над основными функциями φ, где (, φ)
обозначается как значение функционала на элементе φ.
Нулевой обобщенной функцией называем такой функционал, значения
которого равны нулю на любой пробной функции. Две обобщенные функции
7
`
равны (пишем 1 =𝐾 2 ), если значения соответствующих функционалов
совпадают на всех пробных функциях (т.е. (1 , φ) = (2 , φ) ∀ φ ∈ K).
Важный частный случай:
Пусть g(x) – произвольная локально-суммируемая функция (т.е. такая,
которую можно под знаком модуля проинтегрировать по любому конечному
интервалу; эта функция может иметь разрывы первого рода (скачки), а также
слабые степенные, порядка O ((x − x0 )α ), α < 1, особенности).
Рассмотрим произвольную локально суммируемую (в частном случае
непрерывную) функцию 𝑔(𝑥) = 𝑔(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) ,
заданную на
. С
помощью обычной функции 𝑔(𝑥) построим линейный функционал 𝑔 ∈
𝐷` (𝑅𝑛 ), определив его с помощью формулы
∞
∞
(𝑔, φ )=∫Rn g(x⃗) φ(x⃗)dx⃗ = ∫−∞… ∫−∞ g(x1 , … , xn )φ(x1 , … , xn )dx1 .
Проверим условие непрерывности.
lim (𝑔, φk ) = lim ∫ 𝑔(𝑥)φ𝑘 (𝑥)𝑑𝑥
𝑘→∞
𝑘→∞ 𝑅 𝑛
= ∫ 𝑔(𝑥) lim φ𝑘 (𝑥)𝑑𝑥 = ∫ 𝑔(𝑥)φ(x)dx = (g, φ)
𝐺
𝑘→∞
𝐺
Переход к пределу под знаком интеграла законен в силу равномерной
сходимости последовательности функций φ𝑘 (𝑥) . Таким образом, любую
обычную функцию 𝑔(𝑥) можно рассматривать как обобщенную функцию
𝑔 ∈ 𝐷(𝑅𝑛 ) . Такие обобщенные функции будем называть регулярными
обобщенными
функциями.
Все
остальные
обобщенные
функции
–
сингулярные обобщенные функции.
δ-функция Дирака. В качестве примера сингулярной обобщенной
функции рассмотрим функционал
𝛿𝑥 0 = 𝛿(𝑥 − 𝑥 0 ) = 𝛿(𝑥1 − 𝑥10 , 𝑥2 − 𝑥20 , … , 𝑥𝑛 − 𝑥𝑛0 ) ∈ 𝐷(𝑅𝑛 )
(1)
где фиксированная точка 𝑥 0 ∈ 𝑅𝑛 . Функционал 𝛿𝑥 0 действует на функцию
φ(x) ∈ 𝐷` (𝑅𝑛 ) следующим образом:
8
(𝛿𝑥 0 , 𝜑)=∫𝑅𝑛 𝛿(𝑥 − 𝑥 0 )𝜑(𝑥𝑥)𝑑𝑥 = 𝜑(𝑥 0 )
(2)
При 𝑥 0 = 0 для обобщенной функции 𝛿0 = 𝛿 = 𝛿(𝑥) имеем
(𝛿, φ) = ∫Rn δ(x)φ(x)dx = φ(0)
(3)
Легко показать, что функционал (2) линейный и непрерывный, то есть
является обобщенной функцией. Обобщенная функция (1) называется δ –
функцией Дирака.
Рассмотрим
открытое
множество Ω ∁ 𝑅𝑛 . Будем
говорить,
что
обобщенная функция равна O на множестве Ω, если для ∀ φ ∈ D(Rn ) с
носителем 𝑠𝑢𝑝𝑝 φ ∈ Ω выполнено условие (, φ) = 0.
Обозначим через Ω𝑚𝑎𝑥 наибольшее открытое множество, на котором
обобщенная функция равна нулю. Носителем обобщенной функции
называется замкнутое множество 𝑠𝑢𝑝𝑝 = 𝑅𝑛 \Ω𝑚𝑎𝑥 .
Очевидно, что 𝑠𝑢𝑝𝑝 𝛿(𝑥 − 𝑥 0 ) = |𝑥 0 |, то есть состоит из одной точки
𝑥 0 ∈ 𝑅𝑛 . Вне этой точки δ – функция Дирака равна нулю. При 𝑥 0 = 0 δ функция (3) сосредоточена в начале координат. Рассмотрим обобщенную
функцию вида 𝛿 (𝐴𝑥 ) (4), где A-невырожденная матрица.
Применим функционал (4) к функции φ(x):
(𝛿 (𝐴𝑥 ), 𝜑(𝑥)) = ∫𝑅𝑛(𝐴𝑥 )𝜑(𝑥)𝑑𝑥
(5)
В интеграле перейдем от переменных интегрирования x1 , … , xn к
переменным y1 , … , yn с помощью преобразования 𝑦 = 𝐴𝑥 , тогда
(𝛿 (𝐴𝑥 ), 𝜑(𝑥)) = ∫𝑅𝑛 𝛿(𝑦)𝜑(𝐴−1 𝑦)|𝐽|𝑑𝑦 = |𝐽|𝜑(0)
(6)
где |𝐽| = |det 𝐴−1 | = |det 𝐴|−1 .
Сравнив (6) и (3), получим формулу:
1
𝛿(А𝑥 ) = |det 𝛿(𝑥 )
𝐴|
(7)
Дифференцирование обобщенных функций. Определим производную
любого порядка от обобщенной функции ∈ 𝐷(𝑅𝑛 ) . Производная 𝐷𝛼 ∈
𝐷(𝑅𝑛 ) определяется с помощью соотношения
9
(𝐷𝛼 , 𝜑) = (−1)𝛼 (, 𝐷𝛼 𝜑)
(8)
где ∀ 𝜑(𝑥) ∈ 𝐷(𝑅 𝑛 ), |𝛼| = 𝛼1 + 𝛼2 + ⋯ + 𝛼𝑛 .
Очевидно, что правая часть формулы (8) определена, а значит,
определен непрерывный функционал 𝐷𝛼 в левой части формулы. Формула
(8) позволяет определить, производную от любой обычной функции.
Рассмотрим свойства обобщенных функций.
1. Пространство 𝐷` (𝑅𝑛 ) –
полное:
если
последовательность
обобщённых функций i из 𝐷` (𝑅𝑛 ) такова, что для любой функции 𝜑 ∈
𝐷(𝑅𝑛 ) числовая последовательность (i , 𝜑) сходится, то функционал
(, 𝜑)=lim (i , 𝜑) принадлежит 𝐷` (𝑅𝑛 ).
𝑖→∞
2. Всякая из 𝐷` (𝑅𝑛 ) есть слабый предел функций из 𝐷(𝑅𝑛 ). Это
свойство иногда берётся в качестве исходного для определения
обобщённой функции, из полноты пространства обобщённых функций это
приводит к эквивалентному определению.
3. Любая
обобщённая
функция
из
𝐷` (𝑅𝑛 )
бесконечно
дифференцируема (в обобщённом смысле).
4. Дифференцирование не увеличивает носителя обобщённой
функции.
5. Для обобщённых функций справедлива формула Лейбница для
дифференцирования произведения 𝛼, где 𝛼 ∈ 𝐶 ∞ (𝑅𝑛 ).
6. Всякая обобщённая функция ∈ из 𝑆 ` (𝑅𝑛 ) или 𝐸 ` (𝑅𝑛 ) есть
некоторая частная производная от непрерывной функции в 𝑅𝑛 .
7. Для любой обобщённой функции порядка N с носителем в
точке 0 существует единственное представление (, 𝜑) в виде линейной
комбинации частных производных 𝜑 в нуле, с порядком меньшим либо
равным N.
Для
обобщенных
функций,
то
есть
линейных
непрерывных
функционалов на К, определены операции сложения и умножения на числа,
которые мы рассмотрим в следующем пункте.
10
1.2. Действия над обобщенными функциями
Теперь мы определим сложение и вычитание обобщенных функций и
умножение обобщенной функции на число. Определения этих действий
обобщают аналогичные действия над функциями, иначе говоря, в том случае,
когда обобщенные функции оказываются обыкновенными функциями,
вводимые
ниже
действия
совпадают
с
обычными
действиями
над
функциями.
Введем
линейные
операции
над
обобщенными
функциями.
Определение 1.
1) Сложение: (1 + 2 , φ):= (1 , φ) + (2 , φ);
2) Умножение на число: (γf, φ):= (f, γφ).
Таким образом, K` превращается в линейное пространство. Кроме того,
обобщенные функции можно умножать на гладкие классические функции.
Определение 2.
∀ h(x) ∈ C∞ (h, φ):= (, hφ) (определение корректно, т.к. произведение
h(x)φ(x) тоже является пробной функцией).
Замечание 1.1. Здесь мы воспользовались следующим наводящим
соображением: заметим, что для регулярных обобщенных функций имеет
место цепочка равенств
(ℎ, 𝜑) = ∫(ℎ(𝑥)(𝑥))𝜑(𝑥)𝑑𝑥 = ∫ (𝑥)(ℎ(𝑥)𝜑(𝑥))𝑑𝑥 = (, ℎ𝜑).
Затем принимаем это равенство по определению для всех обобщенных
функций. Подобного рода наводящие соображения лежат в основе всех
дальнейших определений операций над обобщенными функциями.
Замечание 1.2. Не удается разумным образом определить произведение
обобщенной функции на разрывную и, тем более, произведение обобщенных
функций. О возникающих трудностях дает представление следующий
пример: ясно, что для любого n следует считать равными θ n и θ; но для такого
произведения не могут выполняться обычные правила дифференцирования.
11
Рассмотрим дифференцирование обобщенных функций.
Определение 3. Производной обобщенной функции (коротко:
обобщенной производной) назовем функционал `, действующий на пробную
функцию φ по следующему правилу: (` , φ):= (, −φ`).
Легко проверить корректность определения, т.е. что ` является
линейным непрерывным функционалом. Таким образом:
Следствие 1.1. Любая обобщенная функция имеет любое количество
производных, причем: ((m) , φ) = ( , (−1)m φ (m)).
Замечание 1.3. При определении обобщенной производной функции не
использовалось понятие сходимости в пространстве K`.
Утверждение 1.1. 𝜃 ` = 𝛿.
∞
(𝜃 ` , 𝜑) = (𝜃, −𝜑 ` ) = ∫0 (−𝜑 ` )𝑑𝑥 = −𝜑(∞) + 𝜑(0) = 𝜑(0) = (𝛿, 𝜑).
Обозначение 1.1. Будем писать g+(x) для (классической) функции g(x),
«обрезанной» нулём слева:
0, 𝑥 < 0
𝑔+ (𝑥) = {
𝑔(𝑥), 𝑥 > 0
С использованием данного обозначения 𝑥+` = 𝜃(𝑥), то есть 𝛿 = 𝑥+`` . В
действительности имеет место общая теорема (Л.Шварц).
Теорема 1.1. Любая функция из K` является обобщенной производной
(какого-то порядка) от некоторой регулярной обобщенной функции,
порождаемой непрерывной функцией (без доказательства).
Обобщая результат утверждения 1.1, покажем, что:
Утверждение 1.2. Пусть функция(x) непрерывна и дифференцируема
всюду, кроме точки x=0, где она имеет разрыв первого рода. Тогда
обобщенная производная этой функции есть `=`(x)+[f]x=0 δ,
где `(x)
классическая производная (определенная всюду, кроме точки x=0) и
[f]x=0= lim (𝑥 ) − lim (𝑥) – величина скачка f(x).
𝑥→+0
𝑥→−0
12
∞
0
(` , 𝜑) = (, −𝜑`) = ∫−∞ (𝑥)𝜑`(𝑥)𝑑𝑥 − ∫0 (𝑥)𝜑`(𝑥)𝑑𝑥 =
∞
0
∫−∞ `(𝑥)𝜑(𝑥)𝑑𝑥 + ∫0 `(𝑥)𝜑(𝑥)𝑑𝑥 + []𝑥=0 𝜑(0) = `(𝑥) + []𝑥=0 𝛿, 𝜑)
Замена переменной обобщенной функции.
говорить
о
значениях
обобщенной
Как уже отмечалось,
функции
в
отдельных
точках
бессмысленно. Однако, мы будем для обобщенной функции использовать
обозначение (x) (вместо ) с тем, чтобы отличать обобщенную функцию
от другой обобщенной функции (t(x)), которую мы введем следующим
образом:
Пусть t(x) ∈ C∞ – строго монотонная функция, т.е. существует обратная
к ней: y=t(x) → x=τ (y). Тогда под (t(x)) понимается функционал,
𝜑(𝜏(𝑥))
действующий по правилу: ((t(x)), φ(x)):= ((x), |𝑡`(𝜏(𝑥))|).
В частности, при линейной замене переменной, ((𝑎𝑥 + 𝑏), 𝜑) ≔
1
|𝑎|
((𝑥), 𝜑(
𝑥−𝑏
𝑎
)).
Сходимость в пространстве K`.
Определение 4. Последовательность обобщенных функций n ∈ K`
сходится, если ∃ ∈ K` такая, что ∀ φ ∈ K (fn, φ)→
𝑛→∞
(, φ).
Замечание 1.4. Ряд ∑∞
𝑛=−∞ 𝛿(𝑥 − 𝑛), сходится:
∞
∞
𝑁
( ∑ 𝛿(𝑥 − 𝑛), 𝜑) = ∑ 𝜑(𝑛) = ∑ 𝜑(𝑛)
𝑛=−∞
𝑛=−∞
𝑛=−𝑁
где интервал [−N, N] ⊃ supp φ.
Определение 5. Последовательность функций называется δ-образной,
если она сходится к δ-функции.
Утверждение 1.3. Сходящиеся последовательности (и ряды) из
обобщенных функций можно почленно дифференцировать (любое число
раз).
(𝑓𝑛` , 𝜑) = −(𝑓𝑛 , 𝜑`) →
𝑛→∞
Формула суммирования Пуассона.
−(𝑓, 𝜑`) = (𝑓`, 𝜑).
13
Используя утверждение 1.3, нетрудно получить известную формулу,
имеющую
многочисленные
приложения.
Рассмотрим
заданную на отрезке [0, 2π] по формуле (x) =
𝑥
2𝜋
функцию
(x),
и продолженную за пределы
этого отрезка с периодом 2π. Как и всякая периодическая функция, она
раскладывается в ряд Фурье (который, как известно, сходится к самой
функции в точках непрерывности и к серединным значением в точках
разрыва):
∞
𝑓(𝑥) = ∑ 𝑐𝑘 𝑒 𝑖𝑘𝑥
𝑘=−∞
𝑖
𝑐𝑘 ≔
2𝜋 𝑥 −𝑖𝑘𝑥
𝑒
𝑑𝑥
∫
0
2𝜋
2𝜋
1
=
,𝑘 ≠ 0
.
,𝑘 = 0
{2𝜋𝑘
1
2
Функция (x) локально-суммируема; соответствующую ей регулярную
обобщенную функцию можно дифференцировать, и при этом применить
почленное дифференцирование ряда Фурье. Получаем
1
1 𝑖𝑘𝑥
1
− ∑ 𝛿(𝑥 − 2𝜋𝑘) = 𝑓`(𝑥) = − ∑
𝑒 ⇒
∑ 𝑒 𝑖𝑘𝑥 = ∑ 𝛿(𝑥 − 2𝜋𝑘).
2𝜋
2𝜋
2𝜋
𝑘
𝑘≠0
𝑘
𝑘
Это и есть формула суммирования Пуассона (в одном из вариантов).
1.3. Преобразование Фурье обобщенных функций
Преобразование
Фурье –
операция,
сопоставляющая
одной функции вещественной переменной другую функцию вещественной
переменной. Эта новая функция описывает коэффициенты при разложении
исходной
функции
на
элементарные
составляющие — гармонические
колебания с разными частотами.
Преобразование Фурье основных функций из S.
14
Напомним некоторые сведения о преобразовании Фурье «обычных»
функций. Рассмотрим пространство L1(Rn). Преобразование Фурье функции
ϕ(t) ∈ L1(Rn) определяется формулой
𝐹[(𝜑(𝑡)](𝜉) = 𝜓(𝜉) =𝑑𝑒𝑓 ∫ 𝜑(𝑡)𝑒 𝑖(𝜉,𝑡) 𝑑𝑡,
(𝜉, 𝑡) = 𝜉1 𝑡1 + ⋯ + 𝜉𝑛 𝑡𝑛
(9)
Функция F[ 𝜑 ](ξ) представляет собой ограниченную непрерывную
функцию, которая стремится к нулю при |ξ| → ∞. Отметим также, что если
для ∈ L1 выполняется соотношение
∫ 𝑓(𝑡)𝑒 𝑖(𝑡,𝜉) 𝑑𝑡 ≡ 0
то (t) = 0. В пространстве L2(Rn) имеет место следующая теорема.
Теорема 1.2. (Планшереля). Для любой функции (t) ∈ L2(R1) интеграл
𝑅
𝑅
𝑔𝑅 (𝜉) = ∫ … ∫ 𝑓(𝑡)𝑒 𝑖𝑡𝜉 𝑑𝑡1 … 𝑑𝑡𝑛
−𝑅
−𝑅
при любом R является функцией из L2 . При этом gR → g в метрике L2 при R
→ ∞ и выполнено соотношение
∫|𝑔(𝜉)|2 𝑑𝜉 = 2𝜋 ∫|𝑓(𝑡)|2 𝑑𝑡
(10)
Так как основные функции из S(Rn) суммируемы, для них определена
операция (классического) преобразования Фурье F[𝜑]:
𝐹[𝜑(𝑡)](𝜉) = ∫ 𝜑(𝑡)𝑒 𝑖(𝜉,𝑡) 𝑑𝑡, 𝜑 ∈ 𝑆
(11)
При этом F[𝜑](ξ) ограничена, непрерывна и стремится к нулю при |ξ| →
∞. Более того, так как (t) – бесконечно дифференцируема и убывает быстрее
любой степени вместе со всеми своими производными, то
𝑗
𝐷𝜉 𝐹[𝜑](𝜉) = ∫(𝑖𝑡)𝑗 𝜑(𝑡)𝑒 𝑖(𝜉,𝑡) 𝑑𝑡 = 𝐹[(𝑖𝑡)𝑗 𝜑(𝑡)](𝜉)
(12)
𝐹[𝐷 𝑗 𝜑(𝑡)](𝜉) = ∫(𝐷 𝑗 𝜑(𝑡))𝑒 𝑖(𝜉,𝑡) 𝑑𝑡 = (−𝑖𝜉)𝑗 𝐹[𝜑](𝜉)
Из оценки (1 − ∆)𝑁 [(𝑖𝑡)𝑗 𝜑(𝑡)]𝑒 𝑖(𝜉,𝑡) 𝑑𝑡
15
(1 + |𝜉|2 )𝑁 |𝐷 𝑗 𝐹[𝜑](𝜉)| ≤ |∫(1 − ∆)𝑁 [(𝑖𝑡)𝑗 𝜑(𝑡)]𝑒 𝑖(𝜉,𝑡) 𝑑𝑡|
≤ 𝐶 sup(1 + |𝑡|2 )𝑛+1 |(1 − ∆)𝑁 [𝑡 𝑗 𝜑(𝑡)]| ≤ 𝑝2𝑁+𝑛+1 (𝜑)
где C не зависит от ϕ, получаем pN (F[]) p2N+n+1(), откуда следует, что
преобразование Фурье F есть непрерывное отображение S в S. Докажем, что
оно взаимно однозначно и обратное преобразование F−1 непрерывно, то есть
справедлива следующая лемма.
Лемма 1.1. Преобразование Фурье F осуществляет (линейный)
изоморфизм пространства S на S.
Сначала покажем, что формула обращения преобразования Фурье
имеет вид
𝜑(𝑡) = 𝐹 −1 [𝜓(𝜉)](𝑡) =
1
(2𝜋)𝑛
∫ 𝜓(𝜉)𝑒 −𝑖(𝜉,𝑡) 𝑑𝜉, 𝜓 ∈ 𝑆
(13)
Доказательство (для простоты выкладок) проведем для случая n = 1.
Напомним, что
1 sin 𝐴𝑥
𝜋
𝑥
→ 𝛿(𝑥) в S` при A → ∞. Имеем
1
∫ 𝑒 −𝑖𝑡𝜉 𝜑(𝜉)
2𝜋
1 𝐴 −𝑖𝑡𝜉
= lim
∫ 𝑒
𝜑(𝜉)𝑑𝜉
𝐴→∞ 2𝜋 −𝐴
1 𝐴 −𝑖𝑡𝜉
= lim
∫ 𝑒
𝑑𝜉 ∫ 𝑒 𝑖𝑥𝜉 𝜑(𝑥)𝑑𝑥
𝐴→∞ 2𝜋 −𝐴
1 sin(𝐴(𝑡 − 𝑥))
, 𝜑(𝑥)) = (𝛿(𝑡 − 𝑥), 𝜑(𝑥)) = 𝜑(𝑡)
(
𝐴→∞ 𝜋
𝑡−𝑥
= lim
Покажем теперь, что
𝜑 = 𝐹 −1 [𝜑(𝜉)](𝑡) =
1
(2𝜋)𝑛
𝐹[𝜑(−𝜉)](𝑡)
(14)
16
Действительно,
𝐹 −1 [𝜑(𝜉)](𝑡)
1
1
−𝑖(𝑡,𝜉)
=
∫
𝜑(𝜉)𝑒
𝑑𝜉
=
𝐹[𝜑(𝜉)](−𝑡)
(2𝜋)𝑛
(2𝜋)𝑛
1
1
𝑖(𝑡,𝜉)
=
∫
𝜑(−𝜉)𝑒
𝑑𝜉
=
(2𝜋)𝑛
(2𝜋)𝑛 𝐹[𝜑(−𝜉)]
Преобразование Фурье обобщенных функций из S`. Вернемся к
обобщенным функциям. Определим преобразование Фурье обобщенных
функций из S` как операцию, сопряженную к операции преобразования
Фурье для основных функций. В пространстве S`(R n) преобразование Фурье
определим равенством
(𝐹[𝑓], 𝜑) = (𝑓, 𝐹[𝜑]),
𝑓 ∈ 𝑆`, 𝜑 ∈ 𝑆
(14.1)
Так как преобразование Фурье → F[] – линейная, непрерывная
операция из S в S, то ясно, что → F[] – линейная и непрерывная операция
из S` в S`.
Ясно, что обратная операция F-1 [] определяется формулой
(𝐹 −1 [𝑓], 𝜑) = (𝑓, 𝐹 −1 [𝜑])
(15)
Отметим, что при таком определении если – регулярная обобщенная
функция, скажем из L1(Rn) или L2(R n), то так определенное преобразование
Фурье совпадает с классическим. Отметим еще, что
𝐹 −1 [𝑓] =
1
(2𝜋)𝑛 𝐹[𝑓(−𝑡)],
𝑓 ∈ 𝑆`
где (−t) – отражение, то есть ((−t), (t)) = ((t), (−t)). Таким образом,
справедливо следующее.
Утверждение 1.4. Преобразование Фурье → F[] есть линейный
изоморфизм S` на S`.
Отметим некоторые свойства преобразования.
1) Линейное преобразование аргумента:
17
𝐹[𝑓(𝐴𝑡)](𝜉) =
1
𝐹[𝑓](𝐴−1𝑇 𝜉), 𝑑𝑒𝑡𝐴 ≠ 0.
|det 𝐴|
Здесь A→ AT обозначает операцию транспонирования.
2) Сдвиг преобразования Фурье и преобразование Фурье сдвига:
𝐹[𝑓(𝑡 + 𝑡0 )] = 𝑒 (𝜉,𝑡0) 𝐹[𝑓](𝜉)
𝐹[𝑓](𝜉 + ℎ) = 𝐹[𝑒 𝑖(ℎ,𝑡) 𝑓(𝑡)](𝜉)
3) Дифференцирование преобразования Фурье и преобразование Фурье
производной:
𝑗
𝐷𝜉 𝐹[𝑓](𝜉) = 𝐹[(𝑖𝑡)𝑓(𝑡)](𝜉),
𝑗
𝐹[𝐷𝑡 𝑓(𝑡)](𝜉) = (−𝑖𝜉)𝐹[𝑓](𝜉).
Преобразование Фурье обобщенных функций из E`.
Сначала напомним, что каждая обобщенная функция из E`
принадлежит пространству S` и, более того, имеет компактный носитель. В
частности, – конечного порядка, то есть – линейный непрерывный
функционал над некоторым банаховым пространством SN , а потому
существуют C и N такие, что
|(𝑓, 𝜑)| ≤ 𝐶𝑝𝑁 (𝜑),
𝜑 ∈ 𝑆𝑁
(16)
Теорема 1.3. Если ∈ E` , то преобразование Фурье F[] ∈ 𝜃𝑀 и
представляется в виде
𝐹[𝑓](𝜉) = (𝑓(𝑡), 𝜂(𝑡)𝑒 𝑖(𝑡,𝜉) )
(17)
где η(t) – любая функция из D, равная 1 в окрестности носителя .
Доказательство.
Пусть η(t) ∈ D и η(t) = 1 на носителе . Имеем
(𝐷 𝑗 𝐹[𝑓], 𝜑) = (−1)|𝑗| (𝐹[𝑓], 𝐷 𝑗 𝜑) = (−1)|𝑗| (𝑓, 𝐹[𝐷 𝑗 𝜑]
= (−1)|𝑗| (𝑓, 𝜂(𝑡)(−𝑖𝑡)𝑗 𝐹[𝜑]) = (𝑓(𝑡), ∫ 𝜂(𝑡) (𝑖𝑡)𝑗 𝜑(𝜏)𝑒 𝑖(𝜏,𝑡) 𝑑𝜏)
= ∫(𝑓(𝑡), 𝜂(𝑡)(𝑖𝑡)𝑗 𝑒 𝑖(𝜏,𝑡) 𝜑(𝜏)𝑑𝜏
Откуда при j = 0 и следует (17). Докажем, что правая часть (17)
принадлежит 𝜃M. Из (16), имеем
18
|𝐷 𝑗 𝐹[𝑓](𝜉)| = |𝑓 (𝑡), 𝜂(𝑡)(𝑖𝑡)𝑗 𝑒 𝑖(𝜉,𝑡) | ≤ 𝐶𝑝𝑁 (𝜂(𝑡)(𝑖𝑡)𝑗 𝑒 𝑖(𝜉,𝑡)
𝑁
𝑗
= 𝐶 max sup(1 + 𝑡 2 ) 2 |𝐷𝑡 𝜂(𝑡)(𝑡)𝑗 𝑒 𝑖(𝜉,𝑡) ]| ≤ 𝐶𝑗 (1 + |𝜉|2 )𝑁/2
для некоторых Cj ≥0. Что и доказывает теорему.
Замечание 1.4. Из (1) следует, что F[](ξ) – целая функция. В частности,
|𝐷 𝑗 𝐹[𝑓](𝜉 + 𝑖𝜎)| ≤ 𝐶𝑗` (1 + |𝑧|2 )𝑁/2 𝑒 𝑏|𝜎|
(18)
Замечание 1.5. Отметим, что функцию η(t) в формуле (17) можно
опустить, понимая выражение ((t), ei(t,ξ)) как действие функционала ∈ E`
на основную функцию ei(t,ξ) ∈ E.
Преобразование Фурье свертки.
Утверждение 1.5. Пусть ∈ S` и g ∈ E`. Тогда их свертка * g ∈ S` и
ее преобразование Фурье дается формулой
𝐹[𝑓 ∗ 𝑔] = 𝐹[𝑓]𝐹[𝑔]
(19)
Доказательство. Имеем
(𝑓 ∗ 𝑔, 𝜑) = (𝑓(𝑥), 𝑔(𝑦), 𝜑(𝑥 + 𝑦))), 𝜑 ∈ 𝑆(𝑅𝑛 )
Отсюда, применяя преобразование Фурье (14.1), получим
(𝐹[𝑓 ∗ 𝑔], 𝜑) = (𝑓 ∗ 𝑔, 𝐹[𝜑]) = (𝑓(𝑡), (𝑔(𝑦), ∫ 𝜑(𝜉)𝑒 𝑖(𝑥+𝑦,𝜉) 𝑑𝜉)).
Теперь, пользуясь формулой для обобщенных функций из S` и
учитывая, что F[g] ∈ 𝜃M, имеем
(𝐹[𝑓 ∗ 𝑔], 𝜑)
= (𝑓(𝑡), ∫(𝑔(𝑦), 𝑒 𝑖(𝜉,𝑦) 𝑒 𝑖(𝑡,𝜉) 𝜑(𝜉)𝑑𝜉
= (𝑓(𝑡), ∫ 𝐹[𝑔](𝜉)𝑒 𝑖(𝑡,𝜉) 𝜑(𝜉)𝑑𝜉 = (𝑓, 𝐹[𝐹[𝑔]𝜑] = (𝐹[𝑓], 𝐹[𝑔]𝜑)
= (𝐹[𝑓]𝐹[𝑔], 𝜑).
Откуда и следует (19).
Замечание 1.6. Если ∈ S` и g ∈ S, то свертка *g ∈ 𝜃𝑀. Формула (19)
остается справедливой и в этом случае. Пусть , g ∈ S` (Γ); тогда, как мы
видели,
существует
*g
∈
S`(Γ).
Однако
формула
(19)
требует
19
дополнительного осмысления, ибо произведение обобщенных функций
F[]·F[g], вообще говоря, не определено.
Преобразование Фурье основных функций из D(R1).
Пусть (t) – некоторая основная функция из D. Поскольку она
финитная, скажем, ∈ D(K), где компакт K = [−a, +a], то ее преобразование
Фурье
𝑎
𝜓(𝑧) = 𝐹[𝜑] = ∫ 𝜑(𝑡)𝑒
𝑖𝑡𝑧
𝑑𝑡 = ∫ 𝜑(𝑡)𝑒 𝑖𝑡𝑧 𝑑𝑡,
𝑧 = 𝑥 + 𝑖𝑦
−𝑎
имеет смысл при всех z ∈ C. Более того, ясно, что функция F[(t)](z) есть
целая аналитическая функция, причем справедлива оценка
𝑎
|𝑧 𝑗 𝜓(𝑧)| = |∫−𝑎 𝜑 (𝑗) (𝑡)𝑒 𝑖𝑡𝑧 𝑑𝑡| ≤ 𝐶𝑗 𝑒 𝑎|𝑦| , 𝑗 = 0,1 ….
(20)
При этом нетрудно видеть, что ‖𝜓‖𝑎,𝑚 ≤ 𝐶𝑎 𝑝𝑎𝑚 (𝜑), где слева стоит
норма пространства Z(a), а справа – норма пространства D(K). Так что
преобразование Фурье есть непрерывное отображение пространства Фреше
D(K), где K = [−a, +a], в пространство Фреше Z(a). Верно и обратное
утверждение. Таким образом, преобразование Фурье есть линейное
непрерывное отображение из D в Z.
Лемма
Всякая
1.2.
целая
аналитическая
функция
ψ(z),
удовлетворяющая при каждом j = 0, 1, . . . , оценке (20) (то есть ψ ∈ Z(a)), есть
преобразование Фурье некоторой основной функции ∈ D([−a, a]).
Доказательство. Функцию (t) определим формулой
𝜑(𝑡) =
1
+∞
∫ 𝜓(𝑥)𝑒 −𝑖𝑥𝑡 𝑑𝑥
2𝜋 −∞
(21)
Так как ψ(x) в силу оценки (20) убывает при |x| → ∞ быстрее любой
степени, то интеграл в (21) сходится абсолютно и равномерно по x (вместе со
всеми производными по параметру t). Таким образом (t) – бесконечно
дифференцируемая функция. Покажем, что она финитна. Сдвинем ось
интегрирования параллельно в комплексную плоскость
𝜑(𝑡) =
1
+∞
𝑡
1
+∞
∫ 𝜓(𝑥 + 𝑖𝜏)𝑒 −𝑖(𝑥+𝑖𝜏) 𝑑𝑥 = 2𝜋 𝑒 𝑡𝜏 ∫−∞ 𝜓(𝑥 + 𝑖𝜏)𝑒 −𝑖𝑥𝜏 𝑑𝑥 (22)
2𝜋 −∞
20
Это законно в силу теоремы Коши, если учесть, что интегралы по
вертикальным отрезкам [−N, −N + iτ] и [N, N + iτ] стремятся к нулю при N →
∞. Пусть теперь |t| > a, зададим некоторое число q > 0 и найдем τ из условия
tτ = −q|t|. Так что |τ | =q. Используя неравенство (20), при j = 0 и j = 2 находим
из (22)
|𝜓(𝑧)| ≤ 𝑒 𝑎|𝑦| 𝑚𝑖𝑛 {𝐶0 ,
𝐶2
𝑒 𝑎|𝑦|
𝑒 𝑎|𝑦|
≤𝐶
;
}≤𝐶
|𝑧|2
1 + |𝑧|2
1 + |𝑥|2
1 𝑡𝜏 +∞
𝑒 𝑎|𝜏|
𝜑(𝑡) ≤
𝑒 ∫ 𝐶
𝑑𝑥 = 𝐶`𝑒 −𝑞|𝑡|+𝑎|𝜏| = 𝐶`𝑒 𝑞(𝑎−|𝑡|) .
2
|𝑥|
2𝜋
1
+
−∞
Так как C` не зависит от q, то при q → ∞ находим, что (t) = 0.
Следовательно, при |t| > a функция (t) = 0.
Таким образом, преобразование Фурье устанавливает изоморфизм
между пространствами D и Z. При этом обратное преобразование F−1
определяется формулой (21).
Некоторые операции на пространстве основных функций из Z.
Опираясь на установленный изоморфизм пространств D и Z
(𝜑(𝑡) → 𝐹[𝜑) = 𝜓(𝑧))
рассмотрим некоторые непрерывные операции, которые допускаются в Z.
Нетрудно видеть, что операции
пространстве
D
в
Z
умножения (дифференцирования) в
соответствуют
непрерывные
операции
дифференцирования (умножения на степени z). Сдвигу (t+h) соответствует
операция умножения на eizh и наоборот. Поскольку в D имеет место
сходимость ряда
∞
ℎ𝑞
𝜑(𝑡) = 𝑒 𝑖𝑡ℎ 𝜑(𝑡),
∑(𝑖𝑡)
𝑞!
𝑞
𝑞
то в Z это определяет разложение в ряд Тейлора
∞
∑𝜓
𝑞=0
(𝑞)
ℎ𝑞
(𝑧) = 𝜓(𝑧 + ℎ)
𝑞!
21
с любым фиксированным комплексным h. В D определена операции свертки
(t) * η(t) ∈ D, если из D и η(t) ∈ E`, а потому в Z определена и непрерывна
операция
умножения
на
целые
аналитические
удовлетворяющие оценке |ζ(z)| ≤ C(1+|z|)meb|y|.
свертка
при
преобразовании
Фурье
функции
ζ(z),
Это следует из того, что
переходит
в
произведение
преобразований Фурье. А преобразование Фурье обобщенных функций из E`
как раз и есть функции типа ζ.
Теперь можно определить преобразование Фурье для функций из D`
по формуле
(𝐹[𝑓], 𝜑) = (𝑓, 𝐹[𝜑]), 𝜑 ∈ 𝑍
Таким образом, F[] является линейным непрерывным функционалом
над пространством Z. Поскольку пространство Z состоит из аналитических
функций, то F[] называют аналитическим функционалом. Аналитические
функционалы
не
вполне
заслуживают
называться
«обобщенными
функциями». В частности, для аналитических функционалов не определено
понятие носителя и “регулярного” аналитического функционала.
22
2 Практическое применение обобщенных функций
2.1. Пространство обобщенных функций
Рассмотрим основные пространства обобщенных функций. Пусть Rn –
n-мерное действительное евклидово пространство, а 𝑥 = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ), 𝑦 =
(𝑦1 , 𝑦2 , … , 𝑦𝑛 ) – точки из этого пространства. Определим скалярное
произведение следующим образом:
𝑛
(𝑥, 𝑦) = 𝑥1 𝑦1 + 𝑥2 𝑦2 + ⋯ + 𝑥𝑛 𝑦𝑛 = ∑ 𝑥𝑖 𝑦𝑖 ,
𝑖=1
а норму – выражением
𝑛
‖𝑥‖ = √(𝑥, 𝑥) = √𝑥12 + 𝑥22 + ⋯ + 𝑥𝑛2 = √∑ 𝑥𝑖2 = |𝑥|.
𝑖=1
Расстояние между точками x и y определяется по формуле
𝑑(𝑥, 𝑦) = ‖𝑥 − 𝑦‖.
Определение 5. Основное пространство Km состоит из действительных
функций (х), называемыми основными функциями, класса Сm, равными
нулю вместе со всеми своими производными до порядка m включительно вне
некоторых ограниченных областей.
Эти области вместе с границами определяют носители основных
функций; обозначим их через supp (x). Носитель функции (x)определим
как замыкание множества точек х, для которых (x)≠ 0; таким образом, если
𝑥0 ∈ 𝑠𝑢𝑝𝑝 (𝑥), то, какой бы ни была окрестность V точки 𝑥0 , существует
точка 𝑥 ∈ 𝑉 , для которой (x) ≠ 0 . Так как носитель функции (x)
ограничен, то он является компактным множество.
Основное пространство Km является векторным пространством, так как
если 𝜑1 , 𝜑2 ∈ 𝐾 𝑚 , 𝛼, 𝛽 ∈ 𝑅, то 𝛼𝜑1 + 𝛽𝜑2 ∈ 𝐾 𝑚 . Чтобы это пространство
23
было топологическим, определим сходимость к нулю последовательности
функций 𝜑𝑘 (𝑥) ∈ 𝐾 𝑚 , 𝑘 ∈ 𝑁0 (𝑁0 = 𝑁 − {0}), следующими условиями:
а) 𝑠𝑢𝑝𝑝 𝜑𝑘 (𝑥)|𝑥| ≤ 𝑎;
𝑢
б) 𝐷𝑝 𝜑𝑘 (𝑥) ⇒ 0, 𝐷𝑝 =
𝜕 𝑝1 +𝑝2+⋯+𝑝𝑛
𝑝
𝑝
𝑝
𝜕𝑥1 1 𝜕𝑥2 2 …𝜕𝑥𝑛 𝑛
,
𝑝 = 𝑝1 + 𝑝2 + ⋯ + 𝑝𝑛 ≤ 𝑚.
В этом случае lim 𝜑𝑘 (𝑥) = 0.
(23)
𝑘→∞
Выражение (23) равносильно условиям а) и б), из которых первое
означает,
что
носитель
каждого
члена
последовательности
𝜑𝑘 ∈
𝐾 𝑚 содержится в шаре радиуса a с центром в начале координат (n-мерный
шаг), а второе условие означает, что эта последовательность функций вместе
со всеми своими производными до порядка m включительно равномерно
сходится к нулю. Таким образом, множество функций 𝜑(𝑥) ∈ 𝐾 𝑚 со
сходимостью, определенной нами выше, образует векторное топологическое
пространство.
Если для пространства 𝐾 𝑚 положить 𝑚 = ∞, то получится основное
пространство К, образованное бесконечно дифференцируемыми функциями с
компактными носителями. Что касается сходимости к нулю в пространстве
K, то она определяется аналогично сходимости в пространстве 𝐾 𝑚 с
условием, что последовательность основных функций вместе со всеми
своими производными любого порядка сходится к нулю, то есть
lim ‖𝜑𝑘 (𝑥)‖𝑚 = 0 для любого m.
𝑘→∞
Рассмотрим функцию (рис.1)
24
Рис. 1 Пример функции
Легко можно установить, что она бесконечно дифференцируема и
имеет компактный носитель [a,b]. В точках a и b функция (х) вместе со
своими производными любого порядка равна нулю, то есть в этих точках ее
график имеет касание бесконечного порядка с осью абсцисс.
Теорема 1.4. Если E является компактным множеством из Rn , а Fоткрытое множество, содержащее E(FE), то существует основная функция
(х), равная 0 и 1 в остальной области.
Теорема 1.5. Если (х) ∈ 𝐾 , а 𝑈𝑘 (𝑘 = 1,2, … , 𝑁) − конечное чисто
областей (то есть открытых множеств), то существуют функции 𝑒𝑘 (𝑥) ∈ 𝐾,
такие, что
𝜑(𝑥) = ∑𝑁
𝑘=1 𝜑(𝑥)𝑒𝑘 (𝑥), 𝑠𝑢𝑝𝑝 𝑒𝑘 (𝑥)𝑈𝑘 ,
(24)
причем эти функции 𝑒𝑘 (𝑥) ∈ [0,1] , равны нулю вне областей 𝑈𝑘 и
удовлетворяют соотношению
𝑁
∑ 𝑒𝑘 (𝑥) = 1.
𝑘=1
25
Последнее свойство представляет собой теорему разбиения единицы и
используется при доказательстве локальных свойств обобщенных функций и
при выполнении операций над ними.
Соотношение (24) может быть представлено в виде
𝑁
𝑠𝑢𝑝𝑝 𝜑𝑘 (𝑥)𝑈𝑘 .
𝜑(𝑥) = ∑ 𝜑𝑘 (𝑥), 𝜑𝑘 (𝑥) ∈ 𝐾,
𝑘=1
Данная теорема справедлива и для N=∞.
Теорема 1.6. Пусть 𝜑(𝑥, 𝑦) ∈ 𝐾(𝑅𝑛+𝑚 ) ,
𝑥 ∈ 𝑅𝑛 , 𝑦 ∈ 𝑅𝑛 . Тогда
существует последовательность
𝑁
𝜑𝑘 (𝑥, 𝑦) = ∑ 𝑢𝑖𝑘 (𝑥)𝑣𝑖𝑘 (𝑦)
𝑖=1
где 𝑢𝑖𝑘 (𝑥) ∈ 𝐾(𝑅𝑛 ), 𝑣𝑖𝑘 (𝑦) ∈ 𝐾(𝑅𝑚 ) , которая сходится к 𝜑(𝑥, 𝑦) при
𝑘 → ∞.
Это означает, что множество основных функций
𝑛
𝑚
𝜑(𝑥, 𝑦) = ∑𝑁
𝑖=1 𝑢𝑖 (𝑥)𝑣𝑖 (𝑦), где 𝑢𝑖 (𝑥) ∈ 𝐾(𝑅 ), 𝑣𝑖 (𝑦) ∈ 𝐾(𝑅 ),
плотно
в
𝐾(𝑅𝑛+𝑚 ).
Заметим, что функция 𝜑(𝑥)= C, C=const≠ 0, не является основной, так
как хотя она и бесконечно дифференцируема, но не обладает компактным
носителем. Однако функция 𝜑(𝑥) = 0 является основной функцией.
Рассмотрим следующее пространство S. Основное пространство S
получается расширением пространства K; по определению это содержит все
функции 𝜑(𝑥) класса С∞ , которые при |𝑥| → ∞ стремятся к нулю вместе со
1
всеми своими производными любого порядка быстрее любой степени |𝑥|. Эти
функции удовлетворяют соотношению
|𝑥 𝑘 𝐷𝑞 𝜑(𝑥)| ≤ 𝐶𝑘𝑞 ,
где
𝑥 𝑘 = 𝑥1𝑘1 𝑥2𝑘2 … 𝑥𝑛𝑘𝑛 ,
𝐷𝑞 =
𝜕 𝑞1 +𝑞2+⋯+𝑞𝑛
𝑞1 𝑞2
𝑞𝑛
𝜕𝑥1 𝜕𝑥2 …𝜕𝑥𝑛
,
26
𝐶𝑘𝑞 = 𝐶𝑘1𝑘2…𝑘𝑛 𝑞1𝑞2…𝑞𝑛 (𝑘1 , 𝑘2 , … , 𝐾𝑛 , 𝑞1 , 𝑞2 , … , 𝑞𝑛 = 0,1,2, … ).
Определение 6. Последовательность функций 𝜑𝑘 (𝑥) ∈ 𝑆 к функции
𝜑(𝑥) ∈ 𝑆, если для любых 𝛼, 𝛽
𝑥 𝛽 𝐷𝛼 𝜑𝑘 (𝑥) ⇒ 𝑥 𝛽 𝐷𝛼 𝜑(𝑥),
𝑘 → ∞, 𝑥 ∈ 𝑅𝑛 ,
где 𝐶𝛼𝛽 не зависят от k.
Пространство S линейно, так как для любых 1, 2 ∈ 𝑅 и 𝜑1 , 𝜑2 ∈ 𝑆
имеем 1 𝜑1 + 2 𝜑2 ∈ 𝑆.
Следует отметить, что пространство S шире пространства K(KS), так
как любой элемент 𝜑(𝑥) ∈ 𝐾 принадлежит и пространству S; обратное
утверждение,
вообще
говоря,
неверно.
Пространство
S
получено
расширением пространства K путем уточнения поведения на бесконечности
функции 𝜑(𝑥), которое менее ограничительно, чем в случае пространства K.
Именно
в
этом
и
состоит
существенное
отличие
между
этими
пространствами.
Из определения сходимости в пространстве S следует, что она слабее
сходимости в пространстве K, так как из сходимости в пространстве K
следует сходимость в пространстве S. Если 𝜑 ∈ 𝐾 и 𝜑𝑘 → 𝜑 в K, то 𝜑𝑘 → 𝜑 и
в S. Более того, пространство K плотно в S, так как для любого 𝜑 ∈ 𝑆
существует последовательность 𝜑𝑘 ∈ 𝐾, такая что 𝜑𝑘 → 𝜑.
Функция
(рис.2)
2
𝜑(𝑥) = 𝑒 −𝑥 , 𝑥 ∈ 𝑅,
пространству S, что можно легко проверить.
принадлежит
основному
𝜑(𝑥)
27
1
ξ𝑒
−0,71 0
0,71
𝑥
Рис. 2 Пример функции
В отличие от нее функции (рис. 3 и рис.4) не принадлежат
пространству S. Действительно, функция 𝜑1 (𝑥) не стремится к нулю при
𝑥 → ∞, а функция 𝜑2 (𝑥) не дифференцируема в начале координат.
𝜑1 (𝑥)
𝜑2 (𝑥)
1
1
0
X
1
Рис. 3 Пример функции
0
х
Рис. 4 Пример функции
Заметим, что если 𝛼(𝑥) ∈ 𝐶 ∞ и 𝜑(𝑥) ∈ 𝑆, то функция 𝜓(𝑥) = 𝛼(𝑥)𝜑(𝑥)
2
не всегда принадлежит пространству S; например, если 𝛼(𝑥) = 𝑒 𝑥 , то
2
функция 𝛼(𝑥)𝑒 −𝑥 𝑆. Можно показать, что если функция 𝛼(𝑥) ∈ 𝐶 ∞ вместе
со всеми своими производными любого порядка и не возрастает при 𝑥 → ∞
быстрее полинома, то функция 𝛼(𝑥)𝜑(𝑥) ∈ 𝑆. Этими свойствами обладают,
например функции sin x, cos x, P(x) (полином).
Аналогично функция
28
2
2
2
2
S.
Тому
𝜑(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) = 𝑒 −|𝑥| = 𝑒 −(𝑥1 +𝑥2 +⋯+𝑥𝑛 ) , 𝑥 ∈ 𝑅𝑛 ,
принадлежит
основному
пространству
же
пространству
принадлежит, в частности функция
𝜑(𝑥, 𝑦) = 𝑒 −(𝑥
2 +𝑦 2 )
, (𝑥, 𝑦) ∈ 𝑅2 .
𝜑(𝑥, 𝑦, 𝑧) = 𝑥 𝑚 , 𝑦 𝑛 , 𝑥 𝑝 𝑒 −(𝑥
Функция
2 +𝑦 2 +𝑧 2 )
, (𝑥, 𝑦, 𝑧) ∈ 𝑅3
тоже
принадлежит основному пространству S.
Обозначим
через
Ф
рассматриваемое
основное
пространство
(например, Km, K или S). Совокупность обобщенных функций, порождаемых
основным пространством Ф, образует топологическое пространство Ф`,
сопряженное с пространством Ф1.
Соответственно
зависимости
определяются
от рассматриваемых
пространства
основных
(Km)`,
пространств
K`,
В
S`.
получаются
различные виды обобщенных функций. Так, обобщенные функции,
определенные на пространстве Km, называются обобщенными функциями
конечного порядка 𝑝 ≤ 𝑚 (поскольку из включения KmKp,𝑚 ≥ 𝑝, следует
включение
(Kp)`
(Km)`);
обобщенные
функции,
определенные
на
пространстве K0 (случай m=0), называются мерами. Обобщенные функции,
определенные на пространстве K, называются обобщенными функциями
бесконечного
порядка,
а
обобщенные
функции,
определенные
на
пространстве S, - обобщенными функциями медленного роста.
Поскольку сходимость, определенная в пространстве K, сильнее
сходимости,
определенной
в
пространстве
S(SK),
то
множество
функционалов, определенных на пространстве K, содержит множество
функционалов, определенных на пространстве S. Следовательно, имеет место
соотношение
𝑆`𝐾`
Поскольку основное пространство K плотно в S, то обобщенные
функции медленного роста могут быть получены продолжением некоторых
Совокупность всех непрерывных линейных функционалов, определенных на некотором топологическом
линейном пространстве Ф, образует линейное пространство Ф`, называемое сопряженным с Ф.
1
29
обобщенных
функций, определенных
на основном пространстве
K.
Интегрируемые функции, ограниченные функции и вообще локально
интегрируемые функции, которые удовлетворяют соотношению
|𝑓(𝑥)| < 𝐴|𝑥|𝑘 при |𝑥| → ∞, 𝐴, 𝑘 = 𝑐𝑜𝑛𝑠𝑡,
составляют класс обобщенных функций медленного роста. Они могут
рассматриваться как продолжения соответствующих функционалов из
пространства K`. Это свойство может быть использовано в случае
преобразования Фурье.
Таким образом, аналогично обобщенные функции ограниченными
носителями являются обобщенные функциями медленного роста.
2.2. Примеры обобщенных функций
Пусть для определения Ф=K . Определим функционал , ставящий в
соответствие каждой функции K число
(𝑓, 𝜑) = ∑∞
𝑛=0 𝜑(𝑛) = 𝜑(0) + 𝜑(1) + 𝜑(2) + ⋯
(25)
Эта сумма конечна, так как 𝜑(𝑥) является функцией с компактным
носителем. Определенный таким образом функционал представляет собой
обобщенную функцию, потому что, как легко проверить, он является
линейным и непрерывным. Очевидно, вместо основного пространства K
можно рассмотреть основное пространство Km и получить, таким образом,
обобщенную функцию конечного порядка 𝑝 ≤ 𝑚 на этом пространстве.
Рассмотри теперь функционал (25) на пространстве S. В этом случае
функция 𝜑(𝑥) не имеет компактного носителя, а второй член в формуле
𝐴
является числовым рядом. Поскольку 𝜑(𝑥) ∈ 𝑆 , то |𝜑(𝑥) | ≤ |𝑥|𝑚+2 , 𝐴 >
0, 𝑚 > 0, и следовательно, ряд
∞
∑ |𝜑(𝑛)|
𝑛=0
30
сходится, а значит, сходится и ряд
∞
∑ 𝜑(𝑛).
𝑛=0
Таким образом, функционал (25) имеет смысл и на пространстве S.
Определенный таким образом функционал (25) является линейным. Если
непрерывность следует из того, что сходимость в K сильнее сходимости в S.
Следовательно, этот функционал является обобщенной функцией на S.
Обобщенную функцию δ (x) Дирака можно определить на каждом из
пространств Km, K или S соотношением
(𝛿 (𝑥), 𝜑(𝑥)) = 𝜑(0), 𝑥 ∈ 𝑅𝑛 .
(26)
Можно легко проверить, что этот функционал является линейным и
непрерывным.
На основе соотношения (26) можно написать выражение для
обобщенной функции Дирака, сосредоточенной в точке 𝑥 0 ∈ 𝑅𝑛 (сдвиг
обобщенной функции); она обозначается символом 𝛿(𝑥 − 𝑥 0 ) и определяется
соотношением
(𝛿 (𝑥 − 𝑥 0 ), 𝜑(𝑥)) = 𝜑(𝑥 0 ), 𝑥,
𝑥 0 ∈ 𝑅𝑛 .
Заметим, что обобщенная функция Дирака является мерой, поскольку
для определения этого функционала достаточно рассмотреть пространство
𝐾 0 (𝑚 = 0).
Если обобщенная функция δ(x) определена на K0 и если функция
𝛼(𝑥) ∈ 𝐶 0 , то произведение 𝛼(𝑥)𝛿(𝑥) имеет смысл. На основе формулы
(𝛼𝑓, 𝜑) = (𝑓, 𝛼𝜑), 𝜑 ∈ Ф
можно написать следующее
(𝛼(𝑥)𝛿(𝑥), 𝜑(𝑥)) = (𝛿(𝑥), 𝛼(𝑥)𝜑(𝑥)) = 𝛼(0)𝜑(0),
𝑥 ∈ 𝑅𝑛 .
Отметим, что функционал , определенный на Km, K или S
соотношением
(𝑓, 𝜑) = |𝜑(0)|,
31
не является обобщенной функцией, хотя это непрерывный функционал,
потому что он не линеен. Действительно, вообще говоря, модуль суммы двух
чисел не равен сумме модулей этих чисел.
Рассмотрим примеры обобщенных функций для сингулярных и
регулярных функций.
Будем говорить, что функция (x), 𝑥 ∈ 𝑅𝑛 , является абсолютно
интегрируемой в конечной области 𝐷𝑛 𝑅𝑛 , если существует интеграл
∫ |𝑓(𝑥)|𝑑𝑥 < ∞;
𝐷𝑛
если функция (x) абсолютно интегрируема в любой конечной области
𝐷𝑛 𝑅𝑛 , она называется локально интегрируемой. Заметим, что абсолютно
интегрируемая функция является интегрируемой, т.е.
∫ 𝑓(𝑥)𝑑𝑥 < ∞
𝐷𝑛
Локально
интегрируемые
функции
порождают
важный
класс
обобщенных функций. Пусть (x) является локально интегрируемой
функцией и 𝜑(𝑥) ∈ 𝐾. Определим функционал на K соотношением
(𝑓, 𝜑) = ∫𝑅𝑛 𝑓𝜑𝑑𝑥 = ∫𝐷 𝑓𝜑𝑑𝑥, 𝑥 ∈ 𝑅𝑛 ,
𝑛
(27)
где 𝐷𝑛 - носитель основной функции 𝜑(𝑥). Заметим, что если 𝑓𝑘 (𝑥) образуют
последовательность локально интегрируемых функций на Rn, равномерно
сходящуюся на каждом компакте к функции (x), то
lim(𝑓𝑘 , 𝜑) = (𝑓, 𝜑).
Следовательно, этот функционал определяет обобщенную функцию.
Если (x) является локально интегрируемой функцией с комплексными
значениями, то соотношение (27) принимает вид
̅
(𝑓, 𝜑) = ∫ 𝑓 𝜑𝑑𝑥.
𝐷𝑛
Обобщенные функции, порожденные локально интегрируемыми
функциями, называются регулярными обобщенными функциями или
32
обобщенными функциями типа обычной функции; будем обозначать их тем
же символом (x), что и порождающую функцию.
Если 𝜑(𝑥) ∈ 𝑆(𝑅𝑛 ), а (x) является интегрируемой функцией на Rn, то
соотношение
(𝑓, 𝜑) = ∫ 𝑓𝜑𝑑𝑥, 𝑥 ∈ 𝑅𝑛 ,
𝑅𝑛
определяет регулярную обобщенную функцию медленного роста.
Если (x) является ограниченной функцией, то есть |(x)| ≤ 𝐴, 𝐴 > 0,
для любого 𝑥 ∈ 𝑅 𝑛 , то
|(𝑓, 𝜑)| ≤ 𝐴 ∫𝑅𝑛|𝜑(𝑥)|𝑑𝑥
(28)
Интеграл в (28) существует. Следовательно, ограниченная функция
(x) определяет на пространстве S регулярную обобщенную функцию
медленного роста.
В общем случае, если (x) является локально интегрируемой функции,
такой, что,
|𝑓(𝑥)| ≤ 𝐴|𝑥|𝑘 , 𝐴, 𝑘 > 0,
то |𝑓(𝑥)𝜑(𝑥)| ≤ 𝐴𝐵|𝑥|−2 . Следовательно, интеграл
∫ 𝑓(𝑥)𝜑(𝑥)𝑑𝑥
𝑅𝑛
существует, а функция (x) определяет регулярную обобщенную функцию
медленного роста на основном пространстве S. Такие обобщенные функции
определяются, например, функцией 𝑒 −𝛼|𝑥| , 𝛼 > 0, многочленом P(x) и т.д.
Обобщенные функции, которые не являются регулярными, называются
сингулярными. Обобщенная функция Дирака δ(x) является примером
сингулярной обобщенной функции, поскольку не существует локально
интегрируемой функции δ(x), такой что
(𝛿(𝑥), 𝜑(𝑥)) = ∫ 𝛿(𝑥)𝜑(𝑥)𝑑𝑥 = 𝜑(0).
𝑅𝑛
33
Можно сказать, что обобщенные функции применяются в различных
сферах: в физике, механике, электротехнике. Рассмотрим применение
обобщенных функций в данных областях более подробно.
В механике мы рассмотрим применение обобщенных функций для
задачи линейной вязкоупругости.
Если в твердом деформируемом теле наряду с упругими свойствами
проявляются и вязкие свойства, то говорят, что рассматриваемое тело
является вязкоупругим. Для одномерного линейного вязкогоупругого тела
между напряжением σ и деформацией ε, зависящими от времени, можно
записать дифференциальное соотношение вида
𝑑
𝑑
𝑃 ( ) 𝜎(𝑡) = 𝑄 ( ) 𝜀(𝑡)
𝑑𝑡
𝑑𝑡
(29)
где P и Q – линейные дифференциальные операторы с постоянными
коэффициентами, характеризующие рассматриваемое упругое тело.
Теорема 1.7. Если при t≤ 0 одномерное линейное вязкоупругое тело
находится в естественном состоянии (𝜎 = 𝜀 = 0), то обобщенные функции
ползучести и релаксации удовлетворяют соотношению
𝜑 ∗ 𝜓 = 𝑡+ = 𝑡𝜃(𝑡)
(30)
Если рассматривать вязкоупругую модель Кельвина, то определяющее
уравнение получается в виде
𝜎(𝑡) = 𝐸𝜀(𝑡) + 𝜂
𝑑𝜀(𝑡)
𝑑𝑡
где Е – модуль упругости, а η – коэффициент вязкости. Следовательно,
𝑃(
𝑑
𝑑
𝑑
) = 1, 𝑄 ( ) = 𝜂 + 𝐸.
𝑑𝑡
𝑑𝑡
𝑑𝑡
Фундаментальные решения в K` (уравнения со сверткой) имеют вид
𝐸
1
− 𝑡
𝐸𝑝 (𝑡) = 𝛿(𝑡), 𝐸𝑞 (𝑡) = 𝜃(𝑡)𝑒 𝜂
𝜂
Выражения для нормального напряжения и линейной деформации
принимают вид
𝜎(𝑡) = 𝜀0 [𝜂𝜎(𝑡) + 𝐸𝜃(𝑡)],
34
𝐸
𝜎0
− 𝑡
𝜀(𝑡) = (𝑡) (1 − 𝑒 𝜂 ).
𝐸
Первая из полученных формул показывает, что в момент появления
линейной
деформации
𝜀0 напряжение
𝜎(𝑡) = 𝜀0 𝜓(𝑡)
стремится
к
бесконечности. Действительно, благодаря вязкоупругим свойствам тело не
может мгновенно получить конечную величину деформации при мгновенном
изменении напряжения на конечную величину.
Для вязкоупругой модели Максвелла определяющее уравнение
записывается в виде
𝑑𝜀(𝑡) 1 𝑑𝜎(𝑡) 1
=
+ 𝜎(𝑡),
𝑑𝑡
𝐸 𝑑𝑡
𝜂
где дифференциальные операторы имеют следующие выражения:
𝑃(
𝑑
1 𝑑 1
𝑑
𝑑
+ ,𝑄( ) = .
)=
𝑑𝑡
𝐸 𝑑𝑡 𝜂
𝑑𝑡
𝑑𝑡
Фундаментальными решениями будут следующие:
𝐸𝑝 (𝑡) = 𝐸𝜃(𝑡)𝑒
𝐸
𝜂
− 𝑡
, 𝐸𝑄 (𝑡) = 𝜃(𝑡).
Отсюда следует
𝜑(𝑡) = 𝜃(𝑡) ∗ (
𝜓(𝑡) =
1 𝑑 1
1
1
+ ) 𝜃(𝑡) = 𝜃(𝑡) + 𝑡+ ,
𝐸 𝑑𝑡 𝜂
𝐸
𝜂
𝐸
− 𝑡
𝐸𝜃(𝑡)𝑒 𝜂
𝐸
𝑑𝜃(𝑡)
− 𝑡
∗
= 𝐸𝜃𝑒 𝜂 .
𝑑𝑡
Замечая, что
𝑡+ ∗
𝐸
− 𝑡
𝜃(𝑡)𝑒 𝜂
𝐸
𝜂
𝜂
− 𝑡
= 𝜃(𝑡) [𝑡 − (1 − 𝑒 𝜂 )],
𝐸
𝐸
и учитывая приведенные выше другие соотношения, можно легко проверить
справедливость соотношения (30).
В этом случае выражения для нормального напряжения и линейной
деформации принимают вид
𝜎(𝑡) = 𝐸𝜀0
𝐸
− 𝑡
𝜃(𝑡)𝑒 𝜂 ,
35
𝜀(𝑡) =
𝜎0
𝐸
𝜃(𝑡) (1 + 𝑡).
𝐸
𝜂
Рассмотрим применение обобщенных функций в физике, а именно
исследование электрического двойного слоя на поверхности.
На поверхности S (рис. 5) рассмотрим электрический двойной слой с
моментом μ(𝑥, 𝑦, 𝑧). Объемная плотность определяется по формуле:
𝜌(𝑟) = −
А
потенциал
𝜕
[𝜇(𝑟)𝛿(𝑆)]
𝜕𝑛
соответствующего
электростатистического
поля
удовлетворяет уравнению
∆𝑉(𝑥, 𝑦, 𝑧) = −
1 𝜕
[𝜇(𝑥, 𝑦, 𝑧)𝛿(𝑆)]
∗
𝑅 𝜕𝑛
где n – единичный вектор внутренней нормали к поверхности.
S
Рисунок 5
n
r
4
h
1
S` + + + + + +
1
+ + + + ++
++ + + + ++
++
r`
4
1
Электрический
1
двойной слой
С помощью фундаментального решения 𝐸(𝑥, 𝑦, 𝑧) = −
1
4𝜋𝑅
как и в
предыдущем случае, получим
𝑉(𝑥, 𝑦, 𝑧) = −
1 𝜕
[𝜇(𝑥, 𝑦, 𝑧)𝛿(𝑆)].
∗
𝑅 𝜕𝑛
Отсюда следует
𝑉(𝑥, 𝑦, 𝑧) = −
𝜕 1
𝜕 1
[ ∗ 𝜇(𝑥, 𝑦, 𝑧)𝛿(𝑆)] = − ( ) ∗ 𝜇(𝑥, 𝑦, 𝑧)𝛿(𝑆)
𝜕𝑛 𝑅
𝜕𝑛 𝑅
а согласно формуле
36
𝑓(𝑥, 𝑦, 𝑧) ∗ 𝜎(𝑥, 𝑦, 𝑧)𝛿(𝑆) = ∫ 𝜎(𝑢, 𝑣, 𝑤)𝑓(𝑥 − 𝑢, 𝑦 − 𝑣, 𝑧 − 𝑤)𝑑𝑆
𝑆
мы получим следующее:
𝑉(𝑥, 𝑦, 𝑧) = − ∫ 𝜇(𝑢, 𝑣, 𝑤)
𝑆
𝜕
1
[
] 𝑑𝑆
𝜕𝑛 √(𝑥 − 𝑢)2 + (𝑦 − 𝑣)2 + (𝑧 − 𝑤)2
В данном уравнении производная по нормали n берется относительно
переменных u,v,w. Выражение общего решения через n фундаментальных
решений позволяет избежать некоторых трудностей (разложение на простые
дроби и т.д.).
Рассмотрим применение теории обобщенных функций в электрических
цепях. Для этого необходимо рассмотреть задачу Коши для цепи RLC.
Цепь RLC
состоит из активного сопротивлении R, катушки
индуктивности L и конденсатора емкости C, соединенных последовательно с
генератором, имеющим э.д.с. E(t). Эта э.д.с. начинает действовать при t=0 ,
т.е. когда замыкается электрическая цепь. При 𝑡 > 0 в цепи устанавливается
ток силой 𝑖(𝑡) и зарядом 𝑞(𝑡).
Принимая за неизвестную функцию заряд q(t) можно записать
следующее дифференциальное уравнение второго порядка с постоянными
коэффициентами:
𝐿
𝑑̃ 2
𝑑𝑡 2
𝑞(𝑡) + 𝑅
𝑑̃
𝑑𝑡
1
𝑞(𝑡) + 𝑞(𝑡) = 𝐸(𝑡), 𝑡 > 0
(31)
𝐶
которое соответствует второму закону Кирхгофа.
Задача Коши состоит в определении при t>0 функции q(t) из уравнения
(31), удовлетворяющей начальным условиям
𝑞(𝑡) |
𝑡=0
= 𝑞0 ,
𝑑𝑞(𝑡)
𝑑𝑡
|
𝑡=0
= 𝑖0
(32)
где 𝑞0 и 𝑖0 – соответственно заряд и сила тока при t=0. Если ввести
функции
𝑞̅(𝑡) = 𝜃(𝑡)𝑞(𝑡), 𝐸̅ (𝑡) = 𝜃(𝑡)𝐸(𝑡)
и
соответствующие
обобщенные
функции,
полученные
нулевым
продолжением функций q(t) и E(t) при t<0 , то можно записать следующее
37
𝑑
𝑑̃
𝑞̅(𝑡) = 𝑞̅(𝑡) + 𝑞0 𝛿(𝑡),
𝑑𝑡
𝑑𝑡
̃2
𝑑2
𝑑
𝑞
̅(𝑡)
=
𝑞̅(𝑡) + 𝑖0 𝛿(𝑡) + 𝑞0 𝛿 ` (𝑡)
2
2
𝑑𝑡
𝑑𝑡
где учтены начальные условия (32). В этом случае дифференциальное
уравнение (31) записывается в обобщенных функциях и с учетом начальных
условиях (32) принимает вид
𝐿
𝑑2
𝑑𝑡 2
𝑞̅(𝑡) + 𝑅
𝑑
𝑑𝑡
1
𝑞̅(𝑡) + 𝑞̅(𝑡) = 𝐸̅ (𝑡) + (𝐿𝑖0 + 𝑅𝑞0 )𝛿(𝑡) + 𝐿𝑞0 𝛿 ` (𝑡)
𝐶
С помощью дифференциального оператора 𝐷𝑞 ,
(33)
можно записать
уравнение (33) в виде уравнения в свертках 𝐾+` :
𝐷𝑞 𝛿(𝑡) ∗ 𝑞̅(𝑡) = 𝐹(𝑡)
(34)
где введена обобщенная функция
𝐹(𝑡) = 𝐸̅ (𝑡) + (𝐿𝑖0 + 𝑅𝑞0 )𝛿(𝑡) + 𝐿𝑞0 𝛿 ` (𝑡)
(35)
Фундаментальное решение 𝜉 (𝑡) этого уравнения удовлетворяют
начальным условиям. В таком случае решение уравнения (34) с учетом (35)
может быть записано в виде
𝑞̅(𝑡) = 𝜉(𝑡) ∗ 𝐹(𝑡)
где свертка функций осуществляется по переменной t.
Следующим примером будем применение теории обобщенных
функций к линейным динамическим системам. Для такого примера возьмем
дифференцирующую цепочку.
В случае дифференцирующей цепочки входная величина 𝐸1 (𝑡) (э.д.с.)
и величина на выходе должны удовлетворять равенству
𝐸2 (𝑡) = 𝜏
𝑑
𝑑𝑡
𝐸1 (𝑡)
(36)
где 𝜏 – некоторая постоянная.
С
E1(t)
R
E2(t)
38
Рисунок 6. Цепь RC
Цепь, изображенная на рисунке 6, может быть использована для
получения дифференцирующей цепочки. Используя обозначение
𝜏 = 𝑅𝐶
можно записать переходную функцию в виде
̃𝐸 (𝑝) =
𝐾
Рассмотрим
входную
э.д.с.
𝜏𝑝
1+𝜏𝑝
вида
.
(37)
𝐸1 (𝑡) = 𝐸0 [𝜃(𝑡) − 𝜃(𝑡 − 𝑡0 )] ,
постоянную на интервале 𝑡0 . Ее изображение по Лапласу будет следующим:
̃1 (𝑝) =
𝐸
𝐸0
(1 − 𝑒 −𝑝𝑡0 )
𝑝
С учетом соотношения (37) изображение по Лапласу э.д.с. на выходе
будет иметь вид
̃2 (𝑝) =
𝐸
𝜏𝐸0
(1 − 𝑒 −𝑝𝑡0 )
1 + 𝜏𝑝
или после обратного преобразования Лапласа
1
1
𝐸2 (𝑡) = 𝐸0 (1 − 𝑒 𝜏 𝑡0 ) 𝑒 −𝜏 𝑡 .
Таким образом, из всех формул можно сделать вывод о том, что
напряжение 𝐸2 (𝑡) является быстро затухающим.
Замечая, что обобщенная функция веса 𝐾𝐸 (𝑡) равняется э.д.с. на
выходе, соответствующей импульсному входному напряжению, и учитывая
условие (36), которому должна удовлетворять дифференцирующая цепочка,
получаем
𝐾𝐸 (𝑡) = 𝜏
𝑑
𝛿(𝑡) = 𝜏𝛿`(𝑡).
𝑑𝑡
Для переходной обобщенной функции можно написать
̃𝐸 (𝑝) = 𝜏𝑝.
𝐾
Сравнение этого результата с формулой (37), соответствующей
реальной
дифференцирующей
цепочке,
используемой
на
практике,
39
показывает, что реальная дифференциальная цепочка тем ближе к идеальной,
чем меньше 𝜏, причем 𝜏 ≪ 1.
Следовательно,
постоянные
коэффициенты
R
и
соотношением 𝜏 = 𝑅𝐶, должны удовлетворять условию 𝜏 ≪ 1.
C
связанные
40
ЗАКЛЮЧЕНИЕ
Новые задачи физики и математики, появившиеся в XX столетии,
привели к появлению нового понятия функции – обобщенной функции или
распределения. Обычное понятие функции, которое ставит в соответствие
каждому значению (из некоторой области определения этой функции)
соответствующее ему значение, оказалось абсолютно недостаточным.
Потребность в подобном обобщении возникает во многих физических
и математических задачах. Обобщенные функции дают возможность
выразить в математически корректной форме такие идеализированные
понятия, как плотность материальной точки, точечного заряда, точечного
диполя, (пространственную) плотность простого или двойного слоя,
интенсивность мгновенного источника и т.д.
Теория обобщенных функций – оформившаяся в последние годы
область функционального анализа; она возникла в связи с потребностями
математической физики и позволила правильно поставить и разрешить ряд
классических проблем прикладного значения.
В понятии обобщенной функции находит отражение тот факт, что
реально нельзя измерить значение физической величины в точке, а можно
измерять лишь ее средние значения в малых окрестностях данной точки.
Поэтому, техника обобщенных функций служит удобным и адекватным
средством для описания многих распределений различных физических
величин.
Строгая математическая теория обобщенных функций была построена
С.Л. Соболевым, Л. Шварцем и другими математиками. С.Л. Соболев
впервые разработал теорию обобщенных функций в связи с исследованием
гиперболических уравнений. Л. Шварц, развивая теорию обобщенных
функций (которые он называл распределениями), построил теорию их
преобразования Фурье. Большое внимание он уделил их приложениям к
математическому анализу и дифференциальным уравнениям. В настоящее
41
время эта теория нашла приложения почти во всех областях математики и ее
приложений, физике и других областях естествознания.
Считаю поставленную цель и задачи доказанными.
42
Список использованной литературы
1.
Антосик, А. Теория обобщенных функций/ А. Антосик, Я.
Микусинский, Р. Сикорский. Секвенциальный подход. – М.: Мир, 1976. – 150
с.
2.
Афонский, А.А. Цифровые анализаторы спектра, сигналов и
логики/ А.А. Афонский, В.П. Дьяконов. – М: СОЛОН-Пресс, 2009. – 248 с.
3.
Бицадзе, А.В. Уравнения математической физики/ А.В. Бицадзе.
– М.: Наука, 1982. – 336 с.
4.
Вишик, М.И. Уравнения в свертках в ограниченной области/
М.И. Вишик. – М.: УМН, 1965. – 250 с.
5.
Владимиров, В. С. Методы теории функций многих комплексных
переменных/ В.С Владимиров. – М.: Наука, 1964. – 200 с.
6.
Владимиров В.С. Обобщенные функции в математической
физике/ В.С Владимиров. – М.: Наука, 1979. – 250 с.
7.
Владимиров,
В.С.
Уравнения
математической
физики/
В.С Владимиров, В.В. Жаринов. – М.: Физматлит, 2004. – 250 с.
8.
Гельфанд, И.М. Некоторые применения гармонического анализа.
Обобщенные функции/ И.М. Гельфанд, Н.Я. Виленкин. – М.: Физматлит,
1961. – 180 с.
9.
Гельфанд, И.М. Пространства основных и обобщенных функций /
И.М. Гельфанд, Г.Е. Шилов. – М.: Наука, 1959. – 185 с.
10.
Гельфанд, И.М. Обобщенные функции и действия над ними/ И.
М. Гельфанд, Г. Е. Шилов. – М.: Добросвет: КДУ, 2007. – 408 с.
11.
Гюнтер, Н. М. Теория потенциала и ее применение к основным
задачам математической физики/ Н.М. Гюнтер. – М.: Альфа, 1953. – 150 с.
12.
Дирак, П. А. Основы квантовой механики/ П.А. Дирак, пер. с
англ. – М.: Проспект, 2001. – 210 с.
43
13.
Дрожжинов, Ю.Н. Асимптотически однородные обобщенные
функции и граничные свойства функций голоморфных в трубчатых конусах/
Ю.Н. Дрожжинов, Б.И. Завьялов. – М.: Просвещение, 2006. – 400 с.
14.
Келли, Дж.Л., Общая топология/ Дж.Л. Келли. – М.: Наука, 1968.
– 163 с.
15.
Кеч,
В.
Введение
в
теорию
обобщенных
функций
с
приложениями в технике/ В. Кеч, П. Теодореску. – М.: Мир, 1978. – 518 с.
16.
Клейн, Ф. Элементарная математика с точки зрения высшей/
Ф.Клейн. – М.: Наука, 1987. – 196 с.
17.
Колмогоров, А.Н.Элементы теории функций и функционального
анализа/ А.Н. Колмогоров, С.В. Фомин. – М.: Наука, 2006. – 210 с.
18.
Кондратьев, В.А. Краевые задачи для эллиптических уравнений в
областях с коническими или угловыми точками/ В.А. Кондратьев. – М.:
МГУ, 1967. – 202 с.
19.
Лапинова, С.А.Современные методы прикладной математики
(обобщенные функции и асимптотические методы)/ С.А. Лапинова, А.И.
Саичев, В.А. Филимонов. – Нижний Новгород: Изд-во ННГУ, 2006. – 260 с.
20.
Микусинский
Я.,
Сикорский
Р.
Элементарная
теория
обобщенных функций/ Я. Микусинский, Р. – М.: Наука, 1963. – 210 с.
21.
Рид, М.Методы современной математической физики, т. 1.
Функциональный анализ/ М. Рид, Б. Саймон. – М.: Мир, 2007. – 185 с.
22.
Робертсон, А. Топологические векторные пространства/ А.
Робертсон, В. Робертсон. – М.: Мир, 1999. – 155 с.
23.
Рудин, У. Функциональный анализ/ У. Рудин. – М.: Мир, 2005. –
24.
Сенета, Е. Правильно меняющиеся функции/ Е. Сенета. – М.:
200 с.
Наука, 1985. – 165 с.
25.
Смирнов, В. И. Курс высшей математики / В.И. Смирнов. – М.:
Наука, 2005. – 200 с.
44
26.
Соболев, С.Л. Некоторые применения функционального анализа
в математической физике/ С.Л. Соболев. – М.: Наука, 1988. – 333 с
27.
Соболев С.Л. Николай Максимович Гюнтер. Библиографический
очерк/ С.Л. Соболев, В.И. Смирнов. – М.: ГИТТЛ, 2003. – 195 с.
28.
Тихонов, А.Н. Уравнения математической физики/ А.Н. Тихонов,
А.А. Самарский. – М.: Наука, 1951. – 659 с.
29.
Фалалеев, М.В. Обобщенные функции и действия над ними/
М.В. Фалалеев. – Иркутск: Изд-во Иркутского госуд. ун-та, 2011. – 163 с.
30.
Фихтенгольц,
Г.М.
Основы
математического
анализа/
Г.М. Фихтенгольц. – М.: Наука, 1955. – 440 с.
31.
Шварц, Л. Математические методы для физических наук/ Л.
Шварц. – М.: Мир, 2005. – 230 с.
32.
Шилов, Г. Е. Математический анализ/ Г.Е. Шилов. – М.: Наука,
2000. – 260 с.
33.
Шилов, Г. Е. Математический анализ. Второй специальный курс/
Г.Е. Шилов. – М.: Наука, 2005. – 255 с.
34.
Широков,
Ю.М.
Алгебра
одномерных
обобщенных
функций. Теоретическая и математическая физика/ Ю.М. Широков. – М.:
Альфа. 2000. – 301 с.
Отзывы:
Авторизуйтесь, чтобы оставить отзыв