[논문 리뷰] On the second order derivatives of convex functions on the Heisenberg group

Cristian E. Gutiérrez, Annamaria Montanari|ArXiv.org|2003. 09. 09.

Functional Equations Stability Results인용 수 10

한 줄 요약

이 논문은 헤이젠베르크 군 $\mathbb{H}^n$ 상에서 $\sigma_2(\mathcal{H}(u))$-볼록 함수가 $BV_{\mathbb{H}}^2$에 속함을 증명한다. 즉, 그들의 두 번째 수평 분포 도함수는 라돈 측도임을 의미한다. 몽-아프레 타입의 연산자 $\sigma_2(\mathcal{H}(u)) + 12n u_t^2$를 도입하고 비교 원리 및 진동 추정을 증명함으로써, 대칭과 비대칭 두 번째 도함수 사이의 격차를 메우며, $\mathcal{H}$-볼록 함수가 거의 어디서나 수평 방식으로 두 번 미분 가능하다는 것을 확인한다.

ABSTRACT

In the Euclidean setting the celebrated Aleksandrov-Busemann-Feller theorem states that convex functions are a.e. twice differentiable. In this paper we prove that a similar result holds in the Heisenberg group, by showing that every continuous H-convex function belongs to the class of functions whose second order horizontal distributional derivatives are Radon measures. Together with a recent result by Ambrosio and Magnani, this proves the existence a.e. of second order horizontal derivatives for the class of continuous H-convex functions in the Heisenberg group.

연구 동기 및 목표

• 헤이젠베르크 군 상에서 $\mathcal{H}$-볼록 함수가 거의 어디서나 두 번째 수평 도함수를 가지는지 여부를 해결하는 것.
• 서브리만노이드 기하학에서 대칭과 비대칭 두 번째 도함수 사이의 격차를 메우기 위해 $X_iX_j u$가 라돈 측도임을 증명하는 것.
• $\mathbb{H}^1$에서의 알렉산드로프 타입의 미분 정리의 일반화를 위해 새로운 몽-아프레 타입 연산자 $\sigma_2(\mathcal{H}(u)) + 12n u_t^2$를 사용하여 $\mathbb{H}^n$으로 확장하는 것.
• $[X_1,X_2]u = -4\partial_t u$의 리 괄호에 대한 진동 제어를 통해 $L^2$ 추정을 확립하고, 이로써 $BV_{\mathbb{H}}^2$ 결과를 고차원으로 확장하는 것.

제안 방법

• $\mathbb{H}^n$ 상에서 연산자 $\sigma_2(\mathcal{H}(u)) + 12n u_t^2$를 도입하고, $\sigma_2(\mathcal{H})$-볼록성을 $\mathcal{H}$-볼록성의 일반화로 정의한다.
• $\mathbb{H}^n$의 기하학과 부분적 적분을 이용해 $C^2$ 함수에 대해 비교 원리를 증명하고, 이는 이전의 $\mathbb{H}^1$ 결과를 확장한다.
• 진동 추정(정리 4.2)을 확립하여 $\sigma_2(\mathcal{H})$-볼록 함수에 대해 $\partial_t u$의 $L^2$ 유계성을 도출한다.
• 진동 추정을 활용해 리 괄호 $[X_i,X_j]u = -4\delta_{i,j\mp n} \partial_t u$를 통해 비대칭 부분을 제어하고, $X_iX_j u$가 라돈 측도임을 보인다.
• $\mathcal{H}$-볼록 함수에 이 결과를 적용하여 $BV_{\mathbb{H}}^2$에 속함을 증명하고, [1, 정리 3.9]를 통해 거의 어디서나 두 번째 수평 도함수가 존재함을 결론짓는다.
• 헤이젠베르크 군의 구조와 벡터장 $X_j$의 비가환성을 활용하여, 공식자 $[X_i,X_j] = -4\partial_t \delta_{i,j\mp n}$를 통해 대칭 및 비대칭 도함수를 연결한다.

실험 결과

연구 질문

• RQ1 모든 $\mathcal{H}$-볼록 함수가 $\mathbb{H}^n$ 상에서 거의 어디서나 두 번째 수평 도함수를 가지는가?
• RQ2 $\mathcal{H}$-볼록 함수의 클래스가 $BV_{\mathbb{H}}^2$에 속함을 보여, 그들의 두 번째 수평 분포 도함수가 라돈 측도임을 보장할 수 있는가?
• RQ3 $\sigma_2(\mathcal{H}(u))$를 포함하는 일반화된 몽-아프레 타입 연산자를 사용해 $\mathbb{H}^1$에서의 알렉산드로프 타입 최대원리의 $\mathbb{H}^n$으로의 확장을 가능하게 할 수 있는가?
• RQ4 $\mathcal{H}$-볼록 함수보다 넓은 클래스의 함수에 대해 $\partial_t u$의 $L^2$ 추정을 어떻게 도출할 수 있으며, 이를 통해 비대칭 도함수를 제어할 수 있는가?
• RQ5 리 괄호 $[X_i,X_j]u$는 $X_iX_j u$를 대칭 및 반대칭 부분으로 분해하는 데 어떤 역할을 하는가? 이 분해는 어떻게 라돈 측도 성질을 증명하는 데 활용될 수 있는가?

주요 결과

• $\mathbb{H}^n$ 상의 $\mathcal{H}$-볼록 함수의 클래스는 $BV_{\mathbb{H}}^2$에 포함되어 있으며, 이는 그들의 두 번째 수평 분포 도함수가 라돈 측도임을 의미한다.
• 저자들은 $\sigma_2(\mathcal{H})$-볼록 함수에 대해 비교 원리를 증명하였으며, 이는 진동 추정을 도출하는 데 필수적이다.
• 진동 추정(정리 4.2)은 $\sigma_2(\mathcal{H})$-볼록 함수에 대해 $\partial_t u$의 $L^2$ 제어를 가능하게 하며, 이는 $\mathcal{H}$-볼록 함수의 클래스를 초월한다.
• 비대칭 부분인 $X_iX_j u$는 리 괄호 $[X_i,X_j]u = -4\delta_{i,j\mp n} \partial_t u$를 통해 제어되며, $\partial_t u$의 $L^2$ 유계성 덕분에 전체 두 번째 도함수가 라돈 측도임을 보장한다.
• $X_iX_j u = \frac{X_iX_j u + X_jX_i u}{2} + \frac{[X_i,X_j]u}{2}$의 분해를 통해 대칭 부분은 [5, 정리 4.2]에 의해 라돈 측도이며, 반대칭 부분은 $L^2(\partial_t u)$에 의해 제어되므로 전체 도함수가 라돈 측도임을 보장한다.
• [1, 정리 3.9]의推론으로, $\mathbb{H}^n$ 상의 $\mathcal{H}$-볼록 함수는 거의 어디서나 두 번째 수평 도함수가 존재하며, 암브로시오와 마그나니가 제기한 질문에 답한다.