[논문 리뷰] Vector spaces on non-extendable holomorphic functions

L. Bernal-González|arXiv (Cornell University)|2014. 10. 21.

Holomorphic and Operator Theory인용 수 1

한 줄 요약

이 논문은 경계를 초월해 해석적 계속이 불가능한 복소도메인 내에서 정의된 해석적 함수의 선형적이고 대수적 구조를 연구한다. 이러한 함수는 비확장 가능한 해석적 함수로 알려져 있다. 선형성과 대수성 이론의 기법을 사용하여, 저자들은 이러한 함수들이 경계-정규성과 하드리 타입의 함수 공간을 포함한 다양한 함수 공간에서 최대 차원의 조밀한 벡터 공간을 이룬다는 것을 증명한다. 이는 복소해석학과 함수해석학 분야에서 이전의 결과들을 보완하고 확장하는 것이다.

ABSTRACT

In this paper, the linear structure of the family $H_e(G)$ of holomorphic functions in a domain $G$ of the complex plane that are not analytically continuable beyond the boundary of $G$ is analyzed. We prove that $H_e(G)$ contains, except for zero, a dense algebra; and, under appropriate conditions, the subfamily of $H_e(G)$ consisting of boundary-regular functions contains dense vector spaces with maximal dimension, as well as infinite dimensional closed vector spaces and large algebras. The case in which $G$ is a domain of existence in a complex Banach space is also considered. The results obtained complete or extend a number of previous ones by several authors.

연구 동기 및 목표

• . 이 논문은 경계를 초월해 해석적 계속이 불가능한 해석적 함수의 집합 He(G)의 선형적 구조를 분석하는 것을 목적으로 한다. 이는 도메인 G 내에서 정의된 해석적 함수들로 이루어져 있으며, ∂G를 초월해 계속될 수 없다.
• . He(G)가 조밀한 벡터 공간, 닫힌 무한차원 부분공간, 그리고 대수적 구조를 포함하는 큰 대수적 부분구조를 포함하는지 조사한다.
• . 연구는 경계-정규 함수들(A∞(G))에 집중하며, 복소바나흐 공간으로의 결과 확장을 다룬다.
• . 저자들은 복소해석학에서 비계속 가능한 함수의 선형성과 대수성에 관한 이전 결과들을 보완하거나 확장하고자 한다.
• . He(G)가 H(G)에서 조밀하게 대수화 가능하거나 c-대수화 가능한지, 특히 유한차원 및 분리 가능한 바나흐 공간 설정에서의 성질을 다룬다.

제안 방법

• . 저자들은 선형성 이론에서 비롯된 위상적 및 대수적 도구를 사용한다. 이는 잔류성과 베르의 카테고리 논증을 포함한다.
• . 그들은 정리 1.1을 적용하여 He(G) ∩ X 가 H(G)의 일부 부분공간 X ⊂ H(G)에서 잔류적임을 보인다. 이는 하드리 공간과 버그만 공간을 포함한다.
• . 조밀한 선형성의 증명은 테일러 급수 수렴 성질과 균형 잡힌 도메인의 성질을 이용하여 He(G) 내부에 조밀한 부분공간을 구성하는 데 의존한다.
• . 대수성의 경우, 비확장 가능한 함수와의 복합을 통해 지수 함수 유사 함수 ϕ를 사용하여 대수적 구조를 생성한다.
• . c-대수화 가능한 구조의 구성은 기수론적 논증과 베르의 카테고리 정리에 기반한다. 이는 가산 생성을 배제하기 위함이다.
• . 논문은 도메인의 특성—예를 들어, 조르당 도메인, 성질 (P)를 가진 정규 도메인, 또는 바나흐 공간 내의 균형 잡힌 도메인—을 사용하여 원하는 대수적 구조를 확보한다.

실험 결과

연구 질문

• RQ1 . 복소평면 C의 도메인 G에 대해 He(G)가 H(G)에서 조밀한 대수를 포함하는가?
• RQ2 . 적절한 조건 하에서 He(G)가 최대 차원의 조밀한 벡터 공간, 무한차원 닫힌 부분공간, 그리고 큰 대수를 포함하는가?
• RQ3 . He(G) 내 경계-정규 해석적 함수의 부분가운데 A∞(G)에서 조밀한 선형성과 대수성을 갖는가?
• RQ4 . 복소분리 가능한 바나흐 공간 E의 도메인 G에 대해 He(G)는 H(G)에서 최대 조밀한 선형성인가?
• RQ5 . 유한차원 존재 도메인 G ⊂ CN에 대해 He(G)는 H(G)에서 c-대수화 가능한가?

주요 결과

• . 임의의 도메인 G ⊂ C에 대해 He(G)는 H(G)에서 0을 제외한 조밀한 대수를 포함한다.
• . 성질 (P)를 만족하는 정규 도메인에 대해 He(G)는 H(G)에서 최대 조밀한 선형성이며, 적절한 조건 하에서 A∞(G)에서도 동일한 성질이 성립한다.
• . G가 성질 (P)를 만족하는 정규 도메인일 경우, He(G) 내 경계-정규 함수의 부분가운데 A∞(G)에서 강한 c-대수화 가능성이 성립한다.
• . 분리 가능한 복소바나흐 공간에서 G가 존재 도메인이고 G − x0가 균형 잡힌 경우, He(G)는 H(G)에서 최대 조밀한 선형성이다.
• . 유한차원 존재 도메인 G ⊂ CN에 대해 He(G)는 H(G)에서 최대 조밀한 선형성과 c-대수화 가능성을 모두 갖는다.
• . c-대수화 가능성의 증명은 모순에 기반한다. He(G) 내에서 대수의 가산 생성을 가정하면, 베르의 카테고리 정리에 의해 유한하지 않은 차원이 유도되며 이는 모순이 된다.