1 基本概念
1.1 定义
Friedrichs 扩张是针对一类半有界、稠密定义的对称算子所构造的标准自伴扩张。它的核心思想是：先从算子所对应的二次型出发，经过闭包与完备化过程，得到一个与原算子相容的闭半正定二次型，再由此唯一确定一个自伴算子。这个自伴算子便称为原算子的 Friedrichs 扩张。
在通常情形下，若原算子在某个下界以上有统一控制，则其 Friedrichs 扩张保留这一下界性质，并且在所有保持原始二次型信息的自伴扩张中具有最典型的地位。
1.2 适用对象
1.2.1 稠密定义算子
Friedrichs 扩张主要适用于定义域在希尔伯特空间中稠密的算子。稠密性保证了算子及其伴随算子能够在整体空间中进行分析，也使二次型方法能够顺利展开。
1.2.2 对称算子
该扩张理论通常以对称算子为起点。对称性意味着算子在定义域内满足内积对称关系，这是构造自伴扩张的基础条件之一。若缺少对称性，便难以直接谈论标准意义下的 Friedrichs 扩张。
1.2.3 半有界算子
半有界性指算子在谱意义上存在统一下界。对于这类算子，Friedrichs 扩张尤其自然，因为它不仅延续了原算子的下界结构，还能把原本可能不完备的定义域补充为适合分析的闭结构。
1.3 与自伴扩张的关系
1.3.1 自伴性的必要性
在算子理论与量子力学中，自伴性通常比单纯的对称性更重要。自伴算子具有实谱、良好的函数演算以及完备的谱分解，因此能为微分方程和物理模型提供稳定框架。Friedrichs 扩张正是为了从一个较弱的对称算子出发，获得这种更强的性质。
1.3.2 扩张的唯一性特征
在满足适当半有界条件时，Friedrichs 扩张由原算子的二次型唯一决定。换言之，它不是任意挑选出的自伴扩张，而是由“最自然的闭包过程”所固定下来的标准对象。这种唯一性也是它在众多扩张中最受重视的原因之一。
2 二次型方法
2.1 算子到二次型的构造
二次型方法的出发点，是把算子 \(A\) 转化为一个形式 \(q[u,v]\) 或 \(q[u]\)。对于定义域中的向量 \(u\)，常通过内积 \(\langle Au,u\rangle\) 来记录算子的能量信息。这样得到的二次型能够比算子本身更早显示出下界、半正定性以及可闭性等特征。
这种方法的优势在于，它允许在算子域较小、甚至不适于直接操作时，先在形式层面进行分析，再回到算子层面恢复结构。
2.2 二次型的闭包
2.2.1 闭半正定二次型
若一个二次型在某种自然范数下是可闭的，并且满足非负或半有界条件，则称其为闭半正定二次型。闭性意味着可以把定义域中的柯西序列极限保留下来，不会因极限过程而丢失能量信息。
2.2.2 形式域与算子域
二次型的形式域通常比原算子定义域更大。原算子只在较小的稠密子空间上作用，而闭包后的形式域则可容纳更多极限对象。由形式域恢复出的自伴算子，其算子域一般又是形式域中的更精细子集。
2.3 Friedrichs 扩张的二次型刻画
2.3.1 由闭二次型确定算子
在闭半正定二次型与自伴算子之间存在对应关系。给定闭二次型后，可唯一找到一个自伴算子，使该算子的二次型与原形式一致。Friedrichs 扩张正是通过这一对应关系被定义出来的。
2.3.2 最小上界性质
Friedrichs 扩张常被理解为在一类自伴扩张中具有“最小”特征的对象。这里的“最小”通常不是指算子逐点意义上的大小，而是指其对应二次型在保留原有约束的前提下，具有最紧致、最不松散的闭包方式。
3 构造与性质
3.1 构造步骤
3.1.1 预二次型的定义
首先从原始对称算子出发，在其定义域上定义一个预二次型。该形式记录了算子的能量行为，并为后续的闭包过程提供基础。
3.1.2 完备化过程
接着引入适当的范数，将原定义域视为一个预希尔伯特空间，再对其进行完备化。这样得到的闭空间即为二次型的闭包所在环境，能够容纳原来定义域之外的极限元素。
3.1.3 对应自伴算子的恢复
在闭二次型建立之后，根据表示定理恢复出唯一的自伴算子。这个算子保留了原始形式的结构信息，同时拥有更好的分析性质，便是 Friedrichs 扩张。
3.2 主要性质
3.2.1 自伴性
Friedrichs 扩张的首要性质是自伴性。自伴意味着算子与其伴随完全一致，从而可以使用成熟的谱理论工具，并保证相关演化问题具有良好性质。
3.2.2 下界保持
若原算子具有某个统一下界，则 Friedrichs 扩张会保持这一下界。这个性质使得能量估计、稳定性分析以及最小值问题的讨论都更加自然。
3.2.3 谱性质
Friedrichs 扩张往往在谱结构上继承原算子的主要特征，并且由于自伴性，谱必为实数集合。对于许多微分算子而言，它还会决定边界条件对离散谱、连续谱分布的影响。
3.3 与其他扩张的比较
3.3.1 与 Krein 扩张的关系
Krein 扩张也是半有界对称算子的经典自伴扩张之一。与 Friedrichs 扩张相比，Krein 扩张通常在某种序关系下呈现相反的极端特征：前者更偏向“最紧”的闭包，而后者则常被视为“最宽”的同类扩张。二者构成了研究扩张问题的重要边界。
3.3.2 与其他自伴扩张的差异
一般的自伴扩张可能依赖额外边界条件或人为选择，因而不一定具有统一的形式特征。Friedrichs 扩张则以二次型闭包为核心，构造路径更标准，也更适合作为比较基准。
4 典型例子
4.1 有界区间上的微分算子
4.1.1 Sturm-Liouville 型算子
在有界区间上，Sturm-Liouville 型微分算子是 Friedrichs 扩张最常见的例子之一。若原算子先在光滑且具有紧支撑的函数上定义，则其 Friedrichs 扩张往往对应某种自然的边界约束形式。
4.1.2 边界条件的选择
在该情形下，Friedrichs 扩张常导向“最保守”的边界条件，例如使函数在端点处满足适当消失或能量有限的要求。这样的选择保证了二次型闭包与物理直觉相一致。
4.2 拉普拉斯算子
4.2.1 Dirichlet 型 Friedrichs 扩张
拉普拉斯算子的 Friedrichs 扩张通常与 Dirichlet 边界条件对应。也就是说，在区域边界上函数被限制为某种消失条件，从而形成标准的 Dirichlet Laplacian。
4.2.2 几何与物理解释
从几何上看，这相当于研究一个“固定边界”的区域；从物理上看，它可视为膜振动或势阱问题中最基本的能量模型。Friedrichs 扩张在这里扮演着把直观边界约束转化为严格算子形式的角色。
4.3 矩阵与有限维情形
4.3.1 半有界对称矩阵
在有限维空间中，半有界对称矩阵也可视作 Friedrichs 扩张思想的简单体现。虽然有限维情形下自伴化往往较为直接，但二次型观点仍能清楚展示其下界和正定结构。
4.3.2 扩张的显式表示
有限维里，自伴扩张通常可通过矩阵补全或正交对角化直接写出。此时 Friedrichs 扩张往往与原矩阵在其定义域上的自然延拓一致，因此可作为理解无限维理论的直观参照。
5 理论背景
5.1 泛函分析基础
5.1.1 希尔伯特空间
Friedrichs 扩张建立在希尔伯特空间框架之上。内积、完备性与正交投影等工具，为理解对称算子、自伴算子和二次型提供了统一语言。
5.1.2 稠密子空间
稠密子空间的重要性在于，它允许从局部定义出发，通过极限过程延伸到整个空间。很多算子先只在稠密子空间上可定义，随后再借助扩张理论获得完整表达。
5.2 算子理论基础
5.2.1 对称算子与自伴算子
对称算子是自伴算子的前身，但二者并不等同。对称只说明内积关系对称，自伴则要求定义域与伴随域完全吻合。Friedrichs 扩张正是弥合这一差距的重要手段。
5.2.2 概率与谱定理的联系
这里的“概率”更多指谱测度所给出的分解方式。自伴算子可通过谱定理表示为积分形式，使得函数演算、半群理论和演化方程都能以统一方式处理。
5.3 二次型与变分方法
5.3.1 变分原理
二次型方法与变分原理关系密切。许多极值问题都可转化为在某个函数空间中寻找能量泛函的极小值，而 Friedrichs 扩张正是这一思路在算子理论中的典型体现。
5.3.2 能量泛函观点
从能量角度看，二次型可视为系统状态的“代价函数”。闭包过程相当于把可接受状态集合补全，使得极小化问题在更自然的空间中成立。
6 应用领域
6.1 偏微分方程
6.1.1 边值问题
在偏微分方程中，Friedrichs 扩张常用于将形式上的微分表达式转换为严格的算子问题。边值条件因此不再只是附加说明，而成为定义自伴实现的核心组成部分。
6.1.2 弱解理论
弱解理论依赖于积分意义下的方程表述。通过 Friedrichs 扩张，可将微分方程的弱形式与自伴算子联系起来，从而更容易证明存在性、唯一性与正则性结果。
6.2 量子力学
6.2.1 哈密顿算子的自伴化
在量子力学中，哈密顿算子必须自伴，才能保证时间演化与可观测量的数学一致性。对于初始定义不充分的哈密顿量，Friedrichs 扩张提供了一条标准自伴化路径。
6.2.2 基态能量问题
基态能量通常与某个二次型的最小值密切相关。由于 Friedrichs 扩张保留下界并强化闭性，它在研究基态是否存在、能量是否可达方面尤其有用。
6.3 谱理论
6.3.1 离散谱与连续谱
Friedrichs 扩张改变算子的定义域结构，从而也会影响谱的细致分布。对于某些算子，它能明确边界条件对离散谱点与连续谱区间的作用。
6.3.2 下界估计
谱下界估计是稳定性分析中的重要环节。借助 Friedrichs 扩张，可以将原算子的下界信息以更精确的方式延续到自伴情形，并为进一步的谱估计提供基础。
7 相关定理与结果
7.1 Friedrichs 扩张定理
Friedrichs 扩张定理指出：每一个适当半有界、稠密定义的对称算子都存在唯一的 Friedrichs 自伴扩张。该定理是整个理论的核心结论，也是二次型方法成立的关键依据。
7.2 存在唯一性结论
在满足半有界与稠密定义等条件时，扩张的存在性保证了问题不是空的，而唯一性则说明该构造具有规范性。二者共同确保 Friedrichs 扩张成为可重复、可验证的标准对象。
7.3 紧性与半有界条件
7.3.1 紧嵌入条件
在某些应用中，形式域嵌入更小空间的紧性会影响谱的离散性与特征值分布。此时 Friedrichs 扩张常与紧嵌入技术结合，给出更精细的谱结论。
7.3.2 谱下确界的控制
半有界条件的一个直接作用，是控制谱的下确界。通过这种控制，能量不会向负无穷方向失控，从而使扩张后的算子在分析上更稳健。
8 历史与命名
8.1 Friedrichs 的贡献
Friedrichs 扩张得名于数学家 Kurt Friedrichs。他在算子理论、偏微分方程与变分方法方面的工作，为这一扩张理论奠定了基础。相关思想后来逐步发展为现代泛函分析中的标准工具。
8.2 术语的形成
“Friedrichs extension”这一术语强调的是该构造与 Friedrichs 的经典工作密切相关。随着理论成熟，这一名称被广泛沿用，并成为半有界对称算子自伴扩张中的固定术语。
8.3 在现代数学中的地位
在现代数学中，Friedrichs 扩张已成为连接算子理论、偏微分方程与数学物理的重要桥梁。它不仅提供了规范的自伴化方法，也为处理边界条件、能量泛函和谱问题建立了统一框架。