Fundamentos matemticos para un curso de Fsica

Longitud de arco

Dada una curva suficientemente suave (diferenciable y de clase C ()), en y dado su vector de
posicin r(t) expresado mediante el parmetro t;

se define el llamado parmetro de arco s como:

La cual se puede expresar tambin de la siguiente forma en la cual resulta ms fcil de recordar:

Lo cual permite reparametrizar la curva de la siguiente manera:

donde:

son las relaciones entre las dos parametrizaciones.

Vectores tangente, normal y binormal: Triedro de Frnet-Serret

Vista esquemtica del vector tangente, vector normal y vector binormal de una curva espiral.

1
Dada una curva parametrizada r(t) segn un parmetro cualquiera t se define el llamado vector
tangente, normal y binormal como:

bien

bien

bien

Estos tres vectores son unitarios y perpendiculares entre s, juntos configuran un sistema de referencia
mvil conocido como Triedro de Frnet-Serret a raiz del estudio de Jean Frenet y Joseph Serret. Es
interesante que para una partcula fsica desplazndose en el espacio, el vector tangente es paralelo a la
velocidad, mientras que el vector normal da el cambio direccin por unidad de tiempo de la velocidad o
aceleracin normal.

Si la curva est parametrizada segn la longitud de arco, como se explic en la seccin anterior las
frmulas anteriores pueden simplificarse notablemente:

Donde la curvatura y la torsin son precisamente los parmetros y anteriores.

Curvatura y torsin

La curvatura es una medida del cambio de direccin del vector tangente a una curva, cuanto ms
rpido cambia ste a medida que nos desplazamos a lo largo de la curva, se dice, que ms grande es la
curvatura. Para una curva parametrizada cualquiera la curvatura es igual a:

Si la curva est parametrizada por el parmetro de longitud de arco, la anterior ecuacin se reducen a:

Adems de la curvatura se suele definir el llamado radio de curvatura, como el inverso de la curvatura.

La torsin es una medida del cambio de direccin del vector binormal: cuanto ms rpido cambia, ms
rpido gira el vector binormal alrededor del vector tangente y ms retorcida aparece la curva. Por lo
2
tanto, para una curva totalmente contenida en el plano la torsin es nula ya que el vector binormal es
constantemente perpendicular al plano que la contiene. Para el caso general la torsin viene dada por:

Si la curva est parametrizada por el parmetro de longitud de arco, la anterior ecuacin se reduce
simplemente a:

Plano osculador

El plano osculador es el plano que contiene en cada punto de la curva a su vector tangente y a su vector
normal. Para una partcula desplazndose en el espacio el plano osculador coincide con el plano que en
cada instante contiene a la aceleracin y la velocidad. La ecuacin de este plano viene dada por:

Donde:

, el punto de la trayectoria.
, el vector velocidad en el punto considerado.
, las coordenadas de un punto genrico del plano osculador.

3
Centro de curvatura

En un entorno de un punto de una curva puede ser aproximado por un crculo, llamado crculo
osculador por estar contenido en el plano osculador. El radio del crculo osculador coincide con el radio
de curvatura (inverso de la curvatura). El centro de dicho crculo puede buscarse como:

O ms sencillamente en funcin del parmetro de arco como:

Teorema fundamental de curvas

El teorema fundamental de curvas que enunciamos a continuacin nos dice que conocido un punto de
una curva y su vector tangente, la curva queda totalmente especificada si se conoce la funcin de
curvatura y de torsin. Su enunciado es el siguiente:

Sea un intervalo. Dadas dos funciones continuas y de a y dado un sistema de referencia

fijo (ortonormal) de , {x0; e1, e2, e3}, entonces existe una nica curva parametrizada de ,
y tales que:

1. La curva pasa por x0, y el vector tangente T a la curva en ese punto coincide con e1.
2. A lo largo de la curva pueden definirse tres campos vectoriales T(s), N(s) y B(s) llamados
respectivamente vector tangente, normal y binormal, perpendiculares entre s y tales que en el
punto inicial coinciden con e1, e2, e3 (es decir, T(0) = e1, N(0) = e2, B(0) = e3).
3. Se cumplen las siguientes ecuaciones:

