Analiza matematyczna 2/Wykład 6: Ciągłość funkcji wielu zmiennych. Pochodne cząstkowe. Gradient: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
m (Zastępowanie tekstu - "<div class="thumb t(.*)"><div style="width:(.*);"> <flash>file=(.*)\.swf\|width=(.*)\|height=(.*)<\/flash> <div\.thumbcaption>(.*)<\/div> <\/div><\/div>" na "$4x$5px|thumb|$1|$6")
 
(Nie pokazano 63 wersji utworzonych przez 7 użytkowników)
Linia 3: Linia 3:
 
Przypominamy przykłady funkcji wielu zmiennych, które znamy
 
Przypominamy przykłady funkcji wielu zmiennych, które znamy
 
z życia codziennego. Do badania przebiegu zmienności funkcji,
 
z życia codziennego. Do badania przebiegu zmienności funkcji,
badania ciągłości, wyznaczania ekstremów, stosujemy analizę
+
badania ciągłości, wyznaczania ekstremów stosujemy analizę
 
przebiegu poziomic, a następnie wprowadzamy pochodne kierunkowe i
 
przebiegu poziomic, a następnie wprowadzamy pochodne kierunkowe i
 
cząstkowe.   
 
cząstkowe.   
  
 
==Przykłady funkcji wielu zmiennych==
 
==Przykłady funkcji wielu zmiennych==
 +
 +
[[File:am2m05.0010.svg|253x253px|thumb|left|Prognoza pogody]]
 +
 +
[[File:am2m05.0020.svg|253x253px|thumb|right|Prognoza pogody]]
  
 
Z funkcjami dwóch zmiennych rzeczywistych spotykamy się na
 
Z funkcjami dwóch zmiennych rzeczywistych spotykamy się na
Linia 14: Linia 18:
 
jest przewidywana na najbliższą noc, na kolejny poranek,
 
jest przewidywana na najbliższą noc, na kolejny poranek,
 
popołudnie, w dniach następnych. Temperatura podawana jest
 
popołudnie, w dniach następnych. Temperatura podawana jest
przeważnie liczbowo dla kilku regionów naszego kraju
+
przeważnie liczbowo dla kilku regionów naszego kraju albo też - w dokładniejszej formie - na mapie z
 
 
{ [[Rysunek am2m05.0010]]}
 
 
 
albo też -- w dokładniejszej formie -- na mapie z
 
 
zaznaczonymi '''''izotermami''''', tj. liniami, które łączą  punkty o
 
zaznaczonymi '''''izotermami''''', tj. liniami, które łączą  punkty o
 
takiej samej temperaturze.
 
takiej samej temperaturze.
 
{ [[Rysunek am2m05.0020]]}
 
  
 
Osoby podatne na zmiany ciśnienia atmosferycznego z
 
Osoby podatne na zmiany ciśnienia atmosferycznego z
 
niepokojem śledzą informacje o spodziewanym załamaniu pogody i
 
niepokojem śledzą informacje o spodziewanym załamaniu pogody i
 
wahaniach ciśnienia. Przypomnijmy, że linie łączące punkty o takim
 
wahaniach ciśnienia. Przypomnijmy, że linie łączące punkty o takim
samym ciśnieniu atmosferycznym, nazywamy '''''izobarami'''''.
+
samym ciśnieniu atmosferycznym nazywamy '''''izobarami'''''.
 
 
{ [[Rysunek am2m05.0030]]}
 
  
 
Zagęszczenie izobar nad danym obszarem oznacza dużą
 
Zagęszczenie izobar nad danym obszarem oznacza dużą
Linia 35: Linia 31:
 
wiatru większa. Pamiętamy, że wiatr wieje od obszaru o wyższym
 
wiatru większa. Pamiętamy, że wiatr wieje od obszaru o wyższym
 
ciśnieniu do obszaru o niższym ciśnieniu.
 
ciśnieniu do obszaru o niższym ciśnieniu.
 
{ [[Rysunek am2m05.0040]]]}
 
  
 
Kierunek wiatru także nie jest przypadkowy: odpowiada
 
Kierunek wiatru także nie jest przypadkowy: odpowiada
Linia 48: Linia 42:
 
temparatura, oznacza się kolorem fioletowym, ciemno niebieskim,
 
temparatura, oznacza się kolorem fioletowym, ciemno niebieskim,
 
niebieskim. Kolory jasno zielony, zielony, jasno żółty, rezerwuje
 
niebieskim. Kolory jasno zielony, zielony, jasno żółty, rezerwuje
się do oznaczania obszarów o przeciętnym ciśnieniu, czy
+
się do oznaczania obszarów o przeciętnym ciśnieniu czy
 
temperaturze, natomiast obszary o najwyższych wartościach koloruje
 
temperaturze, natomiast obszary o najwyższych wartościach koloruje
 
się na żółto, pomarańczowo, czerwono. Do umowy tej przywykliśmy.
 
się na żółto, pomarańczowo, czerwono. Do umowy tej przywykliśmy.
Linia 54: Linia 48:
 
np. ta przedstawiająca nasz kraj.
 
np. ta przedstawiająca nasz kraj.
  
{ [[Rysunek am2m05.0050]]}
+
{|border="0" align="center" cellspacing="10"
 +
|[[File:am2m05.0030.svg|253x253px|thumb|center|Prognoza pogody]]
 +
|[[File:am2-5.40.svg|253x253px|thumb|center|Prognoza pogody]]
 +
|[[File:am2m05.0050.svg|253x253px|thumb|center|Mapa hipsometryczna]]
 +
|}
  
 
Gdybyśmy  powędrowali palcem po mapie  z południa
 
Gdybyśmy  powędrowali palcem po mapie  z południa
Linia 61: Linia 59:
 
obszaru pokolorowanego na brązowo, intensywnie czerwono,
 
obszaru pokolorowanego na brązowo, intensywnie czerwono,
 
pomarańczowo. Kierując się do Krakowa i dalej Wyżyną
 
pomarańczowo. Kierując się do Krakowa i dalej Wyżyną
Krakowsko-Częstochowską przemierzalibyśmy obszar pokolorowany na
+
Krakowsko-Częstochowską, przemierzalibyśmy obszar pokolorowany na
 
żółto. Obszar nizinny w centralnej i północnej części naszego
 
żółto. Obszar nizinny w centralnej i północnej części naszego
 
kraju zaznaczono na zielono, z wyjątkiem pasm  wzgórz  na północy,
 
kraju zaznaczono na zielono, z wyjątkiem pasm  wzgórz  na północy,
Linia 74: Linia 72:
 
tuż przy brzegu i mielizny), przez niebieski, aż po
 
tuż przy brzegu i mielizny), przez niebieski, aż po
 
ciemnoniebieski, którym zaznaczono głębsze obszary.
 
ciemnoniebieski, którym zaznaczono głębsze obszary.
 +
 +
[[File:am2m05.0060.svg|253x253px|thumb|left|Wycinek mapy Tatr]]
 +
 +
[[File:am2m05.0070.svg|253x253px|thumb|right|Wycinek mapy Tatr]]
  
 
Linie na mapie, łączące punkty o samej wysokości nad poziom morza,
 
Linie na mapie, łączące punkty o samej wysokości nad poziom morza,
 
nazywamy '''''poziomicami'''''.
 
nazywamy '''''poziomicami'''''.
  
{ [[Rysunek am2m05.0060]]}
+
Wędrując po górach, w zależności od upodobania, wybieramy szlak,
 
 
Wędrując po górach, w zależności od upodobania wybieramy szlak,
 
 
który krótszą, ale bardziej stromą drogą doprowadzi nas do celu,
 
który krótszą, ale bardziej stromą drogą doprowadzi nas do celu,
 
bądź też szlak mniej stromy, łagodny. Każdy, kto wędrował choć raz
 
bądź też szlak mniej stromy, łagodny. Każdy, kto wędrował choć raz
Linia 88: Linia 88:
 
poziomicami, prawie żadnej nie przecina, jest zdecydowanie
 
poziomicami, prawie żadnej nie przecina, jest zdecydowanie
 
łagodniejszy, bez stromych podejść, nie wymaga wysiłku.
 
łagodniejszy, bez stromych podejść, nie wymaga wysiłku.
 
{ [[Rysunek am2m05.0070]]}
 
  
 
Na ogół szlaki turystyczne w górach omijają obszary,
 
Na ogół szlaki turystyczne w górach omijają obszary,
Linia 103: Linia 101:
 
wzniesienia) lub najniżej (np. dno doliny).
 
wzniesienia) lub najniżej (np. dno doliny).
  
W ramach analizy matematycznej I  poznaliśmy twierdzenie,
+
W ramach Analizy matematycznej I  poznaliśmy twierdzenie,
 
które opisuje taką sytuację: funkcja ciągła na zbiorze zwartym
 
które opisuje taką sytuację: funkcja ciągła na zbiorze zwartym
 
osiąga swoje kresy.  Jest to twierdzenie Weierstrassa, które
 
osiąga swoje kresy.  Jest to twierdzenie Weierstrassa, które
Linia 130: Linia 128:
 
<math>\displaystyle \|\cdot\|</math>  w <math>\displaystyle \mathbb{R}^n</math>, np.
 
<math>\displaystyle \|\cdot\|</math>  w <math>\displaystyle \mathbb{R}^n</math>, np.
 
<center><math>\displaystyle  
 
<center><math>\displaystyle  
\aligned
+
\begin{align}
 
\|x\|_p &=\big(|x_1|^p+|x_2|^p+\dots+|x_n|^p\big)^{\frac{1}{p}}, \text{ dla } 1\leq p <\infty\\
 
\|x\|_p &=\big(|x_1|^p+|x_2|^p+\dots+|x_n|^p\big)^{\frac{1}{p}}, \text{ dla } 1\leq p <\infty\\
 
&\text{ w szczególności }\\
 
&\text{ w szczególności }\\
Linia 136: Linia 134:
 
\|x\|_2 &=\sqrt{|x_1|^2 +|x_2|^2 +\dots+|x_n|^2}\\
 
\|x\|_2 &=\sqrt{|x_1|^2 +|x_2|^2 +\dots+|x_n|^2}\\
 
&\text{ bądź też }\\
 
&\text{ bądź też }\\
\|x\|_{\infty} &=\max\{|x_1|, \ |x_2|, \ \dots, \ |x_n| \}
+
\|x\|_{\infty} &=\max\{|x_1|, \ |x_2|, \ \dots, \ |x_n| \}.
\endaligned
+
\end{align}
 
</math></center>
 
</math></center>
  
Linia 191: Linia 189:
 
Przypomnijmy jeszcze następujące twierdzenie Weierstrassa o
 
Przypomnijmy jeszcze następujące twierdzenie Weierstrassa o
 
osiąganiu kresów przez funkcję ciągłą na zbiorze zwartym.
 
osiąganiu kresów przez funkcję ciągłą na zbiorze zwartym.
[[grafika:Weierstrass.jpg|thumb|right||Karl Weierstrass (1815-1897)<br>[[Biografia Weierstrass|Zobacz biografię]]]]
 
 
{{twierdzenie|6.6.||
 
{{twierdzenie|6.6.||
 
Jeśli <math>\displaystyle f:X\mapsto \mathbb{R}</math> jest funkcją
 
Jeśli <math>\displaystyle f:X\mapsto \mathbb{R}</math> jest funkcją
Linia 198: Linia 195:
 
<math>\displaystyle \inf\{f(x), x\in X\}=f(a)</math> i kres górny <math>\displaystyle \sup\{f(x), x\in
 
<math>\displaystyle \inf\{f(x), x\in X\}=f(a)</math> i kres górny <math>\displaystyle \sup\{f(x), x\in
 
X\}=f(b)</math>.
 
X\}=f(b)</math>.
 
 
}}
 
}}
  
Linia 204: Linia 200:
 
wielu zmiennych może wykraczać poza naszą intuicję ukształtowaną
 
wielu zmiennych może wykraczać poza naszą intuicję ukształtowaną
 
podczas badania funkcji jednej zmiennej.  
 
podczas badania funkcji jednej zmiennej.  
 
{ [[Rysunek am2m05.0080: Grafika 3d, Wykres
 
gęstości, Poziomice]]}
 
  
 
