Analiza matematyczna cz2, Matematyka


3. EKSTREMA FUNKCJI WIELU ZMIENNYCH

Definicja 3.21 (ekstrema lokalne funkcji)

Niech 0x01 graphic
, gdzie 0x01 graphic
. Funkcja 0x01 graphic
ma w punkcie 0x01 graphic
maksimum lokalne, jeżeli

0x01 graphic
0x01 graphic
0x01 graphic
.

Funkcja 0x01 graphic
ma w punkcie 0x01 graphic
maksimum lokalne właściwe, jeżeli

0x01 graphic
0x01 graphic
0x01 graphic
.

(0x01 graphic
oznacza otoczenie punktu 0x01 graphic
, zaś 0x01 graphic
sąsiedztwo punktu 0x01 graphic
)

Analogicznie określa się minimum lokalne w punkcie 0x01 graphic
oraz minimum lokalne właściwe.

Twierdzenie 3.22 (Warunek konieczny istnienia ekstremum)

Jeżeli funkcja 0x01 graphic
, (gdzie 0x01 graphic
), ma w punkcie 0x01 graphic
różniczkę 0x01 graphic
oraz ma ekstremum lokalne w punkcie 0x01 graphic
, to 0x01 graphic
.

Uwaga 9. Z warunku istnienia różniczki 0x01 graphic
wynika, że

0x01 graphic
dla 0x01 graphic
.

Twierdzenie 3.23 (I Warunek wystarczający istnienia ekstremum)

Załóżmy, że funkcja 0x01 graphic
, gdzie 0x01 graphic
, ma ciągłe pochodne cząstkowe rzędu drugiego w 0x01 graphic
oraz 0x01 graphic
. Wówczas jeśli niezdegenerowana forma kwadratowa 0x01 graphic
jest dodatnio (ujemnie) określona, to funkcja 0x01 graphic
ma minimum (maksimum) lokalne w 0x01 graphic
, zaś jeśli 0x01 graphic
jest nieokreślona, to 0x01 graphic
nie ma ekstremum lokalnego w 0x01 graphic
.

Uwaga 10. Przypomnijmy, że

0x01 graphic
, gdzie 0x01 graphic

oraz 0x01 graphic
. Forma kwadratowa 0x01 graphic
jest niezdegenerowana, jeśli

0x01 graphic
.

Twierdzenie 3.24 (II Warunek wystarczający istnienia ekstremum)

Załóżmy, że funkcja 0x01 graphic
, gdzie 0x01 graphic
, ma ciągłe pochodne cząstkowe rzędu drugiego w 0x01 graphic
oraz 0x01 graphic
. Wówczas jeśli

0x01 graphic
dla 0x01 graphic
,

gdzie 0x01 graphic
, to funkcja 0x01 graphic
ma w punkcie 0x01 graphic
minimum lokalne właściwe, natomiast jeśli 0x01 graphic
, to 0x01 graphic
ma w punkcie 0x01 graphic
maksimum lokalne właściwe.

Definicja 3.25 (Wyznacznik funkcyjny, inaczej jakobian)

Jeśli funkcje 0x01 graphic
, 0x01 graphic
mają pochodne cząstkowe w pewnym obszarze 0x01 graphic
, to wyznacznikiem funkcyjnym lub jakobianem nazywamy

0x01 graphic

i oznaczamy 0x01 graphic
.

Twierdzenie 3.26 Niech funkcje 0x01 graphic
dla 0x01 graphic
mają ciągłe pochodne cząstkowe w obszarze 0x01 graphic
oraz funkcje 0x01 graphic
dla 0x01 graphic
są określone w obszarze 0x01 graphic
. Jeśli spełniony jest warunek

0x01 graphic
gdy 0x01 graphic
, to 0x01 graphic
,

wówczas 0x01 graphic

0x01 graphic
.

Definicja 3.27 (ekstrema warunkowe funkcji)

