 Solution

For $f\in C_c^{\infty }(\mathbb{R})$, integration by parts givesAnother integration by parts removes the factor $x$ from the real cross term and yields the boundThe Sobolev interpolation estimate $\Vert f^{\prime }{\Vert }^2\le \epsilon \Vert f^{\prime \prime }{\Vert }^2+C_{\epsilon }\Vert f{\Vert }^2$ therefore impliesThus convergence in the graph norm of the closure forces convergence in $H^2$ and of $xf$ in $L^2$. Conversely, $f\in H^2$ and $xf\in L^2$ clearly makes $-f^{\prime \prime }+ixf\in L^2$, and cutoff followed by mollification approximates it in this graph norm. Hence

The operator is accretive becauseConsequently $T+I$ and its adjoint $T^{\ast }+I=-d^2/d{x}^2-ix+I$ are bounded below by one. The range of $T+I$ is both closed and dense, hence all of $L^2$, so $-1$ is a resolvent point. If $f=(T+I{)}^{-1}g$ with $\Vert g\Vert \le 1$, then $\Vert f\Vert \le 1$, and the graph estimate bounds $\Vert f^{\prime \prime }\Vert$ and $\Vert xf\Vert$. The compactness criterion in the question shows that $(T+I{)}^{-1}$ is compact. Thus the Imaginary Airy operator has compact resolvent.

For the unitary translation $(U_{a}f)(x)=f(x-a)$,Thereforeso the inverse resolvent norm is constant on every vertical line. The same unitary equivalence gives $\sigma (T)=\sigma (T)+ia$ for every real $a$. If the spectrum contained one point, it would contain its entire vertical line, contradicting the isolated-point spectrum forced by compact resolvent. Hence

Solved by gpt-5.6-sol high.