习题22变分法
泛函分析试卷
泛函分析期末考试试卷（总分100分） 一、选择题（每个3分，共15分） 1、设X 是赋范线性空间，X y x ∈,，T 是X 到X 中的压缩映射，则下列哪个式子成立（）. A ．10<<-≤-αα， y x Ty Tx B .1≥-≤-αα， y x Ty Tx C.10<<-≥-αα， y x Ty Tx D.1≥-≥-αα， y x Ty Tx 2、设X 是线性空间，X y x ∈,，实数x 称为x 的范数,下列哪个条件不是应满足的条件：（）. A. 等价于0且,0==≥x x x C.y x y x +≤+ 3 ? 5、设(1)p l p <<+∞的共轭空间为q l ，则有1 1p q +的值为（）. A.1- B. 12C.1D.12 - 二、填空题（每个3分，共15分） 1、度量空间中的每一个收敛点列都是（）。 2、任何赋范线性空间的共轭空间是（）。 3、1l 的共轭空间是（）。 4、设X 按内积空间
当且仅当x 与y 线性相关时不等式等号成立。 5、设T 为复希尔伯特空间X 上有界线性算子，则T 为自伴算子的充要条件是（）。 三、判断题（每个3分，共15分） 1、设X 是线性赋范空间，X 中的单位球是列紧集，则X 必为有限维。() 2、?距离空间中的列紧集都是可分的。() 3、?若范数满足平行四边形法则，范数可以诱导内积。() 4、?任何一个Hilbert 空间都有正交基。() 5、设X 是线性赋范空间，T 是T 有逆算子。() 四、计算题（10分） 叙述1l 空间的定义，并求1l 12,证 明3i X 与n R 按范数1 ||||||n i i x ξ==∑组成的赋范线性空 间Y 共轭。 4、设X 是可分Banach 空间，M 是X '中的有界集，证明M 中每个点列含有 一个弱*收敛子列。 5、设H 是内积空间，M 为H 的子集，证明M 在H 中的正交补是H 中的闭线性子空间。 泛函分析期末考试试卷答案 一、选择题 1、A 2、D 3、B 4、D 5、D 二、填空题 1、柯西点列 2、巴拿赫空间 3、∞ l 4、|
(完整版)差分方程模型(讲义)
差分方程模型 一. 引言 数学模型按照离散的方法和连续的方法，可以分为离散模型和连续模型。 1. 确定性连续模型 1) 微分法建模(静态优化模型)，如森林救火模型、血管分支模型、最优价格模型。 2) 微分方程建模(动态模型)，如传染病模型、人口控制与预测模型、经济增长模型。 3) 稳定性方法建模(平衡与稳定状态模型)，如军备竞赛模型、种群的互相竞争模型、种群的互相依存模型、种群弱肉强食模型。 4) 变分法建模（动态优化模型），如生产计划的制定模型、国民收入的增长模型、渔业资源的开发模型。 2. 确定性离散模型 1) 逻辑方法建模，如效益的合理分配模型、价格的指数模型。 2) 层次分析法建模，如旅游景点的选择模型、科研成果的综合评价模型。 3）图的方法建模，如循环比赛的名次模型、红绿灯的调节模型、化学制品的存放模型。 4）差分方程建模，如市场经济中的蛛网模型、交通网络控制模型、借贷模型、养老基金设置模型、人口的预测与控制模型、生物种群的数量模型。 随着科学技术的发展，人们将愈来愈多的遇到离散动态系统的问题，差分方程就是建立离散动态系统数学模型的有效方法。 在一般情况下，动态连续模型用微分方程方法建立，与此相适应，当时间变量离散化以后，可以用差分方程建立动态离散模型。有些实际问题既可以建立连续模型，又可建立离散模型，究竟采用那种模型应视建模的目的而定。例如，人口模型既可建立连续模型(其中有马尔萨斯模型Malthus、洛杰斯蒂克Logistic模型)，又可建立人口差分方程模型。这里讲讲差分方程在建立离散动态系统数学模型的的具体应用。
二. 差分方程简介 在实际中，许多问题所研究的变量都是离散的形式，所建立的数学模型也是离散的，譬如，像政治、经济和社会等领域中的实际问题。有些时候，即使所建立的数学模型是连续形式，例如像常见的微分方程模型、积分方程模型等。但是，往往都需要用计算机求数值解。这就需要将连续变量在一定的条件下进行离散化，从而将连续型模型转化为离散型模型。因此，最后都归结为求解离散形式的差分方程解的问题。关于差分方程理论和求解方法在数学建模和解决实际问题的过程中起着重要作用。 1. 差分方程的定义 给定一个数列{}n x , 把数列中的前1+n 项i x ),,2,1,0(n i Λ=关联起来得到的方程，则称这个方程为差分方程。 2. 常系数线性齐次差分方程 常系数线性齐次差分方程的一般形式为 02211=++++---k n k n n n x a x a x a x Λ， (1) 或者表示为 0),,,,(1=++k n n n x x x n F Λ (1’) 其中k 为差分方程的阶数，其中k a a a ,,,21Λ为差分方程的系数，且0≠k a )(n k ≤。 对应的代数方程 02211=++++--k k k k a a a Λλλλ (2) 称为差分方程(1)的对应的特征方程。(2)式中的k 个根k λλλ,,,21Λ称为(1)式的特征根。 2.1 差分方程的解 常系数线性齐次差分方程的解主要是由相应的特征根的不同情况有不同的形式。下面分别就特征根为单根、重根和复根的情况给出方程解的形式。 2.1.1 特征根为单根(互不相同的根) 设差分方程(1)有k 个单特征根(互不相同的根)k λλλ,,,21Λ，则
(完整版)泛函分析复习与总结,推荐文档
《泛函分析》复习与总结 (2014年6月26日星期四 10:20--- 11:50) 第一部分 空间及其性质 泛函分析的主要内容分为空间和算子两大部分. 空间包括泛函 分析所学过的各种抽象空间, 函数空间, 向量空间等, 也包括空间的 性质, 例如完备性, 紧性, 线性性质, 空间中集合的各种性质等等。 以下几点是对第一部分内容的归纳和总结。 一．空间 （1）距离空间 （集合+距离）！验证距离的三个条件：称为是距离空间，如果对于 (,)X ρ,,x y z X ∈(i) 【非负性】，并且当且仅当 (,)0x y ρ≥(,)0x y ρ=【正定性】； x y =(ii) 【对称性】； (,)(,)x y y x ρρ=(iii) 【三角不等式】。 (,)(,)(,)x y x y y z ρρρ≤+距离空间的典型代表：空间、空间、所有的赋范线性空间、 s S 所有的内积空间。 （2）赋范线性空间 （线性空间 + 范数） ！验证范数的三个条件：称为是赋范线性空间，如果 (,||||)X ?是数域（或）上的线性空间，对于和 X K =?K =￡a K ∈，成立 ,x y X ∈(i) 【非负性】，并且当且仅当【正定性】 ||||0x ≥||||0x =0x =； (ii) 【齐次性】； ||||||||||ax a x =?
(iii) 【三角不等式】。 ||||||||||||x y x y +≤+赋范线性空间的典型代表：空间（）、空间（n ?1,2,3,n =L n ￡） 、空间（）、空间（1,2,3,n =L p l 1p ≤≤∞([,])p L a b ）、空间、空间、Banach 空间、所有的1p ≤≤∞[,]C a b [,]k C a b 内积空间（范数是由内积导出的范数）。 （3）内积空间 （线性空间 + 内积） ！验证内积的四个条件：称为是内积空间，如果 (,(,))X ??是数域（或）上的线性空间，对于和 X K =?K =￡a K ∈，成立 ,,x y z X ∈(i) 【非负性】，并且当且仅当【正 (,)0x x ≥(,)0x x =0x =定性】； (ii) 【第一变元可加性】； (,)(,)(,)x y z x z x z +=+(iii) 【第一变元齐次性】； (,)(,)ax z a x z =(iv) 【共轭对称性】。 (,)(,)x z z x =内积空间的典型代表：空间（）、空间（n ?1,2,3,n =L n ￡） 、空间、空间。1,2,3,n =L 2l 2([,])L a b 注. 1) 从概念的外延来理解, 有如下的关系: {内积空间}{赋范线性空间}{距离空间}. ??2) 内积可导出范数, 范数可导出距离, 反之未必. 例如在赋范 线性空间中, 如果范数满足平行四边形公式, 则由范数可以定义内 积. 3) 在距离空间中，，当 0k x x ρ??→?0(,)0k x x ρ→； k →∞赋范线性空间中，，当；|||| 0k x x ???→?0||||0k x x -→k →∞
实变函数与泛函分析基础(第三版)-----第三章_复习指导
主要内容 本章介绍了勒贝格可测集和勒贝格测度的性质. 外测度和内测度是比较直观的两个概念，内外测度一致的有界集就是勒贝格可测集. 但是，这样引入的可测概念不便于进一步讨论. 我们通过外测度和卡拉皆屋铎利条件来等价地定义可测集（即定义），为此，首先讨论了外测度的性质（定理）. 注意到外测度仅满足次可列可加（而非可列可加）性，这是它和测度最根本的区别. 我们设想某个点集上可以定义测度，该测度自然应该等于这个集合的外测度，即测度应是外测度在某集类上的限制. 这就容易理解卡拉皆屋铎利条件由来，因为这个条件无非是一种可加性的要求. 本章详细地讨论了勒贝格测度的性质. 其中，最基本的是测度满足在空集上取值为零，非负，可列可加这三条性质. 由此出发，可以导出测度具有的一系列其它性质，如有限可加，单调，次可列可加以及关于单调集列极限的测度等有关结论. 本章还详细地讨论了勒贝格可测集类. 这是一个对集合的代数运算和极限运算封闭的集类. 我们看到勒贝格可测集可以分别用开集、闭集、型集和 型集逼近. 正是由于勒贝格可测集，勒贝格可测集类，勒贝格测度具有一系列良好而又非常重要的性质，才使得它们能够在勒贝格积分理论中起着基本的、有效的作用. 本章中，我们没有介绍勒贝格不可测集的例子. 因为构造这样的例子要借助于策墨罗选择公理，其不可测性的证明还依赖于勒贝格测度的平移不变性. 限于本书的篇幅而把它略去. 读者只须知道：任何具有正测度的集合一定含有不可测子集. 复习题 一、判断题
1、对任意n E R ?，* m E 都存在。（√ ） 2、对任意n E R ?，mE 都存在。（× ） 3、设n E R ?，则* m E 可能小于零。（× ） 4、设A B ?，则** m A m B ≤。（√ ） 5、设A B ?，则** m A m B <。（× ） 6、* *1 1( )n n n n m S m S ∞ ∞===∑。（× ） 7、* *1 1 ( )n n n n m S m S ∞ ∞==≤∑。（√ ） 8、设E 为n R 中的可数集，则* 0m E =。（√ ） 9、设Q 为有理数集，则* 0m Q =。（√ ） 10、设I 为n R 中的区间，则* m I mI I ==。（√ ） 11、设I 为n R 中的无穷区间，则* m I =+∞。（√ ） 12、设E 为n R 中的有界集，则*m E <+∞。（√ ） 13、设E 为n R 中的无界集，则*m E =+∞。（× ） 14、E 是可测集?c E 是可测集。（√ ） 15、设{n S }是可测集列，则 1 n n S ∞=， 1 n n S ∞=都是可测集。 （√ ） 16、零测集、区间、开集、闭集和Borel 集都是可测集。（√ ） 17、任何可测集总可表示成某个Borel 集与零测集的差集。（√ ） 18、任何可测集总可表示成某个Borel 集与零测集的并集。（√ ） 19、若E =?，则* 0m E >。（× ） 20、若E 是无限集，且*0m E =，则E 是可数集。（× ） 21、若mE =+∞，则E 必为无界集。（√ ） 22、在n R 中必存在测度为零的无界集。（√ ）
理工大泛函分析复习题.docx
-、(10分)设d(x, y)为空间X上的距离。证明 l + d(3) 也是X上的距离。 1、求证/(X,r)为3空间。(其中X为/空间，丫为B空间) 2、S是由一切序列兀=(召，兀2,?…,￡，???)组成的集合，在S中定义距离为 p(x，y ,求证S是一个完备的距离空间。 3、Hilbert空间X中的正交投影算子为线性有界算子。 4、附加题 开映射定理(P92) 设x,y都是B空间，若TG/(x,r)是一个满射，则卩是开映射。Hahn—Banach延拓定理(%) 设X是T空间，X。是X的线性子空间，人是定义在X。上的有界线性泛函，则在X上必有有界线性泛函/满足: ⑴芦(兀)=九(兀)(办丘Xo)(延拓条件); (2)||/|| = UII0(保范条件), 其中表示人在X。上的范数。 闭图像定理(乙8)设都是3空间，若丁是X T Y的闭线性算子，并且D(T)是闭的，则卩是连续的。 共鸣定理(毘9)设X是B空间，丫是￡空间，如果 Wu/(X,Y),使得sup||Ar|| x-x0 = inf x-y yeM 七、（15分）设/（兀）=匸兀（『）力—[比）力，求证：/G（C[-1,1]）\且求||/||。 八、（15分）简答题 1?试说明C[a,b]与I3[a,b]中函数的差异; 2.泛函分析也称无穷维分析，为什么耍研究无穷维分析，试举例说明； 3.H订bert空间是最接近有限维Euclid空间的空间，请做简要说明。 一、在C[-1,1]上定义内积V /,g〉=[/（f）ga）〃，若记M为C[-1,1]屮奇函数全 体，N为C[-l,l]中偶函数全体，求证：M十W二且丄。 设厶为内积空间H中的一个稠密子集，且x丄厶，证明x = 0. 二、在R中赋予距离p（x,y） =| arctan x-arctan y |,问（R,p）是完备空间吗?为什么？设Tx（t） = rx（r）,若T是从厶[0,1] t厶[0,1]的算了，计算||T||;若T是从 Q0,1]T Q0,1]的算子再求||门 四论述题： 1、证明C[a,b]完备，并叙述证明空间完备的一般步骤。 2、论述紧集、相对紧集、完全有界集、有界集的关系。 3、证明||x||=maxx（r）为心，刃上范数，并论述证明范数的一般步骤。 ie[a,b] 设H是内积空间，￡，兀儿则当X" t X,儿Ty时，（￡,几）T（x,y）,即内积 关于两变元连续。 10?设叭叭皿赋范空何，?“ 八码），证明 ⑴+ 7V, （2） fit （】）任取f€E;及则 （T: + T t） V（r）r s）?> f（T^） + /（r?z > -r：/（z） + Ty（x） = （T： +T；）/（z） ? 山人工的任尴性.得： 《珀 + T护= + <2）由共馳算子性质1?■即得:工 基于变分法的医学超声图像去噪研究 【摘要】目的：医学超声图像中斑点噪声的存在，降低了图像质量，本文着重讨论医学超声图像的去噪问题。方法：针对超声图像的斑点噪声，本文基于全变分正则化模型，首先对超声图像进行对数变换，将乘性斑点噪声转化为加性噪声，再对对数变换后的图像进行全变分正则化处理，最后通过指数变换重构超声图像。结果：子宫超声图像去噪实验中，将全变分法与常用的中值滤波和小波变换去噪方法进行对比，结果显示全变分法的去噪性能指标明显优于其余方法。结论：采用基于全变分正则化的方法，不仅很大程度上抑制了医学超声图像的斑点噪声，而且保留了清晰的边缘细节信息，具有重要的学术价值和现实意义。 【关键词】超声图像处理；斑点噪声去噪；全变分正则化模型 0 引言 与X光透视、CT、MRI等医学成像方法相比，医学超声成像因非侵入无创伤性、成像速度快、成本低、操作简便等优点，成为目前普遍应用的医学成像技术。超声诊断作为一种理想的无损检查方法，有着广阔的发展前景。据报道，近十年，世界医学超声仪器的数量以15%左右的速度增长 [1]。然而，由于成像机制的限制，超声图像存在固有的斑点噪声，极大地降低了超声图像质量，增加了图像特征分析的难度，影响了疾病诊断的准确度。因此，超声图像中对斑点噪声的抑制具有重要的学术价值和现实意义。 目前，超声图像去噪方法常见的有中值滤波[2]、直方图[3]和小波变换[4]等。基于小波域的去噪方法，以其良好的时频特性，广泛运用于超声图像去噪。该方法主要基于图像中有用信息和噪声之间的频率特性存在差异的假设，进行频域分析去噪。但实际上假设条件并不总是成立，图像中的有用信息部分和噪声往往在频带上存在重迭。基于小波域的去噪方法容易丢失部分高频分量――图像中的细节和边缘等有用信息，限制了图像质量的提高。最近的研究表明，全变分正则化法对稀疏或梯度稀疏图像的重构效果显著，很好地保留了图像的边缘信息。Rudin等人首次将全变分去噪法引入到图像处理中[5]。由于全变分正则化在边缘检测中的巨大应用价值，近几年研究人员提出很多基于全变分的去噪算法[6-7]。针对超声图像的去噪特殊性，本文提出基于全变分正则化的超声图像去噪方法。首先对超声图像进行对数变换，将乘性噪声转化为加性噪声，再对对数变换后的图像进行全变分正则化处理，最后通过指数变换重构超声图像。本方法去除斑点噪声的同时，能够很好地保留图像的边缘信息。 1 变分法原理 第一章 变分原理与变分法 1.1 关于变分原理与变分法（物质世界存在的基本守恒法则） 一、 大自然总是以可能最好的方式安排一切，似乎存在着各种安排原理： 昼/夜，日/月，阴/阳，静止/运动 等矛盾/统一的协调体； 对静止事物：平衡体的最小能量原理，对称/相似原理； 对运动事物：能量守恒，动量（矩）守恒，熵增原理等。 变分原理是自然界静止(相对稳定状态)事物中的一个普遍适应的数学定律，获称最小作用原理。 Examples : ① 光线最短路径传播； ② 光线入射角等于反射角，光线在反射中也是光传播最短路径（Heron ）； ③ CB AC EB AE +>+ Summary : 实际上光的传播遵循最小能量原理； 在静力学中的稳定平衡本质上是势能最小的原理。 二、变分法是自然界变分原理的数学规划方法（求解约束方程系统极值的数学方 法），是计算泛函驻值的数学理论 数学上的泛函定义 定义：数学空间（集合）上的元素（定义域）与一个实数域间（值域）间 的（映射）关系 特征描述法：{ J :R x R D X ∈=→?r J )(|} Examples : ① 矩阵范数：线性算子（矩阵）空间数域 ‖A ‖1 = ∑=n i ij j a 1 max ；∑=∞=n j ij i a A 1max ；21 )(11 2 2∑∑===n j n i ij a A ② 函数的积分： 函数空间数域 D ?=?n b a n f dx x f J )( Note : 泛函的自变量是集合中的元素（定义域）；值域是实数域。 Discussion ： ① 判定下列那些是泛函： )(max x f f b x a <<=； x y x f ??) ,(； 3x+5y=2； ?+∞∞-=-)()()(00x f dx x f x x δ ② 试举另一泛函例子。 物理问题中的泛函举例 ① 弹性地基梁的系统势能 i. 梁的弯曲应变能： ?=∏l b dx dx w d EJ 02 22)(21 ii. 弹性地基贮存的能量： dx kw l f ?=∏0 221 iii. 外力位能： ?-=∏l l qwdx 0 iv. 系统总的势能： 00 0;})({2 2122202 1===-+=∏?dx dw w x dx qw kw dx w d EJ l 泛函的提法：有一种梁的挠度函数（与载荷无关），就会有一个对应的系 统势能。 泛函驻值提法：在满足位移边界条件的所有挠度函数中，找一个w (x ),使 系统势能泛函取最小值。 ② 最速降线问题 问题：已知空间两点A 和B ,A 高于B ，要求在两点间连接一条曲线，使 得有重物从A 沿此曲线自由下滑时，从A 到B 所需时间最短（忽略摩擦力）。 作法： i. 通过A 和B 作一垂直于水平面的平面，取坐标系如图。B 点坐标(a , b ),设曲线为y = y (x ),并已知：x = 0,y = 0；x = a ,y = b ii. 建立泛函： x 泛函分析试题B PTU院期末考试试卷 (B)卷 2010 ——2011 学年第 1 学期课程名称: 泛函分析适用年级/专业 07 数学试卷类别:开卷(?)闭卷( ) 学历层次: 本科考试用时: 120 分钟 《考生注意:答案要全部抄到答题纸上，做在试卷上不给分》(((((((((((((((((((((((((((一、填空题(每小题3分，共15分) (,)Xdx1.设=是度量空间，是中点列，如果____________________________, XX,,n x则称是中的收敛点列。 X,,n ffNf2. 设是赋范线性空间，是上线性泛函，那么的零空间是中的闭子空XXX，，间的充要条件为_____________________________。 3. 为赋范线性空间到赋范线性空间中的线性算子，如果_________________, TXY 则称T是同构映射。 xyX,,4. 设是实Hilbert空间，对中任何两个向量满足的极化恒等式公式 为:XX ___________________________________________。 ,,5. 设是赋范线性空间，是的共轭空间，泛函列，如果XXXfXn,,(1,2,)Ln ff_______________________________________________,则称点列强收敛 于。 ,,n二、计算题(共20分) ppl叙述空间的定义，并求的共轭空间。 lp(1),,，, 三、证明题(共65分) p1、(12分)叙述并证明空间中的Holder不等式。 lp(1), ,,MM,2、(15分)设是Hilbert空间的闭子空间，证明。 MX 试卷第 1 页共 2 页 3、(14分)Hilbert空间是可分的，证明任何规范正交系至多为可数集。 XX 4、(12分) 证明Banach空间自反的充要条件是的共轭空间自反。 XX ,,ll5、(12分)叙述空间的定义，并证明空间是不可分的。 试卷第 2 页共 2 页 ? §1 变分法简介 作为数学的一个分支，变分法的诞生，是现实世界许多现象不断探索的结果，人们可以追寻到这样一个轨迹： 约翰·伯努利（Johann Bernoulli ，1667－1748）1696 年向全欧洲数学家挑战，提出一个难题：“设在垂直平面内有任意两点，一个质点受地心引力的作用，自较高点下滑至较低点，不计摩擦，问沿着什么曲线下滑，时间最短？” 这就是著名的“最速降线”问题（The Brachistochrone Problem ）。它的难处在于和普通的极大极小值求法不同，它是要求出一个未知函数（曲线），来满足所给的条件。这问题的新颖和别出心裁引起了很大兴趣，罗比塔（Guillaume Francois Antonie de l'Hospital 1661-1704）、雅可比· 伯努利（ Jacob Bernoulli 1654-1705）、莱布尼茨（ Gottfried Wilhelm Leibniz,1646-1716）和牛顿（Isaac Newton1642—1727）都得到了解答。约翰的解法比较漂亮，而雅可布的解法虽然麻烦与费劲，却更为一般化。后来欧拉（Euler Lonhard ， 1707～1783）和拉格朗日(Lagrange, Joseph Louis ，1736-1813)发明了这一类问题的普遍解法，从而确立了数学的一个新分支——变分学。 有趣的是，在 1690 年约翰·伯努利的哥哥雅可比·伯努利曾提出著名的悬链线问题(The Hanging Chain Problem)向数学界征求答案，即，固定项链的两端，在重力场中让它自然垂下，问项链的曲线方程是什么。在大自然中，除了悬垂的项链外，我們还可以观察到吊桥上方的悬垂钢索，挂着水珠的蜘蛛网，以及两根电线杆之间所架设的电线，这些都是悬链线（catenary ）。 伽利略（Galileo, 1564～1643）比贝努利更早注意到悬链线，他猜测悬链线是抛物线， 从外表看的确象，但实际上不是。惠更斯（Huygens, 1629～1695）在 1646 年（当时 17 岁），经由物理的论证，得知伽利略的猜测不对，但那时，他也求不出答案。到 1691 年，也就是雅可比·伯努利提出悬链线问题的第二年，莱布尼兹、惠更斯（以 62 岁）与约翰·伯努利各自得到了正确答案，所用方法是诞生不久的微积分，具体说是把问题转化为求解一个二阶常微分方程 ? d 2 y ? dx 2 a 1+ ( dy )2 dx ? y (0) = y ? ? ? 解此方程并适当选取参数，得 y '(0) = 0 即为悬链线。 y = 1 2a (e ax + e -ax ) （1） 悬链线问题本身和变分法并没有关系，然而这和最速降线问题一样都是贝努利兄弟间的相互争强好胜、不断争吵的导火索，虽然雅可比·贝努利在解决悬链线问题时略占下风，但他随后所证明的“悬挂于两个固定点之间的同一条项链，在所有可能的形状中，以悬链线的重心最低，具有最小势能”，算是扳回了一局，俩兄弟扯平了！之所以提到悬链线问题，有两方面考虑，其一，这是有关数学史上著名的贝努利家族内的一个趣闻，而这是一个在变分法乃至整个数学物理领域有着巨大贡献的家族，其二，有关悬链线的得几个结论，可以用变 = 0 变分法 取极值必须满足z 1696年瑞士数学家约翰、贝努里提出的“最速降线问题”，发表于《教师学报》，引起广泛关注。z 1697年该杂志刊登了牛顿、莱布尼兹、洛比达和贝努里兄弟的解法，殊途同归！ z 虽蕴含着天才思想，但还是不能建立起变分法！z 历史安排了大数学家尤拉，1734年解决了更广泛的最速降线问题，但他还不满意。最终他找到了，1736年的论文： §4.1 变分法基本概念与基本理论历史往事——导致变分法建立的著名问题: [()](,,)b a J y x F x y y dx ′=∫ d ()0d F F y x y ???=′??z 拉格朗日改进了尤拉证明，非常简洁，1755年告诉了尤 一. 基本概念 变分法就是求泛函极值的方法．变分问题即是求泛函的极值问题． 1. 泛函 变分法研究的对象是泛函，泛函是函数概念的推广．先看一个例题： 考虑著名的最速降线落径问题。如图1 所示，已知A和B为不在同一铅垂线和不同高度的两点，要求找出A、B间的这样一条曲线，当一质点在重力作用下沿这条曲线无摩擦地从A滑到B时，所需的时间T最小． y x A B(x,y) 此时质点的速度是 d 2d s gy t =从A 滑到B 所需的时间为 d B A t t T t =∫21+[()]d 2B A y T y x x gy ′=∫d 2B A s gy =∫21+d 2B A y x gy ′= ∫ y ′x T ()y x ()y x [()]T y x 式中代表对求一阶导数．我们称上述的为的泛函，而称为可取的函数类，为泛函的定义域。简单地说，泛函就是函数的函数（不是复合函数的那种含义）． 泛函定义：一般来说，设C 是函数的集合，B 是实数或复数的集合如果对于C 的任一元素 ()y x 在B 中都有一个元素J 与之对应，所谓泛函不过是更广泛意义下的函数关系罢了！ J ()y x [()] J J y x =则称为的泛函，记为 变分法的发展与应用 应用数学11XX班XXX 104972110XXXX 摘要：变分法是研究泛函卡及值的数学分支，其基本问题是求泛函(函数的雨数)的极值及相应的极值函数。变分法是重要的数学分支，与诸如微分方程、数学物理、极小曲面用论、微分几何、黎曼几何、积分力‘程、拓扑学等许多数学分支或部门均有密切联系。变分法有着广泛的应用：变分法构成了物理学中的种种变分原理，成为物理学理论不可缺少的组成部分，是研究力学、弹性理论、电磁学、相对论、量子力学等许多物理学分支的重要工具；变分法通过“直接方法”而成为近似计算的有效于段，为微分方程边值问题的数值解法开辟了一条途径，形成了有限元方法的基础之一。近年来，变分法又在经济、电子工程和图像处理等领域得以广泛应用。因此研究变分法的思想演化过程，无论从数学史还足从科学史的角度来说，都具有十分重要的理论价值和现实意义。 关键词：起源；发展；应用 1.引言 变分法是17世纪末发展起来的一门数学分支，是处理函数的函数的数学领域，和处理数的函数的普通微积分相对。它最终寻求的是极值函数：它们使得泛函取得极大或极小值。变分法起源于一些具体的物理问题学问题，最终由数学家研究解决。变分法在科学与技术的各个领域尤其是在物理学中有着十分重要的作用，它提供了有限元方法的数学基础，它是求解边界值问题的强有力工具。它们在材料学中研 究材料平衡中大量使用。微分几何中的测地线的研究也是显然的变分性质的领域。 近年来，变分法在经济、电子工程和图像处理等领域得以广泛应用。因此研究变分法的思想演化过程，无论从数学史还足从科学史的角度来说，都具有十分重要的理论价值和现实意义。 2.变分法的起源 物理学中泛函极值问题的提出促进了变分学的建立和发展，而变分学的理论成果则不断渗透到物理学中。 费马从欧几里得确立的光的反射定律出发提出了光的最小时间原理：光线永远沿用时最短的路径传播。他原先怀疑光的折射定律，但在1661年费马发现从他的光的最小时间原理能够推导出折射定律，不仅消除了早先的怀疑，而且更加坚信他的原理。 受费尔马的影响，约翰伯努利研究了“最速降线”问题：给 定空间中的两个点,a b,其中a比b高，求一条连接两点的曲线使得一个质点从a沿曲线下降到b用时最少。 变分法对于几何的应用在早期主要是对曲面上的测地线和欧氏空间中给定边界的极小曲面（Plateau问题）的研究。但在很长时间内仅限于一些特殊情形，没有重要进展。 3.变分法的发展 18世纪是变分法的草创时期，建立了极值应满足的欧拉方程并据此解决了大量具体问题。19世纪人们把变分法广泛应用到数学物理中去，建立了极值函数的充分条件。20世纪伊始，希尔伯 泛函分析期末复习题（2005-2006年度） （1）所有矩阵可以构成一个线性空间。试问这个线性空间中的零元素是什么？ （2）什么是线性空间的子空间？子空间是否一定包含零元素？为什么？ （3）什么是线性流形？ （4）什么是线性空间中的凸集？ （5）如果一个度量能够成为一个线性空间上定义的距离，那么这个度量必须满足什么条件？试给出几个在维欧几里德空间上常用的距离定义 （6）距离空间上的收敛是如何定义的？ （7）线性空间上定义的范数必须满足哪些条件？ （8）什么是巴拿赫空间？赋范空间中的基本列一定收敛吗？ （9）有限维的线性赋范空间都是巴拿赫空间吗？ （10）什么是希尔伯特空间？ （11）空间是如何构成的？在怎样的内积定义下其可以成为一个希尔伯特空间？（12）什么是算子？为什么要求算子的定义域是一个子空间？ （13）算子的范数是如何定义的？从直观角度谈谈对算子范数定义的理解。 （14）线性算子的零空间一定是值域空间中的子空间吗？ （15）什么是有界算子？举一个无界算子的例子。 （16）算子的强收敛是如何定义的？ （17）设为一个线性赋范空间，而为一个Banach空间。那么从到的线性算子所构成的空间是否构成一个Banach空间？ （18）什么是压缩映像原理？它在力学中有什么重要应用？ （19）什么是泛函？什么是泛函的范数？ （20）什么是线性赋泛空间的共轭空间？线性赋泛空间的共轭空间是否总是完备的？（21）什么是弱收敛？弱收敛与强收敛之间是什么关系？ （22）什么是的Gateaux微分？ （23）什么是泛函的（一阶）变分？它是如何定义的？ （24）形如的泛函，其对应的Euler-Lagrange方程是什么？ （25）什么是结构的应变能密度？什么是余能密度？二者关系如何？试画图说明。（26）有限元方法的本质是什么？瑞兹＋具有局部紧支集的分片插值函数 （27）什么是最小势能原理？最小势能原理中的基本未知函数是什么？对这些基本未知函数有什么要求？推导并证明使得势能泛函取最小值的位移函数对应结构真实的位移场。（28）什么是最小余能原理？最小余能原理中的基本未知函数是什么？对这些基本未知函数有什么要求？推导并证明使得余能泛函取最小值的位移函数对应结构真实的应力场。（29）什么是Hellinger-Reissner混合变分原理？推导并证明使得余能泛函取最小值的位移函数和应力函数对应结构真实的位移场和应力场。 最新文件---------------- 仅供参考--------------------已改成-----------word 文本 --------------------- 方便更改 赠人玫瑰，手留余香。 泛函分析期末考试试卷（总分100分） 一、选择题（每个3分，共15分） 1、设X 是赋范线性空间，X y x ∈,，T 是X 到X 中的压缩映射，则下列哪个式子成立（ ）. A ．10<<-≤-αα， y x Ty Tx B.1≥-≤-αα， y x Ty Tx C.10<<-≥-αα， y x Ty Tx D.1≥-≥-αα， y x Ty Tx 2、设X 是线性空间，X y x ∈,，实数x 称为x 的范数,下列哪个条件不是应满足的条件：（ ）. A. 0等价于0且,0==≥x x x B.()数复为任意实,αααx x = C. y x y x +≤+ D. y x xy +≤ 3、下列关于度量空间中的点列的说法哪个是错误的（ ）. A ．收敛点列的极限是唯一的 B. 基本点列是收敛点列 C ．基本点列是有界点列 D.收敛点列是有界点列 4、巴拿赫空间X 的子集空间Y 为完备的充要条件是（ ）. A ．集X 是开的 B.集Y 是开的 C.集X是闭的 D.集Y是闭的 5、设(1) p l p <<+∞的共轭空间为q l，则有11 p q +的值为（）. A. 1- B.1 2 C. 1 D. 1 2 - 二、填空题（每个3分，共15分） 1、度量空间中的每一个收敛点列都是（）。 2、任何赋范线性空间的共轭空间是（）。 3、1l的共轭空间是（）。 4、设X按内积空间 第二章 泛函极值及变分法（补充内容） 2.1 变分的基本概念 2.1.1 泛函和变分 泛函是一种广义的函数，是指对于某一类函数{y (x )}中的每一个函数y (x )，变量J 有一值与之对应，或者说数J 对应于函数y (x )的关系成立，则我们称变量J 是函数y (x )的泛函，记为J [y (x )]。 例1：如果表示两固定端点A (x A ，y A )，B (x B ，y B )间的曲线长度J （图2.1.1），则由微积分相关知识容易得到： dx dx dy J B A x x ? += 2)/(1 （2.1.1） 显然，对于不同的曲线y (x )，对应于不同的长度J ，即J 是函数y (x )的函数，J =J [y (x )]。 图2.1.1 两点间任一曲线的长度 例2：历史上著名的变分问题之一——最速降线问题，如果2.1.2所示。设在不同铅垂线上的两点P 1与P 2连接成某一曲线，质点P 在重力作用下沿曲线由点P 1自由滑落到点P 2，这里不考虑摩擦作用影响，希望得到质点沿什么样的曲线滑落所需时间最短。 图2.1.2 最速降线问题 选取一个表示曲线的函数y (x )，设质点从P 1到P 2沿曲线y =y (x )运动，则其运动速度为： ds v dt == 其中，S 表示曲线的弧长，t 表示时间，于是： dt = 设重力加速度为g ，则gy v 2=。 因为P 1和P 2点的横坐标分别为x 1到x 2，那么质点从P 1到P 2所用时间便为： 1 [()]x x J y x =? 2 1 1/2 211[()]2[()()]x x y x dx g y x y x ??'+=??-?? ? （2.1.2） 则最速降线问题对应于泛函J [y (x )]取最小值。 回顾函数的微分： 对于函数的微分有两种定义： 一种是通常的定义，即函数的增量： ),()()()(x x x x A x y x x y y ?+?=-?+=?ρ （2.1.3） 其中A （x ）与?x 无关，且有?x →0时ρ（x ,?x ）→0，于是就称函数y (x )是可微的，其 线性部分称为函数的微分()()dy A x x y x x '=?=?，函数的微分就是函数增量的主部。 函数微分的另外一种定义： 通过引入一小参数ε，对)(x x y ?+ε关于ε求导数，并令ε→0的途径得到，即： dy x x y x x x y d x x dy =?'=??+'=?+→→)()() (00 εεεε ε （2.1.4） 上式说明)(x x y ?+ε在ε=0处关于ε的导数就是函数y (x )在x 处的微分。相应地，在泛函J [y (x )]中，变量函数y (x )的增量在其很小时称为变分，用δy (x )或δy 表示， §1 变分法简介 作为数学的一个分支，变分法的诞生，是现实世界许多现象不断探索的结果，人们可以追寻到这样一个轨迹： 约翰·伯努利（Johann Bernoulli ，1667－1748）1696年向全欧洲数学家挑战，提出一个难题：“设在垂直平面内有任意两点，一个质点受地心引力的作用，自较高点下滑至较低点，不计摩擦，问沿着什么曲线下滑，时间最短？” 这就是著名的“最速降线”问题（The Brachistochrone Problem ）。它的难处在于和普通的极大极小值求法不同，它是要求出一个未知函数（曲线），来满足所给的条件。这问题的新颖和别出心裁引起了很大兴趣，罗比塔（Guillaume Francois Antonie de l'Hospital 1661-1704）、雅可比·伯努利（Jacob Bernoulli 1654-1705）、莱布尼茨（Gottfried Wilhelm Leibniz,1646-1716）和牛顿（Isaac Newton1642—1727）都得到了解答。约翰的解法比较漂亮，而雅可布的解法虽然麻烦与费劲，却更为一般化。后来欧拉（Euler Lonhard ，1707～1783）和拉格朗日(Lagrange, Joseph Louis ，1736-1813)发明了这一类问题的普遍解法，从而确立了数学的一个新分支——变分学。 有趣的是，在1690年约翰·伯努利的哥哥雅可比·伯努利曾提出著名的悬链线问题 (The Hanging Chain Problem)向数学界征求答案，即，固定项链的两端，在重力场中让它自然垂下，问项链的曲线方程是什么。在大自然中，除了悬垂的项链外，我們还可以观察到吊桥上方的悬垂钢索，挂着水珠的蜘蛛网，以及两根电线杆之间所架设的电线，这些都是悬链线（catenary ）。 伽利略（Galileo, 1564～1643）比贝努利更早注意到悬链线，他猜测悬链线是抛物线，从外表看的确象，但实际上不是。惠更斯（Huygens, 1629～1695）在1646年（当时17岁），经由物理的论证，得知伽利略的猜测不对，但那时，他也求不出答案。到1691年，也就是雅可比·伯努利提出悬链线问题的第二年，莱布尼兹、惠更斯（以62岁）与约翰·伯努利各自得到了正确答案，所用方法是诞生不久的微积分，具体说是把问题转化为求解一个二阶常微分方程 解此方程并适当选取参数，得 )(21ax ax e e a y -+= （1） 即为悬链线。 悬链线问题本身和变分法并没有关系，然而这和最速降线问题一样都是贝努利兄弟间的相互争强好胜、不断争吵的导火索，虽然雅可比·贝努利在解决悬链线问题时略占下风，但他随后所证明的“悬挂于两个固定点之间的同一条项链，在所有可能的形状中，以悬链线的重心最低，具有最小势能”，算是扳回了一局，俩兄弟扯平了！之所以提到悬链线问题，有两方面考虑，其一，这是有关数学史上著名的贝努利家族内的一个趣闻，而这是一个在变分法乃至整个数学物理领域有着巨大贡献的家族，其二，有关悬链线的得几个结论，可以用变???????='=+=0)0()0()(10222y y y dx dy a dx y d 量子力学的变分法-量子力学的变分法 解薛定谔方程的一种应用范围极广的近似方法。对于束缚定态，它是基于能量本征值方程（即不含时间的薛定谔方程）与能量变分原理的等价性，通过求能量的极值得到能量本征值方程的解。在处理具体问题时，总是采用波函数某种特殊的变化去代替最普遍的任意变分，这样就可得到依赖于波函数特殊形式的近似解。这种方法称为变分法。 若体系的哈密顿量算符为彑，其能量本征值方程为 , (1) 该体系的能量平均值 (2) 是波函数φ的泛函。式中表示对体系全部坐标积分。可以证明，求彑的本征值方程，等价于求解 (3) 也就是满足变分原理(3)的φ为彑的本征函数,唕的极值为所对应的本征值，即 (4) 这样，如果能猜测到一个φ正好满足式(1),则由式(2)所得的唕【φ】等于E，如果猜测的φ与ψ略有不同,则唕【φ】必定大于E，因而唕【φ】总是给出唕的一个上限。当做了多次猜测之后,其中最小的唕一定是这些猜测中最好的，这样就把最小的唕取作E的近似值。应用以上手续可得到一种通过猜测去计算能量近似值的方法。改善波函数通常是通过一个含连续参数的特殊形式的波函数φ(q,α1,α2,α3,…)来实现的，这样唕也就是这些参数的函数。式中q代表体系的全部坐标，所猜测的波函数φ(q, α1,α2,α3,…)称为尝试波函数,变分参数(α1,α2,α3,…)是待定的。根据变分原理，由唕取极值，则有 (5) 通过以上方程组可解得(i=1,2,3,…)，于是φ(q,α嬼, α嬽, α嬿,…)和E(α嬼, α嬽, α嬿,…)分别是ψ和E在φ(q,α1,α2,α3,…)形式下最好的近似。它的近似性来源于用参数的变化代替了普遍形式的任意变分、显然，参数愈多,尝试波函数的变化愈普遍,所得结果愈好。在选取尝试波函数时,要注意使其与ψ满足相同的边界条件。 如果尝试波函数φ与精确解的差为Δ量级,则唕与精确解的差为｜Δ｜2量级，因而即使用粗糙的尝试波函数也可得到近似性很好的能量本征值。通常用这种方法求体系基态能量的近似值。考虑到不同能量的本征函数彼此正交,也可以由低至高逐级求激发态能量的近似值,其近似性较基态为差。变分法的优点在于运用它求解不受什么限制，但是由于结果的好坏完全取决于尝试波函数的选择，致使结果的任意性大。以上是解束缚定态的变分法。 对于散射问题，如将决定能量的变分原理改为决定相移的变分原理，以上方法的基本思想仍适用。变分法也常与量子力学的微扰论结合起来使用。基于变分法的医学超声图像去噪研究
变分原理与变分法
泛函分析试题B
变分法简介(简单明了易懂)(可编辑修改word版)
力学中的数学方法-变分法
变分法的发展与应用
泛函分析答案2：
泛函分析试卷(优选.)
第二章-泛函极值及变分法(补充内容)
变分法简介(简单_明了_易懂)
量子力学的变分法