Funció de Bessel-Clifford

En anàlisi matemàtica, la funció de Bessel–Clifford, anomenada en honor de Friedrich Bessel i William Kingdon Clifford, és una funció entera de dues variables complexes que es pot usar per proveir un desenvolupament alternatiu en la teoria de les funcions de Bessel. Si

π (x) = \frac{1}{Π (x)} = \frac{1}{Γ (x + 1)}

és la funció entera definida mitjançant la funció gamma recíproca, llavors la funció de Bessel–Clifford es defineix com la sèrie:

𝒞_{n} (z) = \sum_{k = 0}^{\infty} π (k + n) \frac{z^{k}}{k!}

La raó de termes successius és z/k(n + k), que per tot valor de z i n tendeix a zero a mesura que s'incrementa la k. Segons el criteri de d'Alembert, aquesta sèrie convergeix absolutament per tot z i n, i uniformament per totes les regions amb |z| delimitat i, per tant, la funció de Bessel–Clifford és una funció entera de les dues variables complexes n i z.

Equació diferencial de la funció de Bessel–Clifford

Derivant respecte x la sèrie superior $𝒞_{n} (x)$ es satisfà l'equació diferencial lineal homogènia de segon ordre

x y^{″} + (n + 1) y^{'} = y .

Aquesta equació és de tipus hipergeomètric generalitzat, i de fet, la funció de Bessel-Clifford és, fins a un cert factor d'escala, una funció hipergeomètrica de Pochhammer–Barnes; es té

𝒞_{n} (z) = π (n)_{0} F_{1} (; n + 1; z) .

A menys que sigui un valor enter negatiu, en què la part de la dreta de la igualtat no queda definit, les dues definicions són essencialment equivalents; la funció hipergeomètrica ha de ser normalitzada perquè el seu valor a z = 0 sigui u.

Relació amb les funcions de Bessel

La funció de Bessel de primer tipus es pot definir en termes de la funció de Bessel-Cliffor com:

J_{n} (z) = {(\frac{z}{2})}^{n} 𝒞_{n} (- \frac{z^{2}}{4});

quan n no és enter es pot veure que la funció de Bessel no és entera. De manera similar, la funció de Bessel modificada de primer tipus pot ser definida com:

I_{n} (z) = {(\frac{z}{2})}^{n} 𝒞_{n} (\frac{z^{2}}{4}) .

Evidentment, el procediment pot ser revertit, de manera que es pot expressar la funció de Bessel–Clifford com:

𝒞_{n} (z) = z^{- n / 2} I_{n} (2 \sqrt{z});

però partint d'aquest punt, s'hauria llavors de demostrar que $𝒞$ és una funció entera.

Relació de recurrència

De la definició de la sèrie, es segueix immediatamant que $\frac{d}{d x} 𝒞_{n} (x) = 𝒞_{n + 1} (x) .$

Utilitzant això, es pot reescriure l'equació diferencial per $𝒞$ com:

x 𝒞_{n + 2} (x) + (n + 1) 𝒞_{n + 1} (x) = 𝒞_{n} (x),

que defineix la relació de recurrència per a la funció de Bessel-Clifford. Això és equivalent a una relació similar per ₀F₁. Es té, com un cas especial de la fracció contínua de Gauss:

\frac{𝒞_{n + 1} (x)}{𝒞_{n} (x)} = \frac{1}{n + 1 + \frac{x}{n + 2 + \frac{x}{n + 3 + \frac{x}{⋱}}}} .

Es pot demostrar que aquesta fracció contínua convergeix en tots els casos.

La funció de Bessel–Clifford de segon tipus

L'equació diferencial de Bessel–Clifford

x y^{″} + (n + 1) y^{'} = y

té dues solucions linealment independent. Com que l'origen és un punt singular regular de l'equació diferencial, i com que $𝒞$ és enter, la segona solució ha de ser singular a l'origen.

si s'estableix

𝒦_{n} (x) = \frac{1}{2} \int_{0}^{\infty} \exp (- t - \frac{x}{t}) \frac{d t}{t^{n + 1}}

que convergeix per $ℜ (x) > 0$ , i es continua analíticament, s'obté una segona solució linealment independent a l'equació diferencial.

El factor d'1/2 s'insereix per tal de fer correspondre $𝒦$ a una funció de Bessel de segon tipus. Es té:

K_{n} (x) = {(\frac{x}{2})}^{n} 𝒦_{n} (\frac{x^{2}}{4}) .

i

Y_{n} (x) = {(\frac{x}{2})}^{n} 𝒦_{n} (- \frac{x^{2}}{4}) .

En termes de K, es té

𝒦_{n} (x) = x^{- n / 2} K_{n} (2 \sqrt{x}) .

Per tant, com en el cas de la funció de Bessel i la funció de Bessel modificada de primer tipus en què ambdues es poden expressar en termes de $𝒞$ , aquestes de segon tipus es poden ambdues expressar en termes de $𝒦$ .

Funció de generació

Si es multiplica la sèrie absolutament convergent per exp(t) i exp(z/t) junt, s'obté (quan t no és zero) una sèrie absolutament convergent per exp(t + z/t). Ajuntant els valors amb t, es troba en comparació amb la definició de sèrie de potències per $𝒞_{n}$ que es té:

\exp (t + \frac{z}{t}) = \sum_{n = - \infty}^{\infty} t^{n} 𝒞_{n} (z) .

Aquesta funció de generació es pot llavors usar per obtenir més fórmules, en particular, es pot utilitzar la fórmula de la integral de Cauchy i obtenir $𝒞_{n}$ per n enter com:

𝒞_{n} (z) = \frac{1}{2 π i} \oint_{C} \frac{\exp (z + z / t)}{t^{n + 1}} d t = \frac{1}{2 π} \int_{0}^{2 π} \exp (z (1 + \exp (- i θ)) - n i θ)) d θ .

Referències

Funció de Bessel-Clifford

Contingut

Equació diferencial de la funció de Bessel–Clifford

Relació amb les funcions de Bessel

Relació de recurrència

La funció de Bessel–Clifford de segon tipus

Funció de generació

Referències

Menú de navegació

Funció de Bessel-Clifford

Equació diferencial de la funció de Bessel–Clifford

Relació amb les funcions de Bessel

Relació de recurrència

La funció de Bessel–Clifford de segon tipus

Funció de generació

Referències

Menú de navegació

Cerca