[논문 리뷰] Sobolev spaces and mappings with bounded (P,Q)-distortion on Carnot groups

Alexander Ukhlov, S. K. Vodopyanov|ArXiv.org|2007. 09. 04.

Advanced Mathematical Modeling in Engineering참고 문헌 29인용 수 8

한 줄 요약

이 논문은 카르노 군 위에서 유계 $(p,q)$-편향을 갖는 사상의 기본적인 해석적 및 기하적 성질을 수립하며, 새로운 종류의 $(p,q)$-정규사상 클래스를 도입한다. 리우빌 유형 정리와 능력 기반의 예외 집합 제거 조건을 증명하여, 소볼레프 공간 기법과 비선형 잠재이론을 활용해 고전적 정규사상 이론을 부분 리만 기하로 확장한다.

ABSTRACT

We study mappings with bounded (p,q)-distortion associated to Sobolev spaces on Carnot groups. Mappings of such type have applications to the Sobolev type embedding theory and classification of manifolds. For this class of mappings, we obtain estimates of linear distortion, and a geometrical description. We prove also Liouville type theorems and give some sufficient conditions for removability of sets.

연구 동기 및 목표

• 카르노 군에서 유계 $(p,q)$-편향을 갖는 사상 이론을 수립하여, 정규사상 이론을 부분 리만 기하로 일반화한다.
• 소볼레프 공간에서 능력 기반 조건을 통해 예외 집합의 제거 조건을 확립한다.
• 카르노 군에서 전체 사상에 대해 유계 $(p,q)$-편향을 갖는 경우 리우빌 유형 정리를 증명한다.
• $(p,q)$-정규사상의 기하적 특성은 준가환 모듈러스와 편향 함수를 통해 기술한다.
• 수평 도함수와 변수변환 공식을 사용하여, 적분 가능한 편향을 갖는 소볼레프 사상 이론을 계층적 리 군으로 확장한다.

제안 방법

• 위상적(열린, 이산적, $\nabla$ 조건) 및 분석적(소볼레프 정규성, $p$-편향의 적분 가능성) 기준을 통해 유계 $(p,q)$-편향 사상 정의.
• 적분 가능성 보장의 위해 $1/\kappa = 1/q - 1/p$ 이하에서 $K_{p,q}(f;\text{dom}) = \|K_p(f)\|_{L_\kappa(\text{dom})}$ 라는 편향 계수 도입.
• 함수 $u \in C_0 \cap W^1_p(\Omega)$ 에 대해 $f_*u$ 라는 전이 연산자 정의하고, 변수변환 공식을 통해 도메인 간 함수 노름 관계 설정.
• 횔더 부등식과 편향 계수를 사용해 $f_*u$ 의 $L_s$-노름 추정, $s = p/(p - (\nu - 1))$.
• $(p,q)$-정규사상은 준가환 함수 $\Phi$ 와 편향 비율 $H_{p,q}(x,f)$ 를 통해 기하학적으로 정의되며, 국소 유계성을 보장한다.
• $(p,q)$-정규사상이 $\mathcal{N}$-성질을 만족하고 $\operatorname{ACL}$ 임을 증명하여, 거의곳處 미분 가능성과 변수변환 항등식의 사용 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 카르노 군에서 유계 $(p,q)$-편향을 갖는 사상이 능력이 0인 예외 집합을 통해 연장 가능한가?
• RQ2 도메인 내 닫힌 집합 $F$ 가 $(p,q)$-편향 사상에서 제거 가능한지에 대한 정확한 능력 이론적 조건은 무엇인가?
• RQ3 리우빌 유형 정리가 카르노 군에서 $(p,q)$-편향 사상으로 일반화될 수 있는가, 특히 전체 사상의 경우에 대해 어떻게?
• RQ4 $(p,q)$-정규사상의 기하적 특성은 준가환 모듈러스와 편향 비율로 기술할 수 있는가?
• RQ5 $p$-편향의 $L_\kappa$-적분 가능성과 수평 미분의 $L_s$-summability 간의 관계는 무엇인가?

주요 결과

• 리우빌 유형 정리(정리 A)에 따르면, $f: \mathbb{G} \to \mathbb{G}$ 가 $\nu-1 < q \leq p \leq \nu$ 를 만족하는 유계 $(p,q)$-편향을 갖는다면, $W^1_s(\mathbb{G})$ 에서 $\mathbb{G} \setminus f(\mathbb{G})$ 의 능력은 0이다. 여기서 $s = p/(p - (\nu - 1))$.
• 만약 $p \geq q > \nu$ 이고 $\operatorname{cap}(F; W^1_s(\mathbb{G})) = 0$ 이며 $s = p/(p - (\nu - 1))$ 이라면, $\Omega \setminus F$ 에서 $\mathbb{G}$ 로의 유계 $(p,q)$-편향 사상 $f$ 는 연속적으로 $\tilde{f}: \Omega \to \mathbb{G}$ 로 연장된다.
• 특히 $p = q = \nu$ 인 경우, $\operatorname{cap}(\mathbb{C}f(\Omega \setminus F); W^1_\nu(\mathbb{G})) > 0$ 이면, $f$ 는 연속적 사상 $\tilde{f}: \Omega \to \mathbb{G} \cup \{\infty\}$ 로 연장된다.
• $u \in C_0 \cap W^1_p(\Omega)$ 에 대해 전이 연산자 $f_*u$ 는 $\|f_*u\|_{L_s(f(D))} \leq \Lambda N(f,D)^{(s-1)/s} (K_{p,q}(f;D))^{\nu-1} \|u\|_{L_r(D)}$ 를 만족하며, 여기서 $s = p/(p - (\nu - 1))$, $r = q/(q - (\nu - 1))$.
• 모든 $(p,q)$-정규사상은 $H_{p,q}(x,f)$ 의 유계성과 편향 함수의 적분 가능성에 의해, 유계 $(p,q)$-편향 사상임이 입증된다.
• $p$-편향 $K_p(x,f)$ 는 $\inf\{k(x) : |D_H f|(x) \leq k(x) J(x,f)^{1/p}\}$ 로 정의되며, $1/\kappa = 1/q - 1/p$ 이하에서 $L_\kappa$-적분 가능성은 본 논문에서 다루는 사상의 클래스를 특징짓는다.