Archivo de la categoría: Matemáticas

Posts de matemáticas, la ciencia más cercana a las artes.

Ecuaciones Diferenciales I: Método de reducción de orden

Por Omar González Franco

La única forma de aprender matemáticas es hacer matemáticas.
– Paul Halmos

Introducción

Hemos comenzado estudiando algunas de las propiedades de las soluciones a ecuaciones diferenciales lineales homogéneas y no homogéneas de orden superior. Como mencionamos en la entrada anterior, es momento de comenzar a desarrollar los distintos métodos de resolución de ecuaciones diferenciales de orden superior, sin embargo, debido a la complejidad que surge de aumentar el orden, en esta entrada sólo consideraremos ecuaciones diferenciales de segundo orden.

En esta entrada desarrollaremos el método de reducción de orden, como su nombre lo indica, lo que haremos básicamente es hacer un cambio de variable o una sustitución adecuada que permita que la ecuación de segundo orden pase a ser una ecuación de primer orden y de esta manera aplicar alguno de los métodos vistos en la unidad anterior para resolver la ecuación.

Hay dos distintas formas de reducir una ecuación de segundo orden, la primera de ellas consiste en hacer el cambio de variable

$$z = \dfrac{dy}{dx}$$

Esta forma se aplica en ecuaciones tanto lineales como no lineales, pero deben satisfacer algunas condiciones, mientras que, por otro lado, la segunda forma se aplica sólo a ecuaciones lineales homogéneas en las que tenemos conocimiento previo de una solución no trivial. En este segundo caso, considerando que conocemos una solución $y_{1}(x)$, haremos la sustitución

$$y_{2}(x) = u(x) y_{1}(x)$$

para reducir de orden a la ecuación y al resolverla obtendremos la función $u(x)$ y, por tanto, la segunda solución $y_{2}(x)$, tal que $\{ y_{1}, y_{2} \}$ forme un conjunto fundamental de soluciones de la ecuación diferencial y de esta manera podamos establecer la solución general.

Comencemos por desarrollar la primer forma bajo un cambio de variable.

Ecuaciones reducibles a ecuaciones de primer orden

Hay cierto tipo de ecuaciones de segundo orden que pueden reducirse a una ecuación de primer orden y ser resueltas por los métodos que ya conocemos, vistos en la unidad anterior. Un primer tipo de ecuación son las ecuaciones lineales en las que la variable dependiente $y$ no aparece explícitamente.

Sabemos que una ecuación diferencial lineal no homogénea de segundo orden tiene la siguiente forma.

$$a_{2}(x) \dfrac{d^{2}y}{dx^{2}} + a_{1}(x) \dfrac{dy}{dx} + a_{0}(x) y = g(x) \label{1} \tag{1}$$

Si la variable dependiente $y$ no se encuentra explícitamente en la ecuación, obtenemos la siguiente forma.

$$a_{2}(x) \dfrac{d^{2}y}{dx^{2}} + a_{1}(x) \dfrac{dy}{dx} = g(x) \label{2} \tag{2}$$

Es quizá natural pensar que una forma de resolver la ecuación (\ref{2}) es integrarla dos veces, es esto lo que haremos considerando el siguiente cambio de variable.

$$z = \dfrac{dy}{dx}; \hspace{1cm} \dfrac{dz}{dx} = \dfrac{d^{2}y}{dx^{2}} \label{3} \tag{3}$$

Sea $a_{2}(x) \neq 0$, definimos las siguientes funciones.

$$P(x) = \dfrac{a_{1}(x)}{a_{2}(x)} \hspace{1cm} y \hspace{1cm} Q(x) = \dfrac{g(x)}{a_{2}(x)}$$

Si sustituimos estas funciones y el cambio de variable (\ref{3}) en la ecuación (\ref{2}) lograremos reducirla a una ecuación lineal de primer orden con $z$ la variable dependiente.

$$\dfrac{dz}{dx} + P(x) z = Q(x) \label{4} \tag{4}$$

En la unidad anterior desarrollamos distintos métodos para resolver este tipo de ecuaciones. Una vez que resolvamos la ecuación (\ref{4}) y regresemos a la variable original veremos que dicho resultado nuevamente corresponde a una ecuación de primer orden que podrá ser resuelta una vez más con los métodos vistos anteriormente. Realicemos un ejemplo.

Ejemplo: Reducir de orden a la ecuación diferencial lineal de segundo orden

$$x \dfrac{d^{2}y}{dx^{2}} -\dfrac{dy}{dx} = x$$

para $x > 0$ y obtener su solución.

Solución: Dividamos toda la ecuación por $x \neq 0$.

$$\dfrac{d^{2}y}{dx^{2}} -\dfrac{1}{x} \dfrac{dy}{dx} = 1$$

Hacemos el cambio de variable (\ref{3}) para obtener la forma (\ref{4}).

$$\dfrac{dz}{dx} -\dfrac{1}{x}z = 1 \label{5} \tag{5}$$

Ya no deberíamos tener problema con resolver esta ecuación. Apliquemos el método para resolver ecuaciones lineales. De la ecuación reducida (\ref{5}) notamos que

$$P(x) = -\dfrac{1}{x} \hspace{1cm} y \hspace{1cm} Q(x) = 1$$

El factor integrante, es este caso, es

$$\mu(x) = e^{\int {P(x)} dx} = e^{-\int \frac{1}{x} dx} = e^{-\ln(x)} = \dfrac{1}{x}$$

Esto es,

$$\mu(x) = \dfrac{1}{x}$$

Multipliquemos la ecuación (\ref{5}) por el factor integrante,

$$\dfrac{1}{x} \dfrac{dz}{dx} -\dfrac{z}{x^{2}} = \dfrac{1}{x}$$

e identificamos que

$$\dfrac{d}{dx} \left( \dfrac{z}{x} \right) = \dfrac{1}{x} \dfrac{dz}{dx} -\dfrac{z}{x^{2}}$$

De ambas ecuaciones se tiene

$$\dfrac{d}{dx} \left( \dfrac{z}{x} \right) = \dfrac{1}{x}$$

Ahora podemos integrar ambos lados de la ecuación con respecto a $x > 0$.

\begin{align*}
\int \dfrac{d}{dx} \left( \dfrac{z}{x} \right) dx &= \int \dfrac{1}{x} dx \\
\dfrac{z}{x} &= \ln (x) + c_{1} \\
z(x) &= x \ln (x) + xc_{1}
\end{align*}

Hemos resuelto la ecuación para la variable $z$, regresemos a la variable original para resolver la nueva ecuación de primer orden.

$$\dfrac{dy}{dx} = x \ln(x) + xc_{1} \label{6} \tag{6}$$

Esta ecuación puede ser resuelta por separación de variables en su versión simple de integración directa (la ecuación ya esta separada), integremos ambos lados de la ecuación con respecto a $x$,

\begin{align*}
\int \dfrac{dy}{dx} dx &= \int x \ln(x) dx + \int xc_{1} dx \\
y(x) &= \int x \ln(x) dx + c_{1} \dfrac{x^{2}}{2}
\end{align*}

Para resolver la integral que nos falta apliquemos integración por partes, hagamos

$$u(x) = \ln(x) \hspace{1cm} y \hspace{1cm} \dfrac{dv}{dx} = x$$

Así mismo,

$$\dfrac{du}{dx} = \dfrac{1}{x} \hspace{1cm} y \hspace{1cm} v(x) = \dfrac{x^{2}}{2}$$

Entonces,

\begin{align*}
\int{x \ln(x) dx} &= \dfrac{x^{2}}{2} \ln(x) -\int{\dfrac{x}{2} dx} \\
&= \dfrac{x^{2}}{2} \ln(x) -\dfrac{x^{2}}{4} + c_{2}
\end{align*}

Sustituimos en la función $y(x)$.

$$y(x) = \dfrac{x^{2}}{2} \ln(x) -\dfrac{x^{2}}{4} + c_{1} \dfrac{x^{2}}{2} + c_{2}$$

Por lo tanto, la solución general de la ecuación diferencial

$$x \dfrac{d^{2}y}{dx^{2}} -\dfrac{dy}{dx} = x$$

es

$$y(x) = \dfrac{x^{2}}{2} \left( \ln(x) -\dfrac{1}{2} \right) + c_{1} \dfrac{x^{2}}{2} + c_{2} \label{7} \tag{7}$$

De tarea moral verifica que es la solución general ya que el conjunto

$$S = \left\{ y_{1}(x) = \dfrac{x^{2}}{2}, y_{2}(x) = 1 \right\}$$

es un conjunto fundamental de soluciones de la ecuación homogénea asociada y

$$y_{p}(x) = \dfrac{x^{2}}{2} \left( \ln(x) -\dfrac{1}{2} \right)$$

es una solución particular de la ecuación no homogénea.

$\square$

Reducción de orden en ecuaciones no lineales

Es posible aplicar un método similar en ecuaciones de segundo orden que pueden ser tanto lineales como no son lineales, en este caso, a diferencia del caso anterior, la variable dependiente $y$ puede aparecer en la ecuación, sin embargo es necesario que la variable independiente $x$ sea la que no aparezca explícitamente. Este tipo de ecuaciones también pueden reducirse a una ecuación de primer orden, pero tomando el siguiente cambio de variable.

