거친 미분 방정식 고정점과 흐름 접근법의 대수적 조건 비교

논문은 크게 네 부분으로 구성된다. 첫 번째 장에서는 거친 미분 방정식(RDE)의 해석적 배경과 Banach 고정점 이론, Bailleul 흐름 접근법의 기본 개념을 정리한다. 여기서는 두 방법 모두 ‘거친 경로’를 Hopf 대수의 원소로 모델링하고, 이 대수의 코프로덕트가 시간 구간의 분할에 대해 일관된 연산을 제공해야 함을 강조한다. 두 번째 장에서는 코사이클 조건의 정확한 정의와 그 필요성을 증명한다. 코사이클은 코프로덕트 Δ가 Δ(x) = x⊗1 + 1⊗x + Σ c_i ⊗ d_i 형태로 전개될 때, Σ c_i ⊗ d_i가 시간 구간의 합성에 대해 ‘보정’ 역할을 하여 연쇄법칙을 만족하도록 만든다. 이 조건이 없으면 고정점 매핑이 비선형 연산자를 구성하지 못하고, 수축성(contraction) 증명이 무너지게 된다. 세 번째 장에서는 두 종류의 Hopf 대수, 즉 트리 기반 Hopf 대수와 다중 지수 Hopf 대수를 각각 상세히 기술한다. 트리 기반 대수는 각 트리를 원소로 하고, 코프로덕트는 ‘가지치기’ 연산을 통해 자연스럽게 코사이클을 생성한다. 이는 Butcher 대수와 Connes‑Kreimer 대수에서 잘 알려진 구조이며, 기존의 RDE 고정점 논증에 널리 활용되어 왔다. 반면, 다중 지수 대수는 인덱스 α∈ℕ^d 로 표시되는 원소들로 구성되고, 코프로덕트는 Δ(e_α)=∑_{β+γ=α} e_β⊗e_γ 로 정의된다. 저자는 이 정의를 바탕으로 구체적인 예시(예: α=(2,0,…,0))를 들어, 두 구간