Hausdorff measure of critical set for Luzin $N$ condition

Basic Information

• Paper ID: 2005.06559
• Title: Hausdorff measure of critical set for Luzin $N$ condition
• Authors: Anna Doležalová, Marika Hrubešová, Tomáš Roskovec
• Classification: math.FA (Functional Analysis)
• Publication Date: May 13, 2020
• Paper Link: https://arxiv.org/abs/2005.06559

Abstract

It is well-known that for any $p<n$, there exists a Sobolev homeomorphism $f\in W^{1,p}([-1,1]^n,[-1,1]^n)$ that maps a set $C$ of zero Lebesgue $n$-dimensional measure to a set of positive measure. This paper investigates the size of this critical set $C$ from the perspective of Hausdorff measures defined by general gauge functions, and characterizes both lower and upper bounds.

Research Background and Motivation

Core Problem

The core problem investigated in this paper concerns the Hausdorff measure characterization of critical sets that violate the Luzin $N$ condition. The Luzin $N$ condition requires that for any set $E \subseteq \Omega$, if $L^n(E) = 0$, then $L^n(f(E)) = 0$, i.e., the function cannot map zero-measure sets to sets of positive measure.

Significance Analysis

1. Physical Significance: In solid mechanics and other physical models, the Luzin $N$ condition prohibits "creating matter" through deformation, while the Luzin $N^{-1}$ condition prohibits "matter disappearance"
2. Mathematical Significance: These conditions are closely related to the validity of change of variables formulas, area formulas, and coarea formulas
3. Theoretical Completeness: Characterizing the size of critical sets violating these conditions is essential for understanding the properties of Sobolev mappings

Limitations of Existing Research

• Reshetnyak proved that Sobolev homeomorphisms in $W^{1,n}$ satisfy condition $N$
• Marcus and Mizel proved that mappings in $W^{1,p}$ ($p > n$) satisfy condition $N$
• Ponomarev constructed counterexamples in $W^{1,p}$ ($1 \leq p < n$) violating condition $N$
• However, existing research primarily considers power-type gauge functions $h(t) = t^α$, lacking systematic study of general gauge functions

Core Contributions

1. Theoretical Contribution: Extends the study of critical set size from classical power-type Hausdorff measures to Hausdorff measures defined by general gauge functions
2. Construction Method: Based on Ponomarev's construction, provides precise characterization of homeomorphisms violating the Luzin $N$ condition in the grand Sobolev space $W^{1,n)}$
3. Upper Bound Result: Proves that for gauge functions $h(t) = t^n\tau(t)$ satisfying specific conditions, there exists a critical set $C_A$ such that $0 < H^h(C_A) < \infty$
4. Lower Bound Result: Proves that for any gauge function $h$, one can construct a critical set $C_A$ such that $H^h(C_A) = 0$

Methodology Details

Problem Formulation

Study Sobolev homeomorphisms $f: Q_0 \to Q_0$ (where $Q_0 = [-1,1]^n$) that violate the Luzin $N$ condition, and characterize the size of their critical set $C_A$ under the Hausdorff measure $H^h$ defined by general gauge functions.

Core Theoretical Framework

Definition of Luzin Conditions

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

Gauge Functions and Hausdorff Measure

A gauge function $h(t): [0,\infty) \to [0,\infty)$ satisfies:

1. $h$ is monotone non-decreasing
2. $h(0) = 0$
3. $h$ is continuous

The Hausdorff measure is defined as: $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 Construction Method

Basic Setup

Construct two strictly decreasing sequences $\{a_k\}$ and $\{b_k\}$:

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

Define radius sequences:

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

Cantor-Type Set Construction

Construct nested cube systems inductively:

• For $v = [v_1, v_2, \ldots, v_k] \in V^k$, define center $z_v$ and cube $Q_v$
• Construct source Cantor set: $C_A = \bigcap_{k=1}^{\infty} \bigcup_{v \in V^k} Q_v$
• Construct image Cantor set: $C_B = \bigcap_{k=1}^{\infty} \bigcup_{v \in V^k} \tilde{Q}_v$

Homeomorphism Construction

At step $k$, define mapping $f_k$:

• Inside $Q_v$: $f_k(x) = f_{k-1}(z_v) + \frac{\tilde{r}_k}{r_k}(x - z_v)$
• Inside annulus $Q'_v \setminus Q_v$: use radial mapping

Technical Innovations

1. Refined Parameter Selection: By choosing $b_k = \frac{1}{2}(1 + a_k)$, ensure that the constructed mapping belongs to the grand Sobolev space $W^{1,n)}$
2. Generalized Treatment of Gauge Functions:
   • For Theorem 1.1, require $h(t) = t^n\tau(t)$ where $\tau$ satisfies specific monotonicity and limit conditions
   • For Theorem 1.2, allow arbitrary gauge functions
