---
series: "GMDIS — Global Multiscale Dynamics and Informational Sufficiency Theory"
paper: "GMDIS-05 / 14"
title_zh: "多場泛函分析底座：狀態積空間、耦合算子、弱解、適定性與能量估計"
title_en: "A Multifield Functional-Analytic Foundation: Product State Spaces, Coupling Operators, Weak Solutions, Well-Posedness, and Energy Estimates"
author: "Neo.K"
research_collaboration: "Aletheia / GPT-6"
institution: "EveMissLab / 一言諾科技有限公司"
version: "0.1"
date: "2026-10-16"
language: "zh-TW"
canonical_format: "UTF-8 Markdown; inline math $...$ and display math $$...$$ only"
status: "Complete detailed research draft; mathematically conditional results and reproducible numerical checks; physical-device experiments not yet performed"
predecessors: ["GMDIS-01", "GMDIS-02", "GMDIS-03", "GMDIS-04"]
successor: "GMDIS-06 — 多介質耦合動力學"
---

# GMDIS-05｜多場泛函分析底座

## 狀態積空間、耦合算子、弱解、適定性與能量估計

**English title:** *A Multifield Functional-Analytic Foundation: Product State Spaces, Coupling Operators, Weak Solutions, Well-Posedness, and Energy Estimates*

**作者：** Neo.K  
**研究協作：** Aletheia / GPT-6  
**機構：** EveMissLab（一言諾科技有限公司）  
**系列：** 全域多尺度動力學與資訊充分性理論（GMDIS），第 05／14 篇  
**版本：** v0.1；2026-10-16（Asia/Taipei）  
**文件定位：** 數學物理形式核心／函數分析／無限維演化與觀察／數值可重現規約  
**證據聲明：** 本文包含指定假設下可檢查的數學結果與示例；不聲稱 GMDIS 的額外物理定律已被發現，也不聲稱已在節拍器實物、空氣流體或真實材料上完成新實驗。

**日期：** 2026-10-16  

---

## 摘要

GMDIS-01 至 04 已依次建立研究綱領、相位與吸引子資訊充分性的邊界、GRST × SIO 的規則—自由—未來勢結構，以及「萬有張力」同牛頓力、應力、功率、能量通量和耗散的量綱與語義隔離。接下來必須回答一個更嚴格的問題：當研究對象不再是有限個擺角，而包含可變形固體、空氣或聲學場、溫度場、外部驅動和邊界交互作用時，整個世界的狀態應放在哪個數學空間，演化算子在哪些初始條件下有意義，如何保證解存在且唯一，以及「能量不增」到底由哪些方程與邊界條件推得？

本文提出一套**型別化多場泛函分析規約**。首先將有限維振盪器、無限維連續場、離散事件、跨介質介面及觀測輸出分開；使用積 Hilbert 空間、Sobolev 空間、Gelfand 三重組、二次型與非線性演化算子表示局部與耦合動力。其次區分強解、弱解、mild solution、分布解與混合事件解，不再將數值程式可以運行等同於連續數學模型的適定性。第三，對一個**一維彈性弦／集中振盪器的分布式彈簧耦合模型**，在正質量、正張力、非負耦合及阻尼等明確假設下，證明能量等式，建立 m-耗散生成元，並透過 Lax–Milgram 型預解算子論證獲得強連續壓縮半群與唯一有限能量 mild solution；對可積外部輸入提出能量上界。這個模型是一個有物理量綱、能逐項核算的最低研究世界，**並非**直接對真實聲學、流體或節拍器擒縱機構的完整描述。

本文再給出 Galerkin 截斷的保持結構形式、首模態的精確雙自由度解析案例、投影遺失隱藏場的短時反例，以及同特徵值但不同暫態放大的非正規算子反例。前者指出單一局部座標在何種情形不足以預測後續演化；後者指出僅研究譜的實部、吸引子或漸近穩定標籤，仍可能無法判定有限時窗的擾動風險。文中也正面保留觀察可辨識性、可接受非有界觀測算子、界面跡定理與非線性本構適定性等成熟技術的實際門檻。

在 GRST／SIO 接縫方面，本篇將「資訊纖維」嚴格解作**選定模型語境中的局部容許狀態集合／纖維**，而非未發現的物理微粒；將局部及跨尺度影響表示為合法作用算子、耦合型別及其受控響應；將「規則勢」保留為可行未來結構的分析語義，而非新添進波動方程的力項。在計算 24／72 接縫方面，分類只標記模型表示、更新組織、觀察充分性與轉移律，不能代替 PDE、本構或邊界條件。

本文完成 **GMDIS-06** 所需的數學前置契約：只有先明示函數空間、界面連續與平衡條件、正定能量、解的正則性、可觀察量及誤差控制，後續固體—聲學—流體—熱場整合才能避免成為形式上華麗但實際上不適定的方程堆疊。

**關鍵詞：** GMDIS、多場泛函分析、Hilbert 空間、Sobolev 空間、Gelfand 三重組、C0 半群、Lumer–Phillips、m-耗散算子、Lax–Milgram、有限能量解、弱解、Galerkin、能量估計、多介質耦合、非正規暫態、觀察充分性、GRST、SIO、24／72。

---

# 0. 研究責任、證據位階與前文交付

## 0.1 本篇研究的正式位置

GMDIS-04 已要求：如果物理張力或能量通量是可檢查的概念，則每個物理量必須有單位、每個邊界交換必須能記帳。將數十、數百個集中質點改成空間連續場之後，這個要求不能只靠增加更多微分符號來達成。

一個典型形式：

$$
\frac{dU}{dt}=\mathcal G_R(U)
$$

只有在回答下列問題後，才稱得上有明確數學意義：

1. $U$ 在哪個空間？該空間的拓撲、範數與物理量綱是什麼？
2. $\mathcal G_R$ 的定義域是什麼？是有界、無界、閉算子，還是只在局部存在的非線性算子？
3. 初始資料可否選在有限能量空間？較粗糙的初態會否令某項邊界力完全沒有定義？
4. 解是哪一種解：classical、strong、weak、mild、entropy 或 hybrid？
5. 邊界通量、介面傳遞與外部來源是否滿足正確的能量關係？
6. 數值離散是否保存模型的最低結構？收斂是對哪個範數、在什麼時間窗下的收斂？
7. 哪些結果是定理、哪些只是物理模型條件、哪些尚待測量？

本篇任務是給出可供其他研究者重算的答案，而非發明一門與既有泛函分析並列的新數學學科。

## 0.2 與前四篇的接縫

| 來源 | 已建立內容 | 本篇具體繼承 | 不再重做的工作 |
|---|---|---|---|
| GMDIS-01 | 世界模型、尺度、投影、研究的證偽綱領 | 把世界狀態放入有拓撲的空間 | 不重複整個 14 篇母論 |
| GMDIS-02 | 五類資訊充分性、相位反例與記憶基線 | 用輸出算子和半群把閉合檢驗寫得更嚴格 | 不重新攻擊簡化 Kuramoto 模型 |
| GMDIS-03 | SIO 與 GRST 接縫、硬約束／動態陰影 | 用函數空間及作用算子界定陰影可否測量 | 不預設新物理陰影場 |
| GMDIS-04 | 量綱、功率、耗散與跨域能量帳本 | 以能量內積、弱形式及邊界條件核算 | 不把 GRST 勢當成焦耳 |

## 0.3 六類證據與結果標記

| 標記 | 含義 | 示例 |
|---|---|---|
| **D** | 本文定義／建模契約 | 狀態積空間、場介面型別 |
| **M** | 可按所列假設解析證明的命題 | m-耗散生成元、能量等式 |
| **L** | 成熟外部文獻及其適用條件 | 半群理論、弱解、有限能量控制 |
| **C** | 條件性模型／示例計算 | 一維弦—振子、首模態 |
| **H** | 尚未取得新物理實驗證據的假說 | GRST／SIO 增量特徵是否改善預測 |
| **F** | 判敗、讓位與失效邊界 | 不適定、無界能量、錯誤界面雙計數 |

其中 L 不代表外部研究者認可 GRST、SIO 或 GMDIS；M 也不等於新自然定律已在裝置上獲得驗證。

## 0.4 強制守界：不以「無限維」代替證明

對一個 $L^2$ 函數而言，點值未必有定義；對有限能量的波動解而言，二階空間微分可能只以弱意義存在；對流固介面而言，法向應力與速度的跡往往需要額外正則性。這些不是技術小字，而是模型是否存在的基本門檻。

此外，本文不假設每一種多尺度作用都可加到同一個 scalar。若場的物理量綱或觀測域不同，先透過合法型別映射再談相加。不存在滿足所有需求的「宇宙級單一能量範數」。

---

# 1. 從有限維世界到多場狀態積空間

## 1.1 有限個節拍器不是全部世界

若僅追蹤 $N$ 個擺角，狀態可簡化為有限維向量。但共同底座可形變，空氣中存在壓力／速度分布，溫度與材料應力也有空間差異。若需要對它們的干預作預測，狀態至少應容納多個依不同函數空間定義的分量：

$$
U(t)=(z_m(t),u_s(t),v_s(t),p_a(t),v_a(t),T_h(t),\xi(t)).
$$

其中 $z_m$ 為有限維機械座標及速度、 $u_s,v_s$ 為固體位移與速度場、 $p_a,v_a$ 為聲學壓力與質點速度場、 $T_h$ 為溫度場， $\xi$ 為擒縱、碰撞或接觸模式等離散狀態。這只是一個建模清單，尚非一組已證的聯立 PDE。

設各分量有其適當狀態空間 $\mathcal X_i$。最初的候選積空間為：

$$
\mathcal X=\mathcal X_m\times\mathcal X_s\times\mathcal X_a\times\mathcal X_h.
$$

含離散模式的完整狀態通常是分層混合系統 $\mathcal X\times\Xi$，不再是一個普通線性 Hilbert 空間。將它強行寫作單一向量空間，需要另行證明編碼與事件解的合法性。

## 1.2 D-05-01：物理場型別

每一場至少給出一組型別資料：

$$
\mathsf{FieldType}_i=(\Omega_i,d_i,\mathsf U_i,\mathcal H_i,\mathcal V_i,\partial\Omega_i,\mathcal B_i).
$$

這裡 $\Omega_i$ 是定義域、 $d_i$ 空間維數、 $\mathsf U_i$ SI 單位、 $\mathcal H_i$ 基礎空間、 $\mathcal V_i$ 具有額外正則性的能量空間， $\partial\Omega_i$ 是物理邊界， $\mathcal B_i$ 是邊界操作規則。

| 分量 | 典型物理單位 | 常見數學容器 | 需要預先說明 |
|---|---|---|---|
| 集中位移 $q$ | m | $\mathbb R^N$ | 質量、約束、自由度 |
| 結構位移 $u_s$ | m | $H^1(\Omega_s)^d$ | 固定、自由或阻抗邊界 |
| 結構速度 $v_s$ | m/s | $L^2(\Omega_s)^d$ | 密度、能量權重 |
| 聲壓 $p_a$ | Pa | $L^2(\Omega_a)$ | 壓縮性、介質、近似範圍 |
| 聲學速度 $v_a$ | m/s | $L^2(\Omega_a)^d$ | 通量、法向跡、反射 |
| 溫度 $T_h$ | K | $L^2$ 或 $H^1$ | 熱容、導熱係數、熱源 |
| 擒縱模式 $\xi$ | 離散標記 | 有限集合 $\Xi$ | 跳變面、重設映射 |

表格是候選型別，不意味所有場都擁有相同正則性、相同邊界或可共享一個點值測度。

## 1.3 D-05-02：積空間不等於所有物理狀態合法

若 $\mathcal X$ 為形式上的乘積，實際可行狀態一般受約束：

$$
\mathcal X_R=\{U\in\mathcal X:\mathcal C_R(U)=0,\;\mathcal I_R(U)\le0\}.
$$

例如介面速度連續、外加支點固定、非穿透接觸、不可壓縮性以及非負溫度等條件，必須與材料模型共同處理。若 $\mathcal C_R$ 不是線性映射， $\mathcal X_R$ 甚至未必是向量空間。

