[논문 리뷰] Modulus of supporting convexity and supporting smoothness

Grigory Ivanov|arXiv (Cornell University)|2015. 03. 31.

Advanced Banach Space Theory참고 문헌 2인용 수 3

한 줄 요약

이 논문은 바나흐 공간의 단위원이 임의의 접선 초평면에서 얼마나 벗어나 있는지를 수량화하기 위해 지지 볼록성과 지지 미끄럼 모듈러스를 도입한다. 지지 볼록성 모듈러스가 영점에서 고전적 볼록성 모듈러스와 등가임을 증명하고, 지지 미끄럼 모듈러스가 영점에서 미끄럼 모듈러스와 바나아스 모듈러스와 등가임을 보이며, 이러한 새로운 모듈러스에 대해 데이-노르단더 유형의 결과를 증명한다.

ABSTRACT

We introduce the moduli of the supporting convexity and the supporting smoothness of a Banach space, which characterize the deviation of the unit sphere from an arbitrary supporting hyperplane. We show that the modulus of supporting smoothness, the Bana{ś} modulus, and the modulus of smoothness are all equivalent at zero, the modulus of supporting convexity is equivalent at zero to the modulus of convexity. We prove a Day--Nordlander type result for these moduli.

연구 동기 및 목표

• 바나흐 공간에서 단위원이 임의의 접선 초평면에서 얼마나 벗어나 있는지를 특징짓는 새로운 기하 모듈러스인 지지 볼록성과 지지 미끄럼을 정의하고 분석한다.
• 지지 볼록성 모듈러스가 영점에서 고전적 볼록성 모듈러스와 등가임을 증명하고, 지지 미끄럼 모듈러스가 영점에서 미끄럼 모듈러스와 바나아스 모듈러스와 등가임을 증명한다.
• 지지 미끄럼 모듈러스에 대해 데이-노르단더 유형 추정을 증명하며, 이를 초평면 위의 거리 사영의 리프시츠 상수와 연결한다.
• 특히 힐버트 공간에서 볼록성 모듈러스의 역함수를 사용하여 지지 미끄럼 모듈러스에 대한 정밀 추정을 제공한다.

제안 방법

• 경계점에서의 단위원의 기하학적 성질과 접선 초평면을 기반으로 지지 볼록성 모듈러스와 지지 미끄럼 모듈러스를 정의한다.
• 비르호프-제임스 수직과 준수직을 활용하여 벡터 구성과 노름, 지지 함수형식 간의 부등식을 분석한다.
• 등가성 비교의 기준점으로 고전적 볼록성 모듈러스 $\delta_X(\varepsilon)$와 미끄럼 모듈러스 $\rho_X(\tau)$를 사용한다.
• 교차하는 현과 중심 대칭을 활용한 기하적 추론을 통해 지지 미끄럼 모듈러스의 하한을 유도한다.
• 볼록성 모듈러스의 역함수 $\delta_X^{-1}$를 활용하여 지지 미끄럼 모듈러스와 볼록성 모듈러스를 연결하며, 특히 힐버트 공간의 경우에 초점을 맞춘다.
• 영점에서의 등가성은 함수 비율이 영점 근처에서 양수 상수로 유계임을 의미하는 점근적 비교 $f(t) \asymp g(t)$를 통해 증명한다.

실험 결과

연구 질문

• RQ1 바나흐 공간에서 단위원이 임의의 접선 초평면에서 얼마나 벗어나 있는지를 어떻게 수량화할 수 있는가?
• RQ2 지지 볼록성과 지지 미끄럼의 새로운 모듈러스가 영점에서 고전적 볼록성 및 미끄럼 모듈러스와 등가인가?
• RQ3 지지 미끄럼 모듈러스에 대해 거리 사영의 리프시츠 상수를 포함한 데이-노르단더 유형 부등식을 유도할 수 있는가?
• RQ4 지지 미끄럼 모듈러스에 대한 정밀 추정은 볼록성 모듈러스의 역함수를 통해 어떻게 유도되는가?
• RQ5 지지 미끄럼 모듈러스의 상한에서 등호가 성립하는 경우가 $p \in (1, \infty)$인 $L_p$ 공간에서 발생하는가?

주요 결과

• 지지 볼록성 모듈러스는 영점에서 고전적 볼록성 모듈러스 $\delta_X(\varepsilon)$와 등가이며, $\text{supp}_X(\varepsilon) \asymp \delta_X(\varepsilon)$로 표현되며 $\varepsilon \to 0$일 때 성립한다.
• 지지 미끄럼 모듈러스 $\lambda_X^+(r)$는 $1 - \frac{1}{2}\delta_X^{-1}(1 - \frac{r}{2}) \leq \lambda_X^+(r)$를 만족하며, 힐버트 공간에서 등호에 수렴한다.
• 지지 미끄럼 모듈러스는 영점에서 미끄럼 모듈러스 $\rho_X(\tau)$와 바나아스 모듈러스와 등가이며, $\lambda_X^+(r) \asymp \rho_X(r) \asymp \text{Ban}_X(r)$로 표현되며 $r \to 0$일 때 성립한다.
• 데이-노르단더 유형 추정이 증명되었으며, $\lambda_X^+(r) \geq \lambda_X^-(r) \geq \lambda_X^-(1) \cdot \delta_X^{-1}(1 - \frac{r}{\xi_X})$로 표현되며, $\xi_X$는 지지 함수형식의 노름이다.
• 힐버트 공간에서는 상한 $\lambda_X^+(r) \leq \delta_X(2r)$가 달성되어 추정의 정밀성이 확인된다.
• 추측으로 제기된 lin: $L_p$ 공간에서 $p \in (1, \infty)$일 때, 추정식 $\lambda_X^+(r) \leq \lambda_X^-(1) \cdot \delta_X^{-1}(1 - \frac{r}{\xi_X})$의 상한이 등호로 성립한다.