[논문 리뷰] Conservation laws by symmetries and adjoint symmetries

Wen‐Xiu Ma|arXiv (Cornell University)|2017. 07. 11.

Nonlinear Waves and Solitons참고 문헌 16인용 수 4

한 줄 요약

이 논문은 라그랑지안이 필요 없이 미분방정식계에 대한 보존법칙을 직접적으로 구성하는 방법을 제시한다. 이는 대칭과 수반 대칭의 쌍을 사용하며, 노이터 정리의 일반화이다. 이 방법은 열 방정식, 버거스 방정식, 코르테웨그-데 플레스(KdV) 방정식에 대해 보존 밀도를 성공적으로 계산하며, 라플라스 쌍의 고유함수와 수반 고유함수를 통해 새로운 보존 밀도를 도출한다.

ABSTRACT

Conservation laws are formulated for systems of differential equations by using symmetries and adjoint symmetries, and an application to systems of evolution equations is made, together with illustrative examples. The formulation does not require the existence of a Lagrangian for a given system, and the presented examples include computations of conserved densities for the heat equation, Burgers' equation and the Korteweg-de Vries equation.

연구 동기 및 목표

• 일반적인 미분방정식계에 대해 라그랑지안 기반의 접근 없이 보존법칙을 구성하는 일반적인 프레임워크를 개발하는 것.
• 대칭과 수반 대칭 사이의 직접적인 대응관계를 보존법칙에 설정하는 것.
• 특히 열 방정식, 버거스 방정식, KdV 방정식과 같은 스칼라 진화방정식계에 이 방법을 적용하는 것.
• 라플라스 쌍의 고유함수와 수반 고유함수를 사용하여 명시적인 보존 밀도를 계산하고, 새로운 보존법칙을 도출하는 것.
• 수반 대칭의 대수적 구조를 탐구하며, 잠재적 교환자 정의와 닫힘 성질을 포함한다.

제안 방법

• 이 방법은 게이트옥 도함수와 그 수반을 사용하여 미분계의 대칭 및 수반 대칭 연산자를 정의한다.
• 핵심 식 (2.16)은 변분 도함수와 게이트옥 도함수의 수반 연산자를 통해 대칭과 수반 대칭을 연결한다.
• 진화방정식의 경우, 기능적 표현이 변분 도함수가 수반 대칭이면 보존된다는 것이 보장된다.
• 이 방법은 라플라스 쌍을 활용한다: 각 고유함수와 수반 고유함수에 대해, $ \rho_0 = P_1^T Q_2 $ 와 같은 곱을 통해 보존 밀도를 구성한다.
• 재귀 연산자 $ \Phi $ 의 거듭제곱을 통해 무한히 많은 보존 밀도를 생성할 수 있으며, 예를 들어 $ \rho_0 \Phi^i K_0 $ 와 $ \rho_0 \Phi^i \tau_0 $ 와 같은 형태로 표현된다.
• 이 프레임워크는 알려진 라플라스 쌍과 고유함수 해를 사용하여 열 방정식, 버거스 방정식, KdV 방정식 세 가지 고전 방정식에 대해 검증되었다.

실험 결과

연구 질문

• RQ1 일반적인 미분방정식계에 대해 라그랑지안 없이 보존법칙을 체계적으로 도출할 수 있는가?
• RQ2 보존법칙을 생성하는 데 있어 대칭과 수반 대칭 사이의 정확한 대수적 관계는 무엇인가?
• RQ3 진화방정식에 대해 대칭과 수반 대칭 쌍을 사용하여 보존 밀도를 명시적으로 계산할 수 있는가?
• RQ4 고전적 방정식인 KdV 방정식에 대해 알려진 것 이외의 새로운 보존 밀도가 존재하는가?
• RQ5 수반 대칭의 공간에 대해 일관된 교환자를 정의할 수 있으며, 이는 닫힘 성질을 유지하는가?

주요 결과

• 논문은 어떤 라그랑지안의 구조에 관계없이, 모든 미분방정식계에 대해 대칭과 수반 대칭의 쌍과 보존법칙 사이의 직접적인 대응관계를 확립한다.
• 열 방정식의 경우, 표준 보존 밀도 $ u $ 를 복원하며, 대칭-수반 대칭 쌍을 통한 새로운 보존 밀도를 생성한다.
• 버거스 방정식의 경우, 알려진 보존 밀도 $ u $ 를 생성하며, 동일한 대칭 기반의 구성법을 통해 추가 보존 밀도를 도출한다.
• KdV 방정식의 경우, 두 개의 새로운 보존 밀도를 도출한다: $ \rho_0 K_0 \sim u \sigma_0 $ 와 $ \rho_0 \tau_0 \sim \frac{3}{2}tu\sigma_0 + \rho_0 $ 로, 라플라스 쌍의 고유함수와 수반 고유함수로부터 유도된다.
• 이 구성은 재귀 연산자 $ \Phi $ 의 거듭제곱을 통해 무한히 많은 보존 밀도를 생성하며, 이는 보존법칙의 계층을 생성할 수 있음을 보여준다.
• 수반 대칭 공간에 대해 $ [[\rho_1, \rho_2]] = (\rho_1')^* \rho_2 - (\rho_2')^* \rho_1 $ 와 같이 교환자를 정의하려는 尝시도는 닫힘 성질을 유지하지 못한다. KdV 방정식의 예에서 $ x $ 가 수반 대칭이 아니라는 점이 입증된다.