[논문 리뷰] Orthogonal polynomials on the disk in the absence of finite moments

Peter C. Gibson|arXiv (Cornell University)|2015. 02. 05.

Electromagnetic Scattering and Analysis참고 문헌 6인용 수 3

한 줄 요약

이 논문은 유니터리 디스크 위에서 $ dxdy/(1 - x^2 - y^2) $ 측도에 대해 정규직교인 산산 편평이 다항식을 도입한다. 이 측도는 무한한 짝수 모멘트를 가지며, $ L^2(\text{disk}, dx\thinspace dy/(1 - x^2 - y^2)) $ 에서 정규직교 기저를 이룬다는 것을 증명한다. 구성은 로드리그 유형의 공식을 사용하며, 자바비 다항식과 연결되어 있어 유한한 모멘트가 없음에도 불구하고 완전성을 확보한다.

ABSTRACT

We introduce a new family of orthogonal polynomials on the disk that has emerged in the context of wave propagation in layered media. Unlike known examples, the polynomials are orthogonal with respect to a measure all of whose even moments are infinite.

연구 동기 및 목표

• 기본 측도가 무한한 짝수 모멘트를 가지는 단위 디스크 위에서 새로운 정규직교 다항식의 가닥을 확립하는 것, 특히 $ (1 - x^2 - y^2)^{-1} dx\thinspace dy $.
• 표준 $ L^2 $ 내적의 발산으로 인해 비적분 가능한 모멘트로 인해 정규직교 다항식을 정의하는 데 발생하는 문제를 해결하는 것.
• 로드리그 유형의 공식으로 정의된 산산 편평이 다항식이 측도 $ dx\thinspace dy/(1 - x^2 - y^2) $ 를 가진 가중치 $ L^2 $ 공간에서 정규직교 기저를 형성한다는 것을 증명하는 것.
• 유한한 모멘트가 없음에도 불구하고 스펙트럴 이론과 정규직교 다항식의 연결을 통해 이들의 완전성과 직교성을 입증하는 것.

제안 방법

• 로드리그 유형의 공식을 통한 산산 편평이 다항식 정의: $ \rho^{(p,q)}(z) = \frac{(-1)^p}{q(p+q-1)!}(1 - z\bar{z}) \frac{\tau^{p+q}}{\tau z^p \tau \bar{z}^q}(1 - z\bar{z})^{p+q-1} $, $ p, q \neq 0 $.
• 산산 편평이 다항식이 연산자 $ -\tilde{\nabla} = -(1 - x^2 - y^2)\nabla/4 $ 의 고유함수임을 보이며, 고유값 $ pq $ 를 가지므로 서로 다른 고유값에 대해 직교함을 보장한다.
• 다항식의 반경 성분을 자바비 다항식 $ P^{(1, |p-q|)}_{\nu}(2r^2 - 1) $ 로 표현하며, 여기서 $ \nu = \text{min}\bigl\brace{p,q\big\brace} - 1 $ 이다. 이는 고전적 정규직교 다항식과의 연결을 제공한다.
• 변환 $ h(r,\theta) = \tilde{g}(r,\theta)\tilde{\rho}(r) $ 를 통해 $ \tilde{\rho}(r) = \tilde{1} - r^2 $ 를 사용하여 가중치 $ L^2 $ 공간을 표준 $ L^2 $ 공간과 연결함으로써 기존의 정규직교 기저를 활용할 수 있도록 한다.
• 만약 어떤 함수가 모든 산산 편평이 다항식과 직교하면 거의 어디서나 0이어야 한다는 점을 증명함으로써 완전성을 입증한다. 이는 $ \bigl\brace{Q^{(1,|n|)}_{\nu}(u)\big\brace} $ 가 $ L^2([-1,1], du) $ 에서 조밀함을 이용한다.
• 서로 다른 $ pq $-곱을 가진 다항식 간의 직교성은 서로 다른 고유값을 통해, 같은 $ pq $-곱을 가진 다항식 간의 직교성은 각도 주파수 분리 $ e^{i(q-p)\theta} $ 를 통해 입증한다.

