AlxisDataBlog-数学・物理学


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






前回 NP 型の零点と、その全体 $W_{\mathrm{NP}}$ を定義しました。今回は $w\in W_{\mathrm{NP}}$ 近傍での $f$ の評価を考えます。


まず、$w$ に狭義に単調収束する零点の列 $\{w_i\}$ をとります。

\begin{align}
\dfrac{f(w_i)-f(w)}{w_i-w}=0
\end{align}

左辺の $i\to\infty$ の極限は $f$ の微分連続性より $\partial f(w)$ です。$w$ では $f(w)=0$ だけでなく $\partial f(w)=0$ も成立する。これが NP 型零点の際立った特徴です。


任意の $\varepsilon>0$ に対して

\begin{align}
V=\{x:|\partial f(x)|<\varepsilon\}
\end{align}

と評価された集合を作ると $W_{\mathrm{NP}}$ は $V$ の中に入ってしまいます。以上で $|\partial f|$ を見ることにより $W$ から $W_{\mathrm{NP}}$ を分離することができるようになりました。今回はここまで。次回は $\zeta$ を定義するための点列を定義してみましょう。(written by J.Nishigata)


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

NP 型の零点近傍での関数の評価

AlxisDataBlog-数学・物理学


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






符号をスイッチさせる零点が有限個の場合はやりましたので、今回は無限個の場合をやります。


$\{w_i\}$ は有限列ですので $\{w_1,\dots,w_n\}$ をおきます。便宜上 $w_0=a,w_{n+1}=b$ を定義しておくと便利です。

\begin{align}
\bigg|\sum_{i=1}^n(-1)^i\eta(w_i)\mathscr{H}f(w_i)\bigg|&=\bigg|\int_a^b\zeta f\,dx\bigg|\\
&\ge\bigg|\sum_{w_i\in W_1}\int_{w_i}^{w_{i+1}}\zeta f\,dx\bigg|-\bigg|\sum_{w_i\in W_2}\int_{w_i}^{w_{i+1}}\zeta f\,dx\bigg|\\
&\ge \bigg|\sum_{w_i\in W_1}\int_{w_i}^{w_{i+1}}\zeta f\,dx\bigg|-\sum_{w_i\in W_2}\int_{w_i}^{w_{i+1}}|\zeta f|\,dx
\end{align}

第 $2$ 項が $\varepsilon\to 0$ の極限で零に収束すれば

\begin{align}
\lim_{\varepsilon\to 0}\bigg|\sum_{i=1}^n(-1)^i\eta(w_i)\mathscr{H}f(w_i)\bigg|>0
\end{align}

が主張できます。$|\zeta f|$ を上から評価したいので、まず $|f|$ の評価からやっていきましょう。


$(w_i,w_{i+1}),w_i\in W_2$ では $|\partial f|<\varepsilon$ が成立します。したがって $|f|$ は

\begin{align}
|f|\le
\begin{cases}
\varepsilon|x-w_1|\ \text{for }x\in(w_0,w_1)\ \text{if }w_0\in W_2,\\
\varepsilon\min\{|x-w_i|,\{|x-w_{i+1}|\}\}\ \text{for }x\in(w_i,w_{i+1}),i\neq 0,n\ \text{if }w_i\in W_2,\\
\varepsilon|x-w_n|\ \text{for }x\in(w_n,w_{n+1})\ \text{if }w_n\in W_2
\end{cases}
\end{align}

と評価できます。一方 $|\zeta|$ の評価は、以前やった通り

\begin{align}
|\zeta|\le
\begin{cases}
\dfrac{(1+c_0)\eta(w_1)}{|x-w_1|}\ \text{for }x\in(w_0,w_1),\\
\dfrac{(1+c_0)\eta(w_i)}{|x-w_i|}+\dfrac{(1+c_0)\eta(w_{i+1})}{|x-w_{i+1}|}\ \text{for }x\in(w_i,w_{i+1}),i\neq 0,n,\\
\dfrac{(1+c_0)\eta(w_n)}{|x-w_n|}\ \text{for }x\in(w_n,w_{n+1})
\end{cases}
\end{align}

