Apun Met Matem

APUNTES DE MTODOS MATEMTICOS
scar Arturo Fuentes Mariles

Divisin de Educacin Continua y a Distancia de la Facultad de Ingeniera
UNIVERSIDAD NACIONAL AUTNOMA DE MXICO

Versin 1/ Mxico D.F., 13 aogsto 2007
Tabla de contenidos
NDICE

1.- Ecuaciones Diferenciales
1.1 Ecuaciones Diferenciales de Primer Orden
1.1.1 Ecuaciones diferenciales separables
1.1.2 Ecuaciones diferenciales homogneas
1.1.3 Ecuaciones lineales de primer orden con un factor
integrante
1.1.4 Ecuaciones diferenciales exactas
1.1.5 Factores integrales
1.2 Algunos Conceptos Complementarios
1.2.1 Campos de direccin
1.2.2 Trayectorias ortogonales
1.2.3 Soluciones singulares
1.3 Ecuacin Lineal de Segundo Orden no Homognea
1.3.1 Mtodo de coeficientes indeterminados
1.3.2 Mtodo de variacin de parmetros
1.3.3 Ecuacin de Cauchy-Euler

2.- Soluciones de Ecuaciones Diferenciales con Series de
Polinomios
2.1 Series de Potencias
2.1.1 Propiedades de las series de potencias
2.1.2 Desarrollo de una funcin en serie de potencias
2.1.3 Desarrollo en series de algunas funciones
2.2 Solucin con Series de Potencias
2.2.1 Ecuacin de Legendre
2.2.2 Polinomios de Legendre
2.2.3 Ecuacin de Hermite
2.3 Mtodo de Frobenius
2.3.1 Ecuacin diferencial de Bessel
2.3.1.1 Coeficientes para el caso r=r
1
=p
2.3.1.2 Funcin de Bessel J
k
(x) para p entero
2.3.2 Funcin Gamma
2.4 Problemas de Sturm-Liouville. Ortogonalidad
2.4.1 Ortogonalidad
2.4.2 Ortogonalidad de las eigenfunciones

3.- Clculo Diferencial Vectorial
3.1 lgebra vectorial
3.1.1 Escalares y vectores
3.1.2 Igualdad
3.1.3 Multiplicacin de un vector por un escalar
3.1.4 Suma y resta de vectores
3.1.5 Producto escalar o producto punto
3.1.6 Producto vectorial o producto cruz
3.1.7 Triple producto escalar
3.1.8 Triple producto vectorial
3.2 Dependencia lineal
3.2.1 Descomposicin de vectores. Vectores base
3.3 Clculo diferencial vectorial
3.3.1 Lmite en una funcin vectorial
3.3.2 Continuidad de una funcin vectorial
3.3.3 Derivada de una funcin vectorial
3.3.4 Geometra diferencial
3.3.5 Derivada direccional de una funcin escalar
3.3.6 Derivada direccional de una funcin vectorial
3.4 Operadores diferenciales
3.4.1 Gradiente
3.4.2 Divergencia de una funcin vectorial
3.4.3 Rotacin de una funcin vectorial

4.- Integracin Vectorial
4.1 Integral de un vector
4.2 Integral de lnea
4.2.1 Teorema fundamental para integrales de lnea
4.2.2 Independencia de la trayectoria
4.3 Integrales de Superficie
4.3.1 Superficies paramtricas
4.3.2 rea superficial de una funcin
4.3.3 La integral de superficie de una funcin
4.3.4 Superficie orientada
4.3.5 Integral de superficie de campos vectoriales
4.3.6 Integral de superficie dada por una grfica
4.3.7 Otras integrales de superficie
4.4 Integral de volumen
4.4.1 Volmenes paramtricos
4.5 Teoremas de Green en el plano
4.6 Teoremas de la divergencia o de Green en el espacio
4.7 Teorema de Stokes
4.8 Coordenadas curvilneas
4.8.1 Vectores unitarios
4.8.2 Elementos de lnea y de volumen
4.8.3 Gradiente, divergencia, rotacional y laplaciano

5.- Funciones de una variable compleja
5.1 lgebra de nmeros complejos
5.1.1 Igualdad
5.1.2 Operadores de nmeros complejos
5.1.3 Forma trigonomtrica o polar de un complejo
5.2 Funciones de variable compleja
5.3 Lmites y continuidad de una funcin de variable compleja
5.4 Derivadas de funciones de variable compleja
5.4.1 Propiedades de las funciones analticas
5.4.2 Puntos singulares
5.4.3 Ejemplos de las propiedades de las funciones analticas
5.5 Integrales de funciones de variable compleja
5.5.1 Integrales complejas de variable real
5.5.2 Integrales de lnea de funciones complejas

6.- Transformacin Conforme
6.1 Puntos fijos o invariantes de una transformacin
6.2 Transformaciones sucesivas
6.3 Transformaciones bsicas
6.4 Transformacin de Schwarz-Christoffel
6.5 Aplicaciones al flujo de fludos
6.5.1 El potencial complejo
6.5.2 Lneas y trayectorias equipotenciales
6.5.3 Fuentes y sumideros
6.5.4 Algunos flujos especiales
6.5.5 Superposicin de flujos
6.6 Flujo alrededor de obstculos
6.6.1 Flujo alrededor de un cilindro

Captulo 1
Ecuaciones diferenciales ordinarias
Dr. scar Arturo Fuentes Mariles
Versin 1/13 agosto 2007

1. ECUACIONES DIFERENCIALES ORDINARIAS
Objetivo:
En este captulo alumno conocer los conceptos fundamentales de las ecuaciones
diferenciales ordinarias para comprender las bases de los mtodos de solucin con
series de polinomios de las ecuaciones diferenciales lineales de segundo orden.
Entre estos conceptos se incluyen a los campos de direccin y trayectorias
ortogonales, que tienen aplicacin en la descripcin del movimiento de los fluidos.
Una ecuacin diferencial ordinaria incluye una o ms derivadas de funciones
desconocidas en una variable. Dado que las derivadas son razones de cambio
instantneas (diferencia entre dos valores de la funcin dividida entre una
diferencia entre dos valores de la variable), las ecuaciones diferenciales describen
el cambio y movimiento, por lo que son empleadas en la Hidrulica
El orden de una ecuacin diferencial es igual al orden de la ms alta derivada que
aparece en la ecuacin diferencial As:

es una ecuacin diferencial ordinaria de orden uno y

es una ecuacin diferencial ordinaria de orden tres.
Un problema de valor inicial para una ecuacin diferencial de primer orden
consiste en encontrar la solucin de la ecuacin que tambin satisface una
condicin de la forma:

Si la funcin es una solucin de una ecuacin diferencial del tipo
siguiente:

la satisface a la ecuacin diferencial, por lo que para toda x en

algn intervalo y adems debe cumplir con .
Se puede demostrar que en las ecuaciones diferenciales donde es contina
en una regin abierta D en el plano , cumple con la condicin de
existencia y unicidad (en un intervalo que contiene a x
0
).

Ejemplo 1
Resolver el problema de valor inicial ,
Solucin:
La ecuacin diferencial puede escribirse como

Al integrar

La ecuacin anterior es la solucin general de la ecuacin diferencial, en ella se
considera a la constante de integracin C. Para determinarla, se emplea la
condicin inicial y(1) = 2 la cual debe satisfacer a la solucin general, as:

De donde:

Por lo que una solucin particular es:

1.1 ECUACIONES DIFERENCIALES DE PRIMER ORDEN
1.1.1 Ecuaciones diferenciales separables
Cuando la funcin F(x, y) de la ecuacin 1 se puede escribir como el producto de
dos funciones, una de x y la otra de y, se tiene que

(2)

Donde h(x) 0. Al considerar (2) en (1), la ecuacin diferencial que queda se
dice separable y puede escribirse como

Para resolver la ecuacin anterior, se escribe en la forma diferencial

Al integrar en ambos miembros

Esta ecuacin define a y implcitamente como una funcin de x

1.1.2 Ecuaciones diferenciales homogneas
Una ecuacin diferencial de primer orden y= f(x, y) se llama homognea si f(x,
y) puede ser escrita como g(y / x), donde g es una funcin de una sola variable v
= y / x.
Una ecuacin diferencial homognea y = g(y/x) siempre puede transformarse a
una ecuacin separable haciendo el cambio de variable

Entonces

As

(3)

La ecuacin diferencial y = g (y / x) llega a ser

(4)

Que es una ecuacin diferencial separable para v como funcin de x. La solucin
de la ecuacin diferencial original es y = vx

Ejemplo 2
Resolver la ecuacin diferencial
Solucin:
Se comprueba que sta ecuacin es homognea, ya que

Al dividir entre x al numerador y denominador del segundo miembro

Al hacer la sustitucin v = y / x queda

Al sustituir y la ecuacin diferencial queda

As la solucin de la ecuacin original es

Al multiplicar por x
2
y considerar C = 1 / C
1
2

1.1.3 Ecuaciones lineales de primer orden con un factor integrante

El mtodo que puede ser til para resolver la ecuacin (5) consiste en multiplicar
ambos miembros por una funcin I (x) llamada factor integrante. As la
ecuacin 5 queda

(6)

Se trata de obtener la funcin I (x) que cumpla con

(7)

Ya que al integrar ambos miembros quedara

As la solucin correspondera a

Para encontrar la funcin I (x), se iguala entre s a las ecuaciones 6 y 7

Al efectuar el producto del miembro izquierdo y desarrollar la derivada del
miembro derecho

Despus de simplificar

De donde

Como es una ecuacin diferencial separable

Donde A = e
C
. Cuando se considera que A = 1 , resulta que un valor particular
de I es

(8)

De esta manera, para resolver la ecuacin diferencial y+ P(x)y = Q(x), se
multiplica ambos miembros por el factor integrante I(x) = e
P(x)dz
y se integran
ambos lados de la igualdad.
Ejemplo 3.
Resuelva la ecuacin diferencial
Solucin:
En este caso: P(x) = 2x y Q(x) = x. El factor integrante queda I(x) = e
P(x)dx
= e
2xdx
=e
x2
multiplicando ambos miembros de la ecuacin diferencial

o bien

Al integrar ambos miembros

Ejemplo 4
Una ecuacin diferencial de Bernoulli (James Bernoulli, 1654-1705) es de la forma

Cuando n=0 n=1, la ecuacin de Bernoulli es lineal. Muestre que sta ecuacin
se puede trasformar en una lineal para otros valores de n.
Solucin:
Si se considera u = y
1-n
(siendo n 1) se tiene

Por lo que

Al sustituir esta derivada y y = u
1/(1-n)

Al multiplicar por

La expresin anterior es una ecuacin lineal diferencial de primer orden en u.
Ejemplo 5
Solucin:
Como es una ecuacin de Bernoulli, u = y
-2
dado que n -1 = 2, con lo cual la
ecuacin se puede escribir como:

O sea:

(9)

sta ecuacin se resuelve con el mtodo del factor integrante, por lo que

al multiplicar (7) por x
-4

despus de integrar ambos miembros

o sea

Como u = y
-2

o bien

1.1.4 Ecuaciones diferenciales exactas
La Regla de la Cadena para la funcin de dos variables f (x, y) que es
diferenciable para x, y, donde x = g(u) y y = h(u), ambas diferenciables para u,

establece que:

Cuando x = u, y = h(x), la ecuacin anterior queda

al multiplicar por dx resulta

La ecuacin anterior es conocida como diferencial total exacta de la funcin (x,
y). Para el caso particular en que la funcin f (x, y) sea igual a una constante C,
se tiene que

la diferencial queda:

Sea una ecuacin diferencial del tipo:

Si se supone que existe una funcin f (x, y) con derivadas mixtas continuas tal
que

Como el Teorema de Clairaut establece que es indistinto el orden en que se
realicen las derivadas parciales de f (x, y) para obtener la derivada mixta; es
decir que:

(13)

resulta que

y

por lo que se debe cumplir que

para que la diferencial de la funcin f (x, y) = C sea exacta.
Nota: Esta condicin coincide con el requisito de que la funcin vectorial
sea conservativa para que exista la funcin escalar
f (x, y) tal que , como se muestra en el captulo 3.

Ejemplo 6
Resolver la ecuacin

(15)

Solucin:
En este caso

como

Ya que las dos ecuaciones anteriores son iguales, se trata de una diferencial
exacta, por lo que existe una funcin f (x, y) tal que:

(16)

(17)

Al integrar ambos miembros de (14) respecto a x (manteniendo a y constante)
se obtiene

(18)

al derivar la ecuacin anterior respecto a y queda

Al igualar sta ltima expresin con la (15):

por lo que

Si se integra respecto y:

As la ecuacin 16 queda:

1.1.5 Factores integrantes
Para la ecuacin diferencial

podra existir un factor integrante que ahora es funcin tanto de x como de y
I(x, y), tal que despus de multiplicar por I(x, y) a la ecuacin diferencial

(19)

Se obtenga una ecuacin que sea exacta.
Para encontrar I(x, y), se usa el teorema 1; de manera que la ecuacin 17 sers
exacta si

Al desarrollar las derivadas

de donde

(20)

En general, es difcil de resolver la ecuacin 19, pero s se considera que I(x, y)
= h(x), I
y
= 0, de la ecuacin 18 queda as

(21)

O cuando I(x, y) = F(y), I
x
= 0, de la ecuacin 13 se tiene

(22)

Ejemplo 7
Resolver la ecuacin
Solucin:
En este caso

como

Como las dos ecuaciones anteriores son distintas, no es una ecuacin diferencial
exacta. Sin embargo, resulta que

por lo que I es funcin de x y la ecuacin 18 queda,

al integrar

Despus de multiplicar la ecuacin diferencial por I = x
3
queda

ahora

como

Ya que las dos ecuaciones anteriores son iguales, se trata de una ecuacin
diferencial exacta, por lo que existe una funcin f (x, y) tal que

(23)

(24)

Al integrar ambos miembros de (23) respecto a x se obtiene

(25)

al derivar respecto a y queda

despus de igualar sta ecuacin con la (24):

Por lo que

Al integrar respecto y:

(26)

As la ecuacin (26) queda:

1.2 ALGUNOS CONCEPTOS COMPLEMENTARIOS
1.2.1 Campos de direccin
Cuando no es posible resolver explcitamente la ecuacin diferencial

(27)

es posible obtener una aproximacin de la grfica de su solucin, por medio de
las curvas solucin.
En cualquier punto x,y del dominio de f, se conoce el nmero f (x,y) = dy / dx
que representa a la pendiente de la curva solucin. As, en cada punto (x, y),
la ecuacin diferencial seala la direccin de curva. Cuando se dibuja un
segmento corto de lnea con la pendiente f (x,y) en un nmero grande de
puntos, el resultado corresponde a un campo de direccin que permite
visualizar la forma general de las curvas solucin. Mientras ms segmentos de
lnea se dibujen, ms claro ser el diagrama de campo.
1.2.2 Trayectorias ortogonales
Una trayectoria ortogonal de una familia de curvas es una lnea que
intersecta cada curva de la familia formando ngulos de 90 (Figura 1). Por
ejemplo, la familia de lneas rectas que pasan por el origen es una trayectoria
ortogonal de la familia de crculos concntricos con centro en el origen x
2
+ y
2

= r
2
(Figura 2). Se dice que las dos familias son ortogonales una de la otra.

Figura 1 Curvas y sus trayectorias
ortogonales
Figura 2 Circulos concntricos y rectas
que pasan por el origen

Ejemplo 8:
Encontrar la trayectoria de la familia de crculos

(28)

donde c es una constante arbitraria
Solucin.
Las curvas x
2
+ y
2
cy = 0 forman una familia de crculos con centro sobre el
eje y que pasan por el origen (Figura 3). El primer paso consiste en encontrar
una ecuacin diferencial que satisface a todos los miembros de la familia. Si se
diferenca la ecuacin 2

(29)

Para eliminar c, de la ecuacin 3 se despeja a c

al sustituir en 3

de donde

Para la trayectoria ortogonal, la pendiente de la lnea tangente debe ser
recproca y de signo contrario

As

quedando

Al dividir entre x
2
el numerador y denominador del segundo miembro

como es una ecuacin diferencial homognea al sustituir dy / dx y y / x en
trminos de v queda

al integrar

al multiplicar por x
2

que es una familia de crculos con centro sobre el eje x. En la figura 3 se
muestran las trayectorias ortogonales de la familia de crculos dada por la
ecuacin diferencial (3).

Figura 4 Trayectorias ortogonales del
ejemplo 3
Figura 4 Red de flujo en una esquina

Las trayectorias ortogonales ocurren en varias ramas de la fsica; por ejemplo,
las lneas de corriente son trayectorias ortogonales a las curvas equipotenciales
de la velocidad en una red de flujo (figura 4).

1.2.3 Soluciones singulares
Existen soluciones de las ecuaciones diferenciales que no pueden ser obtenidas
desde la solucin general cuando se especifican las constantes de integracin,
tales soluciones son llamadas soluciones singulares.
Considere la familia de curvas solucin definida por

(30)

que es solucin de la ecuacin diferencial

Suponiendo que la familia de curvas definida por (4) es una envolvente (una
curva fija que es tangente a cada curva de la familia). Dado que la pendiente
de la envolvente en un punto (x, y) es la que la curva solucin es tangente a la
envolvente en (x, y), la ecuacin de la envolvente satisface a la ecuacin
diferencial.
En general, la envolvente no es una curva que pertenezca a la familia de
curvas definida por (4), y como no puede ser obtenida desde (4) al encontrar
el valor de la constante arbitraria c, ser obtenida eliminando a c entre las
ecuaciones (4) y

(31)

Ejemplo 9
Se puede verificar que la familia de curvas integrales asociadas con la
ecuacin es la familia de crculos

(32)

Solucin:
La ecuacin de curvas solucin obtenida al eliminar c entre (5) y (6). Como la
de la envolvente es

al sustituir en (6)

(33)

por lo que la envolvente corresponde a un par de lneas rectas que son
tangentes a la familia de crculos dados por la ecuacin 6: La solucin (7) no
puede ser obtenida desde la ecuacin (6) para alguna seleccin de c.

1.3 ECUACIN LINEAL DE SEGUNDO ORDEN NO HOMOGNEA
Una expresin de la forma

(34)

donde a, b y c son constantes y G(x) es una funcin continua, es una
diferencial lineal de segundo orden no homognea. Ella est relacionada con
la ecuacin

(35)

es llamada ecuacin complementaria.
Teorema 1. La solucin general de la ecuacin diferencial no homognea (1)
puede escribirse como

donde y
p
es una solucin particular de la ecuacin (1) y y
c
es la solucin
general de la ecuacin complementaria (2).

1.3.1 Mtodo de coeficientes indeterminados.
Sea la funcin G(x) que aparece en la ecuacin 1 un polinomio. Se considera
que la solucin particular y
p
tambin es un polinomio del mismo grado que G
porque si y es un polinomio, entonces sus derivadas lo son, y as se asegura

que ay+by+cy lo es. Por tanto, se sustituye y
p
por un polinomio con
coeficientes no conocidos en la ecuacin diferencial para encontrar dichos
coeficientes.
Ejemplo 10.
Resolver la ecuacin diferencial y +2y - 3y = x
2
.
Solucin: La ecuacin auxiliar de y +2y - 3y = 0 es

con races: 1, -3. As la solucin de la ecuacin complementaria es

Dado que G(x) = x
2
es un polinomio de grado 2, la ecuacin particular es de
la forma

Por lo que y
p
= 2Ax + B y y = 2A, as al sustituir estas derivadas en la
ecuacin diferencial

al desarrollar y agrupar convenientemente

para que el polinomio del lado izquierdo sea igual al del lado derecho

por lo que

As una solucin particular es

y por el Teorema 1, la solucin general es

Cuando G(x) es de tipo Ce
kx
se recomienda como ecuacin particular a y
p
=
Ae
kx
(se encuentra el coeficiente C), o si G(x) es de la forma Ccoskx + Dsin
kx se sugiere utilizar como solucin particular a yp(x) = Acoskx + Bsin kx (se
obtienen los coeficientes A y B).
Ejemplo 11
Resolver y + y=sin x
Solucin:
La ecuacin auxiliar es r
2
+ 1 = 0 con races i, as que la solucin
complementaria es

de acuerdo con lo indicado

y se trata de obtener A y B. Al derivar y
p
= -Asinx + Bcosx y y
p
= -Acosx
Bsin x por lo que al sustituir en la ecuacin diferencial

