схематичне зображення дельта функції як лінії з якої виступає стрілка. Висота стрілки відображає число, яке можна розцінювати як площу під графіком функції . Дельта функція Дірака як границя (в сенсі границі за розподілом ) послідовності гаусівських функцій розподілу δ 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] Сімейства