[논문 리뷰] Inverse theorems in the theory of approximation of vectors in a Banach space with exponential type entire vectors

Ya. I. Grushka|arXiv (Cornell University)|2008. 09. 24.

Approximation Theory and Sequence Spaces참고 문헌 7인용 수 5

한 줄 요약

이 논문은 비준비분석적 연산자 A에 대해 바나흐 공간 내 벡터의 매끄러움성과 지수형 전체 벡터에 의한 최선의 근사 속도, 그리고 k연속성 모듈러스 사이의 역정리들을 수립한다. 이는 생성자 A와 관련된 스펙트럼 부분공간이 유형 ≤σ인 지수형 전체 벡터의 공간과 일치함을 증명함으로써, 베르누이 타입 부등식을 도입하고 가중치가 있는 Lp 공간으로의 근사 결과를 일반화한다.

ABSTRACT

Arbitrary operator A on a Banach space X which is the generator of C_0-group with certain growth condition at infinity is considered. The relationship between its exponential type entire vectors and its spectral subspaces is found. Inverse theorems on connection between the degree of smoothness of vector $x\in X$ with respect to operator A, the rate of convergence to zero of the best approximation of x by exponential type entire vectors for operator A, and the k-module of continuity are established. Also, a generalization of the Bernstein-type inequality is obtained. The results allow to obtain Bernstein-type inequalities in weighted L_p spaces.

연구 동기 및 목표

• 비준비분석적 연산자 A에 대해 바나흐 공간 내 벡터의 매끄러움성과 그 지수형 전체 벡터에 의한 최선의 근사 속도 사이의 역정리를 수립하는 것.
• 유형 ≤σ인 지수형 전체 벡터의 집합이 생성자 A의 스펙트럼 부분공간과 일치함을 증명하여 스펙트럼 이론의 적용을 가능하게 하는 것.
• 베르누이 타입 부등식을 일반화하고 이를 가중치가 있는 Lp 공간으로 확장하는 것.
• 가중치가 있는 Lp 공간 내 근사 속도를 추정하기 위한 프레임워크를 제공하는 것. 이는 k연속성 모듈러스와 K함수의 등가성에 기반한다.

제안 방법

• 쿠프초프에 의해 도입되고 테레힌에 의해 확장된 C0군에 대한 일반화된 연속성 모듈러스의 사용.
• 비준비분석적 연산자 A의 스펙트럼 부분공간과 유형 ≤σ인 지수형 전체 벡터의 공간 간의 등가성 수립.
• 스펙트럼 이론과 C0군 이론을 활용하여 매끄러움성과 근사 행동을 분석하는 것.
• 군의 성장 조건과 스펙트럼 부분공간 특성화를 통해 베르누이 타입 부등식 유도.
• 팔레이-위너 정리와 푸리에 변환 기법을 사용하여 가중치가 있는 Lp 공간 내 전체 벡터의 특성화.
• 전체 벡터 공간 위의 귀납적 극한 위상과 가중치가 있는 Lp 공간 내 노름 추정의 응용.

실험 결과

연구 질문

• RQ1 바나흐 공간 내 벡터의 매끄러움성과 그 지수형 전체 벡터에 의한 최선의 근사 사이의 관계는 k연속성 모듈러스를 통해 어떻게 기술될 수 있는가?
• RQ2 유형 ≤σ인 지수형 전체 벡터의 집합이 생성자 A의 스펙트럼 부분공간과 일치하는 조건은 무엇인가?
• RQ3 스펙트럼 부분공간의 구조를 활용하여 베르누이 타입 부등식을 가중치가 있는 Lp 공간으로 일반화할 수 있는가?
• RQ4 비준비분석적 C0군의 맥락에서 K함수와 연속성 모듈러스 사이의 관계는 무엇인가?
• RQ5 가중치가 있는 Lp 공간 내 근사 속도는 함수의 매끄러움성과 가중치 함수에 따라 어떻게 달라지는가?

주요 결과

• 유형 ≤σ인 지수형 전체 벡터의 공간은 비준비분석적 C0군의 생성자 A와 관련된 스펙트럼 부분공간과 일치한다.
• Lp(R, μp)에 속하는 함수 f에 대해, 지수형 전체 벡터에 의한 최선의 근사는 지수형 전체 함수에 의한 최선의 근사와 같다.
• f ∈ Lp(R, μp) ∩ Bσ 이고 σ ≥ 1일 경우, 모든 n ∈ N에 대해 ‖f(n)‖Lp(μp) ≤ cnσn‖f‖Lp(μp) 인 부등식이 성립하며, 여기서 cn은 σ와 f에 독립적인 상수이다.
• 최선의 근사가 r ≥ 1에 대해 𝒟r(f) ≤ m/rn ω(1/r) 를 만족할 경우, f ∈ Wpn(R, μp)이며, f(n)의 k번째 연속성 모듈러스는 ω를 포함하는 적분 표현식으로 유계이다.
• 이전 연구에서 도출된 일반화된 잭슨 타입 부등식이 스펙트럼 부분공간 특성화를 통해 가중치가 있는 Lp 공간으로 확장된다.
• μ(t) ≥ 1 + R|t| 를 만족하는 가중치 μ(t)에 대해, 반투과 임베딩 Ξσ(A) ⊂ Bσ ∩ Lp(R, μp) 가 성립하며, 이는 적분 가능성 보장과 팔레이-위너 유형의 추론을 가능하게 한다.