MathJax = {
  chtml: {
    matchFontHeight: false
  },
  tex: {
    inlineMath: [['$', '$']]
  }
};






或る $(x_1,x_2)\in A$ が存在して $x_1-x_2\neq \|x_1-x_2\|\nu(x_1)$ が成立する場合は、前回のように適当に $\Omega$ を配置して一方でのみ発散する積分核 $k_2$ が得られます。今回は、任意の $(x_1,x_2)\in A$ に対して $x_1-x_2= \|x_1-x_2\|\nu(x_1)$ が成立する場合を考えていきましょう。


積分核 $k_2$ の端点の一方のみが発散することはありません。一方が発散するとき同時にもう一方の端点も発散して

\begin{align}
&k_2= \sqrt{\dfrac{2m}{1+m\chi(t_0)}}\langle a(t_0),\partial a(t_0)\rangle(X-m)^{-1/2}+c_2(X-m)^{1/2}+o((X-m)^{1/2}),\\
&k_2= \sqrt{\dfrac{2M}{-1+M\chi(t_1)}}\langle a(t_1),\partial a(t_1)\rangle(M-X)^{-1/2}+c_4(M-X)^{1/2}+o((M-X)^{1/2})
\end{align}

という振る舞いをします。$a(t_0)-a(t_1)=\|a(t_0)-a(t_1)\|\nu(t_0)$ に $\partial a(t_0)$ を掛けると $\langle a(t_0),\partial a(t_0)\rangle=\langle a(t_1),\partial a(t_0)\rangle$ が成立し、$\partial a(t_0)=-\partial a(t_1)$ に注意すると

\begin{align}
\langle a(t_0),\partial a(t_0)\rangle=-\langle a(t_1),\partial a(t_1)\rangle
\end{align}

と書き換えることができます。したがって $k_1$ との線形和を考えて一方のみを相殺しようとしても、$k_1$ も同様の振る舞い

\begin{align}
&k_1= \sqrt{\dfrac{2m}{1+m\chi(t_0)}}\langle p,\partial a(t_0)\rangle(X-m)^{-1/2}+c_1(X-m)^{1/2}+o((X-m)^{1/2}),\\
&k_1= \sqrt{\dfrac{2M}{-1+M\chi(t_1)}}\langle p,\partial a(t_1)\rangle(M-X)^{-1/2}+c_3(M-X)^{1/2}+o((M-X)^{1/2})
\end{align}

をするので上手くいきません。以前証明した、円ではないことの必要充分条件を使いましょう。すなわち $\Omega$ は定幅であり、或る $(x_1,x_2)\in A$ が存在して $\chi(x_1)\neq \chi(x_2)$ が成立することを使います。


まず

\begin{align}
a(t_1)=0,\ \nu(t_1)=e_1,\ \chi(t_0)\neq\chi(t_1)
\end{align}

という状況で $k_1$ の振る舞いを考えます。

\begin{align}
&k_1= -\sqrt{\dfrac{2m}{1+m\chi(t_0)}}(X-m)^{-1/2}+c_1(X-m)^{1/2}+o((X-m)^{1/2}),\\
&k_1= \sqrt{\dfrac{2M}{-1+M\chi(t_1)}}(M-X)^{-1/2}+c_3(M-X)^{1/2}+o((M-X)^{1/2})
\end{align}

$p=e_2$ とおけばこのようになりますね。続いて $\Omega$ を $\pi$ だけ回転運動させて

\begin{align}
ga(t_1)=0,\ g\nu(t_1)=e_1
\end{align}

のように配置します。このときの積分核を $k_1$ と区別して $\tilde{k}_1$ と書いておきましょう。

\begin{align}
&\tilde{k}_1= -\sqrt{\dfrac{2m}{1+m\chi(t_1)}}(X-m)^{-1/2}+\tilde{c}_1(X-m)^{1/2}+o((X-m)^{1/2}),\\
&\tilde{k}_1= \sqrt{\dfrac{2M}{-1+M\chi(t_0)}}(M-X)^{-1/2}+\tilde{c}_3(M-X)^{1/2}+o((M-X)^{1/2})
\end{align}

$k_1$ と比べると、曲率の部分が入れ替わっているだけですね。$k_1,\tilde{k}_1$ の線型結合を考えてみましょう。$\chi(t_0)\neq\chi(t_1)$ なので、適当に結合させれば一方のみ発散を解消させることができます。


今回はここまで。次回は一般次元の場合を考えます。(written by J.Nishigata)


Copy Right 2020-現在 ALXIS DATA, Inc. All Right Reserved.

研究142- 端点の一方のみで発散する積分核その２

MathJax = {
  chtml: {
    matchFontHeight: false
  },
  tex: {
    inlineMath: [['$', '$']]
  }
};






$x\in\partial\Omega$ での外向き単位法線ベクトルを $\nu(x)$ とおきます。前回からポンペイユの逆問題への挑戦がスタートしましたが、初めに凸体 $\Omega$ の条件を与えておきたいと思います。$\Omega$ には、前回設定した滑らかさに加えて、$\nu$ が全単射であることも要求しておきます。さて、法線ベクトルが互いに逆向きになる組の集合を

\begin{align}
A=\{(x_1,x_2)\in\partial\Omega\times\partial\Omega:\nu(x_1)+\nu(x_2)=0\}
\end{align}

とおきます。$\Omega$ が球体ではないのであれば、次の内少なくとも一方は成立するでしょうか。


i). 或る $(x_1,x_2)\in A$ が存在して $x_1-x_2\neq \|x_1-x_2\|\nu(x_1)$
ii). $\Omega$ は定幅であり、かつ或る $(x_1,x_2)\in A$ が存在して $x_1$ でのガウス曲率と $x_2$ でのガウス曲率は等しくない。


今回はこの命題を考えましょう。少なくとも一方なので、任意の $(x_1,x_2)\in A$ に対して $x_1-x_2= \|x_1-x_2\|\nu(x_1)$ が成立している場合に  ii) を確認すれば良いですね。


更に、ii) の命題は前半と後半に分かれています。


任意の $(x_1,x_2)\in A$ に対して $x_1-x_2= \|x_1-x_2\|\nu(x_1)$ という性質は、$\Omega$ の任意方向への射影に対しても成立します。また、任意の射影が定幅ならば射影をとる前の立体も定幅です。したがって $n=2$ の場合の問題として定幅であることが証明できれば、帰納的に一般次元の場合でも定幅であると主張できます。これで前半部分は解決できますね。


一方後半部分は、任意の $(x_1,x_2)\in A$ に対して $x_1,x_2$ でのガウス曲率が等しいと仮定したうえで矛盾を導けば良いです。今回はここまで。(written by J.Nishigata)


Copy Right 2020-現在 ALXIS DATA, Inc. All Right Reserved.

研究143- 定幅な凸体の体積評価