[논문 리뷰] Vector valued $q$-variation for differential operators and semigroups I

Guixiang Hong, Tao Ma|arXiv (Cornell University)|2014. 11. 05.

Advanced Harmonic Analysis Research참고 문헌 33인용 수 3

한 줄 요약

이 논문은 마팅게일 코타입 $q_0$를 갖는 바나흐 공간에서 미분 연산자와 대칭 확산 세미군에 대해 벡터 값 $q$-변동부등식을 수립하며, 피지에르와 쑹의 마팅게일 결과를 일반화하고 조화 분석 및 에르고딕 이론에서의 고전적 변동부등식을 확장한다. 주요 기여는 이러한 부등식에 대해 라데마처 코타입 $q$가 필수적임을 보이고, 결과적으로 바나흐 공간의 기하적 성질에 따라 점별 수렴 속도의 정량적 비율을 제공한다는 것이다.

ABSTRACT

In this paper, we establish $\mathcal B$-valued variational inequalities for differential operators, ergodic averages and symmetric diffusion semigroups under the condition that Banach space $\mathcal B$ has martingale cotype property. These results generalize, on the one hand Pisier and Xu's result on the variational inequalities for $\mathcal B$-valued martingales, on the other hand many classical variational inequalities in harmonic analysis and ergodic theory. Moreover, we show that Rademacher cotype $q$ is necessary for the $\mathcal B$-valued $q$-variational inequalities. As applications of the variational inequalities, we deduce the jump estimates and obtain quantitative information on the rate of convergence. It turns out the rate of convergence depends on the geometric property of the Banach space under consideration, which considerably improve Cowling and Leinert's result where it is shown that the convergence always holds for all Banach spaces.

연구 동기 및 목표

• 조화 분석 및 에르고딕 이론에서의 스칼라 값 변동부등식을 바나흐 공간 기하학을 활용하여 벡터 값 설정으로 확장하는 것.
• 세미군과 연도 연산자에 대해 $\mathcal{B}$-값 $q$-변동부등식이 성립하기 위한 기하적 조건—마팅게일 코타입 $q_0$—를 규명하는 것.
• 세미군과 미분 연산자에 대해 점별 수렴 속도의 정량적 추정을 제공하여, 코울링과 레인의 일반 수렴 결과를 향상시키는 것.
• 점프 추정을 유도하고 이를 $q$-변동부등식 노름과 연결하여 지수 $q$의 정밀도를 보여주는 것.

제안 방법

• 바나흐 공간 $\mathcal{B}$ 내의 가족 $(a_t)_{t>0}$ 에 대해, 증가하는 시간의 수열에 대한 최댓값을 통한 $V_q(\mathcal{B})$-노름을 도입한다.
• 바나흐 공간 $\mathcal{B}$ 의 마팅게일 코타입 성질을 활용하여, 피지에르와 쑹의 마팅게일 $q$-변동부등식을 미분 연산자와 대칭 확산 세미군에 적용한다.
• 수축적으로 정규화된 세미군 이론과 밀도 추론을 적용하여 $L^p$-유계성을 $L^p(\Omega; \mathcal{B})$-값 연산자로 확장한다.
• $\lambda$-점프 함수 $N(a,\lambda)$ 를 사용하여 $\lambda$ 를 초과하는 점프 수에 대한 $L^p$-추정을 도출하고, 이를 $V_q(\mathcal{B})$-노름과 연결한다.
• 보간 이론을 적용하며, $\mathcal{B}$ 가 힐베르트 공간과 마팅게일 코타입 $q_1 > q_0$ 를 갖는 다른 바나흐 공간 사이의 보간 공간임을 가정한다.
• 평균 에르고딕 정리를 적용하여 $L^p(\Omega)$ 를 분해하고 $\mathcal{B}$-노름에서의 개별 에르고딕 수렴을 도출한다.

실험 결과

연구 질문

• RQ1 어떤 기하적 조건에서 바나흐 공간 $\mathcal{B}$ 가 마팅게일 코타입 $q_0$ 를 갖는다 하더라도, $\mathcal{B}$-값 $q$-변동부등식이 미분 연산자와 세미군에 대해 성립하는가?
• RQ2 라데마처 코타입 $q$ 조건이 이러한 부등식에 필수적인가? 그리고 이를 약화시킬 수 있는가?
• RQ3 $T_t f$ 가 $t \to 0^+$ 또는 $t \to \infty$ 로 갈 때 점별 수렴 속도에 대해 변동부등식이 정량적 정보를 제공할 수 있는가?
• RQ4 점프 추정은 $V_q(\mathcal{B})$-노름과 어떻게 관련되어 있으며, 지수 $q$ 의 정밀도는 어떠한가?
• RQ5 수렴 속도가 바나흐 공간의 기하학적 성질에 따라 달라지는 정도는 어떠한가? 즉, 모든 공간에서 균일한가가 아니라 공간의 기하학적 성질에 따라 달라지는가?

주요 결과

• 바나흐 공간 $\mathcal{B}$ 가 마팅게일 코타입 $q_0$ 를 갖는다 하더라도, $2 \leq q_0 < \infty$ 이고 $q > q_0$ 라면, $\mathcal{B}$-값 $q$-변동부등식은 미분 연산자와 대칭 확산 세미군에 대해 성립한다.
• 라데마처 코타입 $q$ 조건은 $\mathcal{B}$-값 $q$-변동부등식이 성립하기 위해 필수적임을 힐베르트 공간 사례에서의 정밀도를 통해 보였다.
• 점프 추정 $\left\| \omega \mapsto N((T_t f)(\omega), \lambda)^{1/q} \right\|_p \lesssim \|f\|_{L^p(\mathcal{B})}/\lambda$ 는 $q > q_0$ 에 대해 성립하며, $\mu\{\omega : N(\cdot, \lambda) > K\} \lesssim \|f\|_{L^p(\mathcal{B})}^{p} / (\lambda^p K^{p/q})$ 를 만족한다.
• $t \to 0^+$ 일 때 $T_t f(\omega)$ 가 $f(\omega)$ 로 수렴하는 점별 수렴 속도와 $t \to \infty$ 일 때 $P_A f(\omega)$ 로 수렴하는 속도는 바나흐 공간 $\mathcal{B}$ 의 기하적 성질, 특히 마팅게일 코타입 $q_0$ 에 의해 정량적으로 제어된다.
• 결과적으로 코울링과 레인의 일반 수렴 결과를 향상시켜, 수렴 속도가 존재함을 넘어서 바나흐 공간의 기하학적 성질에 따라 달라짐을 보였다.
• $q < q_0$ 일 경우 변동부등식이 실패함을 보였으며, 이는 힐베르트 공간 사례에서 2-변동부등식이 실패함으로써 $q_0$ 의 정밀도를 입증한다.