9.3: Casos especiales

Para los dos casos especiales sólo voy a dar la solución. Se requiere una cantidad sustancial de álgebra para estudiar estos dos casos.

Caso I: Dos raíces iguales

Si la ecuación indicial tiene dos raíces iguales,\(\gamma_1=\gamma_2\), tenemos una solución de la forma\[y_1(t) = t^{\gamma_1} \sum_{n=0}^\infty c_n t^n. \nonumber \] La otra solución toma la forma\[y_2(t) = y_1(t)\ln t +t^{\gamma_1+1} \sum_{n=0}^\infty d_n t^n. \nonumber \] Observe que esta última solución siempre es singular en\(t=0\), sea cual sea el valor de\(\gamma_1\)!

Caso II: Dos raíces que difieren en un entero

Si la ecuación indicial que se diferencian por un entero\(\gamma_1-\gamma_2=n>0\),, tenemos una solución de la forma\[y_1(t) = t^{\gamma_1} \sum_{n=0}^\infty c_n t^n. \nonumber \] La otra solución toma la forma\[y_2(t) = ay_1(t)\ln t +t^{\gamma_2} \sum_{n=0}^\infty d_n t^n. \nonumber \] La constante\(a\) se determina por sustitución, y en algunos casos relevantes es par\(0\), para que las soluciones puedan ser de la forma de serie generalizada.

Ejemplo\(\PageIndex{1}\):

Encuentra dos soluciones independientes de\[t^2y''+ty'+ty=0 \nonumber \] near\(t=0\).

Solución

La ecuación indicial es\(\gamma^2=0\), así obtenemos una solución de la forma de serie

\[y_1(t) = \sum_n c_n t^n. \nonumber \]

Encontramos

\[\begin{align*} t^2y''_1 &= \sum_n n(n-1) c_n t^n \nonumber\\ ty'_1 &= \sum_n n c_n t^n \nonumber\\ ty_1 &= \sum_nc_n t^{n+1} =\sum_{n'}c_{n'-1} t^{n'}\end{align*} \nonumber \]

Agregamos términos de igual poder en\(x\),

\[\begin{array}{rclclclclcl} t^2y''_1 &= 0&+& 0 t&+&2c_2t^2&+&6c_3t^3&+&\ldots\\ ty'_1 &= 0&+& c_1t&+&2c_2t^2&+&3c_3t^3&+&\ldots\\ ty_1 &= 0&+& c_0t&+&c_1t^2&+&c_2t^3&+&\ldots\\ \hline t^2y''+ty'+ty&= 0&+&(c_1+c_0)t&+&(4c_2+c_1)t^2&+&(9c_3+c_2)t^2&+&\ldots \end{array} \nonumber \]

Ambas formas dan\[t^2y''+ty'+ty=\sum_{n=1}^\infty (c_n n^2+c_{n-1})t^n, \nonumber \]

y llevar a la relación de recurrencia

\[c_n = -\frac{1}{n^2} c_{n-1} \nonumber \]que tiene la solución\[c_n = (-1)^n \frac{1}{n!^2} \nonumber \] y así\[y_1(t) = \sum_{n=0}^\infty (-1)^n \frac{1}{n!^2} x^n \nonumber \] veamos la segunda solución

\[y_2(t) =\ln(t) y_1(t)+\underbrace{t\sum_{n=0}^\infty d_n t^n}_{y_3(t)} \nonumber \]

Aquí sustituyo la serie power por un símbolo,\(y_3\) por conveniencia. Encontramos

\[\begin{align*} y_2' &= \ln(t) y_1' + \frac{y_1(t)}{t}+y_3'\nonumber\\ y_2'' &= \ln(t) y_1'' + \frac{2y'_1(t)}{t}-\frac{y_1(t)}{t^2}+ +y_3''\end{align*} \nonumber \]

Tomando todo esto en conjunto, tenemos,

\[\begin{align*} t^2y_2''+ty_2'+ty_2 &= \ln(t)\left(t^2 {y_1}''+t {y_1}'+t{y_1}\right) -y_1+2ty'_1+y_1 + t^2 {y_3}''+t {y_3}'+y_3 \nonumber\\ &= 2t{y_1}'+t^2{y_3}''+t{y_3}'+ty_3=0.\end{align*} \nonumber \]

Si ahora sustituimos las expansiones de la serie por\(y_1\) y\(y_3\) obtenemos\[2c_n+d_n(n+1)^2+d_{n-1}=0, \nonumber \] cuál se puede manipular a la forma

Aquí falta algún material

Ejemplo\(\PageIndex{2}\):

Encuentra dos soluciones independientes de\[t^2{y'}'+t^2{y}'-ty=0 \nonumber \] near\(t=0\).

Solución

La ecuación indicial es\(\alpha(\alpha-1)=0\), de manera que tenemos dos raíces que difieren por un entero. La solución para\(\alpha=1\) es\(y_1=t\), como se puede verificar por sustitución. La otra solución se debe encontrar en el formulario

\[y_2(t) = at\ln t + \sum_{k=0}d_k t^k \nonumber \]

Encontramos

\[\begin{align*} y_2' & = & a+a\ln t + \sum_{k=0}kd_k t^{k-1} \nonumber \\ y_2'' & = & a/t + \sum_{k=0}k(k-1)d_k t^{k-2} \nonumber \\\end{align*} \nonumber \]

Así encontramos\[\begin{align*} t^2y''_2+t^2y'_2-ty_2= a(t+t^2)+ \sum_{k=q}^\infty \left[d_k k(k-1)+d_{k-1}(k-2)\right] t^k\end{align*} \nonumber \]

Encontramos

\[d_0 = a,\;\;\;2 d_2+a=0,\;\;\;d_k = (k-2)/(k(k-1))d_{k-1}\;\;(k>2) \nonumber \]

En la fijación\(d_0=1\) encontramos\[y_2(t) = 1 + t \ln t + \sum_{k=2}^\infty \frac{1}{(k-1)!k!}(-1)^{k+1} t^k \nonumber \]