Pataki Gergely
BME
pataki@math.bme.hu
math.bme.hu/∼pataki
– 1
Improprius integrál
Zb Zb
Ha nem létezik lim f , vagy lim f = ±∞, akkor azt mondjuk, hogy
b→∞ b→∞
a a
az f nem improprius integrálható az [a, ∞[-en.
Zb Zb
Ha nem létezik lim f , vagy lim f = ±∞, akkor azt mondjuk,
a→−∞ a→−∞
a a
hogy az f nem improprius integrálható a [−∞, b[-n.
Zb Zb
Ha nem létezik lim f , vagy lim f = ±∞, akkor azt mondjuk,
x →a+ x →a+
x x
hogy az f nem improprius integrálható az [a, b]-n.
Feladat
Z1
x −2 dx =?
−1
Z1
x −3 dx =?
−1
Z1
x −1/3 dx =?
−1
Továbbá, legyen
Za
f = 0.
a
Feladat
Z∞
2
Létezik-e e−x dx ?
−∞
Z∞ ∞
X Z∞ Z∞
f (x ) dx ≤ f (n) ≤ f (x ) dx = f (t − 1) dt.
2 n=2 1 2
Bizonyítás.
1
Az előző tétel miatt azt kell belátnunk, hogy az f (x ) = = x −α
xα
pontosan akkor improprius integrálható az [1, ∞[-en, ha α > 1.
Ha α 6= 1, akkor b → ∞ esetén
Zb #b
∞, ha α < 1,
"
x 1−α b 1−α − 1
x −α dx = = → 1
1−α 1
1−α , ha α > 1.
1 α−1
Ha α = 1, akkor b → ∞ esetén
Zb Zb
1
x −α
dx = dx = [log x ]b1 = log b → ∞.
x
1 1
• •
+ +
a b
Integrál alkalmazásai–Ívhossz 19
Ívhossz
•◦ •
◦
+ +
a b
Integrál alkalmazásai–Ívhossz 19
Ívhossz
•◦ •
◦
+ +
a b
Integrál alkalmazásai–Ívhossz 19
Ívhossz
◦ ◦
•◦ •
◦
+ +
a b
Integrál alkalmazásai–Ívhossz 19
Ívhossz
◦ ◦
•◦ •
◦
+ +
a b
Integrál alkalmazásai–Ívhossz 19
Ívhossz
◦ ◦
◦ ◦
•◦ •
◦
+ +
a b
Integrál alkalmazásai–Ívhossz 19
Ívhossz
◦
◦ ◦
◦ ◦
•◦ •
◦
+ +
a b
Integrál alkalmazásai–Ívhossz 19
Ívhossz
◦ ◦ ◦
◦ ◦
◦ ◦
◦ ◦
•◦ •
◦
+ +
a b
Integrál alkalmazásai–Ívhossz 19
Ívhossz
◦ ◦ ◦
◦ ◦
◦ ◦
◦ ◦
◦ ◦
•◦ •
◦
+ +
a b
Integrál alkalmazásai–Ívhossz 19
Ívhossz
◦ ◦ ◦ ◦
◦ ◦
◦ ◦
◦ ◦
◦ ◦
◦ ◦
•◦ •
◦
+ +
a b
Integrál alkalmazásai–Ívhossz 19
Ívhossz
◦◦◦◦
◦◦ ◦
◦ ◦
◦ ◦
◦ ◦
◦ ◦
◦ ◦
◦ ◦
•◦ •
◦
+ +
a b
Integrál alkalmazásai–Ívhossz 19
Ívhossz
◦◦◦
◦◦◦◦ ◦◦◦◦
◦ ◦
◦ ◦
◦ ◦
◦ ◦
◦ ◦
◦ ◦
◦ ◦
◦ ◦
◦ ◦
•◦ •
◦
+ +
a b
Integrál alkalmazásai–Ívhossz 19
Ívhossz
◦◦◦◦◦◦◦
◦◦◦◦◦◦◦ ◦◦◦◦◦◦◦
◦◦◦ ◦◦◦
◦◦◦ ◦◦
◦◦
◦
◦ ◦◦
◦◦ ◦◦
◦◦ ◦◦
◦
◦ ◦◦
◦◦ ◦
◦ ◦
◦ ◦
◦ ◦
•◦ •
◦
+ +
a b
Integrál alkalmazásai–Ívhossz 19
) ◦
1
◦◦◦
m(xk − xk−1 )
x k−
◦ ◦ −
◦ ◦ 2( xk
m
◦ ◦ √ 1 +
xk − xk−1
•◦ •
◦ ◦
+ ++ +
a xk−1 xk b
k=1
integrálközelítő összege.
Zb q
Ha f folytonosan deriválható, akkor a görbe ívhossza 1 + (f 0 (x ))2 dx .
a
Integrál alkalmazásai–Ívhossz 20
•
Feladat
√
Mennyi az f (x ) = x 3 görbe
ívhossza, ha x ∈ [1, 4]?
Segítség:
Zb q
1 + (f 0 (x ))2 dx .
a
Integrál alkalmazásai–Ívhossz 21
Forgástest térfogata
f (x )
+ + + + +
x0 = a x1 ξ2 x2 b = xn
Feladat
π 11π
Az f (x ) = sin(x ) + 1.5 függvény grafikonjának, feletti szakaszát
6 6
forgassuk meg az x tengely körül! Mennyi a kapott forgástest térfogata?
Zb
Segítség: π f 2 (x ) dx .
a
+
S = (sx , sY )
+ +
a b
Integrál alkalmazásai–Súlypont 28
+ + + + +
x0 = a xk−1 ξk xk b = xn
Integrál alkalmazásai–Súlypont 29
f (ξk )
+
2
+ + + + +
x0 = a xk−1 ξk xk b = xn
Az a = x0 < · · · < xn = b felosztáshoz minden k = 1, . . . , n esetén
ξk ∈ [xk−1 , xk ]-hez tartozó súlypont f (ξk )/2, és a hozzá tartozó súly
f (ξk )(xk − xk−1 ). Az így kapott súlypontok súlyozott átlaga lesz sy
Pn 1
k=1 2 f (ξk )f (ξk )(xk − xk−1 )
közelítése: Pn . Ez éppen 21 f 2 (x ) és f (x )
k=1 f (ξ k )(x k − x k−1 )
integrálközelítő összegének hányadosa, így ha f folytonos, akkor
Zb
1
2 f 2 (x ) dx
a
sy = .
Zb
f (x ) dx
a
Integrál alkalmazásai–Súlypont 30
Feladat
π
Határozzuk meg a sin függvény , π intervallum feletti grafikonja, és az
2
intervallum közötti terület súlypontját!
+
S = (sx , sY )
+ +
a b
Integrál alkalmazásai–Súlypont 31
Szabad vektorok
y
x
Lineáris algebra–Geometria 32
Összeadás
y
x
a+b=c
I ∃0 : ∀a : a + 0 = a (létezik nullelem);
I ∀a : ∃b : a + b = 0 (b = −a létezik inverz);
I ∀a, b, c : (a + b) + c = a + (b + c) (+ asszociatív);
I ∀a, b : a + b = b + a (+ kommutatív);
Lineáris algebra–Geometria 33
Skalárral való szorzás
y
x
2 · a = b; −1 · a = c
Lineáris algebra–Geometria 34
Abszolút érték
z
Lineáris algebra–Geometria 35
Skaláris szorzat
ϕ ϕ
y
x
ab = |a||b| cos ϕ
I ∀a : aa ≥ 0 és aa = 0 ⇐⇒ a = 0 (pozitivitás);
I ∀a, b : ab = ba (szimmetria);
I ∀a, b, c : (a + b)c = ac + bc (additivitás);
I ∀λ, a, b : (λa)b = λ(ab) (homogenitás);
Lineáris algebra–Geometria 36
Vektoriális szorzat
a×b
· b
·
ϕ |a × b|
a
Lineáris algebra–Geometria 37
Irányvektor
z
v
P0 •
P0 v
•
y
x
P0 = (x0 , y0 ), P = (x , y ), és
v = (v1 , v2 ) jelöléssel P0 = (x0 , y0 , z0 ), P = (x , y , z), és
v = (v1 , v2 , v3 ) jelöléssel
x = x0 + λv1 ,
x = x0 + λv1 ,
y = y0 + λv2 ,
y = y0 + λv2 ,
azaz (x − x0 )v2 = (y − y0 )v1 , vagy z = z0 + λv3 .
másképp v2 x − v1 y = v2 x0 − v1 y0 .
Lineáris algebra–Geometria 38
Normálvektor
•
n
•
P0 y
x
−−→
Az egyenes/sík a pontjainak halmaza, azaz {P|P0 P⊥n}.
Lineáris algebra–Geometria 39
Vektortér, normált tér, belső szorzat tér
V vektortér R felett, ha
I ∃0 ∈ V : ∀a ∈ V : a + 0 = a (létezik nullelem);
I ∀a ∈ V : ∃b ∈ V : a + b = 0 (b = −a létezik inverz);
I ∀a, b, c ∈ V : (a + b) + c = a + (b + c) (+ asszociatív);
I ∀a, b ∈ V : a + b = b + a (+ kommutatív);
I ∀λ, µ ∈ R, a ∈ V : (λµ)a = λ(µa) (asszociatív);
I ∀λ, µ ∈ R, a ∈ V : (λ + µ)a = λa + µa (disztributív);
I ∀λ ∈ R, a, b ∈ V : λ(a + b) = λa + λb (disztributív);
I ∀a ∈ V : 1 · a = a;
Megjegyzés
Egy vektorteret lineáris térnek is nevezhetünk.
Egy R feletti vektorteret valós vektortérnek is nevezhetünk.
Más test feletti vektorteret is értelmezhetnénk, de mi nem fogunk, ezért ha
mást nem mondunk, akkor a vektortér mindig valós vektorteret jelent.
Lineáris algebra–Vektortér 40
Példa (Vektortér)
A szokásos műveletekkel:
R, C, R2 = R × R, R3 = R × R × R, . . . .
Ha a ∈ Rn , akkor az a = (a1 , . . . , an ) jelölést vezetjük be, ahol
a1 , . . . , an ∈ R.
A szokásos műveletek, ha a = (a1 , . . . , an ), b = (b1 , . . . , bn ) ∈ Rn , és
λ ∈ R:
Lineáris algebra–Vektortér 41
Altér
Definíció
Ha V vektortér, W ⊂ V úgy, hogy W is vektortér az örökölt műveletekkel,
akkor azt mondjuk, hogy W (lineáris) altere V-nek.
Tétel (Altérkritérium)
Legyen V vektortér, és ∅ =
6 W ⊂ V! W pontosan akkor altere V-nek, ha
I ∀a, b ∈ W : a + b ∈ W; I ∀a ∈ W, λ ∈ R : λa ∈ W;
Példa (Altér)
Legyen A, I ⊂ R úgy, hogy I intervallum!
R altere C-nek, vagy R3 -nak.
R2 vagy {(x , y ) ∈ R2 |y = 3x } altere R2 -nek.
CA = CA0 = {f : A → R|f folytonos} altere FA -nak.
DI = DI1 = {f : I → R|f deriválható} altere FI -nek, és CI0 -nek.
CI = CI1 = {f : I → R|f folytonosan deriválható} altere FI -nek, és DI1 -nek.
DI2 = {f : I → R|f kétszer deriválható} altere FI -nek, és CI1 -nek.
Lineáris algebra–Vektortér 42
Definíció (Normált tér)
A (V, k · k) párt normált térnek, a k · k : V → R függvényt pedig V-n adott
normáanak nevezzük, ha
I ∀a ∈ V : kak ≥ 0 és kak = 0 ⇐⇒ a = 0 (pozitivitás);
I ∀λ ∈ R, a ∈ V : kλak = |λ| · kak (pozitív homogenitás);
I ∀a, b ∈ V : ka + bk ≤ kak + kbk (háromszög egyenlőtlenség);
Lineáris algebra–Vektortér 43
Példa (Más normák)
a ∈ Rn , és p ∈ [1, ∞] esetén az Lp norma
Lineáris algebra–Vektortér 44
Definíció (Belső szorzat tér)
A (V, h·, ·i) párt belső szorzat térnek, a h·, ·i : V × V → R függvényt pedig
V-n adott belső szorzatnak nevezzük, ha
I ∀a ∈ V : ha, ai ≥ 0 és ha, ai = 0 ⇐⇒ a = 0 (pozitivitás);
I ∀a, b ∈ V : ha, bi = hb, ai (szimmetria);
I ∀a, b, c ∈ V : ha + b, ci = ha, ci + hb, ci (additivitás);
I ∀λ ∈ R, a, b ∈ V : hλa, bi = λha, bi (homogenitás);
Lineáris algebra–Vektortér 45
Tétel (Indukált norma)
Ha h·, ·i egy belső szorzat a V vektortéren, akkor az
q
kak = ha, ai (a ∈ V)
Megjegyzés
A skaláris szorzat az abszolút értéket azaz az L2 normát indukálja. p 6= 2
esetén az Lp norma nem származik belső szorzatból.
Lineáris algebra–Vektortér 46
Tétel (Cauchy-Schwartz egyenlőtlenség)
Ha (V, h·, ·i) egy belső szorzat tér, k · k az indukált norma, és a, b ∈ V,
akkor
|ha, bi| ≤ kak · kbk.
Egyenlőség pontosan akkor teljesül, ha
I a = 0, vagy b = 0 (ilyenkor 0 = 0);
I létezik λ 6= 0, amire a = λb (ilyenkor ha, bi = sgn(λ)kak · kbk).
ha, bi
arccos
kak · kbk
értéket.
Azt mondjuk, hogy a és b ortogonális, ha ha, bi = 0.
Lineáris algebra–Vektortér 47
Bázis
Tétel
Alterek metszete altér, azaz ha V vektortér, és Wi altere minden i ∈ I
T
esetén, akkor i∈I Wi is altere V-nek.
Definíció
Ha V vektortér, és H ⊂ V, akkor a H által generált altérnek nevezzük és
L(H)-val jelöljük az összes H-t tartalmazó altér metszetét.
\
L(H) = {W|W altere V-nek, és H ⊂ W}
Megjegyzés
Legyen ∅ =6 H ⊂ V véges, elemszáma n ∈ N+ , és elemeit jelölje a1 , . . . , an !
Ekkor a H által generált altér, a H elemeinek lineáris kombinációjaként
előálló vektorokból áll.
Lineáris algebra–Vektortér 48
z
y
x
Definíció
Ha V vektortér, és H ⊂ V úgy, hogy L(H) = V, akkor azt mondjuk, hogy
H egy generátorrendszere V-nek.
Ha létezik H ⊂ V véges generátorrendszer, akkor azt mondjuk, hogy V
véges dimenziós vagy végesen generált.
P a polinomok vektortere (FR altere) nem véges dimenziós.
Lineáris algebra–Vektortér 49
Definíció
Legyen V vektortér, ∅ = 6 H ⊂ V véges, elemszáma n ∈ N+ , és elemeit
jelölje a1 , . . . , an ! Azt mondjuk, hogy H lineárisan független, ha
λ1 , . . . , λn ∈ R esetén
λ1 a1 + · · · + λn an = 0 =⇒ λ1 = · · · = λn = 0.
Példa
(1, 0) és (1, 1) lineárisan független R2 -ben.
1, x , x 2 , x 3 lineárisan független P-ben.
{x n |n ∈ N0 } lineárisan független P-ben.
Lineáris algebra–Vektortér 50
Definíció
Ha V vektortér, H ⊂ V lineárisan független generátorrendszer, akkor azt
mondjuk, hogy H egy bázisa V-nek.
Feladat
Legyen e1 = (1, 0), e2 = (0, 1), a = (2, 0), b = (1, −1), 0 = (0, 0) ∈ R2 !
A H = {e1 , e2 , a, b, 0} mely részhalmazai bázisok?
Tétel
Ha V vektortér, A ⊂ V lineárisan független, akkor létezik B bázis, melyre
A ⊂ B.
Ha V vektortér, A ⊂ V generátorrendszer, akkor létezik B bázis, melyre
B ⊂ A.
Lineáris algebra–Vektortér 51
Tétel (Dimenziótétel)
Ha B1 és B2 bázisai V-nek, akkor számosságuk megegyezik.
Definíció
Ha V vektortér, akkor a bázisának számosságát a tér dimenziójának
nevezzük, és dimV-vel jelöljük.
Példa
dim{0} = 0, dim R = 1, dim R2 = 2, dim R3 = 3, dim Rn = n, dim C = 2.
dim P = ℵ0 . Ez nem véges dimenzió.
Megjegyzés
A V vektortér pontosan akkor véges dimenziós, ha dim V ∈ N0 .
Más jegyzetek más tételt hívnak dimenziótételnek.
Lineáris algebra–Vektortér 52
Tétel
Ha V vektortér, és B ⊂ V, akkor a következő állítások ekvivalensek:
1. B bázis.
2. B maximális lineárisan független vektorrendszer, azaz B lineárisan
független, de ha a ∈ V \ B, akkor B ∪ {a} már lineárisan függő.
3. B minimális generátorrendszer, azaz B generátorrendszer, de ha
a ∈ B, akkor B \ {a} már nem az.
4. Minden a ∈ V \ {0} esetén egyértelműen létezik n ∈ N+ ,
b1 , . . . , bn ∈ B és λ1 , . . . , λn ∈ R \ {0}, melyre a = λ1 b1 + · · · + λn bn .
Lineáris algebra–Vektortér 53
Tétel
Ha n ∈ N+ , V vektortér úgy, hogy dim V = n, és B ⊂ V, akkor a
következő állítások ekvivalensek:
1. B bázis.
2. B n-elemű, és lineárisan független.
3. B n-elemű, és generátorrendszer.
4. B = {b1 , . . . , bn }, és a ∈ V esetén egyértelműen létezik és
λ1 , . . . , λn ∈ R, melyre a = λ1 b1 + · · · + λn bn .
4 miatt bevezethetjük a következőt. Valójában ehhez rendezett bázis kell,
vagyis a bázis elemeinek kell, hogy legyen sorrendje.
Definíció
Legyen V vektortér, dim V = n, B = {b1 , . . . , bn } egy bázisa V-nek. Ekkor
egy tetszőleges a ∈ V B bázisra vonatkozó koordinátáainak nevezzük a
λ1 , . . . , λn skalárokat, melyekre a = λ1 b1 + · · · + λn bn .
Lineáris algebra–Vektortér 54
Példa
a ∈ R2 koordinátái az e1 , e2 természetes bázisban 2 és 4,azaz a = (2, 4).
Írjuk fel a koordinátáit az v1 = (1, 1), v2 = (1, −2) bázisban.
8
3 v1
− 23 v2
v1
v2
a = 38 v1 − 23 v2
Lineáris algebra–Vektortér 55
Definíció
Legyenek V és W vektorterek! A ϕ : V → W függvényt lineáris
leképezésnek nevezzük, ha
I ∀a, b ∈ V : ϕ(a + b) = ϕ(a) + ϕ(b) (additív),
I ∀a ∈ V, λ ∈ R : ϕ(λa) = λϕ(a) (homogén).
Tétel
Ha V és W vektorterek úgy, hogy dim V = dim W ∈ N0 , akkor V és W
izomorf.
Útmutatás.
Legyen a1 , . . . , an bázisa V-nek, és b1 , . . . , bn bázisa W-nek. Legyen ϕ
olyan lineáris leképezés, hogy ϕ(ai ) = bi minden i = 1, . . . , n esetén.
Megjegyzés
Rögzített n ∈ N0 esetén minden n-dimenziós vektortér izomorf.
Lineáris algebra–Mátrix 59
Mátrixok összege
Lineáris algebra–Mátrix 60
Mátrixok skalárszorosa
Megjegyzés
Rm×n vektortér, méghozzá m · n dimenziós. dim Rm×n = m · n.
Lineáris algebra–Mátrix 61
Mátrixok szorzata
ahol
cij = ai1 b1j + ai2 b2j + ai3 b3j + · · · + ain bnj .
Lineáris algebra–Mátrix 62
Mátrixok szorzata
b11 b12 . . . b1l
b21 b22 . . . b2l
. .. .
. ..
. . . ..
bn1 bn2 . . . bnl
a11 a12 ... a1n c11 c12 ... c1l
a a22 ... a2n c c22 ... c2l
21 21
a31 a32 ... a3n c31 c32 ... c3l
.. .. .. .. .. .. .. ..
. . . . . . . .
Lineáris algebra–Mátrix 63
Mátrixok szorzata
b11 b12 . . . b1l
b21 b22 . . . b2l
. .. .
. ..
. . . ..
bn1 bn2 . . . bnl
a11 a12 ... a1n c11 c12 ... c1l
a a22 ... a2n c c22 ... c2l
21 21
a31 a32 ... a3n c31 c32 ... c3l
.. .. .. .. .. .. .. ..
. . . . . . . .
Lineáris algebra–Mátrix 63
Mátrixok szorzata
b11 b12 . . . b1l
b21 b22 . . . b2l
. .. .
. ..
. . . ..
bn1 bn2 . . . bnl
a11 a12 ... a1n c11 c12 ... c1l
a a22 ... a2n c c22 ... c2l
21 21
a31 a32 ... a3n c31 c32 ... c3l
.. .. .. .. .. .. .. ..
. . . . . . . .
Lineáris algebra–Mátrix 63
Mátrixok szorzata
b11 b12 . . . b1l
b21 b22 . . . b2l
. .. .
. ..
. . . ..
bn1 bn2 . . . bnl
a11 a12 ... a1n c11 c12 ... c1l
a a22 ... a2n c c22 ... c2l
21 21
a31 a32 ... a3n c31 c32 ... c3l
.. .. .. .. .. .. .. ..
. . . . . . . .
Lineáris algebra–Mátrix 63
Mátrixok szorzata
b11 b12 . . . b1l
b21 b22 . . . b2l
. .. .
. ..
. . . ..
bn1 bn2 . . . bnl
a11 a12 ... a1n c11 c12 ... c1l
a a22 ... a2n c c22 ... c2l
21 21
a31 a32 ... a3n c31 c32 ... c3l
.. .. .. .. .. .. .. ..
. . . . . . . .
Lineáris algebra–Mátrix 63
Mátrixok szorzata
b11 b12 . . . b1l
b21 b22 . . . b2l
. .. .
. ..
. . . ..
bn1 bn2 . . . bnl
a11 a12 ... a1n c11 c12 ... c1l
a a22 ... a2n c c22 ... c2l
21 21
a31 a32 ... a3n c31 c32 ... c3l
.. .. .. .. .. .. .. ..
. . . . . . . .
Lineáris algebra–Mátrix 63
Mátrixok szorzata
b11 b12 . . . b1l
b21 b22 . . . b2l
. .. .
. ..
. . . ..
bn1 bn2 . . . bnl
a11 a12 ... a1n c11 c12 ... c1l
a a22 ... a2n c c22 ... c2l
21 21
a31 a32 ... a3n c31 c32 ... c3l
.. .. .. .. .. .. .. ..
. . . . . . . .
Lineáris algebra–Mátrix 63
Mátrixok szorzata
b11 b12 . . . b1l
b21 b22 . . . b2l
. .. .
. ..
. . . ..
bn1 bn2 . . . bnl
a11 a12 ... a1n c11 c12 ... c1l
a a22 ... a2n c c22 ... c2l
21 21
a31 a32 ... a3n c31 c32 ... c3l
.. .. .. .. .. .. .. ..
. . . . . . . .
Lineáris algebra–Mátrix 63
Mátrixok szorzata
b11 b12 . . . b1l
b21 b22 . . . b2l
. .. .
. ..
. . . ..
bn1 bn2 . . . bnl
a11 a12 ... a1n c11 c12 ... c1l
a a22 ... a2n c c22 ... c2l
21 21
a31 a32 ... a3n c31 c32 ... c3l
.. .. .. .. .. .. .. ..
. . . . . . . .
Lineáris algebra–Mátrix 63
Mátrixok szorzata
b11 b12 . . . b1l
b21 b22 . . . b2l
. .. .
. ..
. . . ..
bn1 bn2 . . . bnl
a11 a12 ... a1n c11 c12 ... c1l
a a22 ... a2n c c22 ... c2l
21 21
a31 a32 ... a3n c31 c32 ... c3l
.. .. .. .. .. .. .. ..
. . . . . . . .
Lineáris algebra–Mátrix 63
Mátrixok szorzata
b11 b12 . . . b1l
b21 b22 . . . b2l
. .. .
. ..
. . . ..
bn1 bn2 . . . bnl
a11 a12 ... a1n c11 c12 ... c1l
a a22 ... a2n c c22 ... c2l
21 21
a31 a32 ... a3n c31 c32 ... c3l
.. .. .. .. .. .. .. ..
. . . . . . . .
Lineáris algebra–Mátrix 63
Mátrixok szorzata
b11 b12 . . . b1l
b21 b22 . . . b2l
. .. .
. ..
. . . ..
bn1 bn2 . . . bnl
a11 a12 ... a1n c11 c12 ... c1l
a a22 ... a2n c c22 ... c2l
21 21
a31 a32 ... a3n c31 c32 ... c3l
.. .. .. .. .. .. .. ..
. . . . . . . .
Lineáris algebra–Mátrix 63
Feladat
1 2 " #
1 2 −1
Legyen A = −1 0 és B = !
0 0 1
0 1
Határozzuk meg az AB, BA, AA, BB mátrixokat!
Lineáris algebra–Mátrix 64
Egy mátrixot négyzetes vagy kvadratikus mátrixnak nevezünk, ha
ugyanannyi sora van mint oszlopa. Ilyenkor a sorok számát, a mátrix
rendjéenek nevezzük.
Rn×n -ben a szorzás algebrai művelet, de nem olyan "jó", mint R-ben.
I asszociatív; (sőt, ha A ∈ Rm×n , B ∈ Rn×k , és C ∈ Rk×l , akkor
A(BC ) = (AB)C .)
I nem kommutatív;
" # " # " # " # " # " #!
1 1 1 0 2 1 1 1 1 0 1 1
például · = 6= = ·
0 1 1 1 1 1 1 2 1 1 0 1
n×n
1 0 ... 0 az R -beli
0 . . . . . . ... egységmátrix.
I létezik egységelem; En = Azaz minden
.. . . . . . .
. 0
A∈R n×n
esetén
0 ... 0 1 AEn = En A = A.
I nem minden (nullától különböző) elemnek van (multiplikatív) inverze;
" # !
1 0
például nem létezik B ∈ R2×2 amire · B = E2 teljesülne.
0 0
I · disztributív +-ra; (sőt, ha A, B ∈ Rm×n , C ∈ Rn×k , és D ∈ Rk×m ,
akkor (A + B)C = AC + BC , illetve D(A + B) = DA + DB.)
Lineáris algebra–Mátrix 65
Megjegyzés
Az 1 × 1-es mátrixok
(" halmazán
# persze
) a szorzás mindent tud.
a −b
Vizsgáljuk a | a, b ∈ R halmazt. Ez egy altere R2×2 -nek,
b a
hiszen nem vezet ki belőle az összeadás (és a skalárral való szorzás).
" # " # " #
a −b c −d ac − bd −(ad + bc)
· =
b a d c ad + bc ac − bd
" #
a −b
Ha az a + bı komplex számnak megfeleltetjük a mátrixot, akkor
b a
a fenti halmaz izomorf C-vel (testizomorfizmus).
Lineáris algebra–Mátrix 66
Megjegyzés
A vektorok is megfeleltethetők a speciális mátrixoknak.
v1
iT
..
h
v = (v1 , . . . , vn ) = . = v1 . . . vn megfeleltetéssel Rn = Rn×1 .
vn
ϕ : Rn → Rm lineáris leképezésnek megfeleltettük az
a11 . . . a1n
a11 . . . a1n v1
.. .. .. .. .
ϕ(v) = Av = . . . .
am1 . . . amn vn
Lineáris algebra–Mátrix 67
Determináns
Definíció
Az A ∈ Rn×n mátrix determinánsának nevezzük és det A vagy |A| módon
jelöljük a X
det A = (−1)I(π) a1π(1) a2π(2) . . . anπ(n)
π∈Pn
a11 . . . a1n
an1 . . . ann
permutációinak halmaza, míg I(π) a π permutációbeli inverziók száma.
Feladat
" #
−1 1
det =?
0 1
1 2 1
det −1 −2 1 =?
0 0 1
Lineáris algebra–Determináns 68
Megjegyzés (Sarrus-szabály)
Csak másod- és harmadrendű mátrix esetén!
a11 a12
det = a11 a22 − a12 a21 .
a21 a22
a21 a22 a23 = a11 a22 a33 + a12 a23 a31 + a13 a21 a32 −
det
−a13 a22 a31 − a12 a21 a33 − a11 a23 a32 .
a31 a32 a33
Lineáris algebra–Determináns 69
Tétel (Determináns tulajdonságai)
I Ha egy sor minden eleme 0, akkor a determináns is 0.
I Két sor felcserélésével a determináns (−1)-szeresére változik.
I Ha két sor megegyezik, akkor a determináns 0.
a11 ... a1n a11 . . . a1n a11 . . . a1n
.. .. .. .. .. ..
.. .. ..
. . . . . . . . .
a . . . ai−1n ai−11 . . . ai−1n ai−11
. . . ai−1n
i−11
I b1 + c1 . . . bn + cn = b1 ... bn + c1 ... cn
ai+11 . . . ai+1n ai+11 . . . ai+1n ai+11 . . . ai+1n
.. .. .. .. .. ..
.. .. ..
. . . .
. . .
. .
a ... ann an1 . . . ann an1 . . . ann
n1
I Ha a mátrix egyik sorát szorozzuk egy skalárral, akkor a determináns
is ennyiszeresére változik.
I A determináns értéke nem változik, ha egy sorához hozzáadjuk egy
másik sorának skalárszorosát.
I A transzponálás nem változtatja meg a determinánst.
I Sorok helyett oszlopokra is igaz.
Lineáris algebra–Determináns 70
Definíció
Az
a11 . . . a1j−1 a1j a1j+1 . . . a1n
.. .. .. .. .. .. ..
. . . . . . .
a . . . ai−1j−1 ai−1j ai−1j+1 . . . ai−1n
i−11
A = ai1 . . . aij−1 aij aij+1 . . . ain
ai+11 . . . ai+1j−1 ai+1j ai+1j+1 . . . ai+1n
.. .. .. .. ..
.. ..
. . . . . . .
an1 . . . anj−1 anj anj+1 . . . ann
mátrix aij eleméhez tartozó aldeterminánst úgy kapjuk, letakarjuk az i-edik
sort, és a j-edik oszlopot, és a maradék mátrix determinánsát számoljuk,
azaz
a11 . . . a1j−1 a1j+1 . . . a1n
. .. .. .. .. ..
.. . . . . .
a . . . ai−1j−1 ai−1j+1 . . . ai−1n
Dij = det i−11
ai+11 . . . ai+1j−1 ai+1j+1 . . . ai+1n
.. .. .. .. .. ..
. . . . . .
an1 . . . anj−1 anj+1 . . . ann
Lineáris algebra–Determináns 71
Tétel (Determináns kifejtése az i-edik sor szerint)
Ha A ∈ Rn×n és i ∈ {1, . . . , n} rögzített, akkor
n
X
det A = (−1)i+j aij Dij .
j=1
Feladat
0 3 0 0
6 −4 1 −1
det =?
2 −1 0 0
−8 3 2 1
Megjegyzés
Hasonlóan oszlop szerinti kifejtés is lehet.
Lineáris algebra–Determináns 72
Definíció
Az
a11 . . . a1n
A = . . . . ...
..
an1 . . . ann
mátrix aii elemeit (i = 1, . . . , n) főátlónak hívjuk.
Azt mondjuk, hogy az A mátrix
I diagonális, ha a főátlón kívüli elemek 0-k, azaz aij = 0 minden
1 ≤ i, j ≤ n és i 6= j esetén;
I felső háromszög alakú, ha a főátló alatti elemek 0-k, azaz aij = 0
minden 1 ≤ j < i ≤ n esetén;
I alsó háromszög alakú, ha a főátló feletti elemek 0-k, azaz aij = 0
minden 1 ≤ i < j ≤ n esetén.
Tétel
Háromszög alakú mátrix determinánsa a főátlóbeli elemek szorzata.
Lineáris algebra–Determináns 73
Gauss-elimináció
I Egy sorhoz adjuk egy másik sor tetszőleges skalárszorosát.
I Egy sort szorozzunk egy nem 0 skalárral (a determináns is szorzódik).
I Sorok cseréje (a determináns előjele megváltozik).
Egy tetszőleges négyzetes mátrixot alakítsunk át felső háromszög alakúvá
úgy,
hogy
közben ne változzon
a determinánsa (esetleg az előjele).
1 2 (2)−3·(1) 1 2
===== = −2
3 4 0 −2
1 2 3 1 2 3 1 2 3
(2)−4·(1) (3)−2·(2)
4 5 6 ===== 0 −3 −6 ===== 0 −3 −6 = 0
(3)−7·(1)
0 −6 −12
7 8 9 0 0 0
1 −1 −6
(3)+7·(1) 1 −1 −6
0 3 2
(1)↔(2)
1 −1 −6 ===== − 0 3 2 ===== − 0 3 2 = 99
−7 −7 7 −33
7 9 9 0 0
7 0 1 7 0 1 7 0 1
7·(2) 1 (2)−3·(1) 1
3 3 6 ==== 21 21 42 ===== 0 21 39 = 204
7·(3) 49 (3)+5·(1) 49
−5 −35 0 63
0 9 0 0 68
Lineáris algebra–Determináns 74
Gauss-elimináció
I Egy sorhoz adjuk egy másik sor tetszőleges skalárszorosát.
I Egy sort szorozzunk egy nem 0 skalárral (a determináns is szorzódik).
I Sorok cseréje (a determináns előjele megváltozik).
Egy tetszőleges négyzetes mátrixot alakítsunk át felső háromszög alakúvá
úgy,
hogy
közben ne változzon
a determinánsa (esetleg az előjele).
1 2 (2)−3·(1) 1 2
===== = −2
3 4 0 −2
1 2 3 1 2 3 1 2 3
(2)−4·(1) (3)−2·(2)
4 5 6 ===== 0 −3 −6 ===== 0 −3 −6 = 0
(3)−7·(1)
0 −6 −12
7 8 9 0 0 0
1 −1 −6
(3)+7·(1) 1 −1 −6
0 3 2
(1)↔(2)
1 −1 −6 ===== − 0 3 2 ===== − 0 3 2 = 99
−7 −7 7 −33
7 9 9 0 0
7 0 1 7 0 1 7 0 1
7·(2) 1 (2)−3·(1) 1
3 3 6 ==== 21 21 42 ===== 0 21 39 = 204
7·(3) 49 (3)+5·(1) 49
−5 −35 0 63
0 9 0 0 68
Lineáris algebra–Determináns 74
Gauss-elimináció
I Egy sorhoz adjuk egy másik sor tetszőleges skalárszorosát.
I Egy sort szorozzunk egy nem 0 skalárral (a determináns is szorzódik).
I Sorok cseréje (a determináns előjele megváltozik).
Egy tetszőleges négyzetes mátrixot alakítsunk át felső háromszög alakúvá
úgy,
hogy
közben ne változzon
a determinánsa (esetleg az előjele).
1 2 (2)−3·(1) 1 2
===== = −2
3 4 0 −2
1 2 3 1 2 3 1 2 3
(2)−4·(1) (3)−2·(2)
4 5 6 ===== 0 −3 −6 ===== 0 −3 −6 = 0
(3)−7·(1)
0 −6 −12
7 8 9 0 0 0
1 −1 −6
(3)+7·(1) 1 −1 −6
0 3 2
(1)↔(2)
1 −1 −6 ===== − 0 3 2 ===== − 0 3 2 = 99
−7 −7 7 −33
7 9 9 0 0
7 0 1 7 0 1 7 0 1
7·(2) 1 (2)−3·(1) 1
3 3 6 ==== 21 21 42 ===== 0 21 39 = 204
7·(3) 49 (3)+5·(1) 49
−5 −35 0 63
0 9 0 0 68
Lineáris algebra–Determináns 74
Gauss-elimináció
I Egy sorhoz adjuk egy másik sor tetszőleges skalárszorosát.
I Egy sort szorozzunk egy nem 0 skalárral (a determináns is szorzódik).
I Sorok cseréje (a determináns előjele megváltozik).
Egy tetszőleges négyzetes mátrixot alakítsunk át felső háromszög alakúvá
úgy,
hogy
közben ne változzon
a determinánsa (esetleg az előjele).
1 2 (2)−3·(1) 1 2
===== = −2
3 4 0 −2
1 2 3 1 2 3 1 2 3
(2)−4·(1) (3)−2·(2)
4 5 6 ===== 0 −3 −6 ===== 0 −3 −6 = 0
(3)−7·(1)
0 −6 −12
7 8 9 0 0 0
1 −1 −6
(3)+7·(1) 1 −1 −6
0 3 2
(1)↔(2)
1 −1 −6 ===== − 0 3 2 ===== − 0 3 2 = 99
−7 −7 7 −33
7 9 9 0 0
7 0 1 7 0 1 7 0 1
7·(2) 1 (2)−3·(1) 1
3 3 6 ==== 21 21 42 ===== 0 21 39 = 204
7·(3) 49 (3)+5·(1) 49
−5 −35 0 63
0 9 0 0 68
Lineáris algebra–Determináns 74
Gauss-elimináció
I Egy sorhoz adjuk egy másik sor tetszőleges skalárszorosát.
I Egy sort szorozzunk egy nem 0 skalárral (a determináns is szorzódik).
I Sorok cseréje (a determináns előjele megváltozik).
Egy tetszőleges négyzetes mátrixot alakítsunk át felső háromszög alakúvá
úgy,
hogy
közben ne változzon
a determinánsa (esetleg az előjele).
1 2 (2)−3·(1) 1 2
===== = −2
3 4 0 −2
1 2 3 1 2 3 1 2 3
(2)−4·(1) (3)−2·(2)
4 5 6 ===== 0 −3 −6 ===== 0 −3 −6 = 0
(3)−7·(1)
0 −6 −12
7 8 9 0 0 0
1 −1 −6
(3)+7·(1) 1 −1 −6
0 3 2
(1)↔(2)
1 −1 −6 ===== − 0 3 2 ===== − 0 3 2 = 99
−7 −7 7 −33
7 9 9 0 0
7 0 1 7 0 1 7 0 1
7·(2) 1 (2)−3·(1) 1
3 3 6 ==== 21 21 42 ===== 0 21 39 = 204
7·(3) 49 (3)+5·(1) 49
−5 −35 0 63
0 9 0 0 68
Lineáris algebra–Determináns 74
Gauss-elimináció
I Egy sorhoz adjuk egy másik sor tetszőleges skalárszorosát.
I Egy sort szorozzunk egy nem 0 skalárral (a determináns is szorzódik).
I Sorok cseréje (a determináns előjele megváltozik).
Egy tetszőleges négyzetes mátrixot alakítsunk át felső háromszög alakúvá
úgy,
hogy
közben ne változzon
a determinánsa (esetleg az előjele).
1 2 (2)−3·(1) 1 2
===== = −2
3 4 0 −2
1 2 3 1 2 3 1 2 3
(2)−4·(1) (3)−2·(2)
4 5 6 ===== 0 −3 −6 ===== 0 −3 −6 = 0
(3)−7·(1)
0 −6 −12
7 8 9 0 0 0
1 −1 −6
(3)+7·(1) 1 −1 −6
0 3 2
(1)↔(2)
1 −1 −6 ===== − 0 3 2 ===== − 0 3 2 = 99
−7 −7 7 −33
7 9 9 0 0
7 0 1 7 0 1 7 0 1
7·(2) 1 (2)−3·(1) 1
3 3 6 ==== 21 21 42 ===== 0 21 39 = 204
7·(3) 49 (3)+5·(1) 49
−5 −35 0 63
0 9 0 0 68
Lineáris algebra–Determináns 74
Gauss-elimináció
I Egy sorhoz adjuk egy másik sor tetszőleges skalárszorosát.
I Egy sort szorozzunk egy nem 0 skalárral (a determináns is szorzódik).
I Sorok cseréje (a determináns előjele megváltozik).
Egy tetszőleges négyzetes mátrixot alakítsunk át felső háromszög alakúvá
úgy,
hogy
közben ne változzon
a determinánsa (esetleg az előjele).
1 2 (2)−3·(1) 1 2
===== = −2
3 4 0 −2
1 2 3 1 2 3 1 2 3
(2)−4·(1) (3)−2·(2)
4 5 6 ===== 0 −3 −6 ===== 0 −3 −6 = 0
(3)−7·(1)
0 −6 −12
7 8 9 0 0 0
1 −1 −6
(3)+7·(1) 1 −1 −6
0 3 2
(1)↔(2)
1 −1 −6 ===== − 0 3 2 ===== − 0 3 2 = 99
−7 −7 7 −33
7 9 9 0 0
7 0 1 7 0 1 7 0 1
7·(2) 1 (2)−3·(1) 1
3 3 6 ==== 21 21 42 ===== 0 21 39 = 204
7·(3) 49 (3)+5·(1) 49
−5 −35 0 63
0 9 0 0 68
Lineáris algebra–Determináns 74
Gauss-elimináció
I Egy sorhoz adjuk egy másik sor tetszőleges skalárszorosát.
I Egy sort szorozzunk egy nem 0 skalárral (a determináns is szorzódik).
I Sorok cseréje (a determináns előjele megváltozik).
Egy tetszőleges négyzetes mátrixot alakítsunk át felső háromszög alakúvá
úgy,
hogy
közben ne változzon
a determinánsa (esetleg az előjele).
1 2 (2)−3·(1) 1 2
===== = −2
3 4 0 −2
1 2 3 1 2 3 1 2 3
(2)−4·(1) (3)−2·(2)
4 5 6 ===== 0 −3 −6 ===== 0 −3 −6 = 0
(3)−7·(1)
0 −6 −12
7 8 9 0 0 0
1 −1 −6
(3)+7·(1) 1 −1 −6
0 3 2
(1)↔(2)
1 −1 −6 ===== − 0 3 2 ===== − 0 3 2 = 99
−7 −7 7 −33
7 9 9 0 0
7 0 1 7 0 1 7 0 1
7·(2) 1 (2)−3·(1) 1
3 3 6 ==== 21 21 42 ===== 0 21 39 = 204
7·(3) 49 (3)+5·(1) 49
−5 −35 0 63
0 9 0 0 68
Lineáris algebra–Determináns 74
Gauss-elimináció
I Egy sorhoz adjuk egy másik sor tetszőleges skalárszorosát.
I Egy sort szorozzunk egy nem 0 skalárral (a determináns is szorzódik).
I Sorok cseréje (a determináns előjele megváltozik).
Egy tetszőleges négyzetes mátrixot alakítsunk át felső háromszög alakúvá
úgy,
hogy
közben ne változzon
a determinánsa (esetleg az előjele).
1 2 (2)−3·(1) 1 2
===== = −2
3 4 0 −2
1 2 3 1 2 3 1 2 3
(2)−4·(1) (3)−2·(2)
4 5 6 ===== 0 −3 −6 ===== 0 −3 −6 = 0
(3)−7·(1)
0 −6 −12
7 8 9 0 0 0
1 −1 −6
(3)+7·(1) 1 −1 −6
0 3 2
(1)↔(2)
1 −1 −6 ===== − 0 3 2 ===== − 0 3 2 = 99
−7 −7 7 −33
7 9 9 0 0
7 0 1 7 0 1 7 0 1
7·(2) 1 (2)−3·(1) 1
3 3 6 ==== 21 21 42 ===== 0 21 39 = 204
7·(3) 49 (3)+5·(1) 49
−5 −35 0 63
0 9 0 0 68
Lineáris algebra–Determináns 74
Gauss-elimináció
I Egy sorhoz adjuk egy másik sor tetszőleges skalárszorosát.
I Egy sort szorozzunk egy nem 0 skalárral (a determináns is szorzódik).
I Sorok cseréje (a determináns előjele megváltozik).
Egy tetszőleges négyzetes mátrixot alakítsunk át felső háromszög alakúvá
úgy,
hogy
közben ne változzon
a determinánsa (esetleg az előjele).
1 2 (2)−3·(1) 1 2
===== = −2
3 4 0 −2
1 2 3 1 2 3 1 2 3
(2)−4·(1) (3)−2·(2)
4 5 6 ===== 0 −3 −6 ===== 0 −3 −6 = 0
(3)−7·(1)
0 −6 −12
7 8 9 0 0 0
1 −1 −6
(3)+7·(1) 1 −1 −6
0 3 2
(1)↔(2)
1 −1 −6 ===== − 0 3 2 ===== − 0 3 2 = 99
−7 −7 7 −33
7 9 9 0 0
7 0 1 7 0 1 7 0 1
7·(2) 1 (2)−3·(1) 1
3 3 6 ==== 21 21 42 ===== 0 21 39 = 204
7·(3) 49 (3)+5·(1) 49
−5 −35 0 63
0 9 0 0 68
Lineáris algebra–Determináns 74
Gauss-elimináció
I Egy sorhoz adjuk egy másik sor tetszőleges skalárszorosát.
I Egy sort szorozzunk egy nem 0 skalárral (a determináns is szorzódik).
I Sorok cseréje (a determináns előjele megváltozik).
Egy tetszőleges négyzetes mátrixot alakítsunk át felső háromszög alakúvá
úgy,
hogy
közben ne változzon
a determinánsa (esetleg az előjele).
1 2 (2)−3·(1) 1 2
===== = −2
3 4 0 −2
1 2 3 1 2 3 1 2 3
(2)−4·(1) (3)−2·(2)
4 5 6 ===== 0 −3 −6 ===== 0 −3 −6 = 0
(3)−7·(1)
0 −6 −12
7 8 9 0 0 0
1 −1 −6
(3)+7·(1) 1 −1 −6
0 3 2
(1)↔(2)
1 −1 −6 ===== − 0 3 2 ===== − 0 3 2 = 99
−7 −7 7 −33
7 9 9 0 0
7 0 1 7 0 1 7 0 1
7·(2) 1 (2)−3·(1) 1
3 3 6 ==== 21 21 42 ===== 0 21 39 = 204
7·(3) 49 (3)+5·(1) 49
−5 −35 0 63
0 9 0 0 68
Lineáris algebra–Determináns 74
Gauss-elimináció
I Egy sorhoz adjuk egy másik sor tetszőleges skalárszorosát.
I Egy sort szorozzunk egy nem 0 skalárral (a determináns is szorzódik).
I Sorok cseréje (a determináns előjele megváltozik).
Egy tetszőleges négyzetes mátrixot alakítsunk át felső háromszög alakúvá
úgy,
hogy
közben ne változzon
a determinánsa (esetleg az előjele).
1 2 (2)−3·(1) 1 2
===== = −2
3 4 0 −2
1 2 3 1 2 3 1 2 3
(2)−4·(1) (3)−2·(2)
4 5 6 ===== 0 −3 −6 ===== 0 −3 −6 = 0
(3)−7·(1)
0 −6 −12
7 8 9 0 0 0
1 −1 −6
(3)+7·(1) 1 −1 −6
0 3 2
(1)↔(2)
1 −1 −6 ===== − 0 3 2 ===== − 0 3 2 = 99
−7 −7 7 −33
7 9 9 0 0
7 0 1 7 0 1 7 0 1
7·(2) 1 (2)−3·(1) 1
3 3 6 ==== 21 21 42 ===== 0 21 39 = 204
7·(3) 49 (3)+5·(1) 49
−5 −35 0 63
0 9 0 0 68
Lineáris algebra–Determináns 74
Rang
Definíció
Legyenek V és W vektorterek!
A H ⊂ W vektorrendszer rangjáanak nevezzük, és Rang H-val jelöljük, a H
által generált altér dimenzióját.
Rang ϕ = dim Rϕ
Lineáris algebra–Rang 75
Tétel (Rangszámtétel)
Legyen A ∈ Rm×n ! Ekkor a következő értékek megegyeznek.
I A oszlopvektorainak rangja.
I A sorvektorainak rangja.
I A ϕ(x) = Ax lineáris leképezés rangja.
I A legnagyobb nem 0 aldeterminánsának rendje.
Feladat
Határozzuk meg a következő mátrixok rangját a legnagyobb el nem tűnő
aldetermináns rendjeként, és Gauss-eliminációval.
(A cél most nem a háromszög mátrix, hanem olyan melyben ha egy sor
nem csupa 0, akkor a következőnek "rövidebb"nek kell lennie. Ha csupa 0,
akkor a következő is legyen
az.)
−1 0 1 2 −1 2 1 2
1 2 3 4 5
2 0 2 4 0 0 −1 1
0 −1 2 1 1, , .
1 0 2 4 0 0 1 1
3 −1 2 0 1
0 1 2 4 0 0 0 4
Lineáris algebra–Rang 76
Definíció
Legyen adott A ∈ Rm×n és b ∈ Rm ! Ekkor azt mondjuk, hogy
Ax = b
egy lineáris egyenletrendszer.
Az A mátrixot az egyenletrendszer alapmátrixának, az [A|b] mátrixot
pedig a bővített mátrixának nevezzük.
Egy x ∈ Rn vektort a lineáris egyenletrendszer egy (partikuláris)
megoldásának nevezzük, ha Ax = b teljesül. A partikuláris megoldások
halmazát nevezzük (általános) megoldásnak.
Az egyenletrendszert b = 0 esetén homogénnek, máskor inhomogénnek
nevezzük.
Megjegyzés
Ax = b a következőt jelenti. n az ismeretlenek száma, m az egyenleteké.
a11 x1 + . . . + a1n xn = b1
.. .. .. ..
. . . .
am1 x1 + . . . + amn xn = bm
Útmutatás.
Csak azt kell belátnunk, hogy Rn egy altere, ahol n az A mátrix
oszlopainak száma. Ehhez az altérkritériumot használjuk, és azt, hogy az
A-val való szorzás egy lineáris leképezés. Ha x és y megoldás, és λ ∈ R,
akkor
A(x + y) = Ax + Ay = 0 + 0 = 0,
illetve
A(λx) = λ(Ax) = λ0 = 0.
Útmutatás.
Meg kell mutatni, hogy ha x egy tetszőleges megoldása az Ax = b lineáris
egyenletrendszernek, akkor y = x − xp jó választás, azaz Ay = 0.
Ay = A(x − xp ) = Ax − Axp = b − b = 0
Megjegyzés
Az inhomogén egyenletrendszer megoldása tehát a homogén megoldásának
eltolja. Lineáris altér eltoltját affin altérnek nevezzük.
Rang A = Rang[A|b].
Megjegyzés
Pontosabban, ha Rang A = Rang[A|b], akkor az Ax = b megoldható, és a
megoldástér n − Rang A dimenziós.
Következmény
Ha A ∈ Rn×n , és b ∈ Rn , akkor az Ax = b lineáris egyenletrendszer
pontosan akkor oldható meg egyértelműen, ha det A 6= 0.
Definíció
Egy vektorteret önmagába képező lineáris leképezést lineáris
transzformációnak nevezünk.
Megjegyzés
Ha V vektortér, akkor ϕ : V → V lineáris leképezés transzformáció. Ha V
véges dimenziós, akkor ϕ mátrixa négyzetes, így van determinánsa.
Feladat Feladat
Számoljuk ki annak a Számoljuk ki annak a
paralelogrammának a területét, háromszögnek a területét,
melynek csúcsai (0, 0), (1, 1), melynek csúcsai (1, −1), (2, 0),
(1, −1) és (0, −2). és (0, 2).
Feladat
Számoljuk ki annak a tetraédernek a térfogatát, melynek csúcsai (0, 0, 0),
(1, 1, 1), (1, −1, 0) és (0, 1, 2).
z
(0,1,2)
(0,0,1)
(1,1,1)
(1,−1,0) (0,1,0)
(1,0,0)
y
x
Feladat
−1 0 1 2
2 0 2 4
Határozzuk meg az mátrix inverzét!
1 0 2 −2
0 1 2 4
Útmutatás.
Gauss-Jordan-elimináció: A lépések ugyanazok, de diagonális mátrix a cél.
Definíció
Legyen A ∈ Rn×n , és ϕ : Rn → Rn úgy, hogy ϕ(x) = Ax minden x ∈ Rn
esetén! Ha λ ∈ R, és x ∈ Rn \ {0} úgy, hogy Ax = λx, azaz ϕ(x) = λx,
akkor azt mondjuk, hogy λ az A mátrix és a ϕ lineáris transzformáció
sajátértéke, míg x az A mátrix és a ϕ lineáris transzformáció λ
sajátértékéhez tartozó sajátvektora.
Lineáris algebra–Spektrum 87
Feladat
Határozzuk meg a következő mátrixok spektrumát, és a legnagyobb
sajátértékhez
" # tartozó sajátalteret!
−7 −9
6 8
2 1 3
2 3 6
−1 −1 −2
Lineáris algebra–Spektrum 88
Definíció
Az A ∈ Rn×n mátrixot szimmetrikusnak nevezzük, ha AT = A. Azt
mondjuk, hogy az A szimmetrikus mátrix
I pozitív definit, ha hAx, xi > 0
I negatív definit, ha hAx, xi < 0
I pozitív szemidefinit, ha hAx, xi ≥ 0
I negatív szemidefinit, ha hAx, xi ≤ 0
minden x ∈ Rn \ {0} vektor esetén.
Továbbá, azt mondjuk, hogy A indefinit, ha nem szemidefinit.
an1 . . . ann
sarokminorjának nevezzük, és Mi -vel jelöljük a bal felső i × i típusú mátrix
determinánsát.
a11 . . . a1i
Tétel (Sylvester-kritérium)
A ∈ Rn×n szimmetrikus mátrix pontosan akkor
I pozitív definit, ha Mi > 0
I negatív definit, ha (−1)i Mi > 0
minden i = 1, . . . , n esetén.
Továbbá, ha létezik i, j úgy, hogy Mi < 0, és (−1)j Mj < 0, akkor A
indefinit.
1+v
g = 0.5
1 t
+
Differenciálegyenlet–Bevezetés 91
Példa
Ha van légkör, akkor a
v 0 (t) = kv 2 (t) − g
differenciálegyenletet kapjuk, aminek nem ennyire egyszerű a megoldása
q p
v (t) = − g/k th (t + c) gk .
v g = 10, k = 0.004
10 t
+
−10+
Differenciálegyenlet–Bevezetés 92
Definíció
Elsőrendű, közönséges, explicit differenciálegyenletnek nevezzük az
y 0 = f (x , y )
y 0 (x ) = f (x , y (x ))
Differenciálegyenlet–Bevezetés 93
Kezdeti érték probléma (kép) vagy Cauchy-feladat
Példa
Jelölje v (t) egy szabadon eső test sebességét a t időpillanatban. Tegyük
fel, hogy a t = 0 pillanatban a test állt, azaz v (0) = 0. Ha nincs légkör,
akkor a
v 0 (t) = −g, v (0) = 0
kezdeti érték problémát kapjuk. A differenciálegyenlet megoldása
v (t) = −gt + c, így 0 = v (0) = −g0 + c, amiből c = 0, így ekkor
v (t) = −gt.
1+v
g = 0.5
1 t
+
Differenciálegyenlet–Bevezetés 94
Példa
Ha van légkör, akkor a
v g = 10, k = 0.004
10 t
+
−10+
Differenciálegyenlet–Bevezetés 95
Definíció
Elsőrendű, közönséges, explicit differenciálegyenletre vonatkozó kezdeti
érték problémának röviden képnek, vagy Cauchy-feladatnak nevezzük az
y 0 = f (x , y ), y (a) = b
y 0 (x ) = f (x , y (x ))
Megjegyzés
Egy Cauchy-feladat megoldása többnyire egyértelmű lesz, leszámítva, hogy
az I intervallumot többféleképpen is választhatjuk. De nem mindig!
Differenciálegyenlet–Bevezetés 96
Definíció
Ha I, J ⊂ R intervallumok, f : I → R, és g : J → R folytonos függvények,
akkor az
y 0 = f (x )g(y )
differenciálegyenletet szeparábilis vagy szétválasztható változójú
differenciálegyenletnek nevezzük.
Differenciálegyenlet–Szeparábilis 97
Megoldás.
1. Ha g(y ) 6= 0 minden y ∈ J esetén, akkor oszthatunk vele, majd mivel
mindkét oldal folytonos, vehetjük x szerinti integráljukat.
y0
Z Z
dx = f (x ) dx
g(y )
A bal oldalon alkalmazzuk a helyettesítéses integrálás tételét, majd
számoljuk ki az integrálokat!
1
Z Z
G(y ) = dy = f (x ) dx = F (x ) + c
g(y )
1
Mivel G 0 (y ) = 6= 0 minden y ∈ J esetén, és nem vált előjelet,
g(y )
ezért G szigorúan monoton, így invertálható. Ekkor az általános
megoldás
y = G −1 (F (x ) + c) .
2. Ha g(y0 ) = 0 valamely y0 ∈ J esetén, akkor y ≡ y0 egy partikuláris
megoldás.
Differenciálegyenlet–Szeparábilis 98
Feladat
sh 2x
y0 =
ch 3y
1+
1 x
+
1 3
y= arsh ch 2x + c
3 2
Feladat
sh 2x
y0 = , y (0) = 0
ch 3y
Differenciálegyenlet–Szeparábilis 99
Feladat
sh 2x
y0 =
ch 3y
1+
1 x
+
1 3
y= arsh ch 2x + c
3 2
Feladat
sh 2x
y0 = , y (0) = 0
ch 3y
Differenciálegyenlet–Szeparábilis 99
Feladat
sh 2x
y0 =
ch 3y
1+
1 x
+
1 3
y= arsh ch 2x + c
3 2
Feladat
sh 2x
y0 = , y (0) = 0
ch 3y
Differenciálegyenlet–Szeparábilis 99
Feladat
sh 2x
y0 =
ch 3y
1+
1 x
+
1 3
y= arsh ch 2x + c
3 2
Feladat
sh 2x
y0 = , y (0) = 0
ch 3y
Differenciálegyenlet–Szeparábilis 99
Definíció
Ha I, J ⊂ R intervallumok, f : I → R, g : J → R folytonos függvények,
a ∈ I, és b ∈ J, akkor az
y 0 = f (x )g(y ), y (a) = b
Differenciálegyenlet–Szeparábilis 100
Megoldás.
1. Ha g(b) 6= 0, akkor b egy környezetében sem, ezért
y 0 (t)
Z y (x ) Z x Z x
1
G(y (x )) = du = dt = f (t) dt = F (x )
b=y (a) g(u) a g(y (t)) a
1
Mivel G 0 (y ) = előjele megegyezik g(b) előjelével, ha y közel
g(y )
van b-hez, ezért G szigorúan monoton b egy környezetében, így
invertálható. Ekkor (lokálisan az egyetlen) megoldás
y = G −1 (F (x )) .
Differenciálegyenlet–Szeparábilis 101
Példa
y 0 = 3 3 y 2,
p
Vizsgáljuk az y (0) = 0 Cauchy-feladatot!
Differenciálegyenlet–Szeparábilis 102
Tétel (Picard-Lindelöf-féle egzisztencia és unicitás tétel)
Legyen I, J ⊂ R intervallum, f : I × J → R folytonos úgy, hogy létezik
L ∈ R, amire
|f (x , y1 ) − f (x , y2 )| ≤ L|y1 − y2 | (x ∈ I, y1 , y2 ∈ J).
Ha a ∈ I, b ∈ J, akkor az
y 0 = f (x , y ), y (a) = b
Megjegyzés
Az egyértelműség most sem vonatkozik a megoldásfüggvény értelmezési
tartományára.
A |f (x , y1 ) − f (x , y2 )| ≤ L|y1 − y2 | egyenlőtlenséget
Lipschitz-tulajdonságnak nevezik. Ami következik abból, ha f a 2.
változója szerint deriválható, és ez a derivált korlátos.
Differenciálegyenlet–Szeparábilis 103
Definíció
Legyen I ⊂ R intervallum, és f , g : I → R folytonos függvény! Az
y 0 + g(x )y = f (x )
y 0 + g(x )y = 0,
Megoldás.
I Homogén
Az y 0 + g(x )y = 0-et írjuk át y 0 = −g(x )y szeparábilis alakra, így
általános megoldása
yhá = ce−G(x ) ,
ahol G : I → R a g egy primitív függvénye.
y 0 + y sin x = 0
Megoldás.
g(x ) = sin x egyik primitív függvénye G(x ) = − cos x , így yhá = cecos x ,
ahol c ∈ R tetszőleges.
Feladat
π
0
y + y sin x = 0, y =3
2
Megoldás.
yhá = cecos x általános megoldásba behelyettesítve a kezdeti feltételt
Útmutatás.
I inhomogén Azt kell belátni, hogy ha y egy megoldás, akkor y − yip
megoldása a homogén egyenletnek, ami egyszerű számolás.
= c 0 (x )e−G(x ) .
Megoldás.
g(x ) = −1/x egyik primitív függvénye G(x ) = − ln |x |, így
yhá = ce−(− ln |x |) = c|x | az y 0 − y /x = 0 homogén lineáris
differenciálegyenlet általános megoldása, ahol c ∈ R tetszőleges.
Ha x < 0, akkor y = c(−x ), de c helyére −c-t írva kapjuk, hogy yhá = cx .
Konstans variálása, azaz keressük az inhomogén egyenlet egy partikuláris
megoldását yip = c(x )x alakban. Erre az egyenlet
1
c 0 (x )x + c(x ) −
c(x )x = x ex
x
amiből c 0 (x ) = ex , innen lehet c(x ) = ex , így yip = ex x . A tétel szerint
ekkor
yiá = yip + yhá = ex x + cx ,
ahol c ∈ R tetszőleges.
Megoldás.
yiá = ex x + cx . Ebbe behelyettesítve a kezdeti feltételt
5 = y = e1 1 + c · 1 = e + c
Feladat
Oldjuk meg az alábbi differenciálegyenletet! (Segítség: alkalmazzuk az
u = 4x + 2y − 3 helyettesítést!)
2x + y + 1
1. y 0 =
4x + 2y − 3
a(x + x0 ) + by (x + x0 ) + c
v 0 = v 0 (x ) = y 0 (x + x0 ) = f =
α(x + x0 ) + βy (x + x0 ) + γ
ax + ax0 + bv (x )+by0 + c ax + bv (x ) ax + bv
=f =f =f
αx + αx0 + βv (x )+βy0 + γ αx + βv (x ) αx + βv
v v 0x − v
x 6= 0 esetén u = új ismeretlen függvényre u 0 = =
x x2
ax + bv ax + bux a + bu
f x −v f x − ux f −u
αx + βv αx + βux α + βu
= = =
x2 x2 x
szeparábilis differenciálegyenlet adódik.
1+
1
+
y 0 = ex −y
Differenciálegyenlet–Iránymező 117
Vizsgáljuk az y 0 = f (x , y ) differenciálegyenletet, ahol f : D → R!
Vonalelem: Az (a, b) ∈ D pontban rajzolt f (a, b) meredekségű szakasz.
Iránymező: A vonalelemek összessége.
1+
1
+
y 0 = ex −y , yá = ln (ex + c) , c = −0.9, 0, 1, 2
Differenciálegyenlet–Iránymező 117
3+
1
+
y0 = y − x
Differenciálegyenlet–Iránymező 118
3+
1
+
Differenciálegyenlet–Iránymező 118
1+
1
+
y0 = x − y2
Differenciálegyenlet–Iránymező 119
1+
1
+
y0 = x − y2
Differenciálegyenlet–Iránymező 119
Vizsgáljuk az y 0 = f (x , y ) differenciálegyenletet, ahol f : D → R!
K-Izoklína: Azon pontok halmaza, ahol az iránymező meredeksége K . A
K = y 0 = f (x , y ) megoldása.
y 0 = y − x esetén K = y − x , azaz y = K + x .
3-izoklína
3+
0-izoklína
1
+
−3-izoklína
Differenciálegyenlet–Iránymező 120
y 0 = ex −y esetén K = ex −y , azaz y = x − ln K .
1-izoklína
1+ e-izoklína
1
+
10-izoklína
Differenciálegyenlet–Iránymező 121
√
y 0 = x − y 2 esetén K = x − y 2 , azaz y = ± x − K .
−1-izoklína
1+ 0-izoklína
1
+
Differenciálegyenlet–Iránymező 122
Példa
Vizsgáljuk az y 0 = x − y 2 differenciálegyenlet megoldásait lokális
szélsőérték szempontjából!
A megoldásfüggvény deriválható, így ahol lokális szélsőértéke van ott a
derivált 0. Csak a 0-izoklína pontjaiban lehet tehát lokális szélsőérték.
Nézzük a második deriváltat!
Mivel y 0 (x ) = x − y 2 (x ) deriválható,
0
ezért
0
y (x ) = (y (x )) = x − y (x ) = 1 − 2y (x )y 0 (x ). A 0-izoklína
00 0 2
Differenciálegyenlet–Iránymező 123
1+
1
+
Differenciálegyenlet–Iránymező 123
Példa
Vizsgáljuk az y 0 = x − y 2 differenciálegyenlet megoldásait inflexió
szempontjából! 0
Az előbb láttuk, hogy y 00 (x ) = (y 0 (x ))0 = x − y 2 (x ) = 1 − 2y (x )y 0 (x ).
Mivel y 0 = x − y 2 , ezért y 00 (x ) = 1 − 2y (x )(x − y 2 (x )). Mik az y 00
zérushelyei?
1
1 − 2y (x − y 2 ) = 0 =⇒ x = + y2
2y
Ezekben a pontokban lehet inflexió. Nézzük a harmadik deriváltat ezekben
a pontokban!
0 0
y 000 (x ) = y 00 (x ) = 1 − 2y (x )y 0 (x ) = −2y 0 (x )y 0 (x ) − 2y (x ) y 00 (x )
| {z }
0
Differenciálegyenlet–Iránymező 124
1+
1
+
Differenciálegyenlet–Iránymező 124
Példa
Írjuk fel az y 0 = x − y 2 , y (0) = 0 Cauchy-feladat megoldásának 0 körüli
harmad- és ötödrendű Taylor-polinomját!
Már tudjuk, hogy y 0 = x − y 2 , y 00 = 1 − 2yy 0 , és y 000 = −2y 02 − 2yy 00 . A
kezdeti feltétel miatt x = 0, y (x ) = y (0) = 0, y 0 (0) = 0 − 02 = 0,
y 00 (0) = 1 − 2y (0)y 0 (0) = 1, és y 000 (0) = −2y 0 (0)2 − 2y (0)y 00 (0) = 0.
1
Innen T3 (x ) = x 2 .
2 0
y iv = (y 000 )0 = −2y 02 − 2yy 00 = −4y 0 y 00 −2y 0 y 00 −2yy 000 = −6y 0 y 00 −2yy 000
0
és y v = y iv = (−6y 0 y 00 − 2yy 000 )0 =
Differenciálegyenlet–Iránymező 125
1+
1
+
Differenciálegyenlet–Iránymező 125
Szukcesszív approximációval becsüljük az y 0 = x − y 2 , y (0) = 0
Cauchy-feladat megoldását!
1+
1
+
Differenciálegyenlet–Iránymező 126
Az y 0 = x − y 2 , y (0) = 0 Cauchy-feladathoz, írjuk fel az 1/2 lépésközű
Euler-féle töröttvonalat!
1+
1
+
Differenciálegyenlet–Iránymező 127
Az y 0 = x − y 2 , y (0) = 0 Cauchy-feladathoz, írjuk fel az 1/2 lépésközű
Euler-féle töröttvonalat!
1+
1
+
Differenciálegyenlet–Iránymező 127
Az y 0 = x − y 2 , y (0) = 0 Cauchy-feladathoz, írjuk fel az 1/2 lépésközű
Euler-féle töröttvonalat!
1+
1
+
Differenciálegyenlet–Iránymező 127
Az y 0 = x − y 2 , y (0) = 0 Cauchy-feladathoz, írjuk fel az 1/2 lépésközű
Euler-féle töröttvonalat!
1+
1
+
Differenciálegyenlet–Iránymező 127
Az y 0 = x − y 2 , y (0) = 0 Cauchy-feladathoz, írjuk fel az 1/2 lépésközű
Euler-féle töröttvonalat!
1+
1
+
Differenciálegyenlet–Iránymező 127
Az y 0 = x − y 2 , y (0) = 0 Cauchy-feladathoz, írjuk fel az 1/2 lépésközű
Euler-féle töröttvonalat!
1+
1
+
Differenciálegyenlet–Iránymező 127
Az y 0 = x − y 2 , y (0) = 0 Cauchy-feladathoz, írjuk fel az 1/2 lépésközű
Euler-féle töröttvonalat!
1+
1
+
Differenciálegyenlet–Iránymező 127
Az y 0 = x − y 2 , y (0) = 0 Cauchy-feladathoz, írjuk fel az 1/2 lépésközű
Euler-féle töröttvonalat!
1+
1
+
Differenciálegyenlet–Iránymező 127
Ha az ismeretlen függvény vektorértékű, azaz y : J → Rn , és
f : D ⊂ Rn+1 → Rn , akkor differenciálegyenlet rendszert kapunk.
y0 = f(x , y)
y (n) = f (x , y , y 0 , . . . , y (n−1) )
y (n) = f (x , y , y 0 , . . . , y (n−1) )
Megjegyzés
Ha y megoldás, akkor n-szer deriválható, és minden x ∈ I esetén
(x , y (x ), y 0 (x ), . . . , y (n−1) (x )) ∈ D.
Mátrixosan
g11 . . . g1n
0 .. .. .. y + f,
y = . . . y(a) = b
gn1 . . . gnn
Teljesülnek a Picard-Lindelöf-féle egzisztencia és unicitás tétel feltételei.
Ha f ≡ 0, akkor homogén, különben inhomogén.
Megoldás.
NINCS.
Teljesülnek a Picard-Lindelöf-féle egzisztencia és unicitás tétel feltételei,
tehát minden kezdeti feltétel esetén létezik egyértelmű megoldás, de nincs
módszer ennek meghatározására.
Megoldás. 0
y
D’Alambert-féle fokszámcsökkentő eljárás: u = új ismeretlen
y1
függvényt helyettesítsük a homogén egyenletbe.
Konstans variálása:
c10 y1 + c20 y2 + ... + cn0 yn = 0
c10 y10 + c20 y20 + ... + cn0 yn0 = 0
.. .. .. .. ..
. . . . .
(n−2) (n−2) (n−2)
c10 y1 + c20 y2 + . . . + cn0 yn = 0
(n−1) (n−1)
c10 y1 + c20 y2 + ... + cn0 yn = f (x )
5. y iv − 4y 000 + 6y 00 − 4y 0 − 15y = 0;
6. y iv + 2y 00 + y = 0.
Feladat
Adjuk meg a legalacsonyabbrendű, valós állandó együtthatós, homogén,
lineáris differenciálegyenletet, melynek megoldása
1. y = ex + e2x ;
2. y = x 2 + ex ;
3. y = x 2 + 2ex + sin x ;
Megoldás.
Partikuláris megoldás meghatározása kísérletezéssel. Ha a zavaró függvény
f (x ) = P(x )eαx cos βx , vagy f (x ) = P(x )eαx sin βx alakú, ahol P(x ) egy
k-adfokú polinom, és α, β ∈ R, akkor keressünk egy megoldást
yip = Q(x )eαx cos βx + R(x )eαx sin βx alakban (próbafüggvény), ahol Q
és R ismeretlen legfeljebb k-adfokú polinomok.
Ez sikeres lesz, kivéve ha van a homogén egyenletnek ilyen alakú
megoldása. Ekkor külső rezonanciáaról beszélünk. Ilyenkor szorozzuk a
próbafüggvényt x -szel mindaddig, amíg a külső rezonancia megszűnik.
Ha a zavaró függvény több ilyen típusú összege, akkor tagonként
számolhatunk.
y0 = Ay + f
y0 = Ay + f, y(a) = b
Feladat
Oldjuk meg az
x 0 (t) =2x (t)+9y (t)
y 0 (t) = x (t)+2y (t)
differenciálegyenletrendszert!
Feladat
Számoljuk ki az f (t) = eat Laplace-transzformáltját! 1/(s − a)
Feladat
Számoljuk ki a következő függvények Laplace-transzformáltját!
1. f (t) = sh(at); a/(s 2 − a2 )
2. f (t) = ch(at); s/(s 2 − a2 )
3. f (t) = sin(at); a/(s 2 + a2 )
4. f (t) = cos(at); s/(s 2 + a2 )
Feladat
Számoljuk ki a következő függvények Laplace-transzformáltját!
1. f (t) = ebt sh(at); a/((s − b)2 − a2 )
2. f (t) = ebt ch(at); (s − b)/((s − b)2 − a2 )
3. f (t) = ebt sin(at); a/((s − b)2 + a2 )
4. f (t) = ebt cos(at); (s − b)/((s − b)2 + a2 )
Tétel (Átskálázás)
Ha f Laplace transzformáltja F létezik ]α, ∞[-en, és a > 0 akkor f (at)-é is
létezik ]aα, ∞[-en, továbbá
1 s
I L{f (at)}(s) = F .
a a
Megjegyzés
f (t) = t n esetén negatív a-ra is igaz, így sorba fejthető függvényekre is.
n!
f (t) = ebt t n 99K F (s) =
(s − b)n+1
a
f (t) = ebt sin at 99K F (s) =
(s − b)2 + a2
s −b
f (t) = ebt cos at 99K F (s) =
(s − b)2 + a2
a
f (t) = ebt sh at 99K F (s) =
(s − b)2 − a2
s −b
f (t) = ebt ch at 99K F (s) =
(s − b)2 − a2
2as
f (t) = t sin at 99K F (s) =
(s 2 + a2 )2
s 2 − a2
f (t) = t cos at 99K F (s) =
(s 2 + a2 )2
Megjegyzés
Ha csak szakaszonkénti folytonosságot teszünk fel, akkor is csak a
szakadási pontokban különbözhet f és g.
Feladat
A Laplace-transzformált alapján határozzuk meg a függvényt!
2
1. F (s)(s 2 + 5s + 6) = ;
s −1
2. F (s)(s 4 + 2s 2 + 1) = s 2 + 2s + 5;
4s 1
3. F (s)(s 2 + 1) = − 2 + 2 + 2s + 2;
s +1 s
Feladat
Oldjuk meg a következő Cauchy-feladatokat, illetve differenciálegyenletet!
1. y 00 + 5y 0 + 6y = 2et , y (0) = y 0 (0) = 0;
2. y iv + 2y 00 + y = 0, y (0) = 0, y 0 (0) = 1, y 00 (0) = 2, y 000 (0) = 3;
3. y 00 + y = −4 cos t + t, y (0) = y 0 (0) = 2;
4. y 00 − 2y 0 + 2y = et sin t;
Megoldás.
A 3 differenciálegyenlet beírása:
> with(inttrans):
ode1:=diff(x(t),t)=3*x(t)+y(t)+z(t)+2;
ode2:=diff(y(t),t)= -x(t)-y(t) -t;
ode3:=diff(z(t),t)= x(t) -z(t)+t+1;
A MAPLE válasza:
d
dt x (t) = 3 x (t) + y (t) + z (t) + 2
d
dt x (t) = 3 x (t) + y (t) + z (t) + 2
d
dt x (t) = 3 x (t) + y (t) + z (t) + 2
Ennek jelentése:
sX − x (0) = 3X + Y + Z + 2s −1
sY − y (0) = −X − Y − s −2
sZ − z(0) = X − Z + 1+s
s2
slaplace (x (t) , t, s) − 1 =
3 laplace (x (t) , t, s) + laplace (y (t) , t, s) + laplace (z (t) , t, s) + 2 s −1
slaplace (y (t) , t, s) = −laplace (x (t) , t, s) − laplace (y (t) , t, s) − s −2
slaplace (z (t) , t, s) − 2 = 1+s
s2
+ laplace (x (t) , t, s) − laplace (z (t) , t, s)
Ennek jelentése:
sX − 1 = 3X + Y + Z + 2s −1 ,
sY = −X − Y − s −2 ,
sZ − 2 = X − Z + 1+s
s2
.
5s+3+s 2
laplace(x (t), t, s) = s(s 2 −2s−3)
,
3 2
s +6s +s−3
laplace(y (t), t, s) = − s 2 (1+s)(s 2 −2s−3) ,
Ennek jelentése:
5s+3+s 2
X (s) = s(s 2 −2s−3)
,
s 3 +6∗s 2 +s−3
Y (s) = − s 2 (1+s)(s 2 −2∗s−3) ,
−2s 2 −3+2s 4 −2s 3 −2s
Z (s) = s 2 ∗(−3−5s+s 3 −s 2 )
.
9
laplace(x (t), t, s) = 4(s−3) − 1s − 4(1+s)
1
, laplace(y (t), t, s) =
9 1 2 1 23
− 16(s−3) + 4(1+s)2 + s − s 2 − 16(1+s) , laplace(z(t), t, s) =
9 1 1 1 39
16(s−3) − 4(1+s)2
− s + s2
+ 16(1+s)
Ennek jelentése:
9
X (s) = 4(s−3) − 1s − 4(1+s)
1
,
9 1 2 1 23
Y (s) = − 16(s−3) + 4(1+s)2 + s − s 2 − 16(1+s) ,
9 1 1 1 39
Z (s) = 16(s−3) − 4(1+s)2
− s + s2
+ 16(1+s) .
Ennek jelentése:
és X
|xi0 − yi0 | ≤ max |xi − yi | ≤ |x − y| ≤ |xi − yi |.
i
i
int A = A.
cl A = A.
A ⊂ K0 .
lim xk = a, lim xk = a, xk → a
k→∞
Megoldás.
k !
2 2k 2 − 1
1+ , 2 → e2, 2
k k +1
H0 = {(x , y , z) ∈ R3 : (x , y ) ∈ Df , z = f (x , y )} = graf f .
z z
•
z = f (x , y ) (x , y , z)
•
y
0
x (x , y ) y • y
x x
O
A B y
x
felülethez jutunk.
z
z z
z = f (x ) z = f (r )
r •
y
x
• y y
x x x
Megjegyzés
Az értékkészlet minden eleméhez tartozik tehát egy szintalakzat. Ha
például c ∈ Rf , akkor a hozzátartozó szintalakzat
{x ∈ Df : f (x) = c}.
z
y
y
x
y
x
•
• •
• •
• y y
•
•
x x
x + y + 2z = 6 x + y + 2z = 12
y
x
p
z= x2 + y2
z = xy
Tétel
Legyen a belső pontja Df -nek úgy, hogy f folytonos a-ban, és f (a) > 0.
Ekkor
∃Ka : x ∈ Ka =⇒ f (x) > 0.
Útmutatás.
Mint valósban. Legyen ε = f (a) és δ(ε) elég kicsi, hogy Ka,δ ⊂ Df is
teljesüljön.
Megoldás.
Bármely rögzített (a, b) pontbeli folytonosság belátható definíció szerint,
δ(ε) = ε választással. Ugyanis egy korábbi tétel miatt
Megoldás.
Az iménti megjegyzés szerint mindenhol, azaz az egész R3 -on.
Útmutatás.
Tekintsük az n-dimenziós skaláris szorzást egy 2n-változós függvénynek a
következőképpen:
(x1 , x2 , . . . , xn , y1 , y2 , . . . , yn ) 7→ x1 y1 + x2 y2 + · · · + xn yn .
x ∈ Df ◦g = {x ∈ Dg : g(x) ∈ Df }
(f ◦ g)(x) = f (g(x)).
Megoldás.
A f (x ) = sin x egyváltozós függvényről korábbról tudjuk, hogy folytonos, a
g(x , y ) = x + 2y 2 függvényről pedig az előbb láttuk, hogy szintén
folytonos. Az összetett függvény folytonosságáról szóló tétel alapján a
sin(x + 2y 2 ) = (f ◦ g)(x , y )
{x + a ∈ Rn : x ∈ D}
D+a
jelölést.
Hasonlóan értelmezzük a
D − a = {x − a ∈ Rn : x ∈ D}
halmazt is.
Megjegyzés
D − a = {x ∈ Rn : x + a ∈ D}
Ez alatt azt értve, hogy ha az egyik létezik, akkor a másik is, és ilyenkor
egyenlőek.
A lemma miatt elég csak origóbeli határértéket vizsgálnunk a következő
tételben (és általában is). Továbbá, a következő tételt csak kétváltozós
függvényre mondjuk ki, de hasonlót mondhatnánk még több változó
esetén is.
Megoldás.
Az f függvény minden (x , y ) 6= (0, 0) pontban folytonos, csak a (0, 0)
pontban kell vizsgálnunk. Ott az átviteli elv alapján belátható, hogy a
határérték nem létezik és így a függvény a (0, 0) pontban nem folytonos.
Ugyanis, az xk → 0, yk = xk origóhoz tartó pontsorozat mentén a
függvény 1/2-hez tart
xk yk xk xk 1
f (xk , yk ) = = 2 → ,
xk2+ yk 2 xk + xk 2 2
Megoldás.
Ezt az okoskodást megfogalmazhatjuk úgy is, hogy az f függvényt az
y = mx mentén vizsgálva az eredmény függ az m-től, ezért a limesz nem
létezik:
xmx m
lim f (x , y ) = lim f (x , mx ) = lim 2 2 2
=
y =mx x →0 x →0 x + m x 1 + m2
(x ,y )→(0,0)
x 2y 2
f (x , y ) =
3x 4 + 4y 4
lim f (x , y ) =?
(x ,y )→(0,0)
Megoldás.
x = 0 (az y tengely) mentén: lim f (x , y ) = lim f (0, y ) = 0, míg
x =0 y →0
y →0
x4 1
y = x mentén: ylim
=x
f (x , y ) = lim f (x , x ) = lim 4 4
= 6= 0, ezért
x →0 x →0 3x + 4x 7
x →0
nem létezik határérték.
x 2y 2
f (x , y ) =
3x 4 + 4y 4
lim f (x , y ) =?
(x ,y )→(0,0)
Megoldás.
Vagy y = mx egyenesek mentén:
m2 x 4 m2
lim f (x , y ) = lim =
y =mx x →0 3x 4 + 4m4 x 4 3 + 4m4
(x ,y )→(0,0)
x 2y 2
f (x , y ) =
3x 4 + 4y 4
lim f (x , y ) =?
(x ,y )→(0,0)
Megoldás.
Vagy y = mx egyenesek mentén:
m2 x 4 m2
lim f (x , y ) = lim =
y =mx x →0 3x 4 + 4m4 x 4 3 + 4m4
(x ,y )→(0,0)
Megjegyzés
A lim f (x , y ) jelentése, hogy rögzített y mellett x tart a nullához, tehát a
x →0
függvényt egy x-tengellyel párhuzamos egyenes mentén vizsgáljuk.
Megoldás.
x + y + 2z x + 2z 2z
lim lim lim = lim lim = lim = −2
z→0 x →0 y →0 x − z + xy z→0 x →0 x − z z→0 −z
x + y + 2z x +y x
lim lim lim = lim lim = lim = 1 6= −2,
x →0 y →0 z→0 x − z + xy x →0 y →0 x + xy x →0 x
x 2y
f (x , y ) =
x4 + y2
függvénynek?
Megoldás.
A tételben szereplő mind a 6 határérték létezik, és mind 0, ami alapján a
kérdésre lehetne a válasz igen,de a határérték
csak 0 lehetne.
Vizsgáljuk most az (xk , yk ) = k1 , k12 sorozatot. Mivel ez tart az origóhoz,
az átviteli elv szerint ha létezne a kérdéses határérték, akkor
2
1 1 1
k k2 4
k 1
0 = lim f (xk , yk ) = lim 4 2 = 2 =
2
1 1
k + k2
k4
−0.5
−5 5
0 0
5 −5
x 2y
z=
x4 + y2
Megoldás.
Legyen xn = %n cos ϕn , yn = %n sin ϕn , ahol ϕn tetszőleges, %n → 0. Ekkor
(xn , yn ) egy tetszőleges (0, 0)-hoz tartó pontsorozat. E mentén vizsgáljuk
f (xn , yn ) konvergenciáját:
Megoldás.
Az origót kivéve mindenhol folytonos, így csak az origóbeli folytonosságot
kell vizsgálnunk. Mivel (x , y , z) 6= (0, 0, 0) esetén egy korábbi tétel miatt
|xyz| |x | |y | |z|
|f (x , y , z)| = = |(x , y , z)| ≤
x2 2
+y +z 2 |(x , y , z)| |(x , y , z)| |(x , y , z)|
≤ |(x , y , z)| · 1 · 1 · 1 = |(x , y , z)|,
ezért
lim f (x , y , z) = 0,
(x ,y ,z)→(0,0,0)
x ∈ Df◦g = {x ∈ Dg : g(x) ∈ Df }
(f ◦ g)(x) = f(g(x)).
Bizonyítás.
Mivel Df összefüggő, ezért ∃ga,b ⊂ Df folytonos út, azaz g : [α, β] → Df
folytonos, amire g(α) = a és g(β) = b. Az összetett függvény
folytonosságáról szóló tétel szerint f ◦ g : [α, β] → R folytonos.
(f ◦ g)(α) = f (a) és (f ◦ g)(β) = f (b), ezért az egyváltozós Bolzano-tétel
szerint ∃t ∈ [α, β], hogy
(f ◦ g)(t) = c.
Ekkor ξ = g(t) ∈ Df és f (ξ) = c.
Megoldás.
Az origón kívül mindenhol folytonos f , így csak az origóbeli folytonosság a
kérdés.
%4n cos2 ϕn sin2 ϕn
lim = lim %2n cos2 ϕn sin2 ϕn = 0 = f (0, 0),
%n →0 %2n %n →0 |{z} | {z }
ϕn tetsz. ϕn tetsz. →0 korlátos
Megoldás.
Az origón kívül mindenhol folytonos g, így csak az origóbeli folytonosság a
kérdés.
m2 x 4 m2
lim g(x , y ) = lim 4 4 4
= .
x →0 x →0 x + m x 1 + m4
y =mx
Ez függ m-től így g nem folytonos (0, 0)-ban. Mivel g nem folytonos, itt
nem alkalmazható Weierstrass-tétele. A számtani és mértani közép közti
p x4 + y4 x 2y 2 x 2y 2 1
egyenlőtlenség miatt x 4 y 4 ≤ , így 0 ≤ 4 4
≤ p = .
2 x +y 2 x y 4 4 2
Tehát g korlátos.
f (a1 , . . . , ai + h, . . . , an ) − f (a1 , . . . , ai , . . . , an )
fx0i (a) = lim =
h→0 h
f (a1 , . . . , ai−1 , x , ai+1 , . . . , an ) − f (a1 , . . . , ai−1 , ai , ai+1 , . . . , an )
= lim =
x →ai x − ai
f (a + hei ) − f (a)
= lim .
h→0 h
Speciálisan, kétváltozós esetben
f (x , y0 ) − f (x0 , y0 ) f (x0 + h, y0 ) − f (x0 , y0 )
fx0 (x0 , y0 ) = lim = lim
x →x0 x − x0 h→0 h
és
f (x0 , y ) − f (x0 , y0 ) f (x0 , y0 + k) − f (x0 , y0 )
fy0 (x0 , y0 ) = lim = lim .
y →y0 y − y0 k→0 k
{(x , y0 , f (x , y0 ))}
| {z }
g(x )
f (a)
ponthalmaz. Legyen α ezen •
görbe (x0 , y0 , f (x0 , y0 )) pontbeli
érintőegyenesének hajlásszöge (az
y = y0 síkban). Az egyváltozós
függvény deriváltjának geometriai
tartalma miatt:
tg α = g 0 (x0 ) = fx0 (x0 , y0 ). α
Irányvektora
a y
v1 = (1, 0, fx0 (x0 , y0 )).
x
Később lesz róla szó, hogy milyen feltételek mellett fogjuk ezt a síkot az f
függvény (x0 , y0 )-hoz tartozó érintősíkjának nevezni.
Feladat
Adjuk meg az
x
f (x , y ) = 2x 3 cos + x2 + y3
y
függvény parciális deriváltjait!
Feladat
Adjuk meg az
2
(x + 2) y + 2x + 3,
ha (x , y ) 6= (0, 0),
f (x , y ) = x2 + y2
3, ha (x , y ) = (0, 0)
∆f = f (a + h) − f (a) = A · h + ε(h) · h,
∆f = f (a + h) − f (a) = G · h + ε(h) · h
és
lim ε(h) = 0.
h→0
A gradiensvektorra a (totális) derivált elnevezést is használjuk, és a
Bizonyítás.
1. Legyen h = hi ei = (0, . . . , 0, hi , 0, . . . , 0)! Ekkor
f (a1 , . . . , ai + hi , . . . , an ) − f (a1 , . . . , ai , . . . , an )
fx0i (a) = lim =
hi →0 hi
= lim gradf (a)i + εi (h) = gradf (a)i .
hi →0
Bizonyítás.
2. f (a + h) = f (a) + gradf (a) · h + ε(h) · h miatt
Útmutatás.
Kétváltozós függvény esetén, ha h olyan, hogy a + h ∈ Ka , akkor
∆f = f (a + h) − f (a) =
= [f (a1 + h1 , a2 + h2 ) − f (a1 + h1 , a2 )] + [f (a1 + h1 , a2 ) − f (a1 , a2 )] .
| {z } | {z }
A B
Mivel Ka konvex, ezért l(a1 +h1 ,a2 ),(a1 +h1 ,a2 +h2 ) -n f parciálisan deriválható y
szerint, azaz
g2 (t) = f (a1 + h1 , a2 + t · h2 )
deriválható [0, 1]-en. A Lagrange-féle középértéktétel szerint létezik
ξ2 ∈]0, 1[, amire
Útmutatás.
∆f = f (a + h) − f (a) =
= [f (a1 + h1 , a2 + h2 ) − f (a1 + h1 , a2 )] + [f (a1 + h1 , a2 ) − f (a1 , a2 )] .
| {z } | {z }
A=fy0 (a1 +h1 ,a2 +ξ2 h2 )·h2 B
Hasonlóan l(a1 ,a2 ),(a1 +h1 ,a2 ) -n f parciálisan deriválható x szerint, azaz
g1 (t) = f (a1 + t · h1 , a2 )
Útmutatás.
∆f = f (a + h) − f (a) =
= [f (a1 + h1 , a2 + h2 ) − f (a1 + h1 , a2 )] + [f (a1 + h1 , a2 ) − f (a1 , a2 )] .
| {z } | {z }
A=fy0 (a1 +h1 ,a2 +ξ2 h2 )·h2 B=fx0 (a1 +ξ1 h1 ,a2 )·h1
Most
ε1 (h) = fx0 (a1 + ξ1 h1 , a2 ) − fx0 (a1 , a2 )
és
ε2 (h) = fy0 (a1 + h1 , a2 + ξ2 h2 ) − fy0 (a1 , a2 )
választással, és ε(h) = (ε1 (h), ε2 (h)) jelöléssel
h i
∆f = B + A = fx0 (a1 , a2 ) + ε1 (h) h1 + fy0 (a1 , a2 ) + ε2 (h) h2 =
lim ε(h) = 0.
h→0
Feladat
xy
Legyen f (x , y ) = ! gradf =?
(x 2 + 1)e y
Feladat
p
Differenciálható-e a (0, 0) pontban az f (x , y ) = x 2 + y 2 függvény?
Feladat
Legyen
2xy
sh , ha x 2 + y 2 6= 0,
f (x , y ) = x2 + y2
0, ha x 2 + y 2 = 0!
Feladat
Hol differenciálható az
3
sin 2x y ,
ha (x , y ) 6= (0, 0),
f (x , y ) = x2 + y2
0,
ha (x , y ) = (0, 0)
függvény?
∆f = f (a + h) − f (a) = G · h} +ε(h) · h
| {z
főrész
ahol lim ε(h) = 0.
h→0
Definíció
Ha f (totálisan) deriválható a-ban, akkor azt mondjuk, hogy
n
fx01 (a)h1 fx02 (a)h2 fx0n (a)hn fx0i (a)hi
X
df (a, h) = gradf (a)h = + + ··· + =
i=1
Az érintősík normálvektora
n = fx0 (x0 , y0 )e1 + fy0 (x0 , y0 )e2 − e3 = (fx0 (x0 , y0 ), fy0 (x0 , y0 ), −1).
Megjegyzés
Már tudjuk, hogy az érintősík tartalmazza két felületi görbe
érintőegyenesét. (Lásd parciális deriváltak geometriai tartalmát!) Az is
belátható, hogy minden, a P0∗ = (x0 , y0 , f (x0 , y0 )) felületi ponton áthaladó,
érintővel rendelkező felületi görbe érintőegyenese benne van ebben a
síkban.
Tehát összefoglalva a ∆f ≈ df közelítés geometriai tartalma: n = 1 esetén
érintőegyenessel való közelítés; n = 2 esetén: érintősíkkal való közelítés.
f (a + te) − f (a)
lim ∈ R,
t→0+ t
akkor azt mondjuk, hogy f deriválható a-ban az e irány mentén.
Ekkor a fenti határértéket az f a-beli e iránymenti deriváltjának nevezzük,
és a
df ∂f
, illetve
de a ∂e a
jelöléseket használjuk.
Megjegyzés
Mi t jobboldali határértékeként definiáltuk, de szokás kétoldali
határértékként is definiálni. Ekkor a parciális deriváltak speciális
iránymenti deriváltak lennének.
Útmutatás.
A bizonyítás megegyezik a parciális deriváltakról szóló hasonló tétel
bizonyításával.
•
y
x
( √
1, ha 0 < x = y,
f (x , y ) =
0, máskor
függvény az origóban minden irány mentén deriválható, sőt minden
iránymenti deriváltja 0, de nem folytonos, így nem is deriválható totálisan.
•
y
x
( √
x, ha 0 < x = y,
f (x , y ) =
0, máskor
függvény még folytonos is, mégis hiába 0 minden iránymenti deriváltja,
nem deriválható totálisan.
és
df
= fx0 (P0 ) · cos α + fy0 (P0 ) · cos β + fz0 (P0 ) · cos γ.
de P0
f (a + te) − f (a)
0 ∂f
0
tg γ = , tg γ = lim tg γ = .
t t→0+ ∂e (x0 ,y0 )
Így valóban nw = 0.
Bizonyítás.
df
Egy korábbi tételben már láttuk, hogy = gradf (a) · e. Ebből
de a
df
= |gradf (a)| · |e| · cos ϕ = |gradf (a)| · cos ϕ.
de a
df
Így maximális, ha cos ϕ = 1, azaz ha ϕ = 0, tehát e k gradf (a),
de a
pontosabban
gradf (a) df
e= és max = |gradf (a)| .
|gradf (a)| de a
Útmutatás.
df
Csak n = 2 esetén. Tudjuk, hogy = gradf (a) · e.
de a
1. Ha e párhuzamos a szintalakzat érintőjével, akkor
df
∆f = 0 =⇒ = 0 =⇒ gradf (a) · e = 0 =⇒ gradf (a) ⊥ e.
de a
2. Ha a növekvő paraméterű szintalakzat felé mozdulunk el:
df π
∆f > 0 =⇒ > 0 =⇒ gradf (a) · e > 0 =⇒ (gradf (a), e)] <
de a 2
tehát gradf (a) is a növekvő paraméterű szintalakzat felé mutat.
Feladat
f (x , y , z) = x 4 + y 4 + z 4 + 1, P0 = (1, −1, 0)
df
1. gradf (P0 ) =?, =? ha e k v = (2, 1, 3)
de P0
df
2. Adja meg max értékét és irányát!
de P0
3. Írja fel a P0 ponton áthaladó szintfelület egyenletét és annak P0 -beli
érintősíkját!
Megjegyzés
a + ξh az a és a + h pontok által meghatározott egyenes szakasz egy
pontja, így a konvexitás miatt a + ξh ∈ D.
Bizonyítás.
Az előző tétel értelmében ∀a, b ∈ D-hez van az a és b pontokat összekötő
szakaszon olyan c pont, hogy f (b) − f (a) = df (c, b − a) = 0 mivel D
konvexitása miatt c ∈ D.
és 4 2 2 4
x (x − 4x y − y ) ,
ha (x , y ) 6= (0, 0),
fy0 (x , y ) = (x 2 + y 2 )2
0, ha (x , y ) = (0, 0),
és 4 2 2 4
x (x − 4x y − y ) ,
ha (x , y ) 6= (0, 0),
fy0 (x , y ) = (x 2 + y 2 )2
0, ha (x , y ) = (0, 0),
így
fx0 (0, y ) = −y és fy0 (x , 0) = x ,
ezért
fxy00 (0, 0) = −1 és fyx00 (0, 0) = 1.
Következmény
Ha f ∈ CKr a , akkor f -nek az r -edrendű parciális deriváltjai közül mindazok
megegyeznek, amelyek csak a deriválások sorrendjében különböznek
egymástól.
Például, ha f kétváltozós függvény és f ∈ CK3 a , akkor
000 000 000
fxxy (a) = fxyx (a) = fyxx (a).
i=1
Kétváltozós függvény esetén a = (x , y ) és h = (h1 , h2 ) jelöléssel
df (a, h) = fx0 (x , y )h1 + fy0 (x , y )h2 .
Háromváltozós függvény esetén pedig a = (x , y , z) és h = (h1 , h2 , h3 )
jelöléssel
df (a, h) = fx0 (x , y , z)h1 + fy0 (x , y , z)h2 + fz0 (x , y , z)h3 .
Például f (x , y , z) = xy 3 + xyz esetén
df (x, h) = (y 3 + yz)h1 + (3xy 2 + xz)h2 + xyh3 .
Ez egy 2n = 6-változós függvény.
∂ 0
d 2 f (a, h) = fx (x , y , z)h1 + fy0 (x , y , z)h2 + fz0 (x , y , z)h3 · h1 +
∂x
∂ 0
+ fx (x , y , z)h1 + fy0 (x , y , z)h2 + fz0 (x , y , z)h3 · h2 +
∂y
∂ 0
+ fx (x , y , z)h1 + fy0 (x , y , z)h2 + fz0 (x , y , z)h3 · h3 =
∂z
00 00 00
h i fxx fxy fxz h1
= h1 h2 h3 fyx fyy fyz h2 = hT Hh.
00 00 00
fzx00 fzy00 fzz00 h3
Derivált–Szélsőértékszámítás 241
Tétel (Lokális szélsőérték szükséges feltétele)
Bizonyítás.
Tegyük fel, hogy ∃fx0i (a), és legyen
g(x ) = f (a + x ei )!
g 0 (0) = 0.
Derivált–Szélsőértékszámítás 242
Megjegyzés
Ugyanezt iránymenti deriváltakra is elmondhatjuk.
Következmény
Ha f -nek a-ban lokális szélsőértéke van, és ott (totálisan) deriválható,
akkor
gradf (a) = 0.
Bizonyítás.
Egy korábbi tétel szerint f -nek minden parciális deriváltja létezik, az előző
tétel miatt ezek mind 0-k, így ismét a korábbi tétel szerint
Derivált–Szélsőértékszámítás 243
A következő példa azt mutatja, hogy a feltétel nem elégséges.
Példa
Tekintsük az
f (x , y ) = (y − x 2 )(y − 2x 2 )
függvényt!
Derivált–Szélsőértékszámítás 244
A következő példa azt mutatja, hogy a feltétel nem elégséges.
Példa
Tekintsük az
f (x , y ) = (y − x 2 )(y − 2x 2 )
függvényt! Annak ellenére, hogy ennek a kétváltozós függvénynek az
origóban nincs lokális szélsőértéke, mégis, ha a felületből az x,y síkra
merőleges, az origón átmenő síkokkal kimetszünk felületi görbéket, akkor
f -nek minden ilyen felületi görbe mentén lokális minimuma van. Ugyanis a
metszetgörbe pontjaiban a függvényérték pozitív, legalábbis az origó egy
átszúrt környezetében.
Derivált–Szélsőértékszámítás 244
Az egyváltozós függvényeknél látottakhoz képest most más esetek is
lesznek. Ahhoz, hogy ezekről beszéljünk, gondoljuk végig a következőt.
Egy n-változós függvény második deriváltja a később definiált
Hesse-mátrix lesz. Ez megfelel egy lineáris operátornak, ami egy vektort
egyrészt egy nemnegatív számmal szoroz, másrészt pedig forgat. Ha
minden vektor esetén a forgatás szöge hegyesszög, akkor a mátrixot pozitív
definitnek, ha mindig tompaszög, akkor negatív definitnek nevezzük.
Vagyis a szög koszinuszának előjelét vizsgáljuk, ami megegyezik a vektor
és képe skaláris szorzatának előjelével.
Definíció
Az A ∈ Rn×n kvadratikus mátrixot pozitív (negatív) definitnek nevezzük,
ha minden x ∈ Rn \ {0} esetén
Derivált–Szélsőértékszámítás 245
Megjegyzés
A ∈ Rn×n pontosan akkor indefinit, ha ∃x, y ∈ Rn , amire
Derivált–Szélsőértékszámítás 246
A következő, a definitség eldöntéséhez jól használható módszerhez
szükséges a sarokminor fogalma.
Definíció
Az A ∈ Rn×n mátrix k-adik sarok determinánsa a bal felső k × k-s
aldetermináns, amit Dk val jelölünk.
Tétel
Az A ∈ Rn×n szimmetrikus mátrix pontosan akkor pozitív definit, ha
minden sarok determináns pozitív, azaz Dk > 0 (k = 1, . . . , n).
Az A ∈ Rn×n szimmetrikus mátrix pontosan akkor negatív definit, ha a
sarok determinánsok váltakozó előjelűek, azaz
(−1)k Dk > 0 (k = 1, . . . , n).
Ha az A ∈ Rn×n szimmetrikus mátrix pozitív szemidefinit, akkor minden
sarok determináns nem negatív, azaz Dk ≥ 0 (k = 1, . . . , n).
Ha az A ∈ Rn×n szimmetrikus mátrix negatív szemidefinit, akkor a sarok
determinánsok váltakozó előjelűek, azaz (−1)k Dk ≥ 0 (k = 1, . . . , n).
Derivált–Szélsőértékszámítás 247
A fenti tétel könnyen megjegyezhető, ha felhasználjuk, hogy a
Hesse-mátrix szimmetrikus, így van sajátvektorokból álló ortonormált
bázisa, amiben a mátrix diagonális, átlóban a sajátértékekkel. Ha csupa
pozitív (illetve nem negatív) sajátérték van, akkor Dk -k mind pozitívak
(illetve nem negatívak). Ha csupa negatív sajátérték van, akkor Dk -k
váltakozó előjelűek.
Derivált–Szélsőértékszámítás 248
z
Feladat
Van-e lokális szélsőértéke az
y
f (x , y ) = xy
x
függvénynek?
Derivált–Szélsőértékszámítás 249
Feladat
Keressük meg az
f (x , y , z) = x 3 + y 3 + z 3 − 3x − 3y − 3z + 1
Derivált–Szélsőértékszámítás 250
A 60 Tétel kétváltozós függvény esetében a következőt adja.
Tétel
Legyen (x , y ) belső pontja Df -nek úgy, hogy f kétszer (totálisan)
deriválható (x , y )-ban, és jelölje H az f Hesse-mátrixát a-ban!
Ha (f 0 (x , y ) = 0 és det(H) > 0, akkor itt van lokális szélsőérték, méghozzá
f 00 (x , y ) > 0, akkor lokális minimum
ha xx00
fxx (x , y ) < 0, akkor lokális maximum.
Ha det(H) < 0, akkor itt nincs lokális szélsőérték.
Megjegyzés
A Hesse-mátrix szimmetriája miatt ha det(H) > 0, akkor fxx00 = 0 nem
lehet, továbbá ilyenkor fxx00 és fyy00 azonos előjelű.
Ha f 0 = 0 és det(H) = 0, akkor a tétel alapján nem derül ki, van-e
szélsőérték.
Derivált–Szélsőértékszámítás 251
Feladat
Keresse meg az f (x , y ) = x 2 − 2x + y 3 − 3y függvény lokális
szélsőértékeit!
Feladat
Határozza meg az f (x , y ) = x 2 y 3 lokális szélsőértékeit!
Feladat
f (x , y ) = y 2 (1 − x 2 − y 2 )
1. Határozza meg a lokális szélsőértékhelyeket!
2. Határozza meg a függvény minimumát és maximumát – ha létezik –
az x 2 + y 2 ≤ 1 tartományon!
Derivált–Szélsőértékszámítás 252
Feladat
f (x , y ) = x 3 + y 3 − x − y
1. Határozzuk meg a lokális szélsőértéket!
2. Létezik-e f -nek legnagyobb és legkisebb értéke az
A = {(x , y ) : x , y ∈ R; 0 ≤ y ≤ 1 − x ; 0 ≤ x ≤ 1}
Derivált–Szélsőértékszámítás 253
Definíció
Legyen D ⊂ Rn , f : D → Rm és a belső pontja D-nek!
Azt mondjuk, hogy f (totálisan) deriválható a-ban, és a-beli deriváltja az
A ∈ Rm×n mátrix, ha
|f(x) − f(a) − A(x − a)|
lim =0
x→a |x − a|
teljesül.
A deriváltra (deriváltmátrixra) az
f 0 (a) = A
Továbbá, ekkor f 0 (a) i-edik sora fi 0 (a), aminek transzponáltja gradfi (a),
azaz
∂f1 ∂f1 ∂f1
∂x ...
f10 (a) gradT f1 ∂x2 ∂xn
1
∂f2 ∂f2 ∂f2
0
f2 (a) gradT f2 ...
A= . = = ∂x1 ∂x2 ∂xn
..
.. .. ..
.
..
. . .
fm0 (a) grad fm T
a
∂fm ∂fm
∂fm
...
∂x1 ∂x2 ∂xn a
Ha n = m, akkor az f függvény az n dimenziós euklideszi teret önmagába
képezi le. (Lásd új változók bevezetése többes integrálok esetén!) Ilyenkor
a deriváltmátrixot Jacobi-mátrixnak nevezzük, determinánsát pedig
Jacobi-determinánsnak.
azaz Af◦g = Af · Ag .
Tehát az összetett függvény deriváltja egyenlő a külső függvény deriváltja
szorozva a belső függvény deriváltjával. (A mátrixok szorzásánál a sorrend
fontos!)
f 0 = (gradf )T ,
(f ◦ g)0 = (gradf )T · g0 .
∂(f ◦ g)
∂f ∂g1 ∂f ∂gk
= · + ··· + · =
∂xi
a ∂y1 g(a) ∂xi a
∂yk g(a) ∂xi a
k
X ∂f ∂gj
= · .
j=1
∂yj g(a) ∂xi a
j=1
∂yj g(a)
g10 (a)
0 (a) k
∂f ∂f
g2 ∂f
(f ◦ g)0 (a) = · gj0 (a) .
X
... · . =
∂y1 ∂yk g(a) .
. j=1 ∂y j
g(a)
gk0 (a)
f10 (g(a))
0
f2 (g(a))
∂g ∂g ∂g
0
(f ◦ g) (a) =
.. · ∂x ∂x . . . ∂x
=
. 1 2 n a
fm0 (g(a))
0 (g(a)) · ∂g ∂g ∂g
f10 (g(a)) · f10 (g(a)) ·
f 1 ...
∂x
1 a ∂x2 a ∂xn a
∂g ∂g ∂g
0
f (g(a)) ·
2 f 0 (g(a)) · 0
. . . f2 (g(a)) ·
∂x1 a 2
= ∂x2 a ∂xn a .
.. .. .. ..
. .
. .
∂g ∂g ∂g
fm0 (g(a)) · f 0 (g(a)) · . . . fm0 (g(a)) ·
∂x1 a m ∂x2 a ∂xn a
illetve
Z Z ZZ ZZ
f vagy f (x , y ) d(x , y ) vagy f vagy f (x , y ) d(x , y )
Q Q Q Q
módon jelöljük.
Tétel
Ha f : Q = I × J → R folytonos, akkor Riemann-integrálható Q-n.
Tehát ekkor
Zb
d
ZZ Z
f = f (x , y ) dy dx .
Q x =a y =c
illetve
ZZ Zd Zb Zd Zb
f = f (x , y ) dx dy = f (x , y ) dx dy .
Q y =c x =a y =c x =a
illetve
ZZ Zd Zb Zd Zb
f = f (x , y ) dx dy = f (x , y ) dx dy .
Q y =c x =a y =c x =a
integrált, ha létezik!
y
x
integrált, ha létezik!
Bizonyítás.
Legyen I = [a, b] és J = [c, d]. Ekkor
Zb
d
ZZ Z
1 2
f = g(x )h(y ) dy dx =
Q a c
Zb
d
Zb Zd
Z
2 3
= g(x ) h(y ) dy dx = g(x ) dx h(y ) dy .
a c a c
1
= a Fubini-tétel miatt igaz.
2
= azért mert g(x ) nem függ y -tól, azaz konstans szorzó, így kiemelhető.
3
= pedig azért, mert cd h(y ) dy nem függ x -től, így kiemelhető.
R
integrált, ha létezik!
T y
x
T y
x
Megjegyzés
Könnyen ellenőrizhető, hogy az integrál (és az integrálhatóság) nem függ I
és J választásától.
d(x )
c(x )
0 a b
a(y ) b(y )
y
x
Példa
√
Legyen T az y = 2 x és az
y = 2x 2 görbék által határolt
korlátos tartomány!
1. Írjuk fel mindkét típusú
normáltartományként
T -t!
2. Határozzuk meg az
ZZ
x + 2y dT
T
integrált, ha létezik!
y
kettős integrált!
2. Határozzuk meg az integrált, ha létezik!
integrált!
x y
Megjegyzés
Normáltartományok esetén az integrálás sorrendje kötött. Kívül a határok
állandók, csak a belső integrál határai lehetnek függvények, és csak a külső
integrál változójától függhetnek. A sorrend felcserélése a határok
átalakításával jár.
módon jelöljük.
Tétel
Ha f : Q = I1 × · · · × In → R folytonos, akkor Riemann-integrálható
Q-n.
Zb1
b b
Z Z2 Zn
f = ... f (x) dxn . . . dx2 dx1 .
Q x1 =a1 x2 =a2 xn =an
Példa
Legyen V = [0, 1]3 az egységkocka! Határozzuk meg az
ZZZ
x + y + z d(x , y , z)
V
integrált, ha létezik!
Megjegyzés
Könnyen ellenőrizhető, hogy az integrál (és az integrálhatóság) nem függ
Q választásától.
Megjegyzés
Folytonos függvényre alkalmazható a Fubini-tétel akár n − 1-szer is. Ekkor
a következő képletet kaphatjuk, ahol T ⊂ Rn normáltartomány, f : T → R
folytonos függvény.
Z Zb1 bZ
2 (x1 ) bn (x1Z
,...,xn−1 )
x y
Röviden Z
J (T ) = 1,
T
ha létezik.
Megjegyzés
Könnyű megmutatni, hogy minden tégla Jordan-mérhető, és
Jordan-mértéke az egy csúcsból induló n él hosszának szorzata. Így
például egy szakasz 2 dimenziós Jordan-mértéke 0.
Az alszakasz elején felsorolt definíciókban szereplő Ik résztégla mértékét
∆k -val jelöltük. Ez éppen J (Ik ).
Kicsit nehezebben, de szintén belátható, hogy minden normáltartomány is
Jordan-mérhető.
Tétel (Lebesgue-kritérium)
Egy T ⊂ Rn korlátos halmaz pontosan akkor Jordan-mérhető, ha határa
Lebesgue-szerint nullmértékű.
Ha T ⊂ Rn Jordan-mérhető halmaz, f : T → R korlátos, akkor f
pontosan akkor Riemann-integrálható T -n, ha T -beli szakadási pontjainak
halmaza Lebesgue-szerint nullmértékű.
J (T1 ) ≤ J (T2 ).
g(b)
Z Zb
f (x ) dx = f (g(t))g 0 (t) dt.
g(a) a
Integrál–Integráltranszformáció 298
Az egyváltozós függvényeknél tanult helyettesítéses integrált szeretnénk
általánosítani. Emlékeztetőül.
Tétel (Helyettesítéses integrál)
1 , és f ∈ C 0
Legyen a < b, g ∈ C[a,b] g([a,b]) . Ekkor
Z Z
f (g(t)) g 0 (t) dt
f (x ) dx =
g([a,b]) [a,b]
Integrál–Integráltranszformáció 298
Tétel (Integráltranszformáció)
Legyen E ⊂ Rn nyílt halmaz, g : E → Rn folytonosan deriválható,
kölcsönösen egyértelmű leképezés, melynek Jacobi-determinánsa sehol sem
nulla! Ha A ⊂ E kompakt és f : g(A) → R folytonos, akkor a következő
integrálok léteznek és egyenlőek.
Z Z
f (g(t)) det g0 (t) dt.
f (x)dx =
g(A) A
Útmutatás.
A g(x) = x + c eltolás Jacobi-mátrixa az egységmátrix, így
Jacobi-determinánsa 1.
Integrál–Integráltranszformáció 299
Megjegyzés
A Tételben elég f Riemann-integrálhatósága g(A)-n a folytonosság helyett.
Feladat
Határozzuk meg az xy = 1 és xy = 2 hiperbolák, és az y = x és y = 2x
egyenesek által határolt H korlátos tartomány területét.
Megoldás. Z
A terület T = 1. Mindkét tengely szerinti normáltartományként sok
H
számolással járna az integrálás. Ugyanis az integrált két közös belső pont
nélküli normáltartományon vett integrál összegeként számolhatnánk ki.
√ √
Z1 Z2x Z 2 Z2/x Z1 Z2
1 2
T = 1 dy dx + 1 dy dx = 2x − dx + − x dx =
√ √ x x
2/2 1/x 1 x 2/2 1
" # √2
h i1 x2 ln 2
= x 2 − ln x √ + 2 ln x − = .
2/2 2 1
2
Integrál–Integráltranszformáció 300
Feladat
Határozzuk meg az xy = 1 és xy = 2 hiperbolák, és az y = x és y = 2x
egyenesek által határolt H korlátos tartomány területét.
Oldjuk meg a feladatot másképp is. Alkalmazzuk az
integráltranszformációt. Legyenek az új változók u(x , y ) = xy és
y
v (x , y ) = .
x
g = (u, v ) A
H
Integrál–Integráltranszformáció 300
Polártranszformáció
Tegyük fel, hogy a T ⊂ R2 korlátos halmazon szeretnénk integrálni.
Legyen R ∈ R+ olyan, hogy x 2 + y 2 ≤ R 2 , ha (x , y ) ∈ T , és legyenek az
új változók r és ϕ úgy, hogy x = r cos ϕ és y = r sin ϕ, ahol r ∈ [0, R] és
ϕ ∈ [0, 2π], azaz A = [0, R] × [0, 2π] és
! !
x (r , ϕ) r cos ϕ
g(r , ϕ) = = .
y (r , ϕ) r sin ϕ
Ekkor a Jacobi-determináns
x 0 x 0 cos ϕ −r sin ϕ
det g0 (r , ϕ) = r0 ϕ0 = = r cos2 ϕ + r sin2 ϕ = r .
yr yϕ sin ϕ r cos ϕ
2π y •
r
g(A) g
R ϕ
A
x
Integrál–Integráltranszformáció 301
Megjegyzés
A tétel feltételei nem teljesülnek. Nevezetesen g(r , ϕ) = (r cos ϕ, r sin ϕ)
nem kölcsönösen egyértelmű, ugyanis g(x , 0) = g(x , 2π), illetve
g(0, ϕ) = (0, 0) minden ϕ-re. De a [0, R] × {0} kétdimenziós
Jordan-mértéke 0, így ez nem okoz gondot. (Valójában az
integráltranszformációban, ha A Jordan-mérhető, akkor elég feltenni a
kölcsönösen egyértelműséget A belsején.)
Integrál–Integráltranszformáció 302
Feladat
Legyen T = {(x , y ) ∈ R2 : x ≤ 0, x 2 + y 2 ≤ 9}!
Z
cos(x 2 + y 2 ) dT =?
T
Megoldás.
Most az integrandus problémás, ezért alkalmazzunk polártranszformációt.
3
3π
2
T A
g
π
2
−3 3
Integrál–Integráltranszformáció 303
Feladat
Legyen T = {(x , y ) ∈ R2 : 0 ≤ y , 1 ≤ x 2 + y 2 ≤ 4}!
1
Z
dT =?
(x 2 + y 2 )2
T
Megoldás.
Most az integrandus problémás, ezért alkalmazzunk polártranszformációt.
T g π
1 2 A
1 2
Integrál–Integráltranszformáció 304
Feladat
x
Legyen T = {(x , y ) ∈ R2 : 0 ≤ √ ≤ y , 1 ≤ x 2 + y 2 ≤ 4}!
3
Z
4xy 3 dT =?
T
Megoldás.
Alkalmazzunk polártranszformációt.
2 √ 3 π
x/ 2
1 T g A
π
6
π/6
1 2 1 2
Integrál–Integráltranszformáció 305
Feladat
Legyen T = {(x , y ) ∈ R2 : 0 ≤ y ≤ x , x 2 + y 2 − 2x ≤ 0}!
Z
2 + y dT =?
T
Megoldás.
Alkalmazzunk polártranszformációt.
2
π
2
x
1 g π
4
T A
1 2 2
Integrál–Integráltranszformáció 306
Henger koordináták
Tegyük fel, hogy a T ⊂ R3 korlátos halmazon szeretnénk integrálni.
Legyen R ∈ R+ és z1 , z2 ∈ R olyan, hogy x 2 + y 2 ≤ R 2 és z1 ≤ z ≤ z2 , ha
(x , y , z) ∈ T , és legyenek az új változók r , ϕ és z úgy, hogy x = r cos ϕ,
y = r sin ϕ és z = z, ahol r ∈ [0, R], ϕ ∈ [0, 2π] és z ∈ [z1 , z2 ], azaz
A = [0, R] × [0, 2π] × [z1 , z2 ] és
x (r , ϕ, z) r cos ϕ
g(r , ϕ, z) = y (r , ϕ, z) = r sin ϕ .
z(r , ϕ, z) z
Ekkor a Jacobi-determináns
x 0 xϕ0 xz0 cos ϕ −r sin ϕ 0
r
0
det g (r , ϕ, z) = yr0 yϕ0 yz0 = sin ϕ r cos ϕ 0 =
0
zϕ0 zz0 0
zr 0 1
= 1 · (r cos2 ϕ + r sin2 ϕ) + 0 + 0 = r .
Tulajdonképpen a Fubini-tétel alkalmazásával, az integrált egy z szerinti,
és egy (x , y ) szerinti integrálból rakjuk össze, majd utóbbit
polárkoordintátázzuk.
Integrál–Integráltranszformáció 307
z z
z2 z2
g
z1 z1
R R y 2π ϕ
R
x r
z
P
•
ϕ r ·
y
x
Integrál–Integráltranszformáció 308
Feladat
Legyen V = {(x , y , z) ∈ R3 : 1 ≤ x 2 + y 2 ≤ 4, 0 ≤ z ≤ 8 − x 2 − y 2 }!
ZZZ
x 2 dV =?
V
Feladat
Legyen V = {(x , y , z) ∈ R3 : 2 ≤ x 2 + y 2 ≤ R 2 , 1 ≤ z ≤ e}!
1
ZZZ
dV =?
(x 2 + y 2 )2
V
Integrál–Integráltranszformáció 309
Gömbi koordináták
z ϑ
g π
R R y 2π ϕ
R
x r
z
P
•
θ r
ϕ ·
y
x
CSAK VÁZLAT (PG)
Integrál–Integráltranszformáció 310
Tegyük fel, hogy a T ⊂ R3 korlátos halmazon szeretnénk integrálni.
Legyen R ∈ R+ olyan, hogy x 2 + y 2 + z 2 ≤ R 2 , ha (x , y , z) ∈ T , és
legyenek az új változók r , ϕ és ϑ úgy, hogy x = r cos ϕ sin ϑ,
y = r sin ϕ cos ϑ és z = r sin ϑ, ahol r ∈ [0, R], ϕ ∈ [0, 2π] és ϑ ∈ [0, π],
azaz A = [0, R] × [0, 2π] × [0, π] és
x (r , ϑ, ϕ) r cos ϕ sin ϑ
g(r , ϑ, ϕ) = y (r , ϑ, ϕ) = r sin ϕ sin ϑ .
z(r , ϑ, ϕ) r cos ϑ
A változók sorrendjét azért cseréltük fel, hogy a Jacobi-determináns
pozitív legyen. Ez csak esztétikai kérdés, hiszen nekünk úgyis a
Jacobi-determináns abszolút értéke
kell. A Jacobi-determináns
x 0 x 0 x 0 cos ϕ sin ϑ r cos ϕ cos ϑ −r sin ϕ sin ϑ
r ϑ ϕ
det g0 (r , ϑ, ϕ) = yr0 yϑ0 yϕ0 = sin ϕ sin ϑ r sin ϕ cos ϑ r cos ϕ sin ϑ =
0
zr zϑ0 zϕ0 cos ϑ −r sin ϑ
0
Integrál–Integráltranszformáció 311
Feladat
Számítsuk ki az R sugarú gömb térfogatát!
Integrál–Integráltranszformáció 312
Definíció
Ha D ⊂ R, akkor fn : D → R függvények sorozatát függvénysorozatnak
nevezzük. Ezt (fn )∞
n=1 módon jelöljük, vagy röviden így: fn .
Ha minden x ∈ A esetén limn→∞ fn (x ) → F (x ), akkor azt mondjuk, hogy
az fn függvénysorozat (pontonként) konvergál az F függvényhez A-n.
Az fn függvénysorozat konvergenciahalmazának nevezzük, a
KH = {x |létezik lim fn (x ) ∈ R}
n→∞
F (x ) = lim fn (x ).
n→∞
Függvénysorok–Függvénysorozat 313
fn (x ) = (1 + x /n)n
f1 (x ) = 1 + x
f2 (x ) = (1 + x /2)2
f3 (x ) = (1 + x /3)3
f10 (x ) = (1 + x /10)10
F (x ) = ex
1+
+
1
Függvénysorok–Függvénysorozat 314
1+ •
fn (x ) = x n , Dfn = [0, 1]
f1 (x ) = x
f2 (x ) = x 2
f3 (x ) = x 3
f10 (x ) =(x 10
0, ha x ∈ [0, 1[
F (x ) =
1, ha x = 1
• •◦
+
1
Függvénysorok–Függvénysorozat 315
(
n sin(nx ), ha x ≤ πn
fn (x ) =
0, ha πn < x
Dfn = [0, π]
f1 (x ) = sin x
f2 (x ) = 2 sin 2x
f3 (x ) = 3 sin 3x
f10 (x ) = 10 sin 10x
F (x ) = 0 1+
+
1
CSAK VÁZLAT (PG)
Függvénysorok–Függvénysorozat 316
fn → F A-n (pontonként), azt jelenti, hogy
Definíció
Azt mondjuk, hogy az fn függvénysorozat egyenletesen konvergál az F (x )
függvényhez A-n, ha
Függvénysorok–Függvénysorozat 317
Tétel (Határfüggvény folytonossága)
Ha fn folytonos A-n, minden n ∈ N+ esetén, és fn → F egyenletesen A-n,
akkor F folytonos A-n.
Bizonyítás.
Legyen a ∈ A, ε > 0, és N az egyenletes konvergencia szerint ε/3-hoz
tartozó küszöb, illetve N < n ∈ N+ ! Mivel fn folytonos a-ban, ezért létezik
δ > 0 úgy, hogy x ∈ A és |x − a| < δ esetén |fn (x ) − fn (a)| < ε/3. Ekkor
Megjegyzés
A tétel feltételei mellett, tehát a két határérték felcserélhető.
lim lim fn (x ) = lim lim fn (x )
x →a n→∞ n→∞ x →a
Függvénysorok–Függvénysorozat 318
Tétel (Határfüggvény integrálja)
Ha fn Riemann-integrálható [a, b]-n, minden n ∈ N+ esetén, és fn → F
egyenletesen [a, b]-n, akkor F Riemann-integrálható [a, b]-n, és
Zb Zb
F = lim fn .
n→∞
a a
Útmutatás.
Legyen a < b, ε > 0, és N az egyenletes konvergencia szerint
ε/(b − a)-hoz tartozó küszöb, illetve N < n ∈ N+ ! Ekkor
b
Zb Zb Zb Zb
Z
F − fn = (F − fn ) ≤ |F − fn | ≤ ε
= ε.
b−a
a a a a a
Megjegyzés
A tétel feltételei mellett, tehát a határérték és az integrál felcserélhető.
Zb
b
Z
lim fn (x ) dx = lim fn (x ) dx
n→∞ n→∞
a a
Függvénysorok–Függvénysorozat 319
Tétel (Határfüggvény deriváltja)
Ha fn folytonosan deriválható [a, b]-n, minden n ∈ N+ esetén, és
lim fn0 = G egyenletesen [a, b]-n, és fn (a) konvergens, akkor fn egyenletesen
konvergens [a, b]-n, F határfüggvénye deriválható, és
F 0 = G.
Útmutatás.
Zx
Mivel fn0 folytonos, ezért fn0 = fn (x ) − fn (a). Ekkor
a
Zx Zx
Függvénysorok–Függvénysorozat 320
Definíció
Ha D ⊂ R, és fn : D → R függvények sorozata, akkor
k
X
sk = fn
n=1
függvénysorozatot az fn függvényekből álló függvénysornak nevezzük, és
∞
X X
fn , vagy röviden fn módon jelöljük.
n=1 X
Ha minden x ∈ A esetén fn (x ) = F (x ), akkor azt mondjuk, hogy az fn
függvénysor (pontonként) konvergál az F függvényhez A-n.
Az fn függvénysor konvergenciahalmazának nevezzük, a
n X o
KH = x |létezik fn (x ) ∈ R
halmazt. Továbbá, a függvénysor összegfüggvényének nevezzük azt az
F : KH → R, függvényt melyre minden x ∈ KH esetén
X
F (x ) = fn (x ).
Függvénysorok–Függvénysor 321
fn (x ) = x n
s1 (x ) = f1 (x ) = x
s2 (x ) = f1 (x ) + f2 (x ) =
s1 (x ) + f2 (x ) = x + x 2
s3 (x ) =
f1 (x ) + f2 (x ) + f3 (x ) =
s2 (x )+f3 (x ) = x +x 2 +x 3
4
X
s4 (x ) = fk (x ) =
k=1
4
X
s3 (x ) + f4 (x ) = xk
k=1 1+
4
X
s4 (x ) = fk (x ) =
k=1 +
4 1
X
s3 (x ) + f4 (x ) = xk
k=1
x
S(x ) =
1−x
Függvénysorok–Függvénysor 322
Definíció
X
Azt mondjuk, hogy a fn függvénysor egyenletesen konvergál az F (x )
összegfüggvényhez A-n, ha
k
X
+
∀ε > 0 : ∃N ∈ R : ∀x ∈ A : N < k ∈ N =⇒ fn (x ) − F (x ) < ε.
n=1
Megjegyzés
X k
X
fn = F pontonként pontosan akkor, ha az sk = fn (x )
n=1
függvénysorozatra sk → F pontonként.
X k
X
fn = F egyenletesen pontosan akkor, ha az sk = fn (x )
n=1
függvénysorozatra sk → F egyenletesen.
AzXegyenletes konvergenciából következik a pontonkénti.
X (Fordítva nem.)
A fn függvénysor abszolút konvergens A-n, ha a fn (a) numerikus sor
X
abszolút konvergens, azaz |fn (a)| konvergens minden a ∈ A esetén.
Az abszolút konvergenciából következik a konvergencia. (Fordítva nem.)
Függvénysorok–Függvénysor 323
Tétel (Cauchy-kritérium függvénysorokra)
X
A fn függvénysor pontosan akkor egyenletesen konvergens A-n, ha itt
eleget tesz a Cauchy-kritériumnak, azaz
Útmutatás.
Mint numerikus sorokra.
Függvénysorok–Függvénysor 324
Tétel (Weierstrass-kritérium)
X
Ha a bn numerikus sor konvergens, és |fn (x )| ≤ bn minden n ∈ N+ és
X
x ∈ A esetén, akkor fn abszolút és egyenletesen konvergens A-n.
Útmutatás.
A majoráns-kritérium adja az abszolút konvergenciát.
A numerikus sorokra tanult Cauchy-kritérium miatt minden ε > 0 esetén
létezik N küszöb, melyre n > k > N esetén |bk+1 + · · · + bn | < ε, de
minden x ∈ A esetén
Függvénysorok–Függvénysor 325
Tétel (Összegfüggvény folytonossága)
X
Ha fn folytonos A-n, minden n ∈ N+ esetén, és fn = F egyenletesen
A-n, akkor F folytonos A-n.
Bizonyítás.
Korábbi tételek szerint a részletösszegek sorozata folytonos, és
egyenletesen konvergál F -hez A-n, így F is folytonos.
Megjegyzés
A tétel feltételei mellett, tehát a határérték és a szumma felcserélhető.
X X
lim fn (x ) = lim fn (x )
x →a x →a
Függvénysorok–Függvénysor 326
Tétel (Összegfüggvény integrálja)
X
Ha fn Riemann-integrálható [a, b]-n, minden n ∈ N+ esetén, és fn = F
egyenletesen [a, b]-n, akkor F Riemann-integrálható [a, b]-n, és
Zb
b
X Z
F = fn .
a a
Bizonyítás.
Korábbi tételek szerint a részletösszegek sorozata integrálható (méghozzá
tagonként), és egyenletesen konvergál F -hez [a, b]-n, így F is tagonként
integrálható.
Megjegyzés
A tétel feltételei mellett, tehát a szumma és az integrál felcserélhető.
Zb X
b
X Z
fn (x ) dx = fn (x ) dx
a a
Függvénysorok–Függvénysor 327
Tétel (Összegfüggvény deriváltja)
+
Ha Xminden n ∈ N esetén, és
X fn folytonosan deriválható [a, b]-n,
0
X
fn = G egyenletesen [a, b]-n, és fn (a) konvergens, akkor fn is
egyenletesen konvergens [a, b]-n, F összegfüggvénye deriválható [a, b]-n, és
F 0 = G.
Útmutatás.
Zx
Mivel fn0 folytonos, ezért fn0 = fn (x ) − fn (a). Ekkor
a
Zx Zx
fn0
X X X
F (x ) = fn (x ) = fn (a) + = fn (a) + G,
a a
és mivel G is folytonos ezért F deriválható, és valóban F0 = G.
Megjegyzés
A tétel feltételei mellett, tehát a szumma és a deriválás is felcserélhető.
X 0
fn0 =
X
fn
Függvénysorok–Függvénysor 328
Definíció
A ∞
X
cn (x − a)n
n=0
függvénysort a középpontú hatványsornak nevezzük, míg a cn sorozatot
együtthatósorozatnak.
A hatványsor konvergencia sugaráanak nevezzük az
1
R= p
lim sup n |cn |
nem negatív bővített valós számot.
Megjegyzés
p p
Mivel n |cn | ≥ 0, ezért
p lim sup n |cn | ∈ [0, ∞], és a konvergenciasugár
p
n
R = 0, ha lim sup p |cn | = ∞, illetve R = ∞, ha lim sup n |cn | = 0.
Ha létezik lim n |cn |, akkor ezzel is számolhatunk, sőt, ha létezik
cn+1 cn
lim
, akkor ezzel is, vagyis ekkor R = lim .
cn cn+1
Függvénysorok–Hatványsor 329
Tétel (Cauchy-Hadamard)
X
Legyen R a cn (x − a)n hatványsor konvergencia sugara.
X
Ha egy rögzített x esetén |x − a| < R, akkor cn (x − a)n abszolút
X
konvergens, ha pedig |x − a| > R, akkor cn (x − a)n divergens.
Útmutatás.
Mivel csak nem negatív tagú sorozatokról lesz szó, kivételesen nem vezet
hibára az 1/0 = ∞ értelmezés.
1 1 p
Ha |x − a| < R, akkor > = lim sup n |cn |, így
|x − a| R
p
n
p 1
n
lim sup |cn (x − a) | = |x − a| lim sup n |cn | < |x − a| = 1, így a
X |x − a|
számsorok majoráns kritériuma miatt cn (x − a)n abszolút konvergens.
1 1 p
Ha |x − a| > R, akkor < = lim sup n |cn |, így
|x − a| R
p p 1
lim sup |cn (x − a)n | = |x − a| lim sup n |cn | > |x − a|
n
= 1, így a
X |x − a|
számsorok minoráns kritériuma miatt cn (x − a)n divergens.
Függvénysorok–Hatványsor 330
Következmény
X
Ha a cn (x − a)n hatványsor konvergencia sugara R = 0, akkor minden
x 6= a esetén |x − a| > 0 = R, így a sor divergens. x = a esetén pedig
biztosan konvergens. Ekkor KH = {a}.
Ha R = ∞, akkor minden x ∈ R esetén |x − a| < R, így a sor abszolút
konvergens. Ekkor KH = R.
Ha 0 < R < ∞, akkor ]a − R, a + R[⊂ KH ⊂ [a − R, a + R]. Az
intervallum végpontjait külön kell vizsgálnunk.
Függvénysorok–Hatványsor 331
Feladat
Határozzuk meg a következő hatványsorok konvergenciahalmazát!
X
1. x n;
X
2. n8 x n ;
X xn
3. ;
n
X (−1)n
4. x n;
n
X xn
5. ;
n2
X 1
6. n
(x − 2)n ;
X
3
7. 4n (x − 2)3n ;
X xn
8. ;
n!
Függvénysorok–Hatványsor 332
Tétel (Hatványsor egyenletes konvergenciája)
Legyen a
∞
X
cn (x − a)n
n=0
hatványsor konvergencia sugara R, és legyen r < R. Ekkor a hatványsor
egyenletesen konvergens az [a − r , a + r ] intervallumon.
Megjegyzés
A fenti hatványsor az [a − r , a + r ] intervallumon abszolút konvergens.
Függvénysorok–Hatványsor 333
Tétel (Hatványsor összegfüggvényének folytonossága)
Hatványsor összegfüggvénye folytonos.
Útmutatás.
A konvergencia halmaz belsejében az egyenletes konvergencia miatt
teljesül. A végpontokban külön kell belátni (lásd Ábel-tétel, nem
tananyag).
Függvénysorok–Hatványsor 334
Tétel (Hatványsor tagonkénti Riemann-integrálhatósága)
Egy hatványsor, a konvergenciahalmazának tetszőleges kompakt
részintervallumán tagonként integrálható.
Részletesen
Megjegyzés
Legyen a
∞
X
cn (x − a)n
n=0
hatványsor konvergenciahalmaza KH, összegfüggvénye f : KH → R, és
legyen [α, β] ⊂ KH. Ekkor f Riemann-integrálható [α, β]-n, és
Zβ "∞ #β ∞
!
X (x − a)n+1 X (β − a)n+1 (α − a)n+1
f (x ) dx = cn = cn − .
n=0
n+1 n=0
n+1 n+1
α α
Útmutatás.
Ha [α, β] ⊂ int KH, akkor az egyenletes konvergencia adja az állítást.
Függvénysorok–Hatványsor 335
Tétel (Hatványsor tagonkénti határozatlan integrálja)
Legyen a
∞
X
cn (x − a)n
n=0
hatványsor konvergenciahalmaza KH, összegfüggvénye f : KH → R. Ekkor
f -nek létezik primitív függvénye KH-n, nevezetesen
∞
(x − a)n+1
Z X
f (x ) dx = cn + C.
n=0
n+1
Megjegyzés
X (x − a)n+1
X
A két hatványsor ( cn (x − a)n és ) konvergencia sugara
cn
n+1
megegyezik, és az utóbbi konvergenciahalmaza
X tartalmazza az előbbiét,
vagyis ha valamelyik végpontban cn (x − a)n konvergens, akkor
X (x − a)n+1
cn is az.
n+1
Függvénysorok–Hatványsor 336
Tétel (Hatványsor tagonkénti deriválása)
Legyen a
∞
X
cn (x − a)n
n=0
hatványsor konvergenciahalmaza KH, összegfüggvénye f : KH → R. Ekkor
f deriválható KH belsejében (int KH), nevezetesen
∞
f 0 (x ) =
X
cn n(x − a)n−1 .
n=1
Megjegyzés X X
A két hatványsor ( cn (x − a)n és cn n(x − a)n−1 ) konvergencia
sugara megegyezik, és az előbbi konvergenciahalmaza
X tartalmazza az
utóbbiét, vagyis ha valamelyik végpontban cn (x − a)n divergens, akkor
X
cn n(x − a)n−1 is az.
Függvénysorok–Hatványsor 337
Feladat
∞
X
1. x n =?
n=1
∞
X xn
2. =?
n=1
n
∞
X (−1)n
3. = − ln 2;
n=1
n
X∞
4. nx n−2 =?
n=2
Függvénysorok–Hatványsor 338
Tétel
Legyen a
∞
X
cn (x − a)n
n=0
hatványsor konvergenciahalmaza KH, összegfüggvénye f : KH → R. Ekkor
f tetszőlegesen sokszor deriválható KH belsejében (int KH), nevezetesen
∞
X n!
f (k) (x ) = cn (x − a)n−k .
n=k
(n − k)!
Következmény
Ha a ∞
X
cn (x − a)n
n=0
hatványsor konvergencia sugara pozitív (esetleg ∞), akkor f
összegfüggvénye tetszőlegesen sokszor deriválható a-ban, és
f (n) (a) = cn n!
Függvénysorok–Taylor-sor 339
Definíció
Ha f tetszőlegesen sokszor deriválható a-ban, akkor a körüli
Taylor-sorának nevezzük a
∞
X f (n) (a)
(x − a)n
n=0
n!
hatványsort.
Megjegyzés
Az első elemeket kiírva a fenti Taylor-sor
Függvénysorok–Taylor-sor 340
Feladat
Írjuk fel a következő függvények MacLaurin-sorát!
( 2
1. f (x ) = x 2 + x + 1; e−1/x , ha x 6= 0,
4. f (x ) = ;
2. f (x ) = jsh x ; k 0, ha x = 0
3. f (x ) = x + 12 ;
Tétel
Ha f tetszőlegesen sokszor deriválható az ]a − R, a + R[ intervallumon, és
a deriváltak itt egyenletesen korlátosak, azaz
Függvénysorok–Taylor-sor 341
Tétel
∞
X 1
1. xn = (x ∈] − 1, 1[);
n=0
1−x
∞
X xn
2. = ex (x ∈ R);
n=0
n!
∞
X x 2n
3. (−1)n = cos x (x ∈ R);
n=0
(2n)!
∞
X x 2n+1
4. (−1)n = sin x (x ∈ R);
n=0
(2n + 1)!
∞
X x 2n
5. = ch x (x ∈ R);
n=0
(2n)!
∞
X x 2n+1
6. = sh x (x ∈ R);
n=0
(2n + 1)!
Függvénysorok–Taylor-sor 342
Feladat
Fejtsük sorba az f függvényt a körül, és határozzuk meg hol állítja elő a
Taylor-sor a függvényt!
1
1. f (x ) = , a = 3;
1−x
2
1
2. f (x ) = , a = 0;
1−x
1
3. f (x ) = 2 , a = −2, f c (−2) =?;
x − 3x + 2
4. f (x ) = arctg x , a = 0;
2
5. f (x ) = ex , a = 0;
6. f (x ) = e3x , a = 1;
∞
X 2k + 1 2k
Adjuk meg a x hatványsor konvergenciahalmazát és
k=0
k!
∞
X 2k + 1
összegfüggvényét! =?
k=0
k!
Függvénysorok–Taylor-sor 343
Binomiális-sor
Definíció
Ha α ∈ R és k ∈ N0 , akkor az alábbi módon értelmezzük az
(általánosított) binomiális együtthatót.
!
α α(α − 1) . . . (α − k + 1)
= .
k k!
Megjegyzés
!
α
= 1.
0
!
α α!
Ha α ∈ N0 , és k ≤ α, akkor = .
k k!(α − k)!
Függvénysorok–Binomiális-sor 344
Tétel
∞
!
α k X
Ha α ∈ R \ N0 tetszőleges, akkor a x hatványsor konvergencia
k=0
k
sugara R = 1, és összegfüggvénye (1 + x )α .
Megjegyzés
n
X
Ha α = n ∈ N0 , akkor a binomiális tételt kapjuk, azaz (1 + x )n = xk,
! k=0
α α(α − 1) . . . (α − α) . . . (α − k + 1)
hiszen k > α = n esetén = = 0.
k k!
Ekkor a konvergenciasugár
! R =! ∞, így a konvergenciahalmaz KH = R.
α −1 (−1) · (−2) . . . (−k)
Ha α = −1, akkor = = = (−1)k , így
k k k!
ekkor a mértani sor összegképletét kapjuk.
∞ ∞
1
= (1 + x )−1 =
X X
(−x )k = (−1)k x k
k=0
1 − (−x ) k=1
Ekkor a konvergencia halmaz KH =] − 1, 1[.
Függvénysorok–Binomiális-sor 345
Tétel ∞
!
X α k
Ha α ∈ R \ N0 tetszőleges, akkor a x hatványsor konvergencia
k=0
k
halmaza
] − 1, 1[,
ha α ≤ −1
KH = ] − 1, 1], ha − 1 < α < 0
[−1, 1], ha 0 < α
Függvénysorok–Binomiális-sor 346
Feladat
Fejtsük sorba az f függvényt a körül, és határozzuk meg a Taylor-sor
konvergencia sugarát!
√
1. f (x ) = 1 + x , a = 0;
1
2. f (x ) = √ , a = 0;
2 + x2
1
3. f (x ) = √
4
, a = 0;
16 − x 3
√
4. f (x ) = 3 8 + x 2 , a = 0;
5. f (x ) = arcsin x , a = 0;
1
6. f (x ) = √3
, a = 1, f c (1) =?;
9−x
Z0.1
1
7. f (x ) = √ , a = 0, f ic (0) =?, f c (0) =?, f ≈?;
1 + x3
0
Függvénysorok–Binomiális-sor 347
Definíció
Legfeljebb k-adfokú trigonometrikus polinomnak nevezzük az
a0
+a1 cos x +b1 sin x +a2 cos 2x +b2 sin 2x +· · ·+ak cos kx +bk sin kx =
2
k
a0 X
= + (an cos nx + bn sin nx )
2 n=1
függvényt.
Ha ak 6= 0 vagy bk 6= 0, akkor pontosan k-adfokú polinomnak nevezzük.
Trigonometrikus sornak nevezzük az
a0
+a1 cos x +b1 sin x +a2 cos 2x +b2 sin 2x +a3 cos 3x +b3 sin 3x +· · · =
2
∞
a0 X
= + (an cos nx + bn sin nx )
2 n=1
függvényt.
Függvénysorok–Fourier-sor 348
Egy trigonometrikus polinom, vagy trigonometrikus sor 2π szerint
periodikus.
Tétel
Ha ∞
a0 X
Φ(x ) = + (an cos nx + bn sin nx )
2 n=1
egyenletesen konvergens ([0, 2π]-n), akkor
Z2π
1
an = Φ(x ) cos nx dx , n = 0, 1, 2, . . .
π
0
illetve
Z2π
1
bn = Φ(x ) sin nx dx , n = 1, 2, . . .
π
0
Függvénysorok–Fourier-sor 349
Definíció
Legyen f 2π szerint periodikus, és Riemann-integrálható a [0, 2π]-n! Az
∞
a0 X
+ (an cos nx + bn sin nx )
2 n=1
illetve
Z2π
1
bn = f (x ) sin nx dx , n = 1, 2, . . .
π
0
Függvénysorok–Fourier-sor 350
Feladat
Írjuk fel az f (x ) = sin4 x függvény Fourier-sorát!
1+
+ +
−π π
3 3 1
f (x ) = sin4 x , , − cos 2x
8 8 2
3 1 1
− cos 2x + cos 4x
8 2 8
Függvénysorok–Fourier-sor 351
Feladat
Írjuk fel az f (x ) = sin4 x függvény Fourier-sorát!
1+
+ +
−π π
3 3 1
f (x ) = sin4 x , , − cos 2x
8 8 2
3 1 1
− cos 2x + cos 4x
8 2 8
Függvénysorok–Fourier-sor 351
Feladat
Írjuk fel az f (x ) = sin4 x függvény Fourier-sorát!
1+
+ +
−π π
3 3 1
f (x ) = sin4 x , , − cos 2x
8 8 2
3 1 1
− cos 2x + cos 4x
8 2 8
Függvénysorok–Fourier-sor 351
Feladat
Írjuk fel az f (x ) = sin4 x függvény Fourier-sorát!
1+
+ +
−π π
3 3 1
f (x ) = sin4 x , , − cos 2x
8 8 2
3 1 1
− cos 2x + cos 4x
8 2 8
Függvénysorok–Fourier-sor 351
Feladat (Háromszögjel Fourier-sora)
Legyen f (x ) = |x |, ha |x | ≤ π, és legyen 2π szerint periodikus! Írjuk fel
Fourier-sorát!
π+
1+
−π π
+ +
π π 4 π 4 4
, − cos x , − cos x − cos 3x ,
2 2 π 2 π 9π
π 4 4 4
− cos x − cos 3x − cos 5x
2 π 9π 25π
Függvénysorok–Fourier-sor 352
Feladat (Háromszögjel Fourier-sora)
Legyen f (x ) = |x |, ha |x | ≤ π, és legyen 2π szerint periodikus! Írjuk fel
Fourier-sorát!
π+
1+
−π π
+ +
π π 4 π 4 4
, − cos x , − cos x − cos 3x ,
2 2 π 2 π 9π
π 4 4 4
− cos x − cos 3x − cos 5x
2 π 9π 25π
Függvénysorok–Fourier-sor 352
Feladat (Háromszögjel Fourier-sora)
Legyen f (x ) = |x |, ha |x | ≤ π, és legyen 2π szerint periodikus! Írjuk fel
Fourier-sorát!
π+
1+
−π π
+ +
π π 4 π 4 4
, − cos x , − cos x − cos 3x ,
2 2 π 2 π 9π
π 4 4 4
− cos x − cos 3x − cos 5x
2 π 9π 25π
Függvénysorok–Fourier-sor 352
Feladat (Háromszögjel Fourier-sora)
Legyen f (x ) = |x |, ha |x | ≤ π, és legyen 2π szerint periodikus! Írjuk fel
Fourier-sorát!
π+
1+
−π π
+ +
π π 4 π 4 4
, − cos x , − cos x − cos 3x ,
2 2 π 2 π 9π
π 4 4 4
− cos x − cos 3x − cos 5x
2 π 9π 25π
Függvénysorok–Fourier-sor 352
Feladat (Háromszögjel Fourier-sora)
Legyen f (x ) = |x |, ha |x | ≤ π, és legyen 2π szerint periodikus! Írjuk fel
Fourier-sorát!
π+
1+
−π π
+ +
π π 4 π 4 4
, − cos x , − cos x − cos 3x ,
2 2 π 2 π 9π
π 4 4 4
− cos x − cos 3x − cos 5x
2 π 9π 25π
Függvénysorok–Fourier-sor 352
Feladat (Háromszögjel Fourier-sora)
Legyen f (x ) = |x |, ha |x | ≤ π, és legyen 2π szerint periodikus! Írjuk fel
Fourier-sorát!
π+
1+
−π π
+ +
π π 4 π 4 4
, − cos x , − cos x − cos 3x ,
2 2 π 2 π 9π
π 4 4 4
− cos x − cos 3x − cos 5x
2 π 9π 25π
Tétel
Ha f 2π szerint periodikus, folytonos, és Fourier-sora Φ egyenletesen
konvergens, akkor f = Φ.
Függvénysorok–Fourier-sor 352
Definíció
Azt mondjuk, hogy f szakaszonként monoton az I ⊂ R intervallumon, ha I
felbontható véges sok részintervallumra, melyeken f monoton.
Megjegyzés
Használjuk a következő jelöléseket
és
f (x −) = lim f (x − h) = lim f (x + h) = lim f (ξ).
h→0+ h→0− ξ→x −
Tétel (Dirichlet)
Ha f 2π szerint periodikus, [0, 2π]-n szakaszonként monoton és korlátos,
akkor Fourier-sora konvergens, és minden x ∈ R esetén
f (x +) + f (x −)
Φ(x ) = .
2
Függvénysorok–Fourier-sor 353
Feladat (Négyszögjel Fourier-sora)
(
1, ha x ∈ [0, π[,
Legyen f (x ) = és legyen 2π szerint periodikus!
−1, ha x ∈ [π, 2π[,
Írjuk fel Fourier-sorát!
•◦ •
1+ •◦
+ +
−π π
• ◦
•
−1+ •
Függvénysorok–Fourier-sor 354
Feladat (Négyszögjel Fourier-sora)
(
1, ha x ∈ [0, π[,
Legyen f (x ) = és legyen 2π szerint periodikus!
−1, ha x ∈ [π, 2π[,
Írjuk fel Fourier-sorát!
•◦ •
1+ •◦
+ +
−π π
• ◦
•
−1+ •
Függvénysorok–Fourier-sor 354
Feladat (Négyszögjel Fourier-sora)
(
1, ha x ∈ [0, π[,
Legyen f (x ) = és legyen 2π szerint periodikus!
−1, ha x ∈ [π, 2π[,
Írjuk fel Fourier-sorát!
•◦ •
1+ •◦
+ +
−π π
• ◦
•
−1+ •
Függvénysorok–Fourier-sor 354
Feladat (Négyszögjel Fourier-sora)
(
1, ha x ∈ [0, π[,
Legyen f (x ) = és legyen 2π szerint periodikus!
−1, ha x ∈ [π, 2π[,
Írjuk fel Fourier-sorát!
•◦ •
1+ •◦
+ +
−π π
• ◦
•
−1+ •
Függvénysorok–Fourier-sor 354
Feladat (Négyszögjel Fourier-sora)
(
1, ha x ∈ [0, π[,
Legyen f (x ) = és legyen 2π szerint periodikus!
−1, ha x ∈ [π, 2π[,
Írjuk fel Fourier-sorát!
•◦ •
1+ •◦
+ +
−π π
• ◦
•
−1+ •
Függvénysorok–Fourier-sor 354
Feladat (Négyszögjel Fourier-sora)
(
1, ha x ∈ [0, π[,
Legyen f (x ) = és legyen 2π szerint periodikus!
−1, ha x ∈ [π, 2π[,
Írjuk fel Fourier-sorát!
•◦ •
1+ •◦
+ +
−π π
• ◦
•
−1+ •
Függvénysorok–Fourier-sor 354
Feladat (Fűrészfogjel Fourier-sora)
Legyen f (x ) = x , ha x ∈ [0, 2π[ és legyen 2π szerint periodikus! Írjuk fel
Fourier-sorát!
•◦ ◦
• •◦
π+
1+
−π π
• + • + •
2
π, π − 2 sin x , π − 2 sin x − sin 2x , π − 2 sin x − sin 2x − sin 3x
3
Függvénysorok–Fourier-sor 355
Feladat (Fűrészfogjel Fourier-sora)
Legyen f (x ) = x , ha x ∈ [0, 2π[ és legyen 2π szerint periodikus! Írjuk fel
Fourier-sorát!
•◦ ◦
• •◦
π+
1+
−π π
• + • + •
2
π, π − 2 sin x , π − 2 sin x − sin 2x , π − 2 sin x − sin 2x − sin 3x
3
Függvénysorok–Fourier-sor 355
Feladat (Fűrészfogjel Fourier-sora)
Legyen f (x ) = x , ha x ∈ [0, 2π[ és legyen 2π szerint periodikus! Írjuk fel
Fourier-sorát!
•◦ ◦
• •◦
π+
1+
−π π
• + • + •
2
π, π − 2 sin x , π − 2 sin x − sin 2x , π − 2 sin x − sin 2x − sin 3x
3
Függvénysorok–Fourier-sor 355
Feladat (Fűrészfogjel Fourier-sora)
Legyen f (x ) = x , ha x ∈ [0, 2π[ és legyen 2π szerint periodikus! Írjuk fel
Fourier-sorát!
•◦ ◦
• •◦
π+
1+
−π π
• + • + •
2
π, π − 2 sin x , π − 2 sin x − sin 2x , π − 2 sin x − sin 2x − sin 3x
3
Függvénysorok–Fourier-sor 355
Feladat (Fűrészfogjel Fourier-sora)
Legyen f (x ) = x , ha x ∈ [0, 2π[ és legyen 2π szerint periodikus! Írjuk fel
Fourier-sorát!
•◦ ◦
• •◦
π+
1+
−π π
• + • + •
2
π, π − 2 sin x , π − 2 sin x − sin 2x , π − 2 sin x − sin 2x − sin 3x
3
Függvénysorok–Fourier-sor 355
Feladat (Fűrészfogjel Fourier-sora)
Legyen f (x ) = x , ha x ∈ [0, 2π[ és legyen 2π szerint periodikus! Írjuk fel
Fourier-sorát!
•◦ ◦
• •◦
π+
1+
−π π
• + • + •
2
π, π − 2 sin x , π − 2 sin x − sin 2x , π − 2 sin x − sin 2x − sin 3x
3
•◦ •◦ ◦f
• ◦
• •◦ •◦ Φ
π+ • •
π+ •
1+ 1+
• + • + • ◦
• + •◦ + •◦
-π π -π π
Függvénysorok–Fourier-sor 355
VÉGE
Köszönöm a figyelmet!
Pataki Gergely
Függvénysorok–Fourier-sor 356