stringtranslate.com

Teorema de Stokes

Ilustración del teorema de Stokes, con una superficie Σ , su límite ∂Σ y el vector normal n . La dirección de circulación positiva del contorno límite ∂Σ y la dirección n del flujo positivo a través de la superficie Σ están relacionadas por una regla de la mano derecha (es decir, los dedos de la mano derecha circulan a lo largo de ∂Σ y el pulgar se dirige a lo largo de n ).

El teorema de Stokes , [1] también conocido como el teorema de Kelvin-Stokes [2] [3] en honor a Lord Kelvin y George Stokes , el teorema fundamental para los rizos o simplemente el teorema del rizo , [4] es un teorema en cálculo vectorial sobre . Dado un campo vectorial , el teorema relaciona la integral del rizo del campo vectorial sobre alguna superficie, con la integral de línea del campo vectorial alrededor del límite de la superficie. El teorema clásico de Stokes se puede enunciar en una sola oración:

La integral de línea de un campo vectorial sobre un bucle es igual a la integral de superficie de su rotacional sobre la superficie encerrada.

El teorema de Stokes es un caso especial del teorema de Stokes generalizado . [5] [6] En particular, un campo vectorial en puede considerarse como una 1-forma en cuyo caso su rotacional es su derivada exterior , una 2-forma.

Teorema

Sea una superficie orientada suave en con borde . Si se define un campo vectorial y tiene derivadas parciales de primer orden continuas en una región que contiene , entonces Más explícitamente, la igualdad dice que

El principal desafío en una formulación precisa del teorema de Stokes es definir la noción de límite. Se sabe bien que superficies como el copo de nieve de Koch , por ejemplo, no presentan un límite integrable de Riemann, y la noción de medida de superficie en la teoría de Lebesgue no se puede definir para una superficie que no sea de Lipschitz . Una técnica (avanzada) es pasar a una formulación débil y luego aplicar la maquinaria de la teoría de la medida geométrica ; para ese enfoque, consulte la fórmula de coarea . En este artículo, en cambio, utilizamos una definición más elemental, basada en el hecho de que se puede discernir un límite para subconjuntos de dimensión completa de .

Se dará una explicación más detallada para posteriores discusiones. Sea una curva plana de Jordan suave por partes . El teorema de la curva de Jordan implica que se divide en dos componentes, uno compacto y otro que no es compacto. Sea denotar la parte compacta; entonces está acotada por . Ahora basta con transferir esta noción de límite a lo largo de una función continua a nuestra superficie en . Pero ya tenemos una función de este tipo: la parametrización de .

Supongamos que es suave por partes en el entorno de , con . [nota 1] Si es la curva espacial definida por [nota 2] entonces llamamos al límite de , escrito .

Con la notación anterior, si es cualquier campo vectorial suave en , entonces [7] [8]

Aquí, " " representa el producto escalar en .

Caso especial de un teorema más general

El teorema de Stokes puede considerarse un caso especial de la siguiente identidad: [9] donde es cualquier vector o campo escalar uniforme en . Cuando es un campo escalar uniforme, se recupera el teorema de Stokes estándar.

Prueba

La demostración del teorema consta de 4 pasos. Suponemos el teorema de Green , por lo que lo que nos interesa es cómo reducir el complicado problema tridimensional (teorema de Stokes) a un problema rudimentario bidimensional (teorema de Green). [10] Al demostrar este teorema, los matemáticos normalmente lo deducen como un caso especial de un resultado más general , que se enuncia en términos de formas diferenciales y se demuestra utilizando maquinaria más sofisticada. Aunque potentes, estas técnicas requieren una formación sustancial, por lo que la demostración a continuación las evita y no presupone ningún conocimiento más allá de una familiaridad con el cálculo vectorial básico y el álgebra lineal. [8] Al final de esta sección, se ofrece una breve demostración alternativa del teorema de Stokes, como corolario del teorema de Stokes generalizado.

Prueba elemental

Primer paso de la demostración elemental (parametrización de la integral)

