2025-11-10T03:12:47.808086

Hausdorff measure of critical set for Luzin $N$ condition

DoleÅ¾alovÃ¡, HrubeÅ¡ovÃ¡, Roskovec

It is well-known that there is a Sobolev homeomorphism $f\in W^{1,p}([-1,1]^n,[-1,1]^n)$ for any $p<n$ which maps a set $C$ of zero Lebesgue $n$-dimensional measure onto the set of positive measure. We study the size of this critical set $C$ and characterize its lower and upper bounds from the perspective of Hausdorff measures defined by a general gauge function.

academic

Luzin $N$ 조건에 대한 임계집합의 Hausdorff 측도

기본 정보

논문 ID: 2005.06559
제목: Hausdorff measure of critical set for Luzin $N$ condition
저자: Anna Doležalová, Marika Hrubešová, Tomáš Roskovec
분류: math.FA (함수해석학)
발표 시간: 2020년 5월 13일
논문 링크: https://arxiv.org/abs/2005.06559

초록

임의의 $p<n$ 에 대해, 영 Lebesgue $n$ 차원 측도를 갖는 집합 $C$ 를 양의 측도 집합으로 매핑하는 Sobolev 동형사상 $f\in W^{1,p}([-1,1]^n,[-1,1]^n)$ 이 존재함이 알려져 있다. 본 논문은 일반 규범함수로 정의된 Hausdorff 측도 관점에서 이 임계집합 $C$ 의 크기를 연구하며, 그 하한과 상한을 특성화한다.

연구 배경 및 동기

핵심 문제

본 논문의 핵심 문제는 Luzin $N$ 조건을 위반하는 임계집합의 Hausdorff 측도 특성화이다. Luzin $N$ 조건은 임의의 집합 $E \subseteq \Omega$ 에 대해 $L^n(E) = 0$ 이면 $L^n(f(E)) = 0$ 이어야 함을 요구한다. 즉, 함수가 영측도 집합을 양측도 집합으로 매핑할 수 없다는 조건이다.

중요성 분석

물리적 의미: 고체역학 및 기타 물리 모델에서 Luzin $N$ 조건은 변형을 통해 "물질 생성"을 금지하며, Luzin $N^{-1}$ 조건은 "물질 소멸"을 금지한다.
수학적 의미: 이러한 조건들은 변수 치환 공식의 유효성, 면적 공식 및 공면적 공식의 성립과 밀접한 관련이 있다.
이론적 완전성: 이 조건들을 위반하는 임계집합의 크기를 특성화하는 것은 Sobolev 사상의 성질을 이해하는 데 중요하다.

기존 연구의 한계

Reshetnyak는 $W^{1,n}$ 의 Sobolev 동형사상이 조건 $N$ 을 만족함을 증명했다.
Marcus와 Mizel은 $W^{1,p}$ ( $p > n$ )의 사상이 조건 $N$ 을 만족함을 증명했다.
Ponomarev는 $W^{1,p}$ ( $1 \leq p < n$ )에서 조건 $N$ 을 위반하는 반례를 구성했다.
그러나 기존 연구는 주로 멱함수형 규범함수 $h(t) = t^α$ 를 고려하며, 일반 규범함수에 대한 체계적 연구가 부족하다.

핵심 기여

이론적 기여: 임계집합 크기 연구를 고전적 멱함수형 Hausdorff 측도에서 일반 규범함수로 정의된 Hausdorff 측도로 확장했다.
구성 방법: Ponomarev 구성에 기반하여 grand Sobolev 공간 $W^{1,n)}$ 에서 Luzin $N$ 조건을 위반하는 동형사상의 정확한 특성화를 제시했다.
상한 결과: 특정 조건을 만족하는 규범함수 $h(t) = t^n\tau(t)$ 에 대해, $0 < H^h(C_A) < \infty$ 인 임계집합 $C_A$ 가 존재함을 증명했다.
하한 결과: 임의의 규범함수 $h$ 에 대해, $H^h(C_A) = 0$ 인 임계집합 $C_A$ 를 구성할 수 있음을 증명했다.

방법 상세 설명

작업 정의

Luzin $N$ 조건을 위반하는 Sobolev 동형사상 $f: Q_0 \to Q_0$ (여기서 $Q_0 = [-1,1]^n$ )를 연구하고, 일반 규범함수 $h$ 로 정의된 Hausdorff 측도 $H^h$ 하에서 임계집합 $C_A$ 의 크기를 특성화한다.

핵심 이론 틀

Luzin 조건 정의

Luzin $N$ 조건: $L^n(E) = 0 \Rightarrow L^n(f(E)) = 0$
Luzin $N^{-1}$ 조건: $L^n(f(E)) = 0 \Rightarrow L^n(E) = 0$

규범함수와 Hausdorff 측도

규범함수 $h(t): [0,\infty) \to [0,\infty)$ 는 다음을 만족한다:

$h$ 는 단조 비감소
$h(0) = 0$
$h$ 는 연속

