Articulo de referencia

Funciones Kelvin

Representación gráfica de la función de Kelvin ber(z) en el plano complejo desde -2-2i hasta 2+2i con colores, creada con la función ComplexPlot3D de Mathematica 13.1. En matemá...

Representación gráfica de la función de Kelvin ber(z) en el plano complejo desde -2-2i hasta 2+2i con colores, creada con la función ComplexPlot3D de Mathematica 13.1.
Representación gráfica de la función de Kelvin ber(z) en el plano complejo desde -2-2i hasta 2+2i con colores, creada con la función ComplexPlot3D de Mathematica 13.1.

En matemáticas aplicadas, las funciones de Kelvin ber ν ( x ) y bei ν ( x ) son las partes real e imaginaria , respectivamente, de

Jν(incógnitami3πi4),{\displaystyle J_{\nu }\left(xe^{\frac {3\pi i}{4}}\right),\,}

donde x es real, y J ν ( z ) , es la función de Bessel de primer tipo de orden n . De manera similar, las funciones ker ν ( x ) y kei ν ( x ) son las partes real e imaginaria, respectivamente, de

miνπi/2Kν(incógnitamiπi4),{\displaystyle e^{-\nu \pi i/2}K_{\nu }\left(xe^{\frac {\pi i}{4}}\right),\,}

donde K ν ( z ) es la función de Bessel modificada de segundo tipo de orden ν .

Estas funciones reciben su nombre en honor a William Thomson, primer barón Kelvin .

Si bien las funciones de Kelvin se definen como las partes real e imaginaria de las funciones de Bessel con x tomado como real, las funciones pueden continuarse analíticamente para argumentos complejos xe , 0 ≤ φ < 2 π . Con la excepción de ber n ( x ) y bei n ( x ) para n entero , las funciones de Kelvin tienen un punto de ramificación en x  =  0.

A continuación, Γ( z ) es la función gamma y ψ ( z ) es la función digamma .

ber( x )

ber( x ) para x entre 0 y  20.
bmir(incógnita)/miincógnita/2{\displaystyle \mathrm {ber} (x)/e^{x/{\sqrt {2}}}}para x entre 0 y 50.

Para enteros n , ber n ( x ) tiene la expansión en serie

bmirnorte(incógnita)=(incógnita2)nortek0porque[(3norte4+k2)π]k¡Γ(norte+k+1)(incógnita24)k,{\displaystyle \mathrm {ber} _{n}(x)=\left({\frac {x}{2}}\right)^{n}\sum _{k\geq 0}{\frac {\cos \left[\left({\frac {3n}{4}}+{\frac {k}{2}}\right)\pi \right]}{k!\Gamma (n+k+1)}}\left({\frac {x^{2}}{4}}\right)^{k},}

donde Γ( z ) es la función gamma . El caso especial ber 0 ( x ), comúnmente denotado simplemente como ber( x ), tiene la expansión en serie

bmir(incógnita)=1+k1(1)k[(2k)¡]2(incógnita2)4k{\displaystyle \mathrm {ber} (x)=1+\sum _{k\geq 1}{\frac {(-1)^{k}}{[(2k)!]^{2}}}\left({\frac {x}{2}}\right)^{4k}}

y series asintóticas

bmir(incógnita)miincógnita22πincógnita(F1(incógnita)porqueα+gramo1(incógnita)pecadoα)kmii(incógnita)π{\displaystyle \mathrm {ber} (x)\sim {\frac {e^{\frac {x}{\sqrt {2}}}}{\sqrt {2\pi x}}}\left(f_{1}(x)\cos \alpha +g_{1}(x)\sin \alpha \right)-{\frac {\mathrm {kei} (x)}{\pi }}},

dónde

α=incógnita2π8,{\displaystyle \alpha ={\frac {x}{\sqrt {2}}}-{\frac {\pi }{8}},}
F1(incógnita)=1+k1porque(kπ/4)k¡(8incógnita)kl=1k(2l1)2{\displaystyle f_{1}(x)=1+\sum _ {k\geq 1}{\frac {\cos(k\pi /4)}{k!(8x)^{k}}}\prod _{l=1}^{k}(2l-1)^{2}}
gramo1(incógnita)=k1pecado(kπ/4)k¡(8incógnita)kl=1k(2l1)2.{\displaystyle g_{1}(x)=\sum _ {k\geq 1}{\frac {\sin(k\pi /4)}{k!(8x)^{k}}}\prod _{l=1}^{k}(2l-1)^{2}.}
Representación gráfica de la función de Kelvin bei(z) en el plano complejo desde -2-2i hasta 2+2i con colores, creada con la función ComplexPlot3D de Mathematica 13.1.
Representación gráfica de la función de Kelvin bei(z) en el plano complejo desde -2-2i hasta 2+2i con colores, creada con la función ComplexPlot3D de Mathematica 13.1.

