Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 45 vistas

    Funciones Final

    Cargado por

    Ricardo Ramírez Angeles
    El documento presenta la demostración de varios teoremas fundamentales del análisis complejo, como el teorema de Cauchy, la fórmula generalizada de Cauchy, el teorema de Morera, el teorema de Liouville, el teorema fundamental del álgebra y el teorema del módulo máximo. En cada caso se enuncia el teorema y se presenta la demostración matemática correspondiente de forma rigurosa.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    Funciones Final

    Cargado por

    Ricardo Ramírez Angeles
    45 vistas4 páginas
    El documento presenta la demostración de varios teoremas fundamentales del análisis complejo, como el teorema de Cauchy, la fórmula generalizada de Cauchy, el teorema de Morera, el teorema de Liouville, el teorema fundamental del álgebra y el teorema del módulo máximo. En cada caso se enuncia el teorema y se presenta la demostración matemática correspondiente de forma rigurosa.

    Descripción original:

    variable

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento presenta la demostración de varios teoremas fundamentales del análisis complejo, como el teorema de Cauchy, la fórmula generalizada de Cauchy, el teorema de Morera, el teorema de Liouville, el teorema fundamental del álgebra y el teorema del módulo máximo. En cada caso se enuncia el teorema y se presenta la demostración matemática correspondiente de forma rigurosa.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    45 vistas4 páginas

    Funciones Final

    Cargado por

    Ricardo Ramírez Angeles
    El documento presenta la demostración de varios teoremas fundamentales del análisis complejo, como el teorema de Cauchy, la fórmula generalizada de Cauchy, el teorema de Morera, el teorema de Liouville, el teorema fundamental del álgebra y el teorema del módulo máximo. En cada caso se enuncia el teorema y se presenta la demostración matemática correspondiente de forma rigurosa.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 4

    c)Calcule la integral del contorno de funciones analíticas , enuncie el teorema de

    integral de cauchy.

     Enunciado : Si una función 𝑓 es analítica en una región que contiene a curva simple
    cerrada c y a su interior entonces para cada punto 𝑍0 encerrado por c ,
    𝑓(𝑧)
    ∫ 𝑑𝑧 = 2𝜋𝑖𝑓(𝑧0 )
    𝑐 𝑧 − 𝑧0

    En particular, los valores de una función que es analítica en el interior de una curva c están
    determinados por los valores de la función en c.

    d)Enuncie y demuestre la formula generalizada de la fórmula de la integral de cauchy


    𝑓(𝑧)
     Demostración : Observar que la función es analítica en todos los puntos del
    𝑧−𝑧0
    interior de c excepto 𝑧0 , por lo tanto si c es un circulo de radio r centrado en 𝑧0
    entonces :

    𝑓(𝑧) 𝑓(𝑧)
    ∫ 𝑑𝑧 = ∫ 𝑑𝑧
    𝑐 𝑧 − 𝑧0 𝑐 𝑧 − 𝑧0
    Ahora basta probar que
    𝑓(𝑧) 𝑓(𝑧0 ) 𝑓(𝑧) − 𝑓(𝑧0 )
    ∫ 𝑑𝑧 = ∫ 𝑑𝑧 = ∫ 𝑑𝑧 = 0
    𝑐 𝑧 − 𝑧0 𝑐 𝑧 − 𝑧0 𝑐 𝑧 − 𝑧0

    Vemos entonces que:

    𝑓(𝑧) 𝑓(𝑧0 ) 𝑓(𝑧) − 𝑓(𝑧0 )


    ∫ 𝑑𝑧 = ∫ 𝑑𝑧 = ∫ 𝑑𝑧 = 0
    𝑐 𝑧 − 𝑧0 𝑐 𝑧 − 𝑧0 𝑐 𝑧 − 𝑧0

    Como 𝑓(𝑧) es continua en 𝑧0 , 𝑝𝑎𝑟𝑎 𝑐𝑎𝑑𝑎 ∈> 0 tal que |𝑓(𝑧) − 𝑓(𝑧0 )| <∈ 𝑠𝑖 |𝑧 − 𝑧0 | < 𝛿

    Asi que si 𝑟 < 𝛿 entonces

    𝑓(𝑧) − 𝑓(𝑧0 ) ∈
    |∫ 𝑑𝑧| ≤ 2𝜋𝑟 = 2𝜋 ∈
    𝑐 𝑧 − 𝑧0 𝑟

    Como esto vale para todo ∈ tomando r suficientemente pequeño y el valor de la integral no
    cambia al disminuir r , la integral vale 0.

    e) Enuncie y demuestre el teorema de Morera.


    Recordando el teorema de Cauchy para el triangulo:
    Ω = Ω° ⊂ ℂ , 𝑓 ∈ 𝐶(Ω)

    𝑓 ∈ 𝐻(Ω) → ∫[𝑎,𝑏,𝑐,𝑎] 𝑓(𝑧)𝑑𝑧 = 0 , siempre que ∆(𝑎, 𝑏, 𝑐) ⊂ Ω

    Ω = Ω° ⊂ ℂ , 𝑓 ∈ 𝐶(Ω)
    Supongamos que:

    a ,b ,c ∈ ℂ , ∆(𝑎, 𝑏, 𝑐) ⊂ Ω → ∫[𝑎,𝑏,𝑐,𝑎] 𝑓(𝑧)𝑑𝑧 = 0

    Entonces 𝑓 ∈ 𝐻(Ω)
    f) Enuncie y demuestre el teorema de Louville.

     Enunciado:
    Sea 𝑓 ∈ 𝐻(𝐶) , 𝑓 no constante. Entonces 𝑓 no está acotada.

     Demostración:

    Vamos a demostrar el reciproco, es decir, que si 𝑓 ∈ 𝐻(ℂ) y 𝑓 está acotada,


    entonces 𝑓 es necesariamente constante.

    Para empezar, como 𝑓 es holomorfa, entonces es analítica y


    ∞
    𝑓(𝑧) = ∑ 𝑎𝑛𝑧𝑛 , ∀z ∈ ℂ
    𝑛=0

    Fijamos 0 < 𝑟 < +∞ . Si le aplicamos ahora la desigualdad de Cauchy, nos queda

    𝑀(𝑟)
    |𝑎𝑛 | ≤
    𝑟𝑛

    que, como 𝑓 está acotada, es decir , ∃𝐶 > 0 ∶ | 𝑓(𝑧) | ≤ 𝐶 , ∀𝑧 ∈ ℂ , que no depende


    de r, nos queda:

    𝐶
    |𝑎𝑛 | ≤
    𝑟𝑛
    𝐶
    Finalmente, si 𝑛 ≥ 1 entonces |𝑎𝑛 | ≤ lim = 0, por lo que 𝑓(𝑧) = 𝑎0 que implica
    𝑟→∞ 𝑟 𝑛
    que 𝑓 es constante ∀𝑧 ∈ ℂ

    Lo que nos está diciendo el teorema de Liouville, por ejemplo, es que la función
    sin(𝑧) no está acotada a diferencia de lo que ocurre en variable real, pues solo lo están
    las funciones constantes.

    g) Enuncie y demuestre el teorema fundamental del álgebra.

     Enunciado:
    Sea 𝑝(𝑧) = 𝑎0 + 𝑎1 𝑧 + 𝑎2 𝑧 2 + ⋯ + 𝑎𝑛 𝑧 𝑛 un polinomio no constante. Entonces la
    ecuación
    𝑝(𝑧) = 0 tiene solución.

     Demostración:
    Vamos a proceder por reducción al absurdo. Supondremos que 𝑝(𝑧) ≠ 0 , ∀𝑧 ∈ ℂ y
    1
    consideraremos la función 𝑓(𝑧) = 𝑝(𝑧) . Es fácil ver qué 𝑓(𝑧) ∈ 𝐻(ℂ) y que no es
    constante.

    Veremos que 𝑓(𝑧) está acotada, lo que supondrá una contradicción con Liouville.

    Efectivamente, para 𝑝(𝑧) = 𝑎0 + 𝑎1 𝑧 + 𝑎2 𝑧 2 +…+𝑎𝑛 𝑧 𝑛 , como 𝑛 ≥ 1 y 𝑎𝑛 ≠ 0, tiene


    sentido escribir 𝑝(𝑧) como:
    𝑎𝑛−1 𝑎0
    𝑝(𝑧) = 𝑧 𝑛 (𝑎𝑛 + + ⋯ + 𝑛)
    𝑧 𝑧

    con lo que, si tomamos valores absolutos y utilizando que |𝑎 + 𝑏| ≥ |𝑎| − |𝑏| , nos
    queda:

    |𝑎𝑛−1 | |𝑎0 |
    |𝑝(𝑧)| = |𝑧|𝑛 (|𝑎𝑛 | + + ⋯+ 𝑛
    |𝑧| |𝑧|

    h) Enuncie y demuestre el teorema del módulo máximo.

     Enunciado:

    Sea Ω un abierto conexo y sea f ∈ H(Ω). Si |𝑓| tiene algún máximo local en Ω
    entonces f es constante en Ω.

     Demostración:
    Si |𝑓| tiene un máximo local en 𝑍0 ∈ Ω, entonces existe un disco abierto 𝐷𝑅 (𝑍0 ) ⊂ Ω tal
    que:
    |𝑓(z)| ≤ |𝑓(𝑍0 )| ∀z ∈ 𝐷𝑅 (𝑍0 )

    Sea r ∈ (0, R) y sea 𝐶𝑟 la circunferencia de centro 𝑍0 y radio r, recorrida una sola vez
    en sentido antihorario. Se cumple 𝐶𝑟 ⊂ 𝐷𝑅 (𝑍0 ),luego:
    |𝑓(z)| ≤ |𝑓(𝑍0 )| ∀z ∈ 𝐷𝑅 (𝑐𝑟 )
    Aplicando la fórmula integral de Cauchy a la circunferencia 𝑐𝑟 se obtiene:
    1 𝑓(z)
    𝑓(𝑍0 ) = 2𝜋𝑖 ∫𝑐 𝑧−𝑍0
    𝑑𝑧 (1)
    𝑟
    Por el teorema de acotación de integrales, sabiendo que |z − z0| = r ∀ z ∈ Cr, y que la
    longitud de Cr es 2πr, se obtiene:

    1 |𝑓(𝑧)| 1 |𝑓(𝑧0 )| |𝑓(𝑧0 )|


    |𝑓(𝑍0 )| ≤ ∫ |𝑑𝑧| ≤ ∫ |𝑑𝑧| = ∫ |𝑑𝑧| = |𝑓(𝑧0 )|
    2𝜋 𝑐𝑟 𝑟 2𝜋 𝑐𝑟 𝑟 2𝜋 𝑐𝑟

    1 |𝑓(𝑧)|
    Llamemos 𝐼 = ( ) ∫𝑐 ( )|𝑑𝑧| . Las desigualdades anteriores dicen que |𝑓(𝑍0 )| ≤ I
    2𝜋 𝑟 𝑟

    y que 𝐼 ≤ |𝑓(𝑍0 )|. Entonces I = |𝑓(𝑍0 )|. Por lo tanto, sabiendo que ∫𝑐 |𝑑𝑧| = 2𝜋𝑟
    𝑟

    1 1
    0 = |𝑓(𝑧0 )| − 𝐼 = 2𝜋 (∫𝑐 |𝑓(𝑧0 )||𝑑𝑧| − ∫|𝑓(𝑧)||𝑑𝑧|) = 2𝜋𝑟 ∫𝑐 (|𝑓(𝑧0 )| − |𝑓(𝑧)|)|𝑑𝑧|
    𝑟 𝑟

    Parametrizando la circunferencia 𝐶𝑟 ∶ 𝑧 = 𝑧0 + 𝑟𝑒 𝑖𝑡 , 𝑡 ∈ [0,2𝜋] , calculando la última


    integral de la igualdad de arriba, donde |𝑑𝑧| = |𝑧(𝑡)|𝑑𝑡 = 𝑟𝑑𝑡 .
    Se obtiene:
    1 2𝜋
    0= ∫ ( |𝑓(𝑧0 )| − |𝑓(𝑧0+ 𝑒 𝑖𝑟𝑡 )|)𝑑𝑡
    2𝜋 0
    (2)

    La integral de la derecha en (2), es la integral de una función real continua y no


    negativa (debido a la desigualdad (1)). Pero esa integral es 0. Luego la función real en
    el integrando tiene que ser idénticamente nula. Se deduce que |𝑓(z)| = |𝑓(𝑍0 )| ∀z ∈
    𝑐𝑟 .
    Haciendo variar r ∈ (0, R) se deduce que:
    |𝑓(𝑧)| = |𝑓(𝑧0 )| ∀𝑧 ∈ 𝐷𝑅 (𝑧0 ) (3)

    Hemos probado que el módulo de f es constante en DR(z0). Esto implica que f es


    constante en 𝐷𝑅 (𝑍0 ), f es constante en Ω.

    También podría gustarte