[论文解读] Uniform openness of multiplication in Banach spaces $L_p$

Marek Balcerzak, Adam Majchrzycki+1 more|arXiv (Cornell University)|Sep 13, 2013

Advanced Banach Space Theory参考文献 2被引用 3

一句话总结

本文建立了在 $L_p$ 和 $\sigma$-有限测度空间中乘法映射的一致开性，证明了当 $p \in [1,\infty)$ 且 $q$ 是 $p$ 的共轭指数时，双线性映射 $L_p \times L_q \to L_1$ 一致开，且具有定量下界 $\delta = \varepsilon^2/4$。此外，该结果被推广至序列空间 $\ell_1 \times c_0 \to \ell_1$，证明其一致开性且 $\delta = \varepsilon^2/16$，从而强化了此前关于巴拿赫函数空间中乘法开性结果的结论。

ABSTRACT

We show that multiplication from $L_p imes L_q$ to $L_1$ (for $p,q\in [1,\infty]$, $1/p+1/q=1$) is a uniformly open mapping. We also prove the uniform openness of the multiplication from $\ell_1 imes c_0$ to $\ell_1$. This strengthens the former results obtained by M. Balcerzak, A. Majchrzycki and A. Wachowicz.

研究动机与目标

• 建立共轭指数 $p, q$ 满足 $1/p + 1/q = 1$ 的乘法映射 $L_p \times L_q \to L_1$ 的一致开性。
• 将一致开性结果推广至序列空间情形，特别是 $\ell_1 \times c_0 \to \ell_1$。
• 为一致开性模提供定量估计，改进先前的定性开性结果。
• 通过测度论与可求和性技术，将实直线上的统一开性引理（引理1）推广至函数空间与序列空间。
• 证明即使在非自反且非局部凸的设定下（如 $\ell_1 \times c_0$），一致开性性质依然成立。

提出的方法

• 利用关于 $\mathbb{R}$ 上乘法一致开性的关键引理（引理1），其提供了一个定量下界 $\delta = rR/4$，适用于区间情形。
• 应用引理3，通过具有有限测度支集和一致有界的简单函数逼近 $L_1$ 函数。
• 在 $L_p$ 和 $L_q$ 中使用可列取值函数，将问题约化为有限维或简单函数情形。
• 构造 $f$ 和 $g$ 的扰动 $u$ 和 $v$，使得 $uv$ 能逼近 $fg$ 附近任意 $h$ 的小 $L_1$-球内元素，基于 $h - fg$ 支集的性质进行分情况讨论。
• 在 $\ell_1 \times c_0$ 情形中，应用引理6控制扰动的 $\ell_Σ$-范数，该引理针对尾部单调递减的级数。
• 基于集合 $\{n : h_n \neq f_n g_n\}$ 为有限或无限，进行情况区分，并在每种情况下使用定制参数 $r_k, R_k$ 应用引理1。

实验结果

研究问题

• RQ1 对于满足 $1/p + 1/q = 1$ 的共轭指数 $p, q$，乘法映射 $L_p \times L_q \to L_1$ 是否一致开？
• RQ2 $\ell_1 \times c_0 \to \ell_1$ 中乘法的一致开性是否可建立显式的定量模？
• RQ3 能否通过测度论与可求和性论证，将 $\mathbb{R}$ 上的一致开性性质推广至 $L_p$ 与序列空间？
• RQ4 一致开性模是否可由 $\varepsilon$ 的函数（如 $\varepsilon^2/4$ 或 $\varepsilon^2/16$）下界控制？
• RQ5 $c_0$-结构在序列空间情形中确保一致开性的角色是什么？

主要发现

• 对于 $p \in [1,\infty)$ 且 $q$ 是 $p$ 的共轭指数，乘法映射 $L_p \times L_q \to L_1$ 一致开，且一致开性模满足 $\operatorname{B}_1(fg, \varepsilon^2/4) \subseteq \operatorname{B}_p(f,\varepsilon) \cdot \operatorname{B}_q(g,\varepsilon)$。
• 在 $\ell_1 \times c_0 \to \ell_1$ 情形中，乘法的一致开性已确立，模为 $\delta = \varepsilon^2/16$，即 $\operatorname{B}_1(xy, \varepsilon^2/16) \subseteq \operatorname{B}_1(x,\varepsilon) \cdot (\operatorname{B}_\infty(y,\varepsilon) \cap c_0)$。
• 证明依赖于将差值 $h - fg$ 分解为有限支集与无限支集两部分，并在每种情形下使用精心选择的参数 $r_k, R_k$ 应用引理1。
• 对于在 $L_1$ 中接近 $fg$ 的 $h$，构造可得 $u \in \operatorname{B}_p(f,\varepsilon)$ 且 $v \in \operatorname{B}_q(g,\varepsilon)$，使得 $uv = h$，且当 $g \in c_0$ 时 $v$ 属于 $c_0$。
• 引理6的使用确保了在无限支集情形下的可求和性控制，保证了 $\|v - y\|_\infty < \varepsilon$ 且 $\|u - f\|_1 < \varepsilon$。
• 该结果通过提供与点 $(f,g)$ 无关的一致模，强化了先前的开性结果，解决了巴拿赫空间中双线性映射文献中的一处空白。