Articulo de referencia

Método aniquilador

En matemáticas , el método del aniquilador es un procedimiento utilizado para hallar una solución particular a ciertos tipos de ecuaciones diferenciales ordinarias (EDO) no homo...

En matemáticas , el método del aniquilador es un procedimiento utilizado para hallar una solución particular a ciertos tipos de ecuaciones diferenciales ordinarias (EDO) no homogéneas . [ 1 ] Es similar al método de coeficientes indeterminados , pero en lugar de adivinar la solución particular, en este método la solución particular se determina sistemáticamente. La expresión « coeficientes indeterminados» también puede referirse al paso del método del aniquilador en el que se calculan los coeficientes.

El método del aniquilador se utiliza de la siguiente manera. Dada la ecuación diferencial ordinariaPAG(D)y=F(incógnita){\displaystyle P(D)y=f(x)}, encontrar otro operador diferencialA(D){\displaystyle A(D)}de tal manera queA(D)F(incógnita)=0{\displaystyle A(D)f(x)=0}Este operador se llama aniquilador , de ahí el nombre del método. AplicandoA(D){\displaystyle A(D)}Al aplicar esta fórmula a ambos lados de la EDO se obtiene una EDO homogénea.(A(D)PAG(D))y=0{\displaystyle {\big (}A(D)P(D){\big )}y=0}para lo cual encontramos una base de solución{y1,,ynorte}{\displaystyle \{y_{1},\ldots ,y_{n}\}}como antes. Luego, la EDO no homogénea original se utiliza para construir un sistema de ecuaciones que restringe los coeficientes de la combinación lineal para satisfacer la EDO.

Este método no es tan general como la variación de parámetros, en el sentido de que no siempre existe un aniquilador.

Mesa Aniquilador

Dóndek{\displaystyle k}está en los números naturales , yk,b,a,do1,,dok{\displaystyle k,b,a,c_{1},\cdots ,c_{k}}están en las cifras reales .

SiF(incógnita){\displaystyle f(x)}consiste en la suma de las expresiones dadas en la tabla, el anulador es el producto de los anuladores correspondientes.

Ejemplo

