В математике, особенно в теории обобщенных функций , пределом последовательности распределений является распределение, к которому приближается последовательность. Расстояние, определенное количественно, до предельного распределения можно сделать сколь угодно малым, выбрав распределение, достаточно далекое вдоль последовательности. Это понятие обобщает предел последовательности функций ; предел как распределение может существовать, когда предела функций нет.
Это понятие является частью распределительного исчисления , обобщенной формы исчисления , основанной на понятии распределений, в отличие от классического исчисления, основанного на более узком понятии функций .
Определение
Учитывая последовательность распределений , ее пределом является распределение, заданное формулой ![{\displaystyle f_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle е}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f[\varphi ]=\lim _{i\to \infty }f_{i}[\varphi ]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
для каждой тестовой функции при условии существования распределения. Существование предела означает, что (1) для каждого предел последовательности чисел существует и что (2) линейный функционал, определенный приведенной выше формулой, непрерывен относительно топологии в пространстве основных функций.![{\displaystyle \varphi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle е}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f_{i}[\varphi ]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle е}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
В более общем смысле, как и в случае с функциями, можно рассматривать предел семейства распределений.
Примеры
Предел распределения все еще может существовать, хотя классический предел отсутствует. Рассмотрим, например, функцию:
![{\displaystyle f_{t}(x)={t \over 1+t^{2}x^{2}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Поскольку при интегрировании по частям
![{\displaystyle \langle f_{t},\phi \rangle =-\int _{-\infty }^{0}\arctan(tx)\phi '(x)\,dx-\int _{0}^ {\infty }\arctan(tx)\phi '(x)\,dx,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
у нас есть: . То есть предел как есть .![{\displaystyle \displaystyle \lim _{t\to \infty}\langle f_{t},\phi \rangle =\langle \pi \delta _{0},\phi \rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f_{t}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle t \ to \ infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi \delta _{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Обозначим предел распределения as , если он существует. Распределение определяется аналогично.![{\ displaystyle f (x + i0)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle f (x + iy)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y\to 0^{+}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle f (x-i0)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Надо
![{\displaystyle (x-i0)^{-1}-(x+i0)^{-1}=2\pi i\delta _{0}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Пусть — прямоугольник положительной ориентации с целым числом N. По формуле остатка ,![{\displaystyle \Gamma _{N}=[-N-1/2,N+1/2]^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I_{N}{\overset {\mathrm {def} }{=}}\int _ {\Gamma _{N}}{\widehat {\phi }}(z)\pi \cot(\pi z)\,dz={2\pi i}\sum _{-N}^{N}{\widehat {\phi }}(n).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
С другой стороны,
![{\displaystyle {\begin{aligned}\int _{-R}^{R}{\widehat {\phi }}(\xi)\pi \operatorname {cot} (\pi \xi)\,d&=\ int _{-R}^{R}\int _{0}^{\infty }\phi (x)e^{-2\pi Ix\xi }\,dx\,d\xi +\int _{ -R}^{R}\int _{-\infty }^{0}\phi (x)e^{-2\pi Ix\xi }\,dx\,d\xi \\&=\langle \ фи ,\cot(\cdot -i0)-\cot(\cdot -i0)\rangle \end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Осциллирующий интеграл
Смотрите также
Рекомендации
- Демайи, Комплексная аналитическая и дифференциальная геометрия.
- Хёрмандер , Ларс, Анализ линейных дифференциальных операторов в частных производных , Springer-Verlag