3. Measure Estimation Techniques: Establish key estimates between cube diameters and Hausdorff measures: $\sum_{u \in U} h(\text{diam}Q_u) \approx 2^{-nk}\#U$

Main Theorems

Theorem 1.1 (Upper Bound Result)

Let $\tau: (0,\infty) \to [1,\infty)$ be a monotone continuous function satisfying $\lim_{t \to 0^+} \tau(t) = \infty$, and for all $p \in (0,1]$ there exists $x_p \in (0,1)$ such that for all $t \in (0, x_p)$ we have $\frac{1}{\tau(pt)} > t^n$.

Let $h(t) = t^n\tau(t)$. Then there exists a homeomorphism $f: Q_0 \to Q_0$ satisfying:

1. $f$ is the identity mapping on the boundary of $Q_0$
2. $f \in W^{1,n)}(Q_0, Q_0)$
3. $J_f > 0$ a.e.
4. If $H^h(E) = 0$, then $L^n(f(E)) = 0$
5. There exists a set $C_A$ such that $H^h(C_A) \in (0,\infty)$, $L^n(C_A) = 0$ and $L^n(f(C_A)) > 0$

Theorem 1.2 (Lower Bound Result)

For any gauge function $h$, there exists a homeomorphism $f: Q_0 \to Q_0$ satisfying:

1. $f$ is the identity mapping on the boundary of $Q_0$
2. $f \in W^{1,n)}(Q_0, Q_0)$
3. $J_f > 0$ a.e.
4. There exists a set $C_A$ such that $H^h(C_A) = 0$, $L^n(C_A) = 0$ and $L^n(f(C_A)) > 0$

Proof Outlines

Proof Strategy for Theorem 1.2

Choose the sequence $\{a_k\}$ such that $h(c_n 2^{-k}a_k) < 2^{-2nk}$, where $c_n = 2\sqrt{n}$. This ensures: $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$

Key Steps in Proof of Theorem 1.1

1. Sequence Selection: Construct $\{a_k\}$ such that $a_k^n\tau(2^{-k}c_n a_k) \approx 1$
2. Measure Boundedness: Prove $H^h(C_A) < \infty$
3. Measure Positivity: Establish through covering arguments that for any finite open cover $\{U_j\}$ we have $\sum_j h(\text{diam}U_j) \gtrsim 1$
4. Bijection Construction: Construct mapping $z: C_A \to [0,1]^n$ establishing correspondence between measures

Related Work

Historical Development

• Peano Curve (1890): Earliest example violating Luzin $N$ condition
• Cesari Construction (1942): Systematic counterexample construction
• Reshetnyak (1966): Positive results in $W^{1,n}$
• Ponomarev (1971): Counterexamples in $W^{1,p}$ ($p < n$)

Modern Developments

• Iwaniec-Sbordone: Grand Sobolev space theory
• Kauhanen: Hausdorff dimension research
• Koskela-Malý et al.: Modern theory of condition $N$

Conclusions and Discussion

Main Conclusions

1. Critical sets violating the Luzin $N$ condition can be arbitrarily small in the Hausdorff measure sense (Theorem 1.2)
2. For gauge functions close to $t^n$, critical sets can have positive finite Hausdorff measure (Theorem 1.1)
3. The grand Sobolev space $W^{1,n)}$ is the appropriate framework for studying such problems

Theoretical Significance

This paper completely characterizes the possible sizes of critical sets violating the Luzin $N$ condition under general Hausdorff measures, thereby deepening understanding of the geometric properties of Sobolev mappings.

Limitations

1. Results primarily target specific Ponomarev-type constructions
2. Conditions on gauge function $\tau$ in Theorem 1.1 are quite technical
3. Does not address more general mapping classes or other regularity conditions

Future Directions

1. Generalization to more general metric measure spaces
2. Study of other types of critical sets (e.g., sets violating $N^{-1}$ condition)
3. Exploration of connections with regularity theory of partial differential equation solutions

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Systematically characterizes upper and lower bounds for Hausdorff measures of critical sets
2. Technical Innovation: Cleverly combines general gauge function theory with classical Ponomarev construction
3. Method Generality: Proof techniques are generalizable to related problems
4. Clear Presentation: Paper structure is clear with detailed technical exposition

Weaknesses

1. Limited Application: Primarily theoretical results with limited practical applicability
2. Technical Complexity: Certain technical conditions (e.g., $\tau$ conditions in Theorem 1.1) are somewhat artificial
3. Innovation Degree: Mainly extends and refines existing theory

Impact

• Academic Value: Provides new theoretical tools for functional analysis and geometric measure theory
• Theoretical Completeness: Fills theoretical gaps in the general gauge function setting
• Methodological Contribution: Demonstrates how to combine classical constructions with modern measure theory

Applicable Scenarios

1. Theoretical research in geometric measure theory and functional analysis
2. Further development of Sobolev mapping theory
3. Regularity problems in calculus of variations and partial differential equations