[논문 리뷰] On the numerical index of real $L_p(\mu)$-spaces

Miguel Martı́n, Javier Merí외 1명|arXiv (Cornell University)|2009. 03. 16.

Advanced Banach Space Theory참고 문헌 4인용 수 6

한 줄 요약

이 논문은 $p \neq 2$ 인 실수 $L_p(\mu)$-공간의 수치적 지수에 대해 양의 하한을 확립하여, $\mathcal{L}(L_p(\mu))$ 위에서 수치적 반경과 연산자 노름이 동치임을 증명한다. 핵심 결과는 $n(L_p(\mu)) \geq \frac{M_p}{12e}$이며, 여기서 $M_p = \max_{t \geq 1} \frac{|t^{p-1} - t|}{1 + t^p} > 0$ 이다. 이는 무한차원 실수 $L_p$-공간에서 $p \neq 2$ 인 경우 수치적 지수의 양성에 관한 열린 문제를 해결한다.

ABSTRACT

We give a lower bound for the numerical index of the real space $L_p(\\mu)$ showing, in particular, that it is non-zero for $p\ eq 2$. In other words, it is shown that for every bounded linear operator $T$ on the real space $L_p(\\mu)$, one has $$ \\sup{\\Bigl|\\int |x|^{p-1}\\sign(x) T x d\\mu \\Bigr| : x\\in L_p(\\mu), \\|x\\|=1} \\geq \\frac{M_p}{12\\e}\\|T\\| $$ where $M_p=\\max_{t\\in[0,1]}\\frac{|t^{p-1}-t|}{1+t^p}>0$ for every $p\ eq 2$. It is also shown that for every bounded linear operator $T$ on the real space $L_p(\\mu)$, one has $$ \\sup{\\int |x|^{p-1}|Tx| d\\mu : x\\in L_p(\\mu), \\|x\\|=1} \\geq \\frac{1}{2\\e}\\|T\\|. $$

연구 동기 및 목표

• 실수 $L_p(\mu)$-공간의 수치적 지수에 대해 $p \neq 2$ 인 경우 양의 하한을 확립함으로써 함수해석학 분야의 열린 문제를 다루는 것.
• 피네 및 리가 제기한 무한차원 실수 $L_p$-공간에서 수치적 지수의 양성에 관한 질문을 해결하는 것.
• 유한차원 $\ell_p^m$-공간에 대한 기존 결과를 무한차원 사례인 $L_p(\mu)$로 확장하는 것.
• 특정 연산자 $\ell_p^2$에서의 수치적 반경에서 유도되는 매개변수 $M_p = \max_{t \geq 1} \frac{|t^{p-1} - t|}{1 + t^p}$ 와 수치적 지수를 연결하는 정량적 추정을 제공하는 것.
• $p \neq 2$ 인 경우 $\mathcal{L}(L_p(\mu))$ 위에서 수치적 반경과 연산자 노름이 동치임을 보여주어 $n(L_p(\mu)) > 0$ 임을 의미하는 것.

제안 방법

• 수치적 반경과 연산자 노름 사이에 놓인 새로운 준노름을 $\mathcal{L}(L_p(\mu))$ 위에 도입하여, 이 세 양의 비교를 가능하게 한다.
• 수치적 반경을 $v(T) = \sup \left| \int x^\# T x \, d\mu \right|$ 로 표현하기 위해 $x^\# = |x|^{p-1} \operatorname{sign}(x)$ 의 쌍대성 쌍을 사용한다.
• 정규화된 $x \in L_p(\mu)$ 에 대해 수치적 반경의 하한을 추정하기 위해 $\|x\|_p = 1$ 인 단순 함수 $x = \sum_{j=1}^m a_j e^{i\theta_j} \chi_{A_j}$ 의 집합을 구성한다.
• $z_k \in \{-1, 1\}$ 을 사용한 대칭화 방법을 적용하여 적분 $\int x^\# T x \, d\mu$ 의 실수부를 $\sum_j a_j^{p-1} \left| \sum_k a_k z_k \alpha_{j,k} \right|$ 로 바운드한다.
• 실수 연산자 $T$ 의 복소화 $T_\mathbb{C}$ 를 활용하고, 복소수 $L_p$-공간에 대해 알려진 추정 $v(T_\mathbb{C}) \geq n(L_p^\mathbb{C}(\mu)) \|T_\mathbb{C}\| \geq \frac{1}{e} \|T\|$ 을 사용한다.
• 실수 및 복소수 추정을 조합하여, 함수 $M_p$ 의 볼록성과 극값 성질을 활용해 최종 하한 $n(L_p(\mu)) \geq \frac{M_p}{12e}$ 를 유도한다.

실험 결과

연구 질문

• RQ1 무한차원 실수 $L_p(\mu)$-공간의 수치적 지수는 $p \neq 2$ 인 경우 양인가?
• RQ2 수치적 지수에 대해 $p$ 를 변수로 하는 정량적 하한을 확립할 수 있는가?
• RQ3 $L_p(\mu)$ 의 수치적 지수와 그 유한차원 부분공간인 $\ell_p^m$ 의 수치적 지수는 어떻게 관련이 있는가?
• RQ4 $p \neq 2$ 인 경우 $\mathcal{L}(L_p(\mu))$ 위에서 수치적 반경과 연산자 노름이 동치인가?
• RQ5 $M_p = \max_{t \geq 1} \frac{|t^{p-1} - t|}{1 + t^p}$ 라는 매개변수는 수치적 지수의 하한을 유도하는 데 어떤 역할을 하는가?

주요 결과

• $1 < p < \infty$, $p \neq 2$ 인 모든 $p$ 에 대해 실수 $L_p(\mu)$-공간의 수치적 지수는 $n(L_p(\mu)) \geq \frac{M_p}{12e}$ 를 만족한다. 여기서 $M_p = \max_{t \geq 1} \frac{|t^{p-1} - t|}{1 + t^p}$ 이다.
• $p \neq 2$ 인 모든 $p$ 에 대해 $M_p > 0$ 이므로, 이는 $n(L_p(\mu)) > 0$ 이라는 것을 의미하며, 피네 및 리의 열린 질문을 해결한다.
• 이 결과는 $p \neq 2$ 인 경우 $\mathcal{L}(L_p(\mu))$ 위에서 수치적 반경과 연산자 노름이 동치임을 확인함을 의미한다. 즉, 어떤 $c_p > 0$ 에 대해 $v(T) \geq c_p \|T\|$ 가 성립한다.
• $\dim(L_p(\mu)) \geq 2$ 인 모든 경우에 대해 $n(L_p(\mu)) \leq M_p$ 이 성립하며, 등호가 성립할 가능성이 있음을 추측하지만, 이는 증명되지 않았다.
• 증명 기법은 복소화와 $\{-1, 1\}$-값을 가진 계수에 대한 대칭화를 활용하여 수치적 반경의 하한을 추정하는 데 기반한다.
• 기존의 유한차원 추정 $n(\ell_p^m) \geq \frac{M_p}{12e}$ 를 무한차원 사례로 확장하여 $n(L_p(\mu)) = \inf_m n(\ell_p^m)$ 임을 보여준다.