Problem 1.
求半空间{(x,y,z);z>0} 以及球{(x,y,z);x2+y2+z2<R2} 的格林函数,并给出相应的狄利克雷问题的解.
上半空间.
记Ω={(x,y,z)∈R3:z>0},边界∂Ω={(x,y,z):z=0}。对于点Q(x,y,z)∈Ω (z>0) 和P(x1,y1,z1)∈Ω,在Q1(x,y,−z)处放置与Q点处电荷量相同的负点电荷,则格林函数为:
其中
下面我们来验证G(P,Q)符合格林函数的定义.
在边界∂Ω 上 (z1=0):
在Ω 内部,ΔPG(P,Q)=δ(P−Q),这是因为:
且Q1∈/Ω,所以第二项在Ω 内调和。
现在我们来计算法向导数:
在边界∂Ω 上,外法向量方向为−z 方向,因此∂n∂G=−∂z1∂G。在边界z1=0 处:
当z1=0 时,r(P,Q)=r(P,Q1)=(x−x1)2+(y−y1)2+z2,代入得:
对于半空间Ω 上的狄利克雷问题:
解可表示为:
代入已求得的法向导数,并注意到在边界上dSP=dx1dy1,我们可得:
∎
球.
对于球Ω={(x,y,z)∈R3:x2+y2+z2<R2} 的格林函数,我们使用球坐标系。设Q(ρ,θ1,φ1) 为球内一点,P(ρ2,θ2,φ2) 为变点,球坐标变换为:
其中0≤φ≤π,0≤θ≤2π,0≤ρ<R。
为了构造球的格林函数,我们在Q 关于球面的反演点Q1 处放置适当强度的镜像电荷。设Q 的球坐标为(ρ,θ1,φ1),则其反演点Q1 位于射线OQ 上,且满足:
我们定义球的格林函数为:
其中r(P,Q)=∣P−Q∣,r(P,Q1)=∣P−Q1∣。
下面我们来验证G(P,Q)是格林函数。
首先验证边界条件:当P 在球面∂Ω 上时,即∣P∣=R,需要证明G(P,Q)=0。
当P 在球面上时,由圆幂定理我们可得:
因此,在球面∣P∣=R 上:
其次验证在Ω 内部,ΔPG(P,Q)=δ(P−Q)。第一项−4πr(P,Q)1 的Laplace算子作用结果为δ(P−Q),而第二项ρR⋅4πr(P,Q1)1 在Ω 内是调和的,因为Q1 在球外 (∣Q1∣=R2/ρ>R)。
现在计算法向导数。在球坐标系中,外法向为径向方向,因此:
经过计算可得:
对于球域Ω 上的狄利克雷问题:
其解为:
其中ρ=∣Q∣,r(P,Q)=∣P−Q∣,积分在球面∂Ω 上进行。
∎
Problem 2.
设u 在以Q 为心、R 为半径的球B 内非负调和,而在B 上连续,则对任意P∈B,有
其中ρ=∣PQ∣。
证明.
类似求圆上Laplace方程的Dirichlet问题,我们有:
其中f(φ)=u(R,φ) 是边界值。
由于−1≤cos(θ−φ)≤1,可得:
注意到:
因此:
由平均值性质,当ρ=0 时:
代入可得:
∎
Problem 3.
证明n=3的可去奇点定理.
我们先来叙述一下n=3的可去奇点定理:
Theorem 1.
设u(x) 在BR(A)∖{A} 中调和,且在A 点附近满足
则我们可以通过补充定义u 在A 点的值,使得u 在整个BR(A) 中调和。
证明.
由条件可知:
取固定半径R 使得BR(A)⊂Ω,对任意δ<R,考虑球环区域BR(A)∖Bδ(A)。定义比较函数:
其中C 是正常数。我们不难验证VC 满足:
现在定义u1 为如下边值问题的解:
考虑函数w=u1−u,则w 满足:
由条件limx→A1/∣x−A∣u(x)=0,以及u1 在A 点附近有界,可得:
对任意固定的C>0,存在δ0>0,使得当∣x−A∣=δ0 时,有:
现在考虑函数w−VC,它在区域BR(A)∖Bδ0(A) 中满足:
由极值原理,在BR(A)∖Bδ0(A) 中有:
同理,考虑函数w+VC,可得:
由极值原理,在BR(A)∖Bδ0(A) 中有:
因此,在BR(A)∖Bδ0(A) 中成立:
由于δ0 可以任意小,上述不等式实际上在BR(A)∖{A} 中成立。现在令C→0,则VC→0,于是:
即u1=u 在BR(A)∖{A} 中。由于u1 在BR(A) 中调和,我们可以通过定义u(A)=u1(A) 来补充u 在A 点的值,使得u 在整个BR(A) 中调和。
∎
PDF
Download the original write-up here.