Pseudodifferential structure, rigidity, and sharpness for the Steklov problem on differential forms
We resolve four questions concerning Karpukhin's Dirichlet-to-Neumann operator on differential forms. First, for $0\leq p\leq 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...