UNIVERSIDAD NACIONAL PEDRO RUIZ GALLO

PROYECTO DE INVESTIGACION
CIENTIFICA Y TECNOLOGICA

I.ASPECTO INFORMATIVO

1.1 Ttulo: Integrales de Superficie

1.2. Autor(es):
Gonzales Eneque Yuliana
Pinedo Semprtegui Edgard Ulises

1.3. Asesor: Jos Chiroque Baldera.

Jchiroque@unprg.edu.pe

1.4. rea de Investigacin: Matemtica.

Sub rea: Anlisis Matemtico.
Lnea: Representacin de una superficie

1.5. Lugar de Ejecucin: Ambientes de la FACFYM UNPRG

1.6. Duracin Estimada:

Fecha de Inicio:

Fecha de Culminacin:
II.ASPECTO DE LA INVESTIGACION

2.1. Planteamiento del problema cientfico.

El objeto del presente tema es el estudio de la integral de supercie. Podemos
considerar esta nueva integral como el equivalente bidimensional de la integral
de lnea, siendo la regin de integracin una supercie en vez de una curva.

Comenzaremos el tema abordando el estudio de los objetos matemticos de R3

conocidos como supercies. Estos objetos han aparecido ya con anterioridad,
por ejemplo como grcas de algunas funciones.

El estudio de las supercies tridimensionales es interesante en s mismo y su

anlisis en profundidad corresponde a la rama de las matemticas conocida
como geometra diferencial. No pretendemos aventurarnos aqu en este anlisis;
simplemente daremos una denicin formal, estudiaremos algunos casos
particulares y precisaremos la propiedad de orientabilidad que presentan
algunas de ellas, limitndonos, en denitiva, a recopilar el material necesario
para trabajar con las supercies como regiones de integracin y establecer a su
debido tiempo los dos teoremas ms importantes en este nuevo contexto: el
teorema de Stokes y el teorema de Gauss.

2.2. REVISION BIBLIOGRAFICA:

ANTECEDENTES:

BASE TEORICA:

FUNCIONES O AP LICACIONES:

Una funcin : consta de tres partes:

Un conjunto X llamado el dominio de la funcin: X=Dom(f)

Un conjunto Y llamado el contra dominio de f: Y=Ran(f)
Un regla de correspondencia que permite asociar, de modo
bien definido a cada elemento un nico elemento () =
.

Es decir : esta bien definida si , , = () =

() .
2.3FORMULACIN DEL PROBLEMA CIENTFICO:

Cmo reconocer, conceptualizar y definir Integrales sobre superficies?

2.4 OBJETIVOS:

Conocer, demostrar y fundamentar las integrales de superficie con sus

respectivos conceptos, definiciones y teoremas de los cuales
desarrollaremos el siguiente proyecto.

Identificar fsicamente las grficas de las integrales de

superficie interpretar analticamente.

Estudiar en que parte de las ramas de las ingenieras podemos aplicar las
integrales de superficie.

2.5 JUSTIFICACION E IMPORTANCIA:

El trabajo de investigacin a desarrollar a continuacin sobre La Integral de

Superficies se justifica ya que es un conocimiento interesante y abierto a muchas
aplicaciones, mediante este nuevo e interesante tema se va a tratar de analizar
el rol que cumple el gradiente en el clculo vectorial.

La Integral de Superficie, es de gran importancia, pues en el desarrollo de la

nocin de gradiente que es de naturaleza geomtrica radica en que es la
generalizacin de derivada a funciones de ms
de una variable es importante en el desarrollo de la temtica de la cual la
siguiente investigacin tomaremos los diferentes teoremas como el de el
teorema de Green, el teorema Gauss y tambin el teorema de Stokes.
La Integral de Superficies tiene aplicaciones a nuevas ramas. Con respecto a la
Fsica, el gradiente posee bastantes aplicaciones especialmente en
electromagnetismo y mecnica de fluidos. En qumica aparece el gradiente
electroqumico que contiene una nocin matemtica de lo que es gradiente y
bsicamente indica cul es la direccin en la que cambia ms rpidamente la
concentracin y el potencial elctrico de una solucin no homognea. En
ingeniera aparece el gradiente geomtrico y aritmtico.

2.6 HIPOTESIS:

Si estudiamos de manera adecuada y eficientemente las Integrales de Superficie

podremos reconocer, demostrar y fundamentar sus conceptos y definiciones
dadas con respecto al tema. Tal que al conocer nuestro tema de manera
adecuada podemos abrirnos de manera positiva a sus aplicaciones y utilidades
en las ramas de otras ciencias.

APLICACIONES CONTINUAS

Sea : , es continua en > 0, > 0:

; | | < () () < .

HOMEOMORFISMO

Sea , la aplicacin : es un homeomorfismo

entre X e Y, si:

es biyectiva.
es continua.
Su inversa 1 : es continua.

LMITES:

Introduccin: El lmite de la funcin f(x) en el punto x 0 , es el valor al

que se acercan las imgenes ( y) cuando los elementos del conjunto
de partida(x) se acercan al valor x 0 . Es decir el valor al que tienden
las imgenes cuando los elementos del conjunto de partida tienden
a x0.

Definimos: Se dice que la funcin f(x) tiene como lmite el

nmero L, cuando x tiende a x 0 , si fijado un nmero real positivo ,
mayor que cero, existe un numero positivo dependiente de , tal
que, para todos los valores de x distintos de x 0 que cumplen la
condicin |x x 0 | < , se cumple que |f(x) L| < .

Es decir:
Lmites al Infinito:

Lmite al +: Una funcin f(x) tiene por lmite + cuando x a, si fijado un

nmero real positivo K > 0 se verifica que f(x) > k para todos los valores prximos
a a.

Ejemplo:

Lmite al -: Una funcin f(x) tiene por lmite - cuando x a, si fijado un

nmero real negativo K < 0 se verifica que f(x) < k para todos los valores
prximos a a.
Ejemplo:

Propiedades de Lmites:

Lmite de una constante:

Lmite de una suma:

Lmite de un Producto:

Lmite de un Cociente:

Lmite de una Potencia:

Lmite de una Funcin:

; g puede ser una raz, log, sin, coz,

tg, etc.

Lmite de una Raz:

 Lmite de un Logaritmo:

Notas:

Toda aplicacin continua : lipschitziana es

continua.
Toda Transformacin Lineal : es lipschitziana, por
tanto es continua.
Toda aplicacin bilineal : es continua.
Una aplicacin : , es uniformemente continua
> 0, > 0: , ; | | < () () < .
La restriccin |[, ]: [, ] + es
lipschitziana.

DERIV AD A:

Derivada de una funcin en un punto: La derivada de la funcin f(x) en

el punto x = a es el valor del lmite, si existe, de un cociente incremental cuando
el incremento de la variable tiende a cero.

Funcin Derivada: La funcin derivada de una funcin f(x) es una funcin

que asocia a cada nmero real su derivada, si existe. Se denota por f'(x).

Interpretacin Geomtrica de la Derivada: Cu a n do h t ie n de a 0,

e l p un t o Q t ien de a co nf u n d irse co n e l P . E n to n ce s la rec ta
s e ca nte t ie nd e a se r la re c ta ta ngente a la f un ci n f (x) e n P , y
p o r t an t o e l ngulo ti e nde a s e r .
L a pe ndie nte de la t an ge n t e a la cu rva e n u n p un t o e s igu a l a
la de r i va da d e la f u n ci n e n e se p unt o :

m t = f' (a )

Observacin: A l d e riva r la de riva d a d e un a f un ci n (d e la

de r i va da pri me ra ) , o b t en em o s un a n ue va f u n cin qu e se
lla m a de ri va da s egunda , f' ' (x ) . S i vo lve m o s a d e riva r o b t en em os
la de r i va da te rc era , f' ' ' (x ) . S i de riva m o s o t ra ve z o b t e ne mo s
la c ua rta de ri va da f' v (x ) y a s su cesiva m e n t e h a st a la qu e re cibe
e l n om b re d e de riva da e n s i ma , f ( n ) (x ).

Si una funcin es derivable en un punto x=a, entonces es continua

para x=a. mas el reciproco es falso.

INTEGRACIN

Integrar es el proceso recproco del de derivar, es decir, dada una funcin f(x),
busca aquellas funciones F(x) que al ser derivadas conducen a f(x).

Se dice, entonces, que F(x) es una primitiva o antiderivada de f(x); dicho de

otro modo las primitivas de f(x) son las funciones derivables F(x) tales que:

F'(x) = f(x).
Si una funcin f(x) tiene primitiva, tiene infinitas primitivas, diferencindose
todas ellas en una constante.

[F(x) + C]' = F'(x) + 0 = F'(x) = f(x)

Integral Indefinida

Es el conjunto de las infinitas primitivas que puede tener una funcin.

Se representa por f(x) dx.

Se lee: integral de f de x diferencial de x.

es el signo de integracin,f(x) es el integrando o funcin a integrar.

dx es diferencial de x, e indica cul es la variable de la funcin que se

integra. Donde C es la constante de integracin y puede tomar cualquier
valor numrico real.

Si F(x) es una primitiva de f(x) se tiene que:

f(x) dx = F(x) + C

Para comprobar que la primitiva de una funcin es correcta basta

con derivar.

Propiedades de la Integral Indefinida:

1. La integral de una suma de funciones es igual a la suma de las
integrales de esas funciones: [f(x) + g(x)] dx = f(x) dx + g(x) dx
2. La integral del producto de una constante por una funcin es igual
a la constante por la integral de la funcin: k f(x) dx = k f(x) dx

Integral Definida
Dada una funcin f(x) y un intervalo [a,b], la integral definida es igual al rea
limitada entre la grfica de f(x), el eje de abscisas, y las rectas verticales x =
a y x = b.
La integral definida se representa por .

es el signo de integracin.

a) lmite inferior de la integracin.

b) lmite superior de la integracin.

c) f(x) es el integrando o funcin a integrar.

e) dx es la diferencial de x, e indica cul es la variable de la funcin que se

integra.

Propiedades de la Integral Definida:

1. El valor de la integral definida cambia de signo si se permutan los lmites

de integracin:
2. Si los lmites que integracin coinciden, la integral definida vale cero:

3. Si c es un punto interior del intervalo [a, b], la integral definida se

descompone como una suma de dos integrales extendidas a los intervalos

[a, c] y [c, b]:

4. La integral definida de una suma de funciones es igual a la suma de

integrales:
5. La integral del producto de una constante por una funcin es igual a la

constante por la integral de la funcin:

Funcin Integral:

Sea f(t) una funcin continua en el intervalo [a, b]. A partir de esta funcin se

define la funcin integral:

Geomtricamente la funcin integral, F(x), representa el rea del recinto

limitado por la curva y = f(t), el eje de abscisas y las rectas t = a y t = x.

CONCATENACION DE CAMINOS:

Un camino : [, ] es la concatenacin de dos caminos 1 2 , si

< , > 1 = |[, ] 2 = |[, ].

Observacin:

3 Si es la concatenacin 1 2 denotaremos = 1 2 .
4 = 1 2 tiene sentido 1 2 tienen un punto en comn <
, > 1 () = 2 (). Esto significa que el orden de las
Parcelas (tramos) es importante.

Dado un camino : [, ] = { = 0 < 1 < 2 < < = } un

particin de [a,b].

es la concatenacin de los caminos 1 , 2 , , , , = 1,2, , ,

= |[1, ] = 1 2 .
CAMPOS ESCALARES Y CAMPOS VECTORI ALES:

Introduccin: En la realidad es natural trabajar con magnitudes

escalares y vectoriales en regiones planas o del espacio.

Definicin de un Campo Escalar y Campo Vectorial: Sea A un

conjunto conexo.

Un Campo Escalar es una funcin real de varias variables en

la que a cada punto de su dominio se le asigna el valor que
toma una determinada magnitud escalar sobre dicho punto:
:

Un Campo Vectorial es una funcin vectorial de varias

variables en la que a cada punto de su dominio se le asigna el
vector correspondiente a una determinada magnitud vectorial
que acta sobre dicho punto:
:

Ejemplos de Campos escalares y vectoriales:

1. Campos escalares:
a. Los que proporcionan la densidad.
b. Los que proporcionan la temperatura.
c. Los que proporcionan la altura, etc.
2. Campos Vectoriales:
a. Campos de Fuerzas:
i. Campos Elctricos.
ii. Campos Gravitatorios, etc.
b. Campos de Velocidades:
i. Movimiento del viento junto a una superficie
aerodinmica.
ii. Corrientes Ocenicas.
iii. Velocidad de un fluido, etc.
c. Campos de Flujo: El que describe el flujo del Calor, etc.
SUPERFICIES

Introduccin: Informalmente hablando, una superficie es el lugar

geomtrico de un punto que se desplaza en el espacio
tridimensional. Es decir una Superficie es el grfico de una ecuacin
de tres variables.

Podemos representar una superficie de tres formas diferentes:

o Representacin Implcita: Un superficie es el lugar

geomtrico de los puntos (, , ) 3 tales que (, , ) = 0 para
cierto campo escalar F.
o Representacin Explcita: Es una ecuacin de la forma =
(, ), obtenida cuando podemos despejar una de las variables
en funcin de las otras dos de nuestra expresin implcita.
o Representacin Paramtrica o Vectorial: Es una terna de
ecuaciones = (, ); = (, ); = (, ) que podemos
expresar vectorialmente en la forma: (, ) = (, ) + (, ) +
(, ) donde (, ) varia en un conjunto conexo 2 , tal que
, , son continuas en T.
INTRODUCCIN A LAS INTEGRALES DE SUPERFICIES

Abarcaremos el tema de Integrales de Superficie tratando de llevar nuestro

estudio de una manera ms adecuada y sencilla, por tanto decimos que dada
una funcin vectorial arbitraria (, ) = (, ) + (, ) + (, ) de
parmetros (, ) la mapearemos para poder llegar a una Superficie ,
tal que dicha superficie al dividirla de manera adecuada segn
nuestras definiciones previas podemos definir lo q ue es la Integral
de Superficie, tomando como bordes de la superficie la frontera de
nuestra funcin de parmetros (, ).
Mapeando toda la regin para poder llegar a nuestra superficie completa
aleatoria.

Tal que para poder seguir y llegar a definir la Integral de Superficies hacemos
uso del producto cruz de vectores para poder hallar el rea del paralelogramo de
la siguiente manera:

Tomando el producto cruz de ambos vectores: || = rea del paralelogramo

definido por tal que formamos rectngulos.

Por consiguiente obtenemos infinitsimos rectngulos

(Pequeo cambio en la superficie) de la cual podemos obtener el rea de la
Superficie a travs de la suma de todos los paralelogramos:

= ,
Cuya magnitud es:

= | | = | |

Definiendo la Integral:

= | |

Y al definir una funcin sobre nuestra Superficie dada tenemos la Integral:

(, , ) = (, , ) | |

Llegando a tener lo que llamaremos nuestra INTEGRAL DE SUPERFICIE.

INTEGRALES DE SUPERFICIE

Al abordar nuestro tema podemos definir de la siguiente manera siendo ms

entendible y concreto nuestro entendimiento sobre lo que son las Integrales de
Superficies, tal y como daremos a continuacin:

Integral de Superficie para un campo Escalar: (, , ) sobre una

superficie (, ):
o = ()


Integral de Superficie para un campo Vectorial: (, , ) sobre una
superficie (, ):


o . = ()

o . = () (
)

Definicin Formal: Sea w una forma continua de grado m, con soporte

compacto, definida en una superficie m-dimensional orientada M, de clase C1.

Si el soporte de w est contenido en la imagen de una parametrizacin positiva

: 0 , () = ()1 = (u) U,entonces:

= (),

Donde K es cualquier compacto J-mensurable tal que -1(supp.w) K U0, se
define ambigua la integral .

Considerando los abiertos 0 como superficies, las cuales estn

definidas las formas = 1 y = 1 , tenemos
ahora:

= = .
0

Si las formas w1, , wr tienen soportes compactos, contenidos en una misma

vecindad parametrizada U, resulta inmediatamente la aditividad de la integral en
el espacio euclidiano que si w=w1++wr, entonces:

= 1 +

= .

Teorema:

1. ( +
) = +
;
2. . = ;
3. 0 () > 0 > 0;
4. :
=
.

Lema: Sea continua integrable en M y F M un subconjunto cerrado de

medida nula. Para todo > 0 existe Z abierto en M, contenido en F, tal que
| < |.
Lema de Green:

Si R es una regin plana limitada por un nmero finito de curvas simples cerradas

y si (, ); (, ); son continas en todo punto de R y de su contorno,

entonces:

Estas frmulas determinan la relacin entre la integral doble extendida en R y la

integral curvilnea a lo largo de la frontera C de R.

Teorema de la Divergencia

Si la funcin vectorial (, , ) son continuas sobre la superficie cerrada

regular S y en su interior V, y si n es el vector unitario normal a S en cada punto
y dirigido hacia el exterior de S entonces: . .

Teorema de Stokes: Sea una forma diferencial de clase 1 , de grado

m con soporte compacto, en una superficie orientada M, de dimensin
m+1, cuyo bordo est en una orientacin inducida.

Entonces = .

Demostracin: En el siguiente enunciado, significa una integral

de una restriccin de w en el borde esto tiene la forma i* donde

i: esta es una aplicacin de inclusin.
Sea =1 + 2 + este teorema vale para cada entonces
para cada la suma de , donde = y

==1 = =1 = .
Usando particiones de unidades, podemos escribir como una suma
Finita de formas que tienen con soporte compacto, contenido en
vecinda_
des param trizadas. Luego para una admitir que el soporte esta
contenido en una imagen de parametrizacion positiva : 0 .

Sea = entonces = 0 en el teorema anterior, =0.

Basta considerar en el caso en que = . Suponemos
inicialmente que m>0, que la dim.M2. Entonces una parametrizacion
puede ser admitida estandarizada, esto es, esto es definida en un abi_
erto 0 del semi- espacio 0 ={(0, 1, , )+1 ; 0, 0}.
Por la definicin de orientacin inducida, una restriccin de a 0 =
0 0 ser una parametrizacion positiva en ,cuya imagen esta
.
Para cada = ()U escribimos
w()=
=1(1) ()0 . .

donde
1
dw()=[+1
=1 ()] 0 .

Tomemos un bloque K= 1
=0[, ] contenido (supp.w),con 0 = 0

lo que garantiza que K 0 .Para cada =0,1,,m. sea el producto

cartesiano de intervalos [, ],con j .En particular, 0 =
=1[ , ]

este es un bloque en (=0 ) contenido 1 (supp. *w).

Consideremos las funciones 0 , , definidas en K, el valor cero en
los puntos de K-0 .Para todo = ()= (0,1 , , ) , esto es
evidente
que ( *w)( )= 0 (0,1 , , )d1 d ,luego

= = 0 (0, 1 , , )d1 d .
0
Si para algn >0, a esima coordenada del punto es igual a
,
Todas las funciones se anulan en el punto pues si () no
pertenece
al interior de supp.w. Esto tambin ocurre se 0 = 0 , mas,
evidentemente,
nada se puede decir sobre 0 (0,1 , , ).Reduciendo a la integral
multiplica a las integrales repetidas, podemos escribir

=
=0
()d0 d1 d =

=
=0[ ( () ] d =
d0

=
0 [0 (0 , 1 , , )- (0 , 1 , , )] d0

d =

= 0 (0, 1 , , )d1 d =
0

Resta considerar en el caso en que m=0, sea en que M es una superficie

Orientada de dimensin 1 en w, teniendo grado cero, fse reduce a una
funcin :M , de clase 1 .Debemos probar que = .

Pero lo que significa una integral de una funcin sobre una superficie
de dimensin cero. Si est en un conjunto de dos puntos aislados
1, 2, entonces = { } (suma finita porque tiene soporte

compacto) y { } = ( ), por definicin se toma el signo +o el

signo- conforme a la seal atribuido a una orientacin inducida por
M. Mas explcitamente, si el vector de una base positiva de M en el
punto apunta

para afuera de M entonces { } = ( ). Si al contrario, una base

positiva

apunta para dentro de M entonces { } = ( ).

Una vez dada una definicin, en la demostracin anterior se adapta

inmediatamente en el caso de M en el punto , tomamos una
parametrizacion positiva : (, 0] U de una vecindad de U de en
M entonces, se supp. esta contenido en un compacto contenido en U,
0
tenemos (())=0, luego = (()) () = ((0))
(()) = ((0)) = () = .

Sin embargo las bases positivas de apuntan para dentro de M en

el punto , las parametrizaciones positivas de las vecindades de con
imgenes contenidas en el soporte de que tiene la forma : [0, ]
U,
con (0) = y (()) = 0.Entonces, tenemos

= (()) () = (()) ((0)) = (())
((0)) = () .

Es instructivo reformular el Teorema de Stokes en los casos clsicos,

Que se refieren a una integral de jun campo de vectores a lo largo de
una hiperficie orientada.
Sea entonces = (0 , 1 , , ) en un campo de vectores de clase ,
definido en una abierto +1 por sus propias m+1 de funciones
coordenadas : . En el campo asociaremos a una forma
diferencial =
=() ,
de clase en una abierto U. El desenvolmiento de una determinante
en una relacin en sus primeras columnas muestra que, para
1 , +1 arbitrarios, donde
(). ( , , , )=det(X(), , , ),
donde tenemos un determinante de una matriz (m+1)* (m+1)
cuyas columnas son los vectores X (),1 , , . Sea M U es una
hiperficie orientada en el campo X tiene soporte compacto, en la
integral definido en la integral como < , > ,donde

esta en la forma de elementos del volumen de M y est en el

campo de vectores unitarios normales que define
la orientacin de M.(Esto es para cada , () tiene un punto
1, , {1 , } ) es una base po_
sitiva, se tiene que el det((), 1 , , )>0.Con esta definicin

se reduce una integral esta en una integral de forma diferencial

a una forma (), (). ().

Inicialmente, observamos que en cada punto ,esta forma
igual a (),conforme definida en la parte superior. Del da_
to dado cualquier base positiva {1 , , } , :

para el producto vectorial 1 es un vector normal a M

en una direccin normal positiva ().Se sigue que = , .
a largo de M.
Una notacin tradicional para una forma de elementos del volu_
men en una superficie M esta .Podemos decir entonces que si

X=, . =
=0(1) 0 .
En un caso particular importante, en el que X est en campo de clase
1 en un abierto U +1 y en el que acostumbra a llamar
Un dominio compacto con frontera regular de clase de ( 1).
Esto significa que esta en una superficie con borde,compacta,de
dimensin m+1es de clase , .
En el interior de esta un subconjunto abierto limitado en +1
en el borde de (que tambin es frontera del int. en +1 )
es una superficie compacta, orientada, en +1 .Una diferencial
de forma

nida por:

Se llama divergencia del campo X.el teorema de Stokes nos permite,

por tanto, afirmar que con estas condiciones, si M= entonces:

Donde el segundo miembro, tenemos una integral ordinaria de una

funcin continua div.X sobre el compacto J-mensurable +1 .
Unos de los teoremas conocidos tenemos el teorema de divergencia,
De Gauss y Ostrogradski.
Sea ahora X=(a,b,c) en un campo de clase 1 en un abierto 3 ,
que contiene una superficie compactada orientada M de dimensin 2
cuyo borde C mnimos de orientacin inducida .El campo X asociamos
en forma = + + , de grado 1 de clase 1 en U.

En el teorema de Stokes = se escribe explcitamente:

Para reducir una de las desigualdades ya mencionadas anteriomente
en trminos de vectores, introducimos una rotacional del campo X,
que el nuevo campo rot: 3 , :

En el primer miembro de una igualdad se escribe entonces

. , . ,donde est en campo de vectores unitarios norma_
les a M, definimos por la orientacin de M, y est en un elemento
de rea. Cuando el segundo miembro, sea de esta forma de
elementos de arco en C. Para , tenemos . = ||,
conforme a apunta en el sentido positivo de C. Anlogamente,
si () representa un vector unitario tangente que apunta

en el sentido positivo de C, () = (conforme a la orientacin de ),

para todo 0 .En el segundo miembro de la igualdad en

cuestin es igual a .
Este teorema de Stokes de anlisis vectorial. El primer miembro
representa el flujo del campo rot.X a travs de la superficie M en
el segundo miembro est en una circulacin del campo Xa lo largo
del borde C= .Una de las tres frmulas ms simples de las integra_
les del anlisis vectorial clsica est el teorema de Green( a veces
llamado del teorema de Riemann-Gauss).En este se refiere a una
superficie con borde, compactada de clase 1 de dimensin 2 en
2 con un dominio compacto M 2 con frontera de clase 1 .
El dominio Mtiene orientacin natural de 2 esta con borde
En una orientacin inducida: en cada punto ,en un vector
tangente no nulo ( ) apunta a una dimensin positiva
Si, solamente si,{(), } es una base positiva de 2 , donde ()
esta en una normal unitaria que apunta para afuera de M.

Sean , : funciones de clase 1 .

dice que:

Esto es simplemente del teorema de Stokes en una aplicacin

En una forma diferencial = + ,definida en una super_
Ficie con borde M. El primer miembro es una integral doble so_
Bre un compacto J-mensurable M y en la segundo miembro es
Una integral curvilnea.
El teorema de Green puede ser considerado como en el caso par_
ticular del teorema de divergencia [tomamos el campo X=(g,-f)]
en el teorema del rotacional [tomamos X=(f,g,0)].Tambin del teo_

rema fundamental del clculo, () = () () est en el

caso particular del teorema de Stokes.

Ejemplo: Para demostrar el siguiente ejercicio necesitaremos algunos
teoremas:
a)

b)

Como primera aplicacin del teorema de Stokes, vamos demostrar

que no puede existir una retraccin de clase 2 de una superficie
orientada, compacta, M sobre el borde .En particular, una esfera
est en reunin de clases +1 ,o que nos da
una nueva demostracin del argumento crucial para establecer el
teorema del punto fijo de Brouwer(de este teorema Brouwer ya
mencionada en la parte superior, de la cual tomaremos).
Con efecto, admitimos, por el absurdo, la existencia de una retraccin

: ,tal que 0.

Por tener grado igual a una dimensin de , est cerrada,

esto es si d = 0.Por el teorema de Stokes, el dato de que
| =Identidad, tenemos sucesivamente:

en el absurdo.
Una aproximacin de la aplicacin del teorema de Stokes esta
el teorema de abajo, que se extiende para una dimensin >1
del teorema 12 del captulo IV ya mencionado, segundo en la
cual la integral de una 1-forma cerrada sobre un camino cerrado
es invariante por homotopia de ese camino.
Una homotopia entre aplicaciones , : ( )
Es una aplicacin continua H:I*M donde I=[0,1] es para
todo , se tiene H(0, )=(), (1, ) = ().
Se escribe de la siguiente forma H: ,simplemente
para indicar que existe una homotopia H entre .
Si H , son .
Por ejemplo, si es una bola cerrada unitaria, entonces
: ,H(t, )=(1-t) , es una homotopia entre una
aplicacin de B en una aplicacin constante 0.
Se dice que un conjunto X esto se contradice cuando existe
Una homotopia H:I*X entre una aplicacin de la identidad de
X es una aplicacin constante.
Es evidente que una relacin " "
Es reflexiva y simtrica. Si k=0, es tambin inmediato que la transiti_
va si H: : son homotopicas de clase 0 , de la cual
obtenemos una homotopia L:I*M ,de clase 0 , entre , para
1
todo ,L(t, )=H(2t, ) si 0 y
2
1
L(t, )=k(2t-1, , ) cuando 1.
2

