다중값 함수와 변형체를 잇는 영 함수 이론

초록

본 논문은 변형체와 그 위에 정의된 다중값 함수를 모델링하기 위해 ‘영 함수’를 도입하고, 이들에 대한 그래프 측도와 수렴 개념을 정립한다. 주요 결과는 변형체와 영 함수 쌍의 그래프 측도의 약한 수렴을 통해 컴팩트니스 정리를 얻는 것이며, 이를 위해 새로운 시험함수 공간 E(Y)와 H(U×Y,ℝⁿ)을 구축한다.

상세 분석

이 연구는 기존의 Q‑값 함수 이론이 변형체 수렴 과정에서 나타나는 복합적인 다중값 현상을 충분히 포착하지 못한다는 점을 출발점으로 삼는다. 저자는 ‘영 함수’를 확률 라돈 측도의 값으로 갖는 μ‑측정가능 함수로 정의하고, 이를 통해 값이 확산되거나 점마다 다중값의 개수가 변하는 상황을 자연스럽게 기술한다. 영 함수와 연관된 그래프 측도 Y(μ,f)는 ∫ϕ(x,y) df(x)(y) dμ(x) 형태로 정의되며, 이는 전통적인 그래프 측도의 일반화이다. 변형체 V_i와 그 질량 측도 ∥V_i∥, 그리고 영 함수 f_i에 대해 Y(∥V_i∥,f_i)의 약한 수렴을 가정하면, 제한 변형체 V와 영 함수 f가 존재함을 보이는 컴팩트니스 정리(정리 3.29)를 증명한다. 이 정리는 변형체와 함수의 결합된 수렴을 하나의 측도 이론으로 통합함으로써, 기존의 변형체 수렴 이론에 함수적 정보를 자연스럽게 부가한다는 점에서 혁신적이다.

또한 저자는 시험함수 공간 E(Y)를 연속적으로 미분 가능한, 지원이 유한 반경에 제한된 함수들의 집합으로 정의하고, 이를 로컬 컨벡스 최종 위상으로 구성한다. 이 위상은 E(Y) 를 연속함수 공간 K(X,ℝ)에 동형 삽입함으로써, 측도와 함수 사이의 쌍대 관계를 명시한다. 특히, E(Y) 에 의해 정의된 의사거리 d는 확률 측도 P(Y) 위에 1‑와서스트라인 거리와 동등함을 보이며, 디랙 측도의 등거리 삽입을 가능하게 한다. 이러한 구조는 영 함수의 리프시츠 연속성을 정의하고, 미분 가능성 개념을 도입하기 위한 기반을 제공한다.

저자는 또한 H(U×Y,ℝⁿ)이라는 시험함수 공간을 도입해, 변형체 위의 영 함수에 대한 미분 연산을 그래프 측도와 결합할 수 있도록 설계한다. 이 공간 역시 로컬 컨벡스 위상 하에 연속함수와 동형 삽입되며, 변형체와 함수의 복합적 변화를 분석하는 데 필요한 시험함수 역할을 수행한다.

전체적으로 논문은 변형체와 다중값 함수를 하나의 측도‑함수 쌍으로 묶어, 약한 수렴과 컴팩트니스를 일반화하고, 이를 뒷받침할 함수공간 이론을 체계적으로 구축한다는 점에서 기능해석적 토대를 탄탄히 마련한다.