[논문 리뷰] Stability of the Yang-Mills heat equation for finite action

Leonard Gross|arXiv (Cornell University)|2017. 10. 31.

advanced mathematical theories참고 문헌 13인용 수 6

한 줄 요약

이 논문은 초기 자료가 임계 스케일 소볼레프 공간 $H^{1/2}$ 에 있는 경우 $[\mathbb{R}^3$ 에서 양-밀스 열 방정식의 해의 안정성을 확립한다. 무한소 ZDS 절차를 통해 관련 변분 방정식에 대한 유일한 강한 해를 증명한다. 주요 기여는 약한 초기 조건과 특이 계수를 가진 상황에서도 유한한 작용과 초기 조건 수렴을 엄밀히 증명한 것으로, 에너지 부등식과 뉴먼 지배 기법을 사용한다.

ABSTRACT

The existence and uniqueness of solutions to the Yang-Mills heat equation over domains in Euclidean three space was proven in a previous paper for initial data lying in the Sobolev space of order one-half, which is the critical Sobolev index for this equation. In the present paper the stability of these solutions will be established. The variational equation, which is only weakly parabolic, and has highly singular coefficients, will be shown to have unique strong solutions up to addition of a vertical solution. Initial data will be taken to be in Sobolev class one-half. The proof relies on an infinitesimal version of the ZDS procedure: one solves first an augmented, strictly parabolic version of the variational equation and then adds to the solution a function which is vertical along the original path. Energy inequalities and Neumann domination techniques will be used to establish apriori initial behavior for solutions.

연구 동기 및 목표

• 임계 소볼레프 공간 $H^{1/2}$ 에서의 초기 자료를 가진 양-밀스 열 방정식의 해의 안정성을 확립하는 것.
• 약한 초기 조건과 특이 계수를 가진 변분 방정식에 대해 강한 해의 존재성과 유일성을 증명하는 것.
• 게이지 불변 복구 절차를 통해 증강된 엄밀히 초기 조건을 가진 변분 방정식으로부터 원래의 강한 해를 복구하는 것.
• 소볼레프 프레임워크 $H_{1/2}$ 기반에서 해의 유한한 작용과 적절한 초기 조건 행동을 확보하는 것.
• 정규성과 수렴 결과를 $L^\rho$ 및 $H_b^\mathsf{A}$ 노름으로 확장하여 게이지 불변성과의 일致를 보장하는 것.

제안 방법

• 원래의 약한 초기 조건 시스템의 특이성을 피하기 위해 증강된 엄밀히 초기 조건을 가진 변분 방정식을 도입한다.
• 무한소 ZDS 절차 적용: 증강된 방정식을 풀고, 그 해에 원래 경로를 따라 수직 성분을 더하여 보정한다.
• 에너지 부등식과 뉴먼 지배 기법을 사용하여 초기 행동을 제어하고 해 성분의 $L^p$ 유계성을 확립한다.
• 점별 및 적분 항등식을 사용하여 해 $w$ 의 초기 행동을 제2차까지 분석하고 고차 $L^p$ 노름을 분석한다.
• 보조 해 $w$ 에서 미분 방정식을 통해 원래 해 $v$ 를 재구성하여 변분 방정식과의 일致를 보장한다.
• 초기 조건의 수렴을 $L^\rho(M;\Lambda^1\otimes\mathfrak{k})$ 에서 $2\leq\rho<3$ 이며 $H_b^\mathsf{A}$ 노름에서 증명하여 강한 해 성질을 확인한다.

실험 결과

연구 질문

• RQ1 초기 자료가 $H^{1/2}$ 에 있을 경우, 양-밀스 열 방정식과 관련된 변분 방정식에 대해 유일한 강한 해를 구성할 수 있는가?
• RQ2 변분 방정식의 약한 초기 조건과 특이 계수는 어떻게 극복하여 해의 존재성과 유일성을 보장할 수 있는가?
• RQ3 증강된 변분 방정식의 해의 초기 행동은 무엇이며, 원래 문제와 어떻게 관련이 있는가?
• RQ4 해가 $H_{1/2}$-기반 노름에서 유한한 작용을 유지하는 정도는 어떠한가? 이는 $L^p$ 및 $H_b^\mathsf{A}$ 수렴과 어떻게 관련이 있는가?
• RQ5 초기 조건이 게이지 불변 방식으로 복구될 수 있으며, 필요한 함수 공간에서 수렴하는가?

주요 결과

• 초기 자료가 $H^{1/2}$ 에 있을 경우, 증강된 ZDS 절차 하에 변분 방정식은 강한 해가 유일하게 존재하며, 수직 해의 덧셈을 제외하고는 유일하다.
• 증강된 방정식의 해는 유한한 $b$-작용을 가지며, 이 성질은 복구 과정 동안 유지되어, $c = \min(a,b)$ 이고 $\max(a,b) > 1/2$ 일 때 유한한 강한 $c$-작용을 보장한다.
• 거의 강한 해의 초기 조건은 $L^\rho(M;\Lambda^1\otimes\mathfrak{k})$ 에서 $2\leq\rho<3$ 이며 $H_b^\mathsf{A}$ 노름에서 수렴하며, 초기 자료와의 일致를 확인한다.
• 유일성 증명은 $\int_0^T s^{1/2}\|v'(s)\|_2^2 ds < \infty$ 를 사용한 수정된 그론월라 유형의 추론에 기반하며, 이는 $\|v(t)\|_2 = o(t^{1/4})$ 를 이끌어내고, $v(0) = 0$ 이면 $v \equiv 0$ 이 된다.
• 조건 $\mathsf{A} \in L^3(\mathbb{R}^3)$ 하에 $H_1^\mathsf{A}$ 와 $H_1^0$ 노름 간의 등가성에 의해 강한 해의 유한한 작용이 확립된다.
• 해 $v(t)$ 는 $[0,\infty)$ 에서 $H_b^\mathsf{A}$ 에 연속적임을 보여, 강한 해에 요구되는 정규성을 확인한다.