Дельта-функция

Де́льта-фу́нкция (или дельта-мера, δ-функция, δ-функция Дирака, дираковская дельта, единичная импульсная функция) — обобщённая функция, которая позволяет записать точечное воздействие, а также пространственную плотность физических величин (масса, заряд, интенсивность источника тепла, сила и т. п.), сосредоточенных или приложенных в одной точке.

Схематический график одномерной дельта-функции.

Например, плотность единичной точечной массы m, находящейся в точке a одномерного евклидова пространства ${\mathbb{R}}^1,$$\R^1,$ записывается с помощью $\mathrm{\delta <!--\; \delta \; -->}$$\delta$-функции в виде $m\mathrm{\delta <!--\; \delta \; -->}(x-<!--\; -\; -->a).$$m\delta(x-a).$ Дельта-функция также применима для описания распределений заряда, массы и т. п. на поверхностях или линиях.

Несмотря на распространённую форму записи $\mathrm{\delta <!--\; \delta \; -->}(x),x\in <!--\; \in \; -->\mathbb{R},$$\delta (x),x\in \mathbb {R} ,$ $\mathrm{\delta <!--\; \delta \; -->}$$\delta$-функция не является функцией вещественной переменной, а определяется как обобщённая функция: непрерывный линейный функционал на пространстве дифференцируемых функций. Можно ввести производную для δ-функции, которая тоже будет обобщённой функцией, и интеграл, определяемый как функция Хевисайда. Нетрудно указать последовательности обычных классических функций, слабо сходящиеся к $\mathrm{\delta <!--\; \delta \; -->}$$\delta$-функции.

Можно различать одномерную и многомерные дельта-функции, однако последние могут быть представлены в виде произведения одномерных функций в количестве, равном размерности пространства, на котором определена многомерная функция.

Введена английским физиком Полем Дираком.

ОпределенияПравить

Существуют различные взгляды на понятие дельта-функции. Получающиеся при этом объекты, строго говоря, различны, однако обладают рядом общих характерных свойств. Все указанные ниже конструкции естественно обобщаются на случаи пространств большей размерности $({\mathbb{R}}^n,n>1)$$(\R^n,\ n>1)$ .

Простое определениеПравить

Дельта-функцию (функция Дирака) одной вещественной переменной можно определить как функцию $\mathrm{\delta <!--\; \delta \; -->}(x)$$\delta(x)$ , удовлетворяющую следующим условиям:

• $\delta(x)=\left\{\begin{matrix} +\infty, & x=0, \\ 0, & x\ne 0; \\ \end{matrix}\right.$ 
• $\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}\mathrm{\delta <!--\; \delta \; -->}(x)dx=1.$$\int\limits_{-\infty}^{+\infty}\delta(x)\,dx=1.$ 

То есть эта функция не равна нулю только в точке $x=0$$x=0$ , где она обращается в бесконечность таким образом, чтобы её интеграл по любой окрестности $x=0$$x=0$  был равен 1. В этом смысле понятие дельта-функции аналогично физическим понятиям точечной массы или точечного заряда. Для понимания интеграла полезно представить себе некую фигуру на плоскости с единичной площадью, например, треугольник. Если уменьшать основание данного треугольника и увеличивать высоту так, чтобы площадь была неизменной, то в предельном случае мы получим треугольник с малым основанием и очень большой высотой. По предположению его площадь равна единице, что и показывает интеграл. Вместо треугольника можно без ограничения общности использовать любую фигуру. Аналогичные условия верны и для дельта-функций, определённых на ${\mathbb{R}}^n.$$\mathbb{R}^n.$ 

Эти равенства не принято считать определением дельта-функции, однако во многих учебниках по физике она определяется именно так, и этого достаточно для точного определения дельта-функции. Отметим, что из данного определения дельта-функции вытекает следующее равенство

$\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}\mathrm{\delta <!--\; \delta \; -->}(x-<!--\; -\; -->y)f(x)dx=f(y)$$\int\limits_{-\infty}^{+\infty}\delta(x-y)f(x)\,dx=f(y)$ 

(фильтрующее свойство) для любой функции f. Действительно, в силу свойства $\mathrm{\delta <!--\; \delta \; -->}(x-<!--\; -\; -->y)=0$$\delta(x-y)=0$  при $x\ne <!--\; \ne \; -->y$$x\ne y$  значение этого интеграла не изменится, если функцию $f(x)$$f(x)$  заменить функцией $\stackrel{~<!--\; ~\; -->}{f}(x)$$\tilde{f}(x)$ , которая равна $f(x)$$f(x)$  в точке $x=y$$x=y$ , а в остальных точках имеет произвольные значения. Например, берём $\stackrel{~<!--\; ~\; -->}{f}(x)=f(y)=\mathrm{const}$$\tilde{f}(x)=f(y)=\operatorname {const}$ , затем выносим $f(y)$$f(y)$  за знак интеграла и, используя второе условие в определении дельта-функции, получаем нужное равенство.

Производные от дельта-функции также почти всюду равны 0 и обращаются в $\pm <!--\; \pm \; -->\mathrm{\infty <!--\; \infty \; -->}$$\pm\infty$  при $x=0$$x=0$ .

Классическое определениеПравить

