[논문 리뷰] CMV biorthogonal Laurent polynomials: Christoffel formulas for Christoffel and Geronimus perturbations

Gerardo Ariznabarreta, Manuel Mañas외 1명|arXiv (Cornell University)|2016. 10. 06.

Mathematical functions and polynomials참고 문헌 42인용 수 3

한 줄 요약

이 논문은 복소평면 위의 CMV 이직렬 라우렌트 다항식에 대해 두 가지 유형의 변형—크리스토펠(라우렌트 다항식 곱하기) 및 제로니무스(라우렌트 다항식 나누기 및 질량 추가)—에 대한 크리스토펠 유사 공식을 개발한다. 이는 변형된 다항식, 노름, 크리스토펠–다르부 커널, 그리고 제2종 함수에 대한 명시적 연결 공식을 제공한다. 준비된 라우렌트 다항식의 경우, 공식들은 오직 2n개의 비변형된 양으로 구성된 준결정식 표현을 제공하며, 특히 단위원의 경우 이중 표현이 존재한다. 이는 다항식 가족 또는 혼합 커널을 통해 이루어진다.

ABSTRACT

Quasidefinite sesquilinear forms for Laurent polynomials in the complex plane and corresponding CMV biorthogonal Laurent polynomial families are studied. Bivariate linear functionals encompass large families of orthogonalities like Sobolev and discrete Sobolev types. Two possible Christoffel transformations of these linear functionals are discussed. Either the linear functionals are multiplied by a Laurent polynomial, or are multiplied by the complex conjugate of a Laurent polynomial. For the Geronimus transformation, the linear functional is perturbed in two possible manners as well, by a division by a Laurent polynomial or by a complex conjugate of a Laurent polynomial, in both cases the addition of appropriate masses (linear functionals supported on the zeros of the perturbing Laurent polynomial) is considered. The connection formulas for the CMV biorthogonal Laurent polynomials, its norms, and Christoffel-Darboux kernels, in all the four cases, are given. For the Geronimus transformation, the connection formulas for the second kind functions and mixed Christoffel-Darboux kernels are also given in the two possible cases. For prepared Laurent polynomials, i.e. of the form $L(z)=L_nz^n+\cdots+L_{-n}z^{-n}$, $L_nL_{-n} eq 0$, these connection formulas lead to quasideterminantal (quotient of determinants) Christoffel formulas for all the four transformations, expressing an arbitrary degree perturbed biorthogonal Laurent polynomial in terms of $2n$ unperturbed biorthogonal Laurent polynomials, their second kind functions or Christoffel-Darboux kernels and its mixed versions. The unit circle case, given its exceptional properties, is discussed in more detail.

연구 동기 및 목표

• 복소평면 위의 CMV 이직렬 라우렌트 다항식에 대한 크리스토펠 및 제로니무스 변형을 일반화하여 적용한다.
• 두 유형의 변형 하에서 변형된 이직렬 라우렌트 다항식, 그들의 노름, 크리스토펠–다르부 커널에 대한 명시적 연결 공식을 유도한다.
• 단위원의 특수 케이스를 분석하여, 비변형된 다항식 가족 또는 혼합 커널을 통해 변형된 양에 대해 이중 표현이 나타나는 이유를 규명한다.
• 준비된 라우렌트 다항식에 대해, 변형된 다항식을 오직 2n개의 비변형된 대상으로만 표현하는 준결정식 공식을 제공한다.
• 실수 직선, 원, 카시니 타원, 심장형 등에 대한 예시를 통해 공식을 검증하며, 단위원의 경우에 대해 심층적 분석을 수행한다.

제안 방법

• 라우렌트 다항식 위의 준정규 세미선형형식을 활용하여, 소볼레프 및 이산 유형을 포함한 일반화된 수직성을 정의한다.
• 두 가지 크리스토펠 유사 변형을 정의한다: 라우렌트 다항식 곱하기 및 그 복소수 켤레 곱하기.
• 두 가지 제로니무스 유사 변형을 도입한다: 라우렌트 다항식 나누기 및 그 복소수 켤레 나누기, 각각 변형 다항식의 영점에 해당하는 덧붙인 딜라크 질량을 수반한다.
• 스펙트럼 제트, 제2종 함수, 혼합 크리스토펠–다르부 커널을 활용하여 연결 공식을 유도하며, 행렬 역행렬과 내적 항등식을 활용한다.
• 준비된 라우렌트 다항식(대칭적 차수 지지)의 경우, 공식들은 비변형된 다항식과 커널에서 구성된 행렬의 행렬식을 포함하는 준결정식 표현으로 단순화된다.
• 단위원의 경우를 깊이 있게 분석하여, 변형된 양에 대해 두 가지 다른 표현이 존재함을 규명한다. 하나는 비변형된 이직렬 다항식 가족만을 사용하고, 다른 하나는 크리스토펠–다르부 커널과 그 혼합 형태를 사용한다.

실험 결과

연구 질문

• RQ1 라우렌트 다항식 및 그 복소수 켤레 곱하기에 의한 크리스토펠 변형을 CMV 이직렬 라우렌트 다항식에 어떻게 일반화할 수 있는가?
• RQ2 라우렌트 다항식 및 그 복소수 켤레 나누기, 질량 점 추가를 포함한 제로니무스 변형에 대한 연결 공식은 무엇인가?
• RQ3 이러한 변형 하에서 노름, 크리스토펠–다르부 커널, 제2종 함수는 어떻게 변형되는가?
• RQ4 준비된 라우렌트 다항식에 대해 어떤 준결정식 공식이 유도되며, 이는 변형 다항식의 차수와 어떻게 관련되는가?
• RQ5 단위원의 경우에 어떤 특별한 이중 표현이 나타나며, 이는 역다항식의 역할을 어떻게 반영하는가?

주요 결과

• 차수 n인 준비된 라우렌트 다항식에 대해, 임의의 차수의 변형된 이직렬 라우렌트 다항식은 정확히 2n개의 비변형된 다항식, 제2종 함수, 또는 크리스토펠–다르부 커널의 선형 조합으로 표현할 수 있다.
• 크리스토펠 및 제로니무스 변형(각각 두 변형 유형 포함)의 네 가지 유형에 대해, 행렬 역행렬과 내적 구조를 활용하여 닫힌 형태의 연결 공식이 도출되었다.
• 단위원의 경우, 변형된 양은 두 가지 다른 표현을 가진다: 하나는 비변형된 이직렬 다항식 가족만을 사용하고, 다른 하나는 혼합 크리스토펠–다르부 커널을 사용한다.
• 공식들은 준결정식 형태를 취하며, 이는 비변형된 양에서 구성된 행렬식의 비율로서 변형된 양을 표현함을 의미한다. 이는 차수에 관계없이 일정한 수의 항을 유지한다.
• 제2종 함수와 혼합 크리스토펠–다르부 커널은 변형된 시스템과 명시적으로 연결되어 있으며, 스펙트럼 데이터의 완전한 재구성 가능성을 보장한다.
• 실수 직선, 원, 카시니 타원, 심장형에 대한 예시들은 일반적 프레임워크를 확인하며, 단위원의 경우 역다항식의 기여로 인해 특별한 대칭성이 나타남을 보여준다.