Ecuaciones diferenciales de primer orden

(Ecuaciones diferenciales)

Ecuaciones diferenciales de primer orden: Objetivos de aprendizaje

En este CAPÍTULO 9.2 Estudiamos ecuaciones diferenciales de primer orden para las cuales existen métodos generales de solución.

La SECCIÓN 9.2.1 Trata de ecuaciones lineales, el tipo más simple de ecuaciones de primer orden. En esta sección presentamos el método de variación de parámetros. La idea subyacente a este método será un tema unificador para nuestro enfoque para resolver muchos tipos diferentes de ecuaciones diferenciales a lo largo del capítulo.

La SECCIÓN 9.2.2 Trata con ecuaciones separables, las ecuaciones no lineales más simples. En esta sección presentamos la idea de soluciones implícitas y constantes de ecuaciones diferenciales, y señalamos algunas diferencias entre las propiedades de las ecuaciones lineales y no lineales.

La SECCIÓN 9.2.3 Discute la existencia y la unicidad de soluciones de ecuaciones no lineales. Aunque puede parecer lógico colocar esta sección antes de la Sección 9.2.2, presentamos la Sección 9.2.2 primero para que podamos tener ejemplos ilustrativos en la Sección 9.2.3.

La SECCIÓN 9.2.4 La SECCIÓN 2.4 Trata ecuaciones no lineales que no son separables, pero que pueden transformarse en ecuaciones separables mediante un procedimiento similar a la variación de parámetros.

La SECCIÓN 9.2.5 Cubre ecuaciones diferenciales exactas, que reciben este nombre porque el método para resolverlas utiliza la idea de una diferencial exacta del cálculo.

La SECCIÓN 9.2.6 Trata ecuaciones que no son exactas, pero que pueden hacerse exactas multiplicándolas por una función conocida llamada factor integrador.

9.2.1 ECUACIONES LINEALES DE PRIMER ORDEN

    Se dice que una ecuación diferencial de primer orden es lineal si se puede escribir como

y′ + p(x)y = f (x).          (9.2.1_1)

Una ecuación diferencial de primer orden que no se puede escribir así es no lineal. Decimos que (9.2.1_1) es homogénea si f ≡ 0; de lo contrario es no homogéneo. Dado que y ≡ 0 es obviamente una solución de la ecuación homogénea

y′ + p(x)y = 0,

La llamamos la solución trivial. Cualquier otra solución es no trivial.

Ejemplo ilustrativo 9.2.1_1

Las ecuaciones de primer orden

no tienen la forma (9.2.1_1), pero son lineales, ya que pueden reescribirse como

Ejemplo ilustrativo 9.2.1_2

Aquí hay tres ecuaciones no lineales de primer orden:

xy′ + 3y² = 2x (porque y está al cuadrado),
yy′ = 3 (debido al producto yy′),
y′ + xeʸ = 12  (debido al factor eʸ).

 

Solución general de una ecuación diferencial lineal de primer orden

    Para motivar una definición que necesitaremos, considere la ecuación lineal simple de primer orden

Por cálculo sabemos que y satisface esta ecuación si y sólo si

donde c es una constante arbitraria. Llamamos a c un parámetro y decimos que (9.2.1_.3) define una familia de funciones uniparamétrica (de un parámetro). Para cada número real c, la función definida por (9.2.1_.3) es una solución de (9.2.1_.2) en (−∞, 0) y (0, ∞); además, cada solución de (9.2.1_2) en cualquiera de estos intervalos tiene la forma (9.2.1_3) para alguna elección de c. Decimos que (9.2.1_3) es la solución general de (9.2.1_3).

Veremos que ocurre una situación similar en relación con cualquier ecuación lineal de primer orden

y′ + p(x)y = f (x);          (9.2.1_4)

es decir, si p y f son continuas en algún intervalo abierto (a, b), entonces hay una fórmula única y = y(x, c) análoga a (9.2.1_3) que involucra x y un parámetro c y tiene las siguientes propiedades:

  • Para cada valor fijo de c, la función resultante en la variable x es una solución de (9.2.1_4) en (a, b).
  • Si y es una solución de (9.2.1_4) en (a, b), entonces se puede obtener y de la fórmula eligiendo c apropiadamente.

