lunes, 21 de noviembre de 2011

Novedades en la página web de la asignatura

En la página web de la asignatura podéis encontrar las soluciones de la relación de problemas del capítulo 1, sobre curvas planas y en el espacio. También hay un fichero pdf con representaciones gráficas de superficies que nos han salido en clase (y algunas más), hechas con Mathematica.

Por otro lado, los días 28 y 29 de noviembre no habrá clase, y tampoco los días 5 y 9 de diciembre. Dos de estas cuatro horas han sido ya recuperadas.

domingo, 20 de noviembre de 2011

Curvatura, coordenadas polares y ecuaciones implícitas

En clase hemos visto cómo calcular la curvatura de una curva plana regular si tenemos una parametrización en coordenadas cartesianas $\alpha (t)=(x(t),y(t))$. En esta entrada tienes las fórmulas necesarias para calcular la curvatura usando coordenadas grafo, polares o cuando sólo disponemos de la ecuación implícita de la curva.

  1. Sea $f\colon (a,b)\to \mathbb{R}$ una función diferenciable y $\alpha \colon (a,b)\to \mathbb{R}^2$ la curva dada por $\alpha (t)=(t,f(t))$. Probar que la curvatura de $\alpha $ viene dada por  \[ \kappa =\frac{-f''}{[1+(f')^2]^{3/2}}.\]
  2. Sea $\beta (\theta )=r(\theta )(\cos \theta ,\sin \theta )$ una curva plana escrita en coordenadas polares ($r(\theta )$ es una función $C^{\infty }$ y positiva). Demostrar que la curvatura de $\beta $ es \[ \kappa =\frac{2(r')^2-rr''+r^2}{[r^2+(r')^2]^{3/2}}. \]
  3. Sea $F\colon O\to \mathbb{R}$ una función diferenciable definida en un abierto $O$ de $\mathbb{R}^2$, y $a\in \mathbb{R}$ un valor regular de $F$, es decir, $F^{-1}(\{ a\} )\neq \emptyset $ y $\forall (x,y)\in F^{-1}(\{ a\} )$, $\nabla F(x,y)\neq (0,0)$ ($\nabla F$ denota el gradiente de $F$).  Demostrar que cada componente conexa del conjunto $\{ (x,y)\in O \ | \ F(x,y)=a\} $ es una curva regular, y que su curvatura viene dada por \[ \kappa =\frac{(\nabla ^2F)(\nabla F,\nabla F)}{\| \nabla F\| ^3},\] donde $\nabla ^2F$ es el hessiano de $F$.

lunes, 14 de noviembre de 2011

La desigualdad isopermétrica (II)

En esta entrada veremos la demostración dada por Schmidt en 1939 de la desigualdad isoperimétrica en el plano:
Dado un dominio compacto y regular $\Omega \subset \mathbb{R}^2$, se tiene:
\[
4\pi \mbox{Area}(\Omega )\leq \mbox{Longitud}(\partial \Omega )^2, \qquad \mbox{"="} \Longleftrightarrow \Omega  \mbox{ es un disco redondo.}
\]
Es de destacar la sencillez de la prueba, que sólo usa geometría elemental, y que no supone existencia de dominios isoperimétricos.

Tenemos un dominio compacto y regular $\Omega \subset \mathbb{R}^2$. Tomamos una dirección $v\in \mathbb{R}^2-\{ 0\} $.

Prueba que existen rectas $L,L'$ paralelas a $v$ que son tangentes a $\partial \Omega $ y tales que $\Omega $ está contenido en la banda cerrada con borde $L\cup L'$.

Llamamos $2r>0$ a la distancia de $L$ a $L'$. Ahora consideramos una circunferencia $S^1$ de radio $r$ que sea tangente a $L$ y a $L$. Tomamos coordenadas cartesianas en $\mathbb{R}^2$ de forma que el centro de $S^1$ es $(0,0)$ y las rectas $L,L'$ vienen dadas por
\[
L=\{ x=r\} ,\qquad L'=\{ x=-r\} .
\]
Respecto de estas coordenadas, podemos parametrizar $\partial \Omega $ por el arco mediante
$\alpha (s)=(x(s),y(s))$, $s\in [0,B]$, de forma que $\alpha (0)=\alpha (B)\in L$, donde $B=\mbox{Longitud}(\partial \Omega )$. Así existirá $s_1\in (0,B)$ tal que $\alpha (s_1)\in L'$ (posiblemente $s_1$ no es único), como en la siguiente figura:

Demuestra que existe una función $\overline{y}\colon [0,B]\to R $ de clase $C^1$ tal que $\overline{\alpha }(s)=(x(s),\overline{y}(s))$ parametriza la circunferencia $S^1$.
De esta forma, en cada instante $s$, los puntos $\alpha (s)$ y $\overline{\alpha }(s)$ están sobre la misma recta vertical, como en la figura de arriba.

En esta entrada del blog vimos cómo calcular el área de los recintos encerrados por $\alpha $ y $\overline{\alpha }$:
\[
\mbox{Area}(\Omega )=\int _0^Bx(s)y'(s)\, ds, \qquad \pi r^2=-\int _0^B\overline{y}(s)x'(s)\, ds, 
\]
luego
\[
\mbox{(a)}\hspace{2cm}
\mbox{Area}(\Omega )+\pi r^2=\int _0^B(xy'-\overline{y}x')ds\leq \int _0^B\sqrt{(xy'-\overline{y}x')^2}ds
\]
Usa la desigualdad de Schwarz para probar que $\forall s\in [0,B]$,
\[
\left[ x(s)y'(s)-\overline{y}(s)x'(s)\right] ^2\leq \left[ x(s)^2+(\overline{y}(s))^2\right] \left[ (y'(s)^2+x'(s)^2\right] . \] Deduce que \[
\left[ xy'(s)-\overline{y}x'\right] ^2\leq r^2\qquad \mbox{ en }\ [0,B].
\]
Usando el ejercicio anterior en (a), tenemos
\[
\mbox{(b)}\hspace{2cm}\mbox{Area}(\Omega )+\pi r^2\leq \int _0^Br\, ds=rB.
\]
Por otro lado, la relación entre la media geométrica y la media aritmética de números positivos implica que
\[
\mbox{(c)}\hspace{2cm}\sqrt{\mbox{Area}(\Omega )\cdot \pi r^2}\leq \frac{1}{2}\left( \mbox{Area}(\Omega )
+\pi r^2\right) ^2.
\]
De (b) y (c) deducimos que
\[
\mbox{Area}(\Omega )\cdot \pi r^2\leq  \frac{1}{4}r^2B^2,
\]
que es la desigualdad isoperimétrica.
Supongamos ahora que se da la igualdad en la desigualdad isopermétrica. Entonces tiene que darse la igualdad en cada desigualdad del desarrollo anterior. En particular:
  1. La igualdad en (c) implica que $\mbox{Area}(\Omega )=\pi r^2$. De aquí deducimos que $r$ no depende de la dirección $v$ que tomamos al principio.
  2. La igualdad en  (b) implica que se da la igualdad en la desigualdad de Schwarz (último ejercicio). Por tanto, existe $\lambda =\lambda (s)$ tal que $(x,\overline{y})=\lambda (y',x')$.
    Deduce que $\lambda $ es constante $\pm r$.
Acabamos de probar que $y'=\pm \frac{1}{r}x$. Como $r$ no depende de la dirección $v$, podemos intercambiar los papeles de $x,y$ con lo que obtendremos análogamente $x'=\pm \frac{1}{r}y$. Por tanto,
\[
x^2+y^2=r^2[ (y')^2+(x')^2]=r^2,
\]
De donde deducimos que $\Omega $ es un disco de radio $r$.

domingo, 6 de noviembre de 2011

La desigualdad isoperimétrica (I)


En una entrada anterior vimos cómo calcular el área del recinto encerrado por una curva cerrada simple $\alpha $. Teníamos entonces dos números asociados a $\Omega $: su área $A$ y su perímetro $L=\mbox{Longitud}(\partial \Omega )$. ¿Qué relación hay entre ambos?

Está claro que si tomamos una cuerda con los extremos unidos y la disponemos sobre el suelo como una curva cerrada simple, entonces podemos modificar el área del recinto encerrado desde 0 hasta cierto valor positivo, pero su perímetro será siempre la longitud de la cuerda con la que empezamos. Intuitivamente, la forma del recinto que tiene mayor área es circular. Este hecho tan intuitivo constituye quizás el teorema global más antiguo en Geometría Diferencial, y se llama la  desigualdad isoperimétrica, que busca la respuesta a cualquiera de las dos siguientes preguntas (equivalentes):
  1. De todos los recintos planos con perímetro dado, ¿cuál tiene mayor área?
  2. De todos los recintos planos con área prefijada, ¿cuál tiene menor perímetro?

Ya los griegos sabían que el círculo es la mejor respuesta posible. Sin embargo, no pudieron dar una demostración rigurosa de esta propiedad tan aparentemente obvia. Y es que después de todo, no es tan obvia: tuvimos que esperar hasta el siglo XIX para tener la primera prueba rigurosa, y a partir de entonces se han encontrado demostraciones muy diferentes, algunas sorprendentemente simples, de la desigualdad isoperimétrica:

Dado un dominio compacto y regular $\Omega \subset \mathbb{R}^2$, su área $A$ y su perímetro $L$ cumplen
\[
4\pi A\leq L^2, \qquad \mbox{"="} \Longleftrightarrow \Omega  \mbox{ es un disco redondo.}
\]

Uno de los problemas que tenían las primeras demostraciones de la desigualdad isoperimétrica es que suponían que existe solución al llamado problema isoperimétrico:

Dado $A > 0$, ¿existe un dominio $\Omega \subset \mathbb{R}^2$ con área $A$, que tiene el menor perímetro de entre todos los recintos de $\mathbb{R}^2$ con área $A$? (a un dominio $\Omega $ con esta propiedad se le llama dominio isoperimétrico).

Demuestra que si existe un dominio isoperimétrico para un valor $A > 0$ del área, entonces existen dominios isoperimétricos para todos los valores del área, y que los dominios isoperimétricos son aquellos que minimizan el siguiente cociente:
\[
\frac{\mbox{Longitud}(\partial \Omega )^2}{\mbox{Area}(\Omega )}
\]
Dar una demostración de la existencia de un dominio isoperimétrico no es fácil. En 1870, el matemático alemán Karl Weierstrass señaló que hay muchos problemas similares al anterior y que no admiten solución, y además dió la primera prueba rigurosa (y nada trivial) de la desigualdad isoperimétrica.

En esta entrada veremos un argumento para probar que si el problema isoperimétrico tiene solución suficientemente regular, entonces ésta es un círculo.

Asumimos que existe un dominio isoperimétrico, $\Omega $, cuya frontera puede parametrizarse por una curva de clase $C^2$. No perdemos generalidad parametrizando $\partial \Omega $ por el arco, $\alpha \colon [0,L]\to \mathbb{R}^2$, donde $L=$ longitud$(\alpha )$. Sea $\{ T,N\} $ el diedro de Frenet asociado a $\alpha $. Lo primero que haremos es definir una variación de $\Omega $ normal a su borde. Fijemos una función $f\colon [0,L]\to \mathbb{R}$ de clase $C^1$, tal que $f(0)=f(L)$, $f'(0)=f'(L)$, y consideremos para cada $s\in \mathbb{R}$ la curva \[ \alpha _s\colon [0,L]\to \mathbb{R},\quad \alpha _s(t)=\alpha (t)+sf(t)N(t).\]
Probar que existe $\varepsilon >0$ tal que $\forall s\in (-\varepsilon ,\varepsilon )$, $\alpha _s$ es una curva ($C^1$) regular, cerrada y simple. (Para esto último usar el teorema del valor medio sobre las componentes de $\alpha _s$). Por el teorema de la curva de Jordan, $\alpha _s$ encierra un dominio interior $\Omega _s$ $\forall s\in (-\varepsilon ,\varepsilon )$.

Sean $L,A\colon (-\varepsilon ,\varepsilon )\to \mathbb{R}$ las funciones dadas por
\[ L(s)=\mbox{Longitud}(\alpha _s)=\int _0^L\| \alpha _s'(t)\| \, dt,\qquad
A(s)=\mbox{Area}(\Omega _s)=\frac{1}{2}\int _0^L\det (\alpha _s(t),\alpha '_s(t))\, dt,\]
donde $'$ denota derivada respecto a $t$.
Demostrar que $L,A$ son de clase $C^1$ y que sus derivadas en $s=0$ son \[ \frac{dL}{ds}(0)=-\int _0^Lf(t)\kappa (t)\, dt,\qquad \frac{dA}{ds}(0)=-\int _0^Lf(t)\, dt, \] donde $\kappa $ es la curvatura de $\alpha $.
(Indicación: para calcular $\frac{dA}{ds}(0)$, integrar por partes $f\det(\alpha ,N)$).

Usar que $\Omega $ es un dominio isoperimétrico para deducir que la función $s\mapsto \frac{L(s)^2}{A(s)}$ tiene un punto crítico en $s=0$. Probar que si $\int _0^Lf=0$, entonces $\int _0^Lf\kappa =0$.

Lo anterior nos dice que la función curvatura $\kappa \in L^2(\mathbb{R}/L\mathbb{Z})$ es $L^2$-ortogonal al subespacio de $L^2(\mathbb{R}/L\mathbb{Z})$
\[
\mathcal{U}=\left\{ f\in C^1[0,L]\ | \ f(0)=f(L), f'(0)=f'(L), \int _0^Lf=0\right\} .
\]
Por otro lado, un resultado de Análisis nos dice que $\mathcal{U}$ es el subespacio $L^2$-ortogonal al subespacio 1-dimensional de las funciones constantes, luego $\kappa $ es constante. Esto nos dice que $\partial \Omega $ es una circunferencia y $\Omega $ es un disco redondo. A partir de aquí, demuestra la desigualdad isoperimétrica de arriba.

En la demostración anterior se ha supuesto que la frontera de un dominio isoperimétrico $\Omega $ es de clase $C^2$. Sin embargo, para que la longitud de $\partial \Omega $ tenga sentido, sólo deberíamos suponer que $\partial \Omega $ es $C^1$ a trozos.En el siguiente argumento se probará que esta frontera es siempre de clase $C^1$ (la regularidad $C^2$ es también cierta, pero su demostración es más difícil).

Supongamos entonces que $\Omega $ es un dominio isoperimétrico con frontera de clase $C^1$ a trozos (no podemos deducir del argumento de arriba que $\Omega $ sea un disco redondo). Razonaremos por reducción al absurdo, suponiendo que $\partial \Omega $ tiene un "pico" en un punto $p\in \partial \Omega $.  La idea para llegar a una contradicción es producir un dominio $\Omega _1$ que sea mejor que $\Omega $ respecto al problema isopermétrico, es decir, tal que
\[
\frac{\mbox{Longitud}(\partial \Omega _1)^2}{\mbox{Area}(\Omega _1)} <
\frac{\mbox{Longitud}(\partial \Omega )^2}{\mbox{Area}(\Omega )} .
\]
El dominio $\Omega _1$ se producirá cambiando $\Omega $ en un entorno muy perqueño $U$ de $p$; como $\partial \Omega $ es $C^1$ a trozos, podemos suponer que en $U\cap \partial \Omega $ es arbitrariamente próximo a dos segmentos rectilíneos $r_1,r_2$ que se cortan en $p_0$ con cierto ángulo positivo. Distingue 2 casos:
  1. Si el ángulo que $\partial \Omega $ forma en $p$ es mayor de 180º, agranda $\Omega $ añadiendo un triángulo isósceles que tiene a $p$ por uno de sus vértices y con dos lados sobre $r_1,r_2$ (observa que así aumentamos el área y disminuímos el perímetro). 
  2. Si el ángulo que $\Omega $ forma en $p$ es menor de 180º, achica $\Omega $ eliminando un triángulo isósceles como el anterior, definiendo un nuevo dominio $\Omega (l)$ donde $l$ es la longitud de los lados sobre $r_1,r_2$ del triángulo isósceles que estamos eliminando. Estudia la función  \[  f(l)=\frac{\mbox{Longitud}(\partial \Omega (l))^2}{\mbox{Area}(\Omega (l))} \]  y prueba que $f'(0)<0$, lo que contradice que $\Omega $ sea isoperimétrico.