Degeneracy of the Operator-Valued Poisson Kernel near the Numerical Range Boundary

Let $AinC^{dtimes d}$ and let $W(A)$ denote its numerical range. For a bounded convex domain $OmegasubsetC$ with $C^1$ boundary containing $spec(A)$, consider the operator-valued boundary kernel [ P_Omega(sigma,A);:=;Real!Bigl(n_Omega(sigma),(sigmaId-A)^{-1}Bigr), qquad sigmainpartialOmega, ] where $n_Omega(sigma)$ is the outward unit normal at $sigma$. For convex $Omega$ with $W(A)subsetOmega$, this kernel is positive definite on $partialOmega$ and underlies boundary-integral functional calculi and spectral-set bounds in the sense of Delyon–Delyon and Crouzeix.We analyze the opposite limiting regime $Omegadownarrow W(A)$. Along any $C^1$ convex exhaustion $Omega_varepsilondownarrow W(A)$, if $sigma_varepsiloninpartialOmega_varepsilon$ approaches a non-spectral boundary point $sigma_0inpartial W(A)setminusspec(A)$ with convergent outward normals $n_{Omega_varepsilon}(sigma_varepsilon)to n$, then $lambda_{min}(P_{Omega_varepsilon}(sigma_varepsilon,A))to 0$ and the associated min-eigenvector directions converge (up to subsequences and phases) to the canonical subspace $(sigma_0Id-A)mathcal M(n)$ determined by the maximal eigenspace of $H(n)=Real(overline{n}A)$.Quantitatively, we obtain two-sided bounds in terms of the support-gap scalar $delta(sigma,n)=Real(overline{n},sigma)-lambda_{max}(H(n))$, yielding a linear degeneracy rate under bounded-resolvent hypotheses and an explicit rate for outer offsets $W(A)+varepsilonmathbb{D}$. Under a spectral-isolation hypothesis for $lambda_{max}(H(n))$, we characterize the entire collapsing eigenvalue cluster under non-tangential offsets: exactly $m=dimmathcal M(n)$ eigenvalues decay as $O(varepsilon)$ with a computable slope spectrum given by the eigenvalues of an explicit Gram matrix $G(n,sigma_0)^{-1}$, while the remaining eigenvalues stay uniformly bounded away from $0$. This yields a rigorous face detector based on counting small eigenvalues, and the rescaled cluster is intrinsic under arbitrary $C^1$ convex exhaustions after normalization by $delta$.At spectral support points $sigma_0inspec(A)cappartial W(A)$ we obtain a three-scale picture for nonnormal matrices: an exact $1/varepsilon$ blow-up on $Ker(sigma_0Id-A)$, an $O(varepsilon)$ collapsing cluster on $mathcal M(n)ominusKer(sigma_0Id-A)$ with an explicit slope spectrum, and an $O(1)$ bulk separated from $0$. For normal matrices we compute the spectrum of $P_Omega(sigma,A)$ explicitly, recovering a simple dichotomy at spectral support points in terms of whether the supporting face contains multiple eigenvalues. Finally, we include reproducible numerical experiments (Python) validating the predicted slopes and splittings.

Liked Liked