실험 결과

연구 질문

• RQ1 기본 측도 $ (1 - x^2 - y^2)^{-1} dx\thinspace dy $ 가 무한한 모멘트를 가지므로 표준 $ L^2 $ 내적이 정의되지 않는 경우, 단위 디스크 위에서 정규직교 다항식을 구성할 수 있는가?
• RQ2 비적분 가능한 단항식으로 인해 내적이 발산하는 상황에서도 로드리그 유형의 공식으로 정의된 산산 편평이 다항식이 $ L^2(\text{disk}, dx\thinspace dy/(1 - x^2 - y^2)) $ 공간에서 완전한 정규직교 기저를 형성하는가?
• RQ3 표준 가족에서 해당하는 $ \beta $-파라미터가 없는 상황에서 산산 편평이 다항식은 고전적 정규직교 다항식, 특히 자바비 다항식과 어떻게 관련이 있는가?
• RQ4 수정된 라플라스 연산자 $ -\tilde{\nabla} $ 의 스펙트럴 성질을 사용하여 산산 편평이 다항식 시스템의 직교성과 완전성을 증명할 수 있는가?
• RQ5 다른 $ (p,q) $ 인덱스를 가진 다항식 간의 직교성을 보장하는 데 각도 주파수 $ e^{i(q-p)\theta} $ 는 어떤 역할을 하는가?

주요 결과

• 로드리그 공식으로 정의된 산산 편평이 다항식 $ \rho^{(p,q)} $ 는 $ L^2(\text{disk}, dx\thinspace dy/(1 - x^2 - y^2)) $ 에서 직교하며, 이는 $ -\tilde{\nabla} $ 의 서로 다른 고유값 또는 서로 다른 각도 주파수에서 기인한다.
• 다항식 $ \rho^{(p,q)} $ 의 반경 성분은 $ f^{(p,q)}(r) = c \times (1 - r^2) r^{|p-q|} P^{(1,|p-q|)}_{\nu}(2r^2 - 1) $ 로 표현 가능하며, 이는 $ \beta = |p - q| $, $ \nu = \text{min}\bigl\brace{p,q\big\brace} - 1 $ 인 자바비 다항식과 연결된다.
• $ \bigl\brace{ \rho^{(p,q)} \bigm| \text{min}\bigl\brace{p,q\big\brace} \neq 0 \bigr\brace} $ 시스템은 $ L^2(\text{disk}, r\thinspace dr\thinspace d\theta / (1 - r^2)) $ 에서 정규직교 기저를 형성한다. 이는 스펙트럴 이론과 $ Q^{(1,m)}_{\nu}(u) $ 가 $ L^2([-1,1], du) $ 에서 완전함을 통해 증명된다.
• $ L^2(\text{disk}, dx\thinspace dy/(1 - x^2 - y^2)) $ 공간은 $ \tilde{1} - r^2 \times L^2(\text{disk}, r\thinspace dr\thinspace d\theta) $ 와 등장성(isometric)이며, 이는 표준 $ L^2 $ 에서의 완전성의 전이를 가능하게 한다.
• 함수 $ h $ 가 모든 $ \rho^{(p,q)} $ 와 직교하면, $ L^2(\text{disk}, r\thinspace dr\thinspace d\theta) $ 에서의 관련 함수 $ g $ 는 거의 어디서나 0이어야 하며, 이는 $ \rho^{(p,q)} $ 의 스칼라의 직교 보완이 자명함을 증명한다.
• 산산 편평이 다항식은 제른이크 다항식과 달리 경계에서 0이 되므로, 디리클레 경계 조건과 일관된 $ L^2(\text{disk}, dx\thinspace dy) $ 의 기저를 제공한다.