[논문 리뷰] Vector Valued Transference

Earl Berkson, T. A. Gillespie외 1명|arXiv (Cornell University)|2020. 03. 17.

Advanced Harmonic Analysis Research참고 문헌 11인용 수 4

한 줄 요약

이 논문은 고전적 전달 원리의 벡터 값 확장판을 제안하여, 바나흐 공간 간을 작용하는 연산자 값 커널을 가진 연산자의 유계성 추정을 가능하게 한다. 군 표현과 상호연결 조건을 활용함으로써, 연산자 노름이 벡터 값 레베그 공간에서 커널의 커플로니에이션 노름에 의해 제어됨을 증명하며, 스칼라 커널 결과를 연산자 값 설정으로 일반화한다. 이는 UMD 공간과 가중 불등식에의 응용을 포함한다.

ABSTRACT

Our principal result is the following. Let $X$ and $Y$ be Banach spaces, let $G$ be a locally compact abelian group, and let $K$ be an operator valued kernel defined on $G$ with values in the space of bounded linear operators from $X$ to $Y$. Suppose that $R$ and $ ilde{R}$ are representations of $G$ on $X$ and $Y$ respectively that intertwine the values of $K$. Then, under suitable boundedness conditions on $R, ilde{R}$ and $K$, the formula $$T_Kx = \int_GK(u)R_{-u}xdu $$ defines a bounded linear operator $T_K$ from $X$ to $Y$ with norm controlled by norm of convolution by $K$ as a mapping from $L^p_X(G)$ into $L^p_Y(G)$, (for all values of $p$ in the range $1\le p < \infty$.) A number of applications to the geometry of Banach spaces are given. Several results are proved in the setting of abstract commutative harmonic analysis. We outline the proof of the affirmative resolution of a conjecture of Rubio de Francia. This technique of transference is used to obtain dimension free estimates for certain operators in an $\Bbb{R}^n$ setting.

연구 동기 및 목표

• 스칼라 커널 전달을 연산자 값 커널으로 일반화하는 벡터 값 전달 이론을 개발하는 것.
• 군 표현과 상호연결 커널을 통한 적분 연산자의 노름 제어를 확립하는 것.
• 바나흐 공간 설정에서 최대 함수, 제곱 함수, 리틀우드-파일리 불등식에 관한 이전 결과들을 통합하고 확장하는 것.
• UMD 공간에서 유형 및 코유형 성질의 전달 증명을 제공하고, 일반화된 루비오 데 프랑시아 불등식을 만족하는 공간을 특성화하는 것.
• 전달 기법을 통해 루비오 데 프랑시아의 가중 불등식에 대한 추측을 해결하는 것.

제안 방법

• 지그룹 $ G $ 위에서 $ L^1 $-값을 가진 연산자 커널 $ K $ 에 대해 연산자 $ T_K = \int_G K(u) R_{-u} du $ 를 정의한다.
• 연산자 $ R $ 이 공간 $ X $ 에서, $ \tilde{R} $ 이 공간 $ Y $ 에서 강한 연속성과 균일 유계성을 가지며, 모든 $ u,v \in G $ 에 대해 $ K(u) R_v = \hat{R}_v K(u) $ 를 만족한다고 가정한다.
• 보흐너 적분 이론을 활용하여 $ T_K \in \mathcal{L}(X,Y) $ 를 확보하고, 모든 $ 1 \leq p < \infty $ 에 대해 노름 추정 $ \|T_K\| \leq c_1 c_2 N_{p,X,Y}(K) $ 을 유도한다.
• 컨볼루션 연산자 $ L^p_X(G) \to L^p_Y(G) $ 에서의 유계성 전달을 통해 $ X \to Y $ 에서의 작용으로의 전달 원리를 적용한다.
• 가중 노름 불등식과 $ A_p $-가중치 이론을 활용하여 결과를 마쿠엔하우프트 가중치로 확장하며, 특히 $ -1 < \alpha < p-1 $ 인 $ |x|^\alpha $ 를 포함한다.
• 캘러존드-지그문운드 연산자 및 그 최대 함수에 관한 알려진 결과를 활용하여, 가중 설정에서의 핵심 노름 추정을 검증한다.

실험 결과

연구 질문

• RQ1 고전적 전달 원리는 바나흐 공간 간을 연결하는 연산자 값 커널로 확장될 수 있는가?
• RQ2 군 표현과 커널의 상호연결 조건이 유도된 적분 연산자의 유계성을 보장하기 위해 어떤 조건이 필요한가?
• RQ3 벡터 값 전달은 바나흐 공간의 기하적 성질, 예를 들어 유형과 코유형을 증명하는 데 어떻게 활용될 수 있는가?
• RQ4 임의의 간격에 대해 일반화된 루비오 데 프랑시아 리틀우드-파일리 불등식이 성립한다면, 이는 모든 $ 1 \leq p < 2 $ 에 대해 유형 $ p $ 를 의미하는가?
• RQ5 전달 기법을 활용하여 루비오 데 프랑시아의 가중 최대 함수에 대한 추측을 해결할 수 있는가?

주요 결과

• 벡터 값 전달 결과는 $ \|T_K\| \leq c_1 c_2 N_{p,X,Y}(K) $ 를 보장하며, 여기서 $ N_{p,X,Y}(K) $ 는 $ L^p_X(G) $ 에서 $ L^p_Y(G) $ 로의 커플로니에이션에 대한 연산자 노름이다. 이는 모든 $ 1 \leq p < \infty $ 에 대해 유효하다.
• 전달 방법을 통해 모든 UMD 공간가 비자명한 라데마처 유형과 코유형을 가짐을 새롭게 증명하며, 이는 연산자 이론을 통한 잘 알려진 기하적 성질의 확인이다.
• 만약 $ X $-값 함수에 대해 임의의 간격에서 루비오 데 프랑시아 리틀우드-파일리 불등식이 성립한다면, $ X $ 는 모든 $ p \in [1,2) $ 에 대해 유형 $ p $ 을 가진다.
• 논문은 캘러존드-지그문운드 연산자에 대해 커널 $ k_0(t) = |t|^{-1+i\gamma} $ 과 $ k_1(t) = t^{-1} $ 을 가진 최대 함수에 대해 차원에 의존하지 않는 가중 $ L^p $ 추정을 증명하며, 가중치는 $ |x|^\alpha $, $ -1 < \alpha < p-1 $ 이다.
• 루비오 데 프랑시아의 가중 최대 함수에 대한 추측은 개발된 전달 프레임워크를 통해 긍정적으로 해결된다.
• 차원에 의존하지 않는 상수를 가진 $ \sup_\varepsilon |C^{0}_{K,\varepsilon}f| $ 과 $ \left( \sum_j |C^j_{K,\varepsilon}f|^2 \right)^{1/2} $ 에 대한 가중 노름 불등식이 확립된다.