Hausdorff 측도는 다음과 같이 정의된다: $H^h(A) = \lim_{\delta \to 0^+} \inf\left\{\sum_{i=1}^{\infty} h(\text{diam}U_i) : A \subseteq \bigcup_i U_i, \text{diam}(U_i) < \delta\right\}$

Ponomarev 구성 방법

기본 설정

두 개의 순감소 수열 $\{a_k\}$ 와 $\{b_k\}$ 를 구성한다:

$a_0 = b_0 = 1$
$\lim_{k \to \infty} a_k = 0$
$\lim_{k \to \infty} b_k > 0$

반지름 수열을 정의한다:

$r_k = 2^{-k}a_k$
$\tilde{r}_k = 2^{-k}b_k$

Cantor형 집합 구성

중첩된 입방체 시스템을 귀납적으로 구성한다:

$v = [v_1, v_2, \ldots, v_k] \in V^k$ 에 대해, 중심 $z_v$ 와 입방체 $Q_v$ 를 정의한다.
원상 Cantor 집합을 구성한다: $C_A = \bigcap_{k=1}^{\infty} \bigcup_{v \in V^k} Q_v$
상 Cantor 집합을 구성한다: $C_B = \bigcap_{k=1}^{\infty} \bigcup_{v \in V^k} \tilde{Q}_v$

동형사상 매핑 구성

$k$ 번째 단계에서 매핑 $f_k$ 를 정의한다:

$Q_v$ 내부에서: $f_k(x) = f_{k-1}(z_v) + \frac{\tilde{r}_k}{r_k}(x - z_v)$
환형 영역 $Q'_v \setminus Q_v$ 내부에서: 방사형 매핑을 사용한다.

기술적 혁신점

매개변수 선택의 정밀화: $b_k = \frac{1}{2}(1 + a_k)$ 를 선택하여 구성된 매핑이 grand Sobolev 공간 $W^{1,n)}$ 에 속하도록 보장한다.
규범함수의 일반화 처리:
- 정리 1.1의 경우, $h(t) = t^n\tau(t)$ 를 요구하며, 여기서 $\tau$ 는 특정 단조성과 극한 조건을 만족한다.
- 정리 1.2의 경우, 임의의 규범함수를 허용한다.
측도 추정 기법: 입방체 직경과 Hausdorff 측도 사이의 핵심 추정을 수립한다: $\sum_{u \in U} h(\text{diam}Q_u) \approx 2^{-nk}\#U$

주요 정리

정리 1.1 (상한 결과)

$\tau: (0,\infty) \to [1,\infty)$ 를 $\lim_{t \to 0^+} \tau(t) = \infty$ 를 만족하는 단조 연속함수라 하고, 모든 $p \in (0,1]$ 에 대해 $x_p \in (0,1)$ 이 존재하여 모든 $t \in (0, x_p)$ 에 대해 $\frac{1}{\tau(pt)} > t^n$ 이라 하자.

$h(t) = t^n\tau(t)$ 라 하면, 다음을 만족하는 동형사상 $f: Q_0 \to Q_0$ 이 존재한다:

$f$ 는 $Q_0$ 의 경계에서 항등 매핑이다.
$f \in W^{1,n)}(Q_0, Q_0)$
$J_f > 0$ a.e.
$H^h(E) = 0$ 이면 $L^n(f(E)) = 0$ 이다.
$H^h(C_A) \in (0,\infty)$ , $L^n(C_A) = 0$ 이고 $L^n(f(C_A)) > 0$ 인 집합 $C_A$ 가 존재한다.

정리 1.2 (하한 결과)

임의의 규범함수 $h$ 에 대해, 다음을 만족하는 동형사상 $f: Q_0 \to Q_0$ 이 존재한다:

$f$ 는 $Q_0$ 의 경계에서 항등 매핑이다.
$f \in W^{1,n)}(Q_0, Q_0)$
$J_f > 0$ a.e.
$H^h(C_A) = 0$ , $L^n(C_A) = 0$ 이고 $L^n(f(C_A)) > 0$ 인 집합 $C_A$ 가 존재한다.

증명의 요점

정리 1.2의 증명 전략

$h(c_n 2^{-k}a_k) < 2^{-2nk}$ 가 되도록 수열 $\{a_k\}$ 를 선택한다. 여기서 $c_n = 2\sqrt{n}$ 이다. 이는 다음을 보장한다: $H^h(C_A) \leq \lim_{k \to \infty} \sum_{v \in V^k} h(\text{diam}Q_v) = \lim_{k \to \infty} 2^{nk}h(c_n r_k) < \lim_{k \to \infty} 2^{-nk} = 0$

정리 1.1의 증명 핵심 단계

수열 선택: $a_k^n\tau(2^{-k}c_n a_k) \approx 1$ 이 되도록 $\{a_k\}$ 를 구성한다.
측도 유계성: $H^h(C_A) < \infty$ 임을 증명한다.
측도 양성: 임의의 유한 열린 덮개 $\{U_j\}$ 에 대해 $\sum_j h(\text{diam}U_j) \gtrsim 1$ 임을 덮개 논증으로 증명한다.
전단사 구성: 매핑 $z: C_A \to [0,1]^n$ 을 구성하여 측도 간의 대응 관계를 수립한다.