Niech 0x01 graphic
, gdzie 0x01 graphic
. Mówimy, że funkcja 0x01 graphic
ma w punkcie 0x01 graphic
minimum lokalne właściwe przy warunku 0x01 graphic
, (gdzie 0x01 graphic
), jeśli 0x01 graphic
oraz istnieje taka liczba 0x01 graphic
, że

0x01 graphic
.

Twierdzenie 3.28 (Warunek konieczny istnienia ekstremum warunkowego)

Jeżeli funkcje 0x01 graphic
i 0x01 graphic
mają ciągłe pochodne cząstkowe rzędu pierwszego w obszarze 0x01 graphic
0x01 graphic
, to warunkiem koniecznym istnienia ekstremum warunkowego w punkcie 0x01 graphic
przy warunku 0x01 graphic
jest aby

0x01 graphic
w punkcie 0x01 graphic
.

4. FUNKCJA UWIKŁANA

Definicja 3.29 (Funkcja uwikłana)

Funkcją uwikłaną określoną przez warunek 0x01 graphic
nazywamy każdą funkcję 0x01 graphic
spełniającą równość

0x01 graphic

dla wszystkich 0x01 graphic
z pewnego przedziału 0x01 graphic
.

Podobnie określa się funkcję uwikłaną postaci 0x01 graphic
, gdzie 0x01 graphic
(0x01 graphic
oznacza pewien przedział).

Twierdzenie 3.30 (o istnieniu i różniczkowalności funkcji uwikłanej)

Niech funkcja 0x01 graphic
ma ciągłe pochodne cząstkowe rzędu pierwszego na otoczeniu 0x01 graphic
, gdzie 0x01 graphic
oraz niech spełnia warunki:

(1) 0x01 graphic
,

(2) 0x01 graphic
.

Wówczas na pewnym otoczeniu 0x01 graphic
istnieje jednoznacznie określona funkcja uwikłana 0x01 graphic
spełniająca warunki:

0x01 graphic
dla każdego 0x01 graphic
0x01 graphic
oraz 0x01 graphic

i

0x01 graphic
dla każdego 0x01 graphic
0x01 graphic
.

Ponadto, jeśli 0x01 graphic
ma ciągłe pochodne cząstkowe drugiego rzędu na otoczeniu 0x01 graphic
, to funkcja uwikłana 0x01 graphic
jest dwukrotnie różniczkowalna na pewnym otoczeniu punktu 0x01 graphic
i jej druga pochodna wyraża się wzorem

0x01 graphic
.

Uwaga 11. Łatwo widać, że jeżeli dla funkcji uwikłanej 0x01 graphic
określonej równaniem 0x01 graphic
zachodzi warunek: 0x01 graphic
, to

0x01 graphic
, gdzie 0x01 graphic
i 0x01 graphic
.

Twierdzenie 3.31 (o ekstremach lokalnych funkcji uwikłanej)

Niech funkcja 0x01 graphic
ma ciągłe pochodne cząstkowe rzędu drugiego na otoczeniu 0x01 graphic
0x01 graphic
oraz niech spełnia warunki:

(1) 0x01 graphic
, 0x01 graphic
,

(2) 0x01 graphic
,

(3) 0x01 graphic
0x01 graphic
,

gdzie 0x01 graphic
. Wtedy funkcja uwikłana 0x01 graphic
określona przez równanie 0x01 graphic
ma w punkcie 0x01 graphic
ekstremum lokalne właściwe i jest to:

minimum, gdy 0x01 graphic
0x01 graphic
,

albo maksimum, gdy 0x01 graphic
0x01 graphic
.

Uwaga 12.

Równość 0x01 graphic
jest warunkiem koniecznym, a układ 0x01 graphic
i 0x01 graphic
warunkiem wystarczającym istnienia w punkcie 0x01 graphic
ekstremum funkcji uwikłanej określonej przez równanie 0x01 graphic
. Prawdziwe jest także analogiczne twierdzenie o ekstremach funkcji uwikłanej postaci 0x01 graphic
.