queda

por lo que no es una solucin.
Cuando ocurren resultados como el anterior se recomienda multiplicar a la
solucin propuesta por x o x
2
.
Ejemplo 12.
Resolver y + y = sinx
Solucin:
En el ejemplo 2 se vio que la solucin complementaria de esta ecuacin es

ahora se propone como solucin particular a

as

o sea

la sustitucin en la ecuacin diferencial da
al reducir

de donde

quedando la solucin particular

La solucin general

G(x) Tratar como y
p
a
C
1
x
n
+ C
2
x
n-1
+ + C
1
x + C
0
A
1
x
n
+ A
2
x
n-1
+ + A
1
x + A
0

C
1
e
kx
A
1
e
kx

Ccoskx + Dsin kx Acoskx + Bsin kx
Modificaciones: Si algn trmino de y
p
es una solucin de la ecuacin
complementaria, multiplicar por x a y
p
(o por x
2
si es necesario)
Cuadro resumen 1 Mtodo de coeficientes indeterminados

1.3.2 Mtodo de variacin de parmetros
Suponiendo que se ha resuelto la ecuacin homognea

(36)

y se escribe la solucin como

(37)

donde y
1
(x) y y
2
(x) son funciones linealmente independientes, en ocasiones
se les llama soluciones base. (En el capitulo 2 se presentan varios mtodos
que se fundamentan en ellas y se le resalta su importancia). Se remplaza a
las constantes c
1
y c
2
por las funciones arbitrarias u
1
(x) y u
2
(x), por lo que la
solucin particular de la ecuacin no homognea

(38)

es de la forma

(39)

al diferenciar

(40)

como u
1
y u
2
son funciones arbitrarias , se imponen dos condiciones para
ellas. Una condicin es que y
p
es una solucin de la ecuacin diferencial, la
otra se propone de modo que se simplifique el clculo de solucin; por
ejemplo, si en (5) se plantea

(41)

entonces la ecuacin 5 queda

su derivada respecto a x es

sustituyendo en la ecuacin diferencial queda

ordenando

Como y
1
y y
2
son soluciones de la ecuacin complementaria

(42)

Las ecuaciones 6 y 7 forman un sistema de ecuaciones con dos funciones
desconocidas u
1
y u
2
, que una vez obtenidas, se integran y se sustituyen
en (4) para encontrar la solucin de la ecuacin diferencial.
Ejemplo 13
Solucin: La ecuacin auxiliar r
2
+ 1 = 0 con races i, as la solucin de la
ecuacin homognea es c
1
sinx + c
2
cosx. Usando el mtodo de la variacin de
parmetros, se busca una solucin de la forma

entonces

haciendo

(43)

as

al derivar

Para que y
p
sea solucin, se debe cumplir

(44)

Para resolver las ecuaciones (8) y (9), se multiplica (8) por sen x y a (9) por
cos x y se suman

al reducir y factorizar

(45)

al sustituir la ecuacin (10) en (8)

As por integracin u
1
= x+c
1
y u
2
= -1n secx + c
2
y la solucin general
requerida es

1.3.3 Ecuacin de Cauchy-Euler
Algunas ecuaciones lineales diferenciales con coeficientes variables que
pueden transformarse, mediante cambio de variables, a ecuaciones con
coeficientes constantes. Entre ellas est la ecuacin de Euler o Cauchy-
Euler:

(46)

donde a
0
, a
1
, a
2
son constantes reales y a
0
0.
El cambio |x| = e
t
reduce la ecuacin (3) a una ecuacin diferencial lineal con
coeficientes constantes
Suponiendo x>0, se hace x = e
t
bien t = 1n x
Entonces :

Sustituyendo en (3)

Es decir:

(47)

Con lo que se transforma en ecuacin diferencial lineal con coeficientes
constantes. Una vez resuelta, se deshace el cambio, al sustituir t = 1nx.
Observaciones:
a) El intervalo en el que se aplica el Teorema de existencia y unicidad, es
cualquiera que no contenga x = 0.
b) Si x < 0 se hace x = -e
t
. Si y(x) es una solucin de la ecuacin de Euler
para x > 0, lo es y(-x) para x < 0.
c) La ecuacin a
0
(ax + b)
2
y + a
1
(ax + b)y + a
2
y =0 tambin se
transforma mediante |ax + b| = e
t
en una ecuacin con coeficientes
constantes.
Races r Solucin de (4) Solucin general
r
1
y r
2
y(t) = C
1
e
y
1
t
+ C
2
e
y
2
t
y(x) = C
1
|x |
y1
+ C
2
|x |
y
2

r
1 =
r
2
y(t) = e
y
1
t
(C
1
+ C
2
t) y(x) = |x |
y
1
(C
1
+ C
2
1n |x |)
= + i y(t) = e
t
[C
1
cos t + C
2
sin t ] y = |x |
[C
1
cos(1n|x|) + C
2
sin (1n|x|)
Cuadro resumen 2. Ecuacin Euler -Cauchy
Ejemplo 14
Resolver la ecuacin diferencial:

Solucin:
Para x >0 se hace x = e
t
o t = 1nx. Al sustituir

en la ecuacin diferencial

Ecuacin caracterstica:

por lo que la solucin es

Por tanto

Ejemplo 15
Resolver la ecuacin diferencial: x
2
y + 3xy + y=0
Solucin: Para x >0, se hace x = e
t
o t = 1nx.
En la ecuacin diferencial:
Ecuacin caracterstica de esta ltima: r
2
+ 2r + 1 = 0 Races: r = -1
luego:

Por tanto:

Ejemplo 16
Resolver la ecuacin diferencial:
Solucin:
Se hace: x = e
t
o t = 1nx.
En la ecuacin diferencial:

Ecuacin caracterstica:

Luego:

Por tanto:

Captulo 2
Soluciones de ecuaciones
diferenciales con series con
polinomios

2. SOLUCIONES DE ECUACIONES DIFERENCIALES CON SERIES CON
POLINOMIOS
Objetivo
En este captulo comprender un mtodo de solucin de las ecuaciones lineales de
segundo orden con coeficientes variables mediante series. Tomando en cuenta
que algunas de estas ecuaciones estn relacionadas con problemas de la Fsica,
como las ecuaciones de Legendre, Hermite y Bessel.
2.1 SERIES DE POTENCIAS
Una serie de potencias en torno al punto x
o
es una expresin de la forma:

(1)

Donde los coeficientes a
n
para n= 0,1,2, son constantes.
Teorema 1
La serie (1) converge en el punto x = a, si existe y es finito el lmite S:

A S se designa suma de la serie en x = a. De otro modo, se dice que la serie
diverge en. x = a.
La serie (1) puede converger para algunos valores de x y no para otros. Siempre
converge para x = x
0,
siendo a
0
su suma en dicho punto.
Teorema de Abel
Una serie de potencias converge siempre para todo valor de x de
un cierto intervalo abierto I = (x
0
R,x
0
+ R) y diverge si | x-x
0
| > R. En los
extremos del intervalo puede converger o no.
Adems en el intervalo I la convergencia es absoluta; es decir, la serie
converge en I.

El intervalo I =(x
0
- ,x
0
+ R) recibe el nombre de intervalo de convergencia de
la serie y el R es el radio de convergencia de la misma.
Si en particular es R = 0, se entiende que la serie converge nicamente para x =
x
0

Criterio:

Si existe , entonces

Si existe , entonces
y

(Se entiende que si l = 0 es R = y si l = , es R = 0)
Ejemplo 1
Dnde converge la serie ?
Solucin:
En este caso . Luego
Luego y por tanto la serie converge y adems absolutamente en
; es decir
En x = , la serie es es divergente, ya que se trata de serie armnica.

En x = , es es convergente, dado que es la serie armnica
alternada.
Como la serie (1) converge para los puntos x I, su suma al variar x en I, ser
una funcin S(x) que se llama suma de la serie en I.
Teorema 2
Si la serie tiene radio de convergencia R positivo, siendo S(x) su
suma en I = (x
0
R,x
0
+ R) entonces:
S(x) es continua en I.

Puede derivarse la serie trmino a trmino en I
en I.

Puede integrarse la serie trmino a trmino en I:
en I.

El radio de convergencia de las series obtenidas por derivacin o integracin
trmino a trmino es tambin R.
2.1.1 Propiedades de las series de potencias:

Si existe desarrollo de f(x) en serie de potencias en un entorno de x
0
, dicho
desarrollo es nico y por tanto coincide con el de Taylor.

Condicin necesaria y suficiente para la existencia de desarrollo de f(x) en
un entorno de x
0
, es que f(x) sea indefinidamente derivable en x
0
y que el
trmino complementario de la frmula finita de Taylor, tienda a cero en el
entorno anterior, cuando n .

Si f(x) = y g(x) = con radios de
convergencia
1
y
2
, entonces:

Siendo r
1
el radio de convergencia de kf(x) y los radios de convergencia de f(x)
+ g(x) y f(x) g(x) al menos como el mnimo de
1
y
2
.
d) Con las condiciones citadas en c) para f(x) y g(x), tambin es analtica en x
0
la
, siempre que g(x
0
) 0. Pero el radio de convergencia del cociente, puede
ser menor que el mnimo de
1
y
2
.
e) Son funciones analticas en cualquier x
0
, por ejemplo los polinomios, las
funciones racionales irreducibles , siempre que Q(x0) 0, las funciones e
x
,
sen x, cos x, e
x sen x
, etc.

2.1.2 Desarrollo de una funcin en serie de potencias
Definicin
Se dice que una funcin f (x) es analtica en x
0
(o desarrollable en serie de
potencias en un entorno de x
0
) si existe una serie de potencias

cuya suma es f (x) en un intervalo abierto centrado en x
0
.
Teorema 3 Si f (x) es analtica en x
0
, entonces es:

(2
)

En un cierto intervalo abierto centrado en x
0
. Esta serie se llama serie de Taylor
de f (x) en torno a x
0
.
Cuando x
0
= 0, la serie se denomina serie de Maclaurin.

2.1.3 Desarrollos en series de algunas funciones
Se presentan los desarrollos en torno a x = x
0
de varias funciones:
A) Desarrollo de MacLaurin de la funcin exponencial:

Como consecuencia es:

B) Las funciones seno y coseno circulares en serie de MacLaurin son:

C) Como la serie geomtrica es convergentes si y slo si el valor absoluto
de la razn r es menor a uno; es decir, si |r | < 1. En este caso, su suma es
.
Por tanto, existen los desarrollos de las funciones en serie de potencias en torno
a un punto siguientes:

D) Como, al derivarse o integrarse trmino a trmino una serie, se obtiene otra
con el mismo radio de convergencia, resulta:

E) Utilizando nuevamente la frmula de MacLaurin ; se obtiene :

2.2 SOLUCIN CON SERIES DE POTENCIAS
Se describe la solucin de ecuaciones diferenciales lineales homogneas de 2
orden

(3)

en forma cannica:

(4)

en el entorno de un punto ordinario con series de potencias.
Segn el estudio de las ecuaciones diferenciales lineales homogneas, la simple
continuidad de p(x) y q(x) en un entorno I de un x
0
, es suficiente para asegurar
la existencia de dos soluciones linealmente independientes de la ecuacin 2 en
dicho entorno, as como para garantizar la existencia y unicidad de solucin del
problema de valor inicial definido por (3) y las condiciones y(x
0
) = y
0
, y(x
0
) =
b
0
con x
0
I
Si adems es x
0
un punto ordinario de (3) 4, las funciones p(x) y q(x) adems
de continuas en I , son analticas.
Teorema 1 Si x
0
es un punto ordinario de (3) (4) entonces la solucin
general de (3) en un cierto entorno de x
0
puede escribirse en la forma (4) y a
su vez:

(5)

Siendo a
0
, a
1
,, son constantes arbitrarias. Adems y
1
(x) y y
2
(x) son analticas
en un entorno I de x
0
y linealmente independientes en I.
El radio de convergencia de las series y
1
(x) y y
2
(x) es al menos tan grande como
el mnimo de los radios de convergencia de los desarrollos en serie de p(x) y
q(x) en torno a x
0
(es decir, al menos igual a la distancia de x
0
al punto singular
ms prximo de la ecuacin (3), sea dicho punto real o complejo)
Los coeficientes a
n
de la serie (5) se obtienen en trminos de a0 y a1,
sustituyendo la serie genrica en [1], (as como los desarrollos
de p(x) y q(x) si P(x), Q(x), R(x) no son polinomios) y procediendo por
coeficientes indeterminados.
Observaciones:
a) La serie solucin puede converger con radio mayor que el indicado en el
teorema.
b) Si el punto ordinario es x0 0, pueden simplificarse las notaciones
trasladando x0 al origen, mediante el cambio de variable t = x x
0
.
c) Segn el teorema de existencia y unicidad, cada solucin est determinada de
manera nica por los valores y(x0) e y(x0), es decir por a0 y a1. Por eso, todos
los coeficientes se obtienen en trminos de a0 y a1.
d) El mtodo para resolver una ecuacin completa : y + p(x)y+ q(x)y = h(x),
siendo x
0
punto ordinario y h(x) analtica en x
0
, es anlogo. En este caso,
tambin hay que desarrollar h(x) en serie de potencias en torno a x
0
, antes de
proceder por coeficientes indeterminados. Tambin podra resolverse en primer
lugar la ecuacin homognea y actuar luego por variacin de constantes, o por
reduccin de orden.
e) Se puede emplear un mtodo semejante para ecuaciones diferenciales
lineales, de primer orden.
Ejemplo 2
(a) Hallar la solucin general de la ecuacin diferencial y - xy- y = 0
mediante dos soluciones linealmente independientes en serie de potencias de x.
(b) Obtenga el campo de validez de las mismas.
(c) Encuentre la solucin particular tal que y(0) = 1, y= 0
En este caso

Ambas analticas en x
0
= 0, con radios de convergencia de sus respectivos
desarrollos R
1
= y R
2
= ,
es decir x
0
= 0 es punto ordinario.
Segn el teorema, existe solucin de la ecuacin en serie de potencias de x,
vlida para todo del tipo.

Al sustituir las dos ltimas igualdades en la ecuacin diferencial, resulta

Trmino independiente:

Coeficiente de x:

Coeficiente de x
n
:

Ley de recurrencia:

Luego a
0
y a
1
son libres y

Por tanto:

Solucin particular:

por lo que

as

Ejemplo 3
Hallar, por el mtodo de series de potencias en torno a x = 0, la solucin general
de la ecuacin diferencial: (1+x
2
)y + 2xy- 2y = 0
Solucin:
En este caso

Ambas analticas en x = 0, con R
1
= R
2
= 1.
Luego existe solucin analtica en x
0
= 0, vlida al menos para |x | < 1.

Sustituyendo en la ecuacin diferencial

Trmino
independiente:

Coeficiente de
x :

Coeficiente de x
n
:
Luego a
0
y a
1
libres, a
2
= a
0
, a
3
= 0,

Como
Por tanto:

En este caso puede sumarse la serie:

Ejemplo 4
Hallar por el mtodo de series de potencias en torno a x0 = 1 los trminos
hasta la potencia de grado 4, correspondientes a la solucin general de la
ecuacin diferencial: 2 y + xy+ y = 0
Se efecta el cambio de variable: x 1 = t o x = t + 1.
Entonces

Ambas analticas en t = 0 con R
1
= R
2
=
Por lo que existe solucin analtica en t = 0, vlida para todo t.
Sustituyendo en la ecuacin diferencial:

Trmino independiente:

Coeficiente de t:

Coeficiente de t
n
:

Luego :

En este caso no fue posible llegar a una ley de recurrencia para el coeficiente
a
n
.

2.2.1 Ecuacin de Legendre
La ecuacin de Legendre (1752-1833) de parmetro m 0 es:

(9)

En este caso

son analticas en x=0 con radio de convergencia: R
1
= R
2
= 1
Como x = 0 es punto ordinario, existe la solucin en serie de potencias de x, en
|x | < 1.
Sea la solucin de la ecuacin diferencial

(9`)

Sustituyendo en (5) queda

Los coeficientes de las potencias de x son:

como

(10)

Esta ecuacin se conoce como frmula de recurrencia para obtener a
2
, a
3
, Al
insertar estos coeficientes en (9`) se obtiene:

Donde

(11)

(12)

Si m es un entero positivo, entonces y
1
o y
2
se reduce a un polinomio (y el
otro polinomio de las dos soluciones queda multiplicado por 1n [(1 + x) /(1-x)].
Si n = 0 las ecuaciones (11) y (12) quedan

2.2.2 Polinomios de Legendre
En muchas aplicaciones m es un entero positivo. As el segundo miembro de
(7) es cero cuando m = n, y por lo tanto a
m+2
= 0, a
m+4
= 0, a
m+6
= 0,. . . por
consiguiente, si m es par, y
1
(x) se reduce a un polinomio de grado m. Si m es
impar, se cumple lo mismo para y
2
(x). Estos polinomios multiplicados por
algunas constantes, se llaman Polinomios de Legendre.
Al despejar a
n
de (7)

(13)

y entonces todos los coeficientes que no se cancelan pueden expresarse en
trminos de los coeficientes a
n
de la mayor potencia de x en el polinomio. El
coeficiente a
m
sigue siendo arbitrario. Se acostumbra escoger a
m
= 1 cuando m
= 0 y a
m
se le asigna el siguiente valor

(14)

Si m = n a
n+2
= 0, a
n+4
= 0, a
n+6
= 0,. . . ,entonces con n = m - 2
por la ecuacin 10

con n = m - 4 por la ecuacin 10

Lo anterior lleva a las soluciones polinmicas

(15)

Los polinomios de Legendre P
n
(x) se obtienen al sustituir a
n
por la ecuacin
(15) quedando como

Los primeros polinomios de Legendre son

2.2.3 Ecuacin de Hermite
La ecuacin de Hermite (1822 -1901) de parmetro es:

(16)

El x
0
= 0 es un punto ordinario de la ecuacin (16), pues p(x) = -2x y q(x) =
2 son analticas en x = 0. Adems, los radios de convergencia de los dos
desarrollos son, ambos infinitos. Por ello existe solucin de la forma

Vlida para todo x real.
Sustituyendo en (16):

As:

La relacin de recurrencia:
por lo que la solucin en series de la ecuacin de Hermite queda:
Para = 0, 1, 2, una de las dos series es un polinomio. Dichos polinomios h
n

(x), para = n = 0, 1, 2, son respectivamente:
Se llaman polinomios de Hermite de grado n, y se designa H
o
(x) a la solucin
polinmica de la ecuacin de Hermite de parmetro = n (o sea el mltiplo de
h
n
(x)), cuyo coeficiente de x
n
es 2
n
. Ser por tanto:

2.3 MTODO DE FROBENIUS
Teorema 1 (Mtodo de Frobenius)
Toda ecuacin diferencial de la forma:

(16)

Donde las funciones son analticas en x = 0, tiene al menos una solucin que
puede representarse en la forma

(17)

donde el exponente r puede ser un nmero cualquiera (real o complejo) que
se elige de modo que a
0
0.
La ecuacin tambin tiene una segunda solucin (tal que las dos linealmente
independiente) que puede ser similar a (16) (con r y coeficientes diferentes)
puede contener un trmino logartmico.
Para resolver (16), ella se escribe como

(18)

Primero se desarrollan b(x) y c(x) en series de potencias

Despus se deriva (17) trmino a trmino

Al insertar estas series en (18) se obtiene
al igualar a cero la suma de los coeficientes de cada potencia de x, se obtiene
un sistema de ecuaciones con los coeficientes desconocidos a
m
. La menor
potencia es x
r
y la ecuacin correspondiente es

Como a
0
0, la expresin dentro de los corchetes debe ser cero. Se obtiene
as

(19)

la ecuacin anterior se conoce como ecuacin indicial.
Con este mtodo se consideran dos soluciones. Una solucin ser de la forma
(16), donde r es una raz de (18). La forma de la otra solucin se obtiene a
partir de las posibles soluciones de la ecuacin indicial.
Ejemplo 5.
Caso 1. Races diferentes que no difieren por un entero.
La ecuacin de Euler-Cauchy es donde a y b son
constantes. S queda . Obtener las races
de la ecuacin indicial.
Solucin:
La ecuacin indicial queda

sus races son

Una solucin es

Ejemplo 6
Caso 2. Raz doble.
Para la ecuacin de Euler-Cauchy

obtenga las races de la ecuacin indicial.
Solucin:
Como a = -1 y b = 1 la ecuacin indicial es

Ejemplo 7
Caso 2. Races diferentes que difieren por un entero, sin trmino logartmico.
Para la ecuacin de Euler-Cauchy

obtenga las races de la ecuacin indicial.
Solucin:
La ecuacin indicial es

las races son r = 1 y r = -1, las soluciones son y
1
= x, y

Ejemplo 8
Caso 1. Races distintas que difieren por un entero, con trmino logartmico.
Para la ecuacin (x
2
x)y - xy+ y = 0 obtener las races de la ecuacin
indicial.
Solucin:
La ecuacin diferencial se puede escribir como

por lo que
por lo cual
, por tanto b
0
= c
0
= 0. As su
ecuacin indicial es

y sus races son r
1
= 0, r
2
= 1 difieren en un entero. Las soluciones son

Teorema 2. Base de soluciones
Suponer que la ecuacin diferencial (16) satisface la hiptesis del teorema 1.
Sean r
1
y r
2
las races de la ecuacin indicial (19). Entonces se tienen los
tres casos siguientes:
Caso 1. Races distintas que no difieren por un entero. Una base es

y

con coeficientes obtenidos sucesivamente a partir de (18) con r = r
1
y r = r
2

respectivamente
Caso 2. Raz doble r = r
1
= r
2
. Una base es

y

Caso 3. Races que difieren por un entero. Una base es

y

donde las races r
1
r
2
> 0 y k puede ser cero
Sea la ecuacin diferencial :
Si x
0
es punto ordinario de la ecuacin (es decir: p(x) y q(x) analticas en
x
0
), se vio que sta podra integrarse por el mtodo de series de potencias en
un entorno reducido de x
0
.
Y si x
0
es punto singular de la ecuacin? El comportamiento de un
sistema fsico regido por la ecuacin [1] suele ser especialmente interesante
en un entorno de los puntos singulares, porque la solucin de [1] en un
entorno de un x
0
singular, es especial de algn modo: por ejemplo, en
muchos casos, tal solucin experimenta cambios rpidos de magnitud.
Ejemplos
A) x
2
y - 2y = 0
El x = 0 es punto singular.
Son soluciones