bei( x )

bei( x ) para x entre 0 y 20.
bmii(incógnita)/miincógnita/2{\displaystyle \mathrm {bei} (x)/e^{x/{\sqrt {2}}}}para x entre 0 y 50.

Para enteros n , ser n ( x ) tiene la expansión en serie

bmiinorte(incógnita)=(incógnita2)nortek0pecado[(3norte4+k2)π]k¡Γ(norte+k+1)(incógnita24)k.{\displaystyle \mathrm {bei} _{n}(x)=\left({\frac {x}{2}}\right)^{n}\sum _{k\geq 0}{\frac {\sin \left[\left({\frac {3n}{4}}+{\frac {k}{2}}\right)\pi \right]}{k!\Gamma (n+k+1)}}\left({\frac {x^{2}}{4}}\right)^{k}.}

El caso especial bei 0 ( x ), comúnmente denotado simplemente como bei( x ), tiene la siguiente expansión en serie.

Representación gráfica de la función de Kelvin ker(z) en el plano complejo desde -2-2i hasta 2+2i con colores, creada con la función ComplexPlot3D de Mathematica 13.1.
Representación gráfica de la función de Kelvin ker(z) en el plano complejo desde -2-2i hasta 2+2i con colores, creada con la función ComplexPlot3D de Mathematica 13.1.
bmii(incógnita)=k0(1)k[(2k+1)¡]2(incógnita2)4k+2{\displaystyle \mathrm {bei} (x)=\sum _{k\geq 0}{\frac {(-1)^{k}}{[(2k+1)!]^{2}}}\left({\frac {x}{2}}\right)^{4k+2}}

y series asintóticas

bmii(incógnita)miincógnita22πincógnita[F1(incógnita)pecadoαgramo1(incógnita)porqueα]kmir(incógnita)π,{\displaystyle \mathrm {bei} (x)\sim {\frac {e^{\frac {x}{\sqrt {2}}}}{\sqrt {2\pi x}}}[f_{1}(x)\sin \alpha -g_{1}(x)\cos \alpha ]-{\frac {\mathrm {ker} (x)}{\pi }},}

donde α,F1(incógnita){\displaystyle f_{1}(x)}, ygramo1(incógnita){\displaystyle g_{1}(x)}se definen como para ber( x ).

ker( x )

ker( x ) para x entre 0 y 14.
kmir(incógnita)miincógnita/2{\displaystyle \mathrm {ker} (x)e^{x/{\sqrt {2}}}}para x entre 0 y 50.

Para enteros n , ker n ( x ) tiene la expansión en serie (complicada)

kmirnorte(incógnita)=ln(incógnita2)bmirnorte(incógnita)+π4bmiinorte(incógnita)+12(incógnita2)nortek=0norte1porque[(3norte4+k2)π](nortek1)¡k¡(incógnita24)k+12(incógnita2)nortek0porque[(3norte4+k2)π]ψ(k+1)+ψ(norte+k+1)k¡(norte+k)¡(incógnita24)k.{\displaystyle {\begin{aligned}&\mathrm {ker} _{n}(x)=-\ln \left({\frac {x}{2}}\right)\mathrm {ber} _{n}(x)+{\frac {\pi }{4}}\mathrm {bei} _{n}(x)\\&+{\frac {1}{2}}\left({\frac {x}{2}}\right)^{-n}\sum _{k=0}^{n-1}\cos \left[\left({\frac {3n}{4}}+{\frac {k}{2}}\right)\pi \right]{\frac {(n-k-1)!}{k!}}\left({\frac {x^{2}}{4}}\right)^{k}\\&+{\frac {1}{2}}\left({\frac {x}{2}}\right)^{n}\sum _{k\geq 0}\cos \left[\left({\frac {3n}{4}}+{\frac {k}{2}}\right)\pi \right]{\frac {\psi (k+1)+\psi (n+k+1)}{k!(n+k)!}}\left({\frac {x^{2}}{4}}\right)^{k}.\end{aligned}}}
Representación gráfica de la función de Kelvin kei(z) en el plano complejo desde -2-2i hasta 2+2i con colores, creada con la función ComplexPlot3D de Mathematica 13.1.
Representación gráfica de la función de Kelvin kei(z) en el plano complejo desde -2-2i hasta 2+2i con colores, creada con la función ComplexPlot3D de Mathematica 13.1.

El caso especial ker 0 ( x ), comúnmente denotado simplemente como ker( x ), tiene la siguiente expansión en serie

