[논문 리뷰] Fourier-Padé approximants for Angelesco systems

Manuel Bello-Hernández, G. López-Lagimasino외 1명|arXiv (Cornell University)|2005. 10. 27.

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

한 줄 요약

이 논문은 이산적으로 지지된 측도로 정의된 마르코프 유형 함수의 조합인 앙젤레스코 체계에 적용된 선형 및 비선형 푸리에-패드 근사의 수렴 속도를 규명한다. 잠재력 이론과 측도에 대한 규칙성 조건을 사용하여, 평형 측도와 에너지 함수를 통해 수렴 속도를 도출하며, 단일 함수 패드 근사 결과를 직교 다항식 전개에서의 다중점 유리 근사로 일반화한다.

ABSTRACT

In this paper we study linear and non-linear Fourier-Padé approximation for Angelesco systems of functions. This construction is similar to that of Hermite-Padé approximation. Instead of considering power series expansions of the functions in the system, we take their expansion in a series of orthogonal polynomials.

연구 동기 및 목표

• 이산적으로 지지된 측도를 가진 마르코프 함수의 체계에 대한 고전적 패드 근사 이론을 확장한다.
• 이러한 체계에 대한 선형 및 비선형 푸리에-패드 근사의 수렴 행동을 분석한다.
• 그린 함수와 평형 측도와 같은 잠재력 이론적 양으로 표현된 정량적 수렴 속도를 확립한다.
• 단일 함수 패드 근사 결과를 직교 다항식 전개에서의 다중점 유리 근사로 일반화한다.
• 기본 측도에 대한 규칙성 가정 하에 근사의 점근적 행동을 특성화한다.

제안 방법

• 이산적이고 컴actsupport된 Borel 측도와 연결된 m개의 마르코프 함수로 구성된 앙젤레스코 체계를 정의한다.
• 기준 측도 $\sigma_0$ 에 대한 정규직교 다항식 공간 위에 정사영을 통해 선형 푸리에-패드 근사를 구성한다.
• 분모 다항식 $Q_{\mathbf{n}}$ 의 계수에 대한 동차 선형 연립방정식으로 근사 문제를 수립한다.
• 오차가 $\sigma_0$-정규직교 다항식과 수직이 되도록 보장하는 비선형 연립방정식을 풀어 비선형 푸리에-패드 근사를 정의한다.
• 잠재력 이론, 특히 그린 함수와 에너지 함수를 사용하여 점근적 행동을 분석한다.
• 규칙성 측도(Reg 클래스)와 평형 측도의 개념을 사용하여 로그 잠재력과 상호 에너지를 포함한 수렴 속도를 유도한다.

실험 결과

연구 질문

• RQ1 마르코프 함수의 앙젤레스코 체계에 대한 선형 푸리에-패드 근사의 수렴 속도는 무엇인가?
• RQ2 이러한 체계에 대해 비선형 푸리에-패드 근사는 점근적으로 어떻게 행동하는가?
• RQ3 수렴 속도는 그린 함수와 평형 측도와 같은 잠재력 이론적 양으로 표현될 수 있는가?
• RQ4 기본 측도의 규칙성은 수렴 속도 결정에 어떤 역할을 하는가?
• RQ5 상호 에너지와 벡터 평형 문제의 영향은 근사의 점근적 행동에 어떻게 작용하는가?

주요 결과

• 각 다중지표 $\mathbf{n}$ 에 대해, 앙젤레스코 체계의 선형 푸리에-패드 근사는 상수 인자 외에는 유일하게 결정된다.
• 규칙성 측도의 경우, 선형 근사의 수렴 속도는 관련 잠재력 이론 문제의 평형 측도에 의해 지배된다.
• 선형 푸리에-패드 근사의 대각선 수열의 수렴 속도는 $\sigma_0$ 의 지지의 여집합에 대한 그린 함수로 표현된다.
• 시스템과 관련된 에너지 함수 $J(\mu)$ 는 고유한 벡터 측도 $\overline{\mu}$ 에서 최소값을 취하며, 이는 평형 잠재력 해에 해당한다.
• 상호 에너지 $J(\mu^1, \mu^2)$ 와 총 에너지 $J(\mu)$ 는 약한 위상에서 하부 연속적이며, 최소화자의 존재성과 유일성을 보장한다.
• 벡터 평형 측도 $\overline{\mu}$ 는 모든 $x \in \text{supp}(\overline{\mu}_j)$ 에 대해 $W_j^{\overline{\mu}}(x) = w_j^{\overline{\mu}}$ 를 만족하며, 이는 평형 문제의 해로 특성화된다.