Prctica 7

Funciones Elementales
y
Funciones Analticas

que el tema amerita ms tiempo para exponerlo.

Dada
queremos estudiar en que transforma a algunas curvas simples y regiones simples, as
10.2
Ejercicios
transformaciones
tendremos
una idea
de la manerasobre
en que deforma
al plano . El desarrollo de la idea lo haremos en los mismos
Ejercicios.
Problema 1
Hallar la imagen de la circunferencia dada por
, segn la transformacin ;

Problema 1.

10.2

Ejercicios sobre transformaciones

Solucin
Problema 1
Hallar la imagen de la circunferencia dada por

.
, segn la transformacin ;

Por lo tanto
Solucin
As que
viada por
Por lo tanto
con

con

en

por ser circunferencia centro

, radio

pero como

, por lo tanto,

As que
viada por

con

. La imagen es el intervalo
con

en

en el eje .

por ser circunferencia centro

, radio es en-

pero como

, por lo 2tanto,
y
Problema
dada por
Sea
(a) Hallar la transformacin de por .

. La imagen es el intervalo
, sea

en el eje .

(b) Resolver
la ecuacin
Problema
2
dada por
Sea
(a) Hallar la transformacin de por .

, sea

105
(b) Resolver la ecuacin

105

con

, por lo tanto,

. La imagen es el intervalo

en el eje .

Problema 2.
Problema 2
dada por
Sea
(a) Hallar la transformacin de por .

, sea

(b) Resolver la ecuacin

105

Solucin
(a)
Por tanto
Sin embargo el estudio de
tonces a la forma polar:

,
As que

no conduce a alguna idea aceptable (como en el ejercicio anterior) recurrimos en-

,
puesto que en ,
2do cuadrante. Por lo tanto

lo cual se deduce de que en ,

(b)

Problema 3
Hallar la imagen de la familia de rectas de ecuaciones

, bajo la transformacin

.
3

Funcin Logartmica
Hemos visto que
a restringir
a
As Exp restringida en
La imagen de la recta

uncin

no es inyectiva, por lo tanto para construir la funcin inversa (

y
se denota:
es el semirayo de ngulo

) vam

(excludo el origen). Ahora construmos

Figura 10.1:

como

con

y
se nombra como la rama principal de la funcin log con imgenes en la zona
est bien definido si especificamos un intervalo de longitud
donde
Entonces,

tome sus valore

4

Figura 10.2:

Quedando entonces

.4

10.4Problema
Ejercicios
Ejercicios
Resueltos
3.Resueltos
10.4

blema 4
a)

Ejercicios
Problema
4

Resueltos

Estudiar en detalle la funcin

Problema
4
udiar
en detalle
la funcin

Estudiar en detalle la funcin

Solucin
ucin
Para
,
Solucin

a Para ,

Sabemos por el Teorema

que al ser
funciones polinmicas en , por lo tanto cont
contnua
en .
Sabemos
porTeorema
el Teorema
que al
funciones
polinmicas
en , en
por lo tanto
ser en
emos
por el
que
al ser
ser
funciones
polinmicas
, porcontnuas
lo tanto en
contnuas
contnua
. un complejo cualquiera
Ahora
o en forma polar
nua
en .en
Ahora un complejo
cualquiera
o en forma
polar el mdulo de y duplicar su ngulo.
El efecto
de la funcin es elevar
cuadrado
ra un complejo
cualquiera
o enalforma
polar
El efecto de la funcin es elevar al cuadrado el mdulo de

y duplicar su ngulo.

efecto de la funcin es elevar al cuadrado el mdulo de

Figura 10.4:

y duplicar su ngulo.

Figura 10.4:
6

b)

Problema 5
Transformacin de

por

? Es biyectiva?.

Solucin
110

Figura 10.5:

El primer cuadrante del plano complejo lo transforma al semiplano superior. Adems tal transformacin es biyectiva.
(Ver figura 10.5)

Problema 6
Transformacin de

por

. Es biyectiva?
7

Figur
8

Figura 10.5:

(Ver figura 10.5)

Ejercicio 3.
Problema 6
Transformacin de

por

. Es biyectiva?

Solucin
La transformacin no, enva inyectivamente a

en

toda vez que por ejemplo a los

Ejercicio 4.
Problema 9
Calcular
Solucin
,

Problema 10
Sea
(a) Hallar todas las soluciones en forma polar.
Figura 10.6:
(b) Hallar todas las soluciones en forma binmica.
(c) Representar las soluciones.
Solucin

