[논문 리뷰] Divided Differences

Carl de Boor|ArXiv.org|2005. 02. 01.

Statistical Methods in Clinical Trials참고 문헌 2인용 수 82

한 줄 요약

이 논문은 뉴턴 보간 형식에서의 계수로서 단변수 분할 차분의 새로운 기능적 정의를 제시하며, 선형 대수학과 다항식 나눗셈을 통해 그 성질을 수립한다. 분할 차분이 대칭적이고 연속적이며 허미트 보간과 대응됨을 증명하고, 다항식의 곱에 대한 라이프니츠 유형 공식을 통해 그 표현을 보여주는 핵심 결과를 제시한다.

ABSTRACT

Starting with a novel definition of divided differences, this essay derives and discusses the basic properties of, and facts about, (univariate) divided differences.

연구 동기 및 목표

• 분할 차분을 뉴턴 보간 형식의 계수로서 엄밀하고 기능적인 정의를 수립하기 위해.
• 다항식 기저 이론을 사용하여 분할 차분의 대칭성, 연속성, 선형성 성질을 분석하기 위해.
• 주어진 점들에서 다중성을 고려할 때 뉴턴 형식이 유일한 허미트 보간형임을 보여주기 위해.
• 두 다항식의 곱에 대한 라이프니츠 유형 공식을 유도하기 위해.
• 기존 기호와의 충돌을 방지하기 위해 Δ̸ 기호를 사용한 일관되고 충돌하지 않는 표기법을 제안하기 위해.

제안 방법

• 다항식 $ p $ 를 중심 $ t_1, \ldots, t_j $ 에 대해 뉴턴 전개할 때의 계수 $ \mathord{\kern 4.29993pt\vrule width=0.6pt,height=5.6pt,depth=-0.28pt\kern-4.19998pt\Delta}(t_1,\ldots,t_j)p $ 로서 분할 차분을 정의한다.
• 다항식의 차수보다 작은 공간을 위한 계층 기저로 $ w_{j-1,t} = (\cdot - t_1)\cdots(\cdot - t_{j-1}) $ 를 사용한다.
• 계수 수열에서 다항식으로의 사상 $ W_t $ 가 가역임을 증명하여 유일한 표현을 보장하고, 분할 차분을 $ (W_t^{-1}p)(j) $ 로 정의한다.
• 분할 차분 $ \mathord{\kern 4.29993pt\vrule width=0.6pt,height=5.6pt,depth=-0.28pt\kern-4.19998pt\Delta}(t_1,\ldots,t_j)p $ 이 $ t_i $ 에 대해 대칭적이며, 연속적이며, 차수 $ j-1 $ 미만의 다항식에서는 0이 됨을 증명한다.
• 곱 $ f g $ 의 분할 차분에 대한 라이프니츠 유형 공식을 유도하여, 낮은 차수의 분할 차분의 곱으로의 합으로 표현한다.
• 구간, 행렬, 내적 기호와의 충돌을 피하기 위해 $ \mathord{\kern 4.29993pt\vrule width=0.6pt,height=5.6pt,depth=-0.28pt\kern-4.19998pt\Delta}(t_1,\ldots,t_j)p $ 표기를 제안한다.

실험 결과

연구 질문

• RQ1 분할 차분을 유한 차분 표와 독립적으로, 뉴턴 보간 형식의 계수로서 엄밀하게 정의할 수 있는 방법은 무엇인가?
• RQ2 분할 차분의 기본 대수적 및 해석적 성질, 예를 들어 대칭성과 연속성은 무엇인가?
• RQ3 뉴턴 형식은 허미트 보간과 어떻게 관련되어 있으며, 왜 $ n $ 개의 점에서 다중성을 고려할 때 차수 $ n $ 미만의 유일한 보간형인가?
• RQ4 두 다항식의 곱에 대한 분할 차분에 대해 라이프니츠 법칙을 도출할 수 있는가?
• RQ5 표준 수학 기호와의 충돌을 피할 수 있는 최적의 분할 차분 표기법은 무엇인가?

주요 결과

• 분할 차분은 다항식 공간 위의 잘 정의된 선형 함수형이며, $ \mathord{\kern 4.29993pt\vrule width=0.6pt,height=5.6pt,depth=-0.28pt\kern-4.19998pt\Delta}(t_1,\ldots,t_j)p $ 는 다항식 $ p $ 의 뉴턴 전개에서 $ w_{j-1,t} $ 의 계수이다.
• 분할 차분 $ \mathord{\kern 4.29993pt\vrule width=0.6pt,height=5.6pt,depth=-0.28pt\kern-4.19998pt\Delta}(t_1,\ldots,t_j)p $ 는 점 $ t_1, \ldots, t_j $ 에 대해 대칭적이며, 이는 뉴턴 기저의 대칭성에 기인한다.
• 분할 차분은 중심 $ t_1, \ldots, t_j $ 에 대해 연속적이며, 연속 사상 $ W_t $ 의 역함수이기 때문이다.
• 뉴턴 형식의 첫 $ n $ 개 항은 $ t_1, \ldots, t_n $ 에서 차수 $ n $ 이하의 유일한 허미트 보간형을 형성하며, 각 점 $ z $ 에서 다중성 $ \mu_z $ 에 따라 $ p $ 와 그 도함수의 차수 $ \mu_z - 1 $ 까지 일치한다.
• 라이프니츠 유형 공식이 도출된다: $ \mathord{\kern 4.29993pt\vrule width=0.6pt,height=5.6pt,depth=-0.28pt\kern-4.19998pt\Delta}(s_{1:m})fg = \sum_{i=1}^{m} (s_i - t_{i+p}) \mathord{\kern 4.29993pt\vrule width=0.6pt,height=5.6pt,depth=-0.28pt\kern-4.19998pt\Delta}(s_{1:i})w_{i+p,t} \cdot \mathord{\kern 4.29993pt\vrule width=0.6pt,height=5.6pt,depth=-0.28pt\kern-4.19998pt\Delta}(t_{1:i+p},s_{i:m}) $, 여기서 $ p = n - m $.
• 표기 $ \mathord{\kern 4.29993pt\vrule width=0.6pt,height=5.6pt,depth=-0.28pt\kern-4.19998pt\Delta}(t_1,\ldots,t_j)p $ 는 기존 표기법과의 혼동을 피하고, 직관적이며 일관된 비표준 기호로서 제안된다.