此處 SIO 的「容許配置」可以找到可操作對應：它是有明確物理規則與正則性條件的合法狀態集合，**不是**單靠畫出同一個幾何形狀就決定的世界。

## 1.4 多場不是隨便將算子相加

令多場線性化算子分塊：

$$
\mathcal A=\begin{pmatrix}
A_{11}&C_{12}&\cdots\\
C_{21}&A_{22}&\cdots\\
\vdots&\vdots&\ddots
\end{pmatrix}.
$$

每個 $C_{ij}$ 必須具有明確的型別簽名 $C_{ij}:D(C_{ij})\subseteq\mathcal X_j\to\mathcal X_i$，不保證是有界算子，也不保證 $C_{ij}$ 與 $C_{ji}$ 在普通 Euclidean 內積下互為轉置。

在真實介面耦合中，某些作用透過邊界跡、牽引力或功率埠運作，其定義域與端口對偶關係更為重要。忽略這些型別，往往會產生能量憑空消失或增加的假象。

---
# 2. Hilbert、Sobolev 與 Gelfand 三重組：什麼狀態才有有限能量？

## 2.1 $L^2$：平方可積，不等於可逐點測量

對區域 $\Omega$，Hilbert 空間 $L^2(\Omega)$ 的元素是幾乎處處相同函數的等價類，範數為：

$$
\|u\|_{L^2}^2=\int_\Omega|u(x)|^2\,dx.
$$

即使 $\|u\|_{L^2}$ 有限， $u(x_0)$ 也不必有意義。故「觀測局部纖維在座標 $x_0$ 的值」並不一定是 $L^2$ 上有界的觀察算子。若用點感測器，必須選更高正則性空間、採取空間平均模型，或改以可接受但無界的觀察算子處理。

這是本系列非常重要的修正：**無數構成位的圖像直覺，不能代替場的函數空間定義。**

## 2.2 $H^1$ 與有限形變能

對彈性弦或標量場，典型的形變能需要弱梯度平方可積：

$$
H^1(\Omega)=\{u\in L^2(\Omega):\nabla u\in L^2(\Omega)\}.
$$

固定端點、零跡的情況使用 $H_0^1(\Omega)$。在有界區域上，Poincaré 不等式使 $\|\nabla u\|_{L^2}$ 可以控制 $H_0^1$ 的自然範數。對自由邊界或週期邊界，常數模態可能需要另外處理；不能假設所有物理邊界均滿足相同估計。

更高階的二次微分通常需 $H^2$ 或無界 Laplacian 的定義域；最低能量解可能不具有這種正則性。

## 2.3 Gelfand 三重組及其目的

若 $V$ 密嵌入 Hilbert 空間 $H$，常採用：

$$
V\hookrightarrow H\cong H^*\hookrightarrow V^*.
$$

這個 $V\subset H\subset V^*$ 的架構容許我們不直接要求每一個解在空間中二次可微，而是先把微分方程解釋成對測試函數的積分恆等式。對不少耗散演化方程，可以在 $u\in L^2(0,T;V)$ 、 $u'\in L^2(0,T;V^*)$ 的條件下得到 $u$ 的 $H$ -連續代表元；但此結論依賴選定三重組及時間正則性條件，不是任何 $L^2$ 路徑都自動連續。

波動方程的自然表述往往是 $H_0^1\times L^2$ 的一階能量空間；它與熱方程的 $V$ — $H$ — $V^*$ 演化結構有關，卻不應被寫成完全相同的強解條件。

## 2.4 能量空間與數值表示空間必須分離

選擇基底、網格與有限精度會改變我們如何表示場，但不應未經說明就改變連續模型的能量定義。若 $V_h\subset V$ 是 Galerkin 子空間，則 $u_h\in V_h$ 與真解 $u\in V$ 的差，需在事先指定的範數與時間窗比較。

這也讓 SIO 的「表示不擁有底層不變量」獲得一個經典數值分析對照：真正要比較的是連續模型相容的能量、作用算子、弱極限與數值誤差，而不是不同網格的位元或節點數是否相同。

## 2.5 典型正則性分級

| 解的概念 | 典型要求 | 能做什麼 | 不保證什麼 |
|---|---|---|---|
| Classical | 時空導數均足夠存在且連續 | 逐點代回 PDE | 一般低正則初態存在 |
| Strong | 演化等式在 Hilbert／Banach 空間中成立 | 對算子作直接運算 | 每個物理場都可逐點觀察 |
| Mild | 使用 $C_0$ 半群的積分表式 | 容納有限能量初態與可積輸入 | 必有兩次時間導數 |
| Weak / variational | 對測試函數成立 | 容納低正則狀態及介面條件 | 強形式各項皆為普通函數 |
| Entropy / dissipative | 額外不等式、可容許性 | 處理部分非線性守恆與不可逆問題 | 任意模型都唯一 |
| Hybrid / impact | 連續流＋跳變／互補關係 | 擒縱、碰撞、接觸的分段演化 | 可直接套用光滑半群論 |

此表是領域術語的導覽；實際論文必須將「解」的定義連同方程明確指定。

---

# 3. 演化算子、半群與正確的適定性問題

## 3.1 為何使用 $C_0$ 半群

對線性自主演化：

$$
\dot U(t)=\mathcal A U(t),\qquad U(0)=U_0,
$$

若無界線性算子 $\mathcal A$ 在空間 $\mathcal H$ 上生成強連續半群 $S(t)$，則在適當初態下可以寫：

$$
U(t)=S(t)U_0.
$$

若再加有界內部輸入算子 $B$ 和可積輸入 $f$：

$$
U(t)=S(t)U_0+\int_0^tS(t-s)Bf(s)\,ds.
$$

這是 mild solution 的常見表式。邊界輸入算子可能無界，需以更精細的可接受性（admissibility）概念處理，不應直接當作上式的有界 $B$。

## 3.2 D-05-03：適定性三義

本篇將問題稱為適定（well-posed）至少要求：

1. 指定初態類與輸入類下**存在解**；
2. 在指定解類中**解唯一**；
3. 對初始狀態與輸入的有限時窗改變具有**連續依賴**。

若另要求全域存在、保正、守恆、長期衰減、平滑性或統計穩定，必須分別列成新命題，不可藏在「適定」二字裡。

## 3.3 耗散性不是「能量必定趨零」

在實 Hilbert 空間 $\mathcal H$，若：

$$
\langle\mathcal A U,U\rangle_{\mathcal H}\le0
$$

對所有 $U\in D(\mathcal A)$ 成立，稱 $\mathcal A$ 為耗散算子。若對某個 $\lambda>0$， $\lambda I-\mathcal A$ 的值域是整個空間，在適當稠密與閉性條件下， $\mathcal A$ 是最大耗散，從而生成壓縮 $C_0$ 半群。這是 Lumer–Phillips 理論的標準方向。

由此可得：

$$
\|S(t)U_0\|_{\mathcal H}\le\|U_0\|_{\mathcal H},\qquad t\ge0.
$$

但壓縮半群不必指數衰減，更不意味所有模式必定同步；能量下降、漸近穩定、指數穩定及在外力下有界是不同結論。

## 3.4 為什麼單靠能量恆等式也不夠

若只推出對光滑假設解成立的形式式子 $E'(t)\le0$，仍不足以保證該解真的存在或唯一。嚴謹工作還需：解析生成元、預解存在、Galerkin 逼近、緊性與極限或其他適用方法。

我們在下一節提供一個可以完成上述閉環的最小模型，作為 GMDIS-06 的研究參照。它不是對所有流固問題都通用的存在性定理。

## 3.5 時變、非線性、記憶及事件的例外

- 時變算子 $\mathcal A(t)$ 通常需要 evolution family／propagator，而非單一自主半群；
- 非線性 $\mathcal N(U)$ 的局部 Lipschitz 條件可給局部 mild solution，但全域存在需另外控制範數或能量；
- 非局部時間記憶可以採擴充狀態或 Volterra 積分系統，不可在未證明閉合之前當作 Markov 狀態；
- 摩擦接觸、碰撞、擒縱、遲滯可能需要微分包含、互補問題或事件重設規則；
- 量子態的 Hilbert 空間與物理波動場的 Hilbert 能量空間並不同義，不因為都無限維就可把二者相加。

---

# 4. 弱形式、介面約束與能量通量

## 4.1 弱形式不是較弱的研究要求

考慮一維弦波動：

$$
\rho u_{tt}=T u_{xx}-b u_t+s.
$$

對充分光滑的測試函數 $\psi$ 且固定端點，經一次分部積分，可得：

$$
\int_0^L\rho u_{tt}\psi\,dx
+\int_0^L T u_x\psi_x\,dx
+\int_0^L b u_t\psi\,dx
=\int_0^L s\psi\,dx.
$$

此式可以擴張為合適函數空間中的弱解定義，不必要求所有初態具有逐點的 $u_{xx}$。若 $\psi$ 端點不為零，則分部積分會產生邊界力項；刪掉它等於偷偷改變物理邊界。

## 4.2 兩段不同弦的內部介面

設左、右兩個區域在 $x=0$ 接合，張力分別 $T_-$ 、 $T_+$。若接點理想焊合、沒有點質量與能量蓄積，標準候選條件為：

$$
u(0^-,t)=u(0^+,t),
$$

$$
T_-u_x(0^-,t)=T_+u_x(0^+,t).
$$

第一條保證位移連續，第二條是介面力的平衡（同一全域 $x$ 方向的符號約定）。足夠光滑時，兩段弦的總能量變化中的介面貢獻為：

$$
\big[T_-u_x(0^-,t)-T_+u_x(0^+,t)\big]u_t(0,t)=0.
$$

**重要：** 這是零介面儲能且無外部埠的理想條件。如果介面有黏結層、彈簧、點質量、耗散或接觸切換，正確做法是另外加入其儲能與功率，不能仍假裝上述兩條就涵蓋所有物理。

## 4.3 空氣—固體介面不是字面相同的弦焊點

真實聲固互動須處理正常速度匹配及壓力／牽引力的功率平衡，並在所選模型之下定義介面跡。若採線性聲學壓力與結構位移，可以因變數不同而需要不同的法向符號與係數；本文不將上一節弦的條件直接冒充聲固通用定律。

真實可壓縮黏性流體若與固體運動邊界耦合，還可能遭遇 Eulerian/Lagrangian 映射、移動域、黏滯牽引力及正則性不匹配。GMDIS-06 必須以文獻中的成熟界面模型作嚴格起點。

## 4.4 功率埠及介面雙重計數

若兩個子系統透過理想功率埠互連，其交界面上的輸出功率與輸入功率在統一的方向約定下相抵。若介面可存儲能量，則兩端差額正是介面儲能率；若可耗散，還有非負耗散項。

因此多場總能量的基本審計必須採用：

$$
\dot E_{\mathrm{total}}
=P_{\mathrm{ext}}-P_{\mathrm{diss}}+P_{\mathrm{boundary}}.
$$

每項應以確定的物理單位與符號表示。這是 GMDIS-04 的直接延續，不是 GRST 勢的守恆方程。

---
# 5. 核心可證模型：一維彈性弦與集中振盪器的分布式彈簧耦合

## 5.1 為什麼採用這個模型

這是一個保留連續場、集中機械自由度、跨域耦合、外部力與阻尼的**最低可重算範例**。它具有真正可檢查的物理量綱，仍能透過半群與 Galerkin 工具做嚴格分析。它不是完整空氣聲學模型，也不是節拍器真實擒縱機構的物理擬合；後兩者放在 GMDIS-06／07。

固定弦域：

$$
\Omega=(0,L),\qquad L>0.
$$

弦的橫向位移記為 $u(x,t)$ ；一個集中振盪器的位移記為 $q(t)$。弦的線密度 $\rho>0$ 、張力 $T>0$ 、每單位長度阻尼 $b\ge0$ ；振盪器質量 $m>0$ 、自身彈簧常數 $k_0>0$ 、阻尼 $\beta\ge0$ ；跨場耦合彈簧常數 $\kappa\ge0$。

