四、基本解与广义解

    [共轭微分算子与自共轭微分算子]  算子

称为二阶线性微分算子,式中aij,bi,cx1,x2,,xn的二次连续可微函数.由公式

决定的算子L*称为L的共轭微分算子.如果L=L*,则称L为自共轭微分算子.

    [格林公式]

    1°  算子L的格林公式是

式中S为区域D的边界,NS外法线矢量,eixi的轴的矢量

(0,,0,,0,,0),

cos(N,ei)表示矢量Nei的夹角的余弦,

    2°  三维拉普拉斯算子的格林公式

其中是外法向导数.

    3°  算子

的格林公式

式中L*L的共轭微分算子,N为外法线矢量,i,j分别为x轴,y轴上的单位矢量.

    [基本解]

    1°  方程Lu=f的基本解:

    M,M0En中的点,满足方程

的解U(M,M0)称为方程Lu=f的基本解,有时也称为方程Lu=0的基本解,式中(M-M0)称为n维狄拉克函数(-函数).

    基本解U(M,M0)满足

    (i)     LU(M,M0)=0,当MM0

    (ii)    对任意充分光滑的函数f(M)

于是U(M,M0)满足Lu=f(M) .

    所以有时也就把满足条件(i)(ii)的函数U(M,M0)定义为方程Lu=f(M)的基本解.

     (a)    Δu=0的基本解

    二维:                 

    三维:                 

    n维:                  

式中表示点MM0间的距离.

    (b)      n空间的多重调和方程mu=0的基本解

    (c)      热传导方程的基本解

    (d)      波动方程的基本解

    一维:

    二维:

                           

三维:

    2°  柯西问题的基本解

    (i)     称满足

的解为波动方程柯西问题的基本解,它的形式为

    一维:

    二维:

    三维:

    (ii)    称满足

的解为热传导方程柯西问题的基本解,它的形式是

    同样方法可以定义其他定解问题的基本解.

    由定义可见,基本解表示由集中量(如点热源,点电荷等)所产生的解,下段介绍的格林函数,黎曼函数也具有这种特点,统称它们为点源函数,或影响函数.

    [广义解]  在区域D中给定二阶线性方程

式中fD上连续.

    1°  un(x)D上充分光滑(如二阶连续可微)的函数序列,当n→∞时,un(x)一致(或在适当意义下)收敛于函数u(x),同时Lun也一致(或在适当意义下)收敛于f(x),则称u(x)Lu=f的广义解.

    2°  设函数u(x)在区域D内连续,如果对于任意二次连续可微且在与D的边界距离小于某一正数的点上恒等于零的函数无关,称为D的试验函数)有

那末称u(x)为方程Lu=f的广义解.

    有时为了区别广义解,称以前定义的解为古典解,古典解一定是广义解.但因广义解不一定光滑,甚至不可微,所以不一定是古典解.

    例如,当(x)(x)只是x的连续函数时,函数

u(x,t)=(x+t)(xt)

为波动方程

的广义解,但不是古典解.