$$\dfrac{dy}{dx} = z; \hspace{1cm} \dfrac{d^{2}y}{dx^{2}} = z \dfrac{dz}{dy} \label{8} \tag{8}$$

Donde la segunda expresión se deduce de aplicar la regla de la cadena

$$\dfrac{d^{2}y}{dx^{2}} = \dfrac{dz}{dx} = \dfrac{dz}{dy} \dfrac{dy}{dx} = z \dfrac{dz}{dy}$$

Realicemos un ejemplo con una ecuación no lineal.

Ejemplo: Reducir de orden a la ecuación diferencial no lineal de segundo orden

$$\dfrac{d^{2}y}{dx^{2}} -2y \left( \dfrac{dy}{dx}\right)^{3} = 0$$

y obtener su solución.

Solución: Es importante notar que es no lineal debido a que la primer derivada es de tercer grado y además esta multiplicada por la función $y$, lo cual no debe ocurrir en el caso lineal.

La ecuación a resolver es

$$\dfrac{d^{2}y}{dx^{2}} -2y \left( \dfrac{dy}{dx}\right)^{3} = 0$$

Hacemos el cambio de variable (\ref{8}) y separamos variables.

\begin{align*}
z \dfrac{dz}{dy} -2yz^{3} &= 0 \\
\dfrac{dz}{dy} &= 2yz^{2} \\
\dfrac{1}{z^{2}} \dfrac{dz}{dy} &= 2y
\end{align*}

Integramos ambos lados de la ecuación con respecto a $y$.

\begin{align*}
\int{\dfrac{1}{z^{2}} \dfrac{dz}{dy} dy} &= \int{2y dy} \\
\int{\dfrac{dz}{z^{2}}} &= 2 \int{y dy} \\
-\dfrac{1}{z} &= y^{2} + c_{1} \\
z &= -\dfrac{1}{y^{2} + c_{1}}
\end{align*}

Regresamos a la variable original y separamos de nuevo las variables.

\begin{align*}
\dfrac{dy}{dx} &= -\dfrac{1}{y^{2} + c_{1}} \\
(y^{2} + c_{1}) \dfrac{dy}{dx} &= -1
\end{align*}

Integramos ambos lados de la ecuación con respecto a $x$.

\begin{align*}
\int{(y^{2} + c_{1}) \dfrac{dy}{dx} dx} &= -\int{dx} \\
\int{y^{2} dy} + \int{c_{1} dy} &= -\int{dx} \\
\dfrac{y^{3}}{3} + c_{1}y &= -x + c_{2}
\end{align*}

Por lo tanto, la solución implícita de la ecuación diferencial

$$\dfrac{d^{2}y}{dx^{2}} -2y \left( \dfrac{dy}{dx}\right)^{3} = 0$$

es

$$\dfrac{y^{3}}{3} + c_{1}y = c_{2} -x$$

$\square$

Realicemos un ejemplo más con una ecuación lineal.

Ejemplo: Encontrar la solución general de la ecuación diferencial

$$4 \dfrac{d^{2}y}{dx^{2}} + \dfrac{dy}{dx} = 0$$

Solución: Como la ecuación no contiene explícitamente a la función $y$ ni a la variable independiente $x$, entonces podemos aplicar cualquier cambio de variable, ya sea (\ref{3}) u (\ref{8}). Vamos a resolverla aplicando ambos casos.

Primero consideremos el cambio de variable (\ref{8}).

\begin{align*}
4z \dfrac{dz}{dy} + z &= 0 \\
4 \dfrac{dz}{dy} &= -1 \\
\dfrac{dz}{dy} &= -\dfrac{1}{4}
\end{align*}

Integremos ambos lados de la ecuación con respecto a $y$.

\begin{align*}
\int{\dfrac{dz}{dy} dy} &= -\int{\dfrac{1}{4} dy} \\
\int{dz} &= -\dfrac{1}{4} \int{dy} \\
z &= -\dfrac{1}{4} y + c_{1}
\end{align*}

Regresemos a la variable original.

\begin{align*}
\dfrac{dy}{dx} &= -\dfrac{1}{4} y + c_{1} \\
\dfrac{dy}{dx} + \dfrac{y}{4} &= c_{1}
\end{align*}

Resolvamos esta ecuación por factor integrante.

$$\mu(x) = e^{\int {P(x)} dx} = e^{\int \frac{1}{4} dx} = e^{x/4}$$

Esto es,

$$\mu(x) = e^{x/4}$$

Multipliquemos ambos lados de la ecuación por el factor integrante.

\begin{align*}
e^{x/4} \dfrac{dy}{dx} + e^{x/4} \dfrac{y}{4} &= e^{x/4} c_{1} \\
\dfrac{d}{dx}\left( y e^{x/4} \right) &= c_{1} e^{x/4}
\end{align*}

Integramos ambos lados con respecto a $x$.

\begin{align*}
\int{\dfrac{d}{dx}\left( y e^{x/4} \right) dx} &= \int{c_{1} e^{x/4} dx} \\
y e^{x/4} &= c_{1} \int{e^{x/4} dx} \\
y e^{x/4} &= c_{1} 4 e^{x/4} + c_{2} \\
y(x) &= c_{2} e^{-x/4} + 4c_{1}
\end{align*}

Renombrando a las constantes concluimos que la solución general de la ecuación diferencial

$$4 \dfrac{d^{2}y}{dx^{2}} + \dfrac{dy}{dx} = 0$$

es

$$y(x) = k_{1} e^{-x/4} + k_{2}$$

Resolvamos de nuevo la ecuación, pero ahora aplicando el cambio de variable (\ref{3}),

\begin{align*}
4 \dfrac{dz}{dx} + z &= 0 \\
\dfrac{1}{z} \dfrac{dz}{dx} &= -\dfrac{1}{4}
\end{align*}

Integremos ambos lados con respecto a $x$.

\begin{align*}
\int{\dfrac{1}{z} \dfrac{dz}{dx} dx} &= -\int{\dfrac{1}{4} dx} \\
\int{\dfrac{dz}{z}} &= -\dfrac{1}{4}\int{dx} \\
\ln|z| &= -\dfrac{x}{4} + c_{1} \\
z &= c_{2}e^{-x/4}
\end{align*}

Con $c_{2} = e^{c_{1}}$. Regresemos a la variable original.

$$\dfrac{dy}{dx} = c_{2}e^{-x/4}$$

Integremos ambos lados con respecto a $x$.

\begin{align*}
\int{\dfrac{dy}{dx} dx} = \int{c_{2} e^{-x/4} dx} \\
\int{dy} = c_{2} \int{e^{-x/4} dx} \\
y = -c_{2}4 e^{-x/4} + c_{3}
\end{align*}

Si renombramos las constantes obtenemos nuevamente que

$$y(x) = k_{1} e^{-x/4} + k_{2}$$

$\square$

Es posible reducir una ecuación diferencial de segundo orden a una de primer orden si previamente conocemos una solución de la ecuación. Usualmente este método es mayor recurrido que el anterior y también recibe el nombre de método de reducción de orden.

Reducción de orden conocida una solución

Es posible reducir una ecuación diferencial lineal homogénea de segundo orden

$$a_{2}(x) \dfrac{d^{2}y}{dx^{2}} + a_{1}(x) \dfrac{dy}{dx} + a_{0}(x) y = 0 \label{9} \tag{9}$$

a una ecuación diferencial de primer orden siempre que se conozca previamente una solución no trivial $y_{1}(x)$. Recordemos de la entrada anterior que una ecuación de la forma (\ref{9}) tiene como solución general la combinación lineal

$$y(x) = c_{1}y_{1}(x) + c_{2}y_{2}(x) \label{10} \tag{10}$$

con $y_{1}$ y $y_{2}$ funciones que forman un conjunto fundamental de soluciones en cierto intervalo $\delta$. Si conocemos $y_{1}$ podremos reducir la ecuación a una de primer orden y resolverla para obtener la solución $y_{2}$ y, por tanto, obtener la solución general.

Este método también es conocido como método de reducción de orden, pues tiene el mismo propósito que los casos anteriores, reducir de orden a una ecuación diferencial. La idea general del método es la siguiente.

Comenzaremos con el conocimiento previo de una solución no trivial $y_{1}(x)$ de la ecuación homogénea (\ref{9}) definida en un intervalo $\delta$. Lo que buscamos es una segunda solución $y_{2}(x)$, tal que $y_{1}$ y $y_{2}$ formen un conjunto fundamental de soluciones en $\delta$, es decir, que sean soluciones linealmente independientes entre sí. Recordemos que si ambas soluciones son linealmente independientes, entonces el cociente $\dfrac{y_{2}}{y_{1}}$ no es constante en $\delta$, es decir

$$\dfrac{y_{2}(x)}{y_{1}(x)} = u(x)$$

o bien,

$$y_{2}(x) = u(x) y_{1}(x) \label{11} \tag{11}$$

Como queremos encontrar $y_{2}$ y previamente conocemos $y_{1}$, entonces debemos determinar la función $u(x)$, dicha función se determina al sustituir (\ref{11}) en la ecuación diferencial dada, esto reducirá a dicha ecuación a una de primer orden donde la variable dependiente será $u$.

