[논문 리뷰] Norm of the discrete Cesàro operator minus identity

Gord Sinnamon|arXiv (Cornell University)|2021. 05. 29.

Holomorphic and Operator Theory참고 문헌 3인용 수 26

한 줄 요약

이 논문은 C−I의 작용자 노름을 ℓ^p에서 모든 p∈(1,∞)에 대해 정확히 결정한다: 1<p≤2일 때는 1/(p−1), p>2일 때는 m_p^{−1/p} (p=∞일 때는 2); 또한 연속 Hardy 사례와 일치하며 관련 함수의 최소화를 통해 m_p를 도입한다.

ABSTRACT

The norm of $C-I$ on $\ell^p$, where $C$ is the Cesàro operator, is shown to be $1/(p-1)$ when $1

연구 동기 및 목표

• 벤넷(Bennett)이 1996년에 제기한 ℓ^p에서 C−I의 노름에 관한 질문을 동기 부여하고 형식화하며 제임슨(Jameson)의 추측을 다룬다.
• p=4/3 및 p=2에 대한 알려진 결과를 모든 p>1로 확장하여 모든 p에 대한 정확한 노름을 제시한다.
• 이산 ℓ^p 결과를 연속 Hardy 연산자 P와 그 전치와 관련지어 이산 및 연속 설정 전반에서 동일한 노름을 보임을 보인다.
• 전치 연산자, Hölder 부등식 및 이중성(dual) 을 이용한 통합 프레임워크를 개발하여 예리한 상한과 정확한 값을 확립한다.

제안 방법

• 전치 Cesàro 연산자 C^T를 정의하고 이중성 ∥C−I∥_ℓ^p = ∥C^T−I∥_ℓ^{p′}를 사용하여 p>2 구간을 연구한다.
• 보조정리 Lemma 1을 통해 ∥C^T−I∥_ℓ^p ≤ p−1인 상한을 𝔼라는 밀집 집합의 p에 대해 얻고 연속성으로 확장한다.
• Hölder 부등식과 합의 기법을 적용해 유한한 상한 ∑(y_n−x_n)^p ≤ (p−1)^p ∑x_n^p 를 얻고 연속적 대응도 도출한다.
• 함수 f_p(t)=p t^{p−1}+(1−t)^p−t^p를 도입하고 [0,1/2]에서의 최솟값 m_p를 나타내며 p>2일 때 m_p가 (0,1/2)에서 유일한 t_p에서 달성된다는 것을 보인다.
• 𝔼에 속하는 p들 사이의 Riesz–Thorin 보간을 이용해 경계를 모든 p>2로 확장하고 구성적 극값 수열을 사용해 예도성을 보이며 ∥C−I∥_ℓ^p = m_p^{−1/p} (p>2) 를 얻는다.
• 이산 결과가 P^T와 P의 연속 케이스와 평행하다는 것을 보이고, 유사한 논증으로 P−I의 L^p 노름도 도출한다.

실험 결과

연구 질문

• RQ1 1<p<∞일 때 ℓ^p에서 C−I의 정확한 노름은 무엇인가?
• RQ2 알려진 p=4/3 사례(및 관련 추측)가 (1,∞)의 모든 p로 확장되는가, 그리고 그것은 어떻게 확장되는가?
• RQ3 이산 ℓ^p 결과를 연속 Hardy 연산자 경우 P−I와 어떻게 비교하고 유사성을 정밀하게 만들 수 있는가?
• RQ4 p>2의 예리한 노름 결정에서 보조 함수 m_p가 어떤 역할을 하는가?

주요 결과

• 1<p≤2일 때, ∥C−I∥_ℓ^p = 1/(p−1) (동등하게 ∥C^T−I∥_ℓ^p = p−1).
• p>2일 때 ∥C−I∥_ℓ^p = m_p^{−1/p}, 여기서 m_p는 f_p(t)=p t^{p−1}+(1−t)^p−t^p의 [0,1/2]에서의 최솟값이다.
• 특히 p=∞일 때 ∥C−I∥_ℓ^∞ = 2.
• 결과는 p=4에 대한 Jameson의 상계를 확장하고 특정 계산으로 p=4/3 및 p=3에 대한 정확값을 회복한다.
• 이산 결과는 연속 케이스를 따라 동일한 표현을 가지며, P−I의 L^p 노름도 동일한 식을 가지며, 이로써 P^T 및 양의 원뿔 케이스에 대한 대응 명제가 도출된다.
• 증명은 Hölder 부등식, 핵심 부등식(Lemma 1), Riesz–Thorin 보간, 그리고 명시적인 극값 구성들을 결합하여 예리함을 보인다.