Diferencia entre revisiones de «Compleja:Demostracion del Teorema de Cauchy para circulos concentricos»

De luz-wiki
(Página creada con «Sea $f$ una función holomorfa en la región anular ${ R }_{ 1 }<\left| z-{ z }_{ 0 } \right| <{ R }_{ 2 }$. Para cada ${ R }_{ 1 }<r<{ R }_{ 2 }$ sea ${ \gamma }_{ r }$ e...»)
 
 
Línea 1: Línea 1:
Sea $f$ una función holomorfa en la región anular ${ R }_{ 1 }<\left| z-{ z }_{ 0 } \right| <{ R }_{ 2 }$. Para cada ${ R }_{ 1 }<r<{ R }_{ 2 }$ sea ${ \gamma  }_{ r }$ el circulos de centro ${ z }_{ 0 }$ y radio $r$ orientado positivamente. Entonces
+
Sea $f$ una función holomorfa en la región anular ${ R }_{ 1 }<\left| z-{ z }_{ 0 } \right| <{ R }_{ 2 }$. Para cada ${ R }_{ 1 }<r<{ R }_{ 2 }$ sea ${ \gamma  }_{ r }$ el circulos de centro ${ z }_{ 0 }$ y radio $r$ orientado positivamente. Entonces:
  
$\int _{ { \gamma  }_{ r } }^{  }{ f(z)dz } $
+
<center>$\int _{ { \gamma  }_{ r } }^{  }{ f(z)dz } $</center>
  
es independiente de $r$
+
es independiente de $r$.
  
  
Demostracion:
+
'''Demostración:'''
  
Consideremos la parametrizacion ${ \gamma  }_{ r }(t)={ z }_{ 0 }+r{ e }^{ it }$, para $t\in \left[ 0,2\pi  \right] $. Entonces
+
Consideremos la parametrización ${ \gamma  }_{ r }(t)={ z }_{ 0 }+r{ e }^{ it }$, para $t\in \left[ 0,2\pi  \right] $. Entonces:
  
$I(r):=\int _{ { \gamma  }_{ r } }^{  }{ f(z)dz=\int _{ 0 }^{ 2\pi  }{ f({ z }_{ 0 }+r{ e }^{ it })ir } { e }^{ it }dt } $
+
<center>$I(r):=\int _{ { \gamma  }_{ r } }^{  }{ f(z)dz=\int _{ 0 }^{ 2\pi  }{ f({ z }_{ 0 }+r{ e }^{ it })ir } { e }^{ it }dt } $</center>
  
y note que el integrando del lado derecho es una función de dos variables $r, t$ con derivadas parciales continuas. Por la regla de Leibniz se sigue que
+
y note que el integrando del lado derecho es una función de dos variables $r, t$ con derivadas parciales continuas. Por la regla de Leibniz se sigue que:
  
$\frac { dI(r) }{ dr } =\int _{ 0 }^{ 2\pi  }{ \frac { d }{ dr } f({ z }_{ 0 }+r{ e }^{ it })ir } { e }^{ it }dt$
+
<center>$\frac { dI(r) }{ dr } =\int _{ 0 }^{ 2\pi  }{ \frac { d }{ dr } f({ z }_{ 0 }+r{ e }^{ it })ir } { e }^{ it }dt$</center>
  
donde
+
donde:
  
$\frac { d }{ dr } f({ z }_{ 0 }+r{ e }^{ it })ir{ e }^{ it }={ f }^{ ´ }({ z }_{ 0 }+r{ e }^{ it }){ e }^{ it }ir{ e }^{ it }+f({ z }_{ 0 }+r{ e }^{ it })i{ e }^{ it }=\frac { d }{ dt } f({ z }_{ 0 }+r{ e }^{ it }){ e }^{ it }$
+
<center>$\frac { d }{ dr } f({ z }_{ 0 }+r{ e }^{ it })ir{ e }^{ it }={ f }^{ ´ }({ z }_{ 0 }+r{ e }^{ it }){ e }^{ it }ir{ e }^{ it }+f({ z }_{ 0 }+r{ e }^{ it })i{ e }^{ it }=\frac { d }{ dt } f({ z }_{ 0 }+r{ e }^{ it }){ e }^{ it }$</center>
  
y por lo tanto
+
y por lo tanto:
  
$\frac { dI(r) }{ dr } =\int _{ 0 }^{ 2\pi  }{ \frac { d }{ dt } f({ z }_{ 0 }+r{ e }^{ it }) } { e }^{ it }dt=0$
+
<center>$\frac { dI(r) }{ dr } =\int _{ 0 }^{ 2\pi  }{ \frac { d }{ dt } f({ z }_{ 0 }+r{ e }^{ it }) } { e }^{ it }dt=0$</center>
  
como se queria
+
como se quería.
  
  
 
[[Usuario:Miguel Medina Armendariz|Miguel Medina Armendariz]] ([[Usuario discusión:Miguel Medina Armendariz|discusión]]) 14:19 5 jul 2015 (CDT)
 
[[Usuario:Miguel Medina Armendariz|Miguel Medina Armendariz]] ([[Usuario discusión:Miguel Medina Armendariz|discusión]]) 14:19 5 jul 2015 (CDT)
 
----
 
----
 +
[[Usuario:Carlosmiranda|Carlosmiranda]] ([[Usuario discusión:Carlosmiranda|discusión]]) 15:34 21 nov 2020 (CST)

Revisión actual - 15:34 21 nov 2020

Sea $f$ una función holomorfa en la región anular ${ R }_{ 1 }<\left| z-{ z }_{ 0 } \right| <{ R }_{ 2 }$. Para cada ${ R }_{ 1 }<r<{ R }_{ 2 }$ sea ${ \gamma }_{ r }$ el circulos de centro ${ z }_{ 0 }$ y radio $r$ orientado positivamente. Entonces:

$\int _{ { \gamma }_{ r } }^{ }{ f(z)dz } $

es independiente de $r$.


Demostración:

Consideremos la parametrización ${ \gamma }_{ r }(t)={ z }_{ 0 }+r{ e }^{ it }$, para $t\in \left[ 0,2\pi \right] $. Entonces:

$I(r):=\int _{ { \gamma }_{ r } }^{ }{ f(z)dz=\int _{ 0 }^{ 2\pi }{ f({ z }_{ 0 }+r{ e }^{ it })ir } { e }^{ it }dt } $

y note que el integrando del lado derecho es una función de dos variables $r, t$ con derivadas parciales continuas. Por la regla de Leibniz se sigue que:

$\frac { dI(r) }{ dr } =\int _{ 0 }^{ 2\pi }{ \frac { d }{ dr } f({ z }_{ 0 }+r{ e }^{ it })ir } { e }^{ it }dt$

donde:

$\frac { d }{ dr } f({ z }_{ 0 }+r{ e }^{ it })ir{ e }^{ it }={ f }^{ ´ }({ z }_{ 0 }+r{ e }^{ it }){ e }^{ it }ir{ e }^{ it }+f({ z }_{ 0 }+r{ e }^{ it })i{ e }^{ it }=\frac { d }{ dt } f({ z }_{ 0 }+r{ e }^{ it }){ e }^{ it }$

y por lo tanto:

$\frac { dI(r) }{ dr } =\int _{ 0 }^{ 2\pi }{ \frac { d }{ dt } f({ z }_{ 0 }+r{ e }^{ it }) } { e }^{ it }dt=0$

como se quería.


Miguel Medina Armendariz (discusión) 14:19 5 jul 2015 (CDT)


Carlosmiranda (discusión) 15:34 21 nov 2020 (CST)