线性反问题简介及在椭圆边值问题计算中的应用 材料学院 袁静 学号 .doc

线性反问题简介及在椭圆边值问题计算中的应用 材料学院 袁静 学号：1014208034 自20世纪60年代以来,在地球物理,生命科学,材料科学,遥感技术,模式识别,信号(图象)处理,工业控制乃至经济决策等众多的科学技术领域中,都提出了“由效果、表现反求原因、原象”的反问题,通称“数学物理反问题”.数学物理反问题是一个新兴的研究领域,有别于传统的数学物理方程的定解问间题,反问题研究由解的部分已知信息来求解问题中的某些未知量。用系统论的语言来讲,正问题对应于给定系统在已知输入条件下求输出结果的问题,这些输出结果当然包含了系统的某些信息。而反问题则是由输出结果的部分信息来反求系统的某些结构特征。与正问题相比，求解数学物理反问题面临的两个本质性的实际困难是：(l)原始数据可能不属于所论间题精确解所对应的数据集合，因而在经典意义下的近似解可能不存在；(2)近似解的不稳定性，即：原始资料的小的观测误差会导致近似解与真解的严重偏离。概言之，反问题常常是不适定的。也就是我们通常所说的Hadamard意义下不适定。Hadaxnard在1923年提出在经典意义下适定问题要满足下述三个条件： (l)该问题的解是存在的； (2)该间题的解是唯一的； (3)该间题的解对输入数据是稳定的。 上面的三个适定性条件无疑具有深刻的实际背景.首先对于实际问题，我们当然期望答案是存在唯一的.更重要的是,在实际获取的数据资料总是不可能是精确的。 反问题与不适定问题的基本概念及应用 讨论如下形式的算子方程： （1.1） 其中F：是一个连续的线性算子，x,y是两个Hilbert空间。在方程（1.1）中，由给定的x计算y被称为正问题，而由已知的数据y计算x则被称作反问题。反问题一般都与不适定问题联系在一起。 定义1. 设F为拓扑空间x到y的一个算子。问题（F,X,Y）被称为适定的，如果以下条件成立 对于所有有解， 的解是唯一的， 的解连续依赖于数据y。 定义1为Hadamard关于适定性的定义，根据这个定义，只要上面任何一个条件不满足，我们就不能将这个问题划定为不适定问题。对于非线性问题,第二个条件在很多情况下都是不满足的,所以很多非线性反问题都是不适定的。通过引入广义解的概念,解的唯一性(和部分的解的存在性)条件是可以被放宽的，不稳定性(也就是条件3不满足)可以被看作是不适定问题的主要特征。下面给出反问题的几个主要应用领域: (l)逆热传导问题:这又包括一系列问题如后向热传导问题以及侧边界条件抛物方程等等； (2)CT问题：CT问题是由一个线积分的值求一个密度函数的分布问题，CT问题在医学应用和无创检测中都是非常重要的，就数学方面而言,它牵涉到Radon变换的求逆问题； (3)图像处理的反问题:去污和去噪。图像去噪方法已经被成功使用于哈勃望远镜拍摄图像的图像增强中图像修补,图像分割和图像识别技术己经引起了广泛的兴趣； (4)逆势能问题:这类问题的可观测量是通过表面或者体势能来表达的,其主要应用于地球物理学和测地学中典型的问题如从引力测量数据来计算地球上空间变化的密度分布,或者从卫星的引力测量数据来计算地球的重力势能，逆势能问题也出现于与麦克斯韦方程组有关的问题上;一个显著的例子就是分布电荷以生成指定电场的方式的整合问题； (5)逆散射问题,从发散波重构出障碍物或者不同类波这是形状重构的一个特例,和形状优化有着紧密的联系； (6)参数识别问题:这类问题主要出现在偏微分方程中从内部或边界物态的测量数据来计算其中的一些特殊参数该类问题在很多方面如地下水文地理学,半导体学,结构力学,聚合体结晶化和数学金融都有应用参数识别问题与最优控制和最优设计有紧密的联系； (7)几何逆问题:这类问题与形状重构类似,研究兴趣主要是一个几何形状。由于向量空间结构知识的瓶颈,这类问题的分析非常困难，这类问题与最优设计和拓扑优化联系紧密。 反问题的不适定性(不稳定性)会导致一般数值求解很困难,如不适定问题的有限维逼近得到的矩阵会是一个典型的病态矩阵无论如何,要得到反问题的准确和稳定的逼近解需要特别的方法,这就是正则化方法。 正则化方法 正则化方法正则化方法是处理不适定问题的有效工具.正则化方法的目的是在尽可能的保证近似解的稳定性基础上尽可能多的保留解的信息.简言之,正则化方法就是用一系列“邻近”适定的问题来逼近不适定间题.从而,如何构造“邻近”问题,如何控制与原间题的“邻近”程度而决定与原间题的误差水平相匹配的正则化参数以及它们的数值的实现是正则化理论和方法的核心间题。 下面介绍适定性的定义： 设X和Y是范数空间，K：X→