[논문 리뷰] Pure Measures, Density Measures and the Dual of L-infinity

Moritz Schönherr, Friedemann Schuricht|arXiv (Cornell University)|2017. 10. 05.

Advanced Numerical Analysis Techniques참고 문헌 7인용 수 3

한 줄 요약

이 논문은 $L^∞(\mathbb{R}^n)$의 쌍대공간에 대한 구체적이고 의미 있는 표현을 제공하는 새로운 유형의 유한히 가환 측도인 밀도 측도를 도입한다. 이는 추상적 구성의 범위를 넘어서며, 순수 측도이며, 경계 적분과 표면 적분을 표현하는 데 사용될 수 있음을 보여준다. 이는 $\mathbb{R}^n$에서 미분법과 함수해석학의 새로운 프레임워크를 제공한다.

ABSTRACT

Measures play an important role in the characterisation of various function spaces. In this paper, the structure of density measures will be investigated. These are elements of the dual of the space of essentially bounded func- tions. The main results presented here are a more precise representation of the dual of the space of essentially bounded functions, leading to the notion of pure measures, and the definition and analysis of density measures which constitute a large class of such measures. It is shown that density measures have applications in the context of traces. In particular, new and meaningful examples of pure measures are given on Rn, in contrast to common examples in the literature, which are usually constructed on N.

연구 동기 및 목표

• 일반적인 유계 가환 측도를 넘어서 $L^\infty(\Omega, \mathcal{L}^n)$의 쌍대공간 표현을 정교화하는 것.
• 유한히 가환적인 순수 측도의 큰 의미 있는 클래스로서 $\mathbb{R}^n$에서의 밀도 측도를 정의하고 분석하는 것.
• $\mathbb{R}^n$에서 순수 측도의 구체적 예를 제시하여 $\mathbb{N}$에서의 일반적인 구성과 대비하는 것.
• 이러한 측도를 사용하여 경계 이론과 미분법에의 응용을 보여주는 것.
• 밀도 측도 집합의 극점들을 특성화하고, 이를 특이 라돈 측도와 연결하는 것.

제안 방법

• 벡터 격자에서 순수 성분을 식별하기 위해 격자 이론적 분해 기법을 사용하여 측도의 벡터 격자를 분석하는 것.
• 레베그 측도가 0인 집합, 예를 들어 경계나 저차원 집합에 지지된 라돈 측도에 대해 통합함으로써 밀도 측도를 정의하는 것.
• 핵심 측도 이론과 쌍대성 원리를 적용하여 밀도 측도가 $(L^\infty)^*$의 원소를 나타냄을 보이는 것.
• 순수 측도의 지지 집합을 식별하기 위해 측도의 코어 개념을 활용하며, 특히 $\partial\Omega$와 같은 집합에서 적용하는 것.
• 리스 표현 정리와 그 확장 응용을 통해 $\mu$에 대한 통합이 고전적 표면 적분과 연결됨을 보이는 것.
• 가우스-그린 공식을 적용하여 표면 유량이 순수하고 밀도 유형의 측도에 대한 적분으로 표현될 수 있음을 보이는 것.

실험 결과

연구 질문

• RQ1 어떻게 $L^\infty(\Omega, \mathcal{L}^n)$의 쌍대공간을 일반적인 유계 가환 측도를 넘어서 정교화할 수 있는가?
• RQ2 $(L^\infty(\mathbb{R}^n))^*$에서 순수 측도의 구조는 무엇이며, 이를 $\mathbb{R}^n$에서 어떻게 명시적으로 구성할 수 있는가?
• RQ3 밀도 측도는 경계 이론에 응용 가능한 의미 있는 순수 측도의 클래스로 기능할 수 있는가?
• RQ4 측도의 코어는 순수 측도와 그 지지 집합을 특성화하는 데 어떤 역할을 하는가?
• RQ5 밀도 측도는 고전적 표면 적분과 미분법과 어떻게 관련되어 있는가?

주요 결과

• 밀도 측도는 레베그 측도가 0인 집합에 지지된 라돈 측도에 대해 통합함으로써 정의되는 $(L^\infty(\Omega, \mathcal{L}^n))^*$ 내의 큰 순수 측도의 집합이다.
• 모든 닫힌 집합 $C \subset \overline{\Omega}$에 대해 $\mathcal{L}^n(C \cap \Omega) = 0$ 이고, 모든 이웃에서 양의 측도를 가지는 경우, 모든 $\phi \in C_0(\Omega)$에 대해 $\int_\Omega \phi \, d\mu = \int_C \phi \, d\sigma$ 를 만족하는 순수 측도 $\mu$ 가 존재한다.
• 해당 라돈 측도 $\sigma$ 가 레베그 측도에 대해 특이일 경우 측도 $\mu$ 는 순수하다.
• 해당 측도 $\mu$ 의 코어는 지지 집합 $C$ 에 포함되며, $\Omega$ 가 매끄러운 경계를 지닐 경우 $\int_\Omega \phi \, d\mu = \int_{\partial\Omega} \phi \, d\mathcal{H}^{n-1}$ 으로 표면 적분으로 표현될 수 있다.
• 표면 유량 $\int_{\partial\Omega} \phi \cdot \nu \, d\mathcal{H}^{n-1}$ 은 순수 측도 $\mu$ 에 대해 $\int_\Omega \phi \, d\mu$ 로 표현될 수 있으며, 이를 발산 정리와 연결할 수 있다.
• 밀도 측도 집합의 극점들은 레베그 측도가 0인 집합 위의 딜라르 타입 측도에 해당하는 것으로 특성화된다.