用固定、非時變的空間耦合核 $g\in L^2(0,L)$ 定義：

$$
Gu=\int_0^L g(x)u(x)\,dx,\qquad \delta=q-Gu.
$$

如需把 $Gu$ 解讀為具長度單位的平均位移，可取 $g$ 的 SI 單位為 $\mathrm m^{-1}$ 並依需要採 $\int g\,dx=1$ ；數學存在性不要求 $g$ 為正、也不要求它的積分恰為一。 $G:L^2\to\mathbb R$ 是有界泛函，由 Cauchy–Schwarz 得：

$$
|Gu|\le\|g\|_{L^2}\|u\|_{L^2}.
$$

這裡的 $g$ 不是「資訊纖維實體」。它是具體物理連接區域的**分布式線性作用核**。若連接集中在幾乎一點，使用狄拉克分布將改變算子的合法性，需要跡定理／邊界控制的另一種處理，不能直接宣稱仍屬 $L^2$。

## 5.2 D-05-04：完整運動方程及其單位

採弦固定端點：

$$
u(0,t)=u(L,t)=0.
$$

運動方程為：

$$
\rho u_{tt}
=T u_{xx}-b u_t+\kappa(q-Gu)g+s(x,t),
$$

$$
m q_{tt}
=-\beta q_t-k_0q-\kappa(q-Gu)+f(t).
$$

弦方程左右兩側的單位均為 $\mathrm{N/m}$ ；集中方程左右兩側均為 $\mathrm N$。例如 $\kappa\delta$ 是牛頓力，乘以 $g(x)$ （單位 $\mathrm m^{-1}$ ）後成為單位長度分布力。 $s$ 是弦上的外部分布力， $f$ 是振盪器受到的外部集中力。

兩個耦合力分別為 $+\kappa\delta g$ 和 $-\kappa\delta$，來自相同的耦合彈簧位能。其方向並非任意搭配；符號錯誤會破壞能量帳本。

## 5.3 D-05-05：總機械能

定義：

$$
E(t)=\frac12\int_0^L\big(\rho u_t^2+T u_x^2\big)\,dx
+\frac m2q_t^2+\frac{k_0}{2}q^2
+\frac\kappa2(q-Gu)^2.
$$

此能量包含弦的動能／彈性能、集中質量的動能／自身位能以及**跨域耦合位能**。若去掉最後一項卻仍保留耦合力，會漏記一個真實交換通道。

令：

$$
\mathcal H=H_0^1(0,L)\times L^2(0,L)\times\mathbb R\times\mathbb R.
$$

對 $U=(u,p,q,v)$，取 $p=u_t$ 、 $v=q_t$，以 $2E(U)$ 定義平方能量範數。由 $T,k_0,m,\rho>0$ 以及 Poincaré 不等式，這是一個與標準積空間範數等價的 Hilbert 範數； $\kappa\ge0$ 的耦合項只增加非負二次型，不必為了正定而另行假定 $\kappa>0$。

## 5.4 M-05-01：能量恆等式

**命題 M-05-01。** 假設解足夠正則，並滿足上述端點條件，則：

$$
\frac{dE}{dt}
=-\int_0^L b u_t^2\,dx-\beta q_t^2
+\int_0^L s(x,t)u_t(x,t)\,dx+f(t)q_t(t).
$$

**證明。** 弦方程乘以 $u_t$ 並沿弦積分：

$$
\frac{d}{dt}\left[\frac12\int_0^L(\rho u_t^2+T u_x^2)\,dx\right]
=-\int_0^L b u_t^2\,dx+\kappa\delta Gu_t+\int_0^L s u_t\,dx.
$$

端點貢獻由固定邊界消失。集中方程乘 $q_t$：

$$
\frac{d}{dt}\left[\frac m2 q_t^2+\frac{k_0}{2}q^2\right]
=-\beta q_t^2-\kappa\delta q_t+f q_t.
$$

而耦合位能的導數為：

$$
\frac{d}{dt}\frac\kappa2\delta^2
=\kappa\delta(q_t-Gu_t).
$$

三式相加後所有內部耦合功率正負相抵，得到所述能量式。證畢。

**最重要的物理結果：** 弦與振盪器會相互交換能量，但在理想彈簧介面下，該交換不應被當作「系統外加能源」；只有 $s,f$ 對完整系統做外功， $b,\beta$ 耗散機械能。若研究整個熱環境，這些機械耗散可轉為其他形式的能量，不是宇宙能量消滅。

## 5.5 M-05-02：無外力下的非增能量

若 $s=f=0$， $b,\beta\ge0$，則：

$$
E(t)+\int_0^t\int_0^L b u_\tau^2\,dx\,d\tau
+\int_0^t\beta q_\tau^2\,d\tau=E(0).
$$

故 $E(t)\le E(0)$。但這個命題**沒有**證明一定會同步、一定收斂到零、一定以固定指數衰減、或任何一個特定模態一定主導。當 $b=\beta=0$ 時，本模型能量守恆，不代表所有自由度會自動鎖相。

## 5.6 M-05-03：可積外力的能量上界

假設：

$$
s\in L^1(0,T_f;L^2(0,L)),\qquad f\in L^1(0,T_f).
$$

定義外力的加權強度：

$$
W(t)=\left(\int_0^L\frac{s(x,t)^2}{\rho}\,dx+\frac{f(t)^2}{m}\right)^{1/2}.
$$

由 M-05-01、Cauchy–Schwarz 及 $\sqrt{2E}$ 包含速度能量得（零能量處以常規正則化／積分估計處理）：

$$
\sqrt{2E(t)}\le\sqrt{2E(0)}+\int_0^t W(\tau)\,d\tau.
$$

這給出有限時間能量增長的先驗上界。注意它只需要輸入可積，不代表輸入是無害的，亦不保證 $t\to\infty$ 時能量有界；長時間週期驅動需更強的耗散與譜條件。

---

# 6. M-05-04：最大耗散生成元與適定性定理

## 6.1 生成元的定義及型別

在 $\mathcal H$ 上定義線性算子：

$$
\mathcal A\begin{pmatrix}u\\p\\q\\v\end{pmatrix}
=\begin{pmatrix}
p\\
\rho^{-1}\big(Tu_{xx}-bp+\kappa(q-Gu)g\big)\\
v\\
m^{-1}\big(-\beta v-k_0q-\kappa(q-Gu)\big)
\end{pmatrix}.
$$

對常係數、一維固定端點及 $g\in L^2$，定義域取：

$$
D(\mathcal A)=\big(H^2(0,L)\cap H_0^1(0,L)\big)\times H_0^1(0,L)\times\mathbb R^2.
$$

上述定義域為充分、自然的標準選擇。若轉成高維 Lipschitz 域， $H^2$ 的正則性可能失效，應改使用 Dirichlet Laplacian 的算子定義域；不能照抄本節等號。

## 6.2 定理陳述

**定理 M-05-04（線性弦—集中振盪器之有限能量適定性）。** 若 $L,\rho,T,m,k_0>0$ 、 $b,\beta,\kappa\ge0$ 、 $g\in L^2(0,L)$，則：

1. $\mathcal A$ 在能量 Hilbert 空間 $\mathcal H$ 中生成一個強連續壓縮半群 $S(t)$ ；
2. 對任意 $U_0\in\mathcal H$，在 $s=f=0$ 下存在唯一有限能量 mild solution $U(t)=S(t)U_0$，且 $U\in C([0,T_f];\mathcal H)$ ；
3. 對任意上述 $L^1$ 輸入 $s,f$，存在唯一透過變分常數公式表示的有限能量 mild solution；
4. 對強初態及足夠正則輸入，解滿足 M-05-01 的能量等式；對一般有限能量解，對應的能量不等式／積分式可由稠密逼近得到；
5. 若兩組輸入、初態不同，解的差可由 M-05-03 的同型不等式控制，故在固定有限時間窗中連續依賴資料。

**範圍限定：** 此定理適用於所列**線性、固定區域、分布式有界耦合核**模型，不證明帶接觸跳變、非線性 Navier–Stokes、未知熱本構或移動聲學邊界的完整世界模型適定。

## 6.3 證明第一步：能量內積的正定性

令：

$$
\|U\|_E^2
=\int_0^L(\rho p^2+T u_x^2)\,dx+m v^2+k_0 q^2+\kappa(q-Gu)^2.
$$

因 $\rho,T,m,k_0>0$，並使用 Poincaré 不等式，可得常數 $c_1,c_2>0$ 使：

$$
c_1\|U\|_{\mathcal H,0}^2\le\|U\|_E^2\le c_2\|U\|_{\mathcal H,0}^2.
$$

其中 $\|\cdot\|_{\mathcal H,0}$ 是標準乘積範數。耦合項上界來自 $G$ 的有界性。故此能量內積定義了完整 Hilbert 空間上的等價範數。

## 6.4 證明第二步：耗散性

對 $U\in D(\mathcal A)$ 使用上述能量內積，分部積分並利用 M-05-01，可得：

$$
\langle\mathcal A U,U\rangle_E
=-\int_0^L b p^2\,dx-\beta v^2\le0.
$$

因此 $\mathcal A$ 耗散。此步仍未結束，尚須證明 $\lambda I-\mathcal A$ 的值域滿射。

## 6.5 證明第三步：預解算子的滿射

給定任意 $H=(h_1,h_2,h_3,h_4)\in\mathcal H$，以及 $\lambda>0$，求解：

$$
(\lambda I-\mathcal A)U=H.
$$

由第一、第三個分量消去速度：

$$
p=\lambda u-h_1,\qquad v=\lambda q-h_3.
$$

留下 $(u,q)\in V=H_0^1(0,L)\times\mathbb R$ 的變分問題。對任意 $(\psi,w)\in V$，令：

$$
\begin{aligned}
a_\lambda((u,q),(\psi,w))={}&T\int_0^L u_x\psi_x\,dx\\
&+(\rho\lambda^2+b\lambda)\int_0^L u\psi\,dx\\
&+(m\lambda^2+\beta\lambda+k_0)qw\\
&+\kappa(q-Gu)(w-G\psi).
\end{aligned}
$$

對應的右側線性泛函為：

$$
\begin{aligned}
\ell_\lambda(\psi,w)={}&\int_0^L\big[\rho h_2+(\rho\lambda+b)h_1\big]\psi\,dx\\
&+\big[m h_4+(m\lambda+\beta)h_3\big]w.
\end{aligned}
$$

因 $\lambda>0$ 及正參數假設， $a_\lambda$ 在 $V$ 上有界且強制（coercive）：

$$
a_\lambda((u,q),(u,q))
\ge T\|u_x\|_{L^2}^2+k_0q^2.
$$

Poincaré 不等式和正定性使此式控制 $V$ 範數。 $\ell_\lambda$ 是有界泛函。依 Lax–Milgram 定理，存在唯一 $(u,q)\in V$ 解此變分問題。

從變分方程整理 $u_{xx}$：右側由 $h_1,h_2,u,g$ 與 $q$ 的 $L^2$ 項組成，因此 $u_{xx}\in L^2(0,L)$ ；在一維固定端點下可得 $u\in H^2\cap H_0^1$。又 $p=\lambda u-h_1\in H_0^1$， $q,v\in\mathbb R$，故 $U\in D(\mathcal A)$，且整個預解問題被滿足。

因此對任意 $H\in\mathcal H$，存在 $U\in D(\mathcal A)$ 使 $(\lambda I-\mathcal A)U=H$。結合耗散與稠密定義域，得到最大耗散；由 Lumer–Phillips 定理， $\mathcal A$ 生成壓縮 $C_0$ 半群。

## 6.6 證明第四步：可積外力與資料連續依賴

定義有界內部輸入映射：

$$
B(s,f)=\left(0,\frac{s}{\rho},0,\frac{f}{m}\right).
$$

因此：