IV CAŁKI WIELOKROTNE

1.CAŁKI PODWÓJNE

Definicja 4.1 (Łuk zwykły)

Krzywą 0x01 graphic
określoną równaniami parametrycznymi

0x01 graphic
, 0x01 graphic
dla 0x01 graphic

nazywamy łukiem zwykłym, jeśli 0x01 graphic
i 0x01 graphic
są funkcjami ciągłymi na przedziale 0x01 graphic
oraz różnym wartościom parametru 0x01 graphic
odpowiadają różne punkty krzywej 0x01 graphic
. Jeśli ponadto 0x01 graphic
, to łuk zwykły 0x01 graphic
nazywamy zamkniętym.

Uwaga 1. Krzywa 0x01 graphic
, która jest wykresem funkcji ciągłej 0x01 graphic
dla 0x01 graphic
(lub 0x01 graphic
dla 0x01 graphic
) jest łukiem zwykłym.

Definicja 4.2 (Obszar regularny)

Ograniczony obszar 0x01 graphic
nazywamy regularnym, gdy brzeg tego obszaru jest sumą skończonej liczby łuków zwykłych danych równaniami:

0x01 graphic
dla 0x01 graphic
lub 0x01 graphic
dla 0x01 graphic
,

przy czym łuki te mogą redukować się do punktów.

Definicja 4.3 (Całka podwójna)

Niech 0x01 graphic
będzie funkcją określoną na domkniętym regularnym obszarze 0x01 graphic
i niech 0x01 graphic
oznacza podział obszaru 0x01 graphic
w dowolny sposób na 0x01 graphic
domkniętych obszarów częściowych 0x01 graphic
odpowiednio o polach 0x01 graphic
, 0x01 graphic
, w ten sposób, aby:

  1. żadne dwa obszary 0x01 graphic
    , 0x01 graphic
    dla 0x01 graphic
    nie miały wspólnych punktów wewnętrznych,

  2. 0x01 graphic
    .

Liczbę

0x01 graphic
, gdzie 0x01 graphic
jest średnicą zbioru 0x01 graphic
,

nazywamy średnicą podziału 0x01 graphic
.

W każdym obszarze 0x01 graphic
wybieramy punkt pośredni 0x01 graphic
, (0x01 graphic
) i tworzymy sumę całkową

0x01 graphic
.

Jeżeli dla każdego ciągu 0x01 graphic
podziałów obszaru 0x01 graphic
na obszary częściowe spełniającego warunek 0x01 graphic
i dla każdego wyboru punktów pośrednich w obszarach częściowych istnieje ta sama skończona granica ciągu 0x01 graphic
sum całkowych funkcji 0x01 graphic
, to granicę tę nazywamy całką podwójną funkcji 0x01 graphic
na obszarze 0x01 graphic
i oznaczamy

0x01 graphic
.

Funkcję 0x01 graphic
, dla której istnieje całka podwójna na obszarze 0x01 graphic
nazywamy funkcją całkowalną na obszarze 0x01 graphic
.

Własności całki podwójnej

Twierdzenie 4.4 (Warunek konieczny całkowalności)

Jeżeli funkcja 0x01 graphic
jest całkowalna na domkniętym regularnym obszarze 0x01 graphic
, to jest funkcją ograniczoną na tym obszarze.

Twierdzenie 4.5 (I Warunek wystarczający całkowalności)

Jeżeli funkcja 0x01 graphic
jest ciągła na domkniętym i regularnym obszarze 0x01 graphic
, to jest funkcją całkowalną na obszarze 0x01 graphic
.

Twierdzenie 4.6 (II Warunek wystarczający całkowalności)

Jeżeli funkcja 0x01 graphic
jest ograniczona na domkniętym i regularnym obszarze 0x01 graphic
oraz jest ciągła na tym obszarze z wyjątkiem skończonej liczby łuków zwykłych o równaniach 0x01 graphic
lub 0x01 graphic
zawartych w obszarze 0x01 graphic
, to0x01 graphic
jest funkcją całkowalną na obszarze 0x01 graphic
.

