불변 감소와 보존법칙을 이용한 2변수 편미분방정식의 상수 운동량 계산

초록

본 논문은 확장 코발레프스키 형태를 갖는 2독립변수 PDE 시스템에 대해, 국소 대칭(점·접촉·고차)과 대칭 불변 보존법칙을 결합한 알고리즘을 제시한다. 이를 통해 대칭 불변 해에 대해 상수 운동량을 체계적으로 도출하고, 버거스, KdV, 카우프‑보수니악스 등 여러 예제로 검증한다. Maple 구현 코드도 제공한다.

상세 분석

논문은 먼저 ℓ‑정규(ℓ‑normal) 시스템이라는 개념을 도입한다. ℓ‑정규이면 비자명 보존법칙은 고유한 코시대칭(cosymmetry)과 일대일 대응한다는 점을 이용해 보존법칙을 효율적으로 찾을 수 있다. 확장 코발레프스키 형태는 모든 진화형 PDE를 1차 시간 미분 형태로 변환할 수 있음을 보이며, 이는 알고리즘 적용의 전제 조건이 된다.
핵심 정리는 “대칭 Eϕ가 주어지고, 1‑형식 ω가 대칭 불변 보존법칙을 나타낼 때, L_{Eϕ}ω와 dθ가 동일한 제한을 갖는 함수 θ가 존재한다”는 내용이다. 여기서 L_{Eϕ}는 리벳 미분이며, θ는 대칭 불변 해에 대해 상수 운동량이 된다. 즉, 대칭에 의해 사라지는 진화 벡터 필드가 보존법칙의 형태를 변형시키지만, 그 변형은 정확히 전미분 dθ와 일치한다는 점을 이용한다.
알고리즘은 다음 단계로 구성된다. (1) 시스템을 확장 코발레프스키 형태로 정규화하고, 전체 미분 연산자 D_t, D_x를 정의한다. (2) 관심 대칭을 진화형으로 표현하고, 그 특성 ϕ_i 를 구한다. (3) 보존법칙의 1‑형식 ω를 선택하고, L_{Eϕ}ω를 계산한다. (4) ω와 L_{Eϕ}ω 사이의 차이가 전미분 형태 dθ임을 확인하고, θ를 적분한다. (5) θ는 대칭 불변 해에 대해 상수이므로, 이를 상수 운동량으로 활용한다.
특히 고차 대칭(예: 무한 차수 미분을 포함하는 대칭)에도 흐름이 존재하지 않음에도 불구하고 위 절차가 그대로 적용될 수 있음을 강조한다. 이는 기존의 좌표 변환 기반 감소 기법이 고차 대칭에 적용 불가능한 점을 보완한다.
구현 측면에서는 Maple의 DifferentialGeometry와 JetCalculus 패키지를 이용해 자동화했으며, 코드가 부록에 제시된다. 예제로 제시된 버거스 방정식에서는 시간·공간 스케일링 대칭과 질량 보존법칙을 결합해 θ = ∫ u dx 형태의 상수를 얻는다. KdV와 카우프‑보수니악스 시스템에서도 동일한 절차를 적용해 에너지, 운동량, 질량 등 물리적으로 의미 있는 상수들을 도출한다.
결과적으로 이 방법은 (i) 대칭과 보존법칙을 동시에 활용해 해의 구조를 깊이 파악하고, (ii) 상수 운동량을 통해 해의 전역적 정성 분석(예: 발산 여부, 유계성) 가능하게 하며, (iii) 전산적 구현이 용이해 다양한 비선형 PDE에 적용할 수 있다는 장점을 제공한다.