Unbounded Operators and Logarithmic Sobolev Inequalities = 비유계 작용소와 로그 소볼레프 부등식

다국어 초록 (Multilingual Abstract)

This paper rigorously reconstructs Leonard Gross’s proof of logarithmic Sobolev inequalities within the framework of modern functional analysis, especially focusing on the use of unbounded operator theory. It supplements logical gaps in Gross's original work through several key refinements. First, it clarifies the ambiguous use of the Sobolev generator on an interval by extensively utilizing the L^p generator throughout the analysis. Second, it provides a comprehensive proof for the Fréchet derivative of the L^p norm. Third, it presents an explicit calculation of the defined operator in extending the two-point inequality to n-dimensions, thus claryfing the progress of using the central limit theorem. These refinements solidify the mathematical foundations of the logarithmic Sobolev inequality and provide a rigorous guide for understanding Gross's proof through unbounded operator theory.

국문 초록 (Abstract)

본 논문은 현대 함수해석학을 토대로 Leonard Gross의 로그 소볼레프 부등식 증명을 엄밀하게 재구성하였으며, 특히 비유계 작용소의 활용에 집중하였다. 본 연구는 다음과 같은 몇 가지 핵심적인 개선을 통해 Gross의 원본 논문에 존재하던 논리적 공백을 보완하였다. 첫째, 구간에서 정의된 소볼레프 생성원이 모호하게 사용되고 있는 것을 개선하기 위해, 증명 전반에서 L^p 생성원을 적극적으로 사용하였다. 둘째, L^p 노름의 프레셰 도함수에 대한 완전한 증명을 제시하였다. 셋째, two-point inequality를 n 차원으로 확장하는 과정에서 사용된 작용소의 구체적인 구성 방식을 명시하여 중심 극한 정리가 사용되는 과정을 명료화하였다. 이러한 논리적 정교화는 로그 소볼레프 부등식의 수학적 기초를 공고히 하고 비유계 작용소론을 통해 Gross의 증명을 깊이 있게 이해하기 위한 엄밀한 지침을 제공한다.

목차 (Table of Contents)

• 1. Introduction 1
• 2 Unbounded Operators 3
• 2.1 Closed and Closable Operators 3
• 2.2 The Adjoint of an Operator 7
• 2.3 Symmetric and Self-adjoint Operators 9
• 2.4 Spectrum of a Self-adjoint Operator 12
• 2.5 Square Root of a Positive Self-adjoint Operator 15
• 2.6 Tensor Products of Operators 21
• 2.7 Unbounded Sesquilinear Forms 24
• 3 Differentiation and Integrals in Banach Spaces 27
• 3.1 Differentiation 27
• 3.2 Bochner Integral 32
• 4 Strongly Continuous Semigroups 38
• 4.1 Uniformly Continuous Semigroups 38
• 4.2 Strongly Continuous Semigroups 41
• 4.3 The Hille-Yosida Theorem 45
• 5. Logarithmic Sobolev Inequalities 49
• 5.1 Sobolev Generator 49
• 5.2 Logarithmic Sobolev Inequality 59