[논문 리뷰] The Yang-Mills heat equation with finite action

Leonard Gross|arXiv (Cornell University)|2016. 06. 13.

Numerical methods in inverse problems인용 수 6

한 줄 요약

이 논문은 $\mathbb{R}^3$ 및 $\mathbb{R}^3$ 내 유계 볼록 도메인에서 초기 자료가 임계 스обอ레프 공간 $H^{1/2}$ 에 속할 때 양-밀스 열 방정식의 해가 존재하고 유일함을 증명한다. 증명은 증강된 엄밀히 포물선 방정식을 풀고 임계 게이지 군 $\mathcal{G}_{3/2}$ 의 함수를 이용한 게이지 변환을 통해 수행되며, 에너지 및 뉴먼 도미네이션 부등식을 활용하여 초기 행동을 통제하고 유한 작용을 보장한다.

ABSTRACT

The existence and uniqueness of solutions to the Yang-Mills heat equation is proven over three dimensional Euclidean space and over a bounded open convex set therein. The initial data is taken to lie in the Sobolev space of order one half, which is the critical Sobolev index for this equation over a three dimensional manifold. The existence is proven by solving first an augmented, strictly parabolic equation and then gauge transforming the solution to a solution of the Yang-Mills heat equation itself. The gauge functions needed to carry out this procedure lie in the critical gauge group of Sobolev regularity three halves, which is a complete topological group in a natural metric but is not a Hilbert Lie group. The nature of this group must be understood in order to carry out the reconstruction procedure. Solutions to the Yang-Mills heat equation are shown to be strong solutions modulo these gauge functions. Energy inequalities and Neumann domination inequalities are used to establish needed initial behavior properties of solutions to the augmented equation.

연구 동기 및 목표

• 임계 스об오레프 공간 $H^{1/2}$ 에서의 거친 초기 자료를 가진 $\mathbb{R}^3$ 및 유계 볼록 도메인에서의 양-밀스 열 방정식 해의 존재성과 유일성을 확립하기 위해.
• 양-밀스 열 방정식이 초기 자료를 매끄럽게 하지 못하는 약한 포물성 문제를 해결하기 위해 증강된 엄밀히 포물선 시스템을 도입하기 위해.
• 스오브레프 정규성 $3/2$ 를 가진 임계 게이지 군 $\mathcal{G}_{3/2}$ 를 개발하고 분석하여, 이 군이 완비 위상군이지만 힐버트-라이 군은 아니라는 것을 보여주기 위해.
• 에너지 및 뉴먼 도미네이션 부등식을 사용하여 증강된 방정식의 해가 유한 작용을 가지며 초기 행동이 통제됨을 보여주기 위해.
• 원래의 양-밀스 열 방정식 해가 게이지 변환에 대해 강한 해임을 보여주고, 해의 유일성이 게이지 동치에 대해 유지됨을 보장하기 위해.

제안 방법

• 유한 작용을 가진 함수의 경로 공간에서 수축 원리를 사용하여 증강된 엄밀히 포물선 형태의 양-밀스 열 방정식을 풀기 위해.
• 에너지 부등식과 뉴먼 도미네이션을 사용하여 증강된 방정식의 해에 대한 초기 행동 추정치를 도출하며, 특히 $t=0$ 근처의 $L^p$ 및 $L^2$ 노름에 대해 분석한다.
• ZDS 절차를 통해 게이지 변환을 구성하여 게이지 함수 $g$ 가 임계 게이지 군 $\mathcal{G}_{3/2}$ 에 속하도록 보장하며, 이 군은 자연적 거리에 대해 완비 위상군임을 보장한다.
• 변환의 통제와 게이지 수정 해의 수렴을 보장하기 위해 $g^{-1}dg$ 와 그 시간 도함수에 대한 추정치를 확립한다.
• 적분 표현과 커플로션 부등식을 적용하여 곡률과 게이지 포텐셜의 고차 $L^p$ 노름을 유계화한다.
• 두 해가 동일한 초기 자료를 가질 경우 $\|A_1(t) - A_2(t)\|_2^2 = o(t^{1/2})$ 라는 조건을 보여주고, 그론발 유형의 추론을 통해 $A_1(t) = A_2(t)$ 를 모든 $t \geq 0$ 에 대해 도출함으로써 유일성을 증명한다.

실험 결과

연구 질문

• RQ1 임계 스오브레프 공간 $H^{1/2}(\mathbb{R}^3)$ 에서의 초기 자료를 가진 양-밀스 열 방정식 해가 존재할 수 있는가? 특히 방정식의 약한 포물성으로 인해 초기 자료가 매끄럽지 않더라도 가능한가?
• RQ2 선형 부분 $-d^*d$ 가 타원적이지 않아 표준 포물선 이론이 실패하는 상황에서 해를 어떻게 구성할 수 있는가?
• RQ3 게이지 군 $\mathcal{G}_{3/2}$ 의 구조와 정규성은 어떠한가? 그리고 이는 게이지 변환 절차를 뒷받기키는 데 어떤 역할을 하는가?
• RQ4 에너지 및 뉴먼 도미네이션 부등식은 증강된 방정식의 해의 초기 행동을 어떻게 통제하는가?
• RQ5 초기 자료가 오직 $H^{1/2}$ 에만 속할 경우, 해가 양의 시간에 대해 매끄럽지 않더라도 양-밀스 열 방정식의 해의 유일성은 유지되는가?

주요 결과

• 초기 자료가 $H^{1/2}(\mathbb{R}^3)$ 또는 $\mathbb{R}^3$ 내 유계 볼록 도메인에 속할 경우, 양-밀스 열 방정식의 해는 게이지 동치에 대해 강한 해로서 존재하고 유일하다.
• 증강된 방정식은 엄밀히 포물선이므로, 유한 작용을 가진 경로 공간 $\mathcal{P}_T^a$ 에서의 미약한 해를 가지며, 수축 추정치와 적분 방정식 기법을 통해 증명된다.
• 게이지 군 $\mathcal{G}_{3/2}$ 는 자연적 거리에 대해 완비 위상군이지만 힐버트-라이 군은 아니며, 원래 방정식의 해를 재구성하는 데 필수적이다.
• 증강된 방정식의 해는 $t \downarrow 0$ 일 때 $\|A(t) - A_0\|_2 = o(t^{1/4})$ 를 만족하며, 이는 초기 행동의 강한 통제를 의미한다.
• 뉴먼 도미네이션 및 커플로션 부등식을 통해 유도된 점별 유계화와 추상적 작용 추정치를 통해 유한 작용이 증명된다.
• 강한 해의 유일성은 $t \downarrow 0$ 일 때 $\|A_1(t) - A_2(t)\|_2^2 = o(t^{1/2})$ 라는 조건을 보여주고, 귀납법과 그론발 유형의 추론을 통해 $A_1(t) = A_2(t)$ 를 모든 $t \geq 0$ 에 대해 도출함으로써 확립된다.