$$
U(t)=S(t)U_0+\int_0^t S(t-\tau)B(s(\tau),f(\tau))\,d\tau.
$$

 $B$ 在所選 $L^2\times\mathbb R$ 輸入空間到 $\mathcal H$ 有界；Bochner 積分對 $L^1$ 輸入有定義。半群連續性給唯一 mild solution，能量上界與解的差分估計即由前述能量計算與逼近成立。證畢。

## 6.7 定理不能偷偷升級的結論

- 沒有證明所有有限能量初態皆有逐點 $u_{xx}$ ；
- 沒有證明非線性擒縱可在此域上當作局部 Lipschitz 作用；
- 沒有證明任意結構—流體界面模型的 m-耗散性；
- 沒有證明 $S(t)$ 有統一的指數衰減速率；
- 沒有證明 100 或 1,000 個振盪器必然同步；
- 沒有證明 SIO 的所有資訊特徵或 GRST 的獨立預測增益。

對 GMDIS 而言，**成功建立一個合法模型只是起點，不是整個理論已成功。**

---
# 7. Galerkin 離散化：怎樣保留連續模型的能量結構？

## 7.1 從本徵基底到有限自由度

在固定端點弦域 $(0,L)$，使用 Dirichlet Laplacian 的正交本徵函數：

$$
e_n(x)=\sqrt{\frac2L}\sin\left(\frac{n\pi x}{L}\right),\qquad n=1,2,\ldots
$$

其本徵值：

$$
\lambda_n=\left(\frac{n\pi}{L}\right)^2.
$$

取前 $N$ 個基底作近似：

$$
u_N(x,t)=\sum_{n=1}^N a_n(t)e_n(x).
$$

記 $g_n=Ge_n$ 、 $\mathbf g_N=(g_1,\ldots,g_N)^T$，則：

$$
Gu_N=\mathbf g_N^T\mathbf a.
$$

投影後得到：

$$
M_N\ddot z+D_N\dot z+K_N z=F_N(t),
$$

其中 $z=(a_1,\ldots,a_N,q)^T$，且：

$$
M_N=\begin{pmatrix}\rho I_N&0\\0&m\end{pmatrix},\qquad
D_N=\begin{pmatrix}b I_N&0\\0&\beta\end{pmatrix},
$$

$$
K_N=\begin{pmatrix}
T\operatorname{diag}(\lambda_1,\ldots,\lambda_N)+\kappa\mathbf g_N\mathbf g_N^T&-\kappa\mathbf g_N\\
-\kappa\mathbf g_N^T&k_0+\kappa
\end{pmatrix}.
$$

這個矩陣是對稱的，而且：

$$
 z^T K_N z
=T\sum_{n=1}^N\lambda_n a_n^2+k_0q^2+\kappa(q-\mathbf g_N^T\mathbf a)^2>0
$$

對任何非零 $z$ 成立，因為 $T,k_0>0$。因此在 $N$ 個弦模態與一個振子自由度的範圍內，質量矩陣與勁度矩陣均為正定。

## 7.2 M-05-05：離散能量恆等式

定義：

$$
E_N=\frac12\dot z^TM_N\dot z+\frac12z^TK_N z.
$$

因 $M_N$ 、 $K_N$ 為對稱常係數，將投影運動方程乘以 $\dot z^T$ 得：

$$
\dot E_N=-\dot z^TD_N\dot z+\dot z^TF_N(t).
$$

無外力時， $\dot E_N\le0$。這正是連續能量帳本的離散版本，沒有為了數值化而引入新型能量來源。若採某個不保能量或不保耗散的積分器，時間離散又可能額外產生誤差，不能以本條空間離散的恆等式掩蓋。

## 7.3 如何真正宣稱 Galerkin 收斂

本篇所選線性系統的能量先驗界與基底完備性，可以配合標準 Galerkin 與半群逼近理論支持在有限時間窗中的收斂。不過「 $N\to\infty$ 」不是一種魔法：

- 初態投影需在能量空間收斂；
- $g_N$ 是同一固定核 $g$ 的投影，不能隨 $N$ 任意改變而不重新說明問題；
- $s_N$ 與 $f$ 的近似需同輸入語境；
- 逐點時間誤差與平均時窗誤差必須分別報告；
- 網格／模態收斂不自動證明實體物理參數選對；
- 若存在無界點源、移動界面或非線性高頻耦合，需新的收斂定理。

因此工程報告應同時記錄 $N$ 、積分步長、能量殘差、參數和相同物理初始狀態的映射，而非只顯示不同網格的動畫相似。

## 7.4 模態截斷不是物理模式刪除

保留前 $N$ 個模態，可以使計算只使用 $N+1$ 個廣義位移，但被截去的模式在連續世界中未被證明不存在。數值模型是否足以預測某項物理觀測，需要另外分析高頻尾項、輸出敏感度、外力頻譜及邊界影響。

這是 SIO「剩餘自由並非觀察投影後消失」的一種清楚而不神祕的數學對照。

---

# 8. 解析案例：第一弦模態、兩個特徵頻率與動力記憶

## 8.1 C-05-01：無量綱化的兩自由度基線

令 $L=\pi$ 、 $g=e_1$，只保留第一個弦模態，並以一致的無量綱單位選：

$$
\rho=T=m=k_0=\kappa=1,\qquad b=\beta=0.3.
$$

寫 $u(x,t)=a(t)e_1(x)$。當無外力時，得到：

$$
\ddot a+0.3\dot a+2a-q=0,
$$

$$
\ddot q+0.3\dot q+2q-a=0.
$$

這是一組已明示離散化、模態與無量綱基準的方程，不是把真實弦的 SI 量值設為「一」的實驗聲稱。

## 8.2 M-05-06：兩個模態的精確頻率

把 $z=(a,q)^T$，其無阻尼勁度矩陣：

$$
K=\begin{pmatrix}2&-1\\-1&2\end{pmatrix}.
$$

共同方向 $z_+=(1,1)^T$ 之特徵值為 $1$，差異方向 $z_-=(1,-1)^T$ 的特徵值為 $3$。故無阻尼角頻率：

$$
\omega_+=1,\qquad\omega_-=\sqrt3.
$$

加入相同阻尼係數 $0.3$ 後，兩個模態各自遵守：

$$
\ddot y_\pm+0.3\dot y_\pm+\omega_\pm^2y_\pm=0.
$$

其特徵根分別為：

$$
r_{\pm,1/2}=-0.15\pm i\sqrt{\omega_\pm^2-0.0225}.
$$

這顯示「共同模態」與「差異模態」受到的勁度不同；但由此**不能**直接宣稱兩者將進入相同的相位同步終態，因為此例本身沒有維持非零極限環的擒縱自驅動。其最終平衡是靜止，而非永久擺動。

## 8.3 M-05-07：只看振子位置與速度，無法自行決定其未來

考慮兩個初始狀態：

$$
q(0)=0,\qquad\dot q(0)=0,\qquad\dot a(0)=0.
$$

唯一差別是：

$$
a_+(0)=A,\qquad a_-(0)=-A,\qquad A\neq0.
$$

觀察振盪器的局部位移與速度完全一樣，但由第二條方程立即得到：

$$
\ddot q_+(0)=A,\qquad\ddot q_-(0)=-A.
$$

因此其短時運動為：

$$
q_\pm(t)=\pm\frac{A}{2}t^2+O(t^3).
$$

同一局部觀測的未來分叉不必訴諸未發現的物理力，僅由已知的隱藏弦模態就能產生。若把共同系統降為只含 $(q,\dot q)$ 的自主單值模型，該投影便無法對所有允許初態精確閉合。

此例直接延續 GMDIS-02 的「投影充分性反例」及 GMDIS-03 的「動態影響陰影」，但現在具備完整的有限能量母模型。

## 8.4 消去弦模態，記憶仍然存在

由第一條方程可寫：

$$
\ddot a+0.3\dot a+2a=q.
$$

令 $\omega_d=\sqrt{2-0.15^2}$，該線性子系統的因果 Green 核為：

$$
G_d(t)=\frac{e^{-0.15t}\sin(\omega_d t)}{\omega_d},\qquad t\ge0.
$$

因此：

$$
a(t)=a_h(t)+\int_0^tG_d(t-s)q(s)\,ds,
$$

其中 $a_h$ 取決於未被保留的初始弦位移與速度。代回集中方程：

$$
\ddot q+0.3\dot q+2q
=a_h(t)+\int_0^tG_d(t-s)q(s)\,ds.
$$

這是一個直接算出來的記憶形式。它說明**消去一個動力自由度，未必消去它對未來的影響**。此處記憶核並非新發現的自然定律，而是線性消元的結果；更高維情況可與 Mori–Zwanzig 類型的投影記憶思想作比較。

## 8.5 僅有限時窗的觀測不保證辨識所有微觀參數

即使可量到 $q(t)$ 的較長時間序列，在儀器噪聲、時間解析度與激發頻譜限制下，也不保證能唯一重建弦的所有模態和參數。需區分以下問題：

- 數學上是否能觀測到完整狀態；
- 哪些模態在目前的感測配置中可觀測；
- 已知模型與未知模型的辨識是兩個不同任務；
- 額外採樣與主動施力是否可以提高辨識；
- 識別能力與真正新增的 GRST／SIO 預測增益是否獨立。

這些由 GMDIS-10、12、13 以適當觀察及控制基線驗證。

---

# 9. 譜穩定不等於暫態穩定：非正規算子的最低反例

## 9.1 何以不能只看特徵值

對有限維線性方程 $\dot z=Az$，若 $A$ 非正規（即它與其伴隨不交換），則即使每個特徵值的實部均為負，特定初態仍可能先被明顯放大再衰減。無限維演化更需注意算子域、譜與半群增長界之間的差別，不能將有限維特徵值判據不加條件地外推。

## 9.2 M-05-08：相同特徵值、不同短時響應

考慮：

$$
A_0=\begin{pmatrix}-1&0\\0&-1\end{pmatrix},\qquad
A_K=\begin{pmatrix}-1&K\\0&-1\end{pmatrix}.
$$

對任意實 $K$，兩個系統的特徵值都恰為 $-1$ （重數二），唯一平衡也都在原點。但：

$$
e^{tA_0}=e^{-t}I,
$$

$$
e^{tA_K}=e^{-t}\begin{pmatrix}1&Kt\\0&1\end{pmatrix}.
$$

選 $z_0=(0,1)^T$，在 $t=1$ 的 Euclidean 長度：

$$
\|e^{A_0}z_0\|_2=e^{-1},\qquad
\|e^{A_K}z_0\|_2=e^{-1}\sqrt{1+K^2}.
$$

因此當 $|K|$ 很大時，同樣的特徵值和同樣的長期平衡，完全可能對有限時間的放大產生不同結果。這是非正規動力學的標準型反例。

**重要限定：** 此處放大的是固定 Euclidean 座標中的暫態範數，並沒有證明物理總能量違反守恆或耗散。若模型具有適當的正定能量矩陣，其耗散性應在對應能量內積下檢查，不可拿不同範數的結果偷換。

## 9.3 對 GMDIS 研究目標的意義

GRST 若要對「未來勢」提出操作性特徵，不可以只記「特徵值全部穩定」或「吸引子是原點」。在指定時間窗，至少還可能需要追蹤：

- 半群增長上界或有限時間傳播算子範數；
- 非正規瞬時放大及擾動方向；
- 外部輸入到任務輸出的增益；
- 能量內積與 Euclidean 內積的差別；
- 穩定與不可觀測模態的獨立性；
- 跨規則變動後結果能否重現。

上述概念成熟於算子與控制理論；GMDIS 的新增責任是以清楚的模型語義整合、比較其充分性，而非宣稱這些工具此前不存在。

---
# 10. 觀察算子：資訊充分性必須符合函數空間型別

## 10.1 D-05-06：有界輸出與不合法點值

將可觀察量表示為：

$$
y(t)=CU(t),\qquad C:\mathcal H\to\mathcal Y.
$$

若 $C$ 有界，則其對有限能量初態的敏感性可依 $\|C\|$ 控制。例如觀察集中位移 $q$ 、速度 $v$，或對弦位移做 $L^2$ 空間加權平均，都是本篇模型中的合法有界觀察。

