En matemáticas , las funciones de Bessel incompletas son tipos de funciones especiales que actúan como un tipo de extensión de las funciones de Bessel de tipo completo .
Definición
Las funciones de Bessel incompletas se definen como las mismas ecuaciones diferenciales de retardo de las funciones de Bessel de tipo completo :
![{\displaystyle J_{v-1}(z,w)-J_{v+1}(z,w)=2{\dfrac {\partial }{\partial z}}J_{v}(z,w) }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y_{v-1}(z,w)-Y_{v+1}(z,w)=2{\dfrac {\partial }{\partial z}}Y_{v}(z,w) }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I_{v-1}(z,w)+I_{v+1}(z,w)=2{\dfrac {\partial }{\partial z}}I_{v}(z,w) }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K_{v-1}(z,w)+K_{v+1}(z,w)=-2{\dfrac {\partial }{\partial z}}K_{v}(z,w )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{v-1}^{(1)}(z,w)-H_{v+1}^{(1)}(z,w)=2{\dfrac {\partial }{\partial z}}H_{v}^{(1)}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{v-1}^{(2)}(z,w)-H_{v+1}^{(2)}(z,w)=2{\dfrac {\partial }{\partial z}}H_{v}^{(2)}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Y las siguientes formas de extensión adecuadas de ecuaciones diferenciales de retardo a partir de las funciones de Bessel de tipo completo :
![{\displaystyle J_{v-1}(z,w)+J_{v+1}(z,w)={\dfrac {2v}{z}}J_{v}(z,w)-{\dfrac {2\tanh vw}{z}}{\dfrac {\partial }{\partial w}}J_{v}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y_{v-1}(z,w)+Y_{v+1}(z,w)={\dfrac {2v}{z}}Y_{v}(z,w)-{\dfrac {2\tanh vw}{z}}{\dfrac {\partial }{\partial w}}Y_{v}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I_{v-1}(z,w)-I_{v+1}(z,w)={\dfrac {2v}{z}}I_{v}(z,w)-{\dfrac {2\tanh vw}{z}}{\dfrac {\partial }{\partial w}}I_{v}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K_{v-1}(z,w)-K_{v+1}(z,w)=-{\dfrac {2v}{z}}K_{v}(z,w)+{\ dfrac {2\tanh vw}{z}}{\dfrac {\partial }{\partial w}}K_{v}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{v-1}^{(1)}(z,w)+H_{v+1}^{(1)}(z,w)={\dfrac {2v}{z}}H_ {v}^{(1)}(z,w)-{\dfrac {2\tanh vw}{z}}{\dfrac {\partial }{\partial w}}H_{v}^{(1) }(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{v-1}^{(2)}(z,w)+H_{v+1}^{(2)}(z,w)={\dfrac {2v}{z}}H_ {v}^{(2)}(z,w)-{\dfrac {2\tanh vw}{z}}{\dfrac {\partial }{\partial w}}H_{v}^{(2) }(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Donde el nuevo parámetro define el límite integral de la forma incompleta superior y la forma incompleta inferior de la función de Bessel modificada de segundo tipo : [1]![{\displaystyle w}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K_{v}(z,w)=\int _{w}^{\infty }e^{-z\cosh t}\cosh vt~dt}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle J_{v}(z,w)=\int _ {0}^{w}e^{-z\cosh t}\cosh vt~dt}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Propiedades
![{\displaystyle J_{v}(z,w)=J_{v}(z)+{\dfrac {e^{\frac {v\pi i}{2}}J(iz,v,w)-e ^{-{\frac {v\pi i}{2}}}J(-iz,v,w)}{i\pi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y_{v}(z,w)=Y_{v}(z)+{\dfrac {e^{\frac {v\pi i}{2}}J(iz,v,w)+e ^{-{\frac {v\pi i}{2}}}J(-iz,v,w)}{\pi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para entero![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I_{-v}(z,w)-I_{v}(z,w)=I_{-v}(z)-I_{v}(z)-{\dfrac {2\sin v\ pi }{\pi }}J(z,v,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I_{v}(z,w)=I_{v}(z)+{\dfrac {J(-z,v,w)-e^{-v\pi i}J(z,v, w)}{i\pi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I_{v}(z,w)=e^{-{\frac {v\pi i}{2}}}J_{v}(iz,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K_{-v}(z,w)=K_{v}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para números no enteros![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{v}^{(1)}(z,w)=J_{v}(z,w)+iY_{v}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{v}^{(2)}(z,w)=J_{v}(z,w)-iY_{v}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{-v}^{(1)}(z,w)=e^{v\pi i}H_{v}^{(1)}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{-v}^{(2)}(z,w)=e^{-v\pi i}H_{v}^{(2)}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para números no enteros![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para números no enteros![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ecuaciones diferenciales
satisface la ecuación diferencial de Bessel no homogénea
![{\displaystyle z^{2}{\dfrac {d^{2}y}{dz^{2}}}+z{\dfrac {dy}{dz}}-(x^{2}+v^{ 2})y=(v\sinh vw+z\cosh vw\sinh w)e^{-z\cosh w}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ambos , y satisfacen la ecuación diferencial parcial![{\displaystyle J_{v}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y_{v}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{v}^{(1)}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{v}^{(2)}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle z^{2}{\dfrac {\partial ^{2}y}{\partial z^{2}}}+z{\dfrac {\partial y}{\partial z}}+(z^ {2}-v^{2})y-{\dfrac {\partial ^{2}y}{\partial w^{2}}}+2v\tanh vw{\dfrac {\partial y}{\partial w}}=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ambos y satisfacen la ecuación diferencial parcial.![{\displaystyle I_{v}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K_{v}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle z^{2}{\dfrac {\partial ^{2}y}{\partial z^{2}}}+z{\dfrac {\partial y}{\partial z}}-(z^ {2}+v^{2})y-{\dfrac {\partial ^{2}y}{\partial w^{2}}}+2v\tanh vw{\dfrac {\partial y}{\partial w}}=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Representaciones integrales
Con base en las definiciones preliminares anteriores, se derivarían directamente las siguientes formas integrales de , :![{\displaystyle J_{v}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y_{v}(z,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}J_{v}(z,w)&=J_{v}(z)+{\dfrac {1}{\pi i}}\left(\int _{0}^ {w}e^{{\frac {v\pi i}{2}}-iz\cosh t}\cosh vt~dt-\int _{0}^{w}e^{iz\cosh t-{ \frac {v\pi i}{2}}}\cosh vt~dt\right)\\&=J_{v}(z)+{\dfrac {1}{\pi i}}\left(\int _{0}^{w}\cos \left(z\cosh t-{\dfrac {v\pi }{2}}\right)\cosh vt~dt-i\int _{0}^{w} \sin \left(z\cosh t-{\dfrac {v\pi }{2}}\right)\cosh vt~dt\right.\\&\quad \quad \quad \quad \quad \quad \left .-\int _{0}^{w}\cos \left(z\cosh t-{\dfrac {v\pi }{2}}\right)\cosh vt~dt-i\int _{0} ^{w}\sin \left(z\cosh t-{\dfrac {v\pi }{2}}\right)\cosh vt~dt\right)\\&=J_{v}(z)+{ \dfrac {1}{\pi i}}\left(-2i\int _{0}^{w}\sin \left(z\cosh t-{\dfrac {v\pi }{2}}\right )\cosh vt~dt\right)\\&=J_{v}(z)-{\dfrac {2}{\pi }}\int _{0}^{w}\sin \left(z\cosh t-{\dfrac {v\pi }{2}}\right)\cosh vt~dt\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}Y_{v}(z,w)&=Y_{v}(z)+{\dfrac {1}{\pi }}\left(\int _{0}^{ w}e^{{\frac {v\pi i}{2}}-iz\cosh t}\cosh vt~dt+\int _{0}^{w}e^{iz\cosh t-{\frac {v\pi i}{2}}}\cosh vt~dt\right)\\&=Y_{v}(z)+{\dfrac {1}{\pi }}\left(\int _{0 }^{w}\cos \left(z\cosh t-{\dfrac {v\pi }{2}}\right)\cosh vt~dt-i\int _{0}^{w}\sin \ left(z\cosh t-{\dfrac {v\pi }{2}}\right)\cosh vt~dt\right.\\&\quad \quad \quad \quad \quad \quad \left.+\ int _{0}^{w}\cos \left(z\cosh t-{\dfrac {v\pi }{2}}\right)\cosh vt~dt+i\int _{0}^{w }\sin \left(z\cosh t-{\dfrac {v\pi }{2}}\right)\cosh vt~dt\right)\\&=Y_{v}(z)+{\dfrac { 2}{\pi }}\int _{0}^{w}\cos \left(z\cosh t-{\dfrac {v\pi }{2}}\right)\cosh vt~dt\end{ alineado}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Con las expresiones integrales de Mehler-Sonine y mencionadas en la Biblioteca Digital de Funciones Matemáticas , [2]![{\displaystyle J_{v}(z)={\dfrac {2}{\pi }}\int _{0}^{\infty }\sin \left(z\cosh t-{\dfrac {v\pi }{2}}\right)\cosh vt~dt}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y_{v}(z)=-{\dfrac {2}{\pi }}\int _{0}^{\infty }\cos \left(z\cosh t-{\dfrac {v\ pi }{2}}\right)\cosh vt~dt}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Podemos simplificar aún más a y , pero el problema no es del todo bueno ya que el rango de convergencia se reducirá en gran medida a .![{\displaystyle J_{v}(z,w)={\dfrac {2}{\pi }}\int _{w}^{\infty }\sin \left(z\cosh t-{\dfrac {v \pi }{2}}\right)\cosh vt~dt}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y_{v}(z,w)=-{\dfrac {2}{\pi }}\int _{w}^{\infty }\cos \left(z\cosh t-{\dfrac { v\pi }{2}}\right)\cosh vt~dt}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |v|<1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Referencias
- ^ Jones, DS (febrero de 2007). "Funciones de Bessel incompletas. I". Actas de la Sociedad Matemática de Edimburgo . 50 (1): 173–183. doi : 10.1017/S0013091505000490 .
- ^ París, RB (2010), "Bessel Functions", en Olver, Frank WJ ; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), Manual de funciones matemáticas del NIST , Cambridge University Press, ISBN 978-0-521-19225-5, señor 2723248.
enlaces externos
- Agrest, Matest M.; Maksimov, Michail S. (1971). Teoría de Funciones Cilíndricas Incompletas y sus Aplicaciones . Berlín, Heidelberg: Springer-Verlag Berlín Heidelberg. ISBN 978-3-642-65023-9.
- Cicchetti, R.; Faraone, A. (diciembre de 2004). "Funciones incompletas de Hankel y Bessel modificada: una clase de funciones especiales para electromagnéticos". Transacciones IEEE sobre antenas y propagación . 52 (12): 3373–3389. Código Bib : 2004ITAP...52.3373C. doi :10.1109/TAP.2004.835269. S2CID 25089438.
- Jones, DS (octubre de 2007). "Funciones de Bessel incompletas. II. Expansiones asintóticas para argumentos grandes". Actas de la Sociedad Matemática de Edimburgo . 50 (3): 711–723. doi : 10.1017/S0013091505000908 .