e^(ikx)の和
\(n\in\mathbb{N}_{0}\)とする。
\[ \sum_{k=-n}^{n}e^{ikx}=\frac{\sin\left\{ \left(n+\frac{1}{2}\right)x\right\} }{\sin\frac{x}{2}} \]
\[ \sum_{k=-n}^{n}e^{ikx}=\frac{\sin\left\{ \left(n+\frac{1}{2}\right)x\right\} }{\sin\frac{x}{2}} \]
\begin{align*}
\sum_{k=-n}^{n}e^{ikx} & =\sum_{k=0}^{2n}e^{i(k-n)x}\\
& =e^{-inx}\sum_{k=0}^{2n}e^{ikx}\\
& =e^{-inx}\frac{1-e^{i(2n+1)x}}{1-e^{ix}}\\
& =\frac{e^{-inx}-e^{i(n+1)x}}{1-e^{ix}}\\
& =\frac{e^{-i\left(n+\frac{1}{2}\right)x}-e^{i\left(n+\frac{1}{2}\right)x}}{e^{-i\frac{x}{2}}-e^{i\frac{x}{2}}}\\
& =\frac{\sin\left\{ \left(n+\frac{1}{2}\right)x\right\} }{\sin\frac{x}{2}}
\end{align*}
ページ情報
| タイトル | e^(ikx)の和 |
| URL | https://www.nomuramath.com/ohqhumvt/ |
| SNSボタン |
偏角・対数と符号関数の関係
\[
\Arg\left(z\right)=-i\Log\left(\sgn\left(z\right)\right)
\]
上極限・下極限は存在
ベータ関数の関数等式
\[
xB(x,y+1)=yB(x+1,y)
\]
連結と非連結の定義
\[
\exists O_{1},O_{2}\in\mathcal{O},X=O_{1}\cup O_{2}\land O_{1}\cap O_{2}=\emptyset\land O_{1}\ne\emptyset\land O_{2}\ne\emptyset
\]