Дельта-функция определяется как линейный непрерывный функционал на некотором функциональном пространстве (пространстве основных функций). В зависимости от цели и желаемых свойств, это может быть пространство функций с компактным носителем, пространство функций, быстро убывающих на бесконечности, гладких функций на многообразии, аналитических функций и т. д. Для того, чтобы были определены производные дельта-функции с хорошими свойствами, во всех случаях основные функции берутся бесконечно дифференцируемыми, пространство основных функций также должно быть полным метрическим пространством. Общий подход к обобщённым функциям см. в соответствующей статье. Такие обобщённые функции также называют распределениями.

Мы рассмотрим самый простой вариант. В качестве пространства основных функций рассмотрим пространство $\mathcal{E}$${\mathcal {E}}$  всех бесконечно дифференцируемых функций на отрезке. Последовательность ${\mathrm{\phi <!--\; \phi \; -->}}_n\in <!--\; \in \; -->\mathcal{E}$$\varphi_n\in\mathcal{E}$  сходится к $\mathrm{\phi <!--\; \phi \; -->}\in <!--\; \in \; -->\mathcal{E}$$\varphi\in\mathcal{E}$ , если на любом компакте $K\in <!--\; \in \; -->\mathbb{R}$$K\in\R$  функции ${\mathrm{\phi <!--\; \phi \; -->}}_n$$\varphi_n$  сходятся к $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$  равномерно вместе со всеми своими производными:

