キャビティ流れの有限差分法シミュレーション

# 初めに
[有限差分法の基礎的な勉強](https://qiita.com/ShotaDeguchi/items/7d3ab5e9765200360a3d)の後，もう少しだけ応用（らしい）問題を取り上げようと思った．

有名な2次元キャビティ流れのシミュレーションを，有限差分法によって実行することにした．

間違いを含む可能性があるので，鵜呑みにしないよう慎重に読んでいただき，その場合はご指摘いただきたい．

コードは[ここ](https://github.com/ShotaDeguchi/Cavity_FDM_NumPy2)にある．

# Methodology
## 支配方程式
水などの非圧縮性のニュートン流体を考える．支配方程式は，質量保存則と運動量保存則を記す以下のNavier-Stokes方程式である（無次元化している）．
```math
\begin{align}
    \nabla \cdot \mathbf{u} &= 0 \\
    \frac{\partial \mathbf{u}}{\partial t} + \left( \mathbf{u} \cdot \nabla \right) \mathbf{u} &= - \nabla p + \frac{1}{\mathrm{Re}} \nabla^2 \mathbf{u} + \mathbf{f} \
\end{align}
```
ここで，$\mathbf{u}$は速度，$p$は圧力，$\mathbf{f}$は外力である（空間次元は$M$次元とする i.e. $\mathbf{x} \in \Omega \subset \mathbb{R}^M$）．ただし，キャビティ流れは外力が作用しない問題設定なので，$\mathbf{f} = \mathbf{0}$とする．また，$\mathrm{Re}$はReynolds数と呼ばれる無次元量であり，慣性と粘性の比を示す．$\mathrm{Re}$が大きいとき，その流れ場では慣性が卓越しており，流体が激しく動く．$\mathrm{Re}$が小さいとき，粘性が支配的となっており，流体粒子たちが規則正しく並んで動く．

## 空間方向の離散化
移流，拡散，圧力勾配を何らかの差分スキームで近似する．

ここでは，移流を1次精度風上差分，QUICKEST，KKの3つのスキームで近似し（各手法については，[以前の投稿](https://qiita.com/ShotaDeguchi/items/7d3ab5e9765200360a3d)を参照），拡散，圧力勾配については2次精度中心差分で以て表現する．

例えば，以下のように近似する．
```math
\begin{align}
&\mathrm{advection:} \; c \frac{\partial \phi}{\partial x} 
    \approx c \frac{\phi_{i+1} - \phi_{i-1}}{2 \Delta x} 
    - \frac{|c| \Delta x}{2} \frac{\phi_{i+1} - 2 \phi_{i} + \phi_{i-1}}{(\Delta x)^2} \\
&\mathrm{diffusion:} \;\; \frac{\partial^2 \phi}{\partial x^2} 
    \approx \frac{\phi_{i+1} - 2 \phi_{i} + \phi_{i-1}}{(\Delta x)^2} \\
&\mathrm{gradient:} \;\;\;\;\ \frac{\partial \phi}{\partial x} 
    \approx \frac{\phi_{i+1} - \phi_{i-1}}{2 \Delta x}
\end{align}
```
ここで，$\phi_{i}$は節点$i$に与えられた物理量，$\Delta x$は空間解像度である．

## 時間方向の離散化
Chorinの射影法（[Chorin1968](https://doi.org/10.2307/2004575)）を用いる．これは，分離型解法，演算子分割法などと呼ばれることもある[^1]．
[^1]: 現状の私の理解を記しておく．非圧縮性流体シミュレーションの解法として導入されたのがChorinの射影法である．これは，Helmholtz分解に基づき，速度場を2つの直交成分（発散フリーの場と回転フリーの場）に分解する．似た方法に，Fractional Step法というものがある．これはより広い枠組みで（恐らく非圧縮性流体に限らず），演算子分割をより多段階にして（例えば[4段階](https://doi.org/10.1016/S0045-7825(96)01156-5)）時間積分を実行するものである．ただし，演算子分割を2段階にしたFractional Step法が最も良く普及しており，これを非圧縮性流体シミュレーションへ適用するとChorinの射影法に似通った形になる．
```math
\begin{align}
  \frac{\mathbf{u}^{(*)} - \mathbf{u}^{(n)}}{\Delta t} &= - \left( \mathbf{u}^{(n)} \cdot \nabla \right) \mathbf{u}^{(n)} + \frac{1}{\mathrm{Re}} \nabla^2 \mathbf{u}^{(n)} + \mathbf{f}^{(n)} \\
  \frac{\mathbf{u}^{(n+1)} - \mathbf{u}^{(*)}}{\Delta t} &= - \nabla p^{(n+1)}
\end{align}
```
ここで，$\mathbf{u}^{(*)}$は新たに導入された中間速度である（仮の速度などとも呼ばれる）．

中間速度$\mathbf{u}^{(*)}$が連続の式を満たしていなくても目を瞑ることにし，$\mathbf{u}^{(n+1)}$でこれが満たされると考える．すなわち，$\nabla \cdot \mathbf{u}^{(n+1)} = 0$を要求し，以下の圧力Poisson方程式（PPE: Pressure Poisson Equation）を得る．
```math
\begin{align}
  \nabla \cdot \left( \frac{\mathbf{u}^{(n+1)} - \mathbf{u}^{(*)}}{\Delta t} \right) &= - \nabla \cdot \nabla p^{(n+1)} \\
  \nabla^2 p^{(n+1)} &= \frac{ \nabla \cdot \mathbf{u}^{(*)}}{\Delta t}
\end{align}
```
これは，$\nabla \cdot \mathbf{u}^{(n+1)} = 0$を満たすような圧力場を定めておき，そのような速度場に向けて中間速度を圧力勾配によって修正する，という操作だと解釈できる．

纏めると，時間積分を以下の流れで実行する：
| # | Description | Equation |
| :---: | :--- | :--- |
| 1 | 中間の速度場を得る． | $\mathbf{u}^{(*)} = \mathbf{u}^{(n)} + \Delta t \left( - \left( \mathbf{u}^{(n)} \cdot \nabla \right) \mathbf{u}^{(n)} + \nabla^2 \mathbf{u}^{(n)} / \mathrm{Re} + \mathbf{f}^{(n)} \right)$ |
| 2 | PPEを解き次の圧力場を得る． | $\nabla^2 p^{(n+1)} = \nabla \cdot \mathbf{u}^{(*)} / \Delta t$ |
| 3 | 次の速度場へ修正する． | $\mathbf{u}^{(n+1)} = \mathbf{u}^{(*)} + \Delta t \left( - \nabla p^{(n+1)} \right)$ |

全く違う話題だが，そう云えば，と思い，mermaid記法を使ってみる．が，醜い（こういうのを伝えるのには向いていないか）．

```mermaid
%%{init: {'theme':'dark'}}%%

graph TD

subgraph Simulation Time
    timestep:n-1
    timestep:n
    timestep:n+1
end

subgraph timestep:n-1
    U-1(new vel)
end
    U-1 --> U0

subgraph timestep:n
    S0(add)
    S1(add)
    S2(add)
    U0(old vel)
    V0(int vel)
    W0(new vel)
    B0(src)
    P0(new prs)
    Q0(prs grad)
    A0(advc)
    D0(diff)
    F0(ext frc)

    U0 --> A0
    U0 --> D0
    A0 --> S0
    D0 --> S0
    F0 --> S0

    S0 -- x dt --> S1
    U0 --> S1
    S1 --> V0

    V0 -- / dt --> B0
    B0 -- solve PPE --> P0

    P0 -- nabla --> Q0
    Q0 -- x dt --> S2
    V0 --> S2
    S2 --> W0
end

subgraph timestep:n+1
    U+1(old vel)
end
    W0 --> U+1
```

## 空間解像度
流体内部では絶え間なく渦が発生，消散している．大きい渦は小さい渦を形成し，小さい渦がさらに小さい渦を形成し，さらにさらに，，，といった具合である．この過程でエネルギーは大きい渦から小さい渦へ受け渡され，最終的には極めて小さい（Kolmogorovの長さスケール）渦となり，粘性（摩擦）の影響により熱エネルギーとして散逸する．

渦の最小単位とされるKolmogorovの長さスケール$\eta$は，次元解析から概算できる．単位時間当たりの乱れエネルギー供給率$\delta \ [ \mathrm{m^2/s^3} ]$は，エネルギー$U^2$を時間$U / L$で除すことにより，
```math
\delta \sim \mathcal{O} \left[ \frac{U^{3}}{L} \right]
```
と得られる．一方，乱れエネルギーの散逸率$\epsilon \ [ \mathrm{m^{2}/s^{3}} ]$は，
```math
\epsilon \sim \mathcal{O} \left[ \frac{\nu^{3}}{\eta^{4}} \right]
```
程度である．供給と散逸が同程度に発生しているとすると，特徴長さ$L$と渦の最小長さ$\eta$の比が得られる．
```math
\frac{L}{\eta} \sim \mathcal{O} \left[ \mathrm{Re}^{3/4} \right]
```
すなわち，高Reynolds数の流れ場では，エネルギーを供給するスケールに対して，エネルギーが散逸するスケールが非常に小さいということである．計算の都合上の話をすれば，1軸方向において，特徴長さ$L$と渦の最小長さ$\eta$の比がReynolds数の冪乗に比例するということであり，渦の解像に必要となる格子点の数が分かる．特に，空間$M$次元の広がりを持つ問題では，
```math
\left( \frac{L}{\eta} \right)^{M}
\sim \mathcal{O} \left[ \left( \mathrm{Re}^{3/4} \right)^{M} \right]
```
となる．例えば，$\mathrm{Re} = 1,000$の流れ場をシミュレートしたいのならば，1軸方向に
$\left( L / \eta \right)^{M} \sim 180^{M}$程度の格子点が要求される．2次元空間では$\left( L / \eta \right)^{2} \sim 32,000$，3次元空間では$\left( L / \eta \right)^{3} \sim 5,600,000$というように，要求される計算資源は指数的に増加する．また，実際にシミュレートしたい現象のReynolds数は数万スケール以上であることが多いので[^2]，それはそれは莫大な計算資源が要求されることになる．

[^2]: 航空機の主翼まわりでのReynolds数は$10^{6} \sim 10^{8}$ほどらしい．

キャビティ流れでは，特徴長さ$L$を$L = 1$として，渦の最小長さ$\eta$が凡そ分かる．すなわち，$\eta$より小さい解像度を用いれば，（凡そ）全ての渦が解像できると考えられる．再度，$\mathrm{Re} = 1,000$とすれば$\eta \approx 5.5 \times 10^{-3}$なので，$\Delta x = 5 \times 10^{-3}$などとすれば，最も小さい渦まで解像できると考えられる（はずである）．

ただし，先に述べたように，全ての渦を解像しようとすると，要求される計算資源は実に膨大となる（DNS: Direct Numerical Simulation）．そのような場合には，何らかの乱流モデルを導入することで，解像し切れない渦による熱散逸を表現する（LES: Large Eddy Simulation）[^3]．

[^3]: 名前のメモだけ残しておく．乱流モデルを導入する必要が無いほどに細かい解像度を用いて直接シミュレートする方法をDNS（Direct Numerical Simulation）と呼ぶ．全ての渦を解像することは諦め，解像し切れない渦による熱散逸をモデル化する方法をLES（Large Eddy Simulation）と呼ぶ．この他に，RANS（Reynolds-Averaged Navier-Stokes），URANS（Unsteady RANS）などもある．

### Smagorinskyモデル
ここでの議論は，[この動画](https://www.youtube.com/watch?v=V8ydRrdCzl0)が勉強になる．

渦の最小長さより大きい計算格子を使ってシミュレートする場合，計算格子より大きい（グリッドスケール，GS）渦はきちんと解像できるが，それより小さい（サブグリッドスケール，SGS）渦は解像し切れないので，熱へのエネルギー散逸が表現できない．ここで，SGSの渦の効果をモデル化して計算するのがLESである．先に述べたように，小さい渦はエネルギーを熱に散逸させるため，粘性の効果としてエネルギー消散を表現することにする．ここで，分子粘性に加えて「渦粘性」を導入する．すなわち，
```math
\nu \nabla^2 \mathbf{u} \rightarrow \left( \nu + \nu_{T} \right) \nabla^2 \mathbf{u}
```
として，渦によるエネルギー消散を粘性によるエネルギー消散に吸収させる．ここで，$\nu_{T}$は渦粘性である．

Smagorinskyモデル（[Smagorinsky1963](https://doi.org/10.1175/1520-0493(1963)091<0099:GCEWTP>2.3.CO;2)）は，広く普及している渦粘性モデルの一つである．エネルギーカスケードにおける順カスケードを表現する一方，逆カスケードは考慮していない点に注意する必要があるが，数値安定性などのメリットが大きい．
```math
\begin{split}
    \nu_{T} &= \left( C_{S} \Delta \right)^{2} | S | \\
            &= \left( C_{S} \Delta \right)^{2} \left( 2 S_{ij} S_{ij} \right)^{1/2}
\end{split}
```
ここで，$C_{S} \left( \in (0, 1) \right)$はSmagorinsky定数，$\Delta$はグリッドサイズ，$S_{ij}$はひずみ速度テンソルである．

Smagorinsky定数$C_{S}$が唯一のモデル定数である[^4]．Lilly（[Lilly1966](http://dx.doi.org/10.5065/D62R3PMM)）は，一様かつ等方的な乱流に対して理論値を与えており，$C_{S} = 0.173$と結論付けている（そのため，Smagorinsky-Lillyモデルと呼ばれることもある）．
[^4]: Smagorinsky定数$C_{S}$を動的に変化する変数とする[Dynamic Smagorinskyモデル](https://doi.org/10.1063/1.857955)もある．

経験的に，$C_{S} = 0.173$では渦粘性の効果が強すぎることが報告されており，もう少し小さい値にすることが多いらしい．例えば，[Deardorff1970](https://doi.org/10.1017/S0022112070000691)は$C_{S} = 0.1$が実験と良く合致すると報告しており，Ansys Fluentも広い問題で実験と合致する値として$C_{S} = 0.1$をデフォルト値に採用している．本当は，事前にパラメトリックスタディを行うべきなのだろうが，今回は諸々の問題に目を瞑り，$C_{S} = 0.1$とする．さらに本当は，壁面付近で渦が形成されないよう（壁面付近で渦粘性が入らないよう）減衰関数（例えば，van Driestのwall damping function）を導入すべきであるが，現状，実装していない．

## 時間増分
Chorinの射影法は速度を陽的に更新するため，時間増分を慎重に選択する必要がある．

### Courant数の条件
[Courant+1967](https://doi.org/10.1147/rd.112.0215)は，移流に関する時間増分の条件を与えている．

その主張は，以下で定義されるCourant数$C$は$1$より大きくなってはならない，というものである．これにより，移流速度$c$の移流を安定にシミュレートするための時間増分$\Delta t_{C}$を得る．
```math
\begin{align}
C = \sum_{j}^{M} \frac{| c_{j} | \Delta t_{C}}{\Delta x_{j}} &\le 1 \\
\therefore \Delta t_{C} &\le \left( \sum_{j}^{M} \frac{ |c_{j}| }{\Delta x_{j}} \right)^{-1}
\end{align}
```
ここで，$j$は空間の軸を示すインデックスであり，$M$は問題の空間次元である．各軸方向に同じ解像度，同じ移流速度が与えられているとすれば，
```math
\Delta t_{C} \le \frac{\Delta x}{|c| M}
```
が要求される．

### 拡散数の条件
[Neumann&Richtmyer1950](https://doi.org/10.1063/1.1699639)は，拡散に関する時間増分の条件を与えている．

その主張は，以下で定義される拡散数$D$は$1 / 2$より大きくなってはならない，というものである．これにより，拡散係数$d$の拡散を安定にシミュレートするための時間増分$\Delta t_{D}$を得る．
```math
\begin{align}
D = \sum_{j}^{M} \frac{d \Delta t_{D}}{(\Delta x_{j})^2} &\le \frac{1}{2} \\
\therefore \Delta t_{D} &\le \frac{1}{2} \left( \sum_{j}^{M} \frac{d}{(\Delta x_{j})^2} \right)^{-1}
\end{align}
```
ここで，$j$，$M$には先ほどと同じ意味を与えた．また，各軸方向に同じだけの解像度を選択すれば，
```math
\Delta t_{D} \le \frac{1}{2} \frac{(\Delta x)^2}{d M}
```
を満たせば良いことになる．高粘性流体のシミュレーションを実行する際には，Courant数の条件より拡散数の条件が卓越し，かつ拡散数の条件は空間解像度の2乗の速度で抑えつけてくるので，陰解法が好まれたりする．

### 時間増分の選択
Courant数の条件，拡散数の条件を満たしても，外力などが作用する場合には，その効果によってさらに時間増分が制限される．全ての条件を事前に検討するのは大変なので，Courant数の条件，拡散数の条件の両者を満たす数値の内，なるべく大きいものを時間増分として選択することが一般的である．
```math
\Delta t = f_{\mathrm{safety}} \min \left( \Delta t_{C}, \Delta t_{D} \right)
```
ここで，$f_{\mathrm{safety}}$は安全率である．今回は$f_{\mathrm{safety}} = 0.4$とした．

## グリッド
差分法では，グリッドの選択（ここでは，格子の大きさではなく，変数の配置の意味）が重要となる（[Arakawa&Lamb1977](https://doi.org/10.1016/b978-0-12-460817-7.50009-4)）．

説明は省くが，安定性と実装の容易さのバランスから，本稿ではArakawa-B型グリッドを採用する．最も原始的なArakawa-A型グリッドも選択肢の一つであるが，このグリッドは圧力勾配を中心差分近似したとき，checkerboard patternの圧力振動が発生し易い．

# Results
キャビティ流れは，Reynolds数が比較的低い範囲では，定常問題として近似できる．本稿では，以下が満たされたとき，定常状態に到達したと判定することとした．
```math
\left( \frac{\sum_{i, j} | u_{i,j}^{(n+1)} - u_{i,j}^{(n)} |^{2}}{\sum_{i, j} | u_{i,j}^{(n)} |^{2}} \right)^{1/2} \le \varepsilon
```
ここで，$\varepsilon = 10^{-8}$とした．

領域は，単位矩形領域である（$\Omega = (0, 1)^2$）．初期条件は，全ての変数をゼロで初期化した．境界条件は，速度のDirichlet条件として上壁でのみ$\mathbf{u} = [1, 0]^{\top}$を与え，それ以外の壁で非すべり条件を与えた．圧力の条件として，全ての壁で斉次Neumann条件を与えた．矩形領域の左下の頂点で斉次Dirichlet条件を与えた．

## 移流項の離散化スキームの比較
格子系の数値計算法では，移流項の取り扱いが重要となる．なぜなら，移流項を差分近似した結果，「数値粘性」と呼ばれる，分子粘性とは異なる粘性 / 拡散の効果が現れるためである．

本節では，

* A: 1次精度風上差分: 2次精度中心差分 + 2階の数値粘性
* B: QUICKEST: 4次精度中心差分 + 4階の数値粘性
* C: KK: 4次精度中心差分 + 4階の数値粘性

の3者の比較を行う．

空間解像度は$\Delta x = 5 \times 10^{-3}$，時間増分は$\Delta t = 1 \times 10^{-3}$とした．十分細かい解像度を用いている（つもり）なので，渦粘性は導入していない．

速度場のアニメーション，および定常状態での各変数を示す．

||A|B|C|
|:-:|:-:|:-:|:-:|
|$\| \mathbf{u} \|$| ![ezgif.com-gif-maker.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/8c275658-3775-9f70-a0dd-0a2c1b518de2.gif) | ![ezgif.com-gif-maker.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/f559caa9-3d55-be2c-b7a5-fe0ecc61803a.gif) | ![ezgif.com-gif-maker.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/28270d0b-87cb-5780-7e59-7401fe21f417.gif) |
|$\| \mathbf{u} \|$| ![velocity_norm.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/ce0076cf-bf02-15d8-8fbe-864ca7501de1.png) | ![velocity_norm.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/4641f6c6-8346-4c38-61a5-b3b56f4a6491.png) | ![velocity_norm.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/c5bf784a-0568-882c-5eed-38760af91f26.png) |
|$p$| ![pressure.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/a8fb4bab-7056-2d0a-372b-fd183f020e16.png) | ![pressure.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/b40c5fed-7838-caa6-8884-865640235282.png) | ![pressure.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/37fe5cf6-331f-d643-933d-4ed6fb4dbb2c.png) |
|$u(y=0.5)$| ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/a513d633-8988-ccd6-3c8e-a3bcb5679fa6.png) | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/fd2ac3cc-695b-479f-1334-50f8381a480e.png) | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/3730bd22-b6bc-f3b8-9ef3-e6fd6c46bc31.png) |
|$v(x=0.5)$| ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/d4ca2ce7-fdac-f8ee-314b-0277d816221d.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/9b8d47b1-c35a-a36a-0857-3a3a3ffc7c49.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/baf1447c-d80f-a0c6-975e-b5a2efe5ba18.png) |

中央部スライスでの水平，鉛直速度は，[Ghia+1982](https://doi.org/10.1016/0021-9991(82)90058-4)，[Erturk+2005](https://doi.org/10.1002/fld.953)と比較している．

[以前の投稿](https://qiita.com/ShotaDeguchi/items/7d3ab5e9765200360a3d)でも述べた通り，1次精度風上差分は数値粘性の影響が大きく，本来より粘り気の強い流体をシミュレートしたような結果になった．QUICKEST，KKの違いは殆ど分からないが，注意深く見れば，KKの方が僅かに流速が大きい．

## 渦粘性モデルの有無の比較
Smagorinskyの渦粘性モデルを導入し，その有無による効果を比較する．

上記のシミュレーション（$\mathrm{Re} = 1,000$）では$\eta \sim 5.6 \times 10^{-3}$であり，$\Delta x = 5 \times 10^{-3}$の解像度で凡そ全てのスケールの渦が解像できているはずである．同じ問題を，もう少し解像度を下げ，$\Delta x = 1 \times 10^{-2}$ほどの解像度で計算したい，というシナリオを考える．

本節では，

* a: $\Delta x = 5 \times 10^{-3}$，Smagorinskyの渦粘性: 無し
* b: $\Delta x = 1 \times 10^{-2}$，Smagorinskyの渦粘性: 無し
* c: $\Delta x = 1 \times 10^{-2}$，Smagorinskyの渦粘性: 有り

の3者の比較を行う．全ての計算でKKスキームを用い，$\Delta t = 1 \times 10^{-3}$とする．

| | a | b | c |
|:-:|:-:|:-:|:-:|
|$\| \mathbf{u} \|$| ![velocity_norm.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/c5bf784a-0568-882c-5eed-38760af91f26.png) | ![velocity_norm.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/1ae76d59-9240-7ce2-b47a-28cf8490ade4.png) | ![velocity_norm.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/3a087eef-6b2a-61a9-550d-a0cf8139a9d8.png) |
|$p$| ![pressure.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/37fe5cf6-331f-d643-933d-4ed6fb4dbb2c.png) | ![pressure.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/c400b032-0403-7a47-b3bf-5e897b3b2874.png) | ![pressure.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/d52684ce-9986-7a7a-1905-6a34b9d49529.png) |
|$u(y=0.5)$| ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/3730bd22-b6bc-f3b8-9ef3-e6fd6c46bc31.png) | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/9695112f-44cc-43db-f167-0c698ceedc84.png) | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/40ecc695-0c47-74f2-c919-2be8a2efdd92.png) |
|$v(x=0.5)$| ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/baf1447c-d80f-a0c6-975e-b5a2efe5ba18.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/0a49116c-a0cf-a0fe-d2bb-5c430ecb4349.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/4c9881e2-e9f5-a359-beb8-f345216eabff.png) |

渦粘性を導入せずに解像度が異なる計算結果（aとb）を比較すると，解像度が低い場合の方が，参照解（Ghia+1982，Erturk+2005）より少し大きい速度を得る結果となった．

同じ解像度で渦粘性の有無が異なる計算結果（bとc）を比較すると，目に見える差異は殆ど無い．違いと言えば，定常状態に入るまでの時間（無次元化時間）が1（秒？）異なるほどであった．本当は壁でのdampingを入れないといけないので，その辺りに問題がある可能性はある．

# 終わりに
幾つかの気になっていた事項を文字にして纏めた．

# Appendix A: 無次元化
非圧縮性NS式の無次元化をメモしておく．

元の（次元が有る）方程式は，
```math
\begin{align}
    \nabla \cdot \mathbf{u} &= 0 \\
    \frac{\partial \mathbf{u}}{\partial t} + (\mathbf{u} \cdot \nabla) \mathbf{u}
    &= - \frac{1}{\rho} \nabla p + \nu \nabla^2 \mathbf{u} + \mathbf{f}
\end{align}
```
である．

特徴長さ$L$，特徴速度$U$を用いて，有次元の物理量$\phi$と無次元の物理量$\bar{\phi}$を関係づける．
```math
\mathbf{x} = L \bar{\mathbf{x}}, \
\mathbf{u} = U \bar{\mathbf{u}}, \
t = \frac{L}{U} \bar{t}
```

## 質量保存則
```math
\begin{align}
    \nabla \cdot \mathbf{u}
    &= \frac{\partial u_j}{\partial x_j} \\
    &= \frac{\partial U \bar{u}_j}{\partial L \bar{x}_j} \\
    &= \frac{U}{L} \frac{\partial \bar{u}_j}{\partial \bar{x}_j} \\
    &= 0
\end{align}
```
$U/L \neq 0$ならば，
```math
\frac{\partial \bar{u}_j}{\partial \bar{x}_j} = 0
```
として，無次元化された質量保存則を得る．

## 運動量保存則
```math
\begin{align}
    \frac{\partial u_j}{\partial t}
    + u_i \frac{\partial}{\partial x_i} u_j
    &= - \frac{1}{\rho} \frac{\partial}{\partial x_j} p
    + \nu \frac{\partial}{\partial x_i} \frac{\partial}{\partial x_i} u_j
    + f_j \\
    (\mathrm{LHS})
    &= \frac{\partial U \bar{u}_j}{\partial L/U \bar{t}}
    + U \bar{u}_i \frac{\partial}{\partial L \bar{x}_i} U \bar{u}_j \\
    &= \frac{U^2}{L} \left( \frac{\partial \bar{u}_j}{\partial \bar{t}}
    + \bar{u}_i \frac{\partial}{\partial \bar{x}_i} \bar{u}_j \right) \\
    (\mathrm{RHS})
    &= - \frac{1}{\rho} \frac{\partial}{\partial L \bar{x}_j} p
    + \nu \frac{\partial}{\partial L \bar{x}_i} \frac{\partial}{\partial L \bar{x}_i} U \bar{u}_j
    + f_j \\
    &= - \frac{1}{\rho L} \frac{\partial}{\partial \bar{x}_j} p
    + \nu \frac{U}{L^2} \frac{\partial}{\partial \bar{x}_i} \frac{\partial}{\partial \bar{x}_i} \bar{u}_j
    + f_j \\
    \therefore
    \frac{U^2}{L} \left( \frac{\partial \bar{u}_j}{\partial \bar{t}}
    + \bar{u}_i \frac{\partial}{\partial \bar{x}_i} \bar{u}_j \right)
    &= - \frac{1}{\rho L} \frac{\partial}{\partial \bar{x}_j} p
    + \nu \frac{U}{L^2} \frac{\partial}{\partial \bar{x}_i} \frac{\partial}{\partial \bar{x}_i} \bar{u}_j
    + f_j \\
\end{align}
```
$U^2/L \neq 0$ならば，
```math
\begin{align}
    \frac{\partial \bar{u}_j}{\partial \bar{t}}
    + \bar{u}_i \frac{\partial}{\partial \bar{x}_i} \bar{u}_j
    &= - \frac{1}{\rho U^2} \frac{\partial}{\partial \bar{x}_j} p
    + \frac{\nu}{UL} \frac{\partial}{\partial \bar{x}_i} \frac{\partial}{\partial \bar{x}_i} \bar{u}_j
    + \frac{L}{U^2} f_j \\
    &= - \frac{\partial}{\partial \bar{x}_j} \bar{p}
    + \frac{1}{\mathrm{Re}} \frac{\partial}{\partial \bar{x}_i} \frac{\partial}{\partial \bar{x}_i} \bar{u}_j
    + \frac{L}{U^2} f_j \\
\end{align}
```
ここで，$\bar{p} = p / \rho U^2$を導入した．また，$f_j = g_j + h_j$として，重力加速度$g_j$を取り出す．
```math
\begin{align}
    \frac{L}{U^2} f_j
    &= \frac{L}{U^2} (g_j + h_j) \\
    &= \frac{1}{\mathrm{Fr}_j^2} + \frac{L}{U^2} h_j \\
\end{align}
```
より，
```math
\begin{align}
    \frac{\partial \bar{u}_j}{\partial \bar{t}}
    + \bar{u}_i \frac{\partial}{\partial \bar{x}_i} \bar{u}_j
    &= - \frac{\partial}{\partial \bar{x}_j} \bar{p}
    + \frac{1}{\mathrm{Re}} \frac{\partial}{\partial \bar{x}_i} \frac{\partial}{\partial \bar{x}_i} \bar{u}_j
    + \frac{1}{\mathrm{Fr}_j^2} + \frac{L}{U^2} h_j \\
\end{align}
```
ここで，無次元量

* Reynolds数（$\mathrm{Re} = UL / \nu$）
* Froude数（$\mathrm{Fr}_j = U / \sqrt{L g_j}$）

を導入した．

# Appendix B: Reynoldsの相似則
学部3年次の水理学の講義では，Reynolds数が等しい2つの流れ場は，本質的に等価であると学んだ．当時は「そうなのか，覚えておこう」と疑いもせず鵜呑みにしていたが，実際に確認したことがないことを思い出した．学部で学んだことは本当なのだろうか．

3つのパラメータ（代表流速$U \ [\mathrm{m/s}]$，代表長さ$L \ [\mathrm{m}]$，動粘性係数$\nu \ [\mathrm{m^2/s}]$）を動かして，$\mathrm{Re} = 1,000$の流れ場を作る．

$\Delta x / L = 5 \times 10^{-3}$とし，時間増分はCourant数の条件，拡散数の条件の両者を満たすものに安全率$f_{\mathrm{safety}} = 0.4$を乗じたものを採用した．

|   | 1 | 2 | 3 |
|:-:|:-:|:-:|:-:|
|$U$|$1,000$|$1$|$1$|
|$L$|$1$|$1,000$|$1$|
|$\nu$|$1$|$1$|$0.001$|
|$\| \mathbf{u} \|$| ![vel_035000.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/bc1edd85-8339-41fd-9843-021308cc4b64.png) | ![vel_035000.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/1b8c2c24-4cd3-e876-f4d5-a9d9ba4f83cd.png) | ![vel_035000.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/e35509e3-6e3a-4387-e2a0-05eb085fd5b0.png) |

カラーバーのレンジや1辺の長さは違うが，分布として同じ流れ場に収束した（定常状態に収束するまでに要した時間積分の回数は同一であった）．過去に学んだことは本当だったようだ．

# Appendix C: 移流項の非線形性
**(2024/09追記)**
[こちら](https://www2.yukawa.kyoto-u.ac.jp/~non-equilibrium/research/femhtml/femnote/Site3/107DEEB0-1821-4BF4-813E-985360CC1D7E_files/FEM-2.pdf)に，大変興味深い議論を見つけた．

いま，流速$\mathbf{u}$をFourier級数和で表すことができるとし，
```math
\begin{align}
    \mathbf{u}_k
    &= U (t) 
    \left[
        \begin{array}{c}
            \sin (k_1 x_1) \\
            \sin (k_2 x_2) \\
            \sin (k_3 x_3)
        \end{array}
    \right]
\end{align}
```
だけ取り出して考える（例えば，von Neumannの線形安定性解析などにも登場する，よくあるやり方）．すると，移流項$(\mathbf{u}_k \cdot \nabla) \mathbf{u}_k$は，
```math
\begin{align}
    \left[ (\mathbf{u}_k \cdot \nabla) \mathbf{u}_k \right]_1
    &= \frac{U^2 k_1}{2} \sin (2 k_1 x_1)
\end{align}
```
と書け，移流項が，波数$k_1$の波から，波数$2 k_1$の波を生み出している．

# Appendix D: 高Reynolds数の流れ
**(2024/10追記)**
時間が経ったから，別の文章に纏めようかとも思ったが，手法は同じなので，ここに追記することにした．

移流スキームの比較を，もう少し高Reynolds数の流れでやってみようと思った．初めにこの記事を書いたときは，QUICKESTとKKを比較したが，QUICKESTには時間の項も入っているので，最近は，空間の作要素だけ比較すべきではないか，と思っている．ここでは，高Reynolds数の流れ場を対象に，QUICKとKKを比較する．$v (x=0.5)$だけ見る．

|  | $\mathrm{Re} = 5,000$ | $\mathrm{Re} = 10,000$ |
|:-:|:-:|:-:|
| $\mathrm{QUICK}$ | ![Re5e3_QUICK_v.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/19551464-551b-2f41-71ce-c096ec5b207d.gif) | ![Re1e4_QUICK_v.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/574c48d8-2ae5-dbb7-1925-190d8194d4ac.gif) |
| $\mathrm{KK}$   | ![Re5e3_KK_v.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/62f01297-ed18-4e55-ab0d-9b123302f675.gif) | ![Re1e4_KK_v.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/af357a80-5973-e9b4-de80-7ed572714fb5.gif) |

何れも，同様の結果を得た．この問題では，移流スキームがある程度高精度であれば，それらの差は殆ど見え辛いものであろう．まあしかし，なんだ，正しい計算ができたという自信はないし，いま手元にある計算資源と計算スキームではこの結果をえた．という程度である．

**(2024/12追記)**
[John2016](https://link.springer.com/book/10.1007/978-3-319-45750-5)に依れば，キャビティ流れには，$\mathrm{Re} = 8,000$前後までは定常解が存在し，高Reynolds数帯で定常解を得るには，何らかの安定化が必要であるとされている（[Cazemier+1998](https://doi.org/10.1063/1.869686), [Tiesinga+2002](https://www.sciencedirect.com/science/article/pii/S0377042701005155), [Bruneau&Saad2006](https://www.sciencedirect.com/science/article/pii/S0045793005000368)などに基づいている（bifurcation!））．

以下は渦粘性を入れていない結果（離散化パラメータ: $h = 5 \times 10^{-3}, \ \tau = 1 \times 10^{-3}$）．

| $\mathrm{Re}$ | $t$ | $u$ | $v$ | $\psi$ | $p$ | $\mathrm{residual}$ |
|:-:|:-:|:-:|:-:|:-:|:-:|:-:|
| $ 1,000$ | $92.0$ | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/434f6cc1-7275-6d79-a7e0-db586d520122.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/b9e51640-860b-be37-d639-a0402e368e4e.png) | ![streamline.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/465050d5-5ff0-1cfc-3012-0a626bbad564.png) | ![pressure_bar.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/80f5b7cf-fbe7-d164-3df2-9cab26a051a7.png) | ![residual.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/cf0ac4ad-e626-ca05-b845-5f61f5131060.png) |
| $ 5,000$ | $455.2$ | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/3c4706be-73dd-d58d-9468-f99a2590e07e.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/d8b1dbc6-d2b8-55f4-a5d9-d1ea84312921.png) | ![streamline.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/f974649c-f4d3-9c79-fff7-3633bbe69032.png) | ![pressure_bar.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/42233527-9e47-574e-cd61-30bf577df5c8.png) | ![residual.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/0e83527a-d3b1-b3f9-5020-81b3efb2651f.png) |
| $ 7,500$ | $600.0$ | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/7d081195-a6c1-1528-ccf7-9858948a05f2.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/98c89d86-65a2-cff0-baa0-8ebee279be36.png) | ![streamline.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/499be5ac-3e45-48cf-0ce4-f496ccd0bc2d.png) | ![pressure_bar.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/c50fb97c-18a7-0fe1-c549-0603efb68fc3.png) | ![residual.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/de60a864-5904-d883-c509-2267c4faae2e.png) |
| $ 8,500$ | $600.0$ | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/fe92ca20-5a39-2dfd-ac62-0b510b30c33e.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/0f34a0f6-e0dc-d7c9-0a1d-91e5e0e88c5f.png) | ![streamline.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/ae07bfd4-f839-a88c-06f4-e783201dc45a.png) | ![pressure_bar.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/033cc83b-6aaa-02f6-d8ef-8c9e500e0c54.png) | ![residual.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/6e5bfb1a-5002-e1d0-776f-d96eee27dc9a.png) |
| $10,000$ | $600.0$ | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/3cd117ee-1f8d-8b29-c70b-1cb1e46c7ed4.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/6d6e65be-7bfa-25cb-5bcc-8ac9704e271d.png) | ![streamline.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/48f42738-d132-4682-cc66-67a1e050f71e.png) | ![pressure_bar.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/f8fe1f24-5b5f-c34c-4cd0-9909963fb3ca.png) | ![residual.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/45102f79-7980-ae13-8b13-3095abf63424.png) |

$t$は収束までに要した無次元化時間（最大で$t=600$まで）．圧力は定数を動かす自由度のもとで一意に定まるので，平均値がゼロになるよう平行移動させている．$|| \cdot ||$は2のノルム．$\mathrm{Re} = 8,500$も十分な時間が経つと収束しそうだ．$\mathrm{Re} = 10,000$は驚くほど収束しない．見た目の変化は案外小さく見えるのだけれど，，

以下はSmagorinsky-Lillyモデルを入れた結果（モデル定数: $C_S = 0.1$）．

| $\mathrm{Re}$ | $t$ | $u$ | $v$ | $\psi$ | $p$ | $\mathrm{residual}$ |
|:-:|:-:|:-:|:-:|:-:|:-:|:-:|
| $ 1,000$ | $91.9$ | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/43bef7c7-cc93-2861-e9dc-8b0bca0e65c2.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/4c8139e5-ddfa-0de4-e320-009f5a2eff05.png) | ![streamline.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/c3633e62-01a4-9b9c-943c-5f5f884300c6.png) | ![pressure_bar.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/a33c9803-6cb8-be8c-c70f-c2a76dea43af.png) | ![residual.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/1dc013bf-c3d5-f3f7-64cc-cefc32478d73.png) |
| $ 5,000$ | $455.3$ | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/b977f42c-1723-4a21-faed-cb909bd27056.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/041c2557-1efc-afd5-e900-6396acc3b842.png) | ![streamline.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/714e4418-100e-8b81-a802-de2643988a54.png) | ![pressure_bar.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/6d4004b2-76a9-9c88-492f-9fc668c3f020.png) | ![residual.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/38ac3886-dda1-ce0c-41e4-b72599b94516.png) |
| $ 7,500$ | $600.0$ | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/c496a202-088f-65c0-7ac2-25eb4318e74c.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/e6242c1a-59d5-cea9-c1ce-fea3a783071a.png) | ![streamline.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/fa2c4eca-4335-a44b-fe3c-7a4ec8e333e2.png) | ![pressure_bar.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/15be735d-c852-6041-26a9-0f6e1a4279a6.png) | ![residual.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/c4a50789-3d64-5d78-4f89-d892e3a67d5b.png) |
| $ 8,500$ | $600.0$ | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/27a0156e-24b1-030b-9002-a797867d9607.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/dad8181b-d4b8-06aa-4ac4-489f2d6cd030.png) | ![streamline.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/068983aa-413d-6dbd-24cf-c8ab430641c1.png) | ![pressure_bar.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/34f19475-2cd7-48fb-9e78-a22c1925acb3.png) | ![residual.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/3edd72b3-410b-1931-75ef-07f197b2ea42.png) |
| $10,000$ | $600.0$ | ![u.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/8c8a5188-3cf9-9e98-2502-d9aa5144f8ab.png) | ![v.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/519fa436-6976-3002-242c-395a3f2a63f2.png) | ![streamline.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/54ec74e2-2290-9150-29a5-cb033f3f1e5e.png) | ![pressure_bar.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/82c00c53-7eee-12fb-68a6-bfea8cc0592b.png) | ![residual.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/f4d72c6c-2223-e651-54be-ff0fe0f7fd3b.png) |

