数学物理方程学习笔记4

数学物理方程学习笔记4

2.热传导方程

2.1方程的导出与定解条件

物理模型： 在三维空间中，考虑一均匀、各向同性的物体，假定其内部有热源，并且与周围介质有热交换，来研究物体内部温度的分布和变化。

该方程还可以描述物质的扩散。

遵循规律： 能量守恒律

方程：$u_t-a^2\Delta u=f$,其中$f=0$表示无热源，$f>0$表示有热源（放热），$f<0$表示有热汇（吸热）

$u与t$无关时，$-a^2\Delta u=f$，称为Possion方程。

定解条件：
（1）初始条件

$u{|}_{t=0}=\phi (x,y,z),(x,y,z)\in \Omega$

（2）边界条件

1‘第一边界条件（已知边界上的温度分布）

$u{|}_{\sum }=g(x,y,z,t),\sum =\partial \Omega \times (0,+\infty )$

2’第二边界条件（已知热量）

$\vec{q}\cdot \vec{\eta }=-k\frac{\partial u}{\partial \eta }{|}_{\sum }=g(x,y,z,t)$

其中$\vec{q}\cdot \vec{\eta }>0$表示热量流出，$\vec{q}\cdot \vec{\eta }=0$表示绝热，$\vec{q}\cdot \vec{\eta }<0$表示热量流入，$\vec{\eta }$是边界$\sum$的外法向量，$\vec{q}$是热流密度

3‘第三边界条件

$k\frac{\partial u}{\partial \eta }+a_{0}u=a_0{g}_0$

其中$a_0$表示热交换系数，$g_0$表示周围介质的温度。

2.2基本知识

Flourier变换

（1）定义（$x\to \lambda$）

$\hat{f}(\lambda )=\frac{1}{\sqrt{2\pi }}{\int }_{-\infty }^{+\infty }f(x)e^{-i\lambda x}dx$称为$f(x)$的Flourier变换。

（2）性质

1‘线性性：$(a_1{f}_1+a_2{f}_2{)}^{\wedge }=a_1{f}_1^{\wedge }+a_2{f}_2^{\wedge }$

2’导数的Flourier变换：$(\frac{df}{dx}{)}^{\wedge }=i\lambda \hat{f}(\lambda ),(\frac{d^{m}f}{d{x}^m}{)}^{\wedge }=(i\lambda {)}^m\hat{f}(\lambda )$

3’多项式的Flourier变换：（$(xf(x){)}^{\wedge }=i\frac{d}{d\lambda }{f}^{\wedge }(\lambda ),(x^{m}f(x){)}^{\wedge }=i^m\frac{d^m}{d{\lambda }^m}{f}^{\wedge }(\lambda )$）

4’伸缩性质：（$f(kx{)}^{\wedge }=\frac{1}{|k|}\hat{f}(\frac{\lambda }{k})$）

5’卷积性质：

卷积定义：$f\ast g={\int }_{-\infty }^{+\infty }f(x-t)g(t)dt\stackrel{u=x-t}{=}{\int }_{-\infty }^{+\infty }f(u)g(x-u)du=g\ast f$

$(f\ast g{)}^{\wedge }=\sqrt{2\pi }{f}^{\wedge }{g}^{\wedge }$

（3）反演公式（$\lambda \to x$）

定义：$f(x)=\underset{N\to +\infty }{\lim }\frac{1}{\sqrt{2\pi }}{\int }_{-N}^{+N}\hat{f}(\lambda )e^{i\lambda x}d\lambda ，记f(x)=(\hat{f}(\lambda ){)}^{\vee }$

性质：$f(x{)}^{\vee }=\hat{f}(-\lambda )$

（4）重要结论

$f(x)=e^{-x^2},\hat{f}(\lambda )=\frac{1}{\sqrt{2}}{e}^{-}\frac{{\lambda }^2}{4}$

证明：
$$\begin{gathered} \hat{f}(\lambda )=\frac{1}{\sqrt{2\pi }}{\int }_{-\infty }^{+\infty }{e}^{-x^2}{e}^{-i\lambda x}dx \\ =\frac{1}{\sqrt{2\pi }}\frac{1}{-i\lambda }{\int }_{-\infty }^{+\infty }{e}^{-x^2}d{e}^{-i\lambda x} \\ =\frac{1}{\sqrt{2\pi }}\frac{i}{\lambda }[e^{-x^2}{e}^{-i\lambda x}{|}_{-\infty }^{+\infty }-{\int }_{-\infty }^{+\infty }{e}^{-i\lambda x}{e}^{-x^2}(-2x)dx] \\ =\frac{1}{\sqrt{2\pi }}\frac{i}{\lambda }2{\int }_{-\infty }^{+\infty }{e}^{-i\lambda x}(e^{-x^2}x)dx \\ =\frac{2i}{\lambda }(xf(x){)}^{\wedge } \\ =\frac{2i}{\lambda }i\frac{d\hat{f}(\lambda )}{d\lambda } \\ 得到一个常微分方程 \\ ⟹\hat{f}(\lambda )=c{e}^{-\frac{{\lambda }^2}{4}} \\ {\int }_{-\infty }^{+\infty }{e}^{-x^2}dx=\sqrt{\pi } \\ \hat{f}(0)=\frac{1}{\sqrt{2\pi }}{\int }_{-\infty }^{+\infty }{e}^{-x^2}dx=\frac{1}{\sqrt{2}}=c \\ \hat{f}(\lambda )=\frac{1}{\sqrt{2}}{e}^{-\frac{{\lambda }^2}{4}} \end{gathered}$$
推论：$f^{\prime }(x)=e^{-A{x}^2},{\hat{f}}^{\prime }(\lambda )=\frac{1}{\sqrt{2A}}{e}^{-}\frac{{\lambda }^2}{4A}$

证明：
$${\hat{f}}^{\prime }(\lambda )=\hat{f}(\sqrt{A}\lambda )=\frac{1}{\sqrt{A}}\hat{f}(\frac{\lambda }{\sqrt{A}})=\frac{1}{\sqrt{2A}}{e}^{-}\frac{{\lambda }^2}{4A}$$