[논문 리뷰] A global theory of algebras of generalized functions

Michael Grosser, Michael Kunzinger외 2명|ArXiv.org|1999. 12. 28.

Mathematical and Theoretical Analysis참고 문헌 15인용 수 5

한 줄 요약

이 논문은 매끄러운 다양체 위의 일반화된 함수 대수에 대한 전역적이고 기하학적인 이론을 개발하며, 분포와 미분 가능 함수를 확장하면서도 리 도함수를 유지하는 미분 대수 $\u02c7{\mathcal G}(M)$를 구성한다. 주요 기여는 유 handy 벡터 공간에서의 미분 해석학 기반의 내재적이고 편리한 구성 방법으로, ${\mathcal D}'(M)$가 $\u02c7{\mathcal G}(M)$에 충실하게 삽입되고 리 도함수와 가환함을 보장하여 국소적 일반화된 함수 이론을 전역적 미분기하학적 프레임워크 안에서 통합한다.

ABSTRACT

We present a geometric approach to defining an algebra $\hat{\mathcal G}(M)$ (the Colombeau algebra) of generalized functions on a smooth manifold $M$ containing the space ${\mathcal D}'(M)$ of distributions on $M$. Based on differential calculus in convenient vector spaces we achieve an intrinsic construction of $\hat{\mathcal G}(M)$. $\hat{\mathcal G}(M)$ is a{\em differential} algebra, its elements possessing Lie derivatives with respect to arbitrary smooth vector fields. Moreover, we construct a canonical linear embedding of ${\mathcal D}'(M)$ into $\hat{\mathcal G}(M)$ that renders ${\mathcal C}^\infty (M)$ a faithful subalgebra of $\hat{\mathcal G}(M)$. Finally, it is shown that this embedding commutes with Lie derivatives. Thus $\hat{\mathcal G}(M)$ retains all the distinguishing properties of the local theory in a global context.

연구 동기 및 목표

• 매끄러운 다양체 위의 일반화된 함수 대수에 대한 전역적이고 기하학적인 프레임워크를 개발하여 국소적 구성 이상으로 확장한다.
• 분포 공간 ${\mathcal D}'(M)$을 일반화된 함수의 미분 대수 $\u02c7{\mathcal G}(M)$에 표준적이고 선형적인 방식으로 삽입한다.
• ${\mathcal C}^\infty(M)$가 $\u02c7{\mathcal G}(M)$ 내에서 충실한 부분대수로 유지되도록 보장한다.
• 삽입이 리 도함수와 가환함을 보장하여 미분기하학적 연산과의 일致성을 확보한다.
• 편리한 벡터 공간에서의 내재적 미분 해석학을 사용하여 콜롬베아의 일반화된 함수 이론을 전역적 형태로 일반화한다.

제안 방법

• 편리한 벡터 공간에서의 미분 해석학을 사용하여 $\u02c7{\mathcal G}(M)$를 국소 좌표에 의존하지 않고 내재적으로 구성한다.
• 성장 조건을 편리한 해석학을 통해 통제하는 미분 가능 함수의 넷의 동치류로 일반화된 함수를 정의한다.
• 분포의 구조를 유지하는 표준적 선형 삽입 $\iota: {\mathcal D}'(M) \to \u02c7{\mathcal G}(M)$를 구성한다.
• 임의의 매끄러운 벡터장 沿해 리 도함수와의 가환성을 확보하여 기하학적 일致성을 유지한다.
• $\u02c7{\mathcal G}(M)$가 모든 원소에 대해 리 도함수가 존재하고 잘 정의되는 미분 대수임을 보장한다.
• $\u02c7{\mathcal G}(M)$가 ${\mathcal C}^\infty(M)$를 충실한 부분대수로 포함하며, 삽입이 단사적이며 곱셈과 호환됨을 확립한다.

실험 결과

연구 질문

• RQ1 콜롬베아의 일반화된 함수 이론을 국소 좌표에 의존하지 않는 전역적이고 다양체 기반의 프레임워크로 어떻게 확장할 수 있는가?
• RQ2 일반화된 함수가 리 도함수에 대해 닫혀 있도록 할 수 있는 적절한 미분기하학적 구조는 무엇인가?
• RQ3 분포를 일반화된 함수에 표준적이고 선형적으로 삽입할 수 있는가? 이 삽입은 대수적 및 미분적 성질을 모두 유지하는가?
• RQ4 매끄러운 함수는 전역적 일반화된 함수 대수 내에서 충실한 부분대수로 어떻게 삽입될 수 있는가?
• RQ5 전역적 구성은 국소 이론에서와 같이 삽입과 리 도함수 간의 가환성을 유지하는가?

주요 결과

• $\u02c7{\mathcal G}(M)$는 편리한 벡터 공간에서의 미분 해석학을 사용하여 내재적으로 구성되어 매끄러운 다양체 위에서 전역적 일致성을 보장한다.
• ${\mathcal D}'(M)$의 공간은 $\u02c7{\mathcal G}(M)$에 선형적이고 표준적으로 삽입되어 분포 연산을 유지한다.
• ${\mathcal C}^\infty(M)$의 삽입은 충실하므로 정보나 구조의 손실이 없다.
• $\u02c7{\mathcal G}(M)$ 내의 임의의 일반화된 함수의 매끄러운 벡터장에 대한 리 도함수는 잘 정의되어 있으며 동일한 대수 내에 존재한다.
• 분포의 삽입이 $\u02c7{\mathcal G}(M)$에서 리 도함수와 가환하므로 기하학적 호환성이 보장된다.
• 이 구성은 국소 콜롬베아 이론을 전역적 미분기하학적 환경으로 일반화하면서 모든 핵심 성질을 유지한다.