错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Decomposition and Traces of Weighted Mixed-Norm Besov Spaces

  • Michael Frazier

摘要

For \(\vec {p} = (p_1, p_2, \dots , p_n)\) p = ( p 1 , p 2 , , p n ) with \(0<p_i<\infty , 0<q< \infty \) 0 < p i < , 0 < q < , and \(\alpha \in \mathbb {R}\) α R , we consider the inhomogeneous weighted mixed-norm Besov spaces \(B^{\alpha , q}_{\vec {p}} (w, \mathbb {R}^n)\) B p α , q ( w , R n ) , where the weight w is a function of \(x_n\) x n only. We denote the unweighted space, where \(w=1\) w = 1 , as \(B^{\alpha , q}_{\vec {p}} (\mathbb {R}^n)\) B p α , q ( R n ) . Under the assumption that w belongs to the Muckenhoupt class \(A_{\max (1, p_n)}(\mathbb {R})\) A max ( 1 , p n ) ( R ) , we prove characterizations of the quasi-norm of \(f \in B^{\alpha , q}_{\vec {p}} (w)\) f B p α , q ( w ) in terms of an associated quasi-norm on the sequence of coefficients of f in various Littlewood-Paley and wavelet decompositions. We apply these results to show that if \(\gamma >0, \vec {p}= (p^{\, \prime }, p_{n+1}) \in (0, \infty )^{n+1}\) γ > 0 , p = ( p , p n + 1 ) ( 0 , ) n + 1 , and \(w \in A_{\max (1, p_{n+1})}(\mathbb {R})\) w A max ( 1 , p n + 1 ) ( R ) , the trace operator \(\begin{aligned}T: B^{\alpha , q}_{\vec {p}} (w, \mathbb {R}^{n+1}) \rightarrow B^{\alpha - \gamma /p_{n+1}, q}_{\vec {p}^{\, \prime }} (\mathbb {R}^n),\end{aligned}\) T : B p α , q ( w , R n + 1 ) B p α - γ / p n + 1 , q ( R n ) , is bounded if and only if the weight w satisfies \(\begin{aligned} w([0, 2^{-j}]) \ge C 2^{-j \gamma }\,\,\, \text{ for } \text{ all } \,\,\, j \in \mathbb {N},\end{aligned}\) w ( [ 0 , 2 - j ] ) C 2 - j γ for all j N , for a certain range of \(\alpha , \vec {p}, q\) α , p , q , and \(\gamma \) γ . Note that the loss \(\gamma /p_{n+1}\) γ / p n + 1 in the smoothness index from the domain to the co-domain of T is independent of \(p_1, \dots , p_n, q\) p 1 , , p n , q , and \(\alpha \) α . If also there exists \(C>0\) C > 0 such that \(w([0, 2^{-j}]) \le C 2^{-j \gamma }\) w ( [ 0 , 2 - j ] ) C 2 - j γ for all \(j \in \mathbb {N}\) j N , then there exists a linear, bounded extension operator \(E: B^{\alpha - \gamma /p_{n+1}, q}_{\vec {p}^{\, \prime }} (\mathbb {R}^n) \rightarrow B^{\alpha , q}_{\vec {p}} (w, \mathbb {R}^{n+1})\) E : B p α - γ / p n + 1 , q ( R n ) B p α , q ( w , R n + 1 ) such that \(T\circ E\) T E is the identity on \(B^{\alpha - \gamma /p_{n+1}, q}_{\vec {p}^{\, \prime }} (\mathbb {R}^n)\) B p α - γ / p n + 1 , q ( R n ) .