Como en el § Teorema , reducimos la dimensión utilizando la parametrización natural de la superficie. Sean ψ y γ como en esa sección, y observemos que por cambio de variables donde J y ψ representa la matriz jacobiana de ψ en y = γ ( t ) .

Sea ahora { e u , e v } una base ortonormal en las direcciones de coordenadas de R 2 . [nota 3]

Reconociendo que las columnas de J y ψ son precisamente las derivadas parciales de ψ en y , podemos expandir la ecuación anterior en coordenadas como

Segundo paso de la prueba elemental (definición del pullback)

El paso anterior sugiere que definamos la función

Ahora bien, si las funciones de valor escalar y se definen de la siguiente manera, entonces,

Este es el retroceso de F a lo largo de ψ y, por lo anterior, satisface

Hemos reducido con éxito un lado del teorema de Stokes a una fórmula bidimensional; ahora pasamos al otro lado.

Tercer paso de la demostración elemental (segunda ecuación)

En primer lugar, calculamos las derivadas parciales que aparecen en el teorema de Green , mediante la regla del producto :

Convenientemente, el segundo término se anula en la diferencia, por igualdad de parciales mixtos . Por lo tanto, [nota 4]

Pero ahora consideremos la matriz en esa forma cuadrática, es decir, . Afirmamos que esta matriz, de hecho, describe un producto vectorial. Aquí el superíndice " " representa la transposición de matrices .

Para ser precisos, sea una matriz arbitraria de 3 × 3 y sea

Nótese que xa × x es lineal, por lo que está determinada por su acción sobre los elementos de la base. Pero mediante cálculo directo Aquí, { e 1 , e 2 , e 3 } representa una base ortonormal en las direcciones de coordenadas de . [nota 5]

Por lo tanto ( AA T ) x = a × x para cualquier x .

Sustituyendo A , obtenemos

Ahora podemos reconocer la diferencia de parciales como un producto triple (escalar) :

Por otra parte, la definición de una integral de superficie también incluye un producto triple: ¡el mismo!

Así que obtenemos

Cuarto paso de la demostración elemental (reducción al teorema de Green)

Combinando el segundo y tercer paso y luego aplicando el teorema de Green se completa la prueba. El teorema de Green afirma lo siguiente: para cualquier región D limitada por la curva cerrada de Jordan γ y dos funciones suaves de valor escalar definidas en D;

Podemos sustituir la conclusión del PASO 2 en el lado izquierdo del teorema de Green anterior y sustituir la conclusión del PASO 3 en el lado derecho. QED

Demostración mediante formas diferenciales

Las funciones se pueden identificar con las 1-formas diferenciales a través del mapa

Escriba la 1-forma diferencial asociada a una función F como ω F . Luego se puede calcular que donde es la estrella de Hodge y es la derivada exterior . Por lo tanto, por el teorema de Stokes generalizado, [11]

Aplicaciones

Campos irrotacionales

En esta sección, discutiremos el campo irrotacional ( campo vectorial lamelar ) basado en el teorema de Stokes.

Definición 2-1 (campo irrotacional). Un campo vectorial suave F en un espacio abierto es irrotacional ( campo vectorial lamelar ) si ∇ × F = 0 .

Este concepto es muy fundamental en mecánica; como demostraremos más adelante, si F es irrotacional y el dominio de F es simplemente conexo , entonces F es un campo vectorial conservativo .

Teorema de Helmholtz

En esta sección, presentaremos un teorema derivado del teorema de Stokes que caracteriza los campos vectoriales sin vórtices. En mecánica clásica y dinámica de fluidos, se denomina teorema de Helmholtz .

Teorema 2-1 (Teorema de Helmholtz en dinámica de fluidos). [5] [3] : 142  Sea un subconjunto abierto con un campo vectorial laminar F y sean c 0 , c 1 : [0, 1] → U bucles suaves por partes. Si existe una función H : [0, 1] × [0, 1] → U tal que

Entonces,

