[논문 리뷰] On the R-boundedness of stochastic convolution operators

Jan van Neerven, Mark Veraar외 1명|arXiv (Cornell University)|2014. 04. 13.

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

한 줄 요약

이 논문은 범주형 랏티스에서 스칼라 값의 제곱 integrable 커널을 가진 확률적 콘볼루션 연산자의 R-유계성에 대한 특성화를 수립하며, 이는 관련된 결정론적 콘볼루션 연산자들의 제곱 커널에 대해 ℓ¹-유계성과 동치임을 보여준다. 주요 기여는 유사한 기하적 성질을 지닌 일부 UMD 범주형 랏티스, 예를 들어 $\ell^2(\ell^4)$에서조차도 R-유계성이 실패할 수 있음을 보여주는 반례를 제시한 것이다.

ABSTRACT

The $R$-boundedness of certain families of vector-valued stochastic convolution operators with scalar-valued square integrable kernels is the key ingredient in the recent proof of stochastic maximal $L^p$-regularity, $2

연구 동기 및 목표

• 일반적인 범주형 랏티스에서 스칼라 값의 제곱 integrable 커널을 가진 벡터 값의 확률적 콘볼루션 연산자의 R-유계성을 체계적으로 분석하는 것.
• 확률적 콘볼루션 가족의 R-유계성과 원래 커널의 제곱과 같은 커널을 가진 관련 결정론적 콘볼루션 연산자들의 ℓ¹-유계성 간의 정확한 동치관계를 확립하는 것.
• ℓ¹-유계성과 X-값의 하디-리틀우드 최대 함수의 유계성 간의 연결 고리 조사.
• UMD 범주형 랏티스에서 유형 2를 지닌 경우, 특히 $L^q$ 공간을 초월하여 확률적 최대 $L^p$-정규성의 성립 여부를 규명하는 것.
• UMD 범주형 랏티스에서 유형 2를 지닌 경우에도 R-유계성이 실패할 수 있음을 보여주는 반례를 구성하는 것.

제안 방법

• 저자들은 $\int_{\mathbb{R}_+} \sqrt{t} |k'(t)| \, dt \leq 1$ 를 만족하는 커널 $k$ 의 클래스 $\mathscr{S}$ 를 도입하여, 이는 $k \in L^2(\mathbb{R}_+)$ 이고 $k^2 \in \widetilde{\mathscr{K}}$ 를 보장하며, 이는 가중치에 따라 미분 가능성이 적분 가능한 커널의 클래스이다.
• 그들은 다음과 같은 동치관계를 확립한다: 확률적 콘볼루션 연산자 $\{S_k^H\}$ 의 집합이 R-유계일 필요충분조건은 관련된 결정론적 콘볼루션 연산자 $\{T_{k^2}\}$ 의 집합이 $\ell^1$-유계일 것임을 보였다.
• 분석은 $T_{k^2}$ 의 $\ell^1$-유계성과 X-값의 하디-리틀우드 최대 함수의 유계성 간의 연결 고리로 이어지며, 특히 $X$ 의 2-축소화의 쌍대공간의 하디-리틀우드 성질을 통해 이루어진다.
• 저자들은 $\ell^1$-유계성 문제를 쌍대공간에서 $\ell^\infty$-유계성으로 환원하기 위해 쌍대성 원리를 사용하였으며, 이는 $L^p(\mathbb{R}_+; X^2)$ 에서의 $\ell^1$-유계성이 $L^p(\mathbb{R}_+; (X^2)^*)$ 에서의 $\ell^\infty$-유계성과 동치임을 이용한 것이다.
• 반례는 $X = \ell^2(\ell^4)$ 를 사용하여 구성되었으며, 이의 2-축소화는 $\ell^1(\ell^2)$ 이고 쌍대공간은 $\ell^\infty(\ell^2)$ 이며, 이는 하디-리틀우드 성질을 만족하지 못함을 보였다.
• 결국 $\ell^\infty(\ell^2)$ 에서의 하디-리틀우드 성질 실패는 $L^2(\mathbb{R}; \ell^\infty(\ell^2))$ 에서의 함수를 구성함으로써 증명되었으며, 이는 최대 함수의 노름이 $N \to \infty$ 일 때 $\sqrt{N}/4$ 의 속도로 무한히 커짐을 의미하여, $\ell^1$-유계성이 실패함을 시사한다.