Twierdzenie 4.7

Jeżeli funkcja 0x01 graphic
jest całkowalna na domkniętym i regularnym obszarze 0x01 graphic
, zaś ograniczona funkcja 0x01 graphic
pokrywa się z funkcją 0x01 graphic
poza skończoną liczbą łuków zwykłych o równaniach 0x01 graphic
lub 0x01 graphic
zawartych w obszarze 0x01 graphic
, to funkcja 0x01 graphic
też jest całkowalna na 0x01 graphic
oraz

0x01 graphic
.

Twierdzenie 4.8

Jeżeli funkcje 0x01 graphic
i 0x01 graphic
są całkowalne na domkniętym, regularnym obszarze 0x01 graphic
, to

  1. dla dowolnej liczby 0x01 graphic
    funkcja 0x01 graphic
    jest całkowalna na 0x01 graphic
    oraz

0x01 graphic
;

  1. funkcja 0x01 graphic
    jest też funkcją całkowalną na 0x01 graphic
    oraz

0x01 graphic
.

Twierdzenie 4.9 (addytywność całki względem obszaru całkowania)

Załóżmy, że domknięty regularny obszar 0x01 graphic
jest sumą domkniętych regularnych obszarów 0x01 graphic
i 0x01 graphic
nie mających wspólnych punktów wewnętrznych. Wówczas funkcja 0x01 graphic
jest całkowalna na obszarze 0x01 graphic
wtedy i tylko wtedy, gdy jest całkowalna na każdym z obszarów 0x01 graphic
i 0x01 graphic
, przy czym

0x01 graphic
.

Twierdzenie 4.10 (monotoniczność całki podwójnej)

Jeżeli funkcje 0x01 graphic
i 0x01 graphic
są całkowalne na domkniętym regularnym obszarze 0x01 graphic
oraz 0x01 graphic
dla 0x01 graphic
, to

0x01 graphic
.

Twierdzenie 4.11

Jeżeli funkcja 0x01 graphic
jest funkcją całkowalną na domkniętym i regularnym obszarze 0x01 graphic
oraz 0x01 graphic
dla każdego 0x01 graphic
, to 0x01 graphic
.

Definicja 4.12 (Wartość średnia funkcji na obszarze)

Wartością średnią funkcji 0x01 graphic
na obszarze 0x01 graphic
nazywamy liczbę

0x01 graphic
.

Twierdzenie 4.13 (o wartości średniej dla całek podwójnych)

Niech funkcja 0x01 graphic
będzie ciągła na obszarze normalnym 0x01 graphic
. Wówczas

istnieje punkt 0x01 graphic
, dla którego zachodzi równość

0x01 graphic
.

Twierdzenie 4.14 (o zamianie całki podwójnej na iterowaną)

  1. Jeżeli funkcja 0x01 graphic
    jest ciągła na obszarze 0x01 graphic
    normalnym względem osi 0x01 graphic
    ,

przy czym

0x01 graphic
,

to

0x01 graphic
.

2. Jeżeli funkcja 0x01 graphic
jest ciągła na obszarze 0x01 graphic
normalnym względem osi 0x01 graphic
,

przy czym

0x01 graphic
,

to

0x01 graphic
.

  1. W szczególnym przypadku, gdy obszar 0x01 graphic
    jest prostokątem o bokach

równoległych do osi 0x01 graphic
i 0x01 graphic
, przy czym

0x01 graphic

oraz 0x01 graphic
jest ciągła na 0x01 graphic
, to

0x01 graphic
=0x01 graphic
.

Uwaga 2. Z definicji obszaru normalnego względem osi 0x01 graphic
(względem osi 0x01 graphic
) wynika, że jest on obszarem domkniętym i regularnym,

