қатарының жинақты болуы кажетті де, жеткілікті. Осы шарттар орындалған кезде
(104) теңдеуінің шешімі
(р{х) = ( р , { х ) + і \ ( р ку/к{х)
к = I
түрінде өрнектеледі, мұндағы,
(р0(х) - жоғардағы (103) теңдеуінің кез келген
шешімі.
Дәлелдеуі. Егер (104) тендеуінің шешімі
ф(х) е L2[a,b\ болса, онда
/ ( х )
g
L2[a,b\. Сондықтан Шмидт теоремасы бойынша
f ( x ) e L 2[a,b\ функциясы
(105) қатарына жіктеледі. Бессель теңсіздігі бойынша (106) қатары жинақты бола-
ды жоне керісінше, егер (106) қатары жинақты болса, онда Рисс-Фишер теоремасы
бойынша
(р(х) е L2[a,b\ функциясы табылып жэне Лк/ к Фурье коэффициенттері
болады, яғни
00
(р{х) = ^ л к(рку/к (х)
* = 1
тендігі орынды. Бұл тендікпен анықталған
(р{х) функциясы (104) тендеуін қана-
ғаттандыратынын оңай тексеріп көруге болады.
Достарыңызбен бөлісу: