Análisis en - CM3C1
Title Lorem Ipsum
Sit Dolor Amet
PROFESOR: ALEJANDRO EDUARDO HIDALGO GORDILLO
CLASE 25 y 26: Integrales curvilineas
INTEGRALES CURVILINEAS
FORMAS DIFERENCIALES DE GRADO 1
Una forma diferencial de grado 1 o simplemente una 1-forma en un subconjunto
es una aplicación que asocia a cada punto una funcional lineal .
•
El espacio dual tiene una base canónica , formada por las funcionales
lineales . Si entonces . toda funcional lineal se expresa de modo único como
combinación lineal .
INTEGRALES CURVILINEAS
Así dar una 1-forma en un subconjunto equivale a definir funciones reales
tal que, para cada se tenga
Esto se escribe .
•Para
cada , la aplicación de la funcional en el vector da como resultado el
numero real
INTEGRALES CURVILINEAS
Sea abierto. Diremos que la 1-forma
es de clase cuando, para todo vector ,
la función es de clase en , esto ocurre si y solo si , donde las funciones son
• clase . De hecho, esta condición es suficiente por la igualdad (*), y necesaria
de
por que , para todo y todo .
Ejemplo 1
Sea la diferencial de una función de clase .
• cada y cada , tenemos
Para
Ejemplo 1
“sea , en el abierto , diferenciable en el punto . La diferencial de en el
punto es una funciona lineal , cuyo valor en el vector esta dada por
•
Cuando es diferenciable en todo punto de , tenemos una aplicación , a cada
asocia la funcional lineal cuya matriz es
Ejemplo 2
La 1-forma “elemento de ángulo”
definido en , que presentamos a
continuación: sea la función tal que en
cada punto esta determinado, en
•radianes,
del ángulo que el eje de las
abscisas forma con el radio que liga el
origen (0,0) al punto . consideremos
inicialmente el abierto .
Ejemplo 2
Una función se llama una función-
•
ángulo cuando en cada punto su valor
cumple las condiciones . De esto si
Ejemplo 2
No existe una función-ángulo continuo :
Basta que un abierto conteniendo un
circulo
• , con centro en el origen, para que
no exista una función-ángulo continua .
En efecto, siendo el radio del circulo ,
para todo punto tendríamos .
Ejemplo 2
De ahí resulta que la restricción seria
inyectiva, lo que es un absurdo (Ninguna
función real , continua en un circulo
puede ser inyectiva pues si y son
•respectivamente
el valor mínimo y el
valor máximo de en el compacto , los
dos arcos de circulo con extremidades se
aplican sobre el intervalo )
Ejemplo 2
Pero, para toda semi-recta cerrada partiendo
del origen, poniendo , existe una función-
ángulo continua . En efecto, sea el punto
• la semi-recta intersecta al círculo
donde
unitario . Sabemos que es un
homeomorfismo. Entonces definimos una
función-ángulo poniendo , para todo .
Ejemplo 2
Podemos concluir, sin embargo que no
existe una función-ángulo continua
definida globalmente en , ello existe
localmente, esto es, todo punto
•pertenece
a un abierto en la cual se puede
definir una función-ángulo continua. Toda
función-ángulo continua es, de hecho,
de clase .
Ejemplo 2
Si es conexo y son dos funciones-
ángulo continuo, existe tal que
para todo .
•
Definiremos la 1-forma de clase en , al
cual se llama elemento de ángulo
poniendo para cada ,
INTEGRAL DE STIELTJES
Sean dos funciones reales, donde es monotóna creciente.
Correspondiente a cada partición de , escribimos,
•
Es claro . Para toda función real acotada en escribimos
INTEGRAL DE STIELTJES
Definimos
1.
Tomando los y los sobre todas las particiones de
•
Si y son iguales, representamos este valor común por
3. o o
Esta es la integral de Riemann-Stieltjes (o simplemente la
integral de Stieltjes de respecto a sobre .
INTEGRAL DE STIELTJES
Si existe , es decir si y son iguales, decimos que es integrable con
respecto a , en el sentido de Riemann - Stieltjes y escribimos .
Tomando , se ve que la integral de Riemann es un caso particular de
• integral de Riemann-Stieltjes. En el caso general no necesita ser
la
continua.
Ahora trataremos de la existencia de la integral o
Definición
Diremos que la partición es un refinamiento de , si .
Dadas dos particiones y (de ) diremos que es un
refinamiento
• común .
Teorema 1
Si es un refinamiento de , entonces
Y
•
Demostración
Supongamos , donde y son de . Hagamos
•
Evidentemente
Demostración
Por lo tanto
Si contiene puntos más que , repetimos el razonamiento anterior
veces y se llegara a
•
La demostración de (**) es análogo.
Teorema 2
•
Demostración
•
Demostración
•
Comentario
Si es integrable con respecto a , en el sentido de Riemann-
Stieltjes se denota
•
Teorema 3
Sea en esto equivale a lo siguiente, dado cualquier existe
una partición tal que
•
Demostración
Para cada tenemos
•
Asi pues, implica
Demostración
Por lo tanto, si se satisface para todo tenemos
entonces .
•
El reciproco; supongamos que y sea dado.
Existen particiones y tales que
Demostración
Eligiendo un refinamiento común de y .
por el teorema y demuestra que
• se cumple para esta partición .
Que
El teorema proporciona un criterio para la integrabilidad, muy
conveniente. Tenemos algunos hechos muy relacionados con el teorema
anterior.
Teorema 4
a) Si se cumple para alguna y algún , entonces, esta desigualdad, se
cumple también (con el mismo ) para cada refinamiento de .
b) Si se cumple para una partición y si y son puntos arbitrarios en ,
• entonces .
c) Si y la hipótesis de b) se cumple entonces
Demostración
a) El teorema 1 implica a)
b) Debido a la suposición hecha en b), se tiene que están en , asi .
• Entonces , esto demuestra b)
Las igualdades evidentes
y demuestran c).
Teorema 5
Si es continua sobre entonces sobre .
•
Demostración
Sea dado y elijamos tal que
Como es continua sobre el compacto , entonces es
•
uniformemente continua. Para existe un tal que
Si y .
Demostración
Si es cualquier partición de tal que . Entonces implica .
• lo tanto .
Por
Por el teorema 3, .
Teorema 6
Si es monótona en y es continua en (además, es
monótona), entonces .
•
Demostración
Sea dado. Para cada entero positivo ,elijamos una partición
tal que .
Lo que es posible pues es continua (mas, es uniformemente
•
continua).
Supondremos que es monótona creciente (la demostración
es análoga en el otro caso).
Demostración
Entonces
•
Entonces , si se toma suficientemente grande. Por el teorema
3.
Teorema 7 (Propiedades de la Integral)
a) Si y en y para todo constante real. Y
b)
•
Si en
c) Si en y , entonces en y en y
Teorema 7
d) Si en y en
•e) Si y , entonces y
Demostración
a) Si y una participación de
•Si y , sea dado. Existen particiones , tales que
Esta desigualdad se mantiene si se sustituye y por su
refinamiento común .
Demostración
Entonces implica lo que demuestra con la misma
partición tenemos por implica
Pero es arbitrario.
•
Si se sustituyen por tenemos la otra desigualdad. Con
lo que queda demostrado.
Teorema 8
Si en , entonces
a)
• y
Demostración: Ejercicio
Función Escalon Unitario
Es una funcion
•
Teorema 9
• continua en y entonces .
Si
Demostración
Consideremos la partición
•
.
Demostración
Como es continuo en , entonces si ósea converge a .
Analogamente
•
Si se aproxima a
Integral de Stieltjes
Ahora veremos la integral de Stieltjes como un limite,
cuando la partición .
• compacto. A cada partición puntillada .
Sea
A esta partición puntillada asociamos la suma de Stieltjes
definida por .
Integral de Stieltjes
Definimos la integral de Stieltjes de relativo a poniendo ,
si existe el limite. Y se dice que es integrable según
•Stieltjes,
relativo a .
La igualdad significa que dado arbitrariamente , existe
tal que sea cualquier partición puntillada con .
Criterio de Cauchy
Para que exista es necesario y suficiente que, para todo
•dado
se puede obtener tal que , sea cualquiera de las
particiones puntilladas y , con y .
Demostración
Si dado un , existe tal que si y son particiones
puntilladas con y
•
Tenemos dado existe tal que para cualesquiera
particiones puntilladas con
Demostración
Entonces, para toda sucesión de particiones puntilladas ,
con , la sucesión es de Cauchy, luego converge a un .
Este
• limite no depende de la sucesión . Supongamos otra
sucesión , con y , entonces la sucesión , que en norma
converge a , origenaria una sucesión divergente de sumas
de Stieltjes. ¡Contradiccion!
Integral de - forma a lo
largo de un camino
Sean una forma definida en el conjunto y un camino
en .
Definiremos la integral de la forma a lo largo del camino
•como
el limite
Integral de - forma a lo
largo de un camino
Donde es una partición puntillada de , con y para cada .
Cuando
• la forma (ósea cada función ) es continua y el
camino es rectificable (ósea cada función coordenada es
de variación acotada) el limite existe.
Integral de - forma a lo
largo de un camino
En efecto, en este caso existen las integrales de Stieltjes . Como
•
Integral de - forma a lo
largo de un camino
Tenemos entonces
.
Como la integrales de Stieltjes en la recta se escribe también:
.Cuando el camino tiene derivada continua, se puede expresar
• una integral de Riemann:
como
Esta formula reduce la integral curvilínea (de Stieltjes) la integral
de Riemann de la función definida en el intervalo
Integral de - forma a lo
largo de un camino
Se puede notar que la formula
Es de gran utilidad en los cálculos.
•
Generalmente la clase de caminos mas conveniente es
los caminos de clase . Esos caminos son rectificables.
Integral de - forma a lo
largo de un camino
Se puede generalizar algo mas:
Consideremos los caminos de clase por partes, o
seccionalmente de (ósea es continua y, además tiene
derivadas continuas, salvo en un numero finito de puntos
•
del intervalo . En estos puntos, el camino, debe tener
derivadas laterales continuos). Estos caminos también
son rectificables.
Integral de - forma a lo
largo de un camino
Este camino es de clase por partes cuando existe una
partición del intervalo tal que cada restricción es de clase .
Entonces
•
donde, para cada
Integral de - forma a lo
largo de un camino
La integral es invariante por cambio de parámetro que
mantiene el sentido de la ruta del camino .
•
Por otro lado una reparametrización que invierte el sentido
de cambia el signo de .
Teorema 10
Sean forma continua en un camino rectificable en y un
homeomorfismo. Si es creciente entonces =.
Si es decreciente,
•
Demostración: Consecuencia inmediata del teorema de
cambio de variable de la integral de Stieltjes.