Dowodzi się również, że każdy domknięty regularny obszar 0x01 graphic
jest sumą skończonej liczby obszarów normalnych względem osi 0x01 graphic
(osi 0x01 graphic
) takich, które nie mają wspólnych punktów wewnętrznych.

Zamiana zmiennych w całce podwójnej

Definicja 4.15 (przekształcenie obszarów na płaszczyźnie)

Niech 0x01 graphic
i 0x01 graphic
będą obszarami odpowiednio w płaszczyznach 0x01 graphic
i 0x01 graphic
. Przekształceniem obszaru 0x01 graphic
w obszar 0x01 graphic
nazywamy funkcję 0x01 graphic
określoną wzorem

0x01 graphic
, gdzie 0x01 graphic
.

Obrazem zbioru 0x01 graphic
przy przekształceniu 0x01 graphic
jest zbiór

0x01 graphic
.

Przekształcenie 0x01 graphic
nazywamy:

  1. ciągłym, jeżeli funkcje 0x01 graphic
    i 0x01 graphic
    są ciągłe na obszarze 0x01 graphic
    ;

  2. wzajemnie jednoznacznym, jeśli różnym punktom obszaru 0x01 graphic
    odpowiadają różne punkty jego obrazu 0x01 graphic
    .

Uwaga 3. Obraz obszaru przy przekształceniu ciągłym i wzajemnie jednoznaczny jest

również obszarem .

Twierdzenie 4.16 (o zamianie zmiennych w całce podwójnej)

Niech

  1. odwzorowanie 0x01 graphic
    , gdzie 0x01 graphic
    , przekształca wzajemnie jednoznacznie wnętrze obszaru regularnego 0x01 graphic
    na wnętrze obszaru regularnego 0x01 graphic
    ,

  2. funkcje 0x01 graphic
    i 0x01 graphic
    mają ciągłe pochodne cząstkowe na pewnym zbiorze otwartym zawierającym obszar 0x01 graphic
    ,

  3. funkcja 0x01 graphic
    jest ciągła na obszarze 0x01 graphic
    ,

  4. jakobian 0x01 graphic
    przekształcenia 0x01 graphic
    jest różny od zera wewnątrz obszaru 0x01 graphic
    .

Wówczas

0x01 graphic
.

Definicja 4.17 (współrzędne biegunowe)

Położenie punktu na płaszczyźnie można opisać parą liczb 0x01 graphic
, gdzie:

Parę liczb 0x01 graphic
nazywamy współrzędnymi biegunowymi punktu płaszczyzny.

Uwaga 4. Zależność między współrzędnymi biegunowymi i kartezjańskimi określają wzory:

0x01 graphic

Przekształcenie 0x01 graphic
, które punktowi 0x01 graphic
przyporządkowuje punkt 0x01 graphic
określone powyższymi wzorami nazywamy przekształceniem biegunowym.

Łatwo zauważyć, że jakobian tego przekształcenia

0x01 graphic
.

Współrzędne biegunowe stosujemy głównie wtedy, gdy obszar całkowania jest ograniczony łukami okręgów o środku w początku układu oraz odcinkami prostych przechodzących przez początek układu.

Zastosowania geometryczne całek podwójnych

Uwaga 5. Zauważmy, że jeśli podzielimy obszar 0x01 graphic
na 0x01 graphic
obszarów częściowych 0x01 graphic
(0x01 graphic
) spełniających warunki z definicji całki podwójnej, w każdym obszarze wybierzemy punkt 0x01 graphic
i rozważymy walce

0x01 graphic
, 0x01 graphic
,

to objętość 0x01 graphic
każdego z walców 0x01 graphic
jest równa

0x01 graphic
, 0x01 graphic
,

(gdzie 0x01 graphic
oznacza pole obszaru 0x01 graphic
), a więc sumy całkowe

0x01 graphic
.

Zatem możemy podać następującą interpretację geometryczną całki podwójnej:

Całka podwójna funkcji 0x01 graphic
ciągłej i nieujemnej na domkniętym obszarze regularnym 0x01 graphic
jest objętością obszaru przestrzennego

