OBSERVATION CONTRACT
局在衝突を観測する
tau波形には交差係数 q = ((k_fast - k_slow)/(k_fast + k_slow))^2 が含まれます。線形和では衝突形状や位相ずれを再現できません。表示速度は c = 2A に従います。
OBSERVATION CHAMBER / ACTIVE
ソリトン散乱観測場
KdVの正確な単一・2ソリトン波形を観測します。振幅と速度、衝突の位相ずれ、保存積分、PDE残差を確認できます。
wave / nonlinear dispersion
観測モデル
ROUTE 79 / FIELD / 波 / 非線形分散
TAU PROFILE / PHASE SHIFT / CONSERVATION
2つの局在波がすれ違うとき
正確なKdV tau波形で、単一パルスと2ソリトン衝突を比較します。波形は保たれ、測定できる位相ずれが生じ、I1・I2・Hは有限に保たれます。
Canvas 2D + DOMフォールバック
Canvas 2Dが使えない場合も、下のライブ台帳を表示します。
グラフにフォーカスして Space/P PLAY、N STEP、R RESET、L レンズ、矢印キーを使用します。フォーム入力は標準のキー操作を保ちます。
TWO-SOLITON SCATTERING / PROFILE / t=0.00
- 時刻
- 0.00
- 高速振幅 A
- --
- 高速速度 c=2A
- --
- 低速振幅 A
- --
- 低速速度 c=2A
- --
- 位相ずれ dx
- -- /
- --
- I1
- --
- I2
- --
- H
- --
- PDE残差
- --
- 有限性
- YES
FIELD READOUT
衝突台帳
- 高速 A / c
- --
- 低速 A / c
- --
- 高速位相ずれ
- --
- 低速位相ずれ
- --
- I1 = integral u dx
- --
- I2 = integral u^2 dx
- --
- H = integral (u^3 - ux^2/2) dx
- --
- PDE残差
- --
- 状態
- 有限 / 決定的
DETERMINISTIC SELF-TEST
tau受入れ検査
固定fixture: k=.5 / kf=.8 / ks=.4 / exact tau / t=0
| CHECK | VALUE | LIMIT | RESULT |
|---|
観測レポート
CONSERVATION LEDGER
I1、I2、Hは有限
u = 2 d_xx log(tau)について、I1 = integral u dx、I2 = integral u^2 dx、H = integral (u^3 - u_x^2/2) dxを報告します。破線は正確な多ソリトン基準値です。
NUMERICAL CHECK
PDE残差と決定性
残差 R = u_t + 6u u_x + u_xxxを中央差分で測定します。fixtureを同じFloat64波形で再実行し、有限性、速度、位相、保存量、交差項を確認します。
式の注記
tau = 1 + exp(2 eta_f) + exp(2 eta_s) + q exp(2 eta_f + 2 eta_s)、eta_i = k_i (x - 4 k_i^2 t - x_i)、u = 2 d_xx log(tau)です。位相ずれは dx_f = log((kf+ks)/(kf-ks))/kf と dx_s = -log((kf+ks)/(kf-ks))/ksです。
OBSERVATION GUIDE
観測の要点
TWO-SOLITONとPROFILEから開始します。TIMEを衝突へ動かし、SCATTERINGで基準経路とずれを比較します。INVARIANTSとRESIDUALで数理契約を確認します。
- k_fast=.8、k_slow=.4をself-testのfixture値と比較します。
- REPORTとPNGは現在のローカル画面を記録します。RESETで古いレポートとダウンロード状態を消します。
- Reduced motionではPLAYを停止します。非表示中も時刻は進みません。
これはブラウザ内の無次元KdV観測モデルです。物理測定、線形重ね合わせ、得点ではありません。
アップロードや登録なしでブラウザ内だけで動作します。
観測ポリシー
この観測場は決定的な無次元KdV tau波形をブラウザ内で動かします。状態、診断、レポート、PNGは外部へ送信しません。来訪者、端末、実物の物質は測定しません。