유클리드 파동방정식 국소 평활화 형식화

유클리드 파동 방정식에 대한 국소 평활화

다음은 함께 제공되는 논문과 관련된 Lean 형식화의 범위를 설명합니다.

• 유클리드 파동 방정식에 대한 국소 평활화
• 3차원 파동 방정식에 대한 임계 국소 평활화

범위

모든 차원 $n\ge 2$와 모든 \2\le p<\infty\에 대해, 이 형식화는 유클리드 반파의 $L^p(\mathbb R^n\times[1,2])$ 노름을 그 Schwartz 초기 데이터의 $W^{s,p}(\mathbb R^n)$ 노름에 상수를 곱한 값으로 상계합니다. Sobolev 차수는 모든 \varepsilon>0에 대해 $s=\max(0,(n-1)/2-n/p)+\varepsilon$이며, $p=2$에서는 $s=0$도 허용됩니다. 3차원에서는 이는 임의로 작은 양의 Sobolev 손실을 갖는 임계 $L^3$ 추정을 줍니다.

이 형식화는 또한 엄격한 범위에서 균일한 Bochner–Riesz 승수 경계, 구면 확장 추정, 그리고 Stein 제곱함수 경계를 제공합니다. Kakeya 최대 연산자는 튜브 반지름 \0<\delta\le 1\에서 모든 \varepsilon>0에 대해 손실 $\delta^{-\varepsilon}$를 갖는 $L^n$ 경계를 만족합니다. $\mathbb R^n$의 모든 부분집합이 각 방향마다 길이 1인 선분 하나를 포함하면, 그 Hausdorff 차원은 $n$입니다.

또한 이 전개는 튜브가 차지하는 부피에 대한 로그 하한도 증명합니다. 3차원에서는 방향이 $\delta$-분리된 반지름 $\delta$의 길이 1인 튜브가 적어도 $\delta^{-2}$개 있을 때, 중심에 무관하게 그리고 \0<\delta\le 1\에 대해 그 합집합의 부피는 최소한 $c/(1+\log(1/\delta))^{66}$입니다.

비교 링크

출처

• 원문: github.com/openai/math/blob/main/lean/doc… (2026-10-27 · github.com)