| 9. Ecuaciones diferenciales |

9.11 Problemas de valores en la frontera y expansiones de Fourier: Objetivos de aprendizaje

      EN ESTE CAPÍTULO desarrollamos representaciones en serie de funciones que se utilizarán para resolver ecuaciones diferenciales parciales en el Capítulo 9.12.

La SECCIÓN 9.11.1 trata de cinco problemas de valores en la frontera para la ecuación diferencial

y″ + λy = 0.

Están relacionados con problemas en ecuaciones diferenciales parciales que se discutirán en el Capítulo 9.12. Definimos qué se entiende por valores propios y funciones propias de los problemas de valores en la frontera, y mostramos que las funciones propias tienen una propiedad llamada ortogonalidad.

La SECCIÓN 9.11.2 introduce las series de Fourier, que son expansiones de funciones dadas en términos de senos y cosenos.

La SECCIÓN 9.11.3 trata de desarrollos de funciones en términos de las funciones propias de cuatro de los problemas de valores propios discutidos en la Sección 9.11.1. Todos están relacionados con la serie de Fourier discutida en la Sección 9.11.2.

9.11.1 PROBLEMAS DE VALOR PROPIO PARA  y″ + λy = 0

En el Capítulo 9.12 estudiaremos ecuaciones diferenciales parciales que surgen en problemas de conducción de calor, propagación de ondas y teoría del potencial. El propósito de este capítulo es desarrollar las herramientas necesarias para resolver estas ecuaciones. En esta sección consideramos los siguientes problemas, donde λ es un número real y L > 0:

      Problema 1:        y″ + λy = 0,  y(0) = 0, y(L) = 0

      Problema 2:        y″ + λy = 0,  y′(0) = 0, y′(L) = 0

      Problema 3:        y″ + λy = 0,  y(0) = 0, y′(L) = 0

      Problema 4:        y″ + λy = 0,  y′(0) = 0, y(L) = 0

      Problema 5:        y″ + λy = 0,  y(−L) = y(L), y′(−L) = y′(L)

      En cada problema, las condiciones que siguen a la ecuación diferencial se denominan condiciones de contorno. Observe que las condiciones de contorno del problema 5, a diferencia de las de los problemas 1 a 4, no requieren que y o y′ sean cero en los puntos de contorno, sino que y tiene el mismo valor en x = ±L, y que y′ tiene el mismo valor en x = ±L. Decimos que las condiciones de contorno en el Problema 5 son periódicas.

      Obviamente, y ≡ 0 (la solución trivial) es una solución de los Problemas 1-5 para cualquier valor de λ. Para la mayoría de los valores de λ, no hay otras soluciones. La pregunta interesante es esta:

¿Para qué valores de λ el problema tiene soluciones no triviales y cuáles son?

      Un valor de λ para el cual el problema tiene una solución no trivial es un valor propio del problema, y las soluciones no triviales son funciones propias-λ, o funciones propias asociadas con λ. Tenga en cuenta que un múltiplo constante distinto de cero de una función propia λ es nuevamente una función propia λ.

        Los problemas del 1 al 5 se llaman problemas de valores propios. Resolver un problema de valores propios significa encontrar todos sus valores propios y funciones propias asociadas. Tomaremos como dado aquí que todos los valores propios de los problemas 1-5 son números reales. Esto se demuestra en un marco más general en la Sección 9.13.2.

Teorema 9.11.1.1

Los problemas 1 a 5 no tienen valores propios negativos. Además, λ = 0 es un valor propio de los problemas 2 y 5, con la función propia asociada y0 = 1, pero λ = 0 no es un valor propio de los problemas 1, 3 o 4.

Prueba

Consideramos los problemas 1 a 4 y le dejamos el problema 5 a usted (ejercicio 1).

Si y″ + λy = 0, entonces y(y″ + λy) = 0, entonces

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-142.png

por lo tanto,

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-143.png       (9.11.1.1)

efectuando integración por partes, se obtiene

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-144.png      (9.11.1.2)

Sin embargo, si y satisface cualquiera de las condiciones de contorno de los problemas 1 a 4, entonces

y(L) y′(L) − y(0) y′(0) = 0;

por tanto, (9.11.1.1) y (9.11.1.2) implican que

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-145.png

Si entonces Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-147.png Por tanto, λ ≥ 0 y, si λ = 0, entonces y′(x) = 0 para todo x en (0, L) (¿por qué?), y y es constante en (0, L). Cualquier función constante satisface las condiciones de contorno del Problema 2, por lo que λ = 0 es un valor propio del Problema 2 y cualquier función constante distinta de cero es una función propia asociada. Sin embargo, la única función constante que satisface las condiciones de contorno de los problemas 1, 3 o 4 es y ≡ 0. Por lo tanto, λ = 0 no es un valor propio de ninguno de estos problemas.

 

Ejemplo ilustrativo 9.11.1.1 (Problema 1)

Resolver el problema de valor propio

y″ + λy = 0,  y(0) = 0, y(L) = 0.        (9.11.1.3)

