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

preprint2016arXivOpen access

Abstract

For an arbitrary open, nonempty, bounded set Ω⊂RnΩ\subset \mathbb{R}^n, n∈Nn \in \mathbb{N}, and sufficiently smooth coefficients a,b,qa,b,q, we consider the closed, strictly positive, higher-order differential operator AΩ,2m(a,b,q)A_{Ω, 2m} (a,b,q) in L2(Ω)L^2(Ω) defined on W02m,2(Ω)W_0^{2m,2}(Ω), associated with the higher-order differential expression τ2m(a,b,q):=(∑j,k=1n(−i∂j−bj)aj,k(−i∂k−bk)+q)m,m∈N, τ_{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 AK,Ω,2m(a,b,q)A_{K, Ω, 2m} (a,b,q) in L2(Ω)L^2(Ω). Denoting by N(λ;AK,Ω,2m(a,b,q))N(λ; A_{K, Ω, 2m} (a,b,q)), λ>0λ> 0, the eigenvalue counting function corresponding to the strictly positive eigenvalues of AK,Ω,2m(a,b,q)A_{K, Ω, 2m} (a,b,q), we derive the bound N(λ;AK,Ω,2m(a,b,q))≤Cvn(2π)−n(1+2m2m+n)n/(2m)λn/(2m),λ>0, 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,Ω)>0C = C(a,b,q,Ω)>0 (with C(In,0,0,Ω)=∣Ω∣C(I_n,0,0,Ω) = |Ω|) is connected to the eigenfunction expansion of the self-adjoint operator A~2m(a,b,q)\widetilde A_{2m} (a,b,q) in L2(Rn)L^2(\mathbb{R}^n) defined on W2m,2(Rn)W^{2m,2}(\mathbb{R}^n), corresponding to τ2m(a,b,q)τ_{2m} (a,b,q). Here vn:=πn/2/Γ((n+2)/2)v_n := π^{n/2}/Γ((n+2)/2) denotes the (Euclidean) volume of the unit ball in Rn\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 A~2(a,b,q)\widetilde A_{2} (a,b,q) in L2(Rn)L^2(\mathbb{R}^n). We also consider the analogous bound for the eigenvalue counting function for the Friedrichs extension AF,Ω,2m(a,b,q)A_{F,Ω, 2m} (a,b,q) in L2(Ω)L^2(Ω) of AΩ,2m(a,b,q)A_{Ω, 2m} (a,b,q). No assumptions on the boundary ∂Ω\partial Ω of ΩΩ are made.

Explore this paper’s authors, topics and related work.

Building this map preview

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

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.