[논문 리뷰] Compactness of Embeddings

А. Г. Рамм|ArXiv.org|2005. 11. 14.

Rings, Modules, and Algebras인용 수 3

한 줄 요약

이 논문은 세 개의 중첩된 바나흐 공간 간 임베딩 연산자의 컴팩트성에 대한 필요 및 충분 조건을 정밀화하며, $ i:X_1 \to X_2 $의 컴팩트성은 $ j:X_1 \to X_3 $의 컴팩트성과 모든 $ s \in (0,1) $에 대해 성립하는 특정 보간형 부등식 $ \|u\|_2 \leq s\|u\|_1 + c(s)\|u\|_3 $이 동시에 성립함과 동치임을 증명한다. 문헌에서 널리 인용된 가정 없이도 이 부등식이 성립한다는 주장은 반례를 통해 반증된다.

ABSTRACT

An improvement of the author's result, proved in 1961, concerning necessary and sufficient conditions for the compactness of embedding operators is given. A counterexample to a published statement concerning compactness of embedding operators is constructed.

연구 동기 및 목표

• 1961년 저자의 결과를 일반화하여 $ X_2 $가 힐버트 공간이어야 한다는 제약 조건을 제거하는 것.
• 임베딩 $ j:X_1 \to X_3 $의 컴팩트성과 매개변수화된 노름 부등식을 이용하여 $ i:X_1 \to X_2 $의 컴팩트성에 대한 정확한 기준을 설정하는 것.
• 노름 $ X_2 $와 $ X_3 $ 간의 호환성 조건이 노름 부등식 조건의 필수성에 기여하는 바를 밝히는 것.
• 문헌에서 자주 인용되는 주장(리옹의 보조정리)이 노름 호환성 조건 없이도 성립한다는 것을 반증하기 위해 반례를 구성하는 것.

제안 방법

• 임베딩 $ j:X_1 \to X_3 $의 컴팩트성과 보간형 부등식 $ \|u\|_2 \leq s\|u\|_1 + c(s)\|u\|_3 $을 가정하고, $ X_1 $의 유계 수열이 $ X_2 $에서 수렴하는 부분수열을 가짐을 보여 충분성을 증명한다.
• 임베딩 $ i:X_1 \to X_2 $가 컴팩트하다고 가정하고, 노름 부등식이 실패할 경우 모순을 이끌어내기 위해 $ \|u_n\|_2 \geq s_0 + n\|u_n\|_3 $를 만족하는 수열이 존재함을 이용하여 필수성을 증명한다.
• $ X_2 $와 $ X_3 $의 노름 간 호환성 조건을 사용하여 $ X_3 $에서의 수렴이 $ X_2 $에서의 수렴을 보장함으로써 모순 증명에 필수적인 조건을 확보한다.
• 임의의 점에서의 함수 값 평가를 포함하는 $ X_2 $를 정의하고, 거의 어디서나 0이지만 한 점에서만 0이 아닌 함수로 이루어진 일차원 공간 $ X_1 $을 사용하여 반례를 구성한다.
• $ X_3 = L^2(0,1) $, $ X_2 = L^2(0,1) + \text{점 평가} $로 정의하고, $ L^2 $-노름이 0이지만 점에서의 값이 0이 아닌 함수의 스칼라 스펙트럼으로서 $ X_1 $을 정의한다.
• 반례에서 $ \|u\|_3 = 0 $이고 $ \|u\|_2 > 0 $ 이므로, 주장된 부등식 $ \|u\|_2 \leq \epsilon\|u\|_1 + K(\epsilon)\|u\|_3 $가 $ \epsilon < 1 $일 때 실패함을 보이며, 이는 $ |\lambda| \leq \epsilon|\lambda| $로 수렴하여 $ \lambda \neq 0 $이면 성립하지 않음을 의미한다.

실험 결과

연구 질문

• RQ1 노름이 유사한 세 개의 중첩된 바나흐 공간 $ X_1 \subset X_2 \subset X_3 $에서 임베딩 연산자 $ i:X_1 \to X_2 $가 컴팩트해지는 조건은 무엇인가?
• RQ2 임베딩 $ i:X_1 \to X_2 $의 컴팩트성에 대해 노름 부등식 $ \|u\|_2 \leq s\|u\|_1 + c(s)\|u\|_3 $가 필수적인가? 이 부등식은 $ X_2 $와 $ X_3 $의 노름 간 호환성 조건 없이도 성립하는가?
• RQ3 [1]의 35쪽에서 제시된 주장(리옹의 보조정리)이 임베딩이 컴팩트할 경우 항상 성립한다는 것은, 노름 호환성 조건 없이도 타당한가?
• RQ4 $ X_2 $와 $ X_3 $의 노름 간 호환성 조건이 노름 부등식 조건의 필수성 증명에서 어떤 역할을 하는가?
• RQ5 노름 호환성 조건이 성립하지 않을 경우, 표준적인 보간형 부등식이 컴팩트성 기준에서 무효화되는가?

주요 결과

• $ i:X_1 \to X_2 $의 임베딩이 컴팩트한 것은 $ j:X_1 \to X_3 $의 임베딩이 컴팩트하고, 모든 $ s \in (0,1) $에 대해 $ \|u\|_2 \leq s\|u\|_1 + c(s)\|u\|_3 $가 성립함과 동치이며, 이때 $ c(s) > 0 $ 이다.
• 충분성 증명은 $ X_2 $와 $ X_3 $의 노름 간 호환성 조건을 필요로 하지 않지만, 필수성 증명은 필요로 한다.
• 반례에서 $ X_1 $은 일차원이며, $ X_3 = L^2(0,1) $, $ X_2 $는 점 평가를 포함하며, 비영인 $ u \in X_1 $에 대해 $ \|u\|_3 = 0 $, $ \|u\|_2 = 1 $ 이다.
• 이 반례에서 $ i:X_1 \to X_2 $는 $ X_1 $이 유한차원이므로 컴팩트하다. 따라서 [1]의 주장 보조정리의 모든 가정을 만족한다.
• 그러나 $ \epsilon < 1 $일 경우 부등식 $ \|u\|_2 \leq \epsilon\|u\|_1 + K(\epsilon)\|u\|_3 $는 실패한다. 이는 $ |\lambda| \leq \epsilon|\lambda| $로 수렴하며, $ \lambda = 0 $이 아닐 경우 참이 되지 않기 때문이다.
• 따라서 [1], 35쪽의 주장은 $ X_2 $와 $ X_3 $의 노름 간 호환성 조건이 없이 성립하지 않으며, 반례는 이를 명백히 입증한다.