Source author record

Fritz Gesztesy

Fritz Gesztesy appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

69works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

69 published item(s)

preprint2022arXiv

Effective computation of traces, determinants, and $ζ$-functions for Sturm-Liouville operators

The principal aim in this paper is to develop an effective and unified approach to the computation of traces of resolvents (and resolvent differences), Fredholm determinants, $ζ$-functions, and $ζ$-function regularized determinants associated with linear operators in a Hilbert space. In particular, we detail the connection between Fredholm and $ζ$-function regularized determinants. Concrete applications of our formalism to general (i.e., three-coefficient) regular Sturm-Liouville operators on compact intervals with various (separated and coupled) boundary conditions, and Schrödinger operators on a half-line, are provided and further illustrated with an array of examples.

preprint2022arXiv

Spectral zeta-Functions and zeta-Regularized Functional Determinants for Regular Sturm-Liouville Operators

The principal aim in this paper is to employ a recently developed unified approach to the computation of traces of resolvents and $ζ$-functions to efficiently compute values of spectral $ζ$-functions at positive integers associated to regular (three-coefficient) self-adjoint Sturm--Liouville differential expressions $τ$. Depending on the underlying boundary conditions, we express the $ζ$-function values in terms of a fundamental system of solutions of $τy = z y$ and their expansions about the spectral point $z=0$. Furthermore, we give the full analytic continuation of the $ζ$-function through a Liouville transformation and provide an explicit expression for the $ζ$-regularized functional determinant in terms of a particular set of this fundamental system of solutions. An array of examples illustrating the applicability of these methods is provided, including regular Schrödinger operators with zero, piecewise constant, and a linear potential on a compact interval.

preprint2022arXiv

Strict domain monotonicity of the principal eigenvalue and a characterization of lower boundedness for the Friedrichs extension of four-coefficient Sturm-Liouville operators

