第一章电磁数值方法的数学基础.docVIP

第一章 电磁数值方法基础 §1.1. 线性空间和线性算子 抽象空间是现代数学分析中的重要概念，是指赋予了一定数学结构的集合。在电磁场数值分析中，最令人感兴趣的是两大类集合：数的集合和函数的集合。线性空间是赋予了代数结构的集合，可在其中进行加法和数乘运算。赋予线性空间以距离、范数和内积等结构，就分别成为度量空间、赋范空间和内积空间。希尔伯特空间是一种完备的内积空间。 线形空间、度量空间和赋范空间 线性空间是讨论各种问题时所遇到的最基本的抽象数学空间，是n维线性空间的推广。作为一般的抽象线性空间，线性空间具有更广泛的意义。 定义（线性空间）：设为一非空集合，为数域（实数域为，复数域为）。通过规定映射： （1-1） 定义中两元素的加法运算以及数与中元素间的数乘运算，且分别满足以下条件： 加法运算满足 对所有，有； ② 对所有，有； ③ 存在，使得对所有的有，称为零元素； ④ 对所有，存在，使得，称为的逆元素。 乘法运算满足 ① 对所有，，有； ② 对所有，，有； ③ 对所有，，有； ④ 对所有，有，称为单位元素。 这时，称为数域上的线性空间。 定义（度量空间）：所谓度量空间是指在其中定义了距离（或度量）这种结构的集合。是定义在上且对所有满足以下公理的函数： （M1）； （M2），当且仅当； （M3）； （M4）。 在线性空间中，定义距离 （1-2） 其中，为中的任意矢量，就称为一个度量空间。 定义（赋范空间）：设是数域上的线性空间。在上定义映射 （1-3） 使每个对应一个实数。对任意和，满足 （N1）； （N2），仅当； （N3）； （N4）， 则称为的范数，称赋范线性空间，简称赋范空间。 内积空间和希尔伯特空间 内积空间是欧氏空间的自然推广，并保留了欧式空间的许多重要性质，其核心是正交的概念。 定义（内积空间）：设是数域上的线性空间，如果映射对任意和满足 （I1）； （I2）； （I3）； （I4），当且仅当，， 则称为的内积。定义了内积的线性空间称为内积空间。 定义（希尔伯特空间）：若在由内积导出的范数内积空间下是完备的赋范空间，就称为完备的内积空间，又称为希尔伯特空间。 内积空间中的正交性和正交基 欧式空间和中矢量间的正交关系以及矢量的分解、投影可以被推广，从而可以讨论抽象内积空间中元素间的正交性，并对其进行分解和投影。在矢量代数中，两个非零矢量正交的充分必要条件是其点乘为零。将这一概念推广到一般的内积空间中，就有以下关于正交性的定义。 定义（正交性）：设为内积空间，，， （1）若，就称为与正交，记为； （2）若对都有，则称与正交，记为； （3） 若对和对都有，就称与正交，记为； （4）设为线性空间，和是的两个子空间，且。若对每个，均可唯一地表示成 则称为和的正交和，记为。 定义（标准正交集）：设为一内积空间，。若中的所有元素间都是两两正交的，就称为正交集。若中每个元素的范数都是1，对所有有 （1-4） 则称为标准正交集。 线形算子、逆算子、自伴算子、正定算子 定义（线性算子）：设，为同一数域上的两个线性空间，与之间的映射也称为算子。如果算子使得 （1）的定义域是的线性子空间，的值域包含在中，即； （2）对所有，任意，有 ，（1-5） 则称为线性算子。这种线性关系可以统一地表示为 （1-6） 举例： 1）积分算子 （1-7） 其中 2）微分算子 ，（1-8） 定义（逆算子）：设为线性空间，为线性算子。如果对任意有 则 （1-9） 则存在逆映射，并定义 ，或，，（1-10） 为的逆算子，记为 定义（自伴算子）：设为希尔伯特空间，为有界线性算子。若的希尔伯特伴随算子满足，即满足 ， ，（1-11） 则称为自伴算子或自共轭算子。 为自伴算子的充分必要条件是：对任意为实数。如果和为自伴算子，且，则和的乘积是自伴的。 如果用矩阵来表示算子，假设存在一组标准正交基，满足： （1-12） 于是对于算子方程 （1-13） （1-14） （1-15） 代入到算子方程中可得： （1-16） 因此算子可以用矩阵来表示。可以证明： 当为对阵矩阵时，为自伴算子，如果为复数情况，则当为厄密特矩阵时，为自伴算子。 定义（正定算子）：设是希尔伯特空间上的正算子。若 ，（1-17） 则称为上的正定算子。 §1.2. 算子方程 在电磁场数值问题中，常用的算子方程主要包括两类： 1），其中，给定（决定论问题）； 2），其中为一标量（本征值问题）。 通常所采用的求解方式也有两种： 求逆算子 （1-18） 例：均匀空间，令 由电磁场理论的知识可知，，即。 用本征矢量求解 根据（1-13）至（1-16）的推倒，对于算子方程 将，同样利用基函数来展开，对于 可以写成如下形式： （1-19） 代入式（1-16）可以求得： ，，…（1-19） 性质：如果算子为