更新时间:2022-08-25 17:31
数学中,经典狄利克雷问题(Dirichlet problem)是寻找一个函数,使其为给定区域内一个指定的偏微分方程(PDE)的解,且在边界上取预定值。
对许多偏微分方程,狄利克雷问题都可解,但最初是对拉普拉斯方程提出来的。在这种情形下问题可如下表述:
给定定义在R中一个区域的边界上一个函数f,是否存在惟一连续函数u在内部两次连续可微,在边界上连续,使得u在内部调和并在边界上u=f?
这个条件称为狄利克雷边界条件。最主要的问题是证明解的存在性,因惟一性可利用Maximum principle证明。
但魏尔斯特拉斯发现了狄利克雷证明的一个漏洞,存在性严格的证明直到1900才由希尔伯特给出。结论是解的存在性微妙地依赖于边界与预定值的光滑性。
对具有足够光滑边界 一个区域D,狄利克雷问题的一般解由
给出,这里G(x,y)是这个偏微分方程的格林函数,而
是格林函数沿着内单位法向 的导数。在边界上对测度ds进行积分。函数 由第二类弗里德霍姆积分方程的惟一解给出
上一个积分中的格林函数在边界上为零:
G(x,s)=0对与。
这样的格林函数通常是自由域格林函数与一个微分方程的调和解之和。
调和函数的狄利克雷问题总有解,当边界足够光滑且f(s)连续则解是惟一的。更准确地说,当
对时有解。这里表示赫尔德条件。
在一些简单情形狄利克雷问题可以明确地解出来。例如对R中单位圆盘的狄利克雷问题的解由泊松积分公式给出。
如果f是单位圆盘 D的边界上一个连续函数,则狄利克雷问题的解u(z)由积分给出:
如果为上式,如果,为下式。
解u在闭单位圆盘上连续在D内调和。
被积函数称为泊松核;这个解由二维格林函数导出:
这里调和
并使得对有G(z,x)=0。
狄利克雷问题是典型的椭圆型微分方程、位势论和拉普拉斯方程。其他例子包括双调和方程以及弹性理论中相关方程。
狄利克雷问题是在边界上给出信息的偏微分方程问题中一类,其他类型包括诺伊曼问题和柯西问题。