Analiza matematyczna 2/Ćwiczenia 12: Całka krzwoliniowa. Twierdzenie Greena: Różnice pomiędzy wersjami
m Zastępowanie tekstu - "\aligned" na "\begin{align}" |
m Zastępowanie tekstu – „,↵</math>” na „</math>,” |
||
(Nie pokazano 11 pośrednich wersji utworzonych przez tego samego użytkownika) | |||
Linia 5: | Linia 5: | ||
Policzyć | Policzyć | ||
<center><math> | <center><math>\int\limits_C ydx+2x dy</math>,</center> | ||
</math></center> | |||
gdzie <math> | gdzie <math>C</math> jest łukiem cykloidy danej | ||
parametrycznie: | parametrycznie: | ||
<center><math> | <center><math>x=t-\sin t, \ y=1-\cos t, \ t\in [0, 2\pi]</math></center> | ||
</math></center> | |||
}} | }} | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | ||
[[File:AM2.M12.C.R01.mp4|253x253px|thumb|right|Cykloida]] | |||
Parametryzację krzywej już mamy daną, | Parametryzację krzywej już mamy daną, | ||
wystarczy podstawić do wzoru.<br> | wystarczy podstawić do wzoru.<br> | ||
Linia 31: | Linia 26: | ||
<center> | <center> | ||
<math> | <math>\begin{align} \int\limits_C ydx+2x dy | ||
&= | &= | ||
\int\limits_0^{2\pi}(1-\cos t)(t-\sin t)'+2(t-\sin | |||
t)(1-\cos t)' \ dt\\ | t)(1-\cos t)' \ dt\\ | ||
&= | &= | ||
\int\limits_0^{2\pi}(1-\cos t)^2+2(t-\sin t)\sin t \ dt\\ | |||
&= | &= | ||
\int\limits_0^{2\pi}-2\cos t+\cos^2 t+\cos 2t+2t\sin t\\ | |||
&= | &= | ||
\frac{1}{2}t+\frac{3}{2}\cos t\sin t-2t\cos | \frac{1}{2}t+\frac{3}{2}\cos t\sin t-2t\cos | ||
Linia 53: | Linia 48: | ||
<center> | <center> | ||
<math> | <math>\int\limits_K (x+y)dx+y^2 dy</math>, | ||
</math> | |||
</center> | </center> | ||
gdzie <math> | gdzie <math>K</math> jest kwadratem o wierzchołkach | ||
w <math> | w <math>(-1,-1), (1,-1), (1,1), (-1,1)</math> obieganym przeciwnie do ruchu | ||
wskazówek zegara. | wskazówek zegara. | ||
}} | }} | ||
Linia 67: | Linia 61: | ||
skorzystanie z definicji. Drugi sposób, to zastosowanie | skorzystanie z definicji. Drugi sposób, to zastosowanie | ||
twierdzenia Greena - nasza krzywa jest krzywą zamkniętą i | twierdzenia Greena - nasza krzywa jest krzywą zamkniętą i | ||
zorientowaną dodatnio, funkcje <math> | zorientowaną dodatnio, funkcje <math>P(x,y)=x+y</math> i <math>Q(x, y)=y^2</math> są | ||
ciągłe i mają ciągłe pochodne cząstkowe, więc twierdzenie Greena | ciągłe i mają ciągłe pochodne cząstkowe, więc twierdzenie Greena | ||
można stosować. | można stosować. | ||
Linia 75: | Linia 69: | ||
'''Sposób I''': Oznaczmy boki kwadratu. Niech<br> | '''Sposób I''': Oznaczmy boki kwadratu. Niech<br> | ||
<math> | <math>B_1</math> będzie odcinkiem łączącym <math>(-1,-1)</math> z <math>(1,-1)</math>;<br> | ||
<math> | <math>B_2</math> będzie odcinkiem łączącym <math>(1,-1)</math> z <math>(1,1)</math>;<br> | ||
<math> | <math>B_3</math> będzie odcinkiem łączącym <math>(1,1)</math> z <math>(-1,1)</math>;<br> | ||
<math> | <math>B_4</math> będzie odcinkiem łączącym <math>(-1,1)</math> z <math>(-1,-1)</math>. | ||
[[File:Am2.12.5.svg|375x375px|thumb|left|Orientacja krzywej z ćwiczenia 12.2.]] | |||
Zwróćmy uwagę na to, że musimy tak dobrać parametryzację | Zwróćmy uwagę na to, że musimy tak dobrać parametryzację | ||
odcinków <math> | odcinków <math>B_1,\ldots,B_4</math>, by ta parametryzacja dawała orientację | ||
zgodną z orientacją <math> | zgodną z orientacją <math>K</math> zobacz rysunek.<br> | ||
Wypiszmy zatem parametryzacje tych odcinków. Dla <math> | Wypiszmy zatem parametryzacje tych odcinków. Dla <math>B_1,\ldots,B_4</math> | ||
mamy odpowiednio: | mamy odpowiednio: | ||
<center> | <center> | ||
<math> | <math>\begin{align} | ||
\gamma_1(t) &= (t,-1), t\in[-1,1],\\ | \gamma_1(t) &= (t,-1), t\in[-1,1],\\ | ||
\gamma_2(t) &= (1,t), t\in[-1,1],\\ | \gamma_2(t) &= (1,t), t\in[-1,1],\\ | ||
Linia 102: | Linia 93: | ||
<center> | <center> | ||
<math> | <math>\begin{align} & | ||
\int\limits_K (x+y)dx+y^2 dy\\ | |||
&= | &= | ||
\int\limits_{B_1} (x+y)dx+y^2 dy+\int\limits_{B_2} | |||
(x+y)dx+y^2 dy+ | (x+y)dx+y^2 dy+\int\limits_{B_3} (x+y)dx+y^2 dy+\int\limits_{B_4} (x+y)dx+y^2 | ||
dy\\ | dy\\ | ||
&= | &= | ||
\int\limits_{-1}^1(t-1)dt+\int\limits_{-1}^1t^2dt+\int\limits_{-1}^1-(-1+t)dt+\int\limits_{-1}^1-t^2dt | |||
= | |||
2 | 2\int\limits_{-1}^1(t-1)dt | ||
= | |||
-4. | -4. | ||
\end{align} | \end{align} | ||
Linia 119: | Linia 110: | ||
'''Sposób II.''' | '''Sposób II.''' | ||
Skorzystajmy z twierdzenia Greena. Oznaczmy przez <math> | Skorzystajmy z twierdzenia Greena. Oznaczmy przez <math>D</math> | ||
wnętrze kwadratu ograniczonego krzywą <math> | wnętrze kwadratu ograniczonego krzywą <math>K</math>. | ||
Policzmy najpierw | Policzmy najpierw | ||
<center><math> | <center><math>\frac{\partial Q}{\partial x} -\frac{\partial P}{\partial y} | ||
= | |||
\frac{\partial (y^2)}{\partial x}-\frac{\partial | \frac{\partial (y^2)}{\partial x}-\frac{\partial | ||
(x+y)}{\partial y} | (x+y)}{\partial y} | ||
= | |||
-1 | -1</math></center> | ||
</math></center> | |||
Dostajemy zatem: | Dostajemy zatem: | ||
<center><math> | <center><math>\int\limits_K (x+y)dx+y^2 dy | ||
= | |||
\iint\limits_D-1 dxdy | \iint\limits_D-1 dxdy | ||
= | |||
- </math> (pole kwadratu o boku <math> | -</math> (pole kwadratu o boku <math>2</math>) <math> | ||
= | |||
-4 | -4</math></center> | ||
</math></center> | |||
</div></div> | </div></div> | ||
Linia 148: | Linia 137: | ||
W pewnym polu sił składowe pola wynoszą | W pewnym polu sił składowe pola wynoszą | ||
<center><math> | <center><math>P(x,y) | ||
= | |||
3x^2y+2xy^2+1, \quad | 3x^2y+2xy^2+1, \quad | ||
Q(x,y) | Q(x,y) | ||
= | |||
x^3+2x^2y+1 | x^3+2x^2y+1</math></center> | ||
</math></center> | |||
Policzyć pracę | Policzyć pracę | ||
potrzebną do przesunięcia punktu materialnego wzdłuż krzywej <math> | potrzebną do przesunięcia punktu materialnego wzdłuż krzywej <math>K</math> | ||
łączącej punkt <math> | łączącej punkt <math>(0,0)</math> z punktem <math>(1,1)</math>, danej wzorem <math>y=x^{20}</math>. | ||
}} | }} | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | ||
Zadanie można zrobić na dwa sposoby. Pierwszy sposób to | Zadanie można zrobić na dwa sposoby. Pierwszy sposób to | ||
sparametryzowanie krzywej: <math> | sparametryzowanie krzywej: <math>x=t, y=t^{20}, t\in[0,1]</math> i wstawienie | ||
do wzoru. Inny pomysł to zauważenie, że dane pole sił jest polem | do wzoru. Inny pomysł to zauważenie, że dane pole sił jest polem | ||
potencjalnym, zatem obliczana praca nie zależy od drogi. Można | potencjalnym, zatem obliczana praca nie zależy od drogi. Można | ||
więc wybrać dowolną drogę całkowania, najlepiej odcinek łączący | więc wybrać dowolną drogę całkowania, najlepiej odcinek łączący | ||
punkt <math> | punkt <math>(0,0)</math> z punktem <math>(1,1)</math>. | ||
</div></div> | </div></div> | ||
Linia 173: | Linia 161: | ||
'''Sposób I.''' | '''Sposób I.''' | ||
Parametryzujemy daną krzywą: | Parametryzujemy daną krzywą: | ||
<math> | <math>x=t, y=t^{20}, t\in[0,1]</math> i wstawiamy do wzoru na pracę | ||
<center><math> | <center><math>\begin{align} | ||
W | W | ||
&= | &= | ||
\int\limits_K(3x^2y+2xy^2+1)dx+(x^3+2x^2y+1)dy\\ | |||
&= | &= | ||
\int\limits_0^1(3t^2t^{20}+t^{40}2t+1)+(t^3+2t^2t^{20}+1)20t^{19} dt\\ | |||
&= | &= | ||
\int\limits_0^1 23t^{22}+42t^{41}+20t^{19}+1 \ dt | |||
= | |||
t^{23}+t^{42}+t^{20}+t\bigg|_0^1 | t^{23}+t^{42}+t^{20}+t\bigg|_0^1 | ||
= | |||
4. | 4. | ||
\end{align}</math></center> | \end{align}</math></center> | ||
'''Sposób II.''' | '''Sposób II.''' | ||
Zauważmy, że dane pole jest potencjalne w <math> | Zauważmy, że dane pole jest potencjalne w <math>\mathbb{R}^2</math>, bo | ||
<center><math> | <center><math>\frac{\partial Q}{\partial x}=\frac{\partial P}{\partial | ||
y} | y} | ||
= | |||
3x^2+4xy | 3x^2+4xy</math>,</center> | ||
</math></center> | |||
a zatem całka nie zależy od drogi całkowania. | a zatem całka nie zależy od drogi całkowania. | ||
Zamiast krzywej <math> | Zamiast krzywej <math>K</math> możemy wziąć zatem odcinek <math>T</math> łączący | ||
punkt <math> | punkt <math>(0,0)</math> z punktem <math>(1,1)</math> sparametryzowany następująco: | ||
<center><math> | <center><math>x=t, | ||
y=t, | y=t, | ||
t\in[0,1] | t\in[0,1]</math></center> | ||
</math></center> | |||
Licząc pracę, dostajemy: | Licząc pracę, dostajemy: | ||
<center><math> | <center><math>\begin{align} | ||
W | W | ||
&= | &= | ||
\int\limits_T(3x^2y+2xy^2+1)dx+(x^3+2x^2y+1)dy | |||
= | |||
\int\limits_0^13t^3+2t^3+1+t^3+2t^3+1\ dt\\ | |||
&= | &= | ||
\int\limits_0^18t^3+2\ dt | |||
= | |||
4. | 4. | ||
\end{align}</math></center> | \end{align}</math></center> | ||
Linia 230: | Linia 216: | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | ||
Jak wiemy z wykładu, | Jak wiemy z wykładu, | ||
potencjał pola to taka funkcja <math> | potencjał pola to taka funkcja <math>\varrho</math>, że | ||
<center><math> | <center><math>(P(x,y),Q(x,y)) | ||
= | |||
\left(\frac{\partial \varrho}{\partial x}(x,y), | \left(\frac{\partial \varrho}{\partial x}(x,y), | ||
\frac{\partial \varrho}{\partial y}(x,y)\right) | \frac{\partial \varrho}{\partial y}(x,y)\right)</math></center> | ||
</math></center> | |||
Można spróbować ją odgadnąć. | Można spróbować ją odgadnąć. | ||
Linia 242: | Linia 227: | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
Szukamy funkcji <math> | Szukamy funkcji <math>\varrho :\mathbb{R}^2\to \mathbb{R}</math> takiej, że | ||
<center><math> | <center><math>3x^2y+2xy^2+1 | ||
= | |||
\frac{\partial \varrho}{\partial x}(x,y) | \frac{\partial \varrho}{\partial x}(x,y) | ||
</math></center> | </math></center> | ||
Linia 251: | Linia 236: | ||
i | i | ||
<center><math> | <center><math>x^3+2x^2y+1 | ||
= | |||
\frac{\partial \varrho}{\partial y}(x,y) | \frac{\partial \varrho}{\partial y}(x,y)</math></center> | ||
</math></center> | |||
Policzmy | Policzmy | ||
całkę po <math> | całkę po <math>x</math> z obu stron pierwszej równości | ||
<center><math> | <center><math>\int \big(3x^2y+2xy^2+1\big)dx | ||
= | |||
\int \frac{\partial \varrho}{\partial x}(x,y)dx | \int \frac{\partial \varrho}{\partial x}(x,y)dx</math>,</center> | ||
</math></center> | |||
dostaniemy | dostaniemy | ||
<center><math> | <center><math>\varrho(x,y) | ||
= | |||
x^3y+x^2y^2+x+g(y) | x^3y+x^2y^2+x+g(y)</math>,</center> | ||
</math></center> | |||
gdzie <math> | gdzie <math>g</math> jest pewną | ||
różniczkowalną funkcją zmiennej <math> | różniczkowalną funkcją zmiennej <math>y</math>. (Dla sprawdzenia można | ||
policzyć pochodną po <math> | policzyć pochodną po <math>x</math> z obu stron tej równości). Aby znaleźć | ||
<math> | <math>g</math>, policzmy pochodną po <math>y</math> | ||
<center><math> | <center><math>\frac{\partial \varrho(x,y)}{\partial y} | ||
= | |||
\frac{\partial(x^3y+x^2y^2+y+g(y))}{\partial y} | \frac{\partial(x^3y+x^2y^2+y+g(y))}{\partial y} | ||
= | |||
x^3+2x^2y+1+g'(y) | x^3+2x^2y+1+g'(y)</math>,</center> | ||
</math></center> | |||
a skoro mamy mieć | a skoro mamy mieć | ||
<center><math> | <center><math>x^3+2x^2y+1 | ||
= | |||
\frac{\partial \varrho}{\partial y}(x,y) | \frac{\partial \varrho}{\partial y}(x,y)</math>,</center> | ||
</math></center> | |||
to musi być | to musi być | ||
<center><math> | <center><math>g'(y) | ||
= | |||
0 | 0</math>,</center> | ||
</math></center> | |||
czyli | czyli | ||
<center><math> | <center><math>g(y) | ||
= | |||
</math> const. </center> | </math> const. </center> | ||
Linia 306: | Linia 285: | ||
przykład: | przykład: | ||
<center><math> | <center><math>\varrho(x,y) | ||
= | |||
x^3y+x^2y^2+y+x | x^3y+x^2y^2+y+x | ||
</math></center> | </math></center> | ||
(wzięliśmy <math> | (wzięliśmy <math>g(y)\equiv 0</math>). | ||
Zauważmy, że policzona w poprzednim zadaniu całka | Zauważmy, że policzona w poprzednim zadaniu całka | ||
<center><math> | <center><math>\int\limits_T(3x^2y+2xy^2+1)dx+(x^3+2x^2y+1)dy | ||
= | |||
4 | 4 | ||
= | |||
\varrho(1,1)-\varrho(0,0) | \varrho(1,1)-\varrho(0,0)</math>,</center> | ||
</math></center> | |||
co obrazuje ogólne twierdzenie, że dla pola potencjalnego całka | co obrazuje ogólne twierdzenie, że dla pola potencjalnego całka | ||
Linia 331: | Linia 309: | ||
Korzystając z twierdzenia Greena, policzyć | Korzystając z twierdzenia Greena, policzyć | ||
<center><math> | <center><math>\int\limits_K -yx^2dx+xy^2dy</math>,</center> | ||
</math></center> | |||
gdzie <math> | gdzie <math>K</math> jest okręgiem | ||
środku w <math> | środku w <math>(0,0)</math> i promieniu <math>1</math>. | ||
}} | }} | ||
Linia 345: | Linia 322: | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
Korzystamy z | Korzystamy z | ||
twierdzenia Greena. Niech <math> | twierdzenia Greena. Niech <math>D</math> oznacza koło o promieniu <math>1:</math> | ||
<center><math> | <center><math>\begin{align} | ||
\int\limits_K -yx^2dx+xy^2dy | |||
&= | &= | ||
\iint\limits_D\frac{\partial(xy^2)}{\partial x}-\frac{\partial(-yx^2)}{\partial y} \ dxdy | \iint\limits_D\frac{\partial(xy^2)}{\partial x}-\frac{\partial(-yx^2)}{\partial y} \ dxdy | ||
= | |||
\iint\limits_D\left(x^2+y^2\right) dxdy\\ | \iint\limits_D\left(x^2+y^2\right) dxdy\\ | ||
&= | &= | ||
\int\limits_0^{2\pi}d\varphi\int\limits_0^1 r^3dr=\frac{\pi}{2} | |||
\end{align}</math></center> | \end{align}</math></center> | ||
Linia 365: | Linia 342: | ||
Policzyć całkę | Policzyć całkę | ||
<center><math> | <center><math>\int\limits_K(e^x+e^y-y )dx+(xe^y)dy</math>,</center> | ||
</math></center> | |||
gdzie <math> | gdzie <math>K</math> jest wykresem funkcji | ||
<math> | <math>y=\sin x</math>, dla <math>x\in [0,\pi]</math>. | ||
}} | }} | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | ||
Krzywa <math> | Krzywa <math>K</math> nie jest krzywą zamkniętą, można jednak | ||
"dokleić" do niej odcinek <math> | "dokleić" do niej odcinek <math>[0,\pi]</math> - wtedy krzywa będzie | ||
ograniczać pewien obszar <math> | ograniczać pewien obszar <math>D</math>. Teraz można skorzystać z | ||
twierdzenia Greena. | twierdzenia Greena. | ||
</div></div> | </div></div> | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
[[File:Am2.12.6.svg|375x375px|thumb|left|Obszar <math>D</math> ograniczony wykresem funkcji <math>\sin</math> oraz osią <math>Ox</math>]] | |||
Krzywą <math>K</math> oczywiście możemy | |||
sparametryzować <math>x=t, y=\sin t, t\in [0,\pi]</math>. Licząc całkę, | |||
Krzywą <math> | |||
sparametryzować <math> | |||
dostajemy: | dostajemy: | ||
<center> | <center> | ||
<math> | <math>\int\limits_K(e^x+e^y-y )dx+(xe^y)dy | ||
= | |||
\int\limits_0^{\pi}(e^t+e^{\sin t} - \sin | |||
t+te^{\sin t}\cos t) dt | t+te^{\sin t}\cos t) dt</math> | ||
</math> | |||
</center> | </center> | ||
Znalezienie pierwotnej z <math> | Znalezienie pierwotnej z <math>e^{\sin t}</math> | ||
albo z <math> | albo z <math>te^{\sin t}\cos t</math> przekracza nasze możliwości. | ||
Spróbujmy zatem wykorzystać twierdzenie Greena. Skoro krzywa <math> | Spróbujmy zatem wykorzystać twierdzenie Greena. Skoro krzywa <math>K</math> | ||
nie jest zamknięta, musimy najpierw "dokleić" do niej inną krzywą, | nie jest zamknięta, musimy najpierw "dokleić" do niej inną krzywą, | ||
tak by razem ograniczały jakiś obszar. Weźmy zatem jako tą | tak by razem ograniczały jakiś obszar. Weźmy zatem jako tą | ||
dodatkową krzywą odcinek <math> | dodatkową krzywą odcinek <math>T:=[0, \pi]</math>. Obszar ograniczony | ||
odcinkiem i wykresem funkcji <math> | odcinkiem i wykresem funkcji <math>\sin x</math> nazwiemy | ||
<math> | <math>D</math>.<br> | ||
Aby zastosować | Aby zastosować | ||
do tego obszaru twierdzenie Greena, musimy mieć <math> | do tego obszaru twierdzenie Greena, musimy mieć <math>\partial D</math> | ||
zorientowany dodatnio, a zatem krzywą <math> | zorientowany dodatnio, a zatem krzywą <math>K</math> będziemy teraz | ||
przebiegać w kierunku od <math> | przebiegać w kierunku od <math>x=\pi</math> do <math>x=0</math>, przeciwnym do zadanego. | ||
Brzeg <math> | Brzeg <math>D</math> możemy więc zapisać jako <math>\partial D=-K+T</math>. Mamy zatem: | ||
<center> | <center> | ||
<math> | <math>\int\limits_{\partial D}(e^x+e^y-y )dx+(xe^y)dy | ||
= | |||
\int\limits_{-K}(e^x+e^y-y)dx+(xe^y)dy+\int\limits_T(e^x+e^y-y )dx+(xe^y)dy</math> | |||
</math> | |||
</center> | </center> | ||
Linia 422: | Linia 393: | ||
<center> | <center> | ||
<math> | <math>\begin{align} \int\limits_{\partial D}(e^x+e^y-y)dx+(xe^y)dy | ||
&= | &= | ||
\iint\limits_D\left(\frac{\partial (xe^y)}{\partial x}-\frac{\partial (e^x+e^y-y )}{\partial | \iint\limits_D\left(\frac{\partial (xe^y)}{\partial x}-\frac{\partial (e^x+e^y-y )}{\partial | ||
Linia 428: | Linia 399: | ||
&= | &= | ||
\iint\limits_D 1 \ dxdy | \iint\limits_D 1 \ dxdy | ||
= | |||
\int\limits_0^{\pi}dx\int\limits_0^{\sin x}dy | |||
= | |||
\int\limits_0^{\pi}\sin x dx=2. | |||
\end{align} | \end{align} | ||
</math> | </math> | ||
Linia 439: | Linia 410: | ||
<center> | <center> | ||
<math> | <math>\int\limits_T(e^x+e^y-y )dx+(xe^y)dy</math> | ||
</math> | |||
</center> | </center> | ||
Parametryzując <math> | Parametryzując <math>T</math> jako <math>x=t, y=0, t\in [0, \pi]</math>, mamy: | ||
<center> | <center> | ||
<math> | <math>\int\limits_T(e^x+e^y-y )dx+(xe^y)dy | ||
= | |||
\int\limits_0^{\pi}e^t+1dt | |||
= | |||
e^{\pi}+\pi-1 | e^{\pi}+\pi-1</math> | ||
</math> | |||
</center> | </center> | ||
Linia 457: | Linia 426: | ||
<center> | <center> | ||
<math> | <math>2 | ||
= | |||
\int\limits_{\partial D}(e^x+e^y-y )dx+(xe^y)dy | |||
= | |||
\int\limits_{-K}((e^x+e^y-y)dx+(xe^y)dy)+e^{\pi}+\pi-1</math> | |||
</math> | |||
</center> | </center> | ||
A zatem | A zatem | ||
<center><math> | <center><math>\int\limits_{K}(e^x+e^y-y )dx+(xe^y)dy | ||
= | |||
- | -\int\limits_{-K}(e^x+e^y-y)dx+(xe^y)dy=e^{\pi}+\pi-3</math></center> | ||
</math></center> | |||
</div></div> | </div></div> | ||
Linia 478: | Linia 445: | ||
Policzyć całkę krzywoliniową: | Policzyć całkę krzywoliniową: | ||
<center><math> | <center><math>\int\limits_K (e^{x}\sin y)dx+(e^{x}\cos y)dy</math>,</center> | ||
</math></center> | |||
gdzie <math> | gdzie <math>K</math> jest parabolą | ||
<math> | <math>y=-x^2+1</math> pomiędzy punktami <math>(-1,0)</math> a <math>(1,0)</math>. | ||
}} | }} | ||
Linia 491: | Linia 457: | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
[[File:Am2.12.7.svg|375x375px|thumb|left|Obszar <math>D</math> ograniczony wykresem paraboli <math>y=-x^2+1</math> oraz osią <math>Ox</math>]] | |||
Od razu widać, że policzenie całki | Od razu widać, że policzenie całki | ||
przy pomocy sparametryzowania krzywej będzie trudne. Postaramy sie | przy pomocy sparametryzowania krzywej będzie trudne. Postaramy sie | ||
skorzystać z twierdzenia Greena. Aby dostać krzywą zamkniętą, do | skorzystać z twierdzenia Greena. Aby dostać krzywą zamkniętą, do | ||
krzywej <math> | krzywej <math>K</math> "doklejamy" odcinek <math>T=[-1,1]</math>. Otrzymany obszar | ||
oznaczamy przez <math> | oznaczamy przez <math>D</math>.<br> | ||
Brzeg <math> | Brzeg <math>D</math> ma być zorientowany dodatnio, zatem na krzywej <math>K</math> | ||
musimy wziąć parametryzację dającą orientację przeciwną, | musimy wziąć parametryzację dającą orientację przeciwną, | ||
<math> | <math>\partial D=-K+T</math>. Mamy zatem: | ||
<center> | <center> | ||
<math> | <math>\int\limits_{\partial D} (e^{x}\sin y)dx+(e^{x}\cos y)dy | ||
= | |||
\iint\limits_D\frac{\partial(e^{x}\cos y)}{\partial x}-\frac{\partial(e^{x}\sin y)}{\partial y}\ dxdy | \iint\limits_D\frac{\partial(e^{x}\cos y)}{\partial x}-\frac{\partial(e^{x}\sin y)}{\partial y}\ dxdy | ||
\ = | \ = | ||
\iint\limits_D0dxdy | \iint\limits_D0dxdy | ||
= | |||
0 | 0</math> | ||
</math> | |||
</center> | </center> | ||
Linia 519: | Linia 481: | ||
<center> | <center> | ||
<math> | <math>\int\limits_{\partial D} (e^{x}\sin y)dx+(e^{x}\cos y)dy | ||
= | |||
\int\limits_K (e^{x}\sin y)dx+(e^{x}\cos y)dy+\int\limits_{T} (e^{x}\sin | |||
y)dx+(e^{x}\cos y)dy | y)dx+(e^{x}\cos y)dy</math> | ||
</math> | |||
</center> | </center> | ||
Biorąc parametryzację odcinka <math> | Biorąc parametryzację odcinka <math>T</math>: <math>x=t, y=0, t\in[-1,1]</math>, | ||
dostajemy od razu | dostajemy od razu | ||
<center> | <center> | ||
<math> | <math>\int\limits_{T} (e^{x}\sin y)dx+(e^{x}\cos y)dy | ||
= | |||
\int\limits_{-1}^1 | |||
\bigg((e^t\cdot 0)+(e^t\cos 0)\cdot 0\bigg)\,dt | \bigg((e^t\cdot 0)+(e^t\cos 0)\cdot 0\bigg)\,dt | ||
= | |||
0 | 0</math> | ||
</math> | |||
</center> | </center> | ||
Linia 542: | Linia 502: | ||
<center> | <center> | ||
<math> | <math>\int\limits_K (e^{x}\sin y)dx-(e^{x}\cos y)dy | ||
= | |||
0 | 0</math> | ||
</math> | |||
</center> | </center> | ||
Linia 553: | Linia 512: | ||
Za pomocą całki krzywoliniowej skierowanej | Za pomocą całki krzywoliniowej skierowanej | ||
obliczyć pole ograniczone elipsą <math> | obliczyć pole ograniczone elipsą <math>E</math> | ||
<center> | <center> | ||
<math> | <math>\frac{x^2}{a^2}+\frac{y^2}{b^2} | ||
= | |||
1 | 1</math>, | ||
</math> | |||
</center> | </center> | ||
gdzie <math> | gdzie <math>a, b>0</math> są dane. | ||
}} | }} | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | ||
[[File:AM2.M12.C.R05.mp4|253x253px|thumb|right|Elipsa]] | |||
Parametryzacja elipsy to <math> | Parametryzacja elipsy to <math>x=a\cos t, y=b\sin t, t\in[0,2\pi]</math>.<br> | ||
</div></div> | </div></div> | ||
Linia 579: | Linia 534: | ||
<center> | <center> | ||
<math> | <math>x=a\cos t, y=b\sin t, \ t\in[0,2\pi]</math> | ||
</math> | |||
</center> | </center> | ||
Jak wiemy z wykładu, pole powierzchni obszaru | Jak wiemy z wykładu, pole powierzchni obszaru | ||
ograniczonego krzywą <math> | ograniczonego krzywą <math>E</math> wyraża się wzorem: | ||
<center> | <center> | ||
<math> | <math>|D| | ||
= | |||
\oint_E xdy | \oint_E xdy</math> | ||
</math> | |||
</center> | </center> | ||
Linia 596: | Linia 549: | ||
<center> | <center> | ||
<math> | <math>|D| | ||
= | |||
\oint_E xdy | \oint_E xdy | ||
= | |||
\int\limits_0^{2\pi}a\cos t (b\sin t)'dt | |||
= | |||
ab | ab\int\limits_0^{2\pi}\cos^2t\ dt | ||
= | |||
ab\left(\frac{t}{2}+\frac{1}{4}\sin 2t\right)\bigg|_0^{2\pi} | ab\left(\frac{t}{2}+\frac{1}{4}\sin 2t\right)\bigg|_0^{2\pi} | ||
= | |||
ab\pi | ab\pi</math> | ||
</math> | |||
</center> | </center> | ||
Linia 615: | Linia 567: | ||
Za pomocą całki krzywoliniowej | Za pomocą całki krzywoliniowej | ||
skierowanej obliczyć pole ograniczone asteroidą <math> | skierowanej obliczyć pole ograniczone asteroidą <math>A</math> | ||
<center> | <center> | ||
<math> | <math>x^{\frac{2}{3}}+y^{\frac{2}{3}} | ||
= | |||
a^{\frac{2}{3}} | a^{\frac{2}{3}}</math>, | ||
</math> | |||
</center> | </center> | ||
gdzie <math> | gdzie <math>a>0</math> | ||
jest dane. | jest dane. | ||
}} | }} | ||
Linia 630: | Linia 581: | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | ||
[[File:Am2.12.8.svg|375x375px|thumb|left|Asteroida]] | |||
Parametryzacja | Parametryzacja | ||
asteroidy to <math> | asteroidy to <math>x=a\cos^3t, y=a\sin^3t, t\in [0, 2\pi]</math>.<br> | ||
</div></div> | </div></div> | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
Już wiemy, że parametryzacja asteroidy | Już wiemy, że parametryzacja asteroidy | ||
to <math> | to <math>x=a\cos^3t, y=a\sin^3t, t\in [0, 2\pi]</math>, zastosujmy zatem wzór | ||
na pole: | na pole: | ||
<center> | <center> | ||
<math> | <math>\begin{align} | ||
|D| | |D| | ||
&= | &= | ||
\oint_A x\,dy | \oint_A x\,dy | ||
= | |||
\int\limits_0^{2\pi}a\cos^3t(a\sin^3t)'\,dt | |||
= | |||
3a^2 | 3a^2\int\limits_0^{2\pi}\cos^3t(\cos t\sin^2t)\,dt\\ | ||
&= | &= | ||
3a^2 | 3a^2\int\limits_0^{2\pi}\cos^4t\sin^2t\,dt | ||
= | |||
3a^2 | 3a^2\int\limits_0^{2\pi}\big(\cos^4t-\cos^6t\big)\,dt. | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
Linia 663: | Linia 611: | ||
<center> | <center> | ||
<math> | <math>\begin{align} | ||
\int\cos^4 t dt | \int\cos^4 t dt | ||
&= | &= | ||
Linia 676: | Linia 624: | ||
</center> | </center> | ||
(wzór na <math> | (wzór na <math>\int \cos^nt\,dt</math> | ||
można wyprowadzić rekurencyjnie) | można wyprowadzić rekurencyjnie) | ||
zatem dostajemy: | zatem dostajemy: | ||
<center> | <center> | ||
<math> | <math>3a^2\int\limits_0^{2\pi}\cos^4t-\cos^6t\ dt | ||
= | |||
3a^2\left(\frac{t}{16}+ \frac{1}{64} \sin 2t - \frac{1}{64} \sin | 3a^2\left(\frac{t}{16}+ \frac{1}{64} \sin 2t - \frac{1}{64} \sin | ||
4t-\frac{1}{192} \sin 6t | 4t-\frac{1}{192} \sin 6t | ||
\right)\bigg|_0^{2\pi} | \right)\bigg|_0^{2\pi} | ||
= | |||
\frac{3a^2}{8}\pi | \frac{3a^2}{8}\pi</math> | ||
</math> | |||
</center> | </center> | ||
</div></div> | </div></div> |
Aktualna wersja na dzień 21:43, 11 wrz 2023
Całka krzywoliniowa. Twierdzenie Greena
Ćwiczenie 12.1.
Policzyć
gdzie jest łukiem cykloidy danej parametrycznie:
Ćwiczenie 12.2.
Policzyć
,
gdzie jest kwadratem o wierzchołkach w obieganym przeciwnie do ruchu wskazówek zegara.
Ćwiczenie 12.3.
W pewnym polu sił składowe pola wynoszą
Policzyć pracę potrzebną do przesunięcia punktu materialnego wzdłuż krzywej łączącej punkt z punktem , danej wzorem .
Ćwiczenie 12.4.
Znaleźć (lub odgadnąć) potencjał dla pola sił z ćwiczenia 12.3.
Ćwiczenie 12.5.
Korzystając z twierdzenia Greena, policzyć
gdzie jest okręgiem środku w i promieniu .
Ćwiczenie 12.6.
Policzyć całkę
gdzie jest wykresem funkcji , dla .
Ćwiczenie 12.7.
Policzyć całkę krzywoliniową:
gdzie jest parabolą pomiędzy punktami a .
Ćwiczenie 12.8.
Za pomocą całki krzywoliniowej skierowanej obliczyć pole ograniczone elipsą
,
gdzie są dane.
Ćwiczenie 12.9.
Za pomocą całki krzywoliniowej skierowanej obliczyć pole ograniczone asteroidą
,
gdzie jest dane.