Formula for Hermite multivariate interpolation and partial fraction decomposition

기술 요약: 에르미트 다변량 보간법 및 부분 분수 분해를 위한 공식

문제 정의
본 논문은 근사 이론과 대수학의 두 가지 상호 연결된 문제를 다룬다:

1. 다변량 에르미트 보간(Multivariate Hermite Interpolation): 초평면(hyperplane)들의 집합에 의해 정의된 점들에서의 에르미트 보간 조건(함숫값 및 편도함수)을 만족하는 유일한 다항식 $p \in \Pi_k^n$ (변수가 $k$개인 최대 차수 $n$의 다항식)에 대한 명시적 공식을 찾는 것이다.
2. 부분 분수 분해(Partial Fraction Decomposition): 유리 함수 $p(x)/q(x)$를 부분 분수로 분해하기 위한 직접적이고 명시적인 해법을 제공한다. 특히 중근을 갖는 경우와 실수 계수(복소 공액 쌍 포함)를 갖는 경우를 다루며, 거대한 선형 시스템을 푸는 과정 없이 이를 수행한다.

방법론
저자 하콥 하코피안(Hakop Hakopian)은 초평면의 기하학적 배치를 기반으로 하는 청-야오 보간법(Chung–Yao interpolation) 프레임워크를 활용한다.

• 기하학적 설정: $L_{n+k} = \{L_1, \dots, L_{n+k}\}$를 $\mathbb{R}^k$ 내의 초평면 집합이라 하자. 이 집합은 임의의 $k$개의 서로 다른 초평면의 교집합은 단일 점이 되고, $k+1$개의 교집합은 공집합이 되는 "허용 가능한(admissible)" 상태라고 가정한다.

• 중복도 정의: 각 구별되는 교차점 $x^{(i)}$에 대해, 통과하는 초평면의 수에 기초하여 중복도 $m_i$를 정의한다. 보간 조건은 각 $x^{(i)}$에서 함수와 그 도함수를 $m_i - 1$ 차수까지 일치시킬 것을 요구한다.

• 라그랑주-테일러 공식(The Lagrange–Taylor Formula): 핵심적인 방법론적 기여는 "라그랑주-테일러" 공식의 유도이다. 저자는 전역 소멸 다항식 $\phi(x) = \prod L_j(x)$와, $x^{(i)}$를 제외한 모든 교차점에서 0이 되는 지역 소멸 다항식 $\phi_i(x)$를 정의한다.
  보간 다항식 $p_f$는 다음과 같은 항들의 합으로 구성된다:
  $$p_f(x) = \sum_{i=1}^s \phi_i(x) \cdot T_{f/\phi_i, x^{(i)}, m_i-1}(x)$$
  여기서 $T_{g, c, m}$은 점 $c$에서의 함수 $g$에 대한 $m$ 차수 테일러 다항식을 나타낸다. 증명은 다변량 라이프니츠 법칙(multivariate Leibniz rule)을 사용하여, 이 구성이 다른 노드들에서의 소멸 조건과 대상 노드에서의 도함수 재현 조건을 모두 만족함을 보여주는 데 기초한다.

• 일변량 분해에 대한 적용: 본 논문은 이 다변량 프레임워크를 일변량 케이스($k=1$)에 적용한다. 분모 $q(x)$의 근들을 선형 인자들의 교차점으로 취급함으로써, 저자는 부분 분수 분해의 계수에 대한 명시적 공식을 유도한다.

  • 복소수 근: 공식은 중근을 처리하기 위해 분할 차분(divided differences)과 테일러 전개를 활용한다.
  • 실수 분해: 비실수 근이 공액 쌍으로 나타나는 실수 다항식의 경우, 저자는 이 근들을 그룹화한다. 결과적인 공식은 분할 차분의 실수 계수를 사용하여 실수 이차 인자 $(x^2 + u_\nu x + v_\nu)$를 이용한 분해를 표현한다.

주요 기여 및 결과

1. 명시적 에르미트 공식: 본 논문은 청-야오 설정 내에서 다변량 에르미트 보간을 위한 새로운 명시적 공식을 제시한다. 선형 시스템을 풀어야 하는 전통적인 접근 방식과 달리, 이 공식은 직접적이며 $f/\phi_i$의 테일러 전개에 의존한다.
2. 직접적인 부분 분수 분해: 중근을 갖는 유리 함수의 부분 분수 분해 계수에 대한 명시적 공식을 유도한다.
   • 서로 다른 근의 경우, 공식은 $q'(x_i)$를 포함하는 표준 결과를 회복한다.
   • 중근의 경우, 계수들은 선형 방정식 시스템을 풀 필요 없이 미분(실수 근의 경우) 또는 분할 차분(복소 공액 쌍의 경우)을 통해 명시적으로 주어진다.
3. 실수 케이스 처리: 복소 공액 근을 갖는 실수 유리 함수에 대한 명시적 처리가 특정 기여 사항이다. 논문은 기약 이차 인자를 포함하는 항들의 계수를 구하는 공식을 제공하여, 분해가 실수체 내에서 유지되도록 보장한다.

의의 및 주장
본 논문은 고전적인 부분 분수 분해 문제, 특히 실수 케이스를 포함한 문제에 대해 직접적이고 명시적인 해법을 제공한다고 주장한다. 새로 유도된 다변량 라그랑주-테일러 공식의 일변량 유사성을 활용함으로써, 저자는 분해 계수들이 간접적인 대수적 조작이나 선형 대수를 통해서가 아니라, 근에서의 함수와 그 도함수(또는 분할 차분)로부터 직접 계산될 수 있음을 입증한다.

이 연구는 청-야오 보간법의 기하학적 접근법과 유리 함수 분해라는 대수적 문제를 통합하며, 보간 데이터와 분해 계수를 계산 가능한 폐쇄형(closed-form) 식으로 제공하는 이론적 프레임워크를 제시한다. 저자는 이 접근 방식이 특히 중근이 포함된 경우 부분 분수 전개에서 상수들을 결정하는 절차를 단순화한다고 언급한다.