WikiSort.ru - Не сортированное

Свёртка фу́нкций — операция в функциональном анализе.

По определению, свёртка — это математическая операция, применённая к двум функциям f и g, порождающая третью функцию, которая иногда может рассматриваться как модифицированная версия одной из первоначальных. По существу, это особый вид интегрального преобразования.

Понятие свёртки обобщается для функций, определённых на группах, а также мер.

Операцию свертки можно интерпретировать как «схожесть» одной функции с отражённой и сдвинутой копией другой. Также свёртка может быть описана как вес одной функции в случае, если другая функция, будучи отраженной и сдвинутой, является весовой.

Если объяснять смысл свёртки простыми словами, то, когда функцию ${\displaystyle f}$ сворачивают с функцией ${\displaystyle g}$ , фактически происходит суммирование множества взвешенных на значения ${\displaystyle g}$ смещённых копий функции ${\displaystyle f}$ . Другими словами, свёртку можно представить как:${\displaystyle g(1)f(x-1)+g(2)f(x-2)+g(3)f(x-3)...}$ , где ${\displaystyle g}$ выступает в роли источника весов, для каждой из смещённых вдоль оси Х функции ${\displaystyle f}$ .

Определение свёртки функций

Пусть ${\displaystyle f,g:\mathbb {R} ^{d}\to \mathbb {R} }$  — две функции, интегрируемые относительно меры Лебега на пространстве ${\displaystyle \mathbb {R} ^{d}}$ . Тогда их свёрткой называется функция ${\displaystyle f*g:\mathbb {R} ^{d}\to \mathbb {R} }$ , определенная формулой

${\displaystyle (f*g)(x)\ }$

${\displaystyle {\stackrel {\mathrm {def} }{=}}\ \int \limits _{\mathbf {R} ^{d}}f(y)\,g(x-y)\,dy=\int \limits _{\mathbf {R} ^{d}}f(x-y)\,g(y)\,dy.}$

В частности, при ${\displaystyle d=1}$ формула принимает вид:

${\displaystyle (f*g)(x)\ }$

${\displaystyle {\stackrel {\mathrm {def} }{=}}\ \int \limits _{-\infty }^{\infty }f(y)\,g(x-y)\,dy=\int \limits _{-\infty }^{\infty }f(x-y)\,g(y)\,dy.}$

Свёртка ${\displaystyle (f*g)(x)}$ определена при почти всех ${\displaystyle x\in {\mathbb {R} ^{d}}}$ и интегрируема.

В случае, когда ${\displaystyle x\in \mathbb {R} }$ , а функции ${\displaystyle f(x),~g(x)}$ определены на промежутке ${\displaystyle [0,+\infty )}$ (то есть, значение функций считается равным нулю при отрицательном аргументе), свёртку записывают в виде:

${\displaystyle (f*g)(x)\ }$

${\displaystyle {\stackrel {\mathrm {def} }{=}}\ \int \limits _{0}^{x}f(y)\,g(x-y)\,dy=\int \limits _{0}^{x}f(x-y)\,g(y)\,dy.}$

Впервые интегралы, представляющие собой свёртку двух функций, встречаются в трудах Леонарда Эйлера (1760-е годы); позднее свёртка появляется у Лапласа, Лакруа, Фурье, Коши, Пуассона и других математиков. Обозначение свёртки функций при помощи звёздочки впервые предложил Вито Вольтерра в 1912 году на своих лекциях в Сорбонне (опубликованы годом позже)^[1].

Объяснение на примере

Для простоты изложения примера разберём не непрерывный, а дискретный случай свёртки, то есть мы не будем рассматривать интеграл вида:

${\displaystyle w(t)=g(t)*f(t)\,{\stackrel {\mathrm {def} }{=}}\ \int _{-\infty }^{\infty }g(\tau )f(t-\tau )\,d\tau }$ а будем рассматривать конечную сумму вида:

${\displaystyle w(t)=g(t)*f(t)\,{\stackrel {\mathrm {def} }{=}}\ \sum _{0}^{24}g(\tau )f(t-\tau )}$

Пусть перед нами стоит задача вычислить, как будет изменяться количество снега на каком-либо участке земли в зависимости от времени. Решение этой сложной задачи состоит из двух этапов:

1. Построить модель выпадения снега и модель таяния снега.
2. Каким-то образом соединить эти две модели в одну.

   

