Мера Хаусдорфа критического множества для условия Лузина $N$

Основная информация

• ID статьи: 2005.06559
• Название: Hausdorff measure of critical set for Luzin $N$ condition
• Авторы: Anna Doležalová, Marika Hrubešová, Tomáš Roskovec
• Классификация: math.FA (функциональный анализ)
• Дата публикации: 13 мая 2020 г.
• Ссылка на статью: https://arxiv.org/abs/2005.06559

Аннотация

Хорошо известно, что для любого $p<n$ существует гомеоморфизм Соболева $f\in W^{1,p}([-1,1]^n,[-1,1]^n)$, который отображает множество $C$ нулевой $n$-мерной меры Лебега на множество положительной меры. В данной работе исследуется размер критического множества $C$ с точки зрения меры Хаусдорфа, определяемой общей функцией нормирования, и характеризуются его нижняя и верхняя границы.

Научный контекст и мотивация

Основная проблема

Ядром исследования является характеристика меры Хаусдорфа критического множества, нарушающего условие Лузина $N$. Условие Лузина $N$ требует, чтобы для любого множества $E \subseteq \Omega$ из $L^n(E) = 0$ следовало $L^n(f(E)) = 0$, то есть функция не может отображать множества нулевой меры на множества положительной меры.

Анализ значимости

1. Физический смысл: В механике твёрдого тела и других физических моделях условие Лузина $N$ запрещает "создание материи" при деформации, а условие Лузина $N^{-1}$ запрещает "исчезновение материи"
2. Математический смысл: Эти условия тесно связаны с корректностью формул замены переменных, формулы площади и формулы коплощади
3. Теоретическая полнота: Характеризация размера критических множеств, нарушающих эти условия, имеет фундаментальное значение для понимания свойств отображений Соболева

Ограничения существующих исследований

• Решетняк доказал, что гомеоморфизмы Соболева в $W^{1,n}$ удовлетворяют условию $N$
• Маркус и Мизель доказали, что отображения в $W^{1,p}$ ($p > n$) удовлетворяют условию $N$
• Пономарёв построил контрпримеры в $W^{1,p}$ ($1 \leq p < n$), нарушающие условие $N$
• Однако существующие исследования в основном рассматривают степенные функции нормирования $h(t) = t^α$, не охватывая систематическое изучение общих функций нормирования

Основные вклады

1. Теоретический вклад: Расширение исследования размера критического множества с классической степенной меры Хаусдорфа на меру Хаусдорфа, определяемую общей функцией нормирования
2. Метод конструкции: На основе конструкции Пономарёва дана точная характеризация гомеоморфизмов в гранд-пространстве Соболева $W^{1,n)}$, нарушающих условие Лузина $N$
3. Результат верхней границы: Доказано, что для функции нормирования $h(t) = t^n\tau(t)$, удовлетворяющей определённым условиям, существует критическое множество $C_A$ такое, что $0 < H^h(C_A) < \infty$
4. Результат нижней границы: Доказано, что для произвольной функции нормирования $h$ можно построить критическое множество $C_A$ такое, что $H^h(C_A) = 0$

Подробное описание методов

Постановка задачи

Исследование гомеоморфизмов Соболева $f: Q_0 \to Q_0$ (где $Q_0 = [-1,1]^n$), нарушающих условие Лузина $N$, и характеризация размера их критического множества $C_A$ относительно меры Хаусдорфа $H^h$, определяемой общей функцией нормирования $h$.

Основная теоретическая база

Определение условий Лузина

• Условие Лузина $N$: $L^n(E) = 0 \Rightarrow L^n(f(E)) = 0$
• Условие Лузина $N^{-1}$: $L^n(f(E)) = 0 \Rightarrow L^n(E) = 0$

Функции нормирования и мера Хаусдорфа

Функция нормирования $h(t): [0,\infty) \to [0,\infty)$ удовлетворяет:

1. $h$ монотонно неубывающая
2. $h(0) = 0$
3. $h$ непрерывная

Мера Хаусдорфа определяется как: $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\}$

Метод конструкции Пономарёва

Базовая установка

Конструируются две строго убывающие последовательности $\{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$

Конструкция множества типа Кантора

Посредством индукции конструируется вложенная система кубов:

• Для $v = [v_1, v_2, \ldots, v_k] \in V^k$ определяются центр $z_v$ и куб $Q_v$
• Конструируется исходное множество Кантора: $C_A = \bigcap_{k=1}^{\infty} \bigcup_{v \in V^k} Q_v$
• Конструируется образное множество Кантора: $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$: используется радиальное отображение

Технические инновации

1. Уточнение выбора параметров: Выбором $b_k = \frac{1}{2}(1 + a_k)$ обеспечивается принадлежность построенного отображения гранд-пространству Соболева $W^{1,n)}$
2. Обобщение обработки функций нормирования:
   • Для теоремы 1.1 требуется $h(t) = t^n\tau(t)$, где $\tau$ удовлетворяет определённым условиям монотонности и предельным условиям
   • Для теоремы 1.2 допускается произвольная функция нормирования
