[논문 리뷰] Notes on the differentiation of quasi-convex functions

F. Reese Harvey, H. Blaine Lawson|arXiv (Cornell University)|2013. 09. 06.

Functional Equations Stability Results참고 문헌 6인용 수 6

한 줄 요약

이 논문은 준볼록 함수의 기본 미분 가능성 성질에 대한 간단한 증명을 제공하며, 이러한 함수가 상단 접촉점에서 미분 가능하고 그 기울기가 부분적으로 연속적임을 입증한다. 핵심 기여는 상단 접촉 잔여류가 거의 전역 측도를 가진 집합에서 이차 잔여류의 폐포에 속한다는 통합 정리이며, 이는 헤시안 행렬의 부분적 상단 반연속성과 제닝스 및 슬로드코프의 결과를 새로운 간결한 프레임워크를 통해 통합한다.

ABSTRACT

This expository paper presents elementary proofs of four basic results concerning derivatives of quasi-convex functions. They are combined into a fifth theorem which is simple to apply and adequate in many cases. Along the way we establish the equivalence of the basic lemmas of Jensen and Slodkowski.

연구 동기 및 목표

• 준볼록 함수의 핵심 미분 가능성 성질에 대한 간단하고 자립적인 증명을 확립하기 위해.
• 제닝스와 슬로드코프의 고전적 결과를 상단 접촉 잔여류에 통합하여 하나의 적용 가능한 정리로 만드기 위해.
• 상단 접촉 잔여류, 기울기의 부분적 연속성, 거의 전역에서의 이차 미분 가능성에 대한 알렉산드로프 정리 간의 관계를 명확히 하기 위해.
• 전역 측도 조건 하에, 이차 미분 가능점의 집합이 상단 접촉 잔여류의 지지집합에서 조밀함을 보여주기 위해.
• $ C^{1,1} $ 함수가 동시에 준볼록이자 준볼록형임을 특징짓는 조건을 제시하여 정규성과 준볼록성 간의 연결 고리를 만들기 위해.

제안 방법

• 점 $x$ 에서 함수 $u$ 를 두 번째 차수 상향 근사로 하는 상단 접촉 잔여류 $(p, A)$ 를 정의하며, 이는 $x$ 근처에서 $ u(y) \leq u(x) + \langle p, y-x \rangle + \frac{1}{2}\langle A(y-x), y-x \rangle $ 를 만족한다.
• 함수 $u + \frac{\lambda}{2}|x|^2$ 의 볼록성에 의해 기울기 $p$ 가 유일함을 보여 상단 접촉점에서의 미분 가능성을 증명한다.
• 시퀀스 $x_j \to x$ 에서 $u$ 가 미분 가능할 때 $D_{x_j}u \to D_xu$ 임을 보여 기울기의 부분적 연속성을 확립한다.
• 슬로드코프의 보조정리와 제닝스의 보조정리를 사용하여 엄격한 상단 접촉 잔여류가 작은 구 내에서 전역 상단 접촉점의 양의 측도를 가짐을 증명한다.
• 라데이마허의 정리와 사르드의 정리를 적용하여 $u$ 가 이차 미분 가능할 점들의 집합이 거의 전역 측도를 가짐을 보여, 주정리에서 폐포 추론을 가능하게 한다.
• 근사 항등원과의 컨볼루션을 통해 일반적인 $C^{1,1}$ 경우를 매끄러운 경우로 환원하며, $u$ 가 $\lambda$-준볼록형인 것과 $\pm u$ 가 $\lambda$-준볼록형인 것이 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 준볼록 함수가 어떤 조건에서 점에서 미분 가능하며, 기울기가 상단 접촉 잔여류에 의해 유일하게 결정되는가?
• RQ2 미분 가능점으로 수렴하는 시퀀스를 따라 준볼록 함수의 기울기는 어떻게 행동하는가?
• RQ3 엄격한 상단 접촉 잔여류의 존재와 작은 이웃에서의 전역 상단 접촉점의 양의 측도 사이의 관계는 무엇인가?
• RQ4 제닝스와 슬로드코프의 상단 접촉 잔여류 결과를 준볼록 함수에 대해 하나의 일반적인 정리로 통합할 수 있는가?
• RQ5 $ C^{1,1} $ 정규성과 함수의 同시 준볼록성 및 준볼록형 성질 간의 정확한 연결 고리는 무엇인가?

주요 결과

• 준볼록 함수는 모든 상단 접촉점에서 미분 가능하며, 기울기는 상단 접촉 잔여류에 의해 유일하게 결정된다.
• 준볼록 함수의 기울기는 부분적으로 연속적이다: $x_j \to x$ 이고 각 $x_j$ 와 $x$ 에서 $u$ 가 미분 가능하면 $D_{x_j}u \to D_xu$ 이다.
• 점 $x$ 에서 엄격한 상단 접촉 잔여류 $(p, A)$ 가 존재할 경우, $"]\bar{\rho} > 0$ 가 존재하여 모든 $\rho \leq \bar{\rho}$ 에 대해 $B_\rho(x)$ 에서 유형 $A$ 의 전역 상단 접촉점 집합이 양의 측도를 가진다.
• 주정리는 $J^+(u) \subset \overline{J(u,E)}$ 를 임의의 전역 측도 집합 $E$ 에 대해 보여주며, 이는 헤시안 행렬의 부분적 상단 반연속성을 암시한다.
• 함수 $u$ 가 $\lambda$-준볼록형이자 $\lambda$-준볼록형임은 $|D_xu - D_yu| \leq \lambda|x-y|$ 를 만족하는 $C^{1,1}$ 함수임과 동치이다.
• 근사 항등원과의 컨볼루션은 $\lambda$-준볼록성을 유지하며, 일반적인 $C^{1,1}$ 경우를 매끄러운 경우로 환원할 수 있다.