Ambas son linealmente independientes en todo intervalo I, que no contenga a
x = 0. La solucin general en I es: y = Ax
2
+ . Cualquier solucin con B
0, no es acotada en un entorno de x = 0.
B) x
2
y + 4xy+ 2y = 0.
dem con no acotadas en ningn entorno de x = 0.

C) x
2
y - 2xy+ 2y = 0
El x = 0 es punto singular. Son soluciones y
1
= x e y
2
= x
2
, cualquiera que
sea x. En este caso, todas las soluciones: y = A x + B x
2
son acotadas. Pero
no puede prefijarse el valor de una solucin en x = 0, pues siempre y(0) = 0.
Hemos visto que si x
0
es punto singular, no es vlido el mtodo de
series de potencias en torno a x
0
, visto para puntos ordinarios.
Es necesario establecer una teora que resuelva [1] en algn entorno del
punto singular x
0
. No siempre ser posible. Tan slo se estudiar el caso en
que la singularidad en x
0
sea del estilo de la que tiene en x = 0 la ecuacin
de Cauchy-Euler, singularidad que podra designarse como dbil. En dicha
ecuacin X
2
y + xy+ y = 0 es : . No son p(x) y
q(x) analticas en x = 0, pero s lo son x p(x) y x
2
q(x).
Definiciones
Un punto x
0
, se dice punto singular regular de [1] si no es ordinario,
pero (x x
0
)p(x) y (x x
0
)
2
q(x) son analticas en x
0
.
El punto singular x
0 ,
se dice punto singular irregular de [1] , si no es
singular regular, pero para algn n las (x x
0
)
n
p(x) y (x x
0
)
2
q(x) son
analticas en x
0
.
Si para ningn n son (x x
0
)
n
p(x) y (x x
0
)
n
q(x) analticas en x
0
,
entonces se dice que x
0
es singularidad esencial.
En ocasiones se pretende extender lo anterior al caso en que x
0
sea el punto
del infinito. Para clasificar tal punto se conviene en realizar el cambio de
variable independiente x = y se clasifica en la nueva ecuacin el punto t =
0.

Nota:
A partir de ahora se supondr que x
0
= 0 , pues en otro caso basta
trasladar x
0
al origen, mediante el cambio x - x
0
= t.
Es evidente que x
0
= 0 es punto singular regular de la ecuacin de
Euler.

Ejemplo 12 :
Hallar por el mtodo de Frobenius, la solucin general de la ecuacin
diferencial

en un entorno reducido de x = 0. Justificacin previa de la idoneidad del
mtodo. Campo de validez de la solucin.
Solucin:
El punto x = 0 es singular pues p(x) = no es analtica en dicho punto.
Pero xp(x) = y x
2
q(x) = , son ambas analticas en x = 0. (Es decir
que x = 0 es punto singular regular de la ecuacin). Los radios de
convergencia de los desarrollos de xp(x) y x
2
q(x) en torno a 0 son
ambos . Existe por tanto solucin de la ecuacin por el mtodo de
Frobenius, vlida al menos x 0. Supngase en principio x > 0.
Al menos hay una solucin de la forma


Coeficiente de x
r-1
:

Coeficiente de x
r
:

pues (r+1)(2r+1) no se anulan para r
1
ni para r
2
.
Coeficiente de x
n+r-1
: , es decir I(n+r)
a
n
= - a
n-2

Por tanto:
Ley de recurrencia
Segn el teorema, como r
2
r
1
y r
1
- r
2
N , existen con seguridad dos
soluciones linealmente independientes, en serie de Frobenius.
y como a
1
= 0 ,
resulta :

Luego

Solucin general:
Ejemplo 13
diferencial xy + 2y+ xy = 0 expresando la solucin general con funciones
elementales en n finito.
Solucin:
De forma anloga al caso anterior
x p(x) = 2 y x
2
q(x) = x
2

son analticas en x = 0, siendo R
1
= R
2
= . Luego existe solucin por el
mtodo de Frobenius, vlida al menos x 0.

Coeficiente de x
r-1
:

Difieren en un entero r
1
y r
2
r
1
- r
2
= n
0
= 1. Por tanto en principio slo
puede asegurarse la existencia de una solucin en serie de Frbenius : la
correspondiente a r
1
.
Coeficiente de x
r
:

Coeficiente de x
n+r-1
:

Para r
1
= 0
y como

As

de donde, tomando a
0
= 1, resulta:

Para r
2
= -1 es . El a
1
es libre y como se busca otra
solucin particular, puede escogerse a
0
= 1 a
1
= 0. Entonces

As:

Solucin general:

x 0

Ejemplo 14
diferencial: xy + 2(x 1)y- 4y = 0 expresando la solucin general con
funciones elementales en n finito.
Anlogamente xp(x) = 2 ( x - 1) , x
2
q(x) = - 4x son analticas en x = 0
R
1
= R
2
= . Existe por tanto solucin por el mtodo de Frobenius, vlida al
menos para x 0.
Sustituyendo

en la ecuacin diferencial:

Coeficiente de x
r-1
:

Difieren en entero: r
1
- r
2
= 3 = n
0
. Slo puede asegurarse en principio la
existencia de una solucin y
1
en serie de Frbenius. Para r = r
2
= 0, se
anular el denominador de la relacin de recurrencia para. n = n
0
= 3.
Coeficiente de x
n+r-1
:

Se observa que el factor n + r 3 que anula al denominador cuando r = r
2

= 0 y n = n
0
= 3, est tambin en el numerador.
Para r = r
1
= 3
. Y
tomando
. Es decir:

Para r = r
2
= 0
La relacin de recurrencia, antes de escribirla bajo la forma de cociente, es:
I (n+r) a
n
+ .
Y para r = 0 : n(n-3) a
n
= - 2(n-3) a
n-1

Podr escribirse bajo la forma de cociente:

excepto para n = 3, en cuyo caso ser: .
Se obtiene por tanto: a
1
= - 2a
0
, a
2
= - a
1
= 2a
0
y a
3
es libre. Cualquier
valor que se asigne a a
3
(y a a
0
0) conduce a una solucin. La eleccin
ms simple es a
3
= 0 y a
0
= 1. Entonces a
4
= a
5
=...= 0. Y se obtiene una
2 solucin:

Otra forma: Como puede tomarse cualquier valor para a
3
, podra
asignrsele el deducido de la relacin de recurrencia , vlido
en principio para n 3.
Entonces: e

Es por tanto otra solucin particular: es decir:

Nota: Se verifica:

La solucin general es:
y = C
1
y
1
(x) + C
2
y
2
(x), x

2.3.1 Ecuacin diferencial de Bessel
Una de las ecuaciones de mayor importancia en las matemticas aplicadas
es la ecuacin diferencial de Bessel de orden p

(22)

El parmetro p es real tal que p 0.
Para la ecuacin (22) es aplicable el teorema 1 de 2.3, por lo que puede
resolverse con el mtodo de Frobenius al sustituir una serie de la forma

(23)

Al sustituir en (22) queda

Se iguala a cero la suma de los coeficientes de x
S+y
. Obsrvese que esta
potencia x
S+y
corresponde a m = s en las series anteriores, excepto en la
tercera donde m = s -2. Por lo tanto, para s = 0 y s = 1 la tercera no
participa. Para s = 2,3,4, las cuatro series intervienen, por lo que se
obtiene una frmula general para estas s

(24)

(25)

(26)

De la ecuacin 8 se obtiene la ecuacin indicial

(27)

Las races son: r
1
= p y r
2
= - p
2.3.1.1 Coeficientes para el caso r = r
1
= p
Para r = r
1
= p de la ecuacin 25 se obtiene a
1
= 0. La ecuacin 26 puede
escribirse

Para r = p sta expresin queda

(28)

Como a
1
0 y p 0, a
3
= 0, a
5
= 0, a
7
= 0,...
Si se hace n = 2m en (28), para los dems coeficientes se obtiene

Con sta frmula es posible determinar los coeficientes a a
2
, a
4
, a
6
,

y as sucesivamente, en general

(29)

2.3.1.2 Funcin de Bessel J
k
( x) para p entero
Los valores enteros de p se denotan por valores enteros de k, para p = k la
ecuacin 29 queda

(30)

a
0
sigue siendo arbitraria. Se podra escoger a
0
= 1 pero conviene tomarla
como

Porque entonces k!(k + 1) /k/2) (k + m) = (m + k)! en (30), de donde

(31)

Con estos coeficientes y r
1
= p = k de la ecuacin (23) se obtiene una
solucin particular de (22) dada como

(32)

Llamada funcin de Bessel de primera clase de orden k Ella converge con
mucha rapidez para toda x
Ejemplo 15
Escriba las funciones de Bessel de primera clase de orden 0 y 1 de

(33
)

(34)

En la figura 1 se muestra la grfica de estas dos funciones

Figura 1 Funciones de Bessel de primera clase
2.3.2 Funcin Gamma
Una de las funciones que mayor aplicacin tienen en las matemticas es la
funcin gamma que hace posible emplear el concepto de factorial a los
nmeros complejos. Cuando la parte real del nmero complejo z es
positivo, la funcin gamma corresponde a la siguiente integral

(35)

En la figura 2 se muestran dos grficas de la funcin gamma.
La funcin gamma en z + 1 es

Al integrar por partes:

De lo anterior se obtiene la relacin

(36)

Como

Por (20) , se concluye

en general

(37)

Tambin de (20) se tiene

Tamben a partir de (20) se puede demostrar que muestra que

Otra forma de definir la funcin gamma es

Figura 2 Grfica de la funcin gamma en el campo real y en el plano complejo

Usando la ecuacin (20) se tiene para z = k + m que

Por lo que la ecuacin (16) con k = p queda

(38)

Al sustituir k por -k en 22 se tiene

(39)

Puesto que la ecuacin diferencial de Bessel incluye tanto a p
2
tanto son
soluciones de dicha ecuacin. Si p no es entero, estas funciones son
linealmente independientes.
Teorema 3 S p no es entero, una solucin general de la ecuacin de Bessel
para toda x 0 es

(40)

S p es entero, (18) no es un solucin general de la ecuacin de Bessel, ya
para p entero se vuelven dependientes.

Captulo 3
Clculo diferencial vectorial

CAPTULO 3. CLCULO DIFERENCIAL VECTORIAL

Objetivo:
Propiciar que el alumno revise los conceptos fundamentales del lgebra entre
vectores y que conozca los fundamentos de las funciones vectoriales y sus
derivadas, en especial que maneje los conceptos de gradiente, divergencia y
rotacional que tienen gran aplicacin en la Hidrulica

3.1 LGEBRA VECTORIAL

Los vectores describen de manera simple lneas, planos y curvas en el espacio.
Las funciones vectoriales facilitan el estudio de movimiento de los lquidos, que
se considera en algunos anlisis de las Obras Hidrulicas.

Algunas cantidades fsicas que aparecen en los fenmenos de la naturaleza estn
completamente especificadas solamente con su magnitud. Para describir a la
masa de un cuerpo se seala la cantidad de kilogramos que tiene; la temperatura
por los grados; el volumen por el nmero de unidades cbicas. Existen otras
cantidades fsicas para las que es necesario completar su caracterizacin al
especificar a parte de la magnitud a la direccin y sentido (como en el caso del
desplazamiento de una partcula desde una posicin A hacia otra B de la Figura
1). En algunos textos de Matemticas, en la direccin se incluye al sentido del
vector, aqu se manejaran por separado.

3.1.1 Escalares y vectores

Un escalar es una cantidad fsica que se caracteriza completamente por un
solo nmero por su magnitud (como temperatura, presin, masa).
Un vector es una cantidad fsica que se caracteriza por su magnitud ,
direccin y sentido (como fuerza, velocidad, desplazamiento).

El vector a se representa como segmento de recta dirigido desde A a B

La magnitud del vector es la distancia ms corta entre los puntos A y B. Su
direccin es el ngulo del segmento con respecto a un eje de referencia.

Si los puntos inicial y final son A = (x
1
, y
1
, z
1
) y B =(x
2
, y
2
, z
2
) , el vector se
define como ,

Una representacin del vector a =(a
1
, a
2
) es el segmento dirigido desde
cualquier punto A=(x, y) al punto B = (x + a
1
, y + a
2
)

Figura 2 Representacin de a = (a
1
, a
2
)

Vector de posicin Una representacin particular del vector ,
que recibe el nombre de vector de posicin, es aquella en la que el
punto A est en el origen y B es igual al punto P que tiene como
coordenadas (a
1
, a
2
, a
3
).

Magnitud de un vector. La longitud del segmento dirigido es
|a| y se le llama mdulo, magnitud o norma. En ocasiones se
escribe as |a| = a.
Con referencia a la figura 2, el mdulo del vector bidimensional es
. La magnitud del vector tridimensional es
.

Al respecto de los dos puntos A y B se hacen las observaciones siguientes:

Si el punto A es fijo y el punto B tambin lo es, el vector
constante.
Si el punto B no es fijo, el vector variable.

Si A y B coinciden; a = 0, se trata del cero vector, cuya
magnitud es cero y no posee direccin ni sentido.

3.1.2 Igualdad
Cuando dos vectores tienen la misma magnitud, sentido y direccin son iguales o
equivalentes: a = b.
Los vectores y son iguales si a
2
= b
2
, y a
3
= b
3

Ejemplo 1
El vector est representado por el segmento dirigido con punto inicial A(2,1) y
punto final A(2,1), y el vector por el segmento dirigido desde C(4,2) a D(7,6).
Diga si son iguales los vectores y .

Solucin:
El vector correspondiente a es . El vector correspondiente
a es ; como son iguales las componentes de y , los
vectores son iguales. En la figura 3 se muestra la grfica de estos vectores.

Figura 3 Igualdad de vectores

3.1.3 Multiplicacin de un vector por un escalar
Multiplicar un vector por un escalar m tiene el efecto de multiplicar la magnitud
del vector por el valor absoluto de ese escalar para obtener el vector m .

Figura 4 Multiplicacin de un vector por un escalar

Propiedades de la multiplicacin de un vector por un escalar
(1)
(2) Si m >0 y 0, ma tiene la misma direccin que .
(3) Si m<0 y 0, ma tiene la direccin opuesta a la de .
(4) Si m=0 , ma =

Vectores paralelos:
a y b son paralelos s y solo si, a = mb, siendo m 0
Si a se multiplica por el escalar se obtiene un vector con la misma direccin
de a pero de magnitud 1. Es decir:

3.1.4 Suma y resta de vectores

Si y , entonces el vector est definido por
. En la Figura 5 se ilustra geomtricamente esta
suma para vectores bidimensionales. Otra forma de interpretar la suma entre
vectores es mediante la Ley del Paralelogramo mostrada en la figura 6

Figura 5. Suma de vectores Figura 6. Ley del paralelogramo

La resta entre vectores es un caso particular de la suma cuando se considera que

El vector que tiene como mdulo la
unidad se llama vector unitario
uno de los vectores se le multiplica por el escalar -1.

En las figura 7 y 8 se muestra la resta de dos vectores

Figura 7. Resta de vectores Figura 8. Ley del paralelogramo

Propiedades de la suma y resta de vectores:
1) a + b = b + a Propiedad conmutativa.
2) a + (b + c) =
(a + b) + c
Propiedad asociativa.
3) m(a + b) = ma
+ mb
Propiedad distributiva vectorial.
4) (m + n)a = ma
+ na
Propiedad distributiva escalar.
5) a + = a
elemento identidad para la
suma vectorial
6) a + (-a) = 0
-a elemento inverso de la suma
vectorial

Ejemplo 2
Si = (2, 1, 4) y = (4, 0, 2), encuentre
Solucin:

3.1.5 Producto escalar o producto punto

Otra operacin importante entre vectores es la multiplicacin; sin embargo, se
define de dos maneras de acuerdo al resultado de la multiplicacin, si se
obtiene un escalar se le llama producto escalar o punto; si resulta un vector, se
le denomina producto vectorial o cruz.
Si y , entonces el producto escalar o punto es el
escalar dado por

Dos vectores y no nulos son perpendiculares u ortogonales si el ngulo
entre ellos es . As, del Teorema anterior , o sea y
son ortogonales si

Propiedades del producto escalar

Los ngulos directores de un vector no nulo son los ngulos , y en el
intervalo [0, ] que forma con los ejes x, y, z en su parte positiva

Figura 9. Angulos directores de un vector

Los cosenos de estos ngulos directores de un vector no nulo , cos , cos y
cos son llamados cosenos directores de .

como

as
por lo tanto

as, los cosenos directores son los componentes de un vector unitario en
direccin del vector .

En la figura 10 se muestran los vectores y como dos segmentos dirigidos
entre los puntos A y C. El punto D est ubicado en la perpendicular a A y C que
pasa por B. El segmento dirigido corresponde a la proyeccin del mdulo
del vector sobre el vector , se le representa como

que tambin es igual a

Figura 10 Proyecciones de vectores

En la figura 10
es la proyeccin de sobre .
es la proyeccin de sobre .
|
Ejemplo 3
Si una fuerza constante es el vector que tiene la direccin del segmento
dirigido, mueve un objeto desde A a C, entonces el vector desplazamiento es el
segmento dirigido Obtenga el Trabajo W hecho por la fuerza
Solucin:
El trabajo W es igual al componente de la fuerza a lo largo de por la distancia
movida

entonces

As, el trabajo es igual al producto escalar de la fuerza por el vector
desplazamiento.

Ejemplo 4
Obtenga el trabajo realizado por la fuerza (en newtons)
cuando mueve un objeto que tiene como vector desplazamiento, en m

Solucin:
El trabajo W es

3.1.6 Producto vectorial producto cruz
El producto vectorial o cruz de los vectores y es igual al vector , que se
define como

Por otra parte, al desarrollar el determinante

al comparar este desarrollo con el vector se observa que son iguales, por lo
que

El vector es ortogonal a los vectores y . La direccin del vector
cumple con la regla de la mano derecha. Si los dedos de la mano derecha se
curvan en direccin de hacia , entonces el dedo pulgar apunta hacia la
direccin de (figura 11).

Figura 11 Regla de la mano derecha

