Eigendecomposition of the Hessian of the Robin function in orthogonally invariant domains
In this work we analyze the eigendecomposition of the Hessian matrix of the Robin function $\mathcal{R}(x)$ for the spectral fractional Laplacian in orthogonally invariant domains. We prove that, if $\Omega$ a smooth bounded convex domain invariant under the action of an orthogonal transformation $\mathcal{O}$ then, for $\overline{t}\in\{a\in\Omega:\mathcal{O}(a)=a\}$, the gradient vector $\nabla\mathcal{R}(\overline{t})$ is an eigenvector of the Jacobian $D\mathcal{O}$ associated to the eigenvalue $1$. Moreover, if $\Omega$ is a domain invariant under the reflection about a hyperplane $\pi_{v}=\{x\in\mathbb{R}^N:x\cdot v=0\}$, there exists $\eta>0$ such that $\mathbb{H}(\overline{t})v=\eta v$ where $\mathbb{H}$ denotes the Hessian matrix of $\mathcal{R}(x)$. Consequently, if $\Omega$ is invariant under the reflection about the hyperplanes $\pi_{v_i}$ for a linearly independent set $\{v_1,\ldots,v_N\}$, then the origin is a non degenerate critical point of $\mathcal{R}(x)$. A short proof of the Brezis-Peletier-like formulas for $\nabla \mathcal{R}$ is also provided which allows us to prove the former results for any $0<s<1$.