[논문 리뷰] Freezing Traveling and Rotating Waves in Second Order Evolution Equations

Wolf‐Jürgen Beyn, Denny Otten외 1명|Repository KITopen (Karlsruhe Institute of Technology)|2016. 01. 01.

Differential Equations and Numerical Methods참고 문헌 7인용 수 4

한 줄 요약

이 논문은 동결 방법을 두 번째 차수의 진화 방정식으로 확장하여, 감쇠 파동 방정식을 부분 미분-대수 방정식(PDAE)으로 재구성함으로써 이동파 및 회전파를 수치적으로 계산한다. 충분한 감쇠가 있는 비선형 파동 방정식에 대해 이 방법의 실현 가능성을 보이며, 선형화된 연산자의 스펙트럼 성질을 분석하여 안정된 파동이 왼쪽 반평면에 스펙트럼을 가짐을 보이고, 한 차원 및 두 차원에서의 점 스펙트럼과 본질 스펙트럼에 대한 핵심 통찰을 제공한다.

ABSTRACT

In this paper we investigate the implementation of the so-called freezing method for second order wave equations in one and several space dimensions. The method converts the given PDE into a partial differential algebraic equation which is then solved numerically. The reformulation aims at separating the motion of a solution into a co-moving frame and a profile which varies as little as possible. Numerical examples demonstrate the feasability of this approach for semilinear wave equations with sufficient damping. We treat the case of a traveling wave in one space dimension and of a rotating wave in two space dimensions. In addition, we investigate in arbitrary space dimensions the point spectrum and the essential spectrum of operators obtained by linearizing about the profile, and we indicate the consequences for the nonlinear stability of the wave.

연구 동기 및 목표

• 두 번째 차수의 감쇠 파동 방정식에서 이동파 및 회전파를 계산하기 위한 수치적 프레임워크를 개발하기 위해.
• 이동 프레임과 단위 조건을 도입하여 원래 PDE를 PDAE로 재구성함으로써 프로파일을 안정화시키기 위해.
• 한 차원 및 다중 차원 공간에서 파동 프로파일 주위의 선형화된 연산자의 스펙트럼 성질—점 스펙트럼과 본질 스펙트럼—을 분석하기 위해.
• 스펙트럼의 위치를 해의 장기적 행동과 연결함으로써 비선형 안정성을 조사하기 위해.
• 세미선형 파동 방정식에 대해 5차 비선형성과 충분한 감쇠를 갖는 경우에 대해 수치적 검증을 수행하기 위해.

제안 방법

• 이동하는 좌표계를 도입함으로써 두 번째 차수의 파동 방정식을 PDAE로 재구성하기 위해, 앵자 $ u(x,t) = v(x - \tau(t), t) $ 를 사용하며, 여기서 $ \tau(t) $ 는 구하는未知 함수이다.
• 프로파일 $ v $ 가 가능한 한 적게 변하도록 보장하기 위해, 이동 또는 회전 대칭성을 제거하기 위한 단위 조건(동결 제약 조건)을 도입한다.
• 이동파의 경우 한 차원, 그리고 회전파의 경우 두 차원에서 시간에 따라 변화하는 이동 및 회전을 포함한 공동 프레임을 사용하여 동결 방법을 적용한다.
• 파동 프로파일 주위에서 PDAE를 선형화하여 스펙트럼 성질을 연구하고, 선형화된 연산자 $ \tilde{\rho} $ 를 유도하며, 점 스펙트럼과 본질 스펙트럼을 분석한다.
• 분산 곡선 분석을 통해 $ \rho $-행렬의 행렬식 조건 $ \text{Re}(\text{det}(\text{quadratic matrix})) = 0 $ 를 통해 본질 스펙트럼을 특성화하며, $ \rho $-곡선에 대한 명시적 매개변수 표현을 도출한다.
• 네이만 경계 조건을 갖는 구형 영역에서 2차원에서의 삼차-오차 비선형성 Ginzburg-Landau 파동 방정식에 대해 수치 계산을 수행하여 스펙트럼을 근사한다.

실험 결과

연구 질문

• RQ1 동결 방법은 어떻게 첫 번째 차수에서 두 번째 차수의 진화 방정식으로 확장되어 이동파 및 회전파를 계산할 수 있는가?
• RQ2 한 차원 및 두 차원 공간에서 파동 프로파일 주위의 선형화된 연산자의 본질 스펙트럼과 점 스펙트럼의 구조는 어떻게 되는가?
• RQ3 선형화된 연산자의 전체 비영 스펙트럼이 엄격히 왼쪽 반평면에 위치하는 감쇠 조건은 무엇인가, 이는 비선형 안정성을 나타내는가?
• RQ4 PDAE의 스펙트럼 성질은 원래 파동 해의 안정성과 어떻게 관련되는가?
• RQ5 강한 감쇠를 갖는 두 번째 차수 파동 방정식에 대해 동결 방법의 실현 가능성과 정확성을 뒷받침하는 수치적 증거는 무엇인가?

주요 결과

• 동결 방법은 두 번째 차수의 감쇠 파동 방정식을 PDAE로 성공적으로 재구성하여, 한 차원 및 두 차원 공간에서 이동파 및 회전파를 수치적으로 계산할 수 있도록 한다.
• 5차 비선형성과 충분한 감쇠를 갖는 세미선형 파동 방정식에 대해 이 방법은 안정적인 수치적 해를 도출하여 실용적 실현 가능성을 확인한다.
• 본질 스펙트럼은 $ \rho $ 에 대한 이차 행렬의 행렬식을 통해 유도된 분산 곡선으로 특성화되며, 고유값들은 수직선 $ \mathrm{Re} = -\rho/(2\varepsilon) $ 과 $ n \in \bbZ $ 를 매개변수로 하는 수평 세그먼트 위에 놓여 있다.
• 점 스펙트럼은 이동 불변성으로 인해 영 고유값을 포함하며, 추가로 고립된 고유값들이 존재한다. 이 중에서 실수부가 음수인 고유값은 총 18개로, 8개의 복소수 쌍과 2개의 실수 고유값으로 구성되어 약한 안정성을 나타낸다.
• 고유함수의 수치적 근사치는 영 고유값이 이동 모드에 해당하고, $ \lambda \approx i\sigma $ 고유값이 회전 모드에 해당함을 확인한다.
• 스펙트럼 분석 결과, 삼차-오차 비선형성 Ginzburg-Landau 방정식의 스핀하는 솔리톤은 약한 안정성을 보이며, 허수축에 매우 가까이 위치한 세 개의 고립된 고유값이 존재하여 경계 안정성(마진막 안정성)을 시사한다.