Twierdzenie 3 (Schwarza).
Jeżeli funkcja f: X-»9?, Xc$Rn ma pochodne mieszane rzędu k i są one ciągłe w punkcie aeX, to te, które różnią się tylko kolejnością różniczkowań, są równe w tym punkcie.
Różniczkę rzędu drugiego określamy jako różniczkę pierwszej różniczki: d^ :=d(df). Ogólnie: d"f :=d(d"~1f).
Dla funkcji dwóch zmiennych f(x,y) mamy:
d^ = ....= fXxdx2+2fxydxdy+fyydy2.
d f
•dxn kdyk , dyk:=(dy)k
dnf k?Ak;9xn-kay"
Twierdzenie 6 (warunek wystarczający istnienia ekstremum dla funkcji dwóch zmiennych).
Jeżeli w pewnym otoczeniu U punktu (xo,y0) funkcja f: U ->9t, U<=9?2 spełnia warunki: 1°. feC2(U);
2°. fx(x0.y0)=f;(x0.y0)=o;
3°. det f "(Xo,y0)=f" (x0,y0). f" (X0,y0)-(f" (x0,y0))2 > 0, to funkcja f ma ekstremum w punkcie (Xo,yo), przy czym: f«(x0.y0) > 0 => f(Xo.yo)= minf(x,y);
f«(*0.y0) < 0 => f(x0,y0)= maxf(x,y).
Jeżeli det f "(xo,yo) < 0, to funkcja f nie ma ekstremum.
Twierdzenie 2 (o pochodnej funkcji uwikłanej).
' Jeżeli funkcja F jest w otoczeniu punktu (xo,u0)e9łn+1 funkcją klasy C1,
’ przy czym F(xo,u0)=0 i Fu'(x0,u0)^0, to funkcja uwikłana u=f(x) określona równaniem , F(x,u)=0 jest w pewnym otoczeniu U punktu x0 funkcją klasy C1 i:
Twierdzenie 3 (o zamianie zmiennych w całce potrójnej).
Jeżeli:
1. funkcja f: V->3t jest ciągła w obszarze regularnym i domkniętym VrfR3,
2. odwzorowanie bijektywne : n o V określone równaniami: fx = x(u,v,w),
I y = y(x, y, w), jest klasy C1(fi),
[z = z(x, y, w),
3. jakobian J(u,v,w) odwzorowania y jest ograniczony i różny od zera wewnątrz obszaru O,
to zachodzi równość:
JJJf(x,y,z)dxdydz= JJJf[x(u,v, wMu.y.w^zfu.y.wJlJfu.y.wJIdudydw.
V Q
Twierdzenie 3 (o zamianie całki krzywoliniowej nieskierowanej na całkę oznaczoną).
Ta /
Twierdzenie 1 (o zamianie całki powierzchniowej niezorientowanej na całkę podwójną).
Jeżeli funkcja g jest ciągła na płacie gładkim S={(x,y,z): z=f(x,y), (x,y) eD}, gdzie DriR2 jest obszarem regularnym, to
JJg(x,y,z)dS = JJg(x,y,f(x,»)^1 + [f;f + [fyJ dxdy
IV. Równanie liniowe. <r ^ ^
Równanie różniczkowe, które można zapisać w postaci: „, „ a
y'+p(x)y=g(x) “f ‘ TTT
nazywamy równaniem liniowym pierwszego rzędu.
Jeśli g(x)=0, to równanie nazywamy równaniem liniowym jednorodnym(albo uproszczonym). Będzie to wtedy równanie o zmiennych rozdzielonych.
1. Rozwiązujemy najpierw równanie jednorodne.
•Utwto J- /
VxeU:
f'(x) = -
F'(x,u)
F'(x,u)
df_
axj
1,2.....n
nanie lednoroane. ^ In
1
= -p(x)dx => ln|y| = - Jp(x)dx+ln|c| => y = ce ,p(x)dx
V
-o
-RORJ
Twierdzenie 5 (o zamianie całki podwójnej na całki iterowane).
2. Rozwiązanie ogólne równania niejednorodnego wyznaczymy stosując M.U.: (metodę uzmienniania stałej).
Jeżeli funkcja f: D-»SR jest ciągła w obszarze D c9t2 normalnym względem osi OX:
D= {(x,y)e9*2: a < x < b a cp(x) < y < \j/(x)}, to
W
Twierdzenie 1 (o zamianie zmiennych w całce podwójnej), ć I
Jeżeli:
1. funkcja f: D->tR jest ciągła w obszarze regularnym i domkniętym D c9r,
2. odwzorowanie bijektywne v(/: A<-»D określone równaniami:
Jx = x(u,v), ly = y(u,v),
jest klasy C1(A),
3. jakobian J(u,v) odwzorowania vj/ jest ograniczony i różny od zera wewnątrz obszaru A, to zachodzi równość:
Twierdzenie 4 (o rozwiązaniu ogólnym równania liniowego jednorodnego n-tego rzędu).
Jeżeli funkcje y,, y2,... ,yn tworzą fundamentalny układ rozwiązań równania (2) w przedziale (a,b), to kombinacja liniowa tych funkcji: y(x) = X^kVk(x)
z dowolnymi stałymi Ci, C2.....C„ jest rozwiązaniem ogólnym
tego równania w rozważanym przedziale.
Twierdzenie 1 (o istnieniu funkcji uwikłanej).
Jeżeli funkcja F jest ciągła w otoczeniu punktu (xo,Uo)e9tn+1 , i ma w tym otoczeniu ciągłą pochodną Fu', przy czym F(x0,u0)=0 i Fu'(xo,u0)*0, , to istnieje takie otoczenie U0 punktu (xo,u0), w którym równanie F(x,u)=0 . posiada tylko jedno rozwiązanie u=f(x) będące funkcją ciągłą . w pewnym otoczeniu punktu x0, przy czym f(x0)=u0.
JJf (x, y )dxdy = JJf [x(u, v), y(u, v)] • | J(u, v)|dudv.
D A
Twierdzenie 2 (o zamianie całki potrójnej na całki iterowane).
Jeżeli funkcja f: V-»9? jest ciągła w obszarze V c5R3 normalnym względem płaszczyzny XOY: V= {(x,y,z)e$R3: (x,y) eD a cp(x,y) ^ z < v(x,y)}, to
jjjf(x,y,z)dxdydz = JJ
V D
ip(x.y)
Jf(x,y,z)dz
_«p(x,y)
>c(x.y)
dxdy=JJdxdy Jf(x,y,z)dz.
D <f>(x,y)