실험 결과

연구 질문

• RQ1 일반적인 범주형 랏티스에서 스칼라 값의 커널을 가진 확률적 콘볼루션 연산자의 R-유계성이 원래 커널의 제곱과 같은 커널을 가진 결정론적 콘볼루션 연산자들의 ℓ¹-유계성과 동치인가?
• RQ2 범주형 랏티스 $X$ 의 2-축소화의 쌍대공간의 하디-리틀우드 성질이 $X$ 상에서의 확률적 콘볼루션 연산자의 R-유계성을 보장하는가?
• RQ3 UMD 범주형 랏티스에서 유형 2를 지닌 경우, $L^q$ 공간을 초월하여 확률적 최대 $L^p$-정규성이 성립할 수 있는가?
• RQ4 $\ell^\infty(\ell^2)$ 에서의 하디-리틀우드 성질 실패는 $\ell^2(\ell^4)$ 가 확률적 콘볼루션의 R-유계성에 대한 반례가 되는가?
• RQ5 유형 2를 지닌 UMD 범주형 랏티스에서 확률적 콘볼루션 연산자의 R-유계성이 실패할 수 있는가?

주요 결과

• 스펙트럼 $\{S_k^H\}$ 가 $L^p(\mathbb{R}_+ \times \Omega; X)$ 에서 $2 < p < \infty$ 에 대해 R-유계일 필요충분조건은 관련된 결정론적 콘볼루션 연산자 $\{T_{k^2}\}$ 가 $L^{p/2}(\mathbb{R}_+; X^2)$ 에서 $\ell^1$-유계일 것임을 보였다.
• 유형 2를 지닌 범주형 랏티스 $X$ 에서 $X^2$ 의 쌍대공간이 하디-리틀우드 성질을 지닐 경우, $\{S_k^H\}$ 는 R-유계이며, 이는 이전의 $L^q$ 공간에 대한 결과를 일반화한 것이다.
• $\ell^\infty(\ell^2)$ 는 하디-리틀우드 성질을 만족하지 못함을 보였다. 이는 $L^2(\mathbb{R}; \ell^\infty(\ell^2))$ 에서의 함수를 구성함으로써 증명되었으며, 이 함수의 최대 함수의 노름이 $N \to \infty$ 일 때 $\sqrt{N}/4$ 의 속도로 증가함을 보였다.
• $k^2 \in \widetilde{\mathscr{K}}$ 인 $\{T_k\}$ 가 $L^p(\mathbb{R}_+; \ell^1(\ell^2))$ 에서 어떤 $1 < p < \infty$ 에 대해서도 $\ell^1$-유계성이 아님을 보였으며, 이는 $\ell^1$-유계성의 실패를 암시한다.
• 결국, $\{S_k^H\}$ 는 $L^p_{\mathscr{F}}(\mathbb{R}_+ \times \Omega; \gamma(H, \ell^2(\ell^4)))$ 에서 $L^p(\mathbb{R}_+ \times \Omega; \ell^2(\ell^4))$ 로의 R-유계성이 $2 < p < \infty$ 에 대해 실패함을 보였으며, 이는 UMD 범주형 랏티스에서 유형 2를 지닌 반례를 제공한다.
• 이 반례는 UMD 범주형 랏티스에서 유형 2를 지닌 경우에도 일반적으로 확률적 최대 $L^p$-정규성이 성립하지 않음을 보여주며, 공간이 다른 기하학적 측면에서 잘 조율되어 있더라도 그러한 성질이 보장되지 않음을 시사한다.