[논문 리뷰] An extension and trace theorem for functions of H-bounded variation in Carnot groups of step 2

Christina Selby|ArXiv.org|2005. 10. 17.

Dermatological and Skeletal Disorders참고 문헌 1인용 수 6

한 줄 요약

이 논문은 단계 2 카르노 군에서 H-유계 변동성 함수에 대한 확장 및 추적 정리 수립한다. 비특성 및 헤이센베르크 유형 대칭 영역을 포함하는 H-가능한 영역의 개념을 도입하고, $BV_H(\theta)$에 속하는 함수들이 총 변동성이 제어되는 방식으로 $BV_H(\mathbb{G})$로 확장될 수 있음을 증명한다. 핵심 결과는 감소 경계에서의 추적의 $L^1$-노름이 $BV_H$-준노름에 의해 제어됨을 보여주는 추적 정리이다.

ABSTRACT

This paper provides an extension for a function $u \in BV_H(Ω)$ to a function $u_0 \in BV_H(G)$ when $Ω$ is ``H-admissible,'' and G is a step 2 Carnot group. It is shown that H-admissible domains include non-characteristic domains and domains in groups of Heisenberg type which have a partial symmetry about characteristic points. An example is given of a domain that is $C^{1,α}$, $α<1$, that is not H-admissible. Further, when $Ω$ is H-admissible a trace theorem is proved for $u \in BV_H(Ω)$.

연구 동기 및 목표

• H-가능한 영역인 단계 2 카르노 군 $\mathbb{G}$ 내에서 $\Omega$ 에 대해 $BV_H(\Omega)$ 에 속하는 함수를 $BV_H(\mathbb{G})$ 로 확장하는 것.
• 상한 및 하한 근접 극한을 이용해 $u \in BV_H(\Omega)$ 의 $\partial\Omega$ 에서의 추적을 정의하고 특성화하는 것.
• 추적의 $L^1$-노름이 $u$ 의 $BV_H$-준노름에 의해 제어됨을 보여주는 추적 부등식을 증명하는 것.
• 근처 근접 극한이 다를 점들로 이루어진 점프 집합 $F$ 의 직선성 및 적분 수렴 성질을 확립하는 것.
• 모든 $\alpha < 1$ 인 $C^{1,\alpha}$ 영역이 H-가능한 영역가 아닐 수 있음을 보여, H-가능성 조건의 날카로움을 강조하는 것.

제안 방법

• 두 조건을 통해 H-가능한 영역 정의: (i) $\mathcal{S}^{Q-1}_d(\partial\Omega \setminus \partial^*_{*,H}\Omega) = 0$, 그리고 (ii) $\partial^*_{*,H}\Omega$ 에서 국소 측도 비교 조건.
• Franchi, Serapioni, Serra Cassano (2004) 의 유한한 H-경계 길이 집합에 대한 구조 정리를 활용해 $\partial^*_{*,H}\Omega$ 가 $\mathcal{S}^{Q-1}_d$-직선성임을 보장.
• 확장된 함수 $u_0$ 의 상한 및 하한 근접 극한의 합으로서 추적 $u^*(x) = \mu_{u_0}(x) + \lambda_{u_0}(x)$ 정의.
• [12] 의 불러올림 정리를 적용해 직선성 점에서 반공간 $S_H^\pm(\nu)$ 를 식별하고 한쪽 방향 극한을 분석.
• Garofalo 와 Nheiu (1998) 의 Poincaré 부등식과 수정된 John-Nirenberg 형식 추정을 사용해 $F$ 근처에서 $u - U(x)$ 의 $L^{Q/(Q-1)}$-노름을 제어.
• BV_H 함수에 대한 공식적 공식과 수준 집합의 구조를 활용해 추적 노름을 $BV_H$-준노름에 의해 상한으로 제한.

실험 결과

연구 질문

• RQ1 어느 영역 $\Omega \subset \mathbb{G}$ 가 $u \in BV_H(\Omega)$ 를 $u_0 \in BV_H(\mathbb{G})$ 로 확장할 수 있으며 총 변동성에 대해 균일한 제어를 가질 수 있는가?
• RQ2 단계 2 카르노 군에서 H-가능한 영역의 정확한 정의와 기하학적 의의는 무엇인가?
• RQ3 H-가능한 영역인 $\Omega$ 에 대해 $BV_H(\Omega)$ 에 속하는 함수의 추적은 $\partial\Omega$ 에서 어떻게 정의되고 특성화될 수 있는가?
• RQ4 $F$ 에서의 근접 점프 불연속점 근처에서 $u$ 의 $L^{Q/(Q-1)}$-평균 성질은 무엇인가?
• RQ5 $\alpha < 1$ 인 $C^{1,\alpha}$ 영역이 H-가능한 영역가 아닐 수 있으며, 이는 H-가능성 조건의 날카로움에 대해 어떤 함의를 갖는가?

주요 결과

• H-가능한 영역는 비특성 영역과 헤이센베르크 유형에서의 특정 대칭 영역를 포함하며, 측도론적 및 국소 비교 조건에 의해 정의된다.
• 추적 $u^*$ 는 확장된 함수 $u_0$ 의 상한 및 하한 근접 극한의 합으로 잘 정의되며, 어떤 $M = M(\Omega)$ 에 대해 $\int_{\partial_{*,H}\Omega} |u^*|\, d\mathcal{S}^{Q-1}_d \leq M \|u\|_{BV_H(\Omega)}$ 를 만족한다.
• 근처 근접 불연속점의 점프 집합 $F$ 는 가산적으로 $\mathcal{S}^{Q-1}_d$-직선성이며, $\mathcal{S}^{Q-1}_d$-거의 모든 점 $x \in F$ 에 대해, $\lambda(x) < s < \mu(x)$ 에 대해 $\nu_{A_s}(x) = \nu(x)$ 를 만족하는 법선 벡터 $\nu(x)$ 가 존재한다.
• $\mathcal{S}^{Q-1}_d$-거의 모든 점 $x \in F$ 에 대해, 반공간 $S_H^\pm(\nu(x))$ 에 沿한 $u$ 의 한쪽 방향 극한이 각각 $\mu(x)$ 와 $\lambda(x)$ 와 같다.
• $r \to 0$ 일 때, $x \in \mathbb{G} \setminus F$ 를 중심으로 한 구에서 $u - U(x)$ 의 $L^{Q/(Q-1)}$-노름은 0으로 수렴하며, 이는 $F$ 근처의 반공간에서도 마찬가지로 성립하여 강한 르베그 점 성질을 확인한다.
• 반례를 구성: $\alpha < 1$ 인 $C^{1,\alpha}$ 영역이 H-가능한 영역가 아님을 보여, H-가능성 조건이 일반적인 미분 가능성 조건에 의해 유도되지 않음을 입증한다.