4
O bien escrito matricialmente

donde el punto es la derivada con respecto al arcoparmetro s.

Esto tiene implicaciones fsicas interesantes, por ejemplo, la trayectoria de una partcula queda
especificada si se conocen la posicin inicial, la velocidad inicial y la variacin en el tiempo de las
derivadas segundas (que estn relacionadas con la curvatura y la torsin). Es por eso por lo que las
leyes de Newton o las ecuaciones de Euler-Lagrange se expresan en trminos de derivadas de segundo
orden (que es necesario complementar con la posicin y velocidades iniciales).

Geometra diferencial de superficies

Las curvaturas principales en un punto de una superficie.

En matemticas, la geometra diferencial de superficies propone definiciones y mtodos para analizar

la geometra de superficies o variedades diferenciales de dos dimensiones inmersas en variedades de
Riemann y, en particular, en el Espacio Eucldeo.

Aqu se tratar de las superficies en .

5
Ecuacin paramtrica de una superficie

Puesto que una superficie en es una variedad diferenciable de dimensin dos, en un entorno V de
una superficie las coordenadas de cualquier punto de V pueden escribirse en funcin de dos parmetros:

Un punto Q = (u0, v0) se llama regular si en l se cumple que:

Esto es equivalente a pedir que el jacobiano del mapeo r (que va desde el dominio V en a ) tiene
rango mximo, es decir, es igual a dos. As se asegura la existencia del espacio tangente en cada punto
de la superficie.

Plano tangente

Dada una superficie de y un punto se define como el nico plano

geomtrico de que contiene al punto y (localmente) no interseca a la superficie en ningn otro
punto. La ecuacin analtica de este plano puede expresarse con ayuda de la ecuacin paramtrica de
una superficie:

Ms sencillamente el plano anterior puede escribirse como el conjunto que satisface la

siguiente ecuacin:

Aqu, se ha usado la simplificacin de notacin ,... etc

Vector normal a la superficie

Un vector se dice normal a una superficie en un punto si es perpendicular al plano tangente en dicho
punto de la superficie. Esa propiedad nos dice que un vector normal es perpendicular a cualquier otro
vector contenido en el plano tangente. Si tomamos dos vectores diferentes y tangentes a la superficie en
un punto su producto vectorial ser perpendicular a ambos y por tanto perpendicular a cualquier
combinacin lineal de ambos, es decir, perpendicular a todo el plano generado por estos dos vectores.
Podemos aprovechar esa propiedad para calcular el vector normal simplemente como el producto
6
vectorial de los dos vectores linealmente independientes dados por la parametrizacin de la superficie.
As el vector normal puede calcularse como:

Si se conoce en cambio la ecuacin de la superficie f(x, y, z) = 0 entonces el vector normal se calcula

simplemente como:

Primera forma fundamental

La primera forma fundamental I es un tensor 2-covariante, simtrico y definido sobre el espacio

tangente a cada punto de la superficie S. Esta primera forma fundamental de hecho es el tensor mtrico
inducido por la mtrica eucldea sobre la superficie. De hecho (S, I) constituye una variedad de
Riemann con tensor mtrico I. Gracias a la primera forma fundamental podemos estimar longitudes de
curvas definidas sobre la superficie, ngulos de interseccin entre curvas y el resto de conceptos
mtricos habituales. Por razones histricas las componentes de la primera forma fundamental se
designan por E, F y G:

Adems la forma cuadrtica anterior es definida positiva, lo que implica que EG-F2 > 0. La primera
forma anterior puede escribirse como una combinacin lineal de productos tensoriales de las 1-formas
coordenadas conforme a:

Estas pueden calcularse explcitamente a partir de la parametrizacin:

Longitud de una curva

