[논문 리뷰] A weak-type inequality for non-commutative martingales and applications

Narcisse Randrianantoanina|ArXiv.org|2004. 09. 08.

Advanced Operator Algebra Research참고 문헌 26인용 수 4

한 줄 요약

이 논문은 von Neumann 대수에서 비가환 마팅글의 제곱 함수에 대한 약형 (1,1) 부등식을 수립한다. $L^1 \cap L^2$ 에 유계인 모든 마팅글이 두 개의 차분 수열로 분해될 수 있으며, 이들의 비가환 제곱 함수는 균일한 약형 (1,1) 및 강형 (2,2) 유계성을 만족함을 증명한다. 이 결과는 비가환 Burkholder-Gundy 부등식에서 상수의 최적 성장률을 도출하고, 비가환 $L\log L$ 공간에서의 약형 추정을 강화한다.

ABSTRACT

We prove a weak-type (1,1) inequality for square functions of non-commutative martingales that are simultaneously bounded in $L^2$ and $L^1$. More precisely, the following non-commutative analogue of a classical result of Burkholder holds: there exists an absolute constant $K>0$ such that if $\cal{M}$ is a semi-finite von Neumann algebra and $(\cal{M}_n)^{\infty}_{n=1}$ is an increasing filtration of von Neumann subalgebras of $\cal{M}$ then for any given martingale $x=(x_n)^{\infty}_{n=1}$ that is bounded in $L^2(\cal{M})\cap L^1(\cal{M})$, adapted to $(\cal{M}_n)^{\infty}_{n=1}$, there exist two \underline{martingale difference} sequences, $a=(a_n)_{n=1}^\infty$ and $b=(b_n)_{n=1}^\infty$, with $dx_n = a_n + b_n$ for every $n\geq 1$, \[ | (\sum^\infty_{n=1} a_n^*a_n)^{{1}/{2}}|_{2} + | (\sum^\infty_{n=1} b_nb_n^*)^{1/2}|_{2} \leq 2| x |_2, \] and \[ | (\sum^\infty_{n=1} a_n^*a_n)^{{1}/{2}}|_{1,\infty} + | (\sum^\infty_{n=1} b_nb_n^*)^{1/2}|_{1,\infty} \leq K| x |_1. \] As an application, we obtain the optimal orders of growth for the constants involved in the Pisier-Xu non-commutative analogue of the classical Burkholder-Gundy inequalities.

연구 동기 및 목표

• 마팅글 제곱 함수에 대한 브룩홀더의 고전적 약형 (1,1) 부등식의 비가환 해석을 수립하기 위해.
• 고전적 히친킨 부등식이 실패하는 비가환 $L^1$-공간으로의 약형 추정 확장을 해결하기 위해.
• 비가환 Burkholder-Gundy 부등식에서 상수의 최적 성장률을 $p \to 1^+$ 일 때 도출하기 위해.
• 약형 (1,1) 추정을 비가환 $L\log L$ 공간에서의 추정 강화에 적용하기 위해.
• 마팅글을 두 개의 성분으로 분해하여, 각 성분의 제곱 함수가 $L^2$ 및 약형-$L^1$ 노름을 동시에 통제하도록 하기 위해.

제안 방법

• 비가환 마팅글 $x = a + b$ 를 두 개의 마팅글 차분 수열 $a_n$, $b_n$ 으로 분해하여 $dx_n = a_n + b_n$ 이 되도록 한다.
• 비가환 $L^p$-노름과 비가환 제곱 함수를 $\left\| \left( \sum a_n^*a_n \right)^{1/2} \right\|_p$ 및 $\left\| \left( \sum b_n b_n^* \right)^{1/2} \right\|_p$ 를 통해 정의한다.
• 고전적 두브의 항등식과 마팅글 변환 기법의 비가환 해석을 적용하여 약형 (1,1) 유계성을 도출한다.
• 쌍대성과 보간 기법을 활용하여 $\mathcal{H}^p$-노름을 $L^p$-노름과 $L^{p'}$-MO 노름으로 연결한다. $1 < p < 2$ 일 때.
• 하아거룹의 근사 기법을 사용하여 유한 von Neumann 대수에서 일반적인 반유한 대수로 결과를 확장한다.
• 약형 추정을 비가환 $L\log L$ 공간에서의 유계성 강화에 적용하기 위해 쌍대성과 노름 등가성을 활용한다.

실험 결과

연구 질문

• RQ1 마팅글이 $L^1 \cap L^2$ 에 유계일 때 비가환 마팅글 제곱 함수에 대한 약형 (1,1) 부등식을 수립할 수 있는가?
• RQ2 비가환 Burkholder-Gundy 부등식에서 상수의 최적 성장률은 $p \to 1^+$ 일 때 어떻게 되는가?
• RQ3 약형 (1,1) 유계성이 비가환 $L\log L$ 공간에서의 추정을 강화하는 데 사용될 수 있는가?
• RQ4 비가환 마팅글이 두 개의 차분 수열로 분해되어, 각각의 제곱 함수가 $L^2$ 및 약형-$L^1$ 유계성을 동시에 만족시키는가?
• RQ5 비가환 $L^p$-노름 추정에서 상수는 $p \to 1^+$ 일 때 어떻게 행동하는가?

주요 결과

• 모든 마팅글 $x$ 가 $L^1 \cap L^2$ 에 유계일 때, 분해 $x = a + b$ 가 존재하여 $\left\| \left( \sum a_n^*a_n \right)^{1/2} \right\|_{1,\infty} + \left\| \left( \sum b_n b_n^* \right)^{1/2} \right\|_{1,\infty} \leq K \|x\|_1$ 를 만족하는 절대 상수 $K > 0$ 가 존재한다.
• 제곱 함수의 $L^2$-노름은 $\left\| \left( \sum a_n^*a_n \right)^{1/2} \right\|_2 + \left\| \left( \sum b_n b_n^* \right)^{1/2} \right\|_2 \leq 2\|x\|_2$ 를 만족한다.
• 비가환 Burkholder-Gundy 부등식에서 상수의 최적 성장률은 $p \to 1^+$ 일 때 $\alpha_p \approx (p-1)^{-1}$ 이다.
• 모든 $1 < p < 2$ 에 대해 $\mathcal{H}^p$ 의 쌍대 공간은 $L^{p'}\text{MO}$ 이며, 쌍대 부등식에서의 노름 $\lambda_q'$ 는 $q \to \infty$ 일 때 $\lambda_q' \approx q$ 라고 한다.
• 비가환 $L\log L$ 에 유계인 마팅글에 대해 $\mathcal{H}^1$-노름은 $\|x\|_{\mathcal{H}^1} \leq K + K\|x_\infty\|_{L\log L}$ 를 만족하며, 이는 [40]에서 제기된 추측을 확인한다.
• 하아거룹의 근사와 저운-주오의 확장 기법을 통해 결과는 일반적인 반유한 von Neumann 대수로 확장된다.