三角積分

正弦積分 (sine integral) は正弦関数を含む積分によって定義される関数である。

${\displaystyle {\begin{aligned}&\operatorname {Si} (z)=\int _{0}^{z}{\frac {\sin {t}}{t}}\mathrm {d} t\\&\operatorname {si} (z)=-\int _{z}^{\infty }{\frac {\sin {t}}{t}}\mathrm {d} t=\operatorname {Si} (z)-{\frac {\pi }{2}}\end{aligned}}}$

被積分関数は非正規化Sinc関数といい、球ベッセル関数のα=0のときの値に等しい。

余弦積分 (cosine integral) は余弦関数を含む積分によって定義される関数である。

${\displaystyle \operatorname {Ci} (z)=-\int _{z}^{\infty }{\frac {\cos {t}}{t}}\,\operatorname {d} \!t}$

複素関数としての余弦積分は多価であるが、次のように複素対数関数と正則関数の和で表すことができる。

${\displaystyle {\begin{aligned}\operatorname {Ci} (z)&=\gamma +\log {z}-\operatorname {Cin} (z)\\\operatorname {Cin} (z)&=\int _{0}^{z}{\frac {1-\cos {t}}{t}}\,\operatorname {d} \!t\end{aligned}}}$

Summarize Timeline Top Qs Fact Check

• ${\displaystyle {d \over dz}\operatorname {Si} (z)={d \over dz}\operatorname {si} (z)={\frac {\sin(z)}{z}}}$
• ${\displaystyle {d \over dz}\operatorname {Ci} (z)={\frac {\cos(z)}{z}}}$
• ${\displaystyle \int \operatorname {Si} (z)dz=z\operatorname {Si} (z)+\cos(z)+C}$
• ${\displaystyle \int \operatorname {Ci} (z)dz=z\operatorname {Ci} (z)-\sin(z)+C}$

また、Si(z)のz→∞のときの値

${\displaystyle \lim _{z\rightarrow \infty }\operatorname {Si} (z)=\int _{0}^{\infty }{\frac {\sin(t)}{t}}dt={\frac {\pi }{2}}}$

はディリクレ積分といい、複素積分などを用いることによって示せる。

ローラン級数

${\displaystyle \operatorname {Si} (z)=z\sum _{k=0}^{\infty }{\frac {(-1)^{k}z^{2k}}{(2k+1)^{2}(2k)!}}}$

${\displaystyle \operatorname {Ci} (z)=\gamma +\log(z)+{\frac {1}{2}}\sum _{k=0}^{\infty }{\frac {(-1)^{k}z^{2k}}{k(2k)!}}}$

ベッセル級数

${\displaystyle \operatorname {Si} (z)=\pi \sum _{k=0}^{\infty }J_{{\frac {1}{2}}+k}{\Bigl (}{\frac {z}{2}}{\Bigr )}^{2}}$

超幾何級数

${\displaystyle \operatorname {Si} (z)=z\cdot {_{2}F_{1}}\left[{\begin{matrix}{\frac {1}{2}}\\{\frac {3}{2}},{\frac {3}{2}}\end{matrix}};-{\frac {z^{2}}{4}}\right]}$

${\displaystyle {\begin{aligned}\operatorname {Ci} (z)&=\gamma +\log {z}-{\frac {z^{2}}{4}}\cdot {_{2}F_{3}}\left[{\begin{matrix}1,1\\2,2,{\frac {3}{2}}\end{matrix}};-{\frac {z^{2}}{4}}\right]\\\end{aligned}}}$

${\displaystyle \operatorname {Ein} (\pm iz)=\operatorname {Cin} (z)\pm i\operatorname {Si} (z)}$