调和函数积分等式证明

题目

第一部分:证明积分等式

u u u Ω ⊂ R n \Omega \subset \mathbb{R}^n ΩRn 内调和,且 B ( x 0 , c ) ⊂ ⊂ Ω B(x_0, c) \subset \subset \Omega B(x0,c)Ω,满足 a ≤ b ≤ c a \leq b \leq c abc b 2 = a c b^2 = ac b2=ac。需证:
∫ ∣ ω ∣ = 1 u ( x 0 + a ω ) u ( x 0 + c ω ) d ω = ∫ ∣ ω ∣ = 1 u 2 ( x 0 + b ω ) d ω . \int_{|\omega|=1} u(x_0 + a\omega)u(x_0 + c\omega) d\omega = \int_{|\omega|=1} u^2(x_0 + b\omega) d\omega. ω=1u(x0+aω)u(x0+cω)dω=ω=1u2(x0+bω)dω.
为简化,平移坐标使 x 0 = 0 x_0 = 0 x0=0,则需证:
∫ S n − 1 u ( a ω ) u ( c ω ) d σ ( ω ) = ∫ S n − 1 u 2 ( b ω ) d σ ( ω ) , \int_{S^{n-1}} u(a\omega)u(c\omega) d\sigma(\omega) = \int_{S^{n-1}} u^2(b\omega) d\sigma(\omega), Sn1u(aω)u(cω)dσ(ω)=Sn1u2(bω)dσ(ω),
其中 S n − 1 S^{n-1} Sn1 是单位球面, d σ ( ω ) d\sigma(\omega) dσ(ω) 是球面测度。

由于 u u u B ( 0 , c ) B(0, c) B(0,c) 内调和,且在原点附近有界(因闭球紧包含于 Ω \Omega Ω),可将 u u u 展开为球谐函数级数:
u ( r ω ) = ∑ k = 0 ∞ ∑ j = 1 d k a k , j r k Y k , j ( ω ) , u(r\omega) = \sum_{k=0}^{\infty} \sum_{j=1}^{d_k} a_{k,j} r^k Y_{k,j}(\omega), u(rω)=k=0j=1dkak,jrkYk,j(ω),
其中 { Y k , j } \{Y_{k,j}\} { Yk,j} S n − 1 S^{n-1} Sn1 上的标准正交基( d k d_k dk 是第 k k k 阶球谐函数的维数),满足:
∫ S n − 1 Y k , j ( ω ) Y m , l ( ω ) d σ ( ω ) = δ k m δ j l . \int_{S^{n-1}} Y_{k,j}(\omega) Y_{m,l}(\omega) d\sigma(\omega) = \delta_{km} \delta_{jl}. Sn1Yk,j(ω)Ym,l(ω)dσ(ω)=δkmδjl.

计算左端积分:
∫ S n − 1 u ( a ω ) u ( c ω ) d σ ( ω ) = ∫ S n − 1 ( ∑ k , j a k , j a k Y k , j ( ω ) ) ( ∑ m , l a m , l c m Y m , l ( ω ) ) d σ ( ω ) . \int_{S^{n-1}} u(a\omega) u(c\omega) d\sigma(\omega) = \int_{S^{n-1}} \left( \sum_{k,j} a_{k,j} a^k Y_{k,j}(\omega) \right) \left( \sum_{m,l} a_{m,l} c^m Y_{m,l}(\omega) \right) d\sigma(\omega). Sn1u(aω)u(cω)dσ(ω)=Sn1k,jak,jakY

你可能感兴趣的:(算法)