On best approximation and estimates of Bohr--Favard type on the sphere for functions with bounded Laplacian

기술 요약: 라플라시안이 유계인 함수에 대한 구(Sphere) 위의 보어-파바르 유형 최적 근사와 추정치

문제 정의
본 연구는 라플라시안의 크기가 유계($\|\Delta f\|_\infty \le 1$)인 단위 구 $S^d$ ($d \ge 2$) 상의 함수들에 대한 균등($L^\infty$) 노름 추정치의 날카로운 상수(sharp constants)를 결정하는 문제를 다룬다. 이 연구는 주기 함수에 대한 고전적인 보어(Bohr) 및 파바르(Favard) 정리와 유사한 두 가지 구별되면서도 연관된 문제에 초점을 맞춘다:

1. 보어 문제(The Bohr Problem): 첫 $n-1$개의 구면 조화 성분이 소멸하는($f \perp \mathcal{H}_{<n}$) 함수들의 노름을 추정하는 것. 목표는 부등식 $\|f\|_\infty \le H(n, S^d) \|\Delta f\|_\infty$에서 날카로운 상수 $H(n, S^d)$를 찾는 것이다.
2. 파바르 문제(The Favard Problem): 이러한 함수들을 차수가 최대 $n-1$인 구면 다항식으로 근사할 때의 최적 균등 근사 오차 $E_{n-1}(f)_{L^\infty}$를 추정하는 것. 목표는 부등식 $E_{n-1}(f)_{L^\infty} \le K(n, S^d) \|\Delta f\|_\infty$에서 날카로운 상수 $K(n, S^d)$를 찾는 것이다.

본 논문은 고정된 $n$에 대한 이 상수들의 정확한 값과 $n \to \infty$일 때의 점근적 거동을 결정하고자 하며, 특히 근사 문제의 상수($K$)가 노름 문제의 상수($H$)와 일치하는지 아니-면 엄격히 작은지 조사한다. 이는 고전적인 주기적 경우와는 다른 양상이다.

방법론
주요 방법론은 역 라플라시안의 **그린 표현(Green representation)**에 의존한다. 평균이 0인 함수 $f$는 $g = -\Delta f$를 구형 측도 $\sigma_d$에 대한 존형(zonal) 그린 커널 $G_d$와 컨볼루션하여 다음과 같이 표현될 수 있다:
$$f(x) = \int_{S^d} G_d(x \cdot y) g(y) \, d\sigma_d(y).$$
$\|f\|_\infty$ 또는 근사 오차를 바운딩하는 문제는 구형 측도에 의해 유도된 측도에 대한 그린 커널 $G_d$의 최적 $L^1$ 근사를 찾는 문제로 귀결된다.

주요 기술적 단계는 다음과 같다:

• 커널 보간(Kernel Interpolation): 특정 단항식 극한 다항식 $q_{n,d}$의 영점에서의 보간 다항식이 그린 커널의 최적 $L^1$ 근사체임을 식별한다. 이 영점들은 구형 측도에 의해 유도된 가중치에 대한 소멸 모멘트 조건을 통해 결정된다.
• 극한 다항식(Extremal Polynomials): 보조정리 4.1을 활용하여 가중 $L^1$ 노름을 최소화하는 단항식의 존재와 유일성을 확립한다. 근사 오차의 부호는 이 극한 다항식의 부호와 같음을 보여, 경계치를 달성하는 극한 함수(보어 극한 함수)를 구성할 수 있게 한다.
• 차원 분석:
  • $S^2$: 문제를 등간격 격도 상의 삼각 $L^1$ 근사 문제로 매핑하며, 이는 체비쇼프 노드(Chebyshev nodes)를 포함하는 명시적인 급수 공식을 도출한다.
  • $S^3$: 보간 노드는 가중 $L^1$ 극한 문제에 의해 결정된다. $n \to \infty$일 때 문제를 재스케일링하면, $\mathbb{R}$ 상에서 $L^1$ 노름을 최소화하는 유일한 지수 유형 1의 전해 함수(entire function)인 **회르만더-베른하르드슨 함수(Hörmander–Bernardsson function)**에 도달한다.
  • 고차원 ($S^4, S^6$): 짝수 차원의 그린 커널은 극(pole)과 로그의 유한 합으로 표현된다. 점근적 상수는 재스케일링된 극한 다항식이 가중 전해 극한 함수로 수렴하는 과정을 분석함으로써 유도된다.
