[논문 리뷰] Surjectivity of the asymptotic Borel map in Carleman-Roumieu ultraholomorphic classes defined by regular sequences

Javier Jiménez-Garrido, Javier Sanz외 1명|arXiv (Cornell University)|2020. 07. 13.

Holomorphic and Operator Theory참고 문헌 20인용 수 5

한 줄 요약

이 논문은 Dyn'kin의 의미에서 정규 수열로 정의된 Carleman-Roumieu 초해석적 함수류에서 점점 커지는 Borel 사상의 전성과 전역적인 우측 역함수(확장 연산자)의 존재를 확립한다. 정규 변화 이론, 적분 변환 및 Gelfand-Shilov 공간에 대한 특성 결과를 활용하여, 전성은 γ(M) = ∞일 때이고, 이는 수열 m_n이 조건 (β2)를 충족할 정도로 충분히 빠르게 증가함을 의미한다. 이는 모든 섹터 개방각 γ ∈ (0, ∞)에 대해 성립한다.

ABSTRACT

We study the surjectivity of, and the existence of right inverses for, the asymptotic Borel map in Carleman-Roumieu ultraholomorphic classes defined by regular sequences in the sense of E. M. Dyn'kin. We extend previous results by J. Schmets and M. Valdivia, by V. Thilliez, and by the authors, and show the prominent role played by an index associated with the sequence and introduced by Thilliez. The techniques involve regular variation, integral transforms and characterization results of A. Debrouwere in a half-plane, steming from his study of the surjectivity of the moment mapping in general Gelfand-Shilov spaces.

연구 동기 및 목표

• 정규 수열로 정의된 Carleman-Roumieu 초해석적 함수류에서 점점 커지는 Borel 사상의 전성 조건을 규명하는 것.
• 중간 성장 조건을 최소화한 조건 하에서 Borel 사상에 대한 전역적 확장 연산자(우측 역함수)의 존재를 확립하는 것.
• 정규 수열의 맥락에서 Thilliez 지수 γ(M)와 그가 조건 (β2)와 동치임을 명확히 하는 것.
• 중간 성장 조건을 초월하여 이전 결과를 유도가 가능한 수열에 대해 전성의 범위를 확장하는 것.
• 지수 γ(M)를 통해 전성 간격과 확장 연산자의 존재 여부를 완전히 특성화하는 것.

제안 방법

• 수열 m_n, 즉 가중치 수열 M의 비율의 성장 분석을 위해 정규 변화 이론과 하한 Matuszewska 지수를 활용한다.
• A. Debrouwere의 Gelfand-Shilov 공간에서 모멘트 사상의 전성에 대한 특성 결과를 점점 커지는 Borel 사상에 적용한다.
• 복소 반평면에서 확장 연산자를 구성하기 위해 적분 변환과 라플라스 변환의 성질을 활용한다.
• 점근 분석을 통해 조건 γ(M) = ∞와 수열 m_n의 조건 (β2)의 충족 간의 동치성을 확립한다.
• 하한 Matuszewska 지수를 통해 정의된 수열 f_m = (m_{n-1})_n의 급속한 변화와 지수 γ(M) = ∞ 간의 동치성을 활용한다.
• Stolz의 기준과 로그 점근 해석을 사용하여 log(m_n)의 log(n)에 대한 성장 조건을 유도함으로써 log(m_n)/log(n) → ∞임을 도출한다.

실험 결과

연구 질문

• RQ1 정규 수열로 정의된 초해석적 함수류에서 점점 커지는 Borel 사상이 언제 전성인가?
• RQ2 중간 성장 조건이 없을 때 Borel 사상에 대한 전역적 확장 연산자(우측 역함수)는 언제 존재하는가?
• RQ3 수열 m_n에 대해 Thilliez 지수 γ(M)와 조건 (β2) 사이의 정확한 관계는 무엇인가?
• RQ4 지수 γ(M) = ∞는 모든 섹터 개방각 γ ∈ (0, ∞)에 대해 확장 연산자의 존재와 어떻게 관련되는가?
• RQ5 중간 성장 조건을 가정하지 않고, 도함수가 닫혀 있는 성질과 정규성만을 사용하여 Borel 사상의 전성은 완전히 특성화할 수 있는가?

주요 결과

• 모든 섹터 개방각 γ ∈ (0, ∞)에 대해 점점 커지는 Borel 사상이 전성임은 γ(M) = ∞이 성립할 때이고, 그 때에만 성립한다.
• γ(M) = ∞이면, 모든 r > 0에 대해 C[[z]]{M} → A{bM}(Sr)인 전역적 확장 연산자 UM,r가 존재한다.
• 조건 γ(M) = ∞는 수열 m_n가 조건 (β2)를 충족함과 동치이며, 이는 모멘트 사상의 전성과 확장 연산자의 존재를 보장한다.
• 하한 Matuszewska 지수를 통해 정의된 수열 f_m = (m_{n-1})_n의 급속한 변화와 γ(M) = ∞ 간의 동치성이 입증된다.
• 조건 γ(M) = ∞는 log(m_n)/log(n) → ∞ (n → ∞)임을 의미하며, 이는 Borel 사상의 전성에 핵심적인 성장 기준이다.
• 전성 간격은 정확히 γ(M) = ∞일 때 (0, ∞)가 되며, 이는 중간 성장 조건과 독립적이며, 이는 이전 결과를 도함수가 닫혀 있는 경우로 확장한다.