[논문 리뷰] A non-linear Egorov theorem and Poincaré-Birkhoff normal forms for quasi-linear pdes on the circle

Roberto Feola, Felice Iandoli|arXiv (Cornell University)|2020. 02. 27.

Quantum chaos and dynamical systems참고 문헌 22인용 수 10

한 줄 요약

이 논문은 원주 위의 양자선형 파라미터 미분 방정식에 대해 비선형 Egorov 정리를 수립하여, 정규화 오차를 고려할 때 상수 계수 형태로 변환하는 좌표 변환의 존재를 증명한다. 해밀턴계의 경우, Poincaré-Birkhoff 정규형으로의 축소를 추가로 달성하여, 초기 자료에 대칭성 가정 없이 초선형 분산을 갖는 양자선형 PDE에 대한 첫 번째 장기 존재 결과를 가능하게 한다.

ABSTRACT

In this paper we consider an abstract class of quasi-linear para-differential equations on the circle. For each equation in the class we prove the existence of a change of coordinates which conjugates the equation to a diagonal and constant coefficient para-differential equation. In the case of Hamiltonian equations we also put the system in Poincaré-Birkhoff normal forms. We apply this transformation to quasi-linear perturbations of the Schrödinger and Beam equations, obtaining a long time existence result without requiring any symmetry on the initial data. We also provide the local in time well-posedness for quasi-linear perturbations of the Benjamin-Ono equation.

연구 동기 및 목표

• 원주 위의 일련의 양자선형 파라미터 미분 방정식을 정규화 잔여항을 고려할 때 상수 계수 형태로 변환하는 비선형 Egorov 유형의 변환을 개발한다.
• 이 변환을 해밀턴계로 확장하여 비공진 조건 하에서 Poincaré-Birkhoff 정규형 축소를 달성한다.
• 구체적인 양자선형 PDE에 이 방법을 적용하여 슈뢰딩거 방정식과 비틀림 방정식의 변형, 그리고 Benjamin-Ono 방정식을 포함한다.
• 초선형 분산을 갖는 양자선형 PDE에 대해 초기 자료에 대칭성이 없어도 장기 존재를 증명한다.
• 파라미터 미분 정규형을 통해 유장 수명 안정성을 제공하는 프레임워크를 마련하여, 양자선형 설정에서의 도함수 손실 문제를 극복한다.

제안 방법

• 원래의 양자선형 PDE를 다루기 쉬운 구조를 갖는 파라미터 미분 방정식으로 줄이기 위해 Bony의 파라미터 선형화 공식을 활용한다.
• 정규화 잔여항을 고려한 대각형 상수 계수 형태로 방정식을 변환하기 위해 파라미터 미분 좌표 변화를 통한 공액화 절차를 적용한다.
• 해밀턴ian 구조를 유지하면서 변환하는 데에 심플렉틱 공액화를 활용하여 정규형 축소를 가능하게 한다.
• 양자선형 문제에서의 도함수 손실을 다루기 위해 파라미터 미분 연산자 맥락에서 Nash-Moser 유사 반복 체계를 구현한다.
• Bony의 파라미터 미분 해석학과 Birkhoff 정규형 절차를 활용하여 해밀턴ian 전개에서 비공진 항을 체계적으로 제거한다.
• 구체적인 방정식에 대해 명시적 기호 전개와 정규성 추정을 통해 이론을 적용한다. 이는 슈뢰딩거 방정식과 비틀림 방정식, 그리고 Benjamin-Ono 방정식을 포함한다.

실험 결과

연구 질문

• RQ1 원주 위의 양자선형 파라미터 미분 방정식에 대해 비선형 Egorov 정리를 수립할 수 있는가? 이는 방정식을 상수 계수 형태로 변환할 수 있는가?
• RQ2 해밀턴ian 양자선형 PDE가 파라미터 미분 공액화를 통해 어떤 조건에서 Poincaré-Birkhoff 정규형으로 축소될 수 있는가?
• RQ3 초선형 분산을 갖는 양자선형 PDE에 대해 초기 자료에 대칭성이 없어도 장기 존재를 증명할 수 있는가?
• RQ4 파라미터 미분 기법과 정규형 축소를 통해 양자선형 시스템에서의 도함수 손실을 어떻게 극복할 수 있는가?
• RQ5 Bony의 파라미터 선형화 공식은 변환과 이후 정규형 구성에 있어 어떤 역할을 하는가?

주요 결과

• 논문은 원주 위의 일반적인 양자선형 파라미터 미분 방정식의 클래스에 대해, 정규화 잔여항을 고려할 때 상수 계수 파라미터 미분 방정식으로 변환하는 좌표 변환의 존재를 증명한다.
• 해밀턴계의 경우, 비공진 조건 하에서 Poincaré-Birkhoff 정규형 축소를 달성하여 장기 안정성 분석이 가능해진다.
• 저자들은 원주 위의 초선형 분산 법칙을 갖는 양자선형 PDE에 대해 초기 자료에 대칭성이 없어도 장기 존재를 증명하는 첫 번째 결과를 확립한다.
• 이 방법은 슈뢰딩거 방정식과 비틀림 방정식의 양자선형 변형에 적용되어 충분히 큰 $ s $ 에 대해 $ H^s $ 공간에서 장기 존재를 도출한다.
• 변환은 해밀턴ian 구조를 유지하며, 수정된 에너지 추정을 통해 $ H^s $-노름을 제어할 수 있다. 이는 $ rac{d}{dt} orm{w}_{H^s}^2 riangleq orm{w}_{H^s}^{N+2} $ 를 유도하며, 이는 장기 제어를 의미한다.
• 결과는 Benjamin-Ono 방정식으로까지 확장되어, 동일한 파라미터 미분 공액화 프레임워크를 통해 양자선형 변형에 대해 국소 시간 존재성을 증명한다.