案外，収束しない．

無次元化時間$t=1,200$までやってみた．
| $C_s$ | $\text{point-wise residual}$ | $\text{mean residual}$ |
|:-:|:-:|:-:|
| $0.0$ | ![vel_res_vis.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/2b10b35a-d368-1191-e447-60c1c486e78f.png) | ![residual.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/bcdf1b7a-8560-5149-cccc-946efb203190.png) |
| $0.1$ | ![vel_res_vis.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/2d85e9fa-0d02-00ee-1331-f678e3a4b69e.png) | ![residual.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/bff31d4f-0855-a0bb-d80f-9fcc75421503.png) |
| $0.2$ | ![vel_res_vis.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/04e415e1-220e-c1f9-8227-8c1175f1acd7.png) | ![residual.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2529612/672e4d90-3b64-cecb-b945-a45a23922ee1.png) |

point-wise residualは，1ステップ間の速度の変化
```math
    \left( \frac{| u^{(n+1)} - u^{(n)} |^2}{| u^{(n)} |^2} \right)^{1/2}
    + \left( \frac{| v^{(n+1)} - v^{(n)} |^2}{| v^{(n)} |^2} \right)^{1/2}
```
を節点ごとに計算したもの．時間平均などしておらず，$t=1,200$でのスナップショットだが，中央部が暗く，角付近が明るい色になる傾向は，ずっと継続していたことを強調しておく．この図から，角付近のsecondary vortexが激しく変動していて，この辺りが全体の残差の低減を妨げているようだ．全体の残差は，$\mathcal{O} (10^{-6})$程度の振動をしながら$\mathcal{O} (10^{-4})$で停滞していた．

より強い安定化を導入しなければ定常解に収束しないような気がするが，果たしてそれは，本来のReynolds数の流れをシミュレートしたことになるのだろうか．