10

Problema 4.
Problema 7
Sea Problema 7

Sea
(a)
Transformacin de
(b)
(a)Transformacin
Transformacinde
de
(c)
(b)Transformacin
Transformacinde
dela franja entre dos rectas paralelas al eje imaginario.
(d)
ejerectas
real y paralelas
la recta al eje imaginario.
fijo real.
(c)Transformacin
Transformacinde
delalafranja
franjaentre
entreeldos
(e)
rectas
(d)Transformacin
Transformacinde
delalafranja
franjaentre
entredos
el eje
realparalelas
y la rectaal eje real con:fijo real.
(f)
paralelas
al al
eje
real
con:
(e)Transformacin
Transformacindedelalafranja
franjaentre
entredos
dosrectas
rectas
paralelas
eje
real
con:
(f) Transformacin de la franja entre dos rectas paralelas al eje real con:
Solucin
(a)
Solucin
Aqu
.
(a)
Aqu

Figura 10.7:

Figura 10.7:
11

(b)
. Por lo tanto

Figura 10.8:

c)
Las soluciones de las partes (c) y (d) estn en la pgina 123, mientras que las de (e) y (f) estn en la 124.

Problema 8
Hallar
112

12

d)

Figura 10.10:

e)

Solucin
con
Ahora,
est en el primer cuadrante ya que
y
Por tanto,
Debemos hallar tal que
10.11:
Es obvio que con
,
. Figura
Por tanto
Otros clculos de logaritmos complejos a sugerir son:
(a)
(b)

13

Figura 10.11:

f)

Figura 10.12:

Solucin
pero como
Por tanto

no conocemos

est en el segundo cuadrante por ser

pero nos indican los valores de

en el ejercicio.
14

Derivacin - Funciones Analticas Ecuaciones

de
Cauchy-Riemann
Funciones Analticas:
Objetivos: En este captulo el alumno aprender los conceptos de derivabilidad, Analiticidad de una funcin
abierto
, para ello tendr que digerir varios teoremas importantes y saber aplicarlos.
Definicin 1 (Funcin derivable) Sea
Notacin
existe
Por comodidad, se escribe

. Se dice que

es derivable en

, si

Ahora,
El nmero complejo
Si es derivable

y sea

abierto
Notacin

si

definido por el lmite anterior se llama la derivada de

, se dice que es derivable en .

en

Definicin 2 (Funcin Analtica)

abierto
se dice Analtica (u holomorfa) en un punto
si
es derivable en un entorno de , es decir, si es derivable en cada punto de un disco abierto
(o en
cada punto de un abierto de que contenga a ). Si es analtica en cada punto de entonces se dice que es
analtica en .
Definicin 3 (Funcin Entera) Si

es analtica en cada punto de , se dice que

es una funcin entera.

Una propiedad muy importante, que repasaremos ms adelante y que contrasta con el caso real, es que para
abierto
, si existe entonces tambin existen
(lo cual no siempre sucede para
funciones reales).
Teorema 1 (Propiedades de funciones analticas) Si
se cumple:

(a) La derivada de una constante compleja es cero

son analticas en un abierto

, entonces

15

definido por el lmite anterior se llama la derivada de

, se dice que es derivable en .

El nmero complejo
Si es derivable

en

Definicin 2 (Funcin Analtica)

abierto
se dice Analtica (u holomorfa) en un punto
si
es derivable en un entorno de , es decir, si es derivable en cada punto de un disco abierto
(o en
cada punto de un abierto de que contenga a ). Si es analtica en cada punto de entonces se dice que es
analtica en .
Definicin 3 (Funcin Entera) Si

es analtica en cada punto de , se dice que

es una funcin entera.

Una propiedad muy importante, que repasaremos ms adelante y que contrasta con el caso real, es que para
abierto
, si existe entonces tambin existen
(lo cual no siempre sucede para
funciones reales).
Teorema 1 (Propiedades de funciones analticas) Si
se cumple:

son analticas en un abierto

, entonces

(a) La derivada de una constante compleja es cero

(b)
(c)
(d)
(e) Si

son analticas en
es analtica en
es analtica en

, entonces

es analtica en

Ahora son ejercicios inmediatos, basndose en el teorema 12, que:

(i) Cualquier polinomio
polinmicas son enteras) y

es analtica en
.

