热传导方程非特征 Cauchy 问题的一些笔记

毕设工作即将结束之际，附上一份笔记到博客-数学物理方程-热传导方程.

反问题与不适定问题

反问题描述

note quote 一对问题称为是互逆的

不适定问题的三个判断标准

问题的解是存在的；
问题的解是唯一的；
问题的解是稳定的；

该概念由现法国科学院院士 J.Hadamard 在耶鲁大学提出. 适定（well-posed）问题 & 不适定（ill-posed）问题.

Ax=y, A: X rightarrow Y 的线性紧算子

1、解的存在性： forall y in Y, exist x in X, 使得 Ax=y. 2、解的唯一性： forall y_1, y_2 in Y, y_1 neq y_2, 有 Ax_1=y_1, Ax_2=y_2, 使得 x_1 neq x_2. 3、解的稳定性（即解的连续性）：若有 Ax_1=y_1, Ax_2=y_2, 则当 y_1 rightarrow y_2 时, 使得 x_1 rightarrow x_2.

note info 当定解条件（初值条件，边界条件）以及方程中的系数有微小变动时，相应的解也只有微小变动. 解的稳定性也称为解关于参数的连续依赖性.

微分方程

微分方程：包含导数的方程，常用于描述现实事物的变化. 微积分学是一门研究变化的学问. 微分应用包括对速度、加速度、曲线斜率、最优化等的计算.

微分方程的定解条件：即初值条件和边界条件；
三类边界条件
- 第一类：狄利克雷边界条件（Dirichlet boundary condition）也被称为常微分方程或偏微分方程的“第一类边界条件”，指定微分方程的解在边界处的值. 求出这样的方程的解的问题被称为狄利克雷问题.
- 第二类：诺伊曼边界条件（Neumann boundary condition) 也被称为常微分方程或偏微分方程的“第二类边界条件”. 诺伊曼边界条件指定了微分方程的解在边界处的微分.
- 第三类：Robbin条件/混合边界条件，未知函数在边界上的函数值和外法向导数的线性组合.
偏微分方程三大问题
- 初边值问题或混合问题：偏微分方程初值条件边界条件；
- 初值问题或 Cauchy 问题：偏微分方程初值条件；
- 边值问题：偏微分方程边界条件；
方程式与方程组
- 方程式：方程个数为 1；
- 方程组：方程个数大于 1；
欠定与超定
- 欠定：方程个数少于未知函数个数；
- 超定：方程个数多于未知函数个数；
方程（组）中出现的未知函数的最高阶偏导数的阶数称为方程（组）的阶数.

数学物理微分方程反问题的分类

文献[1]根据以下一般形式的微分方程组，给出了数学物理反问题的五大分类.

其中 u(x,t) 为微分方程组的解； L, I, B, A 分别是微分算子，初始算子，边界算子和附加算子. Omega 为求解区域， partial Omega 为求解区域的边界. partial Omega^{prime} 为 Omega 的一部分. f(x,t) 为方程的右端项， varphi(x), psi(x,t), k(x,t) 分别为初始条件、边界条件和附加条件. 上述任一已量变为未知量，即为微分方程反问题.

参数识别问题：算子 L 未知（通常 L 的结构是已知的，未知的为算子中的参数）；
寻源反问题：右端方程源项 f(x,t) 未知；
逆时反问题： varphi(x) 条件未知时，附加条件为系统某一时刻的状态，该反问题从后面的状态去确定初始状态；
边界控制问题：边界条件 psi(x,t) 未知；
几何反问题：区域边界 partial Omega 未知；

反问题通常是不适定的，即初始条件上的一个微小的扰动，将导致结果的巨大变化. 克服反问题不适定性是比较棘手的，这也是反问题研究的重要课题.

随机微分方程解的爆破：在大多数时间里，解是有解的。但存在某一时间点，解趋于 infty .

任何一个物理现象都是处在特定条件下的.

关于反问题的更多描述

关于反问题的一个比较适用的数学定义是“由定解问题的解的部分信息去求定解问题中的未知成分”. 有效反问题的数值算法以正问题的高精度解法为基础.

反问题的不适定性主要表现在两个方面: 一方面，由于客观条件限制的输入数据(即给定的解的部分已知信息)往往是欠定的或者是超定的，这就导致解的不唯一性或者是解的不存在性; 另一方面，反问题的解对输入数据往往不具有连续依赖性。由于输入数据中不可避免的测量误差，人们就必须提出由扰动数据求反问题在一定意义下近似解的稳定的方法. 因此，反问题和不适定问题是紧密联系在一起的.

定解条件都是通过测量和统计而得到的，在测量和统计的过程中误差总是难免的，同时在建立数学模型的过程中也多次用了近似. 如果解的稳定性不成立，那么所建立的定解问题就失去了实际意义. 如果一个定解问题的适定性不成立，就要对定解问题作进一步地修改，直到它具有适定性[3].