add cylindrical coordinates

tex/analysis_2/5_peano_jordan.tex

@@ -406,7 +406,7 @@ \subsection{Cambiamento di variabile nell'integrale multiplo}
 Il determinante della matrice jacobiana di $\bm\Phi(\rho,\theta)$ è $\rho$. Di conseguenza, $\det J_{\bm\Phi}=0$ solo sul segmento $\{0\}\times[0,2\pi]$, che ha misura nulla nello spazio $(\rho,\theta)$ e che viene trasformato nel punto $(0,0)\in\R^2$, che ha misura nulla in $\R^2$.
 Inoltre $\bm\Phi(\rho,\theta)$ non è iniettiva sul segmento $\{0\}\times[0,2\pi]$ e sull'insieme $[0,+\infty)\times\{0,2\pi\}$, che hanno entrambi misura nulla nello spazio $(\rho,\theta)$. Il primo viene trasformato nel punto $(0,0)\in\R^2$ e il secondo nel semiasse $x$ positivo, ovvero $[0,+\infty)\times\{0\} \in \R^2$. Entrambi hanno misura nulla in $\R^2$.
 
-Per quanto detto, $\bm\Phi$ è un cambiamento di variabile ammissibile per il teorema \ref{thm:int_var}. Sia $f\in \C{0}(\bm\Phi(K),\R^2)$ con $K\subseteq[0,+\infty)\times[0,2\pi]$ compatto e misurabile, allora si ha
+Per quanto detto, $\bm\Phi$ è un cambiamento di variabile ammissibile per il teorema \ref{thm:int_var}. Sia $f\in \C{0}(\bm\Phi(K),\R)$ con $K\subseteq[0,+\infty)\times[0,2\pi]$ compatto e misurabile, allora si ha
 $$\iint_{\bm\Phi(K)} f(x,y)\dd x \dd y=\iint_K (f\circ \bm\Phi)(\rho,\theta)\rho\dd \rho \dd \theta$$
 
 \paragraph{Coordinate sferiche in $\R^3$}
@@ -420,10 +420,27 @@ \subsection{Cambiamento di variabile nell'integrale multiplo}
 \end{cases}
 $$
 
-Il determinante della matrice jacobiana di $\bm\Phi(\rho,\theta,\varphi)$ è $\rho^2\sin\theta$. Il determinante si annulla quindi nel rettangolo $Z=\{0\}\times[0,\pi]\times[0,2\pi]$ e sull'insieme $[0,+\infty)\times\{\frac{\pi}{2},\frac{3}{2}\pi\}\times[0,2\pi]$, che hanno misura nulla e sono trasformati in insiemi di misura nulla. Inoltre $\bm\Phi(\rho,\theta,\varphi)$ non è iniettiva sul rettangolo $Z$ e sull'insieme $[0,+\infty)\times[0,\pi]\times\{0,2\pi\}$, tuttavia entrambi hanno misura nulla nello spazio $(\rho,\theta,\varphi)$ e sono trasformati in insiemi di misura nulla in $\R^3$, rispettivamente l'origine e il semipiano positivo del piano $xz$.
+Il determinante della matrice jacobiana di $\bm\Phi(\rho,\theta,\varphi)$ è $\rho^2\sin\theta$. Il determinante si annulla quindi nel rettangolo $Z=\{0\}\times[0,\pi]\times[0,2\pi]$ e sull'insieme $[0,+\infty)\times\{0\}\times[0,2\pi]$, che hanno misura nulla e sono trasformati in insiemi di misura nulla. Inoltre $\bm\Phi(\rho,\theta,\varphi)$ non è iniettiva sul rettangolo $Z$, sull'insieme $[0,+\infty)\times[0,\pi]\times\{0,2\pi\}$ e sull'insieme $[0,+\infty)\times\{0,\pi\}\times[0,2\pi]$, tuttavia hanno tutti misura nulla nello spazio $(\rho,\theta,\varphi)$ e sono trasformati in insiemi di misura nulla in $\R^3$.
 
-$\bm\Phi$ è un cambiamento di variabile ammissibile per il teorema \ref{thm:int_var}. Sia $f \in \C{0}(\bm\Phi(K),\R^2)$ con $K\subseteq[0,+\infty)\times[0,\pi]\times[0,2\pi]$ compatto e misurabile, allora si ha
+$\bm\Phi$ è un cambiamento di variabile ammissibile per il teorema \ref{thm:int_var}. Sia $f \in \C{0}(\bm\Phi(K),\R)$ con $K\subseteq[0,+\infty)\times[0,\pi]\times[0,2\pi]$ compatto e misurabile, allora si ha
 $$\iiint_{\bm\Phi(K)}f(x,y,z)\dd x \dd y \dd z=\iiint_K(f\circ\bm\Phi)(\rho,\theta,\varphi)\rho^2\sin\theta  \dd \rho \dd \theta \dd \varphi$$
 
+Si noti che, geometricamente, il punto nello spazio è individuato dall'intersezione di una sfera, un semicono e un semipiano.
+
 \paragraph{Coordinate cilindriche in $\R^3$}
-% TODO
+La trasformazione in coordinate cilindriche nello spazio $\bm\Phi:[0,+\infty)\times[0,2\pi]\times\R\to\R^3$ è definita come segue:
+$$
+\bm\Phi(\rho,\varphi,h)=
+\begin{cases}
+    x=\rho\cos\varphi\\
+    y=\rho\sin\varphi\\
+    z=h
+\end{cases}
+$$
+
+Il determinante della matrice jacobiana di $\bm\Phi(\rho,\varphi,h)$ è $\rho$, che si annulla sull'insieme $Z=\{0\}\times[0,2\pi]\times\R$. Inoltre $\bm\Phi(\rho,\varphi,h)$ non è iniettiva sull'insieme $Z$ e sull'insieme $[0,+\infty)\times\{0,2\pi\}\times\R$, tuttavia entrambi hanno misura nulla nello spazio $(\rho,\varphi,h)$ e sono trasformati in insiemi di misura nulla in $\R^3$, rispettivamente l'asse $z$ e il semipiano positivo del piano $xz$.
+
+$\bm\Phi$ è un cambiamento di variabile ammissibile per il teorema \ref{thm:int_var}. Sia $f \in \C{0}(\bm\Phi(K),\R)$ con $K \subseteq [0,+\infty)\times[0,2\pi]\times\R$, allora si ha
+$$\iiint_{\bm\Phi(K)}f(x,y,z)\dd x \dd y \dd z = \iiint_K (f\circ\bm\Phi)(\rho,\varphi,h)\rho \dd \rho \dd \varphi \dd h$$
+
+Si noti che, geometricamente, il punto nello spazio è individuato dall'intersezione di un cilindro, un semipiano e un piano.