[논문 리뷰] Espaces de fonctions à moyenne fractionnaire intégrable sur les groupes localement compacts

Justin Feuto, Ibrahim Fofana외 1명|ArXiv.org|2008. 10. 07.

Advanced Harmonic Analysis Research참고 문헌 2인용 수 5

한 줄 요약

이 논문은 국소적으로 컴act한 $ \sigma $-compact한 군 $ G $ 위에서 바나흐 공간 $ L_{(q,p)}^{\tau}(G) $에 대해 대칭적 이웃의 평균을 기반으로 한 보다 다루기 쉬운 정의를 등가로 설정하고, 동차 유형의 비아벨 군으로 이를 확장한다. 주요 기여는 $ L^{\alpha,\infty}(G) $가 $ (L^q, L^p)^\alpha(G) $의 복소부분공간임을 증명하고, 이웃의 선택과 무관한 균일한 유계성을 확보하는 것이다.

ABSTRACT

Let $G$ be a locally compact group which is $σ$-compact, endowed with a left Haar measure $λ.$ Denote by $e$ the unit element of $G$, and by $B$ an open relatively compact and symmetric neighbourhood of $e$. For every $(p,q) $ belonging to $[ 1 ; +\infty ] ^{2}$, we give an equivalent and a priori more manageable definition of the Banach space $L_{(q,p)}^π(G),$ defined by R. C. Busby and H. A. Smith in \cite% {1}. In the case $G$ is a group of homogeneous type, we look at the subspaces $(L^{q},L^{p}) ^α(G)$ of the space $% L_{(q,p)}^π(G)$. Theses subspaces are extensions to non abelian groups of the spaces of functions with integrable mean, defined by I. Fofana in \cite{2}. Finally we show that $L^{α,+\infty}(G)$ is a complex subspace of $(L^{q},L^{p}) ^α(G)$.

연구 동기 및 목표

• 버스비와 스미스가 도입한 바나흐 공간 $ L_{(q,p)}^\pi(G) $에 대해 더 다루기 쉬운 등가 정의를 제공하는 것.
• 이전에 아벨 군에서 정의된 적분 가능한 분수 평균을 가진 함수의 개념을 국소적으로 컴 pact한 비아벨 군의 동차 유형으로 확장하는 것.
• $ (L^q, L^p)^\alpha(G) $가 $ L_{(q,p)}^\pi(G) $ 내부에서 어떻게 특징지어지는지, 특히 동차 군의 맥락에서 설명하는 것.
• $ L^{\alpha,\infty}(G) $가 $ (L^q, L^p)^\alpha(G) $의 복소부분공간임을 증명하고, 비아벨 군 위에서 레오플라츠 유형 공간 이론에 새로운 포함 관계를 설정하는 것.
• $ {}_B\|f\|_{q,p} $가 대칭적이고 유계된 이웃 $ B $의 선택과 무관하게 $ \|f\|_{q,p}^\pi $와 등가임을 보이는 것.

제안 방법

• 고정된 대칭적이고 유계된 항등원의 이웃 $ B $를 사용하여, $ y \in G $ 에 대해 $ \|f\chi_{yB}\|_q $ 의 평균을 기반으로 하는 새로운 노름 $ {}_B\|f\|_{q,p} $ 를 도입한다.
• 측도론적 추정과 커버링 추론을 통해 $ {}_B\|f\|_{q,p} $ 가 $ \|f\|_{q,p}^\pi $ 와 등가임을 증명하고, $ B $ 의 선택과 무관함을 보인다.
• 동차 노름 $ |\cdot| $, 확대 $ \delta_r $, 차원 $ \rho $ 를 갖는 동차 군의 구조를 이용하여 집합 $ E_n $ 의 특성 함수에 대한 스케일링 추정을 유도한다.
• 공간 $ B(e,r) $ 의 이진 분해를 적용하고, 동차 거리에서의 두뇌 부등식과 덮개 성질을 활용하여 $ y $ 에 대해 $ f\chi_{yB} $ 의 $ L^q $-노름을 추정한다.
• 스케일링 추정을 통해 $ \lambda(B(e,r))^{1/\alpha - 1/q - 1/p} \cdot {}_B\|f\|_{q,p} $ 에 대한 균일한 유계성을 도출하고, 이는 이진 스케일에서의 $ n $ 에 대한 감소를 보여주며, $ \alpha $-노름의 유한성을 이끌어낸다.
• 재배열 노름 $ \|f\|_{q,p}^* $ 와 레오플라츠 공간 이론을 활용하여 새로운 노름을 고전적 레오플라츠 공간과 연결하고, 포함 관계 $ L^{\alpha,\infty}(G) \subset (L^q, L^p)^\alpha(G) $ 를 증명한다.

