Up ラプラス方程式・複素ポテンシャル 作成: 2023-11-19
更新: 2023-11-20


      趣味の大学数学「複素ポテンシャルとは:円環領域を例に」 から引用
    実ポテンシャル関数\(\Phi\)とは、ラプラス方程式

        \[ \begin{aligned}\Delta \Phi =\frac{\partial^2 \Phi }{\partial x^2}+\frac{\partial^2 \Phi }{\partial y^2}=0\end{aligned} \]

    を満たす関数のことです。
    調和関数とも。
    電気、熱、流体のような物理に得られるポテンシャルは、ラプラス方程式を満たすことが知られています。

    調和関数\(\Phi\)に対しては、コーシー・リーマンの方程式を使って、その共役調和関数\(\Psi\)が(実定数の差を除いて)定まります。
    そこで、それらを合わせてできる正則関数

        \[ \begin{aligned}F(z):=\Phi +i \Psi\end{aligned} \]

    を、複素ポテンシャル(complex potential)と呼びます。

    複素ポテンシャルを考えると、2次元の実ポテンシャル\(\Phi\)を調べるために、複素解析の理論が使えます。
    正則関数は \(f^{\prime}(z)\neq 0\) となる点では等角写像(角度を保存)で、\(\Phi = C_1\)という等高線と\(\Psi = C_2\)という等高線は常に直交することが知られています。

    物理的には、ポテンシャルと力は直交するので、\(\Psi\)の等高線は力線(lines of force)と呼ばれます。
    例えば\(\Phi\)が電気ポテンシャルを表すとき、\(\Psi\)の等高線は電気力線となるわけです。

    また、\( \Phi \)が流体における速度ポテンシャルであるとき、\(F\)は複素速度ポテンシャル、\(\Psi\)は流れ関数と呼ばれています。



    流体力学
    速度ポテンシャル \( \varphi \) は,ラプラス方程式を満たす:
      \[ \frac{ \partial^2 \varphi }{ \partial x^2 } + \frac{ \partial^2 \varphi }{ \partial y^2 } = 0 \]
    流れ関数 \( \psi \) に対し,
      \[ \frac{ \partial \varphi }{ \partial x } = \frac{ \partial \psi }{ \partial y } \\ \frac{ \partial \varphi }{ \partial y } = - \frac{ \partial \psi }{ \partial x } \\ \]
    この式は,複素解析のコーシー・リーマンの方程式と同じ形。
    よって,複素関数:
      \[ w( x + i y ) = \varphi (x, y) + i \psi ( x, y ) \]
    は正則。
    そして,
      \[ \begin{align} \frac{ d w }{ dz } &= \frac{ d \varphi }{ dx } - i \frac{ d \varphi }{ dy } \\ &= \frac{ d \psi }{ dy } + i \frac{ d \psi }{ dx } \\ \end{align} \]
    これは「複素速度」の形になっているので,
      \[ \frac{ d w }{ dz } \]
    をそのまま複素速度と呼ぶ。
    そして \( w \) に溯って,これを複素速度ポテンシャルと呼ぶ。

    複素速度は,流れの水平方向の速さが実部,垂直方向の速さが虚部になっている。
    したがって,流速が複素速度の絶対値に表される。

    複素速度ポテンシャルを導入することに,どんなメリットがあるのか?
    色々な流れを,ロジカルにつくり出せるということである。
    即ち,任意の正則な複素関数 \( w \) に対し,これを,
      \[ w( x + i y ) = \varphi (x, y) + i \psi ( x, y ) \]
        \( \varphi,\ \psi \):実関数
    と表せば,\( \varphi,\ \psi \) をそれぞれ速度ポテンシャル,流れ関数とする流れが得られたことになる。
    それは,アブストラクト・ナンセンスな流れかも知れないが,少なくともロジカルである。