ШКАЛА МОДУЛЕЙ ГАУССА НА СФЕРАХ \(S^d\): ОТ ЧЕБЫШЕВА (\(d = 1\)) К МУЛЬТИПЛИКАТИВНОМУ ГАУССУ И ЭРМИТУ (\(d \to \infty\))
1. Семейство модулей на сферах \(S^d\) (\(d \ge 1\)): конструкция Гаусса — Гегенбауэра
Идея подъема отрезка \([-1, 1]\) на единичную окружность \(S^1\) естественно обобщается на единичную сферу \(S^d \subset \mathbb{R}^{d+1}\) произвольной размерности \(d \ge 1\). При ортогональной проекции зональных функций на диаметр \([-1, 1]\) по координате \(x = \cos\theta\) возникает классическая ультрасферическая геометрия (геометрия Гегенбауэра):
1) Весовая мера на отрезке \([-1, 1]\):
\[
d\mu_d(x) = c_d (1 - x^2)^{\frac{d - 2}{2}} \, dx.
\]
Частные случаи этой меры охватывают важнейшие классические системы:
- при \(d = 1\) (окружность \(S^1\)): чебышевский вес первого рода \((1 - x^2)^{-1/2}\) и многочлены Чебышева \(T_n(x)\);
- при \(d = 2\) (двумерная сфера \(S^2\)): единичный вес \(w_2(x) \equiv 1\) (обычная плоская мера Лебега \(dx\) на отрезке) и многочлены Лежандра \(P_n(x)\);
- при \(d = 3\) (сфера \(S^3\)): чебышевский вес второго рода \((1 - x^2)^{1/2}\) и многочлены \(U_n(x)\).
2) Радиальный оператор Лапласа — Бельтрами \(A_d\):
\[
A_d = -(1 - x^2) D^2 + d \cdot x D, \qquad D = \frac{d}{dx}.
\]
Собственными функциями оператора \(A_d\) служат ультрасферические многочлены Гегенбауэра \(C_n^{\frac{d-1}{2}}(x)\), которые удобно нормировать условием \(R_n^{(d)}(1) = 1\):
\[
A_d R_n^{(d)}(x) = n (n + d - 1) R_n^{(d)}(x), \qquad n = 0, 1, 2, \dots
\]
3) Оператор сферического сдвига \(T_h^{(d)}\):
При \(d \ge 2\) среднее значение функции по геодезической сфере радиуса \(h\) на \(S^d\) задается интегральным оператором Гегенбауэра:
\[
T_h^{(d)} f(x) = \int_{-1}^1 f\left( x \cos h + u \sqrt{1 - x^2} \sin h \right) d\nu_d(u),
\]
где вероятностная мера сечения имеет вид:
\[
d\nu_d(u) = \frac{\Gamma\left(\frac{d}{2}\right)}{\sqrt{\pi} \, \Gamma\left(\frac{d - 1}{2}\right)} (1 - u^2)^{\frac{d - 3}{2}} \, du.
\]
Многочлены \(R_n^{(d)}(x)\) являются собственными функциями сдвига \(T_h^{(d)}\) с собственными числами \(\lambda_n^{(d)}(h) = R_n^{(d)}(\cos h)\):
\[
T_h^{(d)} R_n^{(d)}(x) = R_n^{(d)}(\cos h) R_n^{(d)}(x).
\]
4) Разность и модуль Гаусса — Гегенбауэра:
Чтобы аннулировать пространство всех алгебраических многочленов \(\Pi_{k-1} = \text{span}\{1, x, \dots, x^{k-1}\} = \text{span}\{R_0^{(d)}, R_1^{(d)}, \dots, R_{k-1}^{(d)}\}\), разностный оператор строится как произведение Гаусса по спектру Гегенбауэра:
\[
\Delta^{\ast(d)}_{2k, h} f(x) = \prod_{j=0}^{k-1} \left( R_j^{(d)}(\cos h) I - T_h^{(d)} \right) f(x),
\]
\[
\omega^{\ast(d)}_{2k}(f; t) = \sup_{0 < h \le t} \|\Delta^{\ast(d)}_{2k, h} f\|,
\]
а порождающий дифференциальный оператор со сдвигом спектра имеет вид:
\[
L^{\ast(d)}_{2k} = \prod_{j=0}^{k-1} \big( A_d - j (j + d - 1) I \big).
\]
2. Какое описание выбрать? Уникальность случая \(d = 1\) для \(C[-1, 1]\)
При наличии целой шкалы размерностей \(d \ge 1\) возникает естественный методологический вопрос: какое значение \(d\) является каноническим?
Если исследование проводится в гильбертовом пространстве \(L^2[-1, 1]\) с обычной плоской мерой Лебега \(dx\), то наиболее естественна размерность \(d = 2\) (сфера \(S^2\), оператор Лежандра \(A_2 = -\frac{d}{dx}((1 - x^2)\frac{d}{dx})\)), поскольку этот оператор самосопряжен относительно безвесового скалярного произведения.
Однако для равномерной нормы \(C[-1, 1]\) случай \(d = 1\) (окружность \(S^1\), модуль Гаусса — Чебышева \(\omega^{\ast}_{2k}\)) обладает тремя исключительными преимуществами перед всеми \(d \ge 2\):
1) Дискретность сдвига: только на одномерной окружности \(S^1\) геодезическая сфера радиуса \(h\) вокруг точки \(\theta\) состоит ровно из двух точек \(\theta \pm h\). При \(d \to 1\) мера \(d\nu_d(u)\) вырождается в полусумму двух атомов Дирака в точках \(u = \pm 1\), и интеграл исчезает:
\[
T_h^{(1)} f(x) = \frac{1}{2} \left[ f\left(x \cos h + \sqrt{1 - x^2} \sin h\right) + f\left(x \cos h - \sqrt{1 - x^2} \sin h\right) \right].
\]
Только при \(d = 1\) оператор \(\Delta^{\ast}_{2k, h}\) является истинной конечной разностью, опирающейся на \(2k + 1\) точек без интегрирования.
2) Прямой тригонометрический подъем: только при \(d = 1\) замена \(x = \cos\theta\) сводит задачу к классическим четным тригонометрическим полиномам и аппарату гармонического анализа на торе \(\mathbb{T}\).
3) Равномерность амплитуды: только многочлены Чебышева \(T_n(x)\) имеют постоянную амплитуду колебаний на всем отрезке \([-1, 1]\), тогда как при \(d \ge 2\) многочлены \(R_n^{(d)}(x)\) затухают внутри интервала как \(n^{-(d-1)/2}\) и испытывают пик в концевых точках \(x = \pm 1\).
3. Предел при \(d \to \infty\) на отрезке \([-1, 1]\): возвращение к геометрической прогрессии Гаусса
Поставим теперь фундаментальный вопрос: во что превращается модуль Гаусса — Гегенбауэра \(\omega^{\ast(d)}_{2k}\) при стремлении размерности сферы к бесконечности (\(d \to \infty\))?
Оказывается, в зависимости от масштабирования координат существуют два классических предела, и оба приводят к знаменитым объектам анализа.
Рассмотрим сначала глобальный предел при фиксированных \(x \in [-1, 1]\) и \(h \in (0, \pi / 2)\), когда \(d \to \infty\).
1) Вырождение сферического сдвига в геометрическую прогрессию.
В интеграле сферического сдвига \(T_h^{(d)} f(x)\) вероятностная мера \(d\nu_d(u) \propto (1 - u^2)^{(d-3)/2} du\) при \(d \to \infty\) подчиняется закону концентрации меры Леви — Пуанкаре — Мильмана: вся площадь многомерной сферы концентрируется в бесконечно узком поясе вокруг экватора \(u = 0\) (дисперсия координаты \(u\) равна \(1 / d \to 0\)). Поэтому слабым пределом меры \(d\nu_d(u)\) при \(d \to \infty\) является дельта-функция Дирака \(\delta(u)\) в нуле.
Подставляя \(u = 0\) в аргумент \(x \cos h + u \sqrt{1 - x^2} \sin h\), мы видим, что иррациональное радиальное слагаемое \(\sqrt{1 - x^2} \sin h\) полностью исчезает, и сферический сдвиг \(T_h^{(d)}\) поточечно переходит в чистое мультипликативное сжатие:
\[
\lim_{d \to \infty} T_h^{(d)} f(x) = f(x \cos h) = M_q f(x), \qquad q = \cos h \in (0, 1).
\]
2) Вырождение оператора Лапласа — Бельтрами в оператор Эйлера.
Разделив дифференциальный оператор \(A_d = -(1 - x^2) D^2 + d \cdot x D\) на размерность \(d\), в пределе при \(d \to \infty\) получаем генератор однородного растяжения Эйлера:
\[
\lim_{d \to \infty} \frac{1}{d} A_d = x D = x \frac{d}{dx}.
\]
Собственные функции \(R_j^{(d)}(x)\) оператора \(A_d\) сходятся к чистым степенным мономам \(x^j\), а собственные числа сдвига \(R_j^{(d)}(\cos h)\) переходят в геометрическую прогрессию:
\[
\lim_{d \to \infty} R_j^{(d)}(x) = x^j, \qquad \lim_{d \to \infty} R_j^{(d)}(\cos h) = (\cos h)^j = q^j.
\]
3) Предел разности и дифференциального оператора.
В результате при \(d \to \infty\) ультрасферическая разность \(\Delta^{\ast(d)}_{2k, h} f(x)\) переходит в классическую мультипликативную разность Гаусса по геометрической прогрессии \(x, q x, q^2 x, \dots, q^k x\) со знаменателем \(q = \cos h\):
\[
\lim_{d \to \infty} \Delta^{\ast(d)}_{2k, h} f(x) = \prod_{j=0}^{k-1} (q^j I - M_q) f(x), \qquad M_q f(x) = f(q x), \quad q = \cos h.
\]
Одновременно нормированный дифференциальный оператор \(d^{-k} L^{\ast(d)}_{2k}\) переходит в факторизованный оператор Эйлера — Ньютона:
\[
\lim_{d \to \infty} \frac{1}{d^k} L^{\ast(d)}_{2k} = \prod_{j=0}^{k-1} (x D - j I) = x^k \frac{d^k}{dx^k}.
\]
Таким образом, размерность сферы \(d \in [1, \infty]\) служит непрерывным мостом, соединяющим чебышевский модуль на отрезке (\(d = 1\)) с чистой мультипликативной разностью Гаусса по геометрической прогрессии (\(d = \infty\)).
4. Масштабированный предел Пуанкаре — Мелера при \(d \to \infty\): переход к Эрмиту и Орнштейну — Уленбеку
Второй замечательный предел возникает, если при \(d \to \infty\) рассмотреть микроскопический масштаб вблизи центра отрезка \(x = 0\), положив:
\[
x = \frac{y}{\sqrt{d}}, \qquad y \in (-\infty, \infty).
\]
В этом масштабе (классический предел Пуанкаре — Максвелла) геометрия сферы \(S^d\) развертывается в бесконечномерный гауссов мир на всей прямой \(\mathbb{R}\):
1) Вес Гегенбауэра переходит в плотность нормального распределения Гаусса:
\[
\lim_{d \to \infty} \left(1 - \frac{y^2}{d}\right)^{\frac{d - 2}{2}} = e^{-y^2 / 2}.
\]
2) Ультрасферические многочлены переходят в ортогональные многочлены Эрмита \(H_n(y)\).
3) Нормированный оператор Лапласа — Бельтрами \(\frac{1}{d} A_d\) в координате \(y\) сохраняет вторую производную и переходит в дифференциальный оператор Орнштейна — Уленбека (оператор Эрмита):
\[
\lim_{d \to \infty} \frac{1}{d} A_d = -\frac{d^2}{dy^2} + y \frac{d}{dy} = A_{OU}, \qquad A_{OU} H_n(y) = n H_n(y).
\]
4) Сферический сдвиг \(T_h^{(d)}\) (записанный в координате \(y\) и переменной \(z = u \sqrt{d}\)) переходит в интегральный оператор Мелера (полугруппу Орнштейна — Уленбека):
\[
T_h^{OU} f(y) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^\infty f(y \cos h + z \sin h) e^{-z^2 / 2} \, dz,
\]
собственные значения которого на многочленах Эрмита \(H_j(y)\) по-прежнему равны \((\cos h)^j\). Соответствующая разность принимает вид:
\[
\Delta^{OU}_{2k, h} f(y) = \prod_{j=0}^{k-1} \left( (\cos h)^j I - T_h^{OU} \right) f(y), \qquad L^{OU}_{2k} = \prod_{j=0}^{k-1} (A_{OU} - j I).
\]
5. Сводная панорама шкалы по размерности \(d\)
Подводя итог, мы получаем замкнутую картину семейств модулей гладкости, параметризованную размерностью сферы \(d\):
- \(d = 1\) (окружность \(S^1\), Гаусс — Чебышев):
дискретный двухточечный сдвиг \(T_h\), базис \(T_n(x)\), спектр \(\cos(j h)\), оператор \(A_1 = -(1 - x^2) D^2 + x D\), идеальное пространство \(C[-1, 1]\).
- \(d = 2\) (сфера \(S^2\), Гаусс — Лежандр):
интегральный сдвиг Лежандра, базис \(P_n(x)\), спектр \(P_j(\cos h)\), самосопряженный оператор \(A_2 = -\frac{d}{dx}((1 - x^2)\frac{d}{dx})\), идеальное пространство \(L^2[-1, 1]\).
- \(d \to \infty\) без растяжения (\(x \in [-1, 1]\), мультипликативный Гаусс):
чистое геометрическое сжатие \(M_q f(x) = f(q x)\) (\(q = \cos h\)), базис мономов \(x^n\), спектр \(q^j\), вырожденный оператор \(\prod_{j=0}^{k-1} (x D - j I) = x^k D^k\).
- \(d \to \infty\) с масштабированием \(x = y / \sqrt{d}\) (\(y \in \mathbb{R}\), Гаусс — Эрмит — Мелер):
интегральный сдвиг Мелера \(T_h^{OU}\) с гауссовым ядром \(e^{-z^2/2}\), базис многочленов Эрмита \(H_n(y)\), спектр \((\cos h)^j\), оператор Орнштейна — Уленбека \(A_{OU} = -D_y^2 + y D_y\).$]
Комментариев нет:
Отправить комментарий