[논문 리뷰] Stokes Theorem for Lipschitz forms on a smooth manifold

Stanislav Dubrovskiy|ArXiv.org|2008. 05. 27.

Geometric Analysis and Curvature Flows참고 문헌 2인용 수 4

한 줄 요약

이 논문은 스위프트 폼의 외부 도함수의 적분이 컴actsupport를 가진 리프시츠 $(n-1)$-형식의 경계 위에서의 적분과 같음을 보여주기 위해, 스트레크로 평균을 사용한 매끄러운 형식으로의 근사화를 통해 스위프트 정리를 리프시츠 미분형식에 대해 수립한다. 이는 측도론적 수렴과 분할 단위의 논증을 사용하여, 고전적 정리가 더 이상 $C^1$ 조건을 만족하지 않는 덜 규칙적인 형식으로까지 확장됨을 보여준다.

ABSTRACT

Stokes theorem holds for Lipschitz forms on a smooth manifold.

연구 동기 및 목표

• 고전적 매끄러운 조건이 적용되지 않는 스위프트 정리를 리프시츠 미분형식에 대해 확장하는 것.
• 형식이 $C^1$가 아니지만 리프시츠 연속 뿐이기 때문에, 외부 도함수와 경계 적분을 정의하는 데 도전하는 문제를 다루는 것.
• 측도론적 수렴과 근사 기법을 활용하여 리프시츠 형식의 맥락에서 스위프트 정리의 타당성을 확립하는 것.
• 고전적 스위프트 정리를 매끄럽지 않은 형식으로까지 일반화하여 기하 해석학과 덜 규칙적인 자료를 포함하는 PDE에의 응용을 가능하게 하는 것.

제안 방법

• 리프시츠 $(n-1)$-형식 $\omega = f\,dg_1 \wedge \cdots \wedge dg_{n-1}$ 를 $\mathbb{R}^n$ 또는 $\mathbb{H}^n$ 에서 구성 요소 함수 $f, g_1, \dots, g_{n-1}$ 의 스테클로 평균을 사용하여 근사한다.
• 컴팩트한 $L^\infty$ 유계성과 거의 모든 곳에서의 점별 수렴에 대해 수렴하는 매끄러운 형식의 수열 $\omega_s = f_{\varepsilon_s} \, d(g_1)_{\varepsilon_s} \wedge \cdots \wedge d(g_{n-1})_{\varepsilon_s}$ 를 구성한다.
• Lebesgue 극한 정리를 사용하여 적분 $\int_{\partial M} \omega_s \to \int_{\partial M} \omega$ 와 $\int_M d\omega_s \to \int_M d\omega$ 에서 극한을 취하며, 도함수의 균일 유계성과 거의 모든 곳에서의 수렴에 의존한다.
• 각 매끄러운 $\omega_s$ 에 대해 표준 스위프트 정리를 적용한 후, 극한을 취하여 원래 리프시츠 형식에 대해서도 결과가 성립함을 결론짓는다.
• 단일 차트에 의한 당김과 다중 차트에 대한 분할 단위를 사용하여 국소 모델($\mathbb{R}^n$ 또는 $\mathbb{H}^n$) 에서 일반적인 매끄러운 다양체로 결과를 확장한다.
• 리프시츠 함수의 부분다양체(예: $\partial M$) 위로의 제한이 여전히 리프시츠이므로 경계 적분이 잘 정의됨을 이용한다.

실험 결과

연구 질문

• RQ1 고전적 $C^1$ 정규성 조건이 없음에도 불구하고, 스위프트 정리는 스위프트 다양체 위의 리프시츠 미분형식에 대해 성립하는가?
• RQ2 근사 기법을 사용하여 고전적 스위프트 정리의 증명을 리프시츠 형식에 대해 적응시킬 수 있는가?
• RQ3 리프시츠 형식의 외부 도함수는 약한 또는 분포적 의미에서 잘 정의되는가, 그리고 필요한 적분 항등식을 만족하는가?
• RQ4 리프시츠 형식의 경계 적분과 체적 적분은 어떻게 의미 있게 정의하고 비교할 수 있는가?

주요 결과

• 스위프트 정리는 컴팩트한 지지를 가진 리프시츠 $(n-1)$-형식에 대해 스위프트 다양체 위에서 성립하며, 고전적 결과를 $C^1$ 형식을 초월하여 확장한다.
• 리프시츠 형식 $\omega$ 의 외부 도함수 $d\omega$ 는 측도 가능 $n$-형식으로 잘 정의되며, 구성 요소 함수의 거의 어디서나 정의된 편도함수의 다항식 형태로 표현된다.
• 경계 적분 $\int_{\partial M} \omega$ 는 리프시츠 함수의 경계 위로의 제한이 여전히 리프시츠이므로 잘 정의되며, 이는 적분된 함수가 측도 가능하고 유계임을 보장한다.
• 스테클로 평균의 수렴은 Lebesgue 극한 정리를 통해 적분 $\int_{\partial M} \omega_s$ 와 $\int_M d\omega_s$ 가 각각 $\int_{\partial M} \omega$ 와 $\int_M d\omega$ 로 수렴함을 보장한다.
• 국소 모델($\mathbb{R}^n$ 또는 $\mathbb{H}^n$) 에서의 결과는 당김과 분할 단위를 사용하여 일반적인 매끄러운 다양체로 확장되며, 정리의 타당성이 유지된다.