La interpretacin geomtrica puede verse en la figura 12. Si y son
representados por dos segmentos dirigidos con el mismo punto inicial, ellos
forman un paralelogramo con base , altura y rea
, as, el mdulo del producto cruz es igual al rea
del paralelogramo determinado por y .

Figura 12 Paralelogramo formado por dos vectores con mismo punto inicial

Propiedades de producto vectorial
Si , y son vectores y m es un escalar, entonces

Ejemplo 5
Obtenga un vector unitario perpendicular al plano que contiene a los vectores
.
Solucin:
El vector es perpendicular a los vectores y , por tanto

El vector unitario solicitado sera

Ejemplo 6
Obtenga el vector de velocidad tangencial de un slido gira alrededor de un eje
que pasa por un punto O con una velocidad angular
Solucin:
Si es un vector con direccin igual al de un sacacorchos en contra del
movimiento de las manecillas.
Como el punto P describe una circunferencia de radio r sen ; el modulo de la
velocidad lineal o tangencial es:

como es perpendicular a y a , resulta que

Figura 13 Slido girando en torno a un eje con velocidad angular

3.1.7 Triple producto escalar
Se propone que el producto entre los vectores sea un escalar, para ello se
establece que el resultado de las operaciones de sea un escalar.
Se puede demostrar que este producto es igual al determinante siguiente:

El resultado de este producto es igual al volumen del paraleleppedo de formado
por los vectores los cuando no son colineales. La interpretacin
geomtrica de este producto se muestra en la figura 11

Figura 14 Volumen del paraleleppedo

Volumen del paraleleppedo es

3.1.8 Triple producto vectorial.
Consiste en el producto vectorial entre tres vectores de manera que su
resultado sea un vector, para ello se propone que que el producto se realice de
esta manera:
En general ocurre que que
El producto triple tiene estas dos equivalencias donde se emplea el producto
escalar

3.2 DEPENDENCIA LINEAL

Ejemplo 7
Muestre que si , los vectores no nulos y son paralelos
Solucin:
Como
Si , se tiene que

Por lo tanto y son paralelos.

Demostracin:
La independencia lineal entre los dos vectores se plantea a partir de

(1)

de donde

al multiplicar vectorialmente por

Como en ngulo entre los vectores es nulo
por lo que m = 0. Al sustituirla en (I), , como ,
entonces, n = 0 ya que m = 0 y n = 0, los vectores y son linealmente
independientes.

Ejemplo 8
Muestre que los vectores paralelos son linealmente
dependientes.
Solucin:
Al sustituir los vectores (1)

de donde

(2)

(3)

al multiplicar (2) por 2 y (3) por (-3) se obtiene

al sumar el sistema queda

(4)

(5)

de (4); 6m = -12n. Si n = -0.5, m = 1 por lo que

(6)

Puesto que s existen dos escalares m y n distintos de cero, que cumplen con
la ecuacin (6), y son linealmente dependientes.
Otro mtodo:

por lo tanto no son linealmente independientes.

Los vectores unitarios desempean un papel
especial, ya que

3.2.1 Descomposicin de vectores. Vectores base.
Cualquier vector en el plano puede ser expresado en trminos de dos
vectores y no paralelos (Figura 15)

siendo x e y dos escalares apropiados

Figura 15 Vector A en trminos de dos vectores

De igual manera, dados tres vectores , y no coplanares (Figura 16),
entonces cualquier vector puede ser expresado como

es la diagonal del paraleleppedo cuyos lados son Los vectores
, y son llamados vectores base y los escalares x, y y z son nmeros de
medida.

Figura 16 El vector

Un caso importante de los vectores base es un sistema de tres vectores
unitarios ortogonales.

Ejemplo 9
Mostrar que los dos vectores forman una base y expresar
al vector = (-1, 4) como una combinacin lineal de y .
Solucin:

Como , como es distinto de , son linealmente independientes. Por el
Teorema 2 como son dos vectores en el plano, s constituyen una base, por lo
tanto.

de acuerdo con la igualdad de vectores

al restar estas dos ecuaciones,
y de la primera ecuacin
por lo que .
3.3 CLCULO DIFERENCIAL VECTORIAL

Cuando a cada variable escalar u se le asocia un valor dentro de un
intervalo, se establece una funcin escalar f (u).

Si u es una variable escalar a la que le corresponde un vector , se dice que
(u) es una funcin vectorial de la variable u. El dominio de la funcin forma
parte de un campo vectorial.

Tal como sucede con los vectores que son constantes, por ejemplo
en un sistema de ejes cartesiano, la funcin vectorial (u) se
puede escribir en trminos de los vectores unitarios as

Las funciones r
x
(u), r
y
(u), r
z
(u) se denominan funciones componentes
de .

Existe una estrecha relacin entre las funciones vectoriales y las lneas en el
espacio. Cuando se supone que las funciones componentes existen sobre el
intervalo I, se establece que el conjunto de C de todos los puntos en el
espacio son

por lo que la funcin (u) queda como

donde u vara a travs del intervalo I, llamado espacio de la curva.

Las igualdades de x, y, z son llamadas ecuaciones paramtricas de C. En
ella, u es el parmetro y representa un vector de posicin que parte del
origen de un sistema coordenado y que tiene como extremo final al punto
P(x, y, z) de la lnea C. Cuando u vara, se dice que el punto P(x, y, z) sigue
a la lnea C.

3.3.1 Lmite en una funcin vectorial

Si

entonces, el lmite de la funcin vectorial es

3.3.2 Continuidad de una funcin vectorial
Una funcin es continua en a, si

3.3.3 Derivada de una funcin vectorial

Figura 17. Curva en el espacio

En la figura 17 se muestra el cambio de la funcin entre los puntos P y Q,
donde u es el incremento en la variable u.
La derivada del vector (u) respecto a la variable escalar u se define como

Se observa en la figura que es el segmento dirigido de P a Q, si se divide
entre no cambia su direccin, obtenindose .
Cuando u tiende a cero, el segmento dirigido se aproxima a la tangente
a la lnea C en el punto P; por ello, se afirma que es un vector tangente
a la curva en el punto P.
El punto S se llama singular si la derivada en l es nula; es, decir

Por otra parte, sea , al dividir entre u
y tomar el lmite de cada sumando cuando u tiende a cero resulta

a) Frmulas de derivacin ordinaria
Sean , y funciones vectoriales derivables de un escalar u y una
funcin escalar derivable de u.

Ejemplo 10
Encuentre la derivada de la funcin vectorial (u) cuya longitud es constante

Solucin:

su derivada respecto a u es

es decir

de donde

Por lo que, la derivada de una funcin vectorial (u) de longitud constante
es perpendicular a (u) o de otro modo, la funcin vectorial tendra que ser
igual al vector cero

b) Frmulas de derivacin parcial
Las reglas de derivacin parcial de funciones vectoriales son anlogas a las
del Clculo diferencial ordinario para funciones escalares

c) Derivadas de orden mayor a uno
Cuando depende de la variable u, se puede hallar en forma anloga a la
derivada de , su derivada respecto de u, que se representa como . De
esta manera se definen las derivadas de orden superior.

En el caso de que el parmetro u sea el tiempo t , representa la
velocidad con la que el extremo de describe una lnea, y su derivada

es la aceleracin en dicha lnea.

3.3.4 Geometra diferencial

La Geometra diferencial estudia a las lneas y superficies en el espacio con
mtodos vectoriales.
En el Clculo Diferencial de variables escalares, a la longitud del arco ds
sobre la lnea C se le define como

al dividir la expresin anterior entre du
2
se encuentra

Cuando se toman en cuenta a las ecuaciones paramtricas de F, las
derivadas que aparecen en el miembro del lado derecho quedan:

Por lo que

de donde

o bien

as, la derivada de la longitud del arco ds de una lnea C es igual a un
escalar que tiene como valor el mdulo de la derivada de la funcin vectorial
(u). Tambin la longitud del arco se puede escribir como

Como se mencion que cuando u tiende a cero, se aproxima a la
tangente, por ello se establece que el vector tangente unitario a la lnea C
est dado como

por tanto, se tiene

En la figura puede verse que el cambio en la direccin de es pequea
cuando C se aproxima a una recta y, en cambio es grande cuando su
apariencia se aleja a la de ella.
Una medida del cambio en direccin de las lneas tangentes a C, es la
curvatura.

De acuerdo con la Regla de la cadena

como

ya que , La curvatura queda

Con frecuencia se prefiere otra ecuacin para calcular la curvatura

En cualquier punto a lo largo de C tambin se pueden definir vectores
ortogonales al vector tangente unitario T(u). En efecto, como
, al derivar respecto a s se tiene:

As:

o bien.

como el producto escalar es nulo T y son ortogonales.

Por la Regla de la cadena se tiene que

al tomar en cuenta ( ) en las dos ltimas ecuaciones, se obtiene

Sea el vector que se obtiene al multiplicar los vectores tangente y
normal unitarios. Como , es un vector unitario
que es perpendicular a y a , se le llama binormal.

Como , entonces , luego

por lo que de donde es perpendicular a .
Como , al derivar respecto a s resulta que

o sea que lo que implica que es perpendicular a y que
est ubicado en el plano formado por y .
Por otra parte, ya que
,
al derivar respecto a s queda
; por lo que como es
ortogonal a debe ser paralelo a lo que equivale a
,
siendo m una constante distinta de cero.
As ; ; de manera que -
t = 9, quedando finalmente que

Las frmulas de Frenet-Serret que relacionan los vectores , y con
sus derivadas, son las siguientes:

Los vectores , y forman un triedo (trirrectngulo a derechas) en
cualquier punto de C. Este sistema de coordenadas recibe el nombre de
triedro intrnseco en el punto. Como a medida que vara s el sistema se
desplaza, se le conoce con la denominacin de triedro mvil (Figura 18)

Figura 18. Triedro

El plano osculador a una curva en un punto P es el que contiene a la
tangente y a la normal principal en P. El plano normal es el que paso por P
y es perpendicular al plano tangente.
El plano rectificante es el que paso por P y es perpendicular a la normal

principal.

Ejemplo 11
Hallar (a) el vector tangente unitario T, (b) el vector normal , la
curvatura k y el radio de curvatura , (c) el vector binormal , la torsin t
y el radio de torsin , de la curva:

Solucin:

3.3.5 Derivada direccional de una funcin escalar
Sea una f una funcin escalar, P(x
p
, y
p
) un punto del dominio de sta
funcin y un vector unitario dado como (figura 19).
Por lo que .

Figura 19.

De acuerdo con la figura: x
Q
= x
P
+ h ; y
Q
= y
P
+ h ; y se puede
formar el siguiente cociente:

Por otra parte, sea la funcin

por lo que

Por la definicin de derivada de la funcin g se tiene que

Si se hace los cambios de variable w = 0 y w = h resulta

que es igual a la definicin de la derivada direccional, es decir

Por la derivada total de f (x, y) se tiene que

as

que se puede escribir como

Empleando la definicin anterior, la derivada direccional de una funcin
escalar se puede escribir as:

Ejemplo 12
Dada la funcin f (x, y) = x
2
+ 2y
2
3x + 2y . Hallar la derivada
direccional de f en la direccin . Cul es el valor de esta derivada
en el punto (2,-1) ?
Solucin:
Como , resulta que

cuando

Para una funcin escalar de tres variables, la derivada direccional tiene
ecuaciones similares a la de dos variables, siendo ellas

y

donde

3.3.6 Derivada direccional de una funcin vectorial

La derivada direccional de una funcin vectorial en la direccin
del vector en el punto P esta dada por

La relacin entre los puntos P y Q aparece en la siguiente figura:

Figura 20. Direccin en que se calcula la derivada
de la funcin vectorial

Sea un vector unitario dado como

Ya que

se tiene

Al sustituir en la ecuacin 3 se llega a

as

De acuerdo con la derivada direccional de una funcin escalar, se tiene que

Ejemplo 13
Obtenga la derivada direccional de la funcin vectorial

en la direccin del vector .
Solucin:
Se calcula la direccin del vector unitario paralelo al vector dado

Por lo tanto

3. 4 OPERADORES DIFERENCIALES

En el clculo de la derivada direccional se defini el gradiente de una
funcin escalar como

donde se emple la notacin , en este inciso se estudia el
significado de

Un operador es una transformacin de una funcin en otra. El operador
vectorial diferencial

denominado nabla, es un vector simblico. Que cuando multiplica por la
derecha es un operador. Este vector goza de propiedades anlogas a las
de los vectores.

3.4.1 Gradiente
Cuando el operador nabla multiplica por la derecha a la funcin escalar f
se obtiene que se escribe como

Esta funcin vectorial se llama gradiente de la funcin escalar f y se
escribe como grad f, as

El componente de en la direccin de un vector unitario es igual a
(derivada direccional de f con respecto al vector ) . Como
, esta expresin es mxima cuando cos =1; decir, si
=0, o sea cuando coinciden las direcciones de y de

Cuando una curva C en el espacio es representada por

y f [x(u), y(u), z(u)] = c, siendo c una constante. Se tiene que derivada
total de la funcin f respecto a u es

esta derivada se puede escribir como

como f = c, su derivada es cero.

Como f = c es tangente a C en el punto P, la igualdad anterior implica
que es perpendicular a C en P.

Cuando entonces (P)es perpendicular a la superficie f = c en
el punto P. Por tanto un vector normal unitario a la superficie a f = c
est dado como

Ejemplo 14
Dada la funcin f = 3x
2
y
2
+ 2z
2
, hallar y un vector unitario normal
a la superficie f=17 en el punto (1,-2,3).
Solucin:
, en el punto dado , as

Ejemplo 15
Si f = f (u) , donde u = u(x, y, z) , entonces mostrar que
Solucin: Por la regla de la cadena:

Ya que

Ejemplo 16
Calcular
Solucin:

como

entonces

Ejemplo 17
Calcular
Solucin:
Como

resulta que

3.4.2 Divergencia de una funcin vectorial
Si una funcin vectorial es donde v
x
, v
y
, v
z
son
funciones escalares que tienen primeras derivadas parciales, entonces su
producto punto o escalar con el vector simblico es

En este caso, la funcin vectorial se transforma en una funcin escalar
cuando se opera con por la izquierda. Esta funcin escalar se llama
divergencia de la funcin vectorial y se escribe como div , as

Ejemplo 18
Dado el vector

encontrar div y obtener div en P(1, 0-2)

Solucin:

como
En P(1, 0, -2), resulta :

Si una funcin escalar, el gradiente de esta funcin es
,
entonces,

La divergencia del gradiente se escribe como . Entonces es
tambin .

Al producto se le acostumbra llamar laplaciano; es decir

por lo que
Si se iguala con cero se obtiene la llamada ecuacin de Laplace.

Una funcin escalar se dice armnica si es continua, tiene segundas
derivadas parciales continuas y satisface la ecuacin de Laplace

o sea

Nota 1:
Ecuacin de conservacin
En una comunidad al inicio de un ao haba 152 habitantes. A la
comunidad entran 43 personas/ao por la carretera a, por la carretera b
entran 15 personas/ao y por la carretera c entran 22 personas/ao. Por
otra parte, salen 16 personas/ao por la carretera d y salen 8
personas/ao por la carretera e. Dentro de la comunidad nacen 5
personas/ao y se mueren 2 personas/ao. Cuntos habitantes quedan
al final del ao?
Solucin:

Figura 21. Comunidad

La ecuacin de conservacin queda:

En la cual se identifican tres trminos importantes a saber: el de flujo
neto (entradas menos salidas), crecimiento por si mismo y cambio de
almacenamiento.

Nota 2
El flujo de masa que entra al volumen

Figura 22. Volumen de control

Volumen que atraviesa durante el tiempo dt el rea elemental dA

que se puede escribir as

como

dQ

El gasto que atraviesa el rea dA es

como

Este ltimo resultado corresponde al flujo de masa, que se suele escribir
as

Para el caso particular que sean perpendiculares y se tiene que

Ejemplo 19
Deduzca la ecuacin de continuidad para un flujo no permanente en el
espacio

Figura 23 Volumen de control infinitesimal fijo en coordenadas cartesianas
mostrando los flujos msicos
de entrada y salida en las caras perpendiculares al eje x.

En la tabla siguiente se describen los flujos de entrada y salida a un
volumen de control (el fluido llena completamente el espacio dentro del
volumen sin cambiar de estado, todo es agua o todo es gas, no una
combinacin de los dos) para encontrar el trmino flujo neto (I) de la
ecuacin de conservacin, en este caso de la masa.

De acuerdo con la nota 2, los flujos de masa son iguales a los
productos de densidad por el rea y velocidad.

Tabla 1

Flujo de masa de entrada
por la cara x::

Flujo de masa de salida por
la cara x + dx:

Flujo neto en la direccin x:

De manera anloga quedan:
Flujo neto en la direccin y

Flujo neto en la direccin z

No hay creacin ni destruccin de masa por si
misma dentro del volumen: El trmino II de la
ecuacin de conservacin de la nota 1 es D = 0
[ no existen puntos donde se genera el flujo (fuentes) ni puntos donde
se absorbe el flujo (sumideros)]

El trmino de cambio de almacenamiento queda en
esta caso como el cambio de la masa dentro del
volumen

Por lo que la ecuacin de conservacin queda:

simplificando y arreglando trminos

La diferencial de volumen desaparece de todos los trminos, quedando
una ecuacin diferencial pura que relaciona las diversas parciales de la
densidad y la velocidad

Este es el resultado deseado: la conservacin de la masa para un
volumen de control infinitesimal. A menudo se le llama ecuacin de la
continuidad porque no requiere ms suposicin que la de continuidad
de las funciones que dan la densidad y velocidad.
Los ltimos tres trminos de la ecuacin de continuidad son
equivalentes a la divergencia del vector V

de modo que la forma compacta de la ecuacin de la continuidad es

Para flujo permanente

para flujo incompresible ( es constante)

El vector que cumple con se dice que es solenoidal

3.4.3 Rotacional de una funcin vectorial

Si una funcin vectorial es siendo v
x
, v
y
, v
x
funciones
escalares derivables, entonces su producto cruz o escalar con el vector
simblico es

En este caso la funcin vectorial se transforma en otra funcin
vectorial cuando se opera con , tal funcin se llama rotacional de la
funcin vectorial y se escribe . Como corresponde al producto
vectorial de vector simblico con tambin se plantea en trminos
del siguiente determinante

Ejemplo 20
Determine si es conservativa. En caso
afirmativo, obtenga la funcin f tal que .
Solucin:

por tanto, si es conservativa.

Existe una funcin f tal que

(7)

(8)

(9)

Integrando 1 respecto a x se obtiene

(10)

donde g(y, z) es una constante respecto a x. Al derivar parcialmente
14 con respecto y da

(11)

al comparar con 2

al integrar la expresin anterior respecto y se obtiene

(12)

h(z) es una constante respecto y. Al sustituir 6 en 4

Finalmente derivando respecto a z y comparando con 9, se llega a

de donde

por lo que

siendo K una constante. La funcin deseada es

Ejemplo 21
El campo gravitacional de la Tierra se plantea como:

donde R es el radio de la Tierra (R) , O el centro de la Tierra. g la
aceleracin de la gravedad, P un punto prximo a su superficie y es
un vector de posicin . Obtener

Figura 24. Atraccin gravitacional de un cuerpo ubicado en el punto A

Solucin:

como

como

ya que

Por otra parte, si se establece que la funcin escalar

Captulo 4
Integracin vectorial

CAPTULO 4 INTEGRACION VECTORIAL

Objetivo:
El alumno identificar conceptos, tales como el de trabajo de una fuerza variable
en el espacio sobre una partcula que se desplaza sobre una curva en espacio
(integral de lnea vectorial) y la trasformacin de dominios de tres a dos
dimensiones y de dos a uno mediante los teoremas integrales vectoriales, bsicos
para entender varias ecuaciones diferenciales del movimiento de los fluidos.

4.1 INTEGRAL DE UN VECTOR
En el captulo 3 se defini la derivada del vector r como el lmite al que tiende el
cociente cuando el incremento del parmetro u se hace cada vez ms
pequeo; como la suma de los lmites de su funciones componentes

As la derivada de un vector es otro vector formado con las derivadas de sus
funciones componentes:

Como operacin inversa de la derivacin, se define la integral de un vector
como otro vector compuesto por las integrales de las
funciones componentes:
(1)

Si existe el vector de formas que se verifica

(2)

donde es un vector constante arbitrario. La integral definida en el intervalo
cerrado [a, b]es
(3)

