[논문 리뷰] Sobolev spaces on locally compact abelian groups

Przemysław Górka, Enríque G. Reyes|arXiv (Cornell University)|2012. 08. 15.

Advanced Mathematical Physics Problems참고 문헌 19인용 수 3

한 줄 요약

이 논문은 약한 부분가환 가중치를 기반으로 한 푸리에 해석적 프레임워크를 사용하여 임의의 국소적으로 컴acts한 아벨 군 위에서 소볼레프 공간을 도입하며, 소볼레프 포함 및 릴리히-콘드라코프 컴팩턴스 정리의 유사판을 확립한다. 주요 기여는 이러한 소볼레프 유형 공간에서 고정점 원리에 의해 컴팩트 아벨 군 위에서 일반화된 유클리드 보소닉 끈 방정정식의 연속해 존재성을 증명하는 것이다.

ABSTRACT

Motivated by a class of nonlinear equations of interest for string theory, we introduce Sobolev spaces on arbitrary locally compact abelian groups and we examine some of their properties. Specifically, we focus on analogs of the Sobolev embedding and Rellich- Kondrachov compactness theorems. As an application, we prove the existence of continuous solutions to a generalized euclidean bosonic string equation possed on an arbitrary compact abelian group.

연구 동기 및 목표

• 유클리드 공간과 리만 다양체를 초월하여 임의의 국소적으로 컴팩트한 아벨 군 위에서 소볼레프 공간 이론을 확장하는 것.
• 이러한 군 위에서 비선형 가짜미분방정식을 연구하기 위한 푸리에 변환과 하르 측도를 기반으로 한 함수해석학적 프레임워크를 개발하는 것.
• 고전적 소볼레프 공간 이론의 결과들과 유사한 포함 및 컴팩턴스 정리들을 확립하는 것.
• 개발된 이론을 적용하여 컴팩트 아벨 군 위에서 일반화된 비선형 끈 방정식의 연속해 존재성을 증명하는 것.
• 위상군 위에서의 조화해석학을 이용하여 비국소장 방정식을 연구하기 위한 엄밀한 분석적 기반을 제공하는 것.

제안 방법

• 약한 부분가환 가중치로 구성된 집합 $ \Gamma $ 에서의 가중치 함수 $ \gamma \in \Gamma $ 와 푸리에 변환을 이용해 국소적으로 컴팩트한 아벨 군 $ G $ 위에서 소볼레프 공간 $ H^s_\gamma(G) $ 를 정의하는 것.
• 플랑커렐 정리와 푸리에 역변환을 사용하여 $ H^s_\gamma(G) $ 에 속하는 함수의 노름을 적분 $ \int_{G^\wedge} (1 + \gamma(\xi)^2)^s |\hat{f}(\xi)|^2 d\mu_{G^\wedge}(\xi) $ 로 특성화하는 것.
• 적절한 조건 하에서 $ \gamma $ 와 쌍대군 $ G^\wedge $ 에 대해 연속적 포함관계 $ H^{c,\infty}(G) \hookrightarrow H^s_\gamma(G) \hookrightarrow L^{2\alpha}(G) $ 를 확립하는 것.
• 푸리에 승수 $ \frac{1}{1 + \gamma(\xi)^2 e^{c\gamma(\xi)^2}} $ 를 통해 정의된 선형 연산자 $ L_c $ 를 정의하며, 이는 비국소 연산자 $ \Delta e^{-c\Delta} $ 의 정규화된 역연산자로 작용한다.
• 비선형 해를 푸는 해법 $ \mathcal{G} $ 를 구성하여 $ L_c \tilde{u} = V(\cdot, u) $ 를 만족시키며, 여기서 $ V(x,u) = U(x,u) - u $ 이고, 그 연속성과 컴팩턴스를 증명하는 것.
• 닫힘, 유계, 볼록인 부분집합 $ Y_\epsilon \subset L^{2\alpha}(G) $ 에서 샤페르의 고정점 정리를 적용하여 고정점, 즉 $ \phi \in \mathcal{H}^{c,\infty}(G) \cap C(G) $ 에서의 해 존재성을 확보하는 것.

실험 결과

연구 질문

• RQ1 차원적 미분 구조에 의존하지 않고 조화해석학을 통해 임의의 국소적으로 컴팩트한 아벨 군 위에서 소볼레프 공간을 의미 있게 정의할 수 있는가?
• RQ2 이러한 일반화된 설정에서 고전적 소볼레프 포함 및 릴리히-콘드라코프 컴팩턴스 정리의 유사판이 성립하는가?
• RQ3 일반화된 유클리드 보소닉 끈 방정식 $ \Delta e^{-c\Delta}\phi = U(x,\phi) $ 이 컴팩트 아벨 군 위의 연속함수 공간에서 해를 갖는가?
• RQ4 비선형성 $ U(x,\phi) $ 와 가중치 함수 $ \gamma $ 에 어떤 조건이 성립하면 고정점 방법을 통해 해의 존재성을 보장할 수 있는가?
• RQ5 집합 $ \Gamma $ 에 속하는 가중치 $ \gamma \in \Gamma $ 의 선택이 도출된 소볼레프 공간의 정규성과 임베딩 성질에 어떻게 영향을 미치는가?

주요 결과

• 조건 $ (1 + \gamma(\cdot)^2)^{-1} \in L^\delta(G^\wedge) $ 와 $ \delta > 1 $ 이 성립할 경우, $ s \in (\delta - \delta/\alpha, \delta) $ 에 대해 $ H^{c,\infty}(G) \hookrightarrow H^s_\gamma(G) \hookrightarrow L^{2\alpha}_{\mu_G}(G) $ 가 성립함을 증명하였다.
• 푸리에 승수 $ (1 + \gamma(\xi)^2 e^{c\gamma(\xi)^2})^{-1} $ 를 통해 정의된 선형 연산자 $ L_c $ 는 유계이며 영핵을 가지며, $ \|u_g\|_{\mathcal{H}^{c,\infty}(G)} = \|g\|_{L^2_{\mu_G}(G)} $ 를 만족한다.
• 가정 조건 $ \|h\|_{L^2_{\mu_G}(G)} $ 가 작고, $ \frac{|\xi(h) - 1|}{(1 + \gamma(\xi)^2)^{\delta - \delta/\alpha}} \to 0 $ 이 $ G^\wedge $ 전역에서 균일하게 성립할 경우, 비선형 문제 $ \Delta e^{-c\Delta}\phi = U(x,\phi) $ 는 $ \phi \in \mathcal{H}^{c,\infty}(G) \cap C(G) $ 에서 해를 가진다.
• 해법 $ \mathcal{G} $ 는 컴팩트하고 연속적이며, 이는 $ L^{2\alpha}_{\mu_G}(G) $ 에서 샤페르의 고정점 정리 적용이 가능하게 한다.
• $ s \in (\delta - \delta/\alpha, \delta) $ 에 대해 임베딩 $ H^s_\gamma(G) \hookrightarrow\hookrightarrow L^{2\alpha}_{\mu_G}(G) $ 가 성립하며, 이는 고정점 추론에서 컴팩턴스를 확보하는 데 필수적이다.
• 이 이론은 $ \mathbb{R}^n $ 과 $ \mathbb{T}^n $ 에서의 고전적 소볼레프 공간과 일치하며, $ \gamma(\xi) = \|\xi\|_p $ 일 때 $ p $-진 소볼레프 공간을 포함하여 광범위한 적용 가능성을 보여준다.