Dada una curva C contenida totalmente en una superficie S sus ecuaciones paramtricas podrn
expresarse mediante:
7
La longitud de esta curva puede expresarse por una integral de las derivadas de las funciones u y v y las
componentes de la primera forma fundamental:

ngulo entre dos curvas

Similarmente dadas dos curvas C1 y C2 que intersectan en un punto P0 y cuyas ecuaciones paramtricas
son:

El ngulo formado por las dos curvas en el punto de interseccin viene definido por la ecuacin:

Donde las derivadas se evalan para los valores de parmetro t1 y t1 tales que
. En particular el ngulo formado por las lneas coordenadas asociadas al
sistema de coordenadas (u, v) viene dado por:

En particular el sistema de coordenadas se llama ortogonal si las lneas coordenadas son ortogonales
(perpendiculares) entre s en cada punto, eso sucede s y solo s F = 0.

rea de una regin sobre la superficie

Dada una regin contenida en una superficie se define su rea como:

8
Si la superficie viene dada por la funcin explcita z = f(x, y) entonces lo anterior se puede escribir
sencillamente como:

Segunda forma fundamental

La segunda forma fundamental II de una superficie es la proyeccin sobre el vector normal a la

superficie de la derivada covariante inducida por el tensor mtrico o primera forma fundamental. Puede
probarse, que esta segunda forma fundamental resulta ser un tensor 2-covariante y simtrico (es decir,
da lugar a una forma bilineal definida sobre el espacio tangente a la superficie). Por razones histricas
las componentes de la segunda forma fundamental se designan por L, M y N:

Fijado un entorno de la superficie parametrizado por las variables la segunda forma fundamental
se escribe tambin, resultando un tensor de rango dos, como la siguiente combinacin lineal:

de productos tensoriales de las 1-formas coordenadas . Las componentes de la segunda forma

fundamental pueden calcularse explcitamente a partir de las coordenadas paramtricas:

Curvatura normal y geodsica

Cuando se tiene una curva sobre una superficie esta puede ser vista tambin como curva de a la que
les son aplicables tanto las frmulas de la geometra diferencial de curvas como las de la geometra
diferencial de superficies. Eso permite relacionar la curvatura total de la curva con la curvatura de la
curva vista o medida por un "habitante" de la superficie. En concreto la curvatura total () de una
curva (t) puede ser descompuesta entre la curvatura medible desde la superficie, llamada curvatura
normal (kn) y la curvatura no medible desde la superficie, llamada curvatura geodsica (kg), de hecho
se cumple que:
9
Donde la curvatura geodsica y normal pueden calcularse a partir del ngulo que forman el vector
normal a la superifice y el vector normal a la curva (n):

La aceleracin de cualquier punto material puede ser descompuesta en aceleracin tangencial y

aceleracin normal. Si adems el punto se mueve sobre la superficie, la aceleracin normal puede
descomponerse en aceleracin propiamente normal y aceleracin geodsica (debida al seguimiento que
el punto hace de la superficie):

Donde son respectivamente el vector tangente a la curva, el vector normal a la curva y el

vector normal a la superficie. Esa ecuacin muestra que las lneas geodsicas a la superficie son
precisamente aquellas curvas para las cuales su curvatura total coincide con su curvatura geodsica.
Las curvaturas normal y geodsica de una curva sobre una superficie puden calcularse a partir
fcilmente a partir de los vectores tangentes al a curva y las normales a la curva y la superficie:

Curvaturas principales

Si se considera un punto P0 de la superficie y toda una coleccin de curvas contenidas en la superficie

que pasan por P0 se observa que la curvatura normal kn de cualquiera de estas curvas en P0 vara entre
dos valores extremos k1 < kn < k2. Estos dos valores de hecho son las soluciones ki de la siguiente
ecuacin:

