ML(X) 위의 균일 순서 수렴 구조와 비선형 PDE 해법

본 논문은 비선형 편미분 방정식(PDE)의 일반적인 존재·정규성 이론이 부족함을 지적하고, 이를 보완하기 위한 새로운 함수 공간과 수렴 구조를 제시한다. 먼저, 정상 하한 연속 함수(normal lower semicontinuous function)의 개념을 도입하고, 이를 기반으로 ML(X) 라는 공간을 정의한다. ML(X) 는 기존의 C_nd(X) (폐밀도 없는 집합을 제외하고 연속인 함수들의 동치류)와 동형이며, 각 원소가 실제 점값을 갖는 점에서 기존의 동치류 기반 접근법보다 구체적이다. 논문은 Order Completion Method의 핵심 아이디어를 재검토한다. 이 방법은 PDE T(x,D)u = f 에 대해 함수 공간 M_m(Ω) (부분적으로 m차까지 미분가능한 함수들의 동치류)와 M_0(Ω) (연속 함수들의 동치류) 사이에 정의된 연산자 T 를 이용해 Dedekind 완비화 M_m^T(Ω)♯ 와 M_0(Ω)♯ 를 구성한다. 그러나 이 과정에서 비선형 연산자 T 가 완비화된 공간에 연속적으로 확장되지 않을 수 있다는 문제와, M_m^T(Ω) 가 선형 공간이 아니어서 기존의 벡터 공간 완비화 이론을 적용하기 어렵다는 한계가 있다. 이를 해결하기 위해 저자는 순서 수렴 구조와 균일 수렴 구조를 결합한 새로운 접근법을 제시한다. 먼저, 순서 수렴 구조 λ₀ 를 정의하고, 이는 σ‑분배 격자 X (특히 Archimedean 벡터 격자)에서 순서 수렴 열을 정확히 포착한다. 이후, 정의 6과 정리 7을 통해 ML(X) 위에 균일 수렴 구조 J₀ 를 구축한다. J₀ 는 필터족을 이용해 두 함수 사이의 “거리”를 순서 구간의 감소열로 측정하며, (24)와 (25) 조건을 만족함으로써 균일 수렴 구조의 네 공리를 충족한다. 중요한 점은 J₀ 가 오직 ML(X) 의 순서와 기저 위상 τ 에만 의존한다는 것으로, 전통적인 함수 공간에서 요구되는 값공간 Y 에 대한 별도 균일 구조가 필요 없다는 점이다. 이러한 구조를 바탕으로 ML(X) 는 Hausdorff, regular, first‑countable한 순서 수렴 공간이 되고, 그 완비화는 ML(X) 그 자체가 된다. 즉, 정상 하한 연속 함수들의 전체 집합이 Dedekind 완비화와 동일시된다. 논문의 마지막 부분에서는 이 이론을 실제 비선형 PDE에 적용한다. 특히 3차원 Navier‑Stokes 방정식에 초기 조건을 부여한 문제에 대해, 위에서 구축한 ML(X) 의 균일 순서 수렴 구조를 이용해 일반화 해를 정의한다. 이 해는 기존의 해석적 방법이 요구하는 높은 정규성(예: C², Sobolev 공간) 없이도 존재와 유일성을 보장한다. 또한, Order Completion Method와 결합하여 “모든 하위·상위·정확 해”를 포함하는 초극한 해를 제공함으로써, 비선형 PDE 이론에 새로운 해석적·위상적 도구를 제공한다. 결론적으로, 논문은 정상 하한 연속 함수들의 공간 ML(X) 에 균일 순서 수렴 구조를 도입함으로써, 기존 Order Completion Method의 한계를 극복하고, 비선형 PDE, 특히 Navier‑Stokes 방정식에 대한 일반화 해를 체계적으로 구축하는 새로운 프레임워크를 제시한다.