4 votos

Encontrar una solución particular para $\frac{\mathrm{d}^2R}{\mathrm{d}r^2}+\frac1r\frac{\mathrm{d}R}{\mathrm{d}r}+\alpha^2R=J_0(\alpha r)$

Motivación

Tengo la siguiente ecuación diferencial de Bessel no homogénea $$\frac{\mathrm{d}^2R}{\mathrm{d}r^2}+\frac1r\frac{\mathrm{d}R}{\mathrm{d}r}+\alpha^2R=J_0(\alpha r)$$

Quiero encontrar la solución general de esta EDO. Sé que la solución general se puede escribir como

$$R=R_h+R_p$$

donde $R_h$ es la base de la EDO homogénea y se sabe que es

$$R_h=C_1 \, J_0(\alpha r) + C_2 \, Y_0(\alpha r).$$

A continuación, para encontrar la solución particular $R_p$ se puede utilizar el método de variación de los parámetros para obtener una solución particular utilizando las homogéneas. Sin embargo, esto conducirá a alguna solución desordenada con integrales duras ¡! Como el ARCE o WOLFRAM ambos utilizan esta técnica su resultado no es valioso para mí. Sé que

$$R_p=\frac1{2 \alpha^2}\left[\alpha rJ_1(\alpha r)\right] \tag{*}$$

y se puede verificar poniéndolo en la EDO. De hecho, he visto esto en algún artículo publicado.


Pregunta

¿Existe una elegante método para obtener dicha solución particular mencionada en $(*)$ ?

1 votos

La forma de la solución está de alguna manera sugerida por las realidades de recurrencia de las funciones de bessel. Creo que se puede construir una prueba a partir de ellas

0 votos

@cansado: Gracias por la pista, lo pensaré :)

3voto

Yuri Negometyanov Puntos 593

Utilizando la variación del método constante. Buscando la solución en la forma $$R_p = C(r)J_0(\alpha r),$$ entonces $$\dfrac d{dr}R_p = \dfrac d{dr}C(r)J_0(\alpha r) + C(r)\dfrac d{dr}J_0(\alpha r),$$ $$\dfrac{d^2}{dr^2}R_p = \dfrac{d^2}{dr^2}C(r)J_0(\alpha r) + 2\dfrac d{dr}C(r)\dfrac d{dr}J_0(\alpha r) + C(r)\dfrac{d^2}{dr^2}J_0(\alpha r).$$ La sustitución a la ecuación no homogénea da: $$J_0(\alpha r)\dfrac{d^2}{dr^2}C(r) + \left(2\dfrac{d}{dr}J_0(\alpha r)+\dfrac1rJ_0(\alpha r)\right)\dfrac{d}{dr}C(r) + \left(\dfrac{d^2}{dr^2}J_0(\alpha r)+\dfrac1r\dfrac d{dr}J_0(\alpha r)+\alpha^2J_0(\alpha r)\right)C(r) = J_0(\alpha r),$$ $$J_0(\alpha r)\dfrac{d^2}{dr^2}C(r) + \left(\dfrac1rJ_0(\alpha r) + 2\dfrac d{dr}J_0(\alpha r)\right)\dfrac{d}{dr}C(r) = J_0(\alpha r),$$ Haz la sustitución: $$D(r)=\dfrac{d}{dr}C(r),$$ entonces $$J_0(\alpha r)\dfrac{d}{dr}D(r) + \dfrac1rJ_0(\alpha r)D(r) + 2\dfrac d{dr}J_0(\alpha r)D(r) = J_0(\alpha r),$$ $$J_0^2(\alpha r)D(r) + 2rJ_0(\alpha r)\dfrac d{dr}J_0(\alpha r)D(r) + rJ_0^2(\alpha r)\dfrac{d}{dr}D(r) = rJ_0^2(\alpha r),$$ $$\dfrac{d}{dr}\left(rJ_0^2(\alpha r)D(r)\right) = rJ_0^2(\alpha r)$$
Utilice la fórmula $\int zJ_0^2(z)dz = \dfrac{z^2}2\left(J_0^2(z)+J_1^2(z)\right):$ $$rJ_0^2(\alpha r)D(r) = \dfrac{r^2}{2}\left(J_0^2(\alpha r)+J_1^2(\alpha r)\right),$$ $$D(r) = \dfrac{r}{2}\dfrac{J_1^2(\alpha r)+J_1^2(\alpha r)}{J_0^2(\alpha r)},$$ $$\dfrac d{dr}C(r) = \dfrac1{2\alpha}\dfrac{d}{dr}\left(\dfrac{rJ_1(\alpha r)}{J_0(\alpha r)}\right),$$ donde $$\dfrac{dJ_0(\alpha r)}{dr}=-\alpha J_1(\alpha r),\quad \dfrac{dJ_1(\alpha r)}{dr}=\alpha\left(J_0(\alpha r)-\dfrac1{\alpha r}J_1(\alpha r)\right)$$

