발산이 없는 흐름은 농도를 낮춘다

초록

본 논문은 유계 발산이 없는 벡터장 u가 존재할 때, 해당 벡터장이 포함된 부동‑확산 방정식의 해가 순수 확산(열 방정식) 해보다 “농도”가 낮아짐을 수학적으로 증명한다. 초기 데이터가 대칭 감소형이면, 해의 분산은 더 크게, 엔트로피는 더 크게, 모든 L^p 노름은 더 작게 된다. 반면 토러스 𝕋^d에서는 이러한 비교가 일반적으로 성립하지 않음도 보인다.

상세 분석

논문은 먼저 “농도”를 Lebesgue 측도에 대한 절대 연속성의 모듈러스 C_μ(α)=sup{μ(E):|E|=α} 로 정의하고, 두 측도 μ,ν 사이에 μ≼ν (μ가 ν보다 덜 농축)라는 전순서를 도입한다. 대칭 감소형(symmetric decreasing) 함수·측정은 구형 레벨 집합을 갖는 특수한 형태이며, 이러한 측정은 모듈러스 순서에서 최적의 상한을 제공한다는 사실을 이용한다.

주요 결과인 정리 1.7은 다음을 말한다. 발산이 없는 유계 벡터장 u와 초기 측정 μ,ν에 대해, ν가 대칭 감소형이고 μ≼ν이면, 모든 시간 t≥0에 대해 advection‑diffusion 연산자 P_u^t 가 적용된 μ가 열 연산자 e^{tΔ} 가 적용된 ν보다 덜 농축한다, 즉 P_u^t μ≼e^{tΔ} ν가 된다. 이는 레이즈 재배열(Riesz rearrangement) 부등식과 트롯터(Trotter) 공식에 기반한 비교 원리를 정밀하게 구현한 것이다.

정리 1.7의 직접적인 함의는 다음과 같다.

1. 모든 p∈