2-forma różcznikowa
-
- Użytkownik
- Posty: 3388
- Rejestracja: 26 maja 2016, o 01:25
- Płeć: Mężczyzna
- Lokalizacja: Kraków
- Podziękował: 975 razy
- Pomógł: 3 razy
2-forma różcznikowa
Niech \(\displaystyle{ 2}\)-forma różniczkowa \(\displaystyle{ \omega}\) zadana w \(\displaystyle{ \RR^3}\) będzie określona wzorem
\(\displaystyle{ \omega=(1+\sin x)dy \wedge dz+y\cos xdz \wedge dx}\).
Oblicz \(\displaystyle{ \int_{S}^{}\omega}\), gdzie
\(\displaystyle{ S=\left\{ (x,y,z) \in \RR^3:y^2+z^2<(1-\sin x)^2,0<x<\pi/4\right\}}\)
mającego standardową orientację \(\displaystyle{ \RR^3}\).
Jak to zrobić? Co oznaczają te "koniunkcje"?
\(\displaystyle{ \omega=(1+\sin x)dy \wedge dz+y\cos xdz \wedge dx}\).
Oblicz \(\displaystyle{ \int_{S}^{}\omega}\), gdzie
\(\displaystyle{ S=\left\{ (x,y,z) \in \RR^3:y^2+z^2<(1-\sin x)^2,0<x<\pi/4\right\}}\)
mającego standardową orientację \(\displaystyle{ \RR^3}\).
Jak to zrobić? Co oznaczają te "koniunkcje"?
-
- Użytkownik
- Posty: 7910
- Rejestracja: 18 mar 2009, o 16:24
- Płeć: Mężczyzna
- Podziękował: 30 razy
- Pomógł: 1670 razy
Re: 2-forma różcznikowa
To nie koniunkcja tylko symbol iloczynu zewnętrznego .
Jak obliczamy całkę z dwuformy \(\displaystyle{ \omega ?}\)
Jakie czynności musimy wykonać ?
Jak obliczamy całkę z dwuformy \(\displaystyle{ \omega ?}\)
Jakie czynności musimy wykonać ?
-
- Użytkownik
- Posty: 7910
- Rejestracja: 18 mar 2009, o 16:24
- Płeć: Mężczyzna
- Podziękował: 30 razy
- Pomógł: 1670 razy
Re: 2-forma różcznikowa
\(\displaystyle{ \phi -}\) to parametryzacja obszaru \(\displaystyle{ S}\)
\(\displaystyle{ \phi^{*}(\omega)}\) - obcięcie formy do obszaru \(\displaystyle{ S}\) realizowane za pomocą włożenia "pull back".
\(\displaystyle{ \phi^{*}(\omega)}\) - obcięcie formy do obszaru \(\displaystyle{ S}\) realizowane za pomocą włożenia "pull back".
- Dasio11
- Moderator
- Posty: 10211
- Rejestracja: 21 kwie 2009, o 19:04
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 40 razy
- Pomógł: 2359 razy
Re: 2-forma różcznikowa
Raczej:janusz47 pisze:\(\displaystyle{ \int_{(S, \tau) }\omega = \int_{ \phi(S)} \phi^{*}(\omega)}\)
\(\displaystyle{ \int \limits_S \omega = \int \limits_U \phi^*(\omega)}\)
gdzie \(\displaystyle{ \phi : U \to S}\) jest parametryzacją \(\displaystyle{ S}\), a \(\displaystyle{ \phi^*(\omega)}\) oznacza cofnięcie formy \(\displaystyle{ \omega}\) do \(\displaystyle{ U}\) przez \(\displaystyle{ \phi}\).
-
- Użytkownik
- Posty: 7910
- Rejestracja: 18 mar 2009, o 16:24
- Płeć: Mężczyzna
- Podziękował: 30 razy
- Pomógł: 1670 razy
2-forma różcznikowa
Możemy zdefiniować całkę po obszarze \(\displaystyle{ S}\) w uproszczonej sytuacji, gdy obszar \(\displaystyle{ S}\) z orientacją \(\displaystyle{ \tau}\) mieści się w dziedzinie jednej mapy - wtedy ten zapis jest poprawny.
- Dasio11
- Moderator
- Posty: 10211
- Rejestracja: 21 kwie 2009, o 19:04
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 40 razy
- Pomógł: 2359 razy
2-forma różcznikowa
Który zapis? Jeśli masz na myśli ten:janusz47 pisze:wtedy ten zapis jest poprawny.
to jaka jest dziedzina i przeciwdziedzina \(\displaystyle{ \phi}\) ?janusz47 pisze:\(\displaystyle{ \int_{(S, \tau) }\omega = \int_{ \phi(S)} \phi^{*}(\omega)}\)
-
- Użytkownik
- Posty: 7910
- Rejestracja: 18 mar 2009, o 16:24
- Płeć: Mężczyzna
- Podziękował: 30 razy
- Pomógł: 1670 razy
Re: 2-forma różcznikowa
\(\displaystyle{ \int_{(S, \tau) }\omega = \int_{ \phi^-1(S)} \phi^{*}(\omega).}\)
\(\displaystyle{ \phi^{-1}(S)}\) - dziedzina
\(\displaystyle{ S}\) - przeciwdziedzina
\(\displaystyle{ \phi^{-1}(S)}\) - dziedzina
\(\displaystyle{ S}\) - przeciwdziedzina
- Dasio11
- Moderator
- Posty: 10211
- Rejestracja: 21 kwie 2009, o 19:04
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 40 razy
- Pomógł: 2359 razy
Re: 2-forma różcznikowa
Oznaczanie dziedziny funkcji \(\displaystyle{ \phi}\) przez \(\displaystyle{ \phi^{-1}(S)}\) jest moim zdaniem trochę dziwne, ale teraz równość jest prawdziwa (w przeciwieństwie do wcześniejszej wersji).janusz47 pisze:\(\displaystyle{ \int_{(S, \tau) }\omega = \int_{ \phi^-1(S)} \phi^{*}(\omega).}\)
-
- Użytkownik
- Posty: 3388
- Rejestracja: 26 maja 2016, o 01:25
- Płeć: Mężczyzna
- Lokalizacja: Kraków
- Podziękował: 975 razy
- Pomógł: 3 razy
Re: 2-forma różcznikowa
No dobra, ale tak bardziej po ludzku. Mam ten obszar \(\displaystyle{ S}\) sparametryzować? W jaki sposób? Dowolny? Po co ta parametryzacja w ogóle? Bez niej się nie da? No dobra niech będzie, że trzeba. No to parametryzuje tak: \(\displaystyle{ x=x,y=(1-\sin x)(\cos x),z=(1-\sin x)(\sin x)}\) i co dalej z tym? Co to jest "pull back"-owanie?
- Dasio11
- Moderator
- Posty: 10211
- Rejestracja: 21 kwie 2009, o 19:04
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 40 razy
- Pomógł: 2359 razy
Re: 2-forma różcznikowa
Dowolny (oczywiście przez funkcje klasy \(\displaystyle{ \mathcal{C}^1}\)), a najlepiej taki, żeby po dziedzinie było łatwo całkować, czyli w miarę prostokątny.max123321 pisze:Mam ten obszar \(\displaystyle{ S}\) sparametryzować? W jaki sposób? Dowolny?
Jeśli dany jest otwarty podzbiór \(\displaystyle{ U \subseteq \RR^n}\) i \(\displaystyle{ n}\)-forma \(\displaystyle{ \omega \in \Omega^n(U)}\), to całkęmax123321 pisze:Po co ta parametryzacja w ogóle?
\(\displaystyle{ \int \limits_U \omega}\)
można liczyć tak jak zwykłą całkę, ale można też sparametryzować, jeśli chcemy uprościć obszar całkowania. Jeśli natomiast mamy rozmaitość \(\displaystyle{ n}\)-wymiarową \(\displaystyle{ M^n \subseteq \RR^m}\), gdzie \(\displaystyle{ n < m}\), i \(\displaystyle{ n}\)-formę \(\displaystyle{ \omega \in \Omega^n(\RR^m)}\), to nie ma wyboru - trzeba sparametryzować zbiorem otwartym \(\displaystyle{ U \subseteq \RR^n}\), bo taka jest definicja.
Do parametryzowania lepiej użyć innych zmiennych, żeby się nie myliły, np. \(\displaystyle{ s}\) i \(\displaystyle{ t}\). Poza tym w obecnej postaci zadanie nie ma sensu, bo \(\displaystyle{ 2}\)-formy nie można całkować po trójwymiarowej rozmaitości. Może zbiór miał być inny?max123321 pisze:No dobra niech będzie, że trzeba. No to parametryzuje tak: \(\displaystyle{ x=x,y=(1-\sin x)(\cos x),z=(1-\sin x)(\sin x)}\) i co dalej z tym?
\(\displaystyle{ \left\{ (x, y, z) \in \RR^3 : y^2 + z^2 = (1 - \sin x)^2, 0 < x < \frac{\pi}{4} \right\}}\)
max123321 pisze:Co to jest "pull back"-owanie?
Kod: Zaznacz cały
https://www.mimuw.edu.pl/~pawelst/am2/Analiza_Matematyczna_2/Notatki_files/skrypt-amII-05-01-2016.pdf#page=177
-
- Użytkownik
- Posty: 3388
- Rejestracja: 26 maja 2016, o 01:25
- Płeć: Mężczyzna
- Lokalizacja: Kraków
- Podziękował: 975 razy
- Pomógł: 3 razy
Re: 2-forma różcznikowa
Dzięki Dasio, Ty to masz łeb.
Czyli w przypadku tego zadania to nie mamy wyboru, trzeba parametryzować tak? A możesz przytoczyć o jaką definicję chodzi?
Tak, tak oczywiście mój błąd, przepraszam. Zbiór jest taki jak napisałeś jedynie orientacja tego zbioru jest orientacją dziedziczoną brzegu obszaru \(\displaystyle{ S}\) co ja napisałem na górze mającego standardową orientację \(\displaystyle{ \RR^3}\).
Dasio11 pisze:Jeśli dany jest otwarty podzbiór \(\displaystyle{ U \subseteq \RR^n}\) i \(\displaystyle{ n}\)-forma \(\displaystyle{ \omega \in \Omega^n(U)}\), to całkę
\(\displaystyle{ \int \limits_U \omega}\)
można liczyć tak jak zwykłą całkę, ale można też sparametryzować, jeśli chcemy uprościć obszar całkowania. Jeśli natomiast mamy rozmaitość \(\displaystyle{ n}\)-wymiarową \(\displaystyle{ M^n \subseteq \RR^m}\), gdzie \(\displaystyle{ n < m}\), i \(\displaystyle{ n}\)-formę \(\displaystyle{ \omega \in \Omega^n(\RR^m)}\), to nie ma wyboru - trzeba sparametryzować zbiorem otwartym \(\displaystyle{ U \subseteq \RR^n}\), bo taka jest definicja.
Czyli w przypadku tego zadania to nie mamy wyboru, trzeba parametryzować tak? A możesz przytoczyć o jaką definicję chodzi?
Dasio11 pisze:Do parametryzowania lepiej użyć innych zmiennych, żeby się nie myliły, np. \(\displaystyle{ s}\) i \(\displaystyle{ t}\). Poza tym w obecnej postaci zadanie nie ma sensu, bo \(\displaystyle{ 2}\)-formy nie można całkować po trójwymiarowej rozmaitości. Może zbiór miał być inny?
\(\displaystyle{ \left\{ (x, y, z) \in \RR^3 : y^2 + z^2 = (1 - \sin x)^2, 0 < x < \frac{\pi}{4} \right\}}\)
Tak, tak oczywiście mój błąd, przepraszam. Zbiór jest taki jak napisałeś jedynie orientacja tego zbioru jest orientacją dziedziczoną brzegu obszaru \(\displaystyle{ S}\) co ja napisałem na górze mającego standardową orientację \(\displaystyle{ \RR^3}\).