arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.13385

Spectral theorem for compact self-adjoint linear relations with an application to elliptic boundary value problems

Mathew Thomas·V. B. Kiran Kumar
View original source ↗Read source document ↗Export metadata ↓

Abstract

We establish a spectral theorem for compact self-adjoint linear relations on a Hilbert space. The proof relies on the Arens decomposition of a closed linear relation into an operator part and a purely multivalued part, reducing the problem directly to the classical spectral theorem for compact self-adjoint operators. No finite-dimensionality condition is imposed on the multivalued part. We also prove a finiterank approximation theorem for compact bounded linear relations and a Fredholm alternative for compact self-adjoint linear relations. As an application, we employ the theory of boundary triples to show that the inverse of the Neumann Laplacian on a bounded domain is a compact self-adjoint linear relation. The abstract spectral theorem then recovers the classical eigenfunction expansion of solutions to the Neumann problem: an L2-convergent series in terms of the non-constant Neumann eigenfunctions together with an arbitrary additive constant. The framework extends naturally to general elliptic boundary value problems with finite-dimensional kernel.

Explore related subjects

math.FAmath.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mathew Thomas, V. B. Kiran Kumar. 2026-10-09. Spectral theorem for compact self-adjoint linear relations with an application to elliptic boundary value problems. https://arxiv.org/abs/2610.13385

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

KEEP EXPLORING

Related papers

arXiv2026

Restriction of Fractional Derivatives of the Fourier Transform

We consider the differentiability of the Fourier transform of $f \in L^p(\mathbb{R}^n)$ at points on the graph of a function with non-vanishing Gaussian curvature. In particular, we show that if the values of $\widehat{f}$ along the graph possess $H^\ell$ Sobolev regularity, then this implies a certain degree of regularity of $\widehat{f}$ in the last coordinate direction as well. Two types of results are proved: One controls the $β$-order derivative in the last direction in terms of its $H^{-s}$ norm for suitable combinations of $(β, p, s, \ell)$. This extends the result in \cite{GoldStol}*{Theorem 1.12} to fractional derivatives and to some of its sharp endpoints. In particular, we recover the sharp range in the $s=0$ case where $\frac{\partial \widehat{f}}{\partial ξ_n}$ has a surface restriction in $L^2$. The second set of results is about $L^2(\mathbb{R}^n)$ bounds for difference quotients and fractional difference quotients of $\widehat{f}$, generalizing results in \cite{G2016}.

math.FA↗
arXiv2026

$J$-class weighted translations on locally compact groups

A bounded linear operator $T$ on a Banach space $X$ (not necessarily separable) is said to be $J$-class operator whenever the extended limit set, say $J_T(x)$ equals $X$ for some vector $x\in X$. Practically, the extended limit sets localize the dynamical behavior of operators. In this paper, using the extended limit sets we will examine the necessary and sufficient conditions for the weighted translation $T_{a,ω}$ to be $J$-class on a locally compact group $G$, within the setting of $ L^p$-spaces for $ 1 \leq p < \infty $. Precisely, we delineate the boundary between $J$-class and hypercyclic behavior for weighted translations. Then, we will show that for the torsion elements in locally compact groups, unlike the case of non-dense orbits of weighted translations, we have $J_{T_{a,ω}}(0)=L^p(G)$. Finally, we will provide some examples on which the weighted translation $ T_{a,ω}$ is $J$-class but it fails to be hypercyclic.

math.FA↗
arXiv2026

Determinant representations for Garvan formulas

In this note, we demonstrate how determinant representations for correlation functions in conformal field theory can be used to derive explicit determinant formulas for powers of the classical $η$-function, expressed via deformed elliptic functions with parameters. At genus one, comparing the fermionic and bosonic evaluations of a twisted torus partition function, together with an elliptic Frobenius/Fay determinant identity, gives for every $n\ge1$ a determinant formula for $η(τ)^{3n}$ built from a twisted Szegő kernel; at $n\equiv0,1\pmod 8$ this gives determinant identities for powers of the modular discriminant $Δ=η^{24}$ of the same shape as the classical formulas of Garvan and Milne, although those classical determinants are not recovered. At genus two, an analogous comparison for a torus formed by self-sewing, combined with a finite/infinite determinant factorization of the genus two Szegő kernel, gives a determinant formula for $η(τ)^{3κ^2}$, $-1/2<κ<1/2$, in terms of genus two data; identifying the genus two modular form to which this specializes is left open.

math.FA↗