схематичне зображення дельта функції як лінії з якої виступає стрілка. Висота стрілки відображає число, яке можна розцінювати як площу під графіком функції .
Дельта функція Дірака як границя (в сенсі границі за розподілом ) послідовності гаусівських функцій розподілу
δ
a
(
x
)
=
1
a
π
e
−
x
2
/
a
2
{\displaystyle \delta _{a}(x)={\frac {1}{a{\sqrt {\pi }}}}\mathrm {e} ^{-x^{2}/a^{2}}}
as
a
→
0.
{\displaystyle a\to 0.}
δ-функція — це узагальнена функція , формально визначається як неперервний лінійний функціонал у просторі диференційовних функцій .
δ-функція не є функцією в класичному розумінні.
Введена англійським фізиком Діраком . Дозволяє записати просторову густину фізичної величини (маса , електричний заряд , інтенсивність джерела тепла, сили тощо) зосередженою або прикладеною в одній точці. Наприклад, густина точкової маси m, що знаходиться в точці
a
{\displaystyle a}
, евклідового простору
R
n
{\displaystyle \mathbb {R} ^{n}}
, записується за допомогою δ-функції у вигляді
m
δ
(
x
−
a
)
{\displaystyle \ m\delta (x-a)}
.
δ-функція визначається формальним співвідношенням
(
δ
;
f
)
=
∫
R
n
δ
(
x
−
a
)
f
(
x
)
d
x
=
f
(
a
)
{\displaystyle (\delta ;f)\;=\;\int _{\mathbb {R} ^{n}}\delta (x-a)f(x)\;dx=f(a)}
для будь-якої неперервної функції
f
(
x
)
{\displaystyle f(x)\,}
.
Для дельта-функції однієї змінної справедливі такі рівняння:
δ
(
x
)
=
0
,
∀
x
≠
0
{\displaystyle \delta (x)=0,\qquad \forall x\not =0}
.
∫
−
∞
∞
δ
(
x
)
d
x
=
1
{\displaystyle \int \limits _{-\infty }^{\infty }\delta (x)\,dx=1}
.
x
δ
′
(
x
)
=
−
δ
(
x
)
{\displaystyle x\delta ^{\prime }(x)=-\delta (x)}
.
δ
(
f
(
x
)
)
=
∑
k
δ
(
x
−
x
k
)
|
f
′
(
x
k
)
|
{\displaystyle \delta (f(x))=\sum _{k}{\frac {\delta (x-x_{k})}{|f'(x_{k})|}}}
, де
x
k
{\displaystyle x_{k}}
— нулі функції
f
(
x
)
{\displaystyle f(x)}
.
У багатьох випадках зручним виявляється таке представлення дельта-функції:
Розглянемо інтеграл
I
(
t
)
=
∫
−
∞
∞
e
i
ω
t
d
ω
{\displaystyle I(t)=\int \limits _{-\infty }^{\infty }e^{i\omega t}\,d\omega }
, (1)
який можна інтерпретувати як границю
I
(
t
)
=
lim
N
=
∞
∫
−
N
N
e
i
ω
t
d
ω
=
lim
N
=
∞
2
π
N
sin
t
N
π
t
N
{\displaystyle I(t)=\lim _{N=\infty }\int _{-N}^{N}e^{i\omega t}\,d\omega =\lim _{N=\infty }2\pi N{\frac {\sin {tN}}{\pi tN}}}
. (2)
Відомо, що
∫
−
∞
∞
sin
t
t
d
t
=
π
{\displaystyle \int \limits _{-\infty }^{\infty }{\frac {\sin {t}}{t}}\,dt=\pi }
. (3)
Як наслідок з (3) для будь-якого
N
{\displaystyle N\,}
справедлива рівність:
∫
−
∞
∞
2
N
sin
t
N
t
N
d
t
=
2
π
{\displaystyle \int \limits _{-\infty }^{\infty }2N{\frac {\sin {tN}}{tN}}\,dt=2\pi }
. (4)
Можна показати, що при необмеженому зростанні
N
{\displaystyle N\,}
виявляються правильними всі властивості дельта-функції і функція (2) прямує до
δ
(
t
)
{\displaystyle \delta (t)\,}
; це дозволяє зробити висновок, що:
I
(
t
)
=
∫
−
∞
∞
e
i
ω
t
d
ω
=
2
π
δ
(
t
)
{\displaystyle I(t)=\int _{-\infty }^{\infty }e^{i\omega t}\,d\omega =2\pi \delta (t)}
.
Фундаментальний вираз, що описує похідну дельта-функції
δ
(
x
)
{\displaystyle \delta (x)}
:
∫
f
(
x
)
δ
[
n
]
(
x
)
d
x
=
−
∫
∂
f
∂
x
δ
[
n
−
1
]
(
x
)
d
x
{\displaystyle \int f(x)\delta ^{[n]}(x)\,dx=-\int {\frac {\partial f}{\partial x}}\delta ^{[n-1]}(x)\;dx}
.
Підставивши
f
(
x
)
=
x
g
(
x
)
{\displaystyle f(x)=xg(x)\,\!}
, одержимо вираз:
∫
x
g
(
x
)
δ
′
(
x
)
d
x
=
−
∫
δ
(
x
)
∂
∂
x
[
x
g
(
x
)
]
d
x
{\displaystyle \int xg(x)\delta ^{\prime }(x)\;dx=-\int \delta (x){\frac {\partial }{\partial x}}[xg(x)]\;dx}
.
Після перетворення маємо:
−
∫
δ
(
x
)
[
g
(
x
)
+
x
g
′
(
x
)
]
d
x
=
−
∫
g
(
x
)
δ
(
x
)
d
x
{\displaystyle -\int \delta (x)[g(x)+xg^{\prime }(x)]\;dx=-\int g(x)\delta (x)\;dx}
.
Оскільки
∫
x
g
′
(
x
)
δ
(
x
)
d
x
=
0
{\displaystyle \int xg^{\prime }(x)\delta (x)\;dx=0}
, одержуємо остаточний вираз
x
δ
′
(
x
)
=
−
δ
(
x
)
{\displaystyle x\delta ^{\prime }(x)=-\delta (x)}
.
У загальному вигляді вираз похідної дельта-функції записується так:
∫
[
x
n
f
(
x
)
]
δ
n
(
x
)
d
x
=
(
−
1
)
n
∫
∂
n
[
x
n
f
(
x
)
]
∂
x
n
δ
(
x
)
d
x
{\displaystyle \int [x^{n}f(x)]\delta ^{n}(x)\;dx=(-1)^{n}\int {\frac {\partial ^{n}[x^{n}f(x)]}{\partial x^{n}}}\delta (x)\;dx}
.
Для довільної дельта-функції справджуються наступні тотожності:
δ
′
(
−
x
)
=
−
δ
′
(
x
)
{\displaystyle \delta ^{\prime }(-x)=-\delta ^{\prime }(x)}
;
∫
−
∞
+
∞
f
(
x
)
δ
′
(
x
−
a
)
d
x
=
−
f
′
(
a
)
{\displaystyle \int \limits _{-\infty }^{+\infty }f(x)\delta ^{\prime }(x-a)\;dx=-f^{\prime }(a)}
;
∫
−
1
1
δ
(
1
x
)
d
x
=
0
{\displaystyle \int \limits _{-1}^{1}\delta \left({\frac {1}{x}}\right)\;dx=0}
.
До дельта-функції
x
(
t
)
=
δ
(
t
)
{\displaystyle x(t)=\delta (t)}
можна застосувати перетворення Фур'є :
∫
−
∞
+
∞
δ
(
t
)
⋅
e
−
i
2
π
f
t
d
t
=
e
−
i
2
π
f
⋅
0
=
1
{\displaystyle \int \limits _{-\infty }^{+\infty }\delta (t)\cdot e^{-i2\pi ft}\,dt=e^{-i2\pi f\cdot 0}=1}
в результаті одержуємо, що спектр δ-функції є константою:
F
(
δ
)
=
1
{\displaystyle F(\delta )=1}
.
Доведено, що похідна функції Гевісайда дорівнює дельта-функції. Тобто Функція Гевісайда — первісна дельта-функції:
H
(
x
)
=
∫
−
∞
x
δ
(
t
)
d
t
{\displaystyle H(x)=\int \limits _{-\infty }^{x}\delta (t)\,dt}
.
Отже, застосувавши перетворення Фур'є до первісної дельта-функції
2
π
H
(
t
)
{\displaystyle {\sqrt {2\pi }}H(t)}
,
одержимо її образ у вигляді:
1
i
ω
+
π
δ
(
t
)
{\displaystyle {\frac {1}{i\omega }}+{\pi }\delta (t)}
.
Представлення в різних координатах і системах відліку[ ред. | ред. код ]
У двовимірному просторі:
∬
−
∞
+
∞
δ
2
(
x
,
y
)
d
x
d
y
=
1
{\displaystyle \iint \limits _{-\infty }^{+\infty }\delta ^{2}(x,\;y)\,dx\,dy=1}
;
δ
(
a
x
,
b
y
)
=
1
|
a
b
|
δ
2
(
x
,
y
)
{\displaystyle \delta (ax,\;by)={\frac {1}{\left|ab\right|}}\delta ^{2}(x,\;y)}
;
δ
2
(
x
,
y
)
=
δ
(
x
)
δ
(
y
)
{\displaystyle \delta ^{2}(x,\;y)=\delta (x)\delta (y)\,\!}
.
У полярних координатах:
δ
2
(
x
,
y
)
=
δ
(
r
)
π
|
r
|
{\displaystyle \delta ^{2}(x,\;y)={\frac {\delta (r)}{\pi \left|r\right|}}}
.
У тривимірному просторі:
∭
−
∞
+
∞
δ
3
(
x
,
y
,
z
)
d
x
d
y
d
z
=
1
{\displaystyle \iiint \limits _{-\infty }^{+\infty }\delta ^{3}(x,\;y,\;z)\,dx\,dy\,dz=1}
;
δ
3
(
x
,
y
,
z
)
=
δ
(
x
)
δ
(
y
)
δ
(
z
)
{\displaystyle \delta ^{3}(x,\;y,\;z)=\delta (x)\delta (y)\delta (z)\,\!}
.
У циліндричній системі:
δ
3
(
r
,
θ
,
z
)
=
δ
(
r
)
δ
(
z
)
π
r
{\displaystyle \delta ^{3}(r,\;\theta ,\;z)={\frac {\delta (r)\delta (z)}{\pi r}}}
.
У сферичній системі відліку:
δ
3
(
r
,
θ
,
ϕ
)
=
δ
(
r
)
2
π
r
2
{\displaystyle \delta ^{3}(r,\;\theta ,\;\phi )={\frac {\delta (r)}{2\pi r^{2}}}\,\!}
.
Графік функції Гевісайда , похідна від якої — дельта-функція
Графік дельта-функції
Прикладом застосування дельта-функції Дірака може служити задача про зіткнення двох тіл. Якщо на непорушне тіло налітає інше, то обидва тіла отримують прискорення і змінюють свою швидкість. Як розрахувати прискорення раніше нерухомого тіла? Побудуємо графік швидкості від часу. Графік буде мати вигляд, показаний на верхньому рисунку праворуч. На нижньому рисунку приведений графік дельта-функції з одиничною амплітудою, він відображає миттєвий процес набору швидкості тілом.
Беручи до уваги те, що модель розглядається в евклідовому просторі, можна записати наступне рівняння:
a
(
t
)
=
ν
δ
(
t
−
t
a
)
{\displaystyle a(t)=\nu \delta (t-t_{a})}
.
Розглянемо інші приклади. Дельта-функція застосовується у математичній фізиці при розв'язку задач, У які входять зосереджені величини. В квазікласичному наближенні
h
→
0
{\displaystyle h\rightarrow 0}
хвильові функції локалізуються в дельта-функції, а центри їх зосередження рухаються по класичних траєкторіях за рівняннями Ньютона . Через дельта-функцію, також записується функція Гріна лінійного оператора
L
{\displaystyle L}
, що діє на узагальнені функції над многовидом
M
{\displaystyle M}
в точці
x
0
{\displaystyle x_{0}}
. Рівняння має вигляд
(
∇
2
f
)
(
x
)
=
δ
(
x
−
x
0
)
{\displaystyle (\nabla ^{2}f)(x)=\delta (x-x_{0})}
.
де
∇
2
{\displaystyle \nabla ^{2}}
— оператор Лапласа .
Важливо відмітити наступну формулу
∇
2
G
=
−
4
π
δ
{\displaystyle \nabla ^{2}G=-4\pi \delta }
,
де
G
=
1
r
{\displaystyle G={\frac {1}{r}}}
— функція Гріна .
Цей вираз випливає з того, що
∇
2
(
1
r
)
{\displaystyle \nabla ^{2}\left({\frac {1}{r}}\right)}
веде себе подібно до дельта-функції.[ 1] . Це твердження використовується для доведення того, що вираз для скалярного потенціала :
Φ
(
x
)
=
∫
ϱ
(
x
′
)
|
x
−
x
′
|
d
3
x
′
{\displaystyle \Phi (x)=\int {\varrho (x^{\prime }) \over \left|x-x^{\prime }\right|}\,d^{3}x^{\prime }}
задовольняє рівнянню Пуасона :
∇
2
Φ
=
4
π
ϱ
{\displaystyle \nabla ^{2}\Phi =4\pi \varrho }
.
Таким чином, дельта-функція є потужним математичним апаратом для опису складних фізичних процесів.
Дискретні одновимірні зі скінченним носієм Дискретні одновимірні з нескінченним носієм Неперервні одновимірні з носієм на обмеженому проміжку Неперервні одновимірні з носієм на напів-нескінченному проміжку Неперервні одновимірні з носієм на всій дійсній прямій Неперервні одновимірні з носієм змінного типу Змішані неперервно-дискретні одновимірні Багатовимірні (спільні) Напрямкові Вироджені та сингулярні [en] Сімейства