$\underset{n\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}{\mathrm{\phi <!--\; \phi \; -->}}_n=\mathrm{\phi <!--\; \phi \; -->}⟺<!--\; ⟺\; -->\underset{j}{sup}\underset{x\in <!--\; \in \; -->K}{sup}\left|{\mathrm{\phi <!--\; \phi \; -->}}_n^{(j)}(x)-<!--\; -\; -->{\mathrm{\phi <!--\; \phi \; -->}}^{(j)}(x)\right|\stackrel{n\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{\to }0.$$\lim_{n\to\infty}\varphi_n=\varphi\iff\sup_j\sup_{x\in K}\left|\varphi^{(j)}_n(x)-\varphi^{(j)}(x)\right|\xrightarrow{n\to\infty}\,0.$ 

Это локально выпуклое метризуемое пространство. Дельта-функцию определим как функционал $\mathrm{\delta <!--\; \delta \; -->}\in <!--\; \in \; -->{\mathcal{E}}^{\mathrm{\prime <!--\; \prime \; -->}}$$\delta\in\mathcal{E}^\prime$ , такой что

$\mathrm{\forall <!--\; \forall \; -->}\mathrm{\phi <!--\; \phi \; -->}\in <!--\; \in \; -->\mathcal{E}:⟨<!--\; ⟨\; -->\mathrm{\delta <!--\; \delta \; -->};\mathrm{\phi <!--\; \phi \; -->}⟩<!--\; ⟩\; -->=\mathrm{\phi <!--\; \phi \; -->}(0).$$\forall\varphi\in\mathcal{E}:\;\lang\delta;\;\varphi\rang=\varphi(0).$ 

Непрерывность означает, что если ${\mathrm{\phi <!--\; \phi \; -->}}_n\to <!--\; \to \; -->\mathrm{\phi <!--\; \phi \; -->}$$\varphi_n\to\varphi$ , то $⟨<!--\; ⟨\; -->\mathrm{\delta <!--\; \delta \; -->};{\mathrm{\phi <!--\; \phi \; -->}}_n⟩<!--\; ⟩\; -->\to <!--\; \to \; -->⟨<!--\; ⟨\; -->\mathrm{\delta <!--\; \delta \; -->};\mathrm{\phi <!--\; \phi \; -->}⟩<!--\; ⟩\; -->$$\lang\delta;\;\varphi_n\rang\to\lang\delta;\;\varphi\rang$ . Здесь $⟨<!--\; ⟨\; -->\mathrm{\delta <!--\; \delta \; -->};\mathrm{\phi <!--\; \phi \; -->}⟩<!--\; ⟩\; -->$$\lang\delta;\;\varphi\rang$  — значение функционала на функции $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$ .

Дельта-функция по КоломбоПравить

Используемому для работы с дельта-функцией интегральному выражению можно придать смысл, близкий к интуитивному, в рамках теории алгебры обобщённых функций Коломбо (англ. Colombeau algebra).

Пусть $\mathcal{D}$$\mathcal{D}$  — множество бесконечно дифференцируемых функций $f:<!--\; :\; -->\mathbb{R}\to <!--\; \to \; -->\mathbb{R}$$f\colon\R\to\R$  с компактным носителем, то есть не равных нулю лишь на ограниченном множестве. Рассмотрим множество функций

$\mathcal{A}=\left\{\mathrm{\phi <!--\; \phi \; -->}\in <!--\; \in \; -->\mathcal{D}|{\int <!--\; \int \; -->}_{\mathbb{R}}\mathrm{\phi <!--\; \phi \; -->}(x)dx=1,{\int <!--\; \int \; -->}_{\mathbb{R}}x\mathrm{\phi <!--\; \phi \; -->}(x)dx=0\right\}.$$\mathcal{A}=\left\{\varphi\in\mathcal{D}\,\bigg|\int_\R\varphi(x)\,dx=1,\;\int_\R x\varphi(x)\,dx=0\right\}.$ 

Обобщённая функция — это класс эквивалентности функций $R:<!--\; :\; -->\mathcal{A}\times <!--\; \times \; -->\mathbb{R}\to <!--\; \to \; -->\mathbb{R},$$R\colon\mathcal{A}\times\R\to\R,$  $R:<!--\; :\; -->(\mathrm{\phi <!--\; \phi \; -->},x)\mapsto <!--\; \mapsto \; -->R(\mathrm{\phi <!--\; \phi \; -->},x),$$R\colon(\varphi,\;x)\mapsto R(\varphi,\;x),$  бесконечно дифференцируемых по x при каждом $\mathrm{\phi <!--\; \phi \; -->}\in <!--\; \in \; -->\mathcal{A}$$\varphi\in\mathcal{A}$  и удовлетворяющих некоторому условию умеренности (полагая ${\mathrm{\phi <!--\; \phi \; -->}}_{\mathrm{\epsilon <!--\; \epsilon \; -->}}(x)={\mathrm{\epsilon <!--\; \epsilon \; -->}}^{-<!--\; -\; -->1}\mathrm{\phi <!--\; \phi \; -->}(x{\mathrm{\epsilon <!--\; \epsilon \; -->}}^{-<!--\; -\; -->1}),$$\varphi_\varepsilon(x)=\varepsilon^{-1}\varphi(x\varepsilon^{-1}),$  $R({\mathrm{\phi <!--\; \phi \; -->}}_{\mathrm{\epsilon <!--\; \epsilon \; -->}},x)$$R(\varphi_\varepsilon,\;x)$  и все её производные по x достаточно медленно растут при $\mathrm{\epsilon <!--\; \epsilon \; -->}\to <!--\; \to \; -->0$$\varepsilon\to 0$ ). Две функции полагаются эквивалентными, если $R_1-<!--\; -\; -->R_2\in <!--\; \in \; -->\mathcal{N}$$R_1-R_2\in\mathcal{N}$ , где $\mathcal{N}$$\mathcal{N}$  — ещё один класс функций с ограничениями на рост $R({\mathrm{\phi <!--\; \phi \; -->}}_{\mathrm{\epsilon <!--\; \epsilon \; -->}},x)$$R(\varphi_\varepsilon,\;x)$  при $\mathrm{\epsilon <!--\; \epsilon \; -->}\to <!--\; \to \; -->0.$$\varepsilon\to 0.$ 

Дельта-функция определяется как $\mathrm{\delta <!--\; \delta \; -->}(\mathrm{\phi <!--\; \phi \; -->},x)=\mathrm{\phi <!--\; \phi \; -->}(-<!--\; -\; -->x).$$\delta(\varphi,\;x)=\varphi(-x).$  Преимущество подхода Коломбо в том, что его обобщённые функции образуют коммутативную ассоциативную алгебру, при этом на множество обобщённых функций естественно продолжаются понятия интегрирования, дифференцирования, пределов, даже значения в точке. В этом смысле на дельта-функцию действительно можно смотреть как на функцию, равную 0 везде, кроме точки 0, и равную бесконечности в нуле, так как теория Коломбо включает в себя теорию бесконечно больших и бесконечно малых чисел, аналогично нестандартному анализу.

Подход ЕгороваПравить

Аналогичная теория обобщённых функций была изложена в работе Ю. В. Егорова. Хотя она не эквивалентна теории Коломбо, конструкция значительно проще и обладает большинством желаемых свойств.

Обобщённая функция — это класс эквивалентности последовательностей $f=(f_1,f_2,\dots <!--\; \dots \; -->),f_i\in <!--\; \in \; -->C^{\mathrm{\infty <!--\; \infty \; -->}}(\mathbb{R}).$$f=(f_1,\;f_2,\;\ldots),\;f_i\in C^\infty(\R).$  Последовательности $f$$f$  и $\stackrel{~<!--\; ~\; -->}{f}$$\tilde f$  считаются эквивалентными, если для любого компакта $\mathrm{\Omega <!--\; \Omega \; -->}⋐<!--\; ⋐\; -->\mathbb{R}$$\Omega\Subset\R$  функции последовательностей совпадают на $\mathrm{\Omega <!--\; \Omega \; -->}$$\Omega$  начиная с некоторого номера:

$f\sim <!--\; \sim \; -->\stackrel{~<!--\; ~\; -->}{f}⟺<!--\; ⟺\; -->\mathrm{\forall <!--\; \forall \; -->}\mathrm{\Omega <!--\; \Omega \; -->}⋐<!--\; ⋐\; -->\mathbb{R}\mathrm{\exists <!--\; \exists \; -->}N\mathrm{\forall <!--\; \forall \; -->}k>N:<!--\; :\; -->f_k{|}_{\mathrm{\Omega <!--\; \Omega \; -->}}={\stackrel{~<!--\; ~\; -->}{f}}_k{|}_{\mathrm{\Omega <!--\; \Omega \; -->}}.$$f\sim\tilde f\iff\forall\Omega\Subset\R\ \exists N\ \forall k>N\colon f_k|_\Omega={\tilde f}_k|_\Omega.$ 

Всевозможные операции над последовательностями (умножение, сложение, интегрирование, дифференцирование, композиция, …) определяются покомпонентно. Например, интеграл по множеству I определяется как класс эквивалентности последовательности

${\int <!--\; \int \; -->}_{I}f(x)dx=[(a_1,a_2,\dots <!--\; \dots \; -->)],a_i={\int <!--\; \int \; -->}_I{f}_i(x)dx.$$\int_I f(x)\,dx=[(a_1,\;a_2,\;\ldots)],\;a_i=\int_I f_i(x)\,dx.$ 

Две обобщённые функции слабо равны, если для любой бесконечно гладкой функции $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$ 

$\underset{k\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}{\int <!--\; \int \; -->}_I(f_k(x)-<!--\; -\; -->{\stackrel{~<!--\; ~\; -->}{f}}_k(x))\mathrm{\phi <!--\; \phi \; -->}(x)dx=0.$$\lim_{k\to\infty}\int_I(f_k(x)-{\tilde f}_k(x))\varphi(x)\,dx=0.$ 

При этом дельта-функция определяется любой дельта-образной последовательностью (см. ниже), все такие обобщённые функции слабо равны.

СвойстваПравить

• Дельта-функция чётная.
• Интеграл от дельта-функции по любому интервалу, содержащему в себе ноль, то есть интервалу вида $(-<!--\; -\; -->a_1,a_2),$$(-a_1,\;a_2),$  где $a_1$$a_{1}$  и $a_2$$a_{2}$  — произвольные действительные положительные числа, равен 1.
• $x{\mathrm{\delta <!--\; \delta \; -->}}^{\mathrm{\prime <!--\; \prime \; -->}}(x)=-<!--\; -\; -->\mathrm{\delta <!--\; \delta \; -->}(x).$$x\delta^\prime(x)=-\delta(x).$ 
• $\mathrm{\delta <!--\; \delta \; -->}(f(x))=\underset{k}{\sum <!--\; \sum \; -->}\frac{\mathrm{\delta <!--\; \delta \; -->}(x-<!--\; -\; -->x_k)}{|f^{\prime }(x_k)|}$$\delta(f(x))=\sum_k\frac{\delta(x-x_k)}{|f'(x_k)|}$ , где $x_k$$x_k$  — простые нули функции $f(x)$$f(x)$ .

 

Функция Хевисайда.

• Первообразной одномерной дельта-функции является функция Хевисайда:

$\theta (x)=\left\{{\begin{array}{*{35}{l}}0,&x<0,\\1,&x\geqslant 0.\\\end{array}}\right.$ 

• Фильтрующее свойство дельта-функции:

$\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}f(x)\mathrm{\delta <!--\; \delta \; -->}(x-<!--\; -\; -->x_0)dx=f(x_0).$$\int\limits_{-\infty}^{+\infty}f(x)\delta(x-x_0)\,dx=f(x_0).$ 

δ-Функция как слабый пределПравить

 

График функции $\frac{\sin <!--\; \; -->x}{x}.$$\frac{\sin x}{x}.$ 

Пусть $\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}f(x)dx=1.$$\int\limits_{-\infty}^{+\infty}f(x)\,dx=1.$ 

Тогда последовательность

$f_n(x)=nf(nx)$$f_n(x)=nf(nx)$ 

слабо сходится к $\mathrm{\delta <!--\; \delta \; -->}$$\delta$ -функции.

Выбор интегрируемой функции $f(x),$$f(x),$  определённый интеграл которой в пределах от $-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}$${-\infty }$  до $+\mathrm{\infty <!--\; \infty \; -->}$${+\infty }$  равен 1 произволен.