실험 결과

연구 질문

• RQ1 국소적으로 컴 pact한 $ \sigma $-compact한 군에서 바나흐 공간 $ L_{(q,p)}^\pi(G) $ 는 대칭적 이웃에 대한 평균을 기반으로 한 더 다루기 쉬운 노름으로 재정의될 수 있는가?
• RQ2 이전에 아벨 군에서 정의된 적분 가능한 분수 평균을 가진 함수의 개념은 어떻게 비아벨 군의 동차 유형으로 확장될 수 있는가?
• RQ3 $ L^{\alpha,\infty}(G) $ 는 새로 정의된 공간 $ (L^q, L^p)^\alpha(G) $ 에 포함되는가? 만약 포함된다면 $ p, q, \alpha $ 에 대한 조건은 무엇인가?
• RQ4 $ {}_B\|f\|_{q,p} $ 는 대칭적이고 유계된 이웃 $ B $ 의 선택에 의존하는가, 아니면 모든 그러한 이웃에 대해 등가인가?
• RQ5 동차 군의 이진 분해에 따른 집합의 특성 함수에 대해 노름 $ \|f\|_{q,p,\alpha} $ 는 스케일링과 감소 특성에서 어떻게 행동하는가?

주요 결과

• 모든 대칭적이고 유계된 항등원의 이웃 $ B $ 에 대해 $ {}_B\|f\|_{q,p} $ 는 $ \|f\|_{q,p}^\pi $ 와 등가이며, 이는 $ B $ 의 선택과 무관함을 증명한다.
• $ {}_B\|f\|_{q,p} $ 를 노름으로 정의한 공간 $ (L^q, L^p)^\alpha(G) $ 는 잘 정의된 바나흐 공간이며, $ L_{(q,p)}^\pi(G) $ 와 등장하는 것으로, 더 다루기 쉬운 프레임워크를 제공한다.
• 동차 군의 경우, 모든 $ f \in L^{\alpha,\infty}(G) $ 에 대해 노름 $ \|f\|_{q,p,\alpha} $ 는 유한하며, 이는 $ \rho, \alpha, p, q, \gamma $ 와 군의 동차 구조에만 의존하는 균일한 유계성과 함께 성립한다.
• 모든 $ r > 0 $ 에 대해 추정식 $ \lambda(B(e,r))^{1/\alpha - 1/q - 1/p} \cdot {}_B\|f\|_{q,p} \leq C_4 (2^{-\rho(1/\alpha - 1/p)})^n $ 이 균일하게 성립하며, 이는 $ n $ 에 대해 지수적 감소를 보여주고, $ \alpha $-노름의 유한성을 암시한다.
• $ L^{\alpha,\infty}(G) \subset (L^q, L^p)^\alpha(G) $ 는 복소부분공간으로서 성립하며, 비아벨 동차 군 위에서 레오플라츠 공간 이론을 확장한다.
• 증명은 동차 차원 $ \rho $, 동차 노름 $ |\cdot| $, 그리고 거리의 삼각부등식을 제어하는 상수 $ \gamma $ 를 활용한 이진 분해와 스케일링 추정에 기반한다.