但以場速度 $p\in L^2$ 的「單點值 $p(x_0)$ 」當作無條件可觀測量並不合法； $L^2$ 函數對單點的取值不具一般意義。若觀察一維弦的**位移** $u\in H_0^1(0,L)$，Sobolev 嵌入反而允許有界的位移點值觀察。兩者必須分開。高維情況下， $H^1$ 不再通常保證點值連續。

物理感測器具有有限面積、帶寬、時間窗與噪聲，可優先用經核函數加權的輸出表示，避免把理想化點值當成無代價的宇宙視角。

## 10.2 有限能量輸出與可接受觀察

即便觀察算子 $C$ 不是從 $\mathcal H$ 到 $\mathcal Y$ 的有界映射，在控制理論中仍可能是有限時間「可接受」的，例如：

$$
\int_0^{T_f}\|CS(t)U_0\|_{\mathcal Y}^2\,dt
\le K_{T_f}\|U_0\|_{\mathcal H}^2.
$$

這項估計需要針對具體算子、解域與觀察配置證明。無界邊界量測不能直接使用「有界 $C$ 」的後續 Gramian 公式而不補上技術條件。

## 10.3 M-05-09：自治投影閉合的半群判準

令 $P:\mathcal H\to\mathcal Z$ 是線性有界且滿射的投影或觀測映射。希望存在一個良定義的低維（或商空間）演化族 $\widehat S(t)$，使：

$$
PS(t)=\widehat S(t)P.
$$

對所有 $t\ge0$ 成立。其必要且充分的代數條件為：

$$
PS(t)\ker P=\{0\},\qquad\forall t\ge0,
$$

即每一個在當下被 $P$ 隱藏的初始差異，經演化後也不改變 $P$ 的讀出。

**證明概要。** 若有交織式，取 $h\in\ker P$，則 $PS(t)h=\widehat S(t)Ph=0$。反之若 $\ker P$ 在所有 $S(t)$ 下滿足此條件，則可在商空間 $\mathcal H/\ker P$ 定義 $[U]\mapsto[S(t)U]$ ；在以 $P$ 辨識該商空間的有界線性同構條件下得到所需 $\widehat S(t)$。對 Banach／Hilbert 空間，線性有界滿射與商範數結構讓該演化有正確的連續性。證畢。

此判準只保證**既定自主規則下的精確商演化**；若要用相同低維模型處理不同的外力通道或規則干預，仍需檢查輸入作用與投影的兼容性。

## 10.4 受控干預的額外義務

若完整世界為：

$$
\dot U=\mathcal A U+Bf,
$$

而降階模型欲同時保留不同干預的輸入—輸出行為，則至少需要 $PB$ 可合法定義、輸入不依賴無法觀察的隱藏狀態，以及投影後的傳播閉合。若 $B$ 或系統參數隨未觀測狀態改變，僅驗證被動軌跡上的閉合沒有足夠說服力。

節拍器真正困難的研究問題正是在此：兩個系統可能具有相似的相位與同步模式，卻在外部振動、底座材質變換或聲學邊界反事實下有不同響應。

## 10.5 可觀測性 Gramian 不是必然可逆

對有限時窗 $[0,T_f]$ 及有界 $C$，定義非負觀察二次型：

$$
\mathcal Q_{T_f}(U_0)
=\int_0^{T_f}\|CS(t)U_0\|_{\mathcal Y}^2\,dt.
$$

若它對某個非零 $U_0$ 為零，該擾動完全無法透過此輸出於指定時窗辨識。若存在 $c>0$ 使 $\mathcal Q_{T_f}(U_0)\ge c\|U_0\|_{\mathcal H}^2$，才有相應的強可觀測性下界。無限維 PDE 系統並不自動滿足該下界；位置、介面、量測時間與波速都很重要。

這也區分了「模型狀態真的有此自由度」和「目前的感測器足以觀察它」兩件事。

---

# 11. 從多場泛函分析回到 SIO／GRST：能做的推導與不能做的推導

## 11.1 D-05-07：函數空間版本的局部構成與自由

在連續場模型中，SIO 所稱「構成位上的狀態纖維」可有多種實作。對弦的宏觀位移，我們可以使用局部材料點的**允許位移值與限制關係**作模型語義；但全域合法場不只是這些局部值的無條件笛卡兒積，它們還必須符合 Sobolev 正則性、邊界、物理約束和耦合關係。

因此比較嚴謹的接縫是：

$$
\mathcal X_R\subseteq\prod_i\mathcal X_i,
$$

其中 $\mathcal X_R$ 是指定物理規則及正則性下的合法狀態集，而不是「每點皆可自由取值」的集合。

在 1D $H_0^1$ 弦上，局部位移點值可理解；若是 $L^2$ 速度場，則必須用局部平均或弱意義描述。這不是對 SIO 的否定，而是將「纖維」概念放回正確的數學類型。

## 11.2 硬約束陰影與動態影響陰影的算子表述

GMDIS-03 已明確區分硬約束自由度陰影與動態影響陰影。現在可更精細地說：

- **硬約束影響：** 改變 $D(\mathcal A)$ 、邊界跡、合法狀態集 $\mathcal X_R$ 、接觸可行域或原本可用的變換集合。
- **動態影響：** 在相同或可比較的合法狀態空間下，改變生成元 $\mathcal A$ 、半群 $S(t)$ 、輸入算子 $B$ 或輸出響應 $CS(t)B$。
- **觀測影響：** 保持實際動力 $S(t)$ 不變，僅改變 $C$ 、時間窗或解析度，可能使某項差異由不可見轉為可見。

三者不能統一稱為「勢能擴散」。例如更換 $g$，可能在完全不改弦的幾何支撐集下改變遠端耦合；改變固定端點為自由端點，則會同時改動邊界條件、算子域與模態。

## 11.3 D-05-08：以演化響應建立候選未來勢剖面

在明示規則 $R$ 、初態 $U_0$ 、尺度 $\ell$ 、時間窗 $T_f$ 與指定物理任務後，可以使用**多軸**剖面：

$$
\Phi_R(U_0;T_f,\ell)
=(a_T,c_T,r_T,o_T,d_T,m_T).
$$

一種操作性解讀為：

- $a_T$：有限時間內可達或可恢復的任務輸出範圍；
- $c_T$：對指定作用通道的擾動／控制敏感性；
- $r_T$：同一定義範數下的恢復或放大率；
- $o_T$：觀測可辨識性或輸出損失；
- $d_T$：外部做功、耗散與殘差審計；
- $m_T$：降階後保留／省略的記憶影響。

此處 $\Phi_R$ **不是**一個已被證明的新守恆量，也不保證每個分量都能在所有模型中合法定義。比較前必須正規化單位、固定干預及觀察協定、說明不確定性；不宜把這六個值相加當作「高勢」評分。

GRST 的規則勢仍保持原始定義：規則誘導的可行未來結構性非均勻。物理量是其候選**觀察剖面**，不是一個額外施加到波動方程的實體力。

## 11.4 M-05-10：未來作用的比較需固定能量內積

若兩個模型具有相同幾何位置但不同質量分布，其 $\mathcal H$ 上的能量內積一般不同。直接比較 $\|S_1(t)\|$ 和 $\|S_2(t)\|$ 而不指定兩個空間的相容映射或共同物理輸出，容易製造虛假的「強弱」。

故跨規則比較應選擇：

1. 共同的物理輸出與 SI 單位；
2. 明示的狀態嵌入／投影橋；
3. 共同的初始擾動功或能量預算；
4. 相同的時間窗與資源限制；
5. 若生成元域不同，採跨模型可比的輸入—輸出指標，而非虛構一個通用 $L^2$ 差值。

這使 GRST-07 的規則級反事實得到數學分析上的型別要求。

## 11.5 GMDIS 要拒絕的四種偷換

（a）以 $\dim\mathcal H=\infty$ 推論「系統必有更高真實資訊量」；（b）以半群穩定性推論「所有物理自由已被消滅」；（c）以能量不增推論「所有振盪器必定同步」；（d）以新增 GRST 指標能描述結果，推論其已提供優於成熟物理理論的經驗預測。

這四種推論均需要獨立論證，不能視為本篇已證。

---

# 12. 24／72 在無限維模型中的正確角色

## 12.1 保留原本四軸

既有分類不改：

$$
\mathfrak P_{72}=\mathfrak B_2\times\mathfrak U_4\times\mathfrak O_3\times\mathfrak L_3.
$$

 $\mathfrak B_2$ 為連續／離散底空間， $\mathfrak U_4$ 為序列、選擇、並行、識別／檢索等計算更新組織， $\mathfrak O_3$ 為連續、離散、拒單測， $\mathfrak L_3$ 為確定、古典機率及真正量子通道型轉移律。

本篇線性弦—振子模型在連續時間、確定型轉移、連續場觀察的**某些計算／觀察實現**下，可以使用例如 C-P-C-F 的候選配置標記；但是此代碼並不直接代表 PDE 全部定義域、場的力學型別或邊界條件。

## 12.2 模型是一組帶分類的事件，不是宇宙只有一格

同一連續物理系統可能由離散格點的 GPU 算法近似、由感測器輸出離散事件、由統計模型加入隨機誤差、由模型辨識階段使用識別／檢索。因此計算分類與物理本體必須分離。

特別是：

- $\mathsf R$ （Recognition）是計算更新或讀出的形態，不應翻譯成「物理材料自我識別」；
- $\mathsf Q$ （Quantum）不等於普通節拍器的振盪相位；
- $\mathsf X$ （拒單測）需先指定表示族、任務及誤差門檻，並用資訊充分性檢驗支持；
- $\mathsf F$ 並不保證數值模擬沒有浮點誤差；
- 一個含噪聲的模型標為 $\mathsf K$，不意味基礎現象本身一定存在不可約的內稟隨機性。

## 12.3 分類與物理算子需要雙重索引

一個比較安全的研究紀錄是：

$$
\mathsf{Record}=(R,D(\mathcal A),\mathcal H,\mathcal I,\mathcal O,\pi_{72},\Gamma).
$$

其中 $R$ 是具體物理規則、 $D(\mathcal A)$ 是算子定義域、 $\mathcal H$ 是能量空間、 $\mathcal I$ 與 $\mathcal O$ 是輸入／輸出介面、 $\pi_{72}$ 是選定計算語義標記、 $\Gamma$ 是時間窗／尺度／誤差等觀察語境。

若只保留 $\pi_{72}$ 而刪去 $R,D(\mathcal A)$，就會犯和「只保留相位」類似的資訊壓縮錯誤。

---

# 13. 從弦到真實多場：尚不能跳過的數學障礙

## 13.1 固體：線性彈性不是一般材料世界

對小變形線性彈性體，典型模型為：

$$
\rho_s u_{tt}=\nabla\cdot\sigma+f_s,
\qquad\sigma=\mathbb C:\varepsilon(u),
$$

$$
\varepsilon(u)=\tfrac12(\nabla u+\nabla u^T).
$$

能量由 $\rho_s|u_t|^2$ 和 $\varepsilon(u):\mathbb C:\varepsilon(u)$ 組成。但 $\mathbb C$ 的對稱與橢圓性、固定或自由邊界、Korn 不等式、材料黏彈性或非線性都會改變問題。要宣稱存在唯一弱解，先得指定正確本構及函數空間。

## 13.2 聲學：聲壓與速度的聯立場

線性、無平均流、理想無黏流體的聲學近似可取：

$$
\frac{1}{K_a}p_t+\nabla\cdot v=0,
$$

$$
\rho_a v_t+\nabla p=0.
$$

其中 $K_a>0$ 是體積模量， $\rho_a>0$ 是平衡質量密度。能量密度及通量分別為：

$$
e_a=\frac{p^2}{2K_a}+\frac{\rho_a}{2}|v|^2,
\qquad J_a=pv.
$$

若光滑且無源，則：

$$
\partial_t e_a+\nabla\cdot J_a=0.
$$

此式適用於所選線性聲學近似，不能拿它描述任意湍流、強激波、熱黏性損失或高振幅音波。GMDIS-06 會在此底座上加入適當本構與界面條件，而不直接借用弦—振子那個分布式核作為所有聲固作用。

