[논문 리뷰] Heat kernel of fractional Laplacian with Hardy drift via desingularizing weights

Damir Kinzebulatov, Yu. A. Semënov외 1명|arXiv (Cornell University)|2019. 04. 15.

Spectral Theory in Mathematical Physics참고 문헌 8인용 수 5

한 줄 요약

이 논문은 $ \mathbb{R}^d $, $ d \geq 3 $ 에서 비국소적이고 비대칭적인 연산자 $ \Lambda = (-\Delta)^{\alpha/2} + b \cdot \nabla $ 에 대해, $ b(x) = \kappa |x|^{-\alpha}x $ 라는 임계 하드이드 유형의 외력에 의해 페르튜브된 분수 라플라스 연산자의 날카운 두측 열핵 추정을 수립한다. 이는 $ \varphi_t(y) \approx (t^{-1/\alpha}|y| \wedge 1)^{-d+\beta} $ 의 정규화되지 않은 가중치를 사용하여 이루어지며, 핵심 결과는 정확한 점근적 추정 $ e^{-t\Lambda}(x,y) \approx e^{-t(-\Delta)^{\alpha/2}}(x,y) \cdot \varphi_t(y) $ 이다. 여기서 $ \beta \in (\alpha, d) $ 는 감마 함수와 외력 강도 $ \kappa $ 를 포함하는 초월 방정식의 해이며, 상대적 유계성 $ \delta $ 를 통해 결정된다. 이 방법은 가중치 $ L^1 \to L^\infty $ 초수축성과 코어지티드 반응군에 대한 새로운 $ (L^1, L^1) $ 추정에 기반한다.

ABSTRACT

We establish sharp two-sided bounds on the heat kernel of the fractional Laplacian, perturbed by a drift having critical-order singularity, by transferring it to appropriate weighted space with singular weight.

연구 동기 및 목표

• 비국소적이고 비대칭적인 연산자 $ \Lambda = (-\Delta)^{\alpha/2} + b \cdot \nabla $ 의 열핵에 대해 날카운 이중 추정을 수립하는 것. 여기서 $ b(x) = \kappa |x|^{-\alpha}x $ 이며, $ \kappa $ 는 임계 순서의 특이성을 나타낸다.
• 분수 라플라스 연산자에 대해 전통적인 캐토 급수 추정이 실패하는 이유는 $ b $ 가 더 강한 특이성을 지니며 고전적인 캐토 급수 범위를 초월하기 때문이다.
• 정규화되지 않은 가중치를 기반으로 한 새로운 방법을 개발하여 초수축성을 복원하고, 이러한 임계 외력이 존재하는 상황에서 날카운 열핵 추정을 가능하게 하는 것.
• 열핵이 $ e^{-t\Lambda}(x,y) \approx e^{-t(-\Delta)^{\alpha/2}}(x,y) \cdot (t^{-1/\alpha}|y| \wedge 1)^{-d+\beta} $ 를 만족함을 증명하는 것. 여기서 $ \beta \in (\alpha, d) $ 는 $ \kappa $ 를 포함하는 특정 감마 함수 방정식의 해이다.

제안 방법

• 문제를 가중치 $ \varphi_t(y) \approx (t^{-1/\alpha}|y| \wedge 1)^{-d+\beta} $ 를 가진 가중치 $ L^1 $ 공간으로 이동시켜, 반응군 $ e^{-t\Lambda} $ 의 $ L^1_{\varphi_t} \to L^\infty $ 초수축성을 가능하게 한다.
• 핵심 단계는 가중치 $ (L^1, L^1) $ 추정을 증명하는 것이다: $ 0 < t \leq s $ 에 대해 $ \| \varphi_s e^{-t\Lambda} \varphi_s^{-1} f \|_1 \leq e^{c t/s} \|f\|_1 $ 이며, 이는 코어지티드 반응군의 성장률을 통제한다.
• 상한 추정의 증명은 가중치 나시 초기 추정 $ e^{-t\Lambda}(x,y) \leq C t^{-d/\alpha} \varphi_t(y) $ 에 기반하며, 이는 $ L^1_{\varphi_t} \to L^\infty $ 초수축성과 두아멜 공식에서 유도된다.
• 하한 추정은 적분 하한 추정 $ \langle \varphi_s e^{-t\Lambda} \varphi_s^{-1} g \rangle \geq e^{-\mu t/s} \|g\|_1 $ 과 $ e^{-t(-\Delta)^{\alpha/2}}(x,y) $ 에 대한 표준 하한 추정을 조합하여, $ 3q $-유형의 추론을 통해 확립된다.
• 열핵의 구성은 척도 변환에 의존하지 않으며, 잠재적으로 더 일반적인 계수로의 확장을 허용한다. 이는 $ |x|^{-d+\beta} $ 가 형식적 수반 연산자 $ \Lambda^* $ 에 대해 리아푸노프 함수임을 이용한다.
• 이 방법은 국소적 경우($ \alpha = 2 $) 에서의 극한 추론을 통해 국소적 경우에서 유도된 것으로, $ \varphi_t(y) = \eta(t^{-1/2}|y|) $ 이며 $ r < 1 $ 에 대해 $ \eta(r) = r^{-\sqrt{\delta}(d-2)/2} $ 이다. 이 결과는 비국소적 기법을 사용하여 $ \alpha \in (1,2) $ 로 확장된다.

