[논문 리뷰] An Approximate Inverse Riesz-Sobolev Inequality

Michael Christ|arXiv (Cornell University)|2011. 12. 16.

Nonlinear Partial Differential Equations참고 문헌 5인용 수 16

한 줄 요약

이 논문은 일차원에서 근사적인 역 Riesz-Sobolev 부등식을 수립한다. 즉, 지표 함수의 커플러션이 Riesz-Sobolev 재배열 부등식에서 거의 등호를 달성하는 경우, 해당 집합들은 거의 구간이어야 한다는 것을 보여준다. 증명은 근사적인 역 Brunn-Minkowski 정리와 소수 배수 집합에 대한 Freiman 정리에 기반하며, 거의 최적화된 집합들이 대칭 차집합 노름에서 구간에 가까워진다는 것을 보여준다.

ABSTRACT

The Riesz-Sobolev inequality relates the convolution of nonnegative functions on Euclidean space to the convolution of their symmetric nonincreasing rearrangements. We show that for dimension one, for indicator functions of sets, if the inequality is sufficiently close to an equality then the sets in question must nearly coincide with intervals.

연구 동기 및 목표

• 일차원에서 Riesz-Sobolev 부등식을 거의 최적화하는 집합을 특성화하는 것.
• 등호가 거의 달성될 때 Riesz-Sobolev 부등식의 정량적 안정성 결과를 수립하는 것.
• 지표 함수의 커플러션이 그들의 대칭 재배열과 가까운 경우, 원래 집합들이 거의 구간이어야 한다는 것을 보여주는 것.
• Brunn-Minkowski 부등식과 가군 체계 이론을 통해 커플러션 부등식에서의 거의 등호와 집합의 구조적 성질을 연결하는 방법을 개발하는 것.
• 함께하는 논문을 통해 Young의 커플러션 부등식에서 거의 최적화되는 함수를 특성화하는 기초를 마련하는 것.

제안 방법

• 지표 함수의 커플러션의 $L^2$ 내적과 그 재배열된 대응체를 비교하기 위해 Riesz-Sobolev 부등식을 사용한다.
• 소수 배수 집합의 구조를 제어하기 위해 근사적인 역 Brunn-Minkowski 정리를 적용한다. 즉, $|A+A| < 3|A| - \rho$.
• 실수선 $\mathbb{R}$를 작은 간격 $I_n$으로 덮고, $A$가 높은 밀도를 가지는 인덱스 집합 $\mathcal{A} \subset \mathbb{Z}$를 정의하는 이산화 기법을 사용한다.
• Freiman 정리를 적용하여 $\mathcal{A}$ 가 일차원 산술 등차수열 $\mathcal{P}$ 안에 포함됨을 보여, $A$ 가 구간들의 합집합에 가까워진다는 것을 유도한다.
• Cauchy-Davenport 부등식과 Brunn-Minkowski 부등식을 사용하여 $|A+A|$의 하한을 유도하고, 등차수열의 차수 $d > 1$일 경우 모순을 이끌어내어 $d=1$임을 강제한다.
• 결국 $A$ 는 $|I| \leq |A+A| - |A| + \gamma$ 를 만족하는 구간 $I$ 안에 포함되며, $\gamma \to 0$ 일 때의 교집합을 취해 극한 구간 $I$ 를 얻는다.

실험 결과

연구 질문

• RQ1 측도 가능 집합 $A, B$ 가 Riesz-Sobolev 부등식에서 거의 등호를 달성할 조건은 무엇인가? 이 경우 $A$ 와 $B$ 는 거의 구간이어야 하는가?
• RQ2 소수 배수 집합의 구조는 재배열 부등식의 안정성 결과를 유도하는 데 어떻게 활용될 수 있는가?
• RQ3 Riesz-Sobolev 부등식의 거의 최적화 상태와 집합과 구간 사이의 대칭 차집합 사이의 정량적 관계는 무엇인가?
• RQ4 역 Brunn-Minkowski 정리는 커플러션 부등식에서 거의 최적화되는 집합의 기하학을 제어하는 데 사용될 수 있는가?
• RQ5 부등식의 가정 조건을 얼마나 완화해도 안정성 결론이 유지되는가?

주요 결과

• 만약 $\langle \mathbf{1}_A * \mathbf{1}_B, \mathbf{1}_E \rangle$ 와 $\langle \mathbf{1}_A * \mathbf{1}_B, \mathbf{1}_F \rangle$ 가 그 재배열된 대응체와 $\delta \max(|A|,|B|)^2$ 이내에 있다면, $A$ 는 대칭 차집합에서 구간에 가까워진다.
• 모든 $\varepsilon > 0$ 에 대해, (1.4)–(1.6)의 조건이 만족되면 어떤 구간 $I$ 에 대해 $|A \triangle I| < \varepsilon |A|$ 가 성립하는 $\delta > 0$ 이 존재한다.
• $|F| = 3|E|$ 조건은 $|F| = 3|E| + O(\delta \max(|A|,|B|))$ 로 약화시켜도 결론에 영향을 주지 않는다.
• 증명은 $|A+A| < 3|A| - \rho$ 이면, 임의로 작은 $\gamma > 0$ 에 대해 $A$ 가 $|I| \leq |A+A| - |A| + \gamma$ 를 만족하는 구간 $I$ 안에 포함됨을 보여준다.
• 인덱스 집합 $\mathcal{A}$ 를 포함하는 산술 등차수열 $\mathcal{P}$ 의 차수 $d$ 는 반드시 $1$ 이어야 하며, 이는 집합 $A$ 가 구간에 구조적으로 가까워진다는 것을 의미한다.
• 매개변수 $\varepsilon, \delta \to 0$ 일 때 대칭 차집합 $|A \triangle I|$ 는 0으로 수렴하며, 이는 극한에서의 안정성을 확인한다.