이산 변분법과 이차 라그랑지안의 수렴성 분석

초록

본 논문은 이차형 라그랑지안을 대상으로 연속형과 이산형 오일러‑라그랑주 방정식을 유도하고, 이를 행렬 기반의 재귀식으로 풀어낸다. 시간에 독립적인 라그랑지안에 대해 비공명·진동 조건을 가정하면 유일한 의사주기해가 존재함을 보이며, ε→0 한계에서 이산 해가 연속 해로 수렴하는 조건을 탐구한다. 특히 조화진동자 사례에서 무조건적인 수렴이 성립하지 않음을 실험적으로 확인한다.

상세 분석

논문은 먼저 기존의 연속 변분 원리를 비미분 가능한 궤도에 적용하기 위해 2N+1 항 스케일 미분 연산자 ∇ε 을 정의하고, 이를 라그랑지안 L(x, ∇ε x) 에 삽입함으로써 이산 오일러‑라그랑주 방정식(D.E.L.)을 (1.2) 형태로 도출한다. L은 복소수 계수를 갖는 이차형 다항식으로, L(x, ẋ)와 L(x, ∇ε x) 모두 동일한 구조를 유지한다는 점이 핵심이다.

연속 방정식(C.E.L.)은 전형적인 2차 선형 미분 방정식(2.3)이며, D.E.L.은 (2.4)에서 보듯 2N+1 단계의 지연·전진 차분을 포함하는 선형 차분 방정식이다. 저자들은 이를 “지연 함수 방정식”이라 부르고, 차분 연산자를 행렬 형태로 재구성한다. 특히 N=1인 경우, (3.6)‑(3.7)에 제시된 4d×4d 블록 컴패니언 행렬 Aₙ과 상수벡터 bₙ을 통해 vₙ₊₁ = Aₙ vₙ + bₙ 형태의 선형 재귀식을 얻는다. 이 행렬은 Bᵢ,ₙ 블록을 통해 P, Q, J₁, J₂, J₃의 계수를 선형 결합한 형태이며, 라그랑지안이 시간에 독립적이면 Bᵢ,ₙ은 상수 행렬의 선형 결합으로 단순화된다.

존재·유일성 분석에서는 “안전 구간”(3.3)을 정의하고, 그 안에서 모든 특성함수가 1이 되므로 Aₙ이 고정된 블록 구조를 갖는다. Theorem 3.1은 격점에 경계값이 포함되는 경우와 포함되지 않는 경우를 구분하여, 해의 존재 여부가 행렬식 det(A_M‑1…A₁)≠0 여부와 동치임을 증명한다. 이는 전통적인 ‘슈팅 방법’과 동일한 조건이며, 차분 스킴이 비특이적일 때만 해가 유일하게 결정된다.

스펙트럼 분석(Proposition 3.2)은 Aₙ의 고유값이 다항식 det(∑_{i=1}^{4N} Bᵢ,ₙ λ^{4N‑i} – λ^{4N} I_d)=0 의 근과 일치함을 보인다. 따라서 차분 시스템의 동적 특성(안정성, 진동성)은 Bᵢ,ₙ이 정의하는 다항식의 근위치에 의해 좌우된다.

연속 방정식의 의사주기해 존재 조건은 (4.1)에서 제시된 두 복소 행렬 Ω₁, Ω₂가 PΩ₂+2iJ₁Ω+Q=0을 만족하고, exp(i(b‑a)Ω₂)–exp(i(b‑a)Ω₁) 가 가역적일 때 보장된다. 이때 해는 exp(i(t‑a)Ω₁)·z₁ + exp(i(t‑a)Ω₂)·z₂ 형태이며, Ω₁, Ω₂ 가 실수 고유값을 가질 경우 실제 코사인·사인 조합으로 표현되는 의사주기해가 된다. 비공명 조건은 det