Apunte Teórico de Análisis Matemático III B

Este apunte es para el curso de Gonzalez. (Turno de la mañana)

Unidad 1

Sucesiones

Definición: Límite de una sucesión. Sea <tex> z:\mathcal{N}\rightarrow\mathcal{C} </tex>
Diremos que <tex> z_n\rightarrow{z} </tex> (o converge) sii <tex> \forall\,\varepsilon>0\,\,\exists n_0\!\!=\!n_0(\varepsilon)\,\mbox{:}\, |z_n-z|<\varepsilon \quad \forall n\geq n_0 </tex>

Si no converge diremos que diverge.

Propiedades: Sea <tex> z_n=x_n+iy_n \quad z=x+iy</tex>

  1. <tex> z_n\rightarrow{z} \Leftrightarrow x_n\rightarrow{x}\,\mbox{y}\,y_n\rightarrow{y} </tex>
  2. Si <tex> z_n\rightarrow{z}\,\mbox{y}\,w_n\rightarrow{w} </tex>
    • <tex> (z_n+w_n)\rightarrow (z+w) </tex>
    • <tex> (z_n\cdot w_n)\rightarrow (z\cdot{w}) </tex>
    • <tex> \frac{z_n}{w_n}\rightarrow \frac{z}{w} </tex>
    • <tex> \overline{z_n}\rightarrow{\overline{z}} </tex>

Definición: <tex> z_n\subset\mathcal{C} </tex> es acotada sii <tex> \exists M\,\mbox{:}\,|z_n|<M\,\,\forall n </tex>

Proposición: <tex> z_n\mbox{ es convergente }\Rightarrow z_n\mbox{  es acotada.} </tex>

Funciones