Например, в качестве $f(x)$$f(x)$  можно выбрать функцию sinc: $f(x)=\frac{\sin <!--\; \; -->\mathrm{\pi <!--\; \pi \; -->}x}{\mathrm{\pi <!--\; \pi \; -->}x},$$f(x)={\frac {\sin \pi x}{\pi x}},$  дающую последовательность:

$f_n(x)=n\frac{\sin <!--\; \; -->(n\mathrm{\pi <!--\; \pi \; -->}x)}{n\mathrm{\pi <!--\; \pi \; -->}x}=\frac{\sin <!--\; \; -->(n\mathrm{\pi <!--\; \pi \; -->}x)}{\mathrm{\pi <!--\; \pi \; -->}x}.$$f_{n}(x)=n{\frac {\sin(n\pi x)}{n\pi x}}={\frac {\sin(n\pi x)}{\pi x}}.$ 

При требовании, чтобы все функции в последовательности были всюду положительны, можно в качестве исходной функции выбрать, например, нормированную функцию Гаусса или иную любую всюду неотрицательную функцию, интеграл которой равен 1:

$f(x)=\frac{1}{\sqrt{\mathrm{\pi <!--\; \pi \; -->}}}{e}^{-<!--\; -\; -->x^2},$$f(x)=\frac1{\sqrt{\pi}}e^{-x^2},$ 

$f_n(x)=\frac{n}{\sqrt{\mathrm{\pi <!--\; \pi \; -->}}}{e}^{-<!--\; -\; -->(nx{)}^2}.$$f_n(x)=\frac{n}{\sqrt{\pi}}e^{-(nx)^2}.$ 

Интегральное представлениеПравить

Во многих приложениях оказывается удобным интегральное представление дельта-функции:

$\mathrm{\delta <!--\; \delta \; -->}(t)=\frac{1}{2\mathrm{\pi <!--\; \pi \; -->}}\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}{e}^{i\mathrm{\omega <!--\; \omega \; -->}t}d\mathrm{\omega <!--\; \omega \; -->}.$$\delta(t)=\frac{1}{2\pi}\int\limits_{-\infty}^{+\infty}e^{i\omega t}\,d\omega.$ 

Доказательство

Рассмотрим интеграл

