PROBLEMA A VALORES DE CONTORNO (PVC) La solución general de la ecuación diferencial está dada por

Vamos a buscar una función y( x )   a,b   R con derivada segunda

continua en el intervalo  a,b  tal que satisfaga una ecuación diferencial dada Como 1  c2  0 , 1  c2  0 se concluye que el PVC dado no tiene solución.
sujeta a determinadas condiciones, como se indica a continuación Ejemplo. El PVC indicado abajo tiene infinitas soluciones.
x   a,b   R (1) PVC:
La solución general se expresa como
(2)

(3)

La ecuación diferencial (1), junto con las condiciones de borde (2) y (3), se
denomina un problema a valores de contorno. Actividad 1. Justificar que el problema dado a continuación no tiene solución

Ejemplo. Se ilustra cómo resolver el siguiente problema de contorno

La solución general de la ecuación diferencial viene dada por

Y( x )  1  senx  cos x
Ejemplo. Se muestra a continuación un problema de contorno que no tiene
solución.
Sea el siguiente PVC
______________________________Calificación Actividad 1:____________ PROBLEMAS DE AUTOVALORES

CLASIFICACIÓN DE LAS CONDICIONES DE CONTORNO Considere el siguiente PVC

Se presenta la siguiente clasificación x   a,b   R ,   R, (4)

(5)

Definición. Un problema de contorno que contiene un parámetro  , tal como

el indicado por (4) y (5), se denomina problema de autovalores.
Las soluciones no triviales se denominan autofunciones y el número
correspondiente , se denomina autovalor.
El principal interés es determinar si existen valores de  para los cuales existe
al menos una solución no trivial del problema de contorno.
Cada vez que se afirme que un problema de autovalores tiene solución no
trivial se deberá dar el respectivo par autovalor autofunción.
Ejemplo. Se muestra la resolución del siguiente problema de autovalores

en el siguiente video de la cátedra: https://youtu.be/6xNIi6StdLs

Problemas de autovalores para la ecuación diferencial y   y  0

Actividad 2: Mostrar que las condiciones dadas i), ii), iii) y iv) son del tipo
enunciadas en (2) y (3).
 Proposición

Proposición Se puede demostrar que el problema de autovalores

y   y  0, y( 0 )  0, y( L )  0
El siguiente problema de autovalores y   y  0, y( 0 )  0, y( L )  0

Proposición
El problema de autovalores y   y  0, y( 0 )  0, y( L )  0
Proposición ____________________________Calificación Actividad 3:____________

El problema de autovalores y   y  0 , y( 0 )  0 , y( L )  0

Actividad 4: Decidir si cada uno de los siguientes PVC tiene solución.

  k
 x  x  0 , 0  x  1 , k , m : ctes
 m
a) 
x (0)  1


 x (1)  0

d 2y d 2y
  y0 , 0 x L  2 y0, 0 xL
d x
2 d x
b)  c) 
 y (0)  0  y (0)  y (0)  0
 y ( L)  1
___________________________________________________________ 
 y ( L)  0 

Actividad 3: Se tienen las siguientes familias de funciones:

d 2y dy
 2 2  2 y  sen x , 0  x  4
i) Yn ( x )  cos( 2n x ), n  1, 2,3..... d x dx
d)
 y (0)  2 y (0)  0
Hn ( x )  n sen( nx ), n son constantes, n  1, 2,3.....  y (4)  y (4)  2
ii) 

Construir, para cada familia, un problema de autovalores de modo que la

respectiva familia corresponda a sus autofunciones.

___________________________Calificación Actividad 4:____________

ECUACION DE CAUCHY-EULER ECUACIÓN DE CAUCHY-EULER NO HOMOGÉNEA
La ecuación no homogénea asociada a (1) se escribe
Sea la ecuación diferencial de Cauchy-Euler
ax2 y bxy cy f ( x ), y y( x ), a,b,c R (5)
ax2 y bxy cy 0, y y( x ), a,b,c R (1)
Planteando el cambio de variables según (2) se arriba a
Si se plantea el cambio de variables
z( x ) ln( x ), x 0 (2) ay'' ( b a )y' cy g( z ) (6)
z
y se denota y( x ) y( e z ) y( z ) , donde g( z ) f ( e ) con z ln x .

se arriba a la nueva ecuación diferencial Para obtener la solución general de (6) se propone

dy y( z ) yh ( z ) y p ( z ) (7)
ay'' ( b a )y' cy 0, y y( z ), y' (3)
dz Ejemplo: Obtener la solución del siguiente PVC
cuya ecuación característica es  2 d2R dR
 R  r ln(r ) , r  (0,  )
3
r r
(*)  dr 2
dr
ar 2 ( b a )r c 0 (4)  R(1)  1 R acot ada en r  0

