전이 소음이 있는 초냉각 스테판 문제: 약해 해와 폭발 현상

초록

본 논문은 반직선 영역에서 전이 소음이 포함된 초냉각 스테판 문제를 두 가지 약해 형태로 정의한다. 첫 번째는 연속적인 해를 다루고, 두 번째는 온도와 동결 전선의 급격한 점프를 허용한다. 연속 해에 대해서는 조건부 McKean‑Vlasov 표현을 구축하고, 초기 온도가 임계값 이하인 경우 유한 시간 내 폭발(점프) 발생 확률이 양수임을 증명한다. 반면 초기 온도가 임계값 위에 있으면 해는 전역적으로 연속한다. 점프를 허용한 약해 해는 조건부 McKean‑Vlasov 문제의 전역 해와 일치하며, 최소 온도 상승을 보이는 해를 선택 기준으로 자연스러운 선택 원리를 제시한다.

상세 분석

이 연구는 기존 deterministic 초냉각 스테판 문제(1.1)를 확장하여, 열 전달에 브라운 운동에 의한 전이 소음(θ∂ₓv dWₜ)을 추가한 stochastic PDE(1.3)를 다룬다. 저자는 먼저 연속적인 약해 해의 정의(Def. 2.1)를 제시하고, 이를 만족하는 (v,s)쌍이 존재한다면 (2.4)–(2.5)의 형태로 표현되는 조건부 McKean‑Vlasov 시스템과 일대일 대응한다는 정리(Thm 2.2)를 증명한다. 여기서 Xᵧₜ는 독립적인 브라운 운동 B와 공통 노이즈 W를 결합한 확산 과정이며, τᵧ는 Xᵧₜ가 현재 동결 전선 s(t)와 만나면 정의되는 첫 도달 시각이다. 이 구조는 온도 분포 v(t,·)가 초기 분포 v₀에 대한 조건부 기대값으로 해석될 수 있음을 보여준다.

연속 해의 존재와 폭발 여부는 초기 온도 v₀가 임계값 λκ 이하인 지점의 존재 여부에 달려 있다. 저자는 v₀가 λκ보다 낮은 구간을 포함하면, 해당 구간의 입자들이 동결 전선에 도달하는 확률이 양수이므로 τᵧ가 유한 시간 내에 발생하고, 그 결과 s(t)와 v(t,·)가 급격히 변한다(점프). 이를 정량화하기 위해 (2.7)‑(2.8)에서 열 보존 법칙을 점프 시점에 적용하고, 온도와 전선 이동량 사이의 비율 1/(λκ)가 유지됨을 확인한다. 반대로 v₀가 전 구간에서 λκ보다 높다면, 모든 입자는 전선 뒤에 머무르므로 τᵧ가 무한히 커지고, 연속 해가 전역적으로 존재한다.

연속 해가 파괴되는 경우를 포괄하기 위해 저자는 càdlàg(우측 연속, 좌측 한계 존재) 약해 해(Def. 2.3)를 도입한다. 여기서는 점프 항을 (2.9)식에 명시적으로 추가하여, 온도와 전선의 급격한 변화를 정확히 보정한다. 이 정의는 기존 연속 약해 해를 포함하면서도, 점프가 발생할 때마다 열 보존식(2.2)과 일치하도록 설계되었다. 중요한 점은 이러한 càdlàg 해가 조건부 McKean‑Vlasov 시스템의 전역 해와 정확히 동일하다는 점이다. 즉, (v,s)는 (2.4)‑(2.5)를 만족하면 자동으로 (2.9)를 만족한다는 것이 증명된다.

마지막으로 저자는 “최소 온도 증가 해”를 정의한다. 이는 모든 가능한 càdlàg 해 중에서 ∫₀ᵗ∫_{s(r)}^{∞}v(r,x)dx dr가 최소가 되는 해이며, 이는 물리적으로 가장 “경제적인” 동결 과정을 의미한다. 이 해는 점프 발생 시점과 크기가 외부 미세 열 전달(ε→0)과의 상호작용을 통해 자연스럽게 선택된다. 따라서 선택 원리는 “가능한 불안정성을 최소화하는” 원칙으로 해석될 수 있다. 전체적으로 이 논문은 확률적 전이 소음이 포함된 초냉각 스테판 문제에 대한 새로운 해석 프레임워크를 제공하고, 폭발 현상의 확률적 메커니즘과 전역 해의 존재 조건을 명확히 규정한다.