[논문 리뷰] An idea on proving weighted Sobolev embeddings

Klaus Gansberger|arXiv (Cornell University)|2010. 07. 20.

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

한 줄 요약

이 논문은 슈뢰딩거 연산자를 통해 재구성함으로써 가중 치비셰브 공간 $ H^1(\bbR^n, \fhi) $ 에서 $ L^2(\bbR^n, \fhi) $ 로의 컴팩트 임베딩을 특성화한다. 핵심 결과는 임베딩의 컴팩트성과 연산자 $ \mathcal{S} = -\Delta + \frac{1}{4}|\nabla\fhi|^2 - \frac{1}{2}\Delta\fhi $ 의 리졸베ント의 컴팩트성 사이의 연관성을 밝혀내며, 필요한 및 충분한 조건은 가중치의 도함수와 위너 용적도 이론을 통해 기술된다.

ABSTRACT

This article contains a characterization of when certain weighted Sobolev spaces on $\Bbb R^n$ embed compactly into $L^2(\mathbb R^n, φ)$. The characterization is in terms of derivatives of the weight function $φ$ and involves the Wiener capacity, as it is obtained from reformulating the problem in terms of resolvent properties of Schrödinger operators. This reformulation also works for general domains.

연구 동기 및 목표

• 가중 치비셰브 공간 $ H^1(\bbR^n, \fhi) $ 가 $ L^2(\bbR^n, \fhi) $ 로 컴팩트 임베딩이 되는 조건을 특성화하는 것.
• 가중치 함수 $ \fhi $ 로부터 유도된 슈뢰딩거 연산자의 리졸베ント의 컴팩트성과 컴팩트 치비셰브 임베딩 간의 연관성을 설정하는 것.
• 디리클레 및 본 네만 실현을 통해 일반적인 무한대 영역으로 특성화를 확장하는 것.
• 가중치 함수의 도함수와 기하학적 용적도 이론을 통해 컴팩트 임베딩에 대한 필요 및 충분 조건을 제공하는 것.

제안 방법

• 컴팩트 임베딩 문제를 슈뢰딩거 연산자 $ \mathcal{S} = -\Delta + V $ 의 스펙트럼 성질로 재구성하며, 여기서 $ V = \frac{1}{4}|\nabla\fhi|^2 - \frac{1}{2}\Delta\fhi $.
• 이론적으로 알려진 스펙트럼 이론을 활용하여 $ \mathcal{S} $ 의 컴팩트 리졸베ント가 $ H^1(\bbR^n, \fhi) $ 에서 $ L^2(\bbR^n, \fhi) $ 로의 컴팩트 임베딩을 유도함.
• 위너 용적도 기준을 적용하여 $ \fhi $ 가 무한대에서 어떻게 행동하는지에 따라 $ \mathcal{S} $ 가 컴팩트 리졸베ント를 가지는지 특성화함.
• 일반적인 영역 $ \Omega $ 에서는 $ H^1_0(\Omega, \fhi) $ 와 $ H^1(\Omega, \fhi) $ 를 구분하고, 이들의 컴팩트 임베딩을 $ \mathcal{S} $ 의 디리클레 실현과 본 네만 실현과 연결함.
• 경계가 있는 영역에서 슈뢰딩거 연산자의 적절한 자기수반 실현을 식별하기 위해 이차형식의 프리드리히스 확장을 사용함.
• 피퍼만-포잉 보조정리와 같은 알려진 슈뢰딩거 연산자 리졸베ント의 컴팩트성 기준을 활용하여 충분 조건을 도출함.

실험 결과

연구 질문

• RQ1 가중치 함수 $ \fhi $ 가 어떤 조건을 만족할 경우 $ H^1(\bbR^n, \fhi) \hookrightarrow L^2(\bbR^n, \fhi) $ 임베딩이 컴팩트해지는가?
• RQ2 가중치 $ \fhi $ 로부터 유도된 슈뢰딩거 연산자의 스펙트럼 성질을 통해 임베딩의 컴팩트성이 어떻게 특성화될 수 있는가?
• RQ3 위너 용적도는 임베딩의 컴팩트성 결정에 어떤 역할을 하는가?
• RQ4 $ \bbR^n $ 에서의 결과가 경계가 있는 일반적인 무한대 영역으로 어떻게 확장되는가?
• RQ5 가중 치비셰브 공간 $ H^1(\Omega, \fhi) $ 와 잠재력 $ V_1 $ 을 가진 슈뢰딩거 연산자 $ \mathcal{S}_1 $ 간의 관계는 무엇인가?

주요 결과

• 임베딩 $ H^1(\bbR^n, \fhi) \hookrightarrow L^2(\bbR^n, \fhi) $ 가 컴팩트인 것은 유일하고 충분히 슈뢰딩거 연산자 $ \mathcal{S} = -\Delta + \frac{1}{4}|\nabla\fhi|^2 - \frac{1}{2}\Delta\fhi $ 가 컴팩트 리졸베ント를 가지는 것과 동치이다.
• 컴팩트 임베딩을 위한 필요 및 충분 조건은 $ \int_{\bbB(x,1)} \left( \frac{1}{4}|\nabla\fhi|^2 - \frac{1}{2}\Delta\fhi \right) d\lambda \to \infty $ 로서, $ |x| \to \infty $ 일 때 성립한다.
• $ \mathcal{S} $ 의 리졸베ント의 컴팩트성은 고정된 반경을 가진 구 위에서 잠재력 $ V = \frac{1}{4}|\nabla\fhi|^2 - \frac{1}{2}\Delta\fhi $ 의 적분이 중심이 무한대로 갈수록 발산하는 것과 동치이다.
• 일반적인 영역 $ \Omega $ 에서는 $ H^1_0(\Omega, \fhi) \hookrightarrow L^2(\Omega, \fhi) $ 의 임베딩이 컴팩트인 것은 유일하고 충분히 $ \mathcal{S}_1 $ 의 디리클레 실현이 컴팩트 리졸베ント를 가지는 것과 동치이다.
• 유사하게, $ H^1(\Omega, \fhi) \hookrightarrow L^2(\Omega, \fhi) $ 의 임베딩이 컴팩트인 것은 유일하고 충분히 $ \mathcal{S}_1 $ 의 본 네만 실현이 컴팩트 리졸베ント를 가지는 것과 동치이다.
• 결과는 치비셰브 노름을 슈뢰딩거 연산자의 이차형식과 연결하고, 프리드리히스 확장 및 [7] 에서의 컴팩트성 기준과 피퍼만-포잉 보조정리를 활용하여 도출되었다.