ヘヴィサイド関数と符号
ヘヴィサイド関数と符号
ヘヴィサイド関数\(H_{c}\left(x\right)\)は次を満たす。
ヘヴィサイド関数\(H_{c}\left(x\right)\)は次を満たす。
(1)
\[ H_{c}\left(x\right)f\left(x\right)=H_{c}\left(x\right)f\left(\left|x\right|\right) \](2)
\[ H_{c}\left(x\right)f\left(-x\right)=H_{c}\left(x\right)f\left(-\left|x\right|\right) \](3)
\[ H_{c}\left(x\right)f\left(\pm x\right)=H_{c}\left(x\right)f\left(\pm\left|x\right|\right) \](4)
\[ H_{c}\left(\pm x\right)f\left(x\right)=H_{c}\left(\pm x\right)f\left(\pm\left|x\right|\right) \](1)
\begin{align*} H_{c}\left(x\right)f\left(x\right) & =\begin{cases} H_{c}\left(x\right)f\left(\left|x\right|\right) & 0<x\\ H_{c}\left(x\right)f\left(\left|x\right|\right) & x<0 \end{cases}\\ & =H_{c}\left(x\right)f\left(\left|x\right|\right) \end{align*}(2)
\begin{align*} H_{c}\left(x\right)f\left(-x\right) & =\begin{cases} H_{c}\left(x\right)f\left(-\left|x\right|\right) & 0<x\\ H_{c}\left(x\right)f\left(-\left|x\right|\right) & x<0 \end{cases}\\ & =H_{c}\left(x\right)f\left(-\left|x\right|\right) \end{align*}(3)
(1)(2)より、\[ H_{c}\left(x\right)f\left(\pm x\right)=H_{c}\left(x\right)f\left(\pm\left|x\right|\right) \] が成り立つ。
(4)
(3)より、\(H_{c}\left(x\right)f\left(\pm x\right)=H_{c}\left(x\right)f\left(\pm\left|x\right|\right)\)で\(x\rightarrow\pm x\)とすると、\[ H_{c}\left(\pm x\right)f\left(x\right)=H_{c}\left(\pm x\right)f\left(\pm\left|x\right|\right) \] となるので与式は成り立つ。
ページ情報
タイトル | ヘヴィサイド関数と符号 |
URL | https://www.nomuramath.com/hsna6lsm/ |
SNSボタン |
ヘヴィサイドの階段関数の負数・和・差
\[
H_{a}\left(-x\right)=-H_{a}\left(x\right)+1+\left(2a-1\right)\delta_{0,x}
\]
ヘヴィサイドの階段関数の複素積分表示
\[
H_{\frac{1}{2}}\left(x\right)=\frac{1}{2\pi i}\lim_{\epsilon\rightarrow0+}\int_{-\infty}^{\infty}\frac{1}{z-i\epsilon}e^{ixz}dz
\]
ヘヴィサイドの階段関数と単位ステップ関数の定義
\[
H_{a}\left(x\right)=\begin{cases}
0 & \left(x<0\right)\\
a & \left(x=0\right)\\
1 & \left(0<x\right)
\end{cases}
\]
ヘヴィサイドの階段関数の問題
\[
f\left(H\left(\pm_{1}1\right)\right)g\left(-H\left(\pm_{1}1\right)\right)\pm_{2}f\left(-H\left(\mp_{1}1\right)\right)g\left(H\left(\mp_{1}1\right)\right)=\left\{ f\left(0\right)g\left(0\right)+f\left(\pm1\right)g\left(\mp1\right)\right\} H\left(\pm_{2}1\right)\mp_{1}\left\{ f\left(0\right)g\left(0\right)-f\left(\pm_{1}1\right)g\left(\mp_{1}1\right)\right\} H\left(\mp_{2}1\right)
\]