[논문 리뷰] Limits of quotients of real polynomial functions of three variables

Juan D. Vélez, Juan Polanco Hernández외 1명|arXiv (Cornell University)|2015. 05. 15.

Polynomial and algebraic computation참고 문헌 13인용 수 6

한 줄 요약

이 논문은 실해석함수의 몫에 대한 기호적 알고리즘을 세 변수로 확장하며, 대수곡선의 비라티오널 동치를 이용해 문제를 두 변수 사례로 축소한다. 주요 기여는 유리 함수의 극한이 존재하는지 여부와 그 값이 판별식 다양체와 그 기약 성분을 분석함으로써 결정되는 방법을 제시하는 것으로, Maple에서 `limit/multi` 명령어로 구현 가능하다.

ABSTRACT

An algorithm for computing the limit of a quotient of bivariate real analytic functions has been developed by one of the authors in (Limits of quotients of bivariate real analytic functions, Journal of Symbolic Computation, 50, 2013, 197 207). In this paper we provide a theoretical method based on the work developed in that article to determine the existence of the limit of a quotient of two polynomial functions of three variables. An algorithm to compute such limits, in the case where the polynomials have rational coefficients, or more generally, coefficients in a real finite extension of the rationals, is also described.

연구 동기 및 목표

• 문헌 [4]의 두 변수 극한 알고리즘을 세 변수 다항식의 몫으로 일반화한다.
• 세차원 공간에서 분모의 고립된 영점에서 극한이 존재하는지 판단하는 문제에 대응한다.
• 대수기하학과 비라티오널 변환을 이용해 이러한 극한을 체계적으로 계산하는 방법을 개발한다.
• 그로버 기저와 같은 컴퓨터 대수 시스템에서 사용 가능한 고수준 알고리즘 프레임워크를 제공한다.
• 복잡한 판별식 다양체와 성분별 극한 분석을 포함한 구체적 예제를 통해 방법을 시연한다.

제안 방법

• 행렬 $A = \left[\begin{smallmatrix}x & y & z \\ \partial q/\partial x & \partial q/\partial y & \partial q/\partial z \end{smallmatrix}\right]$의 $2 \times 2$ 주 minor의 영점으로서 판별식 다양체 $X(q)$를 정의한다.
• 세 변수 극한 문제를 $X(q)$의 기약 성분, 특히 차원 1과 2인 성분의 $q$의 행동 분석으로 축소한다.
• 모든 대수곡선이 평면 곡선과 비라티오널 동치임을 이용해 일차원 성분을 두 변수 문제로 변환한다.
• 문헌 [4]의 주요 알고리즘을 적용하여 각 비라티오널 동치 평면 곡선을 따라 극한을 계산한다.
• 그로버 기저 계산과 제거 이상을 이용해 매개변수화를 유도하고 문제를 두 변수로 축소한다.
• 함수가 정의되지 않는 성분(예: $V(X^2 + Y^2 + Z^2)$)을 제거하고, 모든 성분 간 일관성을 검증한다.

실험 결과

연구 질문

• RQ1 분모 $g$가 원점에서 고립된 영점을 가지는 경우, 극한 $\lim_{(x,y,z)\to(0,0,0)} f(x,y,z)/g(x,y,z)$ 가 존재하는 조건은 무엇인가?
• RQ2 유리 함수의 세 변수 행동은 어떻게 더 낮은 차원의 대수다양체를 따라 극한으로 축소하여 분석할 수 있는가?
• RQ3 판별식 다양체 $X(q)$가 이러한 극한의 존재성과 값을 체계적으로 결정하는 데 사용될 수 있는가?
• RQ4 대수곡선과 평면 곡선 사이의 비라티오널 동치가 계산을 단순화하는 데 어떤 역할을 하는가?
• RQ5 그로버 기저와 제거 이상과 같은 기호 계산 도구는 어떻게 이 방법을 알고리즘적으로 구현하는 데 사용될 수 있는가?

주요 결과

• 판별식 다양체의 서로 다른 성분을 따라 비영인 극한을 보이므로, 극한 $\lim_{(X,Y,Z)\to(0,0,0)} \frac{YX - ZY + ZX}{X^2 + Y^2 + Z^2}$ 는 존재하지 않는다.
• 함수 $\frac{X^2YZ}{X^2 + Y^2 + Z^2}$ 에서는 판별식 다양체의 모든 기약 성분이 비라티오널 축소를 통해 극한 0을 도출하므로 극한은 0이다.
• 알고리즘은 제거 이상과 매개변수화를 이용해 판별식 다양체의 각 일차원 성분을 두 변수 극한 문제로 성공적으로 축소한다.
• 함수가 정의되지 않는 성분 $V(X^2 + Y^2 + Z^2)$ 는 고려에서 제거되어 극한 값에 영향을 주지 않음을 확인한다.
• 기본 원소 정리와 $u = y + \lambda z$ 를 통한 매개변수화를 이용해 모든 일차원 성분에 대해 평면 곡선으로의 효과적 축소가 가능하다.
• 이 방법은 Maple에서 `limit/multi` 명령어로 구현되어 두 변수 알고리즘의 세 변수 확장을 완전한 기호 지원과 함께 제공한다.