基础
基本结论
考虑定义在 { ( x , y ) : y ≥ 0 } \{(x,y):y \ge 0\} {
(x,y):y≥0}(即上半平面)上的Laplace方程 Δ u ( x , y ) = ∂ 2 u ∂ x 2 + ∂ 2 u ∂ y 2 = 0 \Delta u(x,y)=\frac{\partial^2 u}{\partial x^2}+\frac{\partial^2 u}{\partial y^2}=0 Δu(x,y)=∂x2∂2u+∂y2∂2u=0
考虑 ( − ∞ , a 1 ] ∪ ( a 1 , a 2 ] ∪ ⋯ ∪ ( a n − 1 , a n ] ∪ ( a n , + ∞ ) = R (-\infty,a_1] \cup(a_1,a_2]\cup \cdots \cup(a_{n-1},a_n] \cup (a_{n},+\infty)=\mathbb R (−∞,a1]∪(a1,a2]∪⋯∪(an−1,an]∪(an,+∞)=R,记这一系列区间为 I 0 , I 1 , ⋯ , I n − 1 , I n I_0,I_1,\cdots,I_{n-1},I_n I0,I1,⋯,In−1,In,假设边界条件为
u ( x , 0 ) = u k , x ∈ I k , k = 0 , 1 , ⋯ , n u(x,0)=u_k,x \in I_k,k=0,1,\cdots,n u(x,0)=uk,x∈Ik,k=0,1,⋯,n
则解的一般形式为( z = x + i y z=x+iy z=x+iy)
u ( z ) = ∑ k = 1 n A k a r g ( z − z k ) + B u(z)=\sum_{k=1}^n A_k arg(z-z_k)+B u(z)=k=1∑nAkarg(z−zk)+B
待定系数为 { A 1 , ⋯ , A n , B } \{A_1,\cdots,A_n,B\} { A1,⋯,An,B}共 n + 1 n+1 n+1个,而边界条件正好可以提供 n + 1 n+1 n+1个方程。
方法
当定义域的形状不是上半平面时,我们可以用过保形映射把定义域变换成上半平面,并根据变换后的边界条件确定上半平面内Laplace方程的解,最后将保形映射代入到这个解中得到边值问题的解。
常用映射总结( z = x + i y z=x+iy z=x+iy)
变换 | 变换的作用 |
---|---|
w = z + z 0 , z 0 ∈ C w=z+z_0,z_0 \in \mathbb C w=z+z0,z0∈C | 按 z 0 z_0 z0的长度与方向平移图像 |
w = c z , c ∈ R w=cz,c \in \mathbb R w=cz,c∈R | 以原点为中心 c c c为倍数放缩图像 |
w = z e i ϕ w=ze^{i\phi} w=zeiϕ | 以原点为中心, ϕ \phi ϕ为转角旋转图像 |
w = z n w=z^n w=zn | 将半径与angle同时放大至 n n n倍 |
w = e z , y ∈ [ a , b ] ⊆ [ 0 , 2 π ] w=e^z,y \in [a,b] \subseteq [0,2\pi] w=ez,y∈[a,b]⊆[0,2π] | 将strip映射为angle |
w = log z w=\log z w=logz, arg z ∈ [ a , b ] ⊂ [ 0 , 2 π ] \arg z \in [a,b] \subset [0,2\pi] argz |