[論文レビュー] Optimal quadrature formulas for the Cauchy type singular integral in the Sobolev space $L_2^{(2)}(0,1)$

D.M. Akhmedov|arXiv (Cornell University)|Jul 2, 2017

Differential Equations and Boundary Problems被引用数 4

ひとこと要約

本稿は、Sard法および離散畳み込み技術を用いて、Sobolev空間 $L_2^{(2)}(0,1)$ におけるコーシー型特異積分の近似のための最適な求積公式を構築する。$h = 1/N$、$t ∈ (0,1)$、およびパラメータ $q = \sqrt{3}-2$ を用いて、最適係数 $C([\beta],t)$ の明示的公式を導出し、$L_2^{(2)}$ ノルムにおける最小誤差を達成する。

ABSTRACT

In the present paper in $L_2^{(2)}(0,1)$ S.L.Sobolev space the optimal quadrature formula is constructed for approximate calculation of Cauchy type singular integral.

研究の動機と目的

• コーシー型特異積分 $\int_0^1 \frac{\varphi(x)}{x-t}dx$ を、Sobolev空間 $L_2^{(2)}(0,1)$ において最適な求積公式で近似すること。
• 近似誤差を最小化するため、$L_2^{(2)}$ 空間における誤差関数のノルムを最小にする係数を構築すること。
• 離散畳み込みおよび離散デルタ関数を用いて、最適係数 $C([\beta],t)$ の明示的解析的表現を導出すること。
• 4階微分作用素の離散版 $D_2(h\beta)$ を用いて、得られた連立一次方程式を解くこと。

提案手法

• ヒルベルト空間、特に $L_2^{(2)}(0,1)$ における最適求積公式を構築するSard法を用いる。
• 求積公式を畳み込み形式で表現する：$C(\cdot,t) \ast \frac{|h\beta|^3}{12} + p_1 h\beta + p_0 = f(h\beta,t)$。
• 離散デルタ関数 $\delta(h\beta)$ および離散作用素 $D_2(h\beta)$ を用いて畳み込みを逆転させ、係数を解く。
• パラメータ $q = \sqrt{3}-2$ を用いて定義される離散関数 $D_2(h\beta)$ を用いることで、係数関数の正確な再構成を保証する。
• 境界条件および再帰関係を用いて、関数 $u(h\beta)$ を $\beta = 0$ から $N$ まで拡張し、連立方程式を解く。
• 再帰的総和および $f(h\beta,t)$、$g_0$、$g_1$ を含む境界項を用いて、係数 $C([\beta],t)$ の明示的閉形式表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 コーシー型特異積分を $L_2^{(2)}(0,1)$ で近似する際、誤差を最小化する最適係数 $C([\beta],t)$ は何か？
• RQ2 特異積分の文脈において、Sard法を用いて誤差関数をどのように最小化できるか？
• RQ3 節点が等間隔に配置された場合、最適求積係数の明示的解析的形は何か？
• RQ4 離散畳み込みおよび離散作用素 $D_2(h\beta)$ を用いて、係数の連立一次方程式をどのように解けるか？
• RQ5 境界値 $a_0^-, a_0^+, a_1^-, a_1^+$ は、$\beta = 0$ から $N$ までの解の拡張において果たす役割は何か？

主な発見

• 最適係数 $C([\beta],t)$ は、離散作用素 $D_2(h\beta)$ および畳み込みの逆転を用いて閉形式で導出された。
• 係数は、$f(h\beta,t)$、$g_0 = \ln\frac{1-t}{t}$、$g_1 = 1 + t\ln\frac{1-t}{t}$ を含む再帰的総和で表現される。
• 解は $h = 1/N$、$t \in (0,1)$、および $D_2(h\beta)$ を定義するパラメータ $q = \sqrt{3}-2$ に明示的に依存する。
• 内部節点（$\beta = 1$ から $N-1$）の係数は式 (3.12) で与えられ、$f(h\gamma,t)$ の重み付き総和と境界補正項を含む。
• 端点（$\beta = 0$ および $\beta = N$）の係数は、それぞれ式 (3.11) および (3.13) で与えられ、境界条件および補正項を含む。
• 関数 $u(h\beta)$ は、$a_0^-, a_0^+, a_1^-, a_1^+$ を用いて $\beta = 0$ から $N$ まで拡張され、$\Delta$、$\Delta_1$、$\Delta_2$ を含む線形方程式系によって決定される。