Дискретный оператор Лапласа

О дискретном эквиваленте преобразования Лапласа см. Z-преобразование.

В математике дискретный оператор Лапласа — аналог непрерывного оператора Лапласа, определяемого как отношения на графе или дискретной сетке. В случае конечномерного графа (имеющего конечное число вершин и рёбер) дискретный оператор Лапласа имеет более общее название: матрица Лапласа[1].

Понятие о дискретном операторе Лапласа происходит из таких физических проблем, как модель Изинга и петлевая квантовая гравитация, а также из изучения динамических систем[1]. Этот оператор используется также в вычислительной математике как аналог непрерывного оператора Лапласа. Будучи известным как фильтр Лапласа, часто находит приложение в обработке изображений. Кроме того, оператор используется в машинном обучении для кластеризации и полуавтоматического обучения на графах соседства[2].

Определение

Обработка изображений

Дискретный оператор Лапласа часто используется в обработке изображений, например, в задаче выделения границ или в приложениях оценки движения. Дискретный лапласиан определяется как сумма вторых производных и вычисляется как сумма перепадов на соседях центрального пиксела[1].

Реализация в обработке изображений

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

Фильтр 1D: .
Фильтр 2D:

или с диагоналями:

Фильтр 2D: .
Фильтр 3D:

для первой плоскости =  ; для второй  ; для третьей .

Эти ядра выводятся с помощью дискретных частных производных.

На графах

Есть разные определения дискретного лапласиана, различающиеся знаком и масштабным коэффициентом (иногда средние на соседних вершинах, иногда просто сумма; это не имеет значения для регулярного графа).

Пусть G=(V,E) будет графом с вершинами V и рёбрами E. Зададим функцию значений из вершин графа в кольцо . Тогда дискретный лапласиан от будет определяться как:

,

где d(w,v) есть функция расстояния между вершинами графа. Эта сумма — на ближайших соседях вершины v. Вершины конечного графа можно пронумеровать, тогда отображение может быть записано как вектор-столбец, элементами которого являются значения отображения: . Данное выше определение лапласиана также может быть переписано в векторной форме с использованием матрицы Лапласа :

Если рёбра графа имеют веса, то есть задана весовая функция , то определение можно записать как:

,

где есть вес ребра .

Близко лежит определение усредняющего оператора:

Спектр

Спектр дискретного лапласиана представляет ключевой интерес; когда он имеет самосопряжённый спектр, он действителен. Если , то спектр лежит в отрезке (в то время как у усредняющего оператора его спектральные значения в ) и содержит ноль (для постоянных функций). Наименьшее ненулевое собственное число называют спектральной щелью. Обычно различают и понятие о спектральном радиусе, определяемом обычно как наибольшее собственное число[3].

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

Теоремы

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

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

Дискретный оператор Шрёдингера

Пусть  — потенциал, заданный на вершинах графа. Его можно рассматривать как диагональный мультипликативный оператор, действующий на функцию по правилу

Тогда оператор

называется дискретным оператором Шрёдингера и является естественным возмущением дискретного лапласиана потенциалом нулевого порядка.

В этом смысле дискретный оператор Шрёдингера обобщает дискретный лапласиан: при он совпадает с ним. Если степени вершин графа равномерно ограничены, то является ограниченным и самосопряжённым оператором.

На регулярных решётках дискретные операторы Шрёдингера изучаются как для периодических потенциалов, так и для случайных возмущений, что приводит к различным спектральным режимам, включая распространение волн и локализацию Андерсона[4].

Дискретная функция Грина

Функция Грина дискретного оператора Шрёдингера определяется через резольвенту и является фундаментальным решением уравнения

где  — дискретный оператор Шрёдингера,  — дискретный оператор Лапласа,  — потенциал, а  — спектральный параметр[5].

В частном случае нулевого потенциала оператор Шрёдингера совпадает с дискретным лапласианом, и тогда функция Грина сводится к функции Грина лапласиана, то есть к ядру обратного оператора при выбранных граничных условиях[6][7].

Для фиксированного и комплексного функция рассматривается как функция от и удовлетворяет уравнению

где  — символ Кронекера на графе[5].

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

См. также

Примечания

  1. 1 2 3 Discrete Laplace operator. epfl. Дата обращения: 28 июля 2026.
  2. DBpedia – Фрагменты связанных данных. dbpedia. Дата обращения: 28 июля 2026.
  3. В. И. Кузьминов, И. А. Шведов. Аддиционная теорема для многообразий с дискретным спектром оператора Лапласа // Сибирский математический журнал. — 2006. — № том 47 (3). — С. 557–574.
  4. Коротяев Е. Л., Слоущ В. А. Асимптотика и оценки дискретного спектра оператора Шредингера на дискретном периодическом графе. Дата обращения: 28 июля 2026.
  5. 1 2 3 Chung F. R. K., Yau S.-T. Discrete Green's functions. University of California, San Diego. Дата обращения: 28 июля 2026.
  6. Chung F. R. K., Yau S.-T. Discrete Green's functions. University of California, San Diego. Дата обращения: 28 июля 2026.
  7. Функция Грина оператора Лапласа. МГУ. Дата обращения: 28 июля 2026.