imported>Paul Wormer |
|
Line 100: |
Line 100: |
| \int_{-\infty}^{\infty} \frac{f(x)}{x} \mathrm{d}x \Rightarrow \mathrm{P}\int_{-\infty}^{\infty} \frac{f(x)}{x} \mathrm{d}x, | | \int_{-\infty}^{\infty} \frac{f(x)}{x} \mathrm{d}x \Rightarrow \mathrm{P}\int_{-\infty}^{\infty} \frac{f(x)}{x} \mathrm{d}x, |
| </math> | | </math> |
| and the result follows. | | and the result follows.[[Category:Suggestion Bot Tag]] |
Latest revision as of 12:01, 26 August 2024
In mathematics, physics, and engineering the Heaviside step function is the following function,
![{\displaystyle H(x)={\begin{cases}1&\quad {\hbox{if}}\quad x>0\\0&\quad {\hbox{if}}\quad x<0\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e220051100634bec3845cd5c33ad5c1d0a8f4e60)
The function is undetermined for x = 0, sometimes one defines
.
From the definition it follows immediately that
![{\displaystyle H(x-a)={\begin{cases}1&\quad {\hbox{if}}\quad x>a\\0&\quad {\hbox{if}}\quad x<a\\\end{cases}}\qquad \quad {\hbox{and}}\quad H(-x)={\begin{cases}0&\quad {\hbox{if}}\quad x>0\\1&\quad {\hbox{if}}\quad x<0\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eaf8a9beb0c46f21e181ef8a2b2a291bce97216a)
The function is named after the English mathematician Oliver Heaviside.
Derivative
Note that a block ("boxcar") function BΔ of width Δ and height 1/Δ can be given in terms of step functions (for positive Δ), namely
![{\displaystyle B_{\Delta }(x)={\frac {H(x+\Delta /2)-H(x-\Delta /2)}{\Delta }}={\begin{cases}{\frac {0-0}{\Delta }}=0&\quad {\hbox{if}}\quad x<-\Delta /2\\{\frac {1-0}{\Delta }}={\frac {1}{\Delta }}&\quad {\hbox{if}}\quad -\Delta /2<x<\Delta /2\\{\frac {1-1}{\Delta }}=0&\quad {\hbox{if}}\quad x>\Delta /2\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/395760b57b7628e72c6256ae225a9c08b822e2d9)
Knowing this, the derivative of H follows easily
![{\displaystyle {\frac {dH(x)}{dx}}=\lim _{\Delta \rightarrow 0}{\frac {H(x+\Delta /2)-H(x-\Delta /2)}{\Delta }}=\lim _{\Delta \rightarrow 0}B_{\Delta }(x)=\delta (x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79d222e5f2cd39fe02728ee95cdbcf584ceb3473)
where δ(x) is the Dirac delta function, which may be defined as the block function in the limit of zero width, see the article on the Dirac delta function.
The step function is a generalized function (a distribution).
When H(x) is multiplied under the integral by the derivative of an arbitrary differentiable function f(x) that vanishes for plus/minus infinity, the result of the integral is minus the function value for x = 0,
![{\displaystyle \int _{-\infty }^{\infty }H(x){\frac {df(x)}{dx}}\mathrm {d} x=-\int _{-\infty }^{\infty }{\frac {dH(x)}{dx}}f(x)\mathrm {d} x=-\int _{-\infty }^{\infty }\delta (x)f(x)\mathrm {d} x=-f(0).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46754cbe4d22db81ddb444b7bb132804fa8d8fb9)
Here the "turnover rule" for d/dx is used, which may be proved by integration by parts and which holds when f(x) vanishes at the integration limits.
H(x) as limit of arctan
[arctan(ε/x)]/π goes to
H(−
x) for decreasing positive ε.
In the figure it is shown that
![{\displaystyle {\frac {1}{\pi }}\lim _{\epsilon \rightarrow 0^{+}}\arctan(\epsilon /x)=H(-x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c5fade83b42ac2de3c30dc9f5383d511fa06dab)
Note here that the function arctan returns angles on the full interval 0 to 2π. In particular, if a point x + iy in the complex plane has x < 0 and y approaches zero from above, then the function arctan returns a value approaching π. Most computer languages use a two parameter function for this form of the inverse tangent.
Fourier transform
![{\displaystyle {\mathcal {F}}(H)\equiv {\sqrt {\frac {1}{2\pi }}}\int _{-\infty }^{\infty }e^{-iux}H(x)dx={\sqrt {\frac {1}{2\pi }}}\left(\pi \delta (u)-i\mathrm {P} {\Big (}{\frac {1}{u}}{\Big )}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aef3dcbfc5b676e07ee8539b3f28effe0fe23c83)
where δ(u) is the Dirac delta function and P stands for the Cauchy principal value.
Proof
Write
![{\displaystyle {\begin{aligned}{\mathcal {F}}(H)&={\sqrt {\frac {1}{2\pi }}}\int _{0}^{\infty }e^{-iux}dx=\lim _{\epsilon \rightarrow 0^{+}}{\sqrt {\frac {1}{2\pi }}}\int _{0}^{\infty }e^{-iux-\epsilon x}dx=\\&=\lim _{\epsilon \rightarrow 0^{+}}{\sqrt {\frac {1}{2\pi }}}\left[{\frac {e^{-iux}e^{-\epsilon x}}{-iu-\epsilon }}\right]_{0}^{\infty }={\sqrt {\frac {1}{2\pi }}}\lim _{\epsilon \rightarrow 0^{+}}{\frac {1}{iu+\epsilon }},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acd9141ca8821d14f9520de9542cc5ca4a18d5f6)
where we used
![{\displaystyle \lim _{x\rightarrow \infty }e^{-iux}\,e^{-\epsilon x}=0,\quad \epsilon >0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5a2860abe0a668c9781112283c679b3122f6179)
Now use the following relation,
![{\displaystyle \lim _{\epsilon \rightarrow 0^{+}}{\frac {-i}{u-i\epsilon }}=-i\mathrm {P} {\Big (}{\frac {1}{u}}{\Big )}+\pi \delta (u)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95d91e5bb51446bddd76bb8f6343d4eaedaa8ed1)
and the result is proved.
In order to prove the last relation we write a complex number in polar form
![{\displaystyle x+iy=(x^{2}+y^{2})^{1/2}\;e^{i\alpha }\quad {\hbox{with}}\quad \alpha =\arctan(y/x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/341b24a222176b76aa520a701c24239b7a87ea7c)
Take the natural logarithm and the limit for y → 0
.
Differentiation of the last expression gives gives
![{\displaystyle \lim _{y\rightarrow 0^{+}}{\frac {1}{x+iy}}={\frac {1}{x}}-i\pi \delta (x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e3b1bc91657e4f45b67ee40c2a505c9ed688fd5)
In fact, the functions in this expression are distributions (generalized functions) and are to be used in an integrand multiplied by a well-behaved function f(x). Since 1/x is singular for x = 0, we must take the Cauchy principal value of the integral, i.e., exclude the singularity from the integral; we make the replacement
![{\displaystyle \int _{-\infty }^{\infty }{\frac {f(x)}{x}}\mathrm {d} x\Rightarrow \mathrm {P} \int _{-\infty }^{\infty }{\frac {f(x)}{x}}\mathrm {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d13ede86e2d9b51e89e57ad823b54be632b220d)
and the result follows.