[논문 리뷰] $ACL$ and differentiability of the Open Discrete Ring (p,Q)-Mappings

Руслан Салімов, Evgeny Sevost’yanov|arXiv (Cornell University)|2010. 03. 24.

Analytic and geometric function theory참고 문헌 11인용 수 11

한 줄 요약

이 논문은 $\mathbb{R}^n$, $n \geq 2$에서 열린 이산 맵 $(p,Q)$-mapping이 $Q \in L^1_{\text{loc}}$ 및 $p > n-1$ 조건을 만족할 경우 거의 everywhere에서 미분 가능하고 $ACL$ 클래스에 속함을 증명한다. 또한 이러한 맵핑이 국소 소볼레프 공간 $W^{1,1}_{\text{loc}}$에 속하고, 자코비안과 $Q$-함수를 포함하는 점별 왜곡 부등식을 만족함을 증명하며, 등비정규 맵핑을 넘어서서 미분 가능성과 적분 가능성 결과를 일반화한다.

ABSTRACT

We study the so--called ring $(p,Q)$--mappings which are the natural generalization of quasiregular and quasi isometric mappings. It is proved that open discrete ring $(p,Q)$--mappings are differentiable a.e. and belong to the class $ACL$ in ${\Bbb R}^n$, $n\ge 2$, furthermore, $f\in W_{loc}^{1,1}$ provided that $Q\in L^{1}_{loc}$ and $p>n-1$

연구 동기 및 목표

• 등비정규 맵핑에서의 미분 가능성과 $ACL$ 정규성 결과를 비유한 왜곡이 있는 더 넓은 범주인 열린 이산 맵핑으로 확장하기 위해.
• 국소적 $L^1$ 공간에 속하는 $Q$와 $p > n-1$ 조건을 만족하는 링 $(p,Q)$-mapping이 $\mathbb{R}^n$에서 거의 everywhere에서 미분 가능함을 증명하기 위해.
• 이러한 맵핑이 국소 소볼레프 공간 $W^{1,1}_{\text{loc}}$에 속하고 자코비안과 $Q$를 포함하는 날카운 점별 왜곡 추정식을 만족함을 증명하기 위해.
• 등비등각 설정을 넘어서 비유한 $Q$-왜곡을 가진 맵핑으로 모듈러스 기법을 일반화하기 위해.

제안 방법

• 경로 가족의 모듈러스와 $Q$-홈오모르피즘의 개념을 사용하여 부등식 $M_p(f\Gamma) \leq \int_D Q(x) \rho^p(x)\,dm(x)$를 통해 링 $(p,Q)$-mapping을 정의한다.
• 영역 내 점 주변의 국소적 행동을 분석하기 위해 링 조건 $M_p(f\Gamma(S_1,S_2,A)) \leq \int_A Q(x) \eta^p(|x-x_0|)\,dm(x)$를 적용한다.
• 콘덴서의 용량 추정과 링 영역의 $p$-용량을 사용하여 작은 집합의 이미지의 왜곡을 통제한다.
• 이산 허들러 부등식과 체적-용량 비교를 사용하여 자코비안과 $Q$에 대한 도함수의 점별 상한을 유도한다.
• 반경 $r \to 0$ 및 $\delta \to 0$의 극한 과정을 적용하여 직선에서의 절대 연속성, 즉 $ACL$ 정규성을 유도한다.
• 용량 추정과 $Q$의 국소 적분 가능성 조합을 통해 $f \in W^{1,1}_{\text{loc}}$를 도출한다.

실험 결과

연구 질문

• RQ1 국소적 $L^1$ 공간에 속하고 $p > n-1$ 조건을 만족하는 열린 이산 맵 $(p,Q)$-mapping이 $Q \in L^1_{\text{loc}}$ 조건 하에서 $\mathbb{R}^n$에서 거의 everywhere에서 미분 가능한가?
• RQ2 동일한 조건 하에서 이러한 맵핑이 $\mathbb{R}^n$, $n \geq 2$에서 $ACL$ 조건을 만족하는가?
• RQ3 이러한 맵핑에 대해 $f \in W^{1,1}_{\text{loc}}$의 소볼레프 정규성이 확립될 수 있는가?
• RQ4 자코비안 $J(x,f)$와 함수 $Q(x)$를 포함하는 점별 추정식 $\|f'(x)\|^p$와의 관계가 존재하는가?

주요 결과

• 국소적 $L^1$ 공간에 속하고 $p > n-1$ 조건을 만족하는 열린 이산 맵 $(p,Q)$-mapping은 $\mathbb{R}^n$에서 거의 everywhere에서 미분 가능하다.
• 이러한 맵핑은 $\mathbb{R}^n$에서 $ACL$ 클래스에 속하며, 좌표축에 평행한 거의 모든 선분에서 절대 연속이다.
• 맵핑은 국소 소볼레프 공간 $W^{1,1}_{\text{loc}}$에 속하여 약한 도함수가 존재하고 국소적으로 적분 가능하다.
• 날카운 점별 부등식이 성립한다: 거의 everywhere에서 $\|f'(x)\|^p \leq C |J(x,f)|^{1-n+p} Q^{n-1}(x)$이며, 여기서 $C$는 $n$과 $p$에만 의존한다.
• 증명은 콘덴서의 용량 추정과 링이 점으로 수축할 때의 $p$-용량의 극한 행동에 기반한다.
• 결과는 등비정규 맵핑에서의 고전적 미분 가능성과 $ACL$ 결과를 비유한 왜곡이 있는 더 넓은 범주로 일반화한다.