1.
4 Planteamiento de ecuaciones diferenciales
1.4.1.   Operadores diferenciales
Un operador diferencial es una regla L que usa derivadas para asignar una función L() a toda
función suficientemente diferenciable . A la función L() se le llama imagen de  bajo L.
Ejemplo
Sea el operador diferencial definido por
                                                 2
                                           L=       + 16                                (1.330)
                                                2
Este operador es una regla que indica que la salida de calcula a partir de la entrada como la
segunda derivada sumando 16 veces la función de entrada. Por ejemplo, sea 1 = 5 , 2 = cos 5
                                           2 5
                              L (1 ) =           + 255 = 505                       (1.331)
                                            2
                                           2 cos 5
                              L (2 ) =              + 25 cos 5 = 0                    (1.332)
                                              2
Por tanto, la imagen de 1 bajo L es la función 505 y de la 2 es la función cero.
Utilizando la notación
                                               2          
                               =        ; 2 = 2 ;  =                            (1.333)
                                                       
una EDO lineal homogénea de segundo orden con coeficientes constantes 00 + 0 +  = 0, el
operador diferencial de segundo orden es
                                    L = 2 +  +  = 0                               (1.334)
donde  es un operador identidad definido como  = , por lo que se puede escribir una EDO
como
                                           ¡ 2          ¢
                               L () =       +  +   = 0                          (1.335)
                                             2     
                                       =         +    +=0                            (1.336)
                                             2     
Se define al operador nabla ∇ como:
c
°Gelacio Juárez, UAM                                                                         68
1.4 Planteamiento de ecuaciones diferenciales
                                                 ⎡             ⎤
                                                       
                                             ⎢        1      ⎥
                                           ∇=⎢
                                             ⎣
                                                       
                                                      2
                                                               ⎥
                                                               ⎦                             (1.337)
                                                       
                                                      3
Los operadores que mapean vectores a vectores generalmente se representan por símbolos mayús-
culos negritos. El operador nabla aplicado a una función escalar, (1  2  3 ), proporciona el
gradiente de dicha función.
                                                           ⎡           ⎤
                                                               
                                                    ⎢          1     ⎥
                                      ∇ = grad  = ⎢
                                                    ⎣
                                                               
                                                               2
                                                                       ⎥
                                                                       ⎦                     (1.338)
                                                               
                                                               3
El divergente de un tensor de primer orden se obtiene mediante el producto punto con el operador
nabla:
                                                          1 2 3
                              ∇ · u = div u =  =         +   +                           (1.339)
                                                          1 2 3
El divergente de un tensor de primer segundo orden proporciona un vector:
                                                      ⎡                                  ⎤
                                                          11         12       13
                                                          1      +   2    +   3
                                                ⎢                                        ⎥
                        ∇ · σ = div σ = σ = ⎢
                                                ⎣
                                                          21
                                                          1      +   22
                                                                       2    +   23
                                                                                  3
                                                                                         ⎥
                                                                                         ⎦   (1.340)
                                                          31         32       33
                                                          1      +   2    +   3
Tarea
Aplique el operador diferencial a las funciones dadas,
                            L = ( − )2 ,                      ,  , sin 
                            ¡              ¢2
                         L = 82 + 2 −  ,               cosh 12 , sin 12 , 2
                        L = ( − 4)2 ( + 3) ,               3 − 2 , sin 4
Determine el operador diferencial L de las siguientes ecuaciones,
                                   2  ()
                                           + ()        = 0; L ( ())
                                      2
                                   4  ()
                                         − ()        = 0; L ( ())
                                     2
                                   ()
                                            −  ()       = 0; L ( ())
                                     
                                    ()
                                           −  ()       = 0; L ( ())
                                     
