Interpolation between domains of powers of operators in quaternionic Banach spaces

Fabrizio Colombo,Peter Schlosser

2024-02-16

Abstract:In contrast to the classical complex spectral theory, where the spectrum is related to the invertibility of $\lambda-A:D(A)\subseteq X_\mathbb{C}\rightarrow X_\mathbb{C}$, in the noncommutative quaternionic $S$-spectral theory one uses the invertibility of the second order polynomial $Q_s(T):=T^2-2\text{Re}(s)T+|s|^2:D(T^2)\subseteq X\rightarrow X$ to define the $S$-spectrum, where $X$ is a quaternionic Banach space. In this paper we will consider quaternionic operators $T$, for which at least one ray $\{te^{i\omega}\;|\;t>0\}$, $\omega\in[0,\pi]$, $i\in\mathbb{S}$ is contained in the $S$-resolvent set, and the inverse operator $Q_s^{-1}(T)$ admits certain decay properties on this ray. Utilizing the $K$-interpolation method, we then demonstrate that the domain $D(T^k)$ of the $k$-th power of $T$ is an intermediate space between $D(T^n)$ and $D(T^m)$, whenever $n<k<m\in\mathbb{N}_0$. Moreover, also a characterization of the interpolation space $(X,D(T^n))_{\theta,p}$, $\theta\in(0,1)$, $p\in[1,\infty]$, in is given in terms of integrability conditions on the pseudo $S$-resolvent $Q_s^{-1}(T)$.

Functional Analysis

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to interpolate between the power domains of operators in quaternion Banach spaces. Specifically, the paper focuses on the non - commutative S - spectral theory in quaternion Banach spaces and uses the K - interpolation method to study the interpolation spaces between the power domains of operators.

### Problem Background

In the classical complex spectral theory, the spectrum is associated with the invertibility of the operator \(\lambda - A\), while in the quaternion S - spectral theory, the spectrum is associated with the invertibility of the quadratic polynomial \(Q_s(T):=T^2 - 2\text{Re}(s)T+|s|^2\). This difference stems from the non - commutative property of quaternions.

### Research Motivation

The research motivation of the paper comes from the foundation of quaternion quantum mechanics, especially for the development of spectral theory on the S - spectrum. In the context of quaternions and Clifford algebras, defining an appropriate spectral concept is a central challenge. This spectral concept needs to be applicable to the spectral theorem and the hyper - holomorphic function calculus.

### Main Problems

1. **Characterization of Interpolation Spaces**: The first objective of the paper is to generalize the existing K - interpolation theory results in complex Banach spaces to quaternion Banach spaces. Specifically, the author hopes to replace the resolvent \((\lambda - A)^{-1}\) in the complex case with the pseudo - S - spectral operator \(Q_s(T)\) and consider domains \(D(T^n)\) of arbitrary powers.

2. **Proof of Intermediate Spaces**: The second objective of the paper is to prove that for any \(n < k < m\in\mathbb{N}_0\), the domain \(D(T^k)\) of the \(k\)-th power of the operator \(T\) is an intermediate space between \(D(T^n)\) and \(D(T^m)\). This requires more complex proofs, especially in the quaternion setting.

### Solutions

- **Characterization of Interpolation Spaces**: By introducing the pseudo - S - spectral operator \(Q_s(T)\), the author defines a new function \(\psi_x(t)\) and uses it to characterize the interpolation space \((X, D(T^n))_{\theta,p}\). The specific formula is as follows:

\[
(X, D(T^n))_{\theta,p}=\left\{x\in X\mid t\mapsto t^{n\theta}\psi_x(t)\in L_p^*(0,\infty)\right\}
\]

where

\[
\psi_x(t)=
\begin{cases}
\|T^nQ^{-\frac{n}{2}}_{te^{i\omega}}(T)x\| & \text{if }n\text{ is even},\\
\|T^{n + 1}Q^{-\frac{n+1}{2}}_{te^{i\omega}}(T)x\|+t\|T^nQ^{-\frac{n+1}{2}}_{te^{i\omega}}(T)x\| & \text{if }n\text{ is odd}.
\end{cases}
\]

- **Proof of Intermediate Spaces**: The author proves that for any \(n < k < m\in\mathbb{N}_0\), \(D(T^k)\) is an intermediate space between \(D(T^n)\) and \(D(T^m)\). Specifically, there exist constants \(C_J,C_K\geq0\) such that:

\[
\|x\|_{D(T^k)}\leq C_J\|x\|^{\frac{m - k}{m - n}}_{D(T^n)}\|x\|^{\frac{k - n}{m - n}}_{D(T^m)},\quad x\in D(T^m)
\]

and

\[
K(t,x)\leq C_Kt^{\frac{k - n}{m - n}}\|x\|