[논문 리뷰] Local well-posedness of the coupled Yang-Mills and Dirac system for low regularity data

Hartmut Pecher|arXiv (Cornell University)|2021. 03. 11.

Advanced Mathematical Physics Problems참고 문헌 17인용 수 1

한 줄 요약

이 논문은 3+1 차원에서 최소한의 정규성 조건을 가진 초기 자료를 가진 결합 양-밀스-디랙 시스템에 대해 국소적 잘 정의됨을 증명한다. 비선형 항에 있는 널 조건 구조를 이용하여, 로렌츠 게이지와 디랙 스피너의 측성 분해를 통해, 낮은 정규성의 소볼레프 공간에서 해의 존재성, 유일성 및 연속성을 증명한다. 이는 이전의 양-밀스 방정식 결과를 확장하고, 쿠아셰-브라와 및 크리스토풀루의 고전적 매끄러운 해 결과를 일반화한다.

ABSTRACT

We consider the classical Yang-Mills system coupled with a Dirac equation in 3+1 dimensions. Using that most of the nonlinear terms fulfill a null condition we prove local well-posedness for data with minimal regularity assumptions. This problem for smooth data was solved forty years ago by Y. Choquet-Bruhat and D. Christodoulou. Our result generalizes a similar result for the Yang-Mills equation by S. Selberg and A. Tesfahun.

연구 동기 및 목표

• 초기 자료에 대한 최소한의 정규성 가정 하에 3+1 차원에서 결합 양-밀스-디랙 시스템에 대해 국소적 잘 정의됨을 확립하는 것.
• 초기 자료가 매끄럽을 경우 쿠아셰-브라와와 크리스토풀루의 고전적 결과를 낮은 정규성의 소볼레프 공간으로 일반화하는 것.
• 셀버그와 테스파후른의 양-밀스 방정식에 대한 낮은 정규성의 잘 정의됨 결과를 결합된 양-밀스-디랙 시스템으로 확장하는 것.
• 로렌츠 게이지 조건과 초기 약속 조건이 시스템의 진화 도중 유지되는지 엄밀히 검증하는 것.

제안 방법

• 양-밀스 시스템을 Aν와 Fμν에 대한 웨이브 방정식 시스템으로 줄이기 위해 ∂μAμ = 0 조건인 로렌츠 게이지를 도입한다.
• 프로젝션 Π±(∇/i)를 사용하여 디랙 스피너 ψ를 측성 분해 ψi,±로 분해함으로써 디랙 방정식을 연관된 반파동 방정식 시스템으로 변환한다.
• 양-밀스와 디랙 상호작용의 비선형 항에 존재하는 널 조건 구조를 이용하여 낮은 정규성의 특이성을 제어한다.
• 최소한의 정규성을 가진 해를 구성하기 위해 함수 공간 F^s_T, G^r_T, X^{l,3/4+}_{[0,T]}에서 고정점 정리를 사용한다.
• 약속 양 u = ∂μAμ와 Vμν = Fμν − F[A]μν에 대한 웨이브 방정식을 유도하여, 初기 자료가 약속을 만족하면 이들이 항상 0이 됨을 증명한다.
• 교환자 항등식과 에너지 추정을 이용하여 낮은 정규성 설정에서 부스팅 추론을 완성한다.

실험 결과

연구 질문

• RQ1 H^s, H^{s-1}, H^r, H^{r-1}, H^l에 속하는 초기 자료에 대해 s > 3/4, r > -1/8, l > 3/8일 때, 양-밀스-디랙 시스템에 대해 국소적 잘 정의됨이 성립하는가?
• RQ2 비선형 상호작용에 있는 널 조건이 전체 시스템에서 완전한 널 구조가 없음에도 불구하고 낮은 정규성 해를 제어할 수 있는가?
• RQ3 초기 자료가 약속을 만족할 경우, 로렌츠 게이지 조건이 시스템의 진화 도중 유지되는가?
• RQ4 초기값 문제의 국소적 잘 정의됨이 성립하는 정규성 지수 s, r, l의 최적 범위는 무엇인가?

주요 결과

• A에 대해 H^s × H^{s-1}, F에 대해 H^r × H^{r-1}, ψ에 대해 H^l에 속하는 초기 자료에 대해 국소적 잘 정의됨이 성립하며, s > 3/4, r > -1/8, l > 3/8, 그리고 s ≥ l ≥ r를 만족한다.
• 해는 시간 간격 [0, T]에서 존재하며, T는 초기 자료의 노름에만 의존한다. 이때 A ∈ C^0([0,T], H^s) ∩ C^1([0,T], H^{s-1}), F ∈ C^0([0,T], H^r) ∩ C^1([0,T], H^{r-1}), 그리고 ψ ∈ X^{l,3/4+}_{[0,T]}를 만족한다.
• 초기 자료에서 약속이 만족되면, 모든 t ∈ [0,T]에 대해 약속 양 u = ∂μAμ와 Vμν = Fμν − F[A]μν가 항등적으로 0이 되며, 이는 게이지 일관성을 보장한다.
• 에너지 추정을 통해 정규성 임계값 s > 3/4의 날카로움이 확인되며, u에 대한 웨이브 방정식에서 s + 1/4 > 1 조건이 필수적임을 보여준다.
• 비선형 항의 널 조건은 낮은 정규성에서도 상호작용 항을 제어할 수 있게 하며, 푸리에 제한 공간에서의 이차형 추정을 사용할 수 있도록 한다.
• 결합된 양-밀스-디랙 시스템에 대해 양-밀스 방정식의 낮은 정규성의 잘 정의됨 결과를 일반화하며, 디랙 장이 전류 Jν(ψ)를 통해 비선형 구조에 기여한다.