Domeniile funcțiilor din mai multe variabile pot prezenta o formă de regularitate pentru care este posibil să delimitați regiunea de intervale și grafice funcționale. Prin urmare, vorbim despre un domeniu simplu sau normal cu privire la variabila care poate fi delimitată de un interval. Normalitatea unui domeniu este foarte importantă în multe definiții ale integralei multiple și rezoluția sa prin formule de reducere . În plus, prezența unui domeniu regulat permite teoreme și formule de integrare suplimentare, cum ar fi formulele Gauss-Green , teorema divergenței și teorema rotorului .
Domenii normale în plan
În {\ displaystyle \ mathbb {R} ^ {2}} există două cazuri de normalitate, în ceea ce privește axele:
Domeniu normal în raport cu axa x
- Regiunea este mărginită pentru axa x de două valori numerice și pentru axa y de două funcții ale variabilei x care continuă în intervalul care o delimitează:
- {\ displaystyle D = \ {(x, y) \ in \ mathbb {R} ^ {2} \ | \ a \ leq x \ leq b, \ f (x) \ leq y \ leq g (x), f , g \ în C [a, b] \}}
Domeniu normal în raport cu axa y
- Regiunea este mărginită pentru axa y de două valori numerice și pentru axa x de două funcții continue ale variabilei y în intervalul care o delimitează:
- {\ displaystyle D = \ {(x, y) \ in \ mathbb {R} ^ {2} \ | \ a \ leq y \ leq b, \ f (y) \ leq x \ leq g (y), f , g \ în C [a, b] \}}
Domenii normale în spațiu
Exemplu de domeniu normal în R3 (planul xy)
În {\ displaystyle \ mathbb {R} ^ {3}} există șase tipuri diferite de normalitate, în ceea ce privește planurile:
Domeniu normal în raport cu planul (x, y)
{\ displaystyle T} este normal planul {\ displaystyle (x, y)}
- cu {\ displaystyle D} normal la ax {\ displaystyle x}
- cu {\ displaystyle D} normal la ax {\ displaystyle y}
Domeniu normal în raport cu planul (y, z)
{\ displaystyle T} este normal planul {\ displaystyle (y, z)}
- cu {\ displaystyle D} normal la ax {\ displaystyle y}
- cu {\ displaystyle D} normal la ax {\ displaystyle z}
Domeniu normal în raport cu planul (z, x)
{\ displaystyle T} este normal planul {\ displaystyle (z, x)}
- cu {\ displaystyle D} normal la ax {\ displaystyle x}
- cu {\ displaystyle D} normal la ax {\ displaystyle z}
În exemplul din figură, domeniul simplu este cilindroida cu „bază” {\ displaystyle D} și inclus în funcții {\ displaystyle a (x, y)} Și {\ displaystyle b (x, y)} :
{\ displaystyle T = \ {(x, y, z) \ in \ mathbb {R} ^ {3} \ | \ (x, y) \ in D, \ a (x, y) \ leq z \ leq b (X y) \}} , cu {\ displaystyle D = \ {(x, y) \ in \ mathbb {R} ^ {2} \ | \ a \ leq y \ leq b, \ f (y) \ leq x \ leq g (y) \} }
În general în {\ displaystyle \ mathbb {R} ^ {n}} numărul domeniilor simple este dat de relație {\ displaystyle n!} , adică toate combinațiile posibile între unitățile vectoriale .
Orientarea regulată a domeniului normal și a frontierelor
Domeniu normal regulat
Un domeniu normal regulat este prin definiție un domeniu normal a cărui graniță este unirea unui număr finit de curbe de clasă {\ displaystyle {\ mathcal {C}} ^ {1}} . Plus un domeniu obișnuit {\ displaystyle N} poate fi întotdeauna descrisă ca unirea unui număr finit de domenii normale obișnuite {\ displaystyle N_ {i}} , doi câte doi, fără puncte comune în comun:
{\ displaystyle N = \ bigcup _ {i = 1} ^ {n} N_ {i}}
Orientarea frontierei
Este {\ displaystyle D \ subset \ mathbb {R} ^ {2}} domeniu regulat, în mod convențional se spune că {\ displaystyle \ partial D} este orientată pozitiv dacă este reprezentată de un număr finit de curbe regulate în bucăți {\ displaystyle \ gamma _ {1}, \ \ dots, \ \ gamma _ {k} \ în {\ mathcal {C}} ^ {1}} astfel încât versorii normali {\ displaystyle N_ {1} (t), \ \ dots, \ N_ {k} (t)} asociat canonic punct spre exterior. Prin urmare, frontiera sa admite versor tangent și versor normal în fiecare punct, cu excepția, cel mult, a unui număr finit. Această orientare este indicată cu {\ displaystyle + \ partial D} .
Lemă despre descompunerea normelor
Lasa-i sa fie {\ displaystyle D \ subset \ mathbb {R} ^ {2}} Și {\ displaystyle E \ subset \ mathbb {R} ^ {3}} domenii normale avem asta {\ displaystyle \ forall \ delta, \ varepsilon> 0} există o descompunere a {\ displaystyle D} și de {\ displaystyle E} de tipul {\ displaystyle D = \ bigcup _ {i = 1} ^ {n} D_ {i}} Și {\ displaystyle E = \ bigcup _ {i = 1} ^ {n} E_ {i}}
- {\ displaystyle D_ {i}} și {\ displaystyle E_ {i}} sunt domenii normale
- {\ displaystyle D_ {i} ^ {^ {\! \! \! ^ {\ circ}}} \ cap D_ {j} ^ {^ {\! \! \! ^ {\ circ}}} = \ emptyset } Și {\ displaystyle E_ {i} ^ {^ {\! \! \! ^ {\ circ}}} \ cap E_ {j} ^ {^ {\! \! \! ^ {\ circ}}} = \ emptyset , \ quad \ forall i \ neq j}
- {\ displaystyle \ operatorname {diam} (D_ {i}) <\ delta} Și {\ displaystyle \ operatorname {diam} (E_ {i}) <\ varepsilon \ quad \ forall i = 1, \ \ dots, \ n}
unde este {\ displaystyle \ operatorname {diam} (A) = \ sup \ {\ | xy \ | \ | \ x, y \ în A \ subset {R} ^ {n} \}} este diametrul domeniului.
Bibliografie
Elemente conexe