3. Техника оценки мер: Установлены ключевые оценки между диаметром куба и мерой Хаусдорфа: $\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$, удовлетворяющий:

1. $f$ — тождественное отображение на границе $Q_0$
2. $f \in W^{1,n)}(Q_0, Q_0)$
3. $J_f > 0$ п.в.
4. Если $H^h(E) = 0$, то $L^n(f(E)) = 0$
5. Существует множество $C_A$ такое, что $H^h(C_A) \in (0,\infty)$, $L^n(C_A) = 0$ и $L^n(f(C_A)) > 0$

Теорема 1.2 (результат нижней границы)

Для произвольной функции нормирования $h$ существует гомеоморфизм $f: Q_0 \to Q_0$, удовлетворяющий:

1. $f$ — тождественное отображение на границе $Q_0$
2. $f \in W^{1,n)}(Q_0, Q_0)$
3. $J_f > 0$ п.в.
4. Существует множество $C_A$ такое, что $H^h(C_A) = 0$, $L^n(C_A) = 0$ и $L^n(f(C_A)) > 0$

Ключевые моменты доказательства

Схема доказательства теоремы 1.2

Выбирается последовательность $\{a_k\}$ такая, что $h(c_n 2^{-k}a_k) < 2^{-2nk}$, где $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

1. Выбор последовательности: Конструируется $\{a_k\}$ такая, что $a_k^n\tau(2^{-k}c_n a_k) \approx 1$
2. Ограниченность меры: Доказывается $H^h(C_A) < \infty$
3. Положительность меры: Посредством аргумента покрытия доказывается, что для любого конечного открытого покрытия $\{U_j\}$ выполнено $\sum_j h(\text{diam}U_j) \gtrsim 1$
4. Конструкция биекции: Строится отображение $z: C_A \to [0,1]^n$, устанавливающее соответствие между мерами

Связанные работы

Историческое развитие

• Кривая Пеано (1890): Первый пример, нарушающий условие Лузина $N$
• Конструкция Чезари (1942): Систематическое построение контрпримеров
• Решетняк (1966): Положительные результаты в $W^{1,n}$
• Пономарёв (1971): Контрпримеры в $W^{1,p}$ ($p < n$)

Современное развитие

• Иванец-Сбордоне: Теория гранд-пространств Соболева
• Кауханен: Исследования размерности Хаусдорфа
• Коскела-Малый и др.: Современная теория условия $N$

Заключение и обсуждение

Основные выводы

1. Критические множества, нарушающие условие Лузина $N$, могут быть сколь угодно малы в смысле меры Хаусдорфа (теорема 1.2)
2. Для функций нормирования, близких к $t^n$, критические множества могут иметь положительную конечную меру Хаусдорфа (теорема 1.1)
3. Гранд-пространство Соболева $W^{1,n)}$ является надлежащей рамкой для исследования таких задач

Теоретическое значение

Работа полностью характеризует возможные размеры критических множеств, нарушающих условие Лузина $N$, в смысле общей меры Хаусдорфа, тем самым углубляя понимание геометрических свойств отображений Соболева.

Ограничения

1. Результаты в основном относятся к конструкциям типа Пономарёва
2. Условия на функцию нормирования $\tau$ в теореме 1.1 носят технический характер
3. Не рассматриваются более общие классы отображений или другие условия регулярности

Направления будущих исследований

1. Обобщение на более общие метрические пространства с мерой
2. Исследование других типов критических множеств (например, нарушающих условие $N^{-1}$)
3. Изучение связей с теорией регулярности решений уравнений в частных производных

Глубокая оценка

Достоинства

1. Теоретическая полнота: Систематическая характеризация верхней и нижней границ меры Хаусдорфа критического множества
2. Технические инновации: Искусное сочетание теории общих функций нормирования с классической конструкцией Пономарёва
3. Универсальность методов: Техники доказательства допускают обобщение на смежные задачи
4. Ясность изложения: Статья хорошо структурирована с подробным описанием технических деталей

Недостатки

1. Ограниченность приложений: В основном теоретические результаты с ограниченной практической ценностью
2. Техническая сложность: Некоторые технические условия (например, условие на $\tau$ в теореме 1.1) носят искусственный характер
3. Степень новизны: В основном обобщение и уточнение существующей теории

Влияние

• Научная ценность: Предоставляет новые теоретические инструменты для функционального анализа и геометрической теории меры
• Теоретическая полнота: Заполняет пробел в теории для случая общих функций нормирования
• Методологический вклад: Демонстрирует, как сочетать классические конструкции с современной теорией меры

Области применения

1. Теоретические исследования в геометрической теории меры и функциональном анализе
2. Дальнейшее развитие теории отображений Соболева
3. Задачи регулярности в вариационном исчислении и теории уравнений в частных производных