[论文解读] Local means and atoms in vector-valued function spaces

Benjamin Scharf|arXiv (Cornell University)|Mar 31, 2011

Advanced Harmonic Analysis Research参考文献 7被引用 5

一句话总结

本文建立了向量值Besov与Triebel-Lizorkin空间$B_{p,q}^s(E)$和$F_{p,q}^s(E)$的原子与夸克分解，将标量值表征推广至取值于复Banach空间$E$的函数。证明了若且唯若一个温和分布$f \in \mathcal{S}'(\mathbb{R}^n, E)$可表示为满足特定加权$\ell^{p,q}$-范数条件的原子或夸克的绝对收敛级数，则其属于这些空间，通过系数的下确界控制得到等价范数。

ABSTRACT

The first part of this paper deals with the topic of finding equivalent norms and characterizations for vector-valued Besov and Triebel-Lizorkin spaces. We will deduce general criteria by transferring and extending a theorem of Bui, Paluszynski and Taibleson from the scalar to the vector-valued case. By using special norms and characterizations we will derive necessary and sufficient conditions for belonging to a vector-valued function spaces. It will be shown that an element of the Schwartz space belongs to a function space if and only if it can be written as a linear combination of harmonic atoms resp. quarks with suitable conditions for the coefficients.

研究动机与目标

• 将Bui、Paluszyński与Taibleson的标量值定理推广至取值于复Banach空间$E$的向量值函数空间。
• 对Bui、Paluszyński与Taibleson定理的向量值类比提供严谨且详尽的证明，填补现有文献中的空白。
• 通过局部均值与原子/夸克表示，推导$B_{p,q}^s(E)$与$F_{p,q}^s(E)$成员资格的必要与充分条件。
• 通过加权$\ell^{p,q}$-空间中系数序列的下确界，建立这些函数空间的等价范数。

提出的方法

• 通过Banach空间值函数空间中的对偶性与可测选择论证，将Bui、Paluszyński与Taibleson的标量值定理推广至向量值情形。
• 定义$(M,p)_{K,L}$-原子与$(s,p)_{L}$-夸克为$\mathcal{S}(\mathbb{R}^n, E)$中具有消失矩与光滑性条件的局部化、光滑且紧支集的函数。
• 利用局部均值通过$\mathcal{S}(\mathbb{R}^n, E)$中$\|\cdot|L_p(E)\|$-范数下对极大函数与极大算子的点态控制来刻画函数空间成员资格。
• 通过将分布表示为加权系数$2^{\mu|\gamma|}$的原子与夸克的级数，构造原子与夸克分解，其中系数属于$\ell^{p,q}$-序列。
• 通过证明加权$\ell^{p,q}$-范数系数序列的下确界与原始函数空间范数等价，建立范数等价性。
• 利用Hardy-Littlewood极大算子的有界性与Bochner积分的性质，控制$L_p(E)$-范数并确保在$\mathcal{S}'(\mathbb{R}^n, E)$中收敛。

实验结果

研究问题

• RQ1 能否将标量值函数空间的原子与夸克分解推广至取值于复Banach空间$E$的向量值情形？
• RQ2 原子与夸克需满足何种精确条件，才能保证分布$f \in \mathcal{S}'(\mathbb{R}^n, E)$属于$B_{p,q}^s(E)$或$F_{p,q}^s(E)$？
• RQ3 如何通过加权$\ell^{p,q}$-空间中系数序列的下确界表征向量值函数空间的等价范数？
• RQ4 光滑性参数$s$、可积性$p$与可 summability $q$在决定原子与夸克所需矩与光滑性条件方面起何种作用？
• RQ5 $M$、$K$、$L$与$\mu$的条件如何影响原子与夸克分解的有效性？

主要发现

• 若且唯若分布$f \in \mathcal{S}'(\mathbb{R}^n, E)$可表示为$(M,p)_{K,-1}$-原子与$(s,p)_{K,L}$-夸克的和，且其系数满足$\sup_{\gamma} 2^{\mu|\gamma|}(\|\varrho^\gamma|b_{p,q}\| + \|\lambda^\gamma|b_{p,q}\|) < \infty$（对充分大的$\mu$），则$f$属于$B_{p,q}^s(E)$。
• $f$在$B_{p,q}^s(E)$中的范数等价于所有此类表示中加权$\ell^{p,q}$-系数序列范数的下确界。
• 对于$F_{p,q}^s(E)$，在相同系数条件下，$f$由$(M,p)_{K,-1}$-原子与$(s,p)_{K,L}$-夸克表示，且范数等价性仍成立。
• 原子与夸克所需光滑性与矩条件由参数决定：对$B_{p,q}^s(E)$，需$M > \sigma_p$，$K \geq \lfloor s \rfloor + 1$，$L \geq \lfloor \sigma_p - s \rfloor$；对$F_{p,q}^s(E)$，需$M > \sigma_{p,q}$，$K \geq \lfloor s \rfloor + 1$，$L \geq \lfloor \sigma_{p,q} - s \rfloor$。
• 证明表明夸克分解有效，因为$(s,p)_{L}$-夸克对所有$K \in \mathbb{N}_0$也是$(s,p)_{K,L}$-原子，从而可构造一般原子表示。
• 通过极大算子的有界性与Bochner积分的性质建立范数等价性，确保在温和分布拓扑中收敛并控制$L_p(E)$-范数。