비자율 시스템의 전진 끌개와 추후 자율 차프인판테 방정식

초록

본 논문은 비자율 동역학계에서 풀백 끌개가 전진 끌개가 되기 위한 일반적인 충분조건을 제시하고, 이를 비자율-추후 자율 형태의 차프인판테 방정식에 적용한다. 또한 일반적인 상미분·편미분 포함 방정식에도 동일한 결과를 확장한다.

상세 분석

논문은 먼저 비자율 동역학계의 풀백 끌개와 전진 끌개의 정의를 정밀히 구분한다. 풀백 끌개는 초기시간이 과거 무한대로 갈 때 해가 수렴하는 집합이며, 전진 끌개는 고정된 초기시간에서 시간이 무한대로 진행될 때 해가 따라가는 시간 의존 집합이다. 일반적인 소산성·콤팩트성 가정만으로는 전진 끌개의 존재를 보장할 수 없다는 점을 강조하고, 이를 보완하기 위한 새로운 조건을 도입한다. 핵심 아이디어는 풀백 끌개의 ω₀‑limit 집합(시간 무한대에서의 점근적 하한)과 전진 ω‑limit 집합 사이의 포함 관계를 이용하는 것이다. 구체적으로, 모든 유계 집합 B와 임의의 초기시간 t₀에 대해 전진 ω‑limit 집합 ω_f(B,t₀)이 풀백 끌개의 ω₀‑limit 집합 ω₀(A)에 포함되면 A는 전진 끌개가 된다. 이는 전진 비자율 콤팩트성(forward asymptotic compactness) 가정 하에서 증명된다.

다음으로 비자율 시스템이 “추후 자율(asymptotically autonomous)”인 경우를 다룬다. 여기서는 시간 t→∞일 때 비자율 연산자가 일정한 자율 반동 S(t,·)에 수렴한다는 가정을 두고, 풀백 끌개 A(t)가 자율 시스템의 전역 끌개 A_∞에 연속적으로 수렴하면 ω₀(A)=A_∞가 된다. 따라서 위의 포함 조건이 자동으로 만족되어 풀백 끌개가 전진 끌개가 된다.

이론적 결과는 세 가지 구체적 모델에 적용된다. 첫 번째는 비자율 차프인판테 방정식으로, λ∈(1,4) 구간과 b(t)→b(∞)∈