[논문 리뷰] Bivariate Lagrange interpolation at the node points of Lissajous curves - the degenerate case

Wolfgang Erb|arXiv (Cornell University)|2015. 03. 03.

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

한 줄 요약

이 논문은 열화된 리사주 곡선의 노드 점에서 이변량 라그랑주 보간법에 대한 이론적 프레임워크를 수립한다. 이는 패두아 점을 일반화한 것이다. 정의된 다항식 공간에서 유일한 보간을 증명하고, 명시적인 라그랑주 기저 다항식을 유도하며, 레바스 상수의 상용로그 성장을 보여주어 이방성 영역에서 연속 함수에 대한 안정성과 수렴성을 확인한다.

ABSTRACT

In this article, we study bivariate polynomial interpolation on the node points of degenerate Lissajous figures. These node points form Chebyshev lattices of rank $1$ and are generalizations of the well-known Padua points. We show that these node points allow unique interpolation in appropriately defined spaces of polynomials and give explicit formulas for the Lagrange basis polynomials. Further, we prove mean and uniform convergence of the interpolating schemes. For the uniform convergence the growth of the Lebesgue constant has to be taken into consideration. It turns out that this growth is of logarithmic nature.

연구 동기 및 목표

• 기존의 비열화된 리사주 프레임워크에서 다루지 않는 열화된 리사주 곡선으로 패두아 점의 보간 이론을 확장하기 위해.
• 열화된 리사주 곡선의 노드 점을 랭크 1의 체비세프 격자로 특성화하여 기존의 알려진 점 집합과 통합적인 처리를 가능하게 하기 위해.
• 보간 계획에 대한 분석적 수렴 결과를 수립하기 위해, 특히 레바스 상수의 행동에 중점을 두어 평균 수렴과 균일 수렴을 포함한다.
• 이방성 직사각형 영역에서 매개수 $ p $ 가 미치는 영향을 조사하여, 이가 방향성 연속성에 맞추어 보간을 적응시키는 데서의 역할을 밝혀내기 위해.
• 라그랑주 기저 다항식에 대한 명시적 공식을 제공하고, 다양한 매끄럽지 않은 함수에 대한 수치 실험을 통해 수렴성을 검증하기 위해.

제안 방법

• 정수 $ n, p \in \mathbb{N} $, $ \gcd(n, n+p) = 1 $ 조건을 만족하는 열화된 리사주 곡선 $ \gamma_{n,p}(t) = (\cos(nt), \cos((n+p)t)) $ 를 정의하고, $ t_k = \frac{\pi k}{n(n+p)} $, $ k = 0, \dots, n(n+p) $ 에서 샘플링하여 노드 집합 $ \mathrm{LD}_{n,p} $ 를 도출한다.
• $ \mathrm{LD}_{n,p} $ 를 랭크 1의 체비세프 격자로 특성화하여 패두아 점과 같은 알려진 보간 점 집합과 연결한다.
• 보간이 $ \mathrm{LD}_{n,p} $ 에서 유일하게 해가 존재하는 이변량 다항식 공간 $ \Pi_{n,p}^{2,L} $ 를 정의하고, 기본 라그랑주 기저 다항식에 대한 명시적 공식을 도출한다.
• 레바스 상수가 유계임을 이용하여 연속 함수에 대한 $ L^r $-평균 수렴을 증명한다.
• 레바스 상수 $ \Lambda_{n,p} $ 의 성장 분석을 통해 균일 수렴을 확립하고, 그 성장이 상용로그적임을 보이며, 구체적으로 $ \mathcal{O}(\ln^2 n) $ 임을 증명한다. 이는 패두아 점의 경우와 일치한다.
• 시험 함수의 매끄럽기 정도에 따라 다양한 $ p_n $ 값에서 비교 분석하기 위해 $ [-1,1]^2 $, $ [0,1]^2 $, $ [0,2] \times [0,1] $ 에서 수치 실험을 수행한다.

실험 결과

연구 질문

• RQ1 열화된 리사주 곡선의 노드 점에서 이변량 라그랑주 보간이 고유하게 설정될 수 있는가?
• RQ2 이러한 노드 점에서 보간이 고유하게 해가 존재하는 다항식 공간의 구조는 어떠한가?
• RQ3 보간 계획의 레바스 상수가 渐近적으로 어떻게 행동하는가? 이는 수렴을 보장하는가?
• RQ4 매개수 $ p $ 의 선택이 이방성 직사각형 영역에서 근사 품질에 어떻게 영향을 미치는가?
• RQ5 방향성 연속성을 가진 함수에 대해 보간 계획이 최적의 수렴 속도를 달성할 수 있으며, 이때 $ p $ 는 어떤 영향을 미치는가?

주요 결과

• 열화된 리사주 곡선의 노드 점 $ \mathrm{LD}_{n,p} $ 는 $ \Pi_n^2 $ 의 진부분공간인 $ \Pi_{n,p}^{2,L} $ 에서 고유한 이변량 라그랑주 보간을 허용한다.
• 패두아 점의 경우와 유사한 명시적 공식이 라그랑주 기저 다항식에 유도되어 보간자의 효율적 계산을 가능하게 한다.
• 레바스 상수 $ \Lambda_{n,p} $ 는 $ \mathcal{O}(\ln^2 n) $ 의 속도로 성장함을 확인하여 상용로그 성장이 확인되고, 이는 보간 계획의 안정성과 수렴성을 보장한다.
• 연속 함수에 대해 $ L^r $-노름에서의 평균 수렴이 증명되었으며, 수렴 속도는 함수의 방향성 연속성에 따라 달라진다.
• 수치 실험 결과, 등방성 영역인 $ [0,1]^2 $ 에서는 $ p_n = 1 $ (패두아 점) 이 최적의 성능을 보이며, 이방성 영역인 $ [0,2] \times [0,1] $ 에서는 더 큰 $ p_n $ 값(예: $ p_n = n+1 $) 이 성능 향상에 기여한다.
• 혼합된 연속성을 가진 함수의 경우, $ p_n $ 의 선택을 통해 방향성 연속성 모듈러스를 균형 있게 조정할 수 있으며, $ p_n = \lfloor \sqrt{n} \rfloor n+1 $ 이 한 변수에서 매끄럽지 않은 함수에 대해 최적의 결과를 낳는다.