10 votos

Supremum longitud de curvas en el espacio que figura en el abierto de la unidad de la bola de tener siempre inferior a la unidad de la curvatura de la

Estoy en el proceso de la prueba de que si un espacio de la curva (en R^3) tiene longitud infinita y la curvatura tiende a 0 como parámetro s tiende a infinito, la curva debe ser sin límites - es decir, no contenida en cualquier esfera de radio finito. Esto parece correcto, de manera intuitiva, pero no tengo ninguna garantía de que es correcto, a menos que me estoy perdiendo algo que es obvio. Una manera de demostrar que mi corazonada, me han sacado, es el uso de un lexema que cualquier curva contenida en el abierto de la unidad de la bola con la curvatura siempre menor que uno debe tener un número finito de límite superior en su longitud (posiblemente 2π, pero podría ser mayor para todos los que me conocen).

Cómo se podría ir sobre la que acredite tal límite existe, o si existe? También sería bueno saber cuál es el vinculado específicamente es, también. He pensado que podría ser posible plantear esto como un variacional del problema de maximización de la longitud y, a continuación, reducir en un problema más sencillo, pero que parece ser terriblemente complicado. Los pensamientos?

5voto

mjqxxxx Puntos 22955

Deje ${\mathbf{x}}(s)$ ser una curva en ${\mathbb{R}}^3$ natural con el parámetro $s$. Necesitaremos el siguiente lema, la prueba de que se encuentra al final de esta respuesta.

Lema: Seleccione un punto fijo ${\mathbf{y}}$. Entonces la curvatura $\kappa$ satisface $$ \kappa \ge \left|\dot{\theta} + \frac{1}{r}\sin{\theta}\right|, $$ donde $r = \lVert\mathbf{x} - \mathbf{y}\rVert$ $\theta$ es el ángulo entre la la velocidad de $\dot{\mathbf{x}}$$\mathbf{x} - \mathbf{y}$.

Tome $\mathbf{y} = \mathbf{x}(0)$; a continuación,$r(0)=0$$\theta(0)=0$. La función de $r(s)$ es monótonamente creciente mientras $0 \le \theta < \pi/2$ (desde $\dot{r}(s) = \cos{\theta}$), por lo $\theta$ $\kappa$ puede ser considerado como una sola de las funciones con valores de $r$ hasta que punto. El lema anterior, a continuación, da $$ \kappa(r) \ge \left|{\theta}'(r)\dot{r} + \frac{1}{r}\sin{\theta(r)}\right| = \left|{\theta}'(r)\cos{\theta(r)} + \frac{1}{r}\sin{\theta(r)}\right| = \left|\frac{1}{r}(r \sin\theta(r) )'\right|. $$

Hasta el primer punto de inflexión del movimiento (donde la velocidad se convierte en perpendicular al radio), tenemos $$ R\sin\theta(R) \le \int_{0}^{R} r \kappa(r) dr. $$ Si la curvatura es estrictamente por debajo de un valor fijo (por ejemplo, $\kappa < K$), entonces la integral es menos de $\frac{1}{2}KR^2$$R>0$, y tenemos el resultado que $$ \sin{\theta(r)} < \frac{1}{2}Kr $$ para $r>0$. Un punto de inflexión llega cuando $\theta=\pi/2$; esta ecuación muestra que el primer como el punto de inflexión debe estar en un radio mayor que $2/K$, y, por tanto, la curva puede ser confinado dentro de una bola de diámetro $2/K$. Finalmente, el arclength antes de llegar a un determinado radio de $R$ está delimitado por $$ \begin{eqnarray} s(R) &=& \int_{0}^{R} \frac{ds}{dr}dr \\ &=& \int_{0}^{R} \frac{dr}{\cos\theta(r)} \\ &<& \int_{0}^{R} \frac{dr}{\sqrt{1 - \frac{1}{4}K^2 r^2}} \\ &=& \frac{2}{K}\sin^{-1}\left(\frac{1}{2}KR\right) \end{eqnarray} $$ para $R \le 2/K$. Llegamos a la conclusión de que cualquier curva contenida en el abierto de la unidad de la bola con la curvatura $\kappa < 1$ debe tener la longitud de $s(2) < 2\sin^{-1}(1) = \pi$. Por otra parte, esta obligado es ajustado, ya que un arco circular uniendo los puntos en $\pm (1-\epsilon^2)\hat{\mathbf{z}}$ y el punto en el $(1-\epsilon)\hat{\mathbf{x}}$ tiene una longitud de acercarse a $\pi$$\epsilon \rightarrow 0$.


La prueba del Lema:

