Professional Documents
Culture Documents
ii
Tartalomjegyzk
1. Elsz
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3. Szmhalmazok
3.1. Vals szmok A . . . . . . . . . . . . . . . . .
3.1.1. A vals szmok aximarendszere . . . .
3.1.2. Termszetes, egsz s racionlis szmok
3.1.3. Fels s als hatr . . . . . . . . . . . .
3.1.4. Intervallumok s krnyezetek . . . . . .
3.1.5. Vals szmok hatvnyai . . . . . . . . .
3.2. Feladatok . . . . . . . . . . . . . . . . . . . . .
3.3. Komplex szmok A . . . . . . . . . . . . . . .
3.3.1. A komplex szm fogalma, mveletek . .
3.3.2. Komplex szmok trigonometrikus alakja
4. Elemi fggvnyek
4.1. Vals-vals fggvnyek alaptulajdonsgai A .
4.2. Az elemi fggvnyek A . . . . . . . . . . . . .
4.2.1. Hatvnyfggvnyek . . . . . . . . . . . .
4.2.2. Exponencilis s logaritmus fggvnyek
4.2.3. Trigonometrikus fggvnyek s inverzeik
4.2.4. Hiperbolikus fggvnyek s inverzeik . .
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
3
5
6
7
8
9
11
.
.
.
.
.
.
.
.
.
.
13
13
13
15
16
17
18
19
22
22
23
.
.
.
.
.
.
27
27
29
29
32
34
39
iv
TARTALOMJEGYZK
4.2.5. Nhny klnleges fggvny . . . . . . . . . . . . . . . . . . .
4.3. Feladatok . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5. Sorozatok, sorok
5.1. Sorozatok, sorok A . . . . . . . . . . . .
5.1.1. A sorozat fogalma s tulajdonsgai
5.1.2. Sorozat hatrrtke . . . . . . . . .
5.1.3. Divergens sorozatok . . . . . . . .
5.1.4. Sorok . . . . . . . . . . . . . . . .
5.2. Feladatok . . . . . . . . . . . . . . . . . .
5.3. Sorozatok E . . . . . . . . . . . . . . . .
5.3.1. Sorozat konvergencija . . . . . . .
5.3.2. Mveletek konvergens sorozatokkal
5.3.3. Rszsorozatok . . . . . . . . . . . .
5.3.4. Sorozat lim sup-ja s lim inf-je . .
5.3.5. Intervallumsorozat . . . . . . . . .
5.3.6. Cauchy konvergenciakritrium . . .
5.4. Sorok E . . . . . . . . . . . . . . . . . .
5.4.1. Sor konvergencija . . . . . . . . .
5.4.2. Konvergenciakritriumok . . . . . .
5.4.3. Vgtelen sorok trendezsei . . . .
43
44
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
47
47
47
49
50
51
52
57
57
58
59
61
62
63
64
64
64
67
6. Folytonossg
6.1. Folytonossg A . . . . . . . . . . . . . . . . . . . . . .
6.1.1. A folytonos fggvny fogalma s tulajdonsgai .
6.1.2. A mveletek s a folytonossg kapcsolata . . . .
6.1.3. Intervallumon folytonos fggvnyek tulajdonsgai
6.2. Feladatok . . . . . . . . . . . . . . . . . . . . . . . . . .
6.3. Folytonossg E . . . . . . . . . . . . . . . . . . . . . .
6.3.1. A folytonossg fogalma s az tviteli elv . . . . .
6.3.2. Mveletek folytonos fggvnyekkel . . . . . . . .
6.3.3. Intervallumon folytonos fggvnyek tulajdonsgai
6.3.4. Az inverzfggvny folytonossga . . . . . . . . .
6.3.5. Egyenletes folytonossg . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
69
69
69
70
71
72
73
73
74
75
76
77
7. Fggvny hatrrtke
7.1. Fggvny hatrrtke A . . . . . . . . . . . . . . . . . .
7.1.1. "Vgesben vett, vges" hatrrtk . . . . . . . . .
7.1.2. "Vgtelenben vett", illetve "nem vges" hatrrtk
7.1.3. Egyoldali hatrrtk . . . . . . . . . . . . . . . . .
7.2. Feladatok . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.3. Fggvny hatrrtke E . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
79
79
79
81
83
84
86
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
TARTALOMJEGYZK
86
88
8. Dierencilhatsg
8.1. Dierencilhatsg A . . . . . . . . . . . . . . . . . . . . . . . . . .
8.1.1. A derivlt fogalma s geometriai jelentse . . . . . . . . . . .
8.1.2. Elemi fggvnyek derivltja s a derivlsi szablyok . . . . .
8.1.3. A derivlt kapcsolata a fggvny tulajdonsgaival . . . . . . .
8.1.4. Tbbszrs derivlt s a Taylor-polinom . . . . . . . . . . . .
8.1.5. LHospital-szably . . . . . . . . . . . . . . . . . . . . . . . .
8.2. Feladatok . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3. Dierencilhatsg E . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3.1. A derivlt fogalma s kapcsolata a folytonossggal . . . . . .
8.3.2. Mveletek dierencilhat fggvnyekkel, derivlsi szablyok
8.3.3. Loklis nvekeds, fogys, loklis szlsrtk . . . . . . . . . .
8.3.4. Kzprtkttelek . . . . . . . . . . . . . . . . . . . . . . . . .
8.3.5. A globlis monotonits elgsges felttelei . . . . . . . . . . .
8.3.6. Konvex s konkv fggvnyek . . . . . . . . . . . . . . . . . .
8.3.7. Taylor-formula . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3.8. LHospital-szably . . . . . . . . . . . . . . . . . . . . . . . .
91
91
91
94
96
98
100
101
104
104
106
108
110
111
112
114
116
9. Integrlhatsg, integrlszmts
9.1. Integrlszmts A . . . . . . . . . . . . . . . . . . . . .
9.1.1. A Riemann-integrl fogalma s geometriai jelentse
9.1.2. A Riemann-integrl s a mveletek kapcsolata . . .
9.1.3. NewtonLeibniz-formula . . . . . . . . . . . . . . .
9.1.4. Primitv fggvny . . . . . . . . . . . . . . . . . .
9.1.5. Az integrl alkalmazsai . . . . . . . . . . . . . . .
9.1.6. Fourier-sor . . . . . . . . . . . . . . . . . . . . . .
9.1.7. Az improprius integrl . . . . . . . . . . . . . . . .
9.2. Feladatok . . . . . . . . . . . . . . . . . . . . . . . . . . .
9.3. Integrlszmts E . . . . . . . . . . . . . . . . . . . . .
9.3.1. Az integrl fogalma . . . . . . . . . . . . . . . . . .
9.3.2. Az integrlhatsg felttelei . . . . . . . . . . . . .
9.3.3. Mveletek s az integrl kapcsolata . . . . . . . . .
9.3.4. Primitv fggvny s a NewtonLeibniz-formula . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
117
117
117
120
121
123
124
132
134
135
138
138
139
141
143
10.Fggvnysorozatok, fggvnysorok
10.1. Fggvnysorozatok, fggvnysorok
10.1.1. Fggvnysorozatok . . . . .
10.1.2. Fggvnysorok . . . . . . .
10.1.3. Hatvnysorok . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
147
147
147
152
153
A
. .
. .
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
vi
TARTALOMJEGYZK
10.2. Feladatok . . . . . . . . . . . . . .
10.3. Fggvnysorozatok, fggvnysorok
10.3.1. Fggvnysorozatok . . . . .
10.3.2. Fggvnysorok . . . . . . .
10.3.3. Hatvnysorok, Taylor-sorok
. .
E
. .
. .
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
154
156
156
158
158
11.Tbbvltozs fggvnyek
11.1. Tbbvltozs fggvnyek A . . . . . . . . . .
11.1.1. Az n-dimenzis tr . . . . . . . . . . . .
11.1.2. Tbbvltozs fggvnyek . . . . . . . .
11.1.3. Hatrrtk s folytonossg . . . . . . . .
11.2. Feladatok . . . . . . . . . . . . . . . . . . . . .
11.3. Tbbvltozs fggvnyek E . . . . . . . . . .
11.3.1. Metrikus tr . . . . . . . . . . . . . . . .
11.3.2. Nylt s zrt halmazok; kompakt halmaz
11.3.3. Folytonos fggvnyek . . . . . . . . . . .
11.3.4. Fixpontttel . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
161
161
161
163
165
167
169
169
171
172
173
.
.
.
.
.
.
.
.
.
.
.
.
177
177
177
179
182
183
184
190
190
193
196
198
201
.
.
.
.
.
.
.
205
205
205
208
210
212
212
213
12.Tbbvltozs dierencils
12.1. Tbbvltozs derivls A . . . . . . . . .
12.1.1. Parcilis derivlt . . . . . . . . . .
12.1.2. Derivltmtrix . . . . . . . . . . .
12.1.3. rint . . . . . . . . . . . . . . . .
12.1.4. Szlsrtk . . . . . . . . . . . . .
12.2. Feladatok . . . . . . . . . . . . . . . . . .
12.3. Tbbvltozs derivls E . . . . . . . . .
12.3.1. Parcilis derivlt s derivltmtrix
12.3.2. Msodik derivlt; Taylor-formula .
12.3.3. Szlsrtk . . . . . . . . . . . . .
12.3.4. Implicit- s inverzfggvny ttel . .
12.3.5. Feltteles szlsrtk . . . . . . . .
13.Vonalintegrl
13.1. Vonalintegrl A . . . . . . . . .
13.1.1. A vonalintegrl fogalma s
13.1.2. Potencil . . . . . . . . .
13.2. Feladatok . . . . . . . . . . . . .
13.3. Vonalintegrl E . . . . . . . . .
13.3.1. A vonalintegrl fogalma s
13.3.2. Potencil . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . .
tulajdonsgai
. . . . . . . .
. . . . . . . .
. . . . . . . .
tulajdonsgai
. . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
TARTALOMJEGYZK
vii
14.Dierencilegyenletek
14.1. Dierencilegyenletek A . . . . . . . . . . . . . . .
14.1.1. Alapfogalmak . . . . . . . . . . . . . . . . . .
14.1.2. Sztvlaszthat vltozj dierencilegyenlet
14.1.3. Alkalmazs . . . . . . . . . . . . . . . . . . .
14.2. Feladatok . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
219
219
219
220
221
222
. . . . . . . . . . . .
. . . . . . . . . . . .
normltartomnyon
. . . . . . . . . . . .
. . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
225
225
225
226
229
230
16.Vektoranalzis
16.1. Vektoranalzis A . . . . . . . .
16.1.1. Trgrbk . . . . . . . .
16.1.2. Felletek . . . . . . . . .
16.1.3. A nabla . . . . . . . . .
16.1.4. Integrltalakt ttelek
16.2. Feladatok . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
235
235
235
239
244
245
246
17.Komplex fggvnyek
17.1. Komplex sorozatok, vgtelen sorok . . . . . . . .
17.2. Komplex hatvnysorok . . . . . . . . . . . . . . .
17.3. Komplex fggvny folytonossga . . . . . . . . .
17.4. Komplex fggvny hatrrtke . . . . . . . . . . .
17.5. Komplex fggvny dierencilhatsga . . . . . .
17.6. Komplex fggvnyek integrlja . . . . . . . . . .
17.6.1. Primitv fggvny, az integrl kiszmtsa
17.7. Taylor-sor, harmonikus fggvnyek . . . . . . . .
17.8. Komplex fggvnyek zrushelyei . . . . . . . . . .
17.9. Becslsek . . . . . . . . . . . . . . . . . . . . . .
17.10.Komplex fggvny maximuma . . . . . . . . . . .
17.11.Laurent-sor . . . . . . . . . . . . . . . . . . . . .
17.11.1.Szingulris helyek . . . . . . . . . . . . . .
17.11.2.A reziduum-ttel . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
255
255
256
259
260
261
263
269
271
273
275
277
278
280
282
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
viii
TARTALOMJEGYZK
1. fejezet
Elsz
A jegyzet alapveten az Etvs Lornd Tudomnyegyetem Termszettudomnyi Karn nem matematika szakos hallgatk analzis oktatshoz kszlt, br a matematika alapszakos hallgatk kiegsztsknt szintn hasznlhatjk. A zikus, geozikus,
trkpsz, meteorolgus, geolgus, krnyezettudomny szakos hallgatk matematika oktatsa vtizedek ta az Alkalmazott Analzis s Szmtsmatematikai Tanszk
feladata. A jegyzet hrom szerzje szintn vek, vtizedek ta rszt vesz ebben az
oktatsban. A jegyzetben trgyalt analzis anyagot szmos flvben a szerzk mr
tantottk, hossz vek szakmai s pedaggiai tapasztalata van a jegyzet tartalma
mgtt.
Tematikjt tekintve a jegyzet termszetszerleg hasonlt szmos ms analzis
tanknyvre, azonban hangslyozzuk, hogy ennek ellenre tbb szempontbl hinyptl szerepet tlt be. Egyrszt ms analzis tmj tanknyvek nagyobbrszt matematika szakos hallgatk szmra kszltek. A nem matematika szakosoknak szl
tanknyvek pedig ms egyetemek specilis igny hallgati, pl. mrnk vagy kzgazdsz hallgatk oktatshoz illenek. Ez a jegyzet az ELTE TTK nem matematika szakos hallgatinak ignyeihez illeszkedik. Sokves oktatsi tapasztalat mutatja,
hogy a hallgatk a matematikt nem az axiomatikus felpts mentn sajttjk el,
hanem fokozatosan, egyre mlyebb szinten rtik meg a matematikai fogalmakat s
tteleket. Ezrt a jegyzet nem a hagyomnyos trgyalsmdot kveti, hanem ktszer
halad vgig a fent felsorolt fejezeteken. Elszr alapszinten trgyal minden tmakrt.
Ennek keretben inkbb mdszereket tant. (A zika szakon ez a rsz kln tantrgy
Kalkulus cmen.) Ezutn msodves hallgatk szmra ugyanazok a tmakrk mlyebb szinten kvetkeznek, a hagyomnyos "ttel-bizonyts" szemllet szerint. A
jegyzet ersen alkalmazs orientlt. A trkpszeknek fontos grbeelmlet, vagy a
geozikusoknak szksges vektoranalzis is helyet kap benne. A zikus hallgatk
megtallhatjk benne a vonalintegrl, felleti integrl s a komplex fggvnyek trgyalst, illetve nehezebb tmakrket is, pl. metrikus terek, vagy implicit fggvny
ttel.
1
1. FEJEZET. ELSZ
Ksznetnyilvnts
A szerzk ksznetet mondanak az Etvs Lornd Tudomnyegyetem Matematikai
Intzetben az Alkalmazott Analzis s Szmtsmatematikai Tanszken dolgoz kollginak, akik konstruktv szrevteleikkel tmogattk a kurzus tematikjnak kialaktst s a jegyzet megrst.
Ksznet illeti a jegyzet lektort Nagy Blint tanszkvezet fiskolai docenst,
aki mindenre kiterjed gyelemmel igyekezett javtani a hibkat, s elsegteni az
rthetsget, s az egysges szerkezett.
A jegyzet a TAMOP-4.1.2-08/2/A/KMR-2009-0045 szm plyzat, Jegyzetek s pldatrak a matematika egyetemi oktatshoz cm projektjnek
keretben kszlt.
2. fejezet
A B = A B.
2.1.3. Fggvnyek
A fggvny specilis relci.
2.9. Denci. Legyen f relci. Azt mondjuk, hogy az f fggvny, ha brmely
(x, y) f s (x, z) f esetn y = z.
Pldul r := {(1, 2), (2, 3), (2, 4)} nem fggvny, hiszen (2, 3) r s (2, 4) r, de
3 6= 4; az f := {(1, 2), (2, 3), (3, 3)} viszont fggvny.
Nhny megllapodst tesznk fggvnyek krben. Ha f fggvny, akkor (x, y)
f esetn y az f fggvny x helyen vett helyettestsi rtke, vagy az f fggvny
az x-hez az y-t rendeli hozz. Jellsben: y = f (x).
Ha f fggvny s A := D(f ), a B pedig olyan halmaz, amelyre R(f ) B (nyilvn
A a fggvny rtelmezsi tartomnya, B pedig a fggvny (egyik) kphalmaza),
akkor az f A B, f fggvny kifejezs helyett az f : A B jellst hasznljuk
(az f fggvny az A halmazt a B halmazba kpezi).
Ha f fggvny s D(f ) A, R(f ) B, akkor f : A B jelli ezt (f az A
halmazbl a B halmazba kpez fggvny).
Pldul f := {(a, ), (b, ), (g, ), (d, ), (e, )} fggvny. Lthat, hogy az f fggvny b helyen vett helyettestsi rtke, = f (b).
Ha L a latin betk, G pedig a grg betk halmaza, akkor f : {a, b, g, d, e} G,
f (a) = , f (b) = , f (g) = , f (d) = , f (e) = . Ha csak a fggvny tpusra
akarunk utalni, elg az f : L G.
Termszetesen egy fggvnynek is van inverze, ez azonban nem biztos, hogy fggvny lesz.
2.10. Denci. Legyen f : A B fggvny. Azt mondjuk, hogy az f klcsnsen
egyrtelm (injektv), ha klnbz x1 , x2 A elemeknek klnbz B-beli elemeket
feleltet meg, azaz brmely x1 , x2 A, x1 6= x2 esetn f (x1 ) 6= f (x2 ).
2.2. FELADATOK
2.2. Feladatok
1. Legyen A := {2, 4, 6, 3, 5, 9}, B := {4, 5, 6, 7}, H := {n | n egsz szm, 1
n 20}. Ksztse el az A B, A B, A \ B, B \ A halmazokat. Mi lesz az A
halmaz H-ra vonatkoz A komplementere?
2. Legyen A := {a, b}, B := {a, b, c}. A B =? B A =?
3. Legyen r := {(x, y) | x, y vals szm, y = x2 }. r1 =? Fggvny-e az r?
Fggvny-e az r1 ?
4. Legyen f : R R, f (x) :=
x
.
1+x2
Ksztse el az f f , f (f f ) fggvnyeket.
/ := {y | y H, x y}.
/ , vagy x / z / = .
A H / az ekvivalencia-osztlyok halmaza.
Igazolhat, hogy
10
H/
2. a
H/
/ +
2
3
/ =
3
6
/ +
4
6
/ =
7
6
/ .
2. A msik pldban E legyen egy sk irnytott szakaszainak halmaza. Bevezetnk E-n egy relcit: legyen
a b, ha az a szakasz prhuzamos b-vel, azonos irnyak s egyforma hosszak.
Knnyen lthat, hogy ekvivalencia-relci. Az a / tartalmazza az a-val
prhuzamos, vele azonos irny s hosszsg irnytott szakaszokat. Egy
ilyen osztly legyen egy vektor. Az E / a sk vektorainak halmaza.
gy vlik rthetv, hogy vektorok sszeadsnl az egyik vektort eltoljuk gy,
hogy a kt vektor kezdpontja megegyezzk. Valjban mindkt vektorbl az
alkalmas reprezentns irnytott szakaszt hzzuk el, azokkal vgezzk el a
mveletet, s az ered irnytott szakaszhoz tartoz ekvivalencia-osztly lesz
az sszeads ered vektora.
11
2.17. Denci. Legyen A vgtelen halmaz. Azt mondjuk, hogy A megszmllhat, ha : N A bijekci.
Meglep, de a racionlis szmok Q halmaza megszmllhat.
rjuk fel az 1, 2, 3, . . . , n, . . . nevezj trteket soronknt.
. . . 13
. . . 23
. . . 33
12 11
22
12
32 13
..
.
0
1
0
2
0
3
..
.
1
1
2
1
1
2
1
3
..
.
2
2
2
3
3
1
...
3
2
...
3
3
...
12
1
(2) := ,
1
1
(3) := ,
2
1
(4) := , . . .
2
A rajz szerinti lpegetssel haladunk, gyelve arra, hogy olyan trtet ugorjunk t,
amely mr egyszer sorra kerlt. Ezzel biztostjuk, hogy valban klcsnsen egyrtelm maradjon a fggvnynk. Lthat az is, hogy elbb-utbb minden racionlis
szmhoz eljutunk, gy bijekci lesz N s Q kztt, ami azt jelenti, hogy Q megszmllhat.
3. fejezet
Szmhalmazok
Kiskorunktl szmolunk a vals szmokkal, sszeadjuk, szorozzuk, osztjuk ket, hatvnyozunk, abszolt rtkt vesszk a szmoknak. Egyenleteket, egyenltlensgeket
rendeznk. Most lefektetjk azt a viszonylag egyszer szablyrendszert, amelybl
a megtanult eljrsok levezethetk. Az albbi tmakrket trgyaljuk.
Vals szmok halmaza
Termszetes szmok halmaza
Egsz szmok s racionlis szmok halmaza
Fels s als hatr
Intervallum s krnyezet
Hatvnyozs dencija s azonossgai
Komplex szmok halmaza
Komplex szm trigonometrikus alakja, mveletek
14
3. FEJEZET. SZMHALMAZOK
1
a
1
a
= 1.
a
b
:= a 1b .
15
Hasonl meggondolssal
b=ba+a
|b| = |b a + a| |b a| + |a| / |a|
|b| |a| |b a|
(3.2)
(|a| |b|) |b a| = |a b|
p
q}
a racionlis szmok
16
3. FEJEZET. SZMHALMAZOK
/ + (1)
1
0 < n 1
/
n
1
1
(n 1) =
0 <
n
n
1
< .
n
/+
1
n
17
18
3. FEJEZET. SZMHALMAZOK
(a, b]:={x R | a < x b}
(a, b):={x R | a < x < b}
a2 = |a|.
Vegyk szre, hogy ha 0 < a, akkor 2k+1 a > 0, s ha a < 0, akkor 2k+1 a < 0.
1
a n := n a.
3.2. FELADATOK
19
a q :=
ap .
1
:=
.
q
ap
3.2. Feladatok
1. Legyen a, b R. Mutassuk meg, hogy
(a + b)2 := (a + b)(a + b) = a2 + 2ab + b2
a2 b2 = (a b)(a + b)
a3 b3 = (a b)(a2 + ab + b2 )
a3 + b3 = (a + b)(a2 ab + b2 )
20
3. FEJEZET. SZMHALMAZOK
2o Legyen k S. Megmutatjuk, hogy k + 1 S, ugyanis
(1 + h)k+1 = (1 + h)k (1 + h) (1 + kh)(1 + h) =
= 1 + (k + 1)h + kh2 1 + (k + 1)h.
a+b
A2 :=
, G2 := ab, H2 :=
2
1
a
2
, N2 :=
+ 1b
a2 + b2
2
Hk :=
1
x1
x1 + x2 + + xk
,
k
1
x2
k
+ +
1
xk
Gk :=
Nk :=
x1 x2 xk ,
k=0
3.2. FELADATOK
21
n
6. Legyen A := { n+1
| n N}. Mutassuk meg, hogy A fellrl korltos. Mi a
sup A?
n
Megolds: Mivel brmely n N esetn n < n + 1, ezrt n+1
< 1, teht a
K := 1 fels korlt. Megmutatjuk, hogy sup A = 1, ugyanis
n
< 1.
1o Brmely n N esetn n+1
o
+
2 Legyen R . Keresnk olyan n N szmot, amelyre
n
> 1 .
n+1
n > (1 )(n + 1) = n n + 1
n > 1
1
n >
4
n
2 2
n
n
n
!
1
n+1
n+1
n+1 n+2
1
2 + 2 + n + n ... n
= 1,
n+2
n
ezrt ( n+1
n ) 4, teht E fellrl korltos. A fels hatr aximja szerint van
fels hatra. Legyen e := sup E.
Megjegyezzk, hogy ezt a fels hatrt soha senki nem tudta s tudja megsejteni
(nem gy, mint a 6. pldban. . . ). Kzeltleg e 2, 71. Euler nevhez fzdik
az e szm bevezetse.
8. Legyen
1
1
1
1
P :=
1
1 2 1 3 1 n | n N .
2
2
2
2
Ltezik-e inf P ? (Ha mr beltta, hogy ltezik az inf P , ne keseredjen el, ha
nem tudja megadni. Megoldatlan a problma.)
22
3. FEJEZET. SZMHALMAZOK
(a, b) (
a2
a
b
, 2
) = (1, 0)
2
+b
a + b2
23
(a,b)=a+ib
3.1. bra.
Az a1.a.4, m1.m.4 s d. tulajdonsgok indokoljk, hogy a vals szmokkal vgzett mveletek, szmolsok (amelyek sszeadst, szorzst tartalmaznak s legfeljebb
egyenlsgekre vonatkoznak) a komplex szmokkal ugyangy vgezhetk el.
Azonostsuk az a R vals szmot s az (a, 0) C komplex szmot. (Nyilvnvalan bijekci ltezik az R s az R {0} C halmaz kztt.) Vezessk be az
i := (0, 1) C kpzetes egysget. Ekkor brmely (a, b) C komplex szmra
(a, b) = (a, 0) + (0, 1)(b, 0) = a + ib.
(A msodik egyenlsg az azonosts kvetkezmnye!)
Figyelembe vve, hogy i2 = (0, 1) (0, 1) = 1, egyszerv vlik az sszeads
a + ib + c + id = a + c + i(b + d),
s a szorzs is
(a + ib) (c + id) = ac bd + i(ad + bc).
A komplex szmot helyvektorknt szenlltethetjk (3.1. bra).
Az sszeads a vektorok sszeadsnak paralelogramma szablynak megfelel (3.2.
bra).
a2 + b2 .
24
3. FEJEZET. SZMHALMAZOK
a+c+i(b+d)
c+id
a+ib
3.2. bra.
a+ib
3.3. bra.
25
rp
p
+
3.4. bra.
Az irnyszg sknegyedenknt adhat meg:
arctg ab ,
2,
arctg| ab |,
=
+ arctg| ab |,
2 arctg| ab |,
ha
ha
ha
ha
ha
ha
a>0
a=0
a<0
a<0
a=0
a>0
s
s
s
s
s
s
b0
b>0
b0
b<0
b<0
b<0
b = r sin ,
Teht a szorzsnl az abszolt rtkek sszeszorzdnak, az irnyszgek pedig sszeaddnak (3.4. bra).
26
3. FEJEZET. SZMHALMAZOK
4. fejezet
Elemi fggvnyek
Ismertetjk a vals szmok halmazn rtelmezett, vals szm rtk fggvnyek legfontosabb tulajdonsgait. Deniljuk a gyakran hasznlt vals-vals fggvnyeket,
melyeket elemi fggvnyeknek neveznek. Az albbi tmakrket trgyaljuk.
Mveletek vals fggvnyekkel
Korltos, monoton, periodikus, pros, pratlan fggvny fogalma
Hatvnyfggvnyek
Exponencilis s logaritmus fggvnyek
Trigonometrikus fggvnyek s inverzeik
Hiperbolikus fggvnyek s inverzeik
Nhny klnleges fggvny
1
.
g(x)
28
29
id
4.1. bra.
id2
1
4.2. bra.
az id2|
monoton fogy (de id1 nem monoton!). Az id1 pratlan (4.4. bra).
30
id
1
1
4.3. bra.
id1
4.4. bra.
31
id
1
4.5. bra.
id1/2
4.6. bra.
Legyen n N. Az idn : R \ {0} R, idn (x) := 1/xn fggvny pros n esetn az id2 , pratlan n esetn az id1 tulajdonsgait rkli.
Legyen id1/2 : [0, ) R, id1/2 (x) := x. Az id1/2 szigoran monoton nveked fggvny (4.6. bra). Megemltjk, hogy az id2|[0,) klcsnsen egyrtelm
fggvny inverzeknt is rtelmezhet a id1/2 .
32
3/2
id
1/2
id
id2/3
id
1
4.7. bra.
expa a<1
expa a>1
exp1
4.8. bra.
Vgl legyen id0 : R R, id0 (x) := 1. Az id0 monoton nveked, monoton fogy is, pros fggvny. Brmilyen p > 0 szm szerint periodikus (4.7. bra).
33
exp
4.9. bra.
Ha a > 0 s a 6= 1, akkor R(expa ) = R+ , azaz csak pozitv rtket vesz fel az expa
(s minden pozitv szmot fel is vesz). Brmely a > 0 esetn minden x1 , x2 R
mellett
expa (x1 + x2 ) = expa (x1 ) expa (x2 ).
(Ez a legfontosabb ismertetjele az exponencilis fggvnyeknek.) Kitntetett szerepe van az expe =: exp fggvnynek (4.9. bra) (e az elz fejezet 7.* pldjban
szerepl Euler-fle szm).
Legyen a > 0, a 6= 1. Mivel expa szigoran monoton, ezrt klcsnsen egyrtelm is, teht van inverzfggvnye.
loga := (expa )1
logb x
.
logb a
34
log
a>1
loga a<1
4.10. bra.
ln
1
4.11. bra.
A 3o tulajdonsg szerint akr egyetlen logaritmus fggvny szmszorosaknt az sszes
logaritmus fggvny elll. Ezrt is van kitntetett szerepe az e alap logaritmusnak:
ln := loge
a termszetes alap logaritmus (4.11. bra).
35
(2)
1
x
sin x
(1)
4.12. bra.
sin
/2
/2
4.13. bra.
36
cos
/2
/2
4.14. bra.
Legyen cos : R R, cos x := sin(x + 2 ). A cos fggvny pros, p = 2 szerint
periodikus (4.14. bra). R(cos) = [1, 1].
Alapvet sszefggsek:
1o Brmely x R esetn cos2 x + sin2 x = 1.
2o Brmely x1 , x2 R esetn sin(x1 + x2 ) = sin x1 cos x2 + cos x1 sin x2 ,
cos(x1 + x2 ) = cos x1 cos x2 sin x1 sin x2 .
sin
Legyen tg := cos
s ctg := cos
sin .
Az rtelmezsbl kvetkezik, hogy
o
n
+ k | k Z , D(ctg) = R \ {k | k Z} .
D(tg) = R \
2
37
tg
/2
/2
4.15. bra.
ctg
/2
/2
4.16. bra.
/2
arcsin
1
1
/2
4.17. bra.
38
arccos
4.18. bra.
/2
arctg
/2
4.19. bra.
Az rtelmezsbl kvetkezik, hogy arccos : [1, 1] [0, ], arccos x = , amelyre
cos = x.
Az arccos fggvny szigoran monoton fogy (4.18. bra).
A tg fggvny ( 2 , 2 ) intervallumra val leszktse szigoran monoton nv, ezrt
van inverzfggvnye:
arctg := (tg|( , ) )1
2 2
39
/2
arcctg
4.20. bra.
sh
4.21. bra.
Az rtelmezsbl kvetkezik, hogy arcctg : R (0, ), arcctg x = , amelyre
ctg = x.
Az arcctg szigoran monoton fogy fggvny (4.20. bra).
ex ex
.
2
40
ch
4.22. bra.
cth
1
th
1
4.23. bra.
Alapvet sszefggsek:
1o Brmely x R esetn ch2 x sh2 x = 1.
2o Brmely x1 , x2 R esetn
sh(x1 + x2 ) = shx1 chx2 + chx1 shx2 ,
ch(x1 + x2 ) = chx1 chx2 + shx1 shx2 .
sh , cth := ch .
Legyen th := ch
sh
Az rtelmezsbl kvetkezik, hogy th : R R, th x =
cth x =
ex +ex
.
ex ex
ex ex
,
ex +ex
cth : R \ {0} R,
41
arsh
4.24. bra.
arch
4.25. bra.
42
arth
1
1
4.26. bra.
arcth
4.27. bra.
1
2
1+x
ln 1x
. Az arth
1
2
x+1
ln x1
. Az
43
abs
4.28. bra.
sgn
4.29. bra.
1, ha x < 0.
(4.29. bra)
44
ent
4.30. bra.
1, ha x Q
0, ha x R \ Q.
Dirichlet-fggvnynek nevezik, nem is ksreljk meg a szemlltetst.
4. Legyen d : R R, d(x) :=
5. Legyen r : R R
r(x) :=
0, ha x R \ Q, vagy x = 0
p
1
q , ha x Q, x = q
ahol p Z, q N, s p-nek s q-nak nincs valdi kzs osztja. Riemannfggvnynek nevezik, ezt sem ksreljk meg szemlltetni.
4.3. Feladatok
1. Szmtsuk ki a kvetkez fggvnyrtkeket:
id0 (7) =
id(6) =
id2 (5) =
id3 ( 21 ) =
id3 ( 12 ) =
id3 (0) =
id 2 (4) =
3
id 2 (4) =
3
id 2 (4) =
id6 (1) =
id6 (2) =
id6 ( 21 ) =
c) sh 3, ch (2), arsh 4, th 1
d) arcsin 21 , arctg 10, th 10, cos 1
minden x R esetn.
3. Igazolja, hogy ch2 x sh2 x = 1, ch2 x = ch(2x)+1
2
4.3. FELADATOK
45
1+cos 2x
,
2
sin2 x =
x+y
yx
x+y
b) sin x sin y = 2 sin xy
2 cos 2 , cos x cos y = 2 sin 2 sin 2 .
x2 + 1) (x R)
1
2
1+x
ln 1x
(x (1, 1))
Megolds: a)
1o
y = sh x =
2o
x=
ex ex
2
ey ey
2
= ey ey /
2x
ey
2xey = (ey )2 1
(ey )2 2xey 1 = 0
(ey )1,2 =
2x 4x2 +4
2
=x
x2 + 1
Mivel az exp
fggvny csak pozitv rtket vesz fel, s brmely x R esetn
Ebbl
y = ln(x +
de ez azt jelenti, hogy
x2 + 1),
3o arsh x = ln(x +
6. Mutassa meg, hogy arctg 6= 2 th.
p
x2 + 1).
46
f (x) + f (x)
,
2
(x) :=
f (x) f (x)
2
p
q
Q, akkor f + g is periodikus.
p
q
5. fejezet
Sorozatok, sorok
A sorozatok igen egyszer fggvnyek. Rajtuk tanulmnyozhat a kzelts pontossga. Hasznos ptkvei a ksbbi fogalmaknak. Az albbi tmakrket trgyaljuk.
Sorozat fogalma, monotonits, korltossg
Hatrrtk s konvergencia
Fontos hatrrtkek
Hatrrtk s mveletek kapcsolata
Az e szm
Cauchy-fle konvergenciakritrium sorozatra
Sor konvergencija
Konvergenciakritriumok sorokra
48
an
bn
n
) sorozat korltos, hiszen brmely n N esetn n < n + 1, ezrt
Pldul az ( n+1
n
n
n + 1 = n + 1 < 1.
n
Az ( n+1
) monoton nv, mert brmely n N esetn
an =
n+1
n
<
= an+1 ,
n+1
n+2
en =
n
n
n
n
!n+1
1 + n n+1
n + 2 n+1
n
=
= en+1 .
n+1
n+1
Az (en ) sorozat korltos is (igazolsa ugyanazt a szmolst ignyli,
amit a 2. fejezet
n+1 n
4.
7.* pldjban mutattunk meg), brmely n N esetn n
49
Egy msik pldaknt vegynk egy 1 mteres rudat. Ha flbevgjuk, majd a flrudat is flbevgjuk, majd az egyik darabot ismt flbevgjuk s gy tovbb, akkor
az
1 1 1
1
, , 3,..., n,...
2 4 2
2
sorozathoz jutunk. Nyilvn ez a sorozat ( 21n ) 0, azaz a keletkezett j darabok
tetszlegesen kicsik lesznek.
Azonnal lthat, hogy ha (an ) konvergens, akkor korltos is, hiszen := 1 szmhoz is van ilyenkor olyan N1 kszbindex, hogy minden n > N1 esetn
A 1 < an < A + 1,
s az a1 , a2 , . . . , aN vges sok tag sem ronthatja el az (an ) sorozat korltossgt.
A mveletek sorn a konvergens sorozatok jl viselkednek.
5.1. Ttel. Ha an A s R, akkor an A.
Ha an A s bn B, akkor an + bn A + B, an bn AB.
Ha bn B s B 6= 0, akkor b1n B1 .
A
.
Ha an A s bn B 6= 0, akkor abnn B
Ezeknek a tteleknek az alkalmazsaknt nzzk a kvetkez pldt.
lim
3 2 n1 +
3n2 2n + 1
=
lim
2n2 + n
2 + n1
1
n
1
n
0. A nevez 2 +
1
n
1
n2
3
= ,
2
2 + 0 6= 0, gy a hnyadosso-
50
51
5.1.4. Sorok
Most gondoljunk arra, hogy valaki az elzekben szerepl 1 mteres rd szeletelsnl
kapott darabokat ssze szeretn illeszteni, azaz az
1
1
1
1
+ 2 + 3 + ... + n + ...
2 2
2
2
sszeget szeretn elkszteni. Akkor az 21 -hez hozzragasztja az 212 hosszsgt, gy
1
1
1
1
1
1
2 + 22 lesz; majd ehhez ragasztja az 23 hosszsgt, gy 2 + 22 + 23 lesz, s gy
tovbb. ltalnosabban: Legyen (an ) szmsorozat. Ksztsk el az
S1 := a1 , S2 := a1 + a2 , S3 := a1 + a2 + a3 , . . . , Sn := a1 + a2 + . . . + an , . . .
P
sorozatot. Az (an ) sszeadandkbl ksztett
an vgtelen soron az (Sn ) rszletsszeg-sorozatot
rtjk.
A
vgtelen
sok
szm
sszeadsa
konvergens eljrs, azaz
P
an vgtelen sor P
konvergens, ha az (Sn ) sorozat konvergens. Ha az (Sn ) sorozat
konvergens, akkor a
an vgtelen sor sszegn az (Sn ) sorozat hatrrtkt rtjk,
azaz
X
an := lim Sn .
n=1
q
q
qn 1
=
=
.
q1
q1
1q
qn =
n=1
q
1q
P
Ha
an egy konvergens vgtelen sor, akkor (Sn ) konvergens, ekkor a Cauchy konvergenciakritrium szerint brmely > 0 hibakorlthoz van olyan N kszbindex,
hogy minden m > N s n := m + 1 > N esetn
> |Sn Sm | = |a1 + a2 + . . . + am + am+1 (a1 + a2 + . . . + am )| = |an |.
Ez ppen azt jelenti, hogy an 0. Teht rvnyes a kvetkez ttel:
5.5. Ttel. Ha
an konvergens, akkor an 0.
52
ln
1
=
0.
Minden
n
N
esetn
n
Sn = ln
n+1
n
= 1+
1
n
1,
2
3
4
n+1
2 3 4
n+1
+ ln + ln + . . . + ln
= ln
= ln(n + 1).
1
2
3
n
1 2 3
n
q.
Ekkor
an konvergens.
hogy minden n > N esetn | an+1
an
P 2n
n!
2n+1
(n+1)!
2n
n!
2
1
< , ha n > 5.
n+1
2
5.2. Feladatok
1. Mutassa meg, hogy an A pontosan akkor, ha an A 0.
Megolds: Legyen > 0 tetszleges. Ha an A, akkor van olyan N , hogy
n > N esetn
|an A| < .
Ekkor |an A 0| = |an A| < is igaz, gy an A 0.
Ugyanez a fordtott llts igazolsa is.
5.2. FELADATOK
53
1
n1
n
2 1
< 2
.
n
a
h n1
0, gy a kzrefogott sorozatra
n
an
0.
a > 1, ezrt
n
( k a)n
nk
an
0.
54
Legyen
a
1
a
2
an
a a
a
a
a
a
=
.
n!
1 2
k k+1
n1 n
ka := L;
a
k+1
a
< 1, . . . , n1
< 1, gy
0<
Mivel
La
n
an
a
<L .
n!
n
n!
nn
an
n!
0.
0.
a
.
n
Mivel na 0, ezrt a kzrefogott sorozatra pn 0, ami az 1. feladat szerint
n
a 1.
q
0 < pn <
n
a 1.
n
Konvergens-e az ( n2 ), ( n n12 ) sorozat?
2
0 < pn <
.
n1
n>
1
A knnyen igazolhat n1
0 miatt a kzrefogott pn 0, ami egyenrtk
n
(1. feladat) az n 1 lltssal.
5.2. FELADATOK
55
1
11. Igazolja, hogy
0.
n
n!
Megolds: Minden n N esetn (egy pillanatra felttelezve, hogy n pros)
n n
n
n n
n
1
+ 1 n > 1 11 ,
n! = 1 2
2
2
2
2 2
2
n
n! >
n1
2
2
1
< .
0<
n
n
n!
1
n
Sn =
Mivel
1
k(k+1)
1
k
n
n!
0.
1
1
1
1
+
+
+ ... +
.
12 23 34
1 n(n + 1)
1
k+1 ,
ezrt
1 1 1 1 1 1
1
1
1
+ + + ... +
=1
.
1 2 2 3 3 4
n n+1
n+1
P 1
P
1
1
= 1, ezrt
lim Sn = lim 1 n+1
n=1 n(n+1) = 1.
n(n+1) konvergens, s
P 1
konvergens.
13. Mutassa meg, hogy
n2
Megolds: Legyen n N, n > 1
Sn =
1
1
1
1
1
2
1
+
+
+ ... + 2 < 1 +
+
+ ...
=
12 22 32
n
12 23
(n 1)n
1 1 1 1
1
1
1
= 1 + + + ... +
=1+1 <2
1 2 2 3
n1 n
n
Sn =
56
P 3n
15. Konvergens-e a
vgtelen sor?
1+32n
Megolds: A gykkritrium szerint
r
r
n
3n
1
n 3
n
<
=
2n
2n
1+3
3
3
P 3n
ezrt
konvergens.
1+32n
(n N),
n
n+1
2
1
n2
konver-
< 1,
de nincs olyan q < 1 szm, hogy valamilyen N utn minden n > N esetn
n
( n+1
) q.
A gykkritrium szerint is
r
1
n 1
=
< 1,
n
n2
n2
de mivel lim
n 2
n
n 2
n
< q.
P cos(n)
vgtelen sor?
Megolds: cos(n) = (1)n , ( 1n ) monoton fogylag tart 0-hoz, ezrt a LeibnizP cos(n)
konvergens.
ttel szerint
n
n+
n+
= e
P
1
b)
n=0 n! = e
c) Brmely n N esetn van olyan (0, 1), hogy
e=
d) e R \ Q
1
1
1
1
+ + + ... +
+
0! 1! 2!
n! n!n
5.3. SOROZATOK E
57
5.3. Sorozatok E
5.3.1. Sorozat konvergencija
5.7. Denci. Azt mondjuk, hogy az (an ) sorozat konvergens, ha A R, > 0
N N : n > N |an A| < .
5.9. Ttel. Ha (an ) konvergens, akkor (an ) korltos.
Bizonyts. Legyen := 1. Mivel (an ) konvergens, ezrt A R s N N,
hogy n > N esetn
A 1 < an < A + 1.
Ha K := max{|a1 |, |a2 |, . . . , |aN |, |A 1|, |A + 1|}, akkor n N esetn |an | K.
5.10. Ttel. Ha (an ) monoton s korltos, akkor (an ) konvergens.
Bizonyts. Tegyk fel, hogy (an ) monoton nveked. Tekintsk az {a1 , a2 , . . . , an , . . .}
halmazt. Ez a halmaz fellrl korltos szmhalmaz, ezrt sup{a1 , a2 , . . . , an , . . .} =:
. A halmaz fels hatrnak tulajdonsga, hogy
1o n N esetn an
2o > 0 N N : an > .
Legyen n > N tetszleges, s becsljk meg a sorozat n-edik tagjt:
< aN an < + ,
teht |an | < . Az alhzott rsz ppen (an ) konvergencijt jelenti.
5.11. Ttel. Legyen (an ) olyan sorozat, amelyhez (xn ), (yn ) :
1o n N esetn xn an yn
2o lim xn = lim yn =:
Akkor (an ) konvergens, s lim an = .
Bizonyts. Legyen > 0 tetszleges.
Mivel xn , ezrt N1 , n > N1 esetn < xn < + .
Mivel yn , ezrt N2 , n > N2 esetn < yn < + .
Legyen N := max{N1 , N2 } s n > N tetszleges. Ekkor < xn an yn <
+ , amibl |an | < . Az alhzottakbl kvetkezik az llts.
58
K = ,
K
1
bn
1
B.
5.3. SOROZATOK E
59
=
(bn B)
=
bn B
Bbn
B
bn
A bn B 0. Megmutatjuk, hogy b1n korltos. Mivel bn B, ezrt := B2 > 0
szmhoz N : n > N esetn B2 < bn B < B2 , vagy B B2 < bn < B + B2 , amibl
1
2
2
>
>
.
B
bn
3B
Ez azt jelenti, hogy b1n korltos (n > N ). A 0-hoz tart s korltos sorozat szorzata
0-hoz tart, teht b1n B1 .
5.18. Ttel. Ha an A s bn B 6= 0, akkor
an
bn
A
B.
Bizonyts. ( abnn ) = (an ) ( b1n ). A szorzatsorozat s a reciproksorozat konvergencijrl szl ttel szerint
an
teht
an
bn
1
1
A ,
bn
B
A
B.
5.3.3. Rszsorozatok
5.8. Denci. Egy i : N N szigoran monoton nveked sorozatot indexsorozatnak neveznk.
5.9. Denci. Legyen a, b : N R. Azt mondjuk, hogy b az a sorozat egy rszsorozata, ha i : N N indexsorozat, hogy b = a i, azaz (bn ) = (ain ).
Pldul (an ) := 1, 12 , 13 , . . . , n1 , . . . s (in ) := 2, 4, 6, . . . , 2n, . . . esetn
1
1 1 1
(ain ) := , , . . . , , . . .
2 4 6
2n
lesz a rszsorozat.
5.19. Ttel. Minden sorozatnak van monoton rszsorozata.
Bizonyts. Brmely sorozatra igaz, hogy
vagy 1o nincs legnagyobb tagja,
60
vagy 2o van legnagyobb tagja, de vges sokat elhagyva a sorozat tagjai kzl a
visszamarad sorozatnak mr nincs legnagyobb tagja,
vagy 3o van legnagyobb tag a sorozatban, s brhogyan hagyunk el vges sokat a
sorozatbl, a visszamaradt sorozatnak mg mindig van legnagyobb tagja.
Ha (an ) az 1o tpus sorozat, akkor egy szigoran monoton nv rszsorozatot ksztnk.
ai1 := a1 .
Hagyjuk el a sorozatbl a1 -et. A visszamaradt sorozatban van a1 -nl nagyobb tag,
legyen ez ak .
ai2 := ak .
Hagyjuk el a sorozatbl az ak -ig a tagokat, s a visszamaradt ak+1 , ak+2 , . . . , an , . . .
sorozatbl vlasszunk az ak -nl nagyobb tagot, legyen ez al .
ai3 := al .
Ezt az eljrst folytassuk. Nyilvn i1 = 1 < i2 = k < i3 = l < . . . , teht (in )
indexsorozat lesz, s ai1 = a1 < ai2 = ak < ai3 = al < . . . az (an ) sorozat szigoran
monoton nv rszsorozata.
Ha (an ) a 2o tpus sorozat, akkor hagyjuk el a sorozatbl azt a vges sok tagot, amely
kztt volt a sorozat legnagyobb tagja, s a visszamaradt sorozattal ismteljk meg
az elz eljrst. gy ekkor is szigoran monoton nveked rszsorozathoz jutunk.
Ha (an ) a 3o tpus sorozat, akkor fogy rszsorozatot ksztnk. Legyen ak a sorozat
legnagyobb tagja. Ekkor
ai1 := ak .
Hagyjuk el ak -ig a sorozattagokat. A visszamaradt ak+1 , ak+2 , . . . , an , . . . sorozatnak
is van legnagyobb tagja, legyen ez al . Nyilvn ak al . Legyen
ai2 := al .
Hagyjuk el al -ig a sorozattagokat, a visszamaradt al+1 , al+2 , . . . , an , . . . sorozat legnagyobb tagja legyen am . Nyilvn al am . Legyen
ai3 := am .
Ezt az eljrst folytassuk. Lthat, hogy az gy szerkesztett (ain ) valban rszsorozata az (an ) sorozatnak s monoton fogy lesz.
5.20. Ttel. (Bolzano-Weierstrass kivlasztsi ttel)
Minden korltos sorozatnak van konvergens rszsorozata.
Bizonyts. Minden sorozatnak van monoton rszsorozata. Ez a rszsorozat is
korltos lesz. Egy monoton s korltos sorozat konvergens.
5.3. SOROZATOK E
61
62
5.3.5. Intervallumsorozat
5.22. Ttel. (Cantor kzsrsz ttel)
Legyen ([an , bn ]) zrt intervallumok sorozata. Tegyk fel, hogy n N esetn [an , bn ]
[an+1 , bn+1 ] (egymsba skatulyzott intervallumok) s lim bn an = 0. Ekkor egyrtelmen ltezik c R, amelyre nN [an , bn ] = {c}.
Bizonyts. Legyen (an ) az intervallumok kezdpontjainak sorozata. Az egymsbaskatulyzottsg miatt n N esetn an an+1 bn+1 b1 , teht az (an )
sorozat egyik fels korltja b1 , msrszt (an ) monoton nv. Ezrt (an ) konvergens.
Legyen := lim an .
Az intervallumok vgpontjainak sorozata legyen (bn ). Nyilvn n N esetn bn
bn+1 an+1 a1 , teht (bn ) monoton fogy s alulrl korltos, ezrt (bn ) konvergens. Legyen := lim bn .
Beltjuk, hogy = .
= lim bn lim an = lim(bn an ) = 0.
Legyen c := = .
Az (an ) monoton nvekedse s a (bn ) monoton fogysa miatt n N esetn
an lim an = c = lim bn bn ,
ezrt c [an , bn ], ami azt jelenti, hogy
c nN [an , bn ].
Indirekt mdon, tegyk fel, hogy d R, d 6= c, amelyre
d nN [an , bn ].
Legyen := |dc|
> 0. Mivel bn an 0, ezrt N, n > N esetn bn an < .
3
Legyen [an , bn ] egy ilyen intervallum. A c [an , bn ], de akkor a c-tl a 3 tvolsgra
lv d mr nem lehet az -nl rvidebb intervallumban. Ez ellentmonds, teht
nN [an , bn ] = {c}.
5.3. SOROZATOK E
63
64
5.4. Sorok E
5.4.1. Sor konvergencija
5.13. Denci. Legyen (an ) az sszeadandk sorozata.
Ksztsk el az (Sn ) :=
P
(a1 + a2 + . . . + an ) rszletsszegek
sorozatt. A
an vgtelen sor legyen a rszP
letsszegek sorozata, azaz
an := (Sn ).
P
5.14. Denci. AztPmondjuk, hogy a
an vgtelen sor konvergens, ha az (Sn )
sorozat konvergens. ( an divergens,
ha az (Sn ) divergens.)
P
Ha az (Sn ) konvergens, akkor a
an vgtelen sor sszegn a rszletsszeg-sorozat
hatrrtkt rtjk, azaz
X
an := lim Sn .
n=1
Ekkor az Sk := a1 + a2 + . . . + ak (k N) rszletsszegekre
|Sn Sm | = |am+1 + . . . + an | |am+1 | + . . . + |an |< .
P
Az alhzottak ppen azt jelentik, hogy
an konvergens.
5.4.2. Konvergenciakritriumok
Bizonyts. Legyen sn := a1 + a2 + . . . + an s tn := b1 + b2 + . . . + bn , n N.
Az (sn ) s (tn ) szigoran monoton nveked.
5.4. SOROK E
1o Ha
65
P
P
bn , teht (sn ) korltos is, ezrt (sn ) konvergens, azaz
an konlim tn =
P
n=1
vergens.
P
2o Ha
an divergens, akkor (sn ) fellrl nem korltos. Ekkor n N esetn
tn sn miatt (tn ) is fellrlPnem korltos, amibl kvetkezik, hogy (tn ) nem
konvergens (divergens), gy
bn divergens.
q
,
1q
qn =
n=1
66
Ekkor
SN +k = |a1 | + |a2 | + . . . + |aN +1 | + |aN +2 | + . . . + |aN +k |
L + q N +1 + q N +2 + . . . + q N +k = L + q N (q + q 2 + . . . + q k ) <
q
< L + qN
,
1q
P
qn =
ahol L := |a1 |+|a2 |+. . .+|aN |, s felhasznltuk, hogy 0 < q < 1 esetn
n=1
q
1q .
S2 = a1 a2
S4 = a1 a2 + a3 a4
..
.
S3 S4
..
.
S2k1 S2k ,
P
P
(1)n+1 an = A.
Teht (1)n+1 an konvergens s
n=1
5.4. SOROK E
67
n=1
apn =
an .
n=1
E ttel szerint az abszolt konvergens sorok rklik a vges sok szm sszeadsnl teljesl asszociativitst. Ezzel szemben a felttelesen konvergens sorok nagyon
labilis kpzdmnyek.
P
5.31. Ttel. Legyen
an felttelesen konvergens sor.
P
1o A R szmhoz (pn ) permutci, hogy
n=1 apn = A.
P
2o (pn ) permutci, hogy
apn divergens.
68
6. fejezet
Folytonossg
A folytonossg a fggvny loklis tulajdonsga. Azt fejezi ki, hogy egy a ponttl
kicsit kimozdulva a fggvnyrtkek az f (a) fggvnyrtktl keveset trnek el. Az
albbi tmakrket trgyaljuk.
Folytonos fggvny fogalma
Folytonossg s a mveletek kapcsolata
Intervallumon folytonos fggvnyek tulajdonsgai
Egyenletes folytonossg
6.1. Folytonossg A
6.1.1. A folytonos fggvny fogalma s tulajdonsgai
Legyen f1 : R R f1 (x) := x, a := 2. Egy msik fggvny pedig legyen f2 : R R,
1, ha x < 2
2, ha x = 2
f2 (x) :=
(6.1. bra)
3, ha x > 2
70
6. FEJEZET. FOLYTONOSSG
f (2)
1
f (2)
2
6.1. bra.
a pontban, ha tetszleges > 0 hibakorlthoz van olyan > 0 ingadozsi lehetsg, hogy minden olyan esetben, amikor x D(f ) s |x a| < (az x az a ponthoz
-nl kzelebb van), akkor |f (x) f (a)| < (az f (x) fggvnyrtk az f (a)-tl az
hibahatron bell tr csak el). Ezt a tulajdonsgot f C[a] jellje.
Valban f1 C[2], hiszen > 0 szmhoz := alkalmas, mert x R, |x 2| <
esetn |f1 (x) f1 (2)| = |x 2| < . Az f2
/ C[2], ugyanis pldul := 12 esetn
> 0 kijellse mellett van olyan x R, pldul az x := 2 + 2 , amelyre ugyan
|x 2| = 2 < , de |f2 (x) f2 (2)| = |3 2| > , ezrt az f2 fggvny nem folytonos
az a := 2 pontban.
a) A folytonos fggvny hasznos tulajdonsga a jeltarts. Ez azt jelenti, hogy
ha f C[a] s f (a) > 0, akkor K(a) D(f ) krnyezet, hogy x K(a) esetn
f (x) > 0, azaz f (a) eljelt a krnyezetben felvett fggvnyrtkek is rklik. E tulajdonsg beltshoz elg a folytonossg dencijt := f (a)
2 > 0 hibakorltra vgiggondolni, hiszen ehhez > 0, hogy x K (a) esetn f (a) < f (x) < f (a)+,
azaz
f (a)
0<
= f (a) < f (x).
2
b) A folytonossg konvergens sorozatokkal is kapcsolatban van. Ha f C[a] s
(xn ) D(f ) tetszlegesen felvett olyan sorozat, amelyre xn a, akkor f (xn )
f (a), azaz az (xn ) sorozaton tekintett fggvnyrtkek sorozata f (a)-hoz tart. Megfordtva is igaz: ha (xn ) D(f ), xn a esetn f (xn ) f (a), akkor f folytonos az
a pontban. A folytonossg ezt a fajta jellemzst a lim f (xn ) = f (lim xn ) egyenlsg
szimbolizlja, melyet tviteli elvnek is neveznek.
f
g
C[a].
6.1. FOLYTONOSSG A
71
72
6. FEJEZET. FOLYTONOSSG
6.2. Feladatok
|x a|
|x a|
| x a| ( x + a)
=
| x a| =
x+ a
x+ a
a
|x a|
< = ,
|f (x) f (a)| = | x a|
a
a
amely azt jelenti, hogy f C[a].
2. Mutassuk meg, hogy az f : R R, f (x) := x2 fggvny brmely a R
pontban folytonos.
Megolds: Legyen (xn ) R, xn a tetszleges sorozat. Ekkor f (xn ) =
(xn )2 = xn xn a a = f (a).
Mivel (xn ) R, xn a sorozat esetn f (xn ) f (a), ezrt az tviteli elv
szerint f C[a].
3. Mutassuk meg, hogy az f : R R, f (x) := sin x fggvny brmely a R
pontban folytonos.
Megolds: A szinuszfggvny rtelmezst felhasznlva a 6.2 brrl ltszik
a | sin x sin a| |x a| egyenltlensg a, x R esetn. Legyen > 0
tetszleges. Ha := , akkor x R, |x a| < esetn |f (x) f (a)| =
| sin x sin a| |x a| < , teht f C[a].
4. Legyen f : R R,
f (x) :=
Mutassa meg, hogy f C[0].
sin x
x ,
1,
ha x 6= 0
ha x = 0.
5. Legyen f : R R. Tegyk fel, hogy van olyan L > 0 szm, hogy s, t D(f )
esetn |f (s) f (t)| L|s t|. Mutassuk meg, hogy a D(f ) pontban
f C[a].
6. Mutassa meg, hogy az x5 + 4x 3 = 0 egyenletnek van megoldsa a [0, 1]
intervallumon is.
6.3. FOLYTONOSSG E
73
x
xa
sin xsin a
6.2. bra.
7. Mutassuk meg, hogy ha f C[a, b], f klcsnsen egyrtelm fggvny, akkor
f szigoran monoton az [a, b] intervallumon.
6.3. Folytonossg E
6.3.1. A folytonossg fogalma s az tviteli elv
Legyen f : R R, a D(f ).
6.1. Denci. Azt mondjuk, hogy f folytonos az a pontban, ha > 0 > 0
x K (a) D(f ) esetn f (x) K (f (a)). Jele: f C[a].
6.9. Ttel. (tviteli elv)
f C[a] (xn ) D(f ), xn a esetn f (xn ) f (a).
Bizonyts. () Tegyk fel, hogy f C[a], s legyen (xn ) D(f ), xn a
tetszleges sorozat.
Tekintsnk egy > 0 szmot. Mivel f C[a], ezrt > 0 olyan, hogy x D(f ),
|x a| < esetn |f (x) f (a)| < . Az xn a miatt ehhez a > 0 szmhoz N N
kszbindex, hogy n > N esetn |xn a| < , de ekkor |f (xn )f (a)| < . Ez ppen
azt jelenti, hogy f (xn ) f (a).
() Most tegyk fel, hogy (xn ) D(f ), xn a esetn f (xn ) f (a), de
(indirekt mdon) f
/ C[a]. Ez azt jelenten, hogy > 0 > 0 esetn x
D(f ), x K (a), de f (x )
/ K (f (a)). Specilisan: n N esetn legyen := n1 .
Ekkor xn D(f ), |xn a| < n1 olyan, hogy |f (xn ) f (a)| .
Tekintsk az gy nyert (xn ) D(f ) sorozatot. Mivel |xn a| < n1 (n N), ezrt
xn a. Ugyanakkor az (f (xn )) sorozat hatrrtke nem lehet f (a), hiszen n N
esetn |f (xn ) f (a)| . Ez ellentmond felttelnknek, teht f C[a].
74
6. FEJEZET. FOLYTONOSSG
1
g
C[a].
Bizonyts. Legyen g(a) > 0. Ekkor K(a) D(g), hogy x K(a) esetn
g(x) > 0.
Legyen (xn ) D(g) amelyre xn a. Nyilvn N N, hogy n > N esetn
xn K(a), gy g(xn ) > 0. Az ilyen n-ekre
1
1
1
1
(xn ) =
= (a),
g
g(xn )
g(a)
g
teht
1
g
C[a].
f
g
C[a].
Bizonyts. Mivel
f
1
1
=f
s f, C[a], ezrt
g
g
g
f
C[a].
g
6.3. FOLYTONOSSG E
75
a+b
2
a+b
2 ;
vagy f ( a+b
2 ) > 0, ekkor a1 := a, b1 :=
vagy f ( a+b
2 ) < 0, ekkor a1 :=
a+b
2 ,
a+b
2 ;
b1 := b.
a1 +b1
2
a1 +b1
2 ;
1
vagy f ( a1 +b
2 ) > 0, ekkor a2 := a1 , b2 :=
1
vagy f ( a1 +b
2 ) < 0, ekkor a2 :=
a1 +b1
2 ,
a1 +b1
2 ;
b2 := b1 .
A felezsi eljrst folytatva valamelyik lpsben eljutunk a c zrushelyhez, vagy kapunk egy (an ) s egy (bn ) sorozatot, amelyre
[a, b] [a1 , b1 ] [a2 , b2 ] . . . [an , bn ] [an+1 , bn+1 ] . . . ,
tovbb
b1 a1 =
ba
b1 a1
ba
ba
, b2 a2 =
=
, . . . , bn an = n , . . . ,
2
2
22
2
76
6. FEJEZET. FOLYTONOSSG
x + 1, ha x < 1,
0,
ha x = 0,
f (x) :=
x 1, ha x > 1
x 1, ha x < 0,
1
0,
ha x = 0,
f (x) :=
x + 1, ha x > 0,
6.3. FOLYTONOSSG E
77
de f 1
/ C[0].
6.19. Ttel. Legyen f : [a, b] R, f C[a, b], f szigoran monoton. Ekkor
f 1 C(R(f )).
Bizonyts. Az f C[a, b], ezrt a Bolzano- s a Weierstrass-ttel kvetkezmnyeknt R(f ) zrt, korltos intervallum. Legyen [c, d] := R(f ). Az f szigoran
monoton, ezrt klcsnsen egyrtelm, teht f 1 : [c, d] [a, b]. Legyen v [c, d]
tetszleges, u := f 1 (v), s legyen (yn ) [c, d], yn v tetszleges sorozat. Az
f 1 inverzfggvny v pontbeli folytonossghoz (az tviteli elv szerint) elg beltni,
hogy az xn := f 1 (yn ) f 1 (v) = u. Indirekt mdon, tegyk fel, hogy (xn ) [a, b]
sorozat nem tart u-hoz. Ekkor > 0 k N nk > k, amelyre |xnk u| . Az
(xnk )kN [a, b] \ [u , u + ] sorozat korltos, ezrt van konvergens rszsorozata:
(xnkl ). Legyen := lim xnkl . Nyilvn [a, b], de 6= u. Az f C[], ezrt
f (xnkl ) = ynkl f ().
Az (ynkl ) rszsorozata a v-hez tart (yn ) sorozatnak, ezrt f () = v. Figyelembe
vve, hogy f (u) = v, ellentmondsra jutottunk f klcsns egyrtelmsgvel, teht
hamis az indirekt felttel, azaz xn u, gy f 1 C[v].
78
6. FEJEZET. FOLYTONOSSG
1
+ |xin |.
in
7. fejezet
Fggvny hatrrtke
Egy fggvny hatrrtke az a pontban A, ha az a-hoz kzeli helyeken a fggvny
A-hoz kzeli rtkeket vesz fel. Az albbi tmakrket trgyaljuk.
Fggvny hatrrtk fogalma
Hatrrtk s a mveletek kapcsolata
Vgtelenbeli s vgtelen hatrrtk
Egyoldali hatrrtk
Monoton fggvny hatrrtke
f1 (x) := x + 2,
f2 : R \ {2} R f2 (x) :=
x2 4
x2
f3 : R R
f3 (x) :=
(x2)(x+2)
x2
x + 2,
1,
= x + 2,
ha x 6= 2
ha x = 2.
(7.1. bra)
80
f1
f (2)
f2
1
2
f3
7.1. bra.
f2 (x) = x + 2 rtkek egy szm, ebben az esetben a 4 krl keveset ingadoznak.
Az f3 fggvny a 2-ben is rtelmezve van. Ha x kzel van a 2-hz (de x 6= 2), akkor
az f3 (x) = x + 2 rtkek (az f1 s f2 fggvnyhez hasonlan) a 4 krl keveset ingadoznak (fggetlenl attl, hogy f (2) = 1).
A pldkban tapasztalt jelensgek nyomn alaktjuk ki a fggvny hatrrtknek
fogalmt.
Olyan f : R R fggvnyeket vizsglunk, melyek D(f ) rtelmezsi tartomnyban az a R ponthoz tetszlegesen kzel is vannak attl klnbz pontok (esetleg
a
/ D(f )).
7.1. Denci. Azt mondjuk, hogy az f fggvnynek az a pontban van hatrrtke,
ha van olyan A R szm, hogy brmely > 0 hibakorlthoz van olyan > 0
ingadozsi lehetsg, hogy minden olyan x D(f ) pontban, amely -nl kzelebb van
az a-hoz (|xa| < ), de x 6= a, az f (x) fggvnyrtkek az hibakorltnl kevesebbel
trnek el A-tl (|f (x) A| < ).
Az f fggvnynek ezt a tulajdonsgt a
lim f = A;
a
lim f (x) = A;
xa
ha x a, akkor f (x) A
jellsek valamelyikvel fejezzk ki.
Ha sszevetjk az f fggvny hatrrtknek fogalmt a folytonossg rtelmezsvel,
akkor lthat, hogy lima f = A ppen azt jelenti, hogy az f fggvny helyett egy
f (x), ha x 6= a
f : D(f ) {a} R, f(x) :=
A,
ha x = a
fggvnyt tekintve, az f fggvny az a pontban folytonos lesz. Ms szval, akkor van
hatrrtke az f fggvnynek az a pontban, ha folytonoss tehet az a-ban. Ezrt,
81
1
B.
A
B.
Pldul
lim 1
x+ x
x+
= 0.
2o Ha D(f ) alulrl nem korltos halmaz, s van olyan A R, hogy brmely >
0 hibakorlthoz van olyan R kszbszm, hogy minden x < , x D(f )
pontban |f (x) A| < , akkor azt mondjuk, hogy az f fggvny hatrrtke
()-ben A.
Jele: lim f = A vagy lim f (x) = A vagy x esetn f (x) A.
1
x x
Pldul lim
= 0.
82
1
2
x0 x
Pldul lim
xa
= +.
xa
x+
Pldul lim x2 = +.
x+
Pldul lim x2 = +.
x
x+
83
lim an = + lim a = +
+
lim an = lim a = .
+
84
a0
a+0
7.2. Feladatok
1. limx2
2x2 x6
x2 x2
2. limx1
x4 2x2 3
x2 3x+2
=?
=?
limx
2x2 x6
x2 x2
limx20
=?
x4 2x2 3
x2 3x+2
=?
limx2+0
x4 2x2 3
x2 3x+2
=?
7.2. FELADATOK
85
A
A
lima f=A
lim f=A
lim+ f=A
lima f=+
lima f=
lim f=+
lim+ f=+
lim
A2
lima0 f=A2
lim
a+0
lim
f=
a+0
f=A
lim
f=
f=+
lim
a0
7.2. bra.
f=
86
4. limx0
sin 3x
x
5. limx0
1cos x
x2
6. limx0
e2x 1
x
2
)
1x2
=?
=?
limx0
=?
limx0
=?
7. limx+
sh(x+2)
sh(x2)
8. limx+
limx
sin 3x
sin 5x
limx0
=?
tgxsin x
x3
2x 1
x
limx0
tg2x
x
=?
=?
=?
=?
x2 + 2
x2 + 2
x2 + 2x 3 =?
x2 + 2x 3 =?
a (+) := , ha a < 0
a () := , ha a > 0
a () := +, ha a < 0
87
(a r, a + r), ha a R
( 1r , +),
ha a = +
Kr (a) :=
ha a =
(, 1r ),
Legyen A R s a R.
7.3. Denci. Azt mondjuk, hogy a torldsi pontja az A halmaznak, ha minden r > 0 esetn (Kr (a) A) \ {a} =
6 . Tovbb legyen
A := {a R | a torldsi pontja az A-nak}
az A derivlthalmaza.
Az A rszben bemutatott hatrrtk eseteket ezutn egysges denciba foglalhatjuk.
).
Legyen f R R, a R, a D(f
7.5. Denci. Azt mondjuk, hogy az f fggvnynek az a pontban van jobb oldali
hatrrtke, ha A R > 0 > 0 x K (a) D(f ), x > a esetn f (x)
K (A).
Legyen f R R, a R, a (D(f ) (, a)). .
7.6. Denci. Azt mondjuk, hogy az f fggvnynek az a pontban van bal oldali
hatrrtke, ha A R > 0 > 0 x K (a) D(f ), x < a esetn f (x)
K (A).
s
lim f lim f|D(f )(,a) .
a0
88
Bizonyts.
() Legyen (xn ) D(f ) \ {a}, xn a tetszleges sorozat. Mivel lima f = A, ezrt
> 0 > 0 olyan, hogy x (K (a) \ {a}) D(f ) esetn f (x) K (A). Az
xn a, ezrt ehhez a > 0 szmhoz is N N kszbindex, hogy n > N esetn
xn K (a), st xn 6= a s xn D(f ). Akkor f (xn ) K (A). Ez ppen azt jelenti,
hogy f (xn ) A.
() Tegyk fel, hogy (xn ) D(f ) \ {a}, xn a esetn f (xn ) A, de (indirekt mdon) lima f 6= A. Ez azt jelenten, hogy > 0 > 0 esetn x
(K (a) \ {a}) D(f ), amelyre f (x)
/ K (A). Emiatt n N esetn a := n1 > 0
szmhoz is xn K 1 (a), xn 6= a, xn D(f ) olyan, hogy f (xn )
/ K (A). Nyilvn
n
az ilyen (xn ) sorozatra xn a, de az ezen a sorozaton tekintett (f (xn )) fggvnyrtkek sorozatra f (xn ) 9 A, hiszen n N esetn f (xn )
/ K (A). Ez ellentmond a
felttelnknek, gy igaz az llts.
Megjegyezzk, hogy a limxa f (x) = A jellst az tviteli elvbl szrmaztathatjuk. Ugyanis (xn ) sorozatra limxn a f (xn ) = A lenne az llts. (Az n-et elhagyva
kapjuk a hatrrtket. Az x a x tart az a-hoz kifejezs mgtt is minden esetben
egy olyan tetszleges (xn ) sorozatot rtsnk, amelyre xn a.)
A,
0,
ha 6= 0
ha = 0
89
g
g(xn )
1
B,
ha B R \ {0}
0, ha B = + vagy .
90
8. fejezet
Dierencilhatsg
A dierencilhatsg a fggvny simasgt jelenti. A dierencilhat fggvny folytonos, s nincs rajta trs, cscs. Az albbi tmakrket trgyaljuk.
Derivlt fogalma s geometriai jelentse
Elemi fggvnyek derivltjai
Derivlsi szablyok
Monotonits s szlsrtk
Konvexits s inexi
Fggvnyvizsglat
Taylor-polinom
LHospital-szably
Kzprtkttelek
8.1. Differencilhatsg A
8.1.1. A derivlt fogalma s geometriai jelentse
Vizsgljunk meg kt egyszer fggvnyt: f1 : R R, f1 (t) := t2 , s f2 : R R,
f2 (t) := |t|. Rgztsk az x := 0 pontot. Knnyen ellenrizhet, hogy f1 s f2 is
pros; alulrl korltos s fellrl nem korltos; a pozitv szmok halmazn nvekv,
a negatv szmok halmazn fogy; az x = 0 pontban minimuma van, s a minimum
rtke 0; az x = 0 pontban folytonos.
Szembetn a sok hasonlsg ellenre, hogy az x = 0 pontban az f1 fggvny sima,
az f2 fggvnynek pedig trse van.
91
92
8. FEJEZET. DIFFERENCILHATSG
f
0
K1
f
0
K2
8.1. bra.
Van-e olyan mszer, amely kimutatja, hogy egy fggvny valamely pontban sima,
egy msik pedig nem?
Legyen f : R R tetszleges fggvny, x D(f ) egy rgztett pont. Az f
fggvny x-hez tartoz klnbsgihnyados-fggvnye legyen a
Kxf : D(f ) \ {x} R Kxf (t) :=
f (t) f (x)
tx
8.1. DIFFERENCILHATSG A
93
(t,f(t))
f(t)f(x)
szel
rint
(x,f(x))
tx
8.2. bra.
(x)
mgsem lesz vgteKnnyen belthatjuk, hogy t x esetn t x 0, de f (t)f
tx
len, ez csak gy lehet, ha f (t) f (x) 0, ami azt jelenti, hogy ha az f fggvny
dierencilhat az x pontban, akkor ott folytonos is.
94
8. FEJEZET. DIFFERENCILHATSG
tt0
s(t) s(t0 )
=: v(t0 ) vagy
t t0
s
= v.
t0 t
lim
[Lthat, hogy a pillanatnyi sebessg az tlagsebessg hatrrtke s az t-id fggvny dierencilhnyadosa: s (t0 ) = v(t0 ).]
Az f : R R, f (t) := t2 fggvny nem csak az x := 0 pontban tnik simnak.
Legyen x R egy tetszleges vals szm. Nzzk meg, hogy az f fggvny x-hez
tartoz klnbsgihnyadosnak van-e hatrrtke!
f (t) f (x)
t2 x2
(t x)(t + x)
= lim
= lim
= lim (t + x) = 2x.
tx
tx t x
tx
tx
tx
tx
lim
lim
(Az talakts sorn a trigonometrikus fggvnyek addcis tteleinek egy kvetkezmnyt hasznltuk. Mivel limu0 sinu u = 1, ezrt t x esetn az u := tx
2 0, gy
limtx
tx
2
tx
2
sin
= 1.)
8.1. DIFFERENCILHATSG A
95
(ln x) =
1
x
1
x ln a
(sin x) = cos x
(loga x) =
(cos x) = sin x
(arcsin x) =
(ex ) = ex
1
(arccos x) = 1x
2
(ax ) = ax ln a (a > 0)
(arctg x) =
1
cos2 x
(arsh x) =
1
x2 +1
(ctg x) = sin12 x
(arch x) =
1
x2 1
(sh x) = ch x
(arth x) =
1
1x2
(tg x) =
(a > 0, a 6= 1)
1
1x2
1
1+x2
(x > 1)
(1 < x < 1)
(ch x) = sh x
(th x) =
1
ch2 x
Dierencilhat fggvnyekkel vgzett mveletek eredmnyeknt gyakran kapunk differencilhat fggvnyt. Pldul ha f, g D[x], akkor
f (t) f (x) + g(t) g(x)
(f + g)(t) (f + g)(x)
= lim
=
tx
tx
tx
f (t) f (x)
g(t) g(x)
= lim
+ lim
= f (x) + g (x).
tx
tx
tx
tx
lim
tx
1
g
96
8. FEJEZET. DIFFERENCILHATSG
f
g
D[x] s ( fg ) (x) =
8.1. DIFFERENCILHATSG A
97
Ugyanis ha f (a) 6= 0, pldul f (a) > 0 lenne, akkor lenne olyan t1 < a < t2 ,
a-hoz kzeli kt pont, amelyekre f (t1 ) < f (a) < f (t2 ), amely ellentmond annak, hogy f -nek a-ban loklis minimuma van.
Teht egy nylt intervallum minden pontjban dierencilhat fggvnynek
csak ott lehet loklis szlsrtke, ahol a derivltja 0.
Vigyzat! Ha f D[a] s f (a) = 0, akkor az a-ban lehet, hogy nincs szlsrtk. Pldul az f : R R, f (t) := t3 esetn (t3 ) = 3t2 , ezrt f (0) = 302 = 0,
de az f fggvnynek nincs loklis szlsrtke a 0-ban.
d) A fggvny alakjra is kvetkeztethetnk a derivltjbl. Az f fggvnyt
konvexnek nevezzk az I intervallumon, ha brmely x1 , x2 I, x1 < x2 esetn az (x1 , f (x1 )) s (x2 , f (x2 )) pontot sszekt hr alatt marad a fggvny
grakonja az [x1 , x2 ] intervallumon.
Igazolhat, hogy egy dierencilhat f fggvny pontosan akkor konvex az I
intervallumon, ha az f derivltja monoton nveked ezen az intervallumon.
Az f fggvny monoton nvekedsre a derivltjnak eljelbl kvetkeztethetnk. Ha az f dierencilhat fggvny, akkor bevezetve az f := (f )
msodik derivltat, igaz lesz az a ttel, hogy f (x) > 0 (x I) esetn f konvex az I intervallumon.
(rtelemszeren megfogalmazhatjuk a konkv fggvny fogalmt, s ilyen
fggvnyre is hasonl elgsges felttel adhat.)
Az olyan a D(f ) pontot, amelyet megelz s az t kvet intervallumokon
az f fggvny alakja eltr (vagy konvexbl konkvba, vagy konkvbl konvexbe megy t a fggvny), inexis pontnak nevezzk. Pldul az f (x) = x3
fggvnynek 0-ban inexija van.
Igazolhat, hogy ha az a D(f ) inexis pontja a ktszer dierencilhat f
fggvnynek, akkor f (a) = 0.
Vigyzat! Ha f ktszer derivlhat az a pontban, s f (a) = 0, akkor mg
lehet, hogy nincs inexija a fggvnynek az a-ban. Pldul az f : R R,
f (t) := t4 fggvny esetn f (t) = 12t2 , ezrt f (0) = 0, de az f fggvny az
egsz R intervallumon konvex (s nem konkv egyetlen rszintervallumon sem).
e) Hogyan hasznlhatjuk az eddigi eredmnyeket dierencilhat fggvnyek
menetnek vizsglathoz? Clszer a kvetkez lpseket a 3. feladat pldjn
nyomon kvetni.
1. Elksztjk az f derivltfggvnyt.
2. Megkeressk az f zrushelyeit (illetve azokat a pontokat, ahol f eljelet
vlthat).
3. Kiszmtjuk az f msodik derivltat.
98
8. FEJEZET. DIFFERENCILHATSG
4. Megkeressk az f zrushelyeit (illetve azokat a pontokat, ahol f eljelet
vlthat).
5. A fggvny rtelmezsi tartomnyt az f , az f zrushelyei (illetve lehetsges eljelvltsi helyei) nylt intervallumokra szabdaljk. Ezeken az
intervallumokon megllaptjuk a derivltak eljelt, amibl a monotonitsi s alaki viszonyokra kvetkeztetnk. (ttekinthetv vlik a vizsglat
egy tblzat elksztsvel.)
6. Nhny tmpontot kiszmolunk. Ha vannak, kiszmoljuk a loklis maximum s minimum rtkeit, a fggvny hatrrtkt (esetleg jobb oldali
s bal oldali hatrrtkt) minden olyan pontban, amely az rtelmezsi
tartomny olyan torldsi pontja, amelyben nincs rtelmezve a fggvny.
7. Vzoljuk a fggvny menett.
f (t) f (a)
f (a) = 0,
ta
ta
= lim
8.1. DIFFERENCILHATSG A
99
P (x) = 8 30x,
P (x) = 30,
P (0) = 2.
P (0) = 8
P (0) = 30.
P (0) 2 P (0) 3
x +
x ,
2!
3!
azaz egy polinomot igen jl kzeltettnk (ebben az esetben pontosan ellltottunk) egy olyan polinommal, amelynek egytthati a fggvny magasabbrend
derivltjai egy pontban (most ez a pont a 0 volt), elosztva a derivlt rendjnek
faktorilisaival.
E ktfle tapasztalat vezet el minket az gynevezett Taylor-formulhoz. Tegyk
fel, hogy f olyan sima, hogy az f (n+1) derivltfggvny mg folytonos is az
a D(f ) egy K(a) D(f ) krnyezetben. Legyen Tn : R R.
Tn (x) := f (a) + f (a)(x a) +
f (n) (a)
f (a)
(x a)2 + . . . +
(x a)n
2!
n!
f (n+1) (c)
(x a)n+1 ,
(n + 1)!
Teht a Taylor-polinom jl (n-edrendben) simul az f fggvnyhez; az f fggvny a-hoz kzeli helyettesti rtkeit egy polinom helyettestsi rtkeivel nagyon pontosan kzelthetjk.
100
8. FEJEZET. DIFFERENCILHATSG
8.1.5. LHospital-szably
A derivltak segtsgvel ppen a nehznek tn hatrrtk-szmtsok is elvgezhetk. A LHospital-fle szablyok egyike arrl szl, hogy ha f s g dierencilhat egy I nylt intervallumon s az a pontban (amely vagy eleme vagy
vgpontja az I intervallumnak, akr + vagy is lehet), s
lim f (x) = lim g(x) = 0,
xa
xa
Ugyanez igaz akkor is, ha az a pontban f s g a 0 helyett (+)-hez vagy ()hez tart [nem szksges, hogy azonos eljel vgtelen legyen a kt fggvny
hatrrtke].
A LHospital-szabllyal szmtsuk ki a
cos x cos 3x
x0
x2
lim
x0
x0
x0
x0
(x )
2x
2
x
2
x
1
9
1 9
sin 3x
= 1 + lim
= + = 4.
2
2 x0 3x
2 2
lim
gy
cos x cos 3x
= 4.
x0
x2
[A derivltak hnyadosnak hatrrtkt szintn szmolhattuk volna a LHospitalszabllyal:
lim
lim
x0
sin x + 3 sin 3x
1 + 9
cos x + 9 cos 3x
= lim
=
= 4.]
x0
2x
2
2
Sajnos, mg a LHospital szablyok sem tudnak minden kritikus hatrrtkfeladatra knny vlaszt adni. Pldul
lim sh(x + 2) = lim sh(x 2) = +.
8.2. FELADATOK
101
sh(x + 2)
sh(x 2)
e2 ee2x
sh(x + 2)
ex+2 e(x+2)
4
lim
= lim x2
=
lim
2 = e .]
x sh(x 2)
x e
e(x2) x e2 e2x
e
8.2. Feladatok
2. Derivljuk a
g(x) := 4x3 2x2 + 5x 3
x
a
a
x
(a>0)
(sin x)cos x
tgx+1
m(x) := arctg 1tgx
fggvnyeket!
3. Vizsgljuk meg az f : R R, f (x) :=
Megolds:
a)
b)
f (x)
x+2
=
3
(x2 +1) 2
pozitv)
c) f (x) =
2 x2 +1(2x1) 2x2
2
x2 +1
x +1
2x1
x2 +1
fggvny menett!
2(x2 +1)2x2 +x
3
(x2 +1) 2
x+2
(x2 +1) 2
x2 +1(3x2 +6x)
5
(x2 +1) 2
2x2 6x+1
5
(x2 +1) 2
102
8. FEJEZET. DIFFERENCILHATSG
f
f mon.
f
f alak
d)
-3.16
-2
0.16
-------------------|+++++++++++
cskken
min
n
------- |++++++++++++|-----konkv | inexi |
konvex
| inexi | konkv
2x2 6x+1
5
(x2 +1) 2
2x2
= 0,
6x + 1 = 0
x1 =
x2 =
e)
f)
f (2) = 55 = 5 2, 23
limx
limx
2x1
x2 +1
2x1
x2 +1
= limx
= limx
2 1
q x
1+
2 1
q x
1+ 12
1
x2
= 2
=2
g)
2
2
5
8.3. bra.
4. Vizsgljuk meg a kvetkez fggvnyek menett:
g : R R, g(x) := ex
x
x2 6x16
l : R+ R, l(x) := x ln x
k : R R, k(x) :=
ex
1+ex
6+ 44
4
6 44
4
3, 16
0, 16
8.2. FELADATOK
103
f (0) = 1
f (x) = sin x
f (0) = 0
f (x) = cos x
f (0) = 1
f (4) (0) = 0
f (5) (0) = 1
..
.
..
.
f (11) (0) = 1
f (12) (0) = 0
| sin c|
0, 112
0, 112
12!
12!
1012
< 2 109 1012 = 2 1021 .
479001600
< 2)
| sin c| 12
1 12 212
<
x
12!
12! 2
12!
104
8. FEJEZET. DIFFERENCILHATSG
a := 0
n := 10
h(x) = cos x
a := 0
n := 12
a := 0
n := 2
a := 0
n := 2
l(x) =
k(x) =
1+x
1
1+x2
ln x
.
x0 x2
lim x2 ln x = lim
x0
Mivel
1
x1
(ln x)
=
lim
= lim x2 = 0,
x0 2x3
x0 2
x0 (x2 )
lim
ezrt
lim
x0
ln x
= 0, gy lim x2 ln x = 0.
x0
x2
lim cos2 x1
x0 sin 2x
cos
x
lim 1
1cos
x
x0
a) lim
x0
b)
c)
xln x
x
x (ln x)
d) lim
8.3. Differencilhatsg E
8.3.1. A derivlt fogalma s kapcsolata a folytonossggal
8.1. Denci. Legyen A R, a A. Azt mondjuk, hogy a bels pontja az A
halmaznak, ha K(a), hogy K(a) A.
Az A halmaz bels pontjainak halmazt jellje intA.
8.2. Denci. Legyen f : R R, a intD(f ). Azt mondjuk, hogy az f fggvny
dierencilhat az a pontban, ha
lim
xa
f (x) f (a)
R.
xa
8.3. DIFFERENCILHATSG E
105
f (x) f (a)
f (a),
xa
ezrt
lim (Fa (x) Fa (a)) = 0.
xa
f (x) f (a)
(x a) = Fa (x) (x a);
xa
ha x = a, akkor
f (a) f (a) = Fa (a) (a a)
nyilvn igaz.
() Tegyk fel, hogy Fa C[a] olyan, hogy x D(f ) esetn f (x) f (a) =
Fa (x) (x a).
Ha x 6= a, akkor
f (x) f (a)
= Fa (x),
xa
s mivel Fa C[a], ezrt limxa Fa (x) = Fa (a), de akkor limxa
(azaz f D[a]), st Fa (a) = f (a).
8.8. Ttel. Ha f D[a], akkor f C[a].
f (x)f (a)
xa
is
106
8. FEJEZET. DIFFERENCILHATSG
xa
1,
1,
ha x > 0
ha x < 0
f (x) f (a)
xa
lim
xa
1
g
D[a], s
g (a)
1
( ) (a) = 2 .
g
g (a)
8.3. DIFFERENCILHATSG E
107
xa
( g1 )(x) ( g1 )(a)
= lim
1
g(x)
g(a)g(x)
g(x)g(a)
1
g(a)
= lim
=
xa
x a
x a xa x a
g(x) g(a)
1
1
= lim
= g (a) 2 .
xa
xa
g(x)g(a)
g (a)
f
g
f
g
D[a] s ( fg ) (a) =
= f g1 , s a felttelek szerint
f
g
1
g
D[a] s
f
f (a)g(a) f (a)g (a)
1
1
g (a)
=
(a) = f
(a) = f (a)
+ f (a) 2
.
g
g
g(a)
g (a)
g 2 (a)
8.13. Ttel. Ha g D[a] s f D[g(a)], akkor f g D[a], s (f g) (a) =
f (g(a)) g (a).
Bizonyts. Mivel g D[a], ezrt a fttel miatt Ga C[a] olyan, hogy x D(g)
esetn g(x) g(a) = Ga (x) (x a). Mivel f D[g(a)], ezrt szintn a fttel miatt
Fg(a) C[g(a)] olyan, hogy y D(f ) esetn f (y) f (g(a)) = Fg(a) (y) (y g(a)).
Legyen x D(f g), ekkor az y := g(x) jellssel
(f g)(x) (f g)(a) = f (g(x)) f (g(a)) = Fg(a) (g(x)) (g(x) g(a)) =
Mivel g D[a], ezrt g C[a]; Fg(a) C[g(a)], gy az sszetett fggvny folytonossgra vonatkoz ttel szerint Fg(a) g C[a]. A Ga C[a] miatt, a szorzatfggvny folytonossgt felhasznlva, az Fg(a) g Ga is folytonos az a pontban, azaz
Fg(a) g Ga C[a]. Ez ppen azt jelenti, hogy f g D[a], st
(f g) (a) = (Fg(a) g Ga )(a) = Fg(a) (g(a)) Ga (a) = f (g(a)) g (a).
108
8. FEJEZET. DIFFERENCILHATSG
f 1 (yn ) f 1 (b)
xn a
=
=
yn b
f (xn ) f (a)
1
f (xn )f (a)
xn a
1
f (a)
1 (b)
) konver-
f 1 (y) f 1 (b)
yb
yb
lim
1
.
f (a)
8.3. DIFFERENCILHATSG E
109
lim
de a hatrrtkre
f (x) f (a)
0
xa
xa
lim
110
8. FEJEZET. DIFFERENCILHATSG
8.4. Denci. Legyen f : R R, a D(f ). Azt mondjuk, hogy az f fggvnynek az a pontban loklis minimuma van, ha K(a), hogy x K(a) D(f ) esetn
f (x) f (a).
Szigor loklis minimum akkor van, ha x K(a) D(f ), x 6= a esetn
f (x) > f (a).
rtelemszer vltoztatssal kapjuk a loklis maximum s a szigor loklis maximum fogalmt.
A minimum s a maximum kzs elnevezse a szlsrtk.
8.19. Ttel. Ha f D[a], s az f fggvnynek loklisan szlsrtke van az a
pontban, akkor f (a) = 0.
Bizonyts. Ha f (a) 6= 0 lenne (pldul f (a) > 0), akkor f az a-ban szigoran
loklisan nvekedne, gy nem lehetne loklis szlsrtk a-ban.
8.3.4. Kzprtkttelek
8.5. Denci. Azt mondjuk, hogy f dierencilhat az A D(f ) halmazon
(jele f D(A)), ha a A esetn f D[a].
8.20. Ttel. (Rolle)
Ha f C[a, b], f D(a, b), s f (a) = f (b), akkor c (a, b) olyan, hogy f (c) = 0.
Bizonyts. Ha x [a, b] esetn f (x) = f (a) = f (b), azaz f konstansfggvny,
8.3. DIFFERENCILHATSG E
111
kvetkezik.
f (b) f (a)
g (c),
g(b) g(a)
f (c)
f (b) f (a)
=
g(b) g(a)
g (c)
Ez azt jelenti, hogy -nek az [a, b] intervallum belsejben van a minimuma, azaz
c (a, b), hogy x [a, b] esetn (c) (x). Ekkor a loklis szlsrtk szksges
felttele szerint (c) = 0, azaz f (c) d = 0.
112
8. FEJEZET. DIFFERENCILHATSG
1,
2,
ha 0 < x < 1
ha 2 < x < 3
8.3. DIFFERENCILHATSG E
113
f (x2 ) f (x1 )
(x x1 )
x2 x1
s az
r(x) : I R, r(x) := f (x) l(x)
fggvnyeket. Nyilvn r D(I), r(x1 ) = f (x1 )l(x1 ) = 0 s r(x2 ) = f (x2 )l(x2 ) =
0, ezrt a Rolle-ttel szerint c (x1 , x2 ) olyan, hogy r (c) = 0. Mivel t I esetn
r (t) = f (t) l (t) = f (t)
f (x2 ) f (x1 )
,
x2 x1
xx1
x2 x1
f (x2 ) f (x1 )
(x x1 )) 0.
x2 x1
114
8. FEJEZET. DIFFERENCILHATSG
Bizonyts. Mivel f derivltja pozitv az I intervallumon, ezrt f szigoran monoton nveked az I-n. Az elz ttel szerint, ha f szigoran monoton nveked,
akkor f konvex.
8.29. Ttel. Ha f C 2 (I), s x I esetn f (x) < 0, akkor f konkv.
Bizonyts. A (f ) fggvnyre alkalmazzuk az elz ttelt.
8.8. Denci. Legyen f : R R, a D(f ), s tegyk fel, hogy > 0 olyan,
hogy (a , a + ) D(f ).
Azt mondjuk, hogy az f fggvnynek az a pontban inexija van, ha f|(a,a) konvex
s f|(a,a+) konkv, vagy f|(a,a) konkv s f|(a,a+) konvex.
8.30. Ttel. Legyen f C 2 (, ). Ha az f fggvnynek inexija van az a (, )
pontban, akkor f (a) = 0.
Bizonyts. Indirekt mdon, tegyk fel, hogy f (a) 6= 0, pldul f (a) > 0. Akkor
az f C[a] miatt > 0, hogy x (a , a + ) esetn f (x) > 0, amibl
kvetkezik, hogy f konvex az (a , a + ) intervallumon, de akkor f -nek nincs
inexija a-ban. Ez ellentmonds, teht f (a) = 0.
Megjegyezzk, hogy ha az f fggvny egy I intervallumon elsfok polinom, azaz
A, B R olyan, hogy x I esetn f (x) = Ax + B, akkor f konvex s konkv is
az I brmely rszintervallumn, ezrt az I intervallum minden pontjban inexija
van az f fggvnynek.
8.3.7. Taylor-formula
Legyen f az a pont egy krnyezetben n-szer dierencilhat fggvny. Legyen
Tn,a : R R, Tn,a (x) := f (a) + f (a) (x a) +
f (a)
f (n) (a)
(x a)2 + . . . +
(x a)n
2!
n!
f (n+1) (c)
(x a)n+1 .
(n + 1)!
(Taylor-formula)
8.3. DIFFERENCILHATSG E
115
r(x)
r(x) r(a)
r (c1 )
=
=
.
(x a)n+1
p(x) p(a)
p (c1 )
f (a)
f (n) (a)
2(t a) + . . . +
n(t a)n1 ),
2!
n!
gy r (a) = 0. Nyilvn p (t) = (n + 1)(t a)n , gy p (a) = 0. Ezrt a Cauchyfle kzprtkttelt alkalmazva az [a, c1 ] intervallumon az r s p fggvnyekre azt
kapjuk, hogy c2 (a, c1 ) olyan, hogy
r (c1 )
r (c1 ) r (a)
r (c2 )
=
=
.
p (c1 )
p (c1 ) p (a)
p (c2 )
f (k+1) (a)
(k + 1)k(k 1) . . . 2(t a) + . . .
(k + 1)!
f (n) (a)
n(n 1) . . . (n k + 1)(t a)nk ),
n!
f (n+1) (c)
(x a)n+1 .
(n + 1)!
116
8. FEJEZET. DIFFERENCILHATSG
8.3.8. LHospital-szably
8.32. Ttel. Legyen I R nylt intervallum, f, g D(I). Legyen a I, limxa f (x) =
(x)
(x)
limxa g(x) = 0 s g (x) 6= 0, ha x I. Ha limxa fg (x)
, akkor limxa fg(x)
is, s
f (x)
f (x)
= lim
.
xa g(x)
xa g (x)
lim
f (x)
<L+
g(x)
9. fejezet
Integrlhatsg, integrlszmts
Egy fggvny integrlhatsga azt jelenti, hogy a fggvny alatti tartomnynak
van terlete. Mdszert dolgozunk ki a terlet meghatrozsra. Szmos problmt
ilyen terletszmtsra vezetnk vissza. Az albbi tmakrket trgyaljuk.
Riemann-integrl fogalma s geometriai jelentse
Integrlsi szablyok
Newton-Leibniz formula
Primitv fggvny
Elemi fggvnyek primitv fggvnyei
Az integrl nhny geometriai s zikai alkalmazsa
Fourier-sor
Improprius integrl
9.1. Integrlszmts A
9.1.1. A Riemann-integrl fogalma s geometriai jelentse
Ismert, hogy az u > 0, v > 0 oldal tglalap terlete uv. llapodjunk meg abban,
hogy ha u > 0 s v < 0, akkor uv a tglalap eljeles terlete legyen. Mr a matematika korai korszakban is foglalkoztak grbevonal alakzatok terletvel. Nzzk
meg mi is, hogy a
H := {(x, y) | x [0, 1], y [0, x2 ]}
parabola alatti tartomnynak mi lehet a terlete.
Osszuk fel a [0, 1] intervallumot n egyenl rszre. Az osztpontok x0 = 0, x1 =
117
1
n,
118
id2
(i/n)2
1/n
i/n
9.1. bra.
x2 = n2 , . . . , xn = nn . Legyen Sn := n1 ( n1 )2 + n1 ( n2 )2 + . . . + n1 ( nn )n , azaz olyan
tglalapok terletnek az sszege, amelyeknek az alapja n1 , a magassga pedig az id2
fggvny osztpontokban vett fggvnyrtke (9.1. bra).
Sn egy lpcssidom terlete. Ha nveljk az n osztpontszmot, akkor a lpcssidomok egyre jobban illeszkednek a H halmazhoz, gy elvrhat, hogy az (Sn )
sorozat hatrrtke ppen a H halmaz terlete legyen. Felhasznlva, hogy minden
k N esetn 12 + 22 + . . . + k 2 = k(k+1)(2k+1)
,
6
1 2
1 n(n + 1)(2n + 1)
(1 + 22 + . . . + n2 ) = lim 3
=
n3
n
6
2 + n3 + n12
1
2n2 + 3n + 1
=
lim
= .
= lim
2
6n
6
3
lim Sn = lim
9.1. INTEGRLSZMTS A
119
n
X
i=1
f (i )(xi xi1 ).
H := {(x, y) | x [a, b], y [0, f (x)], ha f (x) 0, vagy y [f (x), 0], ha f (x) < 0, }
halmaznak (grbe alatti tartomny) van eljeles terlete, s ez a terlet az I R
szm.
Rviden gy szoktak hivatkozni erre a fogalomra, hogy bevezetve a xi := xi xi1
jellst,
X
f (i )xi = I
lim
xi 0
vagy
lim
x0
f ()x =
f (x)dx.
a
xi 0
f (i )xi = lim
xi 0
n
X
i=1
Rb
a
f = c(b a).
120
9.2. bra.
f+
f=
(9.2. bra).
f =
a
f.
a
(f + g) =
a
f+
g.
9.3. Ttel. Ha f, g R[a, b], s f (x) g(x) minden x [a, b] esetn, akkor
Z
g.
Az utbbi ttel fontos kvetkezmnye, hogy ha f R[a, b], akkor |f | R[a, b], s
|f | f |f |
9.1. INTEGRLSZMTS A
121
9.3. bra.
miatt
kvetkezik, gy
|f |
b
a
|f |
Z b Z b
|f |.
f
a
9.1.3. NewtonLeibniz-formula
Szemlletesen jl lthat, hogy
9.4. Ttel. Ha f C[a, b], akkor van olyan c [a, b], hogy
Z b
f = f (c) (b a)
(9.3. bra).
a
Rb
a
Az ba
szmot az f integrlkzepnek nevezik. Ez a vges sok szm tlagnak az
egyik ltalnostsa. (A ttel szerint az integrlkzp egy fggvnyrtk.)
Az eddigi lltsok valban szemlletesek, de az integrl kiszmtsnak knyelmes
mdszervel mg adsak vagyunk.
Az
R x egyszersg kedvrt legyen f C[a, b]. Vezessk be a T : [a, b] R, T (x) :=
a f terletfggvnyt (9.4. bra).
122
T(x)
9.4. bra.
klnbsgi hnyadost.
T (x) T ()
=
x
Rx
a
R
Z x
f x f
1
1
f=
=
f (c)(x ) = f (c),
x
x
x
msrszt
T (x) T ()
= T ().
x
x
Teht a T terletfggvny olyan, hogy a derivltja az f . Mivel T (a) = 0 s T (b) =
Rb
a f , ezrt
Z b
f = T (b) T (a).
lim
= ,
f = T (1) T (0) =
3
3
3
0
x3
3
alkalmas
9.1. INTEGRLSZMTS A
123
T()
9.5. bra.
ami sszhangban van a bevezet pldban kapott eredmnnyel.
b
a
f (x)dx = [F (x)]ba ,
124
R
llapodjunk meg
abban,
hogy
az
f
egy
primitv
fggvnyt
F
helyett
f , illetve
R
F (x) helyett f (x)dx jellje. A primitv fggvny keresse a derivls inverze.
Nhny egyszer mdszer primitv fggvny keressre (derivlssal ellenrizhet!):
R
R
R
R
R
f = f,
(f + g) = f + g,
R
R
f g = f g f g (parcilis integrls elve)
R +1
= +1 , ha 6= 1
= ln , ha (x) > 0 (x I)
R
R
Ha f (x)dx = F (x), akkor f (ax + b) = a1 F (ax + b).
R
R
( f ) = (f ) (helyettestses integrl)
1
dx
x2 +1
= arshx,
1
dx
x2 1
= archx, x (1, +)
9.1. INTEGRLSZMTS A
125
9.6. bra.
2. A geometribl tudjuk, hogy a, b, m l tgla trfogata V = ab m. Ezt ltalnostva, egy T alapterlet s m magassg hasb trfogata V = T m.
Most vegynk egy H trbeli alakzatot (pl. egy krumplit). A koordintarendszer x tengelyre merlegesen ksztsk el a H sszes skmetszett. (A
krumplinl egy rajta tszrt ktt jtszhatja az x tengely szerept. Erre
merlegesen szeletelnk.) Tegyk fel, hogy az x-nl keletkezett S(x) skmetszetnek van terlete, s az a fggvny, amely
S : [a, b] R, x 7 S(x),
folytonos az [a, b] intervallumon (ha x s x kzel van, akkor S(x ) s S(x ) is
kzeliek) (9.7. bra).
Osszuk fel az [a, b] intervallumot:
: a = x0 < x1 < x2 < . . . < xi1 < xi < . . . < xn = b,
s vegynk fel tetszlegesen i [xi1 , xi ] pontokat (i = 1, 2, . . . , n) (9.8. bra).
Az S(i )(xi xi1 ) egy olyan hasbnak a trfogata, amelynek alapterlete
S(i ), a magassga pedig (xi xi1 ). Ezeket sszegezve egy kzeltsszeget
kapunk:
n
X
S(i )(xi xi1 ).
i=1
126
y
m
m
b
S(x)
a
z
9.7. bra.
xi1
9.8. bra.
xi
bx
9.1. INTEGRLSZMTS A
127
9.9. bra.
Finomtva az [a, b] intervallum felosztst, a kzeltsszegeknek lesz hatrrtke (S C[a, b], ezrt S R[a, b]), ez lesz a test trfogata:
V =
lim
xi xi1 0
S(x)dx.
f 2 (x)dx.
Knnyen lthat a Cavalieri-elv is, amely szerint ha kt testnek egy skkal prhuzamos sszes skmetszetnek terlete pronknt egyenl (minden x-re
S1 (x) = S2 (x)), ahol az x tengely a skra merleges egyenes), s az gy nyert
S1 s S2 fggvnyek folytonosak, akkor a kt test trfogata is egyenl, hiszen
S1 = S2 miatt
Z b
Z b
S1 (x)dx =
S2 (x)dx.
a
128
(xi,f(xi))
li
(xi1,f(xi1))
xi1
xi
9.10. bra.
halmazt az f grakonjnak is szoktk nevezni. Szeretnnk ennek az vhosszt
is kiszmtani. Ismt osszuk fel az [a, b] intervallumot:
: a = x0 < x1 < x2 < . . . < xi1 < xi < . . . < xn = b.
Az (xi1 , f (xi1 )) s az (xi , f (xi )) pontot sszekt szakasz hossza (9.10. bra)
s
p
f (xi ) f (xi1 ) 2
2
2
li := (xi xi1 ) + (f (xi ) f (xi1 )) = (xi xi1 ) 1 +
.
xi xi1
A Lagrange-kzprtkttel szerint van olyan i (xi1 , xi ), amelyre f (xi )
f (xi1 ) = f (i ) (xi xi1 ), ezrt
p
li = (xi xi1 ) 1 + [f (i )]2 .
Lthat, hogy az f grakonjhoz kzel es trttvonal hossza
n
X
i=1
li =
n p
X
1 + [f (i )]2 (xi xi1 ),
i=1
p
amely a : [a, b] R, (x) := 1 + [f (x)]2 fggvnynek egy integrlkzelt
sszege. Teht az f grakonjnak vhossza
I(f ) =
lim
xi xi1 0
Z bp
Xp
2
1 + [f (i )] (xi xi1 ) =
1 + [f (x)]2 dx.
a
9.1. INTEGRLSZMTS A
129
m2
m1
r1
r2
rn
mn
9.11. bra.
4. Ha f : [a, b] R, f (x) 0 (x [a, b]) folytonosan derivlhat fggvny,
akkor az f grakonjnak x tengely krli megforgatsval keletkez forgstest
palstjnak felszne hasonl meggondolssal addik:
P (f ) =
p
2f (x) 1 + [f (x)]2 dx.
m1 r1 + m2 r2 + . . . + mn rn
m1 + m2 + . . . + mn
130
f
f(i)
xi1
i
xi
9.12. bra.
s a tglalapot helyettest tmegpont tmege
mi = f (i )(xi xi1 ).
A tmegkzppont els koordintjnak kzeltrtke
Pn
m1 1 + m2 2 + . . . + mn n
i=1 f (i ) i (xi xi1 )
= P
,
n
m1 + m2 + . . . + mn
i=1 f (i )(xi xi1 )
1 Pn
m1 f (21 ) + m2 f (22 ) + . . . + mn f (2n )
f 2 (i )(xi xi1 )
= 2 Pni=1
.
m1 + m2 + . . . + mn
i=1 f (i )(xi xi1 )
Ha egy L hosszsg s M tmeg rd a rd egyik vghez rgztett, r merleges tengely krl forog, akkor a rdnak a tengelyre vonatkoz tehetetlensgi
nyomatkt ki tudjuk szmtani. Osszuk fel a [0, L] intervallumot:
: 0 = x0 < x1 < x2 < . . . < xi1 < xi < . . . < xn = L.
9.1. INTEGRLSZMTS A
131
9.13. bra.
Az [xi1 , xi ] rddarab tmege
M
(xi xi1 ),
L
a forgstengelytl mrt tvolsgnak a
i := xi
is vlaszthat, gy ennek a darabnak a tehetetlensgi nyomatka
M
(xi xi1 )i2 .
L
Az egyes rszek tehetetlensgi nyomatkainak sszege az egsz rd tehetetlensgi nyomatknak kzelt rtke
n
X
M
i=1
i2 (xi xi1 ).
teht = 31 M L2 .
132
Ez a nhny gondolatmenet bemutatta, hogy szertegaz problmk hogyan vezethetk vissza integrlra.
Mg egy jelents alkalmazst vzolunk.
9.1.6. Fourier-sor
Legyen f : R R 2 szerint periodikus fggvny. (Ha p > 0 szerint periodikus
az f fggvny, akkor egy egyszer transzformcival (x := 2
p t) 2 szerint periodikus fggvnny lehet alaktani.) Az f fggvnyt szeretnnk a jl ismert cos nid
(n = 0, 1, 2, . . .) s sin nid (n = 0, 1, 2, . . .) fggvnyek sszegeknt ellltani, azaz megadni olyan a0 , a1 , a2 , . . . , an , . . . s b1 , b2 , . . . , bn , . . . szmsorozatot, amelyre
minden x R esetn
a0
+ a1 cos x + b1 sin x + a2 cos 2x + b2 sin 2x + . . . + an cos nx + bn sin nx + . . .
2
(9.1)
Nem nyilvnval, hogy milyen f fggvny esetn lehetsges ez, s ha el is jutunk
egy (an ) s (bn ) sorozathoz, akkor a jobb oldali sszeg valban visszaadja-e az f
fggvnyt. Most csak formlisan okoskodva induljunk ki abbl, hogy f C(R), s
elll minden x R esetn
f (x) =
a0 X
an cos nx + bn sin nx
+
2
n=1
Mivel
azrt
f (x)dx =
X
a0
an
dx +
2
n=1
cos nxdx + bn
a0
a0
dx = 2,
2
2
Z
sin nx
= 0,
cos nxdx =
n
Z
cos nx
sin nxdx =
= 0,
n
1
a0 =
f (x)dx.
sin nxdx.
9.1. INTEGRLSZMTS A
133
2. Legyen k N egy rgztett index. Szorozzuk meg a (9.1) egyenlsget (cos kx)szel, s integrljuk ()-tl -ig:
Z
Z
a0
f (x) cos kxdx =
cos kxdx +
2
Z
Z
X
sin nx cos kxdx.
cos nx cos kxdx + bn
an
n=1
sin(n k)x
sin(n + k)x
1
+
=
= 0,
2
n+k
nk
az n = k esetn pedig
Z
Z
2
cos kxdx =
Hasonl szmolssal
1
sin 2kx
1 + cos 2kx
= .
dx =
x+
2
2
4k
a0 X
ak cos kx + bk sin kx (x R).
+
2
k=1
134
f := lim
f.
R
Ha nem ltezik lim a f , vagy ltezik, de nem vges, akkor azt mondjuk, hogy
divergens az f improprius integrlja.
Pldul
Z
1
dx = lim
x2
1
1
1
= lim + 1 = 1,
dx = lim
x2
x 1
1
dx = lim [ln x]
lim ln = +,
1 =
ezrt id1
/ R[1, +), vagy az id1 improprius integrlja divergens.
Msfle kiterjesztssel is foglalkozunk.
9.4. Denci. Legyen f : (a, b] R olyan fggvny, amelyre (a, b) esetn
f R[, b]. Azt mondjuk, hogy f R[a, b], ha
lim
Ekkor
Z
f R.
f := lim
f.
Rb
Ha nem ltezik a lima f , vagy ltezik, de nem vges, akkor divergensnek nevezzk
az f integrljt az [a, b] intervallumon. (Ez a helyzet mg korltos fggvnyek esetn
is elfordul, de leggyakrabban nem korltos fggvnyek az ldozatok.)
9.2. FELADATOK
135
Pldul
Z
1
dx = lim
0
x
1
dx = lim
0
x
1
dx = lim [ln x]1 = lim (ln 1 ln ) = +,
0
0
x
x2
e dx =
.
2
0
Ennek kvetkezmnye (a fogalmak tovbbi bvtsvel), hogy ha m R s > 0,
akkor
Z +
(xm)2
e 22 dx = 2,
9.2. Feladatok
1. Ellenrizzk a primitv fggvny keressi eljrsokat!
Megolds: Ha 6= 1, akkor
R
+1
+1
1
( + 1) , ezrt = +1 .
a) ( +1 ) = +1
R
R
R
b) (f g f g ) = f g +f g f g = f g, ezrt f g = f g f g
(parcilis integrls elve)
R
R
c) ( f ) = f , msrszt (( f ) ) = f . Mivel
mindkt fggvny derivltja egy intervallumon megegyezik,
ezrt
R
R a fggvnyek legfeljebb egy konstansban trhetnek el, gy ( f ) = (f )
(helyettestses integrl)
2. Keressk meg:
R
sin3 x cos xdx =?
R
x
dx
1+x2
=?
cos(5x 1)dx =?
1
dx
x2 +2
tgxdx =?
=?
2x+3
dx
(x2 +3x)4
2x+3
dx
x2 +3x+10
=?
1
dx
x2 +3x+10
=?
=?
136
ln xdx =?
1 x2 dx =?
Megolds:
Z p
Z
Z
p
p
x
1 x2 dx = 1 1 x2 dx = x 1 x2 x
dx =
1 x2
Z
Z p
p
p
1
1 x2 1
2
2
1 x2
=x 1x
dx = x 1 x
dx =
2
1 x2
1
x
Z p
p
= x 1 x2
1 x2 dx + arcsinx.
Ebbl
1 x2 dx = x 1 x2 + arcsinx, gy
Z p
1 p
1 x2 dx = (x 1 x2 + arcsinx).
2
1
dx =? ( > 1)
x
eat dt =? (a > 0)
improprius integrlokat!
9. A gamma-fggvny.
R
Legyen : [0, ) R, () := 0 t et dt. Mutassuk meg, hogy (0) = 1,
(1) = 1, s brmely > 0 esetn ( + 1) = ( + 1)().
9.2. FELADATOK
137
9.14. bra.
Megolds: (0) =
helyett [et ]
0 ll.)
( + 1) =
R
0
t
et dt = [et ]
0 = 1 (Itt rvidtettnk: lim [e ]0
+1 t
e dt =
[et t+1 ]
0
= 0 + ( + 1)
et ( + 1)t dt =
t et dt = ( + 1)().
Ezrt
(1) = (0 + 1)(0) = 1
(2) = (1 + 1)(1) = 2 1 = 2!
(3) = (2 + 1)(2) = 3 2! = 3!
..
.
(n) = n! (n N)
Kiszmthat kzeltleg a (),
/ N esetn is.
10. Szmolja ki a sin2|[0,2] integrlkzept!
Megolds:
1
2
1
sin xdx =
2
2
2
0
A sin2|[0,2] integrlkzepe 12 .
1 cos 2x
1 1
sin 2x 2
1
1 1
dx =
x
2 = .
=
2
2 2
4
2 2
2
0
138
9.3. Integrlszmts E
9.3.1. Az integrl fogalma
Az integrlhatsg fogalmnak kiptsben Darboux gondolatmenett hasznljuk.
Legyen f : [a, b] R korltos fggvny. Legyen = {x0 , . . . , xn } [a, b] vges
halmaz, melynek elemeire
a = x0 < x1 < x2 < . . . < xi1 < xi < . . . < xn = b.
az [a, b] intervallum egy felosztsa.
F [a, b] := { | felosztsa az [a, b] intervallumnak}.
Legyen F [a, b], s legyenek
mi := inf{f (x) | xi1 x xi }, Mi := sup{f (x) | xi1 x xi }, i = 1, 2, . . . , n.
Legyen a felosztshoz tartoz als- ill. felssszeg az
s( ) :=
n
X
i=1
mi (xi xi1 )
S( ) :=
n
X
i=1
Mi (xi xi1 ).
9.6. Ttel.
a) F [a, b] esetn s( ) S( ),
b) , F [a, b] esetn s( ) S().
Bizonyts.
a) mi Mi , i = 1, 2, . . . , n, gy s( ) S( ).
b) Legyen F [a, b], s az [xk1 , xk ] intervallumban vegynk fel egy osztpontot: xk1 < x < xk .
Ha m := inf{f (x) | xk1 x x} s m := inf{f (x) | x x xk }, akkor
m , m mk . Ezrt
s( ) =
n
X
i=1
9.3. INTEGRLSZMTS E
139
I + > S(1 ).
2
Mivel I az alssszegek szuprmuma, ezrt az 2 > 0 szmhoz 2 F [a, b], hogy
s(2 ) > I .
2
(9.15. bra)
140
I*=I*
I*/2
(
s(2)
s()
I*+/2
)
S(1)
S()
9.15. bra.
9.8. Ttel. Ha f : [a, b] R monoton, akkor f R[a, b].
Bizonyts. Legyen f monoton nveked (ne legyen konstans, mert ennek integrlhatsgt mr megmutattuk). gy f (a) < f (b).
Legyen > 0 tetszleges. Legyen F [a, b] olyan feloszts, amelyben
max{xi xi1 | i = 1, 2, . . . , n} <
.
f (b) f (a)
n
X
i=1
n
X
i=1
(f (xi ) f (xi1 ))
f (b) f (a)
> 0 szmhoz
folytonos f fggvny egyenletesen folytonos az [a, b]-n, ezrt az ba
,
ba
.
ba
9.3. INTEGRLSZMTS E
141
Tekintsk a
S( ) s( ) =
n
X
X
(Mi mi )(xi xi1 )
i=1
gy f R[a, b].
Megjegyezzk, hogy f R[a, b] ; f C[a, b].
1,
2,
f : [0, 2] R, f (x) :=
3,
(xi xi1 ) = ,
ba
Pldul az
ha 0 x < 1
ha x = 1
ha 1 < x 2
n
X
i=1
f :=
f.
f =
f.
a
f +g =
a
f+
a
g.
142
9.14. Ttel. Ha g R[a, b], s c > 0, hogy x [a, b] esetn |g(x)| c, akkor
1
g R[a, b].
Rb
a
0.
s ezekkel egytt
Rb
Rb
a
Rb
g.
Rb
a
f|
Rb
a
|f |.
de akkor
|f |
b
a
b
a
Z b Z b
|f |.
f
a
|f |,
Rb
a
g.
9.3. INTEGRLSZMTS E
143
Rb
a
f = f (c) (b a).
ba
f
Z
M = M (b a),
f M.
ba
Megjegyezzk, hogy a
1
ba
Rb
a
f.
a
f = F (b) F (a).
144
f.
Megjegyezzk, hogy van olyan f R[a, b], amelynek nincs primitv fggvnye
(pldul az
1, ha x x < 1
2, ha x = 1
f : [0, 2] R, f (x) :=
3, ha 1 < x 2
a derivltrl szl Darboux-ttel miatt). Van olyan plda is, amikor van primitv
fggvny, de maga a fggvny nem integrlhat (Volterra pldja nven ismert ilyen
plda.)
A NewtonLeibniz-formula az integrl hatkony kiszmtsnak mdszere. A mdszer alkalmazsnak sarkalatos pontja az f fggvny primitv fggvnynek ltezse.
Ebben a krdsben nyjt segtsget az integrlfggvny fogalma.
9.7. Denci. Legyen f R[a, b]. A : [a, b] R, (x) =
fggvny integrlfggvnynek nevezzk.
Rx
f fggvnyt az f
Megjegyezzk, hogy az A rszben bevezetett T terletfggvny folytonos f fggvny esetn ppen a integrlfggvny.
9.22. Ttel. Ha f R[a, b], akkor C[a, b].
9.3. INTEGRLSZMTS E
145
Zs
a
Zt
a
f| = |
Zs
t
f| |
Zs
t
|f || K|s t|.
Rx
a
Ry
a
xy
f
=
Ry
xy
f (c)(x y)
= f (c),
xy
(x) (y)
= (x)
yx
xy
lim
s (x) = f (x).
146
10. fejezet
Fggvnysorozatok, fggvnysorok
Ez egy kiegszt fejezet. A gyakorlatban felmerl problmk (fggvnyek kzeltse, kznsges s parcilis dierencilegyenletek megoldsa kzelt mdszerekkel)
ignyli a sorra kerl fogalmakat, eredmnyeket. Az albbi tmakrket trgyaljuk.
Fggvnysorozat konvergenciahalmaza
Pontonknti s egyenletes konvergencia
A hatrfggvny folytonossga, dierencilhatsga, integrlhatsga
Fggvnysor konvergencija
Weierstrass majorns kritrium
Az sszegfggvny folytonossga, dierencilhatsga, integrlhatsga
Hatvnysor
Cauchy-Hadamard ttel
Az sszegfggvny dierencilhatsga, Abel ttele
148
0,
1,
2. ha n N, akkor n : [0, 1] R, n (x) :=
0,
ha x = 0
ha 0 < x < n1
ha n1 x 1
1/2n
1/n
10.1. bra.
4. ha n N, akkor lsd az 10.2. brt
n
1/2n
1/n
10.2. bra.
P
5. * ( nk=1 sin (k id)) [itt is R az egyes fggvnyek rtelmezsi tartomnya]
149
150
0,
1,
ha 1 < x < 1
ha x = 1
A 2., 3. s 4. pldban
lim n : [0, 1] R, (lim n )(x) := 0.
Az 5.* pldban
lim
n
X
k=1
sin (k id) =
(lim
n
X
k=1
X
k=1
sin (k id) : {l | k Z} R,
sin (k id))(x) =
sin kx := 0.
k=1
n =
11
1
1
n = , de
2n
2
2
lim n =
0
0 = 0,
0
151
10.3. Denci. Legyen (n ) a H 6= halmazon rtelmezett fggvnysorozat. Tegyk fel, hogy KH(n ) 6= , s legyen E KH(n ), E 6= halmaz. Azt mondjuk,
hogy a (n ) fggvnysorozat egyenletesen konvergens az E halmazon, ha brmely
> 0 hibakorlthoz van olyan N N kszbindex, hogy n > N esetn s brmely
x E helyen
|n (x) (lim n )(x)| < .
Jellje ezt a tnyt n E lim n .
Ez azt jelenti, hogy a kszbindex fggetlen x-tl, ezrt nevezzk egyenletes konvergencinak.
Az 1. pldban a (1, 1] halmazon nem egyenletes az (idn ) konvergencija. Mg a
(1, 1) halmazon sem! Ha > 0, akkor az E := [1 + , 1 ] intervallumon mr
idn E 0.
152
10.1.2. Fggvnysorok
A fggvnysorozatra kiptett fogalmak rtelemszer mdostssal fggvnysorra is
tvihetk.
10.4. Denci. Legyen (n ) a H 6= halmazon rtelmezett fggvnysorozat. Legyen Sn := 1 + 2 + . . . + n (n N) az n-edik rszletsszeg. A (n ) P
fggvnysorozatbl kpezett fggvnysoron az (Sn ) fggvnysorozatot rtjk, azaz
n := (Sn ).
10.5. Denci. KH
Lthat, hogy KH
n := KH(Sn ).
n (x) konvergens}.
P
10.6. Denci. Tegyk fel, hogy KH n 6= . Legyen
!
X
X
X
X
n : KH
n R,
n (x)
n (x) :=
P
n = {x H |
n=1
n=1
n=1
a fggvnysor sszegfggvnye.
P
Nyilvn igaz, hogy (
n=1 n ) (x) = lim Sn (x) minden x KH(Sn ) esetn.
Pldul n := idn (n N) esetn brmely x R pontban
2
Sn (x) := x + x + . . . + x =
1
x xx1
,
n,
ha x 6= 1
ha x = 1.
x
Ezrt lim SP
x R \ (1, 1), akkor (Sn (x)) divergens.
n (x) = 1x , ha x (1,
P1); ha
n
n
x
Teht KH id = (1, 1), s ( n=1 id )(x) = 1x
.
P
10.7. Denci.
Legyen
(
)
olyan
fggvnysorozat,
amelyre
KH
n 6= . Len
P
P
gyen E KH n . Azt mondjuk, hogy
n egyenletesen konvergens az E
halmazon, ha az (Sn ) rszletsszegek sorozata egyenletesen konvergens az E halmazon.
P
P
Jelben:
n E
n=1 n .
n H
n=1
n .
153
A fggvnysor rszletsszeg-sorozatra tett egyenletes konvergencia felttelek kvetkeztben igazak a vzlatosan megfogalmazott ttelek:
P
P
P
Ha n C[a, b], s
n [a,b]
n=1 n , akkor
n=1 n C[a, b].
P
P
Ha n C1 (I), s
n I g akkor
n=1 n C1 (I), s
!
X
X
n =
n = g.
n=1
n=1
n =
Z
X
n .
n=1 a
a n=1
10.1.3. Hatvnysorok
A hatvnysorok specilis fggvnysorok.
10.8. Denci. Legyen c0 , c1 , c2 , . . . , cn , . . . szmsorozat, a R egy szm. A
X
cn (id a)n
Ekkor
lim sup
p
n
|cn |
(R a hatvnysor konvergenciasugara).
(R, R) KH
p
2o Ha ( n |cn |) fellrl nem korltos, akkor
X
KH
cn idn = {0}.
154
p
n
|cn | = 0, akkor
KH
cn idn = R.
X
ncn xn1 .
f (x) =
n=1
p
p
p
n
n
n
|nc
n
|cn |)
A ttel kvetkezmnye, hogy ( n |cn |) fellrl
korltossgbl
az
(
|)
=
(
n
P
n1
fellrl korltossga is kvetkezik,
st a ncn id
hatvnysor konvergenciahalmaza
P
ugyanaz marad, mint a
cn idn konvergenciahalmaza volt. Ezrt ennek a hatvnysornak az sszegfggvnye is dierencilhat, st
f (x) =
n=2
(k)
(x) =
n=k
x intKH
cn idn .
10.2. Feladatok
1. Vizsgljuk meg a kvetkez hatvnysorok konvergenciahalmazt:
X
idn ,
X1
idn ,
n
X (1)n
n
idn ,
X 1
idn ,
n2
10.2. FELADATOK
155
X 1
idn ,
5n n
2.
X 1
X
idn ,
nn idn
n!
q
q
q
1
= 0, lim sup n n1 =
Megolds: lim sup n 1 = 1, lim sup n n12 = 1, lim sup n n!
q
1 + 2x + 3x + . . . + nx
Igaz-e, hogy
n1
+ ... =
1
1x
1
, ha |x| < 1.
1x
1
, ha |x| < 1?
(1 x)2
x
, ha |x| < 1?
(1 x)2
1
, ha |x| < 1.
1x
1 t + t2 . . . + (1)n tn + . . . =
1
, ha |t| < 1.
1+t
Igaz-e, hogy
t
t2 t3
tn+1
+ . . . + (1)n
+ . . . = ln(1 + t), ha |t| < 1?
2
3
n+1
Igaz-e, hogy
1
1 1
1
+ . . . + (1)n
+ . . . = ln 2?
2 3
n+1
156
4.
1 + x + x2 + . . . + xn + . . . =
Legyen x := t2 . Ekkor
1
, ha |x| < 1.
1x
1 t2 + t4 . . . + (1)n t2n + . . . =
1
, ha |t| < 1.
1 + t2
Igaz-e, hogy
t
t2n+1
t3 t5
+ . . . + (1)n
+ . . . = arctgt, ha |t| < 1?
3
5
2n + 1
Igaz-e, hogy
1
1
1 1
+ . . . + (1)n
+ ... = ?
3 5
2n + 1
4
10.3.1. Fggvnysorozatok
10.8. Ttel. Legyen n C[a, b] (n N).
n [a,b] f f C[a, b].
Bizonyts. Legyen [a, b] s > 0 tetszleges. Mivel n [a,b] f , ezrt az
157
f.
.
|n (x) f (x)| <
ba
Legyen n > N tetszleges. Ekkor
Z b
Z b
Z b Z b
Z b
f = (n f )
n
|n f |<
=
(b a) = .
ba
a
a
a
a
a ba
Rb
Rb
Az alhzottak szerint lim a n = a f.
Mivel
lim n = g,
x0
x0
A g folytonos fggvny, hiszen a folytonos n fggvnyekbl ll egyenletesen konvergens fggvnysorozat hatrfggvnye. gy g integrlfggvnye dierencilhat,
azaz f dierencilhat, s f (x) = g(x) = lim n (x) minden x I esetn.
158
10.3.2. Fggvnysorok
10.11. Ttel. (Weierstrass majorns kritrium)
Legyen (n ) fggvnysorozat s (an ) R+ szmsorozat, melyekre
s
|n (x)| an (n N, x H)
P
an konvergens. Ekkor
n egyenletesen konvergens a H halmazon.
an konvergens, ezrt N ,
(x).
Legyen f : H R, f (x) :=
n
n=1
Legyen m > N s x H tetszleges. Ekkor
m
X
X
X
X
k (x) =
k (x)
ak ,
|k (x)|
f (x)
k=1
k=m+1
k=m+1
k=m+1
1
lim sup n |cn |
cn xn abszolt konvergens,
cn xn divergens.
Legfeljebb vges sok olyan tagja van a sorozatnak, amely a sorozat limesz szuperiorjnl nagyobb szmnl nagyobb, ezrt N , hogy n > N esetn
p
1
n
|cn | < .
r
>
159
|x|
r
n=N +1
xn |
qn.
n=N +1
Ez mr elg a
|cn
sor konvergencijhoz.
o
2 Most legyen p > 0 olyan, hogy
P
Ekkor
p
1
1
<
= lim sup n |cn |.
p
R
A sorozat limesz szuperiorjnl kisebb szmnl nagyobb tagja a sorozatnak vgtelen
sok van, ezrt vgtelen sok olyan n N van, amelyre
p
1
< n |cn |.
p
Az |x|-kel beszorozva s n-edik hatvnyra emelve azt kapjuk, hogy vgtelen sok n-re
n
|x|
1<
< |cn ||x|n .
p
Ha egy sszeadand sorozat
vgtelen sok tagja nagyobb 1-nl, akkor az a sorozat
P
nem tarthat 0-hoz, gy
cn xn nem lehet konvergens.
10.13. Ttel. Legyen f : R R, f C (K(a))(az f fggvny akrhnyszor
dierencilhat az a pont valamely krnyezetben) s L > 0, A > 0, hogy x K(a)
esetn |f (n) (x)| LAn . Ekkor x K(a) esetn
f (x) = f (a) + f (a) (x a) +
azaz
f (2) (a)
f (n) (a)
(x a)2 + . . . +
(x a)n + . . . ,
2!
n!
f (x) =
X
f (n) (a)
n=0
n!
(x a)n .
Mivel
(A|xa|)n+1
(n+1)!
0, ezrt lim
Pn
k=0
f (k) (a)
k! (x
a)k = f (x).
160
11. fejezet
Tbbvltozs fggvnyek
Szmos jelensg lershoz kevsnek bizonyul a vals-vals fggvny. Ezrt ltalnostjuk a mr megismert fogalmainkat is. Az albbi tmakrket trgyaljuk.
Mveletek vektorokkal s mtrixokkal
Tbbvltozs fggvny fogalma s szemlltetse
Vektorsorozat hatrrtke
Tbbvltozs fggvny hatrrtke s folytonossga
Metrikus tr
Sorozat konvergencija metrikus trben
Cauchy sorozat, teljes metrikus tr
Nylt, zrt, kompakt halmaz fogalma metrikus trben
Folytonos fggvnyek tulajdonsgai metrikus trben
Kontrakci fogalma, xpontttel
161
162
x1
x2
x = . Rn1
..
xn
oszlopmtrixszal. (Jellsben sem tesznk klnbsget kzttk, st vektort mondunk, de oszlopmtrixot runk.) Pldul, ha a, b Rn , akkor skalris szorzatuk
felfoghat a kvetkez alaknak is:
b1
b2
ha, bi = a1 b1 + a2 b2 + . . . + an bn = [a1 a2 . . . an ] . ,
..
bn
azaz egy R1n -beli sormtrix s egy Rn1 -beli oszlopmtrix szorzataknt.
163
f1
f2
f = .
.
.
fk
alakban is megadhatjuk.
Pldul legyen
f : R2 R3 ,
sin(x1 x2 )
f (x1 , x2 ) := x1 + x2 .
x2
2 cos t
r : [0, 6] R3 , r(t) := 2 sin t
0.5t
164
f(x1,x2)
(x1,x2)
11.1. bra.
x2
N100
N150
N50
x1
11.2. bra.
165
r(t)
11.3. bra.
egy hrommenetes csavarvonal lesz, amely 3 magassgig jut s egy 2 sugar
hengerre tekeredik fel (11.4. bra).
4o n > 1, k > 1, f : Rn Rk vektorvltozs vektorrtk (rviden vektorvektor) fggvny.
Amikor a lgtr minden pontjhoz hozzrendeljk a pontbeli szlsebessget
(vektort!), akkor egy
v : R3 R3
sebessgfggvnyrl (nha sebessgtrnek is nevezik) beszlnk. Amikor egy
tmeg (pldul egy csillag) gravitcis terrl beszlnk, akkor az R3 minden
pontjhoz hozzrendeljk az abban a pontban rvnyes gravitcis ert (vektort), gy egy g : R3 R3 fggvny rja le a tmeg (csillag) gravitcis tert.
166
r(t)
11.4. bra.
ezrt egy vektorsorozat konvergens akkor s csak akkor, ha mindegyik koordintan
sorozat (szmsorozat) konvergens. Pldul az (( n1 , n+1
)) vektorsorozat konvergens,
n
1
n
1
1
mert n 0, n+1 1, gy lim( n , n+1 ) = (0, 1). Az (( n , (1)n )) vektorsorozat nem
konvergens (divergens), mert ((1)n ) nem konvergens.
Legyen f : Rn Rk s a D(f ). Az f fggvnyt folytonosnak nevezzk az
a pontban, ha a-hoz kzeli pontokban a fggvnyrtkek kzel vannak f (a)-hoz,
pontosabban
11.2. Denci. Azt mondjuk, hogy f folytonos az a pontban, ha minden > 0
hibakorlthoz van olyan > 0 ingadozsi lehetsg, hogy minden x D(f ), kxak <
esetn kf (x) f (a)k < .
Ezt is f C[a] jellje.
Knnyen lthat, hogy f = (f1 , f2 , . . . , fk ) esetn
i = 1, 2, . . . , k,
x1 x2
f : R2 R3 , f (x1 , x2 ) := x21
x2
11.2. FELADATOK
167
folytonos az a := (1, 3) pontban, mert tetszleges (x1n , x2n ) (1, 3) sorozatra x1n
x2n 1 3, (x1n )2 12 s x2n 3, ezrt f (x1n , x2n ) f (1, 3). Teht f C[(1, 3)].
Nha szksg lehet mtrixrtk fggvnyekre is. Ha f : Rn Rkp , akkor fij :
Rn R az (i, j)-edik komponense. Az f legyen akkor folytonos az a D(f )
pontban, ha minden fij komponense folytonos az a-ban. (Elg, ha meggondoljuk,
hogy Rkp azonosthat az Rkp vektortrrel.)
Mtrixrtk fggvny az
x1 x2
ex1
2
22
.
f : R R , f (x1 , x2 ) :=
0
x1 + x2
Az f folytonos is minden (a1 , a2 ) R2 pontban.
Legyen a Rn s r > 0. Az a pont r sugar krnyezete legyen
Kr (a) := {x Rn | kx ak < r}.
Legyen H Rn s a Rn . Az a pont torldsi pontja a H halmaznak, ha brmely
K(a) krnyezetben vgtelen sok H-beli pont van. Ezt a H jellje.
Legyen f : Rn Rk s a (D(f )).
11.3. Denci. Azt mondjuk, hogy az f fggvnynek van hatrrtke az a pontban, ha van olyan A Rk , hogy brmely > 0 hibakorlthoz van olyan > 0, hogy
minden x D(f ), kx ak < , x 6= a esetn
kf (x) Ak < .
Ezt lima f = A vagy limxa f (x) = A vagy ha x a, akkor f (x) A jellje.
Knnyen lthat, hogy az f : Rn Rk fggvnynek az a (D(f )) pontban pontosan akkor van hatrrtke, ha minden fi : Rn R koordinta-fggvnynek van
hatrrtke az a-ban.
Most is rvnyes az
11.2. Ttel. (tviteli elv)
lima f = A minden (xn ) D(f ), xn a, xn 6= a esetn f (xn ) A.
11.2. Feladatok
1. Igazoljuk a CauchyBunyakovszkijSchwarz-egyenltlensget: minden a, b
Rn , a = (a1 , a2 , . . . , an ) s b = (b1 , b2 , . . . , bn ) vektorra
|ha, bi| kak kbk,
vagy
|a1 b1 + a2 b2 + . . . + an bn |
Megolds:
q
q
a21 + a22 + . . . + a2n b21 + b22 + . . . + b2n .
168
A kbk =
6 0 miatt ez egy olyan msodfok polinom, amely minden R
esetn nemnegatv rtk. Ezrt a diszkriminnsa D 0. gy
4ha, bi2 4kbk2 kak2 0
ha, bi2 kak2 kbk2
4. Legyen
g : R2 R3 ,
f : R3 R,
xy
g(x, y) := x + y ,
xy
f (u, v, w) := u2 v + w3 .
f : R R,
f (x, y) :=
xy
,
x2 +y 2
0,
ha x2 + y 2 6= 0
ha x2 + y 2 = 0
1
1
f (xn , yn ) = 1n n1 = .
2
2
+ n2
n2
Mivel kt megfelel, (0, 0)-hoz tart sorozaton klnbz a fggvnyrtkek
sorozatnak hatrrtke, ezrt a fggvnynek nincs hatrrtke (0, 0)-ban.
169
6. Legyen
f : R2 R,
f (x, y) :=
x2 y 2
,
x2 +y 2
0,
ha x2 + y 2 6= 0
ha x2 + y 2 = 0
2o (x, y) = (y, x)
3o (x, y) (x, z) + (z, y) (hromszg-egyenltlensg)
1, ha x 6= y
0, ha x = y.
170
171
172
Bizonyts.
1o M komplementere , ami nylt. komplementere M , ami nylt.
2o A De Morgan-azonossg szerint F = F . Minden F nylt, az
egyestsk is nylt, gy F zrt.
3o ni=1 Fi = ni=1 Fi . Fi nylt, i = 1, 2, . . . , n, s vges sok nylt metszete is
nylt, gy ni=1 Fi zrt.
Legyen K M.
11.11. Denci. A K halmazt kompaktnak nevezzk, ha brmilyen G (
) nylt halmazok esetn, amelyre K G [G ( ) a K halmaz nylt
fedrendszere], van olyan 1 , 2 , . . . , n , hogy K ni=1 Gi [van vges fedrendszere is a K halmaznak].
Az (R, |x y|) metrikus trben az [a, b] zrt intervallum, vagy az [a1 , b1 ], [a2 , b2 ],. . . ,
[ak , bk ] zrt intervallumok egyestse kompakt. (Analzis knyvekben Borel-ttel nven megtallhat, hogy brmely I R ( ) nylt intervallumrendszerbl, amelyre [a, b] I , kivlaszthat vges sok: I1 , I2 ,. . . In , amelyre [a, b] ni=1 Ii .)
A kompakt halmaz a vges sok pontbl ll halmaz ltalnostsa.
Rn -ben egy H Rn halmaz korltos, ha R > 0, hogy x H esetn kxk R.
Igazolhat, hogy a (x, y) := kx yk metrikval elltott Rn -ben K Rn kompakt
pontosan akkor, ha K korltos s zrt.
173
11.3.4. Fixpontttel
Legyen A 6= halmaz s f : A A fggvny. Az olyan a A pontot, amelyre
f (a) = a, az f fggvny xpontjnak nevezzk. Legyen (M, ) metrikus tr s
f : M M lekpezs.
174
1
.
1q
1
< .
1q
1
< ,
1q
175
kvetkezik. A (x , y) 0, q 1 < 0, ezrt szorzatuk csak gy lehet nemnegatv, ha (x , y) = 0, amelynek a metrika 1o tulajdonsga szerint x = y a
kvetkezmnye. Teht egyetlen xpont van csak.
176
12. fejezet
Tbbvltozs fggvny
dierencilhatsga
Megismerkednk a parcilis derivlttal, a fggvny dierencilhatsgval, az irnymenti derivlttal. Szlsrtk-szmts eszkze is lesz a derivlt. Az albbi tmakrket trgyaljuk.
Parcilis derivlt
Tbbvltozs fggvny derivltja, derivlt mtrix
Parcilis derivltak s a derivlt mtrix kapcsolata
Fellet rintskja
Trgrbe rintje
Szlsrtk fogalma s szksges felttele
Young ttele
Msodik derivlt, Taylor-formula
Szlsrtk elgsges felttele
178
f(x,y)
(x,y)
x
(x+t,y)
12.1. bra.
lesz, majd vegyk a fggvny rtkeit ezekben a pontokban: f (x + t, y). Ekkor egy
: R R, (t) := f (x + t, y) vals-vals fggvnyt rtelmeztnk, a kpe egy, a
felleten fut grbe (12.1. bra).
12.1. Denci. Azt mondjuk, hogy az f fggvny az (x, y) pontban az els vltoz
szerint parcilisan dierencilhat, ha dierencilhat a t = 0 pontban.
Ha D[0], akkor az f els vltoz szerinti parcilis derivltja az (x, y) pontban
legyen a (0), azaz
1 f (x, y) := (0).
Emlkezve a vals-vals fggvny dierencilhatsgra
f (x + t, y) f (x, y)
t0
t
1 f (x, y) = lim
lesz ez a parcilis derivlt.
Lthat, hogy az els vltoz szerinti parcilis derivlhatsg csak a felleti grbe simasgt jelenti a t = 0 pontban, s a 1 f (x, y) ennek a felleti grbnek a
meredeksgt adja. Az is leolvashat, hogy
f (x + t, y) f (x, y)
1 f (x, y), ha t 0,
t
ami gy is olvashat, hogy csupn az els tengely irnyba kimozdulva az (x, y)
pontbl
f (x + t, y) f (x, y) + 1 f (x, y) t, ha t 0.
Az elzeknek megfelelen, ha az (x, y) ponton t az y tengellyel prhuzamos egyenest vesznk fel, akkor is kapunk egy : R R, (t) := f (x, y + t) felleti grbt.
179
lesz az f msodik vltoz szerinti parcilis derivltja az (x, y) pontban. Az elzekhez hasonl a 2 f (x, y) jelentse is.
((x, y) R2 )
fggvny els vltoz szerinti parcilis derivltjt kiszmtani az (x, y) pontban, akkor a derivls sorn az y konstansnak szmt, teht
1 f (x, y) = 2xy 3 + 2 + 0 ((x, y) R2 ).
Ugyangy a msodik vltoz szerinti parcilis derivls sorn x szmt konstansnak,
teht
2 f (x, y) = x2 3y 2 + 1 ((x, y) R2 ).
12.1.2. Derivltmtrix
Most foglalkozzunk a dierencilhatsg fogalmnak olyan kialaktsval, amely valdi ltalnostsa a vals-vals fggvny dierencilhatsgnak.
Legyen f : R2 R, (x, y) intD(f ).
12.2. Denci. Azt mondjuk, hogy f dierencilhat az (x, y) pontban, ha van
olyan A1 , A2 R s olyan : R2 R fggvny, hogy minden olyan h = (h1 , h2 )
R2 vektorra, amelyre (x + h1 , y + h2 ) D(f ), teljesl, hogy
f (x + h1 , y + h2 ) f (x, y) = A1 h1 + A2 h2 + (h1 , h2 )
s
(h)
= 0.
h0 khk
lim
180
A limh0 (h)
khk = 0 az (h) maradktag kicsisgre utal. Nyilvn limh0 (h) = 0 is
igaz, de ha (h) rtkeit elosztjuk a khk 0 kicsi szmmal, akkor ezzel felnagytjuk
az (h) rtkeit, gy ha mg ez a hnyados is 0-hoz tart, akkor (h) igazn kicsi.
Amikor a h := (h1 , 0) alak, akkor trendezs s hatrrtkkpzs utn
f (x + h1 , y) f (x, y)
(h1 , 0)
lim
= lim A1 +
= A1 ,
h0
h1 0
h1
|h1 |
amely azt jelenti, hogy ha f dierencilhat az (x, y) pontban, akkor A1 csak 1 f (x, y)
lehet.
A h := (0, h2 ) alak vektorokra pedig az addna, hogy A2 csak 2 f (x, y) lehet.
gy ha f dierencilhat az (x, y) pontban, akkor a fggvny f (x+h1 , y+h2 )f (x, y)
megvltozsa jl kzelthet a
1 f (x, y)h1 + 2 f (x, y)h2
lineris fggvnnyel, st az elkvetett hiba, az (h1 , h2 ) elhanyagolhatan kicsi:
mg a felnagytott (h)
khk hnyados is 0-hoz kzeli, ha khk kicsi.
Mtrixokat hasznlva az f dierencilhatsga azt jelenti, hogy van olyan : R2
R fggvny, hogy
h1
f (x + h1 , y + h2 ) f (x, y) = [1 f (x, y) 2 f (x, y)]
+ (h1 , h2 )
h2
s
(h)
= 0.
h0 khk
lim
h1 ,h2 0
h1 ,h2 0
f
f
x +
y
x
y
181
f
f
dx +
dy.
x
y
i f (x) := lim
f (x) =
..
Rkn
182
sin t
cos t
2. r(t) := sin t esetn r (t) := cos t
1
t
P (x, y, z)
x P y P z P
3. F (x, y, z) = Q(x, y, z) esetn F (x, y, z) = x Q y Q z Q
R(x, y, z)
x R y R z R
12.1.3. rint
Fellet rintskja
Legyen f : R2 R, (x0 , y0 ) intD(f ), s tegyk fel, hogy f D[(x0 , y0 )]. Ez azt
jelenti, hogy
f (x, y) f (x0 , y0 ) 1 f (x0 , y0 )(x x0 ) + 2 f (x0 , y0 )(y y0 ),
ha (x, y) (x0 , y0 ), s ez a kzelts elg j. Legyen z0 := f (x0 , y0 ), akkor a
z := 1 f (x0 , y0 )(x x0 ) + 2 f (x0 , y0 )(y y0 ) + z0
esetn f (x, y) z, ha (x, y) (x0 , y0 ). Vegyk szre, hogy ha
n := (1 f (x0 , y0 ), 2 f (x0 , y0 ), 1),
r0 := (x0 , y0 , z0 ),
r := (x, y, z),
akkor az hn, r r0 i = 0 egyenlet skrl lttuk be, hogy elg jl kzelti az f
fggvnnyel lert felletet.
Az hn, r r0 i = 0 egyenlet skot az f fellet (x0 , y0 , f (x0 , y0 )) ponthoz tartoz
rintskjnak nevezzk.
Trgrbe rintje
Legyen r : R R3 , t0 intD(r), s tegyk fel, hogy r D[t0 ].
Ha
x(t)
r(t) = y(t) ,
z(t)
akkor
x(t
0)
x(t) x(t0 )
0 ) (t t0 ),
0 ) (t t0 ) = y(t
r(t) r(t0 ) = y(t) y(t0 ) r(t
z(t
0)
z(t) z(t0 )
183
x(t0 )
x(t
0)
0 ) irnyvektor s r0 := y(t0 ) ponton tmen
v := y(t
z(t0 )
z(t
0)
x
egyenes r := y futpontjra
z
x = x(t0 ) + x(t
0 ) (t t0 )
y = y(t0 ) + y(t
0 ) (t t0 )
z = z(t0 ) + z(t
0 ) (t t0 )
12.1.4. Szlsrtk
Legyen f : R2 R, a = (a1 , a2 ) D(f ).
12.3. Denci. Azt mondjuk, hogy az f fggvnynek loklis minimuma van az
a pontban, ha van olyan K(a) krnyezete az a pontnak, hogy minden x = (x1 , x2 )
K(a) D(f ) esetn
f (x1 , x2 ) f (a1 , a2 ) vagy f (x) f (a).
Hasonl a loklis maximum fogalma is.
12.1. Ttel. (Loklis szlsrtk szksges felttele)
Legyen f : R2 R, a = (a1 , a2 ) intD(f ) s f D[a]. Ha f -nek a-ban loklis
szlsrtke (vagy minimuma vagy maximuma) van, akkor f (a) = 0.
[f (a) = 0 1 f (a1 , a2 ) = 0 s 2 f (a1 , a2 ) = 0.]
Bizonytsknt elg arra gondolni, hogy ha f -nek az (a1 , a2 ) pontban loklis minimuma van, akkor a
: R R, (t) := f (t, a2 )
(t) := f (a1 , t)
184
1 f (a)
2 f (a)
gradf (a) =
(oszlopmtrix, amit azonosthatunk egy vektorral).
..
.
n f (a)
12.2. Feladatok
1. Kpzelje el az f : R2 R,
f (x, y) := x2 + y 2 ;
f (x, y) := x2 + y 2 + 4x 2y + 10;
f (x, y) := 2x2 + 5y 2 ;
h(x, y) := x2 y 2 + 100
fggvny fellete?
2. rja fel az f : R2 R, f (x, y) := x2 y 3 fggvny (x0 , y0 ) := (1, 2) ponthoz
tartoz rintskjt.
3. rja fel az r : [0, 4] R3 , r(t) := (2 cos t, 2 sin t, t) trgrbe brmely t0
(0, 4) ponthoz tartoz rintvektort. Szmolja ki az hr(t
0 ), e3 i skalris szorzatot (e3 := (0, 0, 1)). rtelmezze az eredmnyt!
4. Legyen f : R2 R, a intD(f ) s e R2 , amelyre kek = 1. Az f fggvny
a pontbeli e irny menti derivltjn a
1
e f (a) := lim (f (a + te) f (a))
t0 t
12.2. FELADATOK
185
X
xi =
xi yi
X
X
A
xi + Bn =
yi
A
x2i + B
186
xy xx2 y
,
+y 2
0,
ha x2 + y 2 =
6 0
ha x2 + y 2 = 0
1 f (1, 1)
3
= .
2 f (1, 1)
10
3
(x 1), ha x 1.
10
12.2. FELADATOK
187
y (x) =
y(x) + ex+y(x)
x + ex+y(x) 2y(x)
(x D(y)).
y + ex+y
x + ex+y 2y
alakban is felrjk.
Megjegyezzk, hogy ilyenkor a felttelek ellenrzse nlkl az implicit mdon
denilt fggvny derivlsi szablyt alkalmazzuk valjban.
11. Egy gz llapott az F (p, V, T ) = 0 llapotegyenlettel adjuk meg. (Idelis gz
esetn ez pV nRT = 0 alak.) Ez az egyenlet hrom implicit fggvnyt
denil:
p = p(V, T ),
V = V (T, p),
T = T (p, V ).
Mutassuk meg, hogy
V p(V, T ) T V (T, p) p T (p, V ) = 1.
Megolds: Felttelezve, hogy teljeslnek az implicit fggvny ttelben szerepl
felttelek, az implicit fggvnyeket rendre visszahelyettestve kapjuk, hogy
(V, T ) 7 F (p(V, T ), V, T ) = 0,
(T, p) 7 F (p, V (T, p), T ) = 0,
V F (p(V, T ), V, T ) = 1 F V p + 2 F V V + 3 F V T = 0 V p =
188
2 F
3 F
1 F
V p T V p T =
= 1.
1 F
2 F
3 F
Megjegyezzk, hogy a felletesen gondolkodk csodlkoznak azon, hogy hagyomnyos jellsekkel s formlis trteknek vve a parcilis derivltakat
p V T
=1
V T p
lenne a vrhat eredmny. . . A pV nRT = 0 esetet vgigszmolva gyzdjnk
meg rla, hogy a szorzat valban (1).
u+v
x(u, v)
12. Legyen : R2 R3 , (u, v) = y(u, v) := u2 + v 2 egy ktparau3 + v 3
z(u, v)
mteres mdon adott fellet. Az (u0 , v0 ) := (1, 2) paramterrtkhez tartoz
rintskjnak adjuk meg az egyik normlvektort!
Megolds: A
x(u, v)
u+v
g : (u, v) 7
=
y(u, v)
u2 + v 2
fggvny inverze a
: (x, y) 7
u(x, y)
v(x, y)
9
2,
gy az rintsk
12.2. FELADATOK
189
2 f (x, y) = 2y + 4 = 0.
Ebbl (x0 , y0 ) = (1, 2) addik, ami nincs az intQ nylt krlemezben, azaz f nek nincs loklis szlsrtke a krlemez belsejben. Mivel Q kompakt halmaz
(korltos s zrt), ezrt a folytonos f fggvnynek van minimuma s maximuma
is Q-ban. Teht Q hatrn vannak ezek a szlsrtkhelyek.
Keressk meg az f fggvny feltteles minimumt s maximumt a g(x, y) :=
x2 + y 2 1 = 0 felttel mellett!
Ksztsk el az F (x, y) := f (x, y)+g(x, y) = x2 +y 2 2x+4y1+(x2 +y 2 1)
fggvnyt.
1 F (x, y) = 2x 2 + 2x = 0
2 F (x, y) = 2y + 4 + 2y = 0
x2 + y 2 1 = 0
s a P2 ( 15 , 25 ) pontok tartoznak.
Legyen elszr 1 = 5 1 s P1 ( 15 , 25 ).
F1 (x, y) =
2x 2 + 2( 5 1)x 2y + 4 + 2( 5 1)y
0
0
2 5
2 + 2( 5 1)
=
F1 (x1 , y1 ) =
0
2 + 2( 5 1)
0
2 5
egy pozitv denit kvadratikus alak mtrixa, gy brmely h R2 , h 6= 0 vektor
esetn hF1 (x1 , y1 )h, hi > 0. Emiatt a P1 ( 15 , 25 ) pontban minimuma van az
190
F2 (x, y) =
2x 2 + 2( 5 1)x 2y + 4 + 2( 5 1)y
0
0
2 5
2 + 2( 5 1)
=
F2 (x2 , y2 ) =
0
2 + 2( 5 1)
0
2 5
egy negatv denit kvadratikus alak mtrixa, gy brmely h R2 , h 6= 0 vektor
esetn hF2 (x2 , y2 )h, hi < 0. Emiatt a P2 ( 15 , 25 ) pontban maximuma van
az f fggvnynek a g = 0 felttel mellett.
Az f =
f1
f2
..
.
fk
, az Fx =
F1
F2
..
.
Fk
191
1 f1 (x) . . . n f1 (x)
..
kn
.
f (x) =
R
.
1 fk (x) . . . n fk (x)
Bizonyts. Ha f D[x], akkor Fx : D(f ) Rkn , Fx C[x], amelyre z
D(f ) esetn f (z) f (x) = Fx (z) (z x).
Legyen j = 1, 2, . . . , k s i = 1, 2, . . . , n. Ekkor fj (z) fj (x) = (Fx (z))j (z x), ahol
(Fx (z))j az Fx (z) j-edik sora.
Vlasszuk a
x1
..
.
D(f )
t
z :=
..
.
xn
vektort. Ekkor
..
= (Fx (z))j t xi
= (Fx (z))ji (t xi ).
..
.
0
Ha t 6= xi , akkor
i fj (x) = lim
txi
fj (x1 , . . . , t, . . . , xn ) fj (x1 , . . . , xi , . . . , xn )
t xi
192
gy
z1 x1
z2 x2
A 1 f s 2 f folytonossga miatt az
Fx (z) := [1 f (x1 + 1 (z1 x1 ), z2 ) 2 f (x1 , x2 + 2 (z2 x2 ))]
vlasztssal az Fx C[x]. Teht Fx : D(f ) R12 , Fx C[x], amellyel z D(f )
esetn
f (z) f (x) = Fx (z) (z x),
azaz f D[x].
(a1,a2+k)
a2
193
(a1+h,a2+k)
(a1+h,a2)
K(a)
a1
12.2. bra.
(12.1)
194
1 (2 f )(a1 + n4 hn , a2 + n3 kn ) 1 (2 f )(a1 , a2 ),
ezrt
2 (1 f )(a1 , a2 ) = 1 (2 f )(a1 , a2 ).
2 f C(K(a)).
12.7. Denci. Legyen f : Rn R s i, j = 1, 2, . . . , n esetn ij
Ekkor
2
2 f (a)
11 f (a) . . . 1n
..
nn
f (a) :=
R
.
2 f (a) . . . 2 f (a)
n1
nn
(t) =
n
X
n
n X
X
i=1
j=1
i f (a + th)hi ,
i=1
i f (a + th)hi
i=1
n
X
n
X
i=1
j (i f )(a + th)hj
{(i f ) (a + th)h}hi =
hi =
n
n X
X
i=1 j=1
2
ij
f (a + th)hi hj .
195
Ezekbl (0) = f (a), (0) = f (a)h s (0) = hf (a)h, hi. (A legutolst gondoljuk
vgig a mtrixszorzs s a skalris szorzat denciinak birtokban.)
A Taylor-formula alapjn t R+ esetn (0, t), hogy
(t) = (0) + (0)t +
1
()t2 .
2!
2! ( ()
(0))t2 , s amelyre
lim
t0
(t)
1
= lim ( () (0)) = 0,
t0 2!
t2
(t)
t2
1
(0)t2 + (t),
2!
1
(0)t2 + (t) =
2!
1
hf (a)h, hit2 + (th),
2!
(th)
Itt a limth0 kthk
2 = 0 gy is igaz, hogy h 6= 0 rgztett vektor s t 0, de gy is,
hogy t 6= 0 rgztett s h 0.
Legyen t := 1. Ekkor igaz a kvetkez Taylor-formula:
2 f C(K(a))), akkor van olyan
12.9. Ttel. Ha f : Rn R elg sima (i f, ij
n
n
: R R, hogy h R , h 6= 0, a + h K(a) esetn
f (a + h) = f (a) + f (a)h +
ahol limh0
(h)
khk2
= 0.
1
hf (a)h, hi + (h),
2!
196
12.3.3. Szlsrtk
12.10. Ttel. (A loklis szlsrtk szksges felttele)
Ha f D[a] s f -nek a-ban loklis szlsrtke van, akkor f (a) = 0.
Bizonyts. Legyen e Rn , kek = 1. Mivel f -nek a-ban loklis szlsrtke van,
ezrt a : R R, (t) := f (a + te) fggvnynek a t = 0 pontban van loklis
szlsrtke, gy (0) = 0. Mivel (t) = f (a + te) e, ezrt t = 0 esetn
i = 1, 2, . . . , n esetn
f (a) e = 0.
f (a)ei = i f (a) = 0,
gy f (a) = [0 . . . 0] = 0 R1n .
A Taylor-formult felhasznlva elgsges felttelt adunk a szlsrtk ltezsre.
12.11. Ttel. (A szigor loklis minimum elgsges felttele)
2 f C(K(a)), f (a) = 0 s h Rn ,
Legyen f : Rn R. Tegyk fel, hogy i f, ij
h 6= 0 esetn hf (a)h, hi > 0. Ekkor f -nek a-ban szigor loklis minimuma van.
Bizonyts. Legyen h Rn , h 6= 0 tetszleges. Ekkor
1
f (a + h) = f (a) + f (a)h + hf (a)h, hi + (h) =
2!
h
(h)
h
1
2
,
i+2
.
= f (a) + khk hf (a)
2!
khk khk
khk2
Legyen S1 := {x Rn | kxk = 1} az egysggmb hja. Mivel
h
khk
h
khk
egysghosszsg
h
h
hf (a) khk
, khk
i
vektor, gy e :=
S1 . A k : S1 R, k(e) :=
folytonos fggvny
S1 -en. S1 korltos s zrt, ezrt a Weierstrass-ttel mintjra vgiggondolhat, hogy
van minimuma a k fggvnynek, legyen ez m R s az hf (a)h, hi > 0 (h 6= 0)
felttel miatt m > 0. Ez azt jelenti, hogy h Rn , h 6= 0
hf (a)
h
h
,
i m.
khk khk
m
n
Mivel limh0 (h)
khk = 0, ezrt az := 4 > 0 hibakorlthoz > 0, hogy h R , h 6=
0, khk < esetn
m
(h)
m
<
< .
2
4
khk
4
n
Legyen ezek utn h R , h 6= 0, khk < tetszleges. Felttelezve, hogy a + h
K(a), tovbb becslhetjk f (a + h) ellltst
h
h
(h)
1
2
,
i+2
>
f (a + h) = f (a) + khk hf (a)
2!
khk khk
khk2
2m
m
1
1
> f (a) + khk2 m
= f (a) + khk2 ,
2!
4
2!
2
197
vagy
m
> 0, ha khk < .
4
Ez azt jelenti, hogy f -nek a-ban szigor loklis minimuma van.
Megjegyezzk, hogy az hf (a)h, hi > 0 h Rn , h 6= 0 esetn nehezen ellenrizhet felttel. Ezt a nehzsget knnyti a
f (a + h) f (a) > khk2
1 . . . 0
0
0 2 . . . 0
A := .
.. .
.
.
.
0
0 . . . n
Az A sarokaldeterminnsai
1 := 1 ,
0
2 := 1
0 2
= 1 2 ,
Most legyen h Rn , h 6= 0, h =
hAh, hi = h
Jl ltszik, hogy
1 h1
2 h2
..
.
n hn
2 > 0,
h1
h2
.. .
.
1 0 0
3 := 0 2 0
0 0 3
...,
= 1 2 3 , . . .
n > 0.
hn
h1
h2
..
.
hn
198
12.13. Ttel. Ha f (a) = 0 s hf (a)h, hi < 0, akkor f -nek a-ban szigor loklis
maximuma van.
12.14. Ttel. (Sylvester-ttel)
hAh, hi < 0 1 < 0, 2 > 0, 3 < 0, . . . , n
< 0, ha n pratlan
> 0, ha n pros.
p
: [0, 2] [1, 2], (x) := 2x x2 + 2
1 f1 (a, b) . . . n f1 (a, b)
..
..
(A x f (a, b) :=
.)
.
.
1 fm (a, b) . . . n fm (a, b)
199
b+
y
b2
Kq
K(b)
b
y
b1
K(a)
x a
Kr
a+
12.3. bra.
Megjegyezzk, hogy a ttel csak a implicit fggvny ltezsrl szl, ltalban nem
tudjuk ezt a fggvnyt ellltani. Ennek ellenre a derivltjt ki tudjuk szmtani
az a pontban!
Bizonyts. Az n = 1, m = 1 esetben vgezzk el a bizonytst.
Az f : R2 R fggvny folytonosan dierencilhat, ezrt a 2 f parcilis derivlt
is folytonos, s 2 f (a, b) 6= 0 [legyen 2 f (a, b) > 0], ezrt ltezik az (a, b) D(f )
pontnak olyan r > 0 sugar Kr ((a, b)) D(f ) krnyezete, hogy minden (x, y)
Kr ((a, b)) esetn 2 f (x, y) > 0. Tekintsk a ha : y 7 f (a, y) fggvnyt. Mivel
ha (b) = f (a, b) = 0 s ha (b) = 2 f (a, b) > 0, ezrt ha loklisan nvekv, gy van
olyan b1 < b s b2 > b, hogy ha (b1 ) = f (a, b1 ) < 0 s ha (b2 ) = f (a, b2 ) > 0 (emellett
(a, b1 ), (a, b2 ) Kr ((a, b))). Az f fggvny folytonossga miatt van olyan p > 0 s
q > 0, hogy minden (x , y ) Kp (a, b1 ) s (x , y ) Kq (a, b2 ) pontban f (x , y ) < 0
s f (x , y ) > 0 (emellett Kp (a, b1 ), Kq (a, b2 ) Kr ((a, b)) is teljesljn).
Legyen := min{p, q} s K(a) := (a , a + ), mg legyen := max{b (b1
p), b2 + q b} s K(b) := (b , b + ). Tekintsnk egy tetszleges x K(a) pontot.
Legyen hx : y 7 f (x, y). Ekkor ltezik olyan (x, y ) Kp (a, b1 ) s (x, y ) Kq (a, b2 )
alak pont, amelyben hx (y ) = f (x, y ) < 0, mg hx (y ) = f (x, y ) > 0. Mivel hx az
f folytonossga kvetkeztben egy vals vltozs folytonos fggvny, ezrt a Bolzanottel miatt van olyan y (y , y ), amelyben hx (y) = f (x, y) = 0. Csak egyetlen ilyen
y ltezik, ugyanis, ha y is olyan lenne, hogy hx (y ) = f (x, y ) = 0, akkor a Rollettel miatt ltezne olyan c az y s y kztt, hogy hx (c) = 2 f (x, c) = 0 lenne, amely
lehetetlen, hiszen a Kr ((a, b)) krnyezet minden pontjban 2 f pozitv.
Teht brmely x K(a) szmhoz egyrtelmen rendelhet olyan y K(b) szm,
hogy f (x, y) = 0, azaz ltezik olyan : K(a) K(b), (x) := y fggvny, hogy
f (x, (x)) = 0 minden x K(a) esetn. [Nyilvn (a) = b.]
Megmutatjuk, hogy folytonos az a pontban. Legyen > 0 tetszlegesen
200
1 f (a, b)
= (2 f (a, b))1 1 f (a, b).
2 f (a, b)
201
202
..
..
rang
= m.
.
.
1 gm (a) 2 gm (a) . . . n gm (a)
1 g(a1 , a2 )
,
2 g(a1 , a2 )
azaz
1 g(a1 , a2 ) + (a1 )2 g(a1 , a2 ) = 0.
(12.2)
203
ezrt
h (a1 ) = 1 f (a1 , a2 ) + (a1 )2 f (a1 , a2 ) = 0.
(12.3)
Legyen R egyelre tetszleges szm, s szorozzuk meg -val az (12.2) egyenlsget, majd adjuk ssze a (12.3) egyenlsggel. Ekkor
1 f (a1 , a2 ) + 1 g(a1 , a2 ) + (a1 )[2 f (a1 , a2 ) + 2 g(a1 , a2 )] = 0.
(12.4)
(12.5)
(a1 ,a2 )
(lthat, hogy a := 22fg(a
megfelel.) Ha a szgletes zrjelben lv tnyez
1 ,a2 )
0, akkor (12.4) miatt
1 f (a1 , a2 ) + 1 g(a1 , a2 ) = 0
(12.6)
is teljesl. sszestve az eredmnyeket, azt kaptuk, hogy ha az f fggvnynek feltteles szlsrtke van a g = 0 felttel mellett, akkor az F := f + g fggvnynek az
els vltoz szerinti parcilis derivltja 0 (ezt mutatja (12.6)), s a msodik vltoz
szerinti parcilis derivltja is 0 (ezt mutatja (12.5)), teht
F (a1 , a2 ) = 1 F (a1 , a2 ) 2 F (a1 , a2 ) = 0.
g1 (a)h = 0, g2 (a)h = 0, . . . , gm
(a)h = 0,
teljesl, hogy
hF (a)h, hi > 0,
akkor az f fggvnynek a g1 = 0, g2 = 0, . . . , gm = 0 felttel mellett feltteles minimuma van az a pontban.
A feltteles maximumra vonatkoz szksges felttel s az elgsges felttel is rtelemszer vltoztatsokkal megfogalmazhat.
204
13. fejezet
Vonalintegrl
Az f : [a, b] R fggvny integrljt ltalnostjuk. Az [a, b] intervallum szerept
egy grbe, az f fggvny szerept egy vektor-vektor fggvny veszi t. Az albbi
tmakrket trgyaljuk.
A vonalintegrl fogalma s tulajdonsgai
A potencil fogalma s ltezsnek kapcsolata a vonalintegrllal
Paramteres integrl dierencilhatsga
A potencil ltezsnek elgsges felttele
13.1. Vonalintegrl A
13.1.1. A vonalintegrl fogalma s tulajdonsgai
Amikor egy sznkt az A pontbl B pontba hzunk s elmozdulssal az ttal prhuzamos F ervel, akkor a vgzett munka W = F s (13.1. bra). Amikor az F er
szget zr be az elmozdulssal (13.2. bra), akkor a vgzett munka
W = F cos = hF , si.
Az r : [, ] R3 trgrbe mentn pontrl pontra vltoz F R3 R3 erfggF
A
13.1. bra.
205
206
13.2. bra.
r(i)
F(r(i))
r(ti1)
r(ti)
13.3. bra.
vny (ertr) munkja gy kzelthet, hogy felosztva [, ] intervallumot = t0 <
t1 < . . . < ti1 < ti < . . . < tn = osztpontokkal, s felvve
ti1 i ti
(i = 1, . . . , n)
Wi =
n
X
i=1
hF (r(i )), ri i.
x(
i )(ti ti1 )
x(ti ) x(ti1 )
i )(ti ti1 ) r(
i )(ti ti1 ),
r(ti ) r(ti1 ) = y(ti ) y(ti1 ) = y(
z(
i )(ti ti1 )
z(ti ) z(ti1 )
13.1. VONALINTEGRL A
207
P
ha r folytonos. Lthat, hogy W ni=1 hF (r(i )), r(
i )i(ti ti1 ), amely hasonlt
egy integrlkzeltszeghez. Ez a gondolatmenet szolgl alapul a kvetkez fogalmakhoz.
Legyen Rn sszefgg (brmely kt pontjt egy -ban halad folytonos
grbvel ssze lehet ktni), nylt halmaz, rviden tartomny. Legyen f : Rn Rn ,
D(f ) := folytonos vektorfggvny, f C(). Legyen r : [, ] egy sima
trgrbe, azaz r C[, ], r D(, ), r(t)
6= 0 (t (, )), s brmely t1 , t2
(, ), t1 6= t2 esetn r(t1 ) 6= r(t2 ).
13.1. Denci. Az f fggvny r trgrbe menti integrlja legyen
Z
f :=
hf (r(t)), r(t)idt.
Pldul
f : R3 R3 ,
(itt = R3 ) s
x+y
f (x, y, z) := x y
z
r : [0, 1] R3 ,
1
esetn r(t)
= 2 , gy
3
f=
t
r(t) := 2t
3t
Z 1
Z 1
1
t + 2t
10tdt
[(t + 2t) + 2(t 2t) + 9t]dt =
h t 2t , 2 idt =
0
0
3
3t
2 1
t
= 10
= 5.
2 0
A vonalintegrl tulajdonsgai
1o Ha r1 : [, ] , r2 : [, ] s r1 () = r2 (), akkor az r1 r2 : [, ] ,
amelyre r1 r2 |[,] = r1 s r1 r2 |[,] = r2 legyen az egyestett grbe.
Ekkor
Z
Z
Z
f=
r1 r2
f+
r1
f.
r2
208
2o Ha r : [, ] , akkor az
r : [, ] ,
r (t) := r( + t) legyen az
ellenttesen irnytott grbe. Ekkor
Z
Z
f = f.
13.1.2. Potencil
A vonalintegrlhoz alapveten egy ertr munkja kapcsoldik. A munkval (energival) kapcsolatban pedig rdekelhet bennnket, hogy zrt grbe esetn van-e energiavesztesg vagy ppen nyeresg. rdekelhet az is minket, hogy kt pont kztt
a munkavgzs szempontjbl milyen ton rdemes haladni. Ilyen krdsekre ad
vlaszt a kvetkez ttel.
13.1. Ttel. Legyen Rn tartomny, f : Rn , f C(). Az f fggvny
(ertr) kvetkez hrom tulajdonsga egyenrtk (ekvivalens):
H
H
1o Brmely r : [, ] , r() = r() sima zrt grbe esetn f = 0 (a jel
nyomatkostja, hogy zrt grbn integrlunk).
2o Brmely rgztett a, b s tetszleges (r1 : [1 , 1 ] s r2 : [2 , 2 ] ,
r1 (1 ) = r2 (2 ) = a s r1 (1 ) = r2 (2 ) = b), az a s b pontot sszekt
-beli sima grbk esetn
Z
Z
f=
r1
f.
r2
13.1. VONALINTEGRL A
209
minden x , i, j = 1, 2, . . . , n
P
f := Q : R3 R3
R
megfelelen sima P, Q, R : R3 R koordinta-fggvnyekkel (az ertr komponenseiknt is szoktk emlegetni), akkor a i fj = j fi felttel azt jelenti, hogy az
f : R R , f (x, y) :=
x+y
xy
210
Ha x (x, y) = x + y, akkor (x, y) = x2 + xy + (y) alak, ahol : R R, differencilhat, de egybknt egyelre tetszleges fggvny lehet. Ekkor y (x, y) =
2
x + (y) = x y, gy (y) = y, amibl (y) = y2 + c, ahol c R tetszleges.
2
2
Teht csak a : R2 R, (x, y) = x2 + xy y2 + c alak fggvny lehet az f
potencilja.
Ha ezek utn egy tetszleges r : [, ] R2 sima grbe mentn szeretnnk az
f ertr munkjt kiszmtani, akkor (a kzvetett fggvny derivlst szem eltt
tartva)
Z
f=
hf (r(t)), r(t)idt
=
=
hgrad(r(t)), r(t)idt
(r(t)) r(t)dt
amely azt mutatja (amit a ttel is sugallt), hogy a vonalintegrl rtke csupn a grbe
kt vgpontjtl fgg, s fggetlen attl, hogy milyen grbvel ktttk ssze az
r() s r() pontot. Specilisan,
ha r() = r(), akkor zrt grbrl van sz, s
H
ekkor (r()) = (r()), gy r f = 0, ahogyan ezt a ttel is lltotta.
13.2. Feladatok
1. Legyen
2 cos t
x+y+z
f : R3 R3 , f (x, y, z) := y z s r : [0, 6] R3 , r(t) := 2 sin t .
t
x+z
R
Szmtsa ki az r f vonalintegrlt!
"
#
f (x, y) :=
x
x2 +y 2
y
x2 +y
2
13.2. FELADATOK
211
1
(x2 +x2x+x
2 )3/2
1
x2
F : R3 \ {(0, 0, 0)} R3 ,
(x21
1
+ c,
+ x23 )1/2
x22
mert
1
xi
i (x1 , x2 , x3 ) = (x21 + x22 + x23 )3/2 (2xi ) = 2
,
2
2
(x1 + x2 + x23 )3/2
i = 1, 2, 3. Megjegyezzk, hogy F egy origban elhelyezett M = 1 tmegpont
gravitcis ternek is tekinthet, hiszen az r helyvektor pontban az m = 1
tmegre hat er (az egysgrendszer vlasztsa miatt fellp szorztnyeztl
eltekintve)
1
r
F (r) =
(r 6= 0).
krk2 krk
Ennek az ertrnek a potencilja
(r) =
1
krk
(r 6= 0).
4. Legyen
2
f :R R ,
f (x, y) :=
xy 2
x2 y
212
13.3. Vonalintegrl E
13.3.1. A vonalintegrl fogalma s tulajdonsgai
Legyen Rn tartomny, s f : Rn , f C(). Legyen r : [, ] , r
C[, ] s r C 1 (, ), tovbb t1 , t2 (, ), t1 6= t2 esetn r(t1 ) 6= r(t2 ) egy n.
sima grbe.
13.2. Denci. Az f fggvny r grbe menti vonalintegrljn az
Z
Z
hf (r(t)), r(t)idt
f :=
r1 r2
f+
r1
f.
r2
Bizonyts.
Z
Z
hf ((r1 r2 )(t)), (r1 r2 )(t)idt =
f =
r1 r2
f+
r1
f.
r2
Megjegyezzk, hogy (r1 r2 ) esetleg -ban nem dierencilhat, de egy pont nem
befolysolja az integrl rtkt.
r
Z
Z
Z
hf (r(u)), r(u)idu
= f.
hf (r(u)), r(u)idu
=
=
13.3. VONALINTEGRL E
213
Bizonyts.
Z
Z
Z
f =
|hf (r(t)), r(t)i|
dt
hf
(r(t)),
r(t)idt
r
Z
Z
kf (r(t))k kr(t)kdt
M kr(t)kdt
= M L,
13.3.2. Potencil
n
13.3. Denci. Az f :
H R legyen Z-tulajdonsg, ha r : [, ] , r() =
r() sima zrt grbe esetn r f = 0.
r2
Rn
13.5. Denci. Az f :
legyen P-tulajdonsg, ha : R, D()
s grad = f. A az f egyik potencilja.
13.6. Ttel. Legyen f : Rn . Ekkor Z F P.
Bizonyts.
1o Z F.
Legyen r1 : [1 , 1 ] sima grbe, r2 : [2 , 2 ] sima grbe. Tegyk fel,
hogy 2 = 1 , s r1 (1 ) = r2 (2 ), r1 (1 ) = r2 (2 ). Ekkor az
r2 : [2 , 2 ] ,
teht
r 1
r
2
f+
f=
r1
r1
f=
r
2
f=
r1
f.
r2
f,
r2
214
x+sei
ei
13.4. bra.
2o F P.
R
s0
s0 s
s
a,x
a,x+sei
Z s
Z s
1
1
hf (x + tei ), ei idt = lim
fi (x + tei )dt =
= lim
s0 s 0
s0 s 0
1
= lim fi (x + ei ) s = fi (x).
(13.1)
s0 s
(Lsd a 13.4. brt.) Kzben felhasznltuk, hogy az [x, x + sei ] szakaszt
a : [0, s] Rn , (t) := x + tei paramterezssel llthatjuk el, melyre
(t)
= ei .
Felhasznltuk mg a folytonos fggvny integrlkzept is. Az utols lps fi
folytonossgnak a kvetkezmnye.
3o P Z
Legyen r : [, ] , r() = r() sima zrt grbe. Mivel D()
potencil, ezrt
Z
hf (r(t)), r(t)idt
hgrad(r(t)), r(t)idt
(r(t))r(t)dt
13.3. VONALINTEGRL E
215
g(x, y)dx
G (y) =
2 g(x, y)dx.
2 g(x, y)dx =
sy
a
Z b
Z b
Z b
1
2 g(x, y)dx =
=
g(x, y)dx
g(x, s)dx
sy
a
a
a
Z b
Z b
1
=
2 g(x, y)dx =
(g(x, s) g(x, y))dx
sy a
a
Z b
Z b
1
2 g(x, )(s y)dx
2 g(x, y)dx =
=
sy a
a
Z b
(2 g(x, ) 2 g(x, y))dx.
=
a
Mivel 2 g C, ezrt > 0 > 0, hogy (x, s), (x, y) [a, b] [c, d], amelyre
k(x, s) (x, y)k = |s y| < ,
teljesl, hogy |2 g(x, s)2 g(x, y)| < , s mivel az y s s kztt van, gy |y| <
is fennll, amibl
|2 g(x, ) 2 g(x, y)| <
is kvetkezik.
Legyen s (c, d), s 6= y olyan, hogy |s y| < . Ekkor
Z b
Z b
Z b
G(s) G(y)
dx = (b a).
|
g(x,
)
g(x,
y)|dx
<
g(x,
y)dx
2
2
2
sy
a
a
a
216
G(s)G(y)
sy
G(s) G(y)
G (y) = lim
=
sy
sy
2 g(x, y)dx.
a
Ezt a ttelt a paramteres integrl derivlsa nven szoktk emlegetni, s formlisan azt mondja, hogy
d
dy
g(x, y)dx =
g
(x, y)dx,
y
azaz kellen sima fggvny esetn az integrl paramter szerinti derivlst az integrl alatt is el lehet vgezni.
Legyen Rn . Az tartomny csillagtartomny, ha a , hogy x
esetn az [a, x] := {a + t(x a) Rn | t [0, 1]} (az a pontbl az minden
pontjhoz el lehet ltni. . . ).
13.8. Ttel. (a potencil ltezsnek elgsges felttele)
Legyen Rn csillagtartomny. Legyen f C 1 () (i, j = 1, 2, . . . , n esetn
i fj C()) s i, j = 1, 2, . . . , n esetn x pontban
i fj (x) = j fi (x),
azaz f (x) Rnn szimmetrikus mtrix. Ekkor : R, amelyre i, j =
1, 2, . . . , n esetn x pontban i (x) = fi (x), azaz van potencilja az f fggvnynek.
Bizonyts. Legyen x , x 6= a tetszleges. Legyen az a pontot x-szel sszekt
szakasz a
[0, 1] t 7 a + t(x a)
a,x
f=
Megmutatjuk, hogy potencilja az f fggvnynek. Legyen i {1, 2, . . . , n} tetszleges index. Ekkor x esetn
i (x) = i
1
0
n
1X
0 j=1
13.3. VONALINTEGRL E
217
Z 1 X
n
{i fj (a + t(x a))t} (xj aj ) + fi (a + t(x a)) 1 dt =
=
0
j=1
Z 1 X
n
{j fi (a + t(x a))t} (xj aj ) + fi (a + t(x a)) dt =
=
0
j=1
218
14. fejezet
Dierencilegyenletek
A termszetben, trsadalomban zajl folyamatok lersra alkalmasak a dierencilegyenletek. Az albbi tmakrket trgyaljuk.
A dierencilegyenlet fogalma
Sztvlaszthat vltozj dierencilegyenletek megoldsa
Alkalmazsok
14.1. Differencilegyenletek A
14.1.1. Alapfogalmak
Legyen R2 tartomny, f : R folytonos fggvny. Keressk az olyan
y : R R fggvnyeket, amelyek D(y) rtelmezsi tartomnya nylt intervallum, y
folytonosan dierencilhat, minden x D(y) esetn (x, y(x)) s
y (x) = f (x, y(x)).
Ezt a problmt elsrend dierencilegyenletnek nevezzk, s az y = f (x, y) szimblummal hivatkozunk r. Ltni fogjuk, hogy ennek a problmnak ltalban vgtelen sok megoldsa van. Ha azonban valamely x0 pontban elrjuk a megolds y(x0 )
rtkt, akkor rendszerint egyetlen megoldst kapunk. Az
y(x0 ) = y0
sszefggst kezdeti felttelnek nevezik. A feladatokbl kiderl majd, hogy ilyen
tpus felttelek termszetes mdon hozztartoznak a dierencilegyenletekhez.
Felvetdik a krds, hogy az f fggvny folytonossga elegend-e ahhoz, hogy
legyen megoldsa az y = f (x, y) dierencilegyenletnek, illetve, ha van megoldsa,
akkor hogyan lehet ahhoz eljutni.
219
220
1/h s G =
(14.1)
(x I)
y (x)
h(y(x))
G (x) = g(x).
Mivel a (H y) s a G derivltfggvnyek (14.1) szerint az I intervallumon megegyeznek, azrt a H y s G fggvnyek csak egy konstansban trhetnek el egymstl.
Azaz van olyan c R szm, amellyel minden x I esetn
H(y(x)) = G(x) + c.
Ha a H fggvnynek van inverzfggvnye, H 1 , akkor
H 1 (H(y(x))) = H 1 (G(x) + c),
azaz minden x I esetn
(14.2)
Teht az y = g(x)h(y) feladat minden megoldsa elllthat (14.2) alakban. (Behelyettestssel ellenrizhet, hogy ezek a fggvnyek valban megoldsok.) Megjegyezzk, hogy ezt a gondolatmenetet csupn formlisan kvetve egy knnyen megjegyezhet megoldsi eljrshoz jutunk:
y = g(x)h(y)
dy
= g(x)h(y)
dx
14.1. DIFFERENCILEGYENLETEK A
221
dy
= g(x)dx
h(y)
R
R
Ezt az egyenletet integrlva s bevezetve a H := 1/h s G = g primitv fggvnyeket a
H(y) = G(x) + c
egyenlethez jutunk. Mindkt oldalra alkalmazva a H 1 inverzfggvnyt a (14.2)
megoldst kapjuk.
Nzzk meg, hogy ez az egyszeren megoldhat tpus milyen jelensgek lersra
alkalmas.
14.1.3. Alkalmazs
Tegyk fel, hogy egy radioaktv anyag a t = 0 idpillanatban m0 tmeg. Az id
elrehaladtval a t > 0 idpillanatban jellje m(t), mg a t+t idpontban m(t+t)
a sugrz anyag tmegt. Feltesszk, hogy a t s t + t idpont kztti m :=
m(t + t) m(t) tmegvltozs egyenesen arnyos a t idpontbeli m(t) tmeggel s
az eltelt t idvel: m m(t)t. Sugrzsrl van sz, gy t > 0 esetn m < 0.
Bevezetve egy k > 0 arnyossgi tnyezt a m = km(t)t, azaz a
m
= km(t)
t
egyenlsghez jutunk. Ha t 0, akkor a
m
dm
=
= km(t)
t0 t
dt
lim
222
A sugrz anyagok egyik jellemzje a T felezsi id, amely megadja, hogy mennyi id
alatt tnik el az anyag tmegnek fele. A T felezsi idvel megadhat a k bomlsi
lland. Ugyanis
m0
= m(T ) = m0 ekT ,
2
melybl
ln 2
.
k=
T
Kutatsok kimutattk, hogy l nvnyi szervezetben a szn 14-es izotpjnak koncentrcija lland, mivel a sztsugrzd C14 ptldik a lgkrbl az asszimilci sorn. Azonban, amikor pldul egy fa elpusztul, akkor tbb nem pl be a
C14 , ezrt cskken a fa anyagban a koncentrcija. Talltak egy korhadt fatrzset,
amelyben a C14 trfogategysgre es mennyisge csak 90%-a a szoksosnak. Hny
vvel ezeltt pusztult el a fa, ha tudjuk, hogy a C14 felezsi ideje 5370 v?
Mivel a C14 mennyisget a fa elpusztulstl szmtott t id mlva az
ln 2
m(t) = m0 e 5370 t
kplet adja s jelenleg a fa anyagban a C14 mennyisge 0, 9m0 , azrt a keresett idt
a
ln 2
0, 9m0 = m0 e 5370 t
egyenlet adja. Mindkt oldalt m0 -al osztva, majd logaritmust vve
ln 0, 9 =
ln 2
t
5370
melybl
t = 5370
ln 0, 9
= 816 v.
ln 2
Teht a fa 816 vvel ezeltt pusztult el. Ez a plda illusztrlta a C14 -es kormeghatrozs mdszert, amelyrt 1960-ban W. Libby amerikai vegysz kmiai Nobel djat
kapott...
14.2. Feladatok
1. (Korltlan szaporods modellje) Legyen a t = 0 idpontban m0 tmeg vrus
egy vros lakosaiban. rjuk le a jrvny kialakulsnak modelljt (ha nincs
ellenszere a vrus szaporodsnak...).
2. (Korltozott nvekeds modellje) Egy szigeten legfeljebb M mennyisg (pldul tmeg) nyl szmra terem elegend f. Beteleptenek m0 mennyisg
nyulat. rjuk le a nyulak mennyisgnek idbeli vltozst!
14.2. FELADATOK
223
Felhasznlva, hogy
1
1
=
m(M m)
M
1
1
+
m M m
kapjuk, hogy
Z
1
1
m
1
dm =
(ln m ln(M m)) =
ln
m(M m)
M
M M m
Ebbl
m
= M kt + M c
M m
m
= eM kt eM c .
M m
m(t) = M
eM kt
.
eM c + eM kt
1
eM c
+1
224
M
m(t)
m0
t
14.1. bra.
melybl
eM c =
gy a megolds
m(t) = M
m0
.
M m0
eM kt
.
M m0
M kt
m0 + e
Lthat, hogy
lim m(t) = M lim
t M m0 eM kt
m0
+1
= M.
15. fejezet
i=1,...,n, k=1,...,m
226
ltezik hatrrtke abban az rtelemben, hogy van olyan I R szm, hogy brmely
> 0 hibakorlthoz van olyan > 0 szm, hogy minden olyan felosztsra, amelyben
max{xi xi1 | i = 1, 2, . . . , n} <
s
max{yk yk1 | k = 1, 2, . . . , m} <
s ezekben tetszlegesen felvett i [xi1 , xi ] (i = 1, . . . , n) s k [yk1 , yk ] (k =
1, . . . , m) esetn
|n,m I| < .
Az ilyen I R szmot az f fggvny T tglalapon vett integrljnak nevezzk
s
Z
f := I.
T
=
Az
lim
xi 0, yk 0
i,k
f (i , k )xi yk =
i,k
f (x, y)dxdy.
[a,b][c,d]
227
S(x)
d
c
x
15.1. bra.
Ha ezt az [a, b] x 7 S(x) fggvnyt (amely f folytonossga miatt folytonos)
integrljuk az [a, b] intervallumon, akkor
Z b Z d
Z b
Z
Z
f (x, y)dy dx.
S(x)dx =
f (x, y)dxdy =
f=
T
[a,b][c,d]
228
f(x, y) :=
A Fubini-ttel szerint
Z
Z b Z
Z
f =
f=
Nx
Z
Z
f (x, y)dy dx =
(x)
f(x, y)dy +
(x)
f(x, y)dy +
(x)
f(x, y)dy dx =
(x)
(x)
Nx := {(x, y) R2 | x [1, 1] s x2 1 y 1 x2 }.
Nx
1
1
2 1x2
y
xydy dx =
x
dx =
2 x2 1
1
x2 1
Z 1
x
x
(1 x2 )2 (x2 1)2 dx =
0dx = 0.
2
2
1
Z
1x2
229
(x,y)
(x)
f (x, y, z)dz
f=
Nxy
dy
dx.
(x,y)
(x)
f (x)dx =
a
f ((t)) (t)dt.
6= 0.
det (u, v) =
u (u, v) v (u, v)
Bebizonythat, hogy ekkor
Z
Z
f=
f ((u, v), (u, v)) | det (u, v)|dudv.
Q
230
ezrt
Z
x + y dxdy =
[0,2][0,2]
2 Z 2
0
= u cos2 v + u sin2 v = u,
(u cos v)2 + (u sin v)2 ududv =
u dv du =
[u
0
v]2
0 du
2
u4
= 2
= 8.
4 0
Ekkor
Z
sin cos r sin sin r cos cos
= r2 sin .
15.2. Feladatok
1. Legyen f : R2 R, f (x,Ry) := xy + 2 fggvny, s T := [0, 1] [1, 2] egy
tglalap. Szmtsuk ki az T f (x, y)dxdy integrlt!
15.2. FELADATOK
231
y=2
y2
dx x + 2y
dy =
(xy + 2)dy =
dx
f (x, y)dxdy =
2
0
1
0
y=1
Z 1
Z 1
x
3
dx(2x + 4 2) =
=
x + 2dx =
2
0
0 2
1
2
11
3
3x
+ 2x = + 2 = .
=
2 2
4
4
0
Z
Nx
(2x + y + 1 x)dxdy =
=
dx(x
dx
0
1
x+3
2
x + y + 1dy =
2x
y2
dx xy +
+y
2
y= 12 x+3
y=2x
2
1 1
(2 x)2
1
1
x+3 +
x + 3 + x + 3 (x(2 x) +
+ 2 x)) =
2
2 2
2
2
3
2
Z 2
9x
7
7
9 2
2
x + 6x + dx =
+ 3x + x = 22.
=
2
8 3
2 0
0 8
y = r sin
= r,
| det(x(r, ), y(r, )) | =
sin r cos
232
15.2. bra.
ezrt
Z
f (x, y)dxdy =
dr
0
2
0
r cos r sin d =
dr r
0
2 =2
2 sin
=0
0dr = 0.
R
2
4. Szmtsuk ki az 0 ex dx improprius integrlt!
Megolds: Legyen R
> 0 tetszleges. Az ... bra jl szemllteti, hogy az orig
kzppont R s R 2 sugar negyedkrlap kzrefogja az N (R) = [0, R][0, R]
2
x2
y 2
(15.1)
f.
K(R 2)
f<
NR
K(R)
A Fubini-ttel alapjn
Z
f=
N (R)
dx
(x2 +y 2 )
dy =
x2
dxe
y 2
dy =
Z
x2
e
0
2
dx .
}
2
15.2. FELADATOK
233
tglalapon rtelmezett
x = r cos ,
y = r sin
K(R)
r 2
e
0
rdr =
1
2
d er
2
r=R
r=0
1 R2 1
.
+
= e
2
2 2
Hasonlan kapjuk az
Z
1 2R2 1
+
f = e
2
2 2
K(R 2)
eredmnyt is.
A kiszmtott integrlokat (15.1) egyenltlensgbe helyettestve azt kapjuk,
hogy brmely R > 0 esetn
2
(1 eR ) <
4
Z
x2
e
0
2
2
dx < (1 e2R ).
4
2
lim (1 eR ) =
R 4
4
Z
x2
2
2
dx lim (1 e2R ) = ,
R 4
4
R
2
amelybl 0 ex dx = 2 .
2
Megjegyezzk, hogy ebbl az eredmnybl a g(x) := ex (x R) fggvny
prossgt kihasznlva kvetkezik, hogy
Z
Z
2
x2
ex dx = .
e dx = 2
e 22 dx
2
234
15.3. bra.
helyettestst. Ekkor
x = 2t + m s dx = 2dt.
Ha x = , akkor t = , s ha x = +, akkor t = +, gy
Z
Z
Z
(xm)2
1
1
1
1
2
t2
2
2
et dt =
e
e 2dt =
dx =
= 1.
2
2
16. fejezet
Vektoranalzis
Trgrbk jellemzit rtelmezzk s szmtjuk ki (grblet, torzi, vhossz). Felleteken is bevezetjk az integrl fogalmt. A NewtonLeibniz-formula ltalnostsaknt
integrltalakt tteleket (Gauss, Stokes) fogalmazunk meg. Az albbi tmakrket
trgyaljuk.
Grbe rintje, binormlisa, fnormlisa
Grbe rektiklhatsga s hossza
Grblet, simulkr, torzi
Felletek paramteres megadsa
Felszn dencija
Felszni integrl
Felleti integrl
Gradiens, divergencia, rotci
Stokes-ttel, Gauss-ttel
16.1. Vektoranalzis A
16.1.1. Trgrbk
...
Legyen r : [, ] R3 egy megfelelen sima (r,
r, r C s brmely t (, )
...
esetn r(t),
236
r(t
0 ) r(t0 )
.
kr(t
0 ) r(t0 )k
Nyilvn b binormlis merleges a t tangencilis vektorra. A b s t skjt rektikl sknak nevezzk. Ennek a sknak az egyik normlvektora a t b, amelybl
szrmaztatott egysgvektort az f fnormlisnak nevezzk:
f :=
(r(t
0 ) r(t0 )) r(t
0)
.
k(r(t
0 ) r(t0 )) r(t
0 )k
0 ) rintvektor.)
Az f s b skja a normlsk (ennek egyik normlvektora az r(t
A t, f , b pronknt egymsra merleges egysgvektorok, amelyek ebben a sorrendben jobbsodrs rendszert alkotnak. A grbe r(t0 ) helyvektor pontjhoz illesztett
t, f , b vektorrendszert ksr tridernek nevezzk (t0 vltozsval a ksr trider
is vltozik, a grbe szmra nagyon termszetesnek tnik ez a rendszer).
A kznapi rtelemben is fontos tudni egy t hosszt. Tisztzni fogjuk, hogy
egy r : [, ] R3 trgrbnek mikor van vhossza, s ha van, akkor azt hogyan
deniljuk.
Legyen az [, ] egy tetszleges felosztsa:
: = t0 < t 1 < . . . < ti1 < ti < . . . < tn = .
Az r(ti1 ) s r(ti ) a grbe pontjaihoz vezet helyvektor, gy kr(ti ) r(ti1 )k a kt
pontot sszekt szakasz hossza. Legyen
L( ) :=
n
X
i=1
kr(ti ) r(ti1 )k
16.1. VEKTORANALZIS A
237
n
X
i=1
kr(ti ) r(ti1 )k
n
X
i=1
kr(
i ) (ti ti1 )k,
ami egy integrlkzelt sszeg. Megmutathat, hogy ez sima grbe esetn elvezet a
grbe vhosszhoz: sima grbe rektiklhat, s
Z
L=
kr(t)kdt.
= kr(t)k.
dt
Ha t, t + t [, ], akkor
s := s(t + t) s(t) =
t+t
t
kr(u)kdu
kr(t)kt,
ha t 0.
t0 t
dt
Gyakran hasznljuk a szgsebessg fogalmt. Tegyk fel, hogy az r(t) s az r(t +
t) vektorok hajlsszge . Az r trgrbe t paramter pontjban a szgsebessg
legyen
.
(t) := lim
t0 t
Elg sima grbe esetn kiszmtjuk az (t) szgsebessget. Ismert, hogy
kr(t) r(t + t)k = kr(t)k kr(t + t)k sin .
238
=
,
t
kr(t)k kr(t + t)k
r(t + t) r(t)
= r(t),
kr(t) r(t)k
(t) = lim
=
.
t0 t
kr(t)k2
lim
t0
s0
s
=
:
,
s
t t
amibl
= lim
: lim
= (t) : kr(t)k,
G(t) = lim
t0 t t0 t
s0 s
ahol (t) az r (ez is trgrbe!) szgsebessge a t paramter helyen. Teht
G(t) =
Legyen G(t) 6= 0 esetn
kr(t)
r(t)k
kr(t)
r(t)k
: kr(t)k
=
.
2
3
kr(t)k
kr(t)k
R(t) :=
1
> 0.
G(t)
Igazolhat, hogy a grbe t paramter pontjhoz illeszked R(t) sugar kr, mely
a simul skban fekszik, s amelynek a kzppontja az f fnormlis egyenesn van,
a grbhez jl simul krt ad. Simul krnek nevezik. Az r grbn val mozgs
rvid szakaszon a simul krn val mozgssal helyettesthet.
16.1. VEKTORANALZIS A
239
A grblet azt mutatja meg, hogy egy grbe mennyire tr el az egyenestl. Egy
msik jellemz adat, a torzi arrl tjkoztat, hogy a grbe mennyire tr el egy
skgrbtl.
A grbe simul skjnak normlvektora a binormlis. Ha a paramtervltozssal
a simul sk vltozik, akkor errl a binormlis elhajlsa tanskodik. A s vhosszvltozssal jr binormlis szgelforduls jellemzi a torzit (csavarodst), azaz a t
paramter helyhez tartoz torzi legyen
.
s0 s
T (t) := lim
ahol az r(t) s az r(t + t) grbepontoknl rvnyes simul skok normlvektornak (b(t) s b(t + t)) hajlsszge, s pedig a kt pont kztti vhossz. Az
...
elzekhez hasonlan, elg sima grbe esetn (r,
r, r C)
s
kb(t) b(t)k
= lim
:
= lim
: lim
=
: kr(t)k,
s0 s
t0 t
t t0 t t0 t
kb(t)k2
T (t) = lim
...
|hr(t)
r(t), r (t)i|
.
kr(t)
r(t)k2
16.1.2. Felletek
Legyen S egy sk a trben. Az S sk egy pontjhoz vezessen az r0 vektor. Legyen tovbb az a s b kt nem prhuzamos skbeli vektor. Ismert, hogy az S sk tetszleges
pontjhoz vezet r vektor elll alkalmas u, v R szmokkal
r = r0 + ua + vb
alakban. Koordintnknt ez azt jelenti, hogy
x = x0 + ua1 + vb1
y = y0 + ua2 + vb2
z = z0 + ua3 + vb3 .
Teht az S sk brmely pontjt hrom ktvltozs fggvnnyel meg tudtuk adni.
240
(u,v)
v
y
16.1. bra.
Ez ltalnosan is igaz. Legyen
: R2 R3 ,
X
= Y ,
Z
X(u, v)
Y (u, v) R3
Z(u, v)
a tr egy pontjhoz vezet helyvektort ad. Ezek a pontok egy felletet (ktparamteres fellet) hatroznak meg. Pldul a : [0, 2] [0, ] R3 ,
3 sin v cos u
(u, v) := 3 sin v sin u
3 cos v
egy (0, 0, 0) kzppont, R = 3 sugar gmbfellet ktparamteres ellltsa (16.1.
bra).
Legyen : R2 R3 , (u0 , v0 ) D(). A p : R R3 , p(u) := (u, v0 ), a felleten fut grbe legyen az u-paramtervonal, mg a q : R R3 , q(v) := (u0 , v)
a v-paramtervonal (16.2. bra).
16.1. VEKTORANALZIS A
241
p(u)
(u
,v)
0
q(v)
(u0,v0)
v0
(u,v0)
j
u0
u
i
16.2. bra.
s ekkor az n := p(u
0 ) q(v
0 ) a fellet (u0 , v0 ) pontjhoz tartoz rintskjnak
a normlvektora lesz. Mivel
v X(u0 , v0 )
u X(u0 , v0 )
0 ) = v Y (u0 , v0 ) ,
p(u
0 ) = u Y (u0 , v0 ) s q(v
v Z(u0 , v0 )
u Z(u0 , v0 )
ezrt az rintsk normlvektora az
i
j
n = u X u Y
v X v Y
k
u Z
v Z
u X(u, v)
(u + u, v) (u, v) u Y (u, v) u =: a,
u Z(u, v)
v X(u, v)
(u, v + v) (u, v) v Y (u, v) v =: b,
v Z(u, v)
242
v
u
16.3. bra.
a terlete, amelynek oldalvektorai a s b. Ez a terlet a vektorilis szorzattal kifejezhet:
i
j
k
ka bk = knkuv = k u X u Y u Z k uv.
v X v Y v Z
v X(u, v)
u X(u, v)
XX
k u Y (u, v) v Y (u, v) kuv,
u
v
v Z(u, v)
u Z(u, v)
amely a feloszts minden hatron tli srtsvel a fellet rtelmezsi tartomnyra vett integrlhoz tart. Teht a fellet felszne
Z
ku v kdudv,
S :=
ahol
u X
u = u Y
u Z
v X
v = v Y .
v Z
16.1. VEKTORANALZIS A
ezrt
S=
243
Felszni integrl
Legyen : R2 R3 , := D() egy sima fellet. Tegyk fel, hogy a fellet
minden pontjhoz hozzrendeltnk egy vals szmot, azaz legyen U : R3 R,
D(U ) := (). Tegyk fel, hogy U folytonos. Az U skalrfggvny felletre
vett integrljt a szoksos mdon rtelmezzk:
1o Felosztjuk az paramtertartomnyt uv terlet cellkra.
2o A cellkban felvesznk tetszlegesen (u , v ) pontokat.
3o Elksztjk az U ((u , v )) ku v kuv szorzatot (az U fggvny egy
felleti pontban vett rtknek s a uv terlet cella kpnek a kzelt
terlett szoroztuk ssze).
P P
4o A u v U ((u , v )) ku v kuv egy integrlkzelt sszeg.
Felleti integrl
Legyen : R2 R3 , := D() egy sima fellet. Tegyk fel, hogy a fellet minden
pontjhoz egy vektort rendeltnk, azaz F : R3 R3 , D(F ) = (). Tegyk
fel, hogy F folytonos. Az F vektorrtk fggvny felletre vett integrljt az
eddigiekhez hasonlan rtelmezzk:
1o Felosztjuk az paramtertartomnyt uv terlet cellkra.
2o A cellkban tetszlegesen felvesznk (u , v ) pontokat.
3o Elksztjk az F ((u , v )) vektort.
4o A cella (u, v) sarokpontjhoz tartoz (u, v) ponthoz tartozik egy rintsk,
amelynek normlvektora
u (u, v) v (u, v).
244
vektort felsznvektornak nevezzk. (A S hossza ppen a felletelem terlete, s irnya a felletre merleges, p(u),
q(v)
hF ((u , v )), Si
(16.1)
16.1.3. A nabla
A nabla egy jelkpes vektor, amely az x szerinti, az y szerinti s a z szerinti parcilis
derivlsra ad utastst. Jele . Vektorknt is hasznlhat, skalris s vektorilis
szorzatok egyik tnyezje is lehet.
x
:= y
z
Ha f : R3 R sima fggvny, akkor
x f
gradf = f = y f .
z f
(Itt az f gy viselkedik, mint egy vektor szmszorzja, csak a szokstl eltren most
a vektor mgtt helyezkedik el.)
Ha f : R3 R3 sima fggvny, akkor az f (x, y, z) R33 derivltmtrix ftljban ll elemek sszege legyen a
divf (x, y, z) = x f1 (x, y, z) + y f2 (x, y, z) + z f3 (x, y, z).
16.1. VEKTORANALZIS A
245
Az f divergencija a vektorral:
divf = h, f i
(a nabla s az f vektor skalris szorzata).
Ha f : R3 R3 sima fggvny, akkor az f (x, y, z) R33 derivltmtrix ftlra
szimmetrikusan elhelyezked elemei klnbsgeibl ll vektort az f rotcijnak
nevezzk, s
y f3 (x, y, z) z f2 (x, y, z)
rotf (x, y, z) := z f1 (x, y, z) x f3 (x, y, z) .
x f2 (x, y, z) y f1 (x, y, z)
Az f rotcija a vektorral:
rotf = f
A gradf jelentst az irnymenti derivlt kapcsn dertettk fel, a rotf a vonalintegrl tmakrben, a potencil ltezsnek elgsges felttelnl kerlt mr el. (A
divf hamarosan megjelenik.) Lthat, hogy a grad, div s rot egy-egy dierencilsi
utasts, amely a segtsgvel ttekinthetv vlik.
A valban gy viselkedik, mint egy vektor. Pldul f : R3 R elg sima
fggvny esetn
rot(gradf ) = (f ) = 0,
a Laplace f.
246
azaz a rotF (az F fggvnyre alkalmaztunk egy dierencilopertort) felleti integrlja egyenl a fellet hatrn az F vonalintegrljval.
A msik ltalnosts a kvetkez:
Legyen egy zrt, sima fellet a : R2 R3 , amely egy V R3 trrszt vesz krl
(a felsznvektorokat kifel irnytjuk).
16.2. Ttel. (Gauss-ttel)
Ha F : R3 R3 sima vektorfggvny, akkor
Z
Z
F,
divF =
azaz a V trbeli tartomnyra integrlva a divF fggvnyt (egy msik dierencilopertort alkalmaztunk az F fggvnyre), ez az integrl a trrsz hatrn vett felleti
integrlba megy t.
16.2. Feladatok
cos t
1. Legyen r : [0, 6] R3 , r(t) := sin t egy csavarvonal. Szmtsa ki a
t
t0 := 2 paramterrtkhez tartoz
3 sin v cos u
: [0, 2] [0, ] R3 , (u, v) := 3 sin v sin u
3 cos v
16.2. FELADATOK
247
4. Mutassuk meg, hogy az f : [a, b][c, d] R sima fggvny mint fellet felsznt
a
Z Z q
b
integrl adja!
Megolds: Legyen
y
: [a, b] [c, d] R3 , (x, y) :=
f (x, y)
1
,
0
x (x, y) =
x f (x, y)
kx (x, y)k2 = 1 + [x f (x, y)]2 ,
1
y (x, y) =
y f (x, y)
kx k2 ky k2 hx , y i2 = 1 + (x f )2 + (y f )2 .
Ebbl mr kvetkezik az llts.
u+v
5. Legyen : [0, 1] [0, 1] R3 , (u, v) := u v , s U : R3 R,
u
R
U (x, y, z) := x + y + z. Szmtsa ki az U felszni integrlt!
6. Legyen
: [0, 1] [0, 1] R3 ,
u+v
(u, v) := u v ,
u
248
7. Legyen
y
F (x, y, z) := x .
z
felleti integrlt!
cos v cos u
: [0, 2] [0, /2] R3 , (u, v) := cos v sin u
sin v
cos t
r : [0, 2] R3 , r(t) := sin t .
0
x2 y
Legyen F : R3 R3 , F (x, y, z) := yz egy vektorfggvny. Ellenrizzk
z
a Stokes-ttelt!
Megolds:
i
j k
rotF (x, y, z) = F (x, y, z) = x y z = i(0y)j(00)+k(0x2 ),
x2 yz z
cos v sin u
y
.
0
teht rotF (x, y, z) = 0 , rotF ((u, v)) =
2
2
(cos v cos u)
x
sin v cos u
cos v sin u
u (u, v) = cos v cos u , v (u, v) = sin v sin u
cos v
0
i
j
k
u (u, v) v (u, v) = cos v sin u cos v cos u
0
sin v cos u sin v sin u cos v
= i(cos2 v cos u) j( cos2 v sin u) + k(cos v sin v sin2 u + cos v sin v cos2 u) =
cos2 v cos u
= cos2 v sin u ,
cos v sin v
16.2. FELADATOK
249
/2
0
/2
0
2
2
cos v sin v
cos v cos u
!
Mivel
Z
Z
Z
Z
3
2
cos vdv = cos v(1 sin v)dv = cos vdv + sin2 v cos vdv =
= sin v +
ezrt
Z
Msrszt
/2
0
/2
2
sin3 v
= .
cos vdv = sin v +
3
3
0
/2
cos4 v
cos v( sin v)dv =
4
Ezeket felhasznlva
Z
Z
rotF =
sin3 v
,
3
/2
0
1
= .
4
1
2
2
+ cos u
du
sin u cos u
3
4
0
2
Z
2 sin2 u
1 2 1 + cos 2u
=
du =
3
2
4 0
2
0
1 1
sin 2u 2
= 0
u+
= .
4 2
4
4
0
Z
Z 2
Z 2 * cos2 t sin t
sin t +
, cos t dt =
0
F =
hF (r(t)), r(t)idt
=
r
0
0
0
0
Z 2
Z 2
Z 2
2
1 cos 4t
sin 2t
dt =
dt =
sin 4t 2
= t+
= .
8
32 0
4
250
rotF =
F = .
4
r
x2 y
8. Legyen F : R3 R3 , F (x, y, z) := yz vektorfggvny.
z
Legyen
V := {(x, y, z) R3 | x2 + y 2 + z 2 R2 }
R cos v cos u
: [0, 2] [/2, /2] R3 , (u, v) := R cos v sin u
R sin v
r cos v cos u
: [0, 2] [/2, /2] [0, R] R3 , (u, v, r) := r cos v sin u .
r sin v
= r2 cos v.
16.2. FELADATOK
251
/2
/2
/2
/2
2
0
(2(r cos v cos u)(r cos v sin u) + r sin v + 1)r2 cos vdr dv du =
Z
/2
/2
!
2 5
1 4
1 3
3
R cos v cos u sin u + R sin v cos v + R cos v dv du.
5
4
3
A 7. feladatbl
/2
sin3 v
4
cos vdv = sin v
= .
3
3
/2
/2
Z
Z
/2
/2
sin2 v
sin v cos vdv =
2
/2
/2
/2
= 0,
/2
cos vdv = 2.
/2
gy az integrlst folytatva:
2
Z 2
1 4 2 3
8 5 sin2 u
4 3
4
4 2 5
R cos u sin u + R + R du = R
R .
+ R3 =
3 5
4
3
15
2
3
3
0
0
A Gauss-ttel jobb oldala egy felleti integrl:
Z
Z
F =
hF ((u, v)), u (u, v) v (u, v)idudv.
[0,2][ 2 , 2 ]
R cos v sin u
u (u, v) = R cos v cos u ,
0
R sin v cos u
v (u, v) = R sin v sin u
R cos v
i
j
k
u (u, v) v (u, v) = R cos v sin u R cos v cos u
0
R sin v cos u R sin v sin u R cos v
2
R cos2 v cos u
= R2 cos2 v sin u .
R2 cos v sin v
252
Ezekkel a fggvnyekkel
* R3 cos3 v cos2 u sin u R2 cos2 v cos u +
Z
Z
R2 cos v sin v sin u , R2 cos2 v sin u dudv =
F =
[0,2][ 2 , 2 ]
R sin v
R2 cos v sin v
!
Z 2 Z /2
(R5 cos5 v cos3 u sin u + R4 cos3 v sin v sin2 u + R3 sin2 v cos v)dv du.
=
/2
sin3 v
3 .
cos4 v
sin v
cos v sin vdv =
(cos v sin v) sin vdv =
4
Z
1
1
= cos4 v sin v +
cos5 vdv.
4
4
3
cos4 v
cos vdv =
4
sin3 v 1
1
cos vdv = sin v
+ cos4 v sin v
3
4
4
5
cos5 vdv,
sin3 v 1
+ cos4 v sin v,
3
4
/2
Z /2
4 4
sin3 v 1
16
4
4
5
= = .
sin v
+ cos v sin v
cos vdv =
5
3
4
5 3
15
/2
/2
5
4
Ezzel az eredmnnyel
Z
/2
(R5 cos5 v cos3 u sin u + R4 cos3 v sin v sin2 u + R3 sin2 v cos v)dv =
/2
3 /2
/2
16 5
cos4 v
3
4
2
3 sin v
= R cos u sin u + R sin u
+R
=
15
4
3
/2
/2
=
16 5
2
R cos3 u sin u + R3 .
15
3
16.2. FELADATOK
253
Vgl
Z
Teht
2
16 5
2 3
2 3
cos4 u
4 3
16 5
3
+ R u
R cos u sin u + R du =
R
R .
=
15
3
15
4
3
3
0
Z
divF =
V
F =
4 3
R .
3
254
17. fejezet
Komplex fggvnyek
A vals vltozs, vals rtk fggvnyekkel kapcsolatos fogalmak, ttelek egy rsze
komplex vltozs, komplex rtk fggvnyek krben is rvnyes. rdekes lehet
kitrni a prhuzamokra s az eltrsekre is. A komplex fggvnytan segt a mlyebb
sszefggsek feltrsban. Vizsglatainkban gyakran hivatkozunk a szemlletre.
256
A komplex vgtelen sorok kztt is megbzhatak az abszolt konvergens sorok. Abszolt konvergens sor tetszlegesen trendezhet, abszolt konvergens marad, s az
sszege sem vltozik.
Megjegyezzk, hogy majorns kritriumot, vltakoz eljel sorokra vonatkoz Leibnizttelt ne keressnk a komplex sorokra vonatkozan. . .
257
17.6. Ttel.
(CauchyHadamard)
P
Legyen 0 cn (z a)n egy hatvnysor. Tekintsk az
p
p
1
, ha lim n |cn | R s lim n |cn | =
6 0
n
lim
|cn |
p
n
R :=
|cn | = 0
,
ha lim p
n
0,
ha lim |cn | =
konvergenciasugarat. Ekkor
KR (a) KH
X
0
cn (z a)n K r (a).
X
0
cn (z a) C,
f (z) :=
cn (z a)n
n=0
a hatvnysor sszegfggvnye.
Nhny fontos pldt mutatunk. Mindegyik esetben legyen a := 0.
1
n!
zn =
n=0
1
.
1z
q
1
(n = 0, 1, 2, . . .). Ekkor lim n n!
= 0, gy R = s
Exp : C C Exp(z) :=
3. Legyen
cn :=
X
1 n
z .
n!
n=0
1
, ha n = 2k
(1)k (2k)!
0,
ha n = 2k + 1.
p
Ekkor lim n |cn | = 0, gy R = s
Cos : C C Cos(z) :=
X
k=0
(1)k
1 2k
z .
(2k)!
258
4. Legyen
cn :=
1
(1)k (2k+1)!
, ha n = 2k + 1
0,
ha n = 2k.
p
Ekkor lim n |cn | = 0, gy R = s
X
(1)k
Sin : C C Sin(z) :=
k=0
5. Legyen
cn :=
1
(2k)! ,
0,
p
Ekkor lim n |cn | = 0, gy R = s
ha n = 2k
ha n = 2k + 1.
Ch : C C Ch(z) :=
6. Legyen
cn :=
1
z 2k+1 .
(2k + 1)!
1
(2k+1)! ,
0,
p
Ekkor lim n |cn | = 0, gy R = s
Sh : C C Sh(z) :=
X
k=0
1 2k
z .
(2k)!
ha n = 2k + 1
ha n = 2k.
X
k=0
1
z 2k+1 .
(2k + 1)!
Feltnhet, hogy a vals fggvnyek krben az exp (az e alap exponencilis fggvny), cos, sin, ch, sh fggvnyek 0 kzppont Taylor-sorai nagyon hasonltanak az
Exp, Cos, Sin, Ch, Sh komplex fggvnyekre. Ezek a komplex fggvnyek a vals
vltozs fggvnyeknek a C komplex skra trtn kiterjesztsnek is tekinthetk.
Mly s csak a komplex fggvnyek segtsgvel feltrhat sszefggsek derlnek ki
a tovbbiakban:
Tekintsk az Exp fggvnyt a z := it, t R helyen:
Exp(it) =
X
(it)n
n=0
n!
cos t =
= 1 + it
(1)k
k=0
i sin t = i
X
k=0
(1)k
+ +
+ ...
2!
3!
4!
5!
6!
7!
t2 t4 t6
t2k
= 1 + + ...
(2k)!
2! 4! 6!
t2k+1
it3 it5 it7
= it
+
+ ...
(2k + 1)!
3!
5!
7!
259
+ +
+ . . . = Exp(it)
2!
3!
4!
5!
6!
7!
Exp(is) + Exp(is)
,
2
Sin s =
Exp(is) Exp(is)
2i
X
(is)2k
k=0
Sh(is) =
(2k)!
=1
s2 s4 s6
+
+ . . . = Cos s,
2!
4!
6!
X
(is)2k+1
is3 is5 is7
= is
+
+ . . . = iSin s.
(2k + 1)!
3!
5!
7!
k=0
v =: Imf
260
A komplex fggvnyekkel vgzett mveletek pontosan megegyeznek a vals fggvnyek kztti mveletekkel, ezrt rvnyesek maradnak a vals fggvnyek krben
megismert ttelek:
17.9. Ttel. Ha f C s C, akkor f C.
17.10. Ttel. Ha f, g C, akkor f + g, f g C.
17.11. Ttel. Ha g C s g(z) 6= 0, z D(g), akkor
1
g
C.
f
g
C.
261
X
zn
n=0
n!
1=
X
zn
n=1
n!
X
z n1
n=1
n!
(z 0),
262
s az
F : C C, F (z) :=
X
z n1
n=1
n!
(17.1)
Mivel f D[a], ezrt ltezik olyan Fa = F1 + iF2 C[a] (ekkor F1 , F2 C[(p, q)]),
hogy minden z = x + iy D(f ) esetn
f (z) f (a) = Fa (z) (z a) = (F1 (x, y) + iF2 (x, y))(x p + i(y q)) =
(17.2)
= F1 (x, y) (x p) F2 (x, y) (y q)
xp
yq
(17.3)
(17.4)
263
[,]
[,]
f1 (t)dt + i
f2 (t)dt.
[,]
264
gh
Z
f (g(t))g (t)dt+
f (h(t))h (t)dt =
Z
f + f.
g : [, ] ,
g (t) := g( + t)
fggvnyt rtjk.
Z
Z
Z
f ( g (t)) g (t)dt =
f=
265
f (g(s))g (s)ds = f.
f (g(s))g (s)(1)(1)ds =
f=
f =
|f (g(t))| g (t) dt.
f (g(t))g (t)dt
f
x 2 (t) + y 2 (t)dt = M L,
M
|g
(t)|dt
=
M
g
Bizonyts. Tekintsk az f (x + iy) = u(x, y) + iv(x, y); g(t) = x(t) + iy(t) alakban
a komplex fggvny integrljt:
Z
Z
Z
(u(x(t), y(t)) + iv(x(t), y(t))(x(t)
+ iy(t))dt
=
f (g(t)) g (t)dt =
f =
g
=
=
{u(x(t), y(t))x(t)
v(x(t), y(t))y(t)}
+ i{v(x(t), y(t))x(t)
+ u(x(t), y(t))y(t)}dt
=
Z
u(x(t), y(t))
x(t)
v(x(t), y(t))
x(t)
h
,
idt + i
h
,
idt.
(17.5)
v(x(t), y(t))
y(t)
u(x(t), y(t))
y(t)
266
17.1. bra.
u
Vegyk szre, hogy az els integrl az
: R2 R2 , mg a msodik integrl
v
v
x
2
2
a
: R R fggvny :=
: [, ] R2 zrt grbre vett vonalinu
y
tegrlja (lsd a vonalintegrl rtelmezst. . . ). A CauchyRiemann-egyenletek miatt
az els integrlnl 2 u = 1 (v), a msodik integrlnl 2 v = 1 u, azaz mindkt
fggvny derivltmtrixa szimmetrikus, ezrt mindkt fggvnynek van potencilja,
R
amelynek kvetkeztben brmely zrt grbn vett vonalintegrljuk 0. Teht g f = 0.
Megjegyezzk, hogy a ttel ltalnosabban is igaz. Elg, ha C egyszeresen
sszefgg tartomny, azaz minden benne halad zrt grbe ltal hatrolt skrsz
is rszhalmaza az halmaznak, lsd a 17.1 s a 17.2 brn.
Az f : C fggvnytl is elg a dierencilhatsgot megkvetelni (nem
felttlenl folytonos a derivlt). A grbe legyen zrt, de elg, ha van vhosszsga
(rektiklhat). Goursat-tl (1915) ered a ttel ilyen gyengbb felttelek melletti
igazolsa, amely termszetesen hosszadalmasabb.
Rtrnk a Cauchy-alapttel Riemanntl szrmaz ltalnostsra.
17.18. Ttel. (Riemann-ttel)
Legyen C tartomny, p s f C1 ( \ {p}), de f C[p]. (Az f fggvny
a p pont kivtelvel folytonosan derivlhat, de azrt a p pontban legalbb folytonos
R
legyen.) Legyen g : [, ] \ {p} tetszleges sima zrt grbe. Ekkor (is) g f = 0.
267
17.2. bra.
e
c (p,r)
e g
c (p,r)
c(p,r)
R
R
azaz g f = c(p,r) f . Az f fggvny az egsz halmazon folytonos, gy ha leszktjk
az f fggvnyt a p kzppont, r sugar zrt krlemezre (kompakt halmaz), akkor
ezen korltos lesz, gy van olyan M > 0, hogy minden z K r (p) esetn |f (z)| M .
Legyen r > > 0 tetszleges. Az elbbi eljrst a p kzppont, sugar krrel is
vgiggondolhatjuk, s ekkor
Z Z
f =
f
M 2,
c(p,)
g
R
amely azt jelenti, hogy | g f | egy olyan nemnegatv vals szm, amely brmely pozitv szmnl kisebb. Ez csak a 0 lehet, teht
Z
f = 0.
g
f,
c(p,r)
268
17.3. bra.
s rgztsnk egy z pontot. Tekintsk az
(
F : C,
F (w) :=
f (w)f (z)
,
wz
f (z),
ha w 6= z
ha w = z.
Rszletesebben:
Z
Z
Z
Z
f (w)
1
f (w) f (z)
dw =
f (z)
dw.
0 = F (w)dw =
wz
g wz
g wz
g
g
1
Kiszmtjuk az utols integrlt. A h : \ {z} C, h(w) := wz
fggvny folytonosan derivlhat, a g grbre vonatkoz integrlja helyett egy z kzppont, alkalmas
r > 0 sugar c(z, r) pozitv irnyts krre vett integrlja is vehet (lsd a Riemannttel bizonytsnl kvetett eljrst):
1
dw =
wz
c(z,r)
1
dw =
wz
2
0
1
iExp(it)dt =
z + Exp(it) z
idt = 2i.
269
270
e(z,z+s)
amibl
e(a,z+s)
e(a,z+s)
e(a,z)
f=
e(z,z+s)
e(a,z)
f (z)dt =
(f (z + tsn ) f (z))dt,
f
(z)
dt = .
|f
(z
+
ts
)
f
(z)|dt
<
n
n
0
R1
0
lim
s0
F (z + s) F (z)
s
hatrrtk, s
F (z + s) F (z)
= f (z).
s
Megjegyezzk, hogy a ttel bizonytsban mdszert is adtunk a primitv fggvny
ellltsra.
F (z) = lim
s0
271
17.4. bra.
n1
+ ...,
f (a) = c0
f (a) = c1
f (a) = 2c2
f (z) =
1
2i
c(a,r)
f (w)
dw,
wz
272
el:
1
1 X
1
1
1
=
=
=
za
wz
(w a) (z a)
w a 1 wa
wa
n=0
za
wa
n
n=0
1
(za)n
(w a)n+1
za
| < 1, gy a
Azrt rhattuk fel a geometriai sort, mert |z a| < |w a|, ezrt | wa
sor abszolt konvergens, s mint fggvnysor brmely kompakt rszn egyenletesen
is konvergens. Ez a tulajdonsga lehetv teszi az sszegfggvny integrljnak tagonknti szmtst.
Visszatrve:
1
f (z) =
2i
c(a,r)
1
(z a)n dw =
(w a)n+1
c(a,r)
n=0
(
)
Z
X
f (w)
1
dw (z a)n
=
2i c(a,r) (w a)n+1
f (w)
1
dw =
wz
2i
f (w)
n=0
a)
n
n=0
1
cn :=
2i
c(a,r)
f (w)
dw,
(w a)n+1
n = 0, 1, 2, . . .
k!
2i
c(a,r)
f (w)
dw,
(w a)k+1
k = 0, 1, 2, . . .
(k)
k!
(z) =
2i
c(z,r)
f (w)
dw,
(w z)k+1
k = 0, 1, 2, . . .
273
X
cn (z a)n ,
f (z) =
n=0
ahol
f (n) (a)
1
cn =
=
n!
2i
c(a,r)
f (w)
dw,
(w a)n+1
n = 0, 1, 2, . . .
Megjegyezzk, hogy a komplex fggvnytanban hagyomnyosan holomorfnak neveznek egy fggvnyt, ha egy tartomny minden pontjban dierencilhat. Analitikusnak nevezik a fggvnyt, ha egy hatvnysor sszegfggvnye. Most ppen
azt mutattuk meg, hogy a holomorf fggvnyek analitikusak. Ha f C1 (), akkor
f C () is, gy az f fggvny vals s kpzetes rsznek a magasabbrend parcilis
derivltjai is lteznek, st folytonosak is lesznek. Hasznljuk fel ezt a tulajdonsgukat! Legyen f = u + iv. Brmely x + iy esetn a CauchyRiemann-egyenletek
szerint
1 u(x, y) = 2 v(x, y)
2 u(x, y) = 1 v(x, y)
Ksztsk el az els egyenlsg x szerinti s a msodik y szerinti parcilis derivltjt:
1 (1 u)(x, y) = 1 (2 v)(x, y)
2 (2 u)(x, y) = 2 (1 v)(x, y),
majd adjuk ssze ezeket:
12 u(x, y) + 22 u(x, y) = 0
[Felhasznltuk a Young-ttelt.]
Az olyan h : R2 R fggvnyeket, amelyek egy tartomnyon ktszer folytonosan
dierencilhatk, s amelyek a tartomny minden pontjban eleget tesznek a (skbeli)
Laplace-egyenletnek
12 h + 22 h = 0,
harmonikus fggvnyeknek nevezik. Kiderlt, hogy ha f C1 () komplex fggvny, akkor a vals rsze (de a kpzetes rsze is. . . ) harmonikus fggvny. Knnyen
ellenrizhet, hogy pldul az x2 + y 2 , ex cos y, ln(x2 + y 2 ) harmonikus fggvnyek.
274
17.5. bra.
Ha az a pontban az f minden derivltja 0, azaz minden k N esetn f (k) (a) = 0,
akkor az a pont krli krlemezen az f azonosan 0. Hiszen van olyan K(a)
krlemez, hogy minden z K(a) esetn f (z) elll a Taylor-sornak sszegeknt:
f (z) =
X
f (k) (a)
k=0
k!
(z a)k = 0.
f (z) =
alak, ahol gn folytonos fggvny, s gn (a) 6= 0. Emiatt van olyan K(a) krnyezete
az a pontnak, hogy brmely z K(a) esetn gn (z) 6= 0. A (z a)n csak a z = a
pontban 0. Kimondhatjuk ezekbl kvetkezen a kvetkez ttelt:
17.9. BECSLSEK
275
17.9. Becslsek
A Cauchy-formulkat becslsekre hasznljuk.
Legyen C tartomny, a s r > 0 olyan, hogy a Kr (a) krlap a c(a, r)
hatrol krvel egytt legyen az rsze, tovbb f C1 (). Legyen
M (r) := max{|f (w)| | w c(a, r)},
azaz M (r) az |f | fggvny legnagyobb rtke az a kzppont, r sugar krvonalon.
Ekkor
M (r)
|f (n) (a)| n! n , n = 0, 1, 2, . . .
r
Ugyanis tekintsk a Cauchy-formulkat:
Z
f (w)
n!
dw, n = 0, 1, 2, . . .
f (n) (a) =
2i c(a,r) (w a)n+1
A c(a, r) : [0, 2] C, c(a, r) = a + rExp(it) a krvonal paramteres ellltsa. gy
Z
Z
n!
f
(w)
n! 2
f (a + rExp(it))
(n)
|f (a)| =
dw =
riExp(it)dt =
n+1
n+1
2 0 (a + rExp(it) a)
2 c(a,r) (w a)
Z 2
n!
.
f
(a
+
rExp(it))
Exp(int)dt
=
2rn 0
|f (n) (a)|
n!
M (r),
rn
n = 0, 1, 2, . . .
276
n!M
,
rn
n = 0, 1, 2, . . .
Az r > 0 tetszleges, ezrt 1/rn brmely pozitv szmnl kisebb, gy f (n) (0) csak
0 lehet. Ez n = 0, 1, 2, . . . esetn igaz. Legyen z C tetszleges, s rjuk fel az f
fggvny Taylor-sort.
f (z) = f (0) +
f (0)
f (0) 2
f (n) n
z+
z + ... +
z + . . . = f (0) =: c,
1!
2!
n!
.
.
.
|z| > R L
|z|
|z|2
|z|n 2
2
277
amibl
M = pf (a) =
1
2
pf (a + rExp(it))dt =
0
1
2
Re[pf (a + rExp(it))]dt,
0
hiszen a bal oldalon vals szm ll, ezrt az integrandus is szksgkppen olyan,
amelynek a kpzetes rsze 0.
278
17.11. Laurent-sor
Legyen csillagtartomny, a olyan, hogy f C1 ( \ {a}). Vegyk krl az
a pontot egy c(a, R1 ) s c(a, R2 ) krvonallal, amelyek -ban haladnak, R1 < R2 .
A kt kr kztti tartomnyt jellje (c(a, R1 ), c(a, R2 )). Tekintsnk egy tetszleges
z (c(a, R1 ), c(a, R2 )) krgyrbeli pontot. Kssk ssze a kt krvonalat egy e
egyenesszakasszal, majd pozitv krljrssal ksztsk el a
G := c(a, R2 ) e
c (a, R2 )
e
zrt grbt, amely ltal hatrolt tartomnyban fggvnynk folytonosan dierencilhat, s amely a z pontot tartalmazza. Az itt rvnyes Cauchy-alapttel szerint
Z
f = 0,
G
17.11. LAURENT-SOR
279
17.6. bra.
Az R2 sugar (kls) krn vett integrl kezelse megegyezik a Taylor-sorfejtssel.
X (z a)n
1
1
1
1
=
=
,
=
za
wz
w a (z a)
w a 1 wa
(w a)n+1
n=0
hiszen
z a |z a|
w a = R2 < 1,
ahol
cn =
1
2i
1
2i
c(a,R2 )
c(a,R2 )
X
f (w)
cn (z a)n ,
dw =
wz
n=0
f (w)
dw,
(w a)n+1
n = 0, 1, 2, . . .
(17.6)
(n)
Megjegyezzk, hogy most cn nem felttlenl egyezik meg az f n!(a) szmmal, hiszen
az a pontban lehet, hogy nincs is rtelmezve legtbbszr ez fordul el a fggvny.
Az R1 sugar (bels) krn egy msfajta elllts sorfejtst alkalmazunk.
X
X
1
1
1
1
1
(w a)m
=
=
=
(za)n
=
wa
m+1
wz
za+aw
z a 1 za
(z a)
(w a)n+1
m=0
n=1
R1
Itt felhasznltuk, hogy | wa
za | = |za| < 1, ekkor abszolt s egyenletesen konvergens
a geometriai sor. (Az indexezsnl a n := m + 1 jellsre trtnk t.)
280
Teht
ahol
cn
1
2i
c(a,R1 )
1
=
2i
X
f (w)
cn (z a)n ,
dw =
wz
c(a,R1 )
n=1
f (w)
dw,
(w a)n+1
n = 1, 2, . . .
(17.7)
X
cn (z a)n ,
f (z) =
n=
ahol
cn =
1
2i
f (w)
dw,
(w a)n+1
n = 1, 2, . . .
X
ck (z a)k .
f (z) =
k=
1. eset. Ha a sorfejtsben ck = 0, k = 1, 2, . . ., akkor az a pontot megszntethet szingularitsnak nevezzk, ugyanis ha az f fggvnyt az a pontban
fP(a) := c0 rtkkel rtelmezzk (vagy esetleg megvltoztatjuk. . . ), akkor az f (z) =
k
k=0 ck (z a) egy folytonosan derivlhat fggvnyt ad az egsz T tartomnyon.
2 4
Gondoljuk meg, hogy az f : C \ {2} C, f (z) := zz2
= z + 2 fggvnynek az a = 2
pont megszntethet szingularitsa, hiszen f (2) := 4 rtelmezssel egy folytonosan
dierencilhat fggvnyhez, az f : C C, f (z) := z + 2 fggvnyhez jutunk.
Megjegyezzk, hogy ha f (folytonosan) dierencilhat az a T pontban is, akkor
a
f (w)
w 7
= (w a)n1 f (w)
(w a)n+1
17.11. LAURENT-SOR
281
fggvny is (folytonosan) dierencilhat, ezrt a Cauchy-alapttel miatt az integrljuk a c zrt grbn 0. Ekkor a Laurent-sorfejtsben a negatv index egytthatk
mindegyike 0, s a sor Taylor-sor lesz.
2. eset. Ha csak vges sok negatv index tag klnbzik nulltl, azaz van olyan
n N, hogy ck = 0, k > n, akkor az a pont plus. Ekkor brmely z T \ {a}
esetn
f (z) =
cn
cn+1
c1
+
+ ... +
+ c0 + c1 (z a) + c2 (z a)2 + . . . ,
(z a)n (z a)n1
(z a)
1
1
1
1
1
+ 2 + 1 + z + z2 + z3 + . . . + zn + . . .
3
z
z
2!
3!
n!
1 5
z + ...
2!
282
17.7. bra.
17.11.2. A reziduum-ttel
Legyen az f fggvnynek az a izollt szingulris helye. Ekkor a Laurent-sorfejtsben
a (1) index egytthatt az f fggvny a ponthoz tartoz reziduumnak nevezzk:
Z
1
Res(a) := c1 =
f (w)dw,
2i c(a,r)
ahol c(a, r) egy a kzppont, alkalmas r sugar kr (amely helyettesthet egy zrt
grbvel is, ha az krlveszi az a pontot. . . )
i=1
c (ai ,r)
17.11. LAURENT-SOR
283
f=
p Z
X
i=1
f=
c(ai ,r)
p
X
2iRes(ai ).
i=1
A ttelbl ltjuk, hogy komplex fggvny zrt grbn trtn integrlshoz elg
g(z)
ismerni a reziduumokat. A reziduum kiszmtst f (z) = h(z)
(h(a) = 0, g(a) 6= 0)
esetn derivltakkal is el tudjuk lltani. Ugyanis az f reziduuma (elsrend plus
esetn)
g(a)
g(z)
Res(a) = lim (z a)f (z) = lim h(z)h(a) = .
za
za
h (a)
za