[论文解读] Tensor product in symmetric function spaces

С. В. Асташкин|ArXiv.org|Dec 29, 1998

Advanced Harmonic Analysis Research参考文献 13被引用 15

一句话总结

本文引入对称函数空间的乘子空间概念，研究 Lorentz 与 Lorentz-Zygmund 空间中张量积算子 $ B(x,y)(s,t) = x(s)y(t) $ 的有界性。通过刻画 $ B $ 在 $ L_{pr} \times L_{pq} $ 上的精确像，扩展了 O’Neil 定理，表明当 $ p < r \leq q $ 时，算子映射进入严格小于 $ L_{ps} $ 的空间，从而解决了当 $ r^{-1} + q^{-1} - p^{-1} < 0 $ 时理论中的关键空白。主要贡献在于构造了精确的 Lorentz-Zygmund 目标空间 $ E(p,r,q) = L_{ps} \cap L_{pq}(\log L)^\alpha $，其中 $ \alpha = r^{-1} - p^{-1} $，该空间捕捉了张量积的精确像。

ABSTRACT

A concept of multiplicator of symmetric function space concerning to projective tensor product is introduced and studied. This allows to obtain some concrete results. In particular, the well-known theorem of R. O'Neil about the boundedness of tensor product in the Lorentz spaces L_{p,q} is discussed.

研究动机与目标

• 将 O’Neil 在 Lorentz 空间 $ L_{pq} $ 中关于张量积算子 $ B(x,y)(s,t) = x(s)y(t) $ 有界性的定理推广至经典条件不成立的情形，特别是当 $ r^{-1} + q^{-1} - p^{-1} < 0 $ 时。
• 定义并研究对称函数空间 $ E $ 的乘子空间 $ M(E) $，其刻画满足对所有 $ y \in E $ 都有 $ x \otimes y \in E(I \times I) $ 的函数 $ x $。
• 确定最小的对称空间 $ E $，使得张量积 $ B $ 有界映射 $ L_{pr} \times L_{pq} \to E(I \times I) $，尤其在 $ r > p $ 时。
• 利用复插值法与 Lorentz-Zygmund 空间 $ L_{pq}(\log L)^\alpha $，对 $ B $ 的像进行精细化刻画，实现对任意正幂次对数项的精确性。

提出的方法

• 引入对称空间 $ E $ 的乘子空间 $ M(E) $，定义为所有满足对所有 $ y \in E $ 都有 $ x \otimes y \in E(I \times I) $ 的函数 $ x $ 的集合，配备算子范数 $ \|x\|_{M(E)} = \sup_{\|y\|_E \leq 1} \|x \otimes y\|_{E(I \times I)} $。
• 利用复插值法分析 $ B $ 的有界性，借助插值性质：若 $ B $ 在两对空间上有界，则在插值对上也有界。
• 应用引理 2.3 的插值结果，即在特定条件下 $ [L_{p_0,q_0}(\log L)^{\alpha_0}, L_{p_1,q_1}(\log L)^{\alpha_1}]_\theta \simeq L_{pq}(\log L)^\alpha $。
• 利用基本函数与伸缩算子范数，推导 $ M(E) $ 的上下界估计，从而在特定情形（如 Lorentz 空间）中实现显式计算。
• 使用形如 $ \psi_{p\alpha}(u) = u^{-1/p} \ln^{-\alpha}(e/u) $ 的测试函数，验证结果的精确性，尤其在证明 $ B $ 不映射到 $ L_{pq}(\log L)^\beta $（当 $ \beta > r^{-1} - p^{-1} $）时。

实验结果

研究问题

• RQ1 对于固定的 $ p, r, s $ 满足 $ r \leq s $，$ L_{p q^*} $ 是否是使得 $ B: L_{pr} \times E \to L_{ps}(I \times I) $ 有界的最大对称空间 $ E $？
• RQ2 对于固定的 $ p, r, q $ 满足 $ r \leq q $，$ L_{p s^*} $ 是否是使得 $ B: L_{pr} \times L_{pq} \to E(I \times I) $ 有界的最小对称空间 $ E $？
• RQ3 当 $ r^{-1} + q^{-1} - p^{-1} < 0 $ 时，张量积 $ B: L_{pr} \times L_{pq} \to E(I \times I) $ 的像能否被精确刻画？此情形未被 O’Neil 定理覆盖。
• RQ4 当 $ p < r \leq q $ 时，$ B $ 的精确目标空间是什么？它与 $ L_{ps} $ 或 $ L_{pq}(\log L)^\alpha $ 有何不同？

主要发现

• 本文在 $ p < r = s $ 的情况下，对问题 (a) 给出了肯定回答，表明 $ L_{p q^*} $ 确实是使得 $ B: L_{pr} \times E \to L_{ps}(I \times I) $ 有界的最大空间 $ E $。
• 当 $ p < r \leq q $ 时，张量积 $ B $ 映射进入空间 $ E(p,r,q) = L_{ps} \cap L_{pq}(\log L)^\alpha $，其中 $ \alpha = r^{-1} - p^{-1} $，该空间严格小于 $ L_{ps} $，也严格小于 $ L_{pq}(\log L)^\alpha $，从而对问题 (b) 否定回答。
• 定理 2.1 表明，当 $ 1 < p < \infty $，$ p < r \leq q \leq \infty $，且 $ s^{-1} = r^{-1} + q^{-1} - p^{-1} $，$ \alpha = r^{-1} - p^{-1} $ 时，有 $ B: L_{pr} \times L_{pq} \to E(p,r,q)(I \times I) $ 有界。
• 定理 2.5 证明了 $ B $ 不映射到 $ L_{pq}(\log L)^\beta $（对任意 $ \beta > r^{-1} - p^{-1} $），表明对数因子 $ (\log L)^{r^{-1} - p^{-1}} $ 的精确性可达到任意正幂次对数项。
• 推论 2.7 显式构造了目标空间 $ E(p,r,q) = L_{ps} \cap L_{pq}(\log L)^\alpha $，该空间既不等于 $ L_{ps} $ 也不等于 $ L_{pq}(\log L)^\alpha $，证明了交集在精确性中的必要性。
• 当 $ r = q = \infty $ 时，该情形为极端情况：$ L_{p\infty}(\log L)^{-1/p} $ 是使得 $ B: L_{p\infty} \times L_{p\infty} \to E(I \times I) $ 有界的最小对称空间 $ E $。