## 13.3 流固接口：正常速度與牽引功率

在選定表面法向 $n$ 及無穿透的理想界面，典型候選條件包含流體法向速度等於固體界面法向速度，以及固體牽引與流體壓力牽引的平衡。若用從固體指向流體的法向，理想無黏聲壓作用的固體應力邊界可依一致記號表示為 $\sigma_s n=-p n$，並配合 $v\cdot n=u_t\cdot n$。

正確的功率核對必須在相反方向的兩個外法向下進行；若界面本身變形、具有邊界質量或處於大位移，需加入幾何映射和 Jacobian，不應直接用固定界面的文字條件代替。

## 13.4 熱場：不能只把「阻尼損耗」從機械欄位刪掉

熱傳導近似：

$$
\rho_h c_h T_t=\nabla\cdot(k_h\nabla T)+Q.
$$

其中熱場通常呈拋物型，而彈性波動是雙曲型。二者若耦合，還需確定 $Q$ 是否包含黏滯、摩擦或其他機械耗散，以及熱膨脹對力學的反作用。若把機械阻尼耗散當成環境外消失，卻又聲稱模型是封閉宇宙總能量守恆，就形成明顯的範疇錯誤。

## 13.5 擒縱與接觸：非光滑事件不是普通微分擾動

真實節拍器的擒縱、棘輪卡合、撞擊與摩擦存在非光滑切換。比較好的候選建模方式包括分段光滑向量場、狀態依賴事件面、受限重設映射、碰撞互補條件及合適的能量耗散規則。

如果沒有排除 Zeno 現象、處理重設後狀態唯一性、證明事件可持續延拓或正確限制數值積分器，就不能把第 6 節線性半群定理直接延伸成真實擒縱系統的全域存在性證明。

## 13.6 真正的耦合難題：正則性及能量型別不匹配

聲學／彈性／黏性流體／熱傳可能混合雙曲、拋物及非線性輸運的方程。即使各子系統獨立適定，它們的**界面耦合**也可能因跡的正則性、移動域或本構失配而難以適定。

外部文獻已有針對特定聲固界面及流固耦合的存在性、穩定性和估計結果。本篇建議把它們當作可比較且應受尊重的成熟基線，不能宣稱 GMDIS 首次看見「多場耦合」。

---
# 14. 數值一致性驗證：不是實體實驗，也不是只靠目測

## 14.1 本篇已執行的最小重算

為避免模型只停留於符號敘述，本篇對第 8 節無量綱化首模態模型執行了兩組高精度 ODE 積分。設定 $b=\beta=0.3$ 、 $K=\begin{pmatrix}2&-1\\-1&2\end{pmatrix}$ 、初始速度為零、 $q(0)=0$，兩組只在 $a(0)=+1$ 或 $a(0)=-1$ 上不同。採 SciPy `solve_ivp`，`rtol=1e-11`、`atol=1e-13`，在事先指定的時間點比較。此為**解析模型的數值核對，不是物理實驗觀測**。

| 時刻 $t$ | $q_+(t)$ | $q_-(t)$ | 兩組總能量 $E(t)$ |
|---:|---:|---:|---:|
| $0$ | $0$ | $0$ | $1.000000000$ |
| $0.01$ | $+0.0000499484$ | $-0.0000499484$ | $0.999999501$ |
| $0.1$ | $+0.0049339224$ | $-0.0049339224$ | $0.999513818$ |
| $0.5$ | $+0.1094241134$ | $-0.1094241134$ | $0.951281935$ |
| $1.0$ | $+0.3205092298$ | $-0.3205092298$ | $0.766062065$ |
| $2.0$ | $+0.2677489488$ | $-0.2677489488$ | $0.560355691$ |
| $10.0$ | $-0.0951130649$ | $+0.0951130649$ | $0.052123503$ |

前期 $q(t)\sim\pm t^2/2$ 與解析展開一致；無外力而有阻尼時能量逐步下降。兩組能量相同是線性系統對整體符號反轉對稱的結果，**並不**表示兩組局部未來相同。

## 14.2 非正規算子的獨立核對

對第 9 節 $K=20$ 的矩陣，取 $t=1$ 、 $z_0=(0,1)^T$，則：

$$
\|e^{A_K}z_0\|_2=e^{-1}\sqrt{401}\approx7.36678007.
$$

而 $A_0$ 對相同初態的長度為 $e^{-1}\approx0.36787944$。數值矩陣指數與解析公式一致。此測試顯示的是**有限時窗範數差異**，不是統計顯著性或物理增益的測量。

## 14.3 隱式中點法的離散能量帳本

對第 8 節兩自由度方程 $\ddot z+D\dot z+Kz=0$，以隱式中點法在固定步長 $h>0$ 下更新：

$$
\frac{z_{n+1}-z_n}{h}=\frac{\dot z_{n+1}+\dot z_n}{2},
$$

$$
\frac{\dot z_{n+1}-\dot z_n}{h}
=-D\frac{\dot z_{n+1}+\dot z_n}{2}
-K\frac{z_{n+1}+z_n}{2}.
$$

定義中點速度 $\dot z_{n+1/2}$，由對稱二次能量的代數恆等式直接得到：

$$
E_{n+1}-E_n=-h\dot z_{n+1/2}^TD\dot z_{n+1/2}.
$$

本式在精確算術下是**離散能量等式**。因此它可以同時用作數值方法的內部驗證；若實作導致能源跳升，需先檢查程式、參數、時間離散或取樣，而不是率先宣布發現新物理。

對 $h=0.037$ 、1000 步、初始 $z=(1,0)^T$ 、 $\dot z=0$ 的直接矩陣迭代，數值結果：

- 能量帳本單步殘差之最大絕對值約 $4.70\times10^{-16}$ ；
- 步數 1000 時的能量約 $1.59802\times10^{-5}$ ；
- 上述殘差數值依雙精度浮點、程式庫及平台可能有末位差異，不應當作物理定律的精確常數。

## 14.4 三種殘差一定要分開

| 類型 | 算式或檢驗 | 主要可能來源 |
|---|---|---|
| 方程殘差 | $\|M\ddot z+D\dot z+Kz-F\|$ | 數值積分、離散化、強解近似 |
| 能量殘差 | $|E(t)-E(0)-\int(P_{\rm ext}-P_{\rm diss})|$ | 功率符號、時間積分、漏記介面 |
| 現實殘差 | 真實儀器輸出與模型預測差 | 參數、本構、觀測、未知物理或儀器噪聲 |

模型方程殘差小不保證現實殘差小；模態足夠多不保證本構對；擁有漂亮動畫也不能取代量測的不確定性。

---

# 15. 建議的數值與實驗基準：從數學有效性到可測世界

## 15.1 P0｜型別與能量規格檢查

確認每個物理參數的 SI 單位、正定條件與邊界。對第 5 節弦—振子模型， $\rho$ 單位 kg/m、 $T$ 單位 N、 $b$ 單位 kg/(m·s)、 $m$ 單位 kg、 $\beta$ 單位 kg/s、 $k_0,\kappa$ 單位 N/m、 $g$ 單位 1/m， $s$ 單位 N/m、 $f$ 單位 N。

測試應包含故意設置 $k_0<0$ 、 $m=0$ 、錯誤耦合符號與不匹配的網格投影，以確保模型編譯／檢查器會明確拒絕不符合本篇定理假設的情形。

## 15.2 P1｜完整模型與端點條件

驗證 $u(0)=u(L)=0$ 、有限能量、正定勁度與外力歸一。若端點切換為自由端，必須建立**新**邊界問題，不能只更換圖表標題。

## 15.3 P2｜Galerkin／時間積分收斂

使用 $N=1,2,4,8,16,32,\ldots$ 的模態截斷及多個時間步長，並對同一物理初態作一致投影。追蹤任務輸出 $q(t)$ 、空間平均位移、總能量、能量殘差及已選時窗的誤差。若耦合核只含第一模態，其他模態在零高模態初態下應保持靜默，成為重要負向測試。

## 15.4 P3｜隱藏模態與觀察充分性

採兩組相同 $q(0),\dot q(0)$ 、不同 $u(0)$ 的合法有限能量初態。若只允許低維輸出，使用 GMDIS-02 的閉合判準；若加入過去觀測序列、場感測器或主動施力，則應公平重測強基線，不能維持原本資訊匱乏設定來提高新方法優勢。

## 15.5 P4｜非正規暫態與能量內積

比較不同 $A_K$ 對 Euclidean 觀察的短時放大。接著測試是否存在明示的正定 $Q$，使 $A^TQ+QA\le0$，並將 $Q$ -能量不增與觀測量的放大區分。此實驗可用純線性代數重現，不依賴新的物理效應。

## 15.6 P5｜跨規則反事實

在相同有限能量與初態歸一規約下改變 $\kappa$ 、 $g$ 、阻尼、固定端點或其他可合法改變的物理參數。先預先決定何種干預比較屬於同一狀態空間，何種改變需更換算子域與觀察橋。

對單純的剛體底座、一維平移和相同單位參數，若模型沒有位置相關的力矩或形變作用，僅重排節拍器座標不應憑空帶來幾何效果。這是 GMDIS-03 已要求保留的零效應基線。

## 15.7 P6｜增量資訊充分性及公平競爭

固定預測任務、可用感測資料量、模型參數預算、計算資源及資料切分。最低比較組：

1. 最簡相位／序參量或局部振子模型；
2. 相位—振幅／等穩幅或延遲重建；
3. 成熟的直接機械／波動耦合模型；
4. 成熟的模態截斷／Mori–Zwanzig 記憶／Koopman／狀態空間模型；
5. 在相同資源限制下，加入 GMDIS 的觀測充分性稽核及 GRST／SIO 候選剖面。

若第五組僅因使用更多感測通道、更長訓練資料或更多可調參數而表現較好，不可將結果歸功於 GMDIS 的概念新增性。

## 15.8 預定量測指標

至少保留預測誤差、校準度、能量殘差、時間離散與空間截斷誤差、模型複雜度、可觀測性盲點、干預外推誤差、擾動恢復指標和計算成本。不要使用只包含「同步率提升」的一個漂亮總分，因為本系列原本就是為了避免資訊被單一投影過度耗盡。

---

# 16. 可反駁命題、嚴格失效與理論讓位原則

## 16.1 H-05-01：有型別多場建模能否減少不適定的整合錯誤？

**待驗主張：** 對某個預先指定的多介質基準集，加入明確的狀態空間、算子域、接口型別與能量審計，可能降低耦合邊界錯配或不可重現解的比例。

**反駁方式：** 與已採用同等物理能量、有限元素與保結構設計的成熟方法比較；若 GMDIS 的表述未提高可靠性，它只是一份教學型檢查表，不具有可獨立主張的新數學性能。

## 16.2 H-05-02：隱藏模態是否具有可觀察、可外推的效應？

**待驗主張：** 對部分具有共用媒介的振盪器世界，在感測器預算受限下，補充介質狀態或記憶特徵可改善指定受控干預下的預測。

**反駁方式：** 若具等價資料量的成熟相位—振幅、延遲嵌入、記憶模型或狀態辨識已達同等精度，該補充沒有獨立增益。形式解析反例只證明某個低維投影不足，不保證新增模型必然較好。

## 16.3 H-05-03：GRST／SIO 的操作剖面能否在強基線上增量預測？

**待驗主張：** 對跨規則、跨幾何或跨介質預測， $\Phi_R$ 剖面可能幫助選取更合適的模型或辨識顯著隱藏自由。

**反駁方式：** 若它完全是已存在的 controllability Gramian、可觀測性估計、transfer function、energy flux、Lyapunov 指標或 mode participation 的重命名，應承認被既有工具吸收。

## 16.4 H-05-04：24／72 作為分類標記的可用性

**待驗主張：** 對複合物理模擬專案，24／72 的事件級標記可能降低模型混用與測量語境歧義。