Algunos libros de texto como Lawrence [5] llaman a la relación entre c 0 y c 1 establecida en el teorema 2-1 "homotópica" y a la función H : [0, 1] × [0, 1] → U "homotopía entre c 0 y c 1 ". Sin embargo, "homotópica" u "homotopía" en el sentido mencionado anteriormente son diferentes (más fuertes que) las definiciones típicas de "homotópica" u "homotopía"; estas últimas omiten la condición [TLH3]. Por lo tanto, de ahora en adelante nos referiremos a la homotopía (homótopo) en el sentido del teorema 2-1 como una homotopía tubular (resp. tubular-homotópica) . [nota 6]

Demostración del teorema de Helmholtz
Las definiciones de γ 1 , ..., γ 4

En lo que sigue, abusamos de la notación y utilizamos " " para la concatenación de rutas en el grupoide fundamental y " " para invertir la orientación de una ruta.

Sea D = [0, 1] × [0, 1] , y divida D en cuatro segmentos de línea γ j . de modo que

Suponiendo que c 0 y c 1 son homotópicos suaves por partes, existe una homotopía suave por partes H : DM

Sea S la imagen de D bajo H. Esto se deduce inmediatamente del teorema de Stokes. F es laminar, por lo que el lado izquierdo se anula, es decir

Como H es tubular (satisfaciendo [TLH3]), y . Por lo tanto, las integrales de línea a lo largo de Γ 2 ( s ) y Γ 4 ( s ) se cancelan, dejando

Por otra parte, c 1 = Γ 1 , , de modo que la igualdad deseada se sigue casi inmediatamente.

Fuerzas conservadoras

El teorema de Helmholtz explica por qué el trabajo realizado por una fuerza conservativa al cambiar la posición de un objeto es independiente de la trayectoria. Primero, presentamos el Lema 2-2, que es un corolario y un caso especial del teorema de Helmholtz.

Lema 2-2. [5] [6] Sea un subconjunto abierto , con un campo vectorial laminar F y un bucle suave por partes c 0 : [0, 1] → U . Fijemos un punto pU , si existe una homotopía H : [0, 1] × [0, 1] → U tal que

Entonces,

El Lema 2-2 anterior se desprende del Teorema 2-1. En el Lema 2-2, la existencia de H que satisface [SC0] a [SC3] es crucial; la pregunta es si tal homotopía puede tomarse para bucles arbitrarios. Si U es simplemente conexo, tal H existe. La definición de espacio simplemente conexo es la siguiente:

Definición 2-2 (espacio simplemente conexo). [5] [6] Sea no vacío y conexo por trayectorias . M se llama simplemente conexo si y solo si para cualquier bucle continuo, c : [0, 1] → M existe una homotopía tubular continua H : [0, 1] × [0, 1] → M desde c hasta un punto fijo pc ; es decir,

La afirmación de que "para una fuerza conservativa, el trabajo realizado al cambiar la posición de un objeto es independiente de la trayectoria" podría parecer una consecuencia inmediata si la M está simplemente conexa. Sin embargo, recuerde que la conexión simple solo garantiza la existencia de una homotopía continua que satisfaga [SC1-3]; en cambio, buscamos una homotopía suave por partes que satisfaga esas condiciones.

Afortunadamente, la brecha en la regularidad se resuelve mediante el teorema de aproximación de Whitney. [6] : 136, 421  [12] En otras palabras, la posibilidad de encontrar una homotopía continua, pero no poder integrar sobre ella, en realidad se elimina con el beneficio de las matemáticas superiores. Así, obtenemos el siguiente teorema.

Teorema 2-2. [5] [6] Sea abierto y simplemente conexo con un campo vectorial irrotacional F . Para todos los bucles suaves por partes c : [0, 1] U

Ecuaciones de Maxwell

En la física del electromagnetismo , el teorema de Stokes proporciona la justificación de la equivalencia de la forma diferencial de la ecuación de Maxwell-Faraday y la ecuación de Maxwell-Ampère y la forma integral de estas ecuaciones. Para la ley de Faraday, el teorema de Stokes se aplica al campo eléctrico :

Para la ley de Ampère, se aplica el teorema de Stokes al campo magnético :


Notas

  1. ^ representa el conjunto de imágenes de
  2. ^ puede no ser una curva de Jordan si el bucle interactúa mal con . No obstante, siempre es un bucle , y topológicamente es una suma conexa de un número contable de curvas de Jordan, de modo que las integrales están bien definidas.
  3. ^ En este artículo, tenga en cuenta que, en algunos libros de texto sobre análisis vectorial, se les asignan diferentes significados. Por ejemplo, en la notación de algunos libros de texto, { e u , e v } puede significar lo siguiente { t u , t v } respectivamente. Sin embargo, en este artículo, se trata de dos significados completamente diferentes. Aquí, y el " " representa la norma euclidiana .
  4. ^ Para todos , para toda matriz cuadrada , y por lo tanto .
  5. ^ En este artículo, tenga en cuenta que, en algunos libros de texto sobre análisis vectorial, estos se asignan a cosas diferentes.
  6. ^ Existen libros de texto que utilizan los términos "homotopía" y "homotópico" en el sentido del Teorema 2-1. [5] De hecho, esto es muy conveniente para el problema específico de las fuerzas conservativas. Sin embargo, ambos usos de homotopía aparecen con suficiente frecuencia como para que sea necesario algún tipo de terminología para desambiguar, y el término "homotopía tubular" adoptado aquí sirve bastante bien para ese fin.

Referencias

  1. ^ Stewart, James (2012). Cálculo: trascendentales tempranos (PDF) (7.ª ed.). Brooks/Cole . p. 1122. ISBN 978-0-538-49790-9.
  2. ^ Nagayoshi, Iwahori (1983). 微分積分学 (Bibun sekibungaku) ​​(en japonés). Shokabo. ISBN 978-4-7853-1039-4.OCLC 673475347  .
  3. ^ ab Atsuo, Fujimoto (1979).現代数学レクチャーズ. C 1, ベクトル解析 (Gendai sūgaku rekuchāzu. C(1), Bekutoru kaiseki) (en japonés). Baifukan. OCLC  674186011.
  4. ^ Griffiths, David J. (2013). Introducción a la electrodinámica (PDF) . Siempre aprendiendo (4.ª ed.). Boston: Pearson . p. 34. ISBN. 978-0-321-85656-2.
  5. ^ abcdefg Conlon, Lawrence (2008). Variedades diferenciables. Clásicos modernos de Birkhäuser (2. ed.). Boston ; Berlín: Birkhäuser . ISBN 978-0-8176-4766-7.
  6. ^ abcde Lee, John M. (2012). Introducción a las variedades suaves. Textos de posgrado en matemáticas. Vol. 218 (2.ª ed.). Nueva York; Londres: Springer . ISBN 978-1-4419-9982-5.
  7. ^ Stewart, James (2010). Cálculo esencial: trascendentales tempranos. Australia; Estados Unidos: Brooks/Cole . ISBN 978-0-538-49739-8.
  8. ^ de Robert Scheichl, notas de clase para el curso de matemáticas de la Universidad de Bath
  9. ^ Pérez-Garrido, A. (1 de mayo de 2024). "Recuperación de teoremas poco utilizados del cálculo vectorial y su aplicación a problemas de electromagnetismo". American Journal of Physics . 92 (5): 354–359. arXiv : 2312.17268 . doi :10.1119/5.0182191. ISSN  0002-9505.
  10. ^ Colley, Susan Jane (2012). Cálculo vectorial (PDF) (4.ª ed.). Boston: Pearson. pp. 500–3. ISBN 978-0-321-78065-2.OCLC 732967769  .
  11. ^ Edwards, Harold M. (1994). Cálculo avanzado: un enfoque de formas diferenciales (3.ª ed.). Boston: Birkhäuser. ISBN 978-0-8176-3707-1.
  12. ^ Pontryagin, LS (1959). "Variedades suaves y sus aplicaciones en la teoría de la homotopía" (PDF) . Traducciones de la American Mathematical Society: Serie 2. 11. Traducido por Hilton, PJ Providence, Rhode Island: American Mathematical Society : 1–114. doi :10.1090/trans2/011/01. ISBN . 978-0-8218-1711-7.Sr. 0115178  .Véanse los teoremas 7 y 8.