4.2 INTEGRAL DE LINEA
En este captulo con frecuencia se referir a curvas y regiones en el espacio, por
lo que se anotan algunos conceptos al respecto de ello.
Una curva suave no presenta cambios abruptos en su forma, como son las
esquinas agudas (cspides).
Una curva simple es una curva que no se corta a s misma en ningn lugar entre
sus puntos extremos. Si los puntos extremos de esta curva son iguales, es curva
simple cerrada y cuando sus puntos extremos son diferentes, es curva simple no
cerrada.
Una curva no simple es una curva que se corta a s misma al menos una vez entre
sus puntos extremos. Si en esta curva sus puntos extremos son iguales, es curva
no simple cerrada y si sus puntos extremos son diferentes, es curva no simple no
cerrada (figura 1).
Una regin simplemente conexa es aquella en la cual toda curva simple cerrada
situada en su interior puede reducir de longitud hasta llegar a ser punto sin dejar
de pertenecer a ella. A una regin que no es simple conexa se le llama
mltiplemente conexa.
Una regin multiplemente conexa tiene la apariencia de una regin simplemente
conexa en la que se han eliminado otras regiones simplemente conexas ms
pequeas, como si tuviera uno ms huecos como se muestra en la figura 2.

Figura 1 Tipos de curvas

Figura 2 Tipos de regiones

Sea un arco orientado de un punto A a otro B (Figura 3). Se subdivide
ordenando los puntos A = P
0
, P
1
, P
2
,,P
n
= B. Si es mxima longitud de
subdivisin (la norma) P
i-1
, P
i
. Sea un campo vectorial, si se escoge Q
i
en el
arco P
i-1
con P
i
y se forma el producto

Figura 3 Curva C dividida en n tramos

donde

es el producto de la proyeccin de en la direccin de ,
entonces

Si

(4)

Cuando una partcula se ubica en el punto (x, y, z) de una curva C, y sobre ella
acta una fuerza variable en el espacio, el trabajo total realizado para mover el
objeto a lo largo de la curva C est dado como la integral de lnea
Si la ecuacin de la curva C est contenida en el plano z = 0 y si y = f(x),
la integral de lnea se puede calcular considerando y = f(x), en el integrando y que
dy = f(x)dx

o si x = g(y) entonces dx = g(y)dy y la integral de lnea queda

Si C esta en forma paramtrica x = (u), y = (u), z = (u) donde u
1
y u
2

corresponden al inicio y final de la curva C, se tiene que

(5
)

Ejemplo 1
Sea el campo vectorial . Calcular su integral de lnea a lo largo de la
circunferencia x
2
+ y
2
= 4 con centro en el origen, entre los puntos P
1
= (0, 2) y
P
2
= (0, 2).

Solucin:
Las ecuaciones paramtricas del crculo son x = 2sen ; y = 2sen y el punto
inicial corresponde al valor del parmetro = 0 y el final a = /2 .
Sustituyendo x e y en la funcin vectorial

Por otra parte, como dx = 2cos d y dy = -2sin d el diferencial de
desplazamiento es:

Por lo que

Ejemplo 2
Evaluar , donde C tiene la parametrizacin x = cost, y = sint; 0 t /2,

Figura 4

Solucin:
La curva C es la parte de la circunferencia unitaria. La punta de flecha en C indica
el sentido positivo (es decir, la direccin de integracin).

Ejemplo 3
Evaluar y , donde C es la parte de la parbola y = x
2
entre
(0,0) y (2,4).

Figura 5

Solucin:
La grfica de y = x
2
entre (0,0) y (2,4). est en la figura 2. C tiene ecuaciones
paramtricas

Las diferenciales son

Ejemplo 4
Evaluar suponiendo que
(a) C consta de los segmentos que van de (2, 1) a (4, 1) y de (4, 1) a (4, 5)
(b) C es el segmento que va de (2, 1) a (4, 5)
(c) C tiene ecuaciones paramtricas x = 3t 1 y = 3t
2
2t;

Solucin (a):

Figura 6

Si se divide C en dos partes C
1
y C
2
, como se muestra en la figura 3, estas curvas
tienen las ecuaciones paramtricas

La integral de lnea sobre C puede expresarse como una suma de dos integrales
de lnea, la primera sobre C
1
y la segunda sobre C
2
. Sobre C
1
se tiene dy = 0, dx
= dt y por lo tanto

Sobre C
2
se tiene dx = 0, dy = dt, y as

Por lo tanto, la integral de lnea sobre C es igual a 6 + 64 o sea 70.

Solucin (b):
C es el segmento que va de (2, 1) a (4, 5)

Figura 7

La grfica de C est en la figura 4 y tiene la ecuacin y = 2x - 3 para 2 x 4.
En este caso dy = 2 dx y

Solucin (c):
C tiene ecuaciones paramtricas x = 3t - 1, y = 3t
2
- 2t;

Figura 8

La grfica de C es parte de una parbola (Vase la figura 5). En este caso, usando
las ecuaciones paramtricas x = 3t - 1, , se obtiene dx = 3 dt, dy = (6t
2)dt y la integral de lnea es igual a

4.2.1 Teorema fundamental para integrales de lnea

Propiedades de las integrales de lnea
1

(8)

2.

(9)

3
.
(10
)
(a, b, c) es otro punto de C.

4.2.2 Independencia de la trayectoria

La condicin anterior equivale a que , o sea que sea irrotacional.

Ejemplo 5
Sea , hallar desde (0, 0, 0) a (1, 1, 1) a lo
largo de las siguientes trayectorias C:
a) x = t, y = t
2
, z = t
3

b) Las rectas que unen el punto (0, 0, 0) con (1, 0, 0), y el (1, 1, 0), con el (1, 1,
1)
c) La recta que une los puntos (0, 0, 0) y (1, 1, 1)
d) Si es un campo conservativo, obtenga la funcin potencial y con ella
calcule la integral de lnea.

Solucin:

a) Si x = t, y = t
2
, z = t
3
los puntos (0, 0, 0) y (1, 1, 1) corresponden a t = 0 y t
= 1 , respectivamente. Entonces

Otro mtodo:

b) A lo largo de la recta que une (0, 0, 0) con (1, 0, 0) es y = 0, z = 0, dy = 0, dz
= 0 y x vara de 0 a 1. La integral segn esta trayectoria es

A lo largo de la recta que une (1, 0, 0), con (1, 1, 0) es x = 1, z = 0, dx = 0, dz =
0 e y vara de 0 a 1. la integral segn esta trayectoria es

A lo largo de la recta que une (1, 1, 0), con (1, 1, 1) es x = 1, y = 1, dx = 0, dy
= 0 y z vara de 0 a 1. la integral segn esta trayectoria es

sumando,

c) La recta que une los puntos (0, 0, 0) y (1, 1, 1) viene dada en forma
paramtrica por x = t, y = t, z = t. Por lo tanto,

d) Como

es independiente de la trayectoria que une a (x
1
, y
1
, z
1
) y (x, y, z)
Se obtiene la funcin potencial

as

(I)

(II)

(III)
al integrar respecto a x a (I)

(IV)
al derivar respecto a y a (IV)

(V)
al igualar (V) con (II)

de donde

(VI)
al integrar

(VII)
si se sustituye (VII) en (IV)

(VIII)
al derivar respecto a z

(IX)
al igualar IX con III

por lo que

al integrar respecto a z

(X)
al sustituir X en VIII

Ejemplo 6
Dado el campo vectorial de fuerzas
Hallar el trabajo que desarrolla F cuando mueve una partcula desde el punto
siguiendo el camino ms corto sobre la esfera
, expresndolo con 3 cifras decimales.

Solucin:

s es irrotacional
Para encontrar el potencial f se considera

Integrando la condicin (i) tenemos:

Derivando ahora con respecto a y e introduciendo el resultado en la ecuacin (ii)
se encuentra

Y ahora se introduce esta expresin en la correspondiente a f, y derivarlo con
respecto a z e introducir el resultado en (iii)

Con esta expresin para g
2
, se tiene ahora la expresin final de f
, K es una constante
b) Por el teorema fundamental de las integrales de lnea, es posible ahora
calcular el trabajo como la diferencia de valores de la funcin potencial entre sus
extremos final e inicial:

Ejemplo 7
Sea
a) Probar que en todo el dominio.
b) Calcule y , donde C
1
y C
2
son las mitades superior e inferior de
la circunferencia x
2
+ y
2
= 1 de (1, 0) a (-1, 0). Cmo se explica que la integral
dependa del camino en vista del resultado del inciso (a)?

Solucin:
a)

Ntese que este resultado es vlido en todo el dominio, ya que, si bien las
derivadas parciales no estn definidas en el (0, 0), ste ltimo no pertenece al
dominio.

b) Las curvas estn indicadas en la figura 9. Al escribir a C
1
en trminos del
parmetro t e integrando F se tiene:

Figura 9

De manera similar para C
2
se tiene:

La explicacin de obtener el mismo resultado, se debe a que para cualquier
regin que abarque ambos caminos, debe ser no simplemente conexa (debe
excluirse alguna subregin que incluya el (0; 0), ya que no pertenece al
dominio), y por ende no es aplicable el teorema 3.

4.3 INTEGRALES DE SUPERFICIE

Sea una superficie S cuya periferia est orientada como se indica (Figura 10)

El vector , representante de la superficie, ser igual a la suma vectorial de
n elementos diferenciales de superficie dS cuando n tiende a infinito de la
figura 10, o sea,

(12)

Cada elemento diferencial dS es un vector de mdulo , de direccin la
perpendicular al elemento de superficie, representado por el unitario y
sentido el de avance de un tornillo cuando su cabeza gira en el sentido de
orientacin de la periferia de la superficie, como se aprecia en la figura 10.

En el caso de una superficie cerrada el vector superficie es nulo y el sentido, de
los diferentes elementos de superficie, siempre salientes del espacio que
envuelve la superficie.

Sea el campo vectorial definido en todos los puntos de la superficie. Se
puede descomponer la superficie en n elementos diferenciales en cada uno
de los cuales es posible determinar

Figura 11

El lmite de n sumandos diferenciales cuando tiende a infinito es

(13)

que constituye el flujo de la funcin vectorial a travs de la superficie .

Existe flujo nulo cuando en toda la superficie, F es perpendicular a dS, o
tambin en una superficie cerrada, cuando el nmero de lneas de campo que
entran es igual al nmero de lneas de campo que salen.

4.3.1 Superficies paramtricas
De manera similar a como se define el vector de posicin en funcin del
parmetro u como (u), se define a una superficie como (u, v)en trminos de
los parmetros u y v como

en una regin D del plano uv.

El conjunto de todos los puntos (x, y, z) en tal que

(14)
vara en todo D, se llama superficie paramtrica S y las ecuaciones (13) se
llaman ecuaciones paramtricas.

Como el rea de un paralelogramo de lados y (figura 12) est dada
por el mdulo del producto vectorial es aproximadamenta igual al
diferencial rea de la superficie curva S.

Figura 12

Como

El rea de la superficie curva queda

Cuando y estn en el plano el producto queda

El determinante de orden n se llama Jacobiano y puede representarse como

por lo que el mdulo del producto cruz es igual al valor absoluto del Jacobiano

(16)
Ejemplo 8
Halle el rea superficial de una esfera de radio a.

Solucin:
La representacin de una esfera en coordenadas esfricas es:

Donde el dominio de los parmetros es

Por lo que

4.3.2 rea superficial de una funcin
Para el caso especial de una superficie S con ecuacin z = g(x, y), donde (x, y)
se encuentra en D y f tiene derivadas parciales continuas, se toma a x y y
como parmetros. Las ecuaciones paramtricas son:

Por lo que y as

Por lo que

Por lo que el rea queda como

(17)

4.3.3 La integral de superficie de una funcin
Suponiendo que f es una funcin unvoca y continua de tres variables en todos
los puntos de una superficie S. Si se divide S en celdas con reas se
forma la suma

Se escribe el lmite cuando el tamao de la celda se aproxima a 0, y se define
la integral de superficie de f sobre la superficie S como

(18)

Para las ecuaciones paramtricas se encontr que

Por lo que al tender a cero la celda formada por se tiene que

(19)

Para las ecuaciones paramtricas x = x; y = y; z = g(x, y) se plante que
y as
Por lo que la integral de superficie anterior queda

(20)

4.3.4 Superficie orientada
Sea una superficie S que tiene una plano tangente en todo punto (x, y, z) sobre
S (excepto en los puntos frontera). Existen dos vectores unitarios normales a
la superficie en (x, y, z) que son
1
y
2
tales que
1
=
2
. Como para el
sentido de
1
el variar el punto (x, y, z) habr una superficie que se llama
orientada y otra para los puntos (x, y, z) que describen la superficie que tiene
como normal a
2
.

Para una superficie z = g(x, y) dada como la ecuacin 20 queda:

(21)

Como es positiva, esto da una orientacin hasta arriba de la superficie.

S S es una superficie sueva orientable, dada en forma paramtrica, entonces
recibe automticamente la orientacin el vector unitario normal al considerar

(22)

Y la orientacin para la superficie opuesta estar dada por -

4.3.5 Integral de superficie de campos vectoriales
Sea S la cara superior de la superficie mostrada en la figura. es un vector
unitario normal exterior

donde es el componente normal de A
p
en

La proyeccin de S
p
sobre el plano xy es que es igual
a x
p
y
p
de tal forma que si se considera que

por lo que

Cuando en esta suma n tiende a infinito queda de acuerdo con el Teorema
Fundamental del Clculo I ntegral:

(23)

A sta integral tambin se le llama flujo de a travs de S (Figura 13).

Figura 13

Tambin se puede escribir

(24)

4.3.6 Integral de superficie dada por una grfica
En el caso de que una superficie S est dada por la grfica z = g(x, y) se
puede hallar el vector unitario normal teniendo en cuenta que S es tambin
la superficie de nivel f(x, y, z) = z g(x, y) = 0 Se sabe que el gradiente
es normal a esta superficie en (x, y, z), y por lo tanto, un vector
unitario normal es:

(25)

Como es positivo, sta es la normal unitaria hacia arriba. Si ahora, se
emplea (20) para evaluar la integral de superficie (24) con:

se obtiene

(26)

(27)

(28)

4.3.7 Otras integrales de superficie
De manara similar se establecen, las integrales de superficie de una funcin
escalar y la de una funcin vectorial

(29)

(30)

es una funcin escalar

Ejemplo 9
Hallar siendo y S la regin del plano 2x + 3y + 6z
= 12 situadas en el primer octante

Solucin:

ya que

Figura 14

4.4 INTEGRAL DE VOLUMEN
Dada una funcin escalar f la integral de volumen viene definida por

(31)

Esto significa que se suman los valores de la funcin en cada punto
multiplicada por el volumen diferencial correspondiente. El resultado es un
escalar cuyo signo depende nicamente de los valores que toma la funcin
en cada punto del volumen.

Dada una funcin vectorial en un volumen V se define la integral de
volumen de la siguiente manera

(32)

Considerando una superficie cerrada que encierre un volumen del espacio,
las integrales

(33)

son integrales de volumen.

Ejemplo 10
Sea , hallar en donde es la regin limitada por
las superficies x = 0. x = 2, y = 0, y = 6, z = x
2
, z = 4

Solucin:
La regin se recorre (A) manteniendo x e y fijos e integrando desde z = x
2

hasta z = 4 (base y altura respectivamente, de la columna PQ), (B)
manteniendo fijo x e integrando desde y = 0 hasta y = 6 (de R a S en la
franja) y, finalmente, (C) integrando desde x = 0 hasta x = 2 (en donde z =
x
2
corta a z = 4). As pues la integral es

Figura 15

4.4.1 Volmenes paramtricos

Se divide la regin en subregiones de volumen y se considera el
conjunto de los puntos (x, y, z) de modo

en una regin D del espacio u, v, w.
El conjunto de todos los puntos (x, y, z) en tal que

vara en todo D, se llama volumen paramtrico V y las ecuaciones (32) se
llaman ecuaciones paramtricas.

Como el volumen de un paraleleppedo de lados y est dada por
el valor absoluto del triple producto escalar es
aproximadamente igual al diferencial de volumen del volumen U.
Como

el volumen del cuerpo queda

(34
)

4.5 TEOREMA DE GREEN EN EL PLANO
El teorema tambin es vlido para regiones limitadas por dos o ms curvas
cerradas (regiones mltiplemente conexas).

Figura 16 Figura 17

Ejemplo 11
Verificar el teorema de Green en el plano para
siendo la curva cerrada que limita la regin entre y = x
2
y y
2
= x

Solucin:
Las curvas planas y = x
2
y y
2
= x se cortan en (0,0) y (1,1) . La direccin
positiva se indica en la figura 1. A lo largo de y = x
2
, la integral curvilnea es

A lo largo de y
2
= x la integral curvilnea es

As la integral de lnea buscada es

Aplicando el Teorema de Green en el plano:

con este resultado se verifica el teorema de Green.

Ejemplo 12
Evaluar , donde C es la curva triangular que une los puntos
(0;0), (0;1) y (1;0), orientada positivamente.

Solucin:
En la figura 17 se muestra la regin encerrada por la curva C.
Mtodo 1:

Figura 18

Por lo tanto:
Mtodo 2:

Al sumar

Ejemplo 13
Determine el rea de la regin limitada por la hipocicloide que tiene la
ecuacin vectorial r(t) = cos
3
t i + sen
3
t j , 0 t 2p

Solucin:

Figura 19

Si se considera P = 0, Q = x. Usando coordenadas polares (ecuaciones
paramtricas) x = cos
3
t dx = -3 cos
2
t sent dt y = sen
3
t dy = 3
sen
2
t cost dt

a) Teorema de Green en una regin mltiplemente conexa

Ejemplo 14
Determinar el momento de inercia de una anillo homogneo de radio interno
a, radio externo b y masa M, respecto a uno de sus dimetros.

Solucin:
El momento de inercia respecto al dimetro colineal con el eje x es

donde r es la densidad superficial del anillo, que es constante dado que es
homogneo.
Se calcula la integral doble del momento de inercia con dos integrales. Para
ello se establecen las P, Q tales que:

Aplicando Green con esta funcin:

Escribiendo la ecuacin de la curva en forma

Reemplazando en las integrales anteriores

Como m = (b
2
a
2
) el momento de inercia queda (Nota:
Este momento est relacionado con la ubicacin del punto de concentracin
del empuje hidrstatico sobre superficies curvas o planas sumergidas).
Del Teoremas de Green para regiones mltiplemente conexas se deducen
estos dos conceptos vlidos para funciones conservativas:

Ejemplo 15
Para evale donde
C est mostrada en la figura

Figura 21

Solucin:

Como , es conservativa.

Se integrar a lo largo de una circunferencia con centro en el origen y radio 1

4.6 TEOREMA DE LA DIVERGENCIA O DE GREEN EN EL ESPACIO

El teorema se puede generalizar a superficies que sean cortadas en ms de
dos puntos por paralelas a los ejes coordenados. Para demostrar esta

generalizacin, subdivdase la regin encerrada por S en subregiones cuyas
superficies cumplan con la condicin del teorema. El procedimiento es
anlogo al utilizado para el teorema de Green en el plano.
Ejemplo 16
Comprobar el teorema de la divergencia para
extendida a la regin limitada por x = 0, x = 1, y = 0, y = 1, z = 0, z = 1

Solucin:

Figura 22

Primero se calcula siendo S las superficies del cubo de la figura

Sumando

Por otra parte, al evaluar la integral de volumen

El teorema de la divergencia se verifica en este caso.
Ejemplo 17
Evaluar el flujo del campo vectorial F(x;y;z) = xyi +(y
2
+e
xz
2
)j +sen(xy)k a
travs de la superficie frontera de la regin E acotada por el cilindro
parablico z = 1-x
2
y los planos z = 0, y = 0, y + z = 2.

Figura 23

Solucin:
Como la divergencia de F es , el teorema de la
divergencia queda:

Ejemplo 18
Verificar el teorema de la divergencia para el campo vectorial F = |r|r y la
superficie esfrica x
2
+ y
2
+ z
2
= 9.

Solucin:
El vector r es el vector posicin (x; y; z). De modo que en trminos de las
variables cartesianas el campo vactorial dado puede expresarse como:

La superficie dada puede en coordenadas esfricas:

Con estos parmetros:

Para saber si la normal apunta hacia fuera o hacia dentro se calcula su
valor en el punto (0,3,0), al cual corresponde r = 3;
= = /2, quedando

