Академический Документы
Профессиональный Документы
Культура Документы
pdf
2 - Métodos Generales de Resolución.pdf
3 - Ecuaciones Diferenciales de Segundo Orden.pdf
4 - Polinomios de Chebyshev.pdf
5 - Funciones de Bessel.pdf
6 - Ecuaciones Diferenciales de Derivadas Parciales.pdf
7 - La Integral de Poisson.pdf
8 - Ecuación de Dirichlet1.pdf
E cu a ci o n e s D i f e r e n ci a l e s
d e O r d en Su p er i o r
Primera Parte
Funciones Eulerianas
2006
Sección 11. Señales y Sistemas.
A modo de Presentación
Las últimas décadas del siglo pasado han sido testigo de la digitalización de los equipos
y sistemas electrónicos, favorecida por un conjunto de avances tecnológicos como la
Informática, y la Microelectrónica y los desarrollos relacionados con ellas. Esto ha traído
como consecuencia la necesidad de introducir una profunda transformación de la
enseñanza de la Electrónica, que ha dejado de ser una disciplina dedicada al estudio de
fenómenos fundamentalmente analógicos.
Se han incorporado asimismo problemas tipo resueltos por aplicación del programa
informático Matlab, formidable herramienta con la que contamos hoy educandos y
profesionales.
Una razón adicional para presentar aquí estos temas y los que iremos publicando
próximamente es que, por tratarse de los últimos puntos del ambicioso Programa del
curso de Análisis de Señales y Sistemas, no siempre se cuenta con el tiempo necesario
para estudiarlos en profundidad. Sin embargo, dado que ciertos contenidos como las
funciones de Bessel, los Polinomios de Legendre, o las funciones de Chebyshev son
importantes para el estudio de los filtros eléctricos, las guías de onda y otros
componentes de los sistemas electrónicos y de telecomunicaciones, pueden incluso ser
útiles a profesores de las materias que incluyen los contenidos mencionados.
El autor.
Ecuaciones Diferenciales de Orden Superior 1.5
Primera parte - Integrales Eulerianas.
1. Integrales Eulerianas.
Es posible establecer, como veremos a continuación, una fórmula de recurrencia que permite
calcular la función Γ ( n + 1 ) a partir del conocimiento de Γ ( n ). En efecto, reemplazando el
número n por n + 1 en la (1.1), podemos escribir:
∞
Γ ( n + 1) = ∫ t n e– t dt
0
Esta integral se resuelve por el método de integración por partes, es decir, aplicando la fórmula:
∫ u dv = u . v - ∫ v du
A dicho fin, llamemos:
u = tn ∴ du = n t n-1 dt
y dv = e– t dt ∴ v = - e– t
Entonces
∞ ∞ ∞
Γ ( n + 1) = ∫ n –t
t e dt = - t n
e –t
+ n ∫ t n -1 e– t dt = 0 + n Γ ( n )
0 0 0
(1)
La Integral de Euler de Primera Especie, también llamada Función Beta, se verá en el apartado 1.7.
Ecuaciones Diferenciales de Orden Superior 1.6
Primera Parte - Integrales Eulerianas.
En efecto:
Γ(2) = 1. Γ(1) = 1
Γ ( 3 ) = 2 . Γ ( 2 ) = 2 . 1 = 2!
Γ ( 4 ) = 3 . Γ ( 3 ) = 3 . 2 . 1 = 6 = 3!
...
Γ ( n ) = ( n – 1 ) . Γ ( n - 1 ) = ( n – 1 ) . ... . 3 . 2 . 1 = ( n – 1 )!
Γ ( n + 1 ) = n . Γ ( n ) = n . ( n – 1 ) . ... . 3 . 2 . 1 = n!
...
1.2 - Extension del concepto de Función Factorial a los números reales no naturales:
La función Gamma, como el factorial de un número, son en última instancia el producto de
sucesiones de números. Sin embargo, solamente son comparables entre sí cuando se trata del
factorial de un número entero positivo. Véase al respecto el apartado 1.17, al final del Capítulo.
Ejemplo: Si por algún procedimiento adecuado podemos llegar a determinar la función Γ ( 1,5 ),
también podremos calcular en forma directa, las sucesivas funciones gamma cuyo argumento
difiere del de la anterior en una unidad:
Trataremos ahora de trasladar esta integral doble a un sistema de coordenadas polares. En la figura
siguiente, consideremos un punto de coordenadas cartesianas x e y. Llamemos ρ a la distancia del
punto al origen de coordenadas. Evidentemente, las coordenadas polares de dicho punto son ρ y θ.
ρ
∆y
y
∆x
θ ∆ρ
0 x
x ρ
Notemos que la integral doble o integral de superficie (1.3) está circunscripta a la región del plano
delimitada por las rectas
0 ≤ x ≤ ∞ y 0 ≤ y ≤ ∞
es decir, al primer cuadrante. Por lo tanto, en coordenadas polares, los límites de integración son,
respectivamente,
Para ρ, 0 e ∞
y para θ, 0 y π/2
Ecuaciones Diferenciales de Orden Superior 1.8
Primera Parte - Integrales Eulerianas.
ρ
ρ∆θ
∆ρ
0 x
ρ
∞ π/2 ∞ π/2
Γ ( 0,5 ) = 4
2
∫ ∫ e –ρ2
ρ dθ dρ = 4 ∫ e −ρ2
ρ dρ ∫ dθ (1.5)
0 0 0 0
Si llamamos
1
u = − e –ρ
2
2
la diferencial correspondiente es:
du = ρ e – ρ d ρ
2
Al introducir este resultado en la ecuación (1.5), la misma se puede calcular en forma directa
procediendo así:
∞ π/2 ∞ π/2
Γ ( 0,5 ) = 4
2
∫ du ∫ dθ = − 4 ∫ d 1 e – ρ2
∫ dθ
0 0 0 2 0
Efectuando operaciones:
∞ π/2
ρ2
Γ 2 ( 0,5 ) = − 2 e – . θ = 2 π /2 = π
0 0
Es decir:
Γ ( 0,5 ) = √ π
A partir de tal conclusión, podemos definir los valores de la función gamma para todos los
números fraccionarios que difieren de 0,5 en un número entero cualquiera. Por ejemplo:
Γ ( 1,5 ) = 0,5 . Γ ( 0,5 ) = 0,5 . √ π
Γ ( 2,5 ) = 1,5 . Γ ( 1,5 ) = 1,5 . 0,5 . √ π = 0,75 √ π (1.6)
Etc.
En caso de la función gamma de números fraccionarios negativos, es posible calcular su valor a
partir de la expresión
Γ(n+1)
Γ(n) =
n
Ejemplos:
Γ ( 0,5 )
Γ ( − 0,5 ) = = − 2 . √π
- 0,5
Γ ( - 0,5 ) 2 ) √π
Γ ( − 1,5 ) = = − 2.(−
- 1,5 3
Etc.
Existen tablas calculadas para otros valores entre 0 y 1. A partir de las mismas se puede obtener
Ecuaciones Diferenciales de Orden Superior 1.10
Primera Parte - Integrales Eulerianas.
el valor de Γ para cualquier valor fraccionario que difiera de aquellos en una unidad o un número
entero de unidades, como hemos hecho hasta aquí. Lo que equivale a decir que es posible calcular
Γ para cualquier número real, con excepción de cero y de los números enteros negativos, para los
cuales no existe la función gamma, como se verá en la sección 1.4.
2 0 0
De aquí deducimos el valor de la siguiente integral, que se conoce como Integral de Gauss:
∞
∫ e– u du = √ π
2
0 2
Esta función, cuya representación se ve aquí abajo, es de aplicación en la teoría de probabilidades:
1,2
1
0,8
0,6
0,4
0,2
0
-2 -1,6 -1,2 -0,8 -0,4 0 0,4 0,8 1,2 1,6 2
Ecuaciones Diferenciales de Orden Superior 1.11
Primera parte - Integrales Eulerianas.
Columns 8 through 14
0.1400 0.1600 0.1800 0.2000 0.2200 0.2400 0.2600
6.6887 5.8113 5.1318 4.5908 4.1505 3.7855 3.4785
Columns 15 through 21
0.2800 0.3000 0.3200 0.3400 0.3600 0.3800 0.4000
3.2169 2.9916 2.7958 2.6242 2.4727 2.3383 2.2182
Columns 22 through 28
0.4200 0.4400 0.4600 0.4800 0.5000 0.5200 0.5400
2.1104 2.0132 1.9252 1.8453 1.7725 1.7058 1.6448
Columns 29 through 35
0.5600 0.5800 0.6000 0.6200 0.6400 0.6600 0.6800
1.5886 1.5369 1.4892 1.4450 1.4041 1.3662 1.3309
Columns 36 through 42
0.7000 0.7200 0.7400 0.7600 0.7800 0.8000 0.8200
1.2981 1.2675 1.2390 1.2123 1.1875 1.1642 1.1425
Columns 43 through 49
0.8400 0.8600 0.8800 0.9000 0.9200 0.9400 0.9600
1.1222 1.1031 1.0853 1.0686 1.0530 1.0384 1.0247
Columns 50 through 51
0.9800 1.0000
1.0119 1.0000
lím Γ ( α + n + 1 ) = n! . n . n . n . . . n = n! . n α (1.7)
n→∞
Ejemplo: Sea α = 5
Según la (1.8) deberá ser:
Γ(5+n+1) = Γ(6+n) = Γ(5).5.6.7.8. ... .(5+n)
Supongamos que n = 7. Entonces vemos que, efectivamente:
Γ ( 5 + 7 + 1 ) = Γ ( 13 ) = Γ ( 5 ) . 5 . 6 . 7 . 8 . 9 . 10 . 11 . 12 = 12!
Veamos ahora qué ocurre con respecto a la (1.9).
n! n5
Γ ( 5 ) = lím
n→∞ 5.6.7.8. ... .(5+n)
En primer lugar, sabemos que
Γ ( 5 ) = 4! = 24
Ecuaciones Diferenciales de Orden Superior 1.14
Primera Parte - Integrales Eulerianas.
∆ [ x ]1 ,
m
= x . ( x - 1 ) . . ( x - 2 ) . ( x - 3 ) . . . ( x - m + 2 ) . [ ( x + 1 ) - ( x - m + 1 )]
m-1
= x.(x-1)..(x-2).(x-3) ... (x-m+2).m = m.[x]1
Es decir:
∆ [ x ]m
1
= m.[x]m
1
-1
(1.10)
Ejemplo:
[ 7 ] 31 - [ 6 ] 3
1
= 7 . 6 . 5 - 6 . 5 . 4 = 3 . 6 . 5 = 3 [ 6 ] 21 = 3 ( 6 . 5 ) = 90
Vemos que se cumple la igualdad.
12
[ 12 ] 1 = 12 . 11 . 10 . 9 . 8 . . . 3 . 2 . 1 = 12 !
En tal caso, es decir, cuando m = x, es preferible utilizar la notación, más simple:
[ 12 ] 1 (1.11)
Con esta notación podemos también decir que:
[ 12 ] 1 = 12 !
Obsérvese que ni en el primero ni en el tercero de estos cuatro casos, el último término puede ser
definido por la fórmula
(x-m+k)
Ello se debe a que, en los mismos, m no es múltiplo entero de k, como se ve por simple
inspección. En ambos casos, tomaremos como término final del producto, el último cuyo valor
sigue siendo todavía positivo.
Se definen también otros factoriales, que estudiaremos a continuación, en los cuales n es un
número entero. Los mismos son particularmente interesantes en operaciones de cálculo numérico:
( 2 n ) ! = [ 2 n ] 1 = 1 . 2 . 3 . . . n . ( n + 1 ) . ( n + 2 ) . . . 2n
y
( 2 n ) !! = [ 2 n ] 2 = 2 . 4 . 6 . 8 . . . 2n
Así como varios otros que se derivan de ellos, y que veremos enseguida. Pero antes vamos a
estudiar algunas relaciones entre aquellos:
Podemos reordenar la primera de las dos ecuaciones anteriores, de la siguiente forma:
( 2 n ) ! = 1 . 3 . 5 . . . n . 2 . 4 . 6 . 8 . . . 2n
de donde deducimos que
( 2 n ) ! = n !! . ( 2 n ) !!
Otra relación interesante es la siguiente:
( 2 n ) !! = 2 . 4 . 6 . 8 . . . 2 n = ( 2 . 1 ) . ( 2 . 2 ) . ( 2 . 3 ) . ( 2. 4 ) . . . ( 2 . n )
de donde, reordenando:
( 2 n ) !! = ( 2 . 2 . 2 . . . 2 ) . ( 1 . 2 . 3 . 4 . . . n ) = 2 n . n ! (1.12)
De modo similar:
( 2 n ) ! = 2 n . ( 2n - 1 ) . ( 2 n - 2 ) . ( 2 n - 3 ) ( 2 n - 4 ) . . . 5 . 4 . 3 . 2 . 1
Se puede reordenar así:
( 2 n ) ! = 2 n . ( 2 n - 2 ) . ( 2 n - 4 ) . . . 4 . 2 . ( 2n - 1 ) . ( 2 n - 3 ) . . . 5 . 3 . 1
De donde resulta la igualdad:
( 2 n ) ! = ( 2 n ) !! . ( 2 n - 1 ) !!
Si llamamos
q
n =
2
entonces
q = 2n
Ecuaciones Diferenciales de Orden Superior 1.18
Primera Parte - Integrales Eulerianas.
.√π
n+1 n-1 n-3 3
= . . ... . 1
2 2 2 2 2
Ver al respecto la ecuación (1.6). También:
n-1 ! = n-1 . n-1-1 . n-1 -2 . n-1-3 ... =
2 2 2 2 2
Ejemplos:
.√π
8-1 7 5 3 1
! = . . .
2 2 2 2 2
Por el contrario, si n es impar, resulta como vemos:
9-1 ! = 4!
2
Veamos, para terminar, las funciones gamma siguientes, en las que k es un número entero:
k + 1 2k + 1 2k + 1 -1 ! = 2k-1
Γ = Γ = !
2 2 2 2
Como 2 k es siempre un número par, este caso se reduce al anterior, con 2k = n, par. Es decir:
k + 1 .√π
2k - 1 . 2k -3 3 1
Γ = ... .
2 2 2 2 2
De forma absolutamente similar, se obtiene, obviamente:
k - 1 .√π
2k - 3 . 2k -5 3 1
Γ = ... .
2 2 2 2 2
∴ t = 1 - u y dt = - du
Asimismo, los límites de la integral se transforman como sigue:
Si t = 0, entonces u = 1
Y si t = 1, entonces u = 0
reemplazando en (1.13) resulta
0 1
Β ( β, α ) = ∫ (1-u) β-1
.u α-1
(-du)= ∫ u α - 1 (1 - u ) β - 1 d u = Β ( α, β )
1 0
En esta Sección vamos a ver que las funciones Γ y Β de Euler están estrechamente relacionadas
entre sí. Para ello, comenzaremos llamando
t = sen 2 ϕ
Por aplicación de la relación pitagórica, obtenemos
1 - t = cos 2 ϕ
y de aquí:
d t = - 2 cos ϕ d cos ϕ = 2 sen ϕ cos ϕ dϕ
En este caso, los límites de la integral que define la función Β son, respectivamente:
Para t = 0,
sen ϕ = 0 y por tanto ϕ = 0
y para t = 1,
π
sen ϕ = 1 y por tanto ϕ =
2
Al reemplazar dichos valores en la expresión de la función Β, la misma queda modificada como
sigue:
π/2
Β ( α, β ) = 2 ∫ ( sen 2 ϕ ) α - 1 ( cos 2 ϕ ) β - 1 sen ϕ cos ϕ dϕ
0
π/2
∴ Β ( α, β ) = 2 ∫ sen 2α - 1 ϕ . cos 2β - 1 ϕ . dϕ (1.14)
0
Ecuaciones Diferenciales de Orden Superior 1.21
Primera parte - Integrales Eulerianas.
Por otra parte, recurriendo a la definición (1.1) de la función Γ, podemos decir que el producto de
las funciones Γ de α y β es igual a:
∞ ∞
Γ(α).Γ(β) = ∫ t α -1
.e –t
dt . ∫ u β -1 . e– u du (1.15)
0 0
∞ ∞
∫ – x2
∫
2
Γ(α).Γ(β) = 4 x 2α -2
.e x dx . y 2β -2 . e– y y dy
0 0
∞ ∞
∫ – x2
∫
2
= 4 x 2α -1
.e dx . y 2β -1 . e– y dy
0 0
∞ ∞
∫ ∫
2 + y2 )
= 4 x 2α -1 y 2β -1 e– ( x dx dy (1.16)
0 0
Pasemos ahora a coordenadas polares. Según se ha visto en la Sección 1.2 las relaciones entre las
coordenadas cartesianas y las polares se pueden establecer así:
z = x + i y = ρ ei ϕ
y
∴ x = ρ cos ϕ
y = ρ sen ϕ
x2 + y 2 = ρ 2
También de acuerdo con la ecuación (1.4):
ρ C
dx dy ≡ ρ dϕ dρ
y, 0 ≤ y ≤ + ∞
En coordenadas polares, los límites de la superficie correspondiente al primer cuadrante están
definidos (Ver la figura) por:
0 ≤ ρ ≤ + ∞
π
y, 0 ≤ ϕ ≤ +
2
En consecuencia, para que la integral de superficie abarque efectivamente la totalidad del primer
cuadrante, los límites de integración en dichas cooordenadas deberán ser:
Para ρ: 0 e ∞
y para ϕ: 0 y π/2
Esto equivale a integrar sobre el segmento de curva C, con la salvedad de considerar los límites
indicados. Es decir:
∫∫
2
Γ(α).Γ(β) = 4 ρ 2α -1 cos 2α -1 ϕ . ρ 2β -1 sen 2β -1 ϕ . e– ρ . ρ dϕ d ρ
C
∞ π/2
= 2 ∫ ρ 2(α+β) -1
.e – ρ2
.dρ.2 ∫ cos 2α -1 ϕ . sen 2β -1 ϕ . dϕ
0 0
∞
∫
2
= Β ( α, β ) . 2 ρ 2(α+β) -1 . e– ρ . d ρ (26.17)
0
Llamemos ahora
1
t = ρ2 ∴ d ρ = d t1/2 = t -1/2 dt
2
También
ρ -1 = t - 1/2 ∴ 2 ρ -1 d ρ = t -1/2 - 1/2 d t = t -1 dt
dt = (1 + τ) - τ dτ
∴ dτ =
( 1 + τ )2 ( 1 + τ )2
También,
τ 1
1- t = 1 - =
1 +τ 1+τ
Ecuaciones Diferenciales de Orden Superior 1.24
Primera Parte - Integrales Eulerianas.
Reemplazando estos valores y teniendo en cuenta que cuando t = 1, τ tiende a infinito, se verifica
la igualdad siguiente:
∞
ρ -1 -ρ
τ
Γ(ρ).Γ(1-ρ) = ∫ 1 1 dτ
0 1 +τ 1+τ (1+τ) 2
∞
ρ -1 ρ
τ
= ∫ . (1+τ) . 1 dτ
0 1 +τ (1+τ) 2
Esta integral se puede resolver por el método de los residuos. Para ello, comenzamos por
considerar la integral de
z ρ -1
f(z) = dz
(1 + z)
C -1 A B
E D
Ecuaciones Diferenciales de Orden Superior 1.25
Primera parte - Integrales Eulerianas.
En la misma, los dos tramos horizontales AB y DE, aunque los dibujemos separados por razones
de claridad, están ambos infinitamente próximos al eje x.
Ahora debemos calcular el residuo de f ( z ) en el punto
zo = -1
interior al contorno Γ. En primer lugar, expresaremos la variable z en coordenadas polares:
z = ρ e iθ
Lo mismo
zo = 1 . e iπ = e iπ
Por su parte, el residuo de f ( z ) en zo es:
z ρ -1
∫ dz = 2 π i . e iπ (ρ−1)
Γ 1 + z
A continuación segmentaremos esta integral en tantos tramos como los que conforman el contorno
Γ, partiendo desde el punto A. También, identificaremos con las letras r y R los radios de las dos
circunferencias, interior y exterior respectivamente, que forman parte de dicho contorno Γ. Será:
R 2π r 0
ρ -1 ρ -1 2πi ρ-1
zρ -1 dz = 2 π i .eiπ (ρ−1)
∫ x dx + ∫ z dz + ∫ (xe ) dx+ ∫
2π i
r 1+x 0 1+z R 1+xe 2π 1 + z
Nótese que en la tercera de estas integrales se ha puesto x e 2πi en lugar de x. Esto es porque la
coordenada del punto D está desplazada de un ángulo de 360° respecto de la correspondiente al
punto B. Lo mismo ocurre con los puntos A y E. (Recordemos también que la variable en la
ecuación anterior es z. Si podemos escribir en algún caso x, ello se da únicamente en los dos
tramos horizontales, en los que la componente imaginaria, y, es igual a cero).
La ecuación genérica de los puntos z pertenecientes a la circunferencia exterior, expresados en
coordenadas polares, es:
z = R . eiθ ∴ dz = R i eiθ dθ
Igualmente, los puntos pertenecientes a la circunferencia interior, responden a la ecuación
z = r . eiθ ∴ dz = r i eiθ dθ
Reemplazando ambos valores resulta:
Ecuaciones Diferenciales de Orden Superior 1.26
Primera Parte - Integrales Eulerianas.
R 2π r
ρ -1
( R e iθ )ρ-1 i R eiθ ( x e2πi ) ρ-1 d x +
∫ x dx + ∫ dθ + ∫
iθ 2π i
r 1+x 0 1+Re R 1+ xe
0
( r e iθ )ρ-1 i r eiθ
+ ∫ d θ = 2 π i . eiπ (ρ−1)
iθ
2π 1+re
Analizaremos ahora qué ocurre cuando se dan, simultáneamente, las dos condiciones siguientes
r → 0
y R → ∞
Entonces, como hemos establecido que
0 < ρ < 1
la segunda integral es nula porque el integrando respectivo tiende a cero. En efecto, podemos
hacer:
lim ( R e iθ )ρ-1 i R eiθ = lim ( R e iθ )ρ-1 . lim i R eiθ = 0.i = 0
iθ iθ
R→∞ 1+Re R→∞ R→∞ 1+ Re
La cuarta integral es nula a su vez, porque lo es el integrando cuando r tiende a cero. Por lo tanto,
queda finalmente:
∞ 0
ρ -1
( x e2πi ) ρ-1 d x
∫ x dx + ∫ = 2 π i . eiπ (ρ−1)
0 1+x ∞ 1 + x e 2π i
O también:
∞ 0
ρ -1
x ρ -1
∫ x dx + e 2πi (ρ−1)
∫ dx = 2 π i . eiπ (ρ−1)
2π i
0 1+x ∞ 1+xe
Pero como
e2πi = cos 2 π + i sen 2 π = 1
Reemplazando este valor en el integrando de la segunda integral, tenemos:
∞ 0
ρ -1
x ρ -1
∫ x dx + e2πi (ρ−1) ∫ d x = 2 π i . eiπ (ρ−1)
0 1+x ∞ 1+x
∞ ∞
ρ -1
x ρ-1
∴ ∫ x dx - e 2πi (ρ−1)
∫ d x = 2 π i . eiπ (ρ−1)
0 1+x 0 1+x
Ecuaciones Diferenciales de Orden Superior 1.27
Primera parte - Integrales Eulerianas.
∞
x ρ -1
∴ (1- e 2πi (ρ−1)
) ∫ d x = 2 π i . eiπ (ρ−1)
0 1+x
Despejando ahora la integral, encontramos que su valor es:
∞
x ρ-1 eiπ (ρ−1) eiπρ e − iπ
∫ dx = 2πi . = 2πi .
0 1+x ( 1 - e2πi (ρ−1) ) 1 - e2πi ρ e −2πi
También es:
e-2πi = cos (-2 π) + i sen (-2 π) = 1
y e−πi = cos (- π) + i sen (- π) = - 1
Reemplazando, observamos:
∞
x ρ-1 - eiπρ
∫ dx = 2πi
0 1+x 1 - e2πi ρ
y multiplicando numerador y denominador por - e−π i ρ tenemos:
∞
x ρ-1 -2πi π π
∫ dx = = =
0 1+x e−π i ρ - eπ i ρ eπ i ρ - e−π i ρ sen ρ π
2i
Si trasladamos este reultado a la ecuación (1.19), vemos que si 0 < ρ < 1, entonces:
∞
τ ρ -1 π
Γ(ρ).Γ(1-ρ) = ∫ dτ =
0 (1 +τ) sen ρ π
1 π
.Γ 1 - 1
1
Γ = Γ2 = = π
2 2 2 sen π / 2
Por lo tanto,
1
Γ = √ π
2
resultado que coincide con el alcanzado en el apartado 1.3.
β = m+1 α = 1
2 2
entonces:
2α - 1 = 0
y 2β - 1 = m
Por lo que, reemplazando tenemos
π/2
Β 1 , m+1 = 2 ∫ cos m ϕ . dϕ
2 2 0
Ecuaciones Diferenciales de Orden Superior 1.29
Primera parte - Integrales Eulerianas.
α = m+1 1
β =
2 2
reemplazando como antes resulta:
π/2
Β 1 , m+1 = 2 ∫ senm ϕ . dϕ
2 2 0
A partir de este resultado y las relaciones que vinculan las funciones Β y Γ, pueden demostrarse
las fórmulas que veremos ahora, que relacionan las integrales de Wallis con la función Γ.
Por (1.18), es
Γ(α).Γ(β)
Β ( α, β ) =
Γ(α+β)
Reemplazando α y β por los valores asignados más arriba, tenemos:
1 m +1 m+1
Γ Γ √π Γ
1 , m+1 2 2 2
Β = =
1 m+1 m + 1
2 2 Γ + Γ
2 2 2
La relación
Γ(n+1) = n. Γ(n )
permite reemplazar el denominador de la última fracción, así:
m+1
√π Γ
1 , m+1 2
Β =
m m
2 2 Γ
2 2
Reemplazamos ahora en las ecuaciones (1.20) y (1.21) y obtenemos:
m+1
π/2 √ π Γ
∫ senm t dt = 2
m
0 m Γ
2
Ecuaciones Diferenciales de Orden Superior 1.30
Primera Parte - Integrales Eulerianas.
E, igualmente
m+1
π/2 √ π Γ
∫ cosm t dt = 2
m
0 m Γ
2
∫ senm t . cosn t . d t
Usualmente, estas integrales se resuelven por el método de sustitución. Ejemplo:
∫ senm t . d t,
0
pero en este caso vamos a recurrir al procedimiento de integración por partes en lugar del de
sustitución:
π/2 π/2 π/2
∫ m
sen t . d t = ∫ sen m-1
t . sen t . d t = - ∫ senm-1 t . d cos t
0 0 0
Ecuaciones Diferenciales de Orden Superior 1.31
Primera parte - Integrales Eulerianas.
Hagamos
u = sen m-1 t ∴ d u = ( m - 1 ) . sen m-2 t . cos t . d t
y d v = d cos t ∴ v = cos t
Entonces:
π/2 π/2 π/2
∫ m
sen t . d t = - sen m-1
t . cos t + (m-1) ∫ senm-2 t . cos2 t d t
0 0 0
El primer sumando del segundo miembro en la igualdad anterior es igual a cero, por ser nulos el
coseno de π / 2 y el seno de cero. Por tanto:
π/2 π/2
= ( m - 1 ) ∫ sen m-2
t.dt - (m-1) ∫ senm t d t
0 0
Im = ∫ senm t . d t
0
Im = ( m - 1 ) Im-2 (1.22)
m
Si ahora llamamos
Im-2 = Ip
y procedemos a calcular Ip como antes , obtendremos el resultado siguiente, como es obvio:
(p-1)
Ip = Ip-2
p
Al reemplazar aquí p por su valor m - 2, hallamos:
Im-2 = ( m - 3 ) Im-4
m-2
Ecuaciones Diferenciales de Orden Superior 1.32
Primera Parte - Integrales Eulerianas.
Im = ( m - 1 ) (m-3) Im-2
m m-2
Reiterando este procedimiento, si m es un número par, al ir restando de dos en dos, la última
integral de la serie será I0, es decir:
π/2 π/2
π
I0 = ∫ 0
sen t . d t = ∫ dt =
0 0 2
Y por lo tanto, Im estará dado por la igualdad:
π ( m - 1 ) !! . π
Im = ( m - 1 ) (m-3) ... =
m m-2 2 m !! 2
Como m es par, podemos también expresar la ecuación anterior así:
I2n-1 = ∫ sen2n-1 t . d t
0
π/2
I2n = ∫ sen2n t . d t
0
π/2
e I2n+1 = ∫ sen2n+1 t . d t
0
En el primer cuadrante, es decir entre 0 y π/2, el seno es positivo y menor o igual que 1, y además
n es también un número positivo; entonces, a mayor exponente, menor será el valor de senm t. O
sea:
sen2n-1 t ≥ sen2n t ≥ sen2n+1 t
Por lo que:
I2n-1 > I2n > I2n+1
En este caso corresponde únicamente el signo > , porque la desigualdad entre los respectivos
integrandos es válida para todo el intervalo entre 0 y π/2, con la única excepción de los dos
extremos del mismo.
Reemplazando las integrales por los respectivos valores determinados en el apartado anterior,
podemos escribir la desigualdad siguiente:
( 2 n ) !! ( 2 n - 1 ) !! . π > ( 2 n ) !!
>
( 2 n - 1 ) !! 2 n ( 2 n ) !! 2 ( 2 n + 1 ) . ( 2 n - 1 ) !!
A continuación, multiplicaremos los tres miembros de esta desigualdad por ( 2 n )!! y los
dividiremos por ( 2n - 1 ) !!:
> π
[ ( 2 n ) !! ] 2 [ ( 2 n ) !! ] 2
>
[ ( 2 n - 1 ) !! ] 2 . 2 n 2 [ ( 2 n - 1 ) !! ] 2 . ( 2 n + 1 )
Analizando esta desigualdad, se hace evidente, por aplicación del Teorema del Valor Medio, que
debe existir un número θ, siendo
0 < θ <1
tal que:
[ ( 2 n ) !! ] 2 π
=
[ ( 2 n - 1 ) !! ] 2 . ( 2 n + θ ) 2
Por lo tanto,
Ecuaciones Diferenciales de Orden Superior 1.34
Primera Parte - Integrales Eulerianas.
2 . [ ( 2 n ) !! ] 2
π =
[ ( 2 n - 1 ) !! ] 2 . ( 2 n + θ )
Si multiplicamos y dividimos esta ecuación por n, tendremos:
2 n . [ ( 2 n ) !! ] 2 1
π = .
[ ( 2 n - 1 ) !! ] . ( 2 n + θ )
2
n
Si ahora tomamos limites para n → ∞
[ ( 2 n ) !! ] 2 2n 1
π = lim . .
n→∞ [ ( 2 n - 1 ) !! ] 2 (2n+θ) n
y como
2n
lim = 1
n→∞ (2n+θ)
simplificando llegamos a la siguiente fórmula, debida a Wallis, que permite expresar el número π
en forma asintótica, es decir, como el límite de una razón:
[ ( 2 n ) !! ] 2 1
π = lim . (1.23)
n→∞
2
[ ( 2 n - 1 ) !! ] n
La tabla siguiente muestra el valor que da la fórmula de Wallis para algunos valores de n:
Para n = 4 8 16 50 100
3,3437 3,2412 3,1911 3,1573 3,1495
∞
Γ(n+1) = ∫ t n e– t dt
0
Introducimos esta modificación al solo efecto de generalizar la definicion de Γ más allá del campo
de los números enteros. Por otra parte, si llamamos:
t = eα,
entonces α = ln t
y por tanto: tx = eαx = e x ln t
Reemplazando esta igualdad en la (1.24), obtendremos:
∞ ∞ ∞
Γ(x+1) = ∫ e x ln t
e –t
dt = ∫ e – t + x ln t
dt = ∫ e ( - t/x + ln t ) x
dt
0 0 0
Como la variable de integración es "u" podemos colocar x x + 1 fuera del signo de integral:
∞
Γ(x+1) = x x+1
∫ e ( - u + ln u ) x du (1.25)
0
u = 1, ∴ ln u = 0
1
entonces φ(u) = e -u =
u=1 u=1 e
A continuación veremos que éste es el valor máximo de φ ( u ). Efectivamente si derivamos
respecto de u e igualamos a cero obtenemos:
d φ = e - u + ln u . d 1
( - u + ln u ) = e - u + ln u ( - 1 + )
du du u
1
y de e - u + ln u ( - 1 + ) = 0
u
resulta u = 1
Con lo cual,
φmáx ( u ) = e - 1 + ln 1 = e - 1
En resumen, la representación de φ ( u ) es aproximadamente como la que muestra la figura
siguiente:
Ecuaciones Diferenciales de Orden Superior 1.37
Primera parte - Integrales Eulerianas.
φ (u)
1
e
u=1
O sea que φ ( u ) es menor que e -1 para todo u distinto de 1. Por lo tanto, si elevamos φ ( u )
a una potencia x, como en la ecuación (1.25), dicha función tenderá rápidamente a cero al crecer
el valor de x con lo cual queda justificada la representación que atribuimos a φ ( u )
- 0,5 ( u - 1 ) 2 x
F(u) =e eRx
∞ ∞
resultará: Γ(x+1) = x x+1
e -x
∫ e - 0,5 ( u - 1 ) 2 x
e Rx
du = x x+1
e -x
∫ F ( u ) du
0 0
Entonces u -1 = 2 τ
x
∴ du = 2 dτ
x
Los límites de la integral se transforman así:
Para u = 0, τ = − x
2
y para: u = 1-ξ, τ = - ξ x
2
Reemplazamos en I1 y obtenemos:
−ξ(x/2)1/2
1/2
Ι1 = 2 ∫ e - τ2
eRx d τ (26.27)
1/2
x −(x/2)
es cero cuando x tiende a infinito. Para ello, observemos en primer lugar que como ξ está
comprendido entre 0 y 1, debe ser, necesariamente:
|ξ| < 1
Por lo tanto, se debe cumplir la desigualdad siguiente:
x > ξ x
2 2
y por consiguiente
x < − ξ x
2 2
También, si τ = 0, entonces
- τ2
e = 1
y si τ→∞
entonces
2 2
lim e-τ = lim e - | τ | = 0
τ→−∞ τ→∞
Representemos todas estas condiciones en el siguiente gráfico, en el cual podemos ver que la
integral (1.21) está representada por el área rayada, encerrada entre
- x y -ξ x
2 2
2
e-τ
+1
0 τ
− √x/2 − ξ √x/2
A medida que x crece, el área mencionada se corre hacia la izquierda del dibujo, haciéndose por
lo tanto cada vez menor. De donde podemos sacar la conclusión siguiente:
Ecuaciones Diferenciales de Orden Superior 1.40
Primera Parte - Integrales Eulerianas.
lim I1 = lim I1 = 0
τ→−∞ x→∞
Si hacemos el mismo reemplazo que antes, los límites de la integral se transforman así:
Para u → ∞, es τ→∞
y para: u = 1+ξ, es τ = + ξ x
2
Reemplazando en I3
∞
1/2
Ι3 = 2 ∫ e - τ2
eRx d τ
x ξ (x/2)1/2
También esta integral es nula cuando x tiende a infinito, por simetría con la situación anterior,
pues ambos límites tienden a infinito. Resta finalmente analizar I2:
1+ξ ξ (x/2)1/2
1/2
Ι2 = ∫ e - 0,5 ( u - 1 ) 2 x
e R x du = 2 ∫ e - τ2
eRx d τ
1−ξ x -ξ (x/2)1/2
Aquí, como
( u - 1) 3 4 5
R = − ( u - 1) + ( u - 1) − . . .
3! 4! 5!
es evidente que cuando u tiende a 1, R tiende a cero. Por lo tanto, podemos concluir,
formalmente, que
1+ξ ξ (x/2)1/2
1/2 1/2
∫ ∫
2
- τ2
lim Ι2 = 2 e - τ e 0 du = 2 e dτ
u→1 x 1−ξ x -ξ (x/2) 1/2
Pero esta integral no es sino la integral de Gauss, que según se vió en el apartado 1.3, es igual a la
raiz cuadrada de π. Entonces:
1/2
Ι2 = 2 √π
x
Ecuaciones Diferenciales de Orden Superior 1.41
Primera parte - Integrales Eulerianas.
En resumen:
1/2
lim Γ ( x + 1 ) = x x+1 e -x 2 √π = x x e -x √ 2πx
x→ ∞ x
Si x es un número natural, n, esta ecuación conduce a la llamada Fórmula de Stirling, que permite
hacer en forma directa, como hemos dicho, el cálculo aproximado del producto factorial de
números grandes:
Γ ( n + 1 ) → n n e -n √ 2πn
Como hemos dicho más arriba, es posible deducir la fórmula de Stirling a partir de la de Wallis
(1.23). Comenzaremos por hallar la raíz cuadrada en ambos miembros de la misma:
√ π = lim ( 2 n ) !! . 1 (1.29)
n→∞ ( 2 n - 1 ) !! √n
Si recordamos que
( 2 n ) ! = ( 2 n ) !! . ( 2 n - 1 ) !!,
despejando obtenemos:
( 2 n - 1 ) !! = (2n)!
( 2 n ) !!
También hemos visto que:
( 2 n ) !! = 2n . n !
y por lo tanto, reemplazando en la (1.29), hallamos sucesivamente:
√ π = lim [ ( 2 n ) !! ] 2 = lim 2 2n . ( n ! ) 2
n→∞ (2n)! .√n n→∞ (2n)! .√n
Finalmente, si multiplicamos ambos miembros por √ 2 ,
√ 2 π = lim 2 2n . ( n ! ) 2 √ 2 (1.30)
n→∞ (2n)! . √n
Paralelamente, consideraremos la función:
ex . x!
f(x) = (1.31)
x x
√x
Ecuaciones Diferenciales de Orden Superior 1.42
Primera Parte - Integrales Eulerianas.
Si hacemos en ella
x = 2n
obtenemos lo siguiente:
ex . x! e 2n . ( 2 n ) !
f(x) = =
xx √x ( 2 n ) 2n √ 2 n
Si tomamos límites para x tendiendo a infinito, n también tiende a infinito, y por lo tanto podemos
escribir:
ex .x! e 2n . ( 2 n ) !
lim = lim (1.32)
x→∞ xx √x n→∞ ( 2 n ) 2n √ 2 n
Vamos a recurrir ahora al arbitrio de cambiar el nombre de la variable n por x. Formalmente, nada
nos impide hacerlo, siempre que tengamos bien en claro que tal modificación sólo es válida en el
límite.
En efecto, es obvio que:
e 2x . ( 2 x )! e 2n . ( 2 n ) !
lim = lim (1.33)
x→∞ ( 2 x ) 2x √ 2 x n→∞ ( 2 n ) 2n √ 2 n
Y entonces, como los segundos miembros de (1.32) y (1.33) son iguales, por carácter transitivo
podemos escribir:
ex . x! e 2x . ( 2 x ) !
lim = lim
x→∞ xx √x x→∞ ( 2 x ) 2x √ 2 x
A partir de este razonamiento, podemos concluir asimismo que:
ex . x!
xx √x
lim = 1
x→∞ e 2x
. (2x)!
( 2 x ) 2x √ 2 x
A continuación multiplicaremos ambos miembros por f ( x ), tal como fue definida en la ( 1.31):
ex . x!
f(x) =
xx √x
Con esto, obtendremos:
Ecuaciones Diferenciales de Orden Superior 1.43
Primera parte - Integrales Eulerianas.
ex . x! 2
xx √x ex. x!
lim = lim (1.34)
x→∞ e 2x
. (2x)! x→∞ x x
√ x
( 2 x ) 2x √ 2 x
Ahora efectuaremos el cociente de fracciones que aparece en el primer miembro de la (1.34), y a
continuación simplificamos:
e 2x ( x ! ) 2 ( 2 x ) 2x √ 2 x ( x ! ) 2 2 2x √ 2
lim = lim (1.35)
x→∞ x 2x . x . e 2x . ( 2 x ) ! x→∞ (2x)!√ x
( x ! ) 2 2 2x √ 2 ex . x!
lim = lim (1.36)
x→∞ (2x)!√ x x→∞ x x
√ x
Al llegar aquí, podemos observar que el primer miembro de la (1.36) es idéntico, salvo por el
nombre de la variable, al último de la (1.30):
√ 2 π = lim 2 2n . ( n ! ) 2 √ 2
n→∞ (2n)! .√n
√ 2 π = lim 2 2x . ( x ! ) 2 √ 2 = lim ex . x!
x→∞ (2x)! .√x x→∞ xx √x
De la igualdad:
ex . x!
lim = √2π
x→∞ x x
√x
despejando el factorial de x, se deduce que:
Finalmente, si x es un número entero, al que llamaremos como es usual, n, nos reencontramos con
la fórmula de Stirling: Para n suficientemente grande es
n! ≅ nn √2πn e -n
Ecuaciones Diferenciales de Orden Superior 1.44
Primera Parte - Integrales Eulerianas.
En general, no hay dificultad para imaginar y calcular funciones factoriales que involucran
números complejos. Veamos algunos ejemplos:
Ejemplo 1:
Sea la función:
4
2i(1+2i).(2+2i).(3+2i).(4+2i) = [n+2i]1
Trataremos de calcular esta función:
2i(1+2i)= - 4+2i
Ecuaciones Diferenciales de Orden Superior 1.45
Primera parte - Integrales Eulerianas.
( - 4 + 2 i ) . ( 2 + 2 i ) = - 8 - 4 + i ( - 8 + 4 ) = - 12 - 4 i
( - 12 - 4 i ) . ( 3 + 2 i ) = - 36 + 8 + i ( - 24 - 12 ) = - 28 - 36 i
( - 28 - 36 i ) . ( 4 + 2 i ) = - 112 + 72 + i ( - 56 - 144 ) = - 40 - 200 i
Es decir que la función factorial dada existe, y es posible por tanto calcular su valor, como hemos
visto.
Ejemplo 2:
Sea la función factorial
m
[ x ]k = [ 8 + 2 i ] 1 + i
Se trata de hallar el valor de m para que el último término sea un número real.
Empezaremos por recordar la definición de función factorial:
Se define como función factorial de x, de grado m y diferencia k al producto:
x . ( x - k ) . ( x - 2k ) . ( x - 3k ) . . . ( x - m + k )
En nuestro ejemplo, los valores respectivos son:
x = 8+2i
k = 1+i
Por lo tanto, la función puede representarse por medio del producto:
[ 8 + 2 i ] 1+i = ( 8 + 2 i ) . ( 7 + i ) . 6
1.17 - Algunas cuestiones relacionadas con el Producto de los términos de una sucesión
numérica.
Varias de las funciones que hemos tratado en el presente Capítulo pertenecen a diferentes variantes
de una misma categoría:
Ecuaciones Diferenciales de Orden Superior 1.46
Primera Parte - Integrales Eulerianas.
Por lo tanto, tales funciones están genéricamente definidas por la fórmula siguiente, también
conocida como Productoria, por su semejanza formal con una sumatoria:
N
f(n) = Π an = aM . aM+1 . aM+2 . . . . . aN-2 . aN-1 . aN
n=M
En esta fórmula, a puede ser un número cualquiera, en el más amplio sentido del término, n es un
número entero, que sigue una cierta secuencia, y por su parte, M y N pueden tomar cualquier valor
entero, positivo o negativo, pero aceptaremos que siempre
M < N
Nos interesan en particular los productos de términos de sucesiones numéricas que detallaremos a
continuación:
Primer caso: Si an = n y M = 1, estamos en presencia del factorial ordinario del
número N. Este es el caso más sencillo:
a1 . a2 . a3 . . . . an . . . . . aN = 1 . 2 . 3 . . . n . . . N = N!
Ejemplos:
k = 2
∴ Ν . ( Ν − 2 ) . ( Ν − 4 ) . ( Ν − 6 ) . . . . . 4 . 2 = Ν !!
k = 3
∴ Ν . ( Ν − 3 ) . ( Ν − 6 ) . ( Ν − 9 ) . . . . . 6 . 3 = Ν !!!
Como hemos visto oportunamente, en este caso puede ser necesario efectuar consideraciones
adicionales para que el producto quede perfectamente definido.
Ejemplos:
7 !! = 7 . 5 . 3 . 1
Pero
8 !! = 8 . 6 . 4 . 2
Ecuaciones Diferenciales de Orden Superior 1.47
Primera parte - Integrales Eulerianas.
También:
16 !!! = 16 . 13 . 10 . 7 . 4 . 1
Pero
15 !!! = 15 . 12 . 9 . 6 . 3
ó
14 !!! = 14 . 11 . 8 . 5 . 2
Los ejemplos muestran que puede ser necesario definir el valor de M, individualmente, para cada
situación particular.
Tercer caso: La función Gamma, Γ ( α ): Al estudiar esta función hemos visto que la
misma puede ser formulada como un producto de funciones numéricas, o verdaderos
números: α, α-1, α-2, α-3, . . . , Γ (α-k), tales que los argumentos de dos sucesivas
cualesquiera difieren siempre en la unidad.
Tuvimos también oportunidad de ver que, cuando α es un número entero positivo, n, existe una
relación directa entre la función Gamma y el factorial ordinario de n:
Γ ( n + 1 ) = n!
Pero por otro lado sabemos también que la función Γ trasciende ampliamente de los límites de los
números naturales. En efecto, es posible conocer la función (Su valor numérico), para
practicamente cualquier número real α, con unas pocas excepciones, como son los números
enteros negativos y el cero
En todos los demás casos, se verifica que la función es igual al producto de una sucesión de
números:
Γ ( α + 1 ) = α Γ ( α ) = α ( α - 1 ) Γ ( α - 1 ) = α ( α - 1) ( α - 2 ) . . . Γ ( α - k )
El valor de la función puede ser conocido para cualquier valor de a, siempre que se conozca al
menos uno de los términos de la sucesión, por ejemplo, Γ ( α - k ). Este conocimiento implica que
en general podemos, a partir de él, determinar el valor de cualquier término, anterior o posterior a
Γ ( α - k ). En este Capítulo hemos visto en detalle varias aplicaciones y propiedades de la función
Γ ( α ).
Para terminar con este vistazo sobre los productos de los términos de una sucesión, veremos algún
ejemplo que podría ser considerado como una verdadera paradoja matemática.
Ecuaciones Diferenciales de Orden Superior 1.48
Primera Parte - Integrales Eulerianas.
n n !!
Γ + 1 = n
2
2 2
Trtaremos de verificar si esta ecuación es verdadera. Probaremos inicialmente con n entero, par.
Por ejemplo, n = 8. Entonces:
8 ! = Γ ( 5 ) = 4 ! = 24
2
Por su parte,
8 !! = 8.6.4.2 = 24
24 16
Comprobamos que, para n par, la igualdad es válida. Veamos qué ocurre si n es un número entero
impar. Por ejemplo, n = 7.
En tal caso
7 ! = Γ ( 4,5 ) = 3,5 . 2,5 . 1,5 . 0,5 . Γ ( 0,5) =
2
= 3,5 . 2,5 . 1,5 . 0,5 . √ π = 11,632
Por su parte
7 !! = 7.5.3.1 = 9,281
23,5 11,3137
Ecuaciones Diferenciales de Orden Superior 1.49
Primera parte - Integrales Eulerianas.
La contradicción se debe a que estamos suponiendo que existe el factorial ordinario de un número
fraccionario, en este caso, 3,5, cuando en realidad tratándose de números no enteros, sólo tiene
sentido pensar en la función gamma, o en determinadas funciones factoriales.
1.18 - Problemas.
1.18.1 - Calcular la función Γ de los números 0,5 a 5, incrementando cada vez el anterior en 0,5.
Solución:
Γ ( 0,5 ) = √ π = 1,7724; Γ ( 1 ) = 1; Γ ( 1,5 ) = 0,5 . Γ ( 0,5 ) = 0,8862;
Γ ( 2 ) = 1 . Γ ( 1 ) = 1; Γ ( 2,5 ) = 1,5 . Γ ( 1, 5 ) = 1,3293; etc.
c) [ 16 ] 10
5 [ 20 ] 93 [ 7 ] 71 [ 6 ] 21
Γ ( 1,1 ) Γ ( 1,2 ) Γ ( 1,3 ) Γ ( 1,4 ) Γ ( 1,5 ) Γ ( 1,6 ) Γ ( 1,7 ) Γ ( 1,8 ) Γ ( 1,9 ) Γ(2)
0,9514 0,9182 0,8975 0,8873 0,8862 0,8935 0,9086 0,9314 0,9618 1
Se pide calcular, utilizando la Fórmula de los Complementos, las funciones factoriales siguientes:
a) Γ ( 0,9 )
Γ ( 0,9 ) = π = π = 1,0686
Γ ( 0,1 ) . sen 0,9 π 9,514 . 0,309
a) B ( 3, 5 ) = Γ ( 3 ) . Γ ( 5 ) = 2! . 4! = 2 . 24 = 0,00952
Γ(8) 7! 5040
1,7724 . 2 = 0,53333
=
2 . 3,3233
c) π/2
Γ ( 0,5 ) . Γ ( 1,5 )
∫ cos 2 t dt = 1 Β 1 , 3 = 1
0 2 2 2 2 Γ(2)
1,7745 . 0,8862 = 0,786
=
1 .1
Ecuaciones Diferenciales de Orden Superior 1.51
Primera parte - Integrales Eulerianas.
1.18.8 - Hallar el valor de m para que el último factor de las funciones siguientes sea real:
m
a) [ 15 + 3i ]3 + i = ( 15 + 3i ) . ( 12 + 2i ) . ( 9 + i ) . 6
∴ x-m+k = 6
Como:
x = 15 + 3i y k = 3 + i,
∴ m = x + k - 6 = 15 + 3i + 3 + i - 6 = 12 + 4i
m
b) [ 17 - 4i ] 2 - i
R: m = 10 - 5 i
m
c) [ -20 + 5i ] -5 + i
R: m = - 30 + 6 i
Ecuaciones Diferenciales de Orden Superior 1.52
Primera Parte - Integrales Eulerianas.
a) [ 17 - 4i ] 82 -- i4i
Solución:
x - m + k = 17 - 4 i - 8 + 4 i + 2 - i = 11 - i
b) [ 15 - 6i ] 21 -- 4i
2i
Solución:
x - m + k = 15 - 6 i - 2 + 4 i + 1 - 2 i = 14 - 4 i
[ 15 - 6i ] 1- 2- +2i4i
5
b) ∆ [ 9 ] 1
6
= 6 . [ 9 ] 1 = 90.720
O bién:
[ 10 ] 61 - [ 9 ] 61 = 151.200 - 60.480 = 90.720
c) ∆ [ 12 ] 1
4
Aplicaciones Matlab:
Cálculo de factoriales.
» % Cálculo de factoriales:
»
» fact 4 = prod (1 : 4)
fact 4 = 24
»
» % La función "gamma (n + 1)", con n entero, es igual al factorial de n:
»
» gamma (5)
ans = 24
»
» fact10 = prod (1: 1: 10)
fact10 = 3628800
»
» gamma (11)
ans = 3628800
n=
Columns 1 through 7
0.2000 0.4000 0.6000 0.8000 1.0000 1.2000 1.4000
Columns 8 through 14
1.6000 1.8000 2.0000 2.2000 2.4000 2.6000 2.8000
Column 15 5
3.0000 4.5
» 4
» plot (gamma (n)) 3.5
2.5
1.5
0.5
0 0.5 1 1.5 2 2.5 3
Integral de Gauss:
» % Cálculo de la Integral de Gauss:
» syms f u
» f = int (exp(-u^2), u, 0, inf)
f = 1/2*pi^(1/2)
Funciones factoriales:
» % Resolver el ejemplo I del punto 1.16: Función factorial de números complejos.
»
» x = [0 1 2 3 4]
» y = x+2*i
y=
Columns 1 through 4
0 + 2.0000i 1.0000 + 2.0000i 2.0000 + 2.0000i 3.0000 + 2.0000i
Column 5
4.0000 + 2.0000i
» funfac = y(1,1)*y(1,2)*y(1,3)*y(1,4)*y(1,5)
funfac = - 4.0000e+001 - 2.0000e+002i
» % funfac = - 40 - 200 i
»
» % Segunda forma:
» clear funfac
» funfac = prod (y)
funfac = - 4.0000e+001 - 2.0000e+002i
»
» clear all
» x = 11; m = 4; k = 2;
» b = [ x : -k : x-m+k];
» B = prod (b)
B = 99
»
» clear all
» x = 15; m = 9; k = 3;
» c = [ x : -k : x-m+k];
» C = prod (c)
C= 1620
»
» clear all
» x = 15; m = 5; k = 1;
» d = [ x : -k : x-m+k];
» D = prod (d)
D= 360360
» clear all
» x = 17; m = 7; k = 1;
» e = [ x : -k : x-m+k];
» E = prod (e)
E = 98017920
Verificar los problemas del punto 1.18.8: Hallar m para que el último término sea real:
Pa r t e I I
2006
Ecuaciones Diferenciales de Orden Superior. 2.3
Parte II - Métodos Generales de Resolución
y y
b b
x x
a a
Para aplicar el procedimiento, se comienza por introducir una función adecuada, y luego se
procede por aproximaciones sucesivas, ensayando con una sucesión de funciones derivadas de la
adoptada, como veremos a continuación.
Probemos encontrar la solución partiendo de la expresión:
y = ψo ( x )
Calcularemos su derivada primera, a la que llamaremos:
dy d ψo ( x ) = f [ x, ψ ( x ) ]
= o (2.2)
dx dx
Por tanto,
d y = d ψo ( x ) = f [ x, ψo ( x ) ] . d x
Sea una función y ( x ) cualquiera, que satisfaga la condición de contorno anterior. En tal caso,
para todo x > xo podemos escribir:
x
y ( x ) = y ( xo ) + ∫ y' ( x ) d x = y ( xo ) + y ( x ) - y ( xo )
xo
Esta es justamente la forma que vamos a adoptar para cada una de las sucesivas aproximaciones
de la solución. En concordancia con la nomenclatura introducida en (2.2), a la aproximación
siguiente la llamaremos ψ1 ( x ):
x
ψ 1 ( x ) = y ( xo ) + ∫ f [ x, ψo ( x ) ] d x (2.3)
xo
Esta ecuación cumple la condición de contorno, pues cuando x = xo la integral es nula, y por
tanto, y = yo. Pero sin embargo esta función, que representa una de las infinitas curvas que pasan
por el punto (xo,yo), no es necesariamente solución de la ecuación diferencial. En otras palabras,
debemos reiterar el proceso hasta confirmar que estamos en presencia de la verdadera solución.
Debemos entonces ensayar:
x
ψ 2 ( x ) = y ( xo ) + ∫ f [ x, ψ1 ( x ) ] d x
xo
Ecuaciones Diferenciales de Orden Superior. 2.5
Parte II - Métodos Generales de Resolución
La figura siguiente muestra algunas de las sucesivas aproximaciones juntamente con la solución,
y ( x ).
14
y (x)
12
10
8
6
ψ3
4
ψ1
2
ψ0
0
4
6
0
4
3,
0,
0,
1,
1,
2,
2,
3,
Ejemplo 2:
Sea la ecuación diferencial
y' = 2 x y y(0) = 1
La solución de esta ecuación es
2
y ( x ) = ex
En efecto:
2
y' ( x ) = 2 x ex = 2 x y
Partiremos de ψ0 ( x ) = y ( 0 ) = 1. Entonces,
x
ψ1 ( x ) = 1 + 2 ∫ x d x = 1 + x2
0
A su vez
x
ψ2 ( x ) = 1 + 2 ∫ x ( 1 + x 2 ) . d x = 1 + x2 + x4
0 2
Ecuaciones Diferenciales de Orden Superior. 2.8
Parte II - Métodos Generales de Resolución
y
x
ψ3 ( x ) = 1 + 2 ∫ x ( 1 + x2 + x4 ) dx = 1 + x
2
+ x4 + x6
0 2 2 6
etc.
Compárense los resultados sucesivos con la solución:
y = 1 + x2 + x4 + x6 + x8 + x10 + . . .
2! 3! 4! 5!
f (x)
f (q) Q
f (σ) S
α
f (p) P
x
0 p σ q
No pretendemos hacer aquí una demostración rigurosa del Teorema del Valor Medio, sino
únicamente recordar y justificar el mismo.
Como se ve en la figura, el valor de la función en el punto S es f ( σ ), y la pendiente m de la
tangente a la función en el mismo punto, vale:
m = tg α = f ( q ) - f ( p ) = f '( σ )
q - p
Pasando el denominador al segundo término, llegamos a la conocida expresión del Teorema:
∴ f ( q ) - f ( p ) = ( q - p ) . f '( σ )
Para aplicar este teorema a nuestra función, como x = constante, deberemos poner:
f ( x, yA ) - f ( x, yB ) = ( yA - yB ) . f 'y (x, y ) = ( yA - yB ) . ∂ f ( x, y )
∂y
donde y es cualquier punto sobre la recta entre yA e yB. Al reemplazar en la (2.7), y de acuerdo
con la (2.8), obtenemos:
∴ | f ( x, y ) - f ( x, y )| = | y y | . ∂
A B A - f ( x, y ) < M . | y y |
B A - B
∂y
Con lo cual queda probado que la existencia de la derivada parcial en un dominio implica que una
cierta función satisface la Condición de Lipschitz en el mismo.
En estas expresiones la suma de los n primeros términos, como es fácil ver, es:
n -1
Yn ( x ) = Σ ψ0 + (ψm+1 − ψm ) = ψn ( x ) (2.11)
m=0
Probaremos en primer lugar que la serie (2.10) es convergente. Para demostrarlo, recurriremos a
la (2.4), en la cual, cambiando los subíndices se llega a la igualdad siguiente:
x
ψn+1( x ) = y0 + ∫ f [ x, ψn ( x ) ] d x
xo
y también
x
ψ n ( x ) = y0 + ∫ f [ x, ψn-1( x ) ] d x
xo
Sabemos que el módulo de una integral es igual o menor que la integral del módulo. Por tanto
x
| ψn+1( x ) - ψn ( x ) | ≤ ∫ | f [ x, ψn ( x ) ] - f [ x, ψn-1( x ) ] | . | d x |
xo
Por otra parte, cualquier diferencia entre dos cantidades finitas es necesariamente una cantidad
finita. Por ejemplo, dados los números ψ2 y ψ1, existirá siempre un número positivo N, no
infinito, tal que
| ψ2 - ψ1 | < N
Si aplicamos esta propiedad a la igualdad (2.12), el resultado será:
x x
| ψ 3 ( x ) - ψ 2 ( x ) | < M ∫ | ψ 2 ( x ) - ψ 1 ( x ) | . | d x | < M ∫ N | d x | = M N ( x - xo )
xo xo
xo xo
(2.13)
Recordemos al llegar aquí que el módulo de una diferencia es mayor o igual que la diferencia de
los módulos. En el caso presente, como xo es un punto del eje x ( xo ∈ x ), y por lo tanto, los
segmentos ox y oxo son colineales, se verifica justamente la igualdad, como muestra la figura
siguiente:
y
xo x - xo x
De aquí, agrupando en una las dos integrales que aparecen en el primer miembro de la igualdad
anterior, ya que los intervalos y la variable de integración coinciden, obtenemos:
x
y ( x ) - ψn ( x ) + ∫ { f [ x, ψn-1 ( x ) ] - f ( x, y ) } d x = 0 (2.15)
xo
Obsérvese que esta última ecuación es la misma que la (2.14), porque todas las operaciones que
hemos hecho a partir de esta última sólo han modificado su forma, pero no su valor. Si a
continuación aplicamos la propiedad del módulo de la suma, podemos decir que:
x x
y - ψn + ∫ [ f ( x, ψn-1) - f ( x, y )] dx ≤ y - ψn + ∫ [ f ( x, ψn-1) - f ( x, y ) ] dx
xo xo
Si además, tenemos en cuenta que el módulo de la integral es menor o igual que la integral del
módulo, podemos por carácter traslativo poner:
x x
y - ψn + ∫ [ f ( x, ψn-1) - f ( x, y )] dx ≤ y - ψn + ∫ f ( x, ψn-1) - f ( x, y ) dx
xo xo
Pero el primer miembro de esta igualdad no es otra cosa que el módulo de la (2.15), que como ya
hemos visto es la misma que la (2.14). Por lo que, remplazando, resulta:
x x
y ( x ) - yo - ∫ f ( x, y ) d x ≤ y ( x ) - Yn ( x ) + M ∫ ψn-1 - y dx (2.16)
xo xo
Como y ( x ) es el límite de la serie convergente (2.10), de acuerdo con la definición del concepto
de límite, debe cumplirse que, dado un número ε > 0 será siempre posible encontrar un número
positivo
ν = ν(ε)
Ecuaciones Diferenciales de Orden Superior. 2.14
Parte II - Métodos Generales de Resolución
tal que
| y - ψn-1 | < ε con tal que n -1 > ν
Por otra parte, como n es un número natural, entonces será también
n > n-1 > ν
Por lo que en la serie (2.10) deberá verificarse que
| y - ψ n | = | y ( x ) - Yn ( x ) | < ε
con tal que n -1 > ν
por lo tanto, la expresión (2.16) puede escribirse así:
x x
y ( x ) - yo - ∫ f ( x, y ) d x ≤ ε + M ε ∫ dx
xo xo
y como el número positivo ε puede ser tan pequeño como deseemos, en el límite(1) podemos decir
que
x
yo + ∫ f ( x, y ) d x = y ( x )
xo
Quedando con esto demostrado que la sucesión (2.9) converge hacia una solución exacta de la
Ecuación Diferencial.
2.5 - Problemas.
ψ1 ( x ) = x 2 - x
x x
∴ ψ2 ( x ) = ∫ ( 2 x - ψ1 ) d x = ∫ (3x - x2) dx = 3 x2 - 1 x3
0 0 2 3
(1)
En el límite: Es decir, cuando reiteramos n veces el procedimiento de Piccard, con n tendiendo a infinito.
Ecuaciones Diferenciales de Orden Superior. 2.15
Parte II - Métodos Generales de Resolución
x x
3
ψ3 ( x ) = ∫ ( 2 x - ψ2 ) d x = ∫ (2x - 3 x2 + x ) dx
0 0 2 3
3
x4
∴ ψ3 ( x ) = x 2 - x +
2 12
x x
3 4
ψ4 ( x ) = ∫ ( 2 x - ψ3 ) d x = ∫ (2x -x2 + x - x ) dx
0 0 2 12
3 4 5
∴ ψ4 ( x ) = x 2 - x + x - x + . . .
3 8 60
x x
3
x4 + x5 ) dx
ψ5 ( x ) = ∫ ( 2 x - ψ4 ) d x = ∫ (2x -x2 + x -
0 0 3 8 60
3 4
x5 + x6 + ...
∴ ψ5 ( x ) = x 2 - x + x -
3 12 40 360
Si nos quedamos con esta última aproximación:
x3 - x4 + x5 - x6 + ...
y' = 2x-y = 2x - x2 +
3 12 40 360
Por su parte, derivando ψ5 ( x ) respecto de x obtenemos:
3
x4 + x5 - ...
y' = 2x - x2 + x -
3 8 60
Pa r t e I I I
Ecuaciones Diferenciales
d e Se g u n d o O r d e n
2006
Ecuaciones Diferenciales de Orden Superior. 3.3
Parte 3 - Ecuaciones Diferenciales de Segundo Orden.
En esta tercera parte veremos las Ecuaciones Diferenciales de Segundo Orden, con coeficientes
variables, del tipo de la siguiente, que es particularmente fértil en cuanto a sus aplicaciones:
y" + η ( x ) . y' + µ ( x ) . y = 0
Aquí,
α(x) β(x)
η (x ) = y µ (x ) = (3.1)
2
(x-a) (x - a )
Se puede ver que η (x ) tiene un polo de primer orden en x = a , en tanto que µ ( x ) tiene en el
mismo punto un polo de segundo orden. Reemplazando según (3.1), podemos reformular la
ecuación diferencial así:
+ c2 ( γ + 2 ) ( x - a )2 + . . . ]
∴ y" ( x ) = ( x - a ) γ − 2 [ co γ ( γ - 1 ) + c1 ( γ + 1 ) γ ( x - a ) +
+ c2 ( γ + 2 ) ( γ + 1 ) ( x - a ) 2 + . . . ]
Al reemplazar ambas derivadas en (3.2), resulta:
( x - a ) γ [ co γ ( γ - 1 ) + c 1 ( γ + 1 ) γ ( x - a ) + c 2 ( γ + 2 ) ( γ + 1 ) ( x - a ) 2 . . . ] +
+ [ α o + α 1 ( x - a ) + . . . ] .( x - a )γ . [ co γ + c1 ( γ + 1 ) ( x - a ) + . . . ] +
+ [ β o + β 1 ( x - a ) + . . . ] ( x - a ) γ [ co + c 1 ( x - a ) + . . . ] = 0
O también, reagrupando términos de modo de sacar los coeficientes cm como factor común:
co γ ( γ - 1 ) ( x - a ) γ + c1 γ ( γ + 1 ) ( x - a ) γ + 1 + c2 ( γ + 1 ) ( γ + 2 ) ( x - a ) γ + 2 +
+ . . . + co γ [ α o ( x - a ) γ + α 1 ( x - a ) γ + 1 + α 2 ( x - a ) γ + 2 + α 3 ( x - a ) γ + 3 +
+ . . . ] + c1 ( γ + 1 ) [ α o ( x - a ) γ + 1 + α 1 ( x - a ) γ + 2 + α 2 ( x - a ) γ + 3 + . . . ] +
+ c2 ( γ + 2 ) [ α o ( x - a ) γ + 2 + α 1 ( x - a ) γ + 3 + . . . ] + . . . +
+ co [ β o ( x - a ) γ + β 1 ( x - a ) γ + 1 + β 2 ( x - a ) γ + 2 + β 3 ( x - a ) γ + 3 + . . . ] +
+ c1 [ β o ( x - a ) γ + 1 + β 1 ( x - a ) γ + 2 + β 2 ( x - a ) γ + 3 + . . . ] +
+ c2 [ β o ( x - a ) γ + 2 + β 1 ( x - a ) γ + 3 + . . . ] + c3 [ β o ( x - a ) γ + 3 + . . . ] + . . . = 0
(3.5)
Para que se cumpla esta igualdad es condición suficiente que los coeficientes correspondientes a
cada una de las potencias de ( x - a ) sean nulos todos ellos. De acuerdo con esto, agrupando los
términos que multiplican a la potencia de menor grado de ( x - a ), que como vemos corresponde
a ( x - a )γ, encontramos la ecuación siguiente, que nos permitirá obtener el valor de γ:
γ ( γ - 1 ) c o + γ α o co + β o co = 0
En efecto, como impusimos la condición:
co ≠ 0,
simplificando, aparece la siguiente ecuación de segundo grado
γ ( γ - 1 ) + γ αo + βo = 0
∴ γ2 + ( α o - 1 ) γ + β o = 0
Las raíces de esta ecuación, que se conoce como "Ecuación Característica o Indicial", definen el
o los valores de γ que, como ya hemos dicho, son en general números complejos.
Ecuaciones Diferenciales de Orden Superior. 3.5
Parte 3 - Ecuaciones Diferenciales de Segundo Orden.
γ = - ( αo - 1 ) ± √ ( αo - 1 ) - 4 βo
2
(3.6)
2
Del análisis de la ecuación (3.5) surge que los distintos coeficientes cm no son independientes
entre sí. Por lo tanto, para su definición, se conviene en elegir co = 1. A partir de tal elección, y
teniendo en cuenta que, como dijimos, deben ser nulos los coeficientes que multiplican a cada
una de las potencias de ( x - a ) de igual grado, es posible determinar los demás coeficientes cm.
Comenzaremos por calcular c1 a partir de la mencionada ecuación (3.5):
Coeficiente de ( x - a )γ +1:
[ c1 γ ( γ + 1 ) + αo ( γ + 1 ) c1 + α1 γ co + c1 βo + co β1 ] ( x - a ) γ +1 = 0
Reemplazamos el valor adoptado, co = 1, con lo que resulta:
c 1 γ ( γ + 1 ) + αo ( γ + 1 ) c 1 + α1 γ + c 1 β o + β 1 = 0
De aquí:
− α1 γ + β 1
c1 =
γ ( γ + 1 ) + αo ( γ + 1 ) + β o
Desde luego, para calcular c1, el valor de γ a utilizar en esta ecuación debe ser uno cualquiera de
los dos obtenidos al resolver la ecuación indicial. Verificaremos ahora que, con el soporte de la
ecuación indicial, es posible hallar los demás coeficientes en forma sucesiva, a partir del
conocimiento de los inmediatos anteriores.
Trataremos de calcular c2, partiendo de los coeficientes de ( x - a )γ +2 en la ecuación (3.5):
[ c 2 ( γ + 1 ) ( γ + 2 ) + c o α2 γ + c 1 α1 ( γ + 1 ) + c 2 αo ( γ + 2 ) +
+ co β2 + c1 β1 + c2 β0 ] . ( x - a ) γ +2 = 0
Por lo tanto:
c2 = ( α2 γ + β 2 ) + c 1 [ α1 ( γ + 1 ) + β 1 ]
( γ + 1 ) ( γ + 2 ) + αo ( γ + 2 )
x 2 y " + x . α ( x ) . y' + β ( x ) . y = 0
A su vez, la solución, ecuación (3.4), se transforma en este caso en
∞
y(x) = Σ cm x γ +m (3.7)
m=0
Para terminar, las fórmulas para el cálculo de los coeficientes son idénticas a las del caso general,
ya que en ellas no interviene la constante "a".
(1)
A esta altura puede parecer arbitraria la forma dada a la ecuación, así como la elección de las constantes A, B y C.
Sin embargo hay una razón valedera para ello, como se comprenderá al analizar las ecuaciones (3.12) y (3.14).
Ecuaciones Diferenciales de Orden Superior. 3.7
Parte 3 - Ecuaciones Diferenciales de Segundo Orden.
x2 y" + x [ C - ( 1 + Α + Β ) x ] y' - x ΑΒ y = 0
(1 - x) (1- x)
Al comparar esta ecuación con la (3.2),
x2 y" + x . α (x ) . y' + β ( x ) . y = 0 (3.2)
se verifican las siguientes coincidencias:
C -(1 + Α + B)x
α(x) =
1 - x
ΑΒ
y β(x) = − x
1- x
A continuación desarrollaremos estas dos expresiones en serie de potencias de x, en el intervalo
0 < x < 1
obteniendo, respectivamente,
α ( x ) = [ C - ( 1 + A + B ) x ] ( 1 + x + x 2 + x 3 + x 4 + . . . + xn + . . . ) =
= C + C x + C x2 + C x 3 + C x 4 + . . . - x - x 2 - x 3 - x 4 - x 5 - . . . -
- A x - A x 2 - A x3 - A x4 - . . . - B x - B x2 - B x3 - B x4 - . . .
y
β ( x ) = - A B x . (1 + x + x2 + x3 + x4 + . . . + xn + . . . )
De aquí deducimos las relaciones:
α ( 0 ) = αo = C y β ( 0 ) = βo = 0
Reemplazando estos valores en la ecuación indicial,
γ ( γ - 1 ) + γ αo + βo = 0
la misma queda así:
γ(γ-1) + C.γ = 0
Por tanto, las raíces de la ecuación indicial son, en el caso presente:
γ = 0 ó γ = 1 - C
Si elegimos la primera de ellas, γ = 0, según (3.7) la solución de la ecuación hipergeométrica es:
∞
y(x) = Σ c m xm = c o + c 1 x + c 2 x2 + c 3 x3 + c 4 x4 + . . .
m=0
y por lo tanto:
y' ( x ) = c1 + 2 c2 x + 3 c3 x2 + 4 c4 x3 + 5 c5 x4 + . . .
e y" ( x ) = 2 c2 + 6 c3 x + 12 c4 x2 + 20 c5 x3 + . . .
A continuación reemplazaremos estos valores en la ecuación (3.8):
x ( 1 - x ) ( 2 c2 + 6 c3 x + 12 c4 x2 + 20 c5 x3 + . . . ) +
+ [ C - ( A + B + 1 ) x ] ( c 1 + 2 c 2 x + 3 c 3 x2 + 4 c 4 x3 + 5 c 5 x4 + . . . ) -
- AB ( co + c1 x + c2 x2 + c3 x3 + c4 x4 + . . . ) = 0
Llegados a este punto, podemos obtener el coeficiente de x0 (es decir, el término independiente) a
partir de la ecuación:
C c1 - A B co = 0
En efecto, como hemos aceptado para co el valor 1, co = 1, al reemplazar queda:
AB
c1 =
C
De modo similar se calculan los otros coeficientes: Por ejemplo, para el término de primer grado,
x, la ecuación resulta:
[ 2 c2 - c 1 ( A + B + 1 ) + 2 C c2 - A B c1 ] x = 0
De aquí:
2 ( C + 1 ) c2 = ( A + B + A B + 1 ) c1 (3.9)
(A+B+AB+1) AB
∴ c2 =
2(C+1) C
∴ 3 ( C + 2 ) c3 = ( 2 A + 2 B + A B + 4 ) c2
Despejamos c3 y obtenemos:
Ecuaciones Diferenciales de Orden Superior. 3.9
Parte 3 - Ecuaciones Diferenciales de Segundo Orden.
c3 = ( 2 A + 2 B + A B + 4 ) c2 = (A+2).(B+2) c
2 (3.11)
3(C+2) (1+2).(C+2)
A partir de las expresiones (3.10) y (3.11), se deduce por recurrencia la siguiente fórmula general
que permite obtener cualquier coeficiente en función del inmediato anterior:
(A+n).(B+n)
cn + 1 = cn (3.12)
(1+n).(C+n)
La solución de la ecuación hipergeométrica es, por su parte:
∞
y = Σ c n xn = 1 + A B x + A ( A + 1 ) . B ( B + 1 ) x2 + . . . (3.13)
n=0 C 2C.(C+1)
cn+1 x (A+n)(B+n)
= . |x|
cn (1+n)(C +n)
Cuyo límite es:
(A+n)(B+n)
lim . |x| = |x|
n→∞ (1+n)(C+n)
De aquí deducimos que, para que la solución converja, es condición necesaria que sea | x | < 1
(Criterio del cociente entre dos términos consecutivos de la serie).
Es decir que la solución hallada es válida para valores de x entre 0 y 1. Este resultado era de
esperar, ya que la ecuación tiene justamente un punto singular en x = 1.
y'x = d y = dy dt 1 dy 1
= - = - y't
dx dt dx 2 dt 2
t ( 1 - t ) y" + [ C - t - ( A + B ) t ] y' - Α Β y = 0
obtenemos el siguiente sistema auxiliar de ecuaciones:
C = 1
A + B + 1 = 2
n(n +1) = -AB
Ecuaciones Diferenciales de Orden Superior. 3.11
Parte 3 - Ecuaciones Diferenciales de Segundo Orden.
+ A(A+1)(A+2).B(B+1)(B+2) t3 + ...
1.2.3.C.(C+1)(C+2)
Para obtener el resultado en función de x debemos recordar que
1 ( 1 - x ),
t =
2
De este modo hallamos la solución siguiente:
2
y = 1-n(n+1) (1-x) - n(-n+1)(n+1) (n+2) (1-x) -
2 1.2.1.2 4
3
- n(-n+1)(-n+2)(n+1) (n+2)(n+3) (1-x) + ...
1.2.3.1.2.3 8
que, ordenada adecuadamente, queda finalmente así:
( x - 1 )2 +
y = 1+n(n+1) (x-1) + n( n-1)(n+1) (n+2)
2 2! . 2! 4
n(n-1)(n-2)(n+1) (n+2)(n+3) ( x - 1 )3 + . . .
+
3! . 3! 8
Si n es un número entero positivo, la serie es finita, pues, como puede verse, los coeficientes se
anulan a partir de aquel en el que aparece por primera vez el binomio ( n - n ). En tal caso, la
solución de la ecuación es un polinomio, que se conoce como Polinomio de Legendre.
P2 ( x ) = 1 + 3 x - 3 + 3 ( x 2 - 2 x + 1 ) = 1 ( 3 x2 - 1 )
∴
2 2
Para el cálculo de los coeficientes de mayor índice resulta práctico utilizar la siguiente fórmula
conocida como la Regla de Olinde Rodrigues, en homenaje a su descubridor:
1 dn
Pn ( x ) = ( x2 - 1 ) n (3.15)
2 n n! dxn
A partir de ella, obtenemos, por ejemplo:
Para n = 2
1 d2 1 d
P2 ( x ) = ( x2 - 1 ) 2 = 2 ( x2 - 1 ) 2 x = 1 d ( 4 x3 - 4 x )
2 2 2! dx2 8 dx 8 dx
1 ( 3 x2 - 1 )
∴ P2 ( x ) =
2
Resultado que, como puede verse, coincide con el obtenido por cálculo directo. De igual forma,
Para n = 3, es
1 d3 ( x 2 - 1 ) 3 = 1 d3 ( x6 - 3 x 4 + 3 x2 - 1 ) =
P3 ( x ) =
2 3 3! dx3 48 dx3
1 d2 ( 6 x5 - 12 x3 + 6 x ) = 1 d ( 30 x4 - 36 x2 + 6 ) =
=
48 dx2 48 dx
1 ( 5 x3 - 3 x )
∴ P3 ( x ) =
2
Para n = 4 ,
1 ( 35 x4 - 30 x2 + 3 )
P4 ( x ) =
8
Ecuaciones Diferenciales de Orden Superior. 3.13
Parte 3 - Ecuaciones Diferenciales de Segundo Orden.
Po ( x )
P1 ( x )
0 P2 ( x )
-1 0 1 P3 ( x )
P4 ( x )
-1
La derivada primera de una función par es una función impar. La derivada segunda es par. La
derivada tercera es impar., etc. Por lo tanto, si n es par, la derivada enésima, será una función par.
Y en consecuencia el polinomio es también par.
Por el contrario, si n es impar, la derivada enésima de ( x2 - 1 ) es una función impar, y
consecuentemente, también lo será el polinomio respectivo.
P2 ( 1 ) = P 2 ( - 1 ) = 1 ( 3 x 2 - 1 ) = 1 ( 3 - 1 ) = 1
2 2
1 ( 5 x3 - 3 x ) = 1 ( 5 - 3 ) = 1
P3 ( 1 ) =
2 2
1 ( 5 x3 - 3 x ) = 1 ( -5 + 3 ) = - 1
P3 ( - 1 ) =
2 2
P4 ( 1 ) = P4 ( - 1 ) = 1 ( 35 x4 - 30 x2 + 3 ) = 1 ( 35 - 30 + 3 ) = 1
8 8
etc.
Esto se puede expresar mediante la doble fórmula
Pn ( 1 ) = 1
Pn ( - 1 ) = ( - 1 ) n
Aquí, el primer sumando es nulo, por serlo el binomio 1 - x2 tanto para x = 1 como para x = -1.
Simplificándolo:
1 1
- ∫ ( 1 - x2 ) P'n ( x ) P'm ( x ) dx + n ( n + 1 ) ∫ Pn ( x ) Pm ( x ) dx = 0
-1 -1
Ejemplos:
1 1
Para n = 0: ∫ [ P0 ( x ) ]2 dx = ∫ dx = 2
-1 -1
1 1 1
3
Si n = 1: ∫ [ P1 ( x ) ]2 dx = ∫ x2 dx = x = 2
-1 -1 3 -1 3
1 1 1
Si n = 2: ∫ [ P2 ( x ) ]2 dx = 1 ∫ ( 3x2 - 1 ) 2 dx = 1 ∫ ( 9x4 - 6 x2 + 1 ) dx =
-1 4 -1 4 -1
1
1 9 1 9 - 2 +1 + 9
= x5 - 2 x 3 + x = - 2 + 1 =
4 5 -1 4 5 5
1 18 - 20 + 10 = 8 = 2
=
4 5 20 5
Etc.
Ecuaciones Diferenciales de Orden Superior. 3.17
Parte 3 - Ecuaciones Diferenciales de Segundo Orden.
Comprobamos que en todos los casos se va cumpliendo la igualdad (3.18). Reuniendo ambas
conclusiones en una fórmula única, tenemos:
1 = 0 si n ≠ m
∫ Pm( x ) . Pn ( x ) d x =
-1 = 2 si n = m
2n+1
1
Ejemplo 1: Pulso cuadrado:
Sea la función:
x
= 0, si -1 ≤ x <0 1
f(x) =
= 1, si 0 ≤ x ≤1
11 ( 63 - 105 + 45 ) = 33 11
= =
96 96 32
1
a6 = 13 ∫ 1 ( 231 x6 - 315 x4 + 105 x2 - 5 ) dx =
2 0 16
Coeficientes an
1
0,8
0,6
0,4
0,2
0
0 1 2 3 4 5 6 7 8
-0,2
-0,4
-0,6
Por su parte, la representación de la serie, tomando solamente los primeros ocho términos, es la
siguiente:
1,5
0,5
0
-1 -0,5 0 0,5 1
-0,5
x
-1 0 1
1
an = 2n+1 ∫ x Pn ( x ) dx
2 0
Por lo tanto:
1 1
ao = 1 ∫ x Po ( x ) dx = 1 ∫ x dx = 1
2 0 2 0 4
1
x3
a1 = 3 ∫ x2 dx = 3 = 1
2 0 2 3 x=1 2
1
a2 =
5
∫ 1
( 3 x3 - x ) dx =
5 3
x4 -
1 x2
=
5 1
=
5
2 0 2 4 4 2 x =1 4 4 16
1
a3 = 7 ∫ 1 ( 5 x4 - 3 x2 ) dx = 7 x5 - x3 = 0
2 0 2 4 x =1
1
a4 = 9 ∫ 1 ( 35 x5 - 30 x3 + 3 x ) dx =
2 0 8
9 35 x6 - 30 x4 + 3 x2
= = 9 35 - 45 + 9 = - 9 = - 3
16 6 4 2 x =1 96 96 32
De modo similar obtendríamos los siguientes coeficientes de orden par:
a6 = 13 , a8 = - 85 = - 17 , etc.
256 2560 512
La representación de la serie, limitada a sus diez primeros términos, es decir desde ao hasta a9, es
la siguiente (La línea punteada representa la función original):
1,2
0,8
0,6
0,4
0,2
3.11 - Problemas:
c 2 = ( α2 γ + β 2 ) + c 1 [ α1 ( γ + 1 ) + β 1 ] = 1
( γ + 1 ) ( γ + 2 ) + αo ( γ + 2 ) 27
etc.
Se pide:
a) Resolver la ecuación indicial
b) Hallar los tres primeros coeficientes de la solución.
Respuestas:
a ) Ecuación indicial:
γ2 - γ − 2 = 0 Raíces: γ1 = 2, γ2 = - 1
b ) Coeficientes de la solución:
Si adoptamos γ = γ1 = 2
∴ co = 1
c1 = - 2
c2 = - 27 etc.
40
x y" + 3 y ' - 3 . y = 0
4 1-x
se pide:
a) Expresarla como una ecuación hipergeométrica.
b) Calcular los primeros coeficientes de la solución como tal.
Solución:
3
a) ( 1 - x ) x y" + ( 3 - 3 x ) y ' - y = 0
4
Aquí tenemos:
3
C = 3, A+B+1 = 3 y A.B =
4
Una solución de este sistema es
1 3
A = B =
2 2
b) Los coeficientes de la solución son:
co = 1 (Se adopta)
AB 1
c1 = =
C 4
c2 = ( A + 1 ) . ( B + 1 ) c = 15
1
2 (C+1) 128
( A + 2 ) . ( B + 2 ) c = 35
c3 = 2
3 (C+2) 512
( A + 3 ) . ( B + 3 ) c = 735
c4 = 3
4 (C+3) 16384
etc.
3.11.4 - Cualquier polinomio cuyos coeficientes sean todos reales puede ser desarrollado como
suma algebraica de Polinomios de Legendre. Se pide desarrollar de tal forma los polinomios
siguientes:
a) f ( x ) = x3 + 2 x2 + x - 1
Solución: Los dos primeros monomios los obtenemos en función, respectivamente de los
polinomios de Legendre
1 ( 3 x2 - 1 )
P2 ( x ) = y P3 ( x ) = 1 ( 5 x3 - 3 x )
2 2
Haremos
2 P (x) + 4 3 x + 2 x2 - 2 = f ( x )
3 P2 ( x ) = x3 - 1
5 3 5 3
Ahora restemos este polinomio de la función original, f ( x ). La diferencia es:
f(x)-f1(x) = 8 x - 1
5 3
Para completar la función f ( x ), recurrimos a los polinomios Po y P1, así:
f ( x ) = 2 P3 ( x ) + 4 8 P (x) - 1
P2 ( x ) + 1 P0(x)
5 3 5 3
b) f ( x ) = x 4 - 4
c) f ( x ) = - 3 x3 + 2 x2 - 3 x - 2
a) y = 4 x2 - 1
Ecuaciones Diferenciales de Orden Superior. 3.25
Parte 3 - Ecuaciones Diferenciales de Segundo Orden.
Solución: Hagamos:
3
y = A P2 ( x ) + B P 0 ( x ) = A ( x2 - 1 ) + B = 4 x 2 - 1
2 2
Determinación de las constantes A y B:
3 8
A = 4 ∴ Α =
2 3
B- A = -1 4 1
∴ Β = −1+ =
2 3 3
8 P (x) + 1
Respuesta: y = 2 P0 ( x )
3 3
b) y = 3 x3 - 2
1 t
Solución:
Obviamente, el desarrollo pedido es, en este caso, f ( t ) = P1 ( t ). En efecto:
1 1
ao = 1 ∫ t Po ( t ) d t = 1 ∫ t dt = 0
2 -1 2 -1
1 1
3
a1 = 3 ∫ t2 dt = 3 t = 1 (1+1) = 1
2 -1 2 3 -1 2
1 1
a2 = 5 ∫ 1 (3t3 - t)dt = 5 3 t4 - 1 t2 = 0
2 -1 2 4 4 2 -1
1
a3 = 7 ∫ 1 (5t4-3t2)dt = 0 etc.
2 -1 2
b) f ( t ) = | t |, para - 1 ≤ t ≤ 1
Gráficamente:
f (t)
1
t
Solución: Tomar
= - t para -1 ≤ t ≤ 0
f(t) =
= t para 0 ≤ t ≤ 1
e integrar.
Respuesta: ao = 1 5
a1 = 0 a2 = a3 = 0
2 8
a4 = - 3 a5 = 0 etc.
16
Ecuaciones Diferenciales de Orden Superior. 3.27
Parte 3 - Ecuaciones Diferenciales de Segundo Orden.
Aplicaciones Matlab.
Solución de ecuaciones diferenciales de segundo orden. Ejemplos:
» % Resolver la ecuación diferencial: y”(t) = 16 y(t)
» y = dsolve (' D2y=16*y')
y = C1*exp (4*t) + C2*exp (-4*t) % C1 y C2 son constantes arbitrarias.
»
» y = dsolve ('D2y + Dy = 2*y')
y = C1*exp (t) + C2*exp (-2*t)
»
» syms w % El comando syms permite introducir variables diferentes de las propias (y, t).
» y = dsolve (' D2y = -w^2*y ' , ' y(0) = 0 ')
y = C2*sin (w*t)
»
» y = dsolve (' D2y = -w^2*y ' , ' y(0) = 1')
y = cos (w*t) + C2*sin (w*t)
»
» y = dsolve ('D2y + 6*Dy = -9*y','y(0) = 3')
y = 3*exp(-3*t)+C2*exp(-3*t)*t
» y = (63/8*x^5-35/4*x^3+15/8*x) 0.8
y=
0.6
0.4
63/8*x^5-35/4*x^3+15/8*x 0.2
» ezplot (y,-1,1) 0
» -0.2
-0.4
-0.6
-0.8
-1
-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
x
» P7 = 429/16*x^7-693/16*x^5+315/16*x^3-35/16*x
P7 =
429/16*x^7-693/16*x^5+315/16*x^3-35/16*x
» ezplot (P7, -1, 1)
»
231/16*x^6-315/16*x^4+105/16*x^2-5/16
429/16*x^7-693/16*x^5+315/16*x^3-35/16*x
0.8
0.8
0.6
0.6
0.4
0.4
0.2
0.2 0
-0.2
0
-0.4
-0.2
-0.6
-0.4
-0.8
-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
x
x
Ecuaciones Diferenciales de Orden Superior. 3.31
Parte 3 - Ecuaciones Diferenciales de Segundo Orden.
» % Representación de la serie:
» ezplot (F)
» axis ([-1, 1, 0, 1])
» grid
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
x
0.8
0.6
0.4
0.2
-0.2
-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
x
E cu a ci o n e s D i f e r e n ci a l e s
d e O r d en Su p er i o r
Pa r t e I V
P o l i n o m i o s d e C h eb y s h ev
2006
Ecuaciones Diferenciales de Orden Superior. 4.3
Parte 4 – Polinomios de Chebyshev.
Polinomios de Chebyshev.
4.1 - Polinomios de Chebyshev.
Los Polinomios de Chebyshev están estrechamente ligados a la teoría de la aproximación de
funciones, por lo que parecerían estar fuera de lugar en este trabajo dedicado a las Ecuaciones
Diferenciales. No obstante introducimos aquí su tratamiento tanto por sus notables similitudes
con los Polinomios de Legendre, como porque una de las principales aplicaciones de ambos la
constituye el desarrollo de los filtros eléctricos, o filtros de ondas, de gran importancia en las
ramas de la ingeniería eléctrica y electrónica. Esta aplicación la comparten también con las
funciones de Bessel, que veremos en el próximo capítulo.
La función
Cn ( x ) = cos ( n arcos x ) (4.1)
en la cual n es cualquier número natural, se conoce como Polinomio de Chebyshev de orden n.
Aunque a primera vista no parezca evidente, la función mencionada es en efecto un polinomio en
x, finito para todo x ≠ ∞ , como probaremos a continuación.
En primer lugar, si n = 0, es obviamente:
C0 ( x ) = cos ( 0 arcos x ) = cos 0 = 1
A su vez, para n = 1,
C1 ( x ) = cos ( arcos x ) = x
Ahora bien, para calcular los polinomios sucesivos, se puede apelar a la fórmula de recurrrencia
que demostraremos a continuación:
El Polinomio de orden n es, por definición (4.1):
Cn ( x ) = cos ( n arcos x )
Y si llamamos, para simplificar,
u = arcos x
reemplazando, obtenemos:
Cn ( x ) = cos n u (4.2)
A su vez, la función inversa de u es:
x = cos u (4.3)
De acuerdo con la definición dada más arriba, el Polinomio de orden n + 1, será:
Cn+1 ( x ) = cos [ ( n + 1 ) u ] = cos ( n u + u )
y el de orden n -1:
Cn-1 ( x ) = cos [ ( n - 1 ) u ] = cos ( n u - u )
Al aplicar las conocidas fórmulas del coseno de la suma y del coseno de la diferencia, las dos
últimas igualdades quedan modificadas como sigue:
Cn+1 ( x ) = cos u cos nu - sen u sen nu
y Cn-1 ( x ) = cos u cos nu + sen u sen nu
Al sumar miembro a miembro estas dos igualdades, y despejar luego, se obtiene:
Cn+1 ( x ) = 2 cos u cos nu - Cn-1 ( x )
y reemplazando según (4.2) y (4.3):
Cn+1 ( x ) = 2 x Cn ( x ) - Cn-1 ( x ) (4.4)
A partir de este resultado, es posible determinar, por reiteración, el polinomio que representa a
cada una de las funciones de Chebyshev.
A continuación, a título de ejemplo, desarrollamos las primeras de ellas:
Ya vimos que
C0 ( x ) = 1
y C1 ( x ) = x
Si aplicamos la fórmula (4.4), obtendremos, sucesivamente:
C2 ( x ) = 2 x C1 ( x ) - C0 ( x ) = 2 x2 - 1
C3 ( x ) = 2 x C2 ( x ) - C1 ( x ) = 4 x 3 - 2 x - x = 4 x3 - 3 x
C4 ( x ) = 2 x C3 ( x ) - C2 ( x ) = 8 x 4 - 6 x2 - 2 x2 + 1 = 8 x 4 - 8 x2 + 1
C5 ( x ) = 2 x C4 ( x ) - C3 ( x ) = 16 x 5 - 16 x3 + 2 x - 4 x3 + 3 x =
= 16 x5 - 20 x3 + 5 x
C6 ( x ) = 2 x C5 ( x ) - C4 ( x ) = 32 x 6 - 40 x4 + 10 x2 - 8 x 4 + 8 x2 - 1 =
= 32 x6 - 48 x4 + 18 x2 - 1
C7 ( x ) = 2 x C6 ( x ) - C5 ( x ) = 64 x 7 - 96 x5 + 36 x3 - 2 x −
− 16 x5 + 20 x3 - 5 x = 64 x 7 - 112 x5 + 56 x3 - 7 x
etc.
| x | > 1,
Sin embargo, una simple inspección de los polinomios Cn ( x ) muestra que los mismos tienen
sentido para cualquier valor no infinito de x . Cabe entonces hacerse la pregunta: ¿Habrá alguna
expresión similar a cos ( n arcos x ), que permita extender la validez de las funciones de
Chebyshev para cualquier valor de x cuyo módulo sea mayor que 1?.
La respuesta es afirmativa. En efecto, la función:
γ n ( x ) = ch ( n arch x ) (4.5)
tiene, para x < -1 y x > 1, igual significado que cos ( n cos x ) para -1 < x < 1, como veremos a
continuación.
Comenzaremos por probar la validez de la expresión siguiente, que nos da el valor del coseno
hiperbólico de una suma de dos números:
ch ( α + β ) = ch α ch β + sh α sh β
Efectivamente:
α −α
ch α ch β + sh α sh β = e + e e β + e −β + e α − e −α e β − e −β =
2 2 2 2
α+β
= e + e− α + β + e α − β + e− ( α + β) + e α + β
− e − α + β − e α − β + e − (α + β) =
4
α+β
= e + e− ( α + β) = ch ( α + β ) (4.6)
2
A continuación, llamaremos
arch x = v ∴ x = ch v
Reemplacemos este valor en la (4.5), y obtendremos:
γ n ( x ) = ch ( n arch x ) = ch nv
Si n = 0, ∴ ch 0 = 1
Vemos también que si n = 1, entonces
γ1 ( x ) = ch v = x
Ahora, a partir de la fórmula (4.6), reemplazando α y β por, respectivamente, nv y v, podemos
hacer:
γ n+1 ( x ) = ch [( n + 1 ) v ] = ch ( nv + v ) = ch nv . ch v + sh nv . sh v
De modo enteramente similar se demuestra la fórmula siguiente, simétrica de la anterior:
γ n -1 ( x ) = ch [( n - 1 ) v ] = ch ( nv - v ) = ch nv . ch v - sh nv . sh v
El resultado de sumar miembro a miembro las dos últimas igualdades es:
γ n+1 ( x ) + γ n - 1 ( x ) = 2 ch v . ch nv = 2 x γn ( x )
Despejando γ n+1 ( x ), resulta
γ n+1 ( x ) = 2 x γn ( x ) - γ n - 1 ( x )
De aquí se llega a la fórmula de recurrencia siguiente, que, como en el caso anterior, nos
permitirá obtener todos los coeficientes, a partir del conocimiento de dos consecutivos:
γ n ( x ) = 2 x γ n-1 ( x ) - γ n-2 ( x )
Para terminar, debemos decir que, como no existe el arco coseno hiperbólico de ningún número
comprendido entre -1 y 1, tampoco existe la función γn ( x ) en dicho rango.
Como conclusión, las funciones Cn (x) y γn ( x ) son, cada una de ellas, prolongación analítica
de la otra. La figura siguiente muestra los respectivos dominios de definición.
Cn ( x )
γn ( x ) Dominio de
definición de Cn (x)
Dominio de
definición de γn (x)
x
-1 +1
Esta definición permite extender la validez de los Polinomios de Chebyshev para todo el dominio
de la variable x, desde − ∞ a + ∞.
C2 ( x ) C3 ( x )
1,5 1,5
1 1
0,5 0,5
x x
0 0
-1 -0,6 -0,2 0,2 0,6 1 -1 -0,6 -0,2 0,2 0,6 1
-0,5 -0,5
-1 -1
-1,5 -1,5
C4 ( x ) C5 ( x )
1,5 1,5
1
1
0,5 0,5
x 0
0
-0,6 -0 2 -1 -0,6 -0,2 0,2 0,6 1
-1 0,2 0,6 1
-0,5
-0,5
-1
-1
-1,5 -1,5
30
20
10
0
-2 -1 0 1 2
-10
-20
-30
T(ω) = 1
1 + ε2 Cn2 ( ω )
T5 (w)
1,2
En esta figura, la línea gruesa representa la
1 transferencia real de un filtro Chebyshev,
pasabajos, para n = 5, mientras que la
0,8 transferencia ideal se indica en línea de puntos
0,6
0,4
0,2
0
0 0,25 0,5 0,75 1 1,25 1,5 1,75 2 2,25
4.4 - Problemas.
4.4.1 - Expresar
C5 ( x ) = 16 x5 - 20 x3 + 5 x
Solución: Recordemos que
P5 ( x ) = 63 x5 - 35 x3 + 15 x
8 4 8
Llamemos:
Ecuaciones Diferenciales de Orden Superior. 4.9
Parte 4 – Polinomios de Chebyshev.
F3 = C5 - 16 . 8 P5 ( x ) = - 20 x3 + 5 x + 160 x 3 - 16 . 5 x
63 9 21
20
= - x 3 + 25 x
9 21
Hagamos ahora
20 . 2 P3 ( x ) = 25 x - 4 25 - 28 x = - 3 P ( x )
F1 = F 3 - x = 1
9 5 21 3 21 21
Respuesta:
C5 ( x ) = 128 P5 ( x ) - 8 P3 ( x ) - 1 P1 ( x )
63 9 7
b) Idem, la función C4 ( x ).
c) Idem, la función C6 ( x ).
C7 ( x ) = 64 x 7 - 112 x5 + 56 x3 - 7 x .
a) Verificar por inspección de las fórmulas respectivas, que para todas las funciones se
cumple que:
= 0, si n es impar
Cn ( 0 ) =
= ± 1, si n es par
.
d C2 ( x ) = 4 x ∴ C2 ( x ) tiene un mínimo en x = 0
dx
d 1
C3 ( x ) = 12 x2 - 3 ∴ Max / min en x = ±
dx 2
d 1
C4 ( x ) = 32 x3 - 16 x ∴ Max / min en x = ± y en x = 0
dx √2
etc.
c) Verificar que en todos los casos, la pendiente positiva máxima, dentro del intervalo
− 1 ≤ x ≤ 1
ocurre cuando x = 1. Esta propiedad es de gran importancia en la aplicación de las funciones de
Chebyshev para el diseño de filtros eléctricos.
Verificación: Observando las derivadas obtenidas en el problema b), podemos ver que el valor
máximo de aquellas, en el intervalo − 1 ≤ x ≤ 1, se produce en todos los casos cuando x = 1.
Analicemos, por ejemplo, la función C5 ( x ) = 16 x5 - 20 x3 + 5 x , cuya derivada es:
d C5 ( x ) = 80 x4 - 60 x2 + 5
dx
El valor máximo de la derivada, dentro del intervalo indicado, corresponde a x = 1, y es igual a
80 - 60 + 5 = 25
Adviértase que estamos diciendo, el valor máximo de la derivada en el intervalo, lo que de
ninguna manera implica que dicha derivada tenga un máximo en ese punto.
Ecuaciones Diferenciales de Orden Superior. 4.11
Parte 4 – Polinomios de Chebyshev.
Aplicaciones Matlab
Funciones de Chebyshev.
» % Cálculo de polinomios de Chebyshev por aplicación de la fórmula de recurrencia:
» syms x
» C0 = 1
C0 = 1
» C1 = x 2*x*(2*x^2-1)-x
C1 = x 1
» C2 = 2*x*C1 - C0 0.8
0.6
C2 = 2*x^2-1 0.4
» C3 = 2*x*C2 - C1 0.2
C3 = 2*x*(2*x^2-1)-x 0
» C4 = 2*x*C3 - C2 -0.2
-0.4
C4 = 2*x*(2*x*(2*x^2-1)-x)-2*x^2+1 -0.6
» ezplot(C3) -1
Columns 13 through 16
0.9208 0.6928 0.3448 -0.0752
Columns 17 through 20
-0.5000 -0.8432 -0.9992 -0.8432
Columns 21 through 23
-0.2312 1.0000 3.0328
» plot (x,C4)
3.5
2.5
1.5
0.5
-0.5
-1
-1.5 -1 -0.5 0 0.5 1 1.5
» w = [0 : .1 : 2]
w=
Columns 1 through 7
0 0.1000 0.2000 0.3000 0.4000 0.5000 0.6000
Columns 8 through 14
0.7000 0.8000 0.9000 1.0000 1.1000 1.2000 1.3000
Columns 15 through 21
1.4000 1.5000 1.6000 1.7000 1.8000 1.9000 2.0000
»n=3 % Primer caso: n = 3
n= 3
» C3 = cos (3*acos(w)) % Coeficiente C3, expresado en forma matricial.
C3 =
Columns 1 through 7
-0.0000 -0.2960 -0.5680 -0.7920 -0.9440 -1.0000 -0.9360
Columns 8 through 14
-0.7280 -0.3520 0.2160 1.0000 2.0240 3.3120 4.8880
Columns 15 through 21
6.7760 9.0000 11.5840 14.5520 17.9280 21.7360 26.0000
» % Consideraremos en ambos casos que epsilon es igual a 0.5.
Ecuaciones Diferenciales de Orden Superior. 4.13
Parte 4 – Polinomios de Chebyshev.
» epsilon = 0.5
epsilon = 0.5000
» % Llamaremos: an = 1+epsilon^2*Cn^2
» a3 = [1+epsilon^2*(C3(1,1))^2 1+epsilon^2*(C3(1,2))^2 1+epsilon^2*(C3(1,3))^2
1+epsilon^2*(C3(1,4))^2 1+epsilon^2*(C3(1,5))^2 1+epsilon^2*(C3(1,6))^2
1+epsilon^2*(C3(1,7))^2 1+epsilon^2*(C3(1,8))^2 1+epsilon^2*(C3(1,9))^2
1+epsilon^2*(C3(1,10))^2 1+epsilon^2*(C3(1,11))^2 1+epsilon^2*(C3(1,12))^2
1+epsilon^2*(C3(1,13))^2 1+epsilon^2*(C3(1,14))^2 1+epsilon^2*(C3(1,15))^2
1+epsilon^2*(C3(1,16))^2 1+epsilon^2*(C3(1,17))^2 1+epsilon^2*(C3(1,18))^2
1+epsilon^2*(C3(1,19))^2 1+epsilon^2*(C3(1,20))^2 1+epsilon^2*(C3(1,21))^2]
a3 =
Columns 1 through 7
1.0000 1.0219 1.0807 1.1568 1.2228 1.2500 1.2190
Columns 8 through 14
1.1325 1.0310 1.0117 1.2500 2.0241 3.7423 6.9731
Columns 15 through 21
12.4785 21.2500 34.5473 53.9402 81.3533 119.1134 170.0000
»
» % Por fin: T3 = (a3)^(-0.5)
» T3 = [(a3(1,1))^(-0.5) (a3(1,2))^(-0.5) (a3(1,3))^(-0.5) (a3(1,4))^(-0.5) (a3(1,5))^(-0.5)
(a3(1,6))^(-0.5) (a3(1,7))^(-0.5) (a3(1,8))^(-0.5) (a3(1,9))^(-0.5) (a3(1,10))^(-0.5)
(a3(1,11))^(-0.5) (a3(1,12))^(-0.5) (a3(1,13))^(-0.5) (a3(1,14))^(-0.5) (a3(1,15))^(-0.5)
(a3(1,16))^(-0.5) (a3(1,17))^(-0.5) (a3(1,18))^(-0.5) (a3(1,19))^(-0.5) (a3(1,20))^(-0.5)
(a3(1,21))^(-0.5)]
T3 =
Columns 1 through 7
1.0000 0.9892 0.9620 0.9298 0.9043 0.8944 0.9057
Columns 8 through 14
0.9397 0.9849 0.9942 0.8944 0.7029 0.5169 0.3787
Columns 15 through 21
0.2831 0.2169 0.1701 0.1362 0.1109 0.0916 0.0767
»
» % Segundo caso: n = 6
» C6 = cos (6*acos(w))
C6 = 1.0e+003 *
Columns 1 through 7
-0.0010 -0.0008 -0.0004 0.0003 0.0008 0.0010 0.0008
Columns 8 through 14
0.0001 -0.0008 -0.0009 0.0010 0.0072 0.0209 0.0468
Columns 15 through 21
0.0908 0.1610 0.2674 0.4225 0.6418 0.9439 1.3510
»
0.9 0.9
0.8
T3(w) 0.8
T6(w)
0.7 0.7
0.6 0.6
0.5 0.5
0.4 0.4
0.3 0.3
0.2 0.2
0.1 0.1
0 0
0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2 0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
Ecuaciones Diferenciales de Orden Superior. 4.15
Parte 4 – Polinomios de Chebyshev.
» ezplot (diff(C5))
» axis ([-1,1,-10,25]) 80*x^4-60*x^2+5
25
20
15
10
-5
-10
-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
x
30
20
10
-10
-20
-30
-40
-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
x
E cu a ci o n e s D i f e r e n ci a l e s
d e O r d en Su p er i o r
Pa r t e V
Funciones de Bessel
2006
Ecuaciones Diferenciales de Orden Superior. 5.3
Parte 5 – Funciones de Bessel.
Funciones de Bessel.
5.1 - Ecuación diferencial de Bessel:
Según se vio en la Tercera Parte que una ecuación diferencial de segundo orden, con coeficientes
variables responde a la fórmula general
( x - a ) 2 . y" + ( x - a) . α ( x ) . y' + β ( x ) . y = 0
P P (3.2)
La ecuación
Ecuación de
x y" + x y' + ( x - ν ) y = 0
2
P P
2
P P
2
P P
Bessel (5.1)
que se conoce como Ecuación Diferencial de Bessel, y en la que ν es un número real no negativo,
constituye un caso particular entre las ecuaciones diferenciales de segundo orden. Comparando
entre si las ecuaciones (3.2) y (5.1), surgen a primera vista las siguientes relaciones:
a = 0
α(x) = 1,
y β ( x ) = x 2 - ν2 P P P P
x 2 A y1 " ( x ) + x A y 1 ' ( x ) + A ( x 2 - ν 2 ) y 1 ( x ) = 0
P P B B B B P P P P B B
x 2 B y2 " ( x ) + x B y 2 ' ( x ) + B ( x 2 - ν 2 ) y 2 ( x ) = 0
P P B B B B P P P P B B
A tal fin, comenzaremos por sustituir en la misma la solución general (3.4), es decir:
∞
y(x) = Σ ck ( x - a ) k+γ
B B P P
k=0
Por razones de orden práctico, hemos cambiado el nombre del índice m por k. Hecho lo cual,
reemplazamos el valor de y ( x ) en la ecuación de Bessel, con lo que obtenemos la ecuación:
∞ ∞ ∞ ∞
Σ (k + γ) (k + γ -1) ck x B B
k+γ
P + Σ (k + γ) ck x
P B B
k+γ
P +
P Σ ck x B B
k+γ+2
P -ν
P
2
P P Σ ck xk+γ = 0
B B P P P
γ ( γ - 1 ) c o + γ c o - ν2 c o = 0 B B B B P P B B
Ecuación
Indicial
Esta igualdad se conoce como Ecuación Indicial, porque podemos a partir de ella calcular los
coeficientes ck (Ver apartado 3.1).
B B
Para resolver la Ecuación Indicial es necesario que se cumpla que co ≠ 0, pues de lo contrario B B
De modo similar, si k = 1, la suma de los coeficientes de x1+γ , que también debe ser nula, es: P P
( γ + 1 ) γ c1 + ( γ + 1 ) c1 - ν2 c1 = ( γ2 + 2 γ + 1 - ν2 ) c1 = 0
B B B B P P B B P P P P B B
tenemos:
( ν2 + 2 ν + 1 - ν2 ) c 1 = ( 2 ν + 1 ) c 1 = 0
P P P P B B B B
Como establecimos que ν es un número no negativo, entonces c1 deberá ser necesariamente nulo. B B
Ecuaciones Diferenciales de Orden Superior. 5.5
Parte 5 – Funciones de Bessel.
habríamos obtenido:
( ν2 - 2 ν + 1 - ν2 ) c 1 = ( - 2 ν + 1 ) c 1 = 0
P P P P B B B B
por lo que c1 debería ser también igual a cero, salvo en el caso puntual en que ν fuera igual a
B B
c1 = 0
B B
∴ ( k + γ )2 ck - ( k + γ ) ck + ( k + γ ) ck - ν2 ck + ck -2 = 0
P P B B B B B B P P B B B B
Al simplificarla, resulta
[ ( k + γ )2 - ν2 ] ck + ck -2 = 0 P P P P B B B B
Despejando ck obtenemos la siguiente fórmula de recurrencia que permite obtener todos los
B B
B B
(k + γ )2 - ν2 P P P
De aquí, como c1 es igual a cero se deduce que todos los coeficientes de índice impar son nulos:
B B
c1 = c3 = c5 = c7 = . . . = c2s+1 = 0
B B B B B B B B B B
Para determinar los coeficientes de índice par, sabiendo que γ = ν , empezaremos por
reemplazar este valor en la fórmula de recurrencia:
- ck -2 - ck -2 - ck -2
ck = = =
B B B B B B
B B
(k + ν )2 - ν2 P P P k 2 + 2 k ν + ν2 - ν2
P P P P P P k(k+ 2ν)
P P
B B
2m(2m+2ν) 4m(m+ν) P
(1)
TP PT Por ahora dejamos de lado el caso particular en el que ν = 0,5, que veremos oportunamente.
R. Abascal - Análisis de Señales y Sistemas
Ecuaciones Diferenciales de Orden Superior. 5.6
Parte 5 – Funciones de Bessel
Esta fórmula nos permitirá calcular todos los coeficientes de índice 2m, a partir del conocimiento
de co, pero como éste no está definido, se acostumbra adoptar para el mismo el siguiente valor,
B B
A partir de aquí, apelando a la fórmula de recurrencia, podemos obtener los demás coeficientes:
Para c2 ( En cuyo caso, m = 1 ),
B B
- co - 1
c2 = =
B B
B B
4(1 + ν) 22 ( ν + 1 ) 2ν Γ ( ν + 1 )
P P P P
Si recordamos que
Γ(n+1) = n. Γ(n )
la expresión del coeficiente c2 se puede reformular como sigue: B B
- 1 - 1
c2 =B B =
22+ν ( ν + 1 ) Γ ( ν + 1 )
P P 22+ν Γ ( ν + 2 )
P P
- c2 1 1
c4 = = =
B B
B B
8(2 + ν) 8 . 22+ν ( ν + 2 ) Γ ( ν + 2 )
P P 24+ν 2! Γ ( ν + 3 )
P P
Por reiteración, esta última fórmula conduce a la ecuación siguiente, que permite calcular en
forma directa cualquier coeficiente de índice par:
(-1)m
c2m = (5.5)
P P
B B
2 2m+ν
P P m! Γ ( ν + m + 1 )
∞ Función de
( - 1 ) m x2m
Jν ( x ) = x
B B
ν
P P Σ P P P
Bessel de 1ª P
(5.6)
m=0 2 2m+ν
P P m! Γ ( ν + m + 1 ) Clase
El exponente 2m en el numerador tiene en cuenta que los coeficientes de índice impar son nulos.
Ecuaciones Diferenciales de Orden Superior. 5.7
Parte 5 – Funciones de Bessel.
m=0 22m-ν m! Γ ( m − ν + 1 )
P P
donde A y B son números complejos arbitrarios. En efecto, esta ecuación no es otra que la (5.3),
en la que
y1 = J ν ( x )
B B B B
e y2 = J−ν ( x )
B B B B
dependientes entre sí, y la solución anterior no es válida. En efecto, las ecuaciones son ahora:
∞
( - 1 )m x2m
Jn ( x ) = x n
B B P P Σ P P P (5.7)
P
m=0 22m+n m! ( n + m ) !
P P
∞
( - 1 )m x2m
y J-n ( x ) = x -n
B B P P Σ P P P (5.8)
P
m= n 22m-n m! ( m - n ) !
P P
=
P
Σ P P P P
m=n 22m-n m! ( m - n )!
P P s=0 22s+n ( n + s )! s!
P P
Es decir
∞
( - 1 ) s x 2s
J-n ( x ) = ( - 1 )n xn
B B P P P Σ
P
P P P P
s=0 22s+n s! ( n + s )!
P P
Si cambiamos el nombre del índice s por m, esta ecuación es igual a ( - 1 ) n . Jn ( x ). Queda por P P B B
Como conclusión, cuando ν es un número entero, para encontrar una solución general de la
ecuación diferencial se hace necesario recurrir a otro tipo de funciones Bessel: Las llamadas
funciones de Bessel de segunda clase que estudiaremos en el parágrafo 5.9.
A continuación representamos las funciones Jo ( x ) y J1 ( x ): B B B B
1,2
1
0,8
0,6
0,4 Jo (x)
0,2 J1(x)
0
-0,2
-0,4
-0,6
Hasta ahora hemos expresado las funciones de Bessel a través de desarrollos en series de
potencias de x. Sin embargo, como veremos en este apartado, dichas funciones fueron
introducidas históricamente como integrales que involucran relaciones entre funciones
trigonometricas de x, de la forma siguiente:
Sea una función f(z) analítica en una corona con centro en el orígen de coordenadas, a la que
desarrollaremos en serie alrededor del punto z0 = (0, 0). B B
∞ ∞
f(z) = Σ an z
B B
n
P +
P
Σ bn z -n B B P P
n=0 n=1
Ecuaciones Diferenciales de Orden Superior. 5.9
Parte 5 – Funciones de Bessel.
an =
B B
1 ∫ f(z) dz
2πi C z n+1
P P
bn = B B
1 ∫ f(z) dz
2πi C z -n+1
P P
f(z) = Σ γn z n +
B B P
P
Σ γ-n z -n =
B B P P Σ γn z n
B B P
P
Donde γn =
B B
1 ∫ f ( z ) dz
2πi C z n+1 P P
f(ζ) = e 2
P P
siendo ζ = eiθ P P
orden n. Antes de continuar, trataremos de averigüar qué forma adopta γn en este caso. Derivando B B
ζ respecto de θ,
∴ d ζ = i e iθ dθ P P
B
x ( e iθ − e −iθ) 2π
B B
2
e ix sen θ dθ
γn =
B B
1 ∫ e P P
i e i θ dθ =
P P
1 ∫ P P
2πi C e inθ . e iθ
P P P P 2π 0 e inθ P P
y finalmente:
B 2π
B
γn =
B B
1 ∫ e i (x sen θP
− nθ)
P dθ Función de Bessel de (5.9)
primera clase y orden “n”
2π 0
En la Sección 5.4 trataremos de relacionar esta forma con la definida en el parágrafo 5.2. De
hecho, demostraremos que
γn = Jn ( x )
B B B B
e i (x sen θ P
− nθ)
P = cos ( x sen θ - n θ ) + i sen ( x sen θ - n θ )
la función de Bessel se puede escribir también de la manera siguiente:
B 2π
B 2π
γn = B B
1 ∫ cos ( x sen θ - n θ ) d θ + i ∫ sen ( x sen θ - nθ ) d θ (5.10)
2π 0 2π 0
En la última integral el integrando es el seno de una diferencia. Por tanto, dicha integral puede
desdoblarse así:
B 2π
B
∫ sen ( x sen θ - n θ ) d θ =
B 0
B
B 2π
B 2π
= ∫ sen ( x sen θ ) cos n θ d θ − ∫ cos ( x sen θ ) sen n θ d θ
B 0
B 0
Llamemos:
f1 ( θ ) = sen ( x sen θ )
B B y f2 ( θ ) = cos ( x sen θ )
B B
Entonces:
B 2π
B 2π 2π
∫ sen ( x sen θ - nθ ) dθ = ∫ f1 ( θ ) cos nθ dθ − B B ∫ f2 ( θ ) sen nθ dθ
B B (5.11)
B 0
B 0 0
Fourier,
B 2π
B
an = B B
1 ∫ f1 ( t ) cos n t d t
B B
B B π 0
con la primer integral del segundo miembro de la (5.11), vemos que, si an es el coeficiente del B B
B 2π
B
∫ f1 ( θ ) cos n θ d θ = an π
B B B B
B 0
B
Ecuaciones Diferenciales de Orden Superior. 5.11
Parte 5 – Funciones de Bessel.
Pero siendo f1 ( θ ) impar, los coeficientes an, y por tanto, la integral, deberán ser todos nulos. De
B B B B
modo similar, como f2 ( θ ) es una función par, la segunda integral en la (5.10) es también nula:
B B
B 2π
B 2π
∫ cos ( x sen θ ) sen n θ d θ = ∫ f2 ( θ ) sen n θ d θ = bn π = 0
B B B B
B 0
B 0
ζ n = cos nθ + i sen nθ
P P y ζ -n = cos nθ - i sen nθ
P P (5.13)
Restando entre sí las dos primeras se advierte que:
ζ - ζ -1 = 2 i sen θ P P
de donde:
ζ − ζ
B
i sen θ
e P = e
P
2
P P . e 2
P P
i x sen θ 2 2 2ζ
e P =
P e P PB
PB
= e
P P . e
P P P
e i x sen θ = 1 + xζ + 1 x ζ + 1 x ζ + . . .
2 2 3 3 2
P P
P
P
P
P
P
P
P
P
1- x + 1 x - 1 P
P
x3 + . . .
P
P
2 2! 4 3! 8 2ζ 2! 4ζ2 3! P P 8ζ3 P P
Haremos seguidamente el producto de cada uno de los términos de una serie por todos los de la
otra. Agrupando los correspondientes a potencias de ζ de igual orden, resulta:
2
e i x sen θ = ζ0
P P P P 1- x + 1 x4- 1 x6 + ... P
P
P
P
P
P
+
4 (2!)2 16 (3!)2 64 P P P P
+ ζ x - 1 x3 + 1 P
P
x5 - 1 x7 + . . .
P
P
P
P
+
2 2! 23 2! 3!
P P 25 3! 4! 27
P P P P
+ ζ2 P P
1 x2 - 1 P
P
x4 + 1 x6 - . . .
P
P
P
P
+ ... +
2! 4 3! 24 2! 4! 26P P P P
3
+ ζ-1 P P - x + 1 x - 1 x5 + 1 x7 - . . . P
P
P
P
P
P
+
2 2! 23 2! 3! 25 3! 4! 27 P P P P P P
+ ζ -2 P P
1 x2 - 1 P
P
x4 + 1 x6 - . . . P
P
P
P
+ ... (5.14)
2! 4 3! 24 2! 4! 26 P P P P
m=0 22m+n m! ( n + m ) !P P
B B P P P P P P P P
20 0! 0! 22 1! 1! 24 2! 2! 26 3! 3!
P P P P P P P P
2
Jo ( x ) = 1 - x + 1
B B
x4 - 1 x6 + . . . P
P
P
P
P
P
4 (2!)2 16 (3!)2 64 P P P P
Para n = 1:
(-1)0 x0 + x 1 (-1) x2 + x 1 (-1)2 x4 + x 1 (-1)3 x6 + . . .
J1 ( x ) = x 1
P P P P P P P P P P P P P P P P
B B P P P P P P P P
2 0! 1! 23 1! 2! 25 2! 3! 27 3! 4! P P P P P P P P
J1 ( x ) =
B B
x - 1 x3 + 1 P
P
x5 - 1 P x7 + . . . P
P
P
2 2! 23 2! 3!
P P 25 3! 4! 27
P P P P
Ecuaciones Diferenciales de Orden Superior. 5.13
Parte 5 – Funciones de Bessel.
De modo similar:
J2 ( x ) =
B B
1 x2 P
P
- 1 x4 - 1 x6 + . . .
P
P
P
P
2! 22 P P 3! 24 2! 4! 26P P P P
...
J-1 ( x ) = -
B B
x + 1 x3 - 1 x5 + 1
P x7 - . . .
P
P
P
P
P
2 2! 23 2! 3! 25
P 3! 4! 27
P P P P P
J-2 ( x ) = B B
1 x2 - 1 P
P
x4 + 1 x6 - . . .P
P
P
P
2! 22 3! P P 24 2! 4! 26 P P P P
...
Podemos ver que cada uno de los paréntesis en la (5.14) se corresponde exactamente con una de
las funciones Jn ( x ). Reemplazando en la mencionada igualdad, se obtiene:
B B
e i x sen θ = Jo ( x ) + ζ J1 ( x ) + ζ2 J2 ( x ) + ζ3 J3 ( x ) + . . . +
P P B B B B P P B B P P B B
(5.16)
Recurriremos ahora a las ecuaciones (5.13),
ζ n = cos nθ + i sen nθ P P y ζ -n = cos nθ - i sen nθ
P P (5.13)
Sumándolas o restándolas entre sí, deducimos respectivamente:
ζn + ζ-n = 2 cos nθ P P P P
y ζn - ζ-n = 2 i sen nθ
P P P P
0 0 m=1 0
En el segundo miembro podemos observar que, con la única excepción del término para el cual n
es igual a 2m, todos los demás son nulos, porque están multiplicados por integrales de funciones
coseno(1) entre los límites 0 y π. Por lo tanto, la ecuación se reduce así:
TP PT
π π
∫ cos nθ cos ( x sen θ ) dθ = 2 Jn ( x ) B B ∫ cos2 nθ dθ
P P
0 0
donde n es entero y par (n = 2m). Ahora sólo queda resolver la última integral:
π π π π
1 + cos 2nθ
∫ ∫ dθ = ∫ 1 dθ + ∫ dθ = π
cos 2nθ
cos nθ dθ =
2
P P
0 0 2 0 2 0 2 2
Por consiguiente
π
1
Jn ( x ) =
B B ∫ cos nθ . cos ( x sen θ ) dθ (5.21)
π 0
De idéntica forma, multiplicando la (5.20) por sen nθ, e integrando, se obtiene, para n impar:
π
1
Jn ( x ) =
B B ∫ sen nθ . sen ( x sen θ ) dθ (5.22)
π 0
Es posible agrupar estas dos ecuaciones, (5.21) y (5.22) en una sola. En efecto, como la primera
de ellas es igual a cero para n impar y la segunda lo es igualmente cuando n es par, podemos
decir que, para cualquier valor de n entero y positivo, se satisface la igualdad:
π
1
Jn ( x ) =
B B ∫ [ cos nθ . cos ( x sen θ ) + sen nθ . sen ( x sen θ ) ] dθ
π 0
O también, como el integrando es igual al coseno de la diferencia entre nθ y x sen θ:
(1)
TP PT Recuérdese que cos a cos b = 1/2 [( cos a + b ) - cos ( a - b )]
Ecuaciones Diferenciales de Orden Superior. 5.15
Parte 5 – Funciones de Bessel.
π
1
Jn ( x ) =
B B ∫ cos ( nθ - x sen θ ) dθ
π 0
Pero esta última integral es la misma que la que aparece en la fórmula (5.12), con lo que queda
demostrado que
γn = Jn ( x )
B B B B
Σ P P P P
Σ P P P
(5.24)
P
2 m=0 2 2m
P P m! ( m + 0,5) Γ ( m + 0,5 )
1 √π
Γ ( 0,5 ) =
2 2
Para m = 1:
3 3 3 3 √π
Γ = . 1 Γ ( 0,5 ) =
2 2 2 2 4
Para m = 2
5 5 5 15 √ π
Γ = . 3 . 1 Γ ( 0,5 ) =
2 2 2 2 2 8
.......
Notar que por razones de mayor claridad estamos utilizando indistintamente las formas
fraccionaria o decimal, según nos convenga en cada oportunidad. Reemplazando en la (5.24), y
efectuando operaciones, se obtiene:
0,5
x 2 4 x2 8x4
J0,5 ( x ) = − + − ...
P P P P P P P
B B P
2 √π 4 . 3 .√ π 16 . 2 . 15 . √ π
B B P
2π 3 60
A continuación sacaremos nuevamente factor común, esta vez, 2/x,
0,5
x 2 x 3 + x5 − . . .
J0,5 ( x ) = x −
P P P P P P P
B B P
2π x 6 120
0,5
2 x3 x5
∴ J0,5 ( x ) = x − + − ...
P P P P P P P
B B P
xπ 3! 5!
El último factor es igual al desarrollo en serie de sen x. Reemplazando, se obtiene finalmente la
función de Bessel para ν = 0,5:
0,5
2
J0,5 ( x ) = sen x
P P
B B
xπ
De modo similar se demuestra que el valor de la función de Bessel para ν = - 0,5 es:
0,5
2
J−0,5 ( x ) = cos x
P P
B B
xπ
Ecuaciones Diferenciales de Orden Superior. 5.17
Parte 5 – Funciones de Bessel.
Estudiaremos en este apartado y los siguientes algunas propiedades de las funciones de Bessel.
En primer lugar, demostraremos la igualdad:
d x-n Jn ( x )
P P B B = - x-n Jn+1 ( x )
P P B B (5.25)
dx
La demostración más sencilla consiste en trabajar con ambos miembros en forma separada, hasta
llegar a una misma expresión, lo que nos permitirá, por carácter transitivo, confirmar la validez
de la ecuación. Empezaremos por el miembro de la izquierda. Para ello, tomemos la (5.7), y
multipliquémosla por x -n , con lo cual obtenemos: P P
∞
( - 1 )m x2m
x -n
P P Jn ( x )
B B = Σ P P P P
2m+n
m=0 2 P P m! ( n + m )!
que ahora debemos derivar respecto de x:
∞
( - 1 )m 2 m x2m-1
d x -n
P P Jn ( x )B B = Σ P P P P
(5.26)
dx m=0 2 2m+n m! ( n + m )!
P P
2m+n+1
m=0 2 P P m! ( n + m + 1 )!
Mulitiplicaremos ambos miembros por x-n: P P
∞
( - 1 )m x2m
x-n Jn+1 ( x ) = x
P P B B Σ P P P P
m=0 2 2m+n+1 m! ( n + m + 1 )!
P P
P P B B
2k-2+n+1
k=1 2 P P ( k - 1 )! ( n + k )!
2 2k-2+n+1 ( k - 1 )! ( n + k )!
P P k=0 2 -2+n+1 ( - 1 )! ( n )!
P P
Ello nos permite completar la sumatoria en la (5.27), agregándole el término mencionado sin que
la misma se altere en absoluto. Es decir:
∞
( - 1 )k-1 x2k-2
x-n Jn+1 ( x ) = x
P P B B Σ P P P P
k=0 2 2k+n-1 ( k - 1 )! ( n + k )!
P P
=
P
Σ P P P P
2k+n-1 2k+n
k=0 2 P P 2 k ( k -1 )! ( n + k )! k=0 2 P P ( k )! ( n + k )!
Apelando también a la igualdad:
( - 1 ) k-1 = ( - 1 ) k . ( - 1 ) -1 = - ( - 1 ) k,
P P P P P P P P
k=0 2 2k+n ( k )! ( n + k )!
P P
=
P
P
P
Σ P P P P
m=0 2 2m+n m! ( m + n )!
P P m=0 2 2m+n m! ( m + n )!
P P
Derivando respecto de x:
∞
( - 1 )m 2 ( m + n ) x2(m+n)-1
d x Jn ( x ) n
P P B B = Σ P P P P
dx m=0 2 2m+n-1 m! ( m + n - 1 )!
P P
∞
( - 1 )m x2m+(n-1)
d n
x Jn ( x )
P P B B = x n
P P Σ P P P P
dx m=0 2 2m+(n-1) m! ( m + n - 1 )!
P P
∞
( - 1 ) m x2m
d n
x Jn ( x )
P P B B = x .x n
P P
n-1
P Σ
P
P P P P
= xn Jn-1 ( x )
P P B B
2m+(n-1)
dx m=0 2 P P m! ( m + n - 1 )!
Con lo cual queda demostrada la (5.28).
dx
d
y x-n Jn ( x )
P P B B = - x-n Jn+1 ( x ) P P B B
dx
surge que entre cada dos ceros de Jn ( x ) cae un cero de Jn+1 ( x ) y a la inversa. Lo mismo vale
B B B B
para las funciones Jn-1 ( x ) y Jn ( x ). Y por extensión a todas las funciones de la familia.
B B B B
Notemos en primer lugar que la función xn Jn ( x ) tiene los mismos ceros que Jn ( x ), más otros P P B B B B
Jn ( x ) B B
x-n Jn ( x ) P P B B
x
α β
Por su parte, la función x-n Jn ( x ) tendrá también los mismos ceros que Jn ( x ) , más otros n P P B B B B
son de xn Jn ( x ) y de x-n Jn ( x ).
P P B B P P B B
dx
y por lo tanto, por un razonamiento similar, también lo es de Jn-1 ( x ). B B
Es decir: Jn-1 ( λ ) = 0
B B (λ ≠0)
Veamos esto en forma gráfica:
Jn−1 ( x )
B B
Jn ( x )
B B
x
α λ β
Razonando en forma inversa que antes, podemos decir que si λ es un cero no nulo de xn Jn-1 ( x ) P P B B
λn Jn-1 ( λ ) = 0
P P B B (λ ≠0)
es necesariamente también un cero de Jn-1 ( x ). Esto es lógico, puesto que los n ceros de xn están B B P P
todos en el origen.
De modo similar, entre α y β debe existir un valor, δ, para el cual x-n Jn ( x ) presente un máximo P P B B
dx
Por lo tanto, si δ es un cero no infinito de x-n Jn+1 ( x ), es decir P P B B
δ -n Jn+1 ( δ ) = 0
P P B B (δ ≠ ∞)
entonces δ es necesariamente un cero de Jn+1 ( x ). B B
Ecuaciones Diferenciales de Orden Superior. 5.21
Parte 5 – Funciones de Bessel.
respecto. Al aplicar a las mismas la propiedad 1, deducimos que también J2 ( x ) tendría infinitas
B B
raíces, y por inducción, lo mismo debería ocurrir con todas las funciones de Bessel de primera
clase y coeficiente n, entero.
Volveremos más adelante sobre este punto.
v ( α ) . u"( α ) - u ( α ) . v"( α ) = 0
o también:
v ( β ) . u"( β ) - u ( β ) . v"( β ) = 0
De aquí:
v ( α ) . u"( α ) = u ( α ) . v"( α ) = 0 (5.32)
y
v ( β ) . u"( β ) = u ( β ) . v"( β ) = 0 (5.33)
Supongamos por un momento que elegimos una función v ( x ) que satisface la ecuación
diferencial (5.30), pero tal que ni α ni β sean raíces suyas.
En tal caso, es evidente que para que se cumplan las relaciones (5.32) y (30,.33), la derivada
segunda de la función u ( x ) debe ser nula en α y en β, respectivamente.
La explicación anterior nos fuerza a aceptar que u ( x ) y sus derivadas primera y segunda deben
comportarse aproximadamente como muestra la figura siguiente:
u'(x) u (x)
u" (x)
x
α β
∫ ( v u" - u v" ) dx = ∫ ( h - g ) . u v . dx
α α
Y calcularemos la primera integral por partes. Para lo cual, teniendo en cuenta que
β β
∫ ( v du' - u dv' ) = ∫ ( h - g ) . u v . dx
α α
β β β
∴ ∫ v du' - ∫ u dv' = ∫ ( h - g ) . u v . dx
α α α
β β β β β
∴ v u' - ∫ v' u' dx - u v' + ∫ u' v' dx = ∫ ( h - g ) . u v . dx
α α α α α
u (x)
v(x)
u' ( x )
x
α β
La figura muestra en primer lugar que u' ( α ) tiene distinto signo que u' ( β ).
h(x) ≠ g(x)
Esto es obvio, porque si fueran iguales, la integral sería nula.
4 - Raíces de Jo ( x ):
B B
u = y √x (5.36)
∴ y = u x -1/2 P P
2
y la derivada segunda:
2 2 4
Al reemplazar en la ecuación diferencial de Bessel obtenemos:
4 2
Simplificando de nuevo y agrupando los coeficientes de las potencias de igual grado de la
variable u, resulta
x2 u" + u
P P x2 - n 2 + 1
P P P P = 0
4
Dividiendo por x2 y reagrupando términos, esta ecuación se puede modificar como sigue:
P P
Ecuaciones Diferenciales de Orden Superior. 5.25
Parte 5 – Funciones de Bessel.
2
u" + u 1 - 4n -1 = 0 (5.37)
P P
4 x2 P
Sintetizando:
Esta ecuación es la misma que la (5.29), con
1
g = 1 + (5.39)
4 x2 P
Su solución es:
u = y √x
Además, como se trata de la ecuación de Bessel, con n = 0, también debe ser
y = Jo . B B
Por tanto:
u = y √ x = Jo ( x ) √ x B B (5.40)
Verificaremos a continuación esta afirmación. Si en la ecuación (5.7),
∞
( - 1 )m x2m
Jn ( x ) = x n
B B P P Σ P P P P
m=0 22m+n m! ( n + m ) !
P P
hacemos n = 0, entonces:
∞
( - 1 )m x2m
Jo ( x ) =
B B Σ P P P P
m=0 22m ( m! ) 2P P P P
Es decir:
2
Jo ( x ) = 1 - x + 1
B B
x4 - 1 x6 + . . . P
P
P
P
P
P
4 (2!)2 16 (3!)2 64 P P P P
u = √x Jo ( x ) = x1/2 -
B B P P
1 x 5/2 +
P P
1 x 9/2 -
P P
1 x 13/2 + . . .
P P
4 64 2304
Derivaremos ahora para obtener u':
2 8 128 4608
Y derivando nuevamente,
u" = - 1 x -3/2 - 15
P P x 1/2 + P P
63 x 5/2 - P P
143 x 9/2 + . . . . .
P P
4 16 256 9216
También:
u = 1 x -3/2 - 1 x 1/2 + 1 x 5/2 - 1
P P x 9/2 + . . . P P P P P P
2
4x P P 4 16 256 9216
Basta reemplazar estos valores en la (5.38), para verificar que efectivamente la (5.40) es una
solución de la misma. En efecto, de tal reemplazo resulta:
2
4x P P 4 16 256 9216
+ x1/2 -
P P
1 x 5/2 + 1 x 9/2 - 1 x 13/2 + . . . +
P P P P P P
4 64 2304
4 16 256 9216
Y al agrupar en esta ecuación los coeficientes de las potencias de x de igual grado, hallamos:
u" + u + u = 1 - 1 x -3/2 +
P P P
16 - 15
P - 1 x 1/2 +
P P P
2
4x P P 4 4 16 16 16
+ 63 - 64 + 1 P
x
a a+π a+2π
Las raíces consecutivas de las funciones de Bessel, a partir de la segunda, están separadas entre sí
por un valor muy próximo a π. Efectivamente, en el caso de J0, las primeras raíces caen en:
B B
β
v ( β ) u' ( β ) - v ( α ) u' ( α ) = ∫ ( h - g ) . u ( x ) . v ( x ) dx (5.35)
α
podemos dedudcir que si h ≠ g, entonces
v ( β ) u' ( β ) - v ( α ) u' ( α ) ≠ 0
O, lo que es igual:
v ( β ) u' ( β ) ≠ v ( α ) u' ( α )
De aquí podemos deducir también que, si
v ( α ) = 0, entonces v(β) ≠ 0
Supongamos ahora que elegimos el punto a coincidente con α. Como dos raíces cualesquiera de
la función Jo ( x ), que son a su vez raíces de u ( x ), difieren entre sí un valor muy aproximado,
B B
pero no exactamente igual, a π, nos encontraremos con una situación aproximada a la que
representa la figura siguiente:
u (x)
u' (x)
x
a≡α β a +2π
v (x)
La figura muestra que entre cada dos raíces de v ( x ) cae una raíz de Jo ( x ). Nótese que laB B
h(x) ≠ g(x)
Ecuaciones Diferenciales de Orden Superior. 5.29
Parte 5 – Funciones de Bessel.
d Jn ( σ )
= d Jn ( σ ) d σ d Jn ( σ )
= a
B B B B B B
dx dσ dx dσ
d Jn ( σ ) = 1 d Jn ( σ ) = J 'n ( σ )
∴ B B B B B B
dσ a dx a
Derivando nuevamente, la derivada segunda es:
d2 J n ( σ ) =
P P B B J"n ( σ ) B B
d σ2 P P a2 P P
Jn' ( σ ) y Jn" ( σ ) son la derivadas respecto de x. Reemplazando en (5.41), la misma queda así:
B B B B
x2 . J n " ( σ ) + x . J n ' ( σ ) + ( a 2 x2 - n 2 ) J n ( σ ) = 0
P P B B B B P P P P P P B B
1 J '(σ) + n2
Jn " ( σ ) + a2 - Jn ( σ ) = 0 (5.42)
P P
B B
n B B P P B B
x x2 P P
∴ Jn = u x-1/2
B B P P
Derivando respecto de x:
1
∴ Jn' = u' x-1/2 -
B B P P u x-3/2 P P
2
Y derivando una vez más:
1 1 3
∴ Jn" = u" x -1/2 −
B B P P u' x -3/2 −
P P u' x -3/2 + P P u x -5/2 =
P P
2 2 4
3
∴ = u" x -1/2 − u' x -3/2 + P P P P u x -5/2
P P
4
Por fin, al remplazar en la (5.42), la ecuación diferencial queda ahora formulada así:
u" x -1/2 − u' x -3/2 + 3 u x -5/2 + u' x-3/2 − 1 u x -5/2 + a2 u x -1/2 − n2 u x -5/2 = 0
P P P P P P P P P P P P P P P P P P
4 2
1/2
A continuación, simplificaremos los dos términos en u', multiplicaremos el resto por x P , y
P
P P
4 x2 P x2
P P P
Reagrupando de nuevo, la ecuación puede ahora sintetizarse como vemos aquí abajo:
4 n2 - 1
u" + a2 - u = 0 (5.43)
P P
P P
2
4x P
Si en lugar del reemplazo σ = ax hubiéramos hecho σ = bx, siguiendo idénticos pasos habríamos
llegado a una ecuación totalmente similar, excepto por el nombre de la variable:
4 n2 - 1
v" + b2 - v= 0 (5.44)
P P
P P
2
4x P
P P
4 x2 P
2
y H ( x ) = b2 - 4 n - 1 P P
P P
4 x2 P
Si nos detenemos un instante para analizar lo hecho hasta aquí, podemos ver que estas ecuaciones
son idénticas a las (5.29) y (5.30), a partir de las cuales obtuvimos en su momento la (5.34).
Siguiendo ahora los mismos pasos que en aquella ocasión, pero integrando esta vez entre los
límites 0 y x, llegamos a la igualdad siguiente:
x x
∴ ( v u' - u v' ) = ∫ ( H - G ) . u v . dx
0 0
Ecuaciones Diferenciales de Orden Superior. 5.31
Parte 5 – Funciones de Bessel.
Si restamos G ( x ) de H ( x ), es decir:
H - G = b2 - a 2 P P P P
x x
∴ ( v u' - u v' ) = (b - a ) 2
P P
2
P P ∫ u v . dx (5.45)
0 0
y como
u = √x . Jn ( ax ) B B
y v = √x . Jn ( bx ) B B
obtenemos finalmente:
x x
∴ ( v u' - u v' ) = ( b 2 - a2 ) P P P P ∫ x . Jn ( ax ) . Jn ( bx ) . dx
B B B B
0 0
2
1
y v' = x-1/2 Jn ( bx ) + b x1/2 J'n ( bx )
P P B B P P B B
2
Por tanto:
1
v u' - u v' = Jn ( ax ) Jn ( bx ) + a x J'n ( ax ) Jn ( bx ) -
B B B B P P B B B B
2
1
- Jn ( bx ) Jn ( ax ) - b x J'n ( bx ) Jn ( ax )
B B B B P P B B B B
2
∴ v u' - u v' = x a J'n ( ax ) Jn ( bx ) - b J'n ( bx ) Jn ( ax )
P P B B B B P P B B B B
( b2 - a 2 )
P P P P ∫ x Jn ( ax ) Jn ( bx ) x = x
B B B B a J'n ( ax ) Jn ( bx ) - b J'n ( bx ) Jn ( ax )
B B B B B B B B
( b2 - a2 ) ∫ x Jn ( ax ) Jn ( bx ) dx = a J'n ( a ) Jn ( b ) - b J'n ( b ) Jn ( a )
P P P P B B B B B B B B B B B B (5.46)
0
A continuación analizaremos una por una las diferentes alternativas que pueden darse respecto de
esta ecuación.
cero:
1
( b2 - a 2 ) P P P P ∫ x Jn ( ax ) . Jn ( bx ) dx = 0
B B B B
Estamos en presencia de dos factores cuyo producto es cero. Existen dos posibilidades: Si ambas
raíces son distintas, a ≠ b, o la integral es nula, o bien a = - b. Obviamente entonces, para que la
integral
1
∫ x Jn2 ( ax ) dx B PB P (5.47)
0
Segundo caso: Una segunda alternativa consiste en que a y b sean ambas raíces de la ecuación
J'n ( x ) = 0,
B B
observando la (5.46) vemos que se reproduce una situación idéntica a la del primer caso. Es decir,
que la condición necesaria para que la integral (5.47) sea no nula es la misma que antes:
a2 = b2 P P P P
dx
Al efectuar esta derivada llegamos a la igualdad:
- n x -n-1 Jn ( x ) + x -n J'n ( x ) = - x -n Jn+1 ( x )
P P B B P P B B P P B B
- n x -1 Jn ( x ) + J'n ( x ) = - Jn+1 ( x )P P B B B B B B
Ecuaciones Diferenciales de Orden Superior. 5.33
Parte 5 – Funciones de Bessel.
∴ Jn+1 ( x ) + J'n ( x ) = n x -1 Jn ( x )
B B B B P P B B
Jn+1 ( b ) = 0,
B B
entonces:
J'n ( a ) = n a-1 Jn ( a )
B B P P B B
o bien:
a J'n ( a ) = n Jn ( a ) B B B B
Multiplicando estas dos últimas igualdades entre sí, en forma cruzada, obtenemos:
b J'n ( b ) n Jn ( a ) = a J'n ( a ) n Jn ( b )
B B B B B B B B (5.49)
De aquí, simplificando n en ambos miembros y pasando todo al primero, resulta:
b J'n ( b ) Jn ( a ) - a J'n ( a ) Jn ( b ) = 0
B B B B B B B B
El primer miembro de esta última igualdad coincide exactamente con el último miembro de la
(5.46). Por tanto, nuevamente deberá ser nula la integral que aparece en ella, salvo que fueran
a2 = b2
P P P
La conclusión obvia es que esta tercera alternativa es equivalente a los dos anteriores.
dx
Efectuando esta derivada llegamos a la expresión:
n xn-1 Jn ( x ) + xn J'n ( x ) = xn Jn-1 ( x )
P P B B P P B B P P B B
n x -1 Jn ( x ) + J'n ( x ) = P P B B B B Jn-1 ( x )
B B
∴ n Jn ( x ) + x J'n ( x ) - x Jn-1 ( x ) = 0
B B B B B B (5.51)
Como a y b son raíces de la (5.50), es decir:
Jn-1 ( a ) = 0
B B
Jn-1 ( b ) = 0,
B B
Al reemplazar cada una de estas igualdades en la ecuación (5.51), ésta queda, respectivamente
igual a:
n Jn ( a ) = - a J'n ( a )
B B B B
ó, b J'n ( b ) = - n Jn ( b )
B B B B
Pero ya habíamos obtenido esta igualdad, en la ecuación (5.41), por lo que también la cuarta
posibilidad conduce a un resultado idéntico a los tres primeros supuestos.
en la que C es una constante arbitraria, en tanto que a y b son dos raíces distintas de la ecuación,
es decir:
a J'n ( a ) + C Jn ( a ) = 0
B B B B
y
b J'n ( b ) + C Jn ( b ) = 0
B B B B
O bien:
a J'n ( a ) = - C Jn ( a )
B B B B
y
b J'n ( b ) = - C Jn ( b )
B B B B
Simplificando C, y pasando todo al primer miembro, obtenemos nuevamente una ecuación que ya
nos está resultando familiar:
b J'n ( b ) . Jn ( a ) - a J'n ( a ) . Jn ( b ) = 0
B B B B B B B B
La conclusión es, una vez más, que este caso es también similar a los anteriores. En resumen, si
se cumple que a y b son raíces de cualesquiera de las cinco ecuaciones supuestas, la condición
necesaria para que la integral
1
∫ x Jn ( ax ) Jn ( bx ) dx B B B B
b = 0, si j ≠ k
∫ fj ( x ) fk ( x ) dx =
B B B B
a ≠ 0, si j = k
En ocasiones, la ortogonalidad requiere la existencia de una función "complemento" o "peso",
g ( x ), de la siguiente forma:
b = 0, si j ≠ k
∫ g ( x ) fj ( x ) fk ( x ) dx = B B B B
a ≠ 0, si j = k
Tal es el caso de las funciones de Bessel, donde:
El complemento es g ( x ) = x, como puede verse en los cinco casos expuestos.
Las funciones fj ( x ) y B B fk ( x ) son, respectivamente:
B B
fj ( x ) = Jn ( ax ) = Jn ( αj x )
B B B B B B B B
y fk ( x ) = Jn ( bx ) = Jn ( αk x )
B B B B B B B B
entonces:
1 = 0, si αj 2 ≠ αk 2
B B P P B B P
∫ x Jn ( αj x ) Jn ( αk x ) dx =
B B B B B B B B
0 ≠ 0, si αj 2 = αk 2
B B P P B B P P
Por consiguiente es posible en principio desarrollar una función f ( x ) como una suma constituida
por los infinitos términos de una cualquiera de las familias mencionadas, donde el parámetro i
varía de cero a infinito. Por ejemplo:
∞
f(x) = Σ c i J n ( αi x ) = c o J n ( αo x ) + c 1 J n ( α1 x ) + c 2 J n ( α2 x ) + . . .
B B B B B B B B B B B B B B B B B B B B B B B B
i=0
n =1
(5.52)
en la cual:
φj ( x ) = J n ( αj x )
B B B B B B
y φk ( x ) = J n ( αk x )
B B B B B B
a n=1 a
b b
= c1 B B ∫ φ1 ( x ) . φk ( x ) d x + c 2
B B B B B ∫
B φ2 ( x ) . φk ( x ) d x + . . . +
B B B B
a a
b
+ ck B B ∫ φk ( x ) . φk ( x ) d x + . . .
B B B B
a
Pero
b = Mk B si k = n
B
∫ φk ( x ) . φn ( x ) . d x
B B B B (5.53)
a = 0 si k ≠ n
De aquí llegamos a la siguiente igualdad, que nos permite definir los coeficientes ck. B B
B
∫ f ( x ) . φk ( x ) . d x =
B B B B ck . M k
B B B (5.54)
B B
a
Ecuaciones Diferenciales de Orden Superior. 5.37
Parte 5 – Funciones de Bessel.
k =1 Mk B B a
El segundo miembro en esta ecuación constituye lo que se conoce como una Serie generalizada
de Fourier.
∫ φj ( x ) . φk ( x ) . d x
B B B B
a = 0 si k ≠ j
haciendo los reemplazos adecuados al caso presente y teniendo en cuenta el peso, x, hallamos la
igualdad:
1
∫ x . Jn2 ( αj x ) . d x = Mk
B PB P B B B B
Obsérvese que Mk es la Norma del conjunto ortogonal de funciones. Por su parte, efectuando los
B B
Mk B B 0
mantienen una relación de linealidad entre sí, por lo que para resolver la ecuación diferencial
respectiva se hacía necesario recurrir a las llamadas Funciones de Bessel de Segunda Clase.
contrario(1). TP PT
se reduce a
x y” + y’ + x y = 0
La ecuación indicial
γ ( γ - 1 ) c o + γ co - n2 co = 0 B B B B P P B B
se reduce a su vez a:
γ2 - γ + γ = 0
P P
∴ γ1 = γ2 = 0
B B B B
Es decir que la ecuación indicial tiene una raíz doble igual a cero. Esto nos obliga a buscar un
camino diferente para encontrar la solución.
En el caso general, para que la ecuación (3.6)
γ = - ( αo - 1 ) ± √ ( αo - 1 ) - 4 βo
2
B B B B P P B
2
tenga una raíz real doble, es necesario y suficiente que se cumpla la igualdad:
( αo - 1 ) 2 = 4 β o B B P P B
γ = - ( αo - 1 ) = 1 - αo
B B B B
2 2
Una solución particular de la ecuación diferencial de segundo orden con coeficientes variables
puede ser, como hemos visto, de la forma (3.7):
y1 ( x ) = xγ ( co + c1 x + c2 x2 + . . . ) (2)
B B P P B B B B B B P P TP PT
(1)
TP Por supuesto, esta conclusión no invalida todo lo visto hasta aquí sobre las funciones de Bessel de subíndice n,
PT
entero.
(2)
TP PTComo regla general, descomponer la solución en el producto de una cierta potencia de x, convenientemente
elegida, por una serie geométrica en x, facilita grandemente el trabajo posterior
Ecuaciones Diferenciales de Orden Superior. 5.39
Parte 5 – Funciones de Bessel.
+ α ( x ) [u’( x ) . y1 ( x ) + u ( x ) . y’1 ( x )] + β ( x ) . u ( x ) . y1 ( x ) = 0 B B B B B B
+ u ( x ) [ x2 . y”1 ( x ) + α ( x ) . y’1 (x ) + β ( x ) . y1 ( x )] = 0
P P B B B B B B
y dividamos todo por x2 y1, para obtener en forma explícita las derivadas de u ( x ):
P P B B
u” ( x ) + ( 2 y’1 + α o + α 1 + α 2 x + α 3 x2 + . . . ) u’ ( x ) = 0 (5.58)
B B B
B B PB P B B B B P P
y1 x B B
y1 ( x ) = x γ ( c o + c 1 x + c 2 x2 + . . . )
B B P P B B B B B B P P
Esta ecuación se puede simplificar unificando las potencias de x dentro y fuera de los paréntesis,
asi:
y’1 ( x ) = γ xγ−1 ( co + c1 x + c2 x2 + . . . ) + xγ−1 ( c1 x + 2 c2 x2 + . . . )
B B P P B B B B B B P P P P B B B B P P
Esto nos permite sacar factor común xγ−1, con lo cual tenemos: P P
y’1 ( x ) = xγ−1 [ γ ( co + c1 x + c2 x2 + . . . ) + ( c1 x + 2 c2 x2 + . . . )]
B B P P B B B B B B P P B B B B P P
(3)
TP La determinación de la función u (x) requiere un proceso sencillo pero largo. Si se desea obviarlo, sugerimos
PT
avanzar a la página 5.41, donde damos una apretada síntesis del mismo.
R. Abascal - Análisis de Señales y Sistemas
Ecuaciones Diferenciales de Orden Superior. 5.40
Parte 5 – Funciones de Bessel
y’1 ( x ) =
B B xγ−1 [ γ co + c1 x + c2 x2 + . . . ) + ( c1 x + 2 c2 x2 + . . . )]
P P B B B B B B P P B B B B P P
y1 ( x )
B B x γ ( c o + c 1 x + c 2 x2 + . . . )
P P B B B B B B P P
Simplificando:
y’1 ( x ) =
B B 1 γ ( c o + c 1 x + c 2 x2 + . . . ) + ( c 1 x + 2 c 2 x2 + . . . )
B B B B B B P P B B B B P P
2
y1 ( x )
B B x ( c o + c1 x + c2 x + . . . )
B B B B B B P P
Pero la serie que multiplica a γ en el numerador es igual a la que aparece en el denominador; por
lo que, simplificando nuevamente, obtenemos:
y’1 ( x ) = γ ( c 1 x + 2 c 2 x2 + . . . ) γ
+ = + Φ(x)
B B B B B B P P
2
y1 ( x )
B B x x ( c o + c1 x + c2 x + . . . )
B B B B B B P P x
B PB P B B B B P P
x x
Llamando:
Ψ ( x ) = Φ ( x ) + α 1 + α 2 x + α 3 x2 + . . . + B PB P B B B B P P
x x
Hemos hallado oportunamente que cuando la ecuación indicial deriva en una raíz doble para la
constante γ, el valor de ésta última es:
1 - α0
γ = ∴ 2 γ + α0 = 1
B B
B B
2
Reemplazando en la ecuación (5.59):
1
u” + [ + Ψ ( x ) ] . u’ = 0
x
Dividamos ambos miembros por u'. Si pasamos los términos entre paréntesis al segundo
miembro, resulta:
u” 1
= − + Ψ(x)
u’ x
Al llegar aquí, podemos hacer:
Ecuaciones Diferenciales de Orden Superior. 5.41
Parte 5 – Funciones de Bessel.
u” d u'
=
u’ u'
Entonces, integrando, resulta:
ln u’ = - ln x + ∫ Ψ ( x ) dx
Y por tanto:
1 ∫ Ψ(x) dx
∴ u’ = e P
x
Como Ψ ( x ) es un polinomio en x, la integral que aparece en el exponente es asimismo un
polinomio en x; ello permite desarrollar la exponencial en esta ecuación como una serie de
potencias de x.
Si llamamos hi a los coeficientes de la misma, podemos escribir simbólicamente:
B B
1 1
P
u’ = ( 1 + ho x + h1 x2 + h2 x3 + . . . ) = B B B B P P B B P P + ho + h1 x + h2 x2 + . . .
B B B B B B P P
x x
Integrando nuevamente, podemos también poner:
u = ln x + k1 x + k2 x2 + . . . B B B B P P (5.60)
El significado de los coeficientes kj es también suficientemente explícito: B B
k1 = h o ,
B B B B k2 = B B
h1 B
, etc.
B
2
______________________________________________________________________________
Recapitulación:
La ecuación de Bessel
x2 y" + x y' + ( x2 - n2 ) y = 0
P P P P P P
O bien y2 ( x ) = u ( x ) . y1 ( x )
B B B B
Al efectuar el producto de las dos series entre paréntesis, aparece una nueva serie de potencias en
x. Llamando Am al coeficiente de la potencia emésima, arribaremos a la expresión simbólica
B B
siguiente:
∞
y2 ( x ) = y1 ( x ) . ln x + x
B B B B
γ
P P Σ Αm xm B B P P
m=1
m=1
B B B B B B P P
x m=1
∞
y"2 ( x ) = J"o ( x ) . ln x + J'o ( x ) + x J'o ( x ) - Jo ( x ) + Σ m (m - 1) Αm xm-2 B B B B B B
B B B B B B P P
x x2 m=1 P P
∞
Jo ( x ) + Σ m (m - 1) Α xm-2
∴ y"2 ( x ) = J"o ( x ) . ln x + 2 J'o ( x ) - B B B B
B B B B
m B B P P
x x2 m=1 P P
derivadas de y ( x ) hallamos:
∞ ∞
( x Jo + J'o + x J"o ) ln x + Σ Am xm+1 + Σ
Jo Jo
+ m Am xm-1 + 2 J'o - +
B B B B
B B B B B B B B P P B B P P B B
m=1 x m=1 x
∞
+ Σ m ( m - 1 ) Am xm-1 = 0 B B P P
m=1
Ecuaciones Diferenciales de Orden Superior. 5.43
Parte 5 – Funciones de Bessel.
x Jo + J'o + x J"o B B B B B B
es necesariamente nula. Por lo tanto, luego de simplificar y ordenar los términos, resulta:
∞ ∞ ∞
2 J'o ( x ) + B B Σ Am x B B
m+1
P +
P Σ m Am x B B
m-1
P P + Σ m ( m - 1 ) Am xm-1 = 0
B B P P
Como veremos enseguida, nos conviene agrupar las dos últimas sumatorias, que sólo difieren
entre sí en el factor multiplicador de cada término; obtenemos:
∞ ∞
2 J'o ( x ) + B B Σ Am xm+1 B B P +
P Σ ( m + m2 - m ) Am xm-1 = 0 P P B B P P
m=1 m=1
m=0 22m+ν m! Γ ( ν + m + 1 )
P P
Si ν = 0, será:
∞
( - 1 )m x2m
J0 ( x ) =
B B Σ P P P P
m=0 22m m! Γ ( m + 1 )
P P
m=0 22m m! Γ ( m + 1 )
P P
m=0 22m-1 m ( m – 1 )! m!
P P
∞
( - 1 )m x2m-1
J’0 ( x ) =
B B Σ P P P P
m=0 22m-1 ( m – 1 )! m!
P P
P (5.63)
2m-1
m=1 2 P P ( m – 1 )! m!
Al introducir este valor de la derivada en la (5.62), obtenemos:
∞ ∞ ∞
( - 1 )m x2m-1
Σ P P P P
+ Σ Am x B B
m+1
P +
P Σ m2 Am xm-1 = 0
P P B B P P (5.64) P
2m-2
m=1 2 P P ( m – 1 )! m! m=1 m=1
Como esta expresión debe tener validez general, cualquiera sea el valor de x, la suma de los
términos correspondientes a cada potencia de dicha variable x deberá ser siempre igual a cero.
Nótese que como m, sbíndice, es un entero, las potencias de x son todas impares.
+ Σ Ah x B B
h+1
P +
P Σ k2 Ak xk-1 = 0
P P B B P P (5.65) P
2m-2
m=1 2 P P ( m – 1 )! m! h=1 k=1
Coeficientes de x1: P P
Los coeficientes de la potencia primera de x en cada una de las sumatorias son, respectivamente:
2m - 1 = 1 ∴ m = 1
h + 1 = 1 Luego h = 0
k - 1 = 1 Luego k = 2
Reemplazando estos valores en la (5.62), obtenemos:
- x + A0 x + 4 A2 x = - x + A0 x + 4 A2 x = 0
P P P P
B B P P B B P P B B P P B B P P
0
2 ( 0 )! ( 1 )!
P P
Pero, como las sumatorias en la (5.64) comienzan todas a partir del subíndice m = 1, A0 es nulo. B B
Entonces
Ecuaciones Diferenciales de Orden Superior. 5.45
Parte 5 – Funciones de Bessel.
4 A2 = 1 B B P P ∴ A2 = 1 / 4 = 0,25
B B
Coeficientes de x3: P P
2m - 1 = 3 ∴ m = 1
h + 1 = 3 ∴ h = 2
k - 1 = 3 ∴ k = 4
Reemplazando en la (5.65), obtenemos en este caso:
P
P x3 P P
+ A2 x3 + 16 A4 x3 = ( 1/8 + 1/4 + 16 A4 ) x3 = 0
B B P P B B P P B B P P
2
2 ( 1 )! ( 2 )!
P P
O sea,
16 A4 = - 1/8 - 1/4 = - 3/8 B B P P ∴ A4 = - 3 / 128
B B
Coeficientes de x5: P P
2m - 1 = 5 ∴ m = 3
h + 1 = 5 ∴ h = 4
k - 1 = 5 ∴ k = 6
Reemplazando en la (5.65):
- x5 + A4 x5 + 36 A6 x5 = 0
P P P
P B B P P B B P P
4
2 ( 2 )! ( 3 )!
P P
De aquí,
36 A6 = 1/192 + 3/128 = 4/192 = 1/48 B B P P ∴ A6 = 11 / 13824,
B B etc.
Observemos que los únicos coeficientes que aparecen son aquellos cuyo índice es par, es decir:
A2, A4, A6, A8, etc.
B B B B B B B B
1 3 11
y2 ( x ) = Jo ( x ) . ln x +
B B B B x2 − P P x4 +P P x6 − . . .
P P (5.66)
4 128 13824
que trataremos de expresar como una sumatoria. Para ello, teniendo en cuenta que, como
acabamos de ver, m es siempre par, pondremos
m = 2r
Con lo cual se obtiene para los coeficientes la siguiente fórmula general:
Am = B B 1 + 1 + 1 + ... + 1 ( −1 ) r -1 P
P
2 3 r 22r ( r! ) 2
P P P P
A2 = B B
( −1 ) 0 P
P
= 1
2 2
2 ( 1! )
P P P 4
P
Si m = 4, r = 2:
A4 = B B 1 + 1 ( −1 ) = −3 = −3
4 2
2 2 ( 2! )
P P P 2 . 16 . 4
P 128
Si m = 6, r = 3:
A6 = B B 1 + 1 + 1 ( −1 ) 2 P
P
= 11 = 11
6 2
2 3 2 ( 3! )
P P P 6 . 64 . 36
P 13824
etc.
Ahora podemos reemplazar el valor de los coeficientes Am en la (5.66): B B
∞
y2 ( x ) = Jo ( x ) . ln x +
B B B B Σ 1 + 1 + ... + 1 ( −1 ) r -1 P
x 2r
P
P P
2r 2
r=1 2 r 2 P P ( r! ) P P
Expresando en forma simbólica la suma que aparece entre paréntesis, esta ecuación se puede
expresar también como
∞ r
y2 ( x ) = Jo ( x ) . ln x +
B B B B Σ Σ 1 . ( −1 ) r -1 P
x 2r
P
P P
2r 2
r=1 p =1 p 2 P P ( r! ) P P
Como Jo ( x ) e y2 ( x ) son linealmente dependientes entre sí, es necesario recurrir a una solución
B B B B
Se conviene en hacer:
α = 2/π
y β = γ - ln 2
siendo γ la llamada Constante de Euler, cuya definición y valor son:
σ
γ = lim Σ 1 - ln σ = 0,5772156 ...
σ→∞ k=1 k
∴ ∞ r
Yo ( x ) =
B B
2 Jo ( x ) ln x + γ - ln 2 +
B B Σ Σ 1 ( −1 ) r -1 P
x 2r
P
P P
π r=1 p =1 p 2 2r
P P ( r! ) 2
P
Ecuaciones Diferenciales de Orden Superior. 5.47
Parte 5 – Funciones de Bessel.
∞ r
∴ Yo ( x ) =
B B
2 Jo ( x )
B B ln x + γ + Σ Σ 1 ( −1 ) r -1
P
x 2r
P
P P
π 2 r=1 p =1 p
2r
2 ( r! )
P P
2
P P
Esta ecuación es la que se conoce como Función de Bessel de Segunda Clase, o Función de
Neumann, de orden cero.
Otras funciones usuales son: La Función de Bessel de Segunda Clase y orden ν, o Función de
Neumann de Orden ν, que se define así:
Yν ( x ) =
B B 1 Jν ( x ) cos νπ - J−ν ( x )
B B B B
ν→n
Otra solución general está basada en las funciones de Bessel de tercera clase, o funciones de
Hankel:
H1,ν ( x ) = Jν ( x ) + i Yν ( x )
Funciones
B B B B B B
Y
de Hankel
H2,ν ( x ) = Jν ( x ) - i Yν ( x )
B B B B B B
y ( x ) = A . H1,ν ( x ) + B . H2,ν ( x ) B B B B
Las funciones de Hankel son de aplicación para resolver problemas de la Física en los cuales
aparecen magnitudes en cuadratura.
ν, número real no
Fórmula general x2 y" + x y' + ( x2 - ν2 ) y = 0
P P P
negativo
P P P
∞
Solución particular ( - 1 ) m x2m Jν ( x ) , función de
ν
Σ
B B
Jν ( x ) = x P P P P
B B P P
Bessel de primera
m=0 22m+ν m! Γ ( ν + m + 1 )
P P
clase
y ( x ) = A Jν ( x ) + B J−ν ( x ) B B B B
No aplicable cuando
Solución general
A y B, números complejos arbitrarios ν es un entero
Caso particular:
x2 y" + x y' + ( x2 - n2 ) y = 0
ν = n, , número entero
P P P P P P
Yν ( x ) , Función de
B B
Funciones de Bessel
∞
Función de Bessel de ( - 1 ) m x2m
primera clase Jν ( x ) = x ν
B B P P Σ P P P P
m=0 22m+ν m! Γ ( ν + m + 1 )
P P
π
Idem, expresión
1
integral Jn ( x ) =
B B ∫ cos ( nθ - x sen θ ) dθ
n, entero no negativo π 0
0,5 0,5
Caso particular: 2 2
J0,5 ( x ) = sen x J- 0,5 ( x ) = cos x
P P P P
B B B B
ν = 0,5 xπ xπ
Función de Bessel de 1
segunda clase o Yν ( x ) =B B [ Jν ( x ) cos νπ - J−ν ( x ) ]
B B B B
H1,ν ( x ) = Jν ( x ) + i Yν ( x )
B B B B B B
Utiles cuando en las ecuaciones
Funciones de Hankel aparecen términos imaginarios.
H2,ν ( x ) = Jν ( x ) - i Yν ( x )
B B B B B B
Ecuaciones Diferenciales de Orden Superior. 5.49
Parte 5 – Funciones de Bessel.
5.13 - Problemas.
Las Ecuaciones de Bessel aceptan en general soluciones comunes, lo que las hace
particularmente interesantes para resolver muchos problemas de la Física. Y aunque dichas
soluciones pueden parecer difíciles o largas en su aplicación, existen en general tablas que
ayudan grandemente a su evaluación. En este apartado veremos primero cómo resolver algunas
Ecuaciones de Bessel, y a continuación, cómo transformar ciertas ecuaciones diferenciales en
Ecuaciones de Bessel, para de esta forma simplificar el problema de hallar la solución.
a) x2 y" + x y' + ( x2 - 1 ) y = 0
P P P P
4
Solución:
Aquí es: ν = 0,5 y por lo tanto, la solución general es:
2 2
y ( x ) = A J1/2 ( x ) + B J−1/2 ( x ) = A
B B B B sen x + B cos x
πx πx
Si hacemos:
π π
A = i y B = ,
2 2
la ecuación anterior se transforma en la siguiente:
1 1
- -
2 2
y(x) = x ( cos x + i sen x ) = x . e ix
P P
P P P P
b) x2 y" + x y' + ( x2 - 25 ) y = 0
P P P P
4
R: y ( x ) = A J2,5 ( x ) + B J- 2,5 ( x ) B B B B
c) x2 y" + x y' + ( x2 - 9 ) y = 0
P P P P
R: y ( x ) = A J3 ( x ) + B Y3 ( x ) B B B B
d) x2 y" + x y' + x2 y = 0
P P P P
4 64 2304
5.13.2 - Modificar las ecuaciones siguientes para transformarlas en ecuaciones de Bessel, y hallar
la solución:
a) x2 y" + 5 x y' + x2 y = 0
P P P P
De aquí: 2α+5 = 1 ∴ α= -2
Y también: α(α-1)+ 5α = -4
De donde, reemplazando, obtenemos:
x 2 z" + x z ' + ( x 2 - 4 ) z = 0
P P P P
y ( x ) = A x α J2 ( x ) + B x α Y2 ( x ) P P B B P P B B
b) x2 y" + 6 x y' + x2 y = 0
P P P P
Ecuaciones Diferenciales de Orden Superior. 5.51
Parte 5 – Funciones de Bessel.
c) x2 y" + 3 x y' + x2 y = 0P P P P
Hagamos el reemplazo:
t = mx
dt dx dt
y d2 y = d y ' . d x
P
P
= m -2 . y " ( x ) P P
d t2 dx dt
P P
Reemplazamos ahora x, y '( x ) e y " ( x ) en la ecuación original, con lo cual esta queda
expresada como una función de t:
m2 t 2 y" + m t y' + ( t 2 - α 2 m 2 ) y = t 2 d 2 y + t d y + ( t 2 - ν2 ) y = 0
P
P
P P P P P P P P P P
P
P
P P P P
m2 P m P dt2 dt P P
b) x2 y" + 5 x y' + 2 x2 y = 0 P P P P
Con esta sustitución, la ecuación diferencial resulta (Ver problema 5.2 a):
x 2 z" + ( 2 α + 5 ) x z ' + [ α ( α - 1 ) + 5 α + 2 x 2 ] z = 0
P P P P
De aquí: 2α+5 = 1 ∴ α = −2
Reemplazando en la última ecuación, tenemos:
x 2 z" + x z ' + 2 ( x 2 - 2 ) z = 0
P P P P
Esta última ecuación es similar a la del problema 5.3 a, y por tanto se resuelve de manera idéntica
a aquella.
c) x y" + m y ' + n y = 0
Esta ecuación aunque diferente de la ecuación diferencial de Bessel, para ciertos valores de m y n
acepta como solución a la función de Bessel de orden cero:
y ( t ) = J0 ( t )
B B
2 4 6
y(t) = 1 - t + t - t P
P
+ ... P
P
P
P
4 64 2304
entonces
2
y(x) = 1- x + x - x3 + ... P
P
P
P
4 64 2304
Derivando:
2
∴ y ' ( x) = - 1 + x - x
P P + ... P
P
4 32 768
También
2
x . y"( x ) = x - x + ... P
P
32 384
Reemplazando en la ecuación original podemos arribar a las siguientes conclusiones: Para que el
término independiente sea nulo, deberían ser m = 4 o bien, n = 1/4.
Para que los términos en x se anulen, deberían ser: m = 1 y n = 1/4. Estos últimos valores anulan
también el término en x2 y sucesivos. En definitiva, la ecuación dada, en la que
P P
m =1 y n = 1
4
tiene como solución
y ( t ) = J0 ( t )
B B donde t = √x
Ecuaciones Diferenciales de Orden Superior. 5.53
Parte 5 – Funciones de Bessel.
m=0 22m+2 m! ( m + 2 ) !
P P
J2 ( 3 ) =
B B
32 P
P
- 32 . 32
P
P
P
P
+ 32 . 34
P
P
P
-
P
32 . 36
P
P
P
= 0,4836
P
4 4 6 8
2 2!
P P 2 3! P P 2 2! 4!
P P 2 3! 5!
P P
Calcular el valor de la función J0,3 ( x ) para los primeros valores enteros de x. Hallar por
B B
aproximaciones sucesivas los primeros cuatro ceros, y determinar la separación entre ellos.
» BESSELJ (0.3, 1) Ubicación ceros: Distancia entre ceros
ans = 0.7402
» BESSELJ (0.3, 2)
ans = 0.4257
» BESSELJ (0.3, 3) » BESSELJ (0.3, 2.855)
ans = -0.0673 ans = -4.2812e-004
» BESSELJ (0.3, 4)
ans = - 0.3638 3,127
» BESSELJ (0.3, 5)
ans = -0.2968
» BESSELJ (0.3, 6) » BESSELJ (0.3, 5.982)
ans = 0.0058 ans = -7.2278e-005
» BESSELJ (0.3, 7)
ans = 0.2567 3,137
» BESSELJ (0.3, 8)
ans = 0.2538
» BESSELJ (0.3, 9) » BESSELJ (0.3, 9.119)
ans = 0.0317 ans = 8.9611e-005
» BESSELJ (0.3, 10)
ans = - 0.1946 3,140
» BESSELJ (0.3, 11)
ans = - 0.2289
» BESSELJ (0.3, 12) » BESSELJ (0.3, 12.259)
ans = -0.0589 ans = 6.4857e-005
» BESSELJ (0.3, 13)
ans = 0.1495
B B
xπ
0,5
J0,5 ( π ) = sen π
4 P P
B B
2
2 π P P 2
B B
xπ
» BESSELJ (-0.5, pi/3)
ans = 0.3898
Verificación:
» x = (pi)^3
x = 1.0472
» y = cos (x)
y = 0.5000
» a = 2*3/(pi^2)
a = 0.6079
» b = a^0,5
b = 0.7097
» J = b*y
J = 0.3898
» NU = [0]
NU = 0
» X = [0 0.2 0.4 0.6 0.8 1]
X= 0 0.2000 0.4000 0.6000 0.8000 1.0000
» BESSELJ(NU, X)
ans = 1.0000 0.9900 0.9604 0.9120 0.8463 0.7652
De otra forma:
» BESSELJ (0, (0 : .2 : 1))
ans = 1.0000 0.9900 0.9604 0.9120 0.8463 0.7652
Nótese que en este caso, a la inversa de los ejemplos anteriores, los valores para ν constante
aparecen en las columnas. La modificación se debe al agregado del apóstrofe entre los dos
paréntesis de cierre.
La utilidad del cambio la veremos en el ejemplo siguiente, que permite construir una tabla (O
matriz) bidimensional:
0.3
0.2
0.1
-0.1
-0.2
J2(x)
B B
-0.3
-0.4
0 2 4 6 8 10 12 14 16 18 20
» syms x
» % Sea por ejemplo n = 2
» x^(-2)*besselj(2,x)
ans = 1/x^2*besselj(2,x)
» F1 = diff (1/x^2*besselj(2,x))
F1= - 2/x^3*besselj(2,x)+1/x^2*(besselj(1,x) -2/x*besselj(2,x))
» F2 = 1/x^2*besselj(3,x)
F2 = 1/x^2*besselj(3,x)
» % Si representamos ambas funciones, verificamos que las mismas son iguales y opuestas:
» ezplot (F1)
» hold on 1/x^2*besselj(3,x)
» grid 0.03
0.02
0.01
-0.01
-0.02
-0.03
-0.04
-5 -4 -3 -2 -1 0 1 2 3 4 5
x
Raíces de Jo(x): Con ayuda de la gráfica de la función, hallar por aproximaciones sucesivas
las dos primeras raíces y calcular la separación entre ellas:
besselj(0,x)
» % Empecemos por representar la función
» syms x 1
» J0 = besselj(0,x);
» ezplot (J0)
» % En el gráfico vemos que las raíces caen en 0.5
» syms y t
» Y = dsolve('t^2*D2y+t*Dy+(t^2-.25)*y = 0')
Y = (C1*sin(t)+C2*cos(t))/t^(1/2)
» % Observar que esta ecuación coincide con la solución del problema,
» % con la condición de asignar a C1 y C2 los valores adecuados.
Ecuaciones Diferenciales de Orden Superior. 5.59
Parte 5 – Funciones de Bessel.
» syms y t
»
» % Resolver la ecuación y " *x^2 + 6*y ' *x + x^2 *y = 0
»
» Y = dsolve('t^2*D2y+6*t*Dy+t^2*y=0')
Y = (C1*cos(t)*t^2-3*C1*cos(t)-3*C1*sin(t)*t+C2*sin(t)*t^2-3*C2*sin(t) +3*C2*cos(t)*t)/t^5
»
»
» % Resolver la ecuación y " *x + y ' + x^2 * y/4 = 0
» Y = dsolve('t*D2y + Dy + t^2*y/4 = 0')
Y = C1*bessely(0,1/3*t^(3/2))+C2*besselj(0,1/3*t^(3/2))
»
»
» % Resolver la ecuación y " *x^2 + 3/2*y ' *x + x^2 *y = 0
» Y = dsolve('t^2*D2y+3/2*t*Dy+t^2*y=0')
Y = (C1*besselj(1/4,t)+C2*bessely(1/4,t))/t^(1/4)
»
»
» % Resolver la ecuación: y " * x^2 + 6*y ' * x + x^2 * y = 0
» Y = dsolve('t^2*D2y+5*t*Dy+2*t^2*y=0')
Y = (C1*besselj(2,2^(1/2)*t)+C2*bessely(2,2^(1/2)*t))/t^2
»
» syms y t
» Y = dsolve('t^2*D2y+t*Dy+t^2*y=0')
Y = C1*besselj(0,t)+C2*bessely(0,t)
»
» % Hagamos C1 = 1 y C2 = 1:
» y = besselj(0,t)+bessely(0,t)
y = besselj(0,t)+bessely(0,t)
»
» d1 = diff(y,t)
d1 = -besselj(1,t)-bessely(1,t)
» d2 = diff(d1,t)
d2 = -besselj(0,t)+1/t*besselj(1,t)-bessely(0,t)+1/t*bessely(1,t)
»
» F = t^2*d2+t*d1+t^2*y
F = t^2*(-besselj(0,t)+1/t*besselj(1,t)-bessely(0,t)+1/t*bessely(1,t))+
+ t*(-besselj(1,t)-bessely(1,t))+t^2*(besselj(0,t)+bessely(0,t))
» ezplot(F)
» axis([0 6 −.1 .1])
0.08
0.06
0.04
0.02
-0.02
-0.04
-0.06
-0.08
-0.1
0 1 2 3 4 5 6
t
E cu a ci o n e s D i f e r e n ci a l e s
d e O r d en Su p er i o r
Pa r t e V I
Ecuaciones Diferenciales
De Derivadas Parciales
2006
Ecuaciones Diferenciales de Orden Superior. 6.3
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
+ cy = 0
∂x 2
P P
z ( x, y ) = ∫ ϕ ( x, y ) d x + φ(y)
Como preparación a su estudio, veremos aquí cómo generar una ecuación diferencial ordinaria(1): TP PT
Ejemplo 1: Sea una circunferencia con centro en el origen de coordenadas, y radio r. Su ecuación
en el plano es, como sabemos:
x2 + y 2 = r 2
P P P P P r = cte.
P (6.2)
Si derivamos esta ecuación respecto de x, tenemos:
2x + 2y dy = 2 x + 2 y y' = 0
dx
De aquí surge la ecuación diferencial ordinaria:
x + y y' = 0 (6.3)
Pero también
2 x dx + 2y dy = 0
Esta es la ecuación diferencial de la familia. Al integrar, vemos que efectivamente, la (6.2) es la
solución de esta ecuación:
2 ∫ x dx + 2 ∫ y dy = x2 + y2 + C = 0
P P P P donde C = - r2
P P
La (6.2) es, obviamente, solución de dicha ecuación, cualquiera sea el valor de la constante r; es
decir que la ecuación (6.3) tiene infinitas soluciones que difieren entre sí precisamente en el valor
de la constante r: En este caso, las infinitas circunferencias de centro en el origen constituyen en
sentido estricto una familia muy particular, pues lo único que tienen en común es precisamente el
centro en el origen. El único parámetro común que comparten es por tanto el punto (0,0). El valor
de "r" identifica a cada uno de los miembros de la familia.
∴ y' = − x - a
y-b
(1) Es usual esta forma de introducir el estudio de las ecuaciones diferenciales, porque proporciona un panorama
más completo en el que confluyen el concepto de familia de ecuaciones, y su solución.
Ecuaciones Diferenciales de Orden Superior. 6.5
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
que es también una ecuación diferencial ordinaria, de primer orden, que caracteriza a una nueva
familia de circunferencias: las de centro en P. Los parámetros de la misma son obviamente a y b.
También en este caso "r" es el elemento que individualiza a los diferentes miembros de aquella.
P1
B B
S
P2 B B
z1 B B
z2
y
B B
(x1, y1)
B B B B
(x2, y2) B B B B
x
Decimos "uno o más" valores de z, porque la superficie puede eventualmente tener una, o más de
una, "hojas". De otra forma, si x e y varían en forma continua, el punto P describirá una hoja de la
superficie S.
Si la función no tiene término independiente, la ecuación homogénea:
ϕ ( x, y, z ) = 0 (6.4)
representa a una superficie cónica que contiene al origen de coordenadas. Esto quiere decir que
las directrices de dicha superficie cónica pasan por el origen. En efecto, podemos verificar lo
dicho con ayuda de un ejemplo cualquiera.
Ecuaciones Diferenciales de Orden Superior. 6.6
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
Sea la ecuación:
F ( x, y, z ) = 2 x + 3 y - z = 0
∴ z = 2x + 3y
Entonces, si x = 0, estamos en presencia de la recta directriz z = 3 y,
situada en el plano z y y que pasa por el origen. Lo mismo, si y = 0, entonces z = 2x
es una recta del plano z x. Finalmente, si z = 0, y por tanto,
y = - 2 x,
3
tenemos una recta ubicada en el plano xy
La figura siguiente muestra las tres rectas directrices, correspondientes a cada plano cartesiano, y
obtenidas haciendo nula cada una de las tres variables x, y, z:
z
x=0
z = 3y
y=0
z = 2x
z=0
y = - 2x/3
B 0 1 3 zF B B
C 0 2 6 zC B B
D 1 0 2
E 1 1 5
F 1 2 8 zH
B B
G 2 0 4 z=6 zE
B B
H 2 1 7 zB B B
I 2 2 10
zG
B B
z = 12
x
Ecuaciones Diferenciales de Orden Superior. 6.8
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
Esta última figura, por razones de claridad, está limitada al primer cuadrante, únicamente. El
plano representado en ella por las proyecciones de las líneas de nivel para z = constante,
obviamente se extiende, lo mismo que las líneas de nivel, a los cuatro cuadrantes.
Las líneas AZG y AZC, en la primera figura, y sus prolongaciones en ambos sentidos,
B B B B
Una segunda forma de definir una superficie es la siguiente: Si las variables x, y, z, pueden ser
expresadas en función de un parámetro t,
x = x(t)
y = y(t)
z = z(t)
al variar t en forma tal que x, y, y z varíen en forma continua, las sucesivas posiciones de un
punto P ( x, y, z ) describen una superficie. Por lo que podemos decir que las tres ecuaciones del
sistema anterior representan también la superficie, pero en forma paramétrica.
Si derivamos z respecto de t, recordando que es función de x e y, obtendremos la ecuación:
dz = ∂z dx + ∂z dy
dt ∂x dt ∂y dt
O, multiplicando por d t:
dz = ∂ z d x + ∂ z d y = z' d x + z' d y
x B
y B B B
∂x ∂y
Para simplificar su escritura, se acostumbra designar con "u" y "v" a las derivadas:
z'x = u
B B z'y = v
B B (6.5)
De tal forma, la ecuación anterior se escribirá así:
dz = u dx + v dy
Una familia de superficies está representada por una ecuación similar a la (6.4), pero incluyendo
un parámetro "a", característico de la familia, y que por consiguiente, la define:
ϕ ( x, y, z, a ) = 0
Ecuaciones Diferenciales de Orden Superior. 6.9
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
Despejando z en esta ecuación, volvemos a encontrar la relación (6.1), que liga z con las
variables independientes x e y:
z = f ( x, y )
Esta igualdad puede escribirse también, en forma implícita, como:
z - f ( x, y ) = 0 (6.6)
Justificación:
Descompongamos la función F en otras dos, F1 y F2, en la primera de las cuales no aparece la
B B B B
Derivando respecto de x:
∂ F1 = - ∂ F 2
B B B B ∂z
∂x ∂z ∂x
Esta igualdad prueba que el segundo miembro de la (6.10) es nulo, es decir:
∂F + ∂F ∂z = 0
∂x ∂z ∂x
Lo mismo se puede probar derivando respecto de y.
Ejemplo 1: Sea
F ( x, y, z, α, β ) = sen 4x - x -2 + α y 2 - 2 z + β = 0 P P P P
Entonces: z = 1 ( sen 4x - x -2 + α y 2 + β )
P P P P
2
Derivando
∂F = 4 cos 4x + 2 x -3 P P
∂x
Lo mismo ∂F = - 2
∂z
y ∂z = 1 ( 4 cos 4x + 2 x -3 ) P P
∂x 2
∂x ∂z ∂x
Por lo que respecta a la variable y, en forma similar, tenemos:
∂F = 2αy
∂y
y ∂z = αy
∂y
Ecuaciones Diferenciales de Orden Superior. 6.11
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
Ejemplo 2:
F ( x, y, z, α, β ) = e -x + e -y + α z - β x y = 0
P P P P
Aquí es:
z = 1 ( β x y - e -x - e -y ) P P P P
Entonces ∂F = - e -x - β y
P P
∂x
∂F = α
∂z
y ∂z = 1 ( β y + e -x ) P P
∂x α
Por tanto:
∂F + ∂F ∂z = - e -x - β y + β y + e -x = 0
P P P P
∂x ∂z ∂x
La derivada respecto de y es, por su parte:
∂F = - e -y - β x
P P
∂y
y ∂z = 1 ( β x + e -y ) P P
∂y α
Por tanto: ∂F + ∂F ∂z = - e -y - β x + - e -y - β x = 0 P P P P
∂y ∂z ∂y
Estos dos ejemplos confirman la validez de las ecuaciones (6.8).
Volvamos ahora al sistema de ecuaciones (6.7) que caracteriza al haz de superficies:
F ( x, y, z, α, β ) = 0
(6.7)
z = z ( x, y )
Las diferenciales totales de las funciones "F" y "z" son, respectivamente:
dF = ∂F dx + ∂F dy + ∂F dz (6.11)
∂x ∂y ∂z
Ecuaciones Diferenciales de Orden Superior. 6.12
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
y dz = ∂z dx + ∂z dy (6.12)
∂x ∂y
Al reemplazar (6.12) en la (6.11), obtenemos
dF = ∂F dx + ∂F dy + ∂F ∂z dx + ∂F ∂z dy =
∂x ∂y ∂z ∂x ∂z ∂y
dF = ∂F + ∂F ∂z dx + ∂F + ∂F ∂z dy = 0
∂x ∂z ∂x ∂y ∂z ∂y
Esta última ecuación es igual a cero, pues los términos entre paréntesis son ambos nulos, según
acabamos de probar.
De todo lo anterior resulta, entonces, un sistema formado por tres ecuaciones, las dos que hemos
reunido en el sistema (6.8 ) más la igualdad:
F ( x, y, z, α, β ) = 0
Notemos que las ecuaciones (6.8) contienen las mismas variables que F más, respectivamente, las
derivadas parciales de z respecto de x e y. Por lo tanto, se pueden expresar como funciones
implícitas de las variables mencionadas, haciendo:
∂F + ∂F ∂z = 0 ∴ Φ1
B B x, y, z, α, β, ∂ z = 0
∂x ∂z ∂x ∂x
∂F + ∂F ∂z = 0 ∴ Φ2
B B x, y, z, α, β, ∂ z = 0
∂y ∂z ∂y ∂y
A partir de aquí, recordando que hemos llamado (6.5):
∂z = z'x = u
B B y ∂z = z'y = v B B
∂x ∂y
el sistema de tres ecuaciones mencionado más arriba puede ser formulado así:
Φ1 ( x, y, z, α, β, u ) = 0
B B
Φ2 ( x, y, z, α, β, v ) = 0
B B
F ( x, y, z, α, β ) = 0
Si eliminamos α y β en este sistema, obtendremos una ecuación diferencial que no es función de
los dos parámetros. La llamaremos:
Ψ ( x, y, z, z'x, z'y ) = Ψ ( x, y, z, u, v ) = 0
B B B B B B
Ecuaciones Diferenciales de Orden Superior. 6.13
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
∂x ∂y
Si hacemos:
F = α x + β y + α β − z = 0,
reemplazando α y β obtenemos la ecuación diferencial que buscábamos generar:
z = x ∂z + y ∂z + ∂z ∂z
∂x ∂y ∂x ∂y
y que, simbólicamente, se puede escribir también de la siguiente forma:
z = x . z'x + y . z'y + z'x . z'y = x u + y v + u v
B B B B B B B B B 6.14)
B
w = υ u2 + η v2 + τ t 2
P P P P P P (6.15)
donde υ, η y τ son los parámetros variables que identifican a cada función de la familia.
Entonces, como en el último ejemplo de la Sección anterior, podemos definir la función
implícita:
Ω = υ u2 + η v2 + τ t 2 - w = 0
P P P P P P
Ecuaciones Diferenciales de Orden Superior. 6.14
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
∂u
∂w = w'v = 2 η v
B B
∂v
∂w = w't = 2 τ t
B B
∂t
Multipliquemos ahora ambos miembros de la (6.15) por 2, y a continuación reemplacemos el
valor de las tres derivadas anteriores. Obtenemos:
2 w = 2 υ u2 + 2 η v2 + 2 τ t2 = u . w'u + v . w'v + t . w't
P P P P P P B B B B B
∴ u ∂w + v ∂w + t ∂w − 2 w = 0
∂u ∂v ∂t
Esta es la ecuación diferencial buscada, cuya solución es, naturalmente, la (6.15)
Veremos a continuación la forma general de resolver el problema que estamos planteando en esta
Sección: Hallar una ecuación diferencial
ϕ ( f, g ) = 0
en la cual
f = f ( x, y, z )
y g = g ( x, y, z )
son dos funciones arbitrarias dadas. Y z, por su parte, es una función de x e y:
z = z ( x, y )
Calcularemos a continuacion la diferencial total de ϕ ( f, g ):
dϕ = ∂ϕ df + ∂ϕ dg = 0 (6.16)
∂f ∂g
De modo enteramente similar a como hicimos en el parágrafo anterior a partir de las ecuaciones
(6.11) y (6.12), obtenemos, en este caso:
df = ∂f + ∂f ∂z dx + ∂f + ∂f ∂z dy = 0
∂x ∂z ∂x ∂y ∂z ∂y
y
dg = ∂g + ∂g ∂z dx + ∂g + ∂g ∂z dy = 0
∂x ∂z ∂x ∂y ∂z ∂y
Ecuaciones Diferenciales de Orden Superior. 6.15
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
Reemplazando en la (6.16):
dϕ= ∂ϕ ∂ f + ∂f ∂z dx + ∂f + ∂f ∂z dy +
∂f ∂x ∂z ∂x ∂y ∂z ∂y
+ ∂ϕ ∂g + ∂g ∂z dx + ∂g + ∂g ∂z dy = 0
∂g ∂x ∂z ∂x ∂y ∂z ∂y
O bien, reordenando esta última ecuación:
dϕ= ∂ϕ ∂f + ∂f ∂z + ∂ϕ ∂g + ∂g ∂z dx +
∂f ∂x ∂z ∂x ∂g ∂x ∂z ∂x
+ ∂ϕ ∂f + ∂f ∂z + ∂ϕ ∂g + ∂g ∂z dy = 0
∂f ∂y ∂z ∂y ∂g ∂y ∂z ∂y
Esta igualdad debe cumplirse para cualquier valor de las variables x e y, pues no se ha hecho
ninguna salvedad a su respecto. Por lo tanto es condición necesaria que cada una de las sumas
encerradas entre llaves sea igual a cero.
Es decir: ∂ϕ ∂f + ∂f ∂z + ∂ϕ ∂g + ∂g ∂z = 0
∂f ∂x ∂z ∂x ∂g ∂x ∂z ∂x
y también
∂ϕ ∂f + ∂f ∂z + ∂ϕ ∂g + ∂g ∂z = 0
∂f ∂y ∂z ∂y ∂g ∂y ∂z ∂y
De aquí, despejando los primeros miembros en ambas igualdades, obtenemos las dos ecuaciones
siguientes:
∂ϕ ∂f + ∂f ∂z = − ∂ϕ ∂g + ∂g ∂z
∂f ∂x ∂z ∂x ∂g ∂x ∂z ∂x
y ∂ϕ ∂f + ∂f ∂z = − ∂ϕ ∂g + ∂g ∂z
∂f ∂y ∂z ∂y ∂g ∂y ∂z ∂y
Al dividir ambas miembro a miembro llegamos a la razón siguiente:
∂f + ∂f ∂z ∂g + ∂g ∂z
∂x ∂z ∂x ∂x ∂z ∂x (6.17)
=
∂f + ∂f ∂z ∂g + ∂g ∂z
∂y ∂z ∂y ∂y ∂z ∂y
Recordemos que en una razón, el producto de los medios es igual al producto de los extremos.
Aplicando aquí esa propiedad y restando ambos productos entre sí, obtenemos la ecuación:
Ecuaciones Diferenciales de Orden Superior. 6.16
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
∂ f ∂g − ∂g ∂f + ∂z ∂f ∂g − ∂f ∂g +
∂x ∂y ∂x ∂y ∂x ∂z ∂y ∂y ∂z
+ ∂z ∂ f ∂g − ∂g ∂f + ∂z ∂z ∂f ∂g − ∂f ∂g =0
∂y ∂x ∂z ∂x ∂z ∂x ∂y ∂z ∂z ∂z ∂z
Simplificando el último paréntesis, que es nulo, como se ve, y despejando el primer sumando,
obtenemos:
∂ f ∂g − ∂g ∂f =
∂x ∂y ∂x ∂y
= ∂z ∂f ∂g − ∂f ∂g + ∂z ∂ f ∂g − ∂f ∂g
∂x ∂y ∂z ∂z ∂y ∂y ∂z ∂x ∂x ∂z
Si tenemos en cuenta que tanto el primer miembro como los términos entre paréntesis del
segundo son respectivamente los Jacobianos(1) TP PT
R = ∂ ( f, g ) U = ∂ ( f, g ) V = ∂ ( f, g )
∂ ( x, y ) ∂ ( y, z ) ∂ ( z, x )
podemos escribir finalmente, en forma simbólica:
R = U ∂z + V ∂z
∂x ∂y
que es la ecuación diferencial buscada.
En lo que sigue analizaremos algunos ejemplos de familias de soluciones en las que el vínculo
consiste en que contienen determinadas funciones comunes a la familia.
(2) Sean las funciones u = u (x,y) y v = v (x,y). Se denomina Jacobiano, en homenaje al matemático alemán Carl
Jacobi, a la expresión:
∂ (u,v) u'x u'y B ∂u ∂v
B ∂u ∂v
B B B B B B B B
Ejemplo 2: Encontrar una ecuación de derivadas parciales cuya solución sea una dada función de
z - x y de z - y:
Φ ( z - x, z - y ) = 0
Llamemos:
f = z-x y g = z-y
De aquí podemos derivar las siguientes ecuaciones diferenciales:
∂f = -1 ∂f = 1 ∂g = -1 ∂g = 1
∂x ∂z ∂y ∂z
Aplicando la ecuación (6.17), resulta la siguiente igualdad:
- 1 + z'x B B
= 0 + z'x B B
0 + z'y B B - 1 + z'y B B
∴ z'x + z'y = 1
B B B B
Esta es la ecuación buscada. Veremos a continuación algunos ejemplos dentro de esta familia de
ecuaciones, que certifican lo dicho:
Ejemplo 2.1:
Sea Φ ( z - x, z - y ) = ( z - x )2 - ( z - y )2 = 0 P P P P
Operando, obtenemos:
z2 - 2 x z + x 2 - z 2 + 2 z y - y 2 = 0
P P P P P P P P
x2 - y 2 - 2 z ( x - y ) = 0
P P P P
∴ z = 1 x2 - y 2P
P
P
P
= 1 ( x + y )
2 x - y 2
De aquí: ∂z + ∂z = 1 + 1 = 1
∂x ∂y 2 2
Por lo tanto:
∂z + ∂z = 1 + 0 = 1
∂x ∂y
Ejemplo 2.3:
sen ( z - x ) + sen ( z - y ) = 0
∴ sen ( z - x ) = - sen ( z - y ) = sen ( y - z )
De aquí: z - x = y - z
∴ 2z = x + y
∴ z = 1 ( x + y )
2
Es decir que este caso se reduce al ejemplo 2.1 anterior.
Φ ( z - x2 , z + y2 ) = 0
P P P P
Hagamos:
f = z - x2 P P y g = z + y2 P P
= 0 + z'x B B
0 + z'y B B 2 y + z'y B B
de donde :
− 4 x y + 2 y z'x − 2 x z'y + z'x z'y = z'x z'y B B B B B B B B B B B B
∴ − 4 x y + 2 y z'x − 2 x z'y = 0 B B B B
Ejemplo 3.1:
Φ = f ( x, y ) + g ( x, y ) = z - x2 + ( z + y2 ) = 0 P P P P
De aquí, resulta:
Ecuaciones Diferenciales de Orden Superior. 6.19
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
2 z = x2 - y 2 P P P P
∴ z = 1 ( x2 - y 2 ) P P P P
2
Derivando respecto de x e y,
∴ ∂z = x ∂z = - y
∂x ∂y
Y por tanto, reemplazando en la ecuación de la familia, que acabamos de obtener (6.18):
y z'x − x z'y − 2 x y = 0
B B B B
2
Entonces, e z-x = 1
P
P
Para que las dos funciones extremas sean iguales, deben serlo sus argumentos respectivos, es
decir:
z - x2 = - z - y 2P P P P
∴ 2 z = x2 - y 2 P P P P
Ecuaciones Diferenciales de Orden Superior. 6.20
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
Ejemplo N° 4:
Nos proponemos con este ejemplo encontrar la ecuación diferencial de la familia de todos los
planos que pasan por el origen de coordenadas. La ecuación correspondiente a esta familia es:
F(x,y,z) = ax + by + cz = 0
Despejando la variable dependiente, z, obtenemos:
z = − a x − b y (6.19)
c c
Y, derivando F respecto de x e y, resulta el sistema:
∂F + ∂F ∂z = a + c -a = 0
∂x ∂z ∂x c
∂F + ∂F ∂z = b + c -b = 0
∂y ∂z ∂y c
Por otra parte, como
∂z = - a
∂x c
y ∂z = - b
∂y c
Ecuaciones Diferenciales de Orden Superior. 6.21
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
la ecuación (6.19) de la familia de planos puede por lo tanto expresarse como una ecuación
diferencial:
z = x ∂z + y ∂z
∂x ∂y
o bien: x ∂z + y ∂z - z = 0
∂x ∂y
Ejemplo N° 5:
Trataremos en este caso de hallar la ecuación diferencial de la familia de esferas de radio R cuyo
centro está ubicado sobre el eje de coordenas x. La ecuación algebraica correspondiente es, como
sabemos:
( x - a ) 2 + y 2 + z 2 = R2 P P P P P P P P
∂F + ∂F ∂z = 2 x - 2 a + 2 z . z 'x = 0 B B
∂x ∂z ∂x
∂F + ∂F ∂z = 2 y + 2 z . z 'y = 0 B B (6.21)
∂y ∂z ∂y
De la primer ecuación se deduce que
a = x + z . z 'x B (6.22)
B
-2ax a2
P P
Simplificando, hallamos:
F = y 2 + z 2 + z 2 . z'x2 - R2 = 0
P P P P B B B B P P B PB P P P
que es la ecuación diferencial de la familia, y que puede reformularse más sencillamente sacando
factor común z2:
P P
z 2 ( z'x2 + z'y2 + 1 ) − R2 = 0
P P B PB P B PB P P P
z2 P P
∂z 2
P
P
+ P P
∂z 2
P
P
+ 1 − R2 = 0
P P
∂x ∂y
Verificaremos seguidamente que, en efecto, ésta es la ecuación buscada. De la (6.22), se deduce
que
z . z 'x = a - x B B
∴ ∂z = P P
a - x
∂x z
También, a partir de la (6.21), podemos ver que:
∂z = - y
∂y z
Al reemplazar estos valores en la ecuación de la familia, obtenemos:
z2 P P
(a - x)2 + ( - y)2 P
P
P P
P
P
P
P
+ 1 − R2 = 0 P P
z2 z2 P P P P
( x - a ) 2 + y 2 + z 2 - R2 = 0 P P P P P P P P
∂z = A x2 y P P
∂y
Integrando z = A ∫ x2 y dy
P P
Ecuaciones Diferenciales de Orden Superior. 6.23
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
Y como ∂ ( x 2 y2 ) = 2 x 2 y
P P P P P P
∂y
podemos poner:
z = A ∫ ∂ ( x 2 y2 ) d y =
P P P P
A x2 y2 + A φ ( x ) P P P P
2 ∂y 2
Puesto que estamos integrando respecto de y, aparece como constante de integración una función
de x exclusivamente, que es la que denominamos φ ( x ).
Verificaremos a continuación que la ecuación hallada es la solución. En efecto:
∂z = ∂ A x2 y2 + A φ ( x ) P P P P = 2 A x2 y + 0 = A x 2 y P P P P
∂y ∂y 2 2
Ejemplo 2: En este ejemplo procederemos a analizar una ecuación diferencial de segundo orden,
como la siguiente:
∂2 z
P
P
+ Cy = 0
∂x 2
P P
Integrando dos veces, aparecerá cada vez una función que no depende de x, es decir:
z = - ∫∫ C . y dx dx + ∫ φ1 ( y ) dx + φ2 ( y ) =
B B B B
= - Cy ∫ ∫ dx dx + φ1 ( y ) B B ∫ dx + φ2 ( y ) B B
Por lo tanto, calculando las integrales que contiene esta última expresión, obtendremos la
solución buscada:
z = - C.y ∫ x dx + x φ1 ( y ) + φ2 ( y ) B B B B
y, por fin:
z = - C x2 y + x φ1 ( y ) + φ2 ( y )
P P B B B B
2
Comprobaremos seguidamente que ésta es la solución. Efectivamente, derivando la función z
hallada, dos veces con respecto a x, obtenemos, sucesivamente:
∂ − C x2 y + x φ1 ( y ) + φ2 ( y ) P P B B B B = - C x y + φ1 ( y )B B
∂x 2 P
∴ ∂2 P
P
− C x2 y + x φ1 ( y ) + φ2 ( y )
P P B B B B = ∂ - C x y + φ1 ( y ) B B = -Cy
∂x 2
P P 2 ∂x P
con lo que queda demostrado. En todos los casos, las funciones φ se determinan a partir de las
condiciones de contorno.
Ecuaciones Diferenciales de Orden Superior. 6.24
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
R
y-C
C
x-a
x
a ai B B
Cada miembro de la familia estará caracterizado por el valor de un parámetro a, en tanto que R y
C son constantes que identifican a la familia. La ecuación genérica de la misma es:
( x - a ) 2 + ( y - C ) 2 = R2
P P P P P P
y' = - ( x - a )
(y- C)
Como hemos dicho más ariba, a cada circunferencia de la familia le corresponde un valor
diferente de a, que la individualiza. Sea por ejemplo la circunferencia Γi, para la cual el B B
y' ( y - C ) = - ( x - ai ) B B
Veamos qué ocurre cuando x = ai. En tal caso, como x - ai = 0, aparecen dos posibilidades para
B B B B
la variable y:
Ecuaciones Diferenciales de Orden Superior. 6.25
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
y = C
o bien y' = 0
En el primer caso, la ecuación corresponde a la recta horizontal C, lugar geométrico de los
centros de las circunferencias de la familia. Por su parte, cuando y' = 0, la ecuación (6.19) queda
simplificada así:
F = ( y - C ) 2 - R2 = 0 P P P P
Despejando, se obtiene:
( y - C ) 2 = R2
P P P ∴
P y - C = ± R
De donde surgen dos valores posibles para la variable y:
y1 =
B B R + C ó y2 = - R + C
B B (6.24)
Derivando y respecto de x, comprobamos nuevamente que:
y' = 0
Esta es la ecuación de una recta horizontal, y ocurre justamente cuando se cumplen las dos
condiciones siguientes:
Que la tangente a la circunferencia es horizontal, y a su vez,
Que x es igual a ai. B B
circunferencia dentro de la familia, coincide con el valor de la abscisa de su centro. Esto se puede
entender mejor observando la figura de más abajo, que representa algunas circunferencias de la
familia, y en la que hemos supuesto, para fijar ideas, que
R = 2 y C = 1
Ecuación de la Familia
( x - a ) 2 + ( y - 1) 2 = 4
P P P P
y
y1 = C + R
B B
y2 = C - R
B B
Resumiendo, las ecuaciones (6.24) de las envolventes son solución de la ecuación diferencial
paramétrica (6.23), de la familia.
Ecuaciones Diferenciales de Orden Superior. 6.26
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
Primera forma:
Como ya hicimos en la Sección 6.2, ecuación (6.5), llamaremos por simplicidad
z'x = u
B B
y z'y = v
B B
es una solución de la ecuación diferencial (6.25). En tal caso, se trata de una solución general
pues contiene un único parámetro, a.
Por el contrario, una solución de la forma:
F ( x, y, z, a, b ) = 0 B B (6.27)
en la que b es una función del parámetro a,
b = ϕ ( a) B B
o sea: F [ x, y, z, a, ϕ ( a ) ] = 0, B B (6.28)
es una solución completa, puesto que contiene dos funciones, a y b.
Ecuaciones Diferenciales de Orden Superior. 6.27
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
∂ F [ x, y, z, a, ϕ ( a ) ] = ∂ F + ∂ F B B
db = ∂ F + ∂ F ϕ' ( a ) = 0
B B
∂a ∂a ∂b da ∂a ∂b
Por lo tanto:
∴ ∂F = - ∂F ϕ' ( a ) B B (6.29)
∂a ∂b
El valor del parámetro "a" se obtiene por eliminación entre las ecuaciones (6.28) y (6.29).
Segunda forma:
Partamos de la ecuación (6.26):
F ( x, y, z, u, v ) = 0
B B (6.30)
Supóngase que por algún procedimiento particular hemos hallado una solución que contiene una
función arbitraria, a la que llamaremos "a". En esta situación, es posible escribir expresiones
como las siguientes:
Φ ( x, y, z, u, v ) = a B B
u = u ( x, y, z, a ) B B
y v = v ( x, y, z, a )
En efecto, para obtener la primera de ellas, simplemente hemos expresado "a" en función de las
demás variables, de forma idéntica a lo que hicimos al despejar v, a partir de la (6.27) en el
ejemplo anterior. En cuanto a las otras dos, las obtenemos a partir de la ecuación
Φ ( x, y, z, u, v ) - a = 0
B B
Pero
v = v(y)
Por tanto
u = u [ x, y, z, v ( y ), a ] = u ( x, y, z, a ) B B B B
Es obvio que si elegimos expresar estas ecuaciones en esta forma, es únicamente por razón de
conveniencia.
Prosiguiendo con nuestro propósito, como z es función de x e y, su diferencial total responde a la
fórmula:
Ecuaciones Diferenciales de Orden Superior. 6.28
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
dz = ∂ z dx + ∂ z dy = u . dx + v . dy (6.31)
∂x ∂y
Si en esta última ecuación procedemos a reemplazar u y v, obtenemos
d z = u ( x, y, z, a ) d x + v ( x, y, z, a ) d y
B B B B
Si integramos ahora, aparecerá una segunda función constante. Por lo tanto, la integral que resulta
es una solución completa de la ecuación diferencial.
F'u - F'v
B B B B
dx = 0
dy
de donde:
Ecuaciones Diferenciales de Orden Superior. 6.29
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
dx = dy
F'u
B B F'v
B
Por simplicidad, utilizaremos un mismo nombre común, dt, para designar a estas dos razones,
idénticas entre sí. Es decir, llamaremos
dx = dy = dt (6.34)
F'u
B B F'v
B
dt B
(6.35)
dy = F'v B B
dt B
Detengámonos un momento para analizar lo realizado hasta ahora. De hecho, hemos expresado,
siempre de modo formal, las derivadas parciales
∂F y ∂F
∂u ∂v
como derivadas totales respecto de un mismo parámetro auxiliar, que hemos denominado t.
Volvamos atrás a la ecuación (6.31), y dividamos sus dos miembros por dt. A continuación, en el
resultado obtenido, reemplazaremos las (6.35), alcanzando una nueva igualdad:
dz = u dx + v dy = u F'u + v F'v
B B B B
dt dt dt
Asimismo, partiendo de la ecuación (6.26), F ( x, y, z, z'x, z'y ) = F ( x, y, z, u, v ) = 0
B B B B
y calculando sus derivadas con respecto a las variables x e y, hallamos las igualdades:
∂F + ∂F ∂z + ∂F ∂u + ∂F ∂v = 0
∂x ∂z ∂x ∂u ∂x ∂v ∂x
y ∂F + ∂F ∂z + ∂F ∂u + ∂F ∂v = 0 (6.36)
∂y ∂z ∂y ∂u ∂y ∂v ∂y
Por otra parte, las diferenciales totales de u y v son:
du = ∂ u dx + ∂ u dy
∂x ∂y
y dv = ∂ v dx + ∂ v dy
∂x ∂y
Ecuaciones Diferenciales de Orden Superior. 6.30
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
y dv = ∂v dx + ∂v dy
dt ∂x dt ∂y dt
Reemplazamos aquí (6.35), y llegamos a:
du = ∂u F'u + ∂ u
B B F'v =
B B
∂u ∂F + ∂u ∂F
dt ∂x ∂y ∂x ∂u ∂y ∂v
y (6.37)
dv = ∂v F'u + ∂ v
B B F'v =
B B
∂v ∂F + ∂v ∂F
dt ∂x ∂y ∂x ∂u ∂y ∂v
Como u = ∂z
∂x
∴ ∂u = ∂2z P
P
∂y ∂x ∂y
Igualmente v = ∂z
∂y
∴ ∂v = ∂2z P
P
∂x ∂x ∂y
comparando ambas expresiones, por carácter transitivo hallamos:
∂u = ∂v
∂y ∂x
Si reemplazamos estos valores en la primera de las ecuaciones (6.37) tendremos:
du = ∂u ∂F + ∂v ∂F
dt ∂x ∂u ∂x ∂v
Comparemos ahora con la primera de las (6.36):
∂F + ∂F ∂z + ∂F ∂u + ∂F ∂v = 0
∂x ∂z ∂x ∂u ∂x ∂v ∂x
Vemos que
∂F + ∂F ∂z + du = 0
∂x ∂z ∂x dt
Ecuaciones Diferenciales de Orden Superior. 6.31
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
du = - ( F'x + u F'z ) B B B B B ∴
B dt = - du
dt F'x + u F'z
B B B
dv = - ( F'y + v F'z ) B B B B B ∴
B dt = - dv
dt F'y + v F'z
B B B
También:
dt = dx = dy
F'u
B B F'v
B
dx = dy = dz = - du = - dv
F'u
B B F'v B u F'u + v F'v
B B B B F'x + u F'z
B B B B F'y + v F'z
B B B B
que posibilita llegar a determinar la solución completa de una ecuación diferencial en derivadas
parciales. En los ejemplos que siguen veremos cómo utilizarla para dicho fin:
De aquí: F'u = 6 u
B B F'v = y B B F'y = v
B B y F'z = - 1
B B
∴ u F'u + v F'v = 6 u2 + v y
B B B B P P
dx = dy = dz = du = dv
2
6u y B 6u + vy
B P P u 0
Esta ecuación sólo es posible si dv es igual a cero, lo que implica que v es una constante:
dv = 0 ∴ v = cte. = C1 B B
Por tanto
z = 3 u 2 + C1 y P P B B
o bien:
z - C1 y = 3 u2 B B P P
∴ d ( z - C1 y ) = 6 u du B B
dx = 6 u du = 6 du
u
Al integrar en ambos miembros hallamos:
∫ d x = 6 ∫ du
∴ x = 6 u + C2 B B
Por tanto
2
3 u 2 = z - C 1 y = ( x - C2 ) B B P
P P B B
12
De donde
( x - C2 ) 2 + C y
z =
B B P P
1 B B P
12
Esta es la solución completa de la ecuación diferencial, porque contiene dos funciones arbitrarias,
C1 y C2.
B B B B
Para encontrar la solución general, basta expresar una de ellas como función explícita de la otra.
Pongamos, por ejemplo:
C1 = C
B B y C2 = ϕ ( C ) B B
z = ( x + ϕ ( C )) + C y =
2
P P x2 + 2 x ϕ ( C ) + ϕ 2 ( C ) + C y
P P P P P P
12 12
Verifiquemos este resultado en la ecuación diferencial:
z = 3 u2 + v y = 3 u 2 + C y P P P P
u = ∂z = x + ϕ(C)
∂x 6
Ecuaciones Diferenciales de Orden Superior. 6.33
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
y v = ∂z = C
∂y
Reemplazando en la ecuación hallamos, efectivamente, que:
( x + ϕ ( C )) 2 + C y
z = 3 u2 + C y = P P
P P
12
Ejemplo 2:
Sea la ecuación:
z = ( 2 - u ) x + v y = 2 x - x z'x + y z'y B B B B
∴ F'u = - x
B B y F'v = y
B B
e integramos:
∫ dx = ∫ dy
-x y B B
ln y + ln x = ln C1 B B
o bien y x = C1 B B
A partir de la ecuación original, teniendo en cuenta los valores de F'u y F'v, podemos hacer: B B B B
u . F'u + v . F'v = - u x + v y = v y - u x = z - 2 x
B B B B (6.38)
Yendo de nuevo a la ecuación subsidiaria,
dz = dz = − dx = − dx
u . F'u + v . F'vB B B B vy - ux F'u B x B B
vy - ux = z - 2x = − x dz
dx
Operando en los dos últimos términos de esta igualdad, hallamos:
2 x dx = z dx + x dz = d ( x z )
Integrando nuevamente podemos hacer:
∫ d(zx) = 2 ∫ x dx + C2 B B
De donde:
z x = x 2 + C2 P P B B ó C2 = z x - x2
B B P P
C2 = ϕ ( C1 )
B B B B
z = x + C2 = x + 1 B B
ϕ ( C1 ) B B
x x
Donde ϕ ( C1 ) es una función arbitraria de x e y. Por ejemplo, si ϕ ( C1 ) = exy, entonces:
B B B B P P
z = x + exy P
P
B B
xy
u = z'x = 1 + x y e - e
xy
P
P
P
P
v = z'y = B B
x exy = exy
P
P
P P
x x2 P P x
Reemplazando en la ecuación implícita, verificamos que es solución de la misma. En efecto:
P P
P
P
x x
dx = du ∴ du = 5 dx
x 5 x B
Lo mismo, dy = - dv ∴ dv = −2 dy
y 2 y B
v = - 2 ( ln y + C2 ) B B
u = dz = 5 ( ln x + C1 ) + 5 - 5 = 5 ( ln x + C1 )
B B B B
dx
y v = dz = - 2 ( ln y + C2 ) - 2 + 2 = - 2 ( ln y + C2 )
B B B B
dy
La figura siguiente nos facilitará definir las condiciones del problema. Pero debe quedar bien en
claro que, aunque por necesidades del dibujo no lo parezca, el desplazamiento de la cuerda en
sentido transversal, es decir, su apartamiento de la horizontal, es de un orden varias veces inferior
a la longitud de la cuerda. En otras palabras, h es un infinitésimo frente a L.
y
F2
F1 dl
B B
B B
y h
x
dx L
0 x
B B
∆l, de la cuerda.
α - ∆α
F2 cos (α − ∆α) = F cos α
∆l
B B
α ∆y
F1 cos α = - F cos α
B B
α ∆x
F1 = - F
B B
F1 sen αB B
Nuevamente aquí las limitaciones de dibujo distorsionan la realidad. Para una mejor comprensión
de lo que sigue, téngase en cuenta que el ángulo α es muy pequeño, y por lo tanto, el ángulo ∆α
entre las fuerzas F1 y F2 es prácticamente un elemento diferencial.
B B B B
Como queda dicho más arriba, las fuerzas que actúan en sentido longitudinal satisfacen la
ecuación:
F1 cos α + F2 cos α = 0
B B B B
∆l ∆l
Si en lugar del incremento ∆l consideramos un elemento diferencial de longitud dl, el ángulo ∆α
tiende asimismo a un diferencial de ángulo, dα, mientras que la fuerza F2 tenderá al valor de la B B
fuerza aplicada, F, que suponemos constante. Teniendo en cuenta esto, el cociente incremental de
la fuerza por unidad de longitud de la cuerda será:
dF ∼ 1 ( F sen α - F sen α + F ∂ α cos α )
dl ∂l
O, simplificando:
dF ∼ ∂α F cos α (6.39)
dl ∂l
Por otra parte, sabemos que:
∂ sen α ∂α
= cos α
∂l ∂l
Reemplazando en la (6.9), nos queda:
∼ F ∂ sen α
dF
dl ∂l
En la figura puede verse también que:
Ecuaciones Diferenciales de Orden Superior. 6.38
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
sen α = ∂y
∂l
Reemplazando nuevamente:
∂ ∂y = F ∂ y
2
dF ∼ F P
P
dl ∂l ∂l ∂l2 P P
Como hemos dicho que la separación de la cuerda respecto de la horizontal es muy pequeña,
podemos afirmar que
∂l ∼ ∂x
dl ∂x2 P P
dF ∼ F ∂2y dl
P
P
(6.40)
∂x2 P P
Al llegar aquí, recordemos la ley de la dinámica: Fuerza igual a masa por aceleración; en
símbolos
F = m.a
a = ∂2y P
P
∂t2 P P
dF = a.dm = µ ∂2y dl
P
P
(6.41)
∂t2 P P
Por tanto, y por carácter transitivo, las ecuaciones (6.40) y (6.41) conducen a a la deducción
siguiente:
F ∂ y = µ ∂ y
2 2
P P
P P
∂x 2
P ∂t2
P P P
Si definimos
µ = c2 P P
F
Ecuaciones Diferenciales de Orden Superior. 6.39
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
obtenemos la
∂2y P
P
= c2
P P
∂2y P
P
∂x2 P ∂t2
P P P
que, como puede verse, es una ecuación entre derivadas parciales, en la que la variable
dependiente, "y", es a su vez función de otras dos: "x" y "t".
Esta ecuación es idéntica, salvo por el valor de la constante c, a la
∂2ϕ
P
P
= ν2 ∂ ϕ
2
P P
P
P
∂t2 P ∂x2 P P P
Empecemos por suponer que la posición inicial de la cuerda describe un triángulo isósceles, es
decir que sujetamos la cuerda exactamente por su punto medio, y la mantenemos así hasta el
momento de dejarla en libertad.
La figura siguiente ilustra la posición inicial descrita más arriba.
Posición de la
Cuerda en el
instante t = 0
L
U L
2
Si llamamos:
X" = - λ2 P P
X
de donde
X" = - λ2 X P P
λ2
y T" = - T
P P
2
P c
P P P
(1) Este método es conocido también como Método del Producto, e incluso Método de Fourier, por razones que se
comprenderán al estudiarlo. Con variantes, el procedimiento es valido también para otras posiciones iniciales
diferentes de la que consideramos aquí.
Ecuaciones Diferenciales de Orden Superior. 6.41
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
X" + λ2 X = 0 P P
T" + λ T = 0
2
P P
c2 P P
λ
y = sen λ x . cos t
c
λ
y = sen λ x . sen t
c
λ
y = cos λ x . cos t
c
λ
y = cos λ x . sen t
c
A partir de las condiciones de contorno dadas, se deduce que únicamente la primera de estas
cuatro igualdades,
y = sen λ x . cos λ t (6.42)
c
satisface el sistema. En efecto, solamente esta función cumple con la condición:
y ( 0, t ) = 0, para cualquier t,
así como la de velocidad inicial nula:
∂ y ( x, 0 ) = 0 P
∂t
La primera condición se cumple puesto que para x = 0 es sen x = 0, condición que descarta las
dos últimas soluciones de la lista. En cuanto a la segunda condición, derivando "y" respecto de
"t" obtenemos:
∂ λ t = − λ sen λ x . sen λ t
sen λ x . cos
∂t c c c
ecuación que es igual a cero para t = 0:
Pero, para que y (x, t) sea la solución buscada, la (6.42) debe satisfacer además la condición
inicial:
y ( L, 0 ) = 0
Para ello es necesario que λ L sea múltiplo de π:
λx = λL = nπ
x=L
En realidad, necesitamos que este valor sea igual a h, lo que a primera vista parecería una
incongruencia. Esto se resuelve multiplicando el valor de "y" por un factor, Cn. Como n es B B
h
x
L
U L
2
Es decir que los coeficientes Cn coinciden por lo tanto con los coeficientes bn del desarrollo de
B B B B
Fourier:
∞
∫ f ( x ) sen n π x
2
Cn =B B dx (6.45)
L 1 L
Es de notar que el período de la función a desarrollar es igual a 2 L, como se puede ver en la
misma figura.
Para calcular los coeficientes Cn, observemos que f ( x ) está constituida por dos tramos,
B B
2hx
L
2h
h
x
L L
2
Las ecuaciones que definen ambos tramos son, respectivamente (Ver figura):
Para
0 < x < L 2h
es : y = x
2 L
y para:
L < x < L es : y = 2h - 2h x = 2h (L - x)
2 L L
Reemplazamos ahora estos valores en la (6.45), y obtenemos:
Ecuaciones Diferenciales de Orden Superior. 6.44
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
L/2 L
Cn = 2 ∫ x sen n π x d x + ∫ 2 h ( L - x ) sen n π x d x
2h
B B
L 0 L L L/2 L L
L/2 L
∫ x sen n π x d x + ∫ ( L - x ) sen n π x d x
4h
Cn =B B (6.46)
2
L P P 0 L L/2 L
Para calcular por partes la primera de estas integrales
L/2
nπx dx
∫ x sen
0 L
haremos:
u = x y d v = sen n π x
L
De donde:
cos n π x
L
du = dx y v = -
nπ L
∫ x sen n π x d x = - L cos 2
P P nπ + L sen n π x
2
P P
0 L 2nπ 2 n2 π2
P P L P P 0
sen (6.47)
0 L 2nπ 2 n π
2
P P
2
P P 2
Procediendo de modo idéntico con la segunda integral de la (6.46):
L
∫ ( L - x ) sen n π x d x
L/2 L
haremos
Ecuaciones Diferenciales de Orden Superior. 6.45
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
u = x- L y d v = sen n π x
L
cos n π xL
Por tanto: du = dx y v = -
nπ L
Integrando, hallamos:
L L
nπx dx =
∫ ( L - x ) sen - ∫ ( x - L ) sen n π x dx =
L/2 L L/2 L
L L
( x - L ) cos n π x
L L2 nπx
= - sen
P P
nπ L L/2 n π 2
P P
2
P P L L/2
nπ - sen n π - sen n π
L2 L2
= cos
P P P P
2nπ 2 n2 π2 P P P P 2
cos n π +
L2 L2 sen n π
= (6.48)
P P P P
2nπ 2 n2 π2 2 P P P P
En esta última ecuación hemos simplificado sen n π = 0. Reemplazando ahora las igualdades
(6.47) y (6.48) en la (6.46), resulta
4h 2 L2 nπ = 8h nπ
Cn = sen sen
P P
B B
L2 P P n2 π2 P P P P 2 n2 π2 P P P P 2
Recordando, (6.44), que
∞
Cn sen n π x nπt
y ( x, t ) = Σ B B cos
n=1 L cL
e introduciendo el valor de Cn recién hallado, resulta: B B
= c2 P P
∂2y P
P
∂x 2
P ∂t2
P P P
la que, poniendo
α = 1
c
podemos modificar así:
∂2yP
P
= 1 ∂2y P
P
= α2 ∂ y
2
P P
P
P
(6.49)
∂t2 P P c2 P ∂x2
P P ∂x2 P P P
∂2yP
P
= α ∂2y P
P
∂r + ∂2y P
P
∂s − ∂2y ∂s − ∂2y ∂r P
P
P
P
∂t2 P ∂r2
P P ∂t
P ∂r∂s
P P ∂t ∂s2 ∂t ∂r∂s ∂t P P P P
∂2y = α
P
P
α ∂2y P
P
−α ∂2y
+ α ∂ y
2
P
P
P
P
− α ∂ y
2
P
P
∂t2 P ∂r2
P P ∂r∂s
P ∂s2 P ∂r∂s P
∂ 2 y = α2
P
P
P P
∂2y P
P
+ ∂ y
2
P
P
− 2 ∂2y
P
P
(6.50)
∂t2 P ∂r
P
2
P P ∂s2 P ∂r∂s
P
∂2y = P
P
∂2y
P
P
∂r + ∂2y P
P
∂s + ∂2y ∂s + ∂2y ∂r P
P
P
P
∂x2 P ∂r2
P P ∂x ∂r∂s
P P P ∂x ∂s2 ∂x ∂r∂s ∂x P P P P
∂2y = P
P
∂2y
P
P
+ ∂2y P
P
+ 2 ∂2y
P
P
(6.51)
∂x2 P ∂r2
P P P ∂s2 P ∂r∂s
P
α2
P P
∂2y P
P
+ ∂ y
2
P
P
− 2 ∂ y
2
P
P
= α2 P P
∂2y P
P
+ ∂ y
2
P
P
+ 2 ∂ y
2
P
P
= 0
∂r∂s
Nos encontramos por tanto con una nueva ecuación diferencial, cuya solución es de la forma:
y = Φ(r) + Ψ (s)
En efecto,
∂y = ∂Φ(r)
∂r ∂r
y, por lo tanto:
∂2y P
P
= ∂ ∂Φ(r) = 0
∂r∂s ∂s ∂r
Al reemplazar en ella los valores asignados a las variables r y s, la solución queda reformulada
así:
y ( x, t ) = Φ ( x + α t ) + Ψ ( x - α t ) (6.52)
Esta es la solución propuesta por D'alembert.
Φ' ( x ) = 1 A' ( x ) + 1 B ( x )
2 α
De manera similar, se obtiene:
De forma idéntica:
x - αt x - αt
Ψ ( x, t ) = 1 ∫ A' ( x ) d x - 1 ∫ B(x) dx
2 x 2α x
Y como
y ( x, t ) = Φ ( x , t ) + Ψ ( x, t )
reemplazando y efectuando operaciones:
x + αt x + αt
y ( x, t ) = 1 ∫ A' ( x ) d x + 1 ∫ B(x) dx +
2 x 2α x
Ecuaciones Diferenciales de Orden Superior. 6.49
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
x - αt x - αt
+ 1 ∫ A' ( x ) d x - 1 ∫ B(x) dx
2 x 2α x
x + αt x
∴ y ( x, t ) = 1 ∫ A' ( x ) d x - 1 ∫ A' ( x ) d x +
2 x 2 x - αt
x + αt x
+ 1 ∫ B(x) dx + 1 ∫ B(x) dx
2α x 2α x - αt
Finalmente
x + αt
y ( x, t ) = 1 [ A ( x + αt ) + A ( x - αt ) ] + 1 ∫ B(x) dx
2 2α x - αt
Dada una función de dos variables Φ ( x, y ), se conoce como Ecuación de Laplace a aquella cuya
expresión simbólica es:
Ecuación de
Laplace
∇2 Φ ( x, y ) = 0
P P
+ ∂2Φ
P
P
∂x2 P P ∂y2 P P
y ρ = √ x2 + y 2 P P P P
∂Φ = ∂Φ ∂ρ + ∂Φ ∂θ
∂x ∂ρ ∂x ∂θ ∂x
∂2Φ = ∂2Φ
P
P
P
P
∂ρ 2
P
+ ∂Φ ∂ ρ + ∂ Φ
P
2 2
P
P
P
P
∂θ 2
P
+ ∂Φ ∂ θ
P
2
P
P
∂ x2 ∂ρ2 P P P ∂x
P P ∂ ρ ∂ x2 ∂θ2 P P P P ∂x
P P ∂ θ ∂ x2
P P P
(6.53)
e igualmente:
∂2Φ = ∂2Φ
P
P
P
P
∂ρ 2
P
+ ∂Φ ∂ ρ + ∂ Φ
P
2 2
P
P
P
P
∂θ 2
P
+ ∂Φ ∂ θ
P
2
P
P
∂ y2 ∂ρ2 P P P ∂y
P P ∂ ρ ∂ y2 ∂θ2 P P P P ∂y
P P ∂ θ ∂ y2
P P P
(6.54)
Por otra parte, derivando a partir de
1
ρ = √ x2 + y 2 P P P P = ( x2 + y 2 ) 2 P P P P
obtenemos:
∂ρ = 1 2x = x P
(6.55)
P
∂x 2 P √ x + y
P
2
P P
2
P ρ
P
y ∂ρ = 1 2y = y (6.56)
∂y 2 P √ x + y
P
2
P P
2
P ρ
P
= ∂ x = 1 ρ − x ∂ρ = 1 ρ − x x
∂ x2 P P ∂x P ρ
P P ρ2
P P ∂x
P ρ2P ρ
P
∂2ρ
P
P
= ρ 2 - x2 =
P
P
P
P
y2 P
P
(6.57)
∂x 2
P ρ3 P P ρ
P
3
P P
Además, como
y = sen θ
x cos θ
si derivamos también esta expresión respecto de x, obtenemos:
Ecuaciones Diferenciales de Orden Superior. 6.51
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
∂ y = 1 cos2 θ ∂ θ + sen2 θ ∂ θ
P P P P = 1 ∂θ
∂x x cos θ2
P P ∂x ∂x cos θ
2
P P ∂x
Pero también es:
∂ y = - y = - y
∂x x x 2
P ρ cos2 θ
P
2
P P P P
Comparando las dos últimas igualdades, por carácter transitivo surge que
∂θ = - y (6.58)
∂x ρ2 P
∂ x = 1 − sen2 θ ∂ θ − cos2 θ ∂ θ P P P P = - 1 ∂θ
∂y y sen θ2
P P ∂y ∂y sen θ 2
P P ∂y
Pero como también:
∂ x = - x = - x
∂y y y2 P ρ2 sen2 θ
P P P P P
∂2 θP
P
Ahora, reemplazando las igualdades (6.55) a (6.61), en las ecuaciones (6.53) y (6.54), resulta:
∂2Φ = ∂2Φ x2 + ∂Φ y2
P
P
P
P
P
P
P
P
+ ∂ Φ
2
P
P
y2 P
P
+ ∂Φ 2xy
∂ x2 ∂ρ2 ρ2 ∂ρ ρ3 P P P P P P P P ∂θ2 P ρ
P
4
P P ∂θ ρ4 P P
y ∂2Φ = ∂2Φ y2 + ∂Φ x2
P
P
P
P
P
P
P
P
+ ∂ Φ
2
P
P
x2 P
P
− ∂Φ 2xy
∂ y2 ∂ρ2 ρ2 ∂ρ ρ3 P P P P P P P P ∂θ2 P ρ4
P P P ∂θ ρ4 P P
∂ x2 ∂y2 ρ2 ∂ρ2 ρ3 ∂ρ ρ4
P ∂θ2 P P P P P P P P P P P P P
= ∇2Φ P P
∂ρ ∂ρ ∂ρ ∂ρ2 P
∇2Φ = P P
1 ∂ ρ ∂Φ + 1 P ∂2Φ
P
P
P
ρ ∂ρ ∂ρ ρ2 P P ∂θ2 P
Φ ( ρ, θ ) = R ( ρ) . Τ ( θ )
De esta última igualdad se deducen, por derivación, las siguientes:
Ecuaciones Diferenciales de Orden Superior. 6.53
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
∂Φ = T P
dR
P
(6.63)
∂ρ dρ
∂Φ = R P
dT
P
∂θ dθ
y ∂2Φ P
P
2
= R d T P
P
P
P
∂θ2 P P dθ2 P P
Reemplazaremos a continuación estos valores en la ecuación de Laplace (6.62), con lo que ésta
adopta la forma:
1 ∂ ρT dR + R P d2T
P
P
P
= 0
ρ ∂ρ dρ ρ 2
P P dθ 2
P
= 0
ρ dρ dρ2 ρ2 P P P P dθ 2
P
1 d2T P
P
= − ρ dR − ρ2 P
P
d2R P
P
T dθ 2
P P R dρ R dρ2 P P P
n2 = − 1
P P
d2T P
P
(6.64)
T dθ 2
P P
n2 =
P P
ρ dR + ρ2 P
P
d2R P
P
R dρ R dρ2 P P
Al expresar estas dos últimas ecuaciones en forma implícita hallamos el sistema, homogéneo,
siguiente:
d2T P
P
+ Tn2 = 0 P P
dθ2 P P
d2R + 1 dR − n2
P
P
P
P
R = 0 (6.65)
dρ2 ρ dρ ρ2 P P P P
T ( θ ) = An cos n θ + Bn sen n θ B B B B
Ecuaciones Diferenciales de Orden Superior. 6.54
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
dθ
y d2T P
P
R ( ρ ) = C n ρ n + Dn ρ - n B B P P B B P P
Efectivamente:
d R = n . C ρ n -1 - n D ρ - n -1
n n B B P P B B P P
dρ
y d 2 R = n ( n - 1 ) C ρ n-2 - n ( - n - 1 ) D ρ -n-2
P
P
n n B B P P B B P P
d ρ2 P P
Reemplazando en la (6.65):
d2R + 1 dR −
P
P
n2 P
P
R = 0 (6.65)
dρ2 ρ dρ P P ρ 2
P P
obtenemos:
( n 2 - n ) Cn ρ n - 2 + ( n2 + n ) Dn ρ - n - 2 + n Cn ρ n - 2 - n Dn ρ - n - 2 -
P P B B P P P P B B P P B B P P B B P P
- n 2 Cn ρ n - 2 - n 2 Dn ρ - n - 2 =
P P B B P P P P B B P P
= Cn ρ n - 2 ( n2 - n + n - n2 ) + Dn ρ - ( n + 2 ) ( n2 + n - n - n2 ) = 0
B B P P P P P P B B P P P P P P
Otra forma de verificarlo consiste en reemplazar directamente esta última igualdad en la ecuación
de Laplace
1 ∂ ρ ∂Φ + 1 P ∂2Φ = 0
P
P
P
(6.62)
ρ ∂ρ ∂ρ ρ 2
P P ∂θ2 P
Si en ésta multiplicamos ambos miembros por ρ 2, podemos expresarla bajo una nueva forma: P P
ρ ∂ ρ ∂Φ + ∂ Φ = 0
2
P
P
(6.67)
∂ρ ∂ρ ∂θ2 P
∂Φ = T dR
∂ρ dρ
resulta:
∂ T ρ dR = T dR
2
+ Tρ d R P
P
∂ρ dρ dρ dρ2 P
= - n 2 ( An cos n θ + Bn sen n θ ) = - n 2 T P P B B B B P P
dθ 2
P P
de donde:
∂2 Φ P
P
= R P
d2 T
P
P
P
= - n2 RT P P
∂θ 2
P P dθ 2
P P
P P
dρ dρ2 P
= ( n + n 2 - n ) Cn ρ n + ( - n + n 2 + n ) Dn ρ - n - n 2 ( Cn ρ n + Dn ρ - n ) = P P B B P P P P B B P P P P B B P P B B P P
= n 2 Cn ρ n + n 2 Dn ρ - n - n 2 ( Cn ρ n + Dn ρ - n ) = 0
P P B B P P P P B B P P P P B B P P B B P P
y T ( θ ) = An cos n θ + Bn sen n θ B B B B
Si n = 0:
Φ0 ( ρ, θ ) = R0 ( ρ) . Τ0 ( θ ) = ( C0 + D0 ) A0
B B B B B B B B B B B B
n=1
donde
αn = An Cn
B B B B B βn = Bn Cn
B B B B B B γn = An Dn
B B B B B B
y δn = Bn Dn
B B B B B B B
a(x) ∂ 2 ϕ ( x, t ) + b ( x ) ∂ ϕ ( x, t ) + c ( x ) ϕ ( x, t ) +
P
P
∂x2 ∂x P P
+ d(x) ∂ 2 ϕ ( x, t ) + g ( x ) ∂ ϕ ( x, t )
P
P
= 0 (6.68)
∂t2 ∂t P P
= P
P
P
P
P
P
ϕ ( x, t )
∂x2 P P 0 ∂x2 ∂x2
P P P P
Observemos que para el cálculo de esta transformada, hemos tenido en cuenta en primer lugar
que la operación de transformar involucra el dominio del tiempo, t, y por lo tanto es
independiente respecto de la variable x. En el último paso, además, hemos invertido el orden de
integración y derivación.
De modo semejante se obtiene la transformada del segundo término. O sea
∞
b ( x ) ∂ ϕ ( x, t ) ∫ b(x) ∂ ϕ e dt = b(x) ∂ L
-st
L = P
P
ϕ ( x, t )
∂x 0 ∂x ∂x
A continuación, calcularemos la transformada de los términos que contienen derivadas parciales
respecto de t:
Ecuaciones Diferenciales de Orden Superior. 6.57
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
∞
d(x) ∂ ϕ ∫ d(x) ∂ ϕ e dt =
2 2 -st
L P
P
= P
P
P
P
∂t2 P P 0 ∂t2 P P
d(x) ∂ ϕ - s ϕ ( x, 0 ) - ∂ ϕ ( x, 0 )
2
∴ L P
P
= d(x) s 2 L ϕ ( x, t )
P P
∂t2 P P ∂t
A su vez
∞
g(x) ∂ϕ ∫ g(x) ∂ϕ g dt=g(x) s L
-st
L = P
P
ϕ ( x, t ) - ϕ ( x, 0 )
∂t 0 ∂t
Para simplificar las ecuaciones que siguen, utilizaremos en adelante la forma usual de denominar
a la transformada como una función de s, es decir:
L { f ( x, t )} = F ( s )
En este caso:
∞
∫
-st
Φ ( x, s ) = L { ϕ ( x, t ) } = ϕ ( x, t ) e P
P
dt
0
Con esta simbología, y reemplazando en la ecuación diferencial (6.68) los valores obtenidos hasta
aquí, la misma queda representada por la igualdad:
a(x) ∂ Φ ( x, s ) + b ( x ) ∂ Φ ( x, s ) + c ( x ) Φ ( x, s ) +
∂x2 P P ∂x
+ d ( x ) s 2 Φ ( x, s ) - s ϕ ( x, 0 ) - ∂ ϕ ( x, 0 )
P P +
∂t
+ e(x) s Φ ( x, s ) - ϕ ( x, 0 ) = 0
La única derivada respecto de t que aparece aquí es nula, porque la primitiva, ϕ ( x, 0), es función
de x solamente. Todas las demás derivadas lo son respecto de una única variable, x.
Por tanto, suprimida aquella, podemos considerar a las restantes como derivadas totales respecto
de x, con lo cual la ecuación diferencial se convierte, en el dominio transformado, en una
ecuación diferencial ordinaria, que se deberá resolver como tal:
a ( x ) d Φ ( x, s ) + b ( x ) d Φ ( x, s ) + c ( x ) Φ ( x, s ) +
dx2 P P dx
+ d(x) s 2 Φ ( x, s ) - s ϕ ( x, 0 )
P P + e ( x ) s Φ ( x, s ) - ϕ ( x, 0 ) = 0
Ecuaciones Diferenciales de Orden Superior. 6.58
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
Ejemplo 1:
Como primer ejemplo analizaremos las ecuaciones de una línea de transmisión, que fueron
históricamente conocidas como Ecuaciones Telegráficas, porque definen el comportamiento de la
tensión y corriente eléctricas, en función de los parámetros físicos de un par de conductores de
cobre, como los utilizados en los sistemas alámbricos de comunicaciones.
Las relaciones entre la tensión y la intensidad de la corriente a lo largo de una tal línea de
transmisión de energía eléctrica satisfacen (Ver la figura a continuación), el sistema de
ecuaciones siguiente:
i ( x, t ) r .d x l .d x
Modelo matemático de
una línea de
transmisión de Energía v ( x, t ) g .d x c .d x
Eléctrica
dx
∂ v ( x, t ) = r . i ( x, t ) + l ∂ i ( x, t )
∂x ∂t
∂ i ( x, t ) = g . v ( x, t ) + c ∂ v ( x, t )
∂x ∂t
El problema consiste en hallar las funciones v ( x, t ) e i ( x, t ), que dan los valores de la tensión
y corriente en cada punto de la línea, y en cada instante.
Si bien estas ecuaciones pueden resolverse sin problemas en el campo de las variables x y t, aquí
recurriremos, a manera de ejemplo, al auxilio de la transformada de Laplace. La idea consiste en
redefinir las ecuaciones de modo que aparezca una sola variable independiente en cada una de
ellas. Empezamos por derivar la primera respecto de x y la segunda respecto de t:
∂2v =
P
P
r ∂i + l ∂ i
2
P
P
∂x2 P P ∂x ∂t∂x
∂2i
P
P
= g ∂v + c ∂ v
2
P
P
∂x∂t ∂t ∂t2 P P
r ∂i + lg ∂v + lc ∂ v
2
P
P
∂x2 P P ∂x ∂t ∂t2 P P
Tomando para
∂ i
∂x
el valor definido por la (6.69), obtendremos
∂2v = rg.v + rc ∂v
P
P
+ lg ∂v + lc ∂2v
P
P
∂x2 P P ∂t ∂t ∂t2 P P
o, agrupando términos:
∂2v = rg.v + (rc + lg ) ∂v + lc ∂2v
P
P
P
P
(6.70)
∂x2 P P ∂t ∂t2 P P
(6.71)
∂x2 P P ∂t ∂t2 P P
L { v ( x, t ) } = V ( x, s ) = V
y L { i ( x, t ) } = I ( x, s ) = I
Y también:
Ecuaciones Diferenciales de Orden Superior. 6.60
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
vo = v ( 0)
B B v'o = d v ( 0 )
B B
dt
Con tales simplificaciones la ecuación resultante en el caso de la diferencia de potencial, V (x,t),
queda así:
d 2 V = r g . V + ( r c + l g ) ( s V - v ) + l c ( s 2 V - s v - v' )
P
P
o o o B B P P B B B B
dx2 P P
o o P P B B B B
dx2 P P
∴ d 2 V - ( r + l s ) ( g + c s ) V + l ( g + c s ) v + l c v' = 0
P
P
o o B B B B
dx2 P P
Esta ecuación, en el dominio de la variable de Laplace, es como vemos una ecuación diferencial
ordinaria. Para resolverla, bastará hallar la primitiva correspondiente.
o o B B B B
dx2 P P
Cuando la línea puede ser considerada sin pérdidas, es decir, cuando la resistencia específica
(Resistencia por unidad de longitud) del conductor es despreciable, y la aislación entre ambos
conductores es muy grande, es decir
r ≅ 0 y g ≅ 0
las ecuaciones anteriores se simplifican así:
d 2 V - l c ( s 2 V - s v - v' ) = 0
P
P
o o P P B B B B
2
d x P P
d2I P
P
- l c ( s 2 I - s i o - i 'o ) = 0 P P B B B B
2
d x P
Ejemplo 2:
Ecuación de las ondas (Ecuación de D'Alembert):
La ecuación:
∂2ϕ P
P
= ν2
P P
∂2ϕ P
P
∂t2 P ∂x2
P P P
Ecuaciones Diferenciales de Orden Superior. 6.61
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
debida a D'Alembert, es conocida como Ecuación de las ondas. Más arriba hemos resuelto en la
forma tradicional la ecuación de la cuerda vibrante, enteramente similar(1) a la que ahora TP PT
dt
0
e
-st
P
P
dt = ν2 P P ∫ ∂ 2 ϕ ( x, t )
P
P
e
-st
P
P
dt
0 ∂t P
2
0
P
∂x P
2
P
e
-st
P
P
dt = ν 2
P P
∂2 P
P
∫ ϕ ( x, t ) e
-st
P
P
dt
0 ∂t P
2 P
∂x P
2
0
P
Obsérvese que este último paso está plenamente justificado porque, al no ser e- s t función de x, a P P
efectos de la operación "derivada respecto de x", dicha exponencial se comporta como una
constante que multiplica a ϕ ( x, t ).
El primer miembro de la última ecuación es justamente la transformada Laplace de la derivada
segunda de ϕ ( x, t ), mientras que la última integral es la transformada Laplace de la misma
función.
Podemos ahora formular la siguiente igualdad:
(1)
TP PTSimilitud lógica si consideramos que el movimiento de la cuerda vibrante, al ser dejada en libertad, consiste en
una oscilación amortiguada alrededor de la posición de equilibrio.
Ecuaciones Diferenciales de Orden Superior. 6.62
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
s2 Φ ( x, s ) - s ϕ ( x, 0 ) -
P P
∂ ϕ ( x, 0 ) = ν 2
P P
∂ 2 Φ ( x, s )
P
P
∂t P P ∂ x2
P P
- s2 P
P
Φ ( x, s ) = 0
∂x P
2
P ν 2
P P
Para obtener los valores de A y B, recurrimos a las condiciones de contorno que hemos
especificado para el problema, es decir:
ϕ ( 0, t ) = ν ( t )
cuya transformada es
Φ ( 0, s ) = L { ν ( t ) } = V ( s )
y ϕ ( ∞, t ) = 0
de donde:
Φ ( ∞, s ) = 0
Reemplazando estos valores en la solución de la ecuación diferencial, resulta:
Φ ( 0, s ) = A e 0 + B e 0 = A + B = V ( s ) P P P P
y Φ ( ∞, s ) = A e ∞ + B e - ∞ = A e ∞ = 0 P P P P P P
ϕ ( x, t ) = ν ( t ) [ δ ( t − x ) . H ( t − x )]
*
ν ν
Finalmente, de acuerdo con los valores que toma la función de Heaviside, según que el
argumento sea positivo o negativo, llegamos al resultado siguiente:
= ν(t) δ(t − x ) t ≥ x
*
si
ν ν
ϕ ( x, t ) =
= 0 si t < x
ν
6.14 - Problemas.
x ∂z + y ∂z = z-(2+i)
∂x ∂y
= 0 + z'x B B
∴ - 4 y - 2 y z'x + 2 z'y = 0
B B B B
0 + z'y B B - 2 y + z'y B B
R: ∂z - y ∂z = 2y
∂y ∂x
Solución:
f2 - g2 = z2 + 4xz + 4x2 - z2 +2zy2 - y4 = 0
P P P P P P P P P P P P P P
4 2
∴ z = y - 4x = 1 P
P
P
P
y4 - 4x2 =
P
P
P
P
y2 - 2x
P
P
4x + 2y2 2 P P y2 + 2x
P P 2
∴ ∂z - y ∂z = y - y(-1) = 2y
∂x ∂y
6.14.4 - Ecuación de Laplace, o del Potencial. Sea una placa rectangular, delgada y uniforme,
como la de la figura, conductora del calor, en uno de cuyos bordes el potencial calórico ϕ
aplicado responde a una función senoidal, mientras que los otros tres se mantienen a potencial
cero:
y
ϕ=0
l
ϕ=0 ϕ=0
x
0 ϕ = sen x π
∇2 ϕ ( x, y ) =
P P
∂2ϕ P
P
+ ∂ ϕ
2
P
P
= 0
∂x 2
P ∂y2
P P P
Y" = - X" = λ2 P P
Y X
Y a partir de aquí podemos establecer un sistema de ecuaciones diferenciales, cada una de ellas
de una única variable:
X" + λ2 X = 0
P P
Y" - λ2 Y = 0
P P
Por tanto:
ϕ ( x, y ) = [ A sen ( λ x ) + B cos ( λ x )] . ( C e λ y + D e - λ y ) P P P P
ϕ ( x, y ) = ( M e λ y + N e - λ y ) sen ( λ x ) + ( P e λ y + Q e - λ y ) cos ( λ x )
P P P P P P P P
Las condiciones de contorno indican que el potencial aplicado varía como la función seno
ϕ ( x, 0 ) = sen x
Por esto el término en coseno de x debe ser nulo. También es: λ = 1. La solución se reduce
entonces a:
ϕ ( x, y ) = ( M e y + N e - y ) sen x P P P P
Resta determinar los valores de las constantes M y N, para lo cual recurriremos de nuevo a las
condiciones de contorno:
De ϕ ( x, 0 ) = sen x resulta, al reemplazar y = 0 en la solución :
ϕ ( x, 0 ) = ( M + N ) sen x
Por lo que M + N = 1 ∴ Ν = 1− Μ
Por su parte, de ϕ ( x, l ) = 0, deducimos que
ϕ ( x, l ) = - ( M el + N e - l ) sen x = 0 P P P P
Y de aquí: M e l + ( 1 - M ) e -l = 0
P P P P
Despejamos M
M ( e l - e -l ) = - e -l
P P P P P P
l
∴ Μ = e-P
P
2 sh l
y N = − el P
P
2 sh l
6.14.5 - Resolver el problema anterior pero con las condiciones de contorno siguientes:
a) ϕ ( x, 0 ) = sen λ x
ϕ ( x, l ) = 0
ϕ ( 0, y ) = 0
ϕ ( π/λ, y ) = 0
Ecuaciones Diferenciales de Orden Superior. 6.67
Parte VI - Ecuaciones Diferenciales de Derivadas Parciales.
b) ϕ ( x, 0 ) = sen x - sen 3x
ϕ ( x, l ) = 0
ϕ ( 0, y ) = 0
ϕ ( π, y ) = 0
R: ϕ ( x, y ) = e (y - l ) - e -
P
P
P
P
P
(y - l )
P
sen x − e 3 (y - l ) - e - 3 (y - l )
P
P
P
P
P
P
sen 3 x
2 sh l 2 sh 3 l
a) ∂ z + ∂ z = 0
∂x ∂y
Solución:
z ( x, y ) = X ( x ) . Y ( y )
∴ ∂z = YX' y ∂z = XY'
∂x ∂y
Al reemplazar en la ecuación diferencial obtenemos
Y X ' + X Y ' = 0, de donde
X' = −Y' = λ
X Y
Esta igualdad permite obtener un sistema de dos ecuaciones diferenciales ordinarias
X' - λ X = 0
Y' + λY = 0
Una solución de este sistema es: X = a eλ x P P e Y = b e -λ y P P y, por lo tanto:
z = X Y = a b e λ (x - y) = c e λ (x - y)
P P P P
Nota: La simetría del sistema original implica que también es solución z = d e λ (y - x). Por tanto, P P
∇2 z ( x, y ) =
P P
∂2z P
P
+ ∂2z P
P
= 0
∂x 2
P P ∂y 2
P P
R: z ( x, y ) = Σ ( M k e kλ y + Nk e - kλ y ) sen kλ x + ( Pk e
B B P P B B P P B B P
kλ y
P + Q k e - kλ y ) cos kλ x
B B P P
c) ∂z - y ∂z = 0
∂x ∂y
R: z ( x, y ) = k . y α . e α x P P P P
Aplicaciones Matlab.
Solución de ecuaciones con derivadas parciales respecto de una sola variable independiente.
» % Ejemplo: dz/dx = 2*y^2*x
» syms x y
» z = 2*int('y^2*x',x)
z = y^2*x^2
» % Para obtener la solución debemos agregar una función arbitraria de y (Constante
respecto de x):
» % z = y^2*x^2 + 2*f(y)
Time: 1.25
Time: 1.5
Time: 1.75
Time: 2
Time: 2.25
Time: 2.5
Time: 2.75
Time: 3
Time: 3.25
Time: 3.5
Time: 3.75
Time: 4
Time: 4.25
Time: 4.5
Time: 4.75
Time: 5
Matlab puede ser una excelente herramienta para verificar la solución de ecuaciones en
general. Ejemplo, Verificar el resultado de la ecuación: dz/dx - y*dz/dy = 0. Problema
6.14.6c
»
» % Verificación:
»
» diff(diff(f,x),x)
ans =
- (exp(1/2*l/sinh(l))*exp(y)+(1-exp(1/2*l/sinh(l)))*exp(-y))*sin(x)
» diff(diff(f,y),y)
ans =
(exp(1/2*l/sinh(l))*exp(y)+(1-exp(1/2*l/sinh(l)))*exp(-y))*sin(x)
» diff(diff(f,x),x) + diff(diff(f,y),y)
ans = 0
Pa r t e V I I
L a I n teg r a l d e P o i s s o n
2006
Ecuaciones Diferenciales de Orden Superior. 7.3
Parte VII - La Integral de Poisson y el Problema de Dirichlet.
donde tanto los coeficientes como la función son complejos que expresaremos de la siguiente
forma:
a n = αn + i β n .
y zn = ρ n
e i n (ϕ − θ)
R
Reemplazando en la serie, obtenemos:
∞ ∞
f(z) = Σ an z n
= Σ ( αn + i βn ) ρ n
e i n (ϕ − θ)
n=0 n=0 R
Si desarrollamos la exponencial que aparece en el segundo miembro como suma de senos y
cosenos, obtenemos
∞
f(z) = Σ ( αn + i βn ) ρ n
[ cos n ( ϕ - θ ) + i sen n ( ϕ - θ )]
n=0 R
Ahora separaremos esta serie en otras dos, una que agrupe a todos los términos reales y la otra a
los imaginarios:
Ecuaciones Diferenciales de Orden Superior. 7.5
Parte VII - La Integral de Poisson y el Problema de Dirichlet.
∞
Re { f ( z ) } = Σ ρ n
( αn cos nϕ − βn sen nϕ )
n=0 R
∞
e Im { f ( z ) } = Σ ρ n
( αn sen nϕ + βn cos nϕ )
n=0 R
La parte real de f ( z ) es, según la (7.1):
Re { f ( z ) } = u ( ρ ,ϕ-θ)
R
Y por tanto
∞
u( ρ ,ϕ-θ) = Σ ρ n
[ αn cos n ( ϕ - θ ) − βn sen n( ϕ - θ )]
R n=0 R
Veremos a continuación que conocida la parte real de f ( z ), es decir, u ( ρ, ϕ ) es posible
determinar los valores de los coeficientes αn y βn, lo que nos permitirá definir completamente la
serie. Para ello, en la última igualdad hagamos ρ = R y θ = 0:
∞
u ( 1, ϕ ) = Σ αn cos n ϕ − βn sen n ϕ = u ( ϕ ) (7.3)
n=0
Para comparar ambas series, y por semejanza, hallar fórmulas que nos permitan calcular el valor
de los coeficientes, pondremos ω0 = 1. Al compararlas, deducimos que:
a0
α0 =
2
αn = a n y βn = - bn
Es decir que podremos obtener los valores de αn y de βn utilizando las fórmulas siguientes,
equivalentess a las que corresponden al cálculo de los coeficientes de la serie de Fourier:
2π
α0 =
1 ∫ u(ϕ) dϕ
2π 0
2π
αn = a n = 1 ∫ u ( ϕ ) cos nϕ d ϕ
π 0
2π
βn = - bn = - 1 ∫ u ( ϕ ) sen nϕ d ϕ
π 0
∞ 2π 2π
+ 1 Σ ρ n
cos nϕ ∫ u ( ϕ ) cos nϕ d ϕ + sen nϕ ∫ u ( ϕ ) sen nϕ d ϕ
π n=1 0 0
(7.5)
Esta es una solución al Problema de Dirichlet. Pero es una solución aproximada, pues consta de
infinitos términos. Sin embargo, puede en ciertos casos llegar a ser una solución exacta, cuando
la serie se reduce a un número finito de términos. En los apartados que siguen deduciremos la
Integral de Posisson que, por el contrario, constituye una posible solución exacta al problema.
No obstante, en muchos casos la dificultad para calcular dicha integral hace necesario
conformarse con el desarrollo en serie.
2π
u ( ρ, ϕ ) = 1 ∫ u(θ)dθ +
2π 0
∞ 2π 2π
+ 1 Σ ρ n
∫ u ( θ ) cos nθ . cos nϕ d θ + ∫ u ( θ ) sen nθ . sen nϕ d θ
π n=1 0 0
Seguidamente cambiaremos el orden entre la sumatoria y la integral, lo que conduce a una nueva
forma:
2π ∞
u ( ρ, ϕ ) = 1 ∫ 1 + Σ ρn ( cos nθ . cos nϕ + sen nθ . sen nϕ ) u ( θ ) dθ
π 0 2 n=1
El término que aparece entre paréntesis en el segundo miembro es justamente el coseno de la
diferencia de dos ángulos:
2π ∞
u ( ρ, ϕ ) = 1 ∫ 1 + Σ ρn cos n ( θ - ϕ ) u ( θ ) dθ (7.6)
π 0 2 n=1
Recordemos también que el valor de una suma infinita y convergente de potencias responde a la
igualdad:
∞
Σ xn = 1
n=0 1- x
Restando el primer término de la serie, se puede escribir en reemplazo de la anterior:
∞
Σ xn = 1 − 1
n=1 1- x
Aplicando este resultado a la sumatoria que aparece en el integrando de la (7.7), hallamos que:
∞
ρ ei (θ - ϕ )
Σ ρn ein (θ - ϕ ) = 1 − 1 =
n=1 1 - ρ ei (θ - ϕ ) 1 - ρ ei (θ - ϕ )
∞
ρ [ cos ( θ − ϕ ) + i sen ( θ − ϕ )]
∴ Σ ρn ein (θ - ϕ ) =
n=1 1 - ρ [ cos ( θ − ϕ ) + i sen ( θ − ϕ )]
A continuación igualaremos las partes reales de los dos términos de esta ecuación:
∞
ρ [ cos ( θ − ϕ ) + i sen ( θ − ϕ )]
Re Σ ρn ein (θ - ϕ ) = Re
n=1 1 - ρ [ cos ( θ − ϕ ) + i sen ( θ − ϕ )]
ρ cos (θ − ϕ ) - ρ2
=
1 - 2 ρ cos ( θ − ϕ ) + ρ2
Si reemplazamos este valor en la (7.6), verificamos que:
2π
ρ cos (θ − ϕ ) - ρ2
u ( ρ, ϕ ) = 1 ∫ 1 + u ( θ ) dθ
π 0 2 1 - 2 ρ cos ( θ − ϕ ) + ρ 2
Integral de Poisson
2π
1 − ρ2
u ( ρ, ϕ ) = 1 ∫ u ( θ ) dθ (7.8)
0 1 - 2 ρ cos ( ϕ - θ ) + ρ
2
2π
Ecuaciones Diferenciales de Orden Superior. 7.9
Parte VII - La Integral de Poisson y el Problema de Dirichlet.
∴ τ = 0 y por tanto, ϕ = θ
• Límite para ρ → ∞:
El valor absoluto del límite del núcleo de Poisson cuando ρ tiende a infinito es igual a 1.
Efectivamente:
1 − ρ2
lim = 1
ρ→∞ 1 - 2 ρ cos ( ϕ - θ ) + ρ2
Y esto, de acuerdo con la propiedad anterior, ocurre cuando ϕ = θ
• Finalmente, el área bajo el núcleo de Poisson, entre 0 y 2π, es en todos los casos igual a 2π.
Para demostrarlo, hagamos
u ( ρ, ϕ ) = 1
En tal caso, la (7.8) resulta simplificada como vemos aquí abajo:
2π 2π
2
1 − ρ
1 = 1 ∫ dθ = 1 ∫ Np d θ
2π 0 1 - 2 ρ cos ( ϕ - θ ) + ρ 2
2π 0
Es decir que la integral queda reducida a la integral del núcleo exclusivamente. Y, despejando,
vemos que, efectivamente
2π
1 − ρ2
∫ dθ = 2π
0 1 - 2 ρ cos ( ϕ - θ ) + ρ2
| Np ( ρ, ϕ ) |
ρ=1
+1
ρ→∞
ϕ
0 θ 2π
Ecuaciones Diferenciales de Orden Superior. 7.11
Parte VII - La Integral de Poisson y el Problema de Dirichlet.
R
Γ
w1
wo
D
ϕ
u
Llamaremos D al dominio constituido por los puntos del círculo, incluida la circunferencia
frontera Γ. También, denominaremos genéricamente w a los puntos de tal dominio.
Consideremos una función f ( w ), analítica en D. Si wo es un punto determinado del dominio D,
aplicando el teorema de la integral de Cauchy podemos decir que
1 f(w)
f ( wo ) = ∫
dw
2πi Γ w - wo
Llamemos w1 a un punto definido por el sistema de ecuaciones siguiente:
R2
| w1 | =
| wo |
arg wo = arg w1 = ϕ
Entonces, como
| wo | = | wo |
podemos afirmar también que
R2
| w1 | =
| wo |
Por otra parte, como
| wo | < R, porque el punto wo es interior al círculo, deberá ser:
| w1 | > R
De lo anterior, deducimos que, como f ( w ) es por definición analítica en el interior del círculo, y
el punto w1 es exterior al mismo, la función
f(w)
w - w1
es también analítica en el interior del círculo, pues el punto singular w = w1 es exterior a aquel.
Aplicando el teorema de Cauchy, tenemos:
∫ ∫
1 f(w) 1 f(w)
dw = 2
dw = 0
2πi Γ w - w1 2πi Γ w - R
wo
Restando de f ( wo ) este valor, nulo, podemos decir que la misma es también igual a:
1 1 1
f ( wo ) = ∫
− f(w) dw
2πi Γ w - wo w - R2
wo
1 1 wo
∴ −
f ( wo ) =
2πi
∫
Γ w - wo wo w - R 2
f(w) dw
wo w - R2 - wo w + wo wo
∫
1
∴ f ( wo ) = f(w) dw
2πi Γ ( w - w o ) ( wo w - R )
2
Si llamamos ρ = | wo |, entonces:
wo wo = | wo | 2 = ρ 2
1 ρ2 - R2
f ( wo ) = ∫ f (w ) d w
2πi Γ ( w - wo ) ( w o w - R ) 2
Recordemos que w es la designación genérica que utilizamos para referirnos a cualquiera de los
puntos del recinto cerrado D. Por lo tanto, la ecuación anterior es asimismo válida para cualquier
punto de la circunferencia Γ, que forma parte también del mismo recinto. Llamemos σ a un
punto cualquiera de dicha circunferencia. La expresión anterior continúa en consecuencia siendo
válida si reemplazamos en ella w por σ:
Ecuaciones Diferenciales de Orden Superior. 7.13
Parte VII - La Integral de Poisson y el Problema de Dirichlet.
1 ρ2 - R2
f ( wo ) =
2πi
∫ Γ ( σ - wo ) ( wo σ - R )
2
f(σ) dσ
Hagamos ahora:
σ = R e iθ ∴ f ( σ ) = f ( R, θ )
y como
wo = ρ e i ϕ ∴ wo = ρ e- i ϕ
Como la curva suave sobre la que queremos calcular la integral curvilínea es precisamente la
circunferencia, y estamos llamando σ a los puntos de la misma, tomando un desplazamiento
infinitesimal dσ sobre dicha circunferencia a partir del punto σ, debe verificarse que
d σ = R i e iθ d θ
Al reemplazar todos estos valores en la última integral, llegamos a:
2π
( ρ 2 - R2 ) R i e i θ
f ( wo ) = 1 ∫ f ( R, θ ) d θ
iθ iϕ -iϕ iθ
2πi 0 (Re -ρe )(ρe Re - R )2
2π
( ρ 2 - R2 ) R i e i θ
∴ f ( wo ) = 1 ∫ f ( R, θ ) d θ
i (2 θ − ϕ ) iθ iθ iϕ
2πi 0 R ρe
2
-R e 3
-ρ Re2
+R ρe2
f ( wo ) = 1 ∫ ( R2 - ρ 2 ) f ( R, θ ) d θ
2π 0 R + ρ2 2
- 2 R ρ cos ( θ − ϕ )
Al descomponer f ( wo ) y f ( R, θ ) como suma de sus respectivas partes real e imaginaria,
obtenemos:
2π
( R2 - ρ 2 ) [ u ( R, θ ) + i v ( R, θ )] d θ
u ( ρ, ϕ ) + i v ( ρ, ϕ ) = 1 ∫
2π 0 R2 + ρ 2 - 2 R ρ cos ( θ − ϕ )
Ahora igualemos las partes reales de ambos miembros de la igualdad. Entonces:
2π
( R2 - ρ 2 ) u ( R, θ )
u ( ρ, ϕ ) = 1 ∫ dθ (7.9)
2π 0 R + ρ
2 2
- 2 R ρ cos ( θ − ϕ )
cos ( θ − ϕ ) = cos ( ϕ − θ )
la ecuación (7.9) quedaría así
2π
(1 - ρ2) u(θ)
u ( ρ, ϕ ) = 1 ∫ dθ
2π 0 1 + ρ 2
- 2 ρ cos ( θ − ϕ )
Pero ésta es, justamente, la Integral de Poisson (7.8).
Son importantes las aplicaciones físicas que se pueden extraer a partir de la solución al Problema
de Dirichlet. Por ejemplo, supongamos un cilindro metálico hueco cuyo interior está constituido
por material dieléctrico. La Integral de Poisson permite conocer cuál será la distribución del
potencial en los distintos puntos del dieléctrico [ la función armónica u ( ρ, ϕ ) ], cuando se aplica
un determinado potencial a la cubierta metálica (Condición de contorno o de frontera).
De manera similar, si por ejemplo queremos conocer cómo se propaga el calor sobre una lámina
conductora al aplicar en su borde una determinada temperatura, podemos recurrir a la solución
del Problema de Dirichlet en el Semiplano, que veremos a continuación.
iv
D wo
+R
u
Ecuaciones Diferenciales de Orden Superior. 7.15
Parte VII - La Integral de Poisson y el Problema de Dirichlet.
Es evidente que cuando R tiende a infinito, el dominio D encerrado por el contorno Γ de la figura
abarca la totalidad del semiplano superior. Es decir, el dominio para el cual es v ≥ 0.
Llamemos wo a un determinado punto del dominio D.
wo ∈ D
Como en el caso anterior, podemos definir una función f ( wo ), mediante la integral de Cauchy:
f ( wo ) = 1
∫
f(w) dw (7.10)
2πi Γ w - wo
Por el contrario, el conjugado de wo no pertenece a D. Ello nos permite inferir que debe ser nula
la integral:
∫
1 f(w) dw = 0
2πi Γ w - wo
∫
1 w - wo - w + wo
f ( wo ) = f(w) dw (7.12)
2πi Γ ( w - wo ) ( w - w o )
Como
wo = ρ e i ϕ
será
wo . wo = ρ 2
wo es la denominación genéricva que utilizamos para designar cualquier punto interior al dominio
D. Para evitar confusiones, llamaremos x e y a las coordenadas de wo(1). Es decir:
wo = x + i y
Entonces
wo − wo = 2 i y
y wo + wo = 2 x
Reemplazando estos valores en la (7.12):
1 2iy
f ( wo ) = ∫
f(w) dw (7.13)
2πi Γ w + ρ - 2wx
2 2
Teniendo en cuenta el contorno sobre el cual debemos resolver la integral curvilínea, y llamando
C a la curva superior del mismo, haremos:
(1)
Como wo es un punto genérico, las coordenadas dependen de cada punto wo, luego son variables. Por eso las
designamos x e y en lugar de uo y vo, denominación ésta última más apropiada para designar valores constantes.
+R
f ( wo ) = y ∫ f(w) dw + y ∫ f(w) dw
π -R w2 + ρ2 - 2 w x π C w2 + ρ2 - 2 w x
En la primera integral podemos reemplazar w = u, pues sobre el eje de abscisas, v es siempre
igual a cero:
+R
f ( wo ) = y ∫ f(u) du + y ∫ f(w) dw
π -R u2 + ρ 2 - 2 u x π C w2 + ρ2 - 2 w x
En cuanto a la segunda integral, si w es un punto cualquiera del contorno C, podemos escribir:
∫ f(w) dw = ∫ f(w) dw
C w2 + ρ2 - 2 w x C R2 e 2 i θ + ρ2 - 2 R x e 2 i θ
Si la función f ( w ) se mantiene acotada en todo el dominio D, al tender R a infinito la integral
tiende a cero.
En consecuencia, quedará finalmente:
+∞
f(z) = y ∫ f(u) du
π -∞ u2 + ρ 2 - 2 u x
Igualando las partes reales de las funciones complejas que aparecen en los dos miembros de esta
ecuación, podemos escribir:
+∞ +∞
Φ ( u, o ) d u Φ ( u, o ) d u
Φ ( x, y ) = y ∫ = y ∫
π -∞ u
2
+ ρ2 - 2ux π -∞ u2 + x 2 + y 2 - 2 u x
+∞
Φ ( u, o ) d u
Φ ( x, y ) = y ∫ (7.14)
π -∞ (u -x) 2
+ y 2
7.7 - Problemas.
β1 = - Vo π = - Vo
π
Finalmente, la función armónica buscada es:
u ( ρ, ϕ ) = Vo ρ sen θ
iv
u ( 1, ϕ ) = Vo
Ranura
infinitesimal
1 u
u ( 1, ϕ ) = 0
Solución:
Aquí, los coeficientes del desarrollo en serie son:
π
α0 =
1 ∫ Vo d ϕ = Vo
2π 0 2
π
αn = a n =
1 ∫ Vo cos n ϕ d ϕ = 0
π 0
π π
βn = - bn = - 1 ∫ Vo sen n ϕ d ϕ = - Vo cos n ϕ
π 0 nπ 0
βn = 2 Vo con n impar.
nπ
Ecuaciones Diferenciales de Orden Superior. 7.19
Parte VII - La Integral de Poisson y el Problema de Dirichlet.
Aplicaciones matlab
El Núcleo de Poisson:
» % Representar el Núcleo de Poisson en función de rho y phi:
» % Np = (1 - rho^2)/(1 + rho^2 - 2*rho*cos (phi-theta))
» % Hagamos por ejemplo, theta = pi
» % Para utilizar la función EZPLOT debemos llamar phi = x.
» % También, pára simplificar las fórmulas, llamaremos rho = r
»
» syms x
» r1=0.25
r1 = 0.2500
» Np1 = (1 - r1^2)/(1 + r1^2 - 2*r1*cos (x-pi))
Np1 = 15/16/(17/16+1/2*cos(x))
» r2 = 0.5
r2 = 0.5000
» Np2 = (1 - r2^2)/(1 + r2^2 - 2*r2*cos (x-pi))
Np2 = 3/4/(5/4+cos(x))
» r3 = 0.75
r3 = 0.7500
» Np3 = (1 - r3^2)/(1 + r3^2 - 2*r3*cos (x-pi))
Np3 = 7/16/(25/16+3/2*cos(x))
»
» % Representación gráfica:
» ezplot (Np1, [0, 2*pi])
»
» % Para superponer las diferentes curvas en un mismo gráfico, hacemos:
» hold on
» ezplot (Np2, [0, 2*pi]) 7/16/(25/16+3/2*cos(x))
4.5
» ezplot (Np3, [0, 2*pi])
4
3.5
Np3
2.5
Np2
2
1.5 Np1
1
0.5
θ=π
0
0 1 2 3 4 5 6
x
» 0.25
» 0.2
» 0.15
» 0.1
»
0.05
»
» 0
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
»
» % Por razones de simetría, esta curva se repite para cualquier dirección (Para
cualquier valor del ángulo phi). Ver la solución aproximada,
» % en el problema siguiente.
» % La solución es entonces la superficie de revolución de la curva al girar sobre el
eje vertical que pasa por el origen de coordenadas: El eje r = 0.
»
Ecuaciones Diferenciales de Orden Superior. 7.21
Parte VII - La Integral de Poisson y el Problema de Dirichlet.
» 0.8
» 0.6
0.4
»
0.2
»
0
» -0.2
» -0.4
» -0.6
» -0.8
» -1
-1 -0.5 0 0.5 1
» % Representación de la solución:
» pdeplot(p,e,t,'xydata',u,'zdata',u,'mesh','off');
» grid
»
»
»
»
»
»
»
»
»
»
»
»
»
»
»
»
» % Representación del error:
» x=p(1,:)';
y=p(2,:)';
r=sqrt(x.^2+y.^2);
» % Recordamos que la solución exacta es:
uu = - log(r)/2/pi;
» % La ecuación siguiente representa el error: u - uu:
pdeplot(p,e,t,'xydata',u -uu,'zdata',u-uu,'mesh','off');
» grid
»
E cu a ci o n e s D i f e r e n ci a l e s
d e O r d en Su p er i o r
Pa r t e V I I I
Integral de Dirichlet
2006
Ecuaciones Diferenciales de Orden Superior. 8.3
Parte VIII - La Integral de Dirichlet. Superficies y Volúmenes.
8 - Ecuación de Dirichlet.
x ≥ 0
y
y ≥ 0
x + y ≤ 1 +1
Γ(α).Γ(β)
Β ( α, β ) =
Γ(α+β)
podemos expresar M como:
1 1 Γ(P+1).Γ(Q+2)
M = Β(P+1, Q+2) =
Q+1 Q+1 Γ(P+Q+3)
Recordando la relación que existe entre dos funciones Γ cuyos argumentos son correlativos:
Γ(Q+2) = (Q+1).Γ(Q+1)
si reemplazamos y simplificamos Q + 1 en numerador y denominador, encontramos finalmente
que el momento de la superficie rayada respecto de los ejes se puede expresar mediante la
fórmula siguiente:
Γ(P+1).Γ(Q+1)
M = (8.2)
Γ(P+Q+3)
(1)
En cuyo caso, A = B = 2.
Ecuaciones Diferenciales de Orden Superior. 8.5
Parte VIII - La Integral de Dirichlet. Superficies y Volúmenes.
x = 0, entonces 0 ≤ y ≤ b
y si y = 0, entonces 0 ≤ x ≤ a
Por su parte, la ecuación de la curva límite superior del recinto es:
A B
x y
+ = 1 (8.3)
a b
Calcularemos, como en el caso anterior, el momento de la superficie R respecto de los ejes x e y:
En primer término expresaremos la variable "y" en función de "x". Para ello, despejamos "y" en
la (8.3):
A 1/B
y x
= 1 -
b a
A 1/B
x
y = b 1 - (8.5)
a
La integral de superficie que aparece en la ecuación (8.4) puede expresarse ahora como una
integral doble, cuyos límites son:
Para la primera integral, a lo largo del eje x (Véase la figura del recinto), "0" y "a". Y para la
segunda, "0" y la curva límite, cuya ecuación está dada por la (8.5). Es decir:
A 1/ B
a x
b 1 -
M = ∫∫ xP.yQ dx.dy = ∫ x Pd x ∫ a
yQ dy (8.6)
R 0 0
Obsérvese la semejanza de esta ecuación con la (8.1) con la salvedad que, en este caso, los
exponentes en los integrandos, en lugar de P y Q son, respectivamente:
P + 1 Q + 1
- 1 y - 1
A B
Esto nos autoriza a aplicar el mismo resultado (8.2) que obtuvimos en la sección anterior. Que,
con la modificación indicada aquí arriba resulta:
P + 1 Q + 1
P+1 Q+1
Γ Γ
M = ∫∫ =
a .b A B
R A B
P + 1 + Q + 1
Γ +1
A B
La ecuación de Dirichlet puede generalizarse para el caso de tres variables, en cuyo caso, para el
dominio elíptico en el espacio de tres dimensiones es
A B C
x y z
+ + = 1
a b c
M = ∫∫∫ x P . y Q. z R . d x . d y . d z
V
se obtiene P + 1 Q + 1 R + 1
Γ Γ Γ
P+1 Q+1 R+1
M = ∫∫∫ = a .b c A B C
V A B C
Γ P + 1 + Q + 1 + R + 1 + 1
A B C
V
r
x
El volumen del octante de esferoide está dado por la ecuación de volumen (integral triple)
siguiente:
Γ 1 Γ 1 Γ 1
V = ∫∫∫ x y z dx dy dz = a bc A B C
V A B C
Γ 1 + 1 + 1 + 1
A B C
1 3
Γ
r3 2 r3 2 √ π 3
Ve = 8 =
23 Γ 3 + 1 3 Γ 3
2 2 2
2r3√ π3 4
Ve = = π r3
3 √ π 3
2
Ecuaciones Diferenciales de Orden Superior. 8.9
Parte VIII - La Integral de Dirichlet. Superficies y Volúmenes.
Aplicaciones Matlab
Volumen de una esfera de radio R:
» % Volumen de la esfera
» syms R
» A=2, B=2, C=2;
» Ve = 8*R^3/2^3*(gamma(.5))^3/gamma(1/A+1/B+1/C+1)
Ve = 1567344993225499/374176054803257 *R^3
» k = 1567344993225499/374176054803257
k = 4.1888
» Ve = k*R^3
Ve = 4/3*pi*R^3
Volumen de un esferoide:
» % Calcular el volumen de un esferoide de semiejes:
» a = 4, b = 3, c = 2
a= 4
b= 3
c= 2
» A=2, B=2, C=2
A= 2
B= 2
C= 2
» V = 8*(a*b*c)*gamma(1/A)^3 / ((A*B*C)*gamma(1/A+1/B+1/C+1))
V = 100.5310
» syms x y 3
» grid 1
0.5
-0.5
-1.5 -1 -0.5 0 0.5 1 1.5
x
» 0
» -0.5
» -1
» -1.5
» -2
» -2.5
» -3
» -3.5
» -4