Using the variational characterization of the principal (i.e., smallest) eigenvalue below the essential spectrum of a lower semibounded self-adjoint operator, we prove strict domain monotonicity (with respect to changing the finite interval length) of the principal eigenvalue of the Friedrichs extension $T_F$ of the minimal operator for regular four-coefficient Sturm--Liouville differential expressions. In the more general singular context, these four-coefficient differential expressions act according to \[ τf = \frac{1}{r} \left( - \big(f^{[1]}\big)' + s f^{[1]} + qf\right)\,\text{ with $f^{[1]} = p [f' + s f]$ on $(a,b) \subseteq \mathbb{R}$}, \] where the coefficients $p$, $q$, $r$, $s$ are real-valued and Lebesgue measurable on $(a,b)$, with $p > 0$, $r>0$ a.e.\ on $(a,b)$, and $p^{-1}$, $q$, $r$, $s \in L^1_{loc}((a,b); dx)$, and $f$ is supposed to satisfy \[ f \in AC_{loc}((a,b)), \; p[f' + s f] \in AC_{loc}((a,b)). \] This setup is sufficiently general so that $τ$ permits certain distributional potential coefficients $q$, including potentials in $H^{-1}_{loc}((a,b))$. As a consequence of the strict domain monotonicity of the principal eigenvalue of the Friedrichs extension in the regular case, and on the basis of oscillation theory in the singular context, in our main result, we characterize all lower bounds of $T_F$ as those $λ\in \mathbb{R}$ for which the differential equation $τu = λu$ has a strictly positive solution $u > 0$ on $(a,b)$.

preprint2021arXiv

A survey of some norm inequalities

We survey some classical norm inequalities of Hardy, Kallman, Kato, Kolmogorov, Landau, Littlewood, and Rota of the type \[ \|A f\|_{\mathcal{X}}^2 \leq C \|f\|_{\mathcal{X}} \big\|A^2 f\big\|_{\mathcal{X}}, \quad f \in dom\big(A^2\big), \] and recall that under exceedingly stronger hypotheses on the operator $A$ and/or the Banach space $\mathcal{X}$, the optimal constant $C$ in these inequalities diminishes from $4$ (e.g., when $A$ is the generator of a $C_0$ contraction semigroup on a Banach space $\mathcal{X}$) all the way down to $1$ (e.g., when $A$ is a symmetric operator on a Hilbert space $\mathcal{H}$). We also survey some results in connection with an extension of the Hardy-Littlewood inequality involving quadratic forms as initiated by Everitt.

preprint2020arXiv

A Sequence of Weighted Birman-Hardy-Rellich Inequalities with Logarithmic Refinements

The principal aim of this paper is to extend Birman's sequence of integral inequalities originally obtained in 1961, and containing Hardy's and Rellich's inequality as special cases, to a sequence of inequalities that incorporates power weights on either side and logarithmic refinements on the right-hand side of the inequality as well. Our new technique of proof for this sequence of inequalities relies on a combination of transforms originally due to Hartman and Müller-Pfeiffer. The results obtained considerably improve on prior results in the literature.

preprint2020arXiv

Non-self-adjoint operators, infinite determinants, and some applications

We study various spectral theoretic aspects of non-self-adjoint operators. Specifically, we consider a class of factorable non-self-adjoint perturbations of a given unperturbed non-self-adjoint operator and provide an in-depth study of a variant of the Birman-Schwinger principle as well as local and global Weinstein-Aronszajn formulas. Our applications include a study of suitably symmetrized (modified) perturbation determinants of Schrödinger operators in dimensions n=1,2,3 and their connection with Krein's spectral shift function in two- and three-dimensional scattering theory. Moreover, we study an appropriate multi-dimensional analog of the celebrated formula by Jost and Pais that identifies Jost functions with suitable Fredholm (perturbation) determinants and hence reduces the latter to simple Wronski determinants.

preprint2020arXiv

On Factorizations of Analytic Operator-Valued Functions and Eigenvalue Multiplicity Questions

We study several natural multiplicity questions that arise in the context of the Birman-Schwinger principle applied to non-self-adjoint operators. In particular, we re-prove (and extend) a recent result by Latushkin and Sukhtyaev by employing a different technique based on factorizations of analytic operator-valued functions due to Howland. Factorizations of analytic operator-valued functions are of particular interest in themselves and again we re-derive Howland's results and subsequently extend them. Considering algebraic multiplicities of finitely meromorphic operator-valued functions, we recall the notion of the index of a finitely meromorphic operator-valued function and use that to prove an analog of the well-known Weinstein-Aronszajn formula relating algebraic multiplicities of the underlying unperturbed and perturbed operators. Finally, we consider pairs of projections for which the difference belongs to the trace class and relate their Fredholm index to the index of the naturally underlying Birman-Schwinger operator.

preprint2020arXiv

On self-adjoint boundary conditions for singular Sturm-Liouville operators bounded from below

We extend the classical boundary values \begin{align*} & g(a) = - W(u_{a}(λ_0,.), g)(a) = \lim_{x \downarrow a} \frac{g(x)}{\hat u_{a}(λ_0,x)}, \\ &g^{[1]}(a) = (p g')(a) = W(\hat u_{a}(λ_0,.), g)(a) = \lim_{x \downarrow a} \frac{g(x) - g(a) \hat u_{a}(λ_0,x)}{u_{a}(λ_0,x)} \end{align*} for regular Sturm-Liouville operators associated with differential expressions of the type $τ= r(x)^{-1}[-(d/dx)p(x)(d/dx) + q(x)]$ for a.e. $x\in[a,b] \subset \mathbb{R}$, to the case where $τ$ is singular on $(a,b) \subseteq \mathbb{R}$ and the associated minimal operator $T_{min}$ is bounded from below. Here $u_a(λ_0, \cdot)$ and $\hat u_a(λ_0, \cdot)$ denote suitably normalized principal and nonprincipal solutions of $τu = λ_0 u$ for appropriate $λ_0 \in \mathbb{R}$, respectively. We briefly discuss the singular Weyl-Titchmarsh-Kodaira $m$-function and finally illustrate the theory in some detail with the examples of the Bessel, Legendre, and Kummer (resp., Laguerre) operators.

preprint2020arXiv

On Spectral Theory for Schrödinger Operators with Strongly Singular Potentials

We examine two kinds of spectral theoretic situations: First, we recall the case of self-adjoint half-line Schrödinger operators on $[a,\infty)$, $a\in\mathbb{R}$, with a regular finite end point $a$ and the case of Schrödinger operators on the real line with locally integrable potentials, which naturally lead to Herglotz functions and $2\times 2$ matrix-valued Herglotz functions representing the associated Weyl-Titchmarsh coefficients. Second, we contrast this with the case of self-adjoint half-line Schrödinger operators on $(a,\infty)$ with a potential strongly singular at the end point $a$. We focus on situations where the potential is so singular that the associated maximally defined Schrödinger operator is self-adjoint (equivalently, the associated minimally defined Schrödinger operator is essentially self-adjoint) and hence no boundary condition is required at the finite end point $a$. For this case we show that the Weyl-Titchmarsh coefficient in this strongly singular context still determines the associated spectral function, but ceases to posses the Herglotz property. However, as will be shown, Herglotz function techniques continue to play a decisive role in the spectral theory for strongly singular Schrödinger operators.

preprint2016arXiv

A bound for the eigenvalue counting function for Krein--von Neumann and Friedrichs extensions

For an arbitrary open, nonempty, bounded set $Ω\subset \mathbb{R}^n$, $n \in \mathbb{N}$, and sufficiently smooth coefficients $a,b,q$, we consider the closed, strictly positive, higher-order differential operator $A_{Ω, 2m} (a,b,q)$ in $L^2(Ω)$ defined on $W_0^{2m,2}(Ω)$, associated with the higher-order differential expression $$ τ_{2m} (a,b,q) := \bigg(\sum_{j,k=1}^{n} (-i \partial_j - b_j) a_{j,k} (-i \partial_k - b_k)+q\bigg)^m, \quad m \in \mathbb{N}, $$ and its Krein--von Neumann extension $A_{K, Ω, 2m} (a,b,q)$ in $L^2(Ω)$. Denoting by $N(λ; A_{K, Ω, 2m} (a,b,q))$, $λ> 0$, the eigenvalue counting function corresponding to the strictly positive eigenvalues of $A_{K, Ω, 2m} (a,b,q)$, we derive the bound $$ N(λ; A_{K, Ω, 2m} (a,b,q)) \leq C v_n (2π)^{-n} \bigg(1+\frac{2m}{2m+n}\bigg)^{n/(2m)} λ^{n/(2m)} , \quad λ> 0, $$ where $C = C(a,b,q,Ω)>0$ (with $C(I_n,0,0,Ω) = |Ω|$) is connected to the eigenfunction expansion of the self-adjoint operator $\widetilde A_{2m} (a,b,q)$ in $L^2(\mathbb{R}^n)$ defined on $W^{2m,2}(\mathbb{R}^n)$, corresponding to $τ_{2m} (a,b,q)$. Here $v_n := π^{n/2}/Γ((n+2)/2)$ denotes the (Euclidean) volume of the unit ball in $\mathbb{R}^n$. Our method of proof relies on variational considerations exploiting the fundamental link between the Krein--von Neumann extension and an underlying abstract buckling problem, and on the distorted Fourier transform defined in terms of the eigenfunction transform of $\widetilde A_{2} (a,b,q)$ in $L^2(\mathbb{R}^n)$. We also consider the analogous bound for the eigenvalue counting function for the Friedrichs extension $A_{F,Ω, 2m} (a,b,q)$ in $L^2(Ω)$ of $A_{Ω, 2m} (a,b,q)$. No assumptions on the boundary $\partial Ω$ of $Ω$ are made.

preprint2016arXiv

Coupling of symmetric operators and the third Green identity

The principal aim of this paper is to derive an abstract form of the third Green identity associated with a proper extension $T$ of a symmetric operator $S$ in a Hilbert space $\mathfrak H$, employing the technique of quasi boundary triples for $T$. The general results are illustrated with couplings of Schrödinger operators on Lipschitz domains on smooth, boundaryless Riemannian manifolds.

preprint2016arXiv

Decoupling of Deficiency Indices and Applications to Schrödinger-Type Operators with Possibly Strongly Singular Potentials

We investigate closed, symmetric $L^2(\mathbb{R}^n)$-realizations $H$ of Schrödinger-type operators $(- Δ+V)\upharpoonright_{C_0^{\infty}(\mathbb{R}^n \setminus Σ)}$ whose potential coefficient $V$ has a countable number of well-separated singularities on compact sets $Σ_j$, $j \in J$, of $n$-dimensional Lebesgue measure zero, with $J \subseteq \mathbb{N}$ an index set and $Σ= \bigcup_{j \in J} Σ_j$. We show that the defect, $\mathrm{def}(H)$, of $H$ can be computed in terms of the individual defects, $\mathrm{def}(H_j)$, of closed, symmetric $L^2(\mathbb{R}^n)$-realizations of $(- Δ+ V_j)\upharpoonright_{C_0^{\infty}(\mathbb{R}^n \setminus Σ_j)}$ with potential coefficient $V_j$ localized around the singularity $Σ_j$, $j \in J$, where $V = \sum_{j \in J} V_j$. In particular, we prove \[ \mathrm{def}(H) = \sum_{j \in J} \mathrm{def}(H_j), \] including the possibility that one, and hence both sides equal $\infty$. We first develop an abstract approach to the question of decoupling of deficiency indices and then apply it to the concrete case of Schrödinger-type operators in $L^2(\mathbb{R}^n)$. Moreover, we also show how operator (and form) bounds for $V$ relative to $H_0= - Δ\upharpoonright_{H^2(\mathbb{R}^n)}$ can be estimated in terms of the operator (and form) bounds of $V_j$, $j \in J$, relative to $H_0$. Again, we first prove an abstract result and then show its applicability to Schrödinger-type operators in $L^2(\mathbb{R}^n)$. Extensions to second-order (locally uniformly) elliptic differential operators on $\mathbb{R}^n$ with a possibly strongly singular potential coefficient are treated as well.

preprint2016arXiv

Derivatives of (Modified) Fredholm Determinants and Stability of Standing and Traveling Waves

Continuing a line of investigation initiated in [11] exploring the connections between Jost and Evans functions and (modified) Fredholm determinants of Birman-Schwinger type integral operators, we here examine the stability index, or sign of the first nonvanishing derivative at frequency zero of the characteristic determinant, an object that has found considerable use in the study by Evans function techniques of stability of standing and traveling wave solutions of partial differential equations (PDE) in one dimension. This leads us to the derivation of general perturbation expansions for analytically-varying modified Fredholm determinants of abstract operators. Our main conclusion, similarly in the analysis of the determinant itself, is that the derivative of the characteristic Fredholm determinant may be efficiently computed from first principles for integral operators with semi-separable integral kernels, which include in particular the general one-dimensional case, and for sums thereof, which latter possibility appears to offer applications in the multi-dimensional case. A second main result is to show that the multi-dimensional characteristic Fredholm determinant is the renormalized limit of a sequence of Evans functions defined in [23] on successive Galerkin subspaces, giving a natural extension of the one-dimensional results of [11] and answering a question of [27] whether this sequence might possibly converge (in general, no, but with renormalization, yes). Convergence is useful in practice for numerical error control and acceleration.

preprint2016arXiv

Dirichlet-to-Neumann Maps, Abstract Weyl-Titchmarsh $M$-Functions, and a Generalized Index of Unbounded Meromorphic Operator-Valued Functions

We introduce a generalized index for certain meromorphic, unbounded, operator-valued functions. The class of functions is chosen such that energy parameter dependent Dirichlet-to-Neumann maps associated to uniformly elliptic partial differential operators, particularly, non-self-adjoint Schrödinger operators, on bounded Lipschitz domains, and abstract operator-valued Weyl-Titchmarsh $M$-functions and Donoghue-type $M$-functions corresponding to closed extensions of symmetric operators belong to it. The principal purpose of this paper is to prove index formulas that relate the difference of the algebraic multiplicities of the discrete eigenvalues of Robin realizations of non-self-adjoint Schrödinger operators, and more abstract pairs of closed operators in Hilbert spaces with the generalized index of the corresponding energy dependent Dirichlet-to-Neumann maps and abstract Weyl-Titchmarsh $M$-functions, respectively.

preprint2016arXiv

Double operator integral methods applied to continuity of spectral shift functions

We derive two main results: First, assume that $A$, $B$, $A_n$, $B_n$ are self-adjoint operators in the Hilbert space $\mathcal{H}$, and suppose that $A_n$ converges to $A$ and $B_n$ to $B$ in strong resolvent sense as $n \to \infty$. Fix $m \in \mathbb{N}$, $m$ odd, $p \in [1,\infty)$, and assume that $T:= \big[( A + iI_{\mathcal{H}})^{-m} - ( B + iI_{\mathcal{H}})^{-m}\big] \in \mathcal{B}_p(\mathcal{H})$, $T_n := \big[( A_n + iI_{\mathcal{H}})^{-m} - ( B_n + iI_{\mathcal{H}})^{-m}\big] \in \mathcal{B}_p(\mathcal{H})$, and $\lim_{n \rightarrow \infty} \|T_n - T\|_{\mathcal{B}_p(\mathcal{H})} =0$. Then for any function $f$ in the class $\mathfrak F_{k}(\mathbb{R}) \supset C_0^{\infty}(\mathbb{R})$ (cf. (1.1)), $$ \lim_{n \rightarrow \infty} \big\| [f(A_n) - f(B_n)] - [f(A)- f(B)]\big\|_{\mathcal{B}_p(\mathcal{H})}=0. $$ Our second result concerns the continuity of spectral shift functions $ξ(\cdot; B,B_0)$ with respect to the operator parameter $B$. For $T$ self-adjoint in $\mathcal{H}$ we denote by $Γ_m(T)$, $m \in \mathbb{N}$ odd, the set of all self-adjoint operators $S$ in $\mathcal{H}$ satisfying $\big[(S - z I_{\mathcal{H}})^{-m} - (T - z I_{\mathcal{H}})^{-m}\big] \in \mathcal{B}_1(\mathcal{H})$, $z \in \mathbb{C}\backslash \mathbb{R}$. Employing a suitable topology on $Γ_m(T)$ (cf. (1.9), we prove the following: Suppose that $B_1\in Γ_m(B_0)$ and let $\{B_τ\}_{τ\in [0,1]}\subset Γ_m(B_0)$ denote a path from $B_0$ to $B_1$ in $Γ_m(B_0)$ depending continuously on $τ\in [0,1]$ with respect to the topology on $Γ_m(B_0)$. If $f \in L^{\infty}(\mathbb{R})$, then $$ \lim_{τ\to 0^+} \|ξ(\, \cdot \, ; B_τ, A_0) f - ξ(\, \cdot \, ; B_0, A_0) f\|_{L^1(\mathbb{R}; (|ν|^{m+1} + 1)^{-1}dν)} = 0. $$

preprint2016arXiv

On the index of meromorphic operator-valued functions and some applications

We revisit and connect several notions of algebraic multiplicities of zeros of analytic operator-valued functions and discuss the concept of the index of meromorphic operator-valued functions in complex, separable Hilbert spaces. Applications to abstract perturbation theory and associated Birman-Schwinger-type operators and to the operator-valued Weyl-Titchmarsh functions associated to closed extensions of dual pairs of closed operators are provided.

preprint2016arXiv

Some applications of almost analytic extensions to operator bounds in trace ideals

Using the Davies-Helffer-Sjöstrand functional calculus based on almost analytic extensions, we address the following problem: Given self-adjoint operators $S_j$, $j=1,2$, in $\mathcal{H}$, and functions $f$ in an appropriate class, for instance, $f \in C_0^{\infty}(\mathbb{R})$, how to control the norm $\|f(S_2) - f(S_1)\|_{\mathcal{B}(\mathcal{H})}$ in terms of the norm of the difference of resolvents, $\|(S_2 - z_0 I_{\mathcal{H}})^{-1} - (S_2 - z_0 I_{\mathcal{H}})^{-1}\|_{\mathcal{B}(\mathcal{H})}$, for some $z_0 \in \mathbb{C}\backslash\mathbb{R}$. We are particularly interested in the case where $\mathcal{B}(\mathcal{H})$ is replaced by a trace ideal, $\mathcal{B}_p(\mathcal{H})$, $p \in [1,\infty)$.

preprint2016arXiv

Spectral shift functions and Dirichlet-to-Neumann maps

The spectral shift function of a pair of self-adjoint operators is expressed via an abstract operator valued Titchmarsh--Weyl $m$-function. This general result is applied to different self-adjoint realizations of second-order elliptic partial differential operators on smooth domains with compact boundaries, Schrödinger operators with compactly supported potentials, and finally, Schrödinger operators with singular potentials supported on hypersurfaces. In these applications the spectral shift function is determined in an explicit form with the help of (energy parameter dependent) Dirichlet-to-Neumann maps.

preprint2016arXiv

The Callias Index Formula Revisited

We revisit the Callias index formula for Dirac-type operators $L$ in odd space dimension $n$, and prove that \begin{align} \text{ind} \, (L) =\bigg(\frac{i}{8π}\bigg)^{\frac{n-1}{2}}\frac{1}{2(\frac{n-1}{2})!} \lim_{Λ\to\infty}\frac{1}{Λ}\sum_{i_{1},\dots,i_{n} = 1}^n \varepsilon_{i_{1}\dots i_{n}} \int_{ΛS_{n-1}}\text{tr}_{\mathbb{C}^d}\, (U(x)(\partial_{i_{1}}U)(x)\dots (\partial_{i_{n-1}}U)(x)) x_{i_{n}}\, d^{n-1} σ(x), \, (*) \end{align} where $U(x) = \text{sgn} \,(Φ(x))$ and $L$ in $L^{2}(\mathbb{R}^{n})^{2^{\widehat n}d}$ is of the form \[ L= \mathcal{Q} + Φ, \] where \[ \mathcal{Q} = \bigg(\sum_{j=1}^{n}γ_{j,n}\partial_{j}\bigg) I_d, \] with $γ_{j,n}$ elements of the Euclidean Dirac algebra, and $n=2{\widehat n}$ or $n=2{\widehat n}+1$. Here $Φ$ is assumed to satisfy the following conditions: \begin{align} & Φ\in C_{b}^{2}\big(\mathbb{R}^{n};\mathbb{C}^{d\times d}\big), \quad d \in \mathbb{N}, \\ & Φ(x)=Φ(x)^{*}, \end{align} there exists $c>0$, $R\geq0$ such that \[ |Φ(x)|\geq c I_d, \quad x\in\mathbb{R}^{n}\backslash B(0,R), \] and there exists $\varepsilon> 1/2$ such that for all $α\in\mathbb{N}_{0}^{n}$, $|α|<3$, there is $κ>0$ such that \[ \|(\partial^αΦ)(x)\|\leq \begin{cases} κ(1+|x|)^{-1}, & |α|=1,\\ κ(1+ |x|)^{-1-\varepsilon}, & |α|=2, \end{cases}\quad x\in\mathbb{R}^{n}. \] These conditions on $Φ$ render $L$ a Fredholm operator, and appear to be the most general conditions known to date for which Callias' index formula has been derived. Generalizations of the index formula $(*)$ to certain classes of non-Fredholm operators $L$ invoking the (generalized) Witten index are also discussed.

preprint2015arXiv

Donoghue-Type $m$-Functions for Schrödinger Operators with Operator-Valued Potentials

Given a complex, separable Hilbert space $\mathcal{H}$, we consider self-adjoint $L^2$-realizations of differential expressions $τ= - (d^2/dx^2) I_{\mathcal{H}} + V(x)$, on half-lines and on the real line (assuming the limit-point property of $τ$ at $\pm \infty$). Here $V$ denotes a bounded operator-valued potential $V(\cdot) \in \mathcal{B}(\mathcal{H})$ such that $V(\cdot)$ is weakly measurable, the operator norm $\|V(\cdot)\|_{\mathcal{B}(\mathcal{H})}$ is locally integrable, and $V(\cdot) = V(\cdot)^*$ a.e. In a nutshell, a Donoghue-type $m$-function $M_{A,\mathcal{N}_i}^{Do}(\cdot)$ associated with self-adjoint extensions $A$ of a closed, symmetric operator $\dot A$ in $\mathcal{H}$ with deficiency spaces $\mathcal{N}_z = \ker \big({\dot A}^* - z I_{\mathcal{H}}\big)$ and corresponding orthogonal projections $P_{\mathcal{N}_z}$ onto $\mathcal{N}_z$ is given by $$ M_{A,\mathcal{N}_i}^{Do}(z) = zI_{\mathcal{N}_i} + (z^2+1) P_{\mathcal{N}_i} (A - z I_{\mathcal{H}})^{-1} P_{\mathcal{N}_i}\big\vert_{\mathcal{N}_i} \,, \quad {\rm Im}(z)\neq 0. $$ For half-line and full-line Schrödinger operators, the role of $\dot A$ is played by a suitably defined minimal Schrödinger operator which will be shown to be completely non-self-adjoint. The latter property is used to prove that the corresponding operator-valued measures in the Herglotz--Nevanlinna representations of the Donoghue-type $m$-functions corresponding to self-adjoint half-line and full-line Schrödinger operators encode the entire spectral information of the latter.

preprint2015arXiv

On a problem in eigenvalue perturbation theory

We consider additive perturbations of the type $K_t=K_0+tW$, $t\in [0,1]$, where $K_0$ and $W$ are self-adjoint operators in a separable Hilbert space $\mathcal{H}$ and $W$ is bounded. In addition, we assume that the range of $W$ is a generating (i.e., cyclic) subspace for $K_0$. If $λ_0$ is an eigenvalue of $K_0$, then under the additional assumption that $W$ is nonnegative, the Lebesgue measure of the set of all $t\in [0,1]$ for which $λ_0$ is an eigenvalue of $K_t$ is known to be zero. We recall this result with its proof and show by explicit counterexample that the nonnegativity assumption $W\geq 0$ cannot be removed.

preprint2015arXiv

On Index Theory for Non-Fredholm Operators: A $(1+1)$-Dimensional Example

Using the general formalism of [12], a study of index theory for non-Fredholm operators was initiated in [9]. Natural examples arise from $(1+1)$-dimensional differential operators using the model operator $D_A$ in $L^2(\mathbb{R}^2; dt dx)$ of the type $D_A = (d/dt) + A$, where $A = \int^{\oplus}_{\mathbb{R}} dt \, A(t)$, and the family of self-adjoint operators $A(t)$ in $L^2(\mathbb{R}; dx)$ is explicitly given by $A(t) = - i (d/dx) + θ(t) ϕ(\cdot)$, $t \in \mathbb{R}$. Here $ϕ: \mathbb{R} \to \mathbb{R}$ has to be integrable on $\mathbb{R}$ and $θ: \mathbb{R} \to \mathbb{R}$ tends to zero as $t \to - \infty$ and to $1$ as $t \to + \infty$. In particular, $A(t)$ has asymptotes in the norm resolvent sense $A_- = - i (d/dx)$, $A_+ = - i (d/dx) + ϕ(\cdot)$ as $t \to \mp \infty$. Since $D_A$ violates the relative trace class condition introduced in [9], we now employ a new approach based on an approximation technique. The approximants do fit the framework of [9] and lead to the following results: Introducing $H_1 = {D_A}^* D_A$, $H_2 = D_A {D_A}^*$, we recall that the resolvent regularized Witten index of $D_A$, denoted by $W_r(D_A)$, is defined by $$ W_r(D_A) = \lim_{λ\to 0} (- λ) {\rm tr}_{L^2(\mathbb{R}^2; dtdx)}((H_1 - λI)^{-1} - (H_2 - λI)^{-1}). $$ In the concrete example at hand, we prove $$ W_r(D_A) = ξ(0_+; H_2, H_1) = ξ(0; A_+, A_-) = 1/(2 π) \int_{\mathbb{R}} dx \, ϕ(x). $$ Here $ξ(\, \cdot \, ; S_2, S_1)$, denotes the spectral shift operator for the pair $(S_2,S_1)$, and we employ the normalization, $ξ(λ; H_2, H_1) = 0$, $λ< 0$.

preprint2015arXiv

On the Index of a Non-Fredholm Model Operator

Let $\{A(t)\}_{t \in \mathbb{R}}$ be a path of self-adjoint Fredholm operators in a Hilbert space $\mathcal{H}$, joining endpoints $A_\pm$ as $t \to \pm \infty$. Computing the index of the operator $D_A= (d/d t) + A$ acting in $L^2(\mathbb{R}; \mathcal{H})$, where $A = \int_{\mathbb{R}}^{\oplus} dt \, A(t)$, and its relation to spectral flow along this path, has a long history. While most of the latter focuses on the case where $A(t)$ all have purely discrete spectrum, we now particularly study situations permitting essential spectra. Introducing $H_1={D_A}^* D_A$ and $H_2=D_A {D_A}^*$, we consider spectral shift functions $ξ(\, \cdot \,; A_+, A_-)$ and $ξ(\, \cdot \, ; H_2, H_1)$ associated with the pairs $(A_+, A_-)$ and $(H_2,H_1)$. Assuming $A_+$ to be a relatively trace class perturbation of $A_-$ and $A_{\pm}$ to be Fredholm, the value $ξ(0; A_-, A_+)$ was shown in [14] to represent the spectral flow along the path $\{A(t)\}_{t\in \mathbb{R}}$ while that of $ξ(0_+; H_1,H_2)$ yields the Fredholm index of $D_A$. The fact, proved in [14], that these values of the two spectral functions are equal, resolves the index = spectral flow question in this case. When the path $\{A(t)\}_{t \in \mathbb{R}}$ consists of differential operators, the relatively trace class perturbation assumption is violated. The simplest assumption that applies (to differential operators in (1+1)-dimensions) is a relatively Hilbert-Schmidt perturbation. This is not just an incremental improvement. In fact, the approximation method we employ here to make this extension is of interest in any dimension. Moreover we consider $A_\pm$ which are not necessarily Fredholm and we establish that the relationships between the two spectral shift functions for the pairs $(A_+, A_-)$ and $(H_2,H_1)$ found in all of the previous papers [9], [14], and [22] can be proved in the non-Fredholm case.

preprint2015arXiv

Principal Solutions Revisited

The main objective of this paper is to identify principal solutions associated with Sturm-Liouville operators on arbitrary open intervals $(a,b) \subseteq \mathbb{R}$, as introduced by Leighton and Morse in the scalar context in 1936 and by Hartman in the matrix-valued situation in 1957, with Weyl-Titchmarsh solutions, as long as the underlying Sturm-Liouville differential expression is nonoscillatory (resp., disconjugate or bounded from below near an endpoint) and in the limit point case at the endpoint in question. In addition, we derive an explicit formula for Weyl-Titchmarsh functions in this case (the latter appears to be new in the matrix-valued context).

preprint2015arXiv

Supersymmetry and Schrödinger-type operators with distributional matrix-valued potentials

Building on work on Miura's transformation by Kappeler, Perry, Shubin, and Topalov, we develop a detailed spectral theoretic treatment of Schrödinger operators with matrix-valued potentials, with special emphasis on distributional potential coefficients. Our principal method relies on a supersymmetric (factorization) formalism underlying Miura's transformation, which intimately connects the triple of operators $(D, H_1, H_2)$ of the form [D= (0 & A^*, A & 0) \text{in} L^2(\mathbb{R})^{2m} \text{and} H_1 = A^* A, H_2 = A A^* \text{in} L^2(\mathbb{R})^m.] Here $A= I_m (d/dx) + ϕ$ in $L^2(\mathbb{R})^m$, with a matrix-valued coefficient $ϕ= ϕ^* \in L^1_{\text{loc}}(\mathbb{R})^{m \times m}$, $m \in \mathbb{N}$, thus explicitly permitting distributional potential coefficients $V_j$ in $H_j$, $j=1,2$, where [H_j = - I_m \frac{d^2}{dx^2} + V_j(x), \quad V_j(x) = ϕ(x)^2 + (-1)^{j} ϕ'(x), j=1,2.] Upon developing Weyl--Titchmarsh theory for these generalized Schrödinger operators $H_j$, with (possibly, distributional) matrix-valued potentials $V_j$, we provide some spectral theoretic applications, including a derivation of the corresponding spectral representations for $H_j$, $j=1,2$. Finally, we derive a local Borg--Marchenko uniqueness theorem for $H_j$, $j=1,2$, by employing the underlying supersymmetric structure and reducing it to the known local Borg--Marchenko uniqueness theorem for $D$.

preprint2015arXiv

The index formula and the spectral shift function for relatively trace class perturbations

We compute the Fredholm index, ${\rm ind}(D_A)$, of the operator $D_A = (d/dt) + A$ on $L^2(\mathbb{R};\mathcal{H})$ associated with the operator path $\{A(t)\}_{t=-\infty}^{\infty}$, where $(A f)(t) = A(t) f(t)$ for a.e. $t\in\mathbb{R}$, and appropriate $f \in L^2(\mathbb{R};\mathcal{H})$, via the spectral shift function $ξ(\, \cdot \,;A_+,A_-)$ associated with the pair $(A_+, A_-)$ of asymptotic operators $A_{\pm}=A(\pm\infty)$ on the separable complex Hilbert space $\mathcal{H}$ in the case when $A(t)$ is generally an unbounded (relatively trace class) perturbation of the unbounded self-adjoint operator $A_-$. We derive a formula (an extension of a formula due to Pushnitski) relating the spectral shift function $ξ(\, \cdot \,;A_+,A_-)$ for the pair $(A_+, A_-)$, and the corresponding spectral shift function $ξ(\, \cdot \,;H_2,H_1)$ for the pair of operators $(H_2,H_1)=(D_A {D_A}^*, {D_A}^* D_A)$ in this relative trace class context. This formula is then used to identify the Fredholm index of $D_A$ with $ξ(0;A_+,A_-)$. In addition, we prove that ${\rm ind}(D_A)$ coincides with the spectral flow SpFlow$(\{A(t)\}_{t=-\infty}^\infty)$ of the family $\{A(t)\}_{t\in\mathbb{R}}$ and also relate it to the (Fredholm) perturbation determinant for the pair $(A_+, A_-)$. We also provide some applications in the context of supersymmetric quantum mechanics to zeta function and heat kernel regularized spectral asymmetries and the eta-invariant.

preprint2015arXiv

The Krein-von Neumann Realization of Perturbed Laplacians on Bounded Lipschitz Domains

In this paper we study the self-adjoint Krein-von Neumann realization $A_K$ of the perturbed Laplacian $-Δ+V$ in a bounded Lipschitz domain $Ω\subset\mathbb{R}^n$. We provide an explicit and self-contained description of the domain of $A_K$ in terms of Dirichlet and Neumann boundary traces, and we establish a Weyl asymptotic formula for the eigenvalues of $A_K$.

preprint2015arXiv

The Spectral shift function and the Witten index

We survey the notion of the spectral shift function of a pair of self-adjoint operators and recent progress on its connection with the Witten index. We also describe a proof of Krein's Trace Theorem that does not use complex analysis [53] and develop its extension to general $σ$-finite von Neumann algebras $\mathcal{M}$ of type II and unbounded perturbations from the predual of $\mathcal{M}$. We also discuss the connection between the theory of the spectral shift function and index theory for certain model operators. We start by introducing various definitions of the Witten index, (an extension of the notion of Fredholm index to non-Fredholm operators). Then we study the model operator $D_{A^{}} = (d/dt) + A$ in $L^2(\mathbb{R};\mathcal{H})$ associated with the operator path $\{A(t)\}_{t=-\infty}^{\infty}$, where $(A f)(t) = A(t) f(t)$ for a.e. $t\in\mathbb{R}$, and appropriate $f \in L^2(\mathbb{R};\mathcal{H})$. The setup permits the operator family $A(t)$ on $\mathcal{H}$ to be an unbounded relatively trace class perturbation of the unbounded self-adjoint operator $A_-$, and no discrete spectrum assumptions are made on the asymptotes $A_{\pm}$. When $A_{\pm}$ are boundedly invertible, it is shown that $D_{A^{}}$ is Fredholm and its index can be computed as $ξ(0; A_+, A_-)$. When $0\inσ(A_+)$ (or $0\inσ(A_-)$), the operator $D_{A^{}}$ ceases to be Fredholm. However, if $0$ is a right and a left Lebesgue point of $ξ(\,\cdot\,\, ; A_+, A_-)$, the resolvent regularized Witten index $W_r(D_{A^{}})$ is given by $W_r(D_{A^{}}) = ξ(0_+; |D_{A^{*}}|^2, |D_{A^{}}|^2) = [ξ(0_+; A_+,A_-) + ξ(0_-; A_+, A_-)]/2$. We also study a special example, when the perturbation of the unbounded self-adjoint operator $A_-$ is not assumed to be relatively trace class.

preprint2014arXiv

A Bound for the Eigenvalue Counting Function for Higher-Order Krein Laplacians on Open Sets

For an arbitrary nonempty, open set $Ω\subset \mathbb{R}^n$, $n \in \mathbb{N}$, of finite (Euclidean) volume, we consider the minimally defined higher-order Laplacian $(- Δ)^m\big|_{C_0^{\infty}(Ω)}$, $m \in \mathbb{N}$, and its Krein--von Neumann extension $A_{K,Ω,m}$ in $L^2(Ω)$. With $N(λ,A_{K,Ω,m})$, $λ> 0$, denoting the eigenvalue counting function corresponding to the strictly positive eigenvalues of $A_{K,Ω,m}$, we derive the bound $$ N(λ,A_{K,Ω,m}) \leq (2 π)^{-n} v_n |Ω| \{1 + [2m/(2m+n)]\}^{n/(2m)} λ^{n/(2m)}, \quad λ> 0, $$ where $v_n := π^{n/2}/Γ((n+2)/2)$ denotes the (Euclidean) volume of the unit ball in $\mathbb{R}^n$. The proof relies on variational considerations and exploits the fundamental link between the Krein--von Neumann extension and an underlying (abstract) buckling problem.

preprint2014arXiv

A Description of All Self-Adjoint Extensions of the Laplacian and Krein-Type Resolvent Formulas on Nonsmooth Domains

This paper has two main goals. First, we are concerned with the classification of self-adjoint extensions of the Laplacian $-Δ\big|_{C^\infty_0(Ω)}$ in $L^2(Ω; d^n x)$. Here, the domain $Ω$ belongs to a subclass of bounded Lipschitz domains (which we term quasi-convex domains), which contain all convex domains, as well as all domains of class $C^{1,r}$, for $r\in(1/2,1)$. Second, we establish Krein-type formulas for the resolvents of the various self-adjoint extensions of the Laplacian in quasi-convex domains and study the properties of the corresponding Weyl--Titchmarsh operators (or energy-dependent Dirichlet-to-Neumann maps). One significant technical innovation in this paper is an extension of the classical boundary trace theory for functions in spaces which lack Sobolev regularity in a traditional sense, but are suitably adapted to the Laplacian.

preprint2014arXiv

A Jost-Pais-type reduction of (modified) Fredholm determinants for semi-separable operators in infinite dimensions

We study the analog of semi-separable integral kernels in $\mathcal{H}$ of the type $$ K(x,x')=\begin{cases} F_1(x)G_1(x'), & a<x'< x< b, \\ F_2(x)G_2(x'), & a<x<x'<b, \end{cases} $$ where $-\infty\leq a<b\leq \infty$, and for a.e.\ $x \in (a,b)$, $F_j (x) \in \mathcal{B}_2(\mathcal{H}_j,\mathcal{H})$ and $G_j(x) \in \mathcal{B}_2(\mathcal{H},\mathcal{H}_j)$ such that $F_j(\cdot)$ and $G_j(\cdot)$ are uniformly measurable, and $$ \|F_j(\cdot)\|_{\mathcal{B}_2(\mathcal{H}_j,\mathcal{H})} \in L^2((a,b)), \; \|G_j (\cdot)\|_{\mathcal{B}_2(\mathcal{H},\mathcal{H}_j)} \in L^2((a,b)), \quad j=1,2, $$ with $\mathcal{H}$ and $\mathcal{H}_j$, $j=1,2$, complex, separable Hilbert spaces. Assuming that $K(\cdot, \cdot)$ generates a Hilbert-Schmidt operator $\mathbf{K}$ in $L^2((a,b);\mathcal{H})$, we derive the analog of the Jost-Pais reduction theory that succeeds in proving that the modified Fredholm determinant ${\det}_{2, L^2((a,b);\mathcal{H})}(\mathbf{I} - α\mathbf{K})$, $α\in \mathbb{C}$, naturally reduces to appropriate Fredholm determinants in the Hilbert spaces $\mathcal{H}$ (and $\mathcal{H} \oplus \mathcal{H}$). Some applications to Schrödinger operators with operator-valued potentials are provided.

preprint2014arXiv

A Jost-Pais-type reduction of Fredholm determinants and some applications

We study the analog of semi-separable integral kernels in $\cH$ of the type {equation*} K(x,x')={cases} F_1(x)G_1(x'), & a<x'< x< b, \\ F_2(x)G_2(x'), & a<x<x'<b, {cases} {equation*} where $-\infty\leq a<b\leq \infty$, and for a.e.\ $x \in (a,b)$, $F_j (x) \in \cB_2(\cH_j,\cH)$ and $G_j(x) \in \cB_2(\cH,\cH_j)$ such that $F_j(\cdot)$ and $G_j(\cdot)$ are uniformly measurable, and {equation*} \|F_j(\cdot)\|_{\cB_2(\cH_j,\cH)} \in L^2((a,b)), \; \|G_j (\cdot)\|_{\cB_2(\cH,\cH_j)} \in L^2((a,b)), \quad j=1,2, {equation*} with $\cH$ and $\cH_j$, $j=1,2$, complex, separable Hilbert spaces. Assuming that $K(\cdot, \cdot)$ generates a trace class operator $\bsK$ in $L^2((a,b);\cH)$, we derive the analog of the Jost-Pais reduction theory that succeeds in proving that the Fredholm determinant ${\det}_{L^2((a,b);\cH)}(\bsI - α\bsK)$, $α\in \bbC$, naturally reduces to appropriate Fredholm determinants in the Hilbert spaces $\cH$ (and $\cH_1 \oplus \cH_2$). Explicit applications of this reduction theory are made to Schrödinger operators with suitable bounded operator-valued potentials. In addition, we provide an alternative approach to a fundamental trace formula first established by Pushnitski which leads to a Fredholm index computation of a certain model operator.

preprint2014arXiv

A Survey on the Krein-von Neumann Extension, the corresponding Abstract Buckling Problem, and Weyl-Type Spectral Asymptotics for Perturbed Krein Laplacians in Nonsmooth Domains

In the first (and abstract) part of this survey we prove the unitary equivalence of the inverse of the Krein--von Neumann extension (on the orthogonal complement of its kernel) of a densely defined, closed, strictly positive operator, $S\geq \varepsilon I_{\mathcal{H}}$ for some $\varepsilon >0$ in a Hilbert space $\mathcal{H}$ to an abstract buckling problem operator. This establishes the Krein extension as a natural object in elasticity theory (in analogy to the Friedrichs extension, which found natural applications in quantum mechanics, elasticity, etc.). In the second, and principal part of this survey, we study spectral properties for $H_{K,Ω}$, the Krein--von Neumann extension of the perturbed Laplacian $-Δ+V$ (in short, the perturbed Krein Laplacian) defined on $C^\infty_0(Ω)$, where $V$ is measurable, bounded and nonnegative, in a bounded open set $Ω\subset\mathbb{R}^n$ belonging to a class of nonsmooth domains which contains all convex domains, along with all domains of class $C^{1,r}$, $r>1/2$.

preprint2014arXiv

On square root domains for non-self-adjoint Sturm-Liouville operators

We determine square root domains for non-self-adjoint Sturm--Liouville operators of the type $$ L_{p,q,r,s} = - \frac{d}{dx}p\frac{d}{dx}+r\frac{d}{dx}-\frac{d}{dx}s+q $$ in $L^2((c,d);dx)$, where either $(c,d)$ coincides with the real line $\mathbb{R}$, the half-line $(a,\infty)$, $a \in \mathbb{R}$, or with the bounded interval $(a,b) \subset \mathbb{R}$, under very general conditions on the coefficients $q, r, s$. We treat Dirichlet and Neumann boundary conditions at $a$ in the half-line case, and Dirichlet and/or Neumann boundary conditions at $a,b$ in the final interval context. (In the particular case $p=1$ a.e.\ on $(a,b)$, we treat all separated boundary conditions at $a, b$.)

preprint2014arXiv

On Stability of Square Root Domains for Non-Self-Adjoint Operators Under Additive Perturbations

Assuming $T_0$ to be an m-accretive operator in the complex Hilbert space $\mathcal{H}$, we use a resolvent method due to Kato to appropriately define the additive perturbation $T = T_0 + W$ and prove stability of square root domains, that is, $$ dom\big((T_0 + W)^{1/2}\big) = dom\big(T_0^{1/2}\big). $$ Moreover, assuming in addition that $dom\big(T_0^{1/2}\big) = dom\big((T_0^*)^{1/2}\big)$, we prove stability of square root domains in the form $$dom\big((T_0 + W)^{1/2}\big) = dom\big(T_0^{1/2}\big) = dom\big((T_0^*)^{1/2}\big) = dom\big(((T_0 + W)^*)^{1/2}\big), $$ which is most suitable for PDE applications. We apply this approach to elliptic second-order partial differential operators of the form $$ - div(a\nabla \, \cdot \,) + \big(\mathbf{B}_1\cdot \nabla \cdot \big) + div \big(\mathbf{B}_2 \cdot \big) + V $$ in $L^2(Ω)$ on certain open sets $Ω\subseteq \mathbb{R}^n$, $n \in \mathbb{N}$, with Dirichlet, Neumann, and mixed boundary conditions on $\partial Ω$, under general hypotheses on the (typically, nonsmooth, unbounded) coefficients and on $\partialΩ$.

preprint2014arXiv

On the Witten index in terms of spectral shift functions

We study the model operator $\mathbf{D}_{\mathbf{A}} = (d/dt) + \mathbf{A}$ in $L^2(\mathbb{R};\mathcal{H})$ associated with the operator path $\{A(t)\}_{t=-\infty}^{\infty}$, where $(\mathbf{A} f)(t) = A(t) f(t)$ for a.e.\ $t\in\mathbb{R}$, and appropriate $f \in L^2(\mathbb{R};\mathcal{H})$ (with $\mathcal{H}$ a separable, complex Hilbert space). Denoting by $A_{\pm}$ the norm resolvent limits of $A(t)$ as $t \to \pm \infty$, our setup permits $A(t)$ in $\mathcal{H}$ to be an unbounded, relatively trace class perturbation of the unbounded self-adjoint operator $A_-$, and no discrete spectrum assumptions are made on $A_{\pm}$. We introduce resolvent and semigroup regularized Witten indices of $\mathbf{D}_{\mathbf{A}}$, denoted by $W_r$ and $W_s$, and prove that these regularized indices coincide with the Fredholm index of $\mathbf{D}_{\mathbf{A}}$ whenever the latter is Fredholm. In situations where $\mathbf{D}_{\mathbf{A}}$ ceases to be a Fredholm operator in $L^2(\mathbb{R};\mathcal{H})$ we compute its resolvent (resp., semigroup) regularized Witten index in terms of the spectral shift function $ξ(\,\cdot\,;A_+,A_-)$ associated with the pair $(A_+, A_-)$ as follows: Assuming $0$ to be a right and a left Lebesgue point of $ξ(\,\cdot\,\, ; A_+, A_-)$, denoted by $ξ_L(0_+; A_+,A_-)$ and $ξ_L(0_-; A_+, A_-)$, we prove that $0$ is also a right Lebesgue point of $ξ(\,\cdot\,\, ; \mathbf{H_2}, \mathbf{H_1})$, denoted by $ξ_L(0_+; \mathbf{H_2}, \mathbf{H_1})$, and that \begin{align*} W_r(\mathbf{D}_{\mathbf{A}}) &= W_s(\mathbf{D}_{\mathbf{A}}) \\ & = ξ_L(0_+; \mathbf{H_2}, \mathbf{H_1}) \\ & = [ξ_L(0_+; A_+,A_-) + ξ_L(0_-; A_+, A_-)]/2, \end{align*} the principal result of this paper. In the special case where $\dim(\mathcal{H}) < \infty$, we prove that the Witten indices of $\mathbf{D}_{\mathbf{A}}$ are either integer, or half-integer-valued.

preprint2014arXiv

Some Operator Bounds Employing Complex Interpolation Revisited

We revisit and extend known bounds on operator-valued functions of the type $$ T_1^{-z} S T_2^{-1+z}, \quad z \in \ol Σ= \{z\in\bbC\,|\, \Re(z) \in [0,1]\}, $$ under various hypotheses on the linear operators $S$ and $T_j$, $j=1,2$. We particularly single out the case of self-adjoint and sectorial operators $T_j$ in some separable complex Hilbert space $\cH_j$, $j=1,2$, and suppose that $S$ (resp., $S^*$) is a densely defined closed operator mapping $\dom(S) \subseteq \cH_1$ into $\cH_2$ (resp., $\dom(S^*) \subseteq \cH_2$ into $\cH_1$), relatively bounded with respect to $T_1$ (resp., $T_2^*$). Using complex interpolation methods, a generalized polar decomposition for $S$, and Heinz's inequality, the bounds we establish lead to inequalities of the following type, \begin{align*} & \big\|\ol{T_2^{-x}ST_1^{-1+x}}\big\|_{\cB(\cH_1,\cH_2)} \leq N_1 N_2 e^{(θ_1 + θ_2) [x(1-x)]^{1/2}} \\ & \quad \times \big\|ST_1^{-1}\big\|_{\cB(\cH_1,\cH_2)}^{1-x} \, \big\|S^*(T_2^*)^{-1}\big\|_{\cB(\cH_2,\cH_1)}^{x}, \quad x \in [0,1], \end{align*} assuming that $T_j$ have bounded imaginary powers, that is, for some $N_j\ge 1$ and $θ_j \ge 0,$ $$ \big\|T_j^{is}\big\|_{\cB(\cH)} \leq N_j e^{θ_j |s|}, \quad s \in \bbR, \; j=1,2. $$ We also derive analogous bounds with $\cB(\cH_1,\cH_2)$ replaced by trace ideals, $\cB_p(\cH_1, \cH_2)$, $p \in [1,\infty)$. The methods employed are elementary, predominantly relying on Hadamard's three-lines theorem and Heinz's inequality.

preprint2014arXiv

Stability of square root domains associated with elliptic systems of PDEs on nonsmooth domains

We discuss stability of square root domains for uniformly elliptic partial differential operators $L_{a,Ω,Γ} = -\nabla\cdot a \nabla$ in $L^2(Ω)$, with mixed boundary conditions on $\partial Ω$, with respect to additive perturbations. We consider open, bounded, and connected sets $Ω\in \mathbb{R}^n$, $n \in \mathbb{N} \backslash\{1\}$, that satisfy the interior corkscrew condition and prove stability of square root domains of the operator $L_{a,Ω,Γ}$ with respect to additive potential perturbations $V \in L^p(Ω) + L^{\infty}(Ω)$, $p>n/2$. Special emphasis is put on the case of uniformly elliptic systems with mixed boundary conditions.

preprint2013arXiv

Heat Kernel Bounds for Elliptic Partial Differential Operators in Divergence Form with Robin-Type Boundary Conditions

One of the principal topics of this paper concerns the realization of self-adjoint operators $L_{Θ, \Om}$ in $L^2(\Om; d^n x)^m$, $m, n \in \bbN$, associated with divergence form elliptic partial differential expressions $L$ with (nonlocal) Robin-type boundary conditions in bounded Lipschitz domains $\Om \subset \bbR^n$. In particular, we develop the theory in the vector-valued case and hence focus on matrix-valued differential expressions $L$ which act as $$ Lu = - \biggl(\sum_{j,k=1}^n\partial_j\bigg(\sum_{β= 1}^m a^{α,β}_{j,k}\partial_k u_β\bigg) \bigg)_{1\leqα\leq m}, \quad u=(u_1,...,u_m). $$ The (nonlocal) Robin-type boundary conditions are then of the form $$ ν\cdot A D u + Θ\big[u\big|_{\partial \Om}\big] = 0 \, \text{on $\partial \Om$}, $$ where $Θ$ represents an appropriate operator acting on Sobolev spaces associated with the boundary $\partial \Om$ of $\Om$, $ν$ denotes the outward pointing normal unit vector on $\partial\Om$, and $Du:=\bigl(\partial_j u_α\bigr)_{\substack{1\leqα\leq m 1\leq j\leq n}}$. Assuming $Θ\geq 0$ in the scalar case $m=1$, we prove Gaussian heat kernel bounds for $L_{Θ, \Om}$ by employing positivity preserving arguments for the associated semigroups and reducing the problem to the corresponding Gaussian heat kernel bounds for the case of Neumann boundary conditions on $\partial \Om$. We also discuss additional zero-order potential coefficients $V$ and hence operators corresponding to the form sum $L_{Θ, \Om} + V$.

preprint2013arXiv

Heat kernel bounds for elliptic partial differential operators in divergence form with Robin-type boundary conditions II

The principal aim of this short note is to extend a recent result on Gaussian heat kernel bounds for self-adjoint $L^2(\Om; d^n x)$-realizations, $n\in\bbN$, $n\geq 2$, of divergence form elliptic partial differential expressions $L$ with (nonlocal) Robin-type boundary conditions in bounded Lipschitz domains $\Om \subset \bbR^n$, where $$ Lu = - \sum_{j,k=1}^n\partial_j a_{j,k}\partial_k u. $$ The (nonlocal) Robin-type boundary conditions are then of the form $$ ν\cdot A\nabla u + Θ\big[u\big|_{\partial\Om}\big]=0 \, \text{on} \, \partialΩ, $$ where $Θ$ represents an appropriate operator acting on Sobolev spaces associated with the boundary $\partial \Om$ of $\Om$, and $ν$ denotes the outward pointing normal unit vector on $\partial\Om$.

preprint2013arXiv

Inverse Spectral Theory for Sturm-Liouville Operators with Distributional Potentials

We discuss inverse spectral theory for singular differential operators on arbitrary intervals $(a,b) \subseteq \mathbb{R}$ associated with rather general differential expressions of the type \[τf = \frac{1}{r} \left(- \big(p[f' + s f]\big)' + s p[f' + s f] + qf\right), \] where the coefficients $p$, $q$, $r$, $s$ are Lebesgue measurable on $(a,b)$ with $p^{-1}$, $q$, $r$, $s \in L^1_{\text{loc}}((a,b); dx)$ and real-valued with $p\not=0$ and $r>0$ a.e.\ on $(a,b)$. In particular, we explicitly permit certain distributional potential coefficients. The inverse spectral theory results derived in this paper include those implied by the spectral measure, by two-spectra and three-spectra, as well as local Borg-Marchenko-type inverse spectral results. The special cases of Schrödinger operators with distributional potentials and Sturm--Liouville operators in impedance form are isolated, in particular.

preprint2013arXiv

On Spectral Theory for Schrödinger Operators with Operator-Valued Potentials

Given a complex, separable Hilbert space $\cH$, we consider differential expressions of the type $τ= - (d^2/dx^2) + V(x)$, with $x \in (a,\infty)$ or $x \in \bbR$. Here $V$ denotes a bounded operator-valued potential $V(\cdot) \in \cB(\cH)$ such that $V(\cdot)$ is weakly measurable and the operator norm $\|V(\cdot)\|_{\cB(\cH)}$ is locally integrable. We consider self-adjoint half-line $L^2$-realizations $H_α$ in $L^2((a,\infty); dx; \cH)$ associated with $τ$, assuming $a$ to be a regular endpoint necessitating a boundary condition of the type $\sin(α)u'(a) + \cos(α)u(a)=0$, indexed by the self-adjoint operator $α= α^* \in \cB(\cH)$. In addition, we study self-adjoint full-line $L^2$-realizations $H$ of $τ$ in $L^2(\bbR; dx; \cH)$. In either case we treat in detail basic spectral theory associated with $H_α$ and $H$, including Weyl--Titchmarsh theory, Green's function structure, eigenfunction expansions, diagonalization, and a version of the spectral theorem.

preprint2013arXiv

Some Remarks on the Spectral Problem Underlying the Camassa-Holm Hierarchy

We consider left-definite eigenvalue problems $A ψ= λB ψ$, with $A \geq \varepsilon I$ for some $\varepsilon > 0$ and $B$ self-adjoint, but $B$ not necessarily positive or negative definite, applicable, in particular, to the eigenvalue problem underlying the Camassa-Holm hierarchy. In fact, we will treat a more general version where $A$ represents a positive definite Schrödinger or Sturm-Liouville operator $T$ in $L^2(\bbR; dx)$ associated with a differential expression of the form $τ= - (d/dx) p(x) (d/dx) + q(x)$, $x \in \bbR$, and $B$ represents an operator of multiplication by $r(x)$ in $L^2(\bbR; dx)$, which, in general, is not a weight, that is, it is not nonnegative a.e.\ on $\bbR$. Our methods naturally permit us to treat certain classes of distributions (resp., measures) for the coefficients $q$ and $r$ and hence considerably extend the scope of this (generalized) eigenvalue problem, without having to change the underlying Hilbert space $L^2(\bbR; dx)$. Our approach relies on rewriting the eigenvalue problem $A ψ= λB ψ$ in the form $A^{-1/2} B A^{-1/2} χ= λ^{-1} χ$, $χ= A^{1/2} ψ$, and a careful study of (appropriate realizations of) the operator $A^{-1/2} B A^{-1/2}$ in $L^2(\bbR; dx)$. In the course of our treatment we employ a supersymmetric formalism which permits us to factor the second-order operator $T$ into a product of two first-order operators familiar from (and inspired by) Miura's transformation linking the KdV and mKdV hierarchy of nonlinear evolution equations. We also treat the case of periodic coefficients $q$ and $r$, where $q$ may be a distribution and $r$ generates a measure and hence no smoothness is assumed for $q$ and $r$.

preprint2013arXiv

Weyl-Titchmarsh Theory for Sturm-Liouville Operators with Distributional Potentials

We systematically develop Weyl-Titchmarsh theory for singular differential operators on arbitrary intervals $(a,b) \subseteq \mathbb{R}$ associated with rather general differential expressions of the type \[ τf = \frac{1}{r} (- \big(p[f' + s f]\big)' + s p[f' + s f] + qf),] where the coefficients $p$, $q$, $r$, $s$ are real-valued and Lebesgue measurable on $(a,b)$, with $p\neq 0$, $r>0$ a.e.\ on $(a,b)$, and $p^{-1}$, $q$, $r$, $s \in L^1_{\text{loc}}((a,b); dx)$, and $f$ is supposed to satisfy [f \in AC_{\text{loc}}((a,b)), \; p[f' + s f] \in AC_{\text{loc}}((a,b)).] In particular, this setup implies that $τ$ permits a distributional potential coefficient, including potentials in $H^{-1}_{\text{loc}}((a,b))$. We study maximal and minimal Sturm-Liouville operators, all self-adjoint restrictions of the maximal operator $T_{\text{max}}$, or equivalently, all self-adjoint extensions of the minimal operator $T_{\text{min}}$, all self-adjoint boundary conditions (separated and coupled ones), and describe the resolvent of any self-adjoint extension of $T_{\text{min}}$. In addition, we characterize the principal object of this paper, the singular Weyl-Titchmarsh-Kodaira $m$-function corresponding to any self-adjoint extension with separated boundary conditions and derive the corresponding spectral transformation, including a characterization of spectral multiplicities and minimal supports of standard subsets of the spectrum. We also deal with principal solutions and characterize the Friedrichs extension of $T_{\text{min}}$. Finally, in the special case where $τ$ is regular, we characterize the Krein-von Neumann extension of $T_{\text{min}}$ and also characterize all boundary conditions that lead to positivity preserving, equivalently, improving, resolvents (and hence semigroups).

preprint2012arXiv

Abstract Wave Equations and Associated Dirac-Type Operators

We discuss the unitary equivalence of generators $G_{A,R}$ associated with abstract damped wave equations of the type $\ddot{u} + R \dot{u} + A^*A u = 0$ in some Hilbert space $\mathcal{H}_1$ and certain non-self-adjoint Dirac-type operators $Q_{A,R}$ (away from the nullspace of the latter) in $\mathcal{H}_1 \oplus \mathcal{H}_2$. The operator $Q_{A,R}$ represents a non-self-adjoint perturbation of a supersymmetric self-adjoint Dirac-type operator. Special emphasis is devoted to the case where 0 belongs to the continuous spectrum of $A^*A$. In addition to the unitary equivalence results concerning $G_{A,R}$ and $Q_{A,R}$, we provide a detailed study of the domain of the generator $G_{A,R}$, consider spectral properties of the underlying quadratic operator pencil $M(z) = |A|^2 - iz R - z^2 I_{\mathcal{H}_1}$, $z\in\mathbb{C}$, derive a family of conserved quantities for abstract wave equations in the absence of damping, and prove equipartition of energy for supersymmetric self-adjoint Dirac-type operators. The special example where $R$ represents an appropriate function of $|A|$ is treated in depth and the semigroup growth bound for this example is explicitly computed and shown to coincide with the corresponding spectral bound for the underlying generator and also with that of the corresponding Dirac-type operator. The cases of undamped (R=0) and damped ($R \neq 0$) abstract wave equations as well as the cases $A^* A \geq εI_{\mathcal{H}_1}$ for some $ε> 0$ and $0 \in σ(A^* A)$ (but 0 not an eigenvalue of $A^*A$) are separately studied in detail.

preprint2012arXiv

Boundary Data Maps and Krein's Resolvent Formula for Sturm-Liouville Operators on a Finite Interval

We continue the study of boundary data maps, that is, generalizations of spectral parameter dependent Dirichlet-to-Neumann maps for (three-coefficient) Sturm-Liouville operators on the finite interval $(a,b)$, to more general boundary conditions. While earlier studies of boundary data maps focused on the case of general separated boundary conditions at $a$ and $b$, the present work develops a unified treatment for all possible self-adjoint boundary conditions (i.e., separated as well as non-separated ones). In the course of this paper we describe the connections with Krein's resolvent formula for self-adjoint extensions of the underlying minimal Sturm-Liouville operator (parametrized in terms of boundary conditions), with some emphasis on the Krein extension, develop the basic trace formulas for resolvent differences of self-adjoint extensions, especially, in terms of the associated spectral shift functions, and describe the connections between various parametrizations of all self-adjoint extensions, including the precise relation to von Neumann's basic parametrization in terms of unitary maps between deficiency subspaces.

preprint2011arXiv

A Schauder and Riesz Basis Criterion for Non-Self-Adjoint Schrödinger Operators with Periodic and Antiperiodic Boundary Conditions

Under the assumption that $V \in L^2([0,π]; dx)$, we derive necessary and sufficient conditions for (non-self-adjoint) Schrödinger operators $-d^2/dx^2+V$ in $L^2([0,π]; dx)$ with periodic and antiperiodic boundary conditions to possess a Riesz basis of root vectors (i.e., eigenvectors and generalized eigenvectors spanning the range of the Riesz projection associated with the corresponding periodic and antiperiodic eigenvalues). We also discuss the case of a Schauder basis for periodic and antiperiodic Schrödinger operators $-d^2/dx^2+V$ in $L^p([0,π]; dx)$, $p \in (1,\infty)$.

preprint2011arXiv

An Abstract Approach to Weak Convergence of Spectral Shift Functions and Applications to Multi-Dimensional Schrödinger Operators

We study the manner in which a sequence of spectral shift functions $ξ(\cdot;H_j,H_{0,j})$ associated with abstract pairs of self-adjoint operators $(H_j, H_{0,j})$ in Hilbert spaces $\cH_j$, $j\in\bbN$, converge to a limiting spectral shift function $ξ(\cdot;H,H_0)$ associated with a pair $(H,H_0)$ in the limiting Hilbert space $\cH$ as $j\to\infty$ (mimicking the infinite volume limit in concrete applications to multi-dimensional Schrödinger operators). Our techniques rely on a Fredholm determinant approach combined with certain measure theoretic facts. In particular, we show that prior vague convergence results for spectral shift functions in the literature actually extend to the notion of weak convergence. More precisely, in the concrete case of multi-dimensional Schrödinger operators on a sequence of domains $Ω_j$ exhausting $\bbR^n$ as $j\to\infty$, we extend the convergence of associated spectral shift functions from vague to weak convergence and also from Dirichlet boundary conditions to more general self-adjoint boundary conditions on $\partialΩ_j$.

preprint2011arXiv

Initial Value Problems and Weyl--Titchmarsh Theory for Schrödinger Operators with Operator-Valued Potentials

We develop Weyl-Titchmarsh theory for self-adjoint Schrödinger operators $H_α$ in $L^2((a,b);dx;\cH)$ associated with the operator-valued differential expression $τ=-(d^2/dx^2)+V(\cdot)$, with $V:(a,b)\to\cB(\cH)$, and $\cH$ a complex, separable Hilbert space. We assume regularity of the left endpoint $a$ and the limit point case at the right endpoint $b$. In addition, the bounded self-adjoint operator $α= α^* \in \cB(\cH)$ is used to parametrize the self-adjoint boundary condition at the left endpoint $a$ of the type $$ \sin(α)u'(a)+\cos(α)u(a)=0, $$ with $u$ lying in the domain of the underlying maximal operator $H_{\max}$ in $L^2((a,b);dx;\cH)$ associated with $τ$. More precisely, we establish the existence of the Weyl-Titchmarsh solution of $H_α$, the corresponding Weyl-Titchmarsh $m$-function $m_α$ and its Herglotz property, and determine the structure of the Green's function of $H_α$. Developing Weyl-Titchmarsh theory requires control over certain (operator-valued) solutions of appropriate initial value problems. Thus, we consider existence and uniqueness of solutions of 2nd-order differential equations with the operator coefficient $V$, -y" + (V - z) y = f \, \text{on} \, (a,b), y(x_0) = h_0, \; y'(x_0) = h_1, under the following general assumptions: $(a,b)\subseteq\bbR$ is a finite or infinite interval, $x_0\in(a,b)$, $z\in\bbC$, $V:(a,b)\to\cB(\cH)$ is a weakly measurable operator-valued function with $\|V(\cdot)\|_{\cB(\cH)}\in L^1_\loc((a,b);dx)$, and $f\in L^1_{\loc}((a,b);dx;\cH)$, with $\cH$ a complex, separable Hilbert space. We also study the analog of this initial value problem with $y$ and $f$ replaced by operator-valued functions $Y, F \in \cB(\cH)$. Our hypotheses on the local behavior of $V$ appear to be the most general ones to date.

preprint2011arXiv

On a class of Model Hilbert Spaces

We provide a detailed description of the model Hilbert space $L^2(\bbR; dΣ; \cK)$, were $\cK$ represents a complex, separable Hilbert space, and $Σ$ denotes a bounded operator-valued measure. In particular, we show that several alternative approaches to such a construction in the literature are equivalent. These spaces are of fundamental importance in the context of perturbation theory of self-adjoint extensions of symmetric operators, and the spectral theory of ordinary differential operators with operator-valued coefficients.

preprint2011arXiv

Weak Convergence of Spectral Shift Functions for One-Dimensional Schrödinger Operators

We study the manner in which spectral shift functions associated with self-adjoint one-dimensional Schrödinger operators on the finite interval $(0,R)$ converge in the infinite volume limit $R\to\infty$ to the half-line spectral shift function. Relying on a Fredholm determinant approach combined with certain measure theoretic facts, we show that prior vague convergence results in the literature in the special case of Dirichlet boundary conditions extend to the notion of weak convergence and arbitrary separated self-adjoint boundary conditions at $x=0$ and $x=R$.

preprint2010arXiv

Boundary Data Maps for Schrodinger Operators on a Compact Interval

We provide a systematic study of boundary data maps, that is, 2 \times 2 matrix-valued Dirichlet-to-Neumann and more generally, Robin-to-Robin maps, associated with one-dimensional Schrodinger operators on a compact interval [0,R] with separated boundary conditions at 0 and R. Most of our results are formulated in the non-self-adjoint context. Our principal results include explicit representations of these boundary data maps in terms of the resolvent of the underlying Schrodinger operator and the associated boundary trace maps, Krein-type resolvent formulas relating Schrodinger operators corresponding to different (separated) boundary conditions, and a derivation of the Herglotz property of boundary data maps (up to right multiplication by an appropriate diagonal matrix) in the special self-adjoint case.

preprint2010arXiv

Minimal Rank Decoupling of Full-Lattice CMV Operators with Scalar- and Matrix-Valued Verblunsky Coefficients

Relations between half- and full-lattice CMV operators with scalar- and matrix-valued Verblunsky coefficients are investigated. In particular, the decoupling of full-lattice CMV operators into a direct sum of two half-lattice CMV operators by a perturbation of minimal rank is studied. Contrary to the Jacobi case, decoupling a full-lattice CMV matrix by changing one of the Verblunsky coefficients results in a perturbation of twice the minimal rank. The explicit form for the minimal rank perturbation and the resulting two half-lattice CMV matrices are obtained. In addition, formulas relating the Weyl--Titchmarsh $m$-functions (resp., matrices) associated with the involved CMV operators and their Green's functions (resp., matrices) are derived.

preprint2010arXiv

Nonlocal Robin Laplacians and some remarks on a paper by Filonov on eigenvalue inequalities

The aim of this paper is twofold: First, we characterize an essentially optimal class of boundary operators $Θ$ which give rise to self-adjoint Laplacians $-Δ_{Θ, Ω}$ in $L^2(Ω; d^n x)$ with (nonlocal and local) Robin-type boundary conditions on bounded Lipschitz domains $Ω\subset\bbR^n$, $n\in\bbN$, $n\geq 2$. Second, we extend Friedlander's inequalities between Neumann and Dirichlet Laplacian eigenvalues to those between nonlocal Robin and Dirichlet Laplacian eigenvalues associated with bounded Lipschitz domains $Ω$, following an approach introduced by Filonov for this type of problems.

preprint2010arXiv

On a Question of A. E. Nussbaum on Measurability of Families of Closed Linear Operators in a Hilbert Space

The purpose of this note is to answer a question A. E. Nussbaum formulated in 1964 about the possible equivalence between weak measurability of a family of densely defined, closed operators T(t), t real, in a separable complex Hilbert space H on one hand, and the notion of measurability of the 2 \times 2 operator-valued matrix of projections onto the graph Gamma(T(t)) of T(t) on the other, in the negative. Our results demonstrate an interesting distinction between the direct integral over the family of operators T(t) with respect to Lebesgue measure and the naturally maximally defined operator associated with pointwise application of T(t) in the vector-valued Hilbert space L^2(\mathbb R; dt; H). We also provide explicit criteria for the measurability of the matrix of projections onto the graph Gamma(T(t)) of T(t).

preprint2010arXiv

On Dirichlet-to-Neumann Maps and Some Applications to Modified Fredholm Determinants

We consider Dirichlet-to-Neumann maps associated with (not necessarily self-adjoint) Schrodinger operators in $L^2(Ω; d^n x)$, $n=2,3$, where $Ω$ is an open set with a compact, nonempty boundary satisfying certain regularity conditions. As an application we describe a reduction of a certain ratio of modified Fredholm perturbation determinants associated with operators in $L^2(Ω; d^n x)$ to modified Fredholm perturbation determinants associated with operators in $L^2(\partialΩ; d^{n-1}σ)$, $n=2,3$. This leads to a two- and three-dimensional extension of a variant of a celebrated formula due to Jost and Pais, which reduces the Fredholm perturbation determinant associated with a Schrodinger operator on the half-line $(0,\infty)$ to a simple Wronski determinant of appropriate distributional solutions of the underlying Schrodinger equation.

preprint2010arXiv

On Dirichlet-to-Neumann Maps, Nonlocal Interactions, and Some Applications to Fredholm Determinants

We consider Dirichlet-to-Neumann maps associated with (not necessarily self-adjoint) Schrodinger operators describing nonlocal interactions in $L^2(Ω; d^n x)$, $n\geq 2$, where $Ω$ is an open set with a compact, nonempty boundary satisfying certain regularity conditions. As an application we describe a reduction of a certain ratio of Fredholm perturbation determinants associated with operators in $L^2(Ω; d^n x)$ to Fredholm perturbation determinants associated with operators in $L^2(\partialΩ; d^{n-1}σ)$. This leads to an extension of a variant of a celebrated formula due to Jost and Pais, which reduces the Fredholm perturbation determinant associated with a Schrödinger operator on the half-line $(0,\infty)$, in the case of local interactions, to a Wronski determinant of appropriate distributional solutions of the underlying Schrodinger equation.

preprint2010arXiv

Spectral Theory for Perturbed Krein Laplacians in Nonsmooth Domains

We study spectral properties for $H_{K,Ω}$, the Krein--von Neumann extension of the perturbed Laplacian $-Δ+V$ defined on $C^\infty_0(Ω)$, where $V$ is measurable, bounded and nonnegative, in a bounded open set $Ω\subset\mathbb{R}^n$ belonging to a class of nonsmooth domains which contains all convex domains, along with all domains of class $C^{1,r}$, $r>1/2$. In particular, in the aforementioned context we establish the Weyl asymptotic formula \[ #\{j\in\mathbb{N} | λ_{K,Ω,j}\leqλ\} = (2π)^{-n} v_n |Ω| λ^{n/2}+O\big(λ^{(n-(1/2))/2}\big) {as} λ\to\infty, \] where $v_n=π^{n/2}/ Γ((n/2)+1)$ denotes the volume of the unit ball in $\mathbb{R}^n$, and $λ_{K,Ω,j}$, $j\in\mathbb{N}$, are the non-zero eigenvalues of $H_{K,Ω}$, listed in increasing order according to their multiplicities. We prove this formula by showing that the perturbed Krein Laplacian (i.e., the Krein--von Neumann extension of $-Δ+V$ defined on $C^\infty_0(Ω)$) is spectrally equivalent to the buckling of a clamped plate problem, and using an abstract result of Kozlov from the mid 1980's. Our work builds on that of Grubb in the early 1980's, who has considered similar issues for elliptic operators in smooth domains, and shows that the question posed by Alonso and Simon in 1980 pertaining to the validity of the above Weyl asymptotic formula continues to have an affirmative answer in this nonsmooth setting.

preprint2010arXiv

Symmetrized Perturbation Determinants and Applications to Boundary Data Maps and Krein-Type Resolvent Formulas

The aim of this paper is twofold: On one hand we discuss an abstract approach to symmetrized Fredholm perturbation determinants and an associated trace formula for a pair of operators of positive-type, extending a classical trace formula. On the other hand, we continue a recent systematic study of boundary data maps, that is, 2 \times 2 matrix-valued Dirichlet-to-Neumann and more generally, Robin-to-Robin maps, associated with one-dimensional Schrödinger operators on a compact interval [0,R] with separated boundary conditions at 0 and R. One of the principal new results in this paper reduces an appropriately symmetrized (Fredholm) perturbation determinant to the 2\times 2 determinant of the underlying boundary data map. In addition, as a concrete application of the abstract approach in the first part of this paper, we establish the trace formula for resolvent differences of self-adjoint Schrödinger operators corresponding to different (separated) boundary conditions in terms of boundary data maps.

preprint2010arXiv

The Damped String Problem Revisited

We revisit the damped string equation on a compact interval with a variety of boundary conditions and derive an infinite sequence of trace formulas associated with it, employing methods familiar from supersymmetric quantum mechanics. We also derive completeness and Riesz basis results (with parentheses) for the associated root functions under less smoothness assumptions on the coefficients than usual, using operator theoretic methods (rather than detailed eigenvalue and root function asymptotics) only.

preprint2010arXiv

The Krein-von Neumann Extension and its Connection to an Abstract Buckling Problem

We prove the unitary equivalence of the inverse of the Krein--von Neumann extension (on the orthogonal complement of its kernel) of a densely defined, closed, strictly positive operator, $S\geq εI_{\mathcal{H}}$ for some $ε>0$ in a Hilbert space $\mathcal{H}$ to an abstract buckling problem operator. In the concrete case where $S=\bar{-Δ|_{C_0^\infty(Ω)}}$ in $L^2(Ω; d^n x)$ for $Ω\subset\mathbb{R}^n$ an open, bounded (and sufficiently regular) domain, this recovers, as a particular case of a general result due to G. Grubb, that the eigenvalue problem for the Krein Laplacian $S_K$ (i.e., the Krein--von Neumann extension of $S$), \[ S_K v = λv, \quad λ\neq 0, \] is in one-to-one correspondence with the problem of {\em the buckling of a clamped plate}, \[ (-Δ)^2u=λ(-Δ) u \text{in} Ω, \quad λ\neq 0, \quad u\in H_0^2(Ω), \] where $u$ and $v$ are related via the pair of formulas \[ u = S_F^{-1} (-Δ) v, \quad v = λ^{-1}(-Δ) u, \] with $S_F$ the Friedrichs extension of $S$. This establishes the Krein extension as a natural object in elasticity theory (in analogy to the Friedrichs extension, which found natural applications in quantum mechanics, elasticity, etc.).

preprint2010arXiv

Weyl-Titchmarsh Theory and Borg-Marchenko-type Uniqueness Results for CMV Operators with Matrix-Valued Verblunsky Coefficients

We prove local and global versions of Borg-Marchenko-type uniqueness theorems for half-lattice and full-lattice CMV operators (CMV for Cantero, Moral, and Velazquez) with matrix-valued Verblunsky coefficients. While our half-lattice results are formulated in terms of matrix-valued Weyl-Titchmarsh functions, our full-lattice results involve the diagonal and main off-diagonal Green's matrices. We also develop the basics of Weyl-Titchmarsh theory for CMV operators with matrix-valued Verblunsky coefficients as this is of independent interest and an essential ingredient in proving the corresponding Borg-Marchenko-type uniqueness theorems.

preprint2007arXiv

The Ablowitz-Ladik Hierarchy Revisited

We provide a detailed recursive construction of the Ablowitz-Ladik (AL) hierarchy and its zero-curvature formalism. The two-coefficient AL hierarchy under investigation can be considered a complexified version of the discrete nonlinear Schrödinger equation and its hierarchy of nonlinear evolution equations. Specifically, we discuss in detail the stationary Ablowitz-Ladik formalism in connection with the underlying hyperelliptic curve and the stationary Baker-Akhiezer function and separately the corresponding time-dependent Ablowitz-Ladik formalism.

preprint1998arXiv

Algebro-Geometric Solutions of the Boussinesq Hierarchy

We continue a recently developed systematic approach to the Bousinesq (Bsq) hierarchy and its algebro-geometric solutions. Our formalism includes a recursive construction of Lax pairs and establishes associated Burchnall-Chaundy curves, Baker-Akhiezer functions and Dubrovin-type equations for analogs of Dirichlet and Neumann divisors. The principal aim of this paper is a detailed theta function representation of all algebro-geometric quasi-periodic solutions and related quantities of the Bsq hierarchy.

preprint1992arXiv

New types of soliton solutions

We announce a detailed investigation of limits of N-soliton solutions of the Korteweg-deVries (KdV) equation as $N$ tends to infinity. Our main results provide new classes of KdV-solutions including in particular new types of soliton-like (reflectionless) solutions. As a byproduct we solve an inverse spectral problem for one-dimensional Schrödinger operators and explicitly construct smooth and real-valued potentials that yield a purely absolutely continuous spectrum on the nonnegative real axis and give rise to an eigenvalue spectrum that includes any prescribed countable and bounded subset of the negative real axis.