[논문 리뷰] Multiplication and composition operators between two Orlicz spaces

Yousef Estaremi|arXiv (Cornell University)|2013. 01. 21.

Holomorphic and Operator Theory참고 문헌 10인용 수 33

한 줄 요약

이 논문은 두 개의 다른 오르리치 공간 $ L^{\tilde{\Phi}_1} $ 와 $ L^{\tilde{\Phi}_2} $ 사이의 곱셈 연산자와 합성 연산자의 유계성, 컴팩턴스, 그리고 본질적 노름 추정을 조사한다. 이들 성질에 대한 필요 및 충분 조건을 유도 함수 $ u $ 와 변환 $ \varphi $ 의 측도 이론적 성질을 이용하여 수립하며, 주요 결과로는 $ \sigma $-유한하고 비원자적인 측도와 $ \Phi_1 $ 에 대한 $ \Delta_2 $-조건 하에서 $ M_u $ 의 본질적 노름이 $ \beta_2 $, 즉 $ u $ 의 본질적 상한 노름과 일치함을 보여준다.

ABSTRACT

In this paper we consider composition operator $C_φ generated by nonsingular measurable transformation $T$ and multiplication operator $M_u$ generated by measurable function $u$ between two different Orlicz spaces, then we investigate boundedness, compactness and essential norm of multiplication and composition operators in term of properties of the mapping $φ$, the function $u$ and the measure space $(X, Σ, μ)$.

연구 동기 및 목표

• 다른 오르리치 공간 $ L^{\tilde{\Phi}_1} $ 와 $ L^{\tilde{\Phi}_2} $ 사이의 곱셈 연산자와 합성 연산자에 대한 체계적인 특성화 부족 문제를 다루기.
• 함수 $ u $, 변환 $ \varphi $, 측도 공간 $ (\Omega, \Sigma, \mu) $ 를 포함한 조건으로 이러한 연산자의 유계성과 컴팩턴스에 대한 필요 및 충분 조건을 수립하기.
• 특히 $ u $ 의 본질적 상한 노름과 $ \varphi $ 의 행동과의 연관성에 기반하여 이러한 연산자의 본질적 노름에 대한 추정을 제공하기.
• $ L^p $-공간과 힐버트 공간에서의 알려진 결과를 더 일반적인 오르리치 공간 설정으로 확장하기.
• $ \Delta_2 $-조건과 원자적/비원자적 구조가 컴팩턴스와 본질적 노름을 결정하는 데 미치는 영향을 명확히 하기.

제안 방법

• 오르리치 공간 $ L^\Phi $ 에서 합성 연산자 $ C_\varphi(f) = f \circ \varphi $ 와 곱셈 연산자 $ M_u(f) = u f $ 를 정의하며, 청년 함수 $ \Phi_1 $ 과 $ \Phi_2 $ 를 사용한다.
• 수렴성과 유계성을 특징짓기 위해 오르리치 노름 $ N_\Phi(f) = \inf\{ k > 0 : \int_\Omega \Phi(|f|/k) d\mu \leq 1 \} $ 을 사용한다.
• 라돈-니코다임 정리를 적용하여 비특이성 조건을 만족시키기 위해 $ \mu \circ \varphi^{-1} $ 의 후퇴 측도를 밀도 $ h $ 를 통해 표현한다.
• 특히 $ |u| > \beta_2 - \varepsilon $ 인 집합에서 $ u $ 를 잘라내어 유한 랭크 연산자로의 근사화를 통해 컴팩턴스를 특성화한다.
• 측도가 점점 줄어드는 집합에 지지된 수열 $ f_n $ 의 약한 수렴성을 이용하여 본질적 노름 $ \|T\|_e $ 를 추정하고, $ \|T f_n\| $ 와 $ \|M_u f_n\| $ 을 비교한다.
• $ \Phi_1 $ 에 대한 $ \Delta_2 $-조건을 사용하여 $ \|f_n\|_{\Phi_1} \to 0 $ 이면 $ \|T f_n\|_{\Phi_2} \to 0 $ 임을 보장함으로써 컴팩턴스 기준을 가능하게 한다.

실험 결과

연구 질문

• RQ1 합성 연산자 $ C_\varphi $ 가 $ L^{\Phi_1}(\Omega) $ 에서 $ L^{\Phi_2}(\Omega) $ 로 유계일 때 필요한 및 충분한 조건은 무엇인가?
• RQ2 곱셈 연산자 $ M_u $ 가 $ L^{\Phi_1}(\Omega) $ 에서 $ L^{\Phi_2}(\Omega) $ 로 유계일 때 어떤 조건을 만족해야 하는가?
• RQ3 측도 이론적 구조인 $ \varphi $, $ u $, $ \mu $ 를 기반으로 $ C_\varphi $ 와 $ M_u $ 의 컴팩턴스는 어떻게 특성화할 수 있는가?
• RQ4 오르리치 공간의 맥락에서 $ M_u $ 의 본질적 노름은 무엇이며, 이는 $ u $ 의 본질적 상한 노름과 어떻게 관련이 있는가?
• RQ5 $ \Phi_1 $ 에 대한 $ \Delta_2 $-조건과 $ \mu(\Omega) $ 의 유한성은 이러한 연산자의 본질적 노름과 컴팩턴스에 어떤 영향을 미치는가?

주요 결과

• 합성 연산자 $ C\_\varphi $ 는 $ \mu \circ \varphi^{-1} $ 가 $ \Phi_1 $ 과 $ \Phi_2 $ 와 관련된 특정 성장 조건을 만족할 때, 그리고 특히 밀도 $ h $ 를 포함할 때, $ L^{\Phi_1}(\Omega) $ 에서 $ L^{\Phi_2}(\Omega) $ 로 유계가 된다.
• 곱셈 연산자 $ M_u $ 는 $ u \in L^{\Psi}(\Omega) $ 이고, 여기서 $ \Psi $ 는 $ \Phi_1 $ 과 켤레 청년 함수일 때, $ \Delta_2 $-조건 하에서 $ L^{\Phi_1}(\Omega) $ 에서 $ L^{\Phi_2}(\Omega) $ 로 유계가 된다.
• $ \sigma $-유한하고 비원자적인 측도 공간과 $ \Phi_1 \in \Delta_2 $ 조건 하에서, $ M_u $ 의 본질적 노름은 $ \beta_2 $ 와 일치한다. 즉, $ \|M_u\|_e = \beta_2 $.
• 유사하게, $ C_\varphi $ 의 본질적 노름은 $ h $ 의 본질적 상한 노름인 $ \beta_1 $ 과 일치한다. 즉, $ \|C_\varphi\|_e = \beta_1 $, 여기서 $ \mu(\Omega) < \infty $ 이고 $ \Phi_1 \in \Delta_2 $ 를 만족한다.
• 연산자 $ M_u $ 는 $ L^{\Phi_1}(\Omega) $ 에서 $ L^{\Phi_2}(\Omega) $ 로 컴팩트할 조건은 $ \beta_2 = 0 $, 즉 $ u = 0 $ $ \mu $-거의 모든 곳에서 성립할 때이다.
• 예제 4.5 는 $ u(n) = 1/n^2 $ 인 경우 $ L^{\Phi_1}(\mathbb{N}) $ 에서 $ L^{\Phi_2}(\mathbb{N}) $ 로의 $ M_u $ 가 컴팩트한 반면, $ u(n) = n^2/(n+1) $ 인 경우 그렇지 않음을 보여주며, 이는 이론이 이산 설정에서 정확히 성립함을 확인한다.