como es negativa, esta dirigida hacia adentro (normal interna), por ello se
considera

Como F en funcin de los parmetros queda

As que:

Por otra parte:

Calculando las derivadas parciales por separado y sumando miembro a
miembro se tiene:

Se obtuvo el mismo resultado por los dos caminos, s se verifica al teorema
de la divergencia.
Ejemplo 19
Demuestre el Principio de Arqumedes empleando el de Pascal, (El Principio
de Pascal establece que p = p
0
+ rgh y el Principio de Arqumedes: F = W
donde p es presin, p
0
es la presin atmosfrica, es la densidad del fluido,
g la aceleracin de la gravedad, h es la profanidad desde la superficie libre
hasta el punto donde interesa obtener la presin, F es el empuje y W es el
peso de lquido desplazado).
Solucin:

Figura 24

En la figura se muestra a un slido sumergido E con superficie frontera S en
un lquido de densidad constante . El principio de Pascal establece que la
presin en el diferencial de superficie indicado, ubicado a una profundidad L
- z, es
p = p
0
+ rg(L - z)
Por definicin de presin, la fuerza que el fluido ejercer sobre cada
elemento de superficie del slido vendr dada en igual direccin y sentido
contrario a la normal externa a este ltimo, as en la direccin vertical

Si se integramos este diferencial de fuerza sobre todo el dominio, esto es,
sobre toda la superficie S, se obtiene la componente vertical de la fuerza
resultante:

Por el teorema de la divergencia:

Como

Donde W es el peso del lquido que ocupara un volumen igual al del objeto
sumergido.

4.7 TEOREMA DE STOKES

Cuando resulta que , ya se haba establecido en el
Teorema de Green para una Funcin vectorial conservativa cuando la regin
que no contiene al origen

Ejemplo 20
Comprobar el Teorema de Stokes para , siendo S la
superficie del paraboloide 2z = x
2
+y
2
limitada por z = 2. C es un crculo de
ecuaciones x
2
+y
2
= 4, z = 2 y de ecuaciones paramtricas x = 2cost, y =
2sent, z = 2, donde 0 t 2
Solucin:

Adems

Es irrotacional.

entonces

que en coordenadas polares se convierte en

Ejemplo 21
Verificar el Teorema de Stokes siendo , S la
superficie de la unidad superior de la esfera x
2
+ y
2
+ z
2
= 1 y C su
contorno lmite.

Solucin:
El contorno lmite de C de S es la circunferencia del plano xy de radio
unidad y centro en el origen. Sean x = cost, y = sent, z = 0; 0 t 2, las
ecuaciones paramtricas de C. En estas condiciones

Tambin

luego,

ya que
y R es la proyeccin de S sobre el plano xy. Esta ltima
integral es

que verifica all teorema rotacional de Stokes.
Por el teorema del rotacional de Stokes

Aplicando el Teorema del valor medio del Clculo integral

de donde resulta que cuando el lmite

La expresin anterior sirve para calcular el rot en un sistema de
coordenadas no rectangular. Adems, como es la circulacin de
lo largo de C , el componente normal del rotacional es igual al lmite de la
circulacin por unidad de rea.

Ejemplo 22
Verificar el Teorema de Stokes para el campo vectorial F(x;y;z) = 3yi + 4zj
- 6xk y la parte de la superficie paraboloidal z = 9 - x
2
- y
2
ubicada sobre el
plano xy que est orientada hacia arriba.

Solucin
La curva C corresponde a un crculo con centro en el origen y radio 3
ubicado en el plano xy, por lo que z = 0. Usando coordenadas polares
(ecuaciones paramtricas)

Clculo como integral de superficie: Se evala el rotacional:

Se usan coordenadas cilndricas (quedan en trminos de los parmetros r y
para

Por lo que y
El producto vectorial ser:

Como el componente z de este vector es positiva, la normal a la superficie
es hacia afuera.

se llega al mismo valor, por ello se verifica el Teorema de Stokes.

Ejemplo 23
Calcular la circulacin del campo de velocidades de un fluido
a lo largo de la interseccin de la esfera x
2
+
y
2
+ z
2
= 4 con el cilindro x
2
+ y
2
= 1, con z > 0. En otras palabras, se pide
obtener:

Figura 25

Solucin:
Por el teorema de Stokes, se puede calcular la integral de lnea de F sobre
la curva dada como el flujo del rotacional a travs de la superficie
lateral
El rotacional de la funcin vectorial queda

Como el cilindro tiene como ecuaciones paramtricas a

Se tiene que y

El producto vectorial de estos dos vectores es:

Como el componente en direccin z es positiva, la normal
corresponde a la de superficie orientada positivamente

4.8 COORDENADAS CURVILNEAS
Para algunas aplicaciones conviene usar otras coordenadas adems de
las cartesianas; por ejemplo, cuando en un problema interviene simetra
cilndrica o esfrica. Por lo que es pertinente transformar el gradiente
divergencia y rotacional cartesianas a otra clase de coordenadas.

Las coordenadas rectangulares (x, y, z) de un punto se expresan en
funcin de las coordenadas curvilneas (u
1
, u
2
, u
3
) en la forma

Las funciones x,y,z son uniformes y con derivadas continuas. La
correspondencia entre las ternas (x, y, z) y (u
1
, u
2
, u
3
) es uno a uno.
Al despejar a (u
1
, u
2
, u
3
), de las ecuaciones anteriores se obtienen las
frmulas para transformar las coordenadas rectangulares a curvilneas

Cuando las funciones se igualan con las constantes c
1
, c
2
, c
3
se forman las
llamadas superficies coordenadas u
1
, u
2
y u
3

La interseccin de cada par de estas superficies define a las lneas
coordenadas. Ellas forman un sistema de con tres ejes curvilneos; cuando
ellos se cortan en ngulo recto, se dice que se tiene un sistema curvilneo
ortogonal.

4.8.1 Vectores unitarios
El vector de posicin en el espacio puede expresarse en trminos de
tres vectores base, Si se escogen los vectores unitarios
se tiene que

Se llama vector tangente unitario
1
a la lnea u
1
en el punto P de (para la
cual u
2
y u
3
son constantes) en el sentido de la lnea a u
1
a

De igual manera
2
vector tangente unitario a la lnea u
2
(en el mismo
sentido que u
2
) a

y el vector tangente unitario a la lnea u
3
(en el mismo sentido que u
3
)
queda

A los mdulos de las derivadas que aparecen en el denominador de las
tres expresiones anteriores se les llama factores de escala, a saber
y

Figura 26

Por otra parte, u
1
es un vector normal (exterior) en P a la superficie u
1
= c
1
; por lo que
es un vector normal unitario a la superficie u
1
= c
1

De igual manera se definen los vectores normales unitarios a las
superficies u
2
= c
2
y u
3
= c
3
como:

En trminos de estos vectores base, un vector en el espacio queda
expresado como

A los valores A
1
, A
2
, A
3
se les llama componentes contravariantes y a a
1
,
a
2
, a
3
componentes covariantes

Ejemplo 24
Obtener los vectores unitarios tangentes de las coordenadas:
a) cilndricas y
b) esfricas

Solucin:
a) Las ecuaciones de transformacin de las coordenadas cilndricas (, ,
z) son

as

b) Para las coordenadas esfricas se tiene

as los vectores tangentes unitarios quedan

Ejemplo 25
Mostrar que son ortogonales los vectores unitarios tangentes a las
coordenadas
a) cilndricas
b) esfricas
Solucin:
a) En el ejemplo 1 se obtuvieron los vectores tangentes

por lo que si seran ortogonales

b) Del ejemplo 1

por lo que si son ortogonales

Figura 27 Figura 28

Ejemplo 26

Expresar la velocidad y la aceleracin del movimiento de una
partcula en coordenadas cilndricas
Solucin:

En el inciso a del ejemplo 1 se obtuvo que

al derivar respecto al tiempo t

Ejemplo 27
Expresar la funcin vectorial
en coordenadas cilndricas

Solucin:
Al sustituir los vectores unitarios

al igualar con la funcin vectorial del enunciado

(I)

(II)

(III)

Al multiplicar (I) por sin y (II) por cos:

al sumar

(IV)
si ahora (I) se multiplica por cos

(V)

(VI)
al sumar

al sustituir

por lo que

4.8.2 Elementos de linea y de volumen
A partir del vector de posicin = (u
1
, u
2
, u
3
) se obtienen el
diferencial del vector de posicin y el de longitud de arco s. Como
ya que

por lo cual

A lo largo de la lnea, coordenada u
1
, son constantes u
2
y u
3
, con lo que
y el elemento de lnea ds
1
segn u
1
en el punto P es h
1

du
1
. Anlogamente, los elementos de lnea P segn u
2
y u
3
son ds
2
=
h
2
du
2
y ds
3
= h
3
du
3
respectivamente.

El elemento de volumen en un sistema de coordenadas curvilneas est
dado por el triple producto escalar (en el captulo 3 se mostr que
corresponde a un volumen)

ya que .

Ejemplo 28
Hallar el cuadrado del elemento de lnea en coordenadas cilndricas y
determinar los factores de escala.

Solucin

as

4.8.3 Gradiante, divergencia, rotacional y laplaciano
a) Gradiente de la funcin
Sean una funcin escalar y una funcin
vectorial de las coordenadas curvilneas ortogonales

El gradiente de la funcin escalar en coordenadas curvilneas
ortogonales tiene la forma

(I)
De la definicin de diferencial total
como

(II)
ya que

por definicin de diferencial total.

(III)

al igualar (II) y (III)

al sustituir en (I)

Por lo que el operador nabla en coordenadas curvilneas ortogonales
queda

Cuando = u, entonces

de igual manera quedan

ya que

y de manera similar

b) Divergencia de

Empleando las igualdades del gradiente de u
i
, a saber

el producto vectorial es igual a

de donde

de igual manera se llegara a

Al usar estas maneras de escribir a los vectores unitarios queda

Existe una propiedad de la divergencia que establece que

Si se considera que = A
1
y que , se tiene que
Desarrollando el gradiente que aparece en el primer factor del miembro
del lado derecho

De manera similar se obtendran

como

Por lo que la divergencia en coordenadas curvilneas es

c) Rotacional de

Considere que es el rotacional de la funcin vectorial tiene la forma
como
Al agrupar trminos
El resultado anterior corresponde al del determinante siguiente:

d) Laplaciano de

El gradiente de la funcin escala r es

Si

entonces

Por lo que el laplaciano queda:

Ejemplo 29
Expresar en coordenadas cilndricas:

Solucin:
En coordenadas cilndricas (, , z),
u
1
= , u
2
= , u
3
= x; e
1
= e
p
, e
2
= e
, e
3
= e
2
; h
1
= h
p
= 1, h
2
= h
= ,
h
3
= h
2
= 1
,

(a)

(b)

(c) Para A
1
= A
, A
2
= A
,
A
3
= A
z

(d)

Ejemplo 30
Expresar en coordenadas cilndricas

Solucin:
En este caso u
1
= r, u
2
= , u
3
= ; e
1
= e
r
, e
2
= e
, e
3
= e
; h
1
= h
r
=
1, h
2
= h
= r, h
3
= h = rsen

Captulo 5
Funciones de una variable compleja

CAPTULO 5 FUNCIONES DE UNA VARIABLE
COMPLEJA

Objetivo:
En este captulo el alumno aprender a utilizar ciertos conceptos del lgebra de
nmeros complejos y comprender los aspectos ms importantes de las derivadas
e integrales de funciones donde la variable independiente es un nmero complejo,
ya que tienen aplicaciones relevantes en la Ingeniera, unas de ellas es la
descripcin de flujos ideales, que son considerados en el diseo de las Obras
Hidrulicas.

INTRODUCCIN
Los nmeros complejos surgen para dar significado a la raz cuadrada de nmeros
negativos En el siglo I a.c. aparecen las primeras referencias de races cuadradas
de nmeros negativos y en el siglo XVI., Descartes (1596-1654) puso nombre a
las races cuadradas de nmeros negativos, imaginarios. Sin embargo, la
existencia de nmeros complejos no fue completamente aceptada hasta la
interpretacin geomtrica de Wessel en 1799 y en el siglo XIX se hizo su
planteamiento como pares de nmeros reales.
Los nmeros complejos son una extensin de los nmeros reales, siendo estos
ltimos un subconjunto del conjunto de los nmeros complejos.

5.1 LGEBRA DE NMEROS COMPLEJOS
Un nmero complejo z es una expresin de la forma z = a + ib, donde a y b son
nmeros reales e i es la unidad imaginaria, definida como . Esta manera
de expresar el nmero complejo se le llama binmica, pero existen otras maneras
de hacerlo, como son la trigonomtrica y la exponencial que se tratan adelante.
Se dice que a y b son respectivamente la parte real e imaginaria de a, y se
escribe como a = Re (z) y b = Im (z)
Un nmero complejo a + ib es real cuando b = 0 e imaginario cuando b 0 .
Particularmente, cuando b 0 y a = 0 el nmero es imaginario puro.
El conjunto de los nmeros complejos se representa geomtricamente en un
sistema coordenado rectangular, el plano complejo Plano de Argand. (Fig. 1)

As, un nmero a + ib queda definida por el punto (a, b) en dicho plano.
Se llama conjugado del nmero complejo z = a + ib a z = a ib

Figura 1 Diagrama de Argand o plano complejo
Los puntos que representan nmeros reales son aquellos que se hallan sobre el
eje x, mientras que el eje y representa a los nmeros puramente imaginarios.
Se representar a z como un vector que parte del origen y llega al punto (x, y). La
longitud de este vector es llamada mdulo de z, y se representa por | z |,

(1)

El nmero se llama el conjugado de z = a + ib y se define como z = a - ib

5.1.1 Igualdad
Dos nmeros complejos son iguales si y solo si sus partes reales e imaginarias
son respectivamente iguales; a saber,
a + ib = c + id implica a = c y b = d
En particular, un nmero complejo es cero si y solo si sus partes reales e
imaginarias son cero.

5.1.2 Operaciones de nmeros complejos
La suma resta, multiplicacin y divisin de nmeros complejos siguen las reglas
conocidas por los reales: Se tiene en cuenta, que en la multiplicacin de las
potencias de i se han de reducir tanto como sea posible aplicando la propiedad
que define a i; es decir, i = 1
2
, i
3
= 1
2
i = i, 1
4
= i
2
= 1,etc.
Sean z
1
= a + ib y z
2
= c + id
Suma:
z
1
+ z
2
= (a +ib) + (c + di) = (c + di) = (a + c) + i(b + d)
Resta:
z
1
- z
2
= (a + bi) - (c + di) = (a - c) + i(b - d)
Multiplicacin:
z
1
z
2
(a + ib) (c + id) = (ac -bd) + i(ad + bc)
Divisin:

En la prctica se sigue este proceso

a) Con nmeros conjugados:

b) Observaciones sobre valores absolutos

5.1.3 Forma trigonomtrica o polar de un nmero complejo
Adems de la representacin cartesiana z = a + ib, todo nmero complejo
admite la forma trigonomtrica o polar. Con relacin a la figura 2

por lo que el nmero complejo z = a ib queda

(2)

Donde r es el mdulo de z y es el argumento de z.

Figura 2 Ley del paralelogramo
Tambin de la figura 1 se tiene

(3)

(4)

El nmero complejo en forma trigonomtrica o polar queda

(5)

Es comn que se escriba en forma abreviada con las iniciales de las palabras seno
y coseno como z = rcisq.

Multiplicacin
La multiplicacin de dos nmeros complejos se facilita si estn en la forma
trigonomtrica, ya que

por las identidades trigonomtricas de

queda

o en forma abreviada

(6)

Para el caso especial

el cuadrado de z queda

generalizando para otras potencias enteras

La frmula

(7)

se conoce como Teorema de De Moivre.
Sea el nmero complejo
.
Si al elevar w a la potencia n e igualar con el nmero complejo z

as

De la igualdad entre nmeros complejos:

Para k = 0,1,,n - 1 . Al despejar de las ecuaciones anteriores a R y f

por lo que

(8)

Las funciones circulares se definen en trminos de las funciones exponenciales
como

Al sumar la primera ecuacin multiplicada por i con la segunda queda

conocida como la formula de Euler.
Con esta ecuacin el nmero complejo queda

(9)

Por lo tanto, se tiene que

(10)

Geomtricamente, se muestra que si z tiene un valor absoluto r y ngulo ,
entonces z
n
tiene el valor absoluto r
n
y el ngulo n, si n es un entero positivo.
De forma similar se encuentra que si

entonces

(11)

Para la divisin

(12)

Es decir, si z
1
y z
2
tienen valores absolutos r
1
y r
2
y ngulos
1
y
2

respectivamente entonces z
1
z
2
tiene el valor absoluto r
1
r
2
y el ngulo
1
+
2

y tiene el valor absoluto r
2
/ r
1
y el ngulo
1

2
.
El conjugado de

es

De (12) se tiene

(13)

Sea

(14)

Donde w = u + iv y z = re
i
, por lo que

que se puede escribir como

de donde

(15)
de (15)

(16)

(17)
y de (17)

(18)
por igualdad de nmeros complejos

(19)
al sustituir (18) y (19) en (14)

(20)
Por otra parte, al tomar logaritmos naturales a ambos miembros de (14)

como

resulta

al sustituir (20) en la expresin anterior

(21)
si k = 0 se tiene el logaritmo principal:

(22)

5.2 FUNCIONES DE VARIABLE COMPLEJA
Una funcin es un caso especial de una relacin que asocia a cada elemento de

un conjunto un solo elemento de otro conjunto.

Figura 3 Relacin multivariada
Una relacin que asocia a cada elemento de un conjunto ms de un valor del
segundo conjunto se dice que es relacin multiforme. En la Teora de los
nmeros complejos a esta ltima se le llama funcin multivariada.
Sea f una funcin que asociada a cada valor de z uno o ms valores de w,
donde es un nmero complejo w= u + iv. As

y en general resulta que

(23)

Una funcin multiforme puede considerarse como una coleccin de funciones
uniformes. Cada miembro de la coleccin se llama una rama de la funcin. Se
suele considerar un miembro particular como rama principal de la funcin
multiforme y al valor de la funcin correspondiente a esa rama se le llama valor
principal.
Siempre que se hable de funcin en este captulo, se har referencia, salvo
advertencia expresa, a funcin no multiforme o monovalente.
Las funciones escalares u(x, y), v(x, y), reciben el nombre de parte real y
parte imaginaria de f, respectivamente.
Ejemplo 1
Sea la funcin compleja
Obtener f(2 + 3i)

Solucin
Como z = 2 + 3i entonces x = 2, y = 3

Si se utilizan coordenadas polares la funcin se expresa como

Si la parte imaginaria de la funcin es nula, el recorrido o rango de la funcin
est contenido en y se dice que la funcin es una funcin real de variable
compleja.

(24)
Ejemplo 2
Exprese la funcin f(z) = z
2
, en forma binmica

Solucin
Como en este caso, u( x, y ) = x
2
y
2
y v(x,y) = 2xy .
Las funciones reales u( x, y ), v(x, y), de las variables reales x y y de la funcin
w = u( x,y )+iv( x,y ), pueden expresarse en trminos de z y . En efecto

(25)
resulta , que es una funcin de z.
continua solucin: Expresar w = (x
2
y
2
) + 2xyi en trminos de z y queda

despus de varios pasos algebraicos se llega a

en este caso no hubo trminos de .
Para representar a la funcin f(z) es necesario utilizar dos planos complejos; el
plano z de ejes x e y, y el plano w de ejes u y v. Se representaran algunos
puntos en el plano complejo z y los correspondientes en el plano w.
A cada punto P (x, y) en el plano z, situado en el campo de existencia de f,
corresponder el punto P (u,v) en el plano w. Esta correspondencia se llama
una transformacin del plano z en el w mediante f. Se dir que P (x, y) se
transforma en el P (u,v) por la funcin o transformacin. A P se le llama la
imagen de P.
Esto ser tratado en el captulo 6.
5.3 LMITES Y CONTINUIDAD DE UNA FUNCIN DE VARIABLE
COMPLEJA
Las definiciones de lmites y continuidad correspondiente a las funciones de
variable compleja son anlogas a las de variable real.
As, f (z) tiene por lmite a L cuando z tiende a z
o
,

