[논문 리뷰] Convergence of row sequences of simultaneous Fourier-Pad\\'e approximation

J. Cacoq, Lagomasino, G. López|arXiv (Cornell University)|2012. 03. 07.

Mathematical functions and polynomials참고 문헌 6인용 수 5

한 줄 요약

이 논문은 닫힌 단위 원판의 이웃에서 해석적인 벡터 함수의 동시 푸리에-패드에이 근사의 행 수열에 대한 몬테수스 드 발로르 유형 수렴 정리를 확립한다. 다각도 독립성 및 거의 everywhere 양수 가중치 조건 하에서, 최대 |m|개의 극을 포함하는 원점 중심의 가장 큰 원 안의 컴팩트 부분집합에서 근사가 균일 수렴하며, 분모의 영점은 목표 함수의 극을 정확한 중복도로 점 游적으로 특정한다.

ABSTRACT

We consider row sequences of simultaneous rational approximations constructed in terms of Fourier expansions and prove a Montessus de Ballore type theorem.

연구 동기 및 목표

• 닫힌 단위 원판의 이웃에서 해석적인 벡터 함수의 동시 푸리에-패드에이 근사의 행 수열에 대한 수렴 정리를 확립한다.
• 목표 함수의 극의 위치와 중복도에 따라 균일 수렴 영역을 특성화한다.
• 근사의 공통 분모의 영점이 목표 함수의 극과 일치하는 중복도로 수렴함을 보인다.
• 클래식한 몬테수스 드 발로르 정리를 푸리에 전개를 통한 벡터 함수의 동시 근사로 확장한다.
• 큰 n에 대해 근사가 유일하게 결정되고 하우스도르프 콘텐츠에서 수렴하는 조건을 제공한다.

제안 방법

• 단위 원 위에서 정규직교 다항식에 대한 푸리에 전개를 사용하여 동시에 유리 근사 R_{n,m} = (P_{n,m,1}/Q_{n,m}, ..., P_{n,m,d}/Q_{n,m})를 구성한다.
• 공통 분모 Q_{n,m}의 정규화를 단위 원에 대한 그 영점의 위치에 기반하여 적용한다.
• 컴팩트 부분집합에서 푸리에 전개의 균일 수렴을 보장하기 위해 정규직교 다항식 {φ_n}의 점근적 성질을 적용한다.
• 다중지수 m에 대한 극별 독립성 개념을 사용하여 적어도 |m|개의 극이 존재하도록 보장한다.
• Q_{n,m}과 그 도함수의 성장률을 제어하기 위해 코시 적분 추정과 라이프니츠 법칙을 활용한다.
• 극의 위치와 관련된 ||Q_{n,m}^{(j)}(z_k)||^{1/n}의 limsup 추정을 통해 수렴 속도를 유도하고, 이를 최대 |m|개의 극을 포함하는 원의 외부 반지름 R_|m|(f)와 연결한다.

실험 결과

연구 질문

• RQ1 복소평면의 컴팩트 부분집합에서 동시 푸리에-패드에이 근사의 행 수열이 수렴하는 데 필요한 조건은 무엇인가?
• RQ2 공통 분모 Q_{n,m}의 영점은 해석 영역 내 목표 벡터 함수 f의 극과 어떻게 관련이 있는가?
• RQ3 다중지수 m에 대한 극별 독립성이 근사의 유일성과 수렴을 보장하는 데 어떤 역할을 하는가?
• RQ4 근사의 수렴 속도는 f의 극의 위치에 따라 정량화할 수 있는가?
• RQ5 근사 오차는 f의 극을 최대 |m|개 포함하는 가장 큰 원의 외부 반지름 R_|m|(f)에 얼마나 의존하는가?

주요 결과

• 충분히 큰 n에 대해, 극별 독립성과 σ′ > 0 a.e. on 𝕋 조건 하에서 동시 푸리에-패드에이 근사 R_{n,m}은 유일하게 결정된다.
• 근사들은 f의 최대 |m|개의 극을 포함하는 원 D_|m|(f)의 컴팩트 부분집합에서 수렴한다.
• Q_{n,m}의 영점은 D_|m|(f) 내의 f의 극으로 수렴하며, 중복도가 유지된다: 차수 τ인 각 극은 정확히 τ개의 Q_{n,m}의 영점으로 유인된다.
• 수렴 속도는 임의의 컴팩트 부분집합 K(ε)에 대해 limsup_{n→∞} ||f_i - R_{n,m,i}||_{K(ε)}^{1/n} ≤ ||z||_K / R_|m|(f) 를 만족한다. 여기서 K(ε)는 D_|m|(f) ∩ {z : |z| > 1}의 부분집합이다.
• n→∞일 때 Q_{n,m}(z)의 극한은 D_|m|(f) 내의 f의 극을 중복도를 고려해 포함하는 다항식 Q_|m|(f)(z)이다.
• 극 위치에서 분모와 그 도함수의 성장은 |z_k| / R_|m|(f)로 제한되며, 이는 수렴 행동을 제어한다.