Desarrollemos el método de manera general para encontrar la expresión de $u(x)$ y, por tanto, de $y_{2}(x)$ y finalmente realicemos un ejemplo.

Método de reducción de orden

Este método se aplica a las ecuaciones diferenciales de la forma

$$a_{2}(x) \dfrac{d^{2}y}{dx^{2}} + a_{1}(x) \dfrac{dy}{dx} + a_{0}(x) y = 0$$

Si dividimos esta ecuación por $a_{2}(x) \neq 0$ obtenemos la forma estándar

$$\dfrac{d^{2}y}{dx^{2}} + P(x) \dfrac{dy}{dx} + Q(x)y = 0 \label{12} \tag{12}$$

Con

$$P(x) = \dfrac{a_{1}(x)}{a_{2}(x)} \hspace{1cm} y \hspace{1cm} Q(x) = \dfrac{a_{0}(x)}{a_{2}(x)}$$

ambas continuas en algún intervalo $\delta$. Supongamos además que $y_{1}(x)$ es una solución conocida de (\ref{12}) en $\delta$ y que $y_{1}(x) \neq 0 $ para toda $x \in \delta$. Si se define

$$y(x) = u(x) y_{1}(x)$$

derivando se tiene

$$\dfrac{dy}{dx} = u \dfrac{dy_{1}}{dx} + y_{1} \dfrac{du}{dx} \label{13} \tag{13}$$

Derivando una segunda ocasión se tiene

$$\dfrac{d^{2}y}{dx^{2}} = u \dfrac{d^{2}y_{1}}{dx^{2}} + 2\dfrac{dy_{1}}{dx} \dfrac{du}{dx} + y_{1} \dfrac{d^{2}u}{dx^{2}} \label{14} \tag{14}$$

Sustituyendo (\ref{13}) y (\ref{14}) en la forma estándar (\ref{12}) obtenemos lo siguiente.

\begin{align*}
\dfrac{d^{2}y}{dx^{2}} + P\dfrac{dy}{dx} + Qy &= \left[ u \dfrac{d^{2}y_{1}}{dx^{2}} + 2\dfrac{dy_{1}}{dx} \dfrac{du}{dx} + y_{1} \dfrac{d^{2}u}{dx^{2}} \right] + P \left[ u \dfrac{dy_{1}}{dx} + y_{1} \dfrac{du}{dx} \right] + Q \left[ u y_{1}\right] \\
&= u \left[ \dfrac{d^{2}y_{1}}{dx^{2}} + P\dfrac{dy_{1}}{dx} + Qy_{1} \right] + y_{1} \dfrac{d^{2}u}{dx^{2}} + \left( 2 \dfrac{dy_{1}}{dx} + Py_{1} \right) \dfrac{du}{dx} \\
&= 0
\end{align*}

Como $y_{1}(x)$ es solución sabemos que

$$\dfrac{d^{2}y_{1}}{dx^{2}} + P\dfrac{dy_{1}}{dx} + Qy_{1} = 0$$

Entonces el resultado anterior se reduce a lo siguiente.

$$y_{1} \dfrac{d^{2}u}{dx^{2}} + \left( 2 \dfrac{dy_{1}}{dx} + Py_{1} \right) \dfrac{du}{dx} = 0 \label{15} \tag{15}$$

Consideremos el cambio de variable

$$w = \dfrac{du}{dx} \hspace{1cm} y \hspace{1cm} \dfrac{dw}{dx} = \dfrac{d^{2}y}{dx^{2}}$$

Entonces la ecuación (\ref{15}) se puede escribir como

$$y_{1} \dfrac{dw}{dx} + \left( 2 \dfrac{dy_{1}}{dx} + Py_{1} \right) w = 0 \label{16} \tag{16}$$

Esta ecuación es tanto lineal como separable. Separando las variables e integrando, se obtiene

\begin{align*}
\dfrac{1}{w}\dfrac{dw}{dx} + 2\dfrac{1}{y_{1}} \dfrac{dy_{1}}{dx} &= -P \\
\int{\dfrac{dw}{w}} + 2\int{\dfrac{dy_{1}}{y_{1}}} &= -\int{P dx} \\
\ln |w| + 2 \ln|y_{1}| + k &= -\int{P dx} \\
\ln |w y^{2}_{1}| + k &= -\int{P dx} \\
wy^{2}_{1} &= k_{1}e^{-\int{P dx}}
\end{align*}

Despejando a $w$ de la última ecuación, usando $w = \dfrac{du}{dx}$ e integrando nuevamente, se tiene

\begin{align*}
\dfrac{du}{dx} &= \dfrac{k_{1}e^{-\int{P dx}}}{y^{2}_{1}} \\
\int{du} &= \int{\dfrac{k_{1}e^{-\int{P dx}}}{y^{2}_{1}} dx} \\
u &= k_{1} \int{\dfrac{e^{-\int{P} dx}}{y^{2}_{1}} dx} + k_{2}
\end{align*}

Eligiendo $k_{1} = 1$ y $k_{2} = 0$ obtenemos la expresión para la función $u(x)$,

$$u(x) = \int{\dfrac{e^{-\int{P} dx}}{y^{2}_{1}} dx} \label{17} \tag{17}$$

Si sustituimos en

$$y(x) = y_{2}(x) = u(x)y_{1}(x)$$

obtenemos que la segunda solución de la ecuación diferencial (\ref{12}) es

$$y_{2}(x) = y_{1}(x) \int{\dfrac{e^{-\int{P(x)} dx}}{y^{2}_{1}(x)} dx} \label{18} \tag{18}$$

De tarea moral puedes probar que la función $y_{2}$ satisface la ecuación diferencial y que $y_{1}$ y $y_{2}$ son linealmente independientes en algún intervalo en el que $y_{1}$ no es cero.

Realicemos un ejemplo en el que apliquemos este método.

Ejemplo: Encontrar la solución general de la ecuación diferencial

$$\dfrac{d^{2}y}{dx^{2}} + 16y = 0$$

dada la solución no trivial

$$y_{1}(x) = \cos(4x)$$

Solución: En esta ocasión apliquemos directamente la expresión (\ref{18}) para obtener la solución $y_{2}(x)$.

La ecuación diferencial a resolver es

$$\dfrac{d^{2}y}{dx^{2}} + 16y = 0$$

Si la comparamos con la forma estándar (\ref{12}) notamos que

$$P(x) = 0 \hspace{1cm} y \hspace{1cm}Q(x) = 16$$

Sustituyendo en (\ref{18}), se tiene

\begin{align*}
y_{2}(x) &= \cos(4x) \int{\dfrac{e^{0}}{\cos^{2}(4x)} dx} \\
&= \cos(4x) \int{\dfrac{1}{\cos^{2}(4x)} dx}
\end{align*}

Para resolver la integral consideremos el cambio de variable $s = 4x$, $ds = 4 dx$.

$$\int{\dfrac{1}{\cos^{2}(4x)} dx} = \dfrac{1}{4} \int{\sec^{2}(s) ds}$$

Sabemos que

$$\int{\sec^{2}(s) ds} = \tan(s)$$

Así

$$y_{2}(x) = \cos(4x) \left( \dfrac{1}{4} \tan(4x) + k_{1} \right)$$

Hacemos $k_{1} = 0$.

$$y_{2}(x) = \dfrac{\cos(4x)}{4} \left( \dfrac{\sin(4x)}{\cos(4x)} \right) = \dfrac{\sin(4x)}{4}$$

Como la solución general corresponde a la combinación lineal (\ref{10}), en las constantes $c_{1}$ y $c_{2}$ se pueden englobar todas las constantes que pudieran aparecer, por ello es que podemos tomar $k_{1} = 0$ y además podemos evitar la constante $\dfrac{1}{4}$ de $y_{2}$ y considerar que

$$y_{2}(x) = \sin(4x)$$

Veamos que efectivamente satisface la ecuación diferencial.

$$\dfrac{dy_{2}}{dx} = 4 \cos(4x) \hspace{1cm} \Rightarrow \hspace{1cm} \dfrac{d^{2}y_{2}}{dx^{2}} = -16 \sin(4x)$$

Sustituyendo en la ecuación diferencial.

$$\dfrac{d^{2}y}{dx^{2}} + 16y = -16 \sin(4x) + 16 \sin(4x) = 0$$

Cumple con la ecuación diferencial, lo mismo podemos verificar con la solución dada

$$y_{1}(x) = \cos(4x)$$

Tenemos,

$$\dfrac{dy_{1}}{dx} = -4 \sin(4x) \hspace{1cm} \Rightarrow \hspace{1cm} \dfrac{d^{2}y_{1}}{dx^{2}} = -16 \cos(4x)$$

Sustituyendo en la ecuación diferencial.

$$\dfrac{d^{2}y}{dx^{2}} + 16y = -16 \cos(4x) + 16 \cos(4x) = 0$$

Como ambas soluciones son linealmente independientes, entonces forman un conjunto fundamental de soluciones. Otra forma de verificarlo es mostrando que el Wronskiano es distinto de cero y lo es ya que

$$W(y_{1}, y_{2}) = 4 \neq 0$$

Por lo tanto, la solución general de la ecuación diferencial

$$\dfrac{d^{2}y}{dx^{2}} + 16y = 0$$