• 쌍대성 및 엄격한 부등식: K(n, S^^d) < H(n, S^d)를 증명하기 위해 $\mathcal{H}_{<n}$을 소멸시키는 측도를 포함하는 쌍대 형식을 사용한다. 커널 근사 오차의 부호가 서로 다른 극(pole)들 사이에서 완벽하게 일치해야 함을 보여줌으로써, 이러한 일치가 불가능함을 입증한다. 이는 위도 구(latitude spheres)의 기하학적 교차 성질 때문에 $n \ge 2$인 경우 불가능하다.

주요 기여 및 결과

1. 고정된 $n$에 대한 정확한 상수:

   • $S^2$: 상수 $H(n, S^2)$는 명시적인 수렴 급수로 주어진다(정리 7.1). 점근적 추정을 위한 최적 계수는 $H(S^2) = \frac{7\zeta(3)}{4}$이다.
   • $S^3$: 상수 $H(n, S^3)$는 극한 다항식 $q_n$을 포함하는 적분으로 표현된다. 점근적 상수 $H(S^3)$는 회르만더-베른하르드슨 함수 $\phi$를 포함하는 양의 적분으로 식별되며, 수치적으로 $\beta \approx 2.850999$로 평가된다(정리 9.2).
   • $S^4$ 및 $S^6$: 점근적 상수들은 가중 전해 극한 함수의 최소 노름을 통해 유도된다(정리 13.1). $S^4$의 경우 극한은 $M_4/4$이며, $S^6$은 가중 노름과 0에서의 극한 함수의 이계도함수의 조합을 포함한다.

2. 균등 바운드(Uniform Bounds):
   본 논문은 유도된 점근적 극한이 모든 $n$에 대해 동시에 유효한 최적 계수임을 증명한다. $S^3, S^4, S^6$의 경우, $n^2 H(n, S^d)$의 상한(supremum)은 $n \to \infty$일 때의 극한값과 같다(정리 10.1, 14.1).

3. 보어 상수와 파바르 상수 사이의 엄격한 부등식:
   핵심적인 발견은 모든 고정된 $n \ge 2$에 대해 $S^2$와 $S^3$에서 최적 근사 상수가 보어 상수보다 엄격히 작다는 것이다:
   $$K(n, S^d) < H(n, S^d).$$
   이는 두 상수가 일치하는 고전적인 주기적 설정과 대조된다. 본 논문은 $S^2$에 대해 큰 $n$에 대한 정량적 간극을 제공하며, 측도 공간에 대한 콤팩트성 논증을 통해 엄격한 부등식을 증명한다(정리 15.2 및 18.1).

4. 구성적 근사(Constructive Approximation):
   본 논문은 $\mathcal{H}_{<n}$으로 매핑되는 모든 선형 방법 중 최적인, $S^2$ 상의 함수를 근사하기 위한 명시적인 선형 연산자를 제공한다. 이 방법은 그린 커널의 최적 $L^1$ 근사체와 라플라시안을 컨볼루션하는 것을 포함한다(정리 15.1, 섹션 16).

의의 및 주장
본 논문은 라플라시안이 유계인 함수에 대한 구 위의 날카로운 보어 유형 상수의 결정을 가중 $L^1$ 극한 다항식을 통해 해결했다고 주장한다. "예상치 못한" 가장 중요한 관찰은 $n \ge 2$인 모든 고정된 $n$에 대해 보어 상수(누락된 조화 성분을 가진 함수의 노름)와 파바르 상수(최적 근사 오차) 사이에 엄격한 분리가 존재한다는 점이다.

본 연구는 클래식한 주기적 환경에서는 이 상수들이 일치하지만, 구 위에서는 그렇지 않다는 점을 밝혀낸다. 본 논문은 $S^2$에 대한 명시적인 공식, $S^3$를 위한 회르만더-베른하르드슨 함수를 포함한 적분 표현, 그리고 $S^4$ 및 $S^6$에 대한 점근적 공식을 제공한다. 또한 $\limsup n^2 K(n, S^d) < \lim n^2 H(n, S^d)$인지 여부(즉, 극한에서도 엄격한 부등식이 유지되는지)에 대한 질문은 미해결 과제로 남겨두었으며, $K(n, S^d)$의 정확한 값을 결정하는 대신 하한을 제공하고 엄격한 부등식의 존재를 증명하였다.