**反駁方式：** 若它無法比直接標記「PDE 類型＋solver＋輸入／輸出契約」提高錯誤偵測或跨模組比較效率，則維持為可選元資料；不得宣稱自然界被 72 格完整分類。

## 16.5 F-05-01：未證明算子域卻宣稱 PDE 適定

若跨界力無法在選定函數空間合法定義，或者固定初態類下無法保證存在／唯一性，本篇的某個自然科學外推就不能被當成定理。正確回應是縮小模型、換用弱解／混合解、重設介面，或保留未解義務。

## 16.6 F-05-02：物理能量帳本不閉合

在沒有新物理來源、已知外力或數值容差的模型中若出現大幅能量殘差，應先檢查型別、界面功率、時空離散與參數。只有在反覆排除已知原因、具可重現實體測量後，才有資格討論模型之外的未知機制。

## 16.7 F-05-03：不當外推正線性模型的定理

第 6 節定理若被拿來保證自驅動擒縱、撞擊、湍流、非線性聲學或熱力耦合之全域適定，就是失效。不能因為「都能寫成場」便認為可以套用同一個 Lumer–Phillips 證明。

## 16.8 F-05-04：單一低維量在指定任務已足夠

在某些條件下，單一相位或經適當延遲重建的單一感測通道確實可能充分預測任務輸出。此時應主動接受降維。GMDIS 研究目標不是不惜代價保留最大狀態，而是找到**成本與誤差約束下的最低充分描述**。

## 16.9 F-05-05：沒有任何獨立增量

若 GRST／SIO／24／72 不改善可檢驗預測、證據追溯、模型選擇或干預設計，應讓 GMDIS 保留其「統合語義與教學框架」價值，而非繼續宣稱新物理學或更高維本體論。這是和 GRST-12 相容的明確讓位原則。

---

# 17. 下一篇交付契約：GMDIS-06 應接手什麼？

本篇已完成有限能量世界的四個最低工作：函數空間、合法耦合、適定性與能量帳本。下一篇不能只將更多場名詞列在同一個公式中；須逐一處理下列義務。

| 交付給 GMDIS-06 的欄位 | 本篇提供的底座 | 下篇必須補的證據 |
|---|---|---|
| 固體形變 | $H^1$ 、彈性能、弱形式 | 真實彈性本構、Korn 條件、界面正則性 |
| 聲學壓力／速度 | 線性一階聲場與聲學能量流 | 反射、吸收、有限傳播、聲固接口 |
| 流體與黏性 | 熱／流體空間及耗散型別區分 | 指定 Navier–Stokes 近似、移動界面、存在性邊界 |
| 熱場 | 拋物型演化與熱源帳本 | 機械耗散轉熱、熱傳導界面與熵生成 |
| 集中節拍器 | 弦—振子的完整可證參照模型 | 擒縱驅動、撞擊、摩擦、非光滑事件的數學處理 |
| 多尺度橋 | Galerkin、輸出算子、投影閉合判準 | 跨尺度截斷與不同觀測精度的誤差控制 |
| GRST／SIO | 操作剖面與合法狀態域 | 可外推、可對照的物理增量驗證 |

後續 GMDIS-07 研究驅動與非平衡穩定、08 研究跨尺度記憶、09 研究 24／72、10 研究充分性剖面、11 研究反事實、12–13 做基準與判敗、14 才在證據支持的範圍內統合。

---

# 18. 結論：從「多種力量」走向真正可定義的多場世界

我們最初觀察節拍器矩陣時，容易把「各種力在競爭，最後出現穩定同步」描述為一個有吸引力的直覺。但若想研究完整世界，最深的第一步其實是**承認不同自由度必須被放進能夠合法運算的數學空間**。

本篇展示：一個兼有連續介質與集中機械自由度的系統，在合理且明確的邊界與耦合假設下，可以被構造成有能量內積的 Hilbert 空間，並以最大耗散生成元取得存在、唯一、連續依賴與能量估計。它還展示即使如此簡單的模型，也能出現低維局部觀察不閉合、隱藏場以記憶形式影響未來，以及特徵值不充分描述有限時窗擾動增益等重要現象。

這些現象均可由成熟數學與物理工具解釋。GMDIS 在此的貢獻，是把它們與 GRST 的規則—未來勢分離、SIO 的自由結構與資訊佔據、早期廣義張力的可量綱化，以及 24／72 的計算分類，建立一條**不得偷換物理、不得跳過適定性、不得免除反事實驗證**的研究接縫。

因此，本篇的最低總結不是「所有物理都是張力」，也不是「無限維可以解釋任何事情」，而是：

> **要主張某個世界的多尺度力量流動可以生成某種集體未來，必須先給出其合法狀態、演化生成元、物理接口、能量帳本、觀測算子，以及這些結構在指定時窗下對預測任務的充分性。**

只有建立這一層，GMDIS-06 的多介質物理整合與 GMDIS-12／13 的大規模節拍器世界，才擁有真正可重算的基礎。

---
# 參考文獻與來源分級

下列外部資料支持標準泛函分析、PDE、控制理論、結構保持數值分析和介面耦合方法。**它們不構成對 GMDIS 本體論、GRST、SIO 或「新物理」的外部背書。** 書目內容與 DOI／出版來源以期刊或出版社可公開取得的資料頁核對；本文不宣稱已逐頁重現所有付費專書或論文的完整證明。

## A. 既有 EveMissLab 與 GMDIS 原稿

**[I1]** Neo.K，〈GMDIS-01｜從同步現象到全域多尺度動力學：研究母論與可證偽邊界〉，v0.1，2026-10-16。Canonical file：`GMDIS_01_From_Synchrony_to_Global_Multiscale_Dynamics_v0.1_2026-10-16.md`。

**[I2]** Neo.K，〈GMDIS-02｜相位與吸引子的資訊充分性邊界：投影、反例與重建條件〉，v0.1，2026-10-16。Canonical file：`GMDIS_02_Phase_Attractor_Informational_Sufficiency_Boundaries_v0.1_2026-10-16.md`。

**[I3]** Neo.K，〈GMDIS-03｜GRST × SIO：底空間、自由度陰影與未來勢賦形〉，v0.1，2026-10-16。Canonical file：`GMDIS_03_GRST_SIO_Substrate_Freedom_Shadows_Future_Shi_Shaping_v0.1_2026-10-16.md`。

**[I4]** Neo.K，〈GMDIS-04｜萬有張力的物理語義校準：從廣義影響到力、應力、功率與跨尺度能量帳本〉，v0.1，2026-10-16。Canonical file：`GMDIS_04_Physical_Semantic_Calibration_of_OmniTension_v0.1_2026-10-16.md`。

**[I5]** Neo.K，〈全域規則勢論 12：全域規則勢統合理論〉，2026-10-05。無界智庫公開版：<https://unboundedaxiom.org/p/lm-005022/>。

**[I6]** Neo.K，〈全域規則勢論 03：自由度不是勢〉，2026-10-04。無界智庫公開版：<https://unboundedaxiom.org/p/lm-005013/>。

**[I7]** Neo.K，〈空間資訊佔據、構成纖維與容器自由度：一個主客邊—ACTM 統合框架〉，2026-10-02。無界智庫公開版：<https://unboundedaxiom.org/p/lm-005071/>。

**[I8]** Neo.K，〈全域規則勢論 07：因果勢與雙層反事實〉，2026-10-05。無界智庫公開版：<https://unboundedaxiom.org/p/lm-005017/>。

**[I9]** Neo.K，〈計算的二十四重範式〉，v4.0，2026-07-19。無界智庫公開版：<https://unboundedaxiom.org/p/lm-001708/>。

**[I10]** Neo.K，〈從二十四重計算形態學到七十二格計算動力學〉，v0.1，2026-07-19。無界智庫公開版：<https://unboundedaxiom.org/p/lm-001687/>。

**[I11]** Neo.K，〈無限維規則論：存在、系統、力量與張力的統一本體論〉，v1.0，2026-05-26。無界智庫公開版：<https://unboundedaxiom.org/p/lm-000762/>。本篇只繼承其研究動機，**不**照搬原稿關於「力量守恆」或無限維萬有作用的自然定律主張。

**[I12]** Neo.K 與 AI 協作，〈OmniTension：基於張力語法的萬象力學統一理論總綱〉，早期 PDF。其擷取文字有字元損壞，故不以該檔被破壞的數學字元作為精確引述依據。

## B. 外部標準數學與物理學來源

**[E1]** H. Brezis, *Functional Analysis, Sobolev Spaces and Partial Differential Equations*, Springer, 2011. DOI: <https://doi.org/10.1007/978-0-387-70914-7>。Sobolev 空間、弱形式、橢圓及演化問題的一般參照。

**[E2]** K.-J. Engel and R. Nagel, *One-Parameter Semigroups for Linear Evolution Equations*, Springer, 2000. DOI: <https://doi.org/10.1007/b97696>。生成元、強連續半群與抽象 Cauchy 問題的參照。

**[E3]** A. Pazy, *Semigroups of Linear Operators and Applications to Partial Differential Equations*, Springer, 1983. DOI: <https://doi.org/10.1007/978-1-4612-5561-1>。半群及 PDE、非線性演化方法的參照。

**[E4]** M. Tucsnak and G. Weiss, *Observation and Control for Operator Semigroups*, Birkhäuser, 2009. DOI: <https://doi.org/10.1007/978-3-7643-8994-9>。無限維輸入／觀察、可接受算子、可觀測性及邊界控制。

**[E5]** B. Jacob and H. J. Zwart, *Linear Port-Hamiltonian Systems on Infinite-Dimensional Spaces*, Birkhäuser, 2012. DOI: <https://doi.org/10.1007/978-3-0348-0399-1>。分布參數系統、能量埠與無限維互連。

**[E6]** E. Hairer, C. Lubich, and G. Wanner, *Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations*, 2nd ed., Springer, 2006. DOI: <https://doi.org/10.1007/3-540-30666-8>。結構保持數值積分、能量及長時間誤差。

**[E7]** S. Gugercin, A. C. Antoulas, and C. Beattie, “ $\mathcal H_2$ Model Reduction for Large-Scale Linear Dynamical Systems,” *SIAM Journal on Matrix Analysis and Applications*, 30(2), 609–638, 2008. DOI: <https://doi.org/10.1137/060666123>。模型降階與可比較強基線。

**[E8]** A. J. Chorin, O. H. Hald, and R. Kupferman, “Optimal prediction and the Mori–Zwanzig representation of irreversible processes,” *PNAS*, 97(7), 2968–2973, 2000. DOI: <https://doi.org/10.1073/pnas.97.7.2968>。投影／不可逆有效描述的基本參照；開放全文：<https://pmc.ncbi.nlm.nih.gov/articles/PMC16175/>。

**[E9]** A. J. Chorin, O. H. Hald, and R. Kupferman, “Optimal prediction with memory,” *Physica D*, 166(3–4), 239–257, 2002. DOI: <https://doi.org/10.1016/S0167-2789(02)00446-3>。消去自由度後的記憶項與統計投影。

**[E10]** Y. Gao, P. Li, and B. Zhang, “Analysis of Transient Acoustic-Elastic Interaction in an Unbounded Structure,” *SIAM Journal on Mathematical Analysis*, 2017. DOI: <https://doi.org/10.1137/16M1090326>。在具體聲固界面與透明邊界條件下的適定性及時間估計；**不能**無條件外推至所有流固耦合。

**[E11]** J. Pantaleone, “Synchronization of metronomes,” *American Journal of Physics*, 70(10), 992–1000, 2002. DOI: <https://doi.org/10.1119/1.1501118>。可移動共同底座的節拍器物理基線。

**[E12]** H. Nakao, “Phase reduction approach to synchronisation of nonlinear oscillators,” *Contemporary Physics*, 57(2), 188–214, 2016. DOI: <https://doi.org/10.1080/00107514.2015.1094987>。相位降維的條件及已有理論，不能以其最簡形式代替全部相位學。

**[E13]** S. E. Otto and C. W. Rowley, “Koopman Operators for Estimation and Control of Dynamical Systems,” *Annual Review of Control, Robotics, and Autonomous Systems*, 4, 59–87, 2021. DOI: <https://doi.org/10.1146/annurev-control-071020-010108>。可觀測函數的演化算子與控制。