Un punto se llama umbilical si en l k1 = k2. Para un punto no-umbilical P0 las direcciones tangentes a
10
la superficie para las cuales se alcanza el mximo y el mnimo de la curvatura normal son siempre
ortogonales. En cada punto estas dos direcciones ortogonales se llaman direcciones principales de
curvatura. Una condicin necesaria y suficiente para que la direccin dada por un vector sea
principal es que si:

Entonces que esa direccin sea direccin principal de curvatura implica que:

Lneas de curvatura

Curvatura gaussiana

Tres superficies con curvatura gaussiana negativa (izquierda), cero (centro) y positiva (derecha).

La curvatura gaussiana de una superficie es una nmero real K(P0) que mide la curvatura intrnseca
en cada punto regular P0 de una superficie. Esta curvatura puede calcularse a partir de los
determinantes de la primera y segunda formas fundamentales de la superficie:

Esta curvatura gaussiana en general vara de un punto a otro de la superficie y est relacionada con las
curvaturas principales de cada punto (k1 y k2), mediante la relacin K = k1k2.

Un caso interesante de superficie es la esfera, que tiene la misma curvatura en todos sus puntos.
Calculando la curvatura de Gauss de una esfera (2-esfera). A partir de la frmula anterior se llega
fcilmente a que para una esfera de radio r, la curvatura gaussiana es igual en todos los puntos e igual a
.

11
Si bien observamos que hay superficies que tienen curvatura constante, la curvatura gaussiana debe
verse como una relacin donde (una funcin diferenciable
sobre S) que asigna a cada superficie su funcin de curvatura gaussiana.
La manera actual de definir la curvatura gaussiana es mediante el operador de forma (del ingls shape
operator) de la superficie S:

, definido mediante

Donde son los vectores tangentes coordenados y estn siendo evaluados en la posicin p.

Con la derivada (jacobiano) del operador de forma

se obtiene una transformacin lineal auto-adjunta - llamada transformacin de Weingarten - y as, la

curvatura gaussiana es determinante de L, i.e.

Es relativamente fcil verificar que coincide con la definicin dada arriba.

En trminos de los componentes del tensor de curvatura de Riemann para las 2-variedad diferenciables,
uno encuentra la relacin

Ejemplo: La curvatura gaussiana de un toro es donde se ha usado la parametrizacin:

Radio de curvatura

El radio de curvatura es una magnitud que mide la curvatura de un objeto geomtrico tal como una
lnea curva, una superficie o ms en general una variedad diferenciable embebida en un espacio
eucldeo.

Lneas Curvas

12
El radio de curvatura de una lnea curva o un objeto aproximable mediante una curva es una
magnitud geomtrica que puede definirse en cada punto de la misma que coincide con el inverso de la
curvatura en cada punto:

Por otro lado la curvatura es una medida del cambio que sufre la direccin del vector tangente a una
curva cuando nos movemos a lo largo de sta. Para una curva parametrizada cualquiera la curvatura y
el radio de curvatura vienen dados por:

Si en lugar de un parmetro cualquiera usamos el parmetro de longitud de arco, la anterior ecuacin se

simplica mucho, por resultar un vector tangente constante, y puede escribirse como:

Curvas planas

Para una curva plana cuya ecuacin pueda escribirse en coordenadas cartesianas como
el radio de curvatura se puede calcular simplemente como:

Superficies

Una superficie embebida en el espacio eucldeo tridimensional se caracteriza en cada uno de sus puntos
por dos radios de curvatura. El centro de ambos radios de curvatura est situado sobre la recta que
contiene al vector normal a la superficie. Si los dos radios de curvatura son finitos entonces se tiene:

En un punto elptico de una superficie, los dos centros de curvatura estn situados del mismo
lado de la superficie, la curvatura gaussiana es positiva.
En un punto hiberblico de una superficie, los dos centros de curvatura estn situados en
diferentes lados de la superficie, la curvatura gaussiana es negativa.
En un punto parablico de una superficie, uno de los radios de curvatura es inifinito.

Teorema de la divergencia

