[논문 리뷰] $C_0$-semigroups and resolvent operators approximated by Laguerre expansions

Luciano Abadías, Pedro J. Miana|arXiv (Cornell University)|2013. 11. 29.

Stability and Controllability of Differential Equations참고 문헌 18인용 수 5

한 줄 요약

이 논문은 바나흐 공간에서 $C_0$-세미군과 리졸베ント 연산자를 라거르 확장의 방법을 통해 근사화하는 새로운 방법을 제안한다. 라플라스 변환과 함수해석학적 계산을 통해 이러한 확장의 수렴성을 확립하며, 초기 자료의 정규성과 세미군의 해석적 성질에 따라 최적의 $L^p$ 및 연산자 노름 수렴 속도를 도출한다.

ABSTRACT

In this paper we introduce Laguerre expansions to approximate vector-valued functions expanding on the well-known scalar theorem. We apply this result to approximate $C_0$-semi\-groups and resolvent operators in abstract Banach spaces. We study certain Laguerre functions, its Laplace transforms and the convergence of Laguerre series in Lebesgue spaces. The concluding section of this paper is devote to consider some examples of $C_0$-semigroups: shift, convolution and holomorphic semigroups where some of these results are improved.

연구 동기 및 목표

• 스칼라 라거르 확장 정리의 일반화를 통해 추상 바나흐 공간 내 벡터값 함수에 대한 확장으로의 확장을 도모한다.
• 라거르 다항식을 활용한 함수해석학적 계산 프레임워크를 개발하여 $C_0$-세미군과 리졸베ント 연산자를 근사한다.
• 특히 해석적 및 미분 가능 세미군에 대해 $C_0$-세미군의 라거르 급수 근사의 수렴 속도를 유도한다.
• 요시다, 트로터-카토, 패드 근사와 같은 기존 근사 방법을 라거르 급수 표현을 활용해 향상시킨다.

제안 방법

• 저자들은 일반화된 라거르 다항식 $L_n^{(\beta)}(t)$와 그에 관련된 가중 함수 $e^{-t}t^{\beta}$를 사용하여 $L^p(\mathbb{R}_+)$ 내에서의 직교 확장을 정의한다.
• 벡터값 함수에 대한 우스펜스키 정리의 버전(정리 3.3)을 수립하여, $X$-값 함수에 대해 점별 수렴과 $L^p$ 수렴을 증명한다.
• 핵심 기법은 기능해석학적 계산을 통해 $C_0$-세미군을 $T(t)x = \sum_{n=0}^\infty A^n(A+1)^{-n-\alpha-1}x \, L_n^{(\alpha)}(t)$ 형태로 표현하는 것이다.
• 라거르 함수의 라플라스 변환을 사용하여 확장 커널의 $L^p$ 노름을 분석하고, 노름 추정을 가능하게 한다.
• 해석적 세미군의 유형 $HG_\beta$에 대해, $\|A^n(A+1)^{-n-\alpha-1}\| \leq C_{\alpha,\beta}/n^{\alpha+1}$ 형태의 감쇠 추정을 도출한다.
• 해석성과 성장 조건 하에서, 부분합이 $T(t)x$로 수렴하는 속도가 $t>0$일 때 $O(m^{-\alpha/2})$임을 보였다.

실험 결과

연구 질문

• RQ1 라거르 확장은 바나흐 공간 내 벡터값 함수로 어떻게 일반화될 수 있으며, 어떤 조건에서 수렴하는가?
• RQ2 기능해석학적 계산을 통해 $C_0$-세미군과 리졸베ント 연산자는 어떻게 라거르 급수로 표현될 수 있는가?
• RQ3 라거르 급수 근사의 $C_0$-세미군에 대한 수렴 속도는 무엇이며, 초기 자료의 정규성에 따라 어떻게 달라지는가?
• RQ4 이 라거르 기반 근사 방법은 수렴 속도 측면에서 요시다 또는 패드 근사와 같은 기존 방법을 향상시킬 수 있는가?

주요 결과

• 벡터값 라거르 확장 $\sum_{n=0}^\infty c_n(f) L_n^{(\alpha)}(t)$ 는 $f:(0,\infty)\to X$ 이며 $f \in L^2(\mathbb{R}_+, e^{-t}t^{\alpha}dt; X)$ 라면 점별로 $f(t)$로 수렴하며, 스칼라 결과를 바나흐 공간으로 일반화한다.
• 해석적 $C_0$-세미군의 유형 $HG_\beta$에 대해, 연산자 노름은 $\|A^n(A+1)^{-n-\alpha-1}\| \leq C_{\alpha,\beta}/n^{\alpha+1}$ 를 만족하며, $\alpha > 0$ 이다.
• 라거르 급수의 첫 $m$개 항으로 $T(t)x$를 근사한 오차는 $C_{\alpha,\beta,t} \|x\| / m^{\alpha/2}$ 이하로 유계이며, 이는 $O(m^{-\alpha/2})$ 수렴 속도를 증명한다.
• 이 방법은 생성자에 대한 스펙트럼 성질을 함수해석학적 계산을 통해 활용함으로써 기존 근사 방법보다 향상된 성능을 제공한다.
• 논문은 이동, 콘볼루션, 해석적 세미군(예: 포아송 및 가우시안)에 대해 명시적인 확장을 제공하며, 계수는 위트커 함수를 통해 표현된다.
• $L^p$-함수에 대해 $4/3 < p < 4$ 이면, 부분합 $S_n(f)$ 는 $f$로 $L^p$-노름에서 수렴함을 확인하여, 르베그 공간 내에서 확장의 안정성을 입증한다.