실축축소 함수의 차이함수는 전역 위상동형

초록

본 논문은 실수축소 함수들의 합 (F(\mathbf y,t)=J(t)+\sum_{j=1}^nK_j(t-y_j)) 에 대해, 각 구간에서의 최대값 차이 (\mathbf D(\mathbf y))가 정의역 (R)와 (\mathbb R^n) 사이의 연속·양쪽역 연속(홈오모르피즘)이며 국소적으로 양립리프시츠임을 증명한다. 핵심 가정은 커널 (K_j)가 단조·엄격히 오목하고 “일반화된 단조성”(GM)을 만족하며, 외부장 (J)가 적절히 발산하는 ‘admissible’ 조건이다. 결과는 최소극값의 유일성 및 등진동점 존재를 보장한다.

상세 분석

논문은 먼저 커널 (K_j)를 ((-\infty,0)\cup(0,\infty))에 정의된 ‘singular’ 함수로 설정한다. 각 (K_j)는 구간 ((-∞,0))와 ((0,∞))에서 각각 오목(concave)이며, 0에서 (-\infty) 혹은 유한값으로 발산한다. ‘일반화된 단조성(GM)’은 (\lim_{t\to-∞}K_j’(t)\le \lim_{t\to∞}K_j’(t)) 로, 이는 적절한 상수 (c)를 빼면 (K_j(t)-ct)가 전 구간에서 단조가 됨을 의미한다. 이 조건은 커널의 좌·우 미분값이 각각 유한하고, 좌측에서는 비증가, 우측에서는 비감소임을 보장한다.

외부장 (J)는 ‘admissible’ 조건 (\lim_{|t|\to∞}\bigl(J(t)+\sum_{j=1}^nK_j(t)\bigr)=-∞) 를 만족한다. 이는 (F(\mathbf y,t))가 양쪽 무한대로 갈 때 (-∞) 로 내려가므로, 각 (\mathbf y)에 대해 구간 ((-\infty,y_1],