La ecuación (4) se llama la ecuación indicial de (1).
Se plantea el cambio z ln r , r 0 y se llama R( r ) R( e z ) R( z )
Para hallar la solución general de (1) se buscan las raíces de (4). Si se denotan
Se procede a reemplazar en la ecuación de (*) y se consigue
dichas raíces como r1 , r2 , la solución general en un intervalo I R queda
d 2 R dR
expresada como: 2
 2  R  z3 e z , z  (  ,  ) (8)
dz dz
a ) y( x ) c1x r 1 c2 x r 2 , r1 ,r2 R , r1 r2 La solución general de (8) se conseguirá como

b ) y( x ) c1x r 1 c2 x r 1 ln( x ), r1 ,r2 R , r1 r2 R( z ) Rh ( z ) Rp ( z ) (9)

Se usaron comando de Maple para resolver (8)
c ) y( x ) x ( c1 cos(  ln x ) c2 s en(  ln x )), r1 ,r2  i
>
_______________________________________________________________
Actividad 1: Mostrar que con el cambio z( x ) ln( x ), x 0 la ecuación
(1) puede ser resuelta para x<0.
> Ecuación diferencial de Bessel
Funciones de Bessel de primer tipo
Conforme los comandos anteriores se puede proponer La ecuación diferencial lineal
R( z ) C1e z C2 ze z
1 5 z
20
ze (10)  
x 2 y ''( x)  xy '( x)  x 2  p 2 y( x)  0 (1)

Y volviendo a las variables originales se consigue donde p es un parámetro, se llama ecuación diferencial de Bessel. La
1 constante real positiva p clasifica las soluciones, que son llamadas las
R( r ) C1r C2r ln r r(ln r )5 (11)
20 funciones de Bessel de orden p. Estas funciones son partes de las respuestas a
Aplicando la condición R( 1 ) 1 se consigue que C1 1. los más importantes problemas de las ciencias aplicadas.
Para cada p , se puede obtener la siguiente serie como solución de (1)
Para la condición de acotación en r = 0 se debe tomar el siguiente límite 2 n p
1

J p ( x)  
 1
n
 x
lim R( r ) lim( r C2r ln r r(ln r )5 )   (2)
n 0 n !  p  n  1  2 
r 0 r 0 20 (12)
0 C2
En (2), Γ es la función Gamma y está definida por la siguiente integral
Finalmente el PVC dado tiene infinitas soluciones de la forma
impropia
1
R( r ) r C2r ln r r(ln r )5 , C2 : cte
20

Además, Γ posee las siguientes propiedades

Usando el programa Maple se puede obtener:

>

>
Las funciones J p se llaman funciones de Bessel de primer tipo y orden p
Ejemplo: Conforme a (2), la expresión de J1 ( x) es >
2 n 1

J1 ( x)  

 1n  x  
1  x 1  x
3
1  x
5

         
n  0 n !  n  2   2    2   2    3  2  2  4   2 

Actividad. Usando el programa Maple

a) Obtener las series y los gráficos de cada una de las siguientes funciones
de Bessel
J 0 , J1, J 1, J 1 , J 3 , J 2.5
2 2
Se ilustra parte de la actividad para dos de ellas

>

>
También se pueden ver los gráficos simultáneamente

>
Ceros de las funciones de Bessel Se tiene el siguiente teorema
 es un cero de J p ( x) si y solo si J p ( )  0
Teorema 1
Ejemplos Si p no es un entero ( p ≠ 0,±1, ±2,….) las funciones J p y J son
p
a)   0 es un cero de J p ( x), p  0
linealmente independientes y se tiene que para todo x 0 la solución general
b) Usando Maple, el primer cero de J 0 ( x) es
de (1) viene dada por
> y( x) c1 J p ( x) c2 J p ( x), c1 , c2 son constantes (5)
2.404825558
Para obtener las correspondientes soluciones para x 0, se debe reemplazar
c) Con comandos de Maple, el quinto cero de J 1 ( x) es
2 p
en las fórmulas anteriores x p por x .
>
15.70796327 Actividad: Escribir la solución general de cada una de las siguientes
Actividad: ecuaciones de Bessel
a) Obtener los tres primeros ceros de J 0 , J1, J 1 a)  
x 2 y ''( x)  xy '( x)  x 2  3 y( x)  0

x z ''( x)  xz '( x)   x 
b) Conseguir los tres primeros máximos de J 0 . Sugerencia: ver las
b) 2 2
  2 z ( x)  0
