Lipschitz solvability of prescribed Jacobian and divergence for singular measures

1. 연구 배경 및 문제 제기 (Problem)

• 주요 문제: 르베그 측도 ($L^d$) 에 대해 특이 (singular) 인 유한 라돈 측도 $\mu$ 가 정의된 열린 집합 $\Omega \subset \mathbb{R}^d$ 에서, 주어진 데이터 $f$ (발산의 경우) 또는 $g$ (야코비안의 경우) 를 만족하는 해를 찾는 문제입니다.
  • 발산 방정식: $\text{div } V = f$
  • 야코비안 방정식: $\det D\Phi = g$
• 배경 및 난제:
  • Alberti, Bate, Marchese (2023) 의 선행 연구에 따르면, 측도 $\mu$ 가 르베그 측도에 대해 특이할 경우, Lipschitz 함수 공간에서 $L^p(\mu)$ 로 가는 미분 연산자 (기울기, 발산, 야코비안 행렬식) 는 닫히지 않음 (not closable) 이 증명되었습니다.
  • 즉, 균일하게 Lipschitz 연속인 함수열이 0 으로 수렴하더라도, 그 미분값은 $\mu$-양의 측도 집합에서 유계로 남을 수 있습니다. 이는 점별 (pointwise) 으로 정확하고 Lipschitz 상수가 데이터의 $L^\infty$ 노름에 비례하는 해를 구하는 것이 일반적으로 불가능함을 의미합니다.
• 연구 목적: 이러한 기하학적 장애물을 우회하여, Lusin-type (루신형) 해를 구성하는 것입니다. 즉, 해가 데이터와 정확히 일치하는 집합의 $\mu$-측도가 거의 전체 (임의의 작은 오차 $\epsilon$ 제외) 가 되도록 하고, 동시에 해의 Lipschitz 상수를 데이터의 $L^\infty$ 노름에 비례하도록 제어하는 것입니다.

2. 방법론 (Methodology)

이 논문의 핵심은 Alberti, Csörnyei, Preiss가 개발한 기하학적 도구들을 활용하여 방향성 스칼라 문제를 해결하는 것입니다.

1. 분해 가능 다발 (Decomposability Bundle, $V(\mu, \cdot)$):

   • 특이 측도 $\mu$ 에 대해, 거의 모든 점 $x$ 에서 분해 가능 다발 $V(\mu, x)$ 는 전체 공간 $\mathbb{R}^d$ 와 다릅니다 ($V(\mu, x) \neq \mathbb{R}^d$).
   • 이는 $\mu$-거의 모든 점에서 다발에 수직인 방향 (transverse directions) 이 존재함을 의미합니다.

2. 원뿔-무시 (Cone-invisibility) 조건:

   • Lemma 2.2 에 따라, 유한 개의 단위 벡터 $v_1, \dots, v_N$ 을 선택하여 어떤 고유 부분공간 $L$ 에 대해 $L \cap C(v_j, \alpha) = \{0\}$ 을 만족하도록 합니다.
   • Lemma 2.5 를 통해, $\mu$-거의 모든 점에서 분해 가능 다발이 특정 원뿔 $C(v_j, \alpha)$ 와 교차하지 않는 집합으로 분할할 수 있습니다.

3. 폭 함수 (Width Functions, Lemma 2.6):

   • 원뿔-무시 조건을 만족하는 콤팩트 집합 $E$ 에 대해, $E$ 위에서는 특정 방향 $e$ 로의 편미분 $\partial_e \phi = 1$ 이 되지만, 전체적으로 함수 값과 기울기가 임의로 작게 조절 가능한 매끄러운 함수 $\phi$ 를 구성합니다.
   • 이는 방향성 스칼라 보조정리 (Directional Scalar Lemma, Proposition 3.1) 로 이어집니다: 임의의 연속 유계 함수 $\lambda$ 를 특정 방향의 편미분으로 구현하되, 해를 임의로 작은 supremum norm 을 가지도록 할 수 있습니다.

4. 구축 과정:

   • 발산의 경우: 주어진 데이터 $f$ 를 유한 개의 서로소 집합으로 나누고, 각 집합에서 수직 방향 $v_j$ 를 선택하여 스칼라 함수 $u_j$ 를 구성합니다 ($\partial_{v_j} u_j \approx f$). 이를 벡터장 $V = \sum u_j v_j$ 로 합쳐 발산을 만족시킵니다.
   • 야코비안의 경우: $g-1$ 을 데이터로 하여 스칼라 함수 $u_j$ 를 구성하고, $\Phi = \text{Id} + \sum u_j v_j$ 를 정의합니다. $v_j$ 가 단위 벡터일 때, $\det D\Phi = 1 + \partial_{v_j} u_j \approx g$ 가 됩니다.

