Wyklad III semestr
Transkrypt
Wyklad III semestr
Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka funkcji wielu zmiennych Niech P = [a1 , b1 ] × . . . × [an , bn ] b¦dzie prostopadªo±cianem. Wtedy • Obj¦to±¢ P wynosi (b1 − a1 ) · . . . · (bn − an ), • dªugo±¢ p przek¡tnej P wynosi δ(P) = (b1 − a1 )2 + . . . + (bn − an )2 . Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka funkcji wielu zmiennych Niech P = [a1 , b1 ] × . . . × [an , bn ] b¦dzie prostopadªo±cianem. Wtedy • Obj¦to±¢ P wynosi (b1 − a1 ) · . . . · (bn − an ), • dªugo±¢ p przek¡tnej P wynosi δ(P) = (b1 − a1 )2 + . . . + (bn − an )2 . Rozwa»my funkcj¦ f : P → R. Naszym celem jest zdeniowanie caªki z funkcji f po zbiorze P . Niech • P b¦dzie dowolnym podziaªem prostopadªo±cianu P na prostopadªo±ciany P1 , . . . Pk , • v1 , . . . vn b¦d¡ obj¦to±ciami P1 , . . . Pn . Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka funkcji wielu zmiennych Niech P = [a1 , b1 ] × . . . × [an , bn ] b¦dzie prostopadªo±cianem. Wtedy • Obj¦to±¢ P wynosi (b1 − a1 ) · . . . · (bn − an ), • dªugo±¢ p przek¡tnej P wynosi δ(P) = (b1 − a1 )2 + . . . + (bn − an )2 . Rozwa»my funkcj¦ f : P → R. Naszym celem jest zdeniowanie caªki z funkcji f po zbiorze P . Niech • P b¦dzie dowolnym podziaªem prostopadªo±cianu P na prostopadªo±ciany P1 , . . . Pk , • v1 , . . . vn b¦d¡ obj¦to±ciami P1 , . . . Pn . rednic¡ podziaªu P nazywamy najwi¦ksz¡ dªugo±¢ przek¡tnej prostopadªo±cianów P1 , . . . , Pk . Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka funkcji wielu zmiennych cd. Wybieramy dowolny punkt ξi ∈ Pi i tworzymy sum¦ aproksymacyjn¡ σP = f (ξ1 )x1 + . . . + f (ξk )f (vk ), sum¦ aproksymacyjn¡ doln¡ sP = m1 x1 + . . . + mk f (vk ), gdzie mi = inf {f (ξi ) : ξi ∈ Pi } oraz sum¦ aproksymacyjn¡ górn¡ SP = M1 x1 + . . . + Mk f (vk ), gdzie Mi = inf {f (ξi ) : ξi ∈ Pi } Przypomnijmy, »e ci¡g podziaªów nazywamy normalnym je±li ±rednica podziaªów d¡»y do 0. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka funkcji wielu zmiennych cd. Denicja Funkcj¦ f : P → R nazywamy caªkowaln¡ w sensie Riemanna po prostopadªo±cianie P je±li dla ka»dego normalnego ci¡gu podziaªów i dla dowolnego wyboru punktów ξi ∈ Pi ci¡g sum aproksymacyjnych σPn jest zbieny do tej samej granicy. Granic¦ t¦ nazywamy n-krotn¡ caªk¡ Riemanna funkcji f po zbiorze P i oznaczamy przez Z P f (x)dx lub Z Z ... P f (x1 , . . . , xn )dx1 . . . dxn . Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka funkcji wielu zmiennych cd. Denicja Funkcj¦ f : P → R nazywamy caªkowaln¡ w sensie Riemanna po prostopadªo±cianie P je±li dla ka»dego normalnego ci¡gu podziaªów i dla dowolnego wyboru punktów ξi ∈ Pi ci¡g sum aproksymacyjnych σPn jest zbieny do tej samej granicy. Granic¦ t¦ nazywamy n-krotn¡ caªk¡ Riemanna funkcji f po zbiorze P i oznaczamy przez Z P f (x)dx lub Z Z ... f (x1 , . . . , xn )dx1 . . . dxn . P Analogicznie tworzymy caªk¦ górn¡ i doln¡. Zauwa»my, »e w przypadku n = 1 powy»sza dencja pokrywa si¦ z denicj¡ caªki Riemanna po przedziale. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Wªasno±ci caªki Twierdzenie Funkcja f : P → R jest caªkowalna w sensie Riemanna po prostopadªo±cianie P wtedy i tylko wtedy gdy caªka górna funkcji f jest równa caªce dolnej z tej funkcji. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Wªasno±ci caªki Twierdzenie Funkcja f : P → R jest caªkowalna w sensie Riemanna po prostopadªo±cianie P wtedy i tylko wtedy gdy caªka górna funkcji f jest równa caªce dolnej z tej funkcji. Twierdzenie Niech P ⊂ Rn b¦dzie prostopadªo±cianem oraz niech f : P → R b¦dzie funkcj¡ ci¡gª¡. Wtedy f jest caªkowalna w sensie Riemanna. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka po dowolnym zbiorze Niech D ⊂ Rn b¦dzie dowolnym ograniczonym zbiorem oraz niech f : D → R b¦dzie funkcj¡ ograniczon¡. Wtedy istnieje prostopadªo±cian P taki, »e D ⊂ P . Rozszerzamy funkcj¦ f do funkcji fb: P → R w nast¦puj¡cy sposób: fb(x) = f (x) dla x ∈ D . 0 dla x ∈ P \ D Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka po dowolnym zbiorze Niech D ⊂ Rn b¦dzie dowolnym ograniczonym zbiorem oraz niech f : D → R b¦dzie funkcj¡ ograniczon¡. Wtedy istnieje prostopadªo±cian P taki, »e D ⊂ P . Rozszerzamy funkcj¦ f do funkcji fb: P → R w nast¦puj¡cy sposób: fb(x) = f (x) dla x ∈ D . 0 dla x ∈ P \ D Denicja Funkcj¦ f nazywamy caªkowaln¡ w sensie Riemanna po zbiorze D gdy fb jest caªkowalna w sensie Riemanna po P . Przyjmujemy wtedy Z Z fb(x)dx. f (x)dx = D P Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Wªasno±ci caªki Twierdzenie Je±li f , g : D → R, gdzie D ⊂ Rn s¡ caªkowalne, to 1. dla dowolnego λ ∈ R funkcja λf : D → R jest caªkowalna oraz Z Z λf (x)dx = λ D f (x)dx, D 2. funkcja f + g : D → R jest caªkowalna oraz Z Z λf (x) + g (x)dx = D Z λf (x)dx + D λg (x)dx. D Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Miara Jordana Denicja Niech D ⊂ Rn b¦dzie zbiorem ograniczonym, takim, »e funkcja f (x) = 1 jest caªkowalna w sensie Riemanna na D . Mówimy wtedy, »e D jest mierzalny w sensie Jordana. Ponadto Miar¡ Jordana (obj¦to±ci¡) tego R zbioru nazywamy liczb¦ |D| = D 1dx . Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Miara Jordana Denicja Niech D ⊂ Rn b¦dzie zbiorem ograniczonym, takim, »e funkcja f (x) = 1 jest caªkowalna w sensie Riemanna na D . Mówimy wtedy, »e D jest mierzalny w sensie Jordana. Ponadto Miar¡ Jordana (obj¦to±ci¡) tego R zbioru nazywamy liczb¦ |D| = D 1dx . Jak mo»na zinterpretowa¢ t¦ wielko±¢? Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Miara Jordana Denicja Niech D ⊂ Rn b¦dzie zbiorem ograniczonym, takim, »e funkcja f (x) = 1 jest caªkowalna w sensie Riemanna na D . Mówimy wtedy, »e D jest mierzalny w sensie Jordana. Ponadto Miar¡ Jordana (obj¦to±ci¡) tego R zbioru nazywamy liczb¦ |D| = D 1dx . Jak mo»na zinterpretowa¢ t¦ wielko±¢? Twierdzenie Niech D ⊂ Rn b¦dzie zbiorem mierzalnym w sensie Jordana. Wtedy mierzalne w sensie Jordana s¡ jego wn¦trze, domkni¦cie oraz brzeg. Ponadto |D| = |D| = |int|D|| oraz |∂D| = 0. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Czy funkcja ci¡gªa jest caªkowalna? Twierdzenie Je»eli D jest zbiorem mierzalnym w sensie Jordana, a f : D → R jest funkcj¡ ci¡gª¡ to f jest caªkowalna w sensie Riemanna. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Czy funkcja ci¡gªa jest caªkowalna? Twierdzenie Je»eli D jest zbiorem mierzalnym w sensie Jordana, a f : D → R jest funkcj¡ ci¡gª¡ to f jest caªkowalna w sensie Riemanna. Twierdzenie Je»eli D jest zbiorem mierzalnym w sensie Jordana, a f : D → R jest funkcj¡ ci¡gª¡ to Z Z f (x)dx = D Z f (x)dx = D intD f (x)dx. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Addytywno±¢ caªki wzgl¦dem sumy zbiorów Twierdzenie Niech D1 , D2 b¦d¡ zbiorami mierzalnym w sensie Jordana, takimi, »e intD1 ∩ intD2 oraz niech f : D1 ∪ D2 → R b¦dzie caªkowalna. Wtedy Z Z f (x)dx = D1 ∪D2 Z f (x)dx + D1 f (x)dx. D2 Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Addytywno±¢ caªki wzgl¦dem sumy zbiorów Twierdzenie Niech D1 , D2 b¦d¡ zbiorami mierzalnym w sensie Jordana, takimi, »e intD1 ∩ intD2 oraz niech f : D1 ∪ D2 → R b¦dzie caªkowalna. Wtedy Z Z Z f (x)dx = f (x)dx + D1 ∪D2 D1 f (x)dx. D2 Twierdzenie Niech D b¦dzie zbiorem mierzalnym w sensie Jordana, a f : D → R funkcj¡ caªkowaln¡ i ograniczon¡. Oznaczmy m = inf {f (x) : x ∈ D}, Wtedy M = sup{f (x) : x ∈ D}. Z m|D| ≤ f (x)dx ≤ M|D|. D Powierzchnie Twierdzenia typu Stokesa Zbiory normalne Wniosek Je±li f ≥ 0 na D , to R D f ≥ 0. Równania ró»niczkowe zwyczajne Powierzchnie Twierdzenia typu Stokesa Zbiory normalne Wniosek Je±li f ≥ 0 na D , to R D f ≥ 0. Denicja Dowolny przedziaª jest zbiorem normalnym w R. Równania ró»niczkowe zwyczajne Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Zbiory normalne Wniosek Je±li f ≥ 0 na D , to R D f ≥ 0. Denicja Dowolny przedziaª jest zbiorem normalnym w R. Zbiór D ⊂ R2 nazywamy normalnym wzgl¦dem pierwszej wspóªrz¦dnej gdy istniej¡ funkcje ci¡gªe ϕ1 , ψ1 : [a, b] → R takie, »e D = {(x, y ) ∈ R2 : ϕ1 (y ) ≤ x ≤ ψ1 (y ), a ≤ y ≤ b}. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Zbiory normalne Wniosek Je±li f ≥ 0 na D , to R D f ≥ 0. Denicja Dowolny przedziaª jest zbiorem normalnym w R. Zbiór D ⊂ R2 nazywamy normalnym wzgl¦dem pierwszej wspóªrz¦dnej gdy istniej¡ funkcje ci¡gªe ϕ1 , ψ1 : [a, b] → R takie, »e D = {(x, y ) ∈ R2 : ϕ1 (y ) ≤ x ≤ ψ1 (y ), a ≤ y ≤ b}. Zbiór D ⊂ R2 nazywamy normalnym wzgl¦dem drugiej wspóªrz¦dnej gdy istniej¡ funkcje ci¡gªe ϕ2 , ψ2 : [c, d] → R takie, »e D = {(x, y ) ∈ R2 : c ≤ x ≤ d, ϕ2 (x) ≤ y ≤ ψ2 (x)}. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Zbiory normalne Wniosek Je±li f ≥ 0 na D , to R D f ≥ 0. Denicja Dowolny przedziaª jest zbiorem normalnym w R. Zbiór D ⊂ R2 nazywamy normalnym wzgl¦dem pierwszej wspóªrz¦dnej gdy istniej¡ funkcje ci¡gªe ϕ1 , ψ1 : [a, b] → R takie, »e D = {(x, y ) ∈ R2 : ϕ1 (y ) ≤ x ≤ ψ1 (y ), a ≤ y ≤ b}. Zbiór D ⊂ R2 nazywamy normalnym wzgl¦dem drugiej wspóªrz¦dnej gdy istniej¡ funkcje ci¡gªe ϕ2 , ψ2 : [c, d] → R takie, »e D = {(x, y ) ∈ R2 : c ≤ x ≤ d, ϕ2 (x) ≤ y ≤ ψ2 (x)}. Zbiór D nazywamy normalnym gdy jest normalny wzgl¦dem pierwszej lub drugiej zmiennej Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Zbiory regularne Denicja Zbiór D nazywamy regularnym gdy jest sko«czon¡ sum¡ zbiorów normalnych o rozª¡cznych wn¦trzach Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Zbiory regularne Denicja Zbiór D nazywamy regularnym gdy jest sko«czon¡ sum¡ zbiorów normalnych o rozª¡cznych wn¦trzach Czy nast¦puj¡ce zbiory s¡ zbiorami normalnymi? • Zbiór ograniczonym przez wykresy funkcji y = 2x 2 , y = 2x , • Koªo o promieniu R 2 . Jak wygl¡da denicja normalno±ci i regularno±ci dla zbiorów w Rn ? Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Twierdzenie Fubiniego Twierdzenie Niech P = [a1 , b1 ] × . . . × [an , bn ] oraz niech f : P → R b¦dzie funkcj¡ ci¡gª¡. Wtedy Z Z b1 f (x)dx = P Z bn−1 Z bn an−1 f (x1 , . . . , xn )dxn dxn−1 . . . dx1 . ... a1 an Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Twierdzenie Fubiniego Twierdzenie Niech P = [a1 , b1 ] × . . . × [an , bn ] oraz niech f : P → R b¦dzie funkcj¡ ci¡gª¡. Wtedy Z Z b1 f (x)dx = P Z bn−1 Z bn an−1 f (x1 , . . . , xn )dxn dxn−1 . . . dx1 . ... a1 an Wzór ten ma uogólnienie do obszarów normalnych. Musimy jednak wtedy R pami¦ta¢ o granicach caªkowania! Oblicz D (2x + y )dxdy gdzie D jest obszarem ograniczonym liniami y = −1, y = −x 2 . Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Zmiana zmiennych w caªce Twierdzenie Niech ∆, D ⊂ R2 b¦d¡ zbiorami otwartymi oraz niech • ϕ : ∆ → D b¦dzie bijekcj¡ klasy C 1 , • ϕ−1 : D → ∆ b¦dzie funkcj¡ ci¡gª¡, • det Jϕ (u, v ) 6= 0 dla (u, v ) ∈ ∆. Je±li f : D → R2 jest funkcj¡ caªkowaln¡ po zbiorze D , to funkcja (u, v ) → (f ◦ ϕ)(u, v ) · | det Jϕ (u, v )| jest caªkowalna po zbiorze ∆ oraz Z Z f (x)dx = D ∆ f (ϕ(u)) · | det Jϕ (u)|du. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Biegunowa zmiana zmiennych Denicja Niech ϕ : (0, +∞) × (0, 2π) → R2 \{(x, 0) : x ∈ [0, +∞)} ϕ(r , α) = (r cos α, r sin α) Potocznie zapisujemy te wzory w postaci: x = r cos ϕ, y = r sin ϕ, Zauwa»my, »e 0 < r , 0 < α < 2π. cos α −r sin α , sin α r cos α Jϕ (r , α) = zatem det Jϕ (r , α) = r cos2 α + r sin2 α = r . Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Walcowa zmiana zmiennych Denicja Niech ϕ : (0, +∞) × (0, 2π) × R → R2 \{(x, 0) : x ∈ [0, +∞)} × R ϕ(r , α, z) = (r cos α, r sin α, z) Potocznie zapisujemy te wzory w postaci: x = r cos ϕ, Zauwa»my, »e y = r sin ϕ, z = z, 0 < r , 0 < α < 2π, z ∈ R . cos α −r sin α 0 Jϕ (r , α) = sin α r cos α 0 , 0 0 1 zatem det Jϕ (r , α, z) = r cos2 α + r sin2 α = r . Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Wspóªrz¦dne sferyczne w przestrzeni R3 Denicja Niech ϕ : (0, +∞) × (0, 2π) × (− π2 , π2 ) → R3 \{(x, 0, z) : x ∈ [0, +∞), z ∈ R} ϕ(r , α, β) = (r cos α cos β, r sin α cos β, r sin β) Potocznie zapisujemy te wzory w postaci: x = r cos α cos β, y = r sin α cos β, z = r sin β, 0 < r , 0 < α < 2π, − π2 < β < π2 . Zauwa»my, »e cos α cos β −r sin α cos β −r cos α sin β Jϕ (r , α, ϕ) = sin α cos β r cos α cos β −r sin α sin β , sin β 0 r cos β zatem det Jϕ (r , α, ϕ) = r 2 cos2 β . Powierzchnie Twierdzenia typu Stokesa Przykªady • Oblicz obj¦to±¢ sfery x 2 + y 2 + z 2 < R 2 . • Oblicz R K (0,R) x 2 + y 2 + z 2 dxdydz . Równania ró»niczkowe zwyczajne Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Powierzchnie Denicja Niech D b¦dzie obszarem regularnym w R2 , a σ : D → R3 b¦dzie funkcj¡ ci¡gªa. Funkcj¦ σ nazywamy powierzchni¡ 2-wymiarow¡ w przestrzeni R3 , a funkcj¦ σ parametryzacj¡ zbioru σ(D). Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Powierzchnie Denicja Niech D b¦dzie obszarem regularnym w R2 , a σ : D → R3 b¦dzie funkcj¡ ci¡gªa. Funkcj¦ σ nazywamy powierzchni¡ 2-wymiarow¡ w przestrzeni R3 , a funkcj¦ σ parametryzacj¡ zbioru σ(D). Mówimy, »e S jest regularna je±li funkcja σ = (σ1 , σ2 , σ3 ) jest klasy C 1 oraz wektory styczne ∂σ1 ∂σ1 ∂σ2 ∂σ3 ∂σ2 ∂σ3 (u, v ), (u, v ), (u, v ) , (u, v ), (u, v ), (u, v ) ∂u ∂u ∂u ∂v ∂v ∂v s¡ liniowo niezale»ne w R3 . Stosujemy ten sam zapis dla domkni¦cia zbioru f (D). Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Przykªady Uwaga Je±li dana jest powierzchnia σ : D → R3 , a σ = (σ1 , σ2 , σ3 ), to powierzchni¦ t¦ mo»na opisa¢ u»ywaj¡c notacji w postaci: x = σ1 (u, v ), y = σ2 (u, v ), z = σ3 (u, v ). Przykªad Je±li mamy funkcj¦ f : D → R gdzie D ⊂ R2 jest obszarem normalnym, to wykres S tej funkcji, czyli zbiór S = (x, y , f (x, y ) ∈ R3 : (x, y ) ∈ D) jest obrazem pewnej powierzchni. Powierzchni¦ ta jest opisana przez wzory σ : D → R3 , σ(x, y ) = (x, y , f (x, y )). Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Przykªady cd. Przykªad Niech σ : (0, π 2 ) × (0, π 2 ) → S ⊂ R3 , σ = (σ1 , σ2 , σ3 ) x = σ1 (α, β) = R cos α cos β, y = σ2 (α, β) = R sin α cos β, z = σ3 (α, β) = R sin β. Wtedy S jest cz¦±ci¡ sfery o ±rodku w punkcie 0, promieniu R , tak¡, »e x > 0, y > 0, z > 0. Powierzchnie Twierdzenia typu Stokesa Przykªady cd. Przykªad Równania ró»niczkowe zwyczajne Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Przykªady cd. Przykªad Powierzchni¦ {(x, y , z) ∈ R3 : x 2 + y 2 + z 2 = R 2 , x > 0, y > 0, z > 0} mo»na równie» p okre±li¢ przez funkcj¦ f : D → R, gdzie f (x, y ) = R 2 − x 2 − y 2 oraz D = {(x, y ) ∈ R2 : x 2 + y 2 < R 2 , x > 0, y > 0}. Przykªad Sfera S = {(x, y , z) ∈ R3 : x 2 + y 2 + z 2 = R 2 } jest dana jako domkni¦cie powierzchni π π σ : (0, 2π) × (− , ) → S ⊂ R3 , σ = (σ1 , σ2 , σ3 ) 2 2 Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Przykªady cd. Przykªad Powierzchni¦ boczn¡ walca S = {(x, y , z) ∈ R3 : x 2 + y 2 = R, a < z < b} mo»emy bada¢ jako obraz funkcji: σ : (0, 2π) × (a, b) → S ⊂ R3 , (x, y , z) = σ(t, z) = (R cos t, R sin t, z). Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Przykªady cd. Denicja Niech σ : D → S ⊂ R3 , σ = (σ1 , σ2 , σ3 ). Pªaszczyzn¡ styczn¡ w punkcie (x0 , y0 , z0 ) = σ(u0 , v0 ), (gdzie (u0 , v0 ) ∈ D ) nazywamy pªaszczyzn¦ rozpi¦t¡ przez wektory styczne: ∂σ2 ∂σ3 (u0 , v0 ), (u0 , v0 ) , ∂u ∂u ∂u ∂σ ∂σ2 ∂σ3 1 b= (u0 , v0 ), (u0 , v0 ), (u0 , v0 ) , ∂v ∂v ∂v a= ∂σ 1 (u0 , v0 ), Pªaszczyn¦ styczn¡ wyra»a równanie: (x, y , z) = (x0 , y0 , z0 ) + as + bt, s, t ∈ R3 . Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Wektor normalny Denicja Niech σ : D → S ⊂ R3 , σ = (σ1 , σ2 , σ3 ). Wektorem normalnym do powierzchni S w punkcie (x0 , y0 , z0 ) = σ(u0 , v0 ), (gdzie (u0 , v0 ) ∈ D nazywamy wektor prostopadªy do pªaszczyzny stycznej w punkcie (x0 , y0 , z0 ) i oznaczamy n = (n1 , n2 , n3 ). Normalna w punkcie x0 , y0 , z0 jest prost¡ prostopadª¡ do pªaszczyzny stycznej i przechodz¡c¡ przez ten punkt. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Wektor normalny wzór Wektor normalny w punkcie (x0 , y0 , z0 ) = σ(u0 , v0 ) jest iloczynem wektorowym wektorów stycznych a i b. St¡d, wspóªrz¦dne wektora n = (n1 , n2 , n3 ) przyjmuj¡ posta¢: n1 = det n2 = − det n3 = det ∂σ2 ∂u (u0 , v0 ) ∂σ2 ∂v (u0 , v0 ) ∂σ1 ∂u (u0 , v0 ) ∂σ1 ∂v (u0 , v0 ) ∂σ1 ∂u (u0 , v0 ) ∂σ1 ∂v (u0 , v0 ) ∂σ3 ∂u (u0 , v0 ) ∂σ3 ∂v (u0 , v0 ) ∂σ3 ∂u (u0 , v0 ) ∂σ3 ∂v (u0 , v0 ) ∂σ2 ∂u (u0 , v0 ) ∂σ2 ∂v (u0 , v0 ) , , . Równanie prostej normalnej zapisujemy nast¦puj¡co: (x, y , z) = (x0 , y0 , z0 ) + (n1 , n2 , n3 )t . Równanie pªaszczyzny stycznej dane jest wzorem: n1 (x − x0 ) + n2 (y − y0 ) + n3 (z − z0 ) = 0. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Przykªad Oblicz wektor normalny oraz jego dªugo±¢ dla sfery o promieniu R , Uwaga Niech S b¦dzie powierzchni¡ zadan¡ przez funkcj¦ f : D → R klasy C 1 , a wi¦c σ(x, y ) = (x, y , f (x, y )). Wtedy wektory styczne w punkcie (x0 , y0 , z0 ) gdzie z0 = f (x0 , y0 ) maj¡ posta¢ (1, 0, fx0 (x0 , y0 ), (0, 1, fy0 (x0 , y0 ), natomiast wektor normalny ma posta¢ n = (−fx0 (x0 , y0 ), −fy0 (x0 , y0 ), 1). Przykªad Wyznacz równanie pªaszczyzny stycznej do paraboloidy o równaniu f (x, y ) = 4 − x 2 − y 2 dla x = 1, y = −1. Powierzchnie Twierdzenia typu Stokesa Orientacja powierzchni • Dwie strony powierzchni • Przesuwanie wektora normalnego po powierzchni • Orientacja dodatnia i ujemna • Wst¦ga Mobiusa Równania ró»niczkowe zwyczajne Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Pole powierzchni Denicja Niech obszar D b¦dzie regularny oraz niech σ : D → S ⊂ R3 b¦dzie powierzchni¡. Dzielimy powierzchni¦ S siatk¡ krzywych gªadkich na cz¦sci S1 , . . . , Sn . W ka»dej z tych cz¦sci wybieramy punkt Pi ∈ Si . Zakªadamy, »e w ka»dym z tych punktów istnieje pªaszczyzna styczna. Niech Ti b¦dzie rzutem Si na t¦ pªaszczyzn¦. Zaªó»my, »e rzut Ti jest mierzalny w sensie Jordana a jego miara wynosi |Ti |. Najwi¦ksz¡P srednic¦ rzutów Ti nazywamy srednic¡ podziaªu. Jesli sumy ni=1 |Ti | s¡ zbie»ne do tej samej granicy dla dowolnego wyboru ciagu podziaªów S dla którego ci¡g srednic d¡»y do 0, to granic¦ t¦ nazywamy polem powierzchni D Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Pole powierzchni - wzór Twierdzenie Gdy D jest regularny, a σ : D → S ⊂ R3 jest powierzchni a regularn¡, to Z Z |S| = kn(u, v )kdudv = Z Z q n12 (u, v ) + n22 (u, v ) + n32 (u, v )dudv , gdzie n(u, v ) jest wektorem normalnym w punkcie σ(u, v ). Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Przykªady • Oblicz pole powierzchni sfery o promieniu R , • Ile wynosi pole powierzchni powierzchni zadanej przez funkcj¦ f : D → R, gdzie D ⊂ R2 jest obszarem regularnym? Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka niezorientowana Denicja Niech obszar D b¦dzie regularny oraz niech σ : D → S ⊂ R3 b¦dzie powierzchni¡. Dzielimy powierzchni¦ S siatk¡ krzywych gªadkich na cz¦sci S1 , . . . , Sn . W ka»dej z tych cz¦sci wybieramy punkt Pi ∈ Si . Zakªadamy, »e w ka»dym z tych punktów istnieje pªaszczyzna styczna. Niech Ti b¦dzie rzutem Si na t¦ pªaszczyzn¦. Zaªó»my, »e rzut Ti jest mierzalny w sensie Jordana a jego miara wynosi |Ti |. Najwi¦ksz¡P srednic¦ rzutów Ti nazywamy srednic¡ podziaªu. Jesli sumy ni=1 f (Pi )|Ti | s¡ zbie»ne do tej samej granicy dla dowolnego wyboru ciagu podziaªów S dla którego ci¡g srednic d¡»y do 0, to granic¦ t¦ nazywamy caªk¡ powierzchniow¡ niezorientowan¡ funkcji f po RR powierzchni D i oznaczamy fdS S Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Zamiana caªki powierzchniowej na caªk¦ Riemanna Twierdzenie Niech D b¦dzie obszarem regularnym oraz niech σ : D → S ⊂ R3 b¦dzie powierzchni¡ regularn¡, a f : S → R b¦dzie funkcj¡ ci¡gª¡. Wtedy: Z Z Z Z fdS = S f (σ(u, v ))kn(u, v )kdudv . D Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Zamiana caªki powierzchniowej na caªk¦ Riemanna Twierdzenie Niech D b¦dzie obszarem regularnym oraz niech σ : D → S ⊂ R3 b¦dzie powierzchni¡ regularn¡, a f : S → R b¦dzie funkcj¡ ci¡gª¡. Wtedy: Z Z Z Z fdS = S f (σ(u, v ))kn(u, v )kdudv . D Gdy σ(x, y ) = (x, y , h(x, y )), to Z Z Z Z fdS = S f (x, y , h(x, y )) D q 1 + hx02 (x, y ) + hy02 (x, y )dxdy . Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka powierzchniowa niezorientowana Przykªad Oblicz RR S zdS , gdzie S = {(x, y , z) : x 2 + y 2 + z 2 = R 2 , z > 0}. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka powierzchniowa zorientowana Denicja Niech D b¦dzie obszarem regularnym oraz niech σ : D → S ⊂ R3 b¦dzie orientowaln¡ powierzchni¡ regularn¡. Oznaczmy przez ν = (ν1 , ν2 , ν3 ) n jednostkowy wektor normalny, tzn. ν = knk . Niech 3 f = (P, Q, R) : S → R b¦dzie funkcj¡ ci¡gª¡. Caªk¡ powierzchniow¡ zorientowan¡ funkcji f po S nazywamy caªk¦ Z Z Z Z Pdydz + Qdzdx + Rdxdy = S S P · ν1 + Q · ν2 + R · ν3 dS. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka powierzchniowa zorientowana Uwaga Wybierzmy odwrotn¡ orientacj¦ O − powierzchni S i oznaczmy j¡ przez S − . Wtedy Z Z Z Z Pdydz + Qdzdx + Rdxdy = − S− Pdydz + Qdzdx + Rdxdy . S Twierdzenie Wykorzystuj¡c wzór na caªk¦ powierzchniow¡ niezrientowan¡ otrzymujemy Z Z Pdydz + Qdzdx + Rdxdy S Z Z = P(σ(u, v ))n1 (u, v )+Q(σ(u, v ))n2 (u, v )+R(σ(u, v ))n3 (u, v )dudv . D Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka powierzchniowa zorientowana Uwaga Gdy σ(x, y ) = (x, y , h(x, y )), to Z Z Pdydz + Qdzdx + Rdxdy S Z Z = D − P(x, y )hx0 (x, y ) − Q(x, y )hy0 (x, y ) + R(x, y , h(x, y ))dxdy . Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Caªka powierzchniowa zorientowana cd. Przykªad Oblicz RR (y − z)dydz + (z − x)Qdzdx + (x − y )dxdy , gdzie S jest S wewn¦trzn¡ stron¡ powierzchni (x, y , z) : x 2 + y 2 = z 2 , 0 6 z 6 h, 0 6 h . Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Wzór Greena Twierdzenie Niech D ⊂ R2 b¦dzie obszarem normalnym ze wzgl¦du na obie zmienne. Niech brzeg ∂D b¦dzie krzyw¡ zamkni¦t¡, kawaªkami gªadk¡, zorientowan¡ dodatnio i niech f = (P, Q) : D → R2 b¦dzie funkcj¡ klasy C (1) . Wtedy: Z Z Z Pdx + Qdy = ∂D D ∂P ∂Q − dxdy . ∂x ∂y Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Wzór Greena Twierdzenie Niech D ⊂ R2 b¦dzie obszarem normalnym ze wzgl¦du na obie zmienne. Niech brzeg ∂D b¦dzie krzyw¡ zamkni¦t¡, kawaªkami gªadk¡, zorientowan¡ dodatnio i niech f = (P, Q) : D → R2 b¦dzie funkcj¡ klasy C (1) . Wtedy: Z Z Z Pdx + Qdy = ∂D ∂P ∂Q − dxdy . ∂x ∂y D Uwaga Niech P(x, y ) = − 21 y , Q(x, y ) = 21 x . Wtedy Z Z Z Pdx + Qdy = ∂D D ( 12 + 12 )dxdy = |D|. Powierzchnie Twierdzenia typu Stokesa Wzór Greena cd. Przykªad Oblicz pole obszaru ograniczonego elips¡ y2 x2 + 2 = 1. 2 a b Równania ró»niczkowe zwyczajne Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Wzór Greena cd. Przykªad Oblicz pole obszaru ograniczonego elips¡ y2 x2 + 2 = 1. 2 a b Twierdzenie Greena jest wykorzystywane w planimetrach, które sªu»¡ do obliczania powierzchni. Licz¡ one w rzeczywistoci caªk¦ krzywoliniow¡ zorientowan¡ i dzi¦ki Twierdzeniu Greena wyliczaj¡ pole powierzchni. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Wzór Greena cd. Przykªad Oblicz caªk¦ Z p p x 2 + y 2 dx + y (xy + ln(x + x 2 + y 2 ))dy . K Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Funkcje potencjalne Denicja Zbiór D ⊂ Rn nazywamy ªukowo spójnym gdy dla dowolnych dwóch punktów x , y ∈ D istnieje krzywa ϕ : [a, b] → Rn o pocz¡tku w punkcie x i ko«cu w punkcie y , zawarta w zbiorze D . Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Funkcje potencjalne Denicja Zbiór D ⊂ Rn nazywamy ªukowo spójnym gdy dla dowolnych dwóch punktów x , y ∈ D istnieje krzywa ϕ : [a, b] → Rn o pocz¡tku w punkcie x i ko«cu w punkcie y , zawarta w zbiorze D . Denicja Niech D ⊂ Rn b¦dzie otwarty oraz ªukowo spójny ora niech f : D → Rn . Funkcj¡ pierwotn¡ (potencjaªem) funkcji f nazywamy funkcj¦ F : D → R ∂f tak¡, »e F 0 = f . (tzn. f = (f1 , . . . , fn ) oraz ∂x (x) = fi (x) dla x ∈ D ) i Mówimy, »e f jest funkcj¡ potencjaln¡. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Funkcje potencjalne Denicja Niech D ⊂ Rn b¦dzie otwarty oraz ªukowo spójny. Niech f : D → Rn , f = (f1 , . . . , fn ). Mówimy, »e caªka krzywoliniowa zorientowana funkcji f nie zale»y od drogi caªkowania mi¦dzy punktami u , v ∈ D gdy dla ka»dych R Rkrzywych K1 , K2 o pocz¡tku w u i ko«cu w v mamy K1 f = K2 f. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Funkcje potencjalne Denicja Niech D ⊂ Rn b¦dzie otwarty oraz ªukowo spójny. Niech f : D → Rn , f = (f1 , . . . , fn ). Mówimy, »e caªka krzywoliniowa zorientowana funkcji f nie zale»y od drogi caªkowania mi¦dzy punktami u , v ∈ D gdy dla ka»dych R Rkrzywych K1 , K2 o pocz¡tku w u i ko«cu w v mamy K1 f = K2 f. Twierdzenie Niech D ⊂ Rn b¦dzie otwarty oraz ªukowo spójny oraz taki, »e Rn \D jest zbiorem spójnym. Zaªó»my, »e f : D → Rn , f = (f1 , . . . , fn ) jest klasy C (1) w D . Wtedy nast¦puj¡ce warunki s¡ równowa»ne (a) funkcja f jest potencjalna (b) ∂fi ∂xj (x) = ∂fj ∂xi (x) dla x ∈ D oraz i, j = 1, . . . n, (c) dla ka»dych dwóch punktów u , v ∈ D caªka krzywoliniowa funkcja f nie zale»y od drogi caªkowania. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Funkcje potencjalne cd. Uwaga Niech f : D → Rn klasy C (1) w D b¦dzie funkcj¡ potencjaln¡ oraz niech F : D → R b¦dzie potencjaªem funkcji f . Wtedy dla u , v ∈ D otrzymujemy Z v f = F (v ) − F (u). u Przykªad Oblicz caªk¦ Z (3,2) (0,1) (4xy 3 − 1 y )dx + (6x 2 y 2 + x + y )dy . y2 Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Twierdzenie Greena-Ostrogradskiego Twierdzenie Niech V ⊂ R3 b¦dzie zbiorem normalnym ze wzgl¦du na wszystkie zmienne i niech ∂V b¦dzie powierzchni¡ kawaªkami C (1) zoreintowan¡ na zewn¡trz. Zaªó»my, »e funkcja f = (P, Q, R) : V ∪ ∂V → R3 jest ci¡gªa oraz klasy C (1) w V . Wtedy Z Z Z Z Z Pdydz + Qdzdx + Rdxdy = ∂V V ∂Q ∂R ∂P + + dxdydz. ∂x ∂y ∂z Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Twierdzenie Greena-Ostrogradskiego Twierdzenie Niech V ⊂ R3 b¦dzie zbiorem normalnym ze wzgl¦du na wszystkie zmienne i niech ∂V b¦dzie powierzchni¡ kawaªkami C (1) zoreintowan¡ na zewn¡trz. Zaªó»my, »e funkcja f = (P, Q, R) : V ∪ ∂V → R3 jest ci¡gªa oraz klasy C (1) w V . Wtedy Z Z Z Z Z Pdydz + Qdzdx + Rdxdy = ∂V ∂Q ∂R ∂P + + dxdydz. ∂x ∂y ∂z V Przykªad Oblicz RR S xdydz + ydzdx + zdxdy gdzie S jest sfer¡ o promieniu R zorientowan¡ na zewn¡trz. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Twierdzenie Stokesa Twierdzenie Niech D ⊂ R2 b¦dzieobszarem regularnym i niech σ : D → R3 b¦dzie powierzchni¡ regularn¡, zorientowan ¡, z brzegiem ∂S b¦d¡cym krzyw¡ kawaªkami gªadk¡.Zaªó»my, »e powierzchnia S jest zorientowana zgodnie z jej parametryzacj¡, to znaczy w taki sposób, aby zgodnie z reguª¡ ±ruby prawoskr¦tnej obieg dookoªa krzy2wej wyznaczaª zwrot wektora normalnego do powierzchni. Niech G ⊂ R3 b¦dzie zbiorem otwartym takim, »e S ∪ ∂S ⊂ G . Zaªó»my, »e funkcja f = (P, Q, R) : G → R3 jet funkcj¡ klasy C (1) w G . Wtedy Z Pdx + Qdy + Rdz ∂S Z Z Z = S ∂P ∂R ∂Q ∂P ∂R ∂Q dydz + dzdx + dxdy . − − − ∂y ∂z ∂z ∂x ∂x ∂y Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Twierdzenie Stokesa Przykªad Oblicz RR S xdydz + ydzdx + zdxdy gdzie S jest sfer¡ o promieniu R zorientowan¡ na zewn¡trz. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Przykªady Przykªad Ciaªo staªe o masie pocz¡tkowej m zanurzone w cieczy rozpuszcza si¦ proporcjonalnie ze wspóªczynnikiem λ do masy ciaªa nierozpuszczonego. Szukamy funkcji y : [0, +∞) → R okrelaj¡cej mas¦ ciaªa rozpuszczonego w chwili t . Pr¦dko±¢ rozpuszczania okre±la pochodna dy dt . Masa ciaªa nierozpuszczonego w chwili t wynosi m − y (t). Wtedy dy = λ(m − y (t)). dt Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Model rozwoju populacji Przykªad Przyjmujemy, »e przyrost populacji jest wprost proporcjonalny do pewnej funkcji zale»nej od liczby osobników. Zapisujemy to w postaci x 0 (t) = f (x(t)), gdzie x(t) to liczba osobników w chwili t , a f jest pewn¡ znan¡ funkcj¡. W klasycznym modelu Malthusa przyjmujemy f (x) = λx . Model, gdy dost¦p do po»ywienia jest ograniczony lepiej opisuje funkcja f (x) = λx(1 − x). Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Denicja Denicja Niech F : D → R, gdzie D ⊂ R3 jest obszarem. Niech I b¦dzie przedziaªem.Zagadnienie polegaj¡ce na znalezieniu funkcji y : I ]to R klasy C (1) takiej, »e F (x, y (x), y 0 (x)) = 0 dla ka»dego i ∈ I nazywamy równaniem ró»niczkowym zwyczajnym rz¦du pierwszego. Uwaga: Rozwi¡za« równania ró»niczkowego jest zazwyczaj niesko«czenie wiele. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Denicja Denicja Niech F : D → R, gdzie D ⊂ R3 jest obszarem. Niech I b¦dzie przedziaªem.Zagadnienie polegaj¡ce na znalezieniu funkcji y : I ]to R klasy C (1) takiej, »e F (x, y (x), y 0 (x)) = 0 (1) dla ka»dego i ∈ I nazywamy równaniem ró»niczkowym zwyczajnym rz¦du pierwszego. Uwaga: Rozwi¡za« równania ró»niczkowego jest zazwyczaj niesko«czenie wiele. Uwaga Cz¦sto rozwa»amy problem istnienia rozwi¡zania z dodatkowym warunkiem y (x0 ) = y0 dla pewnych x0 ∈ I oraz y0 ∈ R. Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Jednoznaczno±¢ rozwi¡zania Denicja Niech x0 ∈ I oraz y0 ∈ R. Je±li dla dowolnych dwóch rozwi¡za« y , ỹ : I → R równania ró»niczkowego postaci (1) takich, »e y (x0 ) = y0 = ỹ (x0 ) wynika y (x) = ỹ (x) dla ka»dego x ∈ I , to mówimy, »e równanie ró»niczkowe postaci (1) ma jednoznaczne rozwi¡zanie. Denicja Równanie postaci y 0 = f (x, y ) nazywamy postaci¡ normaln¡ równania ró»niczkowego rz¦du pierwszego. Twierdzenie Je±li funkcja f : D → R jest ci¡gªa w obszarze D oraz pochodna ∂f cz¡stkowa ∂y jest ci¡gªa w D , to przez ka»dy punkt (x0 , y0 ) obszaru D przechodzi dokªadnie jedno rozwi¡zanie y : I → R, x → y (x) speªniaj¡ce równanie y 0 = f (x, y ). Powierzchnie Twierdzenia typu Stokesa Równania ró»niczkowe zwyczajne Typy równa« Szczególne typy równa« ró»niczkowych pierwszego rz¦du: • równania o rozdzielonych zmiennych, • równania postaci y 0 = f (ax + by + c), • równania postaci y 0 = f ( yx ), • równania liniowe jedno i niejednorodne y 0 + p(x)y = q(x). • równanie Bernoulliego y 0 + p(x)y = q(x)y n .