(en otras palabras, las funciones

123

16

Recordemos tambin de MA 2112, que

es diferenciable en

continuas las derivadas parciales

Teorema 3 Sea

en una vecindad de

abierto

. Si existe

en

entonces con

, existen

y se cumple que

Teorema 4 (Ecuaciones de Cauchy-Riemann) Sea

derivable en

si existen y son

abierto

. Entonces existen

en

. Suponga que

es

y se satisfacen las ecuaciones de

Cauchy-Riemann:

Observacin 1 El teorema 15 va en una sola direccin: Si existe

, existen
ecuaciones de Cauchy-Riemann (C-R) en
. El recproco es falso, si existen
ecuaciones de (C-R) en ( , ), no tiene porque ser derivable en .
El prximo teorema nos da las condiciones necesarias y suficientes para que
Teorema 5 Sea
abierto
como funcin de un subconjunto de
.
Riemann en

,
en

,
, es diferenciable en

y se satisfacen las
y se satisfacen las

sea derivable.

es derivable en
, considerada
y se satisfacen las ecuaciones de Cauchy-

124
17

Teorema 4 (Ecuaciones de Cauchy-Riemann) Sea

derivable en

. Entonces existen

en

Teorema 4 (Ecuaciones de Cauchy-Riemann) Sea

Cauchy-Riemann:

derivable en

abierto

. Entonces existen

en

es

y se satisfacen las ecuaciones de

,

abierto

. Suponga que
. Suponga que

es

y se satisfacen las ecuaciones de

Cauchy-Riemann:

Observacin 1 El teorema 15 va en una sola direccin: Si existe

, existen
y se satisfacen las
ecuaciones de Cauchy-Riemann (C-R) en
. El recproco es falso, si existen , , ,
y se satisfacen las
ecuaciones de (C-R) en ( , ), no tiene porque ser derivable en .
Observacin 1 El teorema 15 va en una sola direccin: Si existe
, existen
y se satisfacen las
ecuaciones
de teorema
Cauchy-Riemann
en
. El recproco
es falso,para
si existen
, derivable.
, ,
y se satisfacen las
El prximo
nos da las(C-R)
condiciones
necesarias
y suficientes
que sea
ecuaciones de (C-R) en ( , ), no tiene porque ser derivable en .
Teorema 5 Sea
abierto
,
,
.
es derivable en
, considerada
El prximo
teorema
nos da lasdecondiciones
necesarias
y suficientes
para
sea derivable.
como
funcin de
un subconjunto
en , es
diferenciable
en
y seque
satisfacen
las ecuaciones de Cauchy.
Riemann en
Teorema 5 Sea
abierto
,
,
.
es derivable en
, considerada
como funcin de un subconjunto de
en , es diferenciable
y se satisfacen las ecuaciones de Cauchy124 en
.
Riemann en
124

Ahora bien, si
Corolario 1
Riemann en

son funciones

es derivable en

(tienen primeras derivadas parciales continuas), podemos concluir el

y satisfacen las ecuaciones de Cauchy-

Finalmente, recordando la definicin 2 (de funcin analtica), podemos extender el corolario 4 a funciones
analticas:
Corolario 2
abierto
componentes de , y

es analtica en
(es decir, derivable en un entorno de )
las
(un entorno de
) y satisfacen las ecuaciones de Cauchy-Riemann en dicho 18

ar, entera significa que es funcin de

(lo es por definicin) y adems es a
ostrar. Para ello, necesitamos que y (las componentes de ) sean
en todo (
isfagan
Problemalas
1 ecuaciones de Cauchy-Riemann en todo .

Problema 5.

Problema 1
tal que
. Demuestre formalmente que es una funcin entera y que
Sea
tal
que
. Demuestre formalmente que es una funcin entera y que
Sea
utilizando la teora estudiada.
yutilizando
son lafunciones
polinmicas en
y por tanto (de MA-2112) sabemos que
teora estudiada.

on,
a su vez, funciones polinmicas en
y por tanto continuas en
Solucin
Solucin
a utilizar el las
corolario
5 del teorema
y la definicin 3:
yVamos
satisfacen
ecuaciones
de17Cauchy-Riemann
en .
Vamos a utilizar el corolario 5 del teorema 17 y la definicin 3:

existe
. Asi que

En primer lugar, entera significa que es funcin de

(lo es por definicin) y adems es analtica. Esto lo
En primer lugar, entera significa que es funcin de
(lo es por definicin) y adems es analtica. Esto lo
vamos a demostrar. Para ello, necesitamos que y (las componentes de ) sean
en todo (el dominio de la
vamos a demostrar. Para ello, necesitamos que y (las componentes de ) sean
en todo (el dominio de la
funcin) y satisfagan las ecuaciones de Cauchy-Riemann en todo .
funcin) y satisfagan las ecuaciones de Cauchy-Riemann en todo .
En efecto:
.
En efecto:
.
Ahora bien, y son funciones polinmicas en
y por tanto (de MA-2112) sabemos que existen
Ahora bien, y son funciones polinmicas en
y por tanto (de MA-2112) sabemos que existen
y que estas son, a su vez, funciones polinmicas en
y por tanto continuas en
. Asi que
. Falta
y que estas son, a su vez, funciones polinmicas en
y por tanto continuas en
. Asi que
. Falta
probar que y satisfacen las ecuaciones de Cauchy-Riemann en .
probar que y satisfacen las ecuaciones de Cauchy-Riemann en .

19

Finalmente, aplicando la definicin 3 y el teorema 17 concluimos que

es funcin entera. Adems, por el teorema 3

.
Luego,

Problema 2
abierto
por
Dada la funcin
(a) Demuestre que es analtica en un subconjunto
(b) Halle el conjunto donde es analtica.
(c) Demuestre que

.
de

, justificando su respuesta
126

20

Nota Didctica: El alumno debe entender que en un examen, no basta con nombrar
ro, sino que es necesario que enuncie las condiciones del mismo (como lo hemos hecho h
Nota Didctica:
El alumno
debe entender
en un examen,
no basta con
un teorema
por un nmede aqu
en adelante,
para que
no hacer
las exposiciones
denombrar
las soluciones
demasiado
larga
ro, sino que es
necesario
que
las condiciones
mismo (como
lo hemos
hecho hasta ahora).
Sin embargo,
teorema
por
suenuncie
nmero,
quedando del
al alumno
agregar
las condiciones
correspondientes.
de aqu en adelante, para no hacer las exposiciones de las soluciones demasiado largas, mencionaremos slo el
Hallar el dominio de analiticidad de dada por
y dibujarlo.

Problema 6.

teorema por su nmero, quedando al alumno agregar las condiciones correspondientes. Problema 3
Hallar el dominio de analiticidad de dada por
y dibujarlo.

Solucin
Solucin

. Por lo tanto, Dom. Analiticidad

. Por lo tanto, Dom. Analiticidad
. rayo
En este caso, el dominio queda. como en la Figura 11.1

rayo

En este caso, el dominio queda como en la Figura 11.1

Problema 4 Problema 4
Demuestre que es derivable en

, la funcin , donde

Demuestre que es derivable en

127

, la funcin , donde
127

Figura 11.1:
21

Luego,

existe y

continua debido a que

(por ser ,

son funciones polinmicas en

Problema 7.

Problema 5
Sea
Problema 5
Sea

. Demuestre que

. Demuestre que

).

no es derivable para

no es derivable para

Solucin

Solucin
La demostracin
har de
usando
(teorema
lgicaenque
debido
estudiar
La demostracin
se har usandose
(teorema
lgica que
ha debidode
estudiar
algnha
curso)
el hecho
de que en
si
un teoremaun
es teorema
cierto entonces
tambinentonces
lo es su contra-recproco
(o negacin
del recproco). Pensemos
en el d
es cierto
tambin lo es
su contra-recproco
(o negacin
(abierto)
existen (abierto) en
teorema 15:
derivable en
existen
teorema 15:derivable en
y se satisfacen las ecuaciones de Cauchy- Riemann en
. El contra-recproco sera: Si no se satisfacen las
se(C-R)
satisfacen
las ecuaciones
deenCauchy- Riemann
en
. El contra-recpro
condicionesy de
en
no es derivable
.

condiciones de (C-R) en

no es derivable en

En nuestro caso, sea

Por ser

En nuestro
caso,
funcin
polinmica
en
Por ser

sea
y la funcin nula en

, recordemos
que (C-R) seran:
funcin
polinmica
en
y

, es obvio que existen las derivadas parciales de

la funcin nula en

pero en nuestro caso, la nica manera de cumplirse (C-R) sera con

, recordemos que (C-R)
.
Conclusin: no es derivable para
.

, es obvio que existen l

, cosa imposible ya que por hiptesis,

seran:

pero en nuestro caso, la nica manera de cumplirse (C-R) sera con

.
Conclusin: no es derivable para
.

Problema 6
. Demuestre que
Sea

y :

, cos

es funcin entera.
128

Problema 6
. Demuestre que
Sea

es funcin entera.
22