半有界算子

1 基本概念

1.1 定义

半有界算子通常指定义在希尔伯特空间上的某类线性算子，其二次型在某个实数下方存在统一下界。也就是说，存在实数 \(m\)，使得对算子的定义域中适当的向量 \(x\)，都有 \[

\langle Ax, x\rangle \ge m\|x\|^2.

\] 当这一条件成立时，算子被称为在下方半有界。若下界可取为 0，则常称为正半有界或非负。

在实际研究中，半有界性既可以针对自伴算子讨论，也可以针对对称算子或其对应的二次型来表述。由于它保证了“能量”不会无限向负方向坍塌，因此在谱理论和变分分析中十分重要。

1.2 半有界下界与下界常数

半有界性中的那个实数下界，通常称为下界常数。若算子 \(A\) 满足 \[

\langle Ax, x\rangle \ge m\|x\|^2,

\] 则 \(m\) 就是一个下界。所有可行下界构成的集合一般是一个区间，最大下界称为最佳下界或下确界下界。

下界常数并不一定唯一地以“某个固定数字”出现，因为任何更小的实数仍然成立。但最佳下界在分析谱分布、估计稳定性以及构造扩张时具有实际意义。若算子的谱整体位于 \([m,\infty)\)，那么这个 \(m\) 也可视为谱意义上的下界。

1.3 相关术语辨析

半有界算子与若干常见术语关系密切，但并不完全等同。实际使用中，需要区分“算子本身的性质”与“由其诱导的形式或二次型的性质”。

1.3.1 自伴算子

自伴算子满足 \(A=A^*\)，即它与自身的伴随算子一致。这类算子在希尔伯特空间中具有良好的谱理论，且其谱为实数。半有界算子常在自伴框架下讨论，因为此时二次型、谱下界和函数演算都更为清晰。

1.3.2 对称算子

对称算子满足 \(\langle Ax,y\rangle=\langle x,Ay\rangle\) 对定义域内向量成立。它是自伴算子的前提之一，但一般未必自伴。半有界性可以先在对称算子层面提出，再通过适当扩张得到自伴实现。

1.3.3 半正定与半有界

半正定通常强调下界为 0，即 \(\langle Ax,x\rangle\ge 0\)。半有界则更宽泛，允许下界为任意实数。二者关系类似于“非负”与“有下界”之间的区别：前者是后者的特例。

1.4 典型例子

半有界算子并不限于抽象构造，在许多经典算子中都自然出现。

1.4.1 有界自伴算子

若一个有界自伴算子 \(A\) 的谱包含于某个有限下界以上，例如 \(\sigma(A)\subseteq [m,M]\)，则它自动是半有界的。有界性使其下界估计通常较容易验证，常见于有限维矩阵和压缩算子模型。

1.4.2 拉普拉斯算子

在适当定义域和边界条件下，拉普拉斯算子常表现为非负或半有界算子。它对应扩散、势能与平滑化机制，是椭圆型理论中的基础例子。由于其二次型与梯度平方积分直接相关，半有界性往往来自积分分部公式。

1.4.3 Sturm–Liouville 算子

Sturm–Liouville 算子通常出现在一维微分方程与特征值问题中。在合适系数条件和边界条件下，它们的二次型可获得下界，因此常属于半有界算子。该类算子在正交函数展开和本征值分析中占有重要位置。

2 数学表述

2.1 二次型定义法

半有界性最常见的表述方式之一，是通过二次型来定义。设 \(q[x]\) 是定义在某个线性子空间上的二次型，若存在常数 \(m\) 使 \[

q[x]\ge m\|x\|^2,

\] 则称该二次型半有界。对应的算子若能由该二次型表示，也可称为半有界。

2.1.1 形式下界

在形式语言中，半有界常表现为“形式下界”存在。即便二次型不一定来自一个处处定义的算子，只要其值不低于某个线性控制项，就可视作在下方受约束。这种处理方式特别适合先讨论微分表达式，再逐步建立算子实现。

2.1.2 紧致支撑函数上的表示

对于微分算子，常先在紧致支撑光滑函数上定义二次型。例如积分表达式只对测试函数先行成立，再通过闭包或完备化延拓到更大的定义域。此时若能证明该形式在测试函数上有统一下界，通常就能进一步研究其闭包与对应自伴算子。

2.2 算子定义法

半有界性也可直接表述为算子不低于某个常数。这种方式更接近谱理论与算子比较。

2.2.1 作为自伴算子的下界性质

