[논문 리뷰] Newtonian spaces based on quasi-Banach function lattices

Lukáš Malý|arXiv (Cornell University)|2012. 10. 04.

Advanced Computational Techniques in Science and Engineering인용 수 1

한 줄 요약

이 논문은 일반적인 메트릭 측도 공간 위에서 준바나흐 함수 레이팅을 사용하여 뉴턴 공간을 도입함으로써, 일阶 소볼레프 유사 공간을 일반화한다. 곡선 모듈러스와 소볼레프 용량과 같은 기본 도구를 수립하고, 거의 모든 곡선을 따라 뉴턴 함수의 절대 연속성을 증명하며, 측도와 함수 레이팅에 대한 약한 가정 하에 뉴턴 공간이 준바나흐 공간으로서 완비임을 보인다.

ABSTRACT

In this paper, first-order Sobolev-type spaces on abstract metric measure spaces are defined using the notion of (weak) upper gradients, where the summability of a function and its upper gradient is measured by the "norm" of a quasi-Banach function lattice. This approach gives rise to so-called Newtonian spaces. Tools such as moduli of curve families and Sobolev capacity are developed, which allows us to study basic properties of these spaces. The absolute continuity of Newtonian functions along curves and the completeness of Newtonian spaces in this general setting are established.

연구 동기 및 목표

• 클래식한 L^p 및 올리츠 공간을 초월하여 임의의 준바나흐 함수 레이팅으로 뉴턴 공간을 일반화한다.
• 약한 상한 기울기와 함수 레이팅 노름을 사용하여 메트릭 측도 공간에서의 일阶 분석을 위한 통합 프레임워크를 개발한다.
• 이 일반 설정에서 뉴턴 함수의 완비성과 곡선 상 절대 연속성을 확립한다.
• 뉴턴 공간의 동치류의 구조를 명확히 하여, 거의 곳処 동치와 준거시 동치를 구분한다.

제안 방법

• 약한 상한 기울기가 X에 속하는 함수로 구성된 준바나흐 함수 레이팅 X 위에서 뉴턴 공간 N^1X를 정의한다.
• 곡선 모듈러스와 소볼레프 용량을 사용하여 약한 상한 기울기의 구조와 그 최소 대표자 분석한다.
• 용량이 0인 예외 집합을 통한 일반화된 에고로프 유사 추론을 사용하여 수렴을 제어한다.
• 준바나흐 구조와 용량 제어를 활용하여 거의 어디서나 및 준거시에 수렴하는 극한 함수를 구성함으로써 완비성을 증명한다.
• 직선 경로를 따라 상한 기울기의 유계성 조건을 사용하여 곡선 상 절대 연속성으로 뉴턴 함수를 특성화한다.
• bN^1X(거의 어디서나 동치)의 동치류와 N^1X(준거시 어디서나 동치)의 동치류를 구분하여, N^1X가 '좋은' 대표자들로 이루어져 있음을 보인다.

실험 결과

연구 질문

• RQ1 어떻게 추상적인 함수 레이팅 노름을 사용하여 뉴턴 공간을 L^p 및 올리츠 공간을 초월해 일반화할 수 있는가?
• RQ2 뉴턴 공간에서 거의 어디서나 동치와 준거시 동치 사이의 정확한 관계는 무엇인가?
• RQ3 뉴턴 함수는 거의 모든 직선 경로를 따라 절대 연속성을 만족하는가?
• RQ4 준바나흐 함수 레이팅 노름 하에서 뉴턴 공간은 완비적인가?
• RQ5 이 일반 설정에서 에고로프 유사 수렴 결과를 확립할 수 있는가?

주요 결과

• 뉴턴 함수는 거의 모든 직선 경로를 따라 절대 연속적이며, 상한 기울기가 곡선을 따라 변화를 제어한다.
• 약한 상한 기울기 g에 대해 ∥u∥_{N^1X} = ∥u∥_X + ∥g∥_X 노름 하에서 뉴턴 함수의 공간 N^1X는 준바나흐 공간으로서 완비이다.
• 뉴턴 공간의 동치류는 거의 어디서나 동치보다 더 미세하다: u ∈ N^1X이면, u가 ACC_X(P)에 속하고 N^1X의 대표자와 동치임과 동치이다.
• N^1X에서 수렴하는 수열의 부분수열은 거의 어디서나 준거시에 점별 수렴하며, 작은 용량을 가진 집합 외부에서는 균일 수렴한다.
• N^1X의 극한 함수는 점별 극한과 준거시 동치이며, 수렴은 용량이 0인 예외 집합에 의해 제어된다.
• 극한 함수의 구성은 CX(F) = 0인 용량 기반 예외 집합 F에 의존하며, 이는 준거시 수렴과 노름 수렴을 보장한다.