Solución:

Del Teorema 9.11.1.1, cualquier valor propio de (9.11.1.3) debe ser positivo. Si y satisface (11.1.3) con λ > 0, entonces

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-148.png

donde c1 y c2 son constantes. La condición de frontera y(0) = 0 implica que c1 = 0. Por lo tanto y = c2 sen√λ x. Ahora, la condición de frontera y(L) = 0 implica que c2sen√λ L = 0. Para hacer que c2sen√λ L = 0 con c2 ≠ 0, debemos elegir √λ = nπ/L, donde n es un valor positivo entero. Por lo tanto, λn = n2π2/L2 es un valor propio y

yn = sen(nπx/L)

es una función propia asociada.

        Para referencia futura, expresamos el resultado del ejemplo 9.11.1.1 como un teorema.

 

Teorema 9.11.1.2

El problema de los valores propios

y″ + λy = 0,  y(0) = 0, y(L) = 0

tiene infinitos valores propios positivos λn = n2π2/L2, con funciones propias asociadas

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-149.png

No hay otros valores propios.

       Le dejamos a usted probar el siguiente teorema sobre el Problema 2 mediante un argumento como el del Ejemplo 9.11.1.1 (Ejercicio 17).

 

Teorema 9.11.1.3

El problema de los valores propios

y″ + λy = 0,  y′(0) = 0, y′(L) = 0

tiene el valor propio λ0 = 0, con función propia asociada y0 = 1, e infinitos valores propios positivos λn = n2π2/L2, con funciones propias asociadas

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-150.png

No hay otros valores propios.

 

 

Ejemplo ilustrativo 9.11.1.2 (Problema 3)

Resolver el problema de valor propio

y″ + λy = 0,  y(0) = 0, y′(L) = 0       (9.11.1.4)

Solución:

Del Teorema 9.11.1.1, cualquier valor propio de (9.11.1.4) debe ser positivo. Si y satisface (11.1.4) con λ > 0, entonces

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-151.png

donde c1 y c2 son constantes. La condición de frontera y(0) = 0 implica que c1 = 0. Por lo tanto, y = c2 sen√λx. Por lo tanto, y′ = c2√λcos√λ x y la condición de frontera y′(L) = 0 implica que c2 cos√λ L = 0. Para hacer c2 cos√λL = 0 con c2 ≠ 0 debemos elegir

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-152.png

aquí n es un entero positivo. Entonces λn = (2n − 1)2π2/4L2 es un valor propio y

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-153.png

es una función propia asociada.

       Para futuras referencias, expresamos el resultado del ejemplo 9.11.1.2 como un teorema.

 

Teorema 9.11.1.4

El problema de los valores propios

y″ + λy = 0,  y(0) = 0, y′(L) = 0

tiene infinitos valores propios positivos λn = (2n − 1)2π2/4L2, con funciones propias asociadas

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-154.png

No hay otros valores propios. 

      Le dejamos a usted probar el siguiente teorema sobre el Problema 4 mediante un argumento como el del Ejemplo 9.11.1.2 (Ejercicio 18).

 

Teorema 9.11.1.5

El problema de los valores propios

y″ + λy = 0,  y′(0) = 0, y(L) = 0

tiene infinitos valores propios positivos λn = (2n − 1)2π2/4L2, con funciones propias asociadas

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-155.png

No hay otros valores propios.

 

 

Ejemplo ilustrativo 9.11.1.3 (Problema 5)

Resolver el problema de valor propio

y″ + λy = 0,  y(−L) = y(L), y′(−L) = y′(L)       (9.11.1.5)

Solución;

Del Teorema 9.11.1.1, λ = 0 es un valor propio de (9.11.1.5) con función propia asociada y0 = 1, y cualquier otro valor propio debe ser positivo. Si y satisface (9.11.1.5) con λ > 0, entonces

y = c1cos√λx + c2sen√λx,        (9.11.1.6)

donde c1 y c2 son constantes. La condición de frontera y′(−L) = y′(L) implica que

c1cos(−√λL) + c2sen(−√λL) = c1os √λL + c2sen√λL.        (9.11.1.7)

Ya que

cos(−√λL) = cos√λL  y  sen(−√ L) = − sen√λL,        (9.11.1.8)

(9.11.1.7) implica que

c2sen√λL = 0.        (9.11.1.9)

Diferenciando (9.11.1.6), se obtiene

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-156.png

La condición de frontera y′(−L) = y′(L)  implica que

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-157.png

y (9.11.1.8) implica que

c1sen√λL = 0.           (9.11.1.10)

      Las ecuaciones (9.11.1.9) y (9.11.1.10) implican que c1 = c2 = 0 a menos que √λ = nπ/L, donde n es un número entero positivo. En este caso, (9.11.1.9) y (9.11.1.10) se cumplen para c1 y c2 arbitrarios. El valor propio determinado de esta manera es λn = n2π2/L2, y cada valor propio tiene las funciones propias asociadas linealmente independientes

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-158.png               


Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *