Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2211.10392

Fokas diagonalization

D. A. Smith
View original source ↗Read source document ↗Export metadata ↓

Abstract

A method for solving linear initial boundary value problems was recently reimplemented as a true spectral transform method. As part of this reformulation, the precise sense in which the spectral transforms diagonalize the underlying spatial differential operator was elucidated. That work concentrated on two point initial boundary value problems and interface problems on networks of finite intervals. In the present work, we extend these results, by means of three examples, to new classes of problems: problems on semiinfinite domains, problems with nonlocal boundary conditions, and problems in which the partial differential equation features mixed derivatives. We show that the transform pair derived via the Fokas transform method features the same Fokas diagonalization property in each of these new settings, and we argue that this weak diagonalization property is precisely that needed to ensure success of a spectral transform method.

Explore related subjects

math.SPmath.AP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

D. A. Smith. 2023-01-17. Fokas diagonalization. https://arxiv.org/abs/2211.10392

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

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↗
arXiv2026

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↗