のこぎり波の定義
のこぎり波の定義
周期\(2\pi\)の区間\(\left[-\pi,\pi\right]\)で定義された関数
\[ f\left(x\right):=x \] をのこぎり波という。
のこぎり波をフーリエ級数展開すると、
\[ F\left(x\right)=2\sum_{k=1}^{\infty}\frac{\left(-1\right)^{k-1}}{k}\sin\left(kx\right) \] となる。

周期\(1\)の区間\(\left[0,1\right]\)で
\[ f\left(x\right)=x-\left\lfloor x\right\rfloor \] とした関数。
この関数は区間\(\left[0,1\right]\)で\(f\left(x\right)=x\)となる。
周期\(a\)の区間\(\left[-\frac{a}{2},\frac{a}{2}\right]\)で
\[ f\left(x\right)=2\left(\frac{x}{a}-\left\lfloor \frac{x}{a}+\frac{1}{2}\right\rfloor \right) \] とした関数。
この関数は区間\(\left[-\frac{a}{2},\frac{a}{2}\right]\)で\(f\left(x\right)=\frac{2}{a}x\)となる。
周期\(2\pi\)の区間\(\left[-\pi,\pi\right]\)で定義された関数
\[ f\left(x\right):=x \] をのこぎり波という。
のこぎり波をフーリエ級数展開すると、
\[ F\left(x\right)=2\sum_{k=1}^{\infty}\frac{\left(-1\right)^{k-1}}{k}\sin\left(kx\right) \] となる。
-
のこぎり波\(f\left(x\right)\)は次のような定義もある。周期\(1\)の区間\(\left[0,1\right]\)で
\[ f\left(x\right)=x-\left\lfloor x\right\rfloor \] とした関数。
この関数は区間\(\left[0,1\right]\)で\(f\left(x\right)=x\)となる。
周期\(a\)の区間\(\left[-\frac{a}{2},\frac{a}{2}\right]\)で
\[ f\left(x\right)=2\left(\frac{x}{a}-\left\lfloor \frac{x}{a}+\frac{1}{2}\right\rfloor \right) \] とした関数。
この関数は区間\(\left[-\frac{a}{2},\frac{a}{2}\right]\)で\(f\left(x\right)=\frac{2}{a}x\)となる。
-
\(\left\lfloor x\right\rfloor \)は床関数のこぎり波\(f\left(x\right)\)のフーリエ係数\(C_{k}\)は
\(k\ne0\)のとき、
\begin{align*} C_{k} & =\frac{1}{2\pi}\int_{-\pi}^{\pi}xe^{-ikx}dx\\ & =\frac{1}{2\pi}\left(\left[\frac{-1}{ik}xe^{-ikx}\right]_{-\pi}^{\pi}+\int_{-\pi}^{\pi}e^{-ikx}dx\right)\\ & =\frac{1}{2\pi}\left(\frac{-1}{ik}\left(\pi e^{-ik\pi}+\pi e^{ik\pi}\right)-\left[\frac{1}{ik}e^{-ikx}\right]_{\pi}^{\pi}\right)\\ & =\frac{1}{2\pi}\left(\frac{-\pi}{ik}\left(e^{-ik\pi}+e^{ik\pi}\right)-\frac{1}{ik}\left(e^{-ik\pi}-e^{ik\pi}\right)\right)\\ & =\frac{1}{2\pi}\left(\frac{-2\pi}{ik}\cos\left(k\pi\right)+\frac{2i}{ik}\sin\left(k\pi\right)\right)\\ & =\frac{i}{k}\cos\left(k\pi\right)\\ & =\frac{\left(-1\right)^{k}i}{k} \end{align*} \(k=0\)のとき、
\begin{align*} C_{0} & =\frac{1}{2\pi}\int_{-\pi}^{\pi}xe^{-i0x}dx\\ & =\frac{1}{2\pi}\int_{-\pi}^{\pi}xdx\\ & =\frac{1}{2\pi}\left[\frac{1}{2}x^{2}\right]_{-\pi}^{\pi}\\ & =\frac{1}{2\pi}\cdot\frac{1}{2}\left(\pi^{2}-\left(-\pi\right)^{2}\right)\\ & =0 \end{align*} となるのでフーリエ級数展開\(F\left(x\right)\)は、
\begin{align*} F\left(x\right) & =\sum_{k=-\infty}^{\infty}C_{k}e^{ikx}\\ & =\sum_{k\ne0}C_{k}e^{ikx}\\ & =\sum_{k=1}^{\infty}\left(C_{k}e^{ikx}+C_{-k}e^{-ikx}\right)\\ & =\sum_{k=1}^{\infty}\left(\frac{\left(-1\right)^{k}i}{k}e^{ikx}-\frac{\left(-1\right)^{k}i}{k}e^{-ikx}\right)\\ & =\sum_{k=1}^{\infty}\frac{\left(-1\right)^{k}i}{k}\left(e^{ikx}-e^{-ikx}\right)\\ & =\sum_{k=1}^{\infty}\frac{\left(-1\right)^{k}i}{k}\cdot2i\sin\left(kx\right)\\ & =2\sum_{k=1}^{\infty}\frac{\left(-1\right)^{k-1}}{k}\sin\left(kx\right) \end{align*} となる。
\(k\ne0\)のとき、
\begin{align*} C_{k} & =\frac{1}{2\pi}\int_{-\pi}^{\pi}xe^{-ikx}dx\\ & =\frac{1}{2\pi}\left(\left[\frac{-1}{ik}xe^{-ikx}\right]_{-\pi}^{\pi}+\int_{-\pi}^{\pi}e^{-ikx}dx\right)\\ & =\frac{1}{2\pi}\left(\frac{-1}{ik}\left(\pi e^{-ik\pi}+\pi e^{ik\pi}\right)-\left[\frac{1}{ik}e^{-ikx}\right]_{\pi}^{\pi}\right)\\ & =\frac{1}{2\pi}\left(\frac{-\pi}{ik}\left(e^{-ik\pi}+e^{ik\pi}\right)-\frac{1}{ik}\left(e^{-ik\pi}-e^{ik\pi}\right)\right)\\ & =\frac{1}{2\pi}\left(\frac{-2\pi}{ik}\cos\left(k\pi\right)+\frac{2i}{ik}\sin\left(k\pi\right)\right)\\ & =\frac{i}{k}\cos\left(k\pi\right)\\ & =\frac{\left(-1\right)^{k}i}{k} \end{align*} \(k=0\)のとき、
\begin{align*} C_{0} & =\frac{1}{2\pi}\int_{-\pi}^{\pi}xe^{-i0x}dx\\ & =\frac{1}{2\pi}\int_{-\pi}^{\pi}xdx\\ & =\frac{1}{2\pi}\left[\frac{1}{2}x^{2}\right]_{-\pi}^{\pi}\\ & =\frac{1}{2\pi}\cdot\frac{1}{2}\left(\pi^{2}-\left(-\pi\right)^{2}\right)\\ & =0 \end{align*} となるのでフーリエ級数展開\(F\left(x\right)\)は、
\begin{align*} F\left(x\right) & =\sum_{k=-\infty}^{\infty}C_{k}e^{ikx}\\ & =\sum_{k\ne0}C_{k}e^{ikx}\\ & =\sum_{k=1}^{\infty}\left(C_{k}e^{ikx}+C_{-k}e^{-ikx}\right)\\ & =\sum_{k=1}^{\infty}\left(\frac{\left(-1\right)^{k}i}{k}e^{ikx}-\frac{\left(-1\right)^{k}i}{k}e^{-ikx}\right)\\ & =\sum_{k=1}^{\infty}\frac{\left(-1\right)^{k}i}{k}\left(e^{ikx}-e^{-ikx}\right)\\ & =\sum_{k=1}^{\infty}\frac{\left(-1\right)^{k}i}{k}\cdot2i\sin\left(kx\right)\\ & =2\sum_{k=1}^{\infty}\frac{\left(-1\right)^{k-1}}{k}\sin\left(kx\right) \end{align*} となる。
ページ情報
タイトル | のこぎり波の定義 |
URL | https://www.nomuramath.com/s16s3ttm/ |
SNSボタン |
分母に2乗のルートがある積分
\[
\int\frac{1}{\sqrt{z^{2}+\alpha}}dz=\frac{\sqrt{\alpha}\sqrt{\frac{z^{2}}{\alpha}+1}}{\sqrt{z^{2}+\alpha}}\sinh^{\bullet}\frac{z}{\sqrt{\alpha}}+C
\]
実数での上界・下界・有界・最大値・最小値の定義
\[
\left(\exists x\in A,\forall a\in A,a\leq x\right)\Leftrightarrow\max A=x
\]
『整列集合の基本的な性質』 を更新しました。
連結成分・弧状連結成分は最大の連結部分集合・弧状連結部分集合