Definiciones:

  1. Entornos en <tex> \mathcal{C} </tex>. Sea <tex> z\in\hat{\mathcal{C}}=\mathcal{C}\cup \{ \infty \} </tex> Se definen:
    • <tex> B_r(z)\equiv\left\{ \begin{array}{lcl} \{ w\in\mathcal{C}\,\mbox{:}\, |z-w|<r \} & \quad & \mbox{si }z\neq\infty \\ \{ w\in\hat{\mathcal{C}}\,\mbox{:}\, |z-w|<r \} & \quad & \mbox{si }z=\infty \end{array}\right. </tex>
    • <tex> B_r^*(z)\equiv\left\{ \begin{array}{lcl} \{ w\in\mathcal{C}\,\mbox{:}\, 0<|z-w|<r \} & \quad & \mbox{si }z\neq\infty \\ \{ w\in\mathcal{C}\,\mbox{:}\, |z-w|<r \} & \quad & \mbox{si }z=\infty \end{array}\right. </tex>
  2. Límite de una función: Sean <tex> z_0\in\hat{\mathcal{C}}\mbox{ y }l\in\hat{\mathcal{C}} </tex>. Diremos que la función converge, o que <tex>\lim_{z\rightarrow{z_0}}f(z)=l</tex> sii <tex>\forall \varepsilon>0 \exists\delta(\varepsilon)>0\,\mbox{:}\, f(z)\in B_{\varepsilon}(l) \forall z\in B_{\delta}^*(z_0)</tex>

Propiedades: Sean <tex> a,z_0\in\mathcal{C} </tex>

  1. <tex> \lim_{z\rightarrow\infty}f(z)=a \Leftrightarrow \lim_{z\rightarrow 0}f \left(\frac{1}{z}\right) =a </tex>
  2. <tex> \lim_{z\rightarrow z_0}f(z)=\infty \Leftrightarrow \lim_{z\rightarrow z_0} \frac{1}{f(z)} =0 </tex>
  3. <tex> \lim_{z\rightarrow\infty}f(z)=\infty \Leftrightarrow \lim_{z\rightarrow 0} \frac{1}{f \left(\frac{1}{z}\right)} =0 </tex>

Continuidad

Definición: <tex> f </tex> es continua en <tex> z_0 </tex> sii <tex> \lim_{z\rightarrow z_0}f(z)=f(z_0) </tex>

Propiedades: Sea <tex>f(z)=u(z)+i\cdot v(z)</tex>:

  1. <tex> f\mbox{ es continua en }z_0 \Leftrightarrow u\mbox{ y }v\mbox{ son continuas en }z_0 </tex>
  2. <tex> f\mbox{ y }g\mbox{ continuas en }z_0 \Rightarrow (f+g),(f\cdot g),(f/g)\mbox{ continuas en }z_0 </tex>
  3. <tex> f\mbox{ continua en }z_0\mbox{ y }g\mbox{ continua en }f(z_0)\Rightarrow g\circ f\mbox{ es continua en }z_0 </tex>

Definiciones:

  • <tex> A\subset\mathcal{C}\mbox{ es abierto sii }\forall z\in A \exists r\,\mbox{:}\,B_r(z)\subset A </tex>
  • <tex> f\mbox{ es continua en }A\mbox{ abierto sii }f\mbox{ es continua en }z\,\forall z\in A </tex>

Derivabilidad

Definición: Sea <tex> f:A\subset\mathcal{C}\rightarrow{C},\,a\in{A} </tex>
<tex>f\mbox{ es derivable en }a\mbox{ sii }\exists \lim_{h\rightarrow{0}}\frac{f(a+h)-f(a)}{h}=f'(a)</tex>

Proposición:
<tex>f\mbox{ es derivable en }z_0\Rightarrow f\mbox{ continua en }z_0</tex>

D) <tex> f(a+h)-f(a)=\left[ \frac{f(a+h)-f(a)}{h} \right]\cdot h \Rightarrow \lim_{h\rightarrow 0}f(a+h)-f(a)=0</tex>

Definiciones:

  1. <tex> a\in\mathcal{C}\, V\mbox{ es entorno de }A\mbox{ sii }a\in V\mbox{ y }V\mbox{ es abierto} </tex>
  2. <tex> f\mbox{ es holomorfa en }a\mbox{ sii }f\mbox{ es derivable en un entorno de }a </tex>
  3. <tex> f\mbox{ es holomorfa en }A\mbox{ abierto sii }f\mbox{ es holomorfa en }z\,\forall z\in A </tex>
  4. <tex> f\mbox{ es derivable(holomorfa) en }\infty\mbox{ sii }f \left( \frac{1}{z} \right) \mbox{ es derivable (holomorfa) en }0 </tex>

Teorema de Cauchy-Riemann: Sea <tex>f(x+iy)=u(x,y)+i\cdot v(x,y)</tex>: Si <tex> f </tex> es derivable en <tex> z_0=x_0+i\cdot y_0 \,\Rightarrow\exists u_x,v_x,u_y,v_y</tex> que verifican <tex> \left\{ \begin{array}{rcl} u_x & = & v_y \\ u_y & = & -v_x \end{array}\right. </tex> en <tex>(x_0,y_0)</tex>, y además <tex>f'(z_0)=u_x+i\cdot v_x</tex>

D) <tex> \exists\lim_{h\rightarrow 0}\frac{f(z_0+h)-f(z_0)}{h}=\lim_{h\in\mathcal{R}} \frac{u(x_0+h,y_0)-u(x_0,y_0)}{h}+i\cdot\lim_{h\in\mathcal{R}} \frac{v(x_0+h,y_0)-v(x_0,y_0)}{h}=u_x(x_0,y_0)+i\cdot v_x(x_0,y_0) \quad \dots </tex>

Observación:

  1. La recíproca del teorema se cumple si <tex> u\mbox{ y }v\mbox{ son diferenciables en }(x_0,y_0)</tex>
  2. Si <tex>z=\rho e^{i\cdot\theta}</tex> podemos escribir: <tex>f(z)=u(\rho,\theta)+i\cdot v(\rho,\theta)</tex>. Entonces podemos escribir las ecuaciones de Cauchy-Riemann como: <tex> \left\{ \begin{array}{rcl} u_\rho & = & \frac{1}{\rho}v_\theta \\ u_\theta & = & -\rho v_\rho \end{array}\right. </tex>

D)<tex>u_\rho=u_x\cdot x_\rho + u_y\cdot y_\rho = u_x\cos{\theta}+u_y\mathrm{sen}\theta \dots</tex>

Conexidad

  1. <tex>D\subset\mathcal{C}\mbox{ es conexo sii no }\exists A\mbox{ y }B\mbox{ abiertos, tales que }D=A\cup{B}, A\cap{B}=\oslash ,A\neq\oslash ,B\neq\oslash </tex>
  2. <tex> D\subset\mathcal{C}\mbox{ es conexo por arcos sii }\forall z_1,z_2\in{D}\exists\mbox{un arco }\gamma\subset{D}\mbox{ que los une.} </tex>
  3. <tex> D\subset\mathcal{C}\mbox{ es conexo por poligonales sii }\forall z_1,z_2\in{D}\exists\mbox{una poligonal }\gamma\subset{D}\mbox{ que los une.} </tex>
  4. <tex> D\subset\mathcal{C}\mbox{ es conexo por poligonales paralelos a los ejes sii }\forall z_1,z_2\in{D}\exists\mbox{una poligonal de comp. paralelas a los ejes }\gamma\subset{D}\mbox{ que los une.} </tex>

Observación: Si un conjunto es abierto las cuatro definiciones anteriores son equivalentes. Por lo tanto cuando se diga abierto y conexo se puede referir a cualquiera de las cuatro definiciones anteriores.

Proposición: Sea <tex> f </tex> holomorfa en <tex> D </tex> abierto y conexo. Entonces:

  1. <tex>f'\equiv 0 \Longrightarrow f\equiv\mbox{cte}</tex>
  2. <tex>\mathrm{Re}(f)\equiv\mbox{cte} \Longrightarrow f\equiv\mbox{cte}</tex>
  3. <tex>\mathrm{Im}(f)\equiv\mbox{cte} \Longrightarrow f\equiv\mbox{cte}</tex>
  4. <tex>|f|\equiv\mbox{cte} \Longrightarrow f\equiv\mbox{cte}</tex>
  5. <tex>\mathrm{Arg}(f)\equiv\mbox{cte} \Longrightarrow f\equiv\mbox{cte}</tex>

D)(del item 1)<tex> f'=u_x+i\cdot v_x\Rightarrow u_x(x_0,y_0)=0\Rightarrow u(x_0+h,y_0)-u(x_0,y_0)=u_x(\psi,y_0)h=0 </tex> Entonces: <tex> u(x_0+h,y_0)=u(x_0,y_0) </tex> Se puede demostrar lo mismo para la segunda coordenada y para <tex> v </tex>. Por lo tanto, usando el camino por poligonales, se demuestra que para cualquier par de puntos <tex> a,b\in D\Longrightarrow f(a)=f(b)</tex>.