13
En clculo vectorial, el teorema de la divergencia, tambin llamado teorema de Gauss o teorema de
Gauss - Ostrogradsky, es un teorema que relaciona la divergencia de un campo vectorial con el valor
de la integral de superficie del flujo definido por este campo. Es un resultado importante en fsica,
sobre todo en electrosttica y en dinmica de fluidos.

Enunciado

Sean y dos subconjuntos abiertos en donde es simplemente conexo y el borde de ,

es una superficie regular o regular a trozos.

Sea , un campo vectorial de clase , es decir, cuenta con derivadas parciales de

primer orden continuas.

Entonces:

donde los vectores normales a la superficie son exteriores al volumen .

Este resultado es una consecuencia natural del Teorema de Stokes, el cual generaliza el Teorema
fundamental del clculo. El teorema fue enunciado por el matemtico alemn Carl Friedrich Gauss en
1835, pero no fue publicado hasta 1867. Debido a la similitud matemtica que tiene el campo elctrico
con otras leyes fsicas, el teorema de Gauss puede utilizarse en diferentes problemas de fsica
gobernados por leyes inversamente proporcionales al cuadrado de la distancia, como la gravitacin o la
intensidad de la radiacin. Este teorema recibe el nombre de ley de Gauss y constituye tambin la
primera de las ecuaciones de Maxwell.

Ejemplo de aplicacin

14
Esfera de radio 2

Hallar el flujo del campo: a travs de la superficie esfrica:

Resolucin:

Sea , esto quiere decir que tiene derivadas parciales de primer orden continuas. Por
la ecuacin de la esfera se sabe que el radio: .

Entonces:

Luego:

15
Teorema de Stokes
El teorema de Stokes en geometra diferencial es una proposicin sobre la integracin de formas
diferenciales que generaliza varios teoremas del clculo vectorial. Se nombra as por George Gabriel
Stokes (1819-1903), a pesar de que la primera formulacin conocida del teorema fue realizada por
William Thomson y aparece en una correspondencia que l mantuvo con Stokes.

Introduccin

El teorema fundamental del clculo establece que la integral de una funcin f en el intervalo [a, b]
puede ser calculada por medio de su antiderivada F de f:

El teorema de Stokes es una generalizacin de este teorema en el siguiente sentido:

Para la F elegida, . En el lenguaje de las formas diferenciales es decir que f(x) dx es

la derivada exterior de la 0-forma (como por ejemplo una funcin) F: dF = f dx. El teorema
general de Stokes aplica para formas diferenciales mayores en vez de F.

En un lenguaje matemtico, el intervalo abierto (a, b) es una variedad matemtica

unidimensional. Su frontera es el conjunto que consiste en los dos puntos a y b. Integrar f en ese
intervalo puede ser generalizado como integrar formas en una variedad matemtica de mayor
orden. Para esto se necesitan dos condiciones tcnicas: la variedad matemtica debe ser
orientable, y la forma tiene que ser compacta de manera que otorgue una integral bien definida.

Los dos puntos a y b forman parte de la frontera del intervalo abierto. Ms genricamente, el
teorema de Stokes se aplica a variedades orientadas M con frontera. La frontera M de M es una
variedad en s misma y hereda la orientacin natural de M. Por ejemplo, la orientacin natural
del intervalo da una orientacin de los dos puntos frontera. Intuitivamente a hereda la
orientacin opuesta a b, al ser extremos opuestos del intervalo. Entonces, integrando F en los
dos puntos frontera a, b es equivalente a tomar la diferencia F(b) F(a).

Por lo que el teorema fundamental se escribe:

Formulacin general
16
Sea M una variedad de dimensin n diferenciable por trozos orientada compacta y sea una forma
diferencial en M de grado n-1 y de clase C. Si M denota el lmite de M con su orientacin inducida,
entonces

aqu d es la derivada exterior, que se define usando solamente la estructura de variedad. El teorema
debe ser considerado como generalizacin del teorema fundamental del clculo y, de hecho, se prueba
fcilmente usando este teorema.

