[논문 리뷰] Local Convexity Properties of j-metric Balls

Riku Klén|ArXiv.org|2007. 10. 12.

Analytic and geometric function theory인용 수 5

한 줄 요약

이 논문은 $\mathbb{R}^n$ 의 부분도메인에서 $j$-거리 구의 국소적 볼록성 성질을 조사하며, 반지름 $M \leq \log 2$ 인 $j$-구는 볼록하고, $M \leq \log(1+\sqrt{2})$ 인 경우 중심에 대해 엄밀히 스타형임을 입증한다. 이러한 결과는 $j$-거리의 기하학적 분석과 임의의 쿼드라틱 하이퍼볼릭 거리와의 관계를 통해 도출된다.

ABSTRACT

This paper deals with local convexity properties of the j-metric. We consider convexity and starlikeness of the j-metric balls in convex, starlike and general subdomains of R^n.

연구 동기 및 목표

• 일반 도메인, 볼록 도메인, 스타형 도메인에서 $\mathbb{R}^n$ 의 $j$-거리 구의 국소적 볼록성 성질을 조사하는 것.
• M. Vuorinen의 개방 문제인, 특히 $j$-거리에 대해 작은 반지름의 구가 거리 공간에서 볼록성을 가지는지 여부를 다루는 것.
• $j$-거리의 상한과 유클리드 거리 및 쿼드라틱 하이퍼볼릭 거리와의 관계를 이용해 $j$-구의 기하학적 구조를 특성화하는 것.
• 특히 볼록 도메인과 스타형 도메인에서 $j$-구가 볼록하거나 스타형이 되는 조건을 설정하는 것.
• 비볼록 도메인에서 $j$-구가 연결되지 않거나 단순연결되지 않을 수 있음을 보여 주어 위상적 제약 조건을 부각시키는 것.

제안 방법

• $j$-거리의 정의를 사용: $j_G(x,y) = \log\left(1 + \frac{|x-y|}{\min\{d(x),d(y)\}}\right)$, 여기서 $d(x)$ 는 $x$ 를 $\partial G$ 까지의 유클리드 거리이다.
• 제2.2조의 유클리드 상한을 적용: $B^n(x, (1-e^{-M})d(x)) \subset B_j(x,M) \subset B^n(x, (e^M - 1)d(x))$.
• 쿼드라틱 하이퍼볼릭 거리와의 비교를 위해 부등식 $j_G(x,y) \leq k_G(x,y)$ 를 사용하고, $y \in B^n(x,d(x))$ 에 대해 $k_G(x,y) \leq \frac{1}{1-s}j_G(x,y)$ 를 적용한다.
• 가장 가까운 경계점 $R_x$ 를 포함하는 공선 조건을 이용해 $j$-거리의 지오데식과 삼각부등식의 등식 조건을 분석한다.
• 구멍이 있는 공간과 스타형 도메인에서 기하적 추론을 적용하고, 모순을 이용해 $j$-구의 스타형 성질을 증명한다.
• 비연결된 $j$-구 또는 단순연결되지 않은 $j$-구를 포함한 반례를 사용해, 비볼록 도메인에서의 위상적 제약 조건을 설명한다.

실험 결과

연구 질문

• RQ1 일반 도메인에서 작은 반지름을 가진 $j$-거리 구는 볼록한가?
• RQ2 $j$-구가 중심에 대해 엄밀히 스타형이 되는 조건은 무엇인가?
• RQ3 볼록 도메인에서 반지름 $M \leq \log 2$ 일 때 $j$-구는 항상 볼록한가?
• RQ4 $j$-구가 비볼록 도메인, 심지어 단순연결 도메인에서도 연결되지 않거나 단순연결되지 않을 수 있는가?
• RQ5 구멍이 있거나 복잡한 경계를 가진 도메인에서 $j$-거리와 쿼드라틱 하이퍼볼릭 지오데식 간의 관계는 무엇인가?

주요 결과

• 모든 도메인 $G \subset \mathbb{R}^n$, $G \neq \mathbb{R}^n$ 과 $M \in (0, \log 2]$ 에 대해, $j$-구 $B_j(x,M)$ 는 볼록하다.
• 모든 점 $x$ 를 중심으로 하는 스타형 도메인 $G$ 와 $M \in \left(0, \log(1+\sqrt{2})\right]$ 에 대해, $j$-구 $B_j(x,M)$ 는 중심 $x$ 에 대해 엄밀히 스타형이다.
• 구멍이 있는 공간 $\mathbb{R}^n \setminus \{0\}$ 에서 반지름 $M \leq \log 2$ 인 $j$-구는 볼록하며, 국소적 분석을 통해 일반 도메인으로 확장된다.
• $j$-구 $B_j(x,M)$ 는 링형 영역 $\{z \in G : e^{-M}d(x) \leq d(z) \leq e^M d(x)\}$ 내에 포함되며, 유클리드 포함 추정을 제공한다.
• 반례를 통해 $j$-구가 단순연결 도메인에서도 비연결이거나 경계가 비연결일 수 있음을 보여 주며, 예를 들어 $G = B^n(0,1) \cup B^n(e_1,h) \cup B^n(2e_1,1)$ 이고 $h < 1/3$ 일 때 성립한다.
• 열린 $j$-구 $\{z : j_G(x,z) < \log 3\}$ 의 클로처는 닫힌 $j$-구 $\{z : j_G(x,z) \leq \log 3\}$ 와 같지 않으며, 이는 비컴act성과 위상적 비정상성을 나타낸다.