Unidad 2

Funciones elementales

Se definen las siguientes funciones elementales:

  • Función exponencial <tex> \mathrm{exp}(z)\equiv{e^x}(\cos{y}+\mathrm{sen}{y})\mbox{ siendo }z=(x+iy)\in\mathcal{C},(x,y)\in\mathcal{R}^2 </tex>

Con esta definición se cumple <tex> \mathrm{exp}(z)=\mathrm{exp}(z+2\pi\,i) </tex> Se usará también <tex> e^z=\mathrm{exp}(z) </tex>

  • Funciones trigonométricas <tex> \cos{z}\equiv\frac{e^{iz}+e^{-iz}}{2} </tex>, y <tex> \mathrm{sen}\,{z}\equiv\frac{e^{iz}-e^{-iz}}{2i} </tex>
  • Funciones hiperbólicas <tex> \mathrm{ch}\,z\equiv\frac{e^z+e^{-z}}{2} </tex>, y <tex> \mathrm{sh}\,z=\equiv\frac{e^z-e^{-z}}{2} </tex>
  • Función logarítmica <tex> \log{z}\equiv\ln{|z|}+i\arg{z} </tex> Es una función multiforme, pues la función argumento devuelve infinitos valores para el mismo número complejo.

Definición: Dada una función multiforme <tex> F </tex> definida en <tex> D\subset\mathcal{C} </tex>, una rama es una función (uniforme) <tex> f:D_f\rightarrow\mathcal{C} </tex> holomorfa en <tex> D_f </tex> y <tex> f(z)=F(z)\forall z\in D_f </tex>

Por lo tanto si uno toma una rama de la función argumento, está tomando una rama del logaritmo. Si uno elige el argumento principal, está eligiendo la rama principal del logaritmo.

  • Potencia compleja <tex> z^c\equiv\exp{(c\cdot\log{z})} </tex> que también es una función multiforme.