$I(t)=\frac{1}{2\mathrm{\pi <!--\; \pi \; -->}}\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}{e}^{i\mathrm{\omega <!--\; \omega \; -->}t}d\mathrm{\omega <!--\; \omega \; -->},$$I(t)=\frac{1}{2\pi}\int\limits_{-\infty}^\infty e^{i\omega t}\,d\omega,$     (1)

который можно интерпретировать как предел

$I(t)=\underset{N\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}{I}_N(t),$$I(t)=\lim _{N\to \infty }I_{N}(t),$ 

где

$I_N(t)=\frac{1}{2\mathrm{\pi <!--\; \pi \; -->}}\underset{-<!--\; -\; -->N}{\overset{N}{\int <!--\; \int \; -->}}{e}^{i\mathrm{\omega <!--\; \omega \; -->}t}d\mathrm{\omega <!--\; \omega \; -->}=\frac{1}{\mathrm{\pi <!--\; \pi \; -->}}N\frac{\sin <!--\; \; -->tN}{tN}.$$I_N(t)=\frac{1}{2\pi}\int\limits_{-N}^N e^{i\omega t}\,d\omega=\frac{1}{\pi}N\frac{\sin{tN}}{tN}.$     (2)

Известно, что

$\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}\frac{\sin <!--\; \; -->t}{t}dt=\mathrm{\pi <!--\; \pi \; -->}.$$\int\limits_{-\infty}^\infty\frac{\sin t}{t}\,dt=\pi.$     (3)

В силу (3) для любого $N$$N$  справедливо равенство:

$\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}{I}_N(t)dt=\frac{1}{\mathrm{\pi <!--\; \pi \; -->}}\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}\frac{\sin <!--\; \; -->tN}{tN}d(tN)=1.$$\int\limits_{-\infty}^{\infty}I_N(t)\,dt=\frac{1}{\pi}\int\limits_{-\infty}^\infty\frac{\sin{tN}}{tN}\,d(tN)=1.$     (4)

Можно показать (см. выше), что при неограниченном росте N для функции (2) оказываются верными все свойства дельта-функции и она в некотором смысле стремится к $\mathrm{\delta <!--\; \delta \; -->}(t).$$\delta (t).$ 

Производная дельта-функцииПравить

По определению производной дельта-функции $\mathrm{\delta <!--\; \delta \; -->}(x)$$\delta(x)$ :

$\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}f(x){\mathrm{\delta <!--\; \delta \; -->}}^{\mathrm{\prime <!--\; \prime \; -->}}(x-<!--\; -\; -->a)dx=-<!--\; -\; -->f^{\mathrm{\prime <!--\; \prime \; -->}}(a)$$\int\limits_{-\infty}^{+\infty}f(x)\delta^\prime(x-a)\,dx=-f^\prime(a)$ 

(распространение интегрирования по частям на случай подынтегральных выражений, содержащих дельта-функцию).

Аналогично для n-й производной дельта-функции:

$\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}f(x){\mathrm{\delta <!--\; \delta \; -->}}^{[n]}(x-<!--\; -\; -->a)dx=-<!--\; -\; -->\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}\frac{\mathrm{\partial <!--\; \partial \; -->}f}{\mathrm{\partial <!--\; \partial \; -->}x}{\mathrm{\delta <!--\; \delta \; -->}}^{[n-<!--\; -\; -->1]}(x-<!--\; -\; -->a)dx.$$\int\limits_{-\infty}^{+\infty}f(x)\delta^{[n]}(x-a)\,dx=-\int\limits_{-\infty}^{+\infty}\frac{\partial f}{\partial x}\delta^{[n-1]}(x-a)\,dx.$ 

А проинтегрировав так по частям n раз, получим в конце концов:

$\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}f(x){\mathrm{\delta <!--\; \delta \; -->}}^{[n]}(x-<!--\; -\; -->a)dx={(-<!--\; -\; -->1{)}^n\frac{{\mathrm{\partial <!--\; \partial \; -->}}^{n}f(x)}{\mathrm{\partial <!--\; \partial \; -->}{x}^n}|}_{x=a}.$$\int\limits_{-\infty}^{+\infty}f(x)\delta^{[n]}(x-a)\,dx=\left.(-1)^n\frac{\partial^n f(x)}{\partial x^n}\right|_{x=a}.$ 

Для производной дельта-функции имеет место тождество:

$f(x){\mathrm{\delta <!--\; \delta \; -->}}^{\mathrm{\prime <!--\; \prime \; -->}}(x)=f(0){\mathrm{\delta <!--\; \delta \; -->}}^{\mathrm{\prime <!--\; \prime \; -->}}(x)-<!--\; -\; -->f^{\mathrm{\prime <!--\; \prime \; -->}}(0)\mathrm{\delta <!--\; \delta \; -->}(x),$$f(x)\delta^\prime(x)=f(0)\delta^\prime(x)-f^\prime(0)\delta(x),$ 

которое можно получить дифференцируя произведение $f(x)\mathrm{\delta <!--\; \delta \; -->}(x)$$f(x)\delta(x)$ .

Преобразование ФурьеПравить

• В этом параграфе мы будем применять нормировку, соответствующую соглашению о единичном коэффициенте в обратном преобразовании, то есть имея в виду $f(t)=\frac{1}{\sqrt{2\mathrm{\pi <!--\; \pi \; -->}}}\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}F(\mathrm{\omega <!--\; \omega \; -->})e^{i\mathrm{\omega <!--\; \omega \; -->}t}d\mathrm{\omega <!--\; \omega \; -->}.$$f(t)=\frac{1}{\sqrt{2\pi}}\int\limits_{-\infty}^{+\infty}F(\omega)e^{i\omega t}\,d\omega.$ 
• Формулы этого параграфа имеют соответствующие аналоги для многомерного преобразования Фурье.

