[논문 리뷰] Besov class via heat semigroup on Dirichlet spaces I: Sobolev type inequalities

Patricia Alonso Ruiz, Fabrice Baudoin외 4명|arXiv (Cornell University)|2018. 11. 10.

Nonlinear Partial Differential Equations참고 문헌 36인용 수 9

한 줄 요약

이 논문은 일반 딜레르그 공간에서 열 반군 기반 베소프 공간 프레임워크를 도입하여, 기울기 구조를 요구하지 않고도 $L^p$-소볼레프 및 등면적 부등식을 수립한다. 열핵의 경계 조건과 새로운 반노름 $ Vert f Vert_{p,eta}$를 이용해 바르코프의 $L^2$ 소볼레프 부등식을 모든 $p \geq 1$ 으로 일반화한다. 미약한 가정 조건 하에서 강한 소볼레프 부등식을 증명하고, $p=1$ 인 경우에 대해 명시적인 등면적 유형 추정을 도출한다. 주요 기여는 비가속도, 프랙탈, 추상적인 메트릭 측도 공간에서 소볼레프 및 등면적 이론을 통합적이고 반군 기반으로 다루는 방법이다.

ABSTRACT

We introduce heat semigroup-based Besov classes in the general framework of Dirichlet spaces. General properties of those classes are studied and quantitative regularization estimates for the heat semigroup in this scale of spaces are obtained. As a highlight of the paper, we obtain a far reaching $L^p$-analogue, $p \ge 1$, of the Sobolev inequality that was proved for $p=2$ by N. Varopoulos under the assumption of ultracontractivity for the heat semigroup. The case $p=1$ is of special interest since it yields isoperimetric type inequalities.

연구 동기 및 목표

• 기울기 또는 미분 구조에 의존하지 않고 열 반군을 이용한 딜레르그 공간 내에서 베소프 유형 공간의 일반적 프레임워크를 개발한다.
• 열핵 경계 조건과 새로운 반노름 조건 하에서 바르코프의 $L^2$ 소볼레프 부등식을 모든 $p \geq 1$ 으로 확장한다.
• 새로운 보간 및 정규화 방법을 통해 약한 소볼레프 부등식에서 강한 $L^q$ 소볼레프 부등식을 유도한다.
• 반노름 $\|f\|_{1,\alpha}$ 를 사용하여 $p=1$ 인 경우에 등면적 유형 부등식을 유도하고, 체거 및 가우시안 등면적 이론과 연결한다.
• 새로운 베소프 반노름을 스펙트럼 이론, 곡률 조건, 그리고 일반 딜레르그 공간 내의 로그-소볼레프 부등식과 연결한다.

제안 방법

• 열핵 $p_t(x,y)$ 를 이용해 반노름 $\|f\|_{p,\alpha} = \sup_{t>0} t^{-\alpha} \left( \int_X \int_X |f(x)-f(y)|^p p_t(x,y) \, d\mu(x) d\mu(y) \right)^{1/p}$ 을 정의한다.
• 열핵 경계 조건 $p_t(x,y) \leq C t^{-\beta}$ 를 만족할 경우, 약한 소볼레프 부등식 $\sup_{s \geq 0} s \, \mu(\{|f| \geq s\})^{1/q} \leq C_{p,\alpha,\beta} \|f\|_{p,\alpha}$ 가 성립함을 증명하며, 여기서 $q = \frac{p\beta}{\beta - p\alpha}$ 이다.
• 약한 부등식과 조건 $\|f\|_{p,\alpha} \leq C \liminf_{t \to 0} t^{-\alpha} \left( \int_X \int_X |f(x)-f(y)|^p p_t(x,y) \, d\mu(x) d\mu(y) \right)^{1/p}$ 을 조합하여 강한 소볼레프 부등식 $\|f\|_{L^q(X)} \leq C_{p,\alpha,\beta} \|f\|_{p,\alpha}$ 를 수립한다.
• 스펙트럼 이론과 스펙트럼 간격 $\lambda_1$ 을 이용해 체거 유형 상수 $h_\alpha$ 의 하한을 $h_\alpha \geq \sup_{t>0} \frac{1 - e^{-\lambda_1 t}}{t^\alpha}$ 로 유도한다.
• 레드우의 방법을 적용하여 $p=1$ 인 경우 반노름 $\|\mathbf{1}_A\|_{1,\alpha}$ 가 민코프스키 외부 경계 측도를 제어함을 보이고, 등면적 유형 부등식을 도출한다.
• 로그-소볼레프 및 가우시안 등면적 부등식과 $L^1$-베소프 반노름을 연결하여 $\rho_0 \leq C_l k^2$ 를 증명하며, 여기서 $k$ 는 가우시안 등면적 상수이다.

