# Functional Analysis (math.FA)

• We establish a lower bound on the spectral gap of the Laplace operator on special linear groups using conic optimisation. In particular, this provides a constructive (but computer assisted) proof that these groups have Kazhdan property (T). A software for such optimisation for other finitely presented groups is provided.
• Mar 29 2017 math.FA arXiv:1703.09677v1
This paper generalizes the classical Sz.-Nagy--Foias $H^{\infty}(\mathbb{D})$ functional calculus for Hilbert space contractions. In particular, we replace the single contraction $T$ with a tuple $T=(T_1, \dots, T_d)$ of commuting bounded operators on a Hilbert space and replace $H^{\infty}(\mathbb{D})$ with a large class of multiplier algebras of Hilbert function spaces on the unit ball in $\mathbb C^d$.
• We present an abstract functional analytic formulation of the celebrated $\dive$-$\curl$ lemma found by F.~Murat and L.~Tartar. The viewpoint in this note relies on sequences for operators in Hilbert spaces. Hence, we draw the functional analytic relation of the div-curl lemma to differential forms and other sequences such as the $\Grad\grad$-sequence discovered recently by D.~Pauly and W.~Zulehner in connection with the biharmonic operator.
• We prove that the unitary affine Radon transform intertwines the quasi-regular representation of a class of semidirect products, built by shearlet dilation groups and translations, and the tensor product of a standard wavelet representation with a wavelet-like representation. This yields a formula for shearlet coefficients that involves only integral transforms applied to the affine Radon transform of the signal, thereby opening new perspectives in the inversion of the Radon transform.
• We revise the operator-norm convergence of the Trotter product formula for a pair A,B of generators of semigroups on a Banach space. Operator-norm convergence holds true if the dominating operator A generates a holomorphic contraction semigroup and B is a A-infinitesimally small generator of a contraction semigroup, in particular, if B is a bounded operator. Inspired by studies of evolution semigroups it is shown in the present paper that the operator-norm convergence generally fails even for bounded operators B if A is not a holomorphic generator. Moreover, it is shown that operator norm convergence of the Trotter product formula can be arbitrary slow.
• For spherically symmetric repulsive Hamiltonians we prove Rellich's theorem, or identify the largest weighted space of Agmon-Hörmander type where the generalized eigenfunctions are absent. The proof is intensively dependent on commutator arguments. Our novelty here is a use of conjugate operator associated with some radial flow, not with dilations and translations. Our method is simple and elementary, and does not employ any advanced tools such as the operational calculus or the Fourier analysis.
• The well known duality between the Sobolev inequality and the Hardy-Littlewood-Sobolev inequality suggests that the Nash inequality should also have an interesting dual form. We provide one here. This dual inequality relates the $L^2$ norm to the infimal convolution of the $L^\infty$ and $H^{-1}$ norms. The computation of this infimal convolution is a minimization problem, which we solve explicitly, thus providing a new proof of the sharp Nash inequality itself. This proof, via duality, also yields the sharp form of some weighted generalizations of the Nash inequality and the dual of these weighted variants.