c
°Gelacio Juárez, UAM                                                                             69
1.4 Planteamiento de ecuaciones diferenciales
1.4.2.   Existencia y unicidad: Wronskiano
Definition 5 El Wronskiano. Suponga que cada una de las funciones 1 (), 2 (), . . .  ()
poseen  − 1 derivadas al menos. El determinante
                                                    ¯                               ¯
                                                    ¯                               ¯
                                                    ¯ 1        2             ¯
                                                    ¯                               ¯
                                                    ¯     0    2 0      0    ¯
                                                    ¯      1                        ¯
                           (1  2      ) = ¯    ..      ..           ..    ¯
                                                    ¯     .       .            .    ¯
                                                    ¯                               ¯
                                                    ¯ (−1)   (−1)         (−1)   ¯
                                                    ¯ 1     2         3       ¯
donde las primas representan las derivadas, es el wronskiano de las funciones.
Theorem 6 Criterio para soluciones linealmente independientes
Sean  soluciones, 1 , 2 , . . .  de una ecuación diferencial lineal, homogénea y de orden n, en
un intervalo I. Entonces, el conjunto de soluciones es linealmente independiente en I si y sólo
si
                                            (1  2      ) 6= 0
para el intervalo.
                                           2     
                                                −5    + 6 = 0                              (1.341)
                                           2     
Ejemplo. La función () = 2 2 + 2 3 es solución de la ecuación diferencial homogénea
´− 50 + 6 = 0, definida en la ec. (1.249) en el intervalo (−∞ ∞). Para corroborar que las
soluciones son linealmente independientes en todos los reales o en todo R. Se puede corroborar
con el wronskiano
                                 ¯                    ¯
                      ¡ 2 3 ¢ ¯¯ 2 3            ¯
                                                      ¯
                           = ¯ 2                 ¯ = 33 2 − 22 3 = 5 6= 0
                                 ¯ 2  33           ¯
para toda x. Concluyendo que  forman un conjunto fundamental de soluciones y , en conse-
cuencia es la solución de la ecuación en el intervalo.
Ejemplo. La función () = (1 + 2 )  es solución de la ecuación diferencial homogénea
´− 20 + 1 = 0, definida en la ec. (1.259) en el intervalo (−∞ ∞). Para corroborar que las
soluciones son linealmente independientes en todos los reales o en todo R. Se puede corroborar
con el wronskiano
                               ¯                        ¯
                      ¡     ¢  ¯                   ¯
                               ¯                        ¯
                  2  3 = ¯                       ¯ = 2 + 2 − 2 = 2 6= 0
                               ¯   +              ¯
para toda x. Concluyendo que  forman un conjunto fundamental de soluciones y , en conse-
cuencia es la solución de la ecuación en el intervalo.
c
°Gelacio Juárez, UAM                                                                             70
1.4 Planteamiento de ecuaciones diferenciales
                             ¡      √           √ ¢
Ejemplo. La funcion () =  1 cos 2 + 2 sin 2 es solución de la ecuación diferencial
homogénea ´− 2 0 + 3 = 0, definida en la ec. (1.259) en el intervalo (−∞ ∞). Para corroborar
que las soluciones son linealmente independientes en todos los reales o en todo R. Se puede
corroborar con el wronskiano
                      ¯              √                       √                       ¯
            ¡     ¢   ¯         cos 2                sin 2                     ¯
            2 3     ¯                                                              ¯
                = ¯     √       √    √          √       √   √                   ¯
                      ¯  cos 2 − 2 sin 2  sin 2 + 2 cos 2                 ¯
                      √ 2      √      √      √
                    =   2 cos2 2 + 22 sin2 2 6= 0
para toda x. Concluyendo que  forman un conjunto fundamental de soluciones y , en conse-
cuencia es la solución de la ecuación en el intervalo.
Tarea
Encuentre la EDO homogénea para la cual las funciones dadas son soluciones y muestre la
independencia lineal.
                                     () = 1 05 + 2 −05
                                       () = (1 + 2 ) 
                               () = − (1 cos 08 + 2 sin 08)
c
°Gelacio Juárez, UAM                                                                         71