El teorema se utiliza a menudo en situaciones donde M es una subvariedad orientada sumergida en una
variedad ms grande en la cual la forma se define.

El teorema se extiende fcilmente a las combinaciones lineales de las subvariedades diferenciables por
trozos, las, as llamadas, cadenas. El teorema de Stokes demuestra entonces que las formas cerradas
definidas mdulo una forma exacta se pueden integrar sobre las cadenas definidas mdulo borde. sta
es la base para el apareamiento entre los grupos de homologa y la cohomologa de de Rham.

El clsico teorema de Kelvin-Stokes

que relaciona la integral de superficie del rotacional del campo vectorial sobre una superficie en el 3-
espacio euclidiano a la integral de lnea del campo vectorial sobre su borde, es un caso especial del
teorema de Stokes generalizado (con n = 2) una vez que identifiquemos el campo vectorial con una 1-
forma usando la mtrica en el 3-espacio euclidiano.

Asimismo el teorema de Ostrogradsky - Gauss o Teorema de la divergencia:

es un caso especial si identificamos un campo vectorial con la n-1 forma obtenida contrayendo el
campo vectorial con la forma de volumen euclidiano.

El teorema fundamental del clculo y el teorema de Green son tambin casos especiales del teorema de
Stokes generalizado.

La forma general del teorema de Stokes que usa formas diferenciales es de ms alcance que los casos
especiales, por supuesto, aunque los ltimos son ms accesibles y a menudo son considerados ms
convenientes por fsicos e ingenieros.

Otra forma de escribir el mismo teorema es la siguiente:

17
Donde es un vector cualquiera.

Establece que la integral de superficie del rotacional de un campo vectorial sobre una superficie abierta
es igual a la integral cerrada del Campo vectorial a lo largo del contorno que limita la superficie.

Teorema de Green

En fsica y matemticas, el teorema de Green da la relacin entre una integral de lnea alrededor de
una curva cerrada simple C y una integral doble sobre la regin plana D limitada por C. El teorema de
Green se llama as por el cientfico britnico George Green y es un caso especial del ms general
teorema de Stokes. El teorema afirma:

Sea C una curva cerrada simple positivamente orientada, diferenciable por trozos, en el plano y
sea D la regin limitada por C. Si L y M tienen derivadas parciales continuas en una regin
abierta que contiene D, entonces

A veces la notacin

se utiliza para establecer que la integral de lnea est calculada usando la orientacin positiva
(antihoraria) de la curva cerrada C.

Prueba del teorema de Green cuando D es una regin simple

18
Si demostramos que las ecuaciones 1 y 2

son correctas, probamos el teorema de Green.

Si expresamos D como regin tal que:

donde g1 y g2 son funciones continuas, podemos computar la integral doble de la ecuacin 1:

Ahora particionamos C como la unin de cuatro curvas: C1, C2, C3, C4.

Con C1, se utilizan las ecuaciones paramtricas, x = x, y = g1(x), a x b. Por lo tanto:

19
Con C3, se utilizan las ecuaciones paramtricas, x = x, y = g2(x), a x b. Entonces:

Con C2 y C4, x es una constante, significando:

Por lo tanto,

Combinando esto con la ecuacin 4, tenemos:

Una prueba similar se puede emplear en la Eq.2.

Relacin con el teorema de la divergencia

El teorema de Green es equivalente a la siguiente analoga bidimensional del teorema de la
divergencia:

donde es el versor normal saliente en la frontera.

Para ver esto, considere la unidad normal en la parte derecha de la ecuacin. Como es
un vector apuntando tangencialmente a travs de una curva, y la curva C est orientada de manera
positiva (es decir, en contra del sentido de las agujas del reloj) a travs de la frontera, un vector normal
saliente sera aquel que apunta en 90 hacia la derecha, el cual podra ser . El mdulo de

este vector es . Por lo tanto .

20
Tomando los componentes de , el lado derecho se convierte en

que por medio del teorema de Green resulta:

21