Задачи первого этапа решаются путём наблюдений и опытов, а задачи второго этапа — свёрткой, получившихся на 1-ом этапе моделей.

Предположим, что в результате решения задачи на 1-ом этапе, мы построили две зависимости (математические модели):

• Количество выпавшего снега в зависимости от времени: ${\displaystyle {\color {Red}g(x)}}$ (график справа)
• Долю нерастаявшего снега через время ${\displaystyle x}$ после его выпадения: ${\displaystyle {\color {Blue}f(x)}}$ (график справа)

Второй этап самый сложный, ведь понятно, что если бы к выпавшему изначально и начавшему таять снегу не добавлялся новый, который также начинает таять, то задача свелась бы к элементарной — просто посчитать количество осадков всех выпавших осадков — ${\displaystyle G}$ , путём сложения в дискретном случае:

${\displaystyle G=\sum _{0}^{24}g(t)}$ или путём интегрирования в случае непрерывном:

${\displaystyle G=\int \limits _{0}^{24}g(t)\,dt}$

После получения общего количества снега ${\displaystyle G}$ можно было бы умножить это число на функцию ${\displaystyle {\color {Blue}f(x)}}$ , дабы смоделировать поведение всего снега сразу:

${\displaystyle y(t)=G{\color {Blue}f(t)}}$

Но в жизни всё сложнее, а именно: пока один снег только выпадает, другой уже мог наполовину растаять! Другими словами, от того килограмма снега, который выпал минуту назад, уже может остаться только 50%, а с небес уже пришёл новый "свежий" килограмм снега, и т.д. Получается, что нужно каким-то образом «сложить» для каждой кучки снега построить свою модель растаивания и как-то сложить все эти модели вместе.

Как раз для этих целей и можно использовать понятие математической «свёртки». Прежде чем делать свёртку, следует привести обе функции к одному аргументу, ибо ${\displaystyle {\color {Red}g(x)}}$ и ${\displaystyle {\color {Blue}f(x)}}$ своими аргументами имеют физически различное время. Так ${\displaystyle \color {Red}x}$ «красное время» в ${\displaystyle {\color {Red}g(x)}}$ говорит о времени выпадения снега, а ${\displaystyle \color {Blue}x}$ «синее время» в ${\displaystyle {\color {Blue}f(x)}}$ вообще является временем прошедшим с момента выпадения некой кучи снега, или ${\displaystyle {\color {Red}\Delta x}=\color {Blue}x}$ , где ${\displaystyle {\color {Red}\Delta x}}$ — некий интервал времени на шкале «красных часов». Для того, чтобы можно было говорить об «одинаковом времени» для обеих функций, выразим время суток через переменную ${\displaystyle \tau }$ , тогда ${\displaystyle {\color {Red}g(\tau )}}$ , как и прежде будет значить количество снега, выпавшее в момент ${\displaystyle \tau }$ . Так же добавим в задачу параметр ${\displaystyle t}$ (время суток, на которое нам надо узнать состояние выпавшего в ${\displaystyle \tau }$ часов снега). Так, например, к четырём часам ночи ${\displaystyle t=4}$ выпавший в ${\displaystyle \tau =1.5}$ снег уже пролежал на улице два с половиной часа или ${\displaystyle t-\tau =4-1.5=2.5}$ . Из этого примера видно, что теперь аргументом для функции ${\displaystyle {\color {Blue}f(x)}}$ у нас станет ${\displaystyle t-\tau }$ или ${\displaystyle \color {Blue}f(t-\tau )}$ В итоге мы имеем:

• ${\displaystyle {\color {Red}g(\tau )}}$ —объём выпавшего в ${\displaystyle {\tau }}$ часов снега.
• ${\displaystyle {\color {Blue}f(t-\tau )}}$ — доля нерастаявшего снега.
• ${\displaystyle \tau }$ — время выпадения снега.
• ${\displaystyle t}$ — время на которое нам нужно узнать состояние выпавшего в ${\displaystyle \tau }$ снега.
• ${\displaystyle t-\tau }$ — количество времени прошедшее с момента выпадения и момента расчёта оставшейся доли снега.

Рассмотрим пример использования этих функций-моделей. Так, чтобы на четыре часа ночи ${\displaystyle t=4}$ узнать состояние снега, который выпал ровно в полвторого ночи, т.е. ${\displaystyle \tau =1.5}$ , нужно вычислить${\displaystyle f(t-\tau )=f(4-1.5)=f(2.5)\approx 0.7}$ , т. е. на четыре часа ночи от того снега, что выпал в 01:30, осталось 70%. Отсюда должно быть ясно, что используя ${\displaystyle f(4-\tau )}$ и перебирая разные значения ${\displaystyle \tau }$ можно узнать состояние снега на четыре часа ночи, но выпавшего в любой момент ${\displaystyle \tau }$ . Так ${\displaystyle f(2-\tau )}$ моделирует состояние снега, выпавшего во время ${\displaystyle \tau }$ , к моменту времени ${\displaystyle t=2}$ , а по условию задачи нам нужно знать состояние всего снега (т.е. для всех значений ${\displaystyle \tau }$ ), на любой момент времени (т.е. и на момент ${\displaystyle t=1.5}$ и в ${\displaystyle t=1.523423423}$ и ${\displaystyle t=1.6345}$ и т.д.).

Из сказанного должно быть очевидно, что нужно каким-то образом сложить множество моделей ${\displaystyle f(\tau -t)}$ в одну функцию. Для этого, состояние выпавшего в три часа ночи снега ${\displaystyle \tau =3}$ , будем моделировать функцией: ${\displaystyle g(3)f(t-3)}$ . Поведение снега, выпавшего в ${\displaystyle \tau =3.5}$ ночи, опишем через ${\displaystyle g(3.5)f(t-3.5)}$ и т.д. Если мы сложим эти функции-модели, то получится функция ${\displaystyle w(t)=g(3)f(t-3)+g(3.5)f(t-3.5)+g(4.5)f(t-4.5)}$ .

Графически функция ${\displaystyle w(t)}$ изображена ниже, где разными цветами представлены вклады каждой кучи снега из графика ${\displaystyle {\color {Red}g(x)}}$ .

${\displaystyle w(t)}$ полностью моделирует поведения выпавшего согласно модели ${\displaystyle {\color {Red}g(x)}}$ снега, так на графике выше видно, что общее количество снега увеличивается тремя резкими скачками, но каждый раз снег сразу начинает таять, не дожидаясь выпадения других осадков. Конечно, мы рассмотрели дискретный случай выпадения осадков, для целей моделирования более приближенного к реальности следует использовать непрерывный вариант данной задачи, где вместо дискретной суммы ${\displaystyle \sum }$ и дискретной модели выпадения осадков ${\displaystyle {\color {Red}g(x)}}$ (количество выпавшего снега), следует использовать интеграл и непрерывную модель ${\displaystyle {\color {Red}g(x)}}$ (скорость выпадения снега). Тогда решением непрерывной задачи будет интеграл:

${\displaystyle w(t)=g(t)*f(t)\,{\stackrel {\mathrm {def} }{=}}\ \int _{-\infty }^{\infty }g(\tau )f(t-\tau )\,d\tau }$

Свёртка на группах

Пусть ${\displaystyle G}$  — группа Ли, оснащённая мерой Хаара ${\displaystyle m}$ , и ${\displaystyle f,g:G\to \mathbb {R} }$  — две функции, определённые на ${\displaystyle G}$ . Тогда их свёрткой называется функция

${\displaystyle f*g(x)=\int \limits _{G}f(y)\,g\left(xy^{-1}\right)\,m(dy),\quad \forall x\in G}$ .

Свёртка мер

Пусть есть борелевское пространство ${\displaystyle (\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ))}$ и две меры ${\displaystyle \mu ,\nu :{\mathcal {B}}(\mathbb {R} )\to \mathbb {R} }$ . Тогда их свёрткой называется мера

${\displaystyle \mu *\nu (A)=\mu \otimes \nu \left(\{(x,y)\in \mathbb {R} ^{2}\mid x+y\in A\}\right),\quad \forall A\in {\mathcal {B}}(\mathbb {R} )}$ ,

где ${\displaystyle \mu \otimes \nu }$ обозначает произведение мер ${\displaystyle \mu }$ и ${\displaystyle \nu }$ .

См. также

• Автокорреляционная функция
• Преобразование Фурье
• Свёртка последовательностей

Примечания

Литература

• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа, — М.: Наука, 2004 (7-е изд.).
• Ширяев А. Н. Вероятность, — М.: Наука. 1989.

Ссылки

• Java-Applet
• Java-Applet

• Линейная и циклическая свертка (рус.). Проверено 15 ноября 2010. Архивировано 25 августа 2011 года.