[논문 리뷰] Calculus of linear extensions and Newton interpolation

Gennadiy Georgievich Ilyuta|ArXiv.org|2009. 11. 30.

Advanced Numerical Analysis Techniques인용 수 3

한 줄 요약

이 논문은 부분순서집합(포스셋, posets)의 선형 확장에 대한 그린의 합과 뉴턴의 비례차분 사이에 새로운 연결 고리를 설정하며, 포스셋의 수열에 따라 인덱싱된 새로운 보간 공식을 가능하게 한다. 잔류값 해석학과 생성함수를 활용하여 일반화된 뉴턴 보간 급수와 비례차분을 아르놀트의 미분형식과 연결하는 항등식을 도출하며, 유리함수 항등식과 다변수 보간에의 응용이 있다.

ABSTRACT

We use Newton divided differences for calculation of Greene sums -- the rational functions determined by linear extensions of partially ordered sets. Identities for Greene sums generate relations for Newton divided differences and Arnold differential forms. Also generalizations of the Newton interpolation series which are indexed by sequences of partially ordered sets are received.

연구 동기 및 목표

• 포스셋으로 정의된 유리함수를 위한 선형 확장의 미적분학을 수립하기 위해.
• 잔류값 해석학을 활용하여 포스셋의 수열에 따라 인덱싱된 새로운 보간 공식을 유도하기 위해.
• 그린 합의 대칭성을 통해 뉴턴의 비례차분과 아르놀트의 미분형식 간의 항등식을 생성하기 위해.
• 포스셋 분해를 통해 유리함수 항등식과 다변수 보간을 통합하기 위해.

제안 방법

• 포스셋의 선형 확장에 대한 그린 합을 계산하기 위해 뉴턴의 비례차분을 사용하기 위해.
• 복소해석학과 카우치의 잔류값 정리를 적용하여 해석함수를 그린 합을 포함하는 적분으로 표현하기 위해.
• 포스셋의 구조를 통해 선형 확장을 분해하여 비례차분에 대한 항등식을 도출하기 위해.
• 포스셋의 수열에 따라 인덱싱된 일반화된 뉴턴 보간 급수를 구성하기 위해.
• 생성함수와 격자경로 모델을 활용하여 다변수 보간을 해석하기 위해.
• 포스셋 사이클을 통해 비례차분과 아르놀트의 로그미분형식 ωij = (1/2πi)d(xi−xj)/(xi−xj) 사이의 관계를 도출하기 위해.

실험 결과

연구 질문

• RQ1 포스셋의 선형 확장에 대한 그린 합은 어떻게 뉴턴의 비례차분을 통해 표현될 수 있는가?
• RQ2 포스셋의 수열에 따라 뉴턴 공식을 인덱싱함으로써 어떤 새로운 보간 급수가 도출되는가?
• RQ3 그린 합의 항등식은 비례차분과 아르놀트의 미분형식 간의 관계를 어떻게 생성하는가?
• RQ4 다변수 보간은 포스셋 분해와 잔류값 적분으로 체계적으로 유도될 수 있는가?
• RQ5 포스셋 사이클은 유리함수에 대한 함수적 항등식을 생성하는 데 어떤 역할을 하는가?

주요 결과

• 그린 합은 뉴턴의 비례차분에 대한 항등식을 생성하며, 예를 들어 ΔXn[F] = ∑i F(xi)/f’(xi)와 같이 잔류값 적분과 연결된다.
• 일반화된 뉴턴 보간 급수는 잔류값 적분을 통해 도출되며, 특수한 경우로 라그랑주 보간과 테일러 급수를 복원한다.
• 해시 다이어그램이 나무 모양인 포스셋의 경우, 보간 공식은 F(x) = (1/2πi)∫[(D(z)−D(x))/(z−x)]F(z)/D(z) dz + D(x)(1/2πi)∫F(z)/[(z−x)D(z)] dz 로 단순화된다.
• 포스셋 Pn이 최대 원소 z와 n개의 최소 원소 x1,…,xn를 가질 경우, F(x)에 대한 명시적 공식이 도출되며, L_F(x) = f(x)∑α∈Sn F(xα(1))/∏(x−xα(i))(xα(i)−xα(i+1)) 로 표현된다.
• 비선형 3원소 포스셋에서 유도된 관계를 통해 비례차분과 아르놀트의 미분형식 ωij = (1/2πi)d(xi−xj)/(xi−xj) 간의 관계가 도출된다.
• 포스셋 기반의 선형 확장 분해를 통해 고전적 항등식인 그라스만-플루커 항등식과 오일러-자코비 공식을 일반화한다.