Si H y K son homotopias de clase 1 ,una homotopia L, asimismo

Definida, puede ser de clase 1 .
La transitividad de una relacin de homotopia de clase de ( 1).
Cuando suponemos que la homotopia H: : de clase )
son adaptadas. Una homotopia H:I*M se dice cuando existe
1
(0 < < ) tal que para todo , (, ) es constante en el
2
intervalo 0 < 1 < 1.En otras palabras H(t, )= ()
para todo [0, ) (, ) = () para la cual (1 . 1],
donde .Cuando H: : son homotopias adaptadas
de clase entonces es una homotopia L:I*M , definida por
1 1
L(t, )=H(2t, ) para [0, ] y L(t, )=K(2t-1, ) si [ , 1] ,
2 2

de clase .
Resta mostrar que existe una homotopia H:I*M de clase entre
, existe tambin una homotopia adaptada K: .Para esto,
basta tomar una funcin : [0,1] [0,1] , de clase
 1 2
, () = 0 [0, ] , () = 1 [ , 1]
3 3
(, ) = ((), )
Podemos usar () = (3 3) de la cual concluimos portanto que una
relacin existe una homotopia de clase entre es una
equivalencia en el conjunto de las aplicaciones de clase de una
superficie M en una superficie N.

EJEMPLOS:

1.- Una lmina superficial S tiene la forma de un cono dado por la frmula =
4 2 2 + 2 entre los planos z=0 y z=4. En cada punto su densidad es
proporcional a la distancia al eje OZ. Determine la masa de la lmina.
2.- Obtener el flujo a travs del trozo de plano + 2 + = 1 que se obtiene
cuando 0 2 0 2 para el campo vectorial (, , ) =
(2 , , 4) orientado segn el vector normal ascendente.
Con estos dos ejemplos ilustrativos hemos visto cmo funcionan las integrales
de superficie, viendo claramente que es distinto si el campo es escalar que si el
campo es vectorial.

APLICACIONES FISICAS: FLUJO DE CALOR

Sea (, , ) la temperatura en un punto (, , ) 3 . Si 1 , entonces:

= ( , , )

Es el gradiente de la temperatura, y el calor fluye segn el campo vectorial =

kT, donde k es una constante positiva llamada conductividad. Ntese que el
flujo de calor, como cabe esperar, se produce de las zonas calientes hacia las
fras, pues T apunta en la direccin donde T decrece.

La tasa total de flujo o flujo de calor a travs de la superficie S viene dada por
. .

Ejemplo: Supongamos que una funcin de temperatura est dada por

(, , ) = 2 + 2 + 2 . Sea S la esfera unidad 2 + 2 + 2 = 1, orientada
segn la norma exterior. Hallar el flujo de calor a travs de S, si k=1.
Demostracin: Se tiene que (, , ) = T(x, y, z) = 2(x, y, z). Como = =
(, , ), . = 2( 2 + 2 + 2 ) = 2. Por otra parte, la conocida
frmula para el rea de una esfera establece que sta es igual a 4 veces el
cuadrado de su radio. Consecuentemente,

. = . = 2 = 2|| = 8

Esto resuelve el ejemplo.

2.7 Tipo de investigacin: El tipo de investigacin en la cual se ha dado

En el siguiente trabajo de investigacin es tipo analtico, y abstracto.

Bibliografa: Los libros de los diferentes autores que se han tomado como
base para esta investigacin:
Elon Lagues Lima(anlisis matemtico del volumen 2)
Claudio Pita Ruiz(Calculo Vectorial)
PDF (es) de diferentes autores.