[논문 리뷰] Interpolation with a function parameter and refined scale of spaces

Vladimir Mikhailets, Aleksandr Murach|ArXiv.org|2007. 12. 07.

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

한 줄 요약

이 논문은 힐버트 공간에 대해 함수 매개변수, 특히 카라마타의 의미에서의 천천히 변화하는 함수를 사용하여 정밀한 보간 이론을 수립한다. 고도로 대칭적인 허먼더 공간이 타원적 미분형식의 함수 해석학에 의해 보간 공간으로 특성화될 수 있음을 증명하며, 정규적으로 변화하는 함수를 통해 정밀 스케일을 완전히 기술한다.

ABSTRACT

The interpolation of couples of separable Hilbert spaces with a function parameter is studied. The main properties of the classic interpolation are proved. Some applications to the interpolation of isotropic Hörmander spaces over a closed manifold are given.

연구 동기 및 목표

• 거듭제곱 매개변수를 사용하는 고전적 보간 이론을 더 넓은 범위의 함수 매개변수로 일반화하기 위해.
• 닫힌 다양체 위의 등방성 허먼더 공간 $ H^{s,\rho} $ 를 함수 매개변수를 사용한 보간 공간으로 특성화하기 위해.
• 허먼더 공간의 정밀 스케일과 양의 타원적 미분형식 연산자의 스펙트럼 이론 사이의 연결 고리를 설정하기 위해.
• 노름 $ H^{s,\rho} $ 가 $ \varphi_s(A_0) $ 의 그래프 노름과 동치임을 증명하기 위해, 여기서 $ A_0 $ 는 타원적 연산자의 폐포이다.

제안 방법

• 유계 쌍 $[X_0, X_1]$ 의 생성 연산자 $ J $ 에 대한 함수 해석학을 통해 함수 매개변수 $ \psi \in \mathcal{B} $ 를 이용한 보간을 정의한다.
• 양의 자기수반 연산자의 스펙트럼 이론을 사용하여 노름 $ \|u\|_{X_\psi} = \|\psi(J)u\|_{X_0} $ 를 갖는 보간 공간 $ X_\psi := \mathrm{Dom}(\psi(J)) $ 를 정의한다.
• 보간 공간 $ [L_2(\Gamma), \mathrm{Dom}(A_0^k)]_\psi $ 가 $ \psi(t^k) = \varphi_s(t) $ 를 만족할 때 $ H^{s,\varphi}(\Gamma) $ 와 동치 노름을 갖는 것으로 특성화한다.
• 닫힌 리만다양체 $ \Gamma $ 에서 벨트라미-라플라스 연산자 $ \Delta_\Gamma $ 를 갖는 연산자 $ A_0 = (1 - \Delta_\Gamma)^{m/2} $ 에 이론을 적용한다.
• 부드러운 함수 $ f \in C^\infty(\Gamma) $ 에 대해 $ \|f\|_{H^{s,\varphi}(\Gamma)} \asymp \|\varphi_s(A_0)f\|_{L_2(\Gamma)} $ 임을 증명한다.
• $ C^\infty(\Gamma) $ 가 $ \mathrm{Dom}(\varphi_s(A_0)) $ 에 밀도가 있음을 확립하고, $ H^{s,\varphi}(\Gamma) $ 와 $ \mathrm{Dom}(\varphi_s(A_0)) $ 의 노름이 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 고전적 보간 함수자와 거듭제곱 매개변수는 천천히 변화하는 함수를 포함하는 최대 범위의 함수 매개변수로 확장될 수 있는가?
• RQ2 닫힌 다양체 위의 등방성 허먼더 공간 $ H^{s,\varphi} $ 는 함수 매개변수를 통한 보간으로 어떻게 특성화될 수 있는가?
• RQ3 허먼더 공간의 정밀 스케일과 타원적 미분형식 연산자의 스펙트럼 성질 사이의 정확한 관계는 무엇인가?
• RQ4 어떤 조건에서 $ H^{s,\varphi}(\Gamma) $ 의 노름이 $ \varphi_s(A_0) $ 의 그래프 노름과 동치가 되는가?

주요 결과

• 공간 $ H^{s,\varphi}(\Gamma) $ 는 순수한 타원적 미분형식 연산자 $ A_0 $ 의 순서 $ m $ 에 대해 $ \mathrm{Dom}(\varphi_s(A_0)) $ 와 동형이다.
• 만약 $ s \geq 0 $ 이고 $ s = 0 $ 일 때 $ 1/\varphi $ 가 무한대에서 유계이면, $ H^{s,\varphi}(\Gamma) $ 의 노름은 $ \varphi_s(A_0) $ 의 그래프 노름과 동치이다.
• $ \psi(t^k) = \varphi_s(t) $ 를 만족할 때, 보간 공간 $ [L_2(\Gamma), \mathrm{Dom}(A_0^k)]_\psi $ 는 $ H^{s,\varphi}(\Gamma) $ 와 동치 노름을 갖는다.
• 모든 $ f \in C^\infty(\Gamma) $ 에 대해 노름 $ \|f\|_{H^{s,\varphi}(\Gamma)} $ 는 $ \|\varphi_s(A_0)f\|_{L_2(\Gamma)} $ 와 동치이다.
• $ C^\infty(\Gamma) $ 는 $ \mathrm{Dom}(\varphi_s(A_0)) $ 에 밀도가 있으며, 이는 보간 공간의 완비성과 분리 가능성을 보장한다.