Vamos a trabajar en coordenadas esféricas centradas en $\mathbf{y}$; a continuación, $$ \begin{eqnarray} {\mathbf{x}} &=& r\hat{\mathbf{r}}, \\ {\dot{\mathbf{x}}} &=& \dot{r}{\hat{\mathbf{r}}} + r\dot{\hat{\mathbf{r}}} \\ &=& \dot{r}{\hat{\mathbf{r}}} + r v_{\perp} \hat{\mathbf{v}}_{\perp}. \end{eqnarray} $$ Aquí $\hat{\mathbf{r}}$ es el vector unitario que va desde el origen a ${\mathbf{x}}$, e $\dot{\hat{\mathbf{r}}} = v_{\perp} \hat{\mathbf{v}}_{\perp}$ es su tasa de cambio. Debido a $\hat{\mathbf{r}}$ tiene longitud constante, tenemos $\hat{\mathbf{v}}_{\perp}\cdot \hat{\mathbf{r}} = 0$. Tomar el tiempo derivado de esto da $$ 0 = \dot{\hat{\mathbf{v}}}_{\asesino}\cdot \hat{\mathbf{r}} + \hat{\mathbf{v}}_{\asesino}\cdot \dot{\hat{\mathbf{r}}} = v_{\asesino} + \dot{\hat{\mathbf{v}}}_{\asesino}\cdot \hat{\mathbf{r}}, $$ que vamos a utilizar más adelante. Ahora, debido a $s$ natural parámetro, $$\lVert\dot{\mathbf{x}}\rVert^2 = \left(\dot{r}\right)^2 + \left(rv_{\perp}\right)^2 = 1;$$ por lo que podemos definir $\theta \in [0,\pi]$ tal que $\dot{r} = \cos{\theta}$$rv_{\perp} = \sin{\theta}$. La velocidad y la aceleración convertido en $$ \begin{eqnarray} {\dot{\mathbf{x}}} &=& \left(\cos{\theta}\right){\hat{\mathbf{r}}} + \left(\sin{\theta}\right)\hat{\mathbf{v}}_{\perp}, \\ {\ddot{\mathbf{x}}} &=& -\left(\sin{\theta}\dot{\theta}\right){\hat{\mathbf{r}}} + \left(\cos{\theta}\right)\dot{\hat{\mathbf{r}}} + \left(\cos{\theta}\dot{\theta}\right)\hat{\mathbf{v}}_{\perp} + \left(\sin{\theta}\right)\dot{\hat{\mathbf{v}}}_{\perp} \\ &=& -\left(\sin{\theta}\dot{\theta}\right){\hat{\mathbf{r}}} + \left(\cos{\theta}\right)\left(\dot{\theta} + \frac{1}{r}\sin{\theta}\right)\hat{\mathbf{v}}_{\perp} + \left(\sin{\theta}\right)\dot{\hat{\mathbf{v}}}_{\perp}, \end{eqnarray} $$ y la aceleración (dos de sus tres componentes) $$ \begin{eqnarray} {\ddot{\mathbf{x}}}\cdot\hat{\mathbf{r}} &=& -\left(\sin{\theta}\dot{\theta}\right) + \left(\sin{\theta}\right)\left(\dot{\hat{\mathbf{v}}}_{\perp} \cdot \hat{\mathbf{r}}\right) \\ &=& -\left(\sin{\theta}\right)\left(\dot{\theta} + \frac{1}{r}\sin{\theta}\right), \\ {\ddot{\mathbf{x}}}\cdot\hat{\mathbf{v}}_{\perp} &=& +\left(\cos{\theta}\right)\left(\dot{\theta} + \frac{1}{r}\sin{\theta}\right). \end{eqnarray} $$ Esto nos lleva al resultado de que el cuadrado de la curvatura $$ \kappa^2 = \lVert\ddot{\mathbf{x}}\rVert^2 \ge \left({\ddot{\mathbf{x}}}\cdot\hat{\mathbf{r}}\right)^{2} + \left({\ddot{\mathbf{x}}}\cdot\hat{\mathbf{v}}_{\asesino}\right)^{2} = \left(\dot{\theta} + \frac{1}{r}\sin{\theta}\right)^{2}, $$ donde $\theta$ es el ángulo entre la velocidad y el exterior radial del vector. El lema de la siguiente manera tomando la raíz cuadrada de ambos lados.

4voto

GNUix Puntos 305

Esto es cierto, y se deduce del teorema del Fary. Fary del teorema dice que para curvas cerradas dentro de una pelota, el promedio de curvatura de la curva es al menos tan grande como la curvatura de la frontera de la bola.

La curva no es cerrada (o finito de longitud), por lo que usted tiene que pensar acerca de lo que el teorema dice en este contexto. Pero funciona: la media de la curvatura es cero, por lo que no encajan en ninguna (finito) de la bola.

Aprendí sobre el Fary del teorema de Serge Tabachnikov; hay varias pruebas (de la 2-dimensional caso, a pesar de que la mayoría de generalizar a dimensiones superiores, como se describe en la final) en su bello artículo corto:

http://www.math.psu.edu/tabachni/prints/dna-mass2.pdf

1voto

tooshel Puntos 475

Aquí hay algo que a lo largo de estas líneas, a partir de las estimaciones utilizando elementales de cálculo, pero es mucho más débil que el lema que desea probar.

Deje $\gamma$ regular $C^2$ curva en $\mathbb{R}^3$ parametrizadas con respecto a arclength $s$ I se asume por simplicidad que $s$ comienza a $0$). Si la curvatura $\|\gamma''(s)\|$ es siempre menor que $K$ $\gamma$ está contenida en una bola de radio $R\leq\frac{1}{4K}$, entonces la longitud de $\gamma$ es de menos de $\frac{1}{K}(1-\sqrt{1-4KR})$.

Para ver esto, escriba $\gamma(s)=\gamma(0)+s\gamma'(0)+\int_0^s(s-t)\gamma''(t)dt$ (derivados como en este artículo de la Wikipedia). Moviendo $s\gamma'(0)$ a la izquierda y $\gamma(s)$ a la derecha y aplicando la desigualdad de triángulo, $$ \begin{align} s &\leq \|\gamma(s)-\gamma(0)\|+\|\int_0^s(s-t)\gamma''(t)dt\| \\ &\leq 2R +\int_0^s\|(s-t)\gamma''(t)\|dt \\ &\lt 2R +K\int_0^s(s-t)dt \\ &=2R+\frac{K}{2}s^2. \end{align} $$

Esta desigualdad siempre mantener, $s$ debe permanecer más pequeño que el más pequeño de la raíz de $\frac{K}{2}x^2-x+2R$. Por lo tanto, $s\lt\frac{1}{K}(1-\sqrt{1-4KR})$ como se reivindica.

Usted todavía podría aplicar esto para probar el resultado original como se ha dicho, pero espero que alguien viene junto con un mayor resultado.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X