(26)
si dado cualquier e > 0 existe un d > 0 tal que | f (z) L| < e siempre que
0 < z z
o
< d.
Anlogamente, f (z) es continua en z
o
si, dado cualquier e > 0 existe un d >
0 tal que | f (z) f (z
o
)| < e siempre que | z z
o
| < d. Equivalentemente,
f (z) es continua en z
o
si

(27)

5.4 DERIVADAS DE FUNCIONES DE VARIABLE COMPLEJA

Ejemplo 3
Obtener la derivada de

Solucin:

a) S y = 0

(29)
b) S x = 0

(30)
Para que exista, las expresiones 29 y 30 deben ser iguales, as:

lo cual se cumple para

(31)

(32)

Las expresiones anteriores se llaman Ecuaciones de CauchyRiemann.
Una funcin f(z) es analtica en una regin C si f(z) tiene una derivada
finita en todo z y si f(z) es simplemente valuada en .
Se dice que es analtica en un punto z si z es un punto interior (no un punto
frontera) de alguna regin donde f(z) es analtica. Entonces una funcin no
puede ser analtica en un punto sin serlo tambin a lo largo de algn crculo
con centro en ese punto.
De las ecuaciones (31) y (32) se obtienen las relaciones adicionales

(33)

(34)
Pero si las segundas derivadas parciales de u y de v son continuas, y se toma
en cuenta que es indistinto el orden de la diferenciacin, entonces las
funciones u y v satisfacen las ecuaciones

As, las funciones u (x, y) y v (x, y) satisfacen la ecuacin de Laplace, por lo
que se les llama armnicas. La funcin v (x, y) es llamada frecuentemente la
conjugada armnica de u (x,y).
Las ecuaciones de Cauchy-Riemann (31, 32) permiten la determinacin de
u (x,y) a partir de v (x,y) conocida, salvo una constante aditiva real arbitraria,
a partir de la diferencial total de ellas. En efecto.
Como la diferencial total de la funcin u (x,y) es

que al tomar en cuenta a (31) y (32) queda

(35)
As al obtener las derivadas parciales de v(x,y), sustituir en la expresin
anterior, e integrar se obtiene u(x,y).
Similarmente para v(x,y), a partir de su diferencial total

que al tomar en cuenta a (31) y (32) queda

(36)

al encontrar las derivadas parciales de u(x,y), sustituir e integrar se obtiene
v(x,y).
Para las variables complejas en el modo trigonomtrico o exponencial, la
funcin f (z) = u(r,) + iv(r,) es analtica cuando se cumple

(37)

(38)
que son las Ecuaciones de Cauchy-Riemann para estos casos.
Como formalmente deben ser iguales f (z) y f (x) se considera que y=0

(39)
Por ejemplo, para u+iv = (x
2
y
2
) + i(2xy), como u, y v son diferernciables y
cumplen Cauchy-Riemann en todo el plano, es u+iv entera, por lo que puede
escribirse en trminos de z sin que aparezca .
As

Ejemplo 4
Hallar las funciones analticas cuya parte real sea la funcin u =y
3
3x
2
y
Se comprueba que u es armnica: u
xx
+ u
yy
= 6y +6y = 0
Por las condiciones de Cauchy-Riemann:

Luego v(x,y) = x
3
3xy
2
+ c
Por tanto: f(z) = (y
3
3x
2
y)+i(x
3
3xy
2
+c)
Y como f(z) = u (z,0)+ iv(z,0) , resulta: f(z) = i(z
3
+c) f(z) = i(z
3
+
c) con


Si las partes real e imaginaria de una funcin analtica tienen
segundas derivadas parciales, stas verifican la ecuacin de Laplace.

Si w = u (x,y) + iv (x,y) es una funcin analtica de z, las curvas de
la familia u (x,y)=c son trayectorias ortogonales a las curvas de la
familia v (x,y)=k, y viceversa.

Si en una funcin analtica w = u (x, y) + iv (x,y) se reemplazan las
variables x, y por sus equivalentes expresadas por, o sea
, w aparece como funcin de z y

Si f(z) es analtica en un punto, sus derivadas de todos los rdenes
son analticas en dicho punto.

En los puntos en que f(z) es analtica ( y por tanto lo son f(z),
f(z), como f (z)= u
x
+iv
x
= v
y
iu
y
, f(z)= u
xx
+iv
xx
=...), resulta que
u y v admiten derivadas de todos los rdenes.

5.4.2 Puntos singulares
Un punto en el cual f(z) deja de ser analtica es llamado un punto singular o
singularidad de f(z). Existen varios tipos de singularidades:
a) Singularidades aisladas. El punto z=z
0
es una singularidad aislada o
punto singular aislado de f(z) si existe un d>0 tal que el crculo | z z
0
| = d
no encierre puntos singulares distintos de z
0
. Si d no puede ser encontrado, se
dice que z
0
es una singularidad no aislada.
b) Polos. Si se puede encontrar un entero positivo n tal que

entonces z = z
0
es llamado un polo de orden n. Si n= 1, z
0
es llamado un polo
simple.
tiene un polo de orden 2 en z=1, y polos simples en
z = 1 y z= 4
c) Los puntos de ramificacin de funciones multvocas, son puntos
singulares.
f(z)=(z 3)
1/2
. tiene un punto de ramificacin en (z = 3).
f(z)= 1n (z
2
+z2)tiene puntos de ramificacin donde z
2
+ z 2=0, es decir, en
z=1 y z = 2
d) Singularidades removibles. El punto singular z
0
es llamado una
singularidad removible de f(z) si f(z)existe.
El punto singular z=0 es una singularidad removible de ya que

e) Singularidades esenciales. Una singularidad que no sea polo, ni punto
de ramificacin, ni singularidad removible, es llamada una singularidad
esencial.
Ejemplo: tiene una singularidad esencial en z = 2 .
f) Singularidad en el infinito. El tipo de singularidad de f(z) en z = (el
punto en el infinito) es el mismo como el de f(1/w) en w = 0. La funcin
f(z)=z
3
tiene un polo de tercer orden en z= , ya que f(1/w)=1/w
3
tiene un
polo de tercer orden en w = 0.
Una funcin que es analtica en cada parte del plano finito, (es decir, en toda
parte, excepto en ) se llama una funcin entera. Las funciones e
z
, sen z,
cos z son funciones enteras.
Una funcin entera se puede representar por una serie de Taylor de radio de
convergencia infinito. Recprocamente si una serie de potencias tiene radio de
convergencia infinito, representa una funcin entera. (Las series se tratan ms
adelante en este captulo).
Una funcin que es analtica en toda parte del plano finito, excepto en un
nmero finito de polos se llama una funcin meroforma.
Ejemplo 5
La funcin f (z)= a C es entera. Adems f(z)=0 C .
Ejemplo 6
La funcin f (z) = z es entera. Adems f(z)=1 C .
Ejemplo 7
La funcin f (z)= z
2
es entera:

Ejemplo 8
La funcin f (z)= | z |
2
slo es derivable en z = 0
En efecto:

Ejemplo 9
Existe alguna funcin analtica f (z) cuya parte real sea u(x,y)=x
2
+y
2
?
No, pues u
xx
+ u
yy
= 4 0, no siendo u ( x, y ) armnica en ningn dominio.

5.5. INTEGRALES DE FUNCIONES DE VARIABLE COMPLEJA
5.5.1 Integrales complejas de variable real
La funcin compleja de variable real t est dada como z(t) = x (t) + iy(t)
continua a tramos en [ a,b ], se define la integral definida de z(t) sobre [
a,b ] como

(40)
De la definicin y las propiedades de la integral definida de funciones reales
de variable real, se deduce de forma inmediata, siendo z(t), z
1
(t), z
2
(t),
continuas a intervalos en I =[ a,b ]:
De lo anterior se cumple lo siguiente:
a)

b)

c)

d)

e)

Si la funcin compleja de variable real Z(t) que verifica Z '(t) = z (t) ,
entonces:
f)

g)

5.5.2 Integrales de lnea de funciones complejas
La integral del 2 miembro es integral de una funcin compleja de variable
real t.
Existe esa integral, pues z(t) es continua en I y f ( z ) continua sobre C.
Luego es continua en I y como z' (t) es continua en I excepto en un n finito
de puntos, el integrando es continuo a tramos en I.
Si z' (t) no es continua sobre I, puede dividirse el intervalo I de forma obvia.
Es decir si C est compuesto de un n finito n de arcos regulares orientados
C
1
entonces:
De la definicin de integral de lnea puede plantearse que

As:

(42)
Puede escribirse
C
(u+iv)(dx+idy), desarrollando el integrando de acuerdo
con las leyes algebraicas usuales.
Propiedades

(43)
Se entiende que si C est descrita por z(t) t [ a,b ] entonces -C est
descrita por z(t) con t variando desde t = b hasta t = a . Queda entonces la
curva recorrida en sentido contrario al de C.

(44)
Se entiende que si C
1
z
1
(t) t [ a,b ] y C
2
z
2
(t) t [ b,c ] y
siendo
z
1
(b) = z
2
(b) se denota C
1 +
C
2
al contorno definido por

Si C es una curva en el plano complejo que une los puntos z
0
y z
1
, la integral
de lnea de una funcin f (z) = u + iv a lo largo de C esta definida por la
ecuacin

(45)
Se supone que cualquier curva C a lo largo de la cual se efecta una
integracin es por lo menos suave por partes. Dicha curva algunas veces se
llama contorno.
Las partes real e imaginaria de (41) son integrales de lnea reales en el
plano.
El no seguir una trayectoria C en particular, facilita el clculo de la integral.
Ejemplo 10
Obtener , donde C es la lnea recta que empieza en z
0
= 1 y
termina en z
1
= i

Solucin:
En este caso , la derivada f ' (z) = 1 / (z-a)
2
existe para todos
los puntos excepto en z = a. Por lo tanto, f(z) es analtica en cualquier regin
simple que excluya al origen en el plano complejo.

Cuando es analtica, f(z), el producto f(z)dz es igual a una diferencial exacta
de una funcin F(z), o sea F(z)dz = dF (z) y entonces f(z) dz = F (z),
De esta manera, se debe evaluar de la manera usual, por lo que la integral
definida entre z
0
y z
1
queda

(47)
En el caso en que los extremos z
0
y z
1
coinciden, C es una curva cerrada
dentro de una regin simple donde f(z) es analtica, por lo que F (z
1
) =
F(z
0
) y por tanto, la integral dada por la ecuacin 42, es nula. Adems, se
acostumbra escribir un crculo pequeo en el smbolo de la integral.
A) Teorema de Cauchy.
Si f(z) es analtica sobre todos los puntos de una curva cerrada C tambin lo
es en alguna vecindad (a ambos lados) de la curva, se concluye que si f(z) es
analtica dentro y sobre una curva cerrada C , entonces

(48)
En otros casos, puede ser distinta de cero.
Puede generalizarse a

(49)
donde con C
1
+ C
n
se entiende la generalizacin obvia de la definicin vista
para C
1
+C
2

(50)

(51)
Desigualdad ML
En efecto:

Sobre lo anterior se hacen las observaciones siguientes:
z recorre C, se interpreta | dz | como | dz |=|x'(t) + iy'(t)|dt
Por tanto, como la longitud de un contorno C z(t), t [ a,b ] es
L =
b
a
|z '(t) |dt, puede expresarse L de forma abreviada por

(53)
Ejemplo 11
Calcular siendo
Solucin

Los extremos son z = 0 y z = 2 + i
Entonces z (t) = 2t + it = (2 +i) t t [0,1]
z
2
es continua sobre C
1

Por la definicin

Ejemplo 12
Calcular siendo
;

Se observa que Luego

Ejemplo 13
Calcular siendo C
3
la semicircunferencia superior de |z|=1, desde
|z|= 1 hasta |z|=1
Solucin
Es

Ejemplo 14
Calcular siendo C
4
la semicircunferencia inferior de |z|=1, desde
|z|= 1 hasta |z|=1.
Solucin

Obsrvese que I
4
I
3

Ejemplo 15
Calcular siendo C
5
la circunferencia |z|=1 en sentido antihorario.
Solucin
Es I
5
= I
4
I
3
= 2 p i. Como sobre C
5
es . Luego:

Ejemplo 16
Sin resolver la integral, hallar una cota superior del mdulo de
siendo C
6
el segmento de origen en z = i y extremo en z = 1
Sobre C
6
es continua,
Es , siendo: M: cota superior de sobre C
6
y L:
longitud de C
6

Sobre C
6
es:

(Puede verse tambin geomtricamente que sobre C es |z| mayor que la
distancia OA, es decir
Luego . Es por tanto M = 4 y como resulta

Figura 5
B) Teorema de Cauchy aplicable a regiones mltiplemente conexas
Se acepta como direccin positiva alrededor de un contorno cerrado C a
aquella a lo largo de la cual un observador debe mantener el rea
encerrada a su izquierda (Figura 6).

Figura 6
Sea otra curva simple cerrada C
2
la cual rodea el origen y no intersecta a
C
1
. Si se hace un corte a C
1
para conectarse con C
2
y a C
2
otro para
volver a C
1
, se obtiene la regin (simplemente conexa) mostrada en la
figura 3, cuya curva cerrada total es C , con una longitud casi igual a la
suma de longitudes deC
1
y de C
2
. En este caso,

(54)
La integral anterior es igual a

(55)

El signo negativo se debe a que el recorrido a lo largo de C
2
es en direccin
opuesta a la positiva. Por tanto

(56)
Ejemplo 17
Obtener , donde C es una curva cerrada y z = a est fuera de C
Solucin:
Se tiene que f(z) = 1/(z a) es analtica en la regin encerrada por C,
segn el teorema de Cauchy,

(57)
Ejemplo 18
Obtener , donde C es una curva cerrada y z = a est dentro de C
Solucin:
Se tiene que f(z)=1/(z a) es analtica la regin limitada por dos curvas
simples cerradas C y C
1
por lo que

Sea C
1
igual a una circunferencia con centro en z = a y radio fijo igual a ,

As

(58)
De los ejemplos 8 y 9 se concluye

Ejemplo 19
Obtener , donde C es una curva cerrada, n= 2,3,4, y z = a
est dentro de C
Solucin:
Se tiene que f(z)= 1/(z a)
n
es analtica la regin limitada por dos curvas
simples cerradas C y C
1
por lo que

Sea C
1
igual a una circunferencia con centro en z = a y radio fijo igual a d,

ya que e =
i2p(1n)

= 1 para n = 2,3,4,
As

(59)
Es el mismo resultado si a est fuera de la regin limitada por C.
Ejemplo 20
Calcular siendo n N y C la circunferencia de centro en z = 0 y
radio a. La funcin es entera y C un contorno cerrado. Luego =
0 segn el teorema de Cauchy-Goursat.
Solucin
Calculando directamente:

Luego:

Ejemplo 21
Es nula ?
Solucin
La funcin es analtica en todo el plano complejo, excepto en el
origen. No puede por tanto deducirse que

Y en efecto:

Ejemplo 22
Es nula ?
Solucin
Es nula, pues es analtica en |z| = 1 y su interior.

Ejemplo 23
Calcular , siendo (Figura7)
Sea C
1
: |z|=1

Figura 7
Por la consecuencia anterior
Y como C
1
:
C) Frmula integral de Cauchy

Figura 8
Sea f(z) analtica dentro y sobre un contorno simple cerrado C que
contiene en su interior un punto a. Adems, si se permite que C
sea un
crculo pequeo de radio , con centro a dentro de C (Figura 8). Entonces,
la funcin es analtica entre C y C
, y por lo tanto

(60)
para todos los valores positivos de . En particular, la ecuacin (57) debe
ser vlida en el lmite cuando 0. Pero para los puntos sobre C
se tiene

y entonces

(61)
En el lmite, cuando 0 se obtiene el siguiente resultado a partir de (60)
y (61)

por lo que

(62)
Ejemplo 24
Calcular siendo C: |z |=2
Solucin
Es analtica en C y su interior. Adems z = i interior a
C
Por lo que

D) Consecuencias del Teorema Integral de Cauchy

Figura 9

E) Teorema de Morera (recproco del Teorema de Cauchy).
F) Desigualdad de Cauchy.
Si f(z) es analtica dentro y sobre un crculo C de radio r y centro en z a ,
entonces

(64)

donde M es una constante tal que | f (z)| < M sobre C, o sea M es una
cota superior de | f (z)| sobre C.
Ejemplo 25
Calcular , siendo C :| z | = 5
Solucin
En este caso f (z)=senz analtica en C y su interior. Entonces

Por tanto: I = 2i f ' () = 2 icos = 2i

G) Teorema del valor medio
H) Series de potencias en el campo complejo
En el captulo 2 se trat el tema de series de variable real. En esta seccin
se hacen algunas observaciones y precisiones para el caso de que las
variables sean complejas.
Para las series de variable compleja no se puede decir que es convergente,
sino nicamente se podr hablar de convergencia absoluta (o en valor
absoluto) cuando converge la serie formada por los mdulos de sus
trminos.
La serie de potencias compleja

(66)
converge para z = 0 y vale a
0
. Suponiendo que existe otro valor z = z
0

para el cual la serie converge en valor absoluto.

Figura 10
En el plano complejo existe un crculo (Figura 10) con centro en el origen
que contiene a z
0
en su interior o sobre su permetro; en este caso la serie
converge en valor absoluto para z
0
. La circunferencia tiene un radio R que
corresponde al de convergencia de las series reales. Si z
0
est fuera del
crculo, la serie diverge para z = z
0

Serie de Taylor
En el captulo 2 se describi esta serie, su planteamiento es similar para
variables complejas.
Sea f(z) una funcin analtica dentro y sobre una curva cerrada C sean a
y a + z dos puntos dentro de C. Entonces

o escribiendo z = a + h , h = z a,

(67
)

regin de convergencia |z a |< R .

Si |z a |= R no se sabe si converge; para |z a |> R diverge.
Si la singularidad ms cercana de f(z) es el infinito, el radio de
convergencia es infinito. Si a = 0 resulta la serie de Maclaurin.

Estos desarrollos son similares a los establecidos en el captulo 2.
Serie de Laurent
Sean C
1
y C
2
dos crculos concntricos de radios R
1
y R
2
respectivamente
y centro en a. Suponiendo que f(z) es monovaluada y analtica sobre C
1

y C
2
en el anillo sombreado R (regin anular) entre C
1
y C
2
. Sea a+h
cualquier punto de . Entonces

(68)
I) Teorema de Laurent
Sean C
1
y C
2
crculos concntricos de radios R
1
y R
2
respectivamente y
centro en a (Figura 11). Suponga que f(z) es unvoca y analtica sobre C
1

y C
2
. Sea a + h un punto en . Entonces se tiene

Figura 11

(69)

donde

(70)
C
1
y C
2
se recorren en la direccin positiva respecto a sus interiores.
Se puede en las integraciones anteriores remplazar C
1
y C
2
por cualquier
crculo C concntrico entre C
1
y C
2
. Entonces los coeficientes en (70) se
pueden escribir en una sola frmula

(71)
Con un cambio apropiado de notacin, se puede escribir lo anterior como

(72
)
Este es el llamado Teorema de Laurent y (69) u (72) con coeficientes (70)
o (71) se llama una serie o desarrollo de Laurent.
La parte a
0
+a
1
(z a) +a
2
(z a)
2
se llama la parte analtica de la serie de
Laurent, mientras que el resto de la serie que consiste de las potencias
negativas de z a se llama la parte principal. Si la parte principal es cero,
la serie de Laurent se reduce a la serie de Taylor.
J) Clculo de residuos
s n = 1

(73)
a
1
se llama residuo de f(z) en z = a
Una manera de encontrar el residuo de la funcin f(z) en z = a consiste
en desarrollar f(z) en serie de Laurent en torno a z = a. Sin embargo, en
el caso en el cual z = a es un polo de orden k existe una frmula para a
1
dada por

(74)

La expresin:

(75)

es un caso particular de (74) con k = 1, usando 0 =!1.

Ejemplo 26
Si
z = 1 polo simple
z = 1 polo segundo orden
Residuo en z = 1 es

Residuo en z = 1 es

K) Teorema del residuo
Ejemplo 27
Calcular alrededor del circulo C con ecuacin |z
|= 3
Solucin:
Polo doble en z = 0
Polos simples en z = 1 i
Todos los polos estna dentro de C
Residuo en z = 0; k = 2
El residuo en z = 1+ i es

Captulo 6
Transformacin conforme

6. TRASFORMACION CONFORME

