Фурье рәте: өлгөләр араһындағы айырма

Эстәлек юйылған Эстәлек өҫтәлгән
91 юл:
: <math>\sum_k c_k \varphi_k</math> рәте <math>f</math> элементының <math>\{\varphi_k\}</math> ортогональ системаһы буйынса '''Фурье рәте''' тип атала.
 
Теләһә ниндәй <math>f</math> элементының теләһә ниндәй ортогональ система буйынса Фурье рәте <math>H</math> арауығында йыйыла, ләкин уның суммаһы <math>f</math>-кә мотлаҡ тигеҙ түгел. Для [[ортонормированнаяСепарабель системаарауыҡ|ортонормированной системыСепарабель]] Гильберт арауығында <math>{\varphi_k}</math> в [[сепарабельноеортонормалаштырылған пространство|сепарабельномсистема]] гильбертовом пространствеөсөн следующиеартабанғы условияшарттар эквивалентныэквивалентлы:
 
* система является [[базис]]ом була, тойәғни естьтеләһә сумманиндәй рядаэлементтың Фурье любогорәте элементасуммаһы равнабыл этомуэлементҡа элементутигеҙ.
* система является ''полнойтулы'' була, то есть вйәғни <math>H</math>-та ненулдән существуетайырмалы ненулевого элементабулған, ортогонального всем элементамбөтә <math>\varphi_1, \varphi_2, ..., \varphi_n, ...</math> одновременноэлементтарына бер юлы ортогональ булған элемент юҡ.
* система является ''замкнутоййомоҡ'', тойәғни естьтеләһә для любогониндәй <math>f\in H</math> выполненоөсөн [[равенствоПарсеваль Парсевалятигеҙлеге]] үтәлә
:: <math>\sum_{k=1}^\infty |c_k|^2 = \|f\|^2</math>.
* линейные комбинации элементовлинейныеиов <math>\varphi_1, \varphi_2, ..., \varphi_n, ...</math> [[всюдуэлементтарының плотноеһыҙыҡлы множество|плотны]] в пространствекомбинациялары <math>H</math> арауығында [[бәтә ерҙә тығыҙ күмәклек|тығыҙ]].
 
Әгәр был шарттар үтәлмәһә, <math>f</math> элементының Фурье рәте суммаһы уның <math>\varphi_1, \varphi_2, ..., \varphi_n, ...</math> элементтарының [[һыҙыҡлы көплөк|һыҙыҡлы көплөгөнөң]] [[Замыкание (алгебра)|замыканиеһына]] [[ортогональ проекция|ортогональ проекцияһына]] тигеҙ. Был осраҡта Парсеваль тигеҙлеге урынына ''Бессель тигеҙһеҙлеге'' дөрөҫ:
Если эти условия не выполняются, то сумма ряда Фурье элемента <math>f</math> равна его [[ортогональная проекция|ортогональной проекции]] на [[Замыкание (алгебра)|замыкание]] [[линейная оболочка|линейной оболочки]] элементов <math>\varphi_1, \varphi_2, ..., \varphi_n, ...</math>. В этом случае вместо равенства Парсеваля справедливо ''неравенство Бесселя'':
: <math>\sum_{k=1}^\infty c_k^2 \leqslant \|f\|^2.</math>
 
{{Hider|
title = ПримерыМиҫалдар |
content = Тригонометрические функции <math>\sin(kx)</math>, <math>\cos(kx)</math> образуют базис гильбертова пространства <math>L_2[-\pi,\pi]</math>. Если мы рассмотрим только косинусы или только синусы, то такая система больше не будет полной. Замыкание линейной оболочки функций <math>\cos(kx)</math> - это все четные функции из <math>L_2</math>, а замыкание линейной оболочки функций <math>\sin(kx)</math> - все нечетные функции. Результатом разложения функции <math>f</math> в ряды Фурье по этим системам будут соответственно четная и нечетная части функции <math>f</math>:
:<math>\sum\limits_0^n a_k \cos(kx) = \frac{f(x)+f(-x)}{2},</math>
«https://ba.wikipedia.org/wiki/Фурье_рәте» битенән алынған