Search arXivSearch

arXiv · 2105.08362

On the Correspondence Between Domination and the Spectrum of Jacobi Operators

Abstract

In this paper, we first develop a notion of dominated splitting for $\mathbb M(2,\mathbb C)$-sequences and show it is a stable property under $\|\cdot \|_\infty$-perturbation. Then we show an energy parameter belongs to the spectrum of a Jacobi operator, possibly singular, if and only if the associated Jacobi cocycle does not admit dominated splitting. This generalizes the results obtained by the second author [Z] in the scenario of Schrödinger operators. Finally, we consider dynamically defined Jacobi operators whose base dynamics is only assumed to be topologically transitive. We show an energy parameter belongs to the spectrum of the operator defined by the base point with a dense orbit if and only if the dynamically defined Jacobi cocycle does not admit dominated splitting. This includes the original Johnson's theorem obtained by R. Johnson [J] for Schödinger operators and the main theorem obtained by C. Marx [Ma] for Jacobi operators as special cases.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kateryna Alkorn, Zhenghe Zhang. 2021-05-18. On the Correspondence Between Domination and the Spectrum of Jacobi Operators. https://arxiv.org/abs/2105.08362

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The sharp one-dimensional Lieb-Thirring inequality for the sum of eigenvalues

We prove that the best constant in the one-dimensional Lieb-Thirring inequality with exponent one is $4/(3\sqrt{3}π)$, confirming the Lieb-Thirring conjecture in this case. Moreover, we extend the inequality to operator-valued potentials and obtain the bound $L_{1,d}\leq(2/\sqrt3)L_{1,d}^{\mathrm{cl}}$ in every dimension.

math.SP

Singular value decomposition of unbounded operators

The singular value decomposition has been established for matrices, Hilbert--Schmidt operators, trace-class operator, compact operators, and bounded operators, but surprisingly not for unbounded operators. Unfortunately, most interesting operators in applied math are unbounded, as any operators involving some form of derivatives --- gradient, exterior derivatives, Laplacians, Fourier and other transforms of derivatives, Hamiltonians, etc. --- are likely unbounded. In this article, we fill in this last missing piece by establishing the existence of singular value decompositions for unbounded operators in three natural forms: multiplication-operator, direct-integral, and operator-valued-measure. We show it inherits classical properties of finite-dimensional singular value decomposition including approximation results, relationships with fundamental subspaces, and the Moore--Penrose inverse. This discovery opens the door to the singular value decompositions of a myriad of well-known unbounded operators in mathematics, physics, statistics, and finnance --- gradients on Euclidean spaces and manifolds, Petrov--Galerkin method, finite-difference operators, Hilbert--Schmidt operators, Hilbert complexes, supersymmetric quantum mechanics, Sturm--Liouville theory, nonparametric density estimation, and the Black--Scholes equation. The resulting decompositions reveal a number of novel insights, among many others: bosonic and fermionic states in supersymmetric quantum mechanics arise as left and right singular vectors of generalized ladder operators; the Riesz transform appears as the left singular operator of the Euclidean gradient; and the Hodge decomposition follows directly from the singular value decompositions of the exterior derivatives.

math.SP

A quadratic comparison of Neumann eigenvalues on thin convex domains in arbitrary dimenstion

Let $Ω\subset\mathbb R^n$ be a bounded convex domain that is thin around a chosen diameter segment. We compare its Neumann spectrum with the spectrum of that segment weighted by the $(n-1)$-dimensional volumes of its perpendicular sections. We prove an $O(\varepsilon^2)$ comparison of the mean-zero inverse operators and, consequently, an $O(\varepsilon^2)$ eigenvalue comparison for every fixed index in every dimension $n\ge2$. The constants depend only on the dimension and the eigenvalue index. Thin rectangles show that the quadratic exponent is optimal.

math.SP