An equivalence theorem for a $K$-functional constructed by Beltrami-Laplace operator on symmetric spaces (Q2210495)

The $K$-method of interpolation takes two Banach spaces \(X_0,X_1\) and uses them to generate new spaces \((X_0,X_1)_{\theta,q}\) which have the interpolation property, that is, every linear operator which is bounded on \(X_0\) and \(X_1\), is bounded on \((X_0,X_1)_{\theta,q}\). Peetre's $K$-functional for \(f \in X_0 +X_1\) and \(\delta>0\) is \[ K(f,\delta,X_0,X_1):= \inf\{ \Vert f_0 \Vert_{X_0} +\delta \Vert f_1 \Vert_{X_1} : f=f_0+f_1 \}. \] Peetre's interpolation spaces \((X_0,X_1)_{\theta,q}\), for \(0<\theta<1$, $0<q \leq \infty \) are given by \[ \vert f\vert_{(X_0,X_1)_{\theta,q}}= \biggl(\int_0^\infty [\delta^{-\theta}K(f,\delta,X_0,X_1)]^q \frac{d\delta}{\delta} \biggr)^{1/q} \] if \(q<\infty \) and \[ \vert f\vert_{(X_0,X_1)_{\theta,q}} = \sup_{\delta >0} \delta^{-\theta}K(f,\delta,X_0,X_1) \] if \(q=\infty\). The author works on a noncompact rank one Riemannian symmetric space \(X\) and the pair \((L^2(X),W_2^m(X))\), where \(W_2^m(X)\) is the Sobolev space constructed by the Beltrami-Laplace operator \(\Delta\), \(W_2^m(X)):=\{ f \in L^2(X): \Delta^j f \in L^2(X)$, $j=1,2,\dots ,m\}\). The author shows: \((L^2(X), W_2^m(X))_{\theta,q}=B_{2,q}^\alpha (X) \), where \(B_{2,q}^\alpha (X)\) are defined for \(0<\alpha<m\) and \(0<q\leq \infty\) as the set of \(f \in L^2(X)\) so that \(\vert f\vert_{B_{2,q}^\alpha (X)}:=(\int_0^\infty [\delta^{-2\alpha}w_m(f,\delta) ]^q \frac{d\delta}{\delta})^{1/q}\) if \(q<\infty\). Here, \(w_m(f,\delta):= \sup_{0<h\leq \delta } \{\Vert (S^h-I)^m f\Vert_2\} \), \(S^h\) being the generalized translation operator of the Riemannian structure. The proof relies on the Helgason-Fourier transform.