К дельта-функции можно применить преобразование Фурье:

$F\left\{\mathrm{\delta <!--\; \delta \; -->}(t-<!--\; -\; -->t_0)\right\}(\mathrm{\omega <!--\; \omega \; -->})=\frac{1}{\sqrt{2\mathrm{\pi <!--\; \pi \; -->}}}\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}\mathrm{\delta <!--\; \delta \; -->}(t-<!--\; -\; -->t_0)\cdot <!--\; \cdot \; -->e^{-<!--\; -\; -->i\mathrm{\omega <!--\; \omega \; -->}t}dt=\frac{1}{\sqrt{2\mathrm{\pi <!--\; \pi \; -->}}}{e}^{-<!--\; -\; -->i\mathrm{\omega <!--\; \omega \; -->}\cdot <!--\; \cdot \; -->t_0}.$$F\left\{\delta(t-t_0)\right\}(\omega)=\frac{1}{\sqrt{2\pi}}\int\limits_{-\infty}^{+\infty}\delta(t-t_0)\cdot e^{-i\omega t}\,dt=\frac{1}{\sqrt{2\pi}}e^{-i\omega\cdot t_0}.$ 

Таким образом, спектр (Фурье-образ) дельта-функции, центрированной в точке $t_0$$t_0$ , является «волной» в пространстве частот, обладающей «периодом» $\frac{2\mathrm{\pi <!--\; \pi \; -->}}{t_0}$$\frac{2\pi}{t_0}$ . В частности, спектр (Фурье-образ) дельта-функции, центрированной в нуле, является константой (нестрого говоря — «волной» с бесконечно большим «периодом»):

$F\left\{\mathrm{\delta <!--\; \delta \; -->}(t)\right\}(\mathrm{\omega <!--\; \omega \; -->})=\frac{1}{\sqrt{2\mathrm{\pi <!--\; \pi \; -->}}}{e}^{-<!--\; -\; -->i\mathrm{\omega <!--\; \omega \; -->}\cdot <!--\; \cdot \; -->0}=\frac{1}{\sqrt{2\mathrm{\pi <!--\; \pi \; -->}}}.$$F\left\{\delta(t)\right\}(\omega)=\frac{1}{\sqrt{2\pi}}e^{-i\omega\cdot 0} = \frac{1}{\sqrt{2\pi}}.$ 

Соответственно, наоборот — дельта-функция является Фурье-образом чистой гармонической функции или константы.

Представление многомерных дельта-функций в различных системах координатПравить

В n-мерном пространстве в декартовых координатах (ортонормированном базисе):

$\int <!--\; \int \; -->{\mathrm{\delta <!--\; \delta \; -->}}^n(x_1,x_2,\dots <!--\; \dots \; -->,x_n)d^{n}x=1;$$\int\delta^n(x_1,\;x_2,\;\ldots,\;x_n)\,d^n x=1;$ 

${\mathrm{\delta <!--\; \delta \; -->}}^n(x_1,x_2,\dots <!--\; \dots \; -->,x_n)=\mathrm{\delta <!--\; \delta \; -->}(x_1)\mathrm{\delta <!--\; \delta \; -->}(x_2)\dots <!--\; \dots \; -->\mathrm{\delta <!--\; \delta \; -->}(x_n).$$\delta^n(x_1,\;x_2,\;\ldots,\;x_n)=\delta(x_1)\delta(x_2)\ldots\delta(x_n).$ 

В двумерном пространстве:

$\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\iint <!--\; \iint \; -->}}{\mathrm{\delta <!--\; \delta \; -->}}^2(x,y)dxdy=1;$$\iint\limits_{-\infty}^{+\infty}\delta^2(x,\;y)\,dx\,dy=1;$ 

${\mathrm{\delta <!--\; \delta \; -->}}^2(ax,by)=\frac{1}{\left|ab\right|}{\mathrm{\delta <!--\; \delta \; -->}}^2(x,y);$$\delta^2(ax,\;by)=\frac{1}{\left|ab\right|}\delta^2(x,\;y);$ 

${\mathrm{\delta <!--\; \delta \; -->}}^2(x,y)=\mathrm{\delta <!--\; \delta \; -->}(x)\mathrm{\delta <!--\; \delta \; -->}(y).$$\delta^2(x,\;y)=\delta(x)\delta(y).$ 

В полярных координатах:

${\mathrm{\delta <!--\; \delta \; -->}}^2(r,\mathrm{\phi <!--\; \phi \; -->})=\frac{\mathrm{\delta <!--\; \delta \; -->}(r)}{2\mathrm{\pi <!--\; \pi \; -->}\left|r\right|}$$\delta^2(r,\;\varphi)=\frac{\delta(r)}{2\pi\left|r\right|}$  — несмещённая относительно начала координат (с особенностью при r=0),

$\frac{\mathrm{\delta <!--\; \delta \; -->}(r-<!--\; -\; -->r_0)\mathrm{\delta <!--\; \delta \; -->}(\mathrm{\phi <!--\; \phi \; -->}-<!--\; -\; -->{\mathrm{\phi <!--\; \phi \; -->}}_0)}{|r|}$$\frac{\delta(r-r_0)\delta(\varphi-\varphi_0)}{|r|}$  — с особенностью в точке общего положения $(r_0,{\mathrm{\phi <!--\; \phi \; -->}}_0);$$(r_0,\;\varphi_0);$  при r=0 доопределяется нулём.

