[논문 리뷰] $M$-ideal properties in Orlicz-Lorentz spaces

Anna Kamińska, Han Ju Lee외 1명|arXiv (Cornell University)|2017. 05. 30.

Advanced Banach Space Theory참고 문헌 8인용 수 5

한 줄 요약

이 논문은 Luxemburg 노름과 Orlicz 노름을 갖춘 Orlicz-Lorentz 공간에서 유계 선형 함수들의 이중 노름에 대한 명시적 공식을 수립하며, Orlicz N-함수의 Δ₂ 조건을 만족하지 못할 경우, order-continuous 부분공간이 Luxemburg 노름 하에서는 M-ideal이지만 Orlicz 노름 하에서는 그렇지 않음을 보여준다. 결과는 모듈러 이중성과 수준 함수 분석을 통해 함수 공간과 수열 공간 양쪽으로 확장된다.

ABSTRACT

We provide explicit formulas for the norm of bounded linear functionals on Orlicz-Lorentz function spaces $Λ_{φ,w}$ equipped with two standard Luxemburg and Orlicz norms. Any bounded linear functional is a sum of regular and singular functionals, and we show that the norm of a singular functional is the same regardless of the norm in the space, while the formulas of the norm of general functionals are different for the Luxemburg and Orlicz norm. The relationship between equivalent definitions of the modular $P_{φ,w}$ generating the dual space to Orlicz-Lorentz space is discussed in order to compute the norm of a bounded linear functional on $Λ_{φ,w}$ equipped with Orlicz norm. As a consequence, we show that the order-continuous subspace of Orlicz-Lorentz space equipped with the Luxemburg norm is an $M$-ideal in $Λ_{φ,w}$, while this is not true for the space with the Orlicz norm when $φ$ is an Orlicz $N$-function not satisfying the appropriate $Δ_2$ condition. The analogous results on Orlicz-Lorentz sequence spaces are given.

연구 동기 및 목표

• Orlicz-Lorentz 공간에서 Luxemburg 노름과 Orlicz 노름의 두 경우에 대해 유계 선형 함수의 이중 노름에 대한 정확한 공식을 유도하는 것.
• 이중 공간에서 정규 함수와 특이 함수의 차이를 명확히 하고, 서로 다른 노름 하에서의 노름 행동을 분석하는 것.
• Orlicz-Lorentz 공간에서 order-continuous 부분공간이 M-ideal이 되는 조건을 규명하는 것.
• 함수 공간에서의 분석을 수열 공간으로 확장하고, 두 설정 간의 M-ideal 성질을 비교하는 것.
• Orlicz-Lorentz 공간의 M-ideal 구조를 결정하는 데 있어 Δ₂ 조건의 역할을 조사하는 것.

제안 방법

• 논문은 함수를 정규 및 특이 부분으로 분해하고, 정규 함수는 Köthe 쌍대공간의 원소에 대한 적분으로 표현한다.
• 모듈러 $ P_{\varphi,w} $와 그 쌍대 $ P_{\varphi_*,w} $를 사용하여 이중 노름을 특별히 Orlicz 노름의 경우에 특성화한다.
• 함수의 노름은 모듈러 $ P_{\varphi_*,w} $와 특이 부분의 노름을 포함한 최소합성(infimal convolution)을 통해 계산된다.
• 비정상적인 Orlicz-Lorentz 공간의 구조를 다루기 위해 감소하는 재배열과 수준 함수를 활용한다.
• Hardy-Littlewood 순서와 쌍대공간 이중성을 적용하여 정확한 이중 노름 공식을 도출한다.
• Δ₂ 조건이 실패할 경우 Orlicz 노름 하에서 order-continuous 부분공간이 M-ideal이 되지 않는 것을 증명하기 위해 모순에 기반한 추론을 사용한다.

실험 결과

연구 질문

• RQ1 Orlicz-Lorentz 공간의 order-continuous 부분공간이 Luxemburg 노름 하에서 언제 M-ideal이 되는가?
• RQ2 Orlicz-Lorentz 공간에서 Luxemburg 노름과 Orlicz 노름 간에 함수의 이중 노름은 어떻게 다를까?
• RQ3 Orlicz 노름을 갖춘 Orlicz-Lorentz 공간에서 유계 선형 함수의 노름에 대한 정확한 공식은 무엇인가?
• RQ4 Orlicz N-함수 $ \varphi $가 적절한 Δ₂ 조건을 만족하지 못할 경우, Orlicz 노름 하에서 order-continuous 부분공간이 M-ideal이 되지 못하는가?
• RQ5 Orlicz-Lorentz 수열 공간에 대해 유사한 M-ideal 결과가 성립하는가?

주요 결과

• 특이 함수의 노름은 기초 노름(Luxemburg 또는 Orlicz)과 무관하게 일정하지만, 일반 함수의 노름은 노름 유형에 따라 달라진다.
• Orlicz 노름 하에서 함수 $ F = H + S $의 이중 노름은 $ \|F\| = \inf\{\eta > 0 : P_{\varphi_*,w}(\frac{h}{\eta}) + \frac{1}{\eta}\|S\| \leq 1\} $ 로 주어지며, 여기서 $ h $는 정규 부분의 표현 함수이다.
• Orlicz-Lorentz 공간 $ \Lambda_{\varphi,w}^0 $에서 order-continuous 부분공간 $ (\Lambda_{\varphi,w}^0)_a $는 Luxemburg 노름 하에서 M-ideal이다.
• Orlicz N-함수 $ \varphi $가 적절한 Δ₂ 조건을 만족하지 못할 경우, $ (\Lambda_{\varphi,w}^0)_a $는 Orlicz 노름 하에서 $ \Lambda_{\varphi,w}^0 $에서 M-ideal이 아니다.
• 수열 공간 $ \lambda_{\varphi,w}^0 $에서도 $ \varphi $가 Δ₂ 조건을 만족하지 못할 경우 동일한 비-M-ideal 결과가 성립한다.
• 증명에서 발생하는 모순은 엄격한 부등식 $ P_{\varphi_*,w}(h) < \|h\|_{\mathcal{M}_{\varphi_*,w}} $ 에 기인하며, 이는 Orlicz 노름 하에서 M-ideal의 구조를 위한 필수 조건을 위반한다.