Funzioni integrali trigonometriche

In matematica l'espressione funzioni integrali trigonometriche fa riferimento ad una famiglia di funzioni definite mediante integrali di funzioni trigonometriche.

Seno

Grafico di Si(x) per 0 ≤ x ≤ 8 π.

Esistono due definizioni del seno integrale:

$\mathrm{Si}(x)=\underset{0}{\overset{x}{\int }}\frac{\sin t}{t}dt$

$\mathrm{si}(x)=-\underset{x}{\overset{+\mathrm{\infty }}{\int }}\frac{\sin t}{t}dt$

Per definizione $\mathrm{Si}(x)$ è la primitiva della funzione sinc $\sin (x)/x$ che si annulla nell'origine, mentre $\mathrm{si}(x)$ è la primitiva che si annulla all'infinito. La loro differenza è data dall'integrale di Dirichlet,

$\mathrm{Si}(x)-\mathrm{si}(x)=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin t}{t}dt=\frac{\pi }{2}.$

Poiché la funzione $\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{c}(x)$ è una funzione pari e intera (cioè olomorfa nell'intero piano complesso), $\mathrm{Si}(x)$ è anch'essa intera, dispari e l'integrale nella sua definizione può essere valutato lungo ogni percorso che connette gli estremi.

Se si considera il seno integrale come la convoluzione della funzione sinc con la funzione gradino di Heaviside, ciò corrisponde a troncare la serie di Fourier, ed è pertanto un modo per descrivere il fenomeno di Gibbs.

Coseno

Grafico di Ci(x) per 0 < x ≤ 8π.

Vi sono diverse definizioni del coseno integrale:

$\mathrm{Ci}(x)=-\underset{x}{\overset{+\mathrm{\infty }}{\int }}\frac{\cos t}{t}dt=\gamma +\ln x+\underset{0}{\overset{x}{\int }}\frac{\cos t-1}{t}dt$

$\mathrm{Cin}(x)=\underset{0}{\overset{x}{\int }}\frac{1-\cos t}{t}dt$

dove $\gamma$ è la costante di Eulero-Mascheroni. Qualche testo usa $\mathrm{ci}(x)$ invece di $\mathrm{Ci}(x)$.

La funzione $\mathrm{Ci}(x)$ è la primitiva di $\cos (x)/x$ (che si annulla all'infinito). Le due definizioni sono legate dalla relazione:

$\mathrm{Cin}(x)=\gamma +\ln x-\mathrm{Ci}(x)$

$\mathrm{Ci}(x)$ è una funzione pari intera.

Seno iperbolico

Il seno iperbolico integrale ha la forma:

$\mathrm{Shi}(x)=\underset{0}{\overset{x}{\int }}\frac{\sinh t}{t}dt=\mathrm{shi}(x)$

$\mathrm{Shi}(x)=\sum _{n=0}^{+\mathrm{\infty }}\frac{x^{2n+1}}{(2n+1)!(2n+1)}=x+\frac{x^3}{3!\cdot 3}+\frac{x^5}{5!\cdot 5}+\frac{x^7}{7!\cdot 7}+\cdots$

È legata alla precedente funzione seno integrale dalla relazione

$\mathrm{Si}(ix)=i\mathrm{Shi}(x).$

Coseno iperbolico

Il coseno iperbolico integrale è:

$\mathrm{Chi}(x)=\gamma +\ln x+\underset{0}{\overset{x}{\int }}\frac{\cosh t-1}{t}dt(|\mathrm{A}\mathrm{r}\mathrm{g}(x)|<\pi )$

dove $\gamma$ è la costante di Eulero-Mascheroni.

Ha come espansione in serie $\mathrm{Chi}(x)=\gamma +\ln (x)+\frac{1}{4}{x}^2+\frac{1}{96}{x}^4+\frac{1}{4320}{x}^6+\frac{1}{322560}{x}^8+\frac{1}{36288000}{x}^{10}+O(x^{12})$.

Scrittura alternativa

Utilizzando le funzioni:

$f(x)\equiv \underset{0}{\overset{+\mathrm{\infty }}{\int }}\frac{\sin (t)}{t+x}dt=\underset{0}{\overset{+\mathrm{\infty }}{\int }}\frac{e^{-xt}}{t^2+1}dt=\mathrm{Ci}(x)\sin (x)+[\frac{\pi }{2}-\mathrm{Si}(x)]\cos (x)$

$g(x)\equiv \underset{0}{\overset{+\mathrm{\infty }}{\int }}\frac{\cos (t)}{t+x}dt=\underset{0}{\overset{+\mathrm{\infty }}{\int }}\frac{t{e}^{-xt}}{t^2+1}dt=-\mathrm{Ci}(x)\cos (x)+[\frac{\pi }{2}-\mathrm{Si}(x)]\sin (x)$

l'integrale trigonometrico può essere riscritto come:

$\begin{array}{ccc}\mathrm{Si}(x)& =& \frac{\pi }{2}-f(x)\cos (x)-g(x)\sin (x)\\ \mathrm{Ci}(x)& =& f(x)\sin (x)-g(x)\cos (x)\end{array}$

Espansioni

L'espansione dell'integrale trigonometrico in serie asintotica:

$\mathrm{Si}(x)=\frac{\pi }{2}-\frac{\cos x}{x}(1-\frac{2!}{x^2}+\frac{4!}{x^4}-\frac{6!}{x^6}\cdots )-\frac{\sin x}{x}(\frac{1}{x}-\frac{3!}{x^3}+\frac{5!}{x^5}-\frac{7!}{x^7}\cdots )$

$\mathrm{Ci}(x)=\frac{\sin x}{x}(1-\frac{2!}{x^2}+\frac{4!}{x^4}-\frac{6!}{x^6}\cdots )-\frac{\cos x}{x}(\frac{1}{x}-\frac{3!}{x^3}+\frac{5!}{x^5}-\frac{7!}{x^7}\cdots )$

è una serie divergente, utilizzata per valutare l'integrale per $\mathrm{R}\mathrm{e}(x)\gg 1$.

L'espansione:

$\mathrm{Si}(x)=\sum _{n=0}^{+\mathrm{\infty }}\frac{(-1{)}^n{x}^{2n+1}}{(2n+1)(2n+1)!}=x-\frac{x^3}{3!\cdot 3}+\frac{x^5}{5!\cdot 5}-\frac{x^7}{7!\cdot 7}\pm \cdots$

$\mathrm{Ci}(x)=\gamma +\ln x+\sum _{n=1}^{+\mathrm{\infty }}\frac{(-1{)}^n{x}^{2n}}{2n(2n)!}=\gamma +\ln x-\frac{x^2}{2!\cdot 2}+\frac{x^4}{4!\cdot 4}\mp \cdots$

è invece convergente per ogni $x\in ℂ$, sebbene per $|x|\gg 1$ la serie converga inizialmente in modo lento, richiedendo molti termini per una stima precisa.

Esponenziale integrale

Template:Vedi anche La funzione integrale esponenziale:

${\mathrm{E}}_1(z)=\underset{1}{\overset{+\mathrm{\infty }}{\int }}\frac{\exp (-zt)}{t}dt\mathrm{R}\mathrm{e}(z)\ge 0$

è strettamente legata con $\mathrm{Si}(x)$ e $\mathrm{Ci}(x)$:

${\mathrm{E}}_1(ix)=i(-\frac{\pi }{2}+\mathrm{Si}(x))-\mathrm{Ci}(x)=i\mathrm{si}(x)-\mathrm{ci}(x)x>0$

Bibliografia

• Template:De Niels Nielsen (1906): Theorie des Integrallogarithmus und verwandter Transzendenten, Teubner
• Template:En Milton Abramowitz, Irene A. Stegun, eds. (1972): Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, Dover, (Chapter 5)
• Template:En Harris, F. E. "Spherical Bessel Expansions of Sine, Cosine, and Exponential Integrals." Appl. Numer. Math. 34, 95-98, 2000.
• Template:En Havil, J. Gamma, Exploring Euler's Constant. Princeton, NJ. Princeton University Press, pp. 105-106, 2003.

Voci correlate

• Coseno
• Costante di Eulero-Mascheroni
• Funzione integrale esponenziale
• Funzioni iperboliche
• Seno (matematica)
• Tavola degli integrali indefiniti di funzioni trigonometriche

Collegamenti esterni

• Template:Collegamenti esterni
• Template:SpringerEOM
• Template:SpringerEOM
• Template:Mathworld
• Template:Mathworld
• Template:En Sine Integral Taylor series proof from Dan Sloughter's Difference Equations to Differential Equations Template:Webarchive.