corresponde a la combinación lineal

$$y(x) = c_{1} \cos(4x) + c_{2} \sin(4x)$$

$\square$

Con esto concluimos esta entrada sobre un primer método para resolver algunas ecuaciones diferenciales de segundo orden. En la siguiente entrada desarrollaremos un nuevo método.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

  1. Obtener la solución general de las siguientes ecuaciones diferenciales lineales.
  • $x \dfrac{d^{2}y}{dx^{2}} + \dfrac{dy}{dx} = 0$
  • $(x-1) \dfrac{d^{2}y}{dx^{2}} -\dfrac{dy}{dx} = 0$
  1. Resolver las siguientes ecuaciones diferenciales no lineales.
  • $(y -1)\dfrac{d^{2}y}{dx^{2}} = \left( \dfrac{dy}{dx} \right)^{2} $
  • $\left( \dfrac{dy}{dx} \right)^{2} -2 \dfrac{d^{2}y}{dx^{2}} = 0$
  1. Dada una solución no trivial de las siguientes ecuaciones diferenciales, hallar la segunda solución, tal que ambas formen un conjunto fundamental de soluciones y determina la solución general.
  • $\dfrac{d^{2}y}{dx^{2}} -4 \dfrac{dy}{dx} + 4y = 0; \hspace{1cm} y_{1}(x) = e^{2x}$
  • $\dfrac{d^{2}y}{dx^{2}} -25y = 0; \hspace{1cm} y_{1}(x) = e^{5x}$
  1. Demostrar que la función $$y_{2}(x) = y_{1}(x) \int{\dfrac{e^{-\int{P(x)} dx}}{y^{2}_{1}(x)} dx}$$ Satisface la ecuación diferencial $$\dfrac{d^{2}y}{dx^{2}} + P(x) \dfrac{dy}{dx} + Q(x)y = 0$$ Siempre que $y_{1}(x)$ sea solución de la misma ecuación.
  1. Usando el inciso anterior, demostrar que $$S = \left \{ y_{1}(x), y_{1}(x) \int{\dfrac{e^{-\int{P(x)} dx}}{y^{2}_{1}(x)} dx} \right \}$$ es un conjunto fundamental de soluciones de la ecuación diferencial $$\dfrac{d^{2}y}{dx^{2}} + P(x) \dfrac{dy}{dx} + Q(x)y = 0$$

Más adelante…

En esta entrada desarrollamos un método de reducción de orden basado en un cambio de variable para ecuaciones lineales y no lineales de segundo orden que satisfacen algunas condiciones y desarrollamos el método de reducción de orden para ecuaciones diferenciales lineales homogéneas en el caso en el que previamente conocemos una solución no trivial.

En la siguiente entrada estudiaremos otro método para resolver un tipo particular de ecuaciones diferenciales, éstas son las ecuaciones diferenciales lineales homogéneas con coeficientes constantes, de la forma

$$a \dfrac{d^{2}y}{dx^{2}} + b \dfrac{dy}{dx} + cy = 0$$

Con $a, b$ y $c$ constantes.

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Álgebra Moderna I: Teoremas sobre subgrupos y Subgrupo generado por $ X $

Por Cecilia del Carmen Villatoro Ramos

Introducción

Ya vimos qué es un grupo cíclico. Ahora nos preguntamos si, teniendo $G$ un grupo cíclico y tomando cualquier subgrupo $H \subseteq G$ ¿será cierto que $H$ también es cíclico?

Ilustremos esto con un ejemplo. Consideremos $\z$ con la suma, en este caso $\z = \left<1\right>$,

$\dots, -3, -2, -1, 0, 1, 2, 3, \dots$.

Entre posibles subgrupos podemos encontrar:

$\dots, -6, -4, -2, 0, 2, 4, 6, \dots$
$\dots, -9, -6, -3, 0, 3, 6, 9, \dots$

es decir $\left<2\right>$ y $\left<3\right>$ respectivamente. Pero también podemos observar que tanto $2$ como $3$ son la mínima potencia de $1$ que aparece en sus respectivos generados. Es decir, aunque el $1$ no esté en un subgrupo cíclico de $\z$, el subgrupo será generado por la mínima potencia de $1$ que sí sea elemento del subgrupo. En esta entrada, comenzaremos probando este resultado.

En la segunda parte de esta entrada regresaremos a la problemática inicial planteada en la entrada Orden de un elemento y grupo cíclico. Si tenemos un subconjunto $X \subseteq G$, con $G$ un grupo, ¿cuál es el mínimo subgrupo $H$ de $G$ tal que $H$ contenga a $X$?

Podemos estar de acuerdo en que es posible que $X$ esté contenido en más de un subgrupo, podemos considerar la familia de subgrupos de $G$ que contienen a $X$. A estos subgrupos los denotaremos como $H_i$ con $i \in I$. Como $X\subseteq H_i$ para toda $i$, sabemos que $\displaystyle X \subseteq \bigcap_{i \in I}H_i$ y éste resultará ser el menor subgrupo de $G$ que contiene a $X$. Esto será lo que desarrollaremos en la segunda parte de la entrada.

Los subgrupos de un grupo cíclico, son cíclicos.

Teorema. Todo subgrupo de un grupo cíclico, es cíclico.

Demostración.
Sea $G$ un grupo cíclico, $H \leq G$.
Como $G$ es cíclico, entonces $G = \left< a \right>$ para algún $a \in G$.

Para ver que $H$ es cíclico tenemos que proponer un generador de $H$, este generador tiene que ser una potencia de $a$, porque $H \subseteq G$ y $G$ es cíclico. Por lo que dijimos en la introducción, elegiremos la potencia de $a$ con el menor exponente positivo, que esté en $H$. Pero, para ello, tenemos que asegurarnos primero que en $H$ existen potencias de $a$ con exponentes positivos. Así, consideraremos dos casos.

Si $H = \{e\} = \left< e \right>$ que es cíclico.

Si $H \neq \{e\}$, sea $h \in H\setminus\{e\}$. Entonces como $H \leq G$, $h \in G = \left<a\right>$. Así $h = a^k$ para algún $k \in \z$ y como $h \neq e$ entonces $k \neq 0$.

Tenemos que $h^{-1} = a^{-k} \in H$ pues $H$ es subgrupo.

Así $a^k$, $a^{-k} \in H$ (con $k \in \z \setminus\{0\}$), entonces no importa si $k$ es positivo o negativo, siempre habrá un elemento en $H$ que se obtiene elevando $a$ a un entero positivo, es decir,

$\{n \in \z^+ | a^n \in H\} \neq \emptyset$.

Sea $m = \text{mín } \{n \in \z^+|a^n\in H\}$.
P.D. $H = \left< a^m \right>$

$\supseteq]$
Por la elección de $m$, $a^m \in H$ y como $H$ es un subgrupo entonces $\left< a^m \right> \subseteq H$.

$\subseteq]$
Sea $h \in H$. Como $H \leq G = \left<a\right>$, entonces $h = a^k$ para algún $k \in \z$.

Por el algoritmo de la división existen $q,r \in \z$ tales que $k = mq+r$ con $0 \leq r < m$.
Entonces $h = a^k = a^{mq+r} = (a^m)^q a^r$. Esto implica que

$(a^m)^{-q}h = a^r.$

Pero $a^m \in H$, $h \in H$ y $H$ es subgrupo, entonces $a^r = (a^m)^{-q}h \in H$ con $0 \leq r < m$. Para no contradecir la elección de $m$ concluimos que $r=0$.

Así $h = a^{mq} = (a^m)^q \in \left< a^m \right>$.
Por lo tanto $H = \left< a^m \right>$ y $H$ es cíclico.

$\blacksquare$

El menor subgrupo que contiene a cualquier subconjunto $X$

Teorema. La intersección de una familia no vacía de subgrupos de un grupo $G$ es un subgrupo de $G$.

Cuando decimos familia no vacía nos referimos a que haya al menos un grupo en la familia, con el fin de que haya al menos un grupo a intersecar. Ésta es una condición que se pide para que a nivel conjuntista no haya problemas con la intersección.

Demostración.
Sea $G$ un grupo y $\{H_i | i \in I\}$ una familia de subgrupos de $G$.
P.D. $\displaystyle \bigcap_{i \in I} H_i \leq G$.

Como $H_i \leq G$ para toda $i \in I$, entonces $e \in H_i$ para toda $i \in I$ y así $\displaystyle e \in \bigcap_{i \in I} H_i$.

Sea $\displaystyle a, b \in \bigcap_{i \in I}$. Tenemos que $a,b \in H_i$ para toda $i \in I$.
Como $H_i \leq G$ para toda $i \in I$, entonces $ab^{-1} \in H_i$ para toda $i \in I$ y así $a b^{-1} \in \displaystyle \bigcap_{i \in I}H_i$.

Por lo tanto $\displaystyle \bigcap_{i \in I} H_i \leq G$.

$\blacksquare$

Corolario. Sea $G$ un grupo y $X$ un subconjunto de $G$. Existe un subgrupo de $G$ que contiene a $X$ y que estará contenido en cualquier subgrupo de $G$ que contenga a $X$.