$$C(r) = \dfrac r{2\alpha}\dfrac{J_1(\alpha r)}{J_0(\alpha r)},$$ $$\boxed{R_p = \dfrac r{2\alpha}J_1(\alpha r)}$$

Y lo mismo para $Y_0(\alpha r).$

0 votos

Gracias por la buena respuesta :) ¡Pero por qué MAPLE o WOLFRAM no es capaz de hacer esto! ¡No lo sé! :)

1 votos

Porque lo hecho a mano es lo hecho a mano... No hay problema, ¡contacta! :)

0 votos

Hiciste la técnica de la variación de los parámetros pero también hiciste algunas cosas heurísticas en medio determinando algunos diferenciales exactos. Creo que esos softwares sólo utilizan la fórmula general de la técnica de variación de parámetros que todos conocemos :)

3voto

TrialAndError Puntos 25444

Comience con la ecuación $$ \frac{d^2}{dr^2}J_{0}(\alpha r)+\frac{1}{r}\frac{d}{dr}J_{0}(\alpha r)+\alpha^2J_{0}(\alpha r)=0. $$ $J_0$ tiene una serie de potencia convergente en todas partes. Así que se puede diferenciar con respecto a $\alpha$ e intercambiar órdenes de diferenciación: $$ \frac{d^2}{dr^2}(rJ_{0}'(\alpha r))+\frac{1}{r}\frac{d}{dr}(rJ_0'(\alpha r))+\alpha^2(rJ_0'(\alpha r))+2\alpha J_{0}(\alpha r)=0. $$ Por lo tanto, $R(r)=-\frac{r}{2\alpha}J_{0}'(\alpha r)=-\frac{1}{2\alpha^2}(\alpha r)J_{0}'(\alpha r)$ es una solución de $$ R''(r)+\frac{1}{r}R'(r)+\alpha^2R(r)=J_0(\alpha r). $$

0 votos

(+1) Este es el elegante ¡respuesta que estaba buscando! :) Muchas gracias. Así que esta técnica se puede utilizar cuando la RHS de la EDO es la solución de la EDO homogénea :) ¡Buena técnica! ¿La habías visto antes? :)

1 votos

@H.R. : De nada. Si utilizas condiciones de punto final fijo, entonces las soluciones de la función propia clásica siempre varían analíticamente con el parámetro del valor propio $\lambda$ . Hay una condición oculta en $J_0$ pero la condición trivial es $J_0(\alpha r)|_{r=0}=1$ para todos $\alpha$ la condición oculta tiene que ver con un comportamiento asintótico en $r=0$ y siempre es $0$ . De hecho $J_0(\sqrt{\lambda}r)$ debe ser una función completa de $\lambda$ porque $L_0J_(\sqrt{\lambda}r)=\lambda J_{0}(\sqrt{\lambda}r)$ que es debido a las potencias pares en la expansión de la serie de potencias.

2 votos

@TrialAndError ¡Felicidades, tu técnica es impresionante! De verdad, $$\dfrac{d^2}{dr^2}(-rJ_1(\alpha r))+ \dfrac1r \dfrac d{dr}(-rJ_1(\alpha r))+\alpha^2(-rJ_1(\alpha r)) + 2\alpha J_0(\alpha r)=0,\quad$$ $$\dfrac{d^2}{dr^2}\left(\dfrac r{2\alpha}J_1(\alpha r)\right) + \dfrac1r \dfrac d{dr}\left(\dfrac r{2\alpha}J_1(\alpha r)\right)+\alpha^2\left(\dfrac r{2\alpha}J_1(\alpha r)\right) = J_0(\alpha r).$$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X