Objetivo
El alumno manejar las herramientas de variable compleja para obtener algunos
patrones de flujo bidimensional ideal considerando el cambio de dominio (planos)
y la posibilidad de incorporar cuerpos slidos dentro del flujo.
El conjunto de ecuaciones

(1)

define una trasformacin de un punto del plano z ( plano xy) a uno del plano w
( plano uv). Si a cada punto del plano w le corresponde uno y slo uno del plano
z, y recprocamente, se dice que hay una trasformacin uno a uno. Los conjuntos
correspondientes a los puntos de los dos planos se llaman imgenes, uno del otro.
En la trasformacin dada por las ecuaciones 1, al punto (x
0
, y
0
) del plano z le
corresponde el punto (u
0
, v
0
) del plano w (figura 1), mientras que a las curvas C
1

y C
2
del plano z (se intersectan en ((x
0
, y
0
)) se les asocian las curvas C
1
y C
2

en el punto (u
0
, v
0
). Los ngulos entre estas curvas tanto en magnitud como
sentido son iguales, por lo que se le llama transformacin conforme.

Figura 1.

En transformaciones conformes, las pequeas figuras pequeas en la vecindad del
punto z
0
en el plano z se les asocian figuras semejantes en el plano w y que
pueden cambiar de tamao en proporcin a | f ' (z
0
) |
2
, llamado el factor de
aumento de rea o simplemente el factor de aumento.
Las longitudes en el plano z en la vecindad de z
0
se aumentan (o reducen) en el
plano w en proporcin a | f ' (z
0
) |, llamado el factor de aumento lineal. En las
figuras grandes en el plano se relacionan usualmente con figuras en el plano w
que no son semejantes.
La transformacin de una regin cerrada del plano xy se asocia, en general, con
una regin cerrada del plano uv. Si DAxy y DAuv son las reas de esas regiones
se llama
Jacobiano

Por las ecuaciones de Cauchy-Riemann:

el Jacobiano queda

(2)

por lo que resulta ser igual al factor de aumento.
Sea C (figura 2) una curva simple cerrada en el plano z que constituye la frontera
de una regin R Sea C ' un crculo de radio uno y centro en el origen (el crculo
unidad) que constituye la frontera de una regin R ' en el plano w. La regin R '
se llama algunas veces el disco unidad.

Figura 2

6.1 PUNTOS FIJOS O INVARIANTES DE UNA TRANSFORMACIN
La transformacin w = f(z) del plano z en el plano w puede ser una
transformacin del plano z en s mismo. Con esta interpretacin, los puntos para
los cuales z = f(z) permanecen fijos se les llama puntos fij os o invariantes de la
transformacin.
Ejemplo 1
Los puntos fijos o invariantes de la transformacin w = z
2
son las soluciones de la
ecuacin z = z
2
o sea z = 0 y z = 1 .

6.2 TRANFORMACIONES SUCESIVAS
Si w= f
1
(z) transforma la regin R
z
del plano z en la regin R
w
del plano w,
mientras que z = f
2
( z ) transforma la regin R
z
del plano z en la regin R
z
,
entonces w= f
1
[ f
2
( z ) ] transforma en R
w
. Las funciones f
1
y f
2
definen
transformaciones sucesivas de un plano a otro las cuales son equivalentes a una
nica transformacin.

6.3 TRANSFORMACIONES BSICAS
Sean y constantes complejas dadas, y a,
0
constantes reales
Tabla 1
Ejemplo 2
Hallar el jacobiano de las transformaciones:

Solucin:

Ejemplo 3
Sea R la regin rectangular (fig. 3) en el plano z, limitada por x = 0, y = 0, x = 2
y y = 1. Determinar la regin R ' del plano w en la cual R se transforma bajo
las transformaciones

Figura 3

Solucin:

Figura 4

6.4 TRANSFORMACIN DE CHRISTOFFEL-SCHWARZ
La transformacin que aplica el interior R del polgono del plano w sobre el

semiplano R ' del plano z y la frontera del polgono sobre el eje real, es dada
por:

(3)
(haga click en la imagen para animar)
Figura 5
Si siendo k una constante, entonces la ecuacin 3 queda:

(4)
Cuando x
n
el factor y equivale a no considerar el factor
en la ecuacin 3.

Ejemplo 4
Determinar la funcin que aplica cada una de las regiones indicadas en el
plano sobre el semiplano superior del plano z.
Resulta de la figura 6 que X
1
se ubica en Q ', que X
2
se localiza en S', que en
Q est w
1
, con un ngulo
1
= 90 = y en S est w
2
con un ngulo
2
=
90 .
Figura 6

Figura 4b

Figura 4c

Figura 4d

6.5 APLICACIONES AL FLUJO DE FLUDOS
Se consideran las caractersticas siguientes de los fludos y de sus flujos:
A) El flujo de fluido es bidimensional. Las figuras construidas en este plano se
interpretan como intersecciones transversales de cilindros correspondientes
infinitos perpendiculares al plano. Por ejemplo, el crculo puede representar un
obstculo cilndrico infinito alrededor del cual el fluido fluye. Naturalmente, un
cilindro infinito no es nada ms que un modelo matemtico de un cilindro fsico
el cual es tan largo, que los efectos lejanos se pueden despreciar.
B) El flujo es permanente. Si la velocidad del fluido en un punto, depende
solamente de la posicin (x,y) y no del tiempo.
C) Los componentes de la velocidad se derivan de un potencial (o flujo
irrotacional). S V
x
y V
y
representan a los componentes de la velocidad del
fluido en (x,y) en las direcciones x y y positivas respectivamente, existe una
funcin escalar F, llamada velocidad potencial, tal que

(5)
Estas igualdades son equivalentes a que, si C es una curva simple cerrada en el
plano z y V
t
es componente tangencial de la velocidad sobre C, entonces se
satisface

(6)
En el captulo 5 se seal que al integral anterior se llama circulacin de fluido a
lo largo de C. Cuando la circulacin es cero, el campo de flujo es conservativo y
al flujo se le dice irrotacional o de circulacin libre.
D) El fluido incompresible. Se refiere a que la densidad del fluido, es constante.
Si V
n
es el componente normal de velocidad sobre C, se cumple que

(7)
o

(8)
Las ecuaciones 7, la 8 corresponde a la de continuidad.
E) El fluido es no viscoso. Se refiere a un fluido sin viscosidad o friccin interna.
El movimiento de un fluido viscoso tiende a adherirse a la superficie de un
obstculo colocado en su camino. Si no hay viscosidad, las fuerzas que ejerce el
fluido sobre cada parte de la superficie del obstculo seran perpendiculares a
ella. Un fluido que es no viscoso e incompresible, se llama fluido ideal.

6.5.1 El potencial complejo
De las ecuaciones 5 y 8 es posible mostrar que la velocidad potencial es
armnica; es decir, satisface la ecuacin de Laplace

(9)
Se deduce que debe existir una funcin armnica conjugada a ; sea (x,y),
tal que

(10)
es analtica. Por diferenciacin se tiene al utilizar (5)

(11)
Se llama velocidad compleja a

(12)
por lo que

(13)
y tiene magnitud

(14)
Los puntos en los cuales la velocidad es cero, o sea (z) = 0, se llaman,
puntos de estancamiento.

Figura 7

6.5.2 Lneas y trayectorias equipotenciales
La familia de curvas a un parmetro

(15)
donde y son constantes, son familias ortogonales que se llaman
respectivamente curvas equipotenciales y curvas de corriente. En
movimiento uniforme, las trayectorias representan los caminos reales de las
partculas del fluido en el modelo de flujo.
La funcin se llama la funcin de corriente mientras que, la funcin se
llama la funcin potencial de velocidad.

6.5.2 Fuentes y sumideros
Existen puntos en el plano z en los cuales el fluido aparece o desaparece. Tales
puntos se llaman fuentes y sumideros respectivamente. En tales puntos, que
son puntos singulares, la ecuacin de continuidad (8), y por tanto (9), no se
cumple. En particular, la integral de circulacin en (6) puede no ser cero
alrededor de la curva cerrada C la cual incluye tales puntos.

6.5.3 Algunos flujos especiales
Tericamente, un potencial complejo (z) se asocia con un flujo de fluido
bidimensional particular. Los siguientes son algunos casos simples que surgen
en la prctica.
a) Flujo uniforme. El potencial complejo correspondiente al flujo de un fluido de
velocidad constante V
0
en una direccin que hace un ngulo d con la direccin x
positiva es (Figura 8)

(16)

Figura 8
Para el caso de flujo horizontal, = 0 y as: (z) = V
0
z
b) Fuente en z = a. Si el fluido est brotando con velocidad constante de una
lnea fuente en z = a (Figura 9), el potencial complejo es

(17)

Figura 9
donde k > 0 se llama la fuerza de la fuente. Las trayectorias se muestran
gruesas mientras que las lneas equipotenciales estn punteadas.
c) Sumidero en z = a. En este caso el fluido est desapareciendo en z = a
(Figura 10) y el potencial complejo se obtiene del de la fuente reemplazando k
por k, dando:

(18)

Figura 10

d) Flujo con circulacin. El flujo correspondiente al potencial complejo

(19)

Es como se indica en la figura 11. La magnitud de la velocidad del flujo en un
punto es, en este caso, inversamente proporcional a la distancia de a.

Figura 11

El punto z = a se llama un vrtice y k se llama su fuerza. La circulacin
alrededor de una curva simple cerrada C que encierra z = a es igual en
magnitud a 2 k. Se observa que cambiando k por k en (19), se obtiene el
potencial complejo correspondiente a un vrtice en la direccin del movimiento
de las manecillas del reloj.

6.5.4 Superposicin de flujos
Por suma de potenciales complejos, se pueden describir modelos de flujo ms
complicados. Un ejemplo importante se obtiene considerando el flujo debido a
una fuente en z = a y un sumidero de igual fuerza en z = a . Entonces el
potencial complejo es

(20)
Haciendo que a 0 y que k en una forma tal que 2ka = es finito, se
obtiene el potencial complejo.

(21)
Este es el potencial complejo debido a un doblete o dipolo, o sea la
combinacin de una fuente y sumidero de fuerzas iguales separados por una
distancia muy pequea. La cantidad m se llama el momento del dipolo.

Ejemplo 5
Determinar la funcin que transforma cada una de las regiones indicadas en el
plano w sobre el semiplano superior del plano z
Resulta de las figuras que x
1
se ubica en Q
1
, que X
2
se localiza en S
1
, que en Q
est w
1
, con un ngulo
1
= 90 = y en 5 est w
2
con un ngulo
2
= 90 =

Figura 12

La figura del plano wes un tringulo con vrtices Q, S y otro en el infinito si h
(se suponen los lados paralelos) ..
Como el tercer vrtice est en el infinito, entonces la ec. queda:

(22)
como

Integrando

para valuar K y la constante de integracin se usan Q, S, Q , y S

(23)

(24
)
Sumando las ecs 1 y 2 resulta 0 = 2C, C = 0 y restando la ec 2 a la 1; 2b = kz;
por lo que

Ejemplo 6
Obtener el empuje debido a la subpresin bajo una presa de gravedad apoyada
sobre un material permeable

Figura 13
Solucin:

Figura 14
Se escogi esta transformacin porque en un medio de la forma son
horizontales y paralelas (van de P
o
a P = 0). La presin varia linealmente as

(25)
Como debajo de la presa se tiene un plano con de material permeable se usa la
transformacin conforme a utilizar es
As como w = u + i v y z = x + i y

por lo que

Ya que para y = 0 y

(26)

De la ec 2,

(27)
Sustituyendo la ec 27 en la 25

El empuje es

Fueron muchos pasos matemticos para comprobar que es igual a suponerer
lugar de la variacin segn un la funcin angcos una variacin lineal en la
subpresin.

Figura 15

Identidades utilizadas:

Ejemplo 7
a) Hallar el Potencial complejo para un fluido que se mueve con velocidad
constante V
o
en una direccin que hace un ngulo con el eje x positivo
(Figura 11.
b) Determinar la velocidad potencial y funcin de corriente.
c) Determinar las ecuaciones para las trayectorias y lneas equipotenciales.
Los componentes x y y de la velocidad son

La velocidad compleja es

El potencial complejo (z) est dado por

Luego integrando, (z) = V
0
e
i
z
Omitiendo la constante de integracin
La velocidad potencial y la funcin de corriente Y son las partes real e
imaginaria del potencial complejo. En este caso,

Otro mtodo

(28)

(29)
Resolviendo para en (28), = (V
0
cos) x + G(y). Sustituyendo en (29), G '
(y)= (V
0
sen ) y omitiendo la constante de integracin. Entonces

De las ecuaciones de Cauchy-Riemann,

(30)

(31)
Resolviendo para en (30), = ( V
0
cos) y + H(x) .
Sustituyendo en (31), H ' (x) = V
0
sen y H (x)= (V
0
sen ) x omitiendo la
constante de integracin.
Entonces
= (V
0
cos) y (V
0
sen )x
(c) Trayectoria
Estn dadas por = (V
0
cos) y + H(x). Sustituyendo en (31), H ' (x)= V
0
sen
y
H (x)= (V
0
sen )x , omitiendo la constante de integracin.
Entonces
= (V
0
cos) y (V
0
sen )x
Las trayectorias estn dadas por = V
0
(y cos x sen) = b para valores
diferentes de b.
Fsicamente, en condiciones de estado estacionarios, una trayectoria representa
el camino que realmente sigue una partcula del fluido, en este caso, un caso en
lnea recta.
Las lneas equipotenciales estn dadas por = V
0
(x cos + xysen )= a para
valores diferentes de a. Geomtricamente, ellas son lneas perpendiculares a las
trayectorias; todos los puntos sobre una lnea equipotencial, estn a igual
potencial.
Ejemplo 8
a) Hallar el Potencial complejo para un fluido que se mueve con velocidad
constante V
0
en una direccin que hace un ngulo con el eje x positivo
b) Determinar la velocidad potencial y funcin de corriente.
c) Determinar las ecuaciones para las trayectorias y lneas equipotenciales.
Los componentes x y y de la velocidad son:
V
x
= V
0
cos, V
y
= V
0
sen
La velocidad compleja es
V = V
x
+ iV
y
= V
0
cos + iV
0
sen = V
0e

i

El potencial complejo (z) est dado por

Luego integrando, (z)= V
0
e
i
z
Omitiendo la constante de integracin
La velocidad potencial y la funcin de corriente Y son las partes real e
imaginaria del potencial complejo. En este caso,

Otro mtodo

(32)

(33)
Resolviendo para en (32), = (V
0
cos ) x+G (y). Sustituyendo en (33),
G '(y)= (V
0
sen ) y omitiendo la constante de integracin. Entonces
= (V
0
cos ) x+(V
0
sen ) y
De las ecuaciones de Cauchy-Riemann,

(34)

(35)
Resolviendo para en (34), =(V
0
cos ) y +H (x).
Sustituyendo en (35), H ' (x) = V
0
sen y H (x) = (V
0
sen ) x ,omitiendo la
constante de integracin.
Entonces
= (V
0
cos)y - (V
0
sen)x
(c) Trayectoria
Estn dadas por = (V
0
cos ) y +H (x) Sustituyendo en (35),
H ' (x) = V
0
sen y H (x) = (V
0
sen ) x, omitiendo la constante de
integracin.
Entonces
= (V
0
cos)y - (V
0
sen)x
Las trayectorias estn dadas por = V
0
(y

cos x sen) = b para valores
diferentes de b.
Fsicamente, en condiciones de estado estacionarios, una trayectoria representa
el camino que realmente sigue una partcula del fluido, en este caso, un caso en
lnea recta.
Las lneas equipotenciales estn dadas por = V
0
(x cos + xysen )=a para
valores diferentes de a. Geomtricamente, ellas son lneas perpendiculares a las
trayectorias; todos los puntos sobre una lnea equipotencial, estn a igual
potencial.
Ejemplo 9
Determinar el flujo en la zona sombreada del plano w de la figura 16 cuando z =
w
m

Solucin:
Se considera se trata de flujo uniforme en el plano z, as
(z) = V0
Z

(w) = V
0
w
m
(I)
Su derivada es
(w) = V
0
mw
m-1
(II)
Ya que w = u + iv = re
i
(III)
Siendo
La ecuacin I queda (w) =V
0
r
m
e
imq

As, el potencial de velocidad queda
= V
0
r
m
cos m (IV)
Y la funcin lnea de corriente es

Figura 16
= V
0
r
m
sen (V)
Por otra parte, como
(w) = V
De la ecuacin II queda
V0mw
m
-
1
= V
Empleando la ecuacin III
V
0
mre
(
m
-
1
)
i
= V
Su conjugado sera
V
0
mre
-(
m
-
1
)
i
= V
Para el caso de una esquina a 90, m = 2, la velocidad V queda

Y de la ecuacin V, las lneas de corrientes seran
= V
0
r2sen2
O bien

En la figura 17 se muestran las lneas de corriente en esta esquina 90

Figura 17
6.6 FLUJO ALREDEDOR DE OBSTCULOS
Para determinar el modelo de flujo de un fluido que se mueve originalmente con
velocidad uniforme V
0
en el cual ha sido colocado un obstculo.
Figura 18

El principio general que interviene en esta clase de flujos, es encontrar el
potencial complejo que tenga la forma

(36)
(si el flujo est en el plano z) donde , que significa que lejos del
obstculo , la velocidad tiene magnitud constante (en este caso V
0
). Adems el
potencial complejo debe ser elegido de manera que una de las trayectorias se
apegue a la forma del obstculo.
El conocimiento de las posibles transformaciones conformes es til en la
obtencin de los potenciales complejo.

6.6.1 Flujo alrededor de un cilindro

Ejemplo 10
El potencial complejo de un flujo de fluido est dado por donde
V
0
y a son constantes positivas.
(a) Obtener ecuaciones para las trayectorias y lneas equipotenciales,
representarlas grficamente e interpretar fsicamente.
(b) Demostrar que se puede interpretar el flujo como rodeando un obstculo
circular de radio a.
(c) Encontramos la velocidad en un punto y determinar su valor ms all del
obstculo.
(d) Hallar los puntos estacionarios:
(a) Sea z = re
ie
. Entonces

de lo cual

Las trayectorias estn dadas por = constante = , o sea,

Estas se indican por las curvas gruesas de la siguiente figura y muestran los
caminos verdaderos que siguen las partculas del fluido. Observe que = 0
corresponde a r = a y = 0 o z.

Las lneas equipotenciales estn dadas por = constante = , es decir,

Estas se indican por las curvas punteadas de la figura y son ortogonales a la
familia de trayectorias.
Figura 19

APENDICE DE TRANSFORMACIN CONFORME

imagen

Tabla de contenidos
BIBLIOGRAFA

Churchill R.V., Brown J.W., Verhey R.F.
Variables complejas y sus aplicaciones.
2 Edicin, McGraw-Hill.
1978.

Hauser A. A.
Variable compleja.
Fondo Educativo Interamericano.
1973.

Hsu H. P.
Anlisis vectorial.
Addison-Wesley Iberoamericana.
1987.

Kreyszig E.
Matemticas avanzadas para ingeniera.
3 edicin, Limusa.
1979.

Levi E.
Teoras y mtodos matemticos de las matemticas aplicadas.
Universidad Nacional Autnoma de Mxico.
Direccin General de Publicaciones.
1980.

Sokolnikoff I.S. y Sokolnikoff E.S.
Higher Matemathics for Engineers and Physicists.
McGraw-Hill Book Company, Inc., Second Edition, Sixteenth
Impression, NewYork and London.
1941.

Spiegel M.R.
Anlisis vectorial
Serie de Compendios Schaum-McGraw-Hill
1973.

Spiegel M.R.
Variable compleja
Serie de Compendios Schaum-McGraw-Hill.
1971.

Spiegel M.R.
Matemticas avanzadas para Ingeniera y Ciencias
Serie de Compendios Schaum-McGraw-Hill.
1999.

Stewart J.
Clculo Multivariable.
Cuarta Edicin, Internacional Thomson Editores S.A. de C. V.,
Mxico D. F.
2002.

Wylie C. R
Matemticas superiores para ingeniera.
3 edicin, McGraw-Hill.
1979.

Apun Met Matem

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Apun Met Matem

Uploaded by

Copyright:

Available Formats

APUNTES DE MTODOS MATEMTICOS

scar Arturo Fuentes Mariles

You might also like