실험 결과

연구 질문

• RQ1 임계 하드이드 유형의 외력 $ b(x) = \kappa |x|^{-\alpha}x $ 를 지닌 분수 라플라스 연산자에 대해 날카운 이중 열핵 추정을 어떻게 확보할 수 있는가? 이 외력은 고전적인 캐토 급수 범위를 초월한다.
• RQ2 초수축성을 복원하기 위해 필요한 특이 가중치 $ \varphi_t(y) $ 의 정확한 형태는 무엇인가?
• RQ3 가중치 $ \varphi_t(y) \approx (t^{-1/\alpha}|y| \wedge 1)^{-d+\beta} $ 에서의 지수 $ \beta \in (\alpha, d) $ 는 외력 강도 $ \kappa $ 와 상대적 유계성 $ \delta $ 와 어떻게 관련되어 있는가?
• RQ4 스케일링에 의존하지 않고 $ L^1_{\varphi_t} \to L^\infty $ 초수축성을 확립할 수 있는가? 이는 비균일 계수로의 일반화 가능성을 높인다.

주요 결과

• 열핵은 모든 $ t > 0 $, $ x, y \in \mathbb{R}^d $, $ y \neq 0 $ 에 대해 날카운 이중 추정 $ e^{-t\Lambda}(x,y) \approx e^{-t(-\Delta)^{\alpha/2}}(x,y) \cdot (t^{-1/\alpha}|y| \wedge 1)^{-d+\beta} $ 을 만족하며, 여기서 $ \beta \in (\alpha, d) $ 이다.
• 지수 $ \beta $ 는 방정식 $ \frac{2^{\alpha}}{\beta - \alpha} \frac{\Gamma(\frac{\beta}{2}) \Gamma(\frac{d}{2} - \frac{\beta - \alpha}{2})}{\Gamma(\frac{d}{2} - \frac{\beta}{2}) \Gamma(\frac{\beta - \alpha}{2})} = \kappa $ 의 유일한 해이며, $ \kappa $ 는 외력 강도 매개변수이다.
• 가중치 $ \varphi_t(y) \approx (t^{-1/\alpha}|y| \wedge 1)^{-d+\beta} $ 는 형식적 수반 연산자 $ \Lambda^* = (-\Delta)^{\alpha/2} - \nabla \cdot b $ 에 대해 리아푸노프 함수이며, $ \Lambda^* |x|^{-d+\beta} = 0 $ 을 만족한다.
• 반응군 $ e^{-t\Lambda} $ 는 $ L^1_{\varphi_t} \to L^\infty $ 초수축성을 지닌다. 이는 추정 $ e^{-t\Lambda}(x,y) \leq C t^{-d/\alpha} \varphi_t(y) $ 를 통해 이루어지며, 이는 '나시 초기 추정'의 기초가 된다.
• $ 0 < t \leq s $ 에 대해 $ \| \varphi_s e^{-t\Lambda} \varphi_s^{-1} f \|_1 \leq e^{c t/s} \|f\|_1 $ 이라는 $ (L^1, L^1) $ 추정은 상한과 하한 추정을 모두 증명하는 데 필수적이며, 코어지션과 잠재력 추정을 통해 증명된다.
• 이 방법은 척도 변환에 의존하지 않아 비균일하거나 비원형 계수로의 확장이 가능하며, 국소적 경우($ \alpha = 2 $) 의 기존 결과를 비국소적이고 비대칭적인 설정으로 확장한다.