调和分析讲义005---调和函数的基本性质

  • 格式:pdf
  • 大小:102.90 KB
  • 文档页数:5

1第02章 调和函数的边界值

第2.1节 调和函数的基本性质

定义.设

nDE为区域,2uCD,若2

10n

k

kuu



,则称u为调和函数.

注.调和函数的平移,旋转,伸缩,偏导数也是调和的.

例.22

,tyixt

uxyee

在

1nE

上调和.

例.





1

22

22

,

||nnyty

Pxycex

xy





在

1,:0

nExyy

中调和.

注意,1n时,

,Pxy是1

22

2||

1n

nc

xy

n

关于y的偏导数;

当1n时,

,Pxy是1

22

2ln||

ncxy关于y的偏导数,它们均是调和的.

例.当2n时,2n

uxx

在

\0

nE中调和;

当2n时,

lnuxx在

\0

nE中调和.

例.2

01||

||nx

ux

xx

在

0\

nEx中调和.

例.

1,sincoshn

k

kuxynx



1nE

上调和.

定理1(平均值定理).设u在D中调和,若

0,BxrD,则对任意

00rr,均有





1,1

11,11

nxun

nnBxruxruxrtdtutds

r



.

证.设

:xxr,

2

,2

ln,2n

xn

vx

xn



,则0vu

udsvds

nn





,而

1

2nv

udsnxuds

n





,故

1111

rnnudsuds

r



,令0,证毕.

注2(格林定理).

AndsAdx

. 特别地,(1)2u

dsundsudxudx

n





; (2)vu

uvdsuvvundsuvvudx

nn







. 2注.

1110

nnnd

uxrtdtuxrttdtruxrtdt

dr

,故



111

0lim

nnnuxrtdtuxtdtux





.

推论.设u在D中调和,若

0,BxrD,则对任意

00rr,均有



111

n

nnttruxuxrtdtutdt

r



.

证.

1111

11

100

nnnn

tuxrtdtdtuxrtdduxrtdt





1

11

1

0nn

nnuxduxux

n



,证毕.

定理3(最大值原理).设实值函数u在D中调和,若

sup

xDAux

,则u为常数,

或者在D中uA.

证.若

uxA,则在

,Bx内uA,故

:xDuxA是开集,又由连续性,



:xDuxA是闭集,而D连通,故

:xDuxAD,证毕.

注.若

inf

xDBux

,则u为常数,或者在D中uB.

推论.设实值函数u在D中调和,在D上连续,若u不是常数,则其最大值最小值

均只能在D上达到.

推论4.设实值函数

12,uu在D中调和,在D上连续,若在D上

12uu,则在D上

12uu.

定理5(Liouville定理).设u在

nE上调和,若u有界,则u为常数.

证.





1212

12,,11

,,

BxrBxruxuxuxdxuxdx

BxrBxr





12,,1

n

nBxrBxruxdx

r

,若

uxM,故当

12rdxx时,有 

121222

,\,0,\0,

nn

nnMM

uxuxBxrBxrBrBrd

rr



2

0n

n

nM

rrd

r



,令r,得

12uxux,证毕. 3引理6.设2uCD,若

,,

xuBxrDuxr󰀀,则u在D中调和.

证.

1111100

iij

nnnnn

tittij

iiuxrtdtCuxrttdtuxrtttdt

,故



11

111

0

ijii

nnn

ttijntt

iiuxttdtux

n





,证毕.

定理7.设

uCD,若

,,

xuBxrDuxr󰀀,则uC,故在D中调和.

证.设

0,BxrD,不妨设在

0,Bxr之外0u;

取径向函数

0nCE,满足

supp0,1B,且

1

nEtdt

,则

0,xBxr,

当充分小时,

11

0

nnn

Euxuxttdtdtuxrtrrdr









111

1

00

nnn

nrrdruxrtdtuxrrdrux





,即



uxux

,而CuC

,证毕

注.设1

locuLD,若

11

,

ntBxrDuxuxrtdt



󰀀,则u在D上调和.

推论8.设

ku为D中调和函数序列,若在D的紧子集上

ku均一致收敛于u,则

u在D中调和.

Dirichlet问题.设D为有界区域,若

fCD,问:是否存在D中的调和函数, 使得在D上连续,在D上等于f.

定义.记22

2

2

1111||11

,

||

12cosnn

nnxr

psx

xs

rr





,其中cosxs

r,1s,

称为单位球内的Poisson核. 定理9.(1)当1x时,

,0psx;(2)当1x时,

1,1

npsxds

;

(3)当1r时,对x一致地有

,0

sxpsrxds

.

证.(2)

11,,01

nnpsrxdxps



,而2211

||||nnrr

rxsxrs







,,psrxpxrs,即得,证毕.