[논문 리뷰] Vector-valued Lagrange interpolation and mean convergence of Hermite series

Hermann König|arXiv (Cornell University)|1992. 08. 13.

Approximation Theory and Sequence Spaces인용 수 14

한 줄 요약

이 논문은 바나흐 공간에서 헤르미트 다항식 노드에 대한 벡터 값 마르친키에비치-지기문드 보간 부등식을 수립하며, 평균 수렴이 $L_p(\mathbb{R}; X)$-노름에서 성립함을 보여주고 있다. 이는 $X$가 UMD 공간이면서 $1 < p < 4$일 때에만 성립한다. 주요 기여는 네바이와 아스키-와이너의 스칼라 결과를 벡터 값 설정으로 확장하고, $p$-범위에 대한 정확한 의존성을 확보한 것이다.

ABSTRACT

Let X be a Banach space and $1\le p

연구 동기 및 목표

• 헤르미에 측도와 가우시안 구적법 가중치를 사용한 헤르미트 노드를 이용하여 $X$-값 다항식에 대한 마르친키에비치-지기문드 유형의 보간 부등식을 수립한다.
• 연속 함수에 대해 라그랑주 보간 다항식의 $L_p(\mathbb{R}; X)$-노름에서의 평균 수렴이 성립하는 $p$의 정확한 범위와 바나흐 공간 $X$의 조건을 규명한다.
• 헤르미에 급수의 평균 수렴에 관한 네바이와 아스키-와이너의 스칼라 결과를 벡터 값 경우로 확장한다.
• 모든 $4/3 < p < 4$에 대해 $L_p$-노름에서 수렴을 위해 UMD 성질이 필수적임을 규명한다.

제안 방법

• 차수 $\leq n$인 $X$-값 다항식 $q$에 대해, $q(t)e^{-t^2/2}$의 $L_p$-노름과 헤르미트 노드 $t_j$를 중심으로 한 가중치 합 사이의 마르친키에비치-지기문드 유형 보간 부등식을 유도한다.
• 가우시안 구적법 가중치 $\lambda_j$를 사용하여 $\mu_j = \lambda_j e^{t_j^2}$로 정의된 가중치 $\mu_j$를 이산 합에 적용한다.
• $L_p(\mathbb{R}; X)$에서 힐베르트 변환이 유계임을 이용하여 UMD 공간을 특성화하고, 이를 수렴 결과 증명에 적용한다.
• 대칭성과 반대 부등식을 유도하기 위해 쌍대성과 바나흐-스타인하우스 정리를 적용하여, 수렴이 성립하면 $X$가 반드시 UMD 공간이어야 함을 도출한다.
• 스코바고의 공식과 점근적 추정을 사용하여 연산자 노름의 하한을 유도하고, $p > 4$일 경우 수렴이 실패함을 보인다.
• 아스키-와이너의 스칼라 증명을 일반화하여, $4/3 < p < 4$ 범위에서 $L_p(\mathbb{R}; X)$로의 가중 힐베르트 변환의 유계성을 확장함으로써 벡터 값 경우로 증명을 확장한다.

실험 결과

연구 질문

• RQ1 연속 함수에 대해 헤르미트 노드에서의 라그랑주 보간 연산자가 $L_p(\mathbb{R}; X)$-노름에서 수렴하는 $p$와 바나흐 공간 $X$는 무엇인가?
• RQ2 벡터 값 설정에서 헤르미에 보간의 평균 수렴이 성립하는 최적의 $p$ 범위는 무엇인가?
• RQ3 $1 < p < 4$ 범위에서 $L_p(\mathbb{R}; X)$에서 헤르미에 보간의 평균 수렴에 대해 UMD 성질이 필수적이고 충분한가?
• RQ4 네바이와 아스키-와이너의 스칼라 평균 수렴 결과를 $X$-값 함수로 확장할 수 있으며, 이 경우 $p$-의존성이 정확한가?

주요 결과

• 오른쪽 마르친키에비치-지기문드 부등식이 $X$-값 다항식에 대해 성립하는 것은 $X$가 UMD 공간이면서 $1 < p < 4$일 때에만 성립한다.
• $4/3 < p \leq \infty$ 범위에서 $X$가 UMD 공간이면 이산 합이 $L_p$-노름을 지배하며, 이는 보간 연산자의 수렴을 보장한다.
• $1 < p < 4$ 이며 $f$가 $|t|^{-\alpha}e^{t^2/2}$와 같이 감소할 때, 보간 다항식 $I_n f$가 $f$로의 $L_p(\mathbb{R}; X)$-노름 수렴이 성립하며, 네바이의 스칼라 결과를 향상시킨다.
• $p > 4$일 경우 일반적으로 수렴이 실패하며, 이는 보간 연산자의 무한정성 때문이며, 연속 함수 $f \in C(\mathbb{R}) \cap L_p(\mathbb{R}; e^{-t^2/2})$에 대해서도 마찬가지다.
• $4/3 < p < 4$ 범위에서 $L_p(\mathbb{R}; X)$에서 수렴을 위해 UMD 성질이 필수적임을 쌍대성과 균일 유계성 원리로 보여주었다.
• $L_p(\mathbb{R}; X)$에서 헤르미에 급수 부분합 $P_n f$의 수렴 증명은 $4/3 < p < 4$ 범위에서 $L_p(\mathbb{R}; X)$로의 가중 힐베르트 변환의 유계성에 기반한다.