Lyapunov 함수로 풀어낸 1차원 비선형 쌍곡선 시스템의 주기해 존재성

초록

본 논문은 1차원 1계 비선형 쌍곡선 시스템에 대해 Lyapunov 함수를 이용해 소규모 고전적 시간주기해의 존재와 유일성을 증명한다. 비국소적 경계조건(반사, 지연 적분 연산자 등)을 포함하고, 선형화된 문제의 강건한 지수안정성을 먼저 확보한 뒤, 비동차 선형 문제의 주기해 존재를 보이고, 마지막으로 작은 비선형 교란에 대해 해가 지속됨을 보인다.

상세 분석

논문은 먼저 (1) ∂ₜu+A(x,t,u)∂ₓu=F(x,t,u) 형태의 1차 비선형 쌍곡선 시스템을 정의하고, A가 대각행렬이며 양·음 특성속도가 교차하지 않도록 (2) A₁>⋯>A_m>0>A_{m+1}>⋯>A_n을 가정한다. 경계조건(3)은 좌·우 끝점에서 각각 선형 연산자 R_j와 비선형 연산자 H_j, 그리고 시간‑지연 연산자 Q_j를 포함하는 일반적인 비국소 형태이다.

핵심 아이디어는 Lyapunov 함수 기반의 ‘강건 지수안정성(robust exponential stability)’을 선형화된 동질 문제(7)–(8)에서 확보하는 것이다. 이를 위해 저자는 특성곡선을 따라 정의된 가중함수 c_{ij}, d_{ij}와 연산자 G_i(i=0,1,2)를 도입하고, 연산자 노름 ‖G_i‖<1이라는 비공명(소분모) 조건(17)을 제시한다. 이 조건은 특성곡선이 경계와 교차하는 횟수와 반사 계수 r_{jk}가 충분히 작아야 함을 의미한다.

정리 2.2에서는 위 조건이 만족될 때 L²‑norm에 대해 ‖u(t)‖≤Me^{-α(t-s)}‖ϕ‖가 성립함을 보이며, 이는 작은 계수 변동(‖ã−a‖,‖b̃−b‖≤γ)에도 동일한 감쇠율이 유지되는 ‘강건’성을 의미한다. 이러한 안정성은 비동차 선형 문제(18)–(19)의 해가 주기함수 공간 C_{per}¹에 존재하고, ‖u*‖{C¹}≤L₁(‖f‖{C¹_t}+‖h‖_{C¹})라는 a priori 추정식을 얻는 데 필수적이다.

다음 단계에서는 비선형 항 H_j와 F_j를 작은 파라미터 ε에 의해 제한하고, 고차 미분가능성(‖∂²H_j‖≤ε 등)을 가정한다. 이때 고전적 해 u*∈C_{per}²가 존재하고, ‖u*‖_{C²}≤δ가 되는 작은 구역을 확보한다(정리 1.4). 핵심은 선형 단계에서 확보한 강건 지수안정성과 비공명 조건이 비선형 교란에 대해 연속적으로 전달된다는 점이다.

또한 저자는 기존 문헌(스펙트럼 기준, resolvent 기준, Lyapunov 접근 등)과 비교해, 비국소 경계조건과 지연 연산자를 포함한 일반적인 설정에서도 적용 가능한 충분조건을 제시한다는 점에서 차별성을 갖는다. 특히, 강건 안정성 없이는 작은 교란에 대한 지속성을 보장하기 어려운 ‘정규성 손실(loss of regularity)’ 문제를 회피한다.

결과적으로, 본 연구는 1차원 비선형 쌍곡선 시스템에 대해 Lyapunov 기반의 체계적인 4단계(선형 안정성 → 비동차 선형 주기해 → 교란 정리 → 비선형 주기해) 접근법을 제시함으로써, 비국소·지연 경계조건을 포함한 넓은 클래스의 PDE에 대한 주기해 존재와 유일성을 엄밀히 증명한다.