Optimal recovery of functions determined by second-order differential operators
Bo Ling, Yi Gu
TL;DR
This work addresses the optimal recovery of isotropic function classes $W^{P(D)}_ty(\Omega)$ generated by a second-order differential operator $P(D)=D^2+pD+q$, using samples of both $f$ and $\nabla f$. The authors derive an explicit, operator-independent upper bound for the $n$-th recovery error and show asymptotic exactness in the self-adjoint case ($p=0$); they achieve this by reducing the multivariate problem to univariate extremal problems via Green's functions and linking the results to optimal sphere coverings through the covering density. A key contribution is an exact asymptotic formula for $P(D)=D^2+q$, with explicit special-case results for $D^2$, $D^2-\beta^2$, and $D^2+\beta^2$, thus connecting isotropic function recovery with geometric covering problems to yield sharp performance benchmarks. These results provide precise benchmarks for isotropic recovery and illuminate the interplay between operator structure, geometry, and sample placement in high-dimensional recovery tasks.
Abstract
We study the optimal recovery problem for isotropic functions defined by second-order differential operators using both function and gradient values. We derive the upper bound for n-th optimal error with an explicit constant, which is independent of the specific form of the differential operators. Furthermore, for self-adjoint operators, we obtain asymptotic exact results for the n-th optimal error.