propiedades de las funciones de Bessel dadas más abajo.
Se puede demostrar que también existe otra solución de (1) linealmente Actividad: Estudiar el video Aplicaciones de la ecuación de Bessel
independiente de J p , para p no entero. Su expresión es
https://www.youtube.com/watch?v=weM4ITknZX0&t=12s
2n p

J  p ( x)  
 1n  x Funciones de Bessel de segundo tipo.
  (4)
n 0 n !   p  n  1  2 
En la siguiente igualdad

(6)
Para cada m, la función p
4. J p (x ) J (x ) J p 1(x ).
x p
Ym se denomina función de Bessel de segundo tipo y orden entero p
5. J p 1(x ) J p 1(x ) 2 J p (x )
x
m =0,1,2,3…. p
6. J p 1(x ) J p 1(x ) 2 J p (x )
x
es llamada la constante de Euler y vale aproximadamente 0,57721 y
Las identidades anteriores son válidas siempre que no aparezcan funciones de
Bessel de orden entero negativo. Las identidades 3 y 4 permiten obtener las

Teorema 2 derivadas de las funciones de Bessel en términos de las propias funciones sin
Si p m , con m un entero positivo, entonces la solución general de (1) para derivar. A su vez, la identidad 5 permite obtener las funciones de Bessel de un cierto
cualquier x 0 viene dada por la combinación lineal de las soluciones orden en términos de funciones de orden inferior.
linealmente independientes J m (x ) y Ym (x ) , es decir : Ejemplo 1.
La identidad 5 para p 1 yp 2 se reduce a
y(x ) c1J m (x ) c2Ym (x ) (7)
2 4
J 2(x ) J 0 (x ) J (x ) y J 3(x ) J1(x ) J (x )
donde c1, c2 son constantes. x 1 x 2
de donde se obtiene
Propiedades de las Funciones de Bessel. 4 2 8 4
J 3(x ) J1(x ) J 0 (x ) J (x ) J1(x ) 1 J (x ).
x x 1 x2 x 0
Las funciones de Bessel presentan analogías muy importantes con las
funciones trigonométricas dado que existen varias identidades que son de uso Ejemplo 2.
d
frecuente. Se pueden demostrar las siguientes: Sea la integral x 4J1(x )dx . Dado que de x pJ p (x ) x pJ p 1(x ) se obtiene
dx
d
1. x pJ p (x ) x pJ p 1(x ). d
x 2J 2(x ) x 2J 1(x ), entonces resulta
dx dx
d d
2. x pJ p (x ) x pJ p 1(x ) x 4J 1(x )dx x 2 (x 2J 1(x ))dx x2 x 2J 2(x ) dx x 2d x 2J 2(x )
dx dx
p x 2x 2J 2(x ) 2xx 2J 2(x )dx x 4J 2(x ) 2 x 3J 2(x )dx
3. J p (x ) J p 1(x ) J (x ).
x p x 4J 2(x ) 2x 3J 3(x ) c.
ECUACION DIFERENCIAL DE BESSEL PARAMÉTRICA ( ) ( ̂( )) = ̂( ) = ̂( )
La siguiente ecuación diferencial
En notación con comillas
d2y dy
x2
2
x  ( 2 x 2  p2 )y  0, (8)
dx dx ( ) ̂ ( )
donde  es constante, p es un parámetro , es llamada ecuación diferencial de
Reemplazando el cambio de variables y las nuevas expresiones de las
Bessel paramétrica de orden p.
derivadas en la ecuación (8) se obtiene
Para resolverla se propone el cambio y se obtienen las funciones
solución ( ). 2
 t  2ˆ t  2  t 2 
   y''(t)   y'(t)
ˆ       p 2  y(t)
ˆ  0,
Llamamos
      
( ) ( ) ̂( ), y(x) e ̂( ) tienen las mismas imágenes, pero en
las variables x y t. t 2 y''(t)
ˆ  ty'(t)
ˆ  t 2  p2  y(t)
ˆ  0, (9)
Es decir
Las soluciones de esta ecuación de Bessel (9) serán ( )y ( ). Y
( ) ̂( ),
volvieno a la variable original las solución de la ecuación (8) serán
Derivando ambos miembro respecto de x ( ) y ( ).

( ) ̂( ), ̂ Podemos resumir en un cuadro

( ) ̂( )

( ) ̂( ), ̂

Derivando nuevamente respecto de x

 y son llamadas las funciones de Bessel modificadas de primer y
segundo tipo que son soluciones de la ecuación diferencial de Bessel
modificada:

x 2 y  xy  (x 2  p2 )y  0 (10)

Se ilustran algunas de ellas y sus graficos obtenidas desde Maple

>

>

>
> >

>
Propiedades

1.Para valores grandes de x, es decir , se tiene

2. Los ceros de las funciones de Besssel y son diferentes y se

alternan para todo x positivo