二、极值原理·能量积分·定解问题的惟一性定理

    椭圆型方程、抛物型方程的极值原理及双曲型方程的能量守恒原理是相应方程的解所具有的最基本性质之一,在定解问题的研究中起着重要的作用.

    [椭圆型方程的极值原理与解的惟一性定理]

    1°  极值原理  Dn欧氏空间En的有界区域,SD的边界,在D内考虑椭圆型方程

式中aij(x),bi(x),c(x),f(x)上连续,c(x)0且二次型正定,即存在常数μ>0,对任意和任意的ai

    定理1  u(x)D内椭圆型方程的解,它在D内二次连续可微,在上连续,且不是常数,如f(x)0(或f(x)0),则u(x)不能在D的内点取非正最小值(或非负最大值).

    如果过边界S上的任一点P都可作一球,使它在P点与S相切且完全包含在区域D内,则有

    定理2  u(x)为椭圆型方程在D内二次连续可微,在上连续可微的解,且不是常数,并设f(x)0(或f(x)0.u(x)在边界S上某点M处取非正最小值(或非负最大值),只要外法向导数在点M存在,则

   ()

    2°  定解问题

    (i)       第一边值问题(狄利克莱问题)

       (S)

    (ii)      第二边值问题(诺伊曼问题)

(S)

其中 NS的外法线方向.

    (iii)     第三边值问题(混合问题)

      (S)

a(),b(),()S上连续,NS的外法线方向,a()0,b()0,且a2()+b2()0.

    3°  解的惟一性问题  c(x)b()不同时恒等于零,如果定解问题Lu=f,lu=的解存在,则是惟一的,设c(x)b()都恒等于零,如果定解问题Lu=f,lu=的解存在,则除相差一个常数外,解是惟一的.

    [抛物型方程的极值原理与解的惟一性定理]  为柱体,在柱体内部 考虑抛物型方程

式中aij(x,t),bi(x,t),c(x,t),f(x,t)上连续,正定.

    1°  强极值原理  u(x,t)为抛物型方程Lu=f(x,t)D×(0,T)内连续可微在上连续的解.并设f(x)=0,若u(x,t)D×(0,T]的某点(x0,t0)取非负的最大值,即

则对任意满足下列条件的点P(x,t),都有u(x,t)=m:点P(x,t)满足t<t0,且可用完全在D×(0,T] 内的连续曲线x=x(t)与点(x0,t0)相连.

    如在的侧边界Γ:S×[0,T]上(SD的边界)任一点P都可作一球,使它在P点与Γ相切且完全在D×(0,T)内,则有

    定理  u(x,t)上连续,在D×(0,T]内满足抛物型方程Lu=f,且不是常数,设 f0,若u(x,t)Γ上某点M处取非正最小值,只要外法向导数在点M存在,则 

    2°  柯西问题与混合问题

    柯西问题的初值条件是

    混合问题按下列的定解条件分别称为

     (i)     第一边值问题:,;

     (ii)    线性边值问题:,,

其中NΓ的外法线方向为已知函数,a0b0a2+b20

    3°  解的惟一性定理  如果抛物型方程Lu=f的混合问题的解存在,那末它是惟一的.如果柯西问题存在有界的解,那末在有界函数类中,解是惟一的.

    [波动方程的能量积分与解的惟一性定理]

    1°  波动方程的柯西问题与混合问题  设波动方程为

    柯西问题的初值条件是

    如果在有界区域Q:D×(0,T]中考虑波动方程,记的侧边界为Γ,则混合问题的定解条件是

(i)            第一边值问题

(ii)          第二边值问题

(iii)         第三边值问题

式中NΓ的外法线方向,φ(x),ψ(x)D上的已知函数,为定义在Γ上的已知函数,.

    2°  解的惟一性定理  波动方程的混合问题与柯西问题的解如果存在必定惟一.

    惟一性定理可用下面能量积分证明.

    3°  能量积分  积分

*

称为波动方程的能量积分.

    满足齐次波动方程及u|Γ=0(或)的函数u(x,t)成立:

    能量守恒原理                                     E(t)=E(0).

    能量不等式            

式中                            

满足齐次波动方程及的函数,在上面能量不等式E(t)中增加一项,上面关系仍成立.

    对于柯西问题,在特征锥

       R为大于零的常数)

中考虑齐次波动方程的解u,记特征锥与t=t0的截面为,关于能量积分

成立下面的能量不等式

式中                      

πtt=常数的超平面与以为上底所作的柱体(母线平行于Ot轴)的交截面.



*  的简写,下同.