kmir(incógnita)=ln(incógnita2)bmir(incógnita)+π4bmii(incógnita)+k0(1)kψ(2k+1)[(2k)¡]2(incógnita24)2k{\displaystyle \mathrm {ker} (x)=-\ln \left({\frac {x}{2}}\right)\mathrm {ber} (x)+{\frac {\pi }{4}}\mathrm {bei} (x)+\sum _{k\geq 0}(-1)^{k}{\frac {\psi (2k+1)}{[(2k)!]^{2}}}\left({\frac {x^{2}}{4}}\right)^{2k}}

y la serie asintótica

kmir(incógnita)π2incógnitamiincógnita2[F2(incógnita)porqueβ+gramo2(incógnita)pecadoβ],{\displaystyle \mathrm {ker} (x)\sim {\sqrt {\frac {\pi }{2x}}}e^{-{\frac {x}{\sqrt {2}}}}[f_{2}(x)\cos \beta +g_{2}(x)\sin \beta ],}

dónde

β=incógnita2+π8,{\displaystyle \beta ={\frac {x}{\sqrt {2}}}+{\frac {\pi }{8}},}
F2(incógnita)=1+k1(1)kporque(kπ/4)k¡(8incógnita)kl=1k(2l1)2{\displaystyle f_{2}(x)=1+\sum _{k\geq 1}(-1)^{k}{\frac {\cos(k\pi /4)}{k!(8x)^{k}}}\prod _{l=1}^{k}(2l-1)^{2}}
gramo2(incógnita)=k1(1)kpecado(kπ/4)k¡(8incógnita)kl=1k(2l1)2.{\displaystyle g_{2}(x)=\sum _{k\geq 1}(-1)^{k}{\frac {\sin(k\pi /4)}{k!(8x)^{k}}}\prod _{l=1}^{k}(2l-1)^{2}.}

kei( x )

kei( x ) para x entre 0 y 14.
kmii(incógnita)miincógnita/2{\displaystyle \mathrm {kei} (x)e^{x/{\sqrt {2}}}}para x entre 0 y 50.

Para un entero n , kei n ( x ) tiene la siguiente expansión en serie.

kmiinorte(incógnita)=ln(incógnita2)bmiinorte(incógnita)π4bmirnorte(incógnita)12(incógnita2)nortek=0norte1pecado[(3norte4+k2)π](nortek1)¡k¡(incógnita24)k+12(incógnita2)nortek0pecado[(3norte4+k2)π]ψ(k+1)+ψ(norte+k+1)k¡(norte+k)¡(incógnita24)k.{\displaystyle {\begin{aligned}&\mathrm {kei} _{n}(x)=-\ln \left({\frac {x}{2}}\right)\mathrm {bei} _{n}(x)-{\frac {\pi }{4}}\mathrm {ber} _{n}(x)\\&-{\frac {1}{2}}\left({\frac {x}{2}}\right)^{-n}\sum _{k=0}^{n-1}\sin \left[\left({\frac {3n}{4}}+{\frac {k}{2}}\right)\pi \right]{\frac {(n-k-1)!}{k!}}\left({\frac {x^{2}}{4}}\right)^{k}\\&+{\frac {1}{2}}\left({\frac {x}{2}}\right)^{n}\sum _{k\geq 0}\sin \left[\left({\frac {3n}{4}}+{\frac {k}{2}}\right)\pi \right]{\frac {\psi (k+1)+\psi (n+k+1)}{k!(n+k)!}}\left({\frac {x^{2}}{4}}\right)^{k}.\end{aligned}}}

El caso especial kei 0 ( x ), comúnmente denotado simplemente como kei( x ), tiene la siguiente expansión en serie

kmii(incógnita)=ln(incógnita2)bmii(incógnita)π4bmir(incógnita)+k0(1)kψ(2k+2)[(2k+1)¡]2(incógnita24)2k+1{\displaystyle \mathrm {kei} (x)=-\ln \left({\frac {x}{2}}\right)\mathrm {bei} (x)-{\frac {\pi }{4}}\mathrm {ber} (x)+\sum _{k\geq 0}(-1)^{k}{\frac {\psi (2k+2)}{[(2k+1)!]^{2}}}\left({\frac {x^{2}}{4}}\right)^{2k+1}}

y la serie asintótica

kmii(incógnita)π2incógnitamiincógnita2[F2(incógnita)pecadoβ+gramo2(incógnita)porqueβ],{\displaystyle \mathrm {kei} (x)\sim -{\sqrt {\frac {\pi }{2x}}}e^{-{\frac {x}{\sqrt {2}}}}[f_{2}(x)\sin \beta +g_{2}(x)\cos \beta ],}

donde β , f 2 ( x ), y g 2 ( x ) se definen como para ker( x ).

Véase también

Referencias

  • Weisstein, Eric W. "Funciones Kelvin". De MathWorld—Un recurso web de Wolfram.
  • Código fuente en C/C++ con licencia GPL para el cálculo de funciones Kelvin en codecogs.com: