WikiDer > Дельта Кронекера

В математика, то Дельта Кронекера (названный в честь Леопольд Кронекер) это функция из двух переменные, обычно просто неотрицательный целые числа. Функция равна 1, если переменные равны, и 0 в противном случае:

${ displaystyle delta _ {ij} = { begin {cases} 0 & { text {if}} i neq j, 1 & { text {if}} i = j. end {cases}}}$

или с использованием Скобки Айверсона:

${ Displaystyle дельта _ {ij} = [я = j] ,}$

где дельта Кронекера δ_ij это кусочно функция переменных я и j. Например, δ_1 2 = 0, в то время как δ_3 3 = 1.

Дельта Кронекера естественным образом появляется во многих областях математики, физики и инженерии как средство компактного выражения своего определения, приведенного выше.

В линейная алгебра, то п × п единичная матрица я имеет записи, равные дельте Кронекера:

${ displaystyle I_ {ij} = delta _ {ij}}$

где я и j принять значения 1, 2, ..., п, а внутренний продукт из векторов можно записать как

${ displaystyle mathbf {a} cdot mathbf {b} = sum _ {i, j = 1} ^ {n} a_ {i} delta _ {ij} b_ {j}.}$

Ограничение положительными целыми числами является обычным явлением, но нет причин, по которым оно не может иметь отрицательные целые числа а также положительный или любой дискретный рациональное число. Если я и j выше принимают рациональные значения, то, например,

${ displaystyle { begin {align} delta _ {(- 1) (- 3)} & = 0 & qquad delta _ {(- 2) (- 2)} & = 1 delta _ { left ({ frac {1} {2}} right) left (- { frac {3} {2}} right)} & = 0 & qquad delta _ { left ({ frac {5 } {3}} right) left ({ frac {5} {3}} right)} & = 1. end {align}}}$

Последний случай предназначен для удобства. Однако дельта Кронекера не определена для комплексных чисел.

Характеристики

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

${ displaystyle { begin {align} sum _ {j} delta _ {ij} a_ {j} & = a_ {i}, sum _ {i} a_ {i} delta _ {ij} & = a_ {j}, sum _ {k} delta _ {ik} delta _ {kj} & = delta _ {ij}. end {align}}}$

Следовательно, матрица δ можно рассматривать как единичную матрицу.

Еще одно полезное представление - это следующая форма:

${ displaystyle delta _ {nm} = { frac {1} {N}} sum _ {k = 1} ^ {N} e ^ {2 pi i { frac {k} {N}} ( нм)}}$

Это можно вывести, используя формулу для конечный геометрический ряд.

Альтернативная нотация

С использованием Кронштейн Айверсона:

${ displaystyle delta _ {ij} = [i = j].}$

Часто запись с одним аргументом δ_я используется, что эквивалентно установке j = 0:

${ displaystyle delta _ {i} = { begin {case} 0, & { mbox {if}} i neq 0 1, & { mbox {if}} i = 0 end {cases} }}$

В линейная алгебра, это можно рассматривать как тензор, и написано δ^я
_j. Иногда дельту Кронекера называют тензором подстановки.^[1]

Цифровая обработка сигналов

Функция единичного образца

При изучении цифровая обработка сигналов (DSP), функция единичной выборки ${ displaystyle delta [n]}$ представляет собой частный случай двумерной дельта-функции Кронекера ${ displaystyle delta _ {ij}}$ где индексы кронекера включают число ноль, а один из индексов равен нулю. В этом случае:

${ Displaystyle дельта [п] эквив дельта _ {п0} эквив дельта _ {0n} ~~~ { текст {где}} - infty <п < infty}$

Или, в более общем смысле, где:

${ Displaystyle дельта [nk] эквив дельта [kn] эквив дельта _ {nk} эквив дельта _ {kn} { текст {где}} - infty <п < infty, - infty <к < infty}$

Однако это только очень частный случай. В тензорном исчислении базисные векторы в конкретном измерении чаще нумеруются, начиная с индекса 1, а не индекса 0. В этом случае отношение ${ Displaystyle дельта [п] эквив дельта _ {п0} эквив дельта _ {0n}}$ не существует, и на самом деле дельта-функция Кронекера и функция единичной выборки - это действительно разные функции, которые случайно перекрываются в одном конкретном случае, когда индексы включают число 0, количество индексов равно 2, а один из индексов имеет нулевое значение.

Хотя в функции дискретной единичной выборки и дельта-функции Кронекера используется одна и та же буква, они различаются следующими способами. Для функции дискретной единичной выборки более условно помещать единственный целочисленный индекс в квадратные скобки, в отличие от дельты Кронекера, которая может иметь любое количество индексов. Кроме того, цель дискретной единичной выборочной функции отличается от дельта-функции Кронекера. В DSP функция дискретной единичной выборки обычно используется в качестве входной функции для дискретной системы для обнаружения системной функции системы, которая будет производиться на выходе системы. Напротив, типичная цель дельта-функции Кронекера - фильтровать термины из Соглашение о суммировании Эйнштейна.

Функцию дискретной единичной выборки проще определить как:

${ displaystyle delta [n] = { begin {case} 1 & n = 0 0 & { text {else}} end {cases}}}$

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

${ displaystyle delta (t) = { begin {cases} infty & t = 0 0 & { text {else}} end {cases}}}$

В отличие от дельта-функции Кронекера ${ displaystyle delta _ {ij}}$ и функция единичной выборки ${ displaystyle delta [n]}$, дельта-функция Дирака ${ Displaystyle дельта (т)}$ не имеет целочисленного индекса, имеет единственное непрерывное нецелое значение t.

Чтобы еще больше запутать ситуацию, единичная импульсная функция иногда используется для обозначения Дельта-функция Дирака ${ Displaystyle дельта (т)}$, или функция единичной выборки ${ displaystyle delta [n]}$.

Свойства дельта-функции

Дельта Кронекера имеет так называемые просеивание собственность, которая для j ∈ ℤ:

${ displaystyle sum _ {i = - infty} ^ { infty} a_ {i} delta _ {ij} = a_ {j}.}$

и если целые числа рассматриваются как измерить пространство, наделенный счетная мера, то это свойство совпадает с определяющим свойством Дельта-функция Дирака

${ displaystyle int _ {- infty} ^ { infty} delta (x-y) f (x) , dx = f (y),}$

и фактически дельта Дирака была названа в честь дельты Кронекера из-за этого аналогичного свойства^{[нужна цитата]}. В обработке сигналов обычно контекст (дискретное или непрерывное время) отличает «функции» Кронекера и Дирака. И по условию δ(т) обычно указывает непрерывное время (Дирак), тогда как аргументы вроде я, j, k, л, м, и п обычно зарезервированы для дискретного времени (Кронекер). Другой распространенной практикой является представление дискретных последовательностей в квадратных скобках; таким образом: δ[п]. Дельта Кронекера не является результатом прямой выборки дельта-функции Дирака.

Дельта Кронекера образует мультипликативный элемент идентичности из алгебра инцидентности.^[2]

Связь с дельта-функцией Дирака

В теория вероятности и статистика, дельта Кронекера и Дельта-функция Дирака оба могут использоваться для представления дискретное распределение. Если поддержка раздачи состоит из точек Икс = {Икс₁, ..., Икс_п}, с соответствующими вероятностями п₁, ..., п_п, то функция массы вероятности п(Икс) распределения по Икс можно записать, используя дельту Кронекера, как

${ displaystyle p (x) = sum _ {i = 1} ^ {n} p_ {i} delta _ {xx_ {i}}.}$

Эквивалентно функция плотности вероятности ж(Икс) распределения можно записать с помощью дельта-функции Дирака как

${ displaystyle f (x) = sum _ {i = 1} ^ {n} p_ {i} delta (x-x_ {i}).}$

При определенных условиях дельта Кронекера может возникнуть в результате выборки дельта-функции Дирака. Например, если дельта-импульс Дирака возникает точно в точке выборки и в идеале проходит фильтрацию нижних частот (с отсечкой на критической частоте) на Теорема выборки Найквиста – Шеннона, результирующий сигнал в дискретном времени будет дельта-функцией Кронекера.

Обобщения

Если рассматривать как тип (1,1) тензор, тензор Кронекера можно записатьδ^я
_j с ковариантный показатель j и контравариантный показатель я:

${ displaystyle delta _ {j} ^ {i} = { begin {cases} 0 & (i neq j), 1 & (i = j). end {cases}}}$

Этот тензор представляет:

• Тождественное отображение (или единичная матрица), рассматриваемое как линейное отображение V → V или V^∗ → V^∗
• В след или тензорное сжатие, рассматриваемое как отображение V^∗ ⊗ V → K
• Карта K → V^∗ ⊗ V, представляя скалярное умножение как сумму внешние продукты.

В обобщенная дельта Кронекера или многоиндексная дельта Кронекера порядка 2п это тип (п,п) тензор, который является полностью антисимметричный в его п верхние индексы, а также в своих п более низкие показатели.

Два определения, которые различаются в несколько раз. п! уже используются. Ниже представлена ​​версия с ненулевыми компонентами, масштабируемыми до ±1. Вторая версия имеет ненулевые компоненты, которые ±1/п!, с последующими изменениями коэффициентов масштабирования в формулах, таких как коэффициенты масштабирования 1/п! в § Свойства обобщенной дельты Кронекера внизу исчезают.^[3]

Определения обобщенной дельты Кронекера

В терминах индексов обобщенная дельта Кронекера определяется как:^[4][5]

${ displaystyle delta _ { nu _ {1} dots nu _ {p}} ^ { mu _ {1} dots mu _ {p}} = { begin {cases} + 1 & quad { text {if}} nu _ {1} dots nu _ {p} { text {- разные целые числа и представляют собой четную перестановку}} mu _ {1} dots mu _ {p} - 1 & quad { text {if}} nu _ {1} dots nu _ {p} { text {- разные целые числа и представляют собой нечетную перестановку}} mu _ {1} dots mu _ {p} ; ; 0 & quad { text {во всех остальных случаях}}. end {cases}}}$

Позволять S_п быть симметричная группа степени п, тогда:

${ displaystyle delta _ { nu _ {1} dots nu _ {p}} ^ { mu _ {1} dots mu _ {p}} = sum _ { sigma in mathrm {S} _ {p}} operatorname {sgn} ( sigma) , delta _ { nu _ { sigma (1)}} ^ { mu _ {1}} cdots delta _ { nu _ { sigma (p)}} ^ { mu _ {p}} = sum _ { sigma in mathrm {S} _ {p}} operatorname {sgn} ( sigma) , delta _ { nu _ {1}} ^ { mu _ { sigma (1)}} cdots delta _ { nu _ {p}} ^ { mu _ { sigma (p)}}. }$

С помощью антисимметризация:

${ displaystyle delta _ { nu _ {1} dots nu _ {p}} ^ { mu _ {1} dots mu _ {p}} = p! delta _ { lbrack nu _ {1}} ^ { mu _ {1}} dots delta _ { nu _ {p} rbrack} ^ { mu _ {p}} = p! Delta _ { nu _ {1 }} ^ { lbrack mu _ {1}} dots delta _ { nu _ {p}} ^ { mu _ {p} rbrack}.}$

С точки зрения п × п детерминант:^[6]

${ displaystyle delta _ { nu _ {1} dots nu _ {p}} ^ { mu _ {1} dots mu _ {p}} = { begin {vmatrix} delta _ { nu _ {1}} ^ { mu _ {1}} & cdots & delta _ { nu _ {p}} ^ { mu _ {1}} vdots & ddots & vdots delta _ { nu _ {1}} ^ { mu _ {p}} & cdots & delta _ { nu _ {p}} ^ { mu _ {p}} end {vmatrix }}.}$

С использованием Разложение лапласа (Формула Лапласа) определителя, его можно определить рекурсивно:^[7]

${ displaystyle { begin {align} delta _ { nu _ {1} dots nu _ {p}} ^ { mu _ {1} dots mu _ {p}} & = sum _ {k = 1} ^ {p} (- 1) ^ {p + k} delta _ { nu _ {k}} ^ { mu _ {p}} delta _ { nu _ {1} точки { check { nu}} _ {k} dots nu _ {p}} ^ { mu _ {1} dots mu _ {k} dots { check { mu}} _ { p}} & = delta _ { nu _ {p}} ^ { mu _ {p}} delta _ { nu _ {1} dots nu _ {p-1}} ^ { mu _ {1} dots mu _ {p-1}} - sum _ {k = 1} ^ {p-1} delta _ { nu _ {k}} ^ { mu _ {p }} delta _ { nu _ {1} dots nu _ {k-1} , nu _ {p} , nu _ {k + 1} dots nu _ {p-1} } ^ { mu _ {1} dots mu _ {k-1} , mu _ {k} , mu _ {k + 1} dots mu _ {p-1}}, конец {выровнен}}}$

где карон, ˇ, указывает индекс, который не указан в последовательности.

Когда п = п (размерность векторного пространства), в терминах Символ Леви-Чивита:

${ displaystyle delta _ { nu _ {1} dots nu _ {n}} ^ { mu _ {1} dots mu _ {n}} = varepsilon ^ { mu _ {1} dots mu _ {n}} varepsilon _ { nu _ {1} dots nu _ {n}}.}$

Свойства обобщенной дельты Кронекера

Обобщенная дельта Кронекера может использоваться для антисимметризация:

${ displaystyle { begin {align} { frac {1} {p!}} delta _ { nu _ {1} dots nu _ {p}} ^ { mu _ {1} dots mu _ {p}} a ^ { nu _ {1} dots nu _ {p}} & = a ^ { lbrack mu _ {1} dots mu _ {p} rbrack}, { frac {1} {p!}} delta _ { nu _ {1} dots nu _ {p}} ^ { mu _ {1} dots mu _ {p}} a_ { mu _ {1} dots mu _ {p}} & = a _ { lbrack nu _ {1} dots nu _ {p} rbrack}. end {выравнивается}}}$

Из приведенных выше уравнений и свойств антисимметричные тензоры, мы можем вывести свойства обобщенной дельты Кронекера:

${ displaystyle { begin {align} { frac {1} {p!}} delta _ { nu _ {1} dots nu _ {p}} ^ { mu _ {1} dots mu _ {p}} a ^ { lbrack nu _ {1} dots nu _ {p} rbrack} & = a ^ { lbrack mu _ {1} dots mu _ {p} rbrack}, { frac {1} {p!}} delta _ { nu _ {1} dots nu _ {p}} ^ { mu _ {1} dots mu _ {p }} a _ { lbrack mu _ {1} dots mu _ {p} rbrack} & = a _ { lbrack nu _ {1} dots nu _ {p} rbrack}, { frac {1} {p!}} delta _ { nu _ {1} dots nu _ {p}} ^ { mu _ {1} dots mu _ {p}} delta _ { rho _ {1} dots rho _ {p}} ^ { nu _ {1} dots nu _ {p}} & = delta _ { rho _ {1} dots rho _ { p}} ^ { mu _ {1} dots mu _ {p}}, end {align}}}$

которые являются обобщенной версией формул, записанных в § Характеристики. Последняя формула эквивалентна формуле Формула Коши – Бине.

Уменьшение порядка путем суммирования индексов можно выразить тождеством^[8]

${ displaystyle delta _ { nu _ {1} dots nu _ {s} , mu _ {s + 1} dots mu _ {p}} ^ { mu _ {1} dots mu _ {s} , mu _ {s + 1} dots mu _ {p}} = { frac {(ns)!} {(np)!}} delta _ { nu _ { 1} dots nu _ {s}} ^ { mu _ {1} dots mu _ {s}}.}$

Используя оба правила суммирования для случая п = п и связь с символом Леви-Чивита,правило суммирования символа Леви-Чивита выводится:

${ displaystyle delta _ { nu _ {1} dots nu _ {s}} ^ { mu _ {1} dots mu _ {s}} = { frac {1} {(ns) !}} varepsilon ^ { mu _ {1} dots mu _ {s} , rho _ {s + 1} dots rho _ {n}} varepsilon _ { nu _ {1} dots nu _ {s} , rho _ {s + 1} dots rho _ {n}}.}$

Четырехмерная версия последнего соотношения появляется у Пенроуза. спинорный подход к общей теории относительности^[9] которые он позже обобщил, когда разрабатывал диаграммы Эйткена,^[10] стать частью техники Графическое обозначение Пенроуза.^[11] Кроме того, это соотношение широко используется в S-дуальность теории, особенно когда они написаны на языке дифференциальные формы и Ходжа двойные.

Интегральные представления

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

${ displaystyle delta _ {x, n} = { frac {1} {2 pi i}} oint _ {| z | = 1} z ^ {xn-1} , dz = { frac { 1} {2 pi}} int _ {0} ^ {2 pi} e ^ {i (xn) varphi} , d varphi}$

Гребень Кронекера

Гребенка Кронекера с периодом N определяется (с использованием DSP обозначение) как:

${ displaystyle Delta _ {N} [n] = sum _ {k = - infty} ^ { infty} delta [n-kN],}$

где N и п целые числа. Таким образом, гребенка Кронекера состоит из бесконечной серии единичных импульсов. N единиц и включает единичный импульс в нуле. Его можно рассматривать как дискретный аналог Гребень Дирака.

Интеграл Кронекера

Дельта Кронекера также называется степенью отображения одной поверхности в другую.^[12] Предположим, что отображение происходит с поверхности S_uvw к S_xyz это границы регионов, р_uvw и р_xyz которое просто связано с взаимно однозначным соответствием. В этом контексте, если s и т параметры для S_uvw, и S_uvw к S_uvw ориентированы по внешней нормали п:

${ Displaystyle и = и (s, t), четырехъядерных v = v (s, t), четырехъядерных w = w (s, t),}$

в то время как нормаль имеет направление

${ displaystyle (u_ {s} mathbf {i} + v_ {s} mathbf {j} + w_ {s} mathbf {k}) times (u_ {t} mathbf {i} + v_ {t } mathbf {j} + w_ {t} mathbf {k}).}$

Позволять Икс = Икс(ты,v,ш), у = у(ты,v,ш), z = z(ты,v,ш) быть определенным и гладким в области, содержащей S_uvw, и пусть эти уравнения определяют отображение S_uvw на S_xyz. Тогда степень δ картографии 1/4π умножить на телесный угол изображения S из S_uvw относительно внутренней точки S_xyz, О. Если О это происхождение региона, р_xyz, то степень, δ дается интегралом:

${ displaystyle delta = { frac {1} {4 pi}} iint _ {R_ {st}} left (x ^ {2} + y ^ {2} + z ^ {2} right) ^ {- { frac {3} {2}}} { begin {vmatrix} x & y & z { frac { partial x} { partial s}} & { frac { partial y} { partial s }} & { frac { partial z} { partial s}} { frac { partial x} { partial t}} & { frac { partial y} { partial t}} & { frac { partial z} { partial t}} end {vmatrix}} , ds , dt.}$

Смотрите также

• Мера Дирака
• Функция индикатора
• Символ Леви-Чивита
• Функция устройства
• XNOR ворота

Рекомендации