[논문 리뷰] Multivariate Lagrange Interpolation and an Application of Cayley-Bacharach Theorem For it

Xue-Zhang Liang, Jielin Zhang외 2명|ArXiv.org|2006. 08. 04.

Advanced Numerical Analysis Techniques참고 문헌 13인용 수 4

한 줄 요약

이 논문은 복소 n차원에서 대수다양체 위에서 다변수 라그랑주 보간법을 위한 적절히 구성된 노드 집합(PPSN)을 구성하기 위한 일반적인 초위치 보간 과정을 제안한다. 확장된 케일리-바하라흐 정리와 초면들의 충분한 교차 성질을 활용하여, 임의의 차수의 다항식 공간에 대해 PPSN를 구축하는 재귀적 방법을 수립하며, 이는 이전의 결과들인 라돈과 미소프스키의 과정을 일반화한다.

ABSTRACT

In this paper,we deeply research Lagrange interpolation of n-variables and give an application of Cayley-Bacharach theorem for it. We pose the concept of sufficient intersection about s algebraic hypersurfaces in n-dimensional complex Euclidean space and discuss the Lagrange interpolation along the algebraic manifold of sufficient intersection. By means of some theorems (such as Bezout theorem, Macaulay theorem and so on) we prove the dimension for the polynomial space P(n) m along the algebraic manifold S of sufficient intersection and give a convenient expression for dimension calculation by using the backward difference operator. According to Mysovskikh theorem, we give a proof of the existence and a characterizing condition of properly posed set of nodes of arbitrary degree for interpolation along an algebraic manifold of sufficient intersection. Further we point out that for s algebraic hypersurfaces of sufficient intersection, the set of polynomials must constitute the H-base of ideal. As a main result of this paper, we deduce a general method of constructing properly posed set of nodes for Lagrange interpolation along an algebraic manifold, namely the superposition interpolation process. At the end of the paper, we use the extended Cayley-Bacharach theorem to resolve some problems of Lagrange interpolation along the 0-dimensional and 1-dimensional algebraic manifold. Just the application of Cayley-Bacharach theorem constitutes the start point of constructing properly posed set of nodes along the high dimensional algebraic manifold by using the superposition interpolation process.

연구 동기 및 목표

• 복소 n차원에서 대수다양체를 따라 다변수 라그랑주 보간법을 위한 적절히 구성된 노드 집합(PPSN)을 생성하기 위한 일반적 방법을 개발하는 것.
• 기하학적 도구를 활용하여 기존의 초위치 과정(예: 라돈, 미소프스키)을 임의의 차원의 대수다양체로 일반화하는 것.
• 확장된 케일리-바하라흐 정리와 역차분 연산자를 이용해 PPSN를 재귀적으로 구성하는 것.
• 충분한 교차로 정의된 대수다양체에 제한된 다항식 공간의 차원을 특성화하는 것.
• 충분한 교차의 정의 다항식이 관련 아이디얼에 대해 H-기저를 이룬다는 것을 증명하여 구조적 일관성을 확보하는 것.

제안 방법

• 복소 n차원에서 s개의 대수적 초면의 '충분한 교차' 개념을 도입하여, 교차 성질이 획일적이고 잘 정의되어 있음을 보장한다.
• 베주 정리와 매크롤레이 정리를 적용하여, 대수다양체 S = s(f₁, …, fₛ)에 제한된 다항식 공간 Pₘ⁽ⁿ⁾의 차원을 유도한다.
• 역차분 연산자를 사용하여 제한된 다항식 공간의 차원에 대해 편리하고 계산 가능한 표현을 제공한다.
• 확장된 케일리-바하라흐 정리를 활용하여, 더 낮은 차원의 다각체(예: 곡선, 곡면)를 따라 노드를 추가함으로써 PPSN를 재귀적으로 구성한다.
• 초위치 보간 과정을 재귀적 알고리즘으로 설정: 곡선 상의 PPSN에서 시작하여 곡면으로 확장하고, 최종적으로 Cⁿ으로 확장한다.
• 초면들이 충분한 교차에 있을 경우, 집합 {f₁, …, fₛ}가 아이디얼 Iₛ = ⟨f₁, …, fₛ⟩에 대해 H-기저를 이룬다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 복소 n차원에서 다변수 라그랑주 보간법을 위한 적절히 구성된 노드 집합(PPSN)을 생성하기 위한 일반적인 재귀적 방법은 어떻게 구성할 수 있는가?
• RQ2 s개의 초면으로 정의된 대수다양체를 따라 보간법에 적절히 구성된 노드 집합이 되기 위한 조건은 무엇인가?
• RQ3 확장된 케일리-바하라흐 정리는 고차원 대수다양체에서 PPSN를 구성하는 데 어떻게 기여하는가?
• RQ4 충분한 교차로 정의된 대수다양체에 제한된 m차 다항식 공간의 정확한 차원은 얼마인가?
• RQ5 충분한 교차의 정의 다항식이 관련 아이디얼에 대해 H-기저를 이룬다는 조건은 무엇인가?

주요 결과

• 충분한 교차로 정의된 대수다양체 S = s(f₁, …, fₛ)에 제한된 다항식 공간 Pₘ⁽ⁿ⁾의 차원은 역차분 연산자를 사용한 닫힌 표현식으로 주어진다.
• 모든 차수 m에 대해, 미소프스키의 정리와 제안된 구성에 의해 보장되는 lin, 충분한 교차로 정의된 대수다양체를 따라 PPSN가 존재한다.
• 충분한 교차의 정의 다항식 f₁, …, fₛ는 아이디얼 Iₛ = ⟨f₁, …, fₛ⟩에 대해 H-기저를 이룬다. 이는 대수적 일관성을 보장한다.
• 초위치 보간 과정은 재귀적으로 PPSN를 구성한다: 곡선 상의 노드에서 시작하여 곡면으로 확장하고, 최종적으로 Cⁿ으로 확장하며, 차원 증가가 핵심 메커니즘이다.
• 예시들은 라돈의 직선-초위치 과정과 레앙의 타원곡선-초위치 과정과 같은 고전적 방법들이 일반 초위치 과정의 특수한 경우임을 확인한다.
• 이 방법은 8개의 노드가 곡선 위에 있고 1개가 평면 외부에 있는 총 9개의 노드를 사용하여 C³에서 P₂⁽³⁾의 차수 2인 PPSN를 성공적으로 구성하여 확장성을 입증한다.