Llamaremos a y = y(x, c) la solución general de la ED (9.2.1_4).

Cuando esto se haya establecido, se deducirá que una ecuación de la forma

tiene una solución general en cualquier intervalo abierto (a, b) en el que P₀, P₁ y F son continuos y P₀ no tiene ceros, ya que en este caso podemos reescribir (9.2.1_5) en la forma (9.2.1_4) con p = P₁/P₀  y  f = F/P₀, que son continuas en (a, b).

Para evitar una redacción incómoda en ejemplos y ejercicios, no especificaremos el intervalo (a, b) cuando solicitemos la solución general de una ecuación lineal específica de primer orden. Acordemos que esto siempre significa que queremos la solución general en cada intervalo abierto en el que p y f son continuas si la ecuación es de la forma (9.2.1_4), o en la que P₀, P₁ y F son continuos y P₀ es distinta de cero, si la ecuación es de la forma (9.2.1_5). Dejamos que identifique estos intervalos en ejemplos y ejercicios específicos.

Para completar, señalamos que si P₀, P₁ y F son continuos en un intervalo abierto (a, b), pero P0 tiene un cero en (a, b), entonces (9.2.1_.5) puede no tener una solución general en (a, b) en el sentido recién definido. Como este no es un punto importante que deba desarrollarse en profundidad, no lo discutiremos más a fondo; sin embargo, vea el Ejercicio 44 para un ejemplo.

Ecuaciones lineales homogéneas de primer orden

Comenzamos con el problema de encontrar la solución general de una ecuación lineal homogénea de primer orden. El siguiente ejemplo recuerda un resultado familiar del cálculo.

Ejemplo ilustrativo 9.2.1_3

Sea a una constante

(a) Encuentre la solución general de

y′ − ay = 0.           (9.2.1_6)

(b) Resuelva el problema del valor inicial

y′ − ay = 0,  y(x₀) = y₀.

Solución:

(a) Usted ya sabe por cálculo que si c es alguna constante, entoncesEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-234.pngsatisface (9.2.1_6).

Sin embargo, supongamos que ha olvidado esto y utilice este problema para ilustrar un método general para resolver una ecuación lineal homogénea de primer orden.

Sabemos que (9.2.1_6) tiene la solución trivial y ≡ 0. Ahora supongamos que y es una solución no trivial de (9.2.1_6). Entonces, dado que una función diferenciable debe ser continua, debe haber algún intervalo abierto I en el que y no tenga ceros. Reescribimos (9.2.1_6)) comoEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-235.png

para x en I. La integración de esta ecuación muestra que

donde k es una constante arbitraria. Como eᵃˣ nunca puede ser igual a cero, y no tiene ceros, por lo que y es siempre positivo o siempre negativo. Por lo tanto, podemos reescribir y comoEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-237.png

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

Esto muestra que cada solución no trivial de (9.2.1_6) tiene la forma y = ceᵃˣ para alguna constante no nula c. Como establecer c = 0 produce la solución trivial, todas las soluciones de (9.2.1_6) tienen la forma (9.2.1_7). Por el contrario, (9.2.1_7) es una solución de (9.2.1_6) para cada elección de c, ya que diferenciar (9.2.1_7) produce y = aceᵃˣ = ay.

(b) Imponer la condición inicial y(x₀) = y₀  produceEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-239.pngentoncesEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-241.pngyEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-242.png

La Figura 9.2.1_1 muestra las gráficas de esta función con x₀ = 0, y₀ = 1 y varios valores de a.

Figura 9.2.1_1 Soluciones de y′ − ay = 0, y(0) = 1

Ejemplo ilustrativo 9.2.1_4

(a) Encuentre la solución general de

xy′ + y = 0.          (9.2.1_8)

(b) Resuelva el problema del valor inicial

xy′ + y = 0,  y(1) = 3.          (9.2.1_9)

Solución:

(a) Reescribimos (9.2.1_8) como

donde x está restringido a (−∞, 0) o (0, ∞). Si y es una solución no trivial de (9.2.1_10), debe haber algún intervalo abierto I en el que y no tenga ceros. Podemos reescribir (9.2.1_10) comoEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-245.pngpara x en I. La integración muestra queEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-246.pngComo una función que satisface la última ecuación no puede cambiar el signo en (−∞, 0) o (0, ∞), podemos reescribir este resultado de manera más simple comoEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-247.pngdondeEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-248.png

