01MAA4:Kapitola34: Porovnání verzí

Z WikiSkripta FJFI ČVUT v Praze
Přejít na: navigace, hledání
m (Doplnění drobností.)
m
Řádka 65: Řádka 65:
 
\begin{enumerate}[(i)]
 
\begin{enumerate}[(i)]
 
\item $\phi(\alpha)=\phi(\beta)$,
 
\item $\phi(\alpha)=\phi(\beta)$,
\item $\phi$ je na $<\alpha,\beta)$ prostá.
+
\item $\phi$ je na $\left[ \alpha,\beta\right) $ prostá.
 
\end{enumerate}
 
\end{enumerate}
 
\end{define}
 
\end{define}

Verze z 26. 8. 2013, 14:39

PDF [ znovu generovat, výstup z překladu ] Kompletní WikiSkriptum včetně všech podkapitol.
PDF Této kapitoly [ znovu generovat, výstup z překladu ] Přeložení pouze této kaptioly.
ZIPKompletní zdrojový kód včetně obrázků.

Součásti dokumentu 01MAA4

součástakcepopisposlední editacesoubor
Hlavní dokument editovatHlavní stránka dokumentu 01MAA4Nguyebin 24. 1. 201413:14
Řídící stránka editovatDefiniční stránka dokumentu a vložených obrázkůAdmin 7. 9. 201513:46
Header editovatHlavičkový souborNguyebin 24. 1. 201413:28 header.tex
Kapitola0 editovatZnačeníNguyebin 24. 1. 201413:28 preamble.tex
Kapitola15 editovatRegulární zobrazeníKrasejak 7. 9. 201521:32 kapitola15.tex
Kapitola16 editovatImplicitní zobrazeníKubuondr 1. 5. 201708:09 kapitola16.tex
Kapitola17 editovatVarietyKubuondr 4. 3. 201708:48 kapitola17.tex
Kapitola18 editovatVázané extrémyKrasejak 7. 9. 201522:58 kapitola18.tex
Kapitola19 editovatDiferenciální formyKubuondr 12. 3. 201710:53 kapitola19.tex
Kapitola20 editovatKřivkový integrál druhého druhuKubuondr 15. 3. 201721:26 kapitola20.tex
Kapitola21 editovatKřivkový integrál prvního druhuNguyebin 24. 1. 201413:55 kapitola21.tex
Kapitola22 editovatRiemannův integrál jako elementární integrálKubuondr 10. 8. 201810:01 kapitola22.tex
Kapitola23 editovatStupňovité funkceKubuondr 10. 8. 201815:00 kapitola23.tex
Kapitola24 editovatZákladní integrálKubuondr 1. 6. 201710:06 kapitola24.tex
Kapitola25 editovatTřída Lambda plus a L plusKubuondr 2. 4. 201708:14 kapitola25.tex
Kapitola26 editovatTřída Lambda a LKubuondr 11. 8. 201809:16 kapitola26.tex
Kapitola27 editovatLimitní přechodyMazacja2 11. 4. 201620:11 kapitola27.tex
Kapitola28 editovatMěřitelné funkceKubuondr 2. 6. 201708:24 kapitola28.tex
Kapitola29 editovatMěřitelné množinyKubuondr 2. 6. 201708:01 kapitola29.tex
Kapitola30 editovatIntegrál na měřitelné množiněAdmin 1. 8. 201010:04 kapitola30.tex
Kapitola31 editovatVýpočet integráluKubuondr 8. 4. 201708:03 kapitola31.tex
Kapitola33 editovatParametrické integrályKubuondr 2. 6. 201712:38 kapitola33.tex
Kapitola34 editovatNewtonova formuleKrasejak 19. 9. 201500:48 kapitola34.tex
Kapitola39 editovatVnější algebraKubuondr 3. 5. 201720:13 kapitola39.tex
Kapitola35 editovatDivergenční větaKubuondr 3. 6. 201808:22 kapitola35.tex
Kapitola36 editovatKomplexní derivaceKubuondr 31. 5. 201708:27 kapitola36.tex
Kapitola37 editovatHolomorfní funkceKubuondr 31. 5. 201712:57 kapitola37.tex
Kapitola38 editovatLaurentovy řadyKubuondr 5. 6. 201710:01 kapitola38.tex

Vložené soubory

soubornázev souboru pro LaTeX
Image:01MAA4_lauren.pdf 01MAA4_lauren.pdf
Image:01MAA4_draha.pdf 01MAA4_draha.pdf
Image:01MAA4_gamma.pdf 01MAA4_gamma.pdf

Zdrojový kód

%\wikiskriptum{01MAA4}
\section{Newtonova formule v $\R^2$}
 
\begin{define}
Buďte $f,g\in C^{(1)}\la\alpha,\beta\ra$, množinu
$D=\{(x,y)\in\R^2|x\in(\alpha,\beta),\ g(x)<y<f(x)\}$
nazýváme {\bf elementární oblastí typu $x(y)$}.
\end{define}
 
\begin{remark}
Definujeme $\phi=\phi_g\dotp\phi_\beta\dotm\phi_f\dotm\phi_\alpha$.,
kde
\[
\begin{array}{l}
\phi_g(t)=(t,g(t))\quad t\in\la\alpha,\beta\ra\\
\phi_\beta(t)=(\beta,g(\beta)+t(f(\beta)-g(\beta)))\quad t\in\la 0,1\ra\\
\phi_f(t)=(t,f(t))\quad t\in\la\alpha,\beta\ra\\
\phi_\alpha(t)=(\alpha,g(\alpha)+t(f(\alpha)-g(\alpha)))\quad t\in\la 0,1\ra.
\end{array}
\]
\end{remark}
 
\begin{theorem}
Buď $P:\uz{D}\mapsto\R$ reálná funkce spojitá na $\uz{D}$ a třídy
$\c{1}$ na $D$. Pak
\[\int_\phi P\,\d x=-\iint_D\frac{\pd P}{\pd y}\,\d x\d y.\]
\begin{proof}
Z~Fubiniho věty a věty o~derivaci podle parametru
\[
\begin{split}
\int_\phi P\,\d x + 0\d y &=\int_{\phi_g}+\int_{\phi_\beta}
-\int_{\phi_f}-\int_{\phi_\alpha}=
\int_\alpha^\beta(P(t,g(t)),0)(1, g'(t))\,\d t+
\int_0^1(P,0)(0,f(\beta)-g(\beta))\,\d t-\\
&\quad -\int_\alpha^\beta(P(t,f(t)),0)(1,f'(t))\,\d t-
\int_0^1(P,0)(0,f(\alpha)-g(\alpha))\,\d t=\\
&=\int_\alpha^\beta(P(t,g(t))-P(t,f(t)))\,\d t=
-\int_\alpha^\beta[P(x,y)]_{g(x)}^{f(x)}\,\d x=
-\int_\alpha^\beta\left(
\int_{g(x)}^{f(x)}\frac{\pd P}{\pd y}(x,y)\,\d y
\right)\d x.
\end{split}
\]
\end{proof}
\end{theorem}
 
\begin{theorem}
Buď $Q\in\c{0}(\uz{D})$, $Q\in\c{1}(D)$, kde $D$ je oblast typu
$y(x)=\{(x,y)\in\R^2|y\in\la\alpha,\beta\ra,\ g(y)<x<f(y)\}$. Buď
$\phi$ konstruována jako v~předchozím příkladu a $[\phi]=\hr{D}$.
Pak
\[\int_\phi Q\,\d y=\iint_D\frac{\pd Q}{\pd x}\,\d x\d y.\]
\begin{proof}
$\phi=\phi_g\dotp\phi_\beta\dotm\phi_f\dotm\phi_\alpha$,
$\phi_g(t)=(g(t),t)$, $t\in\la\alpha,\beta\ra$,
$\phi_\beta(t)=(g(\beta)+t(f(\beta)-g(\beta)),\beta)$,
$t\in\la 0,1\ra$ atd... analogicky, jako v předchozí větě.
\end{proof}
\end{theorem}
 
\begin{define}
Buď $\phi\in\c{0}\la\alpha,\beta\ra$,
$\phi:\la\alpha,\beta\ra\mapsto\R^n$. Potom $\phi$ je {\bf Jordanova
dráha}, právě když
\begin{enumerate}[(i)]
\item $\phi(\alpha)=\phi(\beta)$,
\item $\phi$ je na $\left[ \alpha,\beta\right) $ prostá.
\end{enumerate}
\end{define}
 
\begin{theorem}[Jordan]
Buď $\varphi$ {\bf Jordanova dráha} v~$\R^2$. Pak $\R^2$ se
jednoznačně disjunktně rozloží $\R^2=A\cup[\phi]\cup B$, kde $A$ je
neomezená a $B$ omezená. Označíme $A=\extd\phi$ --- {\bf vnějšek
dráhy}, $B=\intd\phi$ --- {\bf vnitřek dráhy}.
\end{theorem}
 
\begin{theorem}[Green]
Buď $D$ vnitřek Jordanovy dráhy po částech třídy $\c{1}$. Nechť je
dána $\boldsymbol\omega=P\d x+Q\d y$,
$\boldsymbol\omega\in\c{0}(\uz{D})$ a
$\boldsymbol\omega\in\c{1}(D)$. Pak platí ($\phi$ je
$\circlearrowleft$ dráha):
\[
\int_\phi(P\d x+Q\d y)=\iint_D\left(
\frac{\pd Q}{\pd x}-\frac{\pd P}{\pd y}
\right)\d x\d y.
\]
\end{theorem}
 
\begin{remark}
 Pomocí této věty lze dokázat vztah mezi konzervativní a uzavřenou diferenciální formou.
\end{remark}
 
\begin{define}
Omezená oblast $G\subset\R^2$ se nazývá {\bf jednoduše souvislá},
právě když $G$ i $\R^2\sm G$ jsou souvislé množiny.
\end{define}
 
\begin{theorem}
Vnitřek Jordanovy dráhy je jednoduše souvislý.
\end{theorem}