0x01 graphic
,

co zapisujemy

0x01 graphic
.

W szczególności, gdy funkcja 0x01 graphic
dla 0x01 graphic
, wtedy obszar przestrzenny 0x01 graphic
określony powyżej jest walcem o wysokości 1 i podstawie 0x01 graphic
. Zatem 0x01 graphic
, a więc

0x01 graphic
.

Twierdzenie 4.18 (o objętości obszaru przestrzennego)

Jeżeli obszar przestrzenny 0x01 graphic
określony jest następująco:

0x01 graphic

oraz funkcje 0x01 graphic
i 0x01 graphic
są ciągłe na domkniętym, regularnym obszarze 0x01 graphic
, to objętość 0x01 graphic
obszaru 0x01 graphic
jest równa

0x01 graphic
.

Definicja 4.19 (Płat powierzchniowy)

Zbiór punktów 0x01 graphic
, gdzie 0x01 graphic
jest funkcją ciągłą na domkniętym obszarze 0x01 graphic
, nazywamy płatem powierzchniowym.

Jeżeli ponadto obszar 0x01 graphic
jest regularny, zaś funkcja 0x01 graphic
posiada ciągłe pochodne cząstkowe pierwszego rzędu na 0x01 graphic
, to płat powierzchniowy 0x01 graphic
nazywamy regularnym.

Uwaga 6. Płat powierzchniowy regularny ma tę własność, że w każdym punkcie posiada płaszczyznę styczną zmieniającą się w sposób ciągły od punktu do punktu.

Twierdzenie 4.20 (pole płata powierzchniowego)

Jeśli 0x01 graphic
jest płatem powierzchniowym regularnym określonym za pomocą funkcji 0x01 graphic
(tzn. 0x01 graphic
ma ciągłe pochodne cząstkowe pierwszego rzędu na obszarze domkniętym, regularnym 0x01 graphic
), to pole 0x01 graphic
płata powierzchniowego 0x01 graphic
wyraża się wzorem

0x01 graphic
.

1.CAŁKI POTRÓJNE

Definicja 4.21 (obszar normalny względem płaszczyzn układu współrzędnych)

Obszar domknięty 0x01 graphic
nazywamy obszarem normalnym względem płaszczyzny 0x01 graphic
, jeśli można go zapisać w postaci

0x01 graphic
,

gdzie 0x01 graphic
jest obszarem regularnym na płaszczyźnie 0x01 graphic
, funkcje 0x01 graphic
i 0x01 graphic
są ciągłe na 0x01 graphic
, przy czym

0x01 graphic
dla 0x01 graphic
.

Można zauważyć, że jeśli 0x01 graphic
jest obszarem normalnym względem płaszczyzny 0x01 graphic
, to obszar płaski 0x01 graphic
jest rzutem obszaru 0x01 graphic
na tę płaszczyznę.

Analogicznie definiuje się obszary przestrzenne normalne względem płaszczyzny 0x01 graphic
oraz obszary normalne względem płaszczyzny 0x01 graphic
.

Definicja 4.22 (obszar regularny w przestrzeni)

Sumę skończonej liczby obszarów normalnych względem płaszczyzn układu współrzędnych o parami rozłącznych wnętrzach nazywamy obszarem regularnym w przestrzeni.

Analogicznie jak całkę podwójną na obszarze płaskim 0x01 graphic
definiuje się całkę potrójną funkcji trzech zmiennych na obszarze przestrzennym 0x01 graphic
. Całka potrójna ma również podobne własności jak całka podwójna.

Definicja 4.23 (całka potrójna)

Niech 0x01 graphic
będzie funkcją określoną na domkniętym, regularnym obszarze 0x01 graphic
i niech 0x01 graphic
oznacza podział obszaru 0x01 graphic
w dowolny sposób na 0x01 graphic
domkniętych obszarów częściowych 0x01 graphic
odpowiednio o objętościach 0x01 graphic
, 0x01 graphic
, w ten sposób, aby:

  1. żadne dwa obszary 0x01 graphic
    , 0x01 graphic
    dla 0x01 graphic
    nie miały wspólnych punktów wewnętrznych,

  2. 0x01 graphic
    .

