まずは、題目の通り計算してみましょう。

\begin{align} \partial_{yp}\mathscr{K}_Kf=\int_{S_y}K(\langle x,y\rangle)(-\langle p,x\rangle\partial_y+\langle x,y\rangle \partial_p)f\omega,\ p\in\partial S_y \end{align}

ここで

\begin{align} &d(\langle p,x\rangle K(\langle x,y\rangle)f\omega^y-\langle x,y\rangle K(\langle x,y\rangle)f\omega^p)\\ &=-\langle p,x\rangle\partial K f\omega+K\{-\langle p,x\rangle\partial_y+\langle x,y\rangle \partial_p\}f\omega \end{align}

を用いて

\begin{align} \partial_{yp}\mathscr{K}_Kf&=\int_{\partial S_y}\langle p,x\rangle K(\langle x,y\rangle)f\omega^y-\langle x,y\rangle K(\langle x,y\rangle)f\omega^p+\int_{S_y}\langle p,x\rangle\partial K f\omega\\ &=K(0)\int_{\partial S_y}\langle p,x\rangle f\omega^y+\int_{S_y}\langle p,x\rangle\partial K f\omega \end{align}

更に微分して

\begin{align} \partial_{yp}^2\mathscr{K}_Kf&=-K(0)\int_{\partial S_y}\langle p,x\rangle^2 \partial_yf\omega^y+\int_{S_y}\langle p,x\rangle\partial K(-\langle p,x\rangle\partial_y+\langle x,y\rangle \partial_p)f\omega \end{align}

ここで

\begin{align} &d(\langle p,x\rangle^2 \partial Kf\omega^y-\langle p,x\rangle\langle x,y\rangle \partial Kf\omega^p)\\ &=-\langle p,x\rangle^2\partial^2Kf\omega+\langle x,y\rangle\partial Kf\omega+\langle p,x\rangle\partial K(-\langle p,x\rangle\partial_y+\langle x,y\rangle \partial_p)f\omega \end{align}

を用いて

\begin{align} \partial_{yp}^2\mathscr{K}_Kf&=-K(0)\int_{\partial S_y}\langle p,x\rangle^2 \partial_yf\omega^y+\int_{\partial S_y}\langle p,x\rangle^2 \partial Kf\omega^y-\langle p,x\rangle\langle x,y\rangle \partial Kf\omega^p+\int_{S_y}\langle p,x\rangle^2\partial^2Kf\omega-\langle x,y\rangle\partial Kf\omega\\ &=-K(0)\int_{\partial S_y}\langle p,x\rangle^2 \partial_yf\omega^y+\partial K(0)\int_{\partial S_y}\langle p,x\rangle^2f\omega^y+\int_{S_y}\langle p,x\rangle^2\partial^2Kf\omega-\langle x,y\rangle\partial Kf\omega \end{align}

$p$ に関して和をとれば

\begin{align} \Delta^S\mathscr{K}_Kf&=-K(0)\int_{\partial S_y}\partial_yf\omega^y+\partial K(0)\int_{\partial S_y}f\omega^y+\int_{S_y}(1-\langle x,y\rangle^2)\partial^2Kf\omega-(n-1)\langle x,y\rangle\partial Kf\omega\\ &=-K(0)\int_{\partial S_y}\partial_yf\omega^y+\partial K(0)\int_{\partial S_y}f\omega^y+\mathscr{K}_{LK}f \end{align}

一旦これで球面ラプラシアンは計算できました。結果を見るとファンク変換の球面ラプラシアンと球面ラドン変換が混ざってしまっていますね。これが分離できていた方が見通しが良さそうです。球面ラプラシアンの演算前に偶奇を分けてしまいましょう。

\begin{align} &2\mathscr{K}_K^+f(y)=\mathscr{K}_Kf(y)+\mathscr{K}_Kf(-y),\\ &2\mathscr{K}_K^-f(y)=\mathscr{K}_Kf(y)-\mathscr{K}_Kf(-y) \end{align}

このように定義すると

\begin{align} &\mathscr{K}_K^+f=\dfrac{1}{2}\int_{S^{n-1}}K_0f\omega+\mathscr{K}_{K_1}^+f,\\ &\mathscr{K}_K^-f=\dfrac{1}{2}\int_{S^{n-1}}K_1f\omega+\mathscr{K}_{K_0}^-f \end{align}

という分かれ方をします。この状態で球面ラプラシアンを計算してみましょう。

\begin{align} &\Delta^S\mathscr{K}_K^+f=\dfrac{1}{2}\int_{S^{n-1}}LK_0f\omega+\partial K(0)\int_{\partial S_y}f\omega^y+\mathscr{K}_{LK_1}^+f,\\ &\Delta^S\mathscr{K}_K^-f=\dfrac{1}{2}\int_{S^{n-1}}LK_1f\omega-K(0)\int_{\partial S_y}\partial_yf\omega^y+\mathscr{K}_{LK_0}^-f \end{align}

確かに分離できましたね。今回はここまで。次回は剰余項の取り扱いに関して考えます。(written by J.Nishigata)

研究72- 半球面一般コサイン変換の球面ラプラシアン