{{przyklad|6.7.||
 
{{przyklad|6.7.||
Linia 214: Linia 207:
 
biegunowych
 
biegunowych
 
<center><math>\displaystyle \Phi:
 
<center><math>\displaystyle \Phi:
(r,\varphi)\mapsto \left\{ \aligned x(r,\varphi)=r\cos\varphi\\
+
(r,\varphi)\mapsto \left\{ \begin{align} x(r,\varphi)=r\cos\varphi\\
y(r,\varphi)=r\sin\varphi \endaligned \right. </math></center>
+
y(r,\varphi)=r\sin\varphi \end{align} \right. </math></center>
 
W punktach
 
W punktach
 
leżących poza początkiem układu współrzędnych, tj. gdy <math>\displaystyle r>0</math>,
 
leżących poza początkiem układu współrzędnych, tj. gdy <math>\displaystyle r>0</math>,
Linia 237: Linia 230:
 
gdy rozważymy osobno funkcje jednej zmiennej, ustalając drugą
 
gdy rozważymy osobno funkcje jednej zmiennej, ustalając drugą
 
zmienną, tzn.  <math>\displaystyle y</math> lub odpowiednio <math>\displaystyle x</math>:
 
zmienną, tzn.  <math>\displaystyle y</math> lub odpowiednio <math>\displaystyle x</math>:
<center><math>\displaystyle \aligned f_y &=f(\cdot , y): \mathbb{R} \ni x\mapsto \frac{xy}{x^2+y^2}\\
+
<center><math>\displaystyle \begin{align} f_y &=f(\cdot , y): \mathbb{R} \ni x\mapsto \frac{xy}{x^2+y^2}\\
 
f_x &= (x , \cdot ): \mathbb{R} \ni y\mapsto
 
f_x &= (x , \cdot ): \mathbb{R} \ni y\mapsto
\frac{xy}{x^2+y^2}\endaligned
+
\frac{xy}{x^2+y^2},\end{align}
 
</math></center>
 
</math></center>
  
Linia 245: Linia 238:
 
<math>\displaystyle \displaystyle \lim_{y\to 0}f_x(y) =0</math>, a więc w szczególności
 
<math>\displaystyle \displaystyle \lim_{y\to 0}f_x(y) =0</math>, a więc w szczególności
 
istnieją  '''''granice iterowane'''''
 
istnieją  '''''granice iterowane'''''
<center><math>\displaystyle \aligned
+
<center><math>\displaystyle \begin{align}
 
\lim_{x\to 0}\big( \lim_{y\to 0} f(x,y) \big) =0,\\
 
\lim_{x\to 0}\big( \lim_{y\to 0} f(x,y) \big) =0,\\
 
\lim_{y\to 0} \big( \lim_{x\to 0} f(x,y)\big)=0
 
\lim_{y\to 0} \big( \lim_{x\to 0} f(x,y)\big)=0
\endaligned
+
\end{align}
 
</math></center>
 
</math></center>
i są równe.
+
i są równe.}}
 +
 
 +
<br>
 +
<center>
 +
<div class="thumb"><div style="width:450px;">
 +
<applet code="JavaviewModApplet.class" archive="images/a/a0/Javaview.jar,images/b/be/JavaviewModApplet.jar" width="450" height="400">
 +
    <param name="colors" value="-1:#7e0b9f -0.80:#ce3bf8 -0.60:#2c4ae5 -0.40:#2c85e5 -0.20:#2ecca9 -0.05:#2ecc5b 0.05:#2ecc5b 0.20:#97cc2e 0.40:#edff27 0.60:#ffba27 0.80:#ff6e27 1:#d42525">
 +
    <param name="coloring" value="maple">
 +
    <param name="model" value="images/7/74/Am2m05.0080.mgs.zip">
 +
  <param name="scale" value="1.0 1.0 1.0">
 +
<param name="shading" value="0.2">
 +
</applet>
 +
<div.thumbcaption>Wykres funkcji <math>\displaystyle \displaystyle f(x,y)=\frac{xy}{x^2 +y^2}</math></div>
 +
</div></div>
 +
</center>
 +
<br>
  
 
Przykład pokazuje więc, że
 
Przykład pokazuje więc, że
 
}}
 
  
 
{{wniosek|6.8.||
 
{{wniosek|6.8.||
 
Z istnienia  '''''granic iterowanych'''''
 
Z istnienia  '''''granic iterowanych'''''
<center><math>\displaystyle \aligned
+
<center><math>\displaystyle \begin{align}
 
\lim_{x\to a}\big( \lim_{y\to b} f(x,y) \big)\\
 
\lim_{x\to a}\big( \lim_{y\to b} f(x,y) \big)\\
\lim_{y\to b} \big( \lim_{x\to a} f(x,y)\big)\endaligned
+
\lim_{y\to b} \big( \lim_{x\to a} f(x,y)\big)\end{align}
 
</math></center>
 
</math></center>
 
i równości tych granic
 
i równości tych granic
Linia 272: Linia 278:
 
\mathbb{R}</math> ma granicę w punkcie <math>\displaystyle (a,b)</math>, to istnieją obie granice
 
\mathbb{R}</math> ma granicę w punkcie <math>\displaystyle (a,b)</math>, to istnieją obie granice
 
iterowane
 
iterowane
<center><math>\displaystyle \aligned
+
<center><math>\displaystyle \begin{align}
 
\lim_{x\to a}\big( \lim_{y\to b} f(x,y) \big)\\
 
\lim_{x\to a}\big( \lim_{y\to b} f(x,y) \big)\\
\lim_{y\to b} \big( \lim_{x\to a} f(x,y)\big)\endaligned
+
\lim_{y\to b} \big( \lim_{x\to a} f(x,y)\big)\end{align}
 
</math></center>
 
</math></center>
 
i są równe granicy funkcji <math>\displaystyle f</math> w punkcie <math>\displaystyle (a,b)</math>.
 
i są równe granicy funkcji <math>\displaystyle f</math> w punkcie <math>\displaystyle (a,b)</math>.
Linia 296: Linia 302:
 
X: f(x)=a\},
 
X: f(x)=a\},
 
</math></center>
 
</math></center>
czyli przeciwobraz zbioru jednopunktowego <math>\displaystyle \{a\}</math> przez funkcję
+
czyli przeciwobraz zbioru jednopunktowego <math>\displaystyle \{a\}</math> przez funkcję <math>\displaystyle f</math>. }}
<math>\displaystyle f</math>. }}
 
  
Często pobieżna nawet analiza przebiegu poziomic pozwala ustalić
+
Często pobieżna nawet analiza przebiegu poziomic pozwala ustalić,
 