Ahora hemos demostrado que cada solución de (9.2.1_10) viene dada por (9.2.1_11) para algunas opciones de c. (Aunque asumimos que y no era trivial para derivar (9.2.1_11), podemos obtener la solución trivial estableciendo c = 0 en (9.2.1_11).) Por el contrario, cualquier función de la forma (9.2.1_11) es un solución de (9.2.1_10), ya que diferenciar (9.2.1_11) produceEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-249.pngy, al sustituir la ecuación anterior y la función (9.2.1_11) en (9.2.1_10), se obtieneEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-250.png

La figura 9.2.1_2 muestra las gráficas de algunas soluciones correspondientes a varios valores de c:

Figura 9.2.1_2 Soluciones de xy′ + y = 0 en (0, ∞) y (−∞, 0)

(b) La imposición de la condición inicial y(1) = 3 en (9.2.1_11) produce c = 3. Por lo tanto, la solución de (9.2.1_9) esEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-253.pngEl intervalo de validez de esta solución es (0, ∞).

    Los resultados en los ejemplos 9.2.1_3 (a) y 9.2.1_4 (b) son casos especiales del siguiente teorema.

Teorema 9.2.1_1. Solución general de la ED lineal homogénea de primer orden

Si p es continua en en el intervalo abierto (a, b), entonces la solución general de la ecuación homogénea

y′ + p(x)y = 0          (9.2.1_12)

en (a, b) esEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-254.pngdonde

P(x) = ∫p(x)dx          (9.2.1_13)

es cualquier antiderivada de p en (a, b); es decir,

P′(x) = p(x), a < x < b.          (9.2.1_14)

Prueba:

SiEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-254.pngdiferenciar y y usar (9.2.1_14) muestra queEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-255.pngentonces y′ + p(x)y = 0; es decir, y es una solución de (9.2.1_12), para cualquier elección de c.

Ahora mostraremos que cualquier solución de (9.2.1_12) se puede escribir comoEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-254.pngpara alguna constante c. La solución trivial se puede escribir de esta manera, con c = 0. Ahora suponga que y es una solución no trivial. Luego hay un subintervalo abierto I de (a, b) en el que y no tiene ceros. Podemos reescribir (9.2.1_12) comoEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-256.pngpara x en I. Integrando (9.2.1_15) y recuperando (9.2.1_13) obtenemos

ln|y| = −P(x) + k,

donde k es una constante Esto implica queEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-257.pngComo P se define para todas las x en (a, b) y un exponencial nunca puede ser igual a cero, podemos tomar I = (a, b), entonces y tiene ceros en (a, b), entonces se puede reescribir la última ecuación comoEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-254.png dondeEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-258.png

OBSERVACIÓN: Reescribir una ecuación diferencial de primer orden para que un lado dependa solo de y e y′ y el otro dependa solo de x se llama separación de variables. Hicimos esto en los Ejemplos 9.2.1_3 y 9.2.1_4, y al reescribir (9.2.1_12) como (9.2.1_15). Aplicaremos este método a ecuaciones no lineales en la Sección 9.2.2.

Ecuaciones lineales no homogéneas de primer orden

Ahora resolveremos la ecuación no homogénea

y′ + p(x)y = f (x).           (9.2.1_16)

Al considerar esta ecuación llamamos a

y′ + p(x)y = 0

la ecuación complementaria.

Encontraremos soluciones de (9.2.1_16) en la forma y = uy₁, donde y₁ es una solución no trivial de la ecuación complementaria y u debe determinarse. Este método de usar una solución de la ecuación complementaria para obtener soluciones de una ecuación no homogénea es un caso especial de un método llamado variación de parámetros, que encontrará varias veces en este capítulo. (Obviamente, no puede ser constante, ya que si lo fuera, el lado izquierdo de (9.2.1_16) sería cero. Reconociendo esto, los primeros usuarios de este método lo vieron como un “parámetro” que varía; de ahí, el nombre “variación de parámetros”.)

