Sobolev spaces on compact groups (Q6175417): Difference between revisions

Let \(G\) be a compact group. Denote by \(\widehat{G}\) its dual object, that is, the equivalence classes of unitary irreducible representations of \(G\). The Fourier transform of a complex Haar-integrable function \(f\) on \(G\) is the operator defined on the representation space \(H_\pi\) by \[ \widehat{f}(\pi)=\displaystyle\int_G f(x)\pi(x)^*dx,\quad \pi\in \widehat{G}. \] The authors define a class of Sobolev spaces \(H_\gamma^s (G)\) based on the Plancherel type formula \[ \|f\|_2^2=\sum\limits_{\pi\in\widehat{G}}d_\pi \mbox{tr}(\widehat{f}(\pi)^*\widehat{f}(\pi)) \] where \(\widehat{f}(\pi)^*\) is the adjoint of the operator \(\widehat{f}(\pi)\) in the Hilbert representation space of \(\pi\). Denote by \(\Gamma\) the space consisting of all sequences with non-negative terms indexed over \(\widehat{G}\). Let \(\gamma\in \Gamma\) and let \(s\geq 0\). The Sobolev space \(H_\gamma^s (G)\) is defined to be the set \[ H_\gamma^s (G)=\left\lbrace f\in L^2 (G) : \sum\limits_{\pi\in\widehat{G}}d_\pi (1+\gamma (\pi)^2)^s\mbox{tr}(\widehat{f}(\pi)^*\widehat{f}(\pi))<\infty\right\rbrace \] endowed with the norm \[ \|f\|_{H_\gamma^s }=\left(\sum\limits_{\pi\in\widehat{G}}d_\pi (1+\gamma (\pi)^2)^s\mbox{tr}(\widehat{f}(\pi)^*\widehat{f}(\pi))\right)^{\frac{1}{2}}. \] Then, the authors prove several continuous embedding theorems and they use the results to solve a generalized bosonic string equation. They provide a concrete example with the compact group \(SO(3)\).