[논문 리뷰] An H1-BMO duality theory for semigroups of operators

Tao Mei|arXiv (Cornell University)|2012. 04. 23.

Advanced Operator Algebra Research참고 문헌 15인용 수 3

한 줄 요약

이 논문은 일반적인 sigma-유한 측도 공간 위에서 작용하는 연산자의 반군에 대해, P. A. Meyer의 기울기 형식과 반군 작용을 이용한 제곱 함수를 통해 하드리 공간 H₁과 BMO 공간을 정의함으로써, 추상적인 H₁-BMO 쌍대성 이론을 수립한다. 주요 기여는 Γ₂ ≥ 0 조건과 추가적인 정규성 조건 하에서 절대 상수를 갖는 쌍대 부등식을 확립한 것으로, 기하학적 또는 커널 기반의 구조에 의존하지 않고 비가환 설정(예: 유한 추측을 갖는 바나흐 대수)으로까지 확장된다.

ABSTRACT

Let (M,μ) be a sigma-finite measure space. Let (T_t) be a semigroup of positive preserving maps on (M,μ) with standard assumptions. We prove a H_1-BMO duality theory with assumptions only on T_t. The BMO is defined as spaces of functions f such that the L_\infty norm of sup_tT_t|f-T_tf|^2 is finite. The H1 is defined by square functions of P. A. Meyer's gradient form. Our argument does not rely on any geometric/metric structure of M nor on the kernel of the semigroups of operators. This abstract argument allows to extend our main results to the noncommutative setting, e.g. the case where L_\infty(M,μ) is replaced by von Neuman algebras with a semifinite trace. We also prove a Carleson embedding theorem for semigroups of operators.

연구 동기 및 목표

• 반군의 내재적 성질에만 의존하는 H₁-BMO 쌍대성 이론을 개발함으로써, 기저 측도 공간의 기하학적 또는 거리 구조에 대한 가정을 배제한다.
• 열린 핵의 경계나 특정 함수 공간에 의존하지 않고, P. A. Meyer의 기울기 형식과 반군 작용을 이용한 제곱 함수를 통해 H₁ 및 BMO 공간을 정의한다.
• 스테인의 보편적 H^p 이론을 H₁-BMO 경우로 일반화하여 절대 상수를 갖는 H₁과 BMO 사이의 쌍대성을 확립한다.
• 기하학적 구조에 의존하지 않고, 유한 추측을 갖는 바나흐 대수와 같은 비가환 설정으로 이론을 확장한다.
• 쌍대성 결과를 뒷받침하고 비가환 조화 분석에의 응용을 가능하게 하기 위해 반군에 대한 칼레슨 임bedding 정리를 증명한다.

제안 방법

• BMO 공간을 반세미노르م ‖f‖_BMO(T) = sup_t ‖T_t |f - T_t f|²‖_∞^{1/2} 으로 정의하고, bmo 공간을 ‖f‖_bmo(T) = sup_t ‖T_t |f|² - |T_t f|²‖_∞^{1/2} 으로 정의한다.
• 제곱 함수 S_Γ(f) = (∫₀^∞ T_s Γ(T_s f) ds)^{1/2} 와 G_Γ(f) = (∫₀^∞ Γ(T_s f) ds)^{1/2} 를 이용해 H₁^S(T) 및 H₁^G(T) 를 정의한다. 여기서 Γ는 Meyer의 carré du champ이다.
• Γ₂ ≥ 0 조건을 적용하여 기울기 형식을 제어하고 반군 프레임워크 내에서 양성과 정규성을 확보한다.
• bmo(T)와 L₁(M) 사이의 보간 이론을 적용하고, 최대 연산자 M_t 의 유계성을 이용해 시간 평균 노름을 제어한다.
• 타임-통합 반군 작용과 이중 분할을 통한 시간적 추정을 통해 타임 스펙트럼 노름을 평가함으로써 반군에 대한 칼레슨 임베딩 정리를 증명한다.
• 핵심 부등식을 통한 쌍대성 확립: τ(fg) ≤ c₁‖f‖_{H₁^S}^{1/2}‖f‖_{H₁^G}^{1/2}‖g‖_{bmo} ≤ c₂‖f‖_{H₁^S}‖g‖_{bmo}, 절대 상수 c₁, c₂를 갖는다.

실험 결과

연구 질문

• RQ1 반군에 대해 (H₁^S(T))⁰ = bmo(T) 가 성립하는 조건은 무엇인가?
• RQ2 두 BMO 노름 ‖·‖_BMO(T) 와 ‖·‖_bmo(T) 가 동치가 되는 조건은 무엇인가?
• RQ3 H₁^S(T) = H₁^G(T) 가 성립하는 조건은 무엇인가? 즉, 두 하드리 공간 정의가 동치가 되는 조건은 무엇인가?
• RQ4 기하학적 가정 없이 H₁-BMO 쌍대성이 비가환 설정(예: 유한 추측을 갖는 바나흐 대수)으로 확장 가능한가?
• RQ5 쌍대성 및 동치 결과를 보장하는 반군에 대한 최소한의 정규성 조건은 무엇인가?

주요 결과

• Γ₂ ≥ 0 조건 하에서 절대 상수 c₂가 반군이나 기저 측도 공간에 관계없이 τ(fg) ≤ c₂‖f‖_{H₁^S(T)}‖g‖_{bmo(T)} 인 쌍대 부등식이 성립한다.
• 반군이 추가 정규성 조건—특히 시간에 대한 헬더 연속성과 시간 평균 반군에 대한 균일한 L¹-추정—을 만족할 경우, (H₁^S(T))⁰ = bmo(T) 가 성립하며, 이는 노름 동치성과 함께 성립한다.
• 동일한 정규성 조건 하에서 bmo(T) = BMO(T) 이고 H₁^S(T) = H₁^G(T) 이며, 두 BMO 및 두 하드리 공간 정의 간의 노름 동치성이 확립된다.
• 노름 동치성의 상수들은 기하학적 구조에 의존하지 않고 오직 정규성 매개변수 c₃, c₄ 및 r 에만 의존한다.
• 반군의 구조와 Γ₂ 조건에만 의존하는 추상적 서술 덕분에 이론은 기하학적 구조에 의존하지 않는 비가환 설정(예: 유한 추측을 갖는 바나흐 대수)으로까지 확장된다.
• 반군에 대한 칼레슨 임베딩 정리가 증명되었으며, 이는 측도의 텐트 공간 노름이 함수의 L¹ 노름에 의해 균일한 상수로 제어됨을 보여준다.