Si

y = uy₁, entonces y′ = uy₁ + uy′₁.

Sustituyendo estas expresiones por y y y′en (9.2.1_16) obtenemos

uy₁ + u(y′₁ + p(x)y₁) = f (x),

que se reduce a

uy₁ = f (x),           (9.2.1_17)

ya que y₁ es una solución de la ecuación complementaria; es decir,

y′₁ + p(x)y₁ = 0.

En la demostración del Teorema 9.2.2_1 vimos que y₁ no tiene ceros en un intervalo donde p es continuo. Por lo tanto, podemos dividir (9.2.1_.17) entre y₁ para obtener

Podemos integrar la ED anterior (introduciendo una constante de integración) y multiplicar el resultado por y₁ para obtener la solución general de (9.2.1_16). Antes de pasar a la prueba formal de este hecho, consideremos algunos ejemplos.

Ejemplo ilustrativo 9.2.1_5

Encuentre la solución general de

Al aplicar (a) del Ejemplo 9.2.1_3 con a = −2, vemos queEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-3.pnges una solución de la ecuación complementaria y′ + 2y = 0. Por lo tanto, buscamos soluciones de (9.2.1_18) que presenten la formaEsta imagen tiene un atributo ALT vacío; su nombre de archivo es image-4.pngde tal modo que

y

Por lo tanto, y es una solución de (9.2.1_18) si y sólo si

entonces

u′ = x³.

Por lo tanto

u = x⁴/4 + c,

es la solución general de (9.2.1_18).

La figura 9.2.1_3 muestra un campo direccional y algunas curvas integrales para (9.2.1_18).

Figura 9.2.1_3 Un campo direccional y curvas integrales para
Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-10.png

Ejemplo ilustrativo 9.2.1_6

(a) Encuentre la solución general de 

(b) Resuelva el problema de valor inicial

y′ + (cotx) y = xcscx,   y(π/2) = 1.          (9.2.1_21)

Solución:

(a) Aquí p(x) = cotx y f (x) = xcscx son continuas, excepto en los puntos x = rπ, donde r es un número entero. Por lo tanto, buscamos soluciones de (9.2.1_.20) en los intervalos (rπ, (r + 1)π). Necesitamos una solución no trivial y₁ de la ecuación complementaria; por lo tanto, y₁ debe satisfacer y′₁ + (cotx)y₁ = 0, que reescribimos como

Integrando, se obtiene

ln|y₁| = − ln|senx|,

donde tomamos la constante de integración como cero ya que solo necesitamos una función que satisfaga (9.2.1_22).
Claramente, y₁ = 1/ senx es una opción adecuada. Por lo tanto, buscamos soluciones de (9.2.1_20) en la forma

y = u/senx,

de tal manera que

y

Por lo tanto, y es una solución de (9.2.1_20) si y sólo si

u′/senx = xcscx = x/senx  o, equivalentemente, u′ = x.

Integrando, se obtiene

u = x²/2 + c,

y

es la solución general de (9.2.1_20) en cada intervalo (rπ, (r + 1)π) (r = entero).

(b) La imposición de la condición inicial y(π/2) = 1 en (9.2.1_25) da como resultado

Así,

es una solución de (9.2.1_21). El intervalo de validez de esta solución es (0, π); La figura 9.2.1_4 muestra su gráfica.

Figura 9.2.1_4  Solución de y′ + (cotx)y = xcscx, y(π/2) = 1.

OBSERVACIÓN: No fue necesario hacer los cálculos (9.2.1_23) y (9.2.1_24) en el ejemplo 9.2.1_6, ya que en la discusión anterior al ejemplo 9.2.1_5 se mostró que si y = uy₁ donde y′₁ + p(x)y₁ = 0, entonces y′ + p(x)y = uy₁. Hicimos estos cálculos para que veas que esto sucede en este ejemplo específico. Le recomendamos que incluya estos cálculos “innecesarios” al hacer ejercicios, hasta que esté seguro de que realmente comprende el método. Después de eso, omítalos.

Procedimiento. Variación de parámetros

    Resumimos el método de variación de parámetros para resolver

y′ + p(x)y = f (x)          (9.2.1_26)

como sigue:

Deja un comentario

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