若自伴算子 \(A\) 满足 \(\langle Ax,x\rangle\ge m\|x\|^2\)，则可称其半有界。由于自伴性保证谱是实的，这一定义可自然转化为谱下界条件，因此便于使用谱测度、函数演算等工具。

2.2.2 作为对称算子的半有界性

对称算子虽然不一定自伴，但若其在定义域上具有统一下界，也可称其半有界。此时往往进一步关心它是否存在半有界自伴扩张，以及该扩张是否唯一。很多微分算子的标准起点就是这种对称且半有界的形式。

2.3 等价刻画

半有界性可由多个角度描述，这些刻画在适当条件下彼此等价。

2.3.1 谱下界刻画

对自伴算子而言，半有界性等价于谱集有下界，即谱不向负无穷延伸。若存在实数 \(m\) 使 \(\sigma(A)\subseteq [m,\infty)\)，则算子半有界。反过来，若二次型有统一下界，通常也能推出谱下界。

2.3.2 逼近序列刻画

若一个算子或二次型可以由一列良好行为的近似对象逼近，且这些近似对象的下界统一受控，则极限对象常继承半有界性。这一观点在构造闭包、数值近似和变分收敛中很常见。

2.3.3 变分刻画

从变分角度看，半有界性意味着能量泛函不会在可行集上趋于负无穷。于是最低能量态或极小化问题才有意义。许多本征值问题正是通过这种下界结构建立的。

3 性质

3.1 谱性质

半有界算子的谱性质是其理论核心之一。

3.1.1 谱下界

若算子半有界，则其谱存在下界。对于自伴算子，这意味着谱集中于某个半无限区间之内。该性质不仅限制负谱的延伸，也为函数演算和热核估计提供基础。

3.1.2 本征值分布

在紧致性条件或适当边界条件下，半有界算子的低端谱常表现出离散化趋势。本征值通常按从小到大排列，并可借助变分原理估计。下界存在使得“最低本征值”及其重数具有良好定义。

3.2 闭性与闭包

半有界性常与闭性问题同时出现，因为许多自然算子最初并不处处定义。

3.2.1 闭二次型

若半有界二次型在某个自然范数下是闭的，则它对应的算子结构通常更完善。闭二次型可以通过完备化得到，避免定义域不全带来的技术障碍。许多重要扩张都建立在闭形式之上。

3.2.2 算子闭包

对非闭算子而言，闭包可能保留半有界性质，前提是原算子的下界控制在极限过程中未丢失。算子闭包使得定义域扩大到极限点，从而获得更稳定的分析框架。

3.3 稳定性

半有界性对若干基本变换具有较好的稳定性。

3.3.1 平移不变性

若 \(A\) 半有界，则 \(A+cI\) 仍半有界，只是下界随常数 \(c\) 平移。这说明半有界性本质上是相对于谱位置的性质，而不是依赖某个绝对零点。

3.3.2 有界扰动下的保持性

当算子加上一个有界自伴扰动时，半有界性通常可以保留，只是下界可能改变。若扰动足够小，还可利用相对有界性给出更精确的下界估计。

3.3.3 共轭变换下的保持性

在适当的酉变换下，算子的谱结构与二次型结构会保持不变，因此半有界性也随之保持。也就是说，算子在等价坐标变换中不会失去其下界特征。

4 扩张理论

4.1 Friedrichs 扩张

Friedrichs 扩张是半有界对称算子最重要的自伴扩张之一。

4.1.1 定义与构造

若一个对称算子或半有界二次型具有下界，则可先将其形式闭包化，再由表示定理构造出一个自伴算子，这一过程得到的即为 Friedrichs 扩张。它保留原始形式的下界结构，并具有良好的最小性特征。

4.1.2 唯一性

在给定的半有界形式框架下，Friedrichs 扩张通常是唯一的。其唯一性来自闭形式与表示定理的对应关系，因此在处理边界条件不完全确定的问题时，它提供了标准选取。

4.2 自伴扩张

半有界对称算子往往存在多个自伴扩张，而这些扩张之间的差异体现了边界条件或极限行为的不同。

4.2.1 缺陷指数与扩张空间

缺陷指数描述对称算子偏离自伴性的程度。若缺陷指数非零，则可能存在不止一个自伴扩张。扩张空间的结构与缺陷子空间有关，也决定了哪些扩张还能保持半有界性。

4.2.2 极小扩张与极大扩张

在所有自伴扩张中，常可比较其二次型下界，进而区分出较“保守”的极小扩张与较“宽松”的极大扩张。Friedrichs 扩张通常对应一种极小的半有界自伴实现，而其他扩张可能具有不同的边界行为。

