RÓWNANIA RÓŻNICZKOWE
WYKŁAD 10
Definicja szeregu funkcyjnego jest podobna do definicji szeregu liczbowego.
Różnica polega na tym, że wyrazami szeregu są nie liczby, lecz funkcje
.Niech ( f
n) będzie ciągiem funkcyjnym określonym na zbiorze X
R. Definicja
Szeregiem funkcyjnym nazywamy ciąg sum częściowych
( S
n)
utworzonych z wyrazów ciągu( f
n)
tzn. ciąg o wyrazach
k
n n k
k
f f f f f
S
f f
f S
f f S
f S
1 3
2 1
3 2
1 3
2 1 2
1 1
...
...
Oznaczamy go
Szeregi funkcyjne
Definicja
Szereg funkcyjny jest zbieżny punktowo do funkcji
S(x)
na zbiorzeX,
jeżeli ciąg jego sum częściowych jest zbieżny punktowo do funkcjiS(x)
na tym zbiorze.Funkcję
S(x)
nazywamy sumą szeregu i oznaczamy tym samym symbolem co szereg.Zbiór
X
nazywamy obszarem zbieżności szeregu funkcyjnego.(obszar zbieżności to zbiór tych argumentów x0, dla których szereg liczbowy
1
0 n
n x
f jest zbieżny).
Definicja
Szeregfunkcyjny
1 n
n x
f jest zbieżny bezwzględnie na zbiorze
X,
jeżeli szereg |
|
1 n
n x
f jest zbieżny na tym zbiorze.
Szeregi funkcyjne
Definicja
Szeregfunkcyjny jest zbieżny jednostajnie do funkcji
S(x)
na zbiorzeX,
jeżeli ciąg jego sum częściowych jest zbieżny jednostajnie do funkcjiS(x)
na tym zbiorze.Uwaga
Ze zbieżności jednostajnej wynika zbieżność punktowa szeregu.
Twierdzenie (Weierstrassa)
Jeżeli
f
n x a
n dla każdegon n
0ix X
orazszereg liczbowy
1 n
a
njest zbieżny, to szereg funkcyjny
1 n
n
x
f
jest jednostajnie i bezwzględnie zbieżny na zbiorzeX
.Karl Weierstrass (1815-1897)
Występujący w twierdzeniu szereg
a
n nazywamy majorantą liczbową szeregu funkcyjnegoSzeregi funkcyjne
Przykład
Rozważmy szereg
...
4 4 sin 3
3 sin 2
2 sin 1
sin
1 sin
2 2 2 2 21
x x
x x
n
n
nx
n
Ponieważ
2 2
1 sin
1
n n
n
nx
dla każdego
xR,
to badany szereg funkcyjny jest bezwzględnie i jednostajnie zbieżny na zbiorze liczb rzeczywistych.Szeregi funkcyjne
Twierdzenie
Jeżeli szereg funkcyjny
1 n
f
njest jednostajnie zbieżny na zbiorze
X
i funkcjef
n są ciągłe na zbiorzeX
, to suma szeregu jest funkcją ciągłą na tym zbiorze.Szeregi funkcyjne
Twierdzenie (o różniczkowaniu szeregu funkcyjnego)
Jeżeli funkcje
f
n są różniczkowalne w sposób ciągły na zbiorzeX
, szereg funkcyjny
1 n
f
n
jest zbieżny punktowo na zbiorze
X
, zaś szereg pochodnych'
1 n
f
n jest zbieżny jednostajnie na zbiorzeX
, to suma szeregu jest funkcjąróżniczkowalną na zbiorzeX
i zachodzi równość' ,
1
1
n n n
n
f
f
(przy uczynionych założeniach szereg można różniczkować „wyraz po wyrazie”)
Szeregi funkcyjne
Twierdzenie (o całkowaniu szeregu funkcyjnego) Jeżeli szereg funkcyjny
1 n
f
njest zbieżny jednostajnie na przedziale
[a, b]
i funkcjef
n sącałkowalne na tym przedziale, tosuma szeregu jest funkcją całkowalną i zachodzi równość
1 1
) ( )
(
n b
a n b
a n
n
x dx f x dx
f
(przy uczynionych założeniach szereg można całkować „wyraz po wyrazie”).
Uwaga
Trzy ostatnie twierdzenia są konsekwencją własności granicznych ciągów funkcyjnych.
Szeregi funkcyjne
Definicja
Szeregiem potęgowym o środku w punkcie
x
0 R
i współczynnikacha
0, a
1, a
2, ... , a
n, ...
nazywamy szereg funkcyjny postaci
...
) (
...
) (
) (
)
(
0 1 0 2 0 2 1 0 10
0
n nn
n
n
x x a a x x a x x a x x
a
(umowa: (
x - x
0)
0= 1
również dlax = x
0!)
Uwagi
Każdy szereg potęgowy jest zbieżny w swoim środku.
Wyrazy szeregu potęgowego są określone dla wszystkich liczb rzeczywistych, więc każda liczba rzeczywista jest jego punktem zbieżności, lub rozbieżności.
Dla
x
0= 0
szereg ma postać
Szeregi potęgowe
Twierdzenie (Cauchy’ego - Hadamarda)
Jeżeli szereg potęgowy jest zbieżny w pewnym punkcie
x
1≠ 0,
to: jest zbieżny bezwzględnie w przedziale (
-| x
1|, |x
1|),
jest zbieżny jednostajnie w każdym domkniętym podprzedziale tego przedziału.
Definicja
Obszarem (przedziałem) zbieżności szeregu potęgowego nazywamy przedział wartości
x
dla których szereg jest zbieżny.
W przypadku szeregu
n n
n
x
a
0
obszarem zbieżności może być przedział
[-r, r],
lub(-r, r),
lub(-r, r],
lub[-r, r),
lub zbiór liczb0
|x
1| x
- |x
1|
Szeregi potęgowe
Twierdzenie Jeżeli istnieje granica
a g a
n n
n
lim
1to promień zbieżności szeregu potęgowego jest równy
0 gdy
gdy 0
0 1 gdy
g g g g
r
Twierdzenie Jeżeli istnieje granica
g a
n n
n
| | lim
to promień zbieżności szeregu potęgowego jest równy
Szeregi potęgowe
Przykład
Wyznaczyć obszar zbieżności szeregu potęgowego
0 n
x
nWyznaczamy
lim lim 1 1
n n
n n
n
a
, więcpromień zbieżnościr = 1
.Aby ustalić przedział zbieżności tego szeregu należy sprawdzić zbieżność szeregu na krańcach przedziału podstawiając
x = 1
orazx = -1
.Dla
x = 1
dostajemy następujący szereg liczbowy , który jest szeregiem rozbieżnym.Dla
x = 1
mamy również szereg jest rozbieżny . Zatem obszar zbieżnościK = (-1, 1).
0 0
1 1
n n
n
0
) 1 (
n
n
Szeregi potęgowe
Przykład
Wyznaczyć obszar zbieżności szeregu potęgowego
1
1
n
x
nn
Wyznaczamy
1 1
1 lim lim
|
|
lim
n n
n n
n n
n
a n n
, więcpromień zbieżności
r = 1.
Sprawdzamy zbieżność szeregu na krańcach przedziału.
Dla
x = 1
dostajemy szereg liczbowy harmoniczny
1 1
1 1 1
n n
n
n
n
, który jest szeregiem rozbieżnym.
1 ( 1 )
n
( 1 )
n1
Szeregi potęgowe
Przykład
Wyznaczyć obszar zbieżności szeregu potęgowego
1 2
1
n
x
nn
Wyznaczamy
1 1
1 lim lim
|
|
lim
2
2
n n
n n
n n
n
a n n
, więcpromień zbieżnościr = 1.
Sprawdzamy zbieżność szeregu na krańcach przedziału.
Dla
x = 1
dostajemy zbieżny szereg liczbowy
1 2
1
n
n
.Dla
x = -1
otrzymujemy zbieżny szereg liczbowy
1
2
( 1 ) 1
n
n
n
.Obszar zbieżności
K = [-1, 1].
Szeregi potęgowe
Przykład
Wyznaczyć obszar zbieżności szeregu potęgowego
0
! 2
n
n n
n x
Wyznaczamy granicę
1 0 lim 2
2 )!
1 (
! lim 2
! 2
)!
1 (
2 lim lim
1 1
1
n n
n n
n a
a
n n n
n n n
n n n n
Stądpromień zbieżności
r = .
Zatem obszarem zbieżności jest zbiór liczb rzeczywistych.
Szeregi potęgowe
Przykład
Wyznaczyć obszar zbieżności szeregu potęgowego
0
!
n
x
nn
Wyznaczamy granicę
lim ( 1 )
! )!
1 lim (
lim
1n
n n a
a
n n n
n n
Stądpromień zbieżności
r = 0.
Obszarem zbieżności jest zbiór
{0}.
Szeregi potęgowe
Obszar zbieżności szeregu funkcyjnego
k n
n n
g x a [ ( )]
, znajdujemy przez wyznaczenie
przedziału zbieżności
K
szeregu potęgowego
0 n
n n
y
a
(gdziey = g(x))
, a następnie wyznaczeniex
z warunkug(x) K
.Przykład
Wyznaczyć obszar zbieżności szeregu funkcyjnego
1
2
2 5 )
5 ( 1
n
n
n
x x
n
Po podstawieniu
y = x
2– 2x +5
dostajemy szereg potęgowy
1
5 1
n
n
n
y
n
o zmiennejy.
Promieniem zbieżności tego szeregu jest liczba
r = 5.
.Dla
y = 5
, dostajemy szereg rozbieżny, dlay = – 5
szereg zbieżny, więc przedziałemSzeregi potęgowe
Uwaga
Szeregi potęgowe można różniczkować i całkować wyraz po wyrazie wewnątrz obszaru zbieżności
1
1
0 n
n n n
n
n
x a nx
a
.1
1
0 0
0
a t dt a n x
nn n x
n
n
n .
Promienie zbieżności szeregów wynikowych są takie same jak szeregu wyjściowego, natomiast obszary zmienności mogą różnić się na krańcach przedziałów.
Przykład
Szereg potęgowy
1 2
1
n
x
nn
ma obszar zbieżnościK = [-1, 1].
Szereg utworzony z pochodnych wyrazów szeregu pierwotnego
Szeregi potęgowe
Definicja
Funkcja
y = f (x)
jestklasyC
n jeżeli jestn
-krotnie różniczkowalna i jejn
-ta pochodna jest funkcjąciągłą.
Definicja
Funkcja
y = f (x)
jestklasyC
,
jeżeli jest klasyC
n dla każdegonN.
Twierdzenie
Jeżeli funkcja
y = f (x)
jest klasyC
n w pewnym otoczeniuU(x
0, h)
punktux
0, to dla każdegox
z tego otoczenia zachodzi wzór Taylora
) ( ...
)
! ( 3
) ) (
! ( 2
) ( ) ''
! ( 1
) ( ) '
( )
(
0 0 3'' ' 2 0 0
0 0
0
f x x x R x
x x x
x f x x
x f f x
f
n .gdzie
n n
c
f
( )( )
Szeregi potęgowe
Definicja
Jeżeli funkcja
y = f (x)
jest klasyC
w pewnym otoczeniuU(x
0, h)
punktux
0, to szereg potęgowy...
)
! ( 3
) ) (
! ( 2
) ( ) ''
! ( 1
) ( ) '
( )
! ( )
(
30 0
'' ' 2 0 0
0 0
0 0
0 0
)
(
x x x
x f x x
x f x x
x f f x
n x x f
n
n n
. nazywamy szeregiem Taylora tej funkcji o środku w punkcie
x
0.
Jeżeli
x
0= 0
to szereg ten nazywamy szeregiem Maclaurina.
Uwaga
Ze zbieżności szeregu nie wynika, że jego suma jest równa tej funkcji.
Np. dla funkcji
0 dla
0
0 ) dla
(
2
1
x x x e
f
xSzeregi potęgowe
Twierdzenie
Jeżeli funkcja
y = f (x)
jest klasyC
w pewnym otoczeniuU(x
0, h)
punktux
0, i dla każdegox U(x
0, h)
oznacza
n
-tą resztę we wzorze Taylora), to (gdzie) , ( dla
)
! ( ) ) (
(
00
0 0
) (
h x U x x
n x x x f
f
n
n
n
.
Uwaga
jest spełniony jeśli wszystkie pochodne funkcji
f
są wspólnie Warunekograniczone tzn.
0 ) (
lim
R
nx
n
n n
n
x x
n c x f
R ( )
! ) ) (
(
0)
(
0 ) (
lim
R
nx
n