클래식·프리 컨볼루션 비교와 네 번째 미분 조건의 완전한 해석

초록

본 논문은 컴팩트하게 지지된 확률측도 μ, ν에 대해, 함수 f의 네 번째 미분이 비음이면 클래식 컨볼루션 μ * ν에 대한 기대값이 자유 컨볼루션 μ ⊞ ν의 기대값보다 크거나 같음을 증명한다. 이 비교는 R²에 정의된 양의 측도 em_{μ,ν} (‘컨볼루션 비교 측도’)의 존재와 동등하며, 이 측도는 특수한 Hermitian 행렬식 아이덴티티를 통해 구체적으로 표현된다. 또한 네 번째 미분 조건이 필요함을 보이며, 짝다항식에 대한 적용과 고차 모멘트 순서 관계도 도출한다.

상세 분석

논문은 먼저 클래식 컨볼루션 μν와 자유 컨볼루션 μ⊞ν 사이의 기대값 비교를 함수 공간 C⁴(ℝ) 위에서 다룬다. 핵심은 “f⁽⁴⁾(x) ≥ 0 ∀x”라는 조건이 충분하고 필요함을 보이는 정리 1.3이다. 이 조건은 네 번째 미분이 비음인 함수가 볼록함수의 2차 미분까지 일반화된 형태임을 이용한다. 증명은 차이를 선형 함수(al) → f⁽⁴⁾에 대한 작용으로 보는 선형 함수(al) ↦ ∫f d(μν) − ∫f d(μ⊞ν) 를 정의하고, 이를 R² 위의 양의 측도 em_{μ,ν} 에 대한 적분으로 전환한다.

정리 1.4는 이러한 측도 em_{μ,ν} 의 존재와 구체적 표현을 제시한다. 측도는 Conv(supp μ) × Conv(supp ν) 위에 절대연속이며, 임의의 실수 a,b≠0와 f∈C⁴에 대해
 ∬ f⁽⁴⁾(ax+by) d em_{μ,ν}(x,y) = (1/a²b²)