[논문 리뷰] Optimal quadrature formulas for the Cauchy type singular integral in the Sobolev space $L_2^{(2)}(0,1)$

D.M. Akhmedov|arXiv (Cornell University)|2017. 07. 02.

Differential Equations and Boundary Problems인용 수 4

한 줄 요약

이 논문은 Sard 방법과 이산 컨볼루션 기법을 사용하여 Sobolev 공간 $L_2^{(2)}(0,1)$ 내에서 Cauchy 형식의 특이 적분을 근사하기 위한 최적의 사다리꼴 공식을 구축한다. $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.

연구 동기 및 목표

• Sobolev 공간 $L_2^{(2)}(0,1)$ 내에서 Cauchy 형식의 특이 적분 $\int_0^1 \frac{\varphi(x)}{x-t}dx$ 를 위한 최적의 사다리꼴 공식을 개발하기 위해.
• 최소한의 오차 기능 노름을 달성하는 계수를 구성하여 근사 오차를 최소화하기 위해.
• 이산 컨볼루션과 이산 델타 함수를 사용하여 최적의 계수 $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 Cauchy 형식의 특이 적분을 $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)에 의해 주어지며, 경계 조건과 보정 항을 포함한다.
• 방정식계는 $a_0^-, a_0^+, a_1^-, a_1^+$ 를 사용하여 $u(h\beta)$ 를 $\beta = 0$ 에서 $N$ 으로 확장함으로써 해결되며, 이 값들은 $\Delta$, $\Delta_1$, $\Delta_2$ 를 포함하는 선형 시스템을 통해 결정된다.