czy dana funkcja osiąga ekstrema (zob. definicja ekstremum w
 
czy dana funkcja osiąga ekstrema (zob. definicja ekstremum w
module 9 analizy matematycznej 1), czy też nie.
+
module 9 Analizy matematycznej 1), czy też nie.
  
 
{{przyklad|6.11.||
 
{{przyklad|6.11.||
 
Niech <math>\displaystyle f(x,y)=x^2+y^2-4</math>.
 
Niech <math>\displaystyle f(x,y)=x^2+y^2-4</math>.
 
+
<br>
{ [[Rysunek am2m05.0090: Grafika 3d, Wykres
+
[[Grafika:Wykres.gif]] [[Analiza matematyczna 2/Wykład 6: Ciągłość funkcji wielu zmiennych. Pochodne cząstkowe. Gradient/Przykład 6.11.|wykres]]
gęstości, Poziomice]]}
+
<br>
 
 
 
Poziomica <math>\displaystyle \{f=a\}=\{(x,y): x^2+y^2-4=a\}</math> jest okręgiem o środku
 
Poziomica <math>\displaystyle \{f=a\}=\{(x,y): x^2+y^2-4=a\}</math> jest okręgiem o środku
 
w punkcie <math>\displaystyle (0,0)</math> i promieniu <math>\displaystyle \sqrt{4+a}</math>, gdy <math>\displaystyle a>-4</math>.  Poziomica
 
w punkcie <math>\displaystyle (0,0)</math> i promieniu <math>\displaystyle \sqrt{4+a}</math>, gdy <math>\displaystyle a>-4</math>.  Poziomica
Linia 318: Linia 322:
 
{{przyklad|6.12.||
 
{{przyklad|6.12.||
 
Niech <math>\displaystyle f(x,y)=x^2-y^2</math>.
 
Niech <math>\displaystyle f(x,y)=x^2-y^2</math>.
 
+
<br>
{ [[Rysunek am2m05.0100: Grafika 3d, Wykres
+
[[Grafika:Wykres.gif]] [[Analiza matematyczna 2/Wykład 6: Ciągłość funkcji wielu zmiennych. Pochodne cząstkowe. Gradient/Przykład 6.12.|wykres]]
gęstości, Poziomice]]}
+
<br>
  
 
Poziomica zerowa <math>\displaystyle \{f=0\}=\{(x,y): x^2-y^2=0\}=\{x=y\}\cup
 
Poziomica zerowa <math>\displaystyle \{f=0\}=\{(x,y): x^2-y^2=0\}=\{x=y\}\cup
Linia 336: Linia 340:
 
{{przyklad|6.13.||
 
{{przyklad|6.13.||
 
Niech <math>\displaystyle f(x,y)=|x|+|y|</math>.
 
Niech <math>\displaystyle f(x,y)=|x|+|y|</math>.
 
+
<br>
{ [[Rysunek am2m05.0110: Grafika 3d, Wykres
+
[[Grafika:Wykres.gif]] [[Analiza matematyczna 2/Wykład 6: Ciągłość funkcji wielu zmiennych. Pochodne cząstkowe. Gradient/Przykład 6.13.|wykres]]
gęstości, Poziomice]]}
+
<br>
 
 
 
Funkcja <math>\displaystyle f</math> jest normą w <math>\displaystyle \mathbb{R}^2</math>, przyjmuje więc wyłącznie
 
Funkcja <math>\displaystyle f</math> jest normą w <math>\displaystyle \mathbb{R}^2</math>, przyjmuje więc wyłącznie
 
wartości nieujemne, stąd <math>\displaystyle \{f=a\}=\emptyset</math>, gdy <math>\displaystyle a<0</math>. Poziomica
 
wartości nieujemne, stąd <math>\displaystyle \{f=a\}=\emptyset</math>, gdy <math>\displaystyle a<0</math>. Poziomica
Linia 359: Linia 362:
 
Niech
 
Niech
 
<math>\displaystyle f(x,y)=|x|^{\frac{2}{3}}+|y|^{\frac{2}{3}}</math>.
 
<math>\displaystyle f(x,y)=|x|^{\frac{2}{3}}+|y|^{\frac{2}{3}}</math>.
 
+
<br>
{ [[Rysunek am2m05.0120: Grafika 3d, Wykres
+
[[Grafika:Wykres.gif]] [[Analiza matematyczna 2/Wykład 6: Ciągłość funkcji wielu zmiennych. Pochodne cząstkowe. Gradient/Przykład 6.14.|wykres]]
gęstości, Poziomice]]}
+
<br>
 
 
 
Funkcja <math>\displaystyle f</math>  przyjmuje  wyłącznie wartości nieujemne, stąd
 
Funkcja <math>\displaystyle f</math>  przyjmuje  wyłącznie wartości nieujemne, stąd
 
<math>\displaystyle \{f=a\}=\emptyset</math>, gdy <math>\displaystyle a<0</math>. Poziomica zerowa
 
<math>\displaystyle \{f=a\}=\emptyset</math>, gdy <math>\displaystyle a<0</math>. Poziomica zerowa
Linia 374: Linia 376:
 
poziomic pozwala stwierdzić, że jest to jedyne ekstremum tej
 
poziomic pozwala stwierdzić, że jest to jedyne ekstremum tej
 
funkcji na płaszczyźnie <math>\displaystyle \mathbb{R}^2</math>.
 
funkcji na płaszczyźnie <math>\displaystyle \mathbb{R}^2</math>.
 
 
}}
 
}}
  
{{przyklad|6.15.||
+
{{przyklad|6.15.|prz_6_15|
 
Niech <math>\displaystyle f(x,y)=x y (1-x-y)</math>.
 
Niech <math>\displaystyle f(x,y)=x y (1-x-y)</math>.
 
+
<br>
{ [[Rysunek am2m05.0130: Grafika 3d, Wykres
 
gęstości, Poziomice]]}
 
 
 
 
Poziomicą zerową <math>\displaystyle \{f=0\}</math> tej funkcji jest suma trzech prostych:
 
Poziomicą zerową <math>\displaystyle \{f=0\}</math> tej funkcji jest suma trzech prostych:
 
<math>\displaystyle x=0</math>, <math>\displaystyle y=0</math> oraz <math>\displaystyle x+y=1</math>. Zauważmy, że w dowolnie małym otoczeniu
 
<math>\displaystyle x=0</math>, <math>\displaystyle y=0</math> oraz <math>\displaystyle x+y=1</math>. Zauważmy, że w dowolnie małym otoczeniu
Linia 403: Linia 401:
 
punktu z tej poziomicy funkcja przyjmuje zarówno wartości dodatnie
 
punktu z tej poziomicy funkcja przyjmuje zarówno wartości dodatnie
 
jak i ujemne.
 
jak i ujemne.
 
 
}}
 
}}
 +
<br>
 +
<center>
 +
<div class="thumb"><div style="width:450px;">
 +
<applet code="JavaviewModApplet.class" archive="images/a/a0/Javaview.jar,images/b/be/JavaviewModApplet.jar" width="450" height="400">
 +
  <param name="colors" value="-1:#7e0b9f -0.80:#ce3bf8 -0.60:#2c4ae5 -0.40:#2c85e5 -0.20:#2ecca9 -0.05:#2ecc5b 0.05:#2ecc5b 0.20:#97cc2e 0.40:#edff27 0.60:#ffba27 0.80:#ff6e27 1:#d42525">
 +
    <param name="coloring" value="maple">
 +
    <param name="model" value="images/6/65/Am2m05.0130.mgs.zip">
 +
    <param name="scale" value="1.0 1.0 0.1">
 +
<param name="shading" value="0.2">
 +
</applet>
 +
<div.thumbcaption>Wykres funkcji <math>\displaystyle f(x,y)=x y (1-x-y)</math></div>
 +
</div></div>
 +
</center>
 +
<br>
 
[[grafika:Kartezjusz.jpg|thumb|right||Kartezjusz (1596-1650)<br>[[Biografia Kartezjusz|Zobacz biografię]]]]
 
[[grafika:Kartezjusz.jpg|thumb|right||Kartezjusz (1596-1650)<br>[[Biografia Kartezjusz|Zobacz biografię]]]]
{{przyklad|6.16.||
+
{{przyklad|6.16.|prz_6_16|
 
Niech <math>\displaystyle f(x,y)=x^3+y^3-3xy</math>.
 
Niech <math>\displaystyle f(x,y)=x^3+y^3-3xy</math>.
 
+
<br>
{ [[Rysunek am2m05.0140: Grafika 3d, Wykres
+
[[Grafika:Wykres.gif]] [[Analiza matematyczna 2/Wykład 6: Ciągłość funkcji wielu zmiennych. Pochodne cząstkowe. Gradient/Przykład 6.16.|wykres]]
gęstości, Poziomice]]}
+
<br>
  
 
Poziomicą zerową <math>\displaystyle \{f=0\}</math> tej funkcji jest nieograniczona krzywa,
 
Poziomicą zerową <math>\displaystyle \{f=0\}</math> tej funkcji jest nieograniczona krzywa,
Linia 429: Linia 440:
 
}}
 
}}
  
{{przyklad|6.17.||
+
{{przyklad|6.17.|prz_6_17|
 
Niech <math>\displaystyle f(x,y)=(x^2+y^2)^2-2 (x^2-
 
Niech <math>\displaystyle f(x,y)=(x^2+y^2)^2-2 (x^2-
 
y^2)</math>.
 
y^2)</math>.
 
+
<br>
{ [[Rysunek am2m05.0150: Grafika 3d, Wykres
+
[[Grafika:Wykres.gif]] [[Analiza matematyczna 2/Wykład 6: Ciągłość funkcji wielu zmiennych. Pochodne cząstkowe. Gradient/Przykład 6.17.|wykres]]
gęstości, Poziomice]]}
+
<br>
 
[[grafika:Bernoulli.jpg|thumb|right||Jakob Bernoulli (1654-1705)<br>[[Biografia Bernoulli|Zobacz biografię]]]]
 
[[grafika:Bernoulli.jpg|thumb|right||Jakob Bernoulli (1654-1705)<br>[[Biografia Bernoulli|Zobacz biografię]]]]
 
Poziomicą zerową <math>\displaystyle \{f=0\}</math> tej funkcji jest krzywa, zwana
 
Poziomicą zerową <math>\displaystyle \{f=0\}</math> tej funkcji jest krzywa, zwana
Linia 440: Linia 451:
 
najwygodniej zbadać we współrzędnych biegunowych:
 
najwygodniej zbadać we współrzędnych biegunowych:
 
<center>
 
<center>
<math>\displaystyle \aligned (x^2+y^2)^2&=2 (x^2- y^2)\\
+
<math>\displaystyle \begin{align} (x^2+y^2)^2&=2 (x^2- y^2)\\
 
(r^2 \cos^2 \varphi+r^2 \sin^2 \varphi)^2 &=2 (r^2 \cos^2 \varphi-r^2 \sin^2 \varphi)\\
 
(r^2 \cos^2 \varphi+r^2 \sin^2 \varphi)^2 &=2 (r^2 \cos^2 \varphi-r^2 \sin^2 \varphi)\\
 
r^4 &=2 r^2 \cos 2 \varphi \\
 
r^4 &=2 r^2 \cos 2 \varphi \\
 
r=0 &\text{ lub } r=\sqrt{2 \cos 2 \varphi},
 
r=0 &\text{ lub } r=\sqrt{2 \cos 2 \varphi},
\endaligned
+
\end{align}
 
</math>
 
</math>
 
</center>
 
</center>
Linia 452: Linia 463:
 
części wspólnej koła o promieniu <math>\displaystyle \sqrt{2}</math> i dwóch obszarów
 
części wspólnej koła o promieniu <math>\displaystyle \sqrt{2}</math> i dwóch obszarów
 
wyciętych z płaszczyzny półprostymi tworzącymi z osią rzędnych
 
wyciętych z płaszczyzny półprostymi tworzącymi z osią rzędnych
kąty <math>\displaystyle -\frac{\pi}{4}, \ \frac{\pi}{4}, \ \frac{3\pi}{4},\
+
kąty <math>\displaystyle -\frac{\pi}{4}, \ \frac{\pi}{4}, \ \frac{3\pi}{4},
 
-\frac{3\pi}{4}</math>. Zauważmy, że we wnętrzu obszaru ograniczonego
 
-\frac{3\pi}{4}</math>. Zauważmy, że we wnętrzu obszaru ograniczonego
 
lemniskatą Bernoullego funkcja <math>\displaystyle f</math> osiąga wartości ujemne. Na
 
lemniskatą Bernoullego funkcja <math>\displaystyle f</math> osiąga wartości ujemne. Na
zewnątrz zaś -- dodatnie. Podobnie jak w obu poprzednich
+
zewnątrz zaś - dodatnie. Podobnie jak w obu poprzednich
 
przykładach twierdzenie Weierstrassa gwarantuje istnienie minimum
 
przykładach twierdzenie Weierstrassa gwarantuje istnienie minimum
 
lokalnego w obszarze <math>\displaystyle \{(x,y): f(x,y)\leq 0\}</math> ograniczonym
 
lokalnego w obszarze <math>\displaystyle \{(x,y): f(x,y)\leq 0\}</math> ograniczonym
Linia 494: Linia 505:
 
powtórzyć jednowymiarowy '''''warunek konieczny istnienia
 
powtórzyć jednowymiarowy '''''warunek konieczny istnienia
 
ekstremum''''' w punkcie, w którym istnieje pochodna kierunkowa
 
ekstremum''''' w punkcie, w którym istnieje pochodna kierunkowa
funkcji (zob. moduł 9, analiza matematyczna I).
+
funkcji (zob. moduł 9, Analiza matematyczna I).
  
 
{{twierdzenie|6.19.||
 
{{twierdzenie|6.19.||
Linia 503: Linia 514:
 
pochodna ta zeruje się. }}
 
pochodna ta zeruje się. }}
  
{{dowod|twierdzenia 6.19.||
+
{{dowod|6.19.||
 
Jeśli funkcja <math>\displaystyle A\ni x\mapsto f(x)\in \mathbb{R}</math> osiąga maksimum
 
Jeśli funkcja <math>\displaystyle A\ni x\mapsto f(x)\in \mathbb{R}</math> osiąga maksimum
 
(odpowiednio: minimum) w punkcie <math>\displaystyle a</math>, to funkcja jednej zmiennej
 
(odpowiednio: minimum) w punkcie <math>\displaystyle a</math>, to funkcja jednej zmiennej
Linia 538: Linia 549:
 
x_n) \mapsto f(x_1, x_2, \dots, x_n)\in \mathbb{R}</math> w kierunku wektora
 
x_n) \mapsto f(x_1, x_2, \dots, x_n)\in \mathbb{R}</math> w kierunku wektora
 
<math>\displaystyle e_i</math> oznaczamy tradycyjnie symbolem: <center><math>\displaystyle \frac{\partial f}{\partial
 
<math>\displaystyle e_i</math> oznaczamy tradycyjnie symbolem: <center><math>\displaystyle \frac{\partial f}{\partial
x_i}(a), \ \frac{\partial}{\partial x_i}f(a), \ f_{x_i}(a) \
+
x_i}(a), \ \frac{\partial}{\partial x_i}f(a), \ f_{x_i}(a)  
 
\text{ lub } \ f'_{x_i}(a).</math></center>
 
\text{ lub } \ f'_{x_i}(a).</math></center>
 
W przypadku, gdy nie numerujemy
 
W przypadku, gdy nie numerujemy
 
współrzędnych argumentu funkcji <math>\displaystyle (x,y,z)\mapsto f(x,y,z)</math> pochodne
 
współrzędnych argumentu funkcji <math>\displaystyle (x,y,z)\mapsto f(x,y,z)</math> pochodne
cząstkowe oznaczamy symbolami <math>\displaystyle \frac{\partial f}{\partial x}(a)</math>,
+
cząstkowe oznaczamy symbolami  
<math>\displaystyle \frac{\partial f}{\partial y}(a)</math>, <math>\displaystyle \frac{\partial f}{\partial
+
<center><math>\displaystyle \frac{\partial f}{\partial x}(a), \quad \frac{\partial f}{\partial y}(a), \quad\frac{\partial f}{\partial z}(a)</math>.</center> }}
z}(a)</math>. }}
 
  
 
Przeformułujmy '''''warunek konieczny istnienia ekstremum''''' funkcji
 
Przeformułujmy '''''warunek konieczny istnienia ekstremum''''' funkcji
Linia 561: Linia 571:
 
istnienia ekstremum. Punkt <math>\displaystyle a</math>, który spełnia układ równań:
 
istnienia ekstremum. Punkt <math>\displaystyle a</math>, który spełnia układ równań:
 
<center><math>\displaystyle  
 
<center><math>\displaystyle  
\left\{\aligned \frac{\partial f}{\partial
+
\left\{\begin{align} \frac{\partial f}{\partial
 
x_1}(a)&=0\\\frac{\partial f}{\partial x_2}(a)&=0\\
 
x_1}(a)&=0\\\frac{\partial f}{\partial x_2}(a)&=0\\
&\vdots\\\frac{\partial f}{\partial x_n}(a)&=0\endaligned \right.
+
&\vdots\\\frac{\partial f}{\partial x_n}(a)&=0\end{align} \right.
 
</math></center>
 
</math></center>
  
Linia 573: Linia 583:
 
{{przyklad|6.22.||
 
{{przyklad|6.22.||
 
Z przebiegu poziomicy zerowej funkcji
 
Z przebiegu poziomicy zerowej funkcji
<math>\displaystyle f(x,y)=xy (1-x-y)</math> wywnioskowaliśmy -- w oparciu o twierdzenie
+
<math>\displaystyle f(x,y)=xy (1-x-y)</math> wywnioskowaliśmy - w oparciu o twierdzenie
 
Weierstrassa o osiąganiu kresów przez funkcję ciągłą na zbiorze
 
Weierstrassa o osiąganiu kresów przez funkcję ciągłą na zbiorze
zwartym -- że funkcja ta osiąga minimum w pewnym punkcie wewnątrz
+
zwartym - że funkcja ta osiąga minimum w pewnym punkcie wewnątrz
 
trójkąta o wierzchołkach <math>\displaystyle (0,0)</math>, <math>\displaystyle (1, 0)</math>, <math>\displaystyle (0,1)</math>. Rozwiązując
 
trójkąta o wierzchołkach <math>\displaystyle (0,0)</math>, <math>\displaystyle (1, 0)</math>, <math>\displaystyle (0,1)</math>. Rozwiązując
 
układ dwóch równań
 
układ dwóch równań
<center><math>\displaystyle \left\{\aligned \frac{\partial f}{\partial x}=0\\
+
<center><math>\displaystyle \left\{\begin{align} \frac{\partial f}{\partial x}=0\\
\frac{\partial f}{\partial y}=0 \endaligned \right .\ \ \Longleftrightarrow \ \left\{\aligned y-2xy-y^2=0\\
+
\frac{\partial f}{\partial y}=0 \end{align} \right .\ \ \Longleftrightarrow \ \left\{\begin{align} y-2xy-y^2=0\\
x-x^2 -2xy=0 \endaligned \right .</math></center>
+
x-x^2 -2xy=0 \end{align} \right .</math></center>
 
otrzymujemy układ
 
otrzymujemy układ
<center><math>\displaystyle \left\{\aligned y=0 \text{ lub } 1-2x-y=0\\
+
<center><math>\displaystyle \left\{\begin{align} y=0 \text{ lub } 1-2x-y=0\\
x=0 \text{ lub } 1-x -2y=0 \endaligned \right . ,</math></center>
+
x=0 \text{ lub } 1-x -2y=0 \end{align} \right . ,</math></center>
 
który
 
który
 
spełniają współrzędne czterech punktów <math>\displaystyle P_1=(0,0)</math>, <math>\displaystyle P_2=(1,0)</math>,
 
spełniają współrzędne czterech punktów <math>\displaystyle P_1=(0,0)</math>, <math>\displaystyle P_2=(1,0)</math>,
Linia 590: Linia 600:
 
osiąga minimum równe <math>\displaystyle f(P_4)=\frac{1}{27}</math>. Pozostałe punkty
 
osiąga minimum równe <math>\displaystyle f(P_4)=\frac{1}{27}</math>. Pozostałe punkty
 
<math>\displaystyle P_1</math>, <math>\displaystyle P_2</math>, <math>\displaystyle P_3</math> leżą na poziomicy zerowej funkcji <math>\displaystyle f</math>, która
 
<math>\displaystyle P_1</math>, <math>\displaystyle P_2</math>, <math>\displaystyle P_3</math> leżą na poziomicy zerowej funkcji <math>\displaystyle f</math>, która
-- jak już sprawdziliśmy -- nie może zawierać żadnego punktu
+
- jak już sprawdziliśmy - nie może zawierać żadnego punktu
ekstremalnego funkcji <math>\displaystyle f</math> (zob. przykład [[##am2.5.p.0150|Uzupelnic am2.5.p.0150|]]).
+
ekstremalnego funkcji <math>\displaystyle f</math> (zob. [[#prz_6_15|przykład 6.15.]]).
 
}}
 
}}
  
 
{{przyklad|6.23.||
 
{{przyklad|6.23.||
 
Z przebiegu poziomicy zerowej funkcji
 
Z przebiegu poziomicy zerowej funkcji
<math>\displaystyle f(x,y)=x^3+y^3-3xy</math> wywnioskowaliśmy -- w oparciu o twierdzenie
+
<math>\displaystyle f(x,y)=x^3+y^3-3xy</math> wywnioskowaliśmy - w oparciu o twierdzenie
 
Weierstrassa o osiąganiu kresów przez funkcję ciągłą na zbiorze
 
Weierstrassa o osiąganiu kresów przez funkcję ciągłą na zbiorze
zwartym -- że funkcja ta osiąga minimum w pewnym punkcie wewnątrz
+
zwartym - że funkcja ta osiąga minimum w pewnym punkcie wewnątrz
 
pętli liścia Kartezjusza. Rozwiązując układ dwóch równań
 
pętli liścia Kartezjusza. Rozwiązując układ dwóch równań
<center><math>\displaystyle \left\{\aligned \frac{\partial f}{\partial x}=0\\
+
<center><math>\displaystyle \left\{\begin{align} \frac{\partial f}{\partial x}=0\\
\frac{\partial f}{\partial y}=0 \endaligned \right .\ \ \Longleftrightarrow \ \left\{\aligned 3x^2-3y=0\\
+
\frac{\partial f}{\partial y}=0 \end{align} \right .\ \ \Longleftrightarrow \ \left\{\begin{align} 3x^2-3y=0\\
3y^2-3x=0 \endaligned \right .</math></center>
+
3y^2-3x=0 \end{align} \right .</math></center>
 
otrzymujemy układ
 
otrzymujemy układ
<center><math>\displaystyle \left\{\aligned y=0 &\text{ lub } y=1\\
+
<center><math>\displaystyle \left\{\begin{align} y=0 &\text{ lub } y=1\\
x&=y^2  \endaligned \right . ,</math></center>
+
x&=y^2  \end{align} \right . ,</math></center>
 
który spełniają współrzędne dwóch
 
który spełniają współrzędne dwóch
 
punktów <math>\displaystyle P_1=(0,0)</math>, <math>\displaystyle P_2=(1,1)</math>. Jedynym punktem z wnętrza
 
punktów <math>\displaystyle P_1=(0,0)</math>, <math>\displaystyle P_2=(1,1)</math>. Jedynym punktem z wnętrza
 
obszaru ograniczonego przez pętlę liścia Kartezjusza  jest punkt
 
obszaru ograniczonego przez pętlę liścia Kartezjusza  jest punkt
 
<math>\displaystyle P_2</math>, w którym funkcja <math>\displaystyle f</math> osiąga minimum równe <math>\displaystyle f(P_2)=-1</math>.
 
<math>\displaystyle P_2</math>, w którym funkcja <math>\displaystyle f</math> osiąga minimum równe <math>\displaystyle f(P_2)=-1</math>.
Punkt <math>\displaystyle P_1</math> leży na poziomicy zerowej funkcji <math>\displaystyle f</math>, która -- jak
+
Punkt <math>\displaystyle P_1</math> leży na poziomicy zerowej funkcji <math>\displaystyle f</math>, która - jak
już sprawdziliśmy -- nie może zawierać żadnego punktu
+
już sprawdziliśmy - nie może zawierać żadnego punktu
ekstremalnego funkcji <math>\displaystyle f</math> (zob. przykład [[##am2.5.p.0160|Uzupelnic am2.5.p.0160|]]).
+
ekstremalnego funkcji <math>\displaystyle f</math> (zob. [[#prz_6_16|przykład 6.16.]]).
 
}}
 
}}
  
Linia 618: Linia 628:
 
Podobnie jak w obu poprzednich
 
Podobnie jak w obu poprzednich
 
przykładach z przebiegu poziomicy zerowej funkcji
 
przykładach z przebiegu poziomicy zerowej funkcji
<math>\displaystyle f(x,y)=(x^2+y^2)^2-2(x^2-y^2)</math> wywnioskowaliśmy -- w oparciu o
+
<math>\displaystyle f(x,y)=(x^2+y^2)^2-2(x^2-y^2)</math> wywnioskowaliśmy - w oparciu o
 
twierdzenie Weierstrassa o osiąganiu kresów przez funkcję ciągłą
 
twierdzenie Weierstrassa o osiąganiu kresów przez funkcję ciągłą
na zbiorze zwartym -- że funkcja ta osiąga minimum  w pewnym
+
na zbiorze zwartym - że funkcja ta osiąga minimum  w pewnym
 
punkcie wewnątrz obszaru ograniczonego lemniskatą Bernoullego.
 
punkcie wewnątrz obszaru ograniczonego lemniskatą Bernoullego.
 
Rozwiązując układ dwóch równań
 
Rozwiązując układ dwóch równań
<center><math>\displaystyle \left\{\aligned \frac{\partial f}{\partial x}=0\\
+
<center><math>\displaystyle \left\{\begin{align} \frac{\partial f}{\partial x}=0\\
\frac{\partial f}{\partial y}=0 \endaligned \right .\ \ \Longleftrightarrow \ \left\{\aligned 2(x^2+y^2)2x-4x=0\\
+
\frac{\partial f}{\partial y}=0 \end{align} \right .\ \ \Longleftrightarrow \ \left\{\begin{align} 2(x^2+y^2)2x-4x=0\\
2(x^2+y^2)2y+4y=0 \endaligned \right .</math></center>
+
2(x^2+y^2)2y+4y=0 \end{align} \right .</math></center>
 
otrzymujemy układ
 
otrzymujemy układ
<center><math>\displaystyle \left\{\aligned x=0 \text{ lub } x^2+y^2-1=0\\
+
<center><math>\displaystyle \left\{\begin{align} x=0 \text{ lub } x^2+y^2-1=0\\
y=0 \text{ lub } x^2+y^2+1=0 \endaligned \right . ,</math></center>
+
y=0 \text{ lub } x^2+y^2+1=0 \end{align} \right . ,</math></center>
 
który
 
który
 
spełniają współrzędne trzech punktów <math>\displaystyle P_1=(0,0)</math>, <math>\displaystyle P_2=(-1,0)</math>,
 
spełniają współrzędne trzech punktów <math>\displaystyle P_1=(0,0)</math>, <math>\displaystyle P_2=(-1,0)</math>,
Linia 634: Linia 644:
 
Bernoullego leżą punkty <math>\displaystyle P_2</math> i <math>\displaystyle P_3</math>, w których funkcja <math>\displaystyle f</math>
 
Bernoullego leżą punkty <math>\displaystyle P_2</math> i <math>\displaystyle P_3</math>, w których funkcja <math>\displaystyle f</math>
 
osiąga minima równe <math>\displaystyle f(P_2)=f(P_3)=-1</math>. Punkt <math>\displaystyle P_1</math> leży na
 
osiąga minima równe <math>\displaystyle f(P_2)=f(P_3)=-1</math>. Punkt <math>\displaystyle P_1</math> leży na
poziomicy zerowej funkcji <math>\displaystyle f</math>, która -- jak już sprawdziliśmy --
+
poziomicy zerowej funkcji <math>\displaystyle f</math>, która - jak już sprawdziliśmy -
nie może zawierać żadnego punktu ekstremalnego funkcji <math>\displaystyle f</math> (zob.
+
nie może zawierać żadnego punktu ekstremalnego funkcji <math>\displaystyle f</math> (zobacz [[#prz_6_17|przykład 6.17.]]).
przykład [[##am2.5.p.0170|Uzupelnic am2.5.p.0170|]]).
 
 
}}
 
}}
  
Linia 656: Linia 665:
 
<math>\displaystyle \frac{\partial ^2}{\partial x_j\partial x_i}f(a)</math> lub
 
<math>\displaystyle \frac{\partial ^2}{\partial x_j\partial x_i}f(a)</math> lub
 
<math>\displaystyle \frac{\partial ^2f (a)}{\partial x_j\partial x_i}</math>. Gdy <math>\displaystyle i=j</math>
 
<math>\displaystyle \frac{\partial ^2f (a)}{\partial x_j\partial x_i}</math>. Gdy <math>\displaystyle i=j</math>
piszemy <math>\displaystyle \frac{\partial ^2f (a)}{\partial x_i^2}</math> zamiast
+
piszemy <math>\displaystyle \frac{\partial ^2f (a)}{\partial x_i^2}</math> zamiast <math>\displaystyle \frac{\partial ^2f (a)}{\partial x_i\partial x_i}</math>. }}
<math>\displaystyle \frac{\partial ^2f (a)}{\partial x_i\partial x_i}</math>. }}
 
  
 
{{uwaga|6.26.||
 
{{uwaga|6.26.||
 
Jeśli <math>\displaystyle f: \mathbb{R}^n \ni (x,y, z, \dots, t)\mapsto f(x,y, z,
 
Jeśli <math>\displaystyle f: \mathbb{R}^n \ni (x,y, z, \dots, t)\mapsto f(x,y, z,
\dots, t)\in \mathbb{R}</math> jest funkcją <math>\displaystyle n</math> zmiennych, to często zamiast
+
\dots, t)\in \mathbb{R}</math> jest funkcją <math>\displaystyle n</math> zmiennych, to często zamiast pisać
pisać <center><math>\displaystyle \frac{\partial^2 f(a)}{\partial x^2}, \ \frac{\partial^2
+
<center><math>\displaystyle \frac{\partial^2 f(a)}{\partial x^2}, \ \frac{\partial^2
 
f(a)}{\partial x\partial y}, \ \frac{\partial^2 f(a)}{\partial
 
f(a)}{\partial x\partial y}, \ \frac{\partial^2 f(a)}{\partial
 
x\partial z}, \dots, </math></center>
 
x\partial z}, \dots, </math></center>
 
piszemy
 
piszemy
<center><math>\displaystyle f_{xx}(a), \ f_{xy}(a), \ f_{xz}(a), \dots</math></center>
+
<center><math>\displaystyle f_{xx}(a), \ f_{xy}(a), \ f_{xz}(a), \dots,</math></center>
  
 
bądź
 
bądź
<center><math>\displaystyle f'_{xx}(a), \ f'_{xy}(a), \ f'_{xz}(a), \dots.</math></center>
+
<center><math>\displaystyle f'_{xx}(a), \ f'_{xy}(a), \ f'_{xz}(a), \dots</math></center>
  
 
}}
 
}}
Linia 682: Linia 690:
  
 
{{przyklad|6.27.||
 
{{przyklad|6.27.||
Funkcja <center><math>\displaystyle f(x,y)=\left\{\aligned
+
Funkcja <center><math>\displaystyle f(x,y)=\left\{\begin{align}
 
&\frac{xy (x^2-y^2)}{x^2+y^2},  &\text{ gdy } (x,y)\neq (0,0)\\
 
&\frac{xy (x^2-y^2)}{x^2+y^2},  &\text{ gdy } (x,y)\neq (0,0)\\
&0, &\text{ gdy } (x,y)=(0,0)\endaligned \right.</math></center>
+
&0, &\text{ gdy } (x,y)=(0,0)\end{align} \right.</math></center>
ma w punkcie
+
ma w punkcie <math>\displaystyle (0,0)</math> obie pochodne cząstkowe mieszane <math>\displaystyle \frac{\partial}{\partial x }\frac{\partial }{\partial y}f (0,0)</math> oraz <math>\displaystyle \frac{\partial }{\partial y }\frac{\partial }{\partial x }f (0,0)</math>, lecz są one różne.  A mianowice <math>\displaystyle \frac{\partial }{\partial x }\frac{\partial }{\partial y}f (0,0)=1</math>, podczas gdy <math>\displaystyle \frac{\partial }{\partial y }\frac{\partial }{\partial x}f
<math>\displaystyle (0,0)</math> obie pochodne cząstkowe mieszane <math>\displaystyle \frac{\partial
 
}{\partial x }\frac{\partial }{\partial y}f (0,0)</math> oraz
 
<math>\displaystyle \frac{\partial }{\partial y }\frac{\partial }{\partial x }f
 
(0,0)</math>, lecz są one różne.  A mianowice <math>\displaystyle \frac{\partial }{\partial
 
x }\frac{\partial }{\partial y}f (0,0)=1</math>, podczas gdy
 
<math>\displaystyle \frac{\partial }{\partial y }\frac{\partial }{\partial x}f
 
 
(0,0)=-1.</math> }}
 
(0,0)=-1.</math> }}
  
Linia 705: Linia 707:
 
pochodne cząstkowe <math>\displaystyle \frac{\partial }{\partial x_j }\frac{\partial
 
pochodne cząstkowe <math>\displaystyle \frac{\partial }{\partial x_j }\frac{\partial
 
}{\partial x_i }f </math> oraz <math>\displaystyle \frac{\partial }{\partial x_i
 
}{\partial x_i }f </math> oraz <math>\displaystyle \frac{\partial }{\partial x_i
}\frac{\partial }{\partial x_j }f </math>, to w punkcie <math>\displaystyle a</math> są one
+
}\frac{\partial }{\partial x_j }f </math>, to w punkcie <math>\displaystyle a</math> są one równe, tj. <center><math>\displaystyle \frac{\partial }{\partial x_j }\frac{\partial
równe, tj. <center><math>\displaystyle \frac{\partial }{\partial x_j }\frac{\partial
 
 
}{\partial x_i }f (a)= \frac{\partial }{\partial x_i
 
}{\partial x_i }f (a)= \frac{\partial }{\partial x_i
}\frac{\partial }{\partial x_j }f(a)
+
}\frac{\partial }{\partial x_j }f(a).
 
</math></center>
 
</math></center>
 
}}
 
}}
Linia 757: Linia 758:
 
Wektor <math>\displaystyle \displaystyle \mathrm{grad}\,
 
Wektor <math>\displaystyle \displaystyle \mathrm{grad}\,
 
f(a)=\bigg(\frac{\partial f}{\partial x_1}(a), \frac{\partial
 
f(a)=\bigg(\frac{\partial f}{\partial x_1}(a), \frac{\partial
f}{\partial x_1}(a), \dots, \frac{\partial f}{\partial
+
f}{\partial x_2}(a), \dots, \frac{\partial f}{\partial
x_1}(a)\bigg)\in \mathbb{R}^n</math> nazywamy '''''gradientem''''' funkcji <math>\displaystyle f</math> w
+
x_n}(a)\bigg)\in \mathbb{R}^n</math> nazywamy '''''gradientem''''' funkcji <math>\displaystyle f</math> w
 
punkcie <math>\displaystyle a</math>. Wektor ten oznaczamy też często symbolem '''''nabla''''':
 
punkcie <math>\displaystyle a</math>. Wektor ten oznaczamy też często symbolem '''''nabla''''':
 
<math>\displaystyle \nabla f(a)</math>. Punkt <math>\displaystyle a</math>,
 
<math>\displaystyle \nabla f(a)</math>. Punkt <math>\displaystyle a</math>,
Linia 772: Linia 773:
 
x_i}(a)</math>, <math>\displaystyle i=1,2,\dots, n</math>, to
 
x_i}(a)</math>, <math>\displaystyle i=1,2,\dots, n</math>, to
  
a) <math>\displaystyle \mathrm{grad}\, (f+g)(a)=\mathrm{grad}\, f(a) +\mathrm{grad}\, g(a)</math>
+
a) <math>\displaystyle \mathrm{grad}\, (f+g)(a)=\mathrm{grad}\, f(a) +\mathrm{grad}\, g(a),</math>
  
b)  <math>\displaystyle \mathrm{grad}\, (f g)(a)=g(a) \mathrm{grad}\, f(a) +f(a) \mathrm{grad}\, g(a)</math>
+
b)  <math>\displaystyle \mathrm{grad}\, (f g)(a)=g(a) \mathrm{grad}\, f(a) +f(a) \mathrm{grad}\, g(a).</math>
  
 
}}
 
}}
  
{{dowod|uwagi 6.31.||
+
{{dowod|6.31.||
 
Korzystając z twierdzenia o pochodnej sumy i iloczynu funkcji
 
Korzystając z twierdzenia o pochodnej sumy i iloczynu funkcji
<math>\displaystyle f,g</math> wyznaczamy kolejne współrzędne wektorów <math>\displaystyle \mathrm{grad}\,(f+g)(a)</math>
+
<math>\displaystyle f,g</math>, wyznaczamy kolejne współrzędne wektorów <math>\displaystyle \mathrm{grad}\,(f+g)(a)</math>
 
oraz <math>\displaystyle \mathrm{grad}\,(fg)(a)</math>:
 
oraz <math>\displaystyle \mathrm{grad}\,(fg)(a)</math>:
 
<center><math>\displaystyle \frac{\partial}{\partial x_i}(f+g)(a)=\frac{\partial}{\partial
 
<center><math>\displaystyle \frac{\partial}{\partial x_i}(f+g)(a)=\frac{\partial}{\partial
Linia 796: Linia 797:
  
 
{{uwaga|6.32.||
 
{{uwaga|6.32.||
Pochodna kierunkowa w kierunku gradientu
+
Pochodna kierunkowa w kierunku gradientu jest największa. }}
jest największa. }}
 
  
 
W fizyce funkcję <math>\displaystyle f:\mathbb{R}^3\mapsto \mathbb{R} </math> o wartościach liczbowych
 
W fizyce funkcję <math>\displaystyle f:\mathbb{R}^3\mapsto \mathbb{R} </math> o wartościach liczbowych
Linia 806: Linia 806:
 
'''''pole grawitacyjne'''''. Jeśli w początku układu współrzędnych w
 
'''''pole grawitacyjne'''''. Jeśli w początku układu współrzędnych w
 
przestrzeni <math>\displaystyle \mathbb{R}^3</math> znajduje się punkt materialny o masie <math>\displaystyle M</math>, to
 
przestrzeni <math>\displaystyle \mathbb{R}^3</math> znajduje się punkt materialny o masie <math>\displaystyle M</math>, to
-- zgodnie z '''''prawem powszechnego ciążenia Newtona''''' -- na
+
- zgodnie z '''''prawem powszechnego ciążenia Newtona''''' - na
 
dowolny inny
 
dowolny inny
 
punkt materialny położony w punkcie <math>\displaystyle \vec{r}=(x,y,z)</math> o masie <math>\displaystyle m</math> działa siła
 
punkt materialny położony w punkcie <math>\displaystyle \vec{r}=(x,y,z)</math> o masie <math>\displaystyle m</math> działa siła
 
<math>\displaystyle F=(F_x, F_y,
 
<math>\displaystyle F=(F_x, F_y,
 
F_z)</math>, której składowe wynoszą:
 
F_z)</math>, której składowe wynoszą:
<center><math>\displaystyle \aligned F_x (\vec{r})&=-k\frac{x}{r^3}\\ F_y
+
<center><math>\displaystyle \begin{align} F_x (\vec{r})&=-k\frac{x}{r^3},\\ F_y
(\vec{r})&=-k\frac{y}{r^3}\\ F_z
+
(\vec{r})&=-k\frac{y}{r^3},\\ F_z
(\vec{r})&=-k\frac{z}{r^3},\endaligned</math></center>
+
(\vec{r})&=-k\frac{z}{r^3},\end{align}</math></center>
 
gdzie <math>\displaystyle k=G m M</math> jest
 
gdzie <math>\displaystyle k=G m M</math> jest
 
iloczynem mas obu punktów materialnych i '''''stałej grawitacji'''''
 
iloczynem mas obu punktów materialnych i '''''stałej grawitacji'''''
Linia 829: Linia 829:
 
{{definicja|6.33.||
 
{{definicja|6.33.||
 
Pole wektorowe <math>\displaystyle F:\mathbb{R}^3\supset D \mapsto
 
Pole wektorowe <math>\displaystyle F:\mathbb{R}^3\supset D \mapsto
\mathbb{R}^3</math> nazywamy '''''polem potencjalnym''''', jeśli istnieje funkcja
+
\mathbb{R}^3</math> nazywamy '''''polem potencjalnym''''', jeśli istnieje funkcja skalarna
skalarna <math>\displaystyle U:D\mapsto \mathbb{R}</math> taka, że <math>\displaystyle \mathrm{grad}\, U(a)=F(a)</math> w dowolnym
+
<math>\displaystyle U:D\mapsto \mathbb{R}</math> taka, że <math>\displaystyle \mathrm{grad}\, U(a)=F(a)</math> w dowolnym punkcie <math>\displaystyle a</math> zbioru otwartego <math>\displaystyle D\subset \mathbb{R}^3</math>.  
punkcie <math>\displaystyle a</math> zbioru otwartego <math>\displaystyle D\subset \mathbb{R}^3</math>. Funkcję <math>\displaystyle U</math>
+
Funkcję <math>\displaystyle U</math> nazywamy wówczas '''''potencjałem pola wektorowego''''' <math>\displaystyle F</math>. }}
nazywamy wówczas '''''potencjałem pola wektorowego''''' <math>\displaystyle F</math>. }}
 
  
 
{{uwaga|6.34.||
 
{{uwaga|6.34.||
Linia 841: Linia 840:
 
oraz <math>\displaystyle r=\|\vec{r}\|_2=\sqrt{x^2+y^2+z^2}</math>. }}
 
oraz <math>\displaystyle r=\|\vec{r}\|_2=\sqrt{x^2+y^2+z^2}</math>. }}
  
{{dowod|uwagi 6.34.||
+
{{dowod|6.34.||
 
Policzmy pochodne cząstkowe funkcji
 
Policzmy pochodne cząstkowe funkcji
 
<math>\displaystyle U(x,y,z)=\frac{k}{\sqrt{x^2+y^2+z^2}}=\frac{k}{r}</math> określonej w
 
<math>\displaystyle U(x,y,z)=\frac{k}{\sqrt{x^2+y^2+z^2}}=\frac{k}{r}</math> określonej w
 
zbiorze otwartym <math>\displaystyle D=\mathbb{R}^3 \setminus \{0\}</math>, czyli wszędzie w
 
zbiorze otwartym <math>\displaystyle D=\mathbb{R}^3 \setminus \{0\}</math>, czyli wszędzie w
 
przestrzeni <math>\displaystyle \mathbb{R}^3</math> poza początkiem układu współrzędnych. Mamy
 
przestrzeni <math>\displaystyle \mathbb{R}^3</math> poza początkiem układu współrzędnych. Mamy
<center><math>\displaystyle  \aligned \frac{\partial}{\partial x}U(\vec{r})&=\frac{\partial}{\partial
+
<center><math>\displaystyle  \begin{align} \frac{\partial}{\partial x}U(\vec{r})&=\frac{\partial}{\partial
 
x}\frac{k}{r}=-\frac{k}{r^2}\cdot \frac{\partial r}{\partial
 
x}\frac{k}{r}=-\frac{k}{r^2}\cdot \frac{\partial r}{\partial
 
x}=-\frac{k}{r^2}\cdot \frac{2 x}{2 r}=-\frac{k}{r^3}x\\
 
x}=-\frac{k}{r^2}\cdot \frac{2 x}{2 r}=-\frac{k}{r^3}x\\
Linia 855: Linia 854:
 
z}\frac{k}{r}=-\frac{k}{r^2}\cdot \frac{\partial r}{\partial
 
z}\frac{k}{r}=-\frac{k}{r^2}\cdot \frac{\partial r}{\partial
 
z}=-\frac{k}{r^2}\cdot \frac{2 z}{2
 
z}=-\frac{k}{r^2}\cdot \frac{2 z}{2
r}=-\frac{k}{r^3}z,\endaligned</math></center>
+
r}=-\frac{k}{r^3}z,\end{align}</math></center>
 
czyli
 
czyli
<center><math>\displaystyle \aligned \mathrm{grad}\, U(\vec{r})&= \mathrm{grad}\,
+
<center><math>\displaystyle \begin{align} \mathrm{grad}\, U(\vec{r})&= \mathrm{grad}\,
 
U(x,y,z)=(-\frac{k}{r^3} x, -\frac{k}{r^3} y, -\frac{k}{r^3}
 
U(x,y,z)=(-\frac{k}{r^3} x, -\frac{k}{r^3} y, -\frac{k}{r^3}
 
z)\\&=-\frac{k}{r^3} (x,y,z)=-\frac{k}{r^3} \vec{r}\\&=
 
z)\\&=-\frac{k}{r^3} (x,y,z)=-\frac{k}{r^3} \vec{r}\\&=
F(\vec{r}).\endaligned </math></center>
+
F(\vec{r}).\end{align} </math></center>
 
}}
 
}}
  
Linia 870: Linia 869:
 
F_y}{\partial y}(a)+\frac{\partial F_z}{\partial z}(a),</math></center>
 
F_y}{\partial y}(a)+\frac{\partial F_z}{\partial z}(a),</math></center>
 
o ile
 
o ile
istnieją pochodne cząstkowe <math>\displaystyle \frac{\partial F_x}{\partial x}(a), \
+
istnieją pochodne cząstkowe <math>\displaystyle \frac{\partial F_x}{\partial x}(a),
 
\frac{\partial F_y}{\partial y}(a), \ \frac{\partial F_z}{\partial
 
\frac{\partial F_y}{\partial y}(a), \ \frac{\partial F_z}{\partial
 
z}(a)</math>. Jeśli w dowolnym punkcie <math>\displaystyle a\in D</math> dywergencja <math>\displaystyle \mathrm{div}\,
 
z}(a)</math>. Jeśli w dowolnym punkcie <math>\displaystyle a\in D</math> dywergencja <math>\displaystyle \mathrm{div}\,
Linia 878: Linia 877:
  
 
{{uwaga|6.36.||
 
{{uwaga|6.36.||
Pole grawitacyjne <math>\displaystyle \displaystyle
+
Pole grawitacyjne <math>\displaystyle \displaystyle F(\vec{r})=-\frac{k}{r^3}\vec{r}</math> jest polem bezźródłowym w <math>\displaystyle \mathbb{R}^3\setminus\{0\}</math>. }}
F(\vec{r})=-\frac{k}{r^3}\vec{r}</math> jest polem bezźródłowym w
 
<math>\displaystyle \mathbb{R}^3\setminus\{0\}</math>. }}
 
  
{{dowod|uwagi 6.36.||
+
{{dowod|6.36.||
 
W dowolnym punkcie <math>\displaystyle \vec{r}=(x,y,z)\neq 0</math> mamy
 
W dowolnym punkcie <math>\displaystyle \vec{r}=(x,y,z)\neq 0</math> mamy
 
<center><math>
 
<center><math>
Linia 894: Linia 891:
 
x}\bigg)=-k\bigg(\frac{1}{r^3}- \frac{3x^2}{r^5}\bigg)
 
x}\bigg)=-k\bigg(\frac{1}{r^3}- \frac{3x^2}{r^5}\bigg)
 
\end{array}</math></center>
 
\end{array}</math></center>
i
+
i podobnie <center><math>\displaystyle \displaystyle \frac{\partial F_y}{\partial y}(\vec{r})=-k\bigg(\frac{1}{r^3}- \frac{3y^2}{r^5}\bigg) \text{ oraz } \frac{\partial F_z}{\partial z}(\vec{r})=-k\bigg(\frac{1}{r^3}- \frac{3z^2}{r^5}\bigg).</math></center>
podobnie <center><math>\displaystyle \displaystyle \frac{\partial F_y}{\partial
 
y}(\vec{r})=-k\bigg(\frac{1}{r^3}- \frac{3y^2}{r^5}\bigg) \text{
 
oraz } \frac{\partial F_z}{\partial
 
z}(\vec{r})=-k\bigg(\frac{1}{r^3}- \frac{3z^2}{r^5}\bigg).</math></center>
 
 
Stąd
 
Stąd
<center><math>\displaystyle \aligned \mathrm{div}\, F(\vec{r})&=\frac{\partial F_x}{\partial x}(\vec{r})+\frac{\partial
+
<center><math>\displaystyle \begin{align} \mathrm{div}\, F(\vec{r})&=\frac{\partial F_x}{\partial x}(\vec{r})+\frac{\partial
 
F_y}{\partial y}(\vec{r})+\frac{\partial F_z}{\partial
 
F_y}{\partial y}(\vec{r})+\frac{\partial F_z}{\partial
 
z}(\vec{r})\\&=-k\bigg(\frac{1}{r^3}-
 
z}(\vec{r})\\&=-k\bigg(\frac{1}{r^3}-
Linia 907: Linia 900:
 
\frac{3z^2}{r^5}\bigg)\\&=-k\bigg(\frac{3}{r^3}-
 
\frac{3z^2}{r^5}\bigg)\\&=-k\bigg(\frac{3}{r^3}-
 
\frac{3(x^2+y^2+z^2)}{r^5}\bigg)=-k\bigg(\frac{3}{r^3}-
 
\frac{3(x^2+y^2+z^2)}{r^5}\bigg)=-k\bigg(\frac{3}{r^3}-
\frac{3r^2}{r^5}\bigg)=0.\endaligned </math></center>
+
\frac{3r^2}{r^5}\bigg)=0.\end{align} </math></center>
  
 
}}
 
}}
Linia 916: Linia 909:
 
nazywamy wektor <center><math>\displaystyle \mathrm{rot}\, F(a)=\bigg(\frac{\partial F_z}{\partial
 
nazywamy wektor <center><math>\displaystyle \mathrm{rot}\, F(a)=\bigg(\frac{\partial F_z}{\partial
 
y}(a)-\frac{\partial F_y}{\partial z}(a), \ \frac{\partial
 
y}(a)-\frac{\partial F_y}{\partial z}(a), \ \frac{\partial
F_x}{\partial z}(a)-\frac{\partial F_z}{\partial x}(a), \
+
F_x}{\partial z}(a)-\frac{\partial F_z}{\partial x}(a),  
 
\frac{\partial F_y}{\partial x}(a)-\frac{\partial F_x}{\partial
 
\frac{\partial F_y}{\partial x}(a)-\frac{\partial F_x}{\partial
 
y}(a) \bigg).</math></center>
 
y}(a) \bigg).</math></center>
Linia 926: Linia 919:
  
 
{{uwaga|6.38.||
 
{{uwaga|6.38.||
Pole grawitacyjne <math>\displaystyle \displaystyle
+
Pole grawitacyjne <math>\displaystyle \displaystyle F(\vec{r})=-\frac{k}{r^3}\vec{r}</math> jest polem bezwirowym w <math>\displaystyle \mathbb{R}^3\setminus\{0\}</math>. }}
F(\vec{r})=-\frac{k}{r^3}\vec{r}</math> jest polem bezwirowym w
 
<math>\displaystyle \mathbb{R}^3\setminus\{0\}</math>. }}
 
  
{{dowod|uwagi 6.38.||
+
{{dowod|6.38.||
 
W dowolnym punkcie <math>\displaystyle \vec{r}=(x,y,z)\neq 0</math> mamy
 
W dowolnym punkcie <math>\displaystyle \vec{r}=(x,y,z)\neq 0</math> mamy
 
<center><math>\displaystyle \frac{\partial }{\partial y}F_z(\vec{r})=\frac{\partial
 
<center><math>\displaystyle \frac{\partial }{\partial y}F_z(\vec{r})=\frac{\partial
Linia 947: Linia 938:
 
sposób sprawdzamy, że również druga i trzecia współrzędna wektora
 
sposób sprawdzamy, że również druga i trzecia współrzędna wektora
 
rotacji zerują się:
 
rotacji zerują się:
<center><math>\displaystyle \aligned \frac{\partial F_x}{\partial
+
<center><math>\displaystyle \begin{align} \frac{\partial F_x}{\partial
 
z}(\vec{r})-\frac{\partial F_z}{\partial
 
z}(\vec{r})-\frac{\partial F_z}{\partial
 
x}(\vec{r})&=xz\frac{3k}{r^5}-zx\frac{3k}{r^5}=0\\ \frac{\partial
 
x}(\vec{r})&=xz\frac{3k}{r^5}-zx\frac{3k}{r^5}=0\\ \frac{\partial
 
F_y}{\partial x}(\vec{r})-\frac{\partial F_x}{\partial
 
F_y}{\partial x}(\vec{r})-\frac{\partial F_x}{\partial
y}(\vec{r})&=yx\frac{3k}{r^5}-xy\frac{3k}{r^5}=0.\endaligned </math></center>
+
y}(\vec{r})&=yx\frac{3k}{r^5}-xy\frac{3k}{r^5}=0.\end{align} </math></center>
  
 
Stąd <math>\displaystyle \mathrm{rot}\, F(\vec{r})=0</math>, dla <math>\displaystyle \vec{r}\neq 0</math>.
 
Stąd <math>\displaystyle \mathrm{rot}\, F(\vec{r})=0</math>, dla <math>\displaystyle \vec{r}\neq 0</math>.
  
 
}}
 
}}

Aktualna wersja na dzień 11:10, 3 paź 2021

Funkcje wielu zmiennych. Ciągłość. Pochodne cząstkowe

Przypominamy przykłady funkcji wielu zmiennych, które znamy z życia codziennego. Do badania przebiegu zmienności funkcji, badania ciągłości, wyznaczania ekstremów stosujemy analizę przebiegu poziomic, a następnie wprowadzamy pochodne kierunkowe i cząstkowe.

Przykłady funkcji wielu zmiennych

Prognoza pogody
Prognoza pogody

Z funkcjami dwóch zmiennych rzeczywistych spotykamy się na co dzień. Śledząc prognozę pogody po wieczornym wydaniu wiadomości w telewizji (w prasie, w internecie) sprawdzamy, jaka temperatura jest przewidywana na najbliższą noc, na kolejny poranek, popołudnie, w dniach następnych. Temperatura podawana jest przeważnie liczbowo dla kilku regionów naszego kraju albo też - w dokładniejszej formie - na mapie z zaznaczonymi izotermami, tj. liniami, które łączą punkty o takiej samej temperaturze.

Osoby podatne na zmiany ciśnienia atmosferycznego z niepokojem śledzą informacje o spodziewanym załamaniu pogody i wahaniach ciśnienia. Przypomnijmy, że linie łączące punkty o takim samym ciśnieniu atmosferycznym nazywamy izobarami.

Zagęszczenie izobar nad danym obszarem oznacza dużą prędkość wiatru w terenie: im izobary są gęstsze, tym prędkość wiatru większa. Pamiętamy, że wiatr wieje od obszaru o wyższym ciśnieniu do obszaru o niższym ciśnieniu.

Kierunek wiatru także nie jest przypadkowy: odpowiada temu kierunkowi, w którym ciśnienie spada najszybciej, co na mapie odpowiada kierunkowi, w którym izobary najbardziej zagęszczają się.

Ze względu na czytelność map z prognozą pogody, obszary zawarte między kolejnymi poziomicami koloruje się zgodnie z umową tak, że obszary, nad którymi panuje niskie ciśnienie, bądź niska temparatura, oznacza się kolorem fioletowym, ciemno niebieskim, niebieskim. Kolory jasno zielony, zielony, jasno żółty, rezerwuje się do oznaczania obszarów o przeciętnym ciśnieniu czy temperaturze, natomiast obszary o najwyższych wartościach koloruje się na żółto, pomarańczowo, czerwono. Do umowy tej przywykliśmy. Tak bowiem pokolorowana jest mapa fizyczna (mapa hipsometryczna), np. ta przedstawiająca nasz kraj.

Prognoza pogody
Prognoza pogody
Mapa hipsometryczna

Gdybyśmy powędrowali palcem po mapie z południa na północ Polski, zaczynając od Tatr, które po polskiej stronie sięgają prawie 2500 metrów nad poziom morza, wystartowalibyśmy z obszaru pokolorowanego na brązowo, intensywnie czerwono, pomarańczowo. Kierując się do Krakowa i dalej Wyżyną Krakowsko-Częstochowską, przemierzalibyśmy obszar pokolorowany na żółto. Obszar nizinny w centralnej i północnej części naszego kraju zaznaczono na zielono, z wyjątkiem pasm wzgórz na północy, np. na Kaszubach, które zaznaczono na żółto. Jeśli spojrzymy trochę na prawo od ujścia Wisły, między Tczewem a Elblągiem, zauważymy obszar ciemnozielony, którym pokolorowano obszar depresji, tj. obszar położony poniżej poziomu morza. W końcu docieramy do brzegu Bałtyku, którego poziom stanowi umowny punkt odniesienia wysokości obszaru nad poziom morza. Pamiętamy, że głębokość dna morza na mapie również została zaznaczona różnymi kolorami: od białego (którym zaznaczono płytkie obszary tuż przy brzegu i mielizny), przez niebieski, aż po ciemnoniebieski, którym zaznaczono głębsze obszary.

Wycinek mapy Tatr
Wycinek mapy Tatr

Linie na mapie, łączące punkty o samej wysokości nad poziom morza, nazywamy poziomicami.

Wędrując po górach, w zależności od upodobania, wybieramy szlak, który krótszą, ale bardziej stromą drogą doprowadzi nas do celu, bądź też szlak mniej stromy, łagodny. Każdy, kto wędrował choć raz po górach z mapą w ręku wie, że im gęściej szlak poprzecinany jest kolejnymi poziomicami, tym jest bardziej stromy i wymaga większego wysiłku fizycznego. Szlak, który przebiega między dwiema poziomicami, prawie żadnej nie przecina, jest zdecydowanie łagodniejszy, bez stromych podejść, nie wymaga wysiłku.

Na ogół szlaki turystyczne w górach omijają obszary, gdzie poziomice przebiegają bardzo gęsto, bądź wręcz urywają się. Nic dziwnego: tak na mapie zaznaczono strome zbocza i urwiska.

Zauważmy, że poziomice odpowiadające różnym wysokościom są krzywymi rozłącznymi. Na mapie, która przeważnie przedstawia pewien prostokątny (w przybliżeniu) obszar terenu, krzywe te są zamknięte lub nie. Nasze doświadczenie podpowiada nam, że wewnątrz obszaru ograniczonego poziomicą, która jest linią zamkniętą, zawsze da się wskazać punkt położony najwyżej (np. szczyt wzniesienia) lub najniżej (np. dno doliny).

W ramach Analizy matematycznej I poznaliśmy twierdzenie, które opisuje taką sytuację: funkcja ciągła na zbiorze zwartym osiąga swoje kresy. Jest to twierdzenie Weierstrassa, które pozostaje prawdziwe nie tylko w przypadku funkcji jednej zmiennej.

Mapa fizyczna danego obszaru, mapa rozkładu ciśnienia, mapa rozkładu temperatury to przykłady graficznej reprezentacji (wykresu) funkcji dwóch zmiennych rzeczywistych (długości i szerokości geograficznej) o wartościach w zbiorze liczb rzeczywistych, bowiem wysokość punktu nad poziom morza, wartość ciśnienia atmosferycznego, temperatura to wielkości liczbowe.

Granica i ciągłość funkcji wielu zmiennych

Większość pojęć i twierdzeń, którymi będziemy posługiwać się w tym module, poznaliśmy już przy okazji omawiania własności funkcji ciągłych w przestrzeniach metrycznych. Przypomnijmy parę z nich.

Niech , będą przestrzeniami metrycznymi.

Będziemy zajmowali się badaniem funkcji

Większość praktycznych przykładów zastosowania teorii będzie dotyczyć funkcji określonych na zbiorze , , z metryką zadaną przez pewną ustaloną normę w , np.

Zbiorem wartości funkcji najczęściej będzie zbiór liczb rzeczywistych z metryką zadaną przez wartość bezwzględną, tj. .

Definicja 6.1.

Mówimy, że jest granicą funkcji w punkcie będącym punktem skupienia dziedziny funkcji , jeśli

Definicja 6.2.

Mówimy, że funkcja jest ciągła w punkcie x, jeśli

Pamiętamy również, że zachodzi następujące

Twierdzenie 6.3.

Niech będą przestrzeniami metrycznymi i niech będzie funkcją. Wówczas następujące warunki są równoważne:

1) funkcja jest ciągła w punkcie ,

2) istnieje granica i jest równa wartości funkcji .

Niech , , będą przestrzeniami metrycznymi.

Twierdzenie 6.4.

Złożenie funkcji ciągłych i jest funkcją ciągłą.

Twierdzenie 6.5.

Jeśli oraz są funkcjami ciągłymi, to suma oraz iloczyn są funkcjami ciągłymi. Ponadto odwrotność oraz iloraz

są funkcjami ciągłymi na zbiorze .

Przypomnijmy jeszcze następujące twierdzenie Weierstrassa o osiąganiu kresów przez funkcję ciągłą na zbiorze zwartym.

Twierdzenie 6.6.

Jeśli jest funkcją ciągłą określoną na przestrzeni zwartej , to istnieją punkty , w których funkcja osiąga kresy: kres dolny i kres górny .

Rozważmy przykład, który pokazuje, że zachowanie funkcji wielu zmiennych może wykraczać poza naszą intuicję ukształtowaną podczas badania funkcji jednej zmiennej.

Przykład 6.7.

Funkcja określona jest we wszystkich punktach płaszczyzny z wyjątkiem punktu . Wyraźmy ją we współrzędnych biegunowych

W punktach leżących poza początkiem układu współrzędnych, tj. gdy , otrzymamy:

Zauważmy, że zbiorem wartości tej funkcji jest przedział . Ponadto funkcja nie zależy od zmiennej . Oznacza to, że zacieśnienie funkcji do którejkolwiek półprostej danej równaniem (tj. półprostej, która tworzy z dodatnią półosią osi rzędnych ustalony kąt ) jest funkcją o stałej wartości , niezależnej od odległości punktu od początku układu współrzędnych. Każde z tych zacieśnień do prostej ma granicę przy równą . Jednak wartość ta zależy od wyboru kąta , stąd nie istnieje granica funkcji , gdy . Zauważmy, że gdy rozważymy osobno funkcje jednej zmiennej, ustalając drugą zmienną, tzn. lub odpowiednio :

to zarówno , jak też , a więc w szczególności istnieją granice iterowane

i są równe.


<applet code="JavaviewModApplet.class" archive="images/a/a0/Javaview.jar,images/b/be/JavaviewModApplet.jar" width="450" height="400">

   <param name="colors" value="-1:#7e0b9f -0.80:#ce3bf8 -0.60:#2c4ae5 -0.40:#2c85e5 -0.20:#2ecca9 -0.05:#2ecc5b 0.05:#2ecc5b 0.20:#97cc2e 0.40:#edff27 0.60:#ffba27 0.80:#ff6e27 1:#d42525">
   <param name="coloring" value="maple">
   <param name="model" value="images/7/74/Am2m05.0080.mgs.zip">
  <param name="scale" value="1.0 1.0 1.0">

<param name="shading" value="0.2"> </applet>

<div.thumbcaption>Wykres funkcji


Przykład pokazuje więc, że

Wniosek 6.8.

Z istnienia granic iterowanych

i równości tych granic nie wynika istnienie granicy funkcji w punkcie .

Prawdziwa natomiast jest implikacja:

Uwaga 6.9.

Jeśli funkcja ma granicę w punkcie , to istnieją obie granice iterowane

i są równe granicy funkcji w punkcie .

Uwaga ta stanowi warunek konieczny istnienia granicy . Jeśli bowiem nie istnieje któraś z granic iterowanych, bądź nie są one równe, to funkcja nie ma granicy w punkcie . Podkreślmy jeszcze raz fakt, że istnienie i równość obu granic iterowanych nie gwarantuje istnienia granicy funkcji.

Poziomice

Niech będzie funkcją określoną na przestrzeni metrycznej o wartościach rzeczywistych.

Definicja 6.10.

Poziomicą funkcji

odpowiadającą wartości nazywamy zbiór
czyli przeciwobraz zbioru jednopunktowego przez funkcję .

Często pobieżna nawet analiza przebiegu poziomic pozwala ustalić, czy dana funkcja osiąga ekstrema (zob. definicja ekstremum w module 9 Analizy matematycznej 1), czy też nie.

Przykład 6.11.

Niech .
Wykres.gif wykres
Poziomica jest okręgiem o środku w punkcie i promieniu , gdy . Poziomica składa się tylko z jednego punktu , natomiast jeśli , to poziomica jest zbiorem pustym. Funkcja osiąga minimum globalne w punkcie równe .

Przykład 6.12.

Niech .
Wykres.gif wykres

Poziomica zerowa jest sumą dwóch prostych: i . Jeśli poziomica jest hiperbolą o asymptotach i . Przebieg poziomic pozwala ustalić, że funkcja w żadnym punkcie płaszczyzny nie osiąga ekstremum, bowiem w dowolnie małym otoczeniu każdego punktu potrafimy z łatwością wskazać punkty, w których funkcja przyjmuje zarówno wartości mniejsze jak i większe od wartości funkcji w punkcie .

Przykład 6.13.

Niech .
Wykres.gif wykres
Funkcja jest normą w , przyjmuje więc wyłącznie wartości nieujemne, stąd , gdy . Poziomica zerowa składa się tylko z jednego punktu. Gdy , poziomica jest kwadratem o wierzchołkach , , , . Funkcja osiąga minimum globalne w punkcie , gdyż w dowolnym punkcie . Podobnie jak w poprzednim przykładzie przebieg poziomic pozwala ustalić, że funkcja w żadnym punkcie płaszczyzny poza punktem nie osiąga ekstremum, bowiem w dowolnie małym otoczeniu każdego punktu potrafimy z łatwością wskazać punkty, w których funkcja przyjmuje zarówno wartości mniejsze jak i większe od wartości funkcji w punkcie .

Przykład 6.14.

Niech .
Wykres.gif wykres
Funkcja przyjmuje wyłącznie wartości nieujemne, stąd , gdy . Poziomica zerowa składa się tylko z jednego punktu. Gdy , poziomica jest krzywą zawartą w kwadracie o wierzchołkach , , , . Krzywą tę nazywamy asteroidą. Zauważmy, że funkcja osiąga minimum globalne w punkcie , gdyż , w dowolnym punkcie . Podobnie jak w poprzednich przykładach przebieg poziomic pozwala stwierdzić, że jest to jedyne ekstremum tej funkcji na płaszczyźnie .

Przykład 6.15.

Niech .
Poziomicą zerową tej funkcji jest suma trzech prostych: , oraz . Zauważmy, że w dowolnie małym otoczeniu któregokolwiek punktu leżącego na tej poziomicy znajdziemy punkty, w których funkcja osiąga zarówno wartości mniejsze jak i większe od zera. Stąd w żadnym punkcie zbioru funkcja nie osiąga ekstremum. Zwróćmy jednak uwagę, że wnętrze trójkąta o wierzchołkach , , zawarte jest w zbiorze tych punktów, w których funkcja przyjmuje wartości ujemne. W sumie mnogościowej z brzegiem trójkąta o podanych wierzchołkach zbiór ten jest zwarty. Z twierdzenia Weierstrassa o osiąganiu kresów przez funkcję ciągłą na zbiorze zwartym wynika, że we wnętrzu tego trójkąta funkcja osiąga minimum. Dalsza analiza przebiegu poziomic we wnętrzu trójkąta nie jest efektywnym narzędziem prowadzącym do precyzyjne określenia, w którym punkcie minimum to jest osiągane, ponieważ kreślenie poziomic , gdy , nie jest prostym zadaniem. Warto jednak zauważyć, że żaden punkt leżący na poziomicy zerowej funkcji nie może być jej punktem ekstremalnym, gdyż w otoczeniu któregokolwiek punktu z tej poziomicy funkcja przyjmuje zarówno wartości dodatnie jak i ujemne.


<applet code="JavaviewModApplet.class" archive="images/a/a0/Javaview.jar,images/b/be/JavaviewModApplet.jar" width="450" height="400">

  <param name="colors" value="-1:#7e0b9f -0.80:#ce3bf8 -0.60:#2c4ae5 -0.40:#2c85e5 -0.20:#2ecca9 -0.05:#2ecc5b 0.05:#2ecc5b 0.20:#97cc2e 0.40:#edff27 0.60:#ffba27 0.80:#ff6e27 1:#d42525">
   <param name="coloring" value="maple">
   <param name="model" value="images/6/65/Am2m05.0130.mgs.zip">
   <param name="scale" value="1.0 1.0 0.1">

<param name="shading" value="0.2"> </applet>

<div.thumbcaption>Wykres funkcji


Kartezjusz (1596-1650)
Zobacz biografię

Przykład 6.16.

Niech .
Wykres.gif wykres

Poziomicą zerową tej funkcji jest nieograniczona krzywa, którą nazywamy liściem Kartezjusza. Krzywa ta ma asymptotę o równaniu . W pierwszej ćwiartce tworzy petlę ograniczającą obszar, we wnętrzu którego funkcja przyjmuje wartości ujemne. Podobnie jak w poprzednim przykładzie, z twierdzenia Weierstrassa o osiąganiu kresów przez funkcję ciągłą na zbiorze zwartym wynika, że we wnętrzu pętli liścia Kartezjusza funkcja osiąga minimum. Dalsza analiza przebiegu poziomic nie prowadzi efektywnie do precyzyjne określenia, w którym punkcie minimum to jest osiągane. Warto jednak zauważyć, że w żadnym z punktów liścia Kartezjusza funkcja nie może osiągać ekstremum, gdyż w dowolnie małym otoczeniu któregokolwiek punktu tej krzywej funkcja osiąga wartości dodatnie jak i ujemne.

Przykład 6.17.

Niech .
Wykres.gif wykres

Jakob Bernoulli (1654-1705)
Zobacz biografię

Poziomicą zerową tej funkcji jest krzywa, zwana lemniskatą Bernoullego. Przebieg lemniskaty najwygodniej zbadać we współrzędnych biegunowych:

przy czym wyrażenie pod znakiem pierwiastka jest nieujemne dla . Lemniskata Bernoullego jest więc zawarta w części wspólnej koła o promieniu i dwóch obszarów wyciętych z płaszczyzny półprostymi tworzącymi z osią rzędnych kąty . Zauważmy, że we wnętrzu obszaru ograniczonego lemniskatą Bernoullego funkcja osiąga wartości ujemne. Na zewnątrz zaś - dodatnie. Podobnie jak w obu poprzednich przykładach twierdzenie Weierstrassa gwarantuje istnienie minimum lokalnego w obszarze ograniczonym lemniskatą Bernoullego. Z kolei w dowolnie małym otoczeniu każdego punktu poziomicy zerowej funkcja przyjmuje zarówno wartości dodatnie jak i ujemne. Funkcja nie osiąga więc ekstremum w żadnym punkcie należącym do swojej poziomicy zerowej.

Trzy ostatnie przykłady każą nam szukać doskonalszego narzędzia do precyzyjnego lokalizownia punktów ekstremalnych funkcji wielu zmiennych, gdy analiza przebiegu poziomic jest niewystarczająca. Tym narzędziem są

Pochodna kierunkowa i pochodne cząstkowe

Niech będzie otwartym podzbiorem przestrzeni unormowanej . Niech będzie ustalonym niezerowym wektorem tej przestrzeni.

Definicja 6.18.

Mówimy, że funkcja ma w punkcie pochodną kierunkową w kierunku wektora , jeśli

istnieje granica ilorazu różnicowego:

Granicę tę oznaczamy symbolem i nazywamy pochodną kierunkową funkcji w kierunku wektora w punkcie .

Zwróćmy uwagę, że zbiór jest prostą przechodzącą przez punkt równoległą do wektora . Stąd pochodna jest w istocie pochodną w punkcie funkcji jednej zmiennej rzeczywistej , czyli restrykcji funkcji do podzbioru otwartego rozważanej prostej . Wobec tego możemy powtórzyć jednowymiarowy warunek konieczny istnienia ekstremum w punkcie, w którym istnieje pochodna kierunkowa funkcji (zob. moduł 9, Analiza matematyczna I).

Twierdzenie 6.19.

Niech będzie otwartym podzbiorem przestrzeni unormowanej i niech , . Jeśli funkcja osiąga ekstremum w punkcie i istnieje pochodna kierunkowa , to

pochodna ta zeruje się.

Dowód 6.19.

Jeśli funkcja osiąga maksimum (odpowiednio: minimum) w punkcie , to funkcja jednej zmiennej osiąga maksimum (odpowiednio: minimum) w punkcie . Z warunku koniecznego istnienia ekstremum funkcji jednej zmiennej wynika, że pochodna (o ile istnieje) funkcji

zeruje się w punkcie . Stąd End of proof.gif

O ile w przypadku funkcji określonej na otwartym przedziale prostej sytuacja jest oczywista (na prostej mamy tylko jeden kierunek), o tyle już w przypadku funkcji dwóch zmiennych (na płaszczyźnie można wskazać nieskończenie wiele kierunków!) powstaje pytanie o liczbę kierunków, które należy ustalić, aby rozwiązać praktyczny problem lokalizacji punktów ekstremalnych danej funkcji. Warto zauważyć, że w przypadku funkcji określonej na wymiarowej przestrzeni unormowanej nie ma potrzeby rozważać pochodnych kierunkowych w kierunku wektorów liniowo zależnych, a więc większej niż wynosi wymiar przestrzeni. Wyróżnijmy wobec tego pochodne kierunkowe w kierunku wektorów bazowych.

Niech i niech , , ..., będzie bazą kanoniczną tej przestrzeni. Niech będzie otwartym podzbiorem przestrzeni .

Definicja 6.20.

Pochodne kierunkowe (o ile istnieją) , , ..., funkcji w kierunku wektorów bazy nazywamy pochodnymi cząstkowymi funkcji w punkcie . Pochodną cząstkową funkcji w kierunku wektora

oznaczamy tradycyjnie symbolem:

W przypadku, gdy nie numerujemy współrzędnych argumentu funkcji pochodne cząstkowe oznaczamy symbolami

.

Przeformułujmy warunek konieczny istnienia ekstremum funkcji określonej na zbiorze otwartym .

Twierdzenie 6.21.

Jeśli funkcja osiąga ekstremum w punkcie , w którym istnieją pochodne cząstkowe , , to pochodne te zerują się w tym punkcie, tj.

Zwróćmy uwagę, że twierdzenie podaje jedynie warunek konieczny istnienia ekstremum. Punkt , który spełnia układ równań:

nie musi być punktem ekstremalnym funkcji .

Wróćmy do przykładów, w których stwierdziliśmy potrzebę znalezienia dokładniejszego narzędzia do lokalizacji ekstremów.

Przykład 6.22.

Z przebiegu poziomicy zerowej funkcji wywnioskowaliśmy - w oparciu o twierdzenie Weierstrassa o osiąganiu kresów przez funkcję ciągłą na zbiorze zwartym - że funkcja ta osiąga minimum w pewnym punkcie wewnątrz trójkąta o wierzchołkach , , . Rozwiązując układ dwóch równań

otrzymujemy układ

który spełniają współrzędne czterech punktów , , , . Jedynym punktem z wnętrza wskazanego trójkąta jest punkt , w którym funkcja osiąga minimum równe . Pozostałe punkty , , leżą na poziomicy zerowej funkcji , która - jak już sprawdziliśmy - nie może zawierać żadnego punktu ekstremalnego funkcji (zob. przykład 6.15.).

Przykład 6.23.

Z przebiegu poziomicy zerowej funkcji wywnioskowaliśmy - w oparciu o twierdzenie Weierstrassa o osiąganiu kresów przez funkcję ciągłą na zbiorze zwartym - że funkcja ta osiąga minimum w pewnym punkcie wewnątrz pętli liścia Kartezjusza. Rozwiązując układ dwóch równań

otrzymujemy układ

który spełniają współrzędne dwóch punktów , . Jedynym punktem z wnętrza obszaru ograniczonego przez pętlę liścia Kartezjusza jest punkt , w którym funkcja osiąga minimum równe . Punkt leży na poziomicy zerowej funkcji , która - jak już sprawdziliśmy - nie może zawierać żadnego punktu ekstremalnego funkcji (zob. przykład 6.16.).

Przykład 6.24.

Podobnie jak w obu poprzednich przykładach z przebiegu poziomicy zerowej funkcji wywnioskowaliśmy - w oparciu o twierdzenie Weierstrassa o osiąganiu kresów przez funkcję ciągłą na zbiorze zwartym - że funkcja ta osiąga minimum w pewnym punkcie wewnątrz obszaru ograniczonego lemniskatą Bernoullego. Rozwiązując układ dwóch równań

otrzymujemy układ

który spełniają współrzędne trzech punktów , , . We wnętrzu obszaru ograniczonego lemniskatą Bernoullego leżą punkty i , w których funkcja osiąga minima równe . Punkt leży na poziomicy zerowej funkcji , która - jak już sprawdziliśmy - nie może zawierać żadnego punktu ekstremalnego funkcji (zobacz przykład 6.17.).

Pochodne cząstkowe wyższych rzędów

Rozważmy funkcję , która punktowi przyporządkowuje pochodną cząstkową funkcji po zmiennej w punkcie , czyli funkcję

Definicja 6.25.

Jeśli w punkcie istnieje pochodna cząstkowa funkcji po zmiennej , to mówimy, że funkcja ma pochodną cząstkową rzędu drugiego po zmiennych oraz . Pochodną tę oznaczamy symbolem , bądź krótko lub . Gdy

piszemy zamiast .
Uwaga 6.26.

Jeśli jest funkcją zmiennych, to często zamiast pisać

piszemy

bądź

Powstaje naturalne pytanie, czy zachodzi równość między pochodnymi oraz , jeśli obie istnieją.

Zanim sformułujemy twierdzenie, które stanowi pozytywną odpowiedź na pytanie, rozważmy następujący

Przykład 6.27.

Funkcja
ma w punkcie obie pochodne cząstkowe mieszane oraz , lecz są one różne. A mianowice , podczas gdy

Okazuje się jednak, że wystarczy przyjąć naturalne założenie o ciągłości pochodnych cząstkowych mieszanych oraz w otoczeniu punktu , aby mieć gwarancję ich równości w danym punkcie.

Uwaga 6.28.

Jeśli jest funkcją, która w punkcie ma ciągłe

pochodne cząstkowe oraz , to w punkcie są one równe, tj.

Dowód uwagi pomijamy (można go znaleźć np. w podręczniku Ryszarda Rudnickiego Wykłady z analizy matematycznej, Wydawnictwo Naukowe PWN, Warszawa 2001).

W podobny sposób definiujemy pochodne cząstkowe wyższych rzędów. Wprowadźmy wygodne oznaczenie pochodnych cząstkowych za pomocą wielowskaźników . Niech będzie funkcją określoną na zbiorze otwartym .

Oznaczmy symbolem operację, która funkcji przypisuje pochodną cząstkową rzędu po zmiennej , o ile ta pochodna istnieje.

Definicja 6.29.

Załóżmy, że istnieją kolejno pochodne cząstkowe

i nie zależą od kolejności różniczkowania. Mówimy wówczas, że funkcja ma pochodną

cząstkową

rzędu w punkcie . Pochodną tę notujemy też często symbolem .

Pochodne cząstkowe w fizyce. Elementy teorii pola

Niech będzie funkcją określoną na pewnym zbiorze otwartym . Załóżmy, że w pewnym punkcie istnieją pochodne cząstkowe .

Definicja 6.30.

Wektor nazywamy gradientem funkcji w punkcie . Wektor ten oznaczamy też często symbolem nabla: . Punkt , w którym wyznaczamy gradient funkcji , zapisujemy czasem w formie indeksu dolnego: , .

Uwaga 6.31.

Jeśli funkcje mają w punkcie pochodne cząstkowe , , , to

a)

b)

Dowód 6.31.

Korzystając z twierdzenia o pochodnej sumy i iloczynu funkcji , wyznaczamy kolejne współrzędne wektorów oraz :

oraz

gdy . Stąd otrzymujemy równości a) oraz b).

End of proof.gif

W ramach następnego modułu wykażemy, że

Uwaga 6.32.
Pochodna kierunkowa w kierunku gradientu jest największa.

W fizyce funkcję o wartościach liczbowych nazywa się funkcją skalarną, natomiast funkcję nazywa się polem (wektorowym). Przykładem funkcji skalarnych są np. temperatura, potencjał pola grawitacyjnego. Przykładem pola, które znamy ze szkoły, jest pole grawitacyjne. Jeśli w początku układu współrzędnych w przestrzeni znajduje się punkt materialny o masie , to - zgodnie z prawem powszechnego ciążenia Newtona - na dowolny inny punkt materialny położony w punkcie o masie działa siła , której składowe wynoszą:

gdzie jest iloczynem mas obu punktów materialnych i stałej grawitacji

natomiast jest odległością obu punktów. Zwróćmy uwagę, że

stąd

siła ta jest odwrotnie proporcjonalna do kwadratu odległości obu punktów materialnych.

Definicja 6.33.

Pole wektorowe nazywamy polem potencjalnym, jeśli istnieje funkcja skalarna taka, że w dowolnym punkcie zbioru otwartego .

Funkcję nazywamy wówczas potencjałem pola wektorowego .
Uwaga 6.34.

Pole grawitacyjne jest polem potencjalnym. Potencjałem tego pola jest funkcja skalarna , gdzie (jak powyżej)

oraz .

Dowód 6.34.

Policzmy pochodne cząstkowe funkcji określonej w zbiorze otwartym , czyli wszędzie w przestrzeni poza początkiem układu współrzędnych. Mamy

czyli

End of proof.gif

Definicja 6.35.

Dywergencją pola wektorowego w punkcie nazywamy liczbę

o ile istnieją pochodne cząstkowe . Jeśli w dowolnym punkcie dywergencja , to pole wektorowe nazywamy polem bezźródłowym.

Uwaga 6.36.
Pole grawitacyjne jest polem bezźródłowym w .

Dowód 6.36.

W dowolnym punkcie mamy

i podobnie

Stąd

End of proof.gif

Definicja 6.37.

Rotacją pola wektorowego w punkcie

nazywamy wektor

Wektor ten oznaczamy też czasem symbolem . Jeśli w każdym punkcie rotacja , to pole wektorowe nazywamy bezwirowym.

Uwaga 6.38.
Pole grawitacyjne jest polem bezwirowym w .

Dowód 6.38.

W dowolnym punkcie mamy

oraz podobnie

Pierwsza współrzędna wektora rotacji jest więc równa zeru, gdyż

W ten sam sposób sprawdzamy, że również druga i trzecia współrzędna wektora rotacji zerują się:

Stąd , dla .

End of proof.gif