以上を用いれば $|\zeta f|$ を上から評価して積分することができます。$w_0\in W_2$ ならば

\begin{align}
\int_{w_0}^{w_1}|\zeta f|\,dx\le\varepsilon(1+c_0)\eta(w_1)\int _{w_0}^{w_1}dx=\varepsilon(1+c_0)\eta(w_1)(w_1-w_0)
\end{align}

$w_i\in W_2,i\neq 0,n$ ならば

\begin{align}
\int_{w_i}^{w_{i+1}}|\zeta f|\,dx&=\int_{w_i}^{(w_i+w_{i+1})/2}|\zeta f|\,dx+\int_{(w_i+w_{i+1})/2}^{w_{i+1}}|\zeta f|\,dx\\
&\le\varepsilon(1+c_0)\int_{w_i}^{(w_i+w_{i+1})/2}\bigg\{\eta(w_i)-\dfrac{\eta(w_{i+1})(x-w_i)}{x-w_{i+1}}\bigg\}\,dx\\
&\quad +\varepsilon(1+c_0)\int_{(w_i+w_{i+1})/2}^{w_{i+1}}\bigg\{-\dfrac{\eta(w_i)(x-w_{i+1})}{x-w_i}+\eta(w_{i+1})\bigg\}\,dx\\
&=\varepsilon(1+c_0)\int_{w_i}^{(w_i+w_{i+1})/2}\bigg\{\eta(w_{i+1})-\dfrac{\eta(w_{i+1})(x-w_i)}{x-w_{i+1}}\bigg\}\,dx\\
&\quad +\varepsilon(1+c_0)\int_{(w_i+w_{i+1})/2}^{w_{i+1}}\bigg\{-\dfrac{\eta(w_i)(x-w_{i+1})}{x-w_i}+\eta(w_i)\bigg\}\,dx\\
&=\varepsilon(1+c_0)\eta(w_{i+1})(w_{i+1}-w_i)\int_{w_i}^{(w_i+w_{i+1})/2}-\dfrac{1}{x-w_{i+1}}\,dx\\
&\quad +\varepsilon(1+c_0)\eta(w_i)(w_{i+1}-w_i)\int_{(w_i+w_{i+1})/2}^{w_{i+1}}\dfrac{1}{x-w_i}\,dx\\
&=\varepsilon(1+c_0)\{\eta(w_i)+\eta(w_{i+1})\}(w_{i+1}-w_i)\log 2
\end{align}

$w_n\in W_2$ ならば

\begin{align}
\int_{w_n}^{w_{n+1}}|\zeta f|\,dx\le\varepsilon(1+c_0)\eta(w_n)\int _{w_n}^{w_{n+1}}dx=\varepsilon(1+c_0)\eta(w_n)(w_{n+1}-w_n)
\end{align}

$\eta$ は有界なので $\eta < M$ としておくと

\begin{align}
\sum_{w_i\in W_2}\int_{w_i}^{w_{i+1}}|\zeta f|\,dx < 2M\varepsilon(1+c_0)(b-a)
\end{align}

確かに $\varepsilon\to 0$ で零に収束することが分かりました。したがって

\begin{align}
\lim_{\varepsilon\to 0}\bigg|\sum_{i=1}^n(-1)^i\eta(w_i)\mathscr{H}f(w_i)\bigg|>0
\end{align}

すなわち $f$ は拡張ヒルベルト変換の零点にはなりません。今までの証明に使ってきた $f$ はどんな関数だったかというと、符号をスイッチさせる関数でしたね。符号をスイッチさせる関数は拡張ヒルベルト変換の零点にはならないことが分かりました。


今回はここまで。次回は、半定値関数 $f$ を入力したらどうなるのか調べていきます。(written by J.Nishigata)


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

積分核の級数を定義するための準備