Matematika A2a 2008/5. gyakorlat
Mozo (vitalap | szerkesztései) (→Függvények lineáris kombinációja) |
Mozo (vitalap | szerkesztései) (→Függvénykompozíció differenciálja) |
||
30. sor: | 30. sor: | ||
''Bizonyítás. '' Alkalmas ε, ''A'' és η ''B'' párral, minden ''x'' ∈ Dom(''f'' <math>\circ</math> ''g'')-re: | ''Bizonyítás. '' Alkalmas ε, ''A'' és η ''B'' párral, minden ''x'' ∈ Dom(''f'' <math>\circ</math> ''g'')-re: | ||
− | :<math>f(g(x))=f(g(u))+\mathcal{A}(g(x)-g(u))+\varepsilon(g(x))||g(x)-g(u)||)</math> | + | :<math>f(g(x))=f(g(u))+\mathcal{A}(g(x)-g(u))+\varepsilon(g(x))||g(x)-g(u)||)=</math> |
− | + | ::<math>=f(g(u))+\mathcal{A}(\mathcal{B}(x-u)+\eta(x)||x-u||)+\varepsilon(g(x))||g(x)-g(u)||)=</math> | |
+ | ::<math>=f(g(u))+(\mathcal{A}\circ\mathcal{B})(x-u)+\mathcal{A}(\eta(x)||x-u||)+\varepsilon(g(x))||g(x)-g(u)||)=</math> | ||
+ | ::<math>=f(g(u))+(\mathcal{A}\circ\mathcal{B})(x-u)+(\mathcal{A}(\eta(x))+\varepsilon(g(x))||\mathcal{B}\frac{x-u}{||x-u||}+\eta(x)||)||x-u||</math> | ||
+ | Innen leolvasható a differenciál és a másodrendben eltűnő mennyiség vektortényezője, az | ||
+ | :<math>\varepsilon_{f\circ g}(x)=\mathcal{A}(\eta(x))+\varepsilon(g(x))||\mathcal{B}\frac{x-u}{||x-u||}+\eta(x)||</math> | ||
+ | melyben az első tag a 0-hoz tart, mivel a lineáris leképezés a 0-ban folytonos, és η a 0-hoz tart az ''u''-ban. A második tag nulla szor korlátos alakú, hiszen a lineáris leképezés Lipschitz-tuladonsága folytán ''B'' minden egységvektoron korlátos értéket vesz fel. | ||
A lap 2008. március 16., 01:05-kori változata
- Ez az szócikk a Matematika A2a 2008 alszócikke.
Tartalomjegyzék |
A differenciálás tulajdonságai
Lineáris és affin függvény deriváltja
Az A : Rn Rm lineáris leképezés differenciálható és differenciálja minden pontban saját maga.
Ugyanis, legyen u ∈ Rn. Ekkor
c konstans függény esetén az dc(u) 0 alkalmas differenciálnak, mert
így világos, hogy c + A alakú affin függvények is differenciálhatóak, és differenciáljuk minden pontban az az A lineáris leképezés, melynek eltolásából az affin származik. Ezt szintén behelyettesítéssel ellenőrizhetjük.
Tehát minden u ∈ Rn-re
Függvények lineáris kombinációja
Ha f és g a H ⊆ Rn halmazon értelmezett Rm-be képező, az u ∈ H-ban differenciálható függvények, akkor minden λ számra
- is differenciálható u-ban és és
- is differenciálható u-ban és
Ugyanis, a mondott differenciálokkal és a
választással, ezek az u-ban folytonosak lesznek és a lineáris résszekel együtt ezek előállítják a skalárszoros és összegfüggvények megváltozásait.
Függvénykompozíció differenciálja
Tétel. Legyen g: Rn ⊃ Rm, az u-ban differenciálható, f: Rm ⊃ Rk a g(u)-ban differenciálható függvény, u ∈ int Dom(f g). Ekkor az
- differenciálható u-ban és
Bizonyítás. Alkalmas ε, A és η B párral, minden x ∈ Dom(f g)-re:
Innen leolvasható a differenciál és a másodrendben eltűnő mennyiség vektortényezője, az
melyben az első tag a 0-hoz tart, mivel a lineáris leképezés a 0-ban folytonos, és η a 0-hoz tart az u-ban. A második tag nulla szor korlátos alakú, hiszen a lineáris leképezés Lipschitz-tuladonsága folytán B minden egységvektoron korlátos értéket vesz fel.
4. gyakorlat | 6. gyakorlat |