В трёхмерном пространстве:

$\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\iiint <!--\; \iiint \; -->}}{\mathrm{\delta <!--\; \delta \; -->}}^3(x,y,z)dxdydz=1;$$\iiint\limits_{-\infty}^{+\infty}\delta^3(x,\;y,\;z)\,dx\,dy\,dz=1;$ 

${\mathrm{\delta <!--\; \delta \; -->}}^3(x,y,z)=\mathrm{\delta <!--\; \delta \; -->}(x)\mathrm{\delta <!--\; \delta \; -->}(y)\mathrm{\delta <!--\; \delta \; -->}(z).$$\delta^3(x,\;y,\;z)=\delta(x)\delta(y)\delta(z).$ 

В цилиндрической системе координат:

${\mathrm{\delta <!--\; \delta \; -->}}^3(r,\mathrm{\theta <!--\; \theta \; -->},z)=\frac{\mathrm{\delta <!--\; \delta \; -->}(r)\mathrm{\delta <!--\; \delta \; -->}(z)}{2\mathrm{\pi <!--\; \pi \; -->}r}$$\delta^3(r,\;\theta,\;z)=\frac{\delta(r)\delta(z)}{2\pi r}$  — несмещённая относительно начала координат (с особенностью при $r=0,z=0$$r=0,\;z=0$ ),

$\frac{\mathrm{\delta <!--\; \delta \; -->}(r-<!--\; -\; -->r_0)\mathrm{\delta <!--\; \delta \; -->}(\mathrm{\phi <!--\; \phi \; -->}-<!--\; -\; -->{\mathrm{\phi <!--\; \phi \; -->}}_0)\mathrm{\delta <!--\; \delta \; -->}(z-<!--\; -\; -->z_0)}{|r|}$$\frac{\delta(r-r_0)\delta(\varphi-\varphi_0)\delta(z-z_0)}{|r|}$  — с особенностью в точке общего положения $(r_0,{\mathrm{\phi <!--\; \phi \; -->}}_0,z_0);$$(r_0,\;\varphi_0,\;z_0);$  при r=0 доопределяется нулём.

В сферической системе координат:

${\mathrm{\delta <!--\; \delta \; -->}}^3(r,\mathrm{\theta <!--\; \theta \; -->},\mathrm{\phi <!--\; \phi \; -->})=\frac{\mathrm{\delta <!--\; \delta \; -->}(r)}{4\mathrm{\pi <!--\; \pi \; -->}{r}^2}$$\delta^3(r,\;\theta,\;\varphi)=\frac{\delta(r)}{4\pi r^2}$  — несмещённая относительно начала координат (с особенностью при r=0).

В формулах с особенностью в начале координат нередко используют вдвое большие коэффициенты (1/π для цилиндрической и полярной, 1/2π для сферической). Это связано с тем, что предполагается вдвое меньший результат интегрирования в случае, если особая точка находится точно на границе интервала интегрирования.

Физическая интерпретацияПравить

Вблизи заряженной точки поле бесконечно, ряды Тейлора для поля не сходятся, поэтому вводят специальные функции. Одной из таких функций является дельта-функция. Вопрос о поле точечной заряженной частицы сравнительно сложен, поэтому рассмотрим сначала более простой пример.

Мгновенное ускорениеПравить

Пусть частица, способная перемещаться вдоль прямой, при ударе пренебрежимо малой длительности скачком приобретает какую-то скорость. Зададимся вопросом: как рассчитать ускорение, приобретённое телом? Построим график зависимости изменения скорости от времени. График будет иметь следующий вид:

 

Данный график почти всюду является графиком функции Хевисайда. Производная функции Хевисайда является единичной дельта-функцией, график которой условно можно изобразить как

 

Данный график отображает бесконечное ускорение при мгновенном наборе скорости. В общем случае ускорение при ударе можно записать как

$a(t)=\mathrm{\nu <!--\; \nu \; -->}\mathrm{\delta <!--\; \delta \; -->}(t-<!--\; -\; -->t_a).$$a(t)=\nu\delta(t-t_a).\$ 

Масса/заряд материальной точкиПравить

Если нужно найти суммарную массу (суммарный заряд) некоторого распределения плотности (или плотности заряда), содержащего, наряду с непрерывной компонентой ${\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{c}\mathrm{o}\mathrm{n}\mathrm{t}\mathrm{i}\mathrm{n}}$$\rho _{\mathrm {contin} }$ , ещё и точечные массы (заряды), то удобно вместо формулы, раздельно учитывающей непрерывную конечную плотность и дискретные вклады:

$M=\int <!--\; \int \; -->{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{c}\mathrm{o}\mathrm{n}\mathrm{t}\mathrm{i}\mathrm{n}}(\mathbf{x})dV+\underset{i}{\sum <!--\; \sum \; -->}{m}_i$$M=\int \rho _{\mathrm {contin} }(\mathbf {x} )\,dV+\sum _{i}m_{i}$ ,

где $\mathbf{x}$$\mathbf {x}$  — радиус-вектор положения рассматриваемого элемента (для определённости обозначения соответствуют массе, а не заряду), писать просто:

