[논문 리뷰] Remarks on spectral multiplier theorems on Hardy spaces associated with semigroups of operators

Jacek Dziubański, Marcin Preisner|arXiv (Cornell University)|2009. 03. 17.

Advanced Harmonic Analysis Research참고 문헌 22인용 수 9

한 줄 요약

이 논문은 동차 유형 공간에서 가우시안 또는 다비즈-가프니 추정을 만족하는 비음수 자기수반 연산자 $ L $ 가 생성하는 반군과 관련된 하드리 스페이스 $ H^1_L $ 에 대한 스펙트럴 승수 정리들을 수립한다. $ m $ 이 소볼레프 공간 $ W^{\frown,\frown} $ 에서 부드러움 조건을 만족할 경우, $ m(L) $ 이 $ (1,2,1) $-아톰을 $ H^1_L $ 로 매핑함을 증명하여, 승수 연산자의 $ H^1_L $ 상에서 유일한 노름 제어를 갖는 유계성을 보장한다.

ABSTRACT

Let L be a non-negative, self-adjoint operator on L^2(Ω), where (Ω, d μ) is a space of homogeneous type. Assume that the semigroup {T_t}_{t>0} generated by -L satisfies Gaussian bounds, or more generally Davies-Gaffney estimates. We say that f belongs to the Hardy space H^1_L if the square function S_h f(x)=(\iint_{Γ(x)} |t^2 L e^{-t^2 L} f(y)|^2 \frac{dμ(y)}{μ(B_d(x,t))} \frac{dt}{t})^{1/2} belongs to L^1(Ω, dμ), where Γ(x)={(y,t) \in Ω imes (0,\infty): d(x,y)

연구 동기 및 목표

• 비음수 자기수반 연산자 $ L $ 가 생성하는 반군과 관련된 하드리 스페이스 $ H^1_L $ 에서 스펙트럴 승수 연산자의 유계성을 수립하기 위해.
• 일반적인 메트릭 측도 공간에서의 동차 유형 설정에서 고전적 허르만더 유형 승수 정리를 하드리 스페이스 설정으로 확장하기 위해.
• $ W^{\frown,\frown} $ 에서 부드러움 조건을 만족하는 스펙트럴 승수는 $ (1,2,1) $-아톰을 $ H^1_L $ 로 매핑함을 증명하여 전체 하드리 스페이스에서의 유계성을 보장하기 위해.
• 가우시안 추정 하에서 승수 정리의 간단한 증명을 제공하고, 다비즈-가프니 추정 하에서 더 일반적인 반군으로 이를 확장하기 위해.

제안 방법

• 함수 $ f \in H^1_L $ 이면 $ \|S_h f\|_{L^1} < \infty $ 를 만족하는 제곱 함수 $ S_h f(x) = \left( \iint_{\Gamma(x)} |t^2 L e^{-t^2 L} f(y)|^2 \frac{d\mu(y)}{V(x,t)} \frac{dt}{t} \right)^{1/2} $ 를 통해 하드리 스페이스 $ H^1_L $ 를 정의한다.
• $(1,2,M)$-아톰은 $ a = L^M b $ 의 형태이며, $ L^2 $-노름이 제어되는 $ (r^2 L)^k b $ 를 갖는 구에 포함된 함수로 구성된 $ H^1_L $ 의 아 tom 분해를 사용한다.
• $ \zeta $ 가 컴actsupport된 함수인 경우, $ \mathfrak{T} $ 공간의 함수들 $ T_t \zeta $ 에서 $ \bar{m}(L) $ 의 $ L^\infty $-유계성을 $ n $ 이 이등분 간격에 포함된 경우의 노름 $ \|n\|_{W^{\infty,\alpha}} $ 를 사용하여 확립한다.
• 척도화와 측도의 두 배 성질을 활용하여 커널 $ \bar{n}_j(L)(x,y) $ 에 대한 균일한 $ L^\infty $-유계성 조건을 증명하며, 이는 $ e^{-c t 2^j} $ 의 감쇠와 체적 성장 $ \mu(B_{d}(y,2^{-j/2})) \gtrsim 2^{-j\kappa/2} $ 를 이용한다.
• 다중성에 의해 $ m(L) $ 의 작용을 정의한다: $ \langle m(L)f, g \rangle = \int f(x) \overline{\bar{m}(L)g(x)} \, d\mu(x) $, 이는 유일성과 유계성을 보장한다.
• 아톰 분해와 균일한 연산자 노름 제어를 사용하여 $ \|m(L)f\|_{H^1_L} \leq C \|f\|_{H^1_L} $ 를 증명함으로써 $ H^1_L $ 상에서의 유계성을 입증한다.

실험 결과

연구 질문

• RQ1 비음수 자기수반 연산자 $ L $ 가 생성하는 반군과 관련된 하드리 스페이스 $ H^1_L $ 에서 스펙트럴 승수 $ m(L) $ 가 유계가 되기 위한 승수 $ m $ 의 부드러움 조건은 무엇인가?
• RQ2 가우시안 또는 다비즈-가프니 추정을 만족하는 동차 유형 공간에서의 설정에서, 고전적 허르만더 승수 정리는 하드리 스페이스 $ H^1_L $ 로 확장될 수 있는가?
• RQ3 $ \sup_{t>0} \| \eta(\cdot) m(t\cdot) \|_{W^{\infty,\alpha}(\mathbb{R})} \leq C_\eta $ 이고 $ \alpha > q/2 $ 를 만족할 때, 소볼레프 유형 부드러움 조건이 $ H^1_L $ 상에서 $ m(L) $ 의 유계성을 보장하는 데 어떤 역할을 하는가?
• RQ4 특히 $ (1,2,1) $-아톰에 대한 $ H^1_L $ 의 아톰 분해는 $ m(L) $ 의 유계성 증명에 어떻게 기여하는가?
• RQ5 가우시안 추정을 초월하여 다비즈-가프니 추정을 만족하는 반군으로 승수 정리를 확장할 수 있으며, 추가로 필요한 부드러움 조건은 무엇인가?

주요 결과

• $ H^1_L $ 의 $ (1,2,1) $-아톰에 대해 스펙트럴 승수 연산자 $ m(L) $ 는 $ H^1_L $ 으로 매핑되며, 모든 이러한 아톰에 대해 균일한 연산자 노름 제어 $ \|m(L)a\|_{H^1_L} \leq C $ 가 성립한다.
• 조건 $ \sup_{t>0} \| \eta(\cdot) m(t\cdot) \|_{W^{\infty,\alpha}(\mathbb{R})} \leq C_\eta $ 이고 $ \alpha > q/2 $ 를 만족할 경우 승수 정리가 성립하며, 여기서 $ q $ 는 공간의 두 배 성질 차원이다.
• 측도 $ \mu(B_d(y,s)) \geq c s^\kappa $ 가 $ s > 1 $ 에 대해 성립할 경우, $ m(L) $ 은 $ H^1_L $ 상에서 유일하게 확장된 유계 연산자로 존재한다. 이는 충분한 체적 성장 보장을 한다.
• 증명은 $ \mathfrak{T} $ 공간에서 $ \bar{m}(L) $ 의 $ L^\infty $-유계성에 기반하며, 커널 추정과 체적 두 배 성질을 통해 확립되며, 이는 $ H^1_L $ 상에서 잘 정의되고 유계인 작용을 이끈다.
• 결과는 다항 체적 성장이 있는 비유클리드 메트릭 측도 공간에서 고전적 승수 정리를 하드리 스페이스 설정으로 일반화한다.
• $ \mathbb{R}^d $ 에서 슈뢰딩거 연산자 $ A = -\Delta + V $ 에 대해, 이 정리는 $ \alpha > d/2 $ 를 만족하는 모든 유계 $ m $ 이 $ H^1_A $-승수를 이룬다는 것을 시사한다.