[논문 리뷰] Sobolev and BV spaces on metric measure spaces via derivations and integration by parts

Simone Di Marino|arXiv (Cornell University)|2014. 09. 19.

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

한 줄 요약

이 논문은 Weaver의 미적분적 유도를 사용한 부분 적분을 통해 측도 공간 위의 Sobolev 및 BV 공간에 대한 새로운 특성화를 수립하며, 모든 주요 기존 정의들과의 동치성을 보여준다. 이론은 유도 기반의 약한 그래เดียน트를 도입하고, 분포적 미분의 총변화량이 다양한 형태에서 일치함을 증명하여, 이중성 또는 Poincaré 조건을 가정하지 않고도 이론을 통합한다.

ABSTRACT

We develop a theory of BV and Sobolev Spaces via integration by parts formula in abstract metric spaces; the role of vector fields is played by Weaver's metric derivations. The definition hereby given is shown to be equivalent to many others present in literature.

연구 동기 및 목표

• 상위 그라디언트에 의존하지 않고, 유도를 사용한 부분 적분을 통해 일반적인 측도 공간 위의 Sobolev 및 BV 공간 이론을 개발하는 것.
• 고전적 Sobolev 이론과 현대적 측도 공간 해석학 사이의 격차를 메우기 위해, 쌍대성과 부분 적분을 통해 약한 그래เดียน트를 회복하는 것.
• 제안된 유도 기반 Sobolev 및 BV 공간 정의가 상위 그라디언트, 완화된 기울기, 계획 기반 정의를 포함한 모든 주요 기존 정의들과 동치임을 보이는 것.
• BV* 공간, w-BV 공간 및 유도 기반 BV 공간에서의 총변화량 측도 |Df| 간의 동치성을 확립하는 것.
• 이론이 이중성 또는 Poincaré 조건을 가정하지 않은 완전하고 분리 가능한 측도 공간에서도 성립함을 보이는 것.

제안 방법

• 논문은 모든 유도 b에 대해 |b|, div b ∈ L^q 이면 ∫ f · div b d𝔪 = -∫ L_f(b) d𝔪 를 만족하는 선형 함수 L_f가 유도 공간 위에 존재할 경우, f ∈ L^p 가 W^{1,p} 에 속한다고 정의한다.
• 이론은 df: Der^{q,q} → L^1 의 미분을 도입하여, 거의 어디서나 |df(b)| ≤ |∇f| · |b| 를 만족하는 점별 그래เดียน트 |∇f| 를 정의할 수 있도록 한다.
• 이론은 벡터장의 일반화로 Weaver의 유도를 사용하며, 라이프니츠 법칙과 약한 국소성의 성질을 활용하여 약한 미분을 정의한다.
• 쌍대성과 근사화를 통해, 유도 기반 Sobolev 공간과 q-완화된 기울기 및 최소 q-상위 그라디언트를 통한 표준 정의 간의 동치성을 확립한다.
• BV 공간의 경우, 모든 유도 b ∈ Der_L 에 대해 ∫ f · div b d𝔪 ≤ ∫ |b|^* d|Df| 를 만족하는 duality 를 통해 |Df| 를 정의하고, 이 측도가 BV* 및 w-BV 공간의 총변화량과 일치함을 증명한다.
• 동치성의 증명은 ∞-계획(곡선에 대한 측도)과 유도 사이의 대응관계에 기반하며, 리프시츠 함수가 곡선을 따라 잘 정의된 도함수를 가짐을 이용한다.

실험 결과

연구 질문

• RQ1 측도 공간 위의 Sobolev 공간은 상위 그라디언트 또는 완화된 기울기 대신, 유도를 사용한 부분 적분 공식으로 정의될 수 있는가?
• RQ2 유도 기반 약한 그래데ียน트 정의는 ℝ^n 에서 고전적 그래데ียน트 개념과 측도 공간 내의 다른 현대적 정의들과 동치인가?
• RQ3 유도를 사용한 부분 적분 공식으로 정의된 총변화량 측도 |Df| 는 BV* 및 w-BV 공간의 총변화량과 일치하는가?
• RQ4 유도 프레임워크를 통해 BV* 및 w-BV 공간 간의 동치성은 복구되고 확장될 수 있는가?
• RQ5 ∞-계획과 곡선 기반 유도는 유도 기반 BV 공간이 계획 기반 BV 정의와 연결되는 데 어떤 역할을 하는가?

주요 결과

• 논문은 이중성 또는 Poincaré 조건을 가정하지 않더라도, 유도 기반 W^{1,p} 정의가 최소 q-상위 그라디언트 및 완화된 기울기 기반 표준 정의와 동치임을 증명한다.
• 유도 위에서 정의된 미분 df 는 거의 어디서나 |df(b)| ≤ |∇f| · |b| 를 만족하는 점별 그래데ียน트 |∇f| 를 제공하며, 이 |∇f| 는 이전 문헌에서의 최소 약한 상위 그라디언트와 일치한다.
• 유도를 사용한 부분 적분으로 정의된 총변화량 측도 |Df| 는 |Df| ≤ |Df|_* 와 |Df|(X) ≥ |Df|_w(X) 를 만족하며, 세 정의 모두에서 등호가 성립함을 보였다.
• 모든 f ∈ BV 에 대해 |Df| = |Df|_* = |Df|_w 가 성립함을 증명하여, 유도 기반 BV 공간이 BV* 및 w-BV 공간과 일치함을 보였다.
• 이론은 측도 공간 내에서 Sobolev 및 BV 공간에 대한 여러 접근법을 통합하여, 유도와 부분 적분을 통한 공통 기반을 제공한다.