**[E14]** M. Grmela and H. C. Öttinger, “Dynamics and thermodynamics of complex fluids. I. Development of a general formalism,” *Physical Review E*, 56, 6620–6632, 1997. DOI: <https://doi.org/10.1103/PhysRevE.56.6620>。GENERIC 的可逆／不可逆結構背景。

**[E15]** A. van der Schaft and D. Jeltsema, “Port-Hamiltonian Systems Theory: An Introductory Overview,” *Foundations and Trends in Systems and Control*, 1(2–3), 173–378, 2014. DOI: <https://doi.org/10.1561/2600000002>。功率互連與多領域物理建模背景。

**來源註：** [E1]–[E10] 的作者、題名、出版年份及來源／DOI 已依公開出版社、期刊或學術全文資料核對；[E11]–[E15] 沿用此前 GMDIS-01／02／04 已核對的書目。對需要特定定理頁碼、材料參數、數值圖表的正式投稿，仍應由原始全文與實驗資料再次確認。本文的解析推導使用的是本文列出的模型假設，而不是聲稱參考書已證明 GMDIS 的專屬概念。

---

# 附錄 A｜跨篇核心符號與型別檢查表

| 符號 | 內容 | 型別或單位 | 典型限制 |
|---|---|---|---|
| $\Omega$ | 物理定義域 | 有界區域 | 必須指定邊界 |
| $\mathcal H$ | 世界能量狀態空間 | Hilbert 積空間 | 依物理模型而變 |
| $D(\mathcal A)$ | 生成元定義域 | $\mathcal H$ 的稠密子集 | 受邊界條件限制 |
| $\mathcal A$ | 線性演化生成元 | 無界算子候選 | 需適定性檢驗 |
| $S(t)$ | 連續時間演化半群 | $\mathcal L(\mathcal H)$ | 適當生成元下存在 |
| $u$ | 弦位移場 | m； $H_0^1$ | 本篇一維固定端 |
| $u_t$ | 弦速度 | m/s； $L^2$ | 點值不一定有意義 |
| $q$ | 集中振盪器位移 | m； $\mathbb R$ | 有正質量與彈性 |
| $G$ | 分布式場到集中值映射 | $L^2\to\mathbb R$ | 由 $g\in L^2$ 給定 |
| $\rho$ | 弦線密度 | kg/m | $>0$ |
| $T$ | 弦張力 | N | $>0$ |
| $b$ | 弦每單位長度阻尼 | kg/(m·s) | $\ge0$ |
| $m$ | 集中質量 | kg | $>0$ |
| $k_0$ | 集中彈簧勁度 | N/m | $>0$ |
| $\kappa$ | 耦合勁度 | N/m | $\ge0$ |
| $\beta$ | 集中阻尼 | kg/s | $\ge0$ |
| $s$ | 分布外力 | N/m | 可積或更強正則 |
| $f$ | 集中外力 | N | 可積或更強正則 |
| $E$ | 模型機械總能量 | J | 必須包含耦合位能 |
| $P$ | 投影／觀測 | 視語境 | 是否有界需分別驗證 |
| $\Phi_R$ | GRST 候選物理勢剖面 | 多軸任務依賴特徵 | **非**一個新守恆物理量 |
| $\pi_{72}$ | 計算事件 72 格代碼 | 元資料標籤 | **非**物理定律 |

---
# 附錄 B｜可直接重現的首模態測試程式

本附錄只使用 NumPy 與 SciPy，並刻意保持與第 8、9、14 節的一致性。這段程式不是物理儀器資料，也不自動證明無限維定理；它是**對一個已完全指定的有限維子模型進行獨立重算**。

```python
from __future__ import annotations

import numpy as np
from scipy.integrate import solve_ivp
from scipy.linalg import expm

# One-mode nondimensional oscillator/string coupling:
# a'' + 0.3 a' + 2 a - q = 0
# q'' + 0.3 q' + 2 q - a = 0

def rhs(t: float, y: np.ndarray) -> np.ndarray:
    a, q, da, dq = y
    return np.array([da, dq, -0.3*da - 2*a + q,
                     -0.3*dq - 2*q + a], dtype=float)


def energy(y: np.ndarray) -> float:
    a, q, da, dq = y
    return 0.5*(da*da + dq*dq + a*a + q*q + (q-a)**2)


times = [0.0, 0.01, 0.1, 0.5, 1.0, 2.0, 10.0]
results = {}
for amp in (+1., -1.):
    result = solve_ivp(rhs, (0., 10.), [amp, 0., 0., 0.],
                       t_eval=times, rtol=1e-11, atol=1e-13)
    assert result.success
    results[amp] = result
    for t, row in zip(result.t, result.y.T):
        print(f"a0={amp:+.0f}, t={t:.2f}, q={row[1]:+.10f}, "
              f"E={energy(row):.10f}")

# Projection insufficiency: identical measured q(0), q'(0),
# distinct hidden field amplitude, distinct future q(t).
assert abs(results[+1.].y[1, 2] - 0.00493392241848) < 1e-9
assert abs(results[-1.].y[1, 2] + 0.00493392241848) < 1e-9

# Analytic eigenstructure and non-normal transient example.
K = np.array([[2., -1.], [-1., 2.]])
assert np.allclose(np.linalg.eigvalsh(K), [1., 3.])
A_nonnormal = np.array([[-1., 20.], [0., -1.]])
x0 = np.array([0., 1.])
amp = np.linalg.norm(expm(A_nonnormal) @ x0)
assert abs(amp - np.exp(-1.) * np.sqrt(401.)) < 1e-12
print("Non-normal transient norm at t=1:", amp)

# Discrete energy law for implicit midpoint integration.
M = np.eye(2)
D = 0.3 * np.eye(2)
A = np.block([[np.zeros((2, 2)), np.eye(2)], [-K, -D]])
H = np.block([[K, np.zeros((2, 2))],
              [np.zeros((2, 2)), M]])
h = 0.037
I = np.eye(4)
P = np.linalg.solve(I - 0.5*h*A, I + 0.5*h*A)
state = np.array([1., 0., 0., 0.])
max_residual = 0.

def matrix_energy(z: np.ndarray) -> float:
    return 0.5 * z @ H @ z

for _ in range(1000):
    next_state = P @ state
    midpoint = 0.5 * (state + next_state)
    measured = matrix_energy(next_state) - matrix_energy(state)
    predicted = -h * midpoint[2:] @ D @ midpoint[2:]
    max_residual = max(max_residual, abs(measured - predicted))
    state = next_state

print("max discrete energy residual:", max_residual)
print("last energy:", matrix_energy(state))
assert max_residual < 1e-12
assert matrix_energy(state) >= 0.
```

執行前應固定 Python、NumPy、SciPy 版本並保存執行平台資訊；浮點值會有小幅版本依賴。此檢查至少分離了**解析推導檢查、獨立數值一致性檢查與尚未進行的實體物理測量**。

---

# 附錄 C｜完整能量推導的三層對照

## C.1 連續場

對 $u(0,t)=u(L,t)=0$，將弦方程與 $u_t$ 相乘：

$$
\int_0^L \rho u_{tt}u_t\,dx
=\int_0^L T u_{xx}u_t\,dx
-\int_0^L b u_t^2\,dx
+\kappa\delta Gu_t+\int_0^L s u_t\,dx.
$$

分部積分後：

$$
\int_0^L T u_{xx}u_t\,dx
=-\frac{d}{dt}\left(\frac T2\int_0^L u_x^2\,dx\right).
$$

## C.2 集中自由度

由 $m q_{tt}+\beta q_t+k_0q+\kappa\delta=f$，乘以 $q_t$，得到：

$$
\frac{d}{dt}\left(\frac m2q_t^2+\frac{k_0}{2}q^2\right)
=-\beta q_t^2-\kappa\delta q_t+fq_t.
$$

## C.3 耦合儲能

對 $\delta=q-Gu$， $g$ 不隨時間變動：

$$
\frac{d}{dt}\left(\frac\kappa2\delta^2\right)
=\kappa\delta q_t-\kappa\delta Gu_t.
$$

將 C.1、C.2、C.3 相加，耦合項全部抵消。若 $g=g(x,t)$ 隨時間改變，會多出包含 $G_tu$ 的功率／參數驅動項；若 $\kappa=\kappa(t)$ 亦然。這也是為什麼本篇要明說 $g,\kappa$ 是常量，不能在模型跑動時私自把它們當成隨時間調整而仍沿用原來的能量式。

---

# 附錄 D｜適定性與可觀測性稽核清單

正式宣稱 GMDIS-06 某一耦合模型「已成功建立」之前，至少要逐條核對：

- [ ] 清楚列出每個場的物理單位、區域、空間維度及時間尺度。
- [ ] 指定 $L^2$ 、 $H^1$ 、 $H^2$ 、 $V^*$ 或其他相關函數空間。
- [ ] 明確標出算子定義域；沒有讓不具正則性的點值或邊界跡混入。
- [ ] 明確區分物理端口、有界分布作用、無界邊界輸入和感測器觀察。
- [ ] 所有耦合力與耦合位能可以相互核對。
- [ ] 固定／自由／阻抗／移動邊界類型沒有混用。
- [ ] 形成弱形式、初始值、物理守恆或耗散帳本。
- [ ] 明確給出解的存在、唯一性及連續依賴的適用假設。
- [ ] 對未證非線性、接觸與熱流問題不借用線性定理保證。
- [ ] 模態截斷和時間積分都提供可比較的誤差與能量殘差。
- [ ] 逐項比較場的隱藏自由度是否可能影響觀測未來。
- [ ] 提供最簡成熟物理模型及至少一項強降階基線。
- [ ] GRST／SIO 剖面的新增性有盲測、外推及同資源預算比較。
- [ ] 所有失敗、不可識別和無增益情形均被保存，不以術語改寫消除。

---

# 附錄 E｜證據矩陣與正式研究狀態

| 研究成果 | 地位 | 可重算條件 | 尚缺之驗證 |
|---|---|---|---|
| 弦—振盪器總能量等式 | M | 第 5 節方程及固定端點 | 真實材料、儀器適用性 |
| 線性生成元之最大耗散／半群 | M | 第 6 節正定參數、 $g\in L^2$ | 向高維非線性場外推 |
| Galerkin 截斷之離散能量等式 | M | 第 7 節正交基與對稱矩陣 | 任意網格下的收斂速率 |
| 首模態隱藏場反例 | M＋C | 第 8 節 ODE；附錄 B 程式 | 實物量測／高階場相同效應 |
| 非正規暫態放大 | M | 第 9 節矩陣指數 | 具體物理系統中的量化程度 |
| 半群投影閉合判準 | M | 第 10 節有界滿射 $P$ | 噪聲、未知參數、觀測干預 |
| 24／72 模型語義映射 | D | 固定原始四軸 | 預測與工程增益的外部驗證 |
| GRST／SIO 多軸物理剖面 | D＋H | 同單位、同任務、同觀測成本 | 獨立於已知強基線的增量效果 |
| 完整空氣／聲場／熱／擒縱耦合 | Future | GMDIS-06／07 | 適定性、參數與實驗測試 |

## 最終研究狀態聲明

**GMDIS-05 v0.1 完成的是「指定假設下可證的多場函數分析參照系」及其與既有 EveMissLab 理論的可檢驗接口。** 它不是已由實驗證實的通用自然科學統一論；尚未有證據證明 24／72 完整分類物理世界、資訊纖維是真實基本粒子，或 GRST 勢為新的自然界保守力／能量。

本篇可作為 GMDIS-06 詳細推導、模型介面實驗及 GMDIS-12／13 可重現基準工作的數學依賴文件。其解析反例若被更簡潔的成熟控制、PDE 或統計模型充分吸收，不損害其作為嚴格研究接縫文件的價值，亦不應被拿來保護不成立的新增物理主張。

**本篇完成；下一篇：GMDIS-06〈多介質耦合動力學〉。**