Transformaciones del plano: Homografía

Una homografía es una función <tex>T(z)=\frac{a\,z+b}{c\,z+d}\,a,b,c,d\in\mathcal{C}</tex>.

Cumplen la propiedad de ser composición de transformaciones elementales. Transforma rectas y circinferencias en rectas o circunferencias.

Teorema Dados <tex> z_1,z_2,z_3\in\mathcal{C}\,\psi_1,\psi_2,\psi_3\in\mathcal{C} </tex>, existe una única homografía tal que <tex> T(z_i)=\psi_i \quad i=1,2,3 </tex> y se cumple que <tex> \psi=T(z) </tex> con:
<tex> \frac{(\psi-\psi_1)(\psi_2-\psi_3)}{(\psi-\psi_2)(\psi_1-\psi_3)}=\frac{(z-z_1)(z_2-z_3)}{(z-z_2)(z_1-z_3)} </tex>

Definición: Se dice que una transformación es conforme en <tex> z_0 </tex> si para todo par de curvas que se intersecan en <tex> z_0 </tex> conserva el ángulo entre ellas (tanto en magnitud como en sentido).

Observación: Si <tex> f'(z_0)\neq 0 \Rightarrow f</tex> es conforme en <tex> z_0 </tex>. La vuelta sólo es válida si <tex> f </tex> es derivable en <tex> z_0 </tex>.

Unidad 3

Integración

Definición: Integral compleja de variable real Sea <tex> f:[a,b]\subset\mathcal{R}\rightarrow\mathcal{C} </tex> se define: <tex>\int_a^b f(t)dt\equiv\int_a^b u(t)dt + i\cdot\int_a^b v(t)dt</tex>

  • Una curva de <tex>\mathcal{C}</tex> es un conjunto <tex>\Gamma=\{ z\in\mathcal{C}:z(t)=x(t)+iy(t),t\in[a,b]\subset\mathcal{R},x,y\mbox{ cont. en }[a,b]\}</tex>. Se denomina <tex> z(a)=\alpha \quad z(b)=\beta </tex> puntos inicial y final de la curva respectivamente. La curva <tex>\Gamma^-:w(t)=z(a+b-t)</tex> se denomina curva inversa.
  • Una curva se denomina cerrada sii <tex> z(a)=z(b) </tex>. Se denomina simple sii <tex> z(t_1)\neq z(t_2)\forall t_1,t_2\in(a,b)</tex>
  • Si <tex> x(t),y(t)\in\mathcal{C}_{[a,b]}^1 </tex> se dice que <tex> \Gamma </tex> es curva diferenciable (o arco diferenciable).
  • Si existe una partición <tex> a=t_0<t_1...<t_n=b</tex> tal que <tex> \Gamma_{[t_i,t_{i+1}]} (i=0,...n-1) </tex> es curva diferenciable., se dice que <tex> \Gamma </tex> es una curva diferenciable a tramos o contorno.

Definición: Integración de una función compleja.

  1. Sea <tex> \Gamma : z(t)=x(t)+i\,y(t),a\leq t\leq b </tex> curva diferenciable, <tex> f </tex> continua sobre <tex> \Gamma </tex>, se define: <tex>\int_{\Gamma}\!\!\!\! f(z)dz=\int_a^b\!\!\!\! f \left( z(t) \right) z'(t) dt </tex>
  2. Sea <tex> \Gamma </tex> diferenciable a trozos, entonces <tex> \int_{\Gamma}\!\!\!\! f(z)dz = \sum_{i=0}^{n-1} \int_{\Gamma_i} \!\!\!\! f(z)dz \quad \Gamma_i=\Gamma_{[t_i,t_{i+1}]} </tex>

Fórmula de mayoración: Sea <tex> f </tex> continua sobre <tex> \Gamma </tex> (contorno) y <tex> | f(z) | \leq M\,\forall z\in\Gamma </tex>, entonces: <tex> \left| \int_\Gamma f(z)dz \right| \leq ML </tex> donde <tex> L </tex> es la longitud de la curva.

