Pseudodifferential structure, rigidity, and sharpness for the Steklov problem on differential forms
Abstract
We resolve four questions concerning Karpukhin's Dirichlet-to-Neumann operator on differential forms. First, for 0≤ p≤ n−2, we prove that the operator is classical pseudodifferential of order one and compute its principal symbol, which is elliptic on the coclosed symbol space. This answers Open Question 7.19 in the survey of Colbois, Girouard, Gordon, and Sher [7]. Second, the symbol calculation yields a Weyl law with remainder O(τn−2), resolving the smooth case of their Open Question 7.23 in [7]. Third, in the critical dimension n=2p+2, we show that conformal deformations of the Euclidean ball fixing the boundary metric preserve the full operator. Nonisometric metrics therefore retain all equalities in Karpukhin's initial equality range, disproving the isometry-rigidity assertion of Conjecture 2.12 in [19](the rigidity assertion of Conjecture 7.27 in [7]). Fourth, we establish the all-index sharpness asserted in Conjecture 2.13 in [19](the sharpness assertion of Conjecture 7.27 in [7]) in the class of smooth compact connected oriented Riemannian manifolds with boundary. For p≥1, a shrinking-core construction inspired by the collapsing models of Anné and Takahashi produces manifolds with fixed spherical boundary and explicit two-sided bounds for an initial eigenvalue cluster.
Related
- Sharpness and Rigidity of the Two-Factor Recht-Re Lower Bound
- Rigidity in sharp eigenvalue estimates for differential forms
- Uniform adjacency-degree probes from differential rigidity
- Boundedness of nonregular bilinear pseudodifferential operators on variable Besov and Triebel--Lizorkin spaces
- Synthetic geometry of differential equations: I. Jets and comonad structure
BibTeX
@misc{chen2026pseudodifferential,
title = {{Pseudodifferential structure, rigidity, and sharpness for the Steklov problem on differential forms}},
author = {Daguang Chen and Guotao Huang and Tingyu Liao},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.25000},
eprint = {2610.25000},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.25000},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Pseudodifferential structure, rigidity, and sharpness for the Steklov problem on differential forms
AU - Daguang Chen
AU - Guotao Huang
AU - Tingyu Liao
PY - 2026
DA - 2026/10/18
PB - arXiv
DO - 10.48550/arxiv.2610.25000
UR - https://arxiv.org/abs/2610.25000
AB - We resolve four questions concerning Karpukhin's Dirichlet-to-Neumann operator on differential forms. First, for 0≤ p≤ n−2, we prove that the operator is classical pseudodifferential of order one and compute its principal symbol, which is elliptic on the coclosed symbol space. This answers Open Question 7.19 in the survey of Colbois, Girouard, Gordon, and Sher [7]. Second, the symbol calculation yields a Weyl law with remainder O(τ^n−2), resolving the smooth case of their Open Question 7.23 in [7]. Third, in the critical dimension n=2p+2, we show that conformal deformations of the Euclidean ball fixing the boundary metric preserve the full operator. Nonisometric metrics therefore retain all equalities in Karpukhin's initial equality range, disproving the isometry-rigidity assertion of Conjecture 2.12 in [19](the rigidity assertion of Conjecture 7.27 in [7]). Fourth, we establish the all-index sharpness asserted in Conjecture 2.13 in [19](the sharpness assertion of Conjecture 7.27 in [7]) in the class of smooth compact connected oriented Riemannian manifolds with boundary. For p≥1, a shrinking-core construction inspired by the collapsing models of Anné and Takahashi produces manifolds with fixed spherical boundary and explicit two-sided bounds for an initial eigenvalue cluster.
ER -