원형·구형 코퓰라의 존재와 특성

초록

본 논문은 단위 원판(2차원)과 단위 구(다차원) 위에 정의된 원형·구형 대칭 분포가 각 1차원 주변분포를 균등하게 만드는 코퓰라가 존재하는지를 탐구한다. 결과적으로 차원 d=2와 d=3에서는 유일한 코퓰라가 존재함을 증명하고, d≥4에서는 그러한 코퓰라가 존재하지 않음을 보인다. 또한 2차원 경우에는 원형 코퓰라를 회전·비틀어 얻는 타원형 2변량 코퓰라의 1-파라미터 가족을 제시하고, 단위 구의 균등분포를 비선형 변환한 새로운 코퓰라들을 제시한다.

상세 분석

논문은 먼저 “코퓰라”라는 개념을 다변량 연속 확률분포의 주변분포가 모두 동일한 균등분포인 경우로 정의한다. 원형(2차원) 혹은 구형(d차원) 대칭성을 가정하면, 밀도 함수는 반경 r=‖x‖에만 의존하는 형태 f(r)로 기술될 수 있다. 이때 주변분포가 균등하려면, 각 좌표 X_i의 누적분포함수가 F_{X_i}(x)= (x+1)/2 (−1≤x≤1)를 만족해야 하며, 이는 곧 f(r)와 구면면적(또는 원주 길이) 사이의 적분 관계를 강제한다.

2차원에서는 원형 대칭 밀도 f(r)=c·(1−r^2)^{-1/2} (0≤r≤1) 형태가 유일하게 조건을 만족함을 보인다. 여기서 상수 c는 정규화 조건 ∫_{0}^{1} f(r)·2πr dr =1 에 의해 결정된다. 이 밀도는 원판 내부에서 무한히 큰 값으로 발산하지만, 적분값은 유한하여 확률밀도로 허용된다. 따라서 원형 코퓰라는 존재하고 유일함을 확인한다.

3차원에서는 구면 대칭 밀도 f(r)=c·(1−r^2)^{-1} (0≤r≤1) 가 동일한 방식으로 도출된다. 정규화 상수는 ∫_{0}^{1} f(r)·4πr^2 dr =1 로부터 얻어지며, 역시 유일한 해가 존재한다. 따라서 구형 코퓰라도 d=3에서 존재한다.

그러나 차원이 4 이상으로 올라가면, 구면 대칭 밀도 f(r)은 (1−r^2)^{-(d-1)/2} 형태가 되지만, 이 함수를 정규화하려면 ∫_{0}^{1} (1−r^2)^{-(d-1)/2} r^{d-1} dr 가 수렴해야 한다. d≥4에서는 적분이 발산하여 정규화가 불가능함을 보인다. 따라서 d≥4에서는 원형·구형 코퓰라가 존재하지 않는다.

2차원 경우에 한해, 원형 코퓰라를 선형 변환(회전 및 비틀기)으로 변형하면 타원형 코퓰라의 1-파라미터 가족을 얻는다. 구체적으로, 변환 행렬 A(θ)=R(θ)·diag(1,ρ)·R(−θ) (0≤ρ<1, θ∈