Demostración.
Sea $G$ un grupo y $X$ subconjunto de $G$.
$G$ es un subgrupo de $G$ que contiene a $X$ y entonces la familia $\{H \leq G | X \subseteq H\}$ es no vacía. Entonces sí existen subgrupos de $G$ que contienen a $X$.

Consideremos $\displaystyle \bigcap_{\substack{H \leq G \\ X \subseteq H}} H$. Por el teorema anterior esta intersección es un subgrupo de $G$ y por construcción $X \subseteq \displaystyle \bigcap_{\substack{H \leq G \\ X \subseteq H}} H$.

Ahora, si $\hat{H}$ es un subgrupo de $G$ que contiene a $X$, entonces $\hat{H} \in \{H \leq G | X \subseteq H \}$, y al ser uno de los intersecandos, obtenemos

$\displaystyle \bigcap_{\substack{H \leq G \\ X \subseteq H}} H \subseteq \hat{H}$.

Así, $\displaystyle \bigcap_{\substack{H \leq G \\ X \subseteq H}} H$ es un subgrupo de $G$ que contiene a $X$ y que está contenido en cualquier subgrupo de $G$ que contenga a $X$

$\blacksquare$

El subgrupo de $G$ generado por $X$

Para concluir esta entrada, daremos una definición que resume lo visto.

Definición. Sea $G$ un grupo y $X$ un subgrupo de $G$. El conjunto

\begin{align*}
\bigcap_{\substack{H \leq G \\ X \subseteq H}} H
\end{align*}

es el subgrupo de $G$ generado por $X$ y se denota por $\left< X \right>$.

Decimos que $X$ genera a $G$ si $\left< X \right> = G$.

Observación. Sea $G$ un grupo y sea $a \in G$. Entonces

\begin{align*} \left< \{a\} \right> = \left< a \right>. \end{align*}

Demostración. Se quedará como tarea moral.

Notación. Para $a_1,\dots, a_n \in G$, el subgrupo $\left< \{a_1,\dots, a_n\}\right>$ se denota por $\left< a_1, \dots, a_n \right>$.

Tarea moral

  1. Sea $G$ un grupo tal que todos sus subgrupos propios son cíclicos, entonces $G$ es cíclico. Demuestra este enunciado o encuentra un contraejemplo.
  2. Considera a los enteros con la suma. Describe a los subgrupos:
    1. $\left<\{10, 15\}\right>$ (se denota por $\left<10,15\right>$).
    2. $\left<\{9, 20\}\right>$ (se denota por $\left<9,20\right>$).
  3. Demuestra la última observación: Sea $G$ un grupo y sea $a \in G$. Entonces $\left< \{a\} \right> = \left< a \right>$. Sugerencia: Usa la doble contención y el teorema anterior.

Más adelante…

Ya estudiamos a los elementos de la forma $a^k$ con $a \in G$, $k \in \z$ y $G$ un grupo. En la siguiente entrada combinaremos varios elementos de esa forma. Estudiaremos qué son y algunas propiedades de las llamadas palabras. Además, la siguiente entrada es la última de esta unidad, ¡sigue avanzando! ya casi acabas.

Entradas relacionadas

Cálculo Diferencial e Integral I: Suma, producto, cociente y composición de funciones

Por Karen González Cárdenas

Introducción

Ya que hemos visto el concepto de función, en esta entrada veremos cómo están definidas las operaciones de suma, producto y cociente. De igual modo, definiremos la composición entre un par de funciones. Para dejar más claras dichas operaciones, daremos ejemplos.

Operaciones de funciones

Definición (operaciones): Sean $f: D_{f}\subseteq \r \rightarrow \r$, $\quad g: D_{g}\subseteq \r \rightarrow \r$. Definimos las siguientes operaciones como:

  • $f+g: D_{f} \cap D_{g} \subseteq \r \rightarrow \r$
    $$(f+g)(x)= f(x)+g(x)\quad \text{.}$$
  • $\alpha f: D_{f}\subseteq \r \rightarrow \r \quad$ y $\quad \alpha \in \r$
    $$(\alpha f)(x)= \alpha f(x)\quad \text{.}$$
  • $fg: D_{f} \cap D_{g} \subseteq \r \rightarrow \r$
    $$(fg)(x)= f(x)g(x)\quad \text{.}$$
  • $\begin{multline*} \frac{f}{g}: D_{f/g} \subseteq \r \rightarrow \r \end{multline*}$
    \begin{equation*}
    \left(\frac{f}{g}\right)(x)=\frac{f(x)}{g(x)}\quad \text{.}
    \end{equation*}
    donde $D_{f/g}=D_{f} \cap (D_{g} – \left\{x \in D_{g}: g(x)=0 \right\})$

Notación: Cuando escribamos $f-g$ hacemos referencia a:
$$f-g=f+ (-g) \quad \text{.}$$

Ejemplos

Consideremos a las siguientes funciones:
\begin{align*}
f: \r – \left\{-1\right\} &\rightarrow \r & g: \r &\rightarrow \r & h: \r &\rightarrow \r^{+}
\end{align*}
\begin{align*}
f(x)&= \frac{1}{x+1}& g(x)&= x^{3}+3 & h(x)&=x^{2}+2x+1
\end{align*}
Notación: Usamos $\r^{+}$ para referirnos al conjunto de los números reales positivos.

Realizaremos las siguientes operaciones para ejemplificar lo visto anteriormente:

  • $$(f+g)(x)= f(x)+g(x)= \frac{1}{x+1} + x^{3}+3$$
    con $D_{f+g}=D_{f} \cap D_{g}= \r \cap (\r- \left\{-1\right\})= \r- \left\{-1\right\}$
  • $$(fg)(x)= f(x)g(x)=\left(\frac{1}{x+1}\right)(x^{3}+3)=\frac{x^{3}+3}{x+1}$$
    con $D_{fg}=D_{f} \cap D_{g}= \r \cap (\r- \left\{-1\right\})= \r- \left\{-1\right\}$
  • Si $\alpha = – 4$:
    $$(\alpha g)(x)= \alpha g(x)= -4(x^{3}+3)=-4x^{3}-12$$
    con $D_{\alpha g}= D_{g}= \r$
  • $$\left(\frac{g}{h}\right)(x)=\frac{g(x)}{h(x)}=\frac{x^{3}+3}{x^{2}+2x+1}$$
    como $D_{g/h}=D_{g} \cap (D_{h} – \left\{x \in D_{h}: h(x)=0 \right\})$
    Observemos que $x^{2}+2x+1 = (x+1)^{2}$ por lo que $(x+1)^{2}=0$ cuando $x=-1$.
    Así el dominio sería:
    $$D_{g/h}=\r \cap (\r- \left\{-1 \right\})= \r – \left\{-1\right\}$$
  • $$(h-g)(x)=h(x)-g(x)=x^{2}+2x+1-(x^{3}+3)=x^{2}+2x+1-x^{3}-3$$
    con $D_{h-g}= D_{h} \cap D_{g}= \r \cap \r= \r$

Composición de funciones

Definición (composición): Consideremos a las funciones $g: A \rightarrow B$ y $f: B \rightarrow C$ definimos a la composición de $g$ seguida de $f$ como:

$$f \circ g: A \rightarrow C$$
$$(f \circ g)(x)= f(g(x)),$$
observamos que la composición sólo está definida si $Im_g \subseteq D_f$, por lo que $g(x) \in B$.
En el siguiente diagrama podemos ver más claramente cómo funciona la composición $f \circ g$:

PASO 1

Primero tomamos $x \in A$ a la cual le aplicamos la función $g$ para así obtener $g(x) \in B$.

PASO 2

Ahora tomamos a $g(x) \in B$ para aplicarle la función $f$ y finalmente obtener $f(g(x)) \in C$.

DIAGRAMA PARA $f \circ g$

Así la composición de $f \circ g$ se vería como en el diagrama anterior.

Observación: La composición no es conmutativa, es decir, ocurre que:
$$f \circ g \neq g \circ f\quad \text{.}$$

Ejemplos

Retomando las funciones:
\begin{align*}
f(x)&= \frac{1}{x+1}& g(x)&= x^{3}+3 & h(x)&=x^{2}+2x+1
\end{align*}

Realicemos las siguientes composiciones de funciones para tener más claro cómo funciona lo antes explicado:

  • Ejemplo 1:
    \begin{align*}
    (g \circ f)(x)&= g(f(x))\\
    &= g\left(\frac{1}{x+1} \right)\\
    &= \left( \frac{1}{x+1} \right)^{3} +3\\
    &= \frac{1}{(x+1)^{3}}+3
    \end{align*}
    Así tenemos que la composición obtenida es:
    \begin{equation*}
    (g \circ f)(x)=\frac{1}{(x+1)^{3}}+3
    \end{equation*}
  • Ejemplo 2:
    \begin{align*}
    (f \circ h)(x)&= f(h(x))\\
    &= f((x^{2}+2x+1))\\
    &= \frac{1}{(x^{2}+2x+1)+1}\\
    &=\frac{1}{x^{2}+2x+2}
    \end{align*}
    Por lo que la composición quedaría como:
    \begin{equation*}
    (f \circ h)(x) = \frac{1}{x^{2}+2x+2}
    \end{equation*}

Más adelante

Ahora que ya hemos definido las operaciones entre funciones y la composición, en la siguiente entrada veremos qué características debe cumplir una función para poder determinar si es inyectiva, sobreyectiva o biyectiva. Del mismo modo, examinaremos el concepto de función inversa, donde haremos uso de la composición de funciones y algunas condiciones.

Tarea moral

  • Si tenemos a las funciones $f : \r \rightarrow \r$ y $g : \r \rightarrow \r^{+}$ definidas como siguen:
    $$ f(x) = x-8$$
    $$g(x)= x^{4}$$
    Realiza las siguientes operaciones:
    • $f + g$
    • $f – g$
    • $fg$
    • $\frac{g}{f}$
    • $g \circ f$
  • Da una función $f$ y una función $g$ que ejemplifiquen que la composición no es conmutativa:
    $$f \circ g \neq g \circ f\quad \text{.}$$
  • Demuestra que la composición es asociativa, es decir,
    $$f\circ (g \circ h)= (f\circ g) \circ h\quad \text{.}$$

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Geometría Moderna I: Teorema de Casey

Por Rubén Alexander Ocampo Arellano

Introducción

En esta ocasión demostraremos el teorema generalizado de Ptolomeo conocido como teorema de Casey, el cual nos dice que los vértices del cuadrilátero cíclico, al que hace mención el teorema de Ptolomeo, pueden ser considerados como circunferencias de radio distinto de cero, y los lados o diagonales del cuadrilátero cíclico se pueden pensar como segmentos tangentes entre dos circunferencias.

Tangente común a dos circunferencias

Proposición 1. Sean $(O_{1}, R_{1})$, $(O_{2}, R_{2})$, dos circunferencias tal que ninguna contiene a la otra y $P_{1}$, $P_{2}$ los puntos en que una recta es tangente a ambas circunferencias, entonces:

$i)$ Si $P_{1}P_{2}$ es exterior, es decir, no cruza el segmento $O_{1}O_{2}$ (figura 1),
$P_{1}P_{2}^2 = O_{1}O_{2}^2 – (R_{1} – R_{2})^2$,
$ii)$ Si $P_{1}P_{2}$ es interior, es decir, interseca al segmento $O_{1}O_{2}$ (figura 2),
$P_{1}P_{2}^2 = O_{1}O_{2}^2 – (R_{1} + R_{2})^2$.

Demostración. Sin pérdida de generalidad supongamos $R_{1} \geq R_{2}$.

$i)$ Sean $A$ la intersección de $O_{1}P_{1}$ con la paralela a $O_{1}O_{2}$ desde $P_{2}$, $B$ la intersección de $O_{2}P_{2}$ con la paralela a $O_{1}O_{2}$ desde $P_{1}$.

Figura 1

Como $O_{1}P_{1} \perp P_{1}P_{2}$ y $O_{2}P_{2} \perp P_{1}P_{2}$ entonces $O_{1}P_{1} \parallel O_{2}P_{2}$.

Por lo tanto, $\square P_{1}O_{1}O_{2}B$, $\square P_{1}AP_{2}B$ y $\square AO_{1}O_{2}P_{2}$ son paralelogramos.

En consecuencia,
$P_{1}B = O_{1}O_{2}$ y $P_{2}B = AP_{1} = R_{1} -AO_{1} = R_{1} – R_{2}$.

Como $\angle BP_{2}P_{1} = \dfrac{\pi}{2}$ podemos aplicar el teorema de Pitágoras a $\triangle BP_{2}P_{1}$.

$P_{1}P_{2}^2 = P_{1}B^2 – P_{2}B^2 = O_{1}O_{2}^2 – (R_{1} – R_{2})^2$.

$\blacksquare$

$ii)$ Sea $C$ la intersección de $O_{2}P_{2}$ con la paralela a $P_{1}P_{2}$ desde $O_{1}$.

Como $O_{1}C \parallel P_{1}P_{2}$ y $P_{1}P_{2} \perp O_{2}P_{2}$ entonces $\angle O_{1}CO_{2} = \dfrac{\pi}{2}$, además $\square CO_{1}P_{1}P_{2}$ es un rectángulo.

Por lo tanto,
$CO_{1} = P_{1}P_{2}$ y $CP_{2} = O_{1}P_{1} = R_{1}$.

Figura 2

Como resultado de aplicar el teorema de Pitágoras a $\triangle O_{1}CO_{2}$ obtenemos,

$P_{1}P_{2}^2 = CO_{1}^2 = O_{1}O_{2}^2 – CO_{2}^2$
$= O_{1}O_{2}^2 – (CP_{2} + P_{2}O_{2})^2 = O_{1}O_{2}^2 – (R_{1} + R_{2})^2$.

$\blacksquare$

Teorema de Casey

Proposición 2. Sean $(O_{1}, R_{1})$, $(O_{2}, R_{2})$, dos circunferencias tangentes a una tercera circunferencia $(O, R)$, en dos puntos distintos $A$ y $B$ respectivamente, considera $P_{1}$, $P_{2}$ los puntos en que una recta es tangente a $(O_{1}, R_{1})$ y a $(O_{2}, R_{2})$, entonces:

$i)$ Si $(O_{1}, R_{1})$, $(O_{2}, R_{2})$, son interiores a $(O, R)$ y $P_{1}P_{2}$ es exterior (figura 3),
$P_{1}P_{2} = \dfrac{AB}{R} \sqrt{(R – R_{1})(R – R_{2})}$,
$ii)$ Si $(O_{1}, R_{1})$, $(O_{2}, R_{2})$, son exteriores a $(O, R)$ y $P_{1}P_{2}$ es exterior (figura 4),
$P_{1}P_{2} = \dfrac{AB}{R} \sqrt{(R + R_{1})(R + R_{2})}$,
$iii)$ Si $(O_{1}, R_{1})$ es exterior, $(O_{2}, R_{2})$ es interior a $(O, R)$ y $P_{1}P_{2}$ es interior (figura 5),
$P_{1}P_{2} = \dfrac{AB}{R} \sqrt{(R + R_{1})(R –  R_{2})}$.

Figura 3

Demostración. Sea $\phi = \angle AOB$.
$i)$ Aplicamos la ley de cosenos a $\triangle O_{1}OO_{2}$ y a $\triangle AOB$,

$O_{1}O_{2}^2 = O_{1}O^2 + O_{2}O^2 – 2O_{1}O \times O_{2}O \cos \phi$
$\begin{equation} = (R – R_{1})^2 + (R – R_{2})^2 – 2(R – R_{1})(R – R_{2})\cos \phi. \end{equation}$

$AB^2 = AO^2 + BO^2 – 2AO \times BO \cos \phi = 2R^2 – 2R^2\cos \phi$
$\Leftrightarrow$
$\begin{equation} \cos \phi = 1 – \dfrac{AB^2}{2R^2}. \end{equation}$

Por la proposición anterior parte $i)$ y de las ecuaciones $(1)$ y $(2)$ tenemos

$P_{1}P_{2}^2 = O_{1}O_{2}^2 – (R_{1} – R_{2})^2$
$= (R – R_{1})^2 + (R – R_{2})^2 – 2(R – R_{1})(R – R_{2})(1 – \dfrac{AB^2}{2R^2}) – (R_{1} – R_{2})^2$
$= R^2 – 2RR_{1} + R_{1}^2 + R^2 – 2RR_{2} + R_{2}^2 – 2(R^2 – RR_{2} – RR_{1} + R_{1}R_{2})$
$+ 2(R – R_{1})(R – R_{2})\dfrac{AB^2}{2R^2} – (R_{1} – R_{2})^2$
$= (R – R_{1})(R – R_{2})(\dfrac{AB^2}{R^2})$.

Por lo tanto,
$P_{1}P_{2} = \dfrac{AB}{R} \sqrt{(R – R_{1})(R – R_{2})}$.

$ii)$ y $iii)$ se muestran con un razonamiento similar.

$\blacksquare$

Figura 4
Figura 5

Teorema de Casey. Sean $(O_{i}, R_{i})$, $i = 1, 2, 3, 4$ circunferencias tangentes a una quinta circunferencia $(O, R)$, respectivamente en los puntos $A$, $B$, $C$ y $D$, en ese orden (figura 6), y denotemos como $\delta_{ij}$ a la medida de la tangente común a $(O_{i}, R_{i})$ y $(O_{j}, R_{j})$ la cual tomaremos como exterior si ambas circunferencias son interiores a $(O, R)$ o si ambas son exteriores a $(O, R)$, pero si una es interior y la otra es exterior a $(O, R)$ entonces tomaremos el segmento de la tangente interior a ambas circunferencias.

Bajo estas condiciones se verifica la siguiente igualdad
$\delta_{12} \delta_{34}  + \delta_{14}\delta_{23}  = \delta_{13}\delta_{24}$.

Demostración. Mostraremos el caso en que dos circunferencias son interiores y dos son exteriores a $(O, R)$, todos los demás casos son análogos.

Figura 6

Tenemos que sustituir el valor de cada segmento de tangente de acuerdo a la proposición 2 y recordar que por el teorema de Ptolomeo, $AB \times CD + AD \times BC = AC \times BD$.

$\delta_{12} \delta_{34}  + \delta_{14}\delta_{23}$ 
$= \dfrac{AB}{R} \sqrt{(R + R_{1})(R –  R_{2})} \dfrac{CD}{R} \sqrt{(R + R_{4})(R –  R_{3})}$
$+ \dfrac{BC}{R} \sqrt{(R – R_{2})(R – R_{3})} \dfrac{AD}{R} \sqrt{(R + R_{1})(R + R_{4})}$
$= \dfrac{ AB \times CD + AD \times BC }{R} \sqrt{(R + R_{1})(R –  R_{2})(R + R_{4})(R –  R_{3})}$
$=\dfrac{ AC \times BD }{R} \sqrt{(R + R_{1})(R –  R_{2})(R + R_{4})(R –  R_{3})}$
$= \dfrac{AC}{R} \sqrt{(R + R_{1})(R –  R_{3})} \dfrac{BD}{R} \sqrt{(R + R_{4})(R –  R_{2})}$
$= \delta_{13}\delta_{24}$.

$\blacksquare$

Notemos que cuando las 4 circunferencias tangentes a $(O, R)$ tienen radio igual a $0$, el resultado es el teorema de Ptolomeo.

En la siguiente figura se ilustran todos los posibles casos del teorema de Casey.

Figura 7

Problemas

Problema 1. Sean $\Gamma_{1}$, $\Gamma_{2}$, dos circunferencias tangentes entre si (exteriormente) en $I$ y al mismo tiempo son tangentes a una tercera circunferencia $\Gamma$ (interiormente), consideremos la recta tangente a $\Gamma_{1}$, $\Gamma_{2}$ por $I$ y su intersección, $A$, con $\Gamma$ y otra tangente exterior común a $\Gamma _{1}$, $\Gamma _{2}$, en $X$, $Y$ respectivamente la cual interseca a $\Gamma$ en $B$ y $C$ (figura 8). Entonces $I$ es el incentro de $\triangle ABC$.

Figura 8

Demostración. Sea $D = BC \cap AI$, entonces $DX = DI = DY$.

Consideremos los puntos $A$, $B$  y $C$ como circunferencias de radio $0$.

Como resultado de aplicar el teorema de Casey a $(A, 0)$, $\Gamma_{1}$, $(B, 0)$, y $(C, 0)$ tangentes a $\Gamma$, obtenemos,

$\begin{equation} AI \times BC + BX \times AC = AB \times XC = AB \times (2DI + CY). \end{equation}$

Hacemos lo mismo con los círculos $(A, 0)$, $(B, 0)$, $(C, 0)$ y $\Gamma_{2}$ tangentes a $\Gamma$.

$\begin{equation} AB \times CY + AI \times BC = AC \times BY = AC \times (BX + 2DI). \end{equation}$

Restamos $(4)$ a $(3)$
$BX \times AC – AB \times CY = 2 AB \times DI + AB \times CY – 2 AC \times DI – AC \times BX$
$\Leftrightarrow AC \times DI + AC \times BX = AB \times DI + AB \times CY$
$\Leftrightarrow AC \times BD = AC(DI + BX) = AB(DI + CY) = AB \times CD$.

En consecuencia,
$\begin{equation} \dfrac{BD}{CD} = \dfrac{AB}{AC}. \end{equation}$

Por el reciproco del teorema de la bisectriz, la última igualdad nos dice que $AD$ es bisectriz de $\angle A$.

Ahora sumamos $(4)$ y $(3)$
$2AI \times BC + BX \times AC + AB \times CY$
$= 2AB \times DI + AB \times CY + 2AC \times DI + AC \times BX$
$\Leftrightarrow AI \times BC = AB \times DI + AC \times DI$.

En consecuencia,
$\dfrac{AI}{DI} = \dfrac{AB + AC}{BC}$.

Por otra parte, de $(5)$ tenemos
$\dfrac{BD}{CD} = \dfrac{AB}{AC}$
$\Leftrightarrow \dfrac{BC}{CD}  = \dfrac{BD + CD}{CD} = \dfrac{AB + AC}{AC}$
$\Leftrightarrow \dfrac{AC}{CD} = \dfrac{AB + AC}{BC}$.

Por lo tanto, $\dfrac{AI}{DI} = \dfrac{AC}{CD}$, se sigue que $CI$ es bisectriz de $\angle C$.

Como resultado, $I$ es el incentro de $\triangle ABC$.

$\blacksquare$

Problema 2. Sea $\square ABCD$ un cuadrado y $(O, R)$ un círculo en el interior de $\square ABCD$, y consideremos $(O_{i}, R_{i})$, $i = 1,2,3,4$ cuatro circunferencias cada una tangente a dos lados del cuadrado y a $(O, R)$ al mismo tiempo, encuentra una representación del lado del cuadrado en términos de los $R_{i}$, con $i = 1,2,3,4$.

Figura 9

Solución. Por construcción, cada lado del cuadrado es tangente a dos circunferencias así que si $\delta_{ij}$ denota la longitud del segmento tangente común a dos circunferencias entonces,

$\delta_{12} = AB – R_{1} – R_{2}$,
$\delta_{23} = AB – R_{2} – R_{3}$,
$\delta_{34} = AB – R_{3} – R_{4}$,
$\delta_{14} = AB – R_{1} – R_{4}$.

Para calcular $\delta_{13}$ consideremos $P$ la intersección de la perpendicular a $BC$ por $O_{1}$, con la perpendicular a $AB$ por $O_{3}$ entonces $\triangle O_{1}PO_{3}$ es rectángulo y por el teorema de Pitágoras

$O_{1}O_{3}^2 = 2(AB – R_{1} – R_{3})^2$.

Por la proposición 1 parte $i)$ tenemos que
$\delta_{13}^2 = O_{1}O_{3}^2 – (R_{1} – R_{3})^2 = 2(AB – R_{1} – R_{3})^2 – (R_{1} – R_{3})^2$.

Por lo tanto,
$\delta_{13} = \sqrt{2(AB – R_{1} – R_{3})^2– (R_{1} – R_{3})^2}$.

Igualmente vemos que $\delta_{24} = \sqrt{2(AB – R_{2} – R_{4})^2 – (R_{2} – R_{4})^2}$.

Aplicamos el teorema de Casey a $(O_{i}, R_{i})$ $i = 1, 2, 3, 4$ tangentes a $(O, R)$
$\delta_{12}\delta_{34} + \delta_{14}\delta_{32} = \delta_{13}\delta_{24}$
$= (AB – R_{1} – R_{2})( AB – R_{3} – R_{4}) + (AB – R_{2} – R_{3})( AB – R_{1} – R_{4})$
$= \sqrt{2(AB – R_{1} – R_{3})^2 – (R_{1} – R_{3})^2}\sqrt{2(AB – R_{2} – R_{4})^2 – (R_{2} – R_{4})^2}$.

Despejando $AB$ se puede llegar a la expresión
$AB = \dfrac{2(R_{1}R_{3} – R_{2}R_{4}) + \sqrt{2(R_{1} – R_{2}) (R_{1} – R_{4}) (R_{3} – R_{2}) (R_{3} – R_{4}) }}{R_{1} – R_{2} + R_{3} – R_{4}}$.

No se desarrollará este último procedimiento por ser largo, para llegar al resultado solo hay que desarrollar los productos y después reagrupar para despejar $AB$.

$\blacksquare$

Problema 3. Sean $\triangle ABC$ un triángulo rectángulo con $\angle BAC =\dfrac{\pi}{2}$, $(O, R)$ su circuncírculo, considera dos circunferencias $\Gamma_{1}$ tangente a $OA$ en $P$, a $OB$ y a $(O, R)$ (internamente) y $\Gamma_{2}$ tangente a $OA$ en $Q$, a $OC$ y a $(O, R)$ (internamente). Muestra que $\dfrac{AB}{AC} = \dfrac{AP}{AQ}$.

Figura 10

Demostración. Sean $P’$ y $Q’$ los puntos de tangencia de $\Gamma_{1}$ y $\Gamma_{2}$ con $OB$ y $OC$ respectivamente, entonces $OP = OP’$ por ser segmentos tangentes a $\Gamma_{1}$ trazados desde $O$.

Igualmente vemos que $OQ = OQ’$.

Como $\triangle ABC$ es rectángulo y $BC$ es la hipotenusa, entonces $O$ es el punto medio de $BC$.

Por lo tanto, $R = OB = OA = OC$.

Como resultado obtenemos, $AP = BP’$ y $AQ = CQ’$.

Ahora aplicamos el teorema de Casey a los círculos $(A, 0)$, $\Gamma_{1}$, $(B, 0)$ y $\Gamma_{2}$ tangentes a $(O, R)$.

$AP \times BQ’ + AQ \times BP’ = AB \times P’Q’$
$\Leftrightarrow AP(BQ’ + AQ) = AB \times P’Q’$

Por lo tanto,
$\begin{equation} AP \times BC = AB \times P’Q’. \end{equation}$

Hacemos lo mismo para $A$, $\Gamma_{1}$, $C$ y $\Gamma_{2}$ tangentes a $(O, R)$.

$AP \times CQ’ + AQ \times CP’ = AC \times P’Q’$
$\Leftrightarrow AQ(AP + CP’) = AC \times P’Q’$.

Por lo tanto,
$\begin{equation} AQ \times BC = AC \times P’Q’. \end{equation}$

Haciendo el cociente de $(6)$ sobre $(7)$ obtenemos el resultado buscado, $\dfrac{AP}{AQ} = \dfrac{AB}{AC}$.

$\blacksquare$

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Completa la prueba de la proposición 2 parte $ii)$ y $iii)$.
  2. Sean $l_{1}$ y $l_{2}$ dos rectas paralelas y tangentes a una circunferencia $(O, R)$, considera otras dos circunferencias, $(O_{1}, R_{1})$ tangente a $l_{1}$ y a $(O, R)$, y $(O_{2}, R_{2})$ tangente a $l_{2}$, y a las primeras dos circunferencias $(O, R)$, $(O_{1}, R_{1})$. Muestra que $R = 2 \sqrt{R_{1}R_{2}}$.
  3. Sean $AB$ el diámetro de una circunferencia $\Gamma$, $P$, $Q \in \Gamma$ en arcos distintos respecto de $AB$, trazamos $C$ el pie de la perpendicular a $AB$ trazada desde $Q$ y considera $\Gamma_{1}$, $\Gamma_{2}$ dos circunferencias de diámetro $AC$ y $CB$ respectivamente. Sean $PE$ y $PF$ segmentos tangentes a $\Gamma_{1}$ y $\Gamma_{2}$ respectivamente. Prueba que $PE + PF = PQ$.
Figura 11
  1. Sean $\triangle ABC$ y $\Gamma$ su circuncírculo con $AB = c$, $BC = a$ y $AC = b$, considera $\Gamma_{1}$, $\Gamma_{2}$ y $\Gamma_{3}$ círculos tangentes a $AB$, $BC$ y $AC$ respectivamente en sus puntos medios y al mismo tiempo tangentes al arco $\overset{\LARGE{\frown}}{AB}$, $\overset{\LARGE{\frown}}{BC}$ y $\overset{\LARGE{\frown}}{CA}$ respectivamente, denota $\delta_{ij}$ al segmento de tangente exterior y común a $\Gamma_{i}$, $\Gamma_{j}$. Muestra que $\delta_{ij} = \dfrac{a + b + c}{4}$, $i, j = 1, 2, 3$, $i \neq j$.
Figura 12
  1. Considera $\triangle ABC$ y su circuncírculo $\Gamma$, sea $\Gamma_{1}$ una circunferencia tangente a $AB$ en $P$, a $AC$ en $Q$ y a $\Gamma$ internamente, muestra que el punto medio de $PQ$ es el incentro de $\triangle ABC$.
  2. Sean $\triangle ABC$ y $\Gamma$ su circuncírculo con $AC > AB$. Una circunferencia $\Gamma_{1}$ es tangente a $AB$, $AC$ y al circuncírculo internamente, $P$ es el punto medio del arco $\overset{\LARGE{\frown}}{BC}$ y $\overline{PQ}$ es un segmento tangente a $\Gamma_{1}$. Muestra que $\dfrac{PQ}{PA} = \dfrac{AC – AB}{AC + AB}$.
Figura 13

Entradas relacionadas

Fuentes

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Ecuaciones Diferenciales I – Videos: Método de la transformada de Laplace

Por Eduardo Vera Rosales

Introducción

Bienvenidos a la última entrada de la segunda unidad del curso, donde revisaremos el método de la transformada de Laplace para resolver problemas de condición inicial de la forma $$ay^{\prime \prime}+by’+cy=f(t); \,\,\, y(0)=y_{0}, \,\,\, y'(0)=y_{1}$$ con $a$, $b$ y $c$ constantes.

Este método nos permite transformar el problema de resolver la ecuación diferencial por los métodos estudiados en esta misma unidad, por un problema algebraico donde encontraremos la expresión de la transformada de Laplace $\mathscr{L} \{y(t)\}$ de la función solución, y debemos hallar quién es la función $y(t)$ cuya transformada de Laplace es $\mathscr{L} \{y(t)\}$.

Comenzaremos definiendo la transformada de Laplace de una función cuyo dominio es el intervalo $[0, \infty)$, y demostraremos algunas de las propiedades más importantes que cumple esta transformada y que utilizaremos para nuestros propósitos.

Posteriormente resolveremos el problema de condición inicial de manera general, mencionaremos el problema de hallar la transformada inversa de Laplace de una función con ayuda de una tabla de transformadas y transformadas inversas, y revisaremos dos ejemplos particulares donde mostraremos cómo se utiliza el método en la práctica.

Para finalizar consideraremos nuevamente el problema de condición inicial $$ay^{\prime \prime}+by’+cy=f(t); \,\,\, y(0)=y_{0}, \,\,\, y'(0)=y_{1}$$ donde ahora la función $f(t)$ es una función continua por pedazos. Este tipo de problemas suele aparecer con frecuencia en la física, y con la ayuda de la transformada de Laplace vamos a resolver un ejemplo particular, con ayuda de una función auxiliar y un teorema que enunciaremos y probaremos previamente.

Como te podrás dar cuenta, hicimos un cambio en la notación de la derivada de una función. Durante el curso hemos utilizado la notación de Leibniz $\frac{dy}{dt}$, $\frac{d^{2}y}{dt^{2}}$,…, para denotar a las derivadas de la función $y(t)$. Sin embargo, en esta entrada utilizaremos la notación $y'(t)$, $y^{\prime \prime}(t)$,…, para simplificar la escritura.

Transformada de Laplace y sus propiedades

En el primer video de esta entrada definimos la transformada de Laplace $\mathscr{L} \{y(t)\}$ de una función cuyo dominio es el intervalo $[0, \infty)$, y probamos algunas propiedades que cumple esta transformada y que nos servirán para resolver problemas de condición inicial.

Solución a problemas de condición inicial por método de la transformada de Laplace

En el primer video de esta sección resolvemos el problema de condición inicial $$ay^{\prime \prime}+by’+cy=f(t); \,\,\, y(0)=y_{0}, \,\,\, y'(0)=y_{1}$$ por el método de la transformada de Laplace.

En el segundo video resolvemos un par de problemas de condición inicial particulares.

Te presentamos una tabla de transformadas y transformadas inversas de Laplace, que aparece en el libro Elementary Differential Equations and Boundary Value Problems, William E. Boyce y Richard C. DiPrima, para que puedas realizar los cálculos presentados en los videos. Esta tabla no es única, por lo que puedes buscar en textos o en internet tablas diferentes según lo requieras.

Tabla de transformadas de Laplace y transformadas inversas
Tabla de transformadas y transformadas inversas de Laplace. Boyce y DiPrima (2012).

Solución a problemas de condición inicial con funciones discontinuas por método de transformada de Laplace

En el último video de esta entrada resolvemos un problema de condición inicial de la forma $$ay^{\prime \prime}+by’+cy=f(t); \,\,\, y(0)=y_{0}, \,\,\, y'(0)=y_{1}$$ donde $f(t)$ es una función continua por pedazos. Previamente definimos la función auxiliar $$H_{c}(t)= \begin{cases} 1 & 0 \leq t < c \\ 1 & t \geq c \ \end{cases} $$ y probamos un teorema que nos ayudan a resolver el problema de condición inicial.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero te servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

  • Encuentra la transformada de Laplace de la función $f(t)=t$.
  • Encuentra la transformada de Laplace de la función $f(t)=\cos{\beta t}$, $\beta$ constante.
  • Prueba que $$\mathscr{L} \{f ^{\prime \prime} (t)\}=s^{2}\mathscr{L}\{f(t)\}-sf(0)-f^{\prime}(0)$$ bajo las hipótesis del último teorema del primer video.
  • Resuelve el problema de condición inicial $$y^{\prime \prime}-2y’+2y=\cos{t}; \,\,\,\,\, y(0)=1, \,\,\,\,\, y'(0)=0$$ por el método de la transformada de Laplace.
  • Prueba que bajo las condiciones del primer teorema enunciado en el primer video, se cumplen las siguiente propiedad: $$F^{(n)}(s)=\mathscr{L}\{(-t)^{n}f(t)\}$$ donde $F^{(n)}$ denota a la $n$-ésima derivada de $F$.
  • Resuelve el problema de condiciones iniciales $$y^{\prime \prime}+2y’+2y=f(t); \,\,\,\,\, y(0)=0, \,\,\,\,\, y'(0)=1$$ donde $$f(t)= \begin{cases} 1 & \pi \leq t < 2\pi \\ 0 & 0 \leq t < \pi \ , t \geq 2\pi. \end{cases} $$

Más adelante

Con esta entrada concluimos el estudio a las ecuaciones diferenciales de segundo orden. Como mencionamos en esta entrada, toda la teoría desarrollada en la segunda unidad se puede extender a ecuaciones de orden $n>2$. Sin embargo, a partir de la tercera unidad utilizaremos un método distinto para resolver ecuaciones de orden $n\geq2$.

Lo primero que haremos en la siguiente entrada será transformar una ecuación diferencial que orden $n\geq2$ en un sistema de $n$ ecuaciones diferenciales de primer orden, hablaremos de las ventajas de hacer esta transformación y daremos una introducción a los sistemas de ecuaciones diferenciales de primer orden, que será el objeto de estudio de la tercera unidad del curso.

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»