다변량 베르누이 두레미에 연산자 합성 커널의 새로운 표현

초록

본 논문은 표준 단순체 위에서 정의된 다변량 베르누이‑두레미에 연산자의 합성에 대한 적분 커널을 명시적으로 전개한다. 핵심 결과는 차수 m, n인 두 연산자의 합성 커널을 다중지수 ℓ에 대한 이항계수와 베르누이 다항식의 곱 형태로 나타내는 정리이다. 이를 통해 연산자들의 교환성 및 선형 결합 구조를 간결히 파악할 수 있다.

상세 분석

논문은 먼저 1차원에서 알려진 Bernstein‑Durrmeyer 연산자 Mₙ의 커널 Kₙ(x,y)를 복습하고, 두 연산자 Mₘ∘Mₙ의 합성 커널이 Legendre 다항식 전개와 비교해 더 간결한 형태를 가짐을 강조한다. 이어서 다변량 상황으로 확장하기 위해 표준 단순체 S_d와 그 위의 다중지수 표기법을 도입한다. 베르누이 기저 다항식 B_α(x)=(\frac{|α|!}{α_0!…α_d!}x^α)를 사용해 Bernstein‑Durrmeyer 연산자를
((M_n f)(x)=\sum_{|α|=n}\langle f,B_α\rangle\langle1,B_α\rangle B_α(x))
로 정의한다. 여기서 ⟨·,·⟩는 L² 내적이다.

주요 정리(Theorem 3)는
(K_{m,n}(x,y)=(m+d)!(n+d)!(m+n+d)!\sum_{\ell\ge0}\binom{m}{|\ell|}\binom{n}{|\ell|}B_\ell(x)B_\ell(y))
라는 식을 제시한다. 증명은 먼저 합성 연산자를 적분 형태로 전개하고, ⟨1,B_α⟩의 알려진 값 (|α|!/(|α|+d)!)와 단순체 위의 베르누이 다항식의 곱 적분 공식
(\int_{S_d}B_α(t)B_β(t)dt=\binom{|α|}{α}\binom{|β|}{β}\binom{|α+β|}{α+β}\langle1,B_{α+β}\rangle)
을 이용한다. 이후 다중지수 (\beta)에 대한 합을 차수 ℓ으로 재정렬하고, 다중계수의 조합을 정리해 최종 형태를 얻는다. 핵심 아이디어는
(\sum_{|β|=m}B_β(x)\sum_{\ell\leβ}\binom{n}{|\ell|}\frac{β!}{(β-\ell)!}x^{β-\ell}= \sum_{\ell\ge0}\binom{m}{|\ell|}\binom{n}{|\ell|}B_\ell(x))
와 같은 다중지수 연산을 이용해 복잡한 이중합을 단일합으로 축소하는 것이다.

이 결과는 다음과 같은 의미를 가진다. 첫째, 커널이 ℓ에 대한 비대칭적인 이항계수와 베르누이 다항식의 곱으로만 구성되므로, 합성 연산자를 개별 연산자들의 선형 결합으로 표현할 수 있다. 둘째, m과 n을 교환해도 동일한 형태가 유지되므로 연산자의 교환성이 즉시 드러난다. 셋째, ℓ의 차수가 min{m,n}를 초과하지 않으므로, 차수 제한이 자연스럽게 나타난다. 이러한 구조적 특성은 수치적 구현이나 근사 이론에서 연산자 반복에 대한 명시적 식을 제공하는 데 유용하다.