D) <tex> |I|= \left| \int_\Gamma f(z)dz \right| = \left| \int_a^b f(z(t))z'(t)dt \right| \leq \int_a^b \left| f(z(t))z'(t) \right| dt </tex>
<tex> |I| \leq \int_a^b |f(z(t))|\cdot |z'(t)| dt \leq M \int_a^b |z'(t)| dt </tex>

Definición: Sea <tex> f </tex> holomorfa en <tex> \Omega </tex> . Una función <tex> F </tex> holomorfa en <tex> \Omega </tex> es una primitiva de <tex> f </tex> sii <tex> F'(z)=f(z)\,\forall z\in\mathcal{C} </tex>.

Prop: Dos primitivas de una misma <tex> f </tex> sobre un dominio <tex> \Omega </tex> difieren en una constante. D) Supongamos que <tex> F </tex> y <tex> G </tex> son primitivas de <tex> f \quad \Rightarrow F'(z)=f(z)=G'(z) \Rightarrow F'(z)=G'(z) \Rightarrow (F-G)'(z)=0 \mbox{ en }\Omega \Rightarrow F-G\equiv cte</tex>

Teorema: (Regla de Barrow generalizada) Sea <tex> F </tex> primitiva de <tex> f </tex> en <tex> \Omega </tex> (dominio) y <tex> \Gamma </tex> un controno de <tex> \Omega </tex> con punto inicial <tex> z_1 </tex> y punto final <tex> z_2 </tex>. Entonces: <tex> \int_{\Gamma} f(z)dz=F(z_2)-F(z_1) </tex>.

D) Sea <tex> \Gamma : z(t), t\in [ \alpha ,\beta ], z(\alpha)=z_1, z(\beta)=z_2 </tex> <tex> \alpha=t_0<t_1... t_n=\beta \quad z(t)\in\mathcal{C}_{[t_i,t_{i+1}]}^1, i=0,1...(n-1)</tex> <tex> \int_{\Gamma} f(z)dz = \int_{\alpha}^{\beta} f(z(t))z'(t)dt =\sum_{i=1}^n \underbrace{\int_{t_{i-1}}^{t_i} f(z(t))z'(t)dt}_{I_i} </tex> <tex> I_i=\int_{t_{i-1}}^{t_i} \frac{dF}{dt}(z(t))z'(t)dt=F(z(t_i))-F(z(t_{i-1})) </tex>

Definición: Un dominio <tex> \Omega </tex> se dice simplemente conexo si todo contorno simple cerrado contenido en <tex> \Omega </tex> tiene en su interior sólo puntos de <tex> \Omega </tex>.

Teorema de Cauchy-Goursat Sea <tex> \Omega </tex> abierto y conexo con <tex> \partial \Omega </tex> (curva) cerrada. Si <tex> f </tex> es holomorfa en <tex> \Omega </tex> y continua sobre <tex> \partial\Omega </tex>, entonces <tex> \int_{\partial\Omega}f(z)dz=0 </tex>.

D) <tex> f=u+iv \quad \partial\Omega : z(t), t\in [ \alpha,\beta ] </tex> Entonces: <tex> I=\int_{\partial\Omega} f(z)dz=\int_{\alpha}^{\beta} \left[ u(x(t),y(t))+i\,v(x(t),y(t)) \right] \left( x'(t)+i\,y'(t) \right) dt= \int_{\alpha}^{\beta} \left[ u\,x'(t)-v\,y'(t) \right] dt + i \int_{\alpha}^{\beta} \left[ v\,x'(t)+u\,y'(t) \right] dt=\int_{\alpha}^{\beta} \left( udx-vdy \right)+i \int_{\alpha}^{\beta} \left( vdx+udy \right)=\int\!\!\!\!\int_{\Omega} (-v_x-u_y)dxdy+i \int\!\!\!\!\int_{\Omega} (u_x-v_y)dxdy =0 </tex>
En la penúltima igualdad se usó el Teorema de Green y en la última el de Cauchy-Riemann.

materias/61/12/apunte1.txt · Última modificación: 2006/10/29 19:26 por gk_264
 
Excepto donde se indique lo contrario, el contenido de esta wiki se autoriza bajo la siguiente licencia: CC Attribution-Noncommercial-Share Alike 3.0 Unported


Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki