[논문 리뷰] Compact Sets in Bide - Side Grand Lebesgue Spaces, with Applications

E. Ostrovsky, L. Sirota|ArXiv.org|2009. 02. 17.

Advanced Harmonic Analysis Research참고 문헌 23인용 수 4

한 줄 요약

이 논문은 이원적 그랜드 레베그 공간(Bilateral Grand Lebesgue Spaces, BSGL)에서 집합의 컴팩트성에 대한 충분조건을 확립한다. $ G^o(\theta) $의 닫힌 유계 부분집합이 컴팩트함과 동치인 조건은 각각 $ p \in (a,b) $에 대해 $ L_p $-공간에서 유계이고 등가 절대연속성 조건을 만족하는 것이다. 이러한 결과는 수치해석 방법과 이러한 함수공간에서의 기저 이론에 응용된다.

ABSTRACT

In this article we find some sufficient conditions for the set in the Bilateral Grand Lebesgue Space to be compact set. We consider applications into numerical methods and in the basis problem.

연구 동기 및 목표

• 이원적 그랜드 레베그 공간(BSGL)의 부분집합이 컴팩트해지기 위한 충분조건을 확립하기 위해.
• $ G^o(\psi) $, 즉 구간 $ (a,b) $의 끝점에서 노름이 0으로 수렴하는 함수들의 닫힌 부분공간에서 컴팩트 집합의 구조를 조사하기 위해.
• 컴팩트성 기준을 수치해석에 적용하여, 특히 대칭 재배열을 위한 반복 알고리즘의 수렴성에 대해 연구하기 위해.
• 기저 측도공간의 분리성 조건이 성립할 경우 $ G^o(\psi) $에서 샤우더 기저의 존재를 증명하기 위해.
• $ L_p $-공간에서의 결과를 BSGL 공간으로 확장하여, 특히 대칭 재배열과 기울기 추정에 대해 연구하기 위해.

제안 방법

• 함수공간 $ G(\psi) $를 노름 $ \|f\|_{G(\psi)} = \sup_{p \in (a,b)} |f|_p / \psi(p) $로 정의한다. 여기서 $ \psi \in \Psi(a,b) $는 $ (a,b) $에서 양수이자 연속적이며, 끝점에서 발산할 수 있다.
• 함수들의 집합 $ G^o(\psi) $를 $ \lim_{\psi(p) \to \infty} |f|_p / \psi(p) = 0 $를 만족하는 함수들로 정의한다. 이는 $ GA(\psi) $ 및 $ GB(\psi) $와 일치하며, 절대연속적인 노름을 가지는 함수들 및 유한 지지 집합을 가진 유계 함수들의 공간이다.
• 컴팩트성의 등가 조건을 활용하여 $ G^o(\psi) $에서의 컴팩트성은 각각 $ p \in (a,b) $에 대해 $ L_p $-공간에서의 컴팩트성과 등가임을 증명한다. 이는 기존의 함수해석학 기준을 기반으로 한다.
• 특히 반전(혹은 구형) 재배열 이론, 특히 van Schaftingen의 투영 알고리즘을 적용하여 $ G(\psi) $-노름에서의 수렴성을 보여준다.
• $ G(\psi) $에서 재배열 연산자의 노름 보존 및 수축 성질을 증명한다. 즉, $ \|u^*\|_{G(\psi)} = \|u\|_{G(\psi)} $ 및 $ \|u^* - v^*\|_{G(\psi)} \leq \|u - v\|_{G(\psi)} $임을 보인다.
• 만약 $ u \in G^o(\psi) $이면, 투영 알고리즘으로 생성된 수열 $ \{u_n\} $이 $ G^o(\psi) $-노름에서 $ u^* $로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 닫힌 유계 부분집합 $ S \subset G^o(\psi) $가 BSGL 노름에서 컴팩트해지기 위한 조건은 무엇인가?
• RQ2 $ G^o(\psi) $에서의 집합 컴팩트성은 각각 $ p \in (a,b) $에 대해 $ L_p $-공간에서의 컴팩트성과 어떻게 관련이 있는가?
• RQ3 대칭 재배열을 위한 투영 알고리즘의 수렴성은 $ L_p $-공간에서 BSGL 공간으로 확장될 수 있는가?
• RQ4 등가 절대연속성은 $ G^o(\psi) $에서 집합의 컴팩트성에 어떤 역할을 하는가?
• RQ5 측도공간이 분리성 조건을 만족할 경우 $ G^o(\psi) $는 샤우더 기저를 갖는가?

주요 결과

• 닫힌 유계 부분집합 $ S \subset G^o(\psi) $는 컴팩트임과 동치로, 각각 $ p \in (a,b) $에 대해 $ L_p $-공간에서 유계이면서 등가 절대연속성 조건을 만족해야 한다.
• 대칭 재배열 연산자는 $ G(\psi) $-노름을 보존한다: 모든 $ \psi \in \Psi(a,b) $에 대해 $ \|u^*\|_{G(\psi)} = \|u\|_{G(\psi)} $이다.
• 재배열 연산자는 $ G(\psi) $에서 수축성을 가진다: $ \|u^* - v^*\|_{G(\psi)} \leq \|u - v\|_{G(\psi)} $이다.
• 모든 $ \nu \ll \psi $, 즉 $ \lim_{\psi(p) \to \infty} \nu(p)/\psi(p) = 0 $를 만족하는 $ \nu $에 대해, $ u \in G(\psi) $이면 투영 알고리즘의 수렴이 $ G(\nu) $-노름에서 $ u^* $로 성립한다.
• 만약 $ u \in G^o(\psi) $이면, 투영 알고리즘으로 생성된 수열 $ \{u_n\} $은 $ G^o(\psi) $-노름에서 $ u^* $로 수렴한다.
• 측도공간이 분리성 조건을 만족할 경우, $ G^o(\psi) $는 샤우더 기저를 갖는다. 예를 들어, 변형된 하르 함수들로 구성된 기저가 존재한다.