- •СПЕКТРАЛЬНЫЙ АНАЛИЗ
- •Лекция 1 Тригонометрическая система на отрезке
- ••Вопросами приближения функций тригонометрическим функциями занимались еще с 1740 г. Бернулли , Даламбер,
- •Лекция 2. Виды сходимости и условия сходимости ряда Фурье.
- •• Более общая формулировка:
- •Лекция 3. Ортогональные системы на отрезке и числовой прямой
- •Лекция 4. Спектр сигнала. Качество восстановления сигнала.
- •Лекция 5. Дискретное преобразование Фурье.
- •где через Ar обозначена сумма Ar cNp r
- •Лекция 6. Быстрое преобразование Фурье
- •так как одна из экспонент не зависит от индекса суммирования p, продолжая равенство,
- •Разложим фунцию, заданную на интервале [0,l] в ряд Фурье:
- •Лекция 7. Интегральное преобразование Фурье.
- •Свойства преобразования Фурье.
- •Лекция 8. Свойства преобразования Фурье
- •9)Теорема о свертке.
- •Лекция 12. Интегральные преобразования
- •Обратное преобразование Лапласа
- •Примеры применения преобразования Лапласа для решения дифференциальных уравнений.
- •Лекция 14
СПЕКТРАЛЬНЫЙ АНАЛИЗ
Лекция 1 Тригонометрическая система на отрезке
•Пространство функций L2 [-π, π]. Ортогональность системы функций. Полнота системы. Ортогональность проверяется непосредственно, а полнота следует из теоремы Вейерштрасса об аппроксимации любой непрерывной периодической функции тригонометрическими многочленами
•Тригонометрическая система 1,cos nx,sin nx ,… n=1,2,3,4,… образует полную ортогональную систему в этом пространстве.
•Вопросами приближения функций тригонометрическим функциями занимались еще с 1740 г. Бернулли , Даламбер, Лагранж; Эйлер. Фурье в 1811 г. выразил уверенность в возможности такого представления, а в его книге 1822 г привел множество примеров примения разложения в тригонометрический ряд.
• Ряд Фурье сходится в метрике L2 [-π, π].
•Ортогональные системы на отрезке [0, π], [a,b], [0,1]
Лекция 2. Виды сходимости и условия сходимости ряда Фурье.
•Рассмотрим различные виды сходимости, в которых исследуется сходимость ряда Фурье. Практически важными являются условия сходимости ряда Фурье в точке и в других метриках:
–Суммируем по Чезаро в среднем
-сходимость в метрике Lp
-равномерно суммируем по Чезаро.
-слабая сходимость.
Условие поточечной сходимости дается теоремой:
Если f –суммируемая функция и при фиксированном x и некотором
δ>0 интеграл |
|
|
f ( x t ) f ( x) |
|
dt |
|
|
||||||
|
|
|
||||
|
t |
|||||
|
|
|||||
|
|
|
существует (условие Дини), то частичные суммы ряда Фурье функции сходятся в этой точке x к f (х).
• Более общая формулировка:
Пусть f –ограниченная функция с периодом 2π, имеющая разрывы лишь первого рода и пусть f имеет в каждой точке левую и правую производные. Тогда ее ряд Фурье сходится всюду, а его сумма равна f(x) в точках непрерывности и равна
½( f (х+0) + f (х-0)) в точках разрыва.
Имеет место равенство Парсеваля - для ортонормированной системы, а для ненормированной системы выполнено
неравенство Бесселя
Лекция 3. Ортогональные системы на отрезке и числовой прямой
Существует множество ортогональных систем функций, заданных на отрезке и числовой прямой. Наиболее широко применяются следующие их виды:
1.Тригонометрическая система
2.Многочлены Лежандра. Они получаются ортогонализацией
одночленов xn на отрезке [-1,1]
3. Функции Эрмита - произведения многочленов Эрмита на собственные функции преобразования Фурье.
Образуют ортогональную систему на всей числовой прямой. Многочлены Эрмита являются решениями обыкновенного дифференциального уравнения:
d 2 f x 2 f dx 2
Полиномиальные решения этого уравнения существуют при μ = -(2n+1), n=0,1,2,3,… С точностью до постоянного сомножителя полиномы Эрмита совпадают с совпадают с выражениями
H n* ( 1)n ex2 |
d n e x2 |
|
dxn |
Лекция 4. Спектр сигнала. Качество восстановления сигнала.
Эффект Гиббса
Для периодической функции представление в виде ряда Фурье определяет спектр сигнала. Скорость сходимости ряда определяется дифференциальными свойствами исходной функции. Чтобы продемонстрировать данный факт, следует опираться на следуающие теоремы о почленном дифференцировании и интегрировании рядов.
Почленный переход к пределу
Рассматриваем функциональный ряд
(1)
Теорема1. Пусть каждая из функций un(x) (n=1,2,3,…) определена в области X и имеет при стремленииx x к а конечный предел:
Если ряд (1) в области |
сходится равномерно, то |
1) сходится ряд составленный из этих пределов |
|
и 2) сумма ряда (1) также имеет при предел, именно: |
|
Почленное интегрирование рядов |
|
Теорема. Если функции |
un(x) (n=1,2,3,…) интегрируемы на отрезке [a,b] и составленный из них ряд |
сходится в этом промежутке равномерно, то сумма ряда также будет интегрируема и интеграл от суммы ряда представляется следующим образом:
Почленное дифференцирование рядов
Теорема. Пусть функции un(x) (n=1,2,3,…) определены в промежутке Χ=[a,b] и имеют в нем конечные производные u΄ n(x). Если ряд (1) сходится хоть в одной точке, а ряд, составленный из производных
равномерно сходится на всем промежутке Х, то тогда ряд (1) сходится равномерно на всем промежутке и его сумма имеет в Х производную, выражаемую равенством вида:
|
|
' |
un (x) |
un ' (x) |
|
n 1 |
|
n 1 |
Лекция 5. Дискретное преобразование Фурье.
Впрактических приложениях чаще всего приходится сталкиваться
сразличными дискретно заданными функциями, к которым также возможно применить аппарат Фурье анализа в его дискретной версии.
Дискретное преобразование Фурье
Рассмотрим преобразование Фурье на множестве сеточных функций Пусть f(x) – заданная непрерывная функция, определенная на отрезке [0,l]. fq , q= 0,1,…,N-1, x0=0, xN=l.
Периодически продолжим функцию f(x) на всю числовую ось, тогда f(l)=f(0), определим точки сетки xq=qh=ql/N.
Получим сеточный аналог разложения Фурье.
В силу разложения Фурье для периодической функции в точках сетки
выполнено . |
|
|
|
|
|
i2 nxq |
|
|
f (x |
q |
) f |
c |
exp |
|
|
|
|
||||||
|
|
|
q n |
|
l |
|
|
|
|
|
|
|
|
|
Преобразуем эту сумму. Пусть n=Np+r,
r=0,…N-1. Тогда сумма может быть представлена в виде:
n |
|
2 (np r)xq |
n |
|
2 (Np r)ql / N |
|
|||
|
|
|
|
|
|
|
|||
c |
exp i |
l |
|
|
c |
exp i |
l |
|
|
p r |
|
|
p |
r |
|
|
|
|
|
2 rq |
N 1 |
|
2 rq |
||
cNp r exp i |
N |
exp( i2 qp) Ar exp i |
N |
, |
|||
p r |
|
|
r 0 |
|
|
где через Ar обозначена сумма Ar cNp r
p
Отсюда следует вывод, что если функция задана своими дискретными значениями, то мы можем ее разложить по системе сеточных функций
|
|
|
) exp |
|
2 q |
|
|
|
2 xq |
|
|
|
|
(x |
|
|
exp |
|
|
, |
q 0,1,...,N -1. |
||
r |
|
|
|
||||||||
|
q |
|
|
N |
|
|
l |
|
|
||
|
|
|
|
|
|
|
|
|
|
Аналогично, мы можем провести разложение по системе cos(xq) и sin(xq). Этот факт находится в полном соответствии с выводом линейной алгебры о разложении элемента RN по системе из N линейно независимых векторов.
В данном случае значения фунций образуют линейно независимую систему векторов.
Покажем ортогональность данной системы функций. Рассмотрим скалярное произведение двух функций: f(xq) и
N 1 |
|
|
2 rq |
1 |
|
|
2 qs |
||
|
|
|
|
|
|
|
|
|
|
f (xq ) Ar |
exp i |
|
|
|
exp i |
N |
, s 0,...N -1 |
||
r 0 |
|
|
|
N |
N |
|
|
|
|
N 1 N 1 |
|
|
2 (n s) |
q |
|
|
|||
|
|
|
|||||||
f, s An exp i |
N |
. |
|
|
|||||
q 0 n 0 |
|
|
|
|
|
|
так как при s≠n
|
|
|
|
|
q |
1 |
|
2 i(n s) N |
|
|
|
|
|
|
|
|
|
|
|||
N 1 |
|
|
2 (n |
s) |
exp |
N |
|
|
1 exp |
2 i(n |
s) |
|
|
0 |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
exp i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0, |
|
N |
|
|
|
|
2 i(n |
s) |
|
|
2 i(n |
s) |
|
... |
|||||||||
q 0 |
|
|
|
|
1 |
1 |
|
|
|||||||||||||
|
|
exp |
N |
|
exp |
N |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
то , таким образом отсюда вытекает формула обращения:
|
1 |
N 1 |
|
|
2 qs |
|
As |
|
fq exp |
i |
N |
|
|
|
||||||
|
N q 0 |
|
|
|
Из доказательства попутно следует также что
s , s |
N, |
|
|
|
s |
|
|
|
|
N. |
|
|
|
|