Liczbę

0x01 graphic
, gdzie 0x01 graphic
oznacza średnicę zbioru 0x01 graphic
,

nazywamy średnicą podziału 0x01 graphic
.

W każdym obszarze 0x01 graphic
wybieramy punkt pośredni 0x01 graphic
, (0x01 graphic
), i tworzymy sumę całkową

0x01 graphic
.

Jeżeli dla każdego ciągu 0x01 graphic
podziałów obszaru 0x01 graphic
na obszary częściowe spełniającego warunek 0x01 graphic
i dla każdego wyboru punktów pośrednich w obszarach częściowych istnieje ta sama skończona granica ciągu 0x01 graphic
sum całkowych funkcji 0x01 graphic
, to granicę tę nazywamy całką potrójną funkcji 0x01 graphic
na obszarze 0x01 graphic
i oznaczamy

0x01 graphic
.

Funkcję 0x01 graphic
, dla której istnieje całka potrójna na obszarze 0x01 graphic
nazywamy funkcją całkowalną na obszarze 0x01 graphic
.

Własności całki potrójnej

Twierdzenie 4.24 (Warunek konieczny całkowalności)

Jeżeli funkcja 0x01 graphic
jest całkowalna na domkniętym, regularnym obszarze 0x01 graphic
, to jest funkcją ograniczoną na tym obszarze.

Twierdzenie 4.25 (Warunek wystarczający całkowalności)

Jeżeli funkcja 0x01 graphic
jest ciągła na domkniętym i regularnym obszarze0x01 graphic
, to jest funkcją całkowalną na obszarze 0x01 graphic
.

Uwaga 7. Objętość obszaru domkniętego, regularnego 0x01 graphic
wyraża się wzorem

0x01 graphic
0x01 graphic

Twierdzenie 4.26

Jeżeli funkcje 0x01 graphic
i 0x01 graphic
są całkowalne na domkniętym, regularnym obszarze0x01 graphic
, to

  1. dla dowolnej liczby 0x01 graphic
    funkcja 0x01 graphic
    jest całkowalna na 0x01 graphic
    oraz

0x01 graphic
;

  1. funkcja 0x01 graphic
    jest też funkcją całkowalną na 0x01 graphic
    oraz

0x01 graphic
.

Twierdzenie 4.27 (addytywność całki względem obszaru całkowania)

Załóżmy, że domknięty, regularny obszar 0x01 graphic
jest sumą domkniętych regularnych obszarów 0x01 graphic
i 0x01 graphic
nie mających wspólnych punktów wewnętrznych. Wówczas funkcja 0x01 graphic
jest całkowalna na obszarze 0x01 graphic
wtedy i tylko wtedy, gdy jest całkowalna na każdym z obszarów 0x01 graphic
i 0x01 graphic
, przy czym

0x01 graphic
.

Twierdzenie 4.28 (monotoniczność całki potrójnej)

Jeżeli funkcje 0x01 graphic
i 0x01 graphic
są całkowalne na domkniętym regularnym obszarze 0x01 graphic
oraz 0x01 graphic
dla 0x01 graphic
, to

0x01 graphic
.

Twierdzenie 4.29

Jeżeli funkcja 0x01 graphic
jest funkcją całkowalną na domkniętym i regularnym obszarze 0x01 graphic
oraz

0x01 graphic
dla każdego 0x01 graphic
,

to

0x01 graphic
.

Definicja 4.30 (Wartość średnia funkcji na obszarze przestrzennym 0x01 graphic
)

Wartością średnią funkcji 0x01 graphic
na domkniętym, regularnym obszarze 0x01 graphic
nazywamy liczbę

0x01 graphic
,