3. 주요 결과 (Key Results)

Theorem 1.1: 발산 방정식의 루신 가해성

$\mu \perp L^d$ 인 유한 라돈 측도와 Borel 함수 $f$ 가 주어졌을 때, 임의의 $\epsilon, \delta > 0$ 에 대해 다음을 만족하는 $C^1_c$ 벡터장 $V$ 와 콤팩트 집합 $K$ 가 존재합니다:

• 측도 조건: $\mu(\Omega \setminus K) < \epsilon$
• 방정식: $\text{div } V(x) = f(x)$ for all $x \in K$
• Lipschitz bound: $\text{Lip}(V) \le (1+\delta)\|f\|_{L^\infty(\Omega, \mu)}$
• 작은 크기: $\|V\|_{C^0(\Omega)} \le \epsilon$ (해가 임의로 작게 선택 가능)

Theorem 1.2: 야코비안 방정식의 루신 가해성

동일한 조건 하에, 다음을 만족하는 사상 $\Phi$ 와 콤팩트 집합 $K$ 가 존재합니다:

• 측도 조건: $\mu(\Omega \setminus K) < \epsilon$
• 방정식: $\det D\Phi(x) = g(x)$ for all $x \in K$
• Lipschitz bound: $\text{Lip}(\Phi - \text{Id}) \le (1+\delta)\|g-1\|_{L^\infty(\Omega, \mu)}$
• 작은 크기: $\|\Phi - \text{Id}\|_{C^0(\Omega)} \le \epsilon$
• 보충: 만약 $(1+\delta)\|g-1\|_{L^\infty} < 1$ 이면, $\Phi$ 는 전역 미분동형사상 (global diffeomorphism) 입니다.

Corollary 1.3: 주어진 미분동형사상의 섭동

임의의 미분동형사상 $F$ 에 대해, $\Phi = F + Z$ 형태의 섭동을 구성하여 $\det D\Phi = g$ 를 만족시킬 수 있으며, 이때 섭동 $Z$ 는 임의로 작고 Lipschitz 상수가 제어됩니다.

4. 의의 및 기여 (Significance)

1. 점별 추정 실패에 대한 대안 제시:

   • Ornstein 부등식의 실패 (점별 $L^\infty \to \text{Lipschitz}$ 추정 불가) 라는 장애물이 존재하지만, Lusin-type 접근법 (거의 모든 질량을 가진 집합에서만 정확성을 요구) 을 통해 이를 우회할 수 있음을 증명했습니다.
   • 이는 Takáč의 반례로 인해 실패한 평평한 사슬 (flat chain) 추측의 Lang 버전 형식을 대체할 수 있는 자연스러운 대안을 제시합니다.

2. 평평한 사슬 추측 (Flat Chain Conjecture) 에의 기여:

   • Ambrosio-Kirchheim의 거리 흐름 (metric currents) 이론에서, 차원 $k=d$ (최고 차원) 인 경우 평평한 사슬 추측이 성립함을 증명하는 데 결정적인 역할을 합니다.
   • 최고 차원에서 미분형식 방정식 $d\phi = \omega$ 는 발산 방정식과 동치이며, 이 논문은 특이 측도 환경에서 발산 방정식의 루신 가해성을 증명함으로써 해당 추측의 핵심 단계를 완성합니다.

3. Dacorogna-Moser 정리의 특이 측도 버전:

   • 절대연속 측도에 대한 고전적인 Dacorogna-Moser 정리 (밀도 간의 수송) 와 유사하지만, 특이 측도의 경우 측도 자체를 수송하는 것이 아니라 주변 공간의 변형 (ambient deformation) 을 통해 야코비안을 제어한다는 점을 명확히 했습니다.

4. 기하학적 통찰:

   • 직관적으로 직교하는 방향이 명확한 '가분 (rectifiable)' 측도뿐만 아니라, 일반적인 특이 측도에서도 분해 가능 다발 (decomposability bundle) 을 통해 수직 방향을 찾아내어 동일한 기하학적 구성을 수행할 수 있음을 보였습니다.

5. 결론

이 논문은 특이 측도 하에서 발산과 야코비안 방정식의 해가 존재하지 않거나 제어되지 않는다는 기존의 부정적 결과들을, Lusin-type 가해성이라는 새로운 관점에서 재해석하고 긍정적으로 해결했습니다. 특히, 해를 임의로 작은 크기로 만들 수 있다는 점은 미분동형사상의 섭동 이론과 기하학적 흐름 (geometric flows) 연구에 강력한 도구를 제공합니다.