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