Opracowanie: Marek Stolarski

WYKŁAD 11

OBLICZANIE GRANIC FUNKCJI DWÓCH ZMIENNYCH

Niech będzie dana funkcja:
0x01 graphic

Będziemy badać granicę:
0x01 graphic

Do punktu na płaszczyźnie można zmierzać po dowolnej krzywej kończącej się w punkcie (x0, y0).

0x08 graphic

y

0x08 graphic
0x08 graphic

0x08 graphic

(x0, y0)

0x08 graphic
x

Jeżeli wprowadzimy współrzędne biegunowe
0x01 graphic

to zauważymy, że:
0x01 graphic

UWAGA:

  1. Jeżeli dla każdej drogi istnieje granica i jest zawsze taka sama (=g), to wtedy funkcja posiada granicę.

  2. Jeżeli dla dwóch różnych dróg wartości granic są różne, to funkcja granicy nie posiada.

PRZYKŁAD 11.1

Obliczmy granice:

0x08 graphic



Jeżeli mamy iloraz dwóch wielomianów warto spróbować wprowadzić współrzędne biegunowe.
0x01 graphic

Ta granica nie istnieje, bo jej wartość zależy od φ, a więc od drogi.


0x01 graphic


0x01 graphic

Dobierzmy krzywą, tak aby 0x01 graphic
, a w mianowniku zredukowała się suma x4+y2
Niech y=x2, wtedy granica 3° wyniesie:
0x01 graphic

Ta granica nie istnieje ponieważ znaleźliśmy drogę (Por. Uwaga 2), dla której wartość granicy jest różna od wartości granicy dla innych dróg.


0x01 graphic

Zmierzamy po krzywej y=x2
0x01 graphic
- to nie jest kontrprzykład, więc granica 4° może istnieć.
Spróbujemy oszacować naszą funkcję:
0x01 graphic

Na podstawie twierdzenia o trzech funkcjach wartość granicy 4° jest równa 0.

UWAGA:

Wszystkie sposoby, które stosowaliśmy do funkcji jednej zmiennej (za wyjątkiem reguły de l'Hospitala) stosujemy do funkcji dwóch zmiennych.

GRANICE ITEROWANE

0x01 graphic
lub 0x01 graphic

UWAGA:

Może się zdarzyć, że:

  1. Istnieje0x01 graphic
    i nie istnieją granice iterowane.

  2. Istnieją granice iterowane i nie istnieje0x01 graphic
    .

Jeżeli istnieją granice iterowane i są one różne to możemy wyciągnąć wniosek, że granica nie istnieje.

PRZYKŁAD 11.2


0x01 graphic


0x01 graphic

Niech będą dane X, Y - przestrzenie Banacha nad 0x01 graphic

DEFINICJA 11.1 (OBSZAR)

Powiemy, że
0x01 graphic

Niech 0x01 graphic
- odwzorowanie

DEFINICJA 11.2 (POCHODNA KIERUNKOWA)


Niech 0x01 graphic
takim, że 0x01 graphic

Pochodna w kierunku wektora h: 0x01 graphic

Pochodną kierunkową nazywamy pochodną w kierunku wersora wektora h, 0x01 graphic

PRZYKŁAD 11.3

Niech 0x01 graphic


0x01 graphic

Niech 0x01 graphic

DEFINICJA 11.3 (POCHODNE CZĄSTKOWE)


0x01 graphic

WNIOSEK 11.1


0x01 graphic
, gdzie 0x01 graphic
- to 0x01 graphic
-ty wektor bazy kanonicznej 0x01 graphic
.

UWAGA:


W 0x01 graphic
mamy bazę kanoniczną 0x01 graphic

0x01 graphic
pełni rolę t

DEFINICJA 11.4 (RÓŻNICZKOWALNOŚĆ I RÓŻNICZKA)


Niech:0x01 graphic

Rozważmy przyrost funkcji odpowiadający wektorowi przyrostu h.
x0 - ustalone h- zmienne
0x01 graphic

Jeżeli 0x01 graphic
, to powiemy, że f jest różniczkowalna w punkcie x0 oraz
0x01 graphic
- nazwiemy różniczką funkcji w punkcie x0 i oznaczamy ją df (x0)

UWAGA:

0x01 graphic

0x01 graphic
- przestrzeń odwzorowań liniowych i ciągłych
Różniczka w punkcie jest to odwzorowanie liniowe i ciągłe.

PRZYKŁAD 11.4

Zbadać różniczkowalność funkcji i określić różniczkę


0x01 graphic
Badamy granicę:
0x01 graphic

Funkcja jest różniczkowalna w punkcie (x0,y0)
0x01 graphic

TWIERDZENIE 11.1 (O JEDNOZNACZNOŚCI RÓŻNICZKI W PUNKCIE)

Z: X,Y - przestrzenie Banacha
0x01 graphic
- odwzorowanie, 0x01 graphic
- obszar
0x01 graphic

f jest różniczkowalna w punkcie x0,

0x01 graphic
- różniczki funkcji f w punkcie x0

T: 0x01 graphic

D:

0x01 graphic

UWAGA:


Jeżeli 0x01 graphic

to 0x01 graphic
nazwiemy różniczką funkcji f.

TWIERDZENIE 11.2 (WŁASNOŚCI RÓŻNICZKI)


Z: 0x01 graphic

f, g - różniczkowalne w punkcie x0

T:
0x01 graphic
- różniczkowalna w punkcie x0
0x01 graphic


D:
0x01 graphic
Badamy:
0x01 graphic

TWIERDZENIE 11.3 (ZWIĄZEK RÓŻNICZKI Z POCHODNYMI W

KIERUNKU WEKTORA)

Z:
0x01 graphic
- odwzorowanie X,Y - przestrzenie Banacha
0x01 graphic
, f - różniczkowalna w punkcie x0


T:
0x01 graphic


D:
0x01 graphic

WNIOSEK 11.2 (ZWIĄZEK RÓŻNICZKI Z POCHODNYMI CZĄSTKOWYMI)


Niech 0x01 graphic
Y - przestrzeń Banacha
0x01 graphic

f - różniczkowalna w punkcie x0

T:

0x01 graphic

0x01 graphic

0x08 graphic
0x08 graphic
0x08 graphic
f różniczkowalna

0x08 graphic

0x08 graphic
ma pochodne w kierunku

0x08 graphic
0x08 graphic
0x08 graphic
f ciągła ? dowolnego wektora

ma wszystkie pochodne cząstkowe

i zachodzi wzór:

0x01 graphic

TWIERDZENIE 11.4


Jeżeli
0x01 graphic

0x01 graphic
istnieją i są ciągłe
to f jest różniczkowalna w punkcie x0 i zachodzi wzór:
0x01 graphic

0x01 graphic