Dadoy4y+5y=pecado(kincógnita){\displaystyle y''-4y'+5y=\sin(kx)},PAG(D)=D24D+5{\displaystyle P(D)=D^{2}-4D+5}. El aniquilador más simple depecado(kincógnita){\displaystyle \sin(kx)}esA(D)=D2+k2{\displaystyle A(D)=D^{2}+k^{2}}. Los ceros deA(z)PAG(z){\displaystyle A(z)P(z)}son{2+i,2i,ik,ik}{\displaystyle \{2+i,2-i,ik,-ik\}}, por lo tanto, la base de la solución deA(D)PAG(D){\displaystyle A(D)P(D)}es{y1,y2,y3,y4}={mi(2+i)incógnita,mi(2i)incógnita,miikincógnita,miikincógnita}.{\displaystyle \{y_{1},y_{2},y_{3},y_{4}\}=\{e^{(2+i)x},e^{(2-i)x},e^{ikx},e^{-ikx}\}.}

Configuracióny=do1y1+do2y2+do3y3+do4y4{\displaystyle y=c_{1}y_{1}+c_{2}y_{2}+c_{3}y_{3}+c_{4}y_{4}}encontramos

pecado(kincógnita)=PAG(D)y=PAG(D)(do1y1+do2y2+do3y3+do4y4)=do1PAG(D)y1+do2PAG(D)y2+do3PAG(D)y3+do4PAG(D)y4=0+0+do3(k24ik+5)y3+do4(k2+4ik+5)y4=do3(k24ik+5)(porque(kincógnita)+ipecado(kincógnita))+do4(k2+4ik+5)(porque(kincógnita)ipecado(kincógnita)){\displaystyle {\begin{aligned}\sin(kx)&=P(D)y\\[8pt]&=P(D)(c_{1}y_{1}+c_{2}y_{2}+c_{3}y_{3}+c_{4}y_{4})\\[8pt]&=c_{1}P(D)y_{1}+c_{2}P(D)y_{2}+c_{3}P(D)y_{3}+c_{4}P(D)y_{4}\\[8pt]&=0+0+c_{3}(-k^{2}-4ik+5)y_{3}+c_{4}(-k^{2}+4ik+5)y_{4}\\[8pt]&=c_{3}(-k^{2}-4ik+5)(\cos(kx)+i\sin(kx))+c_{4}(-k^{2}+4ik+5)(\cos(kx)-i\sin(kx))\end{aligned}}}

dando el sistema

i=(k2+4ik5)do3+(k2+4ik+5)do4{\displaystyle i=(k^{2}+4ik-5)c_{3}+(-k^{2}+4ik+5)c_{4}}
0=(k2+4ik5)do3+(k24ik5)do4{\displaystyle 0=(k^{2}+4ik-5)c_{3}+(k^{2}-4ik-5)c_{4}}

que tiene soluciones

do3=i2(k2+4ik5){\displaystyle c_{3}={\frac {i}{2(k^{2}+4ik-5)}}},do4=i2(k2+4ik+5){\displaystyle c_{4}={\frac {i}{2(-k^{2}+4ik+5)}}}

proporcionando el conjunto de soluciones

y=do1y1+do2y2+i2(k2+4ik5)y3+i2(k2+4ik+5)y4=do1y1+do2y2+4kporque(kincógnita)(k25)pecado(kincógnita)(k2+4ik5)(k24ik5)=do1y1+do2y2+4kporque(kincógnita)+(5k2)pecado(kincógnita)k4+6k2+25.{\displaystyle {\begin{aligned}y&=c_{1}y_{1}+c_{2}y_{2}+{\frac {i}{2(k^{2}+4ik-5)}}y_{3}+{\frac {i}{2(-k^{2}+4ik+5)}}y_{4}\\[8pt]&=c_{1}y_{1}+c_{2}y_{2}+{\frac {4k\cos(kx)-(k^{2}-5)\sin(kx)}{(k^{2}+4ik-5)(k^{2}-4ik-5)}}\\[8pt]&=c_{1}y_{1}+c_{2}y_{2}+{\frac {4k\cos(kx)+(5-k^{2})\sin(kx)}{k^{4}+6k^{2}+25}}.\end{aligned}}}

Esta solución se puede dividir en partes homogéneas y no homogéneas. En particular,ypag=4kporque(kincógnita)+(5k2)pecado(kincógnita)k4+6k2+25{\displaystyle y_{p}={\frac {4k\cos(kx)+(5-k^{2})\sin(kx)}{k^{4}+6k^{2}+25}}}es una integral particular para la ecuación diferencial no homogénea, yydo=do1y1+do2y2{\displaystyle y_{c}=c_{1}y_{1}+c_{2}y_{2}}es una solución complementaria a la ecuación homogénea correspondiente. Los valores dedo1{\displaystyle c_{1}}ydo2{\displaystyle c_{2}}Se determinan generalmente mediante un conjunto de condiciones iniciales. Dado que se trata de una ecuación de segundo orden, se necesitan dos de dichas condiciones para determinar estos valores.

Las soluciones fundamentalesy1=mi(2+i)incógnita{\displaystyle y_{1}=e^{(2+i)x}}yy2=mi(2i)incógnita{\displaystyle y_{2}=e^{(2-i)x}}puede reescribirse aún más utilizando la fórmula de Euler :

mi(2+i)incógnita=mi2incógnitamiiincógnita=mi2incógnita(porqueincógnita+ipecadoincógnita){\displaystyle e^{(2+i)x}=e^{2x}e^{ix}=e^{2x}(\cos x+i\sin x)}
mi(2i)incógnita=mi2incógnitamiiincógnita=mi2incógnita(porqueincógnitaipecadoincógnita){\displaystyle e^{(2-i)x}=e^{2x}e^{-ix}=e^{2x}(\cos x-i\sin x)}

Entoncesdo1y1+do2y2=do1mi2incógnita(porqueincógnita+ipecadoincógnita)+do2mi2incógnita(porqueincógnitaipecadoincógnita)=(do1+do2)mi2incógnitaporqueincógnita+i(do1do2)mi2incógnitapecadoincógnita{\displaystyle c_{1}y_{1}+c_{2}y_{2}=c_{1}e^{2x}(\cos x+i\sin x)+c_{2}e^{2x}(\cos x-i\sin x)=(c_{1}+c_{2})e^{2x}\cos x+i(c_{1}-c_{2})e^{2x}\sin x}y una reasignación adecuada de las constantes da una forma más simple y comprensible de la solución complementaria,ydo=mi2incógnita(do1porqueincógnita+do2pecadoincógnita){\displaystyle y_{c}=e^{2x}(c_{1}\cos x+c_{2}\sin x)}.

Referencias

  1. Golberg, MA; Chen, CS; Rashed, YF (1 de marzo de 1999). "El método del aniquilador para calcular soluciones particulares de ecuaciones diferenciales parciales" . Engineering Analysis with Boundary Elements . 23 (3): 275–279 . doi : 10.1016/S0955-7997(98)00081-2 . ISSN 0955-7997 .