4.3 关系与比较

4.3.1 与最小算子的关系

最小算子通常由紧致支撑测试函数上的微分表达式诱导而来，定义域较小，常是对称且半有界的起点。Friedrichs 扩张往往以它为基础，从而得到自然的自伴实现。

4.3.2 与最大算子的关系

最大算子则在较宽泛的弱意义下定义，定义域更大。它和最小算子形成一对典型对象：前者强调最小限制，后者强调最一般解。半有界性在二者之间起到连接和筛选作用。

5 二次型方法

5.1 半有界二次型

5.1.1 定义域

半有界二次型的定义域通常是希尔伯特空间中的一个稠密子空间。定义域的选择至关重要，因为同一个表达式在不同域上可能呈现不同的闭性与下界性质。

5.1.2 闭包与稠密性

若一个半有界二次型在其自然范数下可闭包化，则闭包形式往往对应一个唯一的自伴半有界算子。稠密性保证该形式能够真正反映整个空间的结构，而不是局限在过小的子集上。

5.2 表示定理

二次型方法的核心是把形式与算子对应起来。

5.2.1 第一表示定理

第一表示定理说明：适当的闭、半有界二次型可以唯一对应一个自伴半有界算子，且该算子的作用与形式值相一致。它是从能量泛函导出算子的重要桥梁。

5.2.2 第二表示定理

第二表示定理进一步描述算子域与形式域之间的关系，特别是算子作用域在形式框架中的嵌入方式。它有助于理解算子的正则性、边界条件以及更精细的域结构。

5.3 应用

5.3.1 能量估计

半有界二次型能直接给出能量下界，因此可用于稳定性估计、误差控制和解的先验界。对于偏微分方程，这往往是证明存在性与正则性的第一步。

5.3.2 变分原理

在变分法中，许多问题等价于在某个函数空间中极小化一个半有界泛函。下界存在使极小值问题具备可解性，并可进一步导出 Euler–Lagrange 方程或本征值方程。

6 例子与应用

6.1 微分算子中的例子

6.1.1 椭圆型算子

椭圆型算子在适当边界条件下往往是半有界的。其二次型常由导数项和势能项组成，只要主部满足椭圆性并且低阶项受控，就能获得统一下界。

6.1.2 Schrödinger 算子

Schrödinger 算子一般形如 \(-\Delta + V\)。若势函数 \(V\) 在下方有界，或相对于拉普拉斯项足够小，则整个算子通常半有界。它是量子体系中最典型的半有界算子之一。

6.2 数学物理中的应用

6.2.1 量子力学哈密顿量

哈密顿量常被建模为自伴半有界算子，因为物理能量不应无限下降。半有界性保证基态能量的存在性讨论有意义，也使谱分解与演化问题能够系统处理。

6.2.2 振动与波动问题

在振动理论中，半有界算子对应稳定的振型和频率分布。对于波动方程，若空间算子具有半有界性，常可推导出能量守恒或能量衰减的基本估计。

6.3 泛函分析中的应用

6.3.1 半群理论

半有界自伴算子常与解析半群或收缩半群的生成理论相关。通过平移算子使其非负后，可直接应用半群构造传播过程或热方程解算子。

6.3.2 紧致性与逼近方法

在近似理论中，半有界性为紧致性分析提供基准，便于证明极限对象存在。无论是 Galerkin 方法还是谱截断方法，下界控制都能防止数值逼近出现不稳定发散。

7 相关概念

7.1 有界算子

有界算子是指算子范数有限的线性算子。它们总是处处定义，分析上较为简单。半有界算子则可不有界，但在下界方面仍保持控制，因此在谱意义上更接近“能量稳定”对象。

7.2 正算子

正算子通常指满足 \(\langle Ax,x\rangle\ge 0\) 的算子，是半有界算子的特例。若将半有界算子平移一个适当常数，它往往可转化为正算子来处理。

7.3 自伴算子谱定理

自伴算子谱定理为半有界算子的深入研究提供基础工具。借助谱测度，可以精确描述其谱分布、函数演算以及下界性质，从而把抽象算子问题转化为可处理的积分表示。

7.4 半群生成子

半群生成子描述随时间演化的线性算子。半有界性常与这类生成子紧密相关，因为通过平移可将其转化为满足收缩条件的生成元，进而研究热传导、扩散与衰减过程。

7.5 形式算子与算子矩阵

形式算子强调由二次型或双线性型所编码的对象，而算子矩阵则用于处理耦合系统。半有界性在这两类结构中都很常见，尤其适合分析耦合微分方程、块算子以及稳定性条件。