In matematica, le funzioni di Struve sono funzioni speciali che sono soluzioni dell'equazione differenziale lineare del secondo ordine non omogenea di Bessel:
![{\displaystyle z^{2}{\frac {d^{2}w}{dz^{2}+z{\frac {dw}{dz}+(z^{2}-\nu ^{2})w={\frac {4(z/2)^{\nu +1}{\sqrt {\pi }\Gamma (\nu +{1 \over 2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e7d222fa4558e6206b186a2078a43bac11a255b)
dove
è la funzione Gamma. La sua soluzione generale ha una forma del tipo:
![{\displaystyle w(z)=aJ_{\nu }(z)+bY_{\nu }(z)+\mathbf {H} _{\nu }(z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce79693fc5ca79d61376069ee34d13bb7b90ed0e)
dove
e
sono costanti arbitrarie, mentre
e
denotano rispettivamente le funzioni di Bessel del primo e del secondo genere. La funzione
è una qualsiasi soluzione particolare dell'equazione differenziale precedente, e viene chiamata funzione di Struve di ordine
.
Definizione
Trattandosi di un'equazione non omogenea, la soluzione dell'equazione di Bessel può essere costruita a partire da una soluzione particolare aggiungendo le soluzioni della rispettiva equazione omogenea. In questo caso, le soluzioni omogenee sono le funzioni di Bessel, e la soluzione particolare può essere scelta come la corrispondente funzione di Struve.
L'espansione delle funzioni di Struve
in serie di potenze ha la seguente forma:
![{\displaystyle \mathbf {H} _{\nu }(z)=\left({\frac {z}{2}\right)^{\nu +1}\,\sum _{k=0}^{\infty }(-1)^{k}{\frac {({\frac {z}{2})^{2k}{\Gamma (k+{\frac {3}{2})\Gamma (k+\nu +{\frac {3}{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d232ac3c719a82da01c1a532fc4cad4474cce3b0)
In particolare:
![{\displaystyle \mathbf {H} _{0}(z)={\frac {2}{\pi }\,z\,\left[1+\sum _{k=1}^{\infty }(-1)^{k}\prod _{j=1}^{k}\left({\frac {z}{2j+1}\right)^{2}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b499320ad3d2c6201ef99b7186e33456d4d5742c)
![{\displaystyle \mathbf {H} _{1}(z)=-{\frac {2}{\pi }\,\sum _{k=1}^{\infty }(-1)^{k}\prod _{j=1}^{k}{\frac {z^{2}{4j^{2}-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a962c086b2591fbccc8c2aedaaf1546c11384e7e)
La funzione di Struve modificata, denotata con
, si sviluppa in serie di potenze come:
![{\displaystyle \mathbf {L} _{\nu }(z)=\left({\frac {z}{2}\right)^{\nu +1}\sum _{k=0}^{\infty }{\frac {1}{\Gamma \left({\frac {3}{2}+k\right)\Gamma \left({\frac {3}{2}+k+\nu \right)}\left({\frac {z}{2}\right)^{2k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a9e5601b67570f3ae56009133797393560c7fae)
Forma integrale
Una definizione alternativa della funzione di Struve per valori di
che soddisfano
è possibile tramite la rappresentazione integrale:
![{\displaystyle \mathbf {H} _{\alpha }(x)={\frac {2\left({\frac {x}{2}\right)^{\alpha }{\sqrt {\pi }\Gamma \left(\alpha +{\frac {1}{2}\right)}\int _{0}^{\frac {\pi }{2}\sin(x\cos \tau )\sin ^{2\alpha }(\tau )d\tau }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7977ba873695a0021ba82b7e349bc5da3c44bf2c)
Forme asintotiche
Per piccoli valori di
, lo sviluppo in serie di potenze è data sopra, mentre per grandi valori di
![{\displaystyle \mathbf {H} _{\alpha }(x)-Y_{\alpha }(x)\to {\frac {\left({\frac {x}{2}\right)^{\alpha -1}{\sqrt {\pi }\Gamma \left(\alpha +{\frac {1}{2}\right)}+O\left(\left({\tfrac {x}{2}\right)^{\alpha -3}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f013ae71237149617a35a64fc441eea8d0561d5)
dove
è la funzione di Neumann.
Proprietà
Le funzioni di Struve soddisfano le seguenti relazioni di ricorrenza:
![{\displaystyle {\begin{aligned}\mathbf {H} _{\alpha -1}(x)+\mathbf {H} _{\alpha +1}(x)&={\frac {2\alpha }{x}\mathbf {H} _{\alpha }(x)+{\frac {\left({\frac {x}{2}\right)^{\alpha }{\sqrt {\pi }\Gamma \left(\alpha +{\frac {3}{2}\right)}\\\mathbf {H} _{\alpha -1}(x)-\mathbf {H} _{\alpha +1}(x)&=2{\frac {d}{dx}\left(\mathbf {H} _{\alpha }(x)\right)-{\frac {\left({\frac {x}{2}\right)^{\alpha }{\sqrt {\pi }\Gamma \left(\alpha +{\frac {3}{2}\right)}\end{aligned}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffe288557d17232ed992d29f3c52d9b0bc7eddd6)
Collegamenti con altre funzioni speciali
Le funzioni di Struve presentano collegamenti piuttosto stretti con varie funzioni special, come le funzioni di Bessel
e
, le funzioni di Bessel sferiche modificate
, le funzioni di Anger
, funzioni di Weber
e le funzioni di Struve modificate
. Nello specifico, per quanto riguarda le funzioni di Weber, possono essere scritte attraverso di esse e viceversa, ovvero se
è un intero non-negativo allora:
![{\displaystyle \mathbf {E} _{n}(z)={\frac {1}{\pi }\sum _{k=0}^{\left\lfloor {\frac {n-1}{2}\right\rfloor }{\frac {\Gamma \left(k+{\frac {1}{2}\right)\left({\frac {z}{2}\right)^{n-2k-1}{\Gamma \left(n-k-{\frac {1}{2}\right)}\mathbf {H} _{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/669decc1b40817cbffe804142bd8a7bcdacd1284)
![{\displaystyle \mathbf {E} _{-n}(z)={\frac {(-1)^{n+1}{\pi }\sum _{k=0}^{\left\lfloor {\frac {n-1}{2}\right\rfloor }{\frac {\Gamma (n-k-{\frac {1}{2})\left({\frac {z}{2}\right)^{-n+2k+1}{\Gamma \left(k+{\frac {3}{2}\right)}\mathbf {H} _{-n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f867ec6034108e16fbdfb39bf6311e583a8becb3)
Le funzioni di Struve di ordine
, con
intero, possono inoltre essere scritte tramite funzioni elementari; in particolare se
è un intero non-negativo allora:
![{\displaystyle \mathbf {H} _{-n-{\frac {1}{2}(z)=(-1)^{n}J_{n+{\frac {1}{2}(z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07e02e19f5f8c5d1e1fdce0ec4aa7664b0c1fae3)
dove il membro di destra è una funzione di Bessel sferica.
Le funzioni di Struve di ordine qualsiasi possono anche essere definite con la funzione ipergeometrica generalizzata
:
![{\displaystyle \mathbf {H} _{\alpha }(z)={\frac {\left({\frac {z}{2}\right)^{\alpha +{\frac {1}{2}{\sqrt {2\pi }\Gamma \left(\alpha +{\tfrac {3}{2}\right)}{}_{1}F_{2}\left(1,{\tfrac {3}{2},\alpha +{\tfrac {3}{2},-{\tfrac {z^{2}{4}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dab01d60d7b093e55f93596ace9781717fd8a446)
Bibliografia
- (EN) G. N. Watson (1922) A treatise on the theory of Bessel functions, Cambridge University Press (Capitolo 10, sezione 10.4 pp. 328-338)
- (EN) Y. L. Luke (1962): Integrals of Bessel functions, McGraw-Hill
- (EN) Milton Abramowitz, Irene A. Stegun, eds. (1972): Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, Dover Chapter 12
- (EN) Shanjie Zhang, Jianming Jin (1996): Computation of Special functions, J.Wiley (Chapter 11)
- (EN) R. B. Paris (2010): Struve and Related Functions Digital Library of Mathematical Functions
Voci correlate
Altri progetti
Collegamenti esterni
-
- (EN) Eric W. Weisstein, Funzioni di Struve, su MathWorld, Wolfram Research.
![Modifica su Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png)
- (EN) A.B. Ivanov, Struve function, in Encyclopaedia of Mathematics, Springer e European Mathematical Society, 2002.
- (EN) Struve function in functions.wolfram.com
- (EN) J. P. Mason, http://torpedo.nrl.navy.mil/tu/ps/doc.html?dsn=352291&hi=1&p=1[collegamento interrotto] NRL Memorandum Reports, MR-3181, 1975.