gdzie 0x01 graphic
oznacza objętość obszaru 0x01 graphic
.

Twierdzenie 4.31 (o wartości średniej dla całek potrójnych)

Jeżeli funkcja 0x01 graphic
jest ciągła na domkniętym, regularnym obszarze 0x01 graphic
, to istnieje

taki punkt 0x01 graphic
, że

0x01 graphic
.

Twierdzenie 4.32 (o całkach iterowanych)

Jeżeli funkcja 0x01 graphic
jest ciągła na domkniętym obszarze

0x01 graphic
,

normalnym względem płaszczyzny 0x01 graphic
, gdzie funkcje 0x01 graphic
i 0x01 graphic
są ciągłe na obszarze regularnym 0x01 graphic
, to

0x01 graphic
.

Uwaga 8.

(a) Prawdziwe są także analogiczne wzory z całkami iterowanymi dla funkcji 0x01 graphic
ciągłej na obszarach normalnych względem pozostałych płaszczyzn układu współrzędnych.

(b) Jeżeli obszar 0x01 graphic
normalny względem płaszczyzny 0x01 graphic
można zapisać w postaci

0x01 graphic
,

to zachodzi równość

0x01 graphic
.

(c) W szczególnym przypadku, gdy funkcja 0x01 graphic
jest ciągła na domkniętym prostopadłościanie

0x01 graphic
,

to zachodzi równość

0x01 graphic
.

Ponadto ostatnia równość pozostaje prawdziwa, gdy po prawej stronie zmienimy kolejność całkowania (tzn. napiszemy inny rodzaj całki iterowanej).

Zamiana zmiennych w całkach potrójnych

Twierdzenie 4.33 (o zamianie zmiennych w całkach potrójnych)

Niech odwzorowanie 0x01 graphic
, 0x01 graphic
, określone następująco:

0x01 graphic

0x01 graphic

0x01 graphic

odwzorowuje wzajemnie jednoznacznie wnętrze obszaru domkniętego, regularnego U na wnętrze obszaru domkniętego, regularnego 0x01 graphic
, przy czym funkcje 0x01 graphic
, 0x01 graphic
, 0x01 graphic
mają ciągłe pochodne cząstkowe pierwszego rzędu w 0x01 graphic
. Jeżeli funkcja 0x01 graphic
jest ciągła w obszarze 0x01 graphic
oraz jakobian przekształcenia 0x01 graphic

0x01 graphic
wewnątrz obszaru 0x01 graphic
,

to

0x01 graphic
.

Definicja 4.34 (współrzędne walcowe)

Położenie punktu 0x01 graphic
w przestrzeni 0x01 graphic
można opisać trójką liczb 0x01 graphic
, gdzie:

Trójkę liczb 0x01 graphic
nazywamy współrzędnymi walcowymi punktu przestrzeni 0x01 graphic
.

Uwaga 9. Zależność między współczynnikami walcowymi i kartezjańskimi podaje przekształcenie 0x01 graphic
określone wzorami

0x01 graphic

Powyższe przekształcenie 0x01 graphic
, które punktowi 0x01 graphic
przyporządkowuje punkt 0x01 graphic
nazywamy przekształceniem walcowym. Jakobian tego przekształcenia 0x01 graphic
.

Definicja 4.35 (współrzędne sferyczne)

Położenie punktu 0x01 graphic
w przestrzeni 0x01 graphic
można opisać trójką liczb 0x01 graphic
, gdzie:

Trójkę liczb 0x01 graphic
nazywamy współrzędnymi sferycznymi punktu przestrzeni.

Uwaga 10. Zależność między współrzędnymi sferycznymi i kartezjańskimi podaje przekształcenie 0x01 graphic
przyporządkowujące punktowi 0x01 graphic
punkt 0x01 graphic
według wzoru

0x01 graphic

Powyższe przekształcenie 0x01 graphic
nazywamy przekształceniem sferycznym. Jakobian tego przekształcenia 0x01 graphic
.

15



Wyszukiwarka