Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.04431

Block numerical ranges for linear relations

Rabeb Aydi·Hannes Gernandt·Omaima Kchaou·Carsten Trunk·Mitsuru Wilson
View original source ↗Read source document ↗Export metadata ↓

Abstract

Linear relations are multivalued generalizations of linear operators whose spectral properties are closely linked to the stability of differential-algebraic equations. Consequently, reliable spectral enclosures are of considerable interest. In this note, we extend the established concept of the block numerical range from operators to linear relations by means of a range representation. Unlike the classical numerical range, the resulting block numerical range may be nonconvex and can therefore detect gaps in the spectrum. We establish fundamental properties of this new notion and derive corresponding spectral enclosure results. Finally, we illustrate the theory with a numerical example comparing the block numerical ranges obtained from different constructions. As an application, we obtain an explicit left-half-plane spectral bound for a class of port-Hamiltonian DAEs.

Explore related subjects

math.SP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Rabeb Aydi, Hannes Gernandt, Omaima Kchaou, Carsten Trunk, Mitsuru Wilson. 2026-10-03. Block numerical ranges for linear relations. https://arxiv.org/abs/2610.04431

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

KEEP EXPLORING

Related papers

arXiv2026

Kuznecov formulas for domains with fractal boundary

Let $(M,g)$ be a compact $d$-dimensional Riemannian manifold without boundary, and let $\{e_j\}_{j=0}^\infty$ be an orthonormal basis of Laplace eigenfunctions with frequencies $\{λ_j\}_{j=0}^\infty$. For a domain $Ω\subset M$, consider $$ N_Ω(λ) = \sum_{λ_j\leqλ} \left|\int_Ωe_j\,dV_g\right|^2. $$ Suppose that $\partialΩ$ is $s$-Ahlfors regular, with $s\in{[d-1,d)}$, and that $Ω$ satisfies a two-sided corkscrew condition. We prove that $$ N_Ω(λ) = \operatorname{vol}(Ω)+O\bigl(λ^{s-d}\bigr), $$ and that this remainder is sharp. We further identify the geometric quantity governing the second term: an exact asymptotic of order $λ^{s-d}$ holds precisely when the boundary admits a natural $s$-dimensional crossing volume $\mathcal V^s(\partialΩ)$, in which case $$ N_Ω(λ) = \operatorname{vol}(Ω) - C_{d,s}\, \mathcal V^s(\partialΩ)\, λ^{s-d} + o\bigl(λ^{s-d}\bigr). $$ For admissible self-similar boundaries, the crossing volume exists in the non-lattice case, and hence the above two-term asymptotic holds. In the lattice case, the second-order behavior is instead governed by a log-periodic profile.

math.SP↗
arXiv2026

On the Dirac Faber-Krahn Conjecture

In this paper, we prove the strict Faber-Krahn inequality for non-negative-mass Dirac operators on simply connected domains with infinite-mass boundary condition. Denoting the first positive eigenvalue of the corresponding Dirac operator with mass $m\geq 0$ as $λ_1^{+}(Ω;m)$, our main result shows that \begin{equation*} λ_1^{+}(Ω;m)\geq λ_1^{+}(B_{|Ω|};m), \end{equation*} where $B_{|Ω|}$ is the disk with the same area as the domain $Ω$, and the equality is strictly valid if and only if $Ω=B_{|Ω|}$. The key observation leading to the proof is that the upper component of the Dirac spinor associated with $λ_1^{+}(Ω;m)$ is non-vanishing over $Ω$, which is proved by exploiting its Dirac current and the associated stream function. Based on this global non-vanishing property, we construct a sphere-valued spinor map of degree one, which allows a sharp comparison with the radial disk profile using the planar isoperimetry.

math.SP↗