[논문 리뷰] On finitely Lipschitz space mappings

Руслан Салімов|arXiv (Cornell University)|2011. 03. 07.

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

한 줄 요약

이 논문은 $ n \geq 2 $ 인 $ \bbR^n $ 에서 $ p $-모듈러스에 대한 링 $ Q $-홈오모르피즘은 $ n-1 < p < n $ 이고, 무한소 구리에서 $ Q $ 의 본질적 상한이 유한할 경우, 모든 점에서 유한한 리프시츠 연속성을 가짐을 확립한다. 핵심 결과는 $ L^1 $-평균에 대한 명시적인 $ n $ 과 $ p $ 의 의존성을 포함한 점별 리프시츠 상한을 제공한다.

ABSTRACT

It is established that a ring $Q$-homeomorphism with respect to $p$-modulus in ${\Bbb R}^n$, $n\geqslant2,$ is finitely Lipschitz if $n-1

연구 동기 및 목표

• $ n \geq 2 $ 인 $ \bbR^n $ 에서 $ p $-모듈러스에 대한 링 $ Q $-홈오모르피즘이 유한한 리프시츠 성질을 가지는 데 필요한 충분조건을 확립하기 위해.
• 소구역에서의 주어진 $ Q $ 가 유한한 평균 적분을 가질 때 $ Q $-홈오모르피즘의 정규성에 대해 조사하기 위해.
• $ p $-모듈러스와 거리 왜곡 간의 상호작용을 분석하여, 등각 및 준등거리 사상 이외의 $ Q $-홈오모르피즘 이론을 확장하기 위해.
• 지정된 점 주변에서 $ Q $ 의 $ L^1 $-평균에 따라 점별 리프시츠 상한을 정량적으로 유도하기 위해.

제안 방법

• $ p $-모듈러스에 대한 링 $ Q $-홈오모르피즘 정의를 사용하여, 모든 적합한 $ \varrho $ 와 경로 가족 $ \Gamma $ 에 대해 $ M_p(f\Gamma) \leq \int_G Q(x) \varrho^p(x)\,dm(x) $ 를 요구한다.
• 왜곡과 용량 간의 관계를 설정하기 위해 용량 추정식 $ \mathrm{cap}_p(fB(x_0,2\varepsilon), \overline{fB(x_0,\varepsilon)}) \geq \gamma \left( \frac{d^p(fB(x_0,\varepsilon))}{m^{1-n+p}(fB(x_0,2\varepsilon))} \right)^{1/(n-1)} $ 을 적용한다.
• 링 $ Q $-홈오모르피즘 조건과 $ (\varepsilon, 2\varepsilon) $ 에서 $ \eta(t) = 1/\varepsilon $ 인 테스트 함수를 조합하여, $ \mathrm{cap}_p(fB(x_0,2\varepsilon), \overline{fB(x_0,\varepsilon)}) \leq \frac{1}{\varepsilon^p} \int_{A(x_0,\varepsilon,2\varepsilon)} Q(x)\,dm(x) $ 를 유도한다.
• 반경 $ B(x_0,\varepsilon) $ 에서의 $ Q $ 의 $ L^1 $-평균, 즉 $ Q_0 $ 을 리프시츠 상한의 제어 매개변수로 사용한다.
• 일반화된 피카르 타입 부등식과 $ p $-용량 및 $ p $-모듈러스를 통한 측도 비교를 적용하여 영상 구의 지름에 대한 상한을 도출한다.
• $ \varepsilon \to 0 $ 으로의 극한을 취하여 점별 리프시츠 상한 $ L(x_0,f) \leq \lambda_{n,p} Q_0^{1/(n-p)} $ 을 얻는다. 여기서 $ \lambda_{n,p} $ 는 $ n $ 과 $ p $ 에만 의존하는 양의 상수이다.

실험 결과

연구 질문

• RQ1 $ n \geq 2 $ 인 $ \bbR^n $ 에서 $ p $-모듈러스에 대한 링 $ Q $-홈오모르피즘이 유한한 리프시츠 성질을 가지기 위한 $ Q $ 의 조건은 무엇인가?
• RQ2 소구역에서의 국소적 $ L^1 $-평균이 이러한 사상의 점별 리프시츠 행동에 어떻게 영향을 미치는가?
• RQ3 $ n-1 < p < n $ 일 때, 리프시츠 상한이 $ p $-모듈러스와 도메인 기하학에 대해 어떻게 정확히 의존하는가?
• RQ4 캘더론 타입 조건을 가진 올리츠-소볼레프 클래스의 사상으로 $ Q $-홈오모르피즘 이론을 확장할 수 있는가?
• RQ5 $ Q $ 의 평균에 따라 영상 구의 왜곡에 대한 정량적 상한이 존재하는가?

주요 결과

• $ n-1 < p < n $ 이고 점 $ x_0 \in G $ 를 중심으로 하는 작은 구에서 $ Q $ 의 평균값의 본질적 상한극한이 유한할 경우, $ p $-모듈러스에 대한 링 $ Q $-홈오모르피즘은 점 $ x_0 $ 에서 유한한 리프시츠 연속성을 가진다.
• 점별 리프시츠 상한은 $ L(x_0,f) \leq \lambda_{n,p} Q_0^{1/(n-p)} $ 를 만족하며, 여기서 $ Q_0 = \overline{\lim}_{\varepsilon \to 0} \frac{1}{\Omega_n \varepsilon^n} \int_{B(x_0,\varepsilon)} Q(x)\,dm(x) $ 이고, $ \lambda_{n,p} $ 는 오직 $ n $ 과 $ p $ 에만 의존하는 양의 상수이다.
• 만약 도메인의 모든 점에서 $ Q $ 의 평균 적분이 유한할 경우, 이 결과는 전역적으로 성립하며, 이는 $ f $ 가 $ G $ 에서 유한한 리프시츠 연속성을 가짐을 의미한다.
• 증명은 반지름 영역에 컴actsupport를 가진 테스트 함수를 사용하여, 영상 콘덴서의 $ p $-용량과 경로의 $ p $-모듈러스를 비교하는 데 의존한다.
• 상한은 날카럽게, $ n $-차원 공간에서 $ p $-모듈러스와 용량의 척도와 자연스럽게 관련된 지수 $ 1/(n-p) $ 이 나타남으로써 날카롭다.
• 이 결과는 등각 및 준등거리 사상 이외의 사상 클래스를 확장하며, $ p > n-1 $ 인 특정 올리츠-소볼레프 및 $ W^{1,p} $-소볼레프 사상들을 포함한다.