VI. Funkcje uwikłane

Transkrypt

VI. Funkcje uwikłane
VI. Funkcje uwik÷
ane
Weźmy pod uwage¾ równania:
1)
2x
y+4=0
2)
2x
y2 + 1 = 0
3)
x2 + y 2 + 2 = 0
Pierwsze z nich określa w zbiorze liczb rzeczywistych dok÷adnie jedna¾funkcje¾
y (x) zmiennej x, dla której
2x
y (x) + 4 + 0 .
Jest to funkcja
y (x) = 2x + 4 .
Drugie równanie określa dok÷
adnie dwie funkcje ciag÷
¾ e y (x) zmiennej x
takie, z·e
2
2x (y (x)) + 1 = 0 .
Sa¾ to funkcje
y (x) =
oraz
y (x) =
p
2x + 1
p
2x + 1 ,
obie określone dla x 2 [ 2; +1).
Trzecie z równań nie określa z·adnej funkcji.
Funkcje y (x) określone powyz·ej sa¾ funkcjami uwik÷
anymi wyznaczonymi
przez odpowiednie równania.
Zauwaz·my jeszcze, z·e drugie z rozwaz·anych równań jest spe÷
nione przez
nieskończenie wiele funkcji nieciag÷
¾ ych postaci
p
dla x 2 [ 2; a)
p2x + 1
y (x) =
2x + 1 dla x 2 [a; +1)
Niech F bedzie
¾
funkcja¾ dwóch zmiennych określona¾ na pewnym obszarze D.
Kaz·da¾ funkcje¾ y = y (x) ciag÷
¾ a¾ na pewnym przedziale I, taka¾ z·e dla dowolnego
x2I
F (x; y (x)) = 0
1
nazywamy funkcja¾ uwik÷
ana¾ określona¾ równaniem F (x; y) = 0.
Twierdzenie 6.1. (o istnieniu funkcji uwik÷
anej) Jez·eli funkcja F ma
ciag÷
¾ e pochodne czastkowe
¾
na pewnym otoczeniu punktu (x0 ; y0 ) oraz
F (x0 ; y0 ) = 0 i Fy0 (x0 ; y0 ) 6= 0,
to na pewnym otoczeniu punktu x0 istnieje dok÷adnie jedna funkcja uwik÷ana
y = y (x) określona równaniem F (x; y) = 0 spe÷niajaca
¾ warunek y (x0 ) = y0 ,
przy czym funkcja ta ma ciag÷
¾ a¾ pochodna¾ określona¾ wzorem
y 0 (x) =
Fx0 (x; y (x))
.
Fy0 (x; y (x))
Jeśli funkcja F ma ciag÷
¾ e pochodne czastkowe
¾
drugiego rzedu,
¾
to y = y (x) ma
druga¾ pochodna¾ oraz
y 00 (x) =
00
Fy2
Fxx
00
00
Fx2
Fx Fy + Fyy
2Fxy
Fy0
3
.
co moz·na tez· równowaz·nie zapisać w postaci
00
y (x) =
00
Fxx
2
00
00 0
(y 0 )
y + Fyy
2Fxy
Fy0
Twierdzenie 6.2 (o ekstremach lokalnych funkcji uwik÷
anej). Jez·eli
funkcja F ma ciag÷
¾ e pochodne czastkowe
¾
drugiego rzedu
¾ na pewnym otoczeniu
punktu (x0 ; y0 ) i
F (x0 ; y0 ) = 0, Fx0 (x0 ; y0 ) = 0 i Fy0 (x0 ; y0 ) 6= 0
oraz
I (x0 ; y0 ) =
00
(x0 ; y0 )
Fxx
6= 0
Fy0 (x0 ; y0 )
to funkcja uwik÷
ana y = y (x) określona równaniem F (x; y) = 0 i spe÷niajaca
¾
warunek y (x0 ) = y0 , ma ekstremum lokalne w punkcie x0 równe y0 , przy czym
jest to maksimum, gdy I (x0 ; y0 ) < 0 oraz minimum, gdy I (x0 ; y0 ) > 0.
2