실험 결과

연구 질문

• RQ1 일반 딜레르그 공간에서 기울기 구조를 가정하지 않고 바르코프의 $L^2$ 소볼레프 부등식을 모든 $p \geq 1$ 으로 확장할 수 있는가?
• RQ2 열 반군 기반 반노름 $\|f\|_{p,\alpha}$ 는 비가속도 공간 내 소볼레프 유형 정규성의 특성화에 어떤 역할을 하는가?
• RQ3 새로운 베소프 공간 $\mathbf{B}^{p,\alpha}(X)$ 는 메트릭 측도 공간 내 고전적 소볼레프, BV 및 등면적 이론과 어떻게 관련이 있는가?
• RQ4 부등식의 $p=1$ 경우는 명시적인 등면적 유형 추정을 도출할 수 있으며, 체거 상수와 어떻게 관련이 있는가?
• RQ5 $\mu(X)=1$ 인 확률 공간에서 $L^1$-베소프 반노름과 로그-소볼레프 또는 가우시안 등면적 상수 사이의 관계는 무엇인가?

주요 결과

• 논문은 열핵 경계 조건과 최소한의 정규성 조건 하에서, $p \geq 1$, $0 < \alpha < \beta$, $p < \frac{\beta}{\alpha}$ 인 조건 하에 강한 $L^q$ 소볼레프 부등식 $\|f\|_{L^q(X)} \leq C_{p,\alpha,\beta} \|f\|_{p,\alpha}$ 를 증명한다. 여기서 $q = \frac{p\beta}{\beta - p\alpha}$ 이다.
• $p=1$ 인 경우 반노름 $\|f\|_{1,\alpha}$ 는 레드우의 방법을 통해 명시적인 상수를 갖는 등면적 유형 부등식을 도출하며, 민코프스키 외부 경계 측도와 연결된다.
• 체거 유형 상수 $h_\alpha$ 는 $h_\alpha \geq \sup_{t>0} \frac{1 - e^{-\lambda_1 t}}{t^\alpha}$ 를 만족하며, 여기서 $\lambda_1$ 은 스펙트럼 간격으로 스펙트럼 하한을 제공한다.
• $L^1$-베소프 반노름 $\|\mathbf{1}_A\|_{1,\alpha}$ 는 등면적 프로파일을 제어하며, 로그-소볼레프 부등식 조건 하에 $\rho_0 \leq C_l k^2$ 가 성립한다. 여기서 $k$ 는 가우시안 등면적 상수이다.
• 반노름 $\|f\|_{2,1/2}$ 는 딜레르그 에너지 $\mathcal{E}(f,f)$ 와 동치이며, 바르코프의 $L^2$ 결과를 특수한 경우로 복원한다.
• 유계 유클리드 공간에서 표준 딜레르그 형식을 갖는 경우, $p \geq 1$, $\alpha = \frac{1}{2}$ 일 때 조건 $\|f\|_{p,\alpha} \leq C \liminf_{t \to 0} t^{-\alpha} \left( \int_X \int_X |f(x)-f(y)|^p p_t(x,y) \, d\mu(x) d\mu(y) \right)^{1/p}$ 는 항상 만족된다.