[논문 리뷰] Smooth solutions to the nonlinear wave equation can blow up on Cantor sets

Rowan Killip, Monica Vişan|arXiv (Cornell University)|2011. 03. 27.

Advanced Mathematical Physics Problems참고 문헌 9인용 수 13

한 줄 요약

이 논문은 호칭 매핑과 파라메트릭스 방법을 활용하여, 임의의 컴acts 집합(카르테르 유사 집합 포함)에서 정확히 폭발하는 1차원 비선형파 방정식의 매끄러운(C^∞) 해를 구성한다. 주요 결과는 폭발이 공간의 임의의 컴acts 부분집합에서 발생할 수 있으며, 이는 이전에 알려진 이산적 또는 해석적 집합 외의 폭발 특이점의 가능한 구조에 대한 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

We construct $C^\infty$ solutions to the one-dimensional nonlinear wave equation $$ u_{tt} - u_{xx} - frac{2(p+2)}{p^2} |u|^p u=0 \quad ext{with} \quad p>0 $$ that blow up on any prescribed uniformly space-like $C^\infty$ hypersurface. As a corollary, we show that smooth solutions can blow up (at the first instant) on an arbitrary compact set. We also construct solutions that blow up on general space-like $C^k$ hypersurfaces, but only when $4/p$ is not an integer and $k > (3p+4)/p$.

연구 동기 및 목표

• 비선형파 방정식의 매끄러운 해가 임의의 컴acts 집합에서 폭발할 수 있는지 여부를 규명하는 것.
• 이전의 해석적 정규성에서 매끄러운(C^∞) 정규성으로 폭발 표면 결과를 확장하는 것.
• 일관된 공간-유사 C^k 초표면이 특정 정규성 및 비공진 조건을 만족할 경우 폭발 표면이 될 수 있음을 보여주는 것.
• 알리냐크가 제기한 문제, 즉 해석적 경우 외의 C^∞ 폭발 표면 존재 여부를 해결하는 것.
• 공간 전역에서 정의된 초기 자료를 구성하여 주어진 컴acts 집합에서 폭발을 유도하는 것.

제안 방법

• 폭발 표면 t = σ(x)를 새로운 좌표계 (s, y)에서 평탄한 표면 s = 0으로 매핑하기 위해 호칭 변환을 사용한다.
• 원래의 파동 방정식이 폭발 표면의 기하학을 반영하는 호칭 인자 λ(s, y)를 포함한 변형된 파동 방정식으로 변환된다.
• 변환된 방정식에 대해 파라메트릭스 해 v(s, y)를 구성하며, s → 0일 때 특정 점근적 폭발 속도를 만족한다.
• 적절한 함수 공간에서 수축 사상에 의해 해의 존재성을 보이며, 이는 호칭 인자 λ가 충분한 정규성을 가져야 함을 요구한다.
• 해 u의 정규성은 λ와 해 v의 정규성으로부터 유도되며, 폭발 속도는 로렌츠 불변 자가유사 해 (1.2)와 일치한다.
• 레벨 집합 σ(x) = T 가 주어진 컴acts 집합 E 와 일치하도록, 평탄한 함수 σ(x)를 명시적으로 구성함으로써 E 에서의 폭발 가능성을 보장한다.

실험 결과

연구 질문

• RQ1 1차원 비선형파 방정식의 매끄러운 해가 카르테르 유사 집합에서 폭발할 수 있는가?
• RQ2 임의의 공간 컴acts 부분집합에서 폭발하는 C^∞ 해를 구성하는 것이 가능한가?
• RQ3 이러한 해의 존재를 위한 폭발 표면에 필요한 정규성 조건은 무엇인가?
• RQ4 4/p 가 정수일 때를 제외하고, k > 3 + 4/p 인 C^k 초표면이 폭발 표면가 될 수 있는가?
• RQ5 이 방법이 공간 전역에서 정의된 초기 자료로 주어진 컴acts 집합에서 폭발을 유도하는 데로 확장 가능한가?

주요 결과

• 비선형파 방정식의 해는 ℝ의 임의의 주어진 컴acts 집합 E ⊂ ℝ 에서 폭발할 수 있으며, 이는 이산적 또는 해석적 집합 외의 경우에도 해당된다.
• 모든 p > 0 에 대해, 유한 시간 T > 0 에서 주어진 컴acts 집합 E 에서 정확히 폭발하는 C^∞ 초기 자료가 존재한다.
• 폭발 속도는 로렌츠 불변이며 자가유사 해 (1.2)와 일치하며, lim_{t↑σ(x)} (σ(x)−t)^{2/p} u(t,x) = (1−|σ′(x)|²)^{1/p} 이다.
• 폭발 표면이 C^k 이며 4/p 가 정수가 아닐 경우 k > 3 + 4/p 여야 하며, C^∞ 표면의 경우 이러한 제약 조건이 적용되지 않는다.
• 폭발 표면을 평탄한 초표면으로 변환하는 호칭 매핑에 의존하며, 이는 파라메트릭스 기법의 적용 가능성을 보장한다.
• 존재 시간은 호칭 인자 λ의 C^{⌈2+4/p⌉}_{s,y} 노름에만 의존하므로, 소규모 변형에 대해 강건성이 확보된다.