[논문 리뷰] Generalized analytic functions on generalized domains

Hans Vernaeve|ArXiv.org|2008. 11. 10.

Mathematical and Theoretical Analysis참고 문헌 12인용 수 8

한 줄 요약

이 논문은 콜롬베아 대수의 프레임워크 내에서 일반화된 도메인에 대한 일반화된 해석 함수를 도입하며, 부분집합 $A \subseteq \widetilde{\mathbb{R}}^d$ 에 대해 $\mathcal{G}(A)$ 를 정의하고, 날카운(norm)에 의한 $\widetilde{\mathbb{C}}$ 내 열린 구내에서의 해석성 특성화를 한다. 이는 일반화된 해석 함수에 대한 유일성 정리가 이러한 구내에서 성립함을 보여주며, 고전적 일반화 함수 이론에서 상실된 성질을 복원한다.

ABSTRACT

We define the algebra of Colombeau generalized functions on a subset A of the space of d-dimensional generalized points. If the domain A is open, such generalized functions can be identified with pointwise maps from A into the ring of Colombeau generalized numbers. We study analyticity in these algebras, if the domain is an open subset of the complex generalized points. In particular, if the domain is an open ball for the sharp norm, we characterize analyticity and give a unicity theorem involving the values at generalized points.

연구 동기 및 목표

• 일반화된 도메인에 대한 콜롬베아 일반화 함수 이론을 $\widetilde{\mathbb{R}}^d$ 와 $\widetilde{\mathbb{C}}$ 내에서 확장하기.
• 복소 평면 $\mathbb{C}$ 의 열린 도메인에서 해석적 일반화 함수에 대한 유일성 정리가 고전적 일반화 함수 이론에서 실패하는 이유를 다루기.
• 날카운 노름 하에서 $\widetilde{\mathbb{C}}$ 내 열린 구내에서 일반화된 함수의 해석성을 특성화하기.
• 이러한 구내에서 일반화된 해석 함수에 대한 유일성 정리를 확립하여 고전적 유일성 행동을 복원하기.
• 바나흐 $\widetilde{\mathbb{C}}$-대수에서 스펙트럼 반경 공식과 일반화된 적분 이론의 기초를 제공하기.

제안 방법

• 부분집합 $A \subseteq \widetilde{\mathbb{R}}^d$ 에 대해 일반화된 함수의 대수 $\widetilde{\mathcal{G}}(A)$ 를 정의하며, 고전적 콜롬베아 대수 $\mathcal{G}(\Omega)$ 를 $\widetilde{\mathcal{G}}(\widetilde{\Omega}_c)$ 를 통해 확장한다.
• 날카운 노름 $|\cdot|_e$ 로 정의된 $\widetilde{\mathbb{C}}$ 상의 날카운 위상(위상)을 사용하여 열린 구 $\{\tilde{z} \in \widetilde{\mathbb{C}} : |\tilde{z} - \tilde{z}_0|_e < r\}$ 을 정의한다.
• 수정된 일반화된 경로 정의(정의 4.5)를 사용하여 일반화된 경로를 따라 복소 적분에 대한 일반화된 카우치 적분 공식을 수립한다.
• $\widetilde{\mathcal{G}}(A)$ 내에서 해석성을 네 가지 동치 조건(정리 4.20)으로 특성화하며, 이는 멱급수 전개와 카우치 공식에 의한 적분 표현 포함.
• 일반화된 해석 함수의 유일성 정리(정리 4.24)를 증명하며, 이는 어떤 일반화된 해석 함수의 모든 도함수가 한 점에서 0이면, 그 함수는 전체 구내에서 항등적으로 0이 된다는 것이다.
• 내부적이며 날카운으로 유계인 집합에 대해 캐시의 적분과 캐시의 절단 함수를 사용하여 일반화된 함수의 해석적 대표를 구성한다(정리 4.25).

실험 결과

연구 질문

• RQ1 날카운 노름 하에서 $\widetilde{\mathbb{C}}$ 내 열린 구내에서 일반화된 해석 함수에 대한 유일성 정리를 회복할 수 있는가?
• RQ2 일반화된 도메인에서 일반화된 함수의 해석성을 다수의 동치 방식으로 어떻게 특성화할 수 있는가?
• RQ3 기존의 해석적 일반화 함수가 열린 도메인 $\Omega \subseteq \mathbb{C}$ 에서 유일성 정리를 만족하지 못하는 이유는 무엇이며, 일반화된 도메인 프레임워크는 이를 어떻게 해결하는가?
• RQ4 날카운 위상과 날카운 노름은 일반화된 함수 설정에서 고전적 해석적 성질을 복원하는 데 어떤 역할을 하는가?
• RQ5 일반화된 도메인에서 일반화된 함수는 해석적 대표를 갖는가, 그리고 어떤 조건에서 그러한 대표가 존재하는가?

주요 결과

• 날카운 노름 하에서 $\widetilde{\mathbb{C}}$ 내 열린 구내에서 일반화된 해석 함수에 대한 유일성 정리는 성립한다: 만약 함수 $u$ 의 모든 도함수가 한 점 $\tilde{z}_0$ 에서 0이면, $u$ 는 전체 구내에서 항등적으로 0이다.
• 이러한 구내에서 $\widetilde{\mathcal{G}}(A)$ 내 해석성은 네 가지 동치 조건으로 특성화된다: 멱급수 전개, 카우치 공식에 의한 적분 표현, 한 점에서 모든 도함수가 0이 되는 것, 그리고 대표 집합에서의 대표 함수의 해석성.
• 고전적 일반화 함수 이론에서 열린 도메인 $\Omega \subseteq \mathbb{C}$ 에서의 유일성 실패는 $\widetilde{\Omega}_c$ 가 수렴 원판의 경계 근처에 있기 때문이며, 일반화된 도메인 프레임워크는 전체 열린 구내에서 작업하므로 이를 피한다.
• 내부적이며 날카운으로 유계인 집합 $A$ 에서 일반화된 해석 함수는 각각 $A_\varepsilon$ 에서 해석적인 함수 $(u_\varepsilon)$ 를 갖는다. 이는 대표 수준에서 해석성이 유지됨을 보장한다.
• $\widetilde{\mathcal{G}}(A)$ 내에서 일반화된 리우빌 정리가 성립하며, 이는 전체 $\widetilde{\mathbb{C}}$ 에서 유계인 해석적 일반화 함수는 상수라는 것을 의미한다.
• 절단 함수와 카우치 적분을 통한 해석적 대표의 구성은 일반화된 함수 $u$ 가 해석 함수의 동치류 $[(v_\varepsilon)]$ 와 같음을 보장하며, $v_\varepsilon$ 는 $A_\varepsilon$ 에서 해석적이다.