1차원 압축성 Navier Stokes 약해해의 데이터 의존성 및 동질화 오차 추정

초록

본 논문은 1차원 압축성 Navier‑Stokes 방정식의 전역 약해해에 대해 초기 데이터와 자유항에 대한 Lipschitz 연속 의존성을 새로운 함수공간에서 증명하고, 급격히 진동하는 초기 데이터·자유항에 대해 두 스케일 동질화 해와의 차이를 O(ε) 로 평가한다. 또한 강한 노름에서 O(ε^{1/2})·O(ε^{1/4}) 수준의 추가 추정도 제공한다.

상세 분석

논문은 먼저 기존 연구에서 다루어진 강한 Sobolev 공간 H^1 기반의 전역 강해 해와 달리, Lebesgue 공간 L^2와 H^{-1} 조합으로 정의된 초기 데이터 공간을 선택한다. 구체적으로 η^0∈L^2(Ω), u^0∈H^{-1}(Ω), e^0∈H^{-1}(Ω) 로 두고, 자유항(질량·운동·에너지 방정식의 외력) 역시 dual 공간에서 적절히 제한한다. 이러한 설정은 급격히 변하는(불연속) 초기값을 허용하면서도, 해의 시간-공간 정규성을 L^{2,∞}(Q)×L^2(Q)×L^2(Q)보다 약간 강한 노름으로 제어한다는 점에서 의미가 크다.

핵심 정리는 5단계 길이 추정법을 통해, 두 해(η,u,θ)와 (˜η,˜u,˜θ) 사이의 차이를 ‖η−˜η‖{L^{2,∞}}+‖u−˜u‖{L^2}+‖θ−˜θ‖{L^2} ≤C·(‖η^0−˜η^0‖{L^2}+‖u^0−˜u^0‖{H^{-1}}+‖e^0−˜e^0‖{H^{-1}}+‖f−˜f‖{dual}+‖g−˜g‖{dual}) 와 같이 Lipschitz 형태로 얻는다. 여기서 C는 초기 데이터와 자유항의 L^∞·H^1·시간 구간 길이에만 의존하는 상수이며, 경계조건(Dirichlet, Neumann, Robin)별로 통일된 형태로 증명된다. 증명 과정에서 제시된 선형 1차원 parabolic IBVP에 대한 새로운 a priori 추정(정리 1·2)과 Gronwall‑Bellman 변형이 핵심 도구로 활용된다.

동질화 부분에서는 초기 데이터와 자유항이 ε‑주기 함수로 급변한다고 가정한다. 두 스케일 전개(미세 변수 y=x/ε와 거시 변수 x)를 적용해 Bakhvalov‑Eglit 형태의 평균 방정식을 도출하고, 앞서 증명된 Lipschitz 연속성 결과를 ε‑스케일의 차이에 적용한다. 결과적으로 ‖(η_ε,u_ε,θ_ε)−(η̄,ū,θ̄)‖_{L^{2,∞}×L^2×L^2}=O(ε) 를 얻으며, 더 강한 노름 C(0,T;L^2)와 L^∞(Q)에서는 각각 O(ε^{1/2})와 O(ε^{1/4})의 수렴률을 확보한다. 이러한 오차 추정은 기존 바코드(Barenblatt)형 동질화 결과보다 정밀하며, 특히 비선형 열전달 항과 외력 항이 포함된 경우에도 적용 가능함을 보여준다.

전체적으로 논문은 약해해의 존재·유일성 결과에 새로운 연속 의존성 정리를 부가함으로써, 수치 해석·최적 제어·다중 스케일 모델링 등에서 초기·경계 데이터의 작은 변동이 해에 미치는 영향을 정량적으로 평가할 수 있는 이론적 기반을 제공한다.