2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 ряд Фурье
Сообщение13.11.2010, 19:30 


02/10/10
376
Каждой функции $f\in C[0,2\pi]$ поставим в соответствие ее коэффициент Фурье $f_n=\int_0^{2\pi}f(x)e^{-inx}dx.$
Последовательность чисел $\{a_n\}$ такова, что для всякой функции $f\in C[0,2\pi]$ ряд $\sum_{n\in\mathbb{Z}}a_nf_ne^{inx}$ сходится в $C[0,2\pi]$.

Доказать, что оператор $f\mapsto \sum_{n\in\mathbb{Z}}a_nf_ne^{inx}$ является ограниченным оператором из $C[0,2\pi]$ в себя.

 Профиль  
                  
 
 Re: ряд Фурье
Сообщение13.11.2010, 20:29 
Заслуженный участник


13/12/05
4620
Рассмотрим последовательность операторов $A_nf=\sum_{k=-n}^n a_kf_ke^{ikx}\colon C[0,2\pi]\to C[0,2\pi]$. Это линейные ограниченные операторы, причём для каждого $f$ последовательность $A_nf$ ограничена (так как сходится). По теореме Банаха-Штейнгауза нормы этих операторов ограничены некоторым числом. Значит, и предельный оператор $Af=\sum_{k=-\infty}^{\infty} a_kf_ke^{ikx}$ тоже ограничен.

-- Сб ноя 13, 2010 22:39:35 --

Что-то мне кажется, что ряд $\sum a_n$ должен абсолютно сходится.

 Профиль  
                  
 
 Re: ряд Фурье
Сообщение13.11.2010, 20:50 


02/10/10
376
это был легкий тролинг. Почему-то в контектсе этой задачи про теорему Б-Ш вспоминают в последнюю очередь, а сначала разворачивают большую науку :D

 Профиль  
                  
 
 Re: ряд Фурье
Сообщение13.11.2010, 20:54 
Заслуженный участник


13/12/05
4620
Ну а всё-таки, будет ли ряд из $a_n$ обязательно сходится?

 Профиль  
                  
 
 Re: ряд Фурье
Сообщение13.11.2010, 21:09 


02/10/10
376
Padawan в сообщении #374705 писал(а):
Что-то мне кажется, что ряд $\sum a_n$ должен абсолютно сходится.

Если это так, то операторы $A_n$ сходятся в операторной топологии. Сомневаюсь.

 Профиль  
                  
 
 Re: ряд Фурье
Сообщение13.11.2010, 21:10 
Заслуженный участник


09/02/06
4401
Москва
Padawan в сообщении #374723 писал(а):
Ну а всё-таки, будет ли ряд из $a_n$ обязательно сходится?

Думаю нет. $a_n=\frac 1n$ удовлетворяет условию, но ряд расходится.

 Профиль  
                  
 
 Re: ряд Фурье
Сообщение13.11.2010, 21:45 
Заслуженный участник


13/12/05
4620
Руст
А почему $a_n=\frac 1n$ удовлетворяет условию?

 Профиль  
                  
 
 Re: ряд Фурье
Сообщение13.11.2010, 23:32 
Заслуженный участник


09/02/06
4401
Москва
Изменяя только $f_0$ можно считать, что интеграл от функции равен нулю.
Из того, что $f(x)\in L_2$ следует, что $\sum _n|f_n|^2<\infty$.
Для $a_n=\frac{!}{n}$ имеем $\sum_n a_n^2<\infty$, соответственно
$\sum_n |a_nf_n|<\sum_n |f_n|^2+\sum_n a_n^2<\infty $ для любой непрерывной функции.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 8 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Shadow


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group