Professional Documents
Culture Documents
[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
APUNTES DE MTODOS MATEMTICOS
Dr. scar Arturo Fuentes Mariles
Versin 1/13 agosto 2007
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
Sustituyendo en la ecuacin diferencial:
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
Hallar por el mtodo de Frobenius, la solucin general de la ecuacin
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.
Sustituyendo en la ecuacin diferencial:
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
Hallar por el mtodo de Frobenius, la solucin general de la ecuacin
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
APUNTES DE MTODOS MATEMTICOS
Dr. scar Arturo Fuentes Mariles
Versin 1/13 agosto 2007
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
APUNTES DE MTODOS MATEMTICOS
Dr. scar Arturo Fuentes Mariles
Versin 1/13 agosto 2007
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
APUNTES DE MTODOS MATEMTICOS
Dr. scar Arturo Fuentes Mariles
Versin 1/13 agosto 2007
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
5.4.1 Propiedades de las funciones analticas
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.
5.4.3 Propiedades de las funciones analticas
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
APUNTES DE MTODOS MATEMTICOS
Dr. scar Arturo Fuentes Mariles
Versin 1/13 agosto 2007
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.