$M=\int <!--\; \int \; -->\mathrm{\rho <!--\; \rho \; -->}(\mathbf{x})dV$$M=\int \rho (\mathbf {x} )\,dV$ ,

имея в виду, что $\mathrm{\rho <!--\; \rho \; -->}(\mathbf{x})$$\rho(\mathbf{x})$  включает как непрерывную, так и дельтообразные, то есть сосредоточенные в геометрических точках (по одной для каждого точечного объекта $m_i$$m_i$ ), составляющие:

$\mathrm{\rho <!--\; \rho \; -->}(\mathbf{x})={\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{c}\mathrm{o}\mathrm{n}\mathrm{t}\mathrm{i}\mathrm{n}}(\mathbf{x})+\underset{i}{\sum <!--\; \sum \; -->}{m}_i\mathrm{\delta <!--\; \delta \; -->}(\mathbf{x}-<!--\; -\; -->{\mathbf{x}}_i)$$\rho (\mathbf {x} )=\rho _{\mathrm {contin} }(\mathbf {x} )+\sum _{i}m_{i}\delta (\mathbf {x} -\mathbf {x} _{i})$ .

Другие примерыПравить

• Дельта-функция применяется в математической физике при решении задач, в которые входят сосредоточенные величины. В квазиклассическом пределе ($\mathrm{\hslash <!--\; \hslash \; -->}\to <!--\; \to \; -->0$$\hbar\rightarrow 0$ ) квантовой механики волновые функции локализуются в волновые пакеты с дельтообразными (то есть имеющими в пределе форму дельта-функции) огибающими, и области их локализации движутся по классическим траекториям согласно уравнениям Ньютона.
• Преобразование Фурье единицы является дельта-функцией. Это позволяет более удобно и математически строго формулировать различные задачи, связанные с преобразованием Фурье, которые очень многочисленны: волновая оптика, акустика, теория колебаний. В квантовой механике преобразования Фурье волновых функций играют первостепенную принципиальную и техническую роль, именно для неё Дирак впервые ввёл дельта-функцию.
• Дельта-функции играют роль собственных функций оператора с непрерывным спектром в представлениях, где этот оператор диагонален. Таким образом, они играют роль базиса в диагональном представлении оператора.
• Важным применением дельта-функции является их участие в аппарате функций Грина линейных операторов. Для линейного оператора $L$$L$ , действующего на обобщённые функции над многообразием $M$$M$ , уравнение, определяющее функцию Грина $g$$g$  с источником в точке $x_0,$$x_0,$  имеет вид

$Lg(x,x_0)=\mathrm{\delta <!--\; \delta \; -->}(x-<!--\; -\; -->x_0).$$L\,g(x,\;x_0)=\delta(x-x_0).$ 

Особенно часто встречается применение этого аппарата к оператору Лапласа (электростатика, теплопроводность, диффузия, механическая теория упругости) и подобным ему операторам, таким как Оператор Д’Аламбера (акустика, электродинамика, квантовая теория поля, где функция Грина часто носит специальное название пропагатора).

• Для лапласиана в ${\mathbb{R}}^3$$\mathbb {R} ^{3}$  функцией Грина является функция $1/r$$1/r$ , так что

$\mathrm{\Delta <!--\; \Delta \; -->}\left(\frac{1}{r}\right)=-<!--\; -\; -->4\mathrm{\pi <!--\; \pi \; -->}\mathrm{\delta <!--\; \delta \; -->}(\mathbf{r}),$$\Delta\left(\frac{1}{r}\right)=-4\pi\delta(\mathbf{r}),$ 

где $r$$r$  — расстояние до начала координат. Этот факт используется для доказательства того, что выражение для скалярного потенциала

$\mathrm{\Phi <!--\; \Phi \; -->}(\mathbf{x})=\int <!--\; \int \; -->\frac{\mathrm{\varrho <!--\; \varrho \; -->}({\mathbf{x}}^{\mathrm{\prime <!--\; \prime \; -->}})}{\left|\mathbf{x}-<!--\; -\; -->{\mathbf{x}}^{\mathrm{\prime <!--\; \prime \; -->}}\right|}{d}^3{x}^{\mathrm{\prime <!--\; \prime \; -->}}$$\Phi (\mathbf {x} )=\int {\frac {\varrho (\mathbf {x} ^{\prime })}{\left|\mathbf {x} -\mathbf {x} ^{\prime }\right|}}\,d^{3}x^{\prime }$ 

удовлетворяет уравнению Пуассона:

$\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\Phi <!--\; \Phi \; -->}=-<!--\; -\; -->4\mathrm{\pi <!--\; \pi \; -->}\mathrm{\varrho <!--\; \varrho \; -->}.$$\Delta\Phi=-4\pi\varrho.$ 

См. такжеПравить

• Обобщённая функция
• Функция Грина

ЛитератураПравить

• Дирак П. А. М. Основы квантовой механики / Пер. с англ. — М., 1932 (есть много переизданий).
• Кудрявцев Л. Д. Краткий курс математического анализа. — Том 2. — ISBN 5-9221-0185-4.
• Weisstein, Eric W. Delta Function (англ.) на сайте Wolfram MathWorld.
• Хермандер Л. Анализ линейных дифференциальных уравнений. — Том 1.
• Хермандер Л. Линейные дифференциальные операторы в частных производных.
• Гельфанд И. М., Шилов Г. Е. Обобщённые функции и действия над ними.
• Краснопевцев Е. А. Математические методы физики. Избранные вопросы.