嚴格 LTV 框架:Zadeh 時變傳函與 harmonic transfer matrix
先備:lti_vs_ltv(LTV vs LTI 的直覺)、convolution_derivation([P1] Eq.(11) 的 LTV 卷積)、fourier_series_of_isf(ISF 傅立葉係數 )|接下來:derivation_floquet_ppv(同一個 ISF 的 PPV/Floquet 面孔)
本站主線([P1])用「物理直覺 + impulse 模擬」把 ISF 引出來,並在 convolution_derivation 用疊加把單一 impulse 推廣到任意 noise。 那條路非常好走,但有一塊缺口:我們一直說「振盪器對 noise 是 LTV(linear time-varying,線性時變)」、 「它像一台時變混頻器(mixer)、會把 附近的 noise 搬到 carrier」——但這些話在 訊號與系統(signals and systems) 的語言裡,到底對應哪一個嚴格物件?「頻率被搬移、增益 是 」 能不能寫成一個乾淨的傳函?
這頁就是補上這塊系統理論的地基。我們用讀者熟悉的卷積/LTI 當起點,一路推到 Zadeh 的時變傳函 (time-varying transfer function)與 harmonic transfer matrix(HTM,諧波轉移矩陣), 然後證明一句話:
ISF(連同 )就是「相位輸出對各輸入諧波 band 的轉換向量」——它的第 個分量正是 ISF 的第 個傅立葉係數 。 換句話說 ISF 的傅立葉級數 不只是一組數字,它就是這個 LTV 系統的 HTM 在「相位輸出列」上的一整列。
誠實聲明(請先讀):本頁的 Zadeh 時變傳函 、bi-frequency function、harmonic transfer matrix(HTM) 屬於更廣的線性時變系統理論,不在本站下載的 5 篇 PDF 內。原始概念來自 [E5] L. A. Zadeh, "Frequency Analysis of Variable Networks," Proc. IRE, vol. 38, no. 3, pp. 291–299, Mar. 1950(DOI 10.1109/JRPROC.1950.231083);HTM 形式則在週期時變/RF 電路文獻 (如 cyclostationary、LPTV 系統分析)中標準化。這些是外部數學框架;正式 [E5] citation(Zadeh 1950, Proc. IRE 38(3):291–299, DOI 10.1109/JRPROC.1950.231083)已收於 references。 本頁只用它們「重講 ISF」,所有與 ISF 的對應都會收斂回 [P1] Eq.(13)(在 5 篇 PDF 內、已核實)。
這頁要回答四個問題:
- LTI 的卷積,推廣到 LTV 長什麼樣?(先把讀者的訊號與系統背景接上)
- Zadeh 怎麼把「LTV 對每個輸入頻率 的響應」寫成一個時變傳函 ?
- 當這個 LTV 是週期的(振盪器就是), 的結構塌縮成什麼——為什麼輸入頻率 只會被搬到 離散的 、增益是 ?這就是 HTM。
- 把它窄化到「相位輸出」,怎麼證 ISF 就是那條轉換向量?
第 0 步:先複習 LTI——卷積與單一傳函(讀者的起點)
訊號與系統課教的 LTI(linear time-invariant,線性非時變) 系統,由單一 impulse response 完全決定。對輸入 ,輸出是卷積:
- 關鍵特徵:核 只依賴時間差 ,不在乎絕對時刻。「現在踢」和「等一拍再踢」效果一樣, 只是輸出平移。
- 頻域是對角的:LTI 的招牌性質是「複指數是本徵函數」。把 代入,
(換變數 )。輸出是同一個頻率 乘上一個複數增益 。
- 這就是 LTI 的本質:輸入頻率 進去、只有頻率 出來,不生新頻率。所以單一傳函 足以描述一切——頻域裡 LTI 是對角的(不同頻率互不耦合)。
- 單位檢查:(卷積帶一個 ); 與 差一個 ,故 (純增益)✓。
為什麼振盪器不是 LTI?因為「在波峰踢」與「在零交越踢」效果天差地遠——核依賴絕對注入時刻 (透過 ),不是只依賴 。這正是 lti_vs_ltv 與 impulse_to_phase_shift 第 4 步「 依賴 」講的事。下面我們把這件事系統化。
第 1 步:LTV——核變成雙變數
把 LTI 的「只依賴時間差」放寬:LTV 系統的 impulse response 依賴兩個時刻——「何時施加 impulse ()」與「何時觀測()」。輸出寫成(規範 11.2):
- 讀作「在 時刻打一發單位 impulse,在 時刻量到的響應」。
- LTI 是特例:若系統時不變,,上式塌回卷積。LTV 把「」鬆綁成「獨立的 」——多出來的那個自由度,就是「何時踢很重要」這件物理事實的數學容器。
- 對應 ISF:[P1] Eq.(10), p.182 的 excess-phase impulse response 正是一個 ——它對 的依賴 全藏在 裡,對 的依賴只有一個 unit step(相位步階永久保留)。代進上式就是 [P1] Eq.(11) 的 (見 convolution_derivation)。所以 ISF 理論本來就是一個 LTV 卷積,只是核特 別簡單。
- 單位檢查:與 LTI 同, ✓。
第 2 步:Zadeh 時變傳函 ——「對每個頻率即時的響應」
LTI 只要一個 。LTV 對「每個輸入頻率」的響應會隨觀測時刻 變化,所以 Zadeh(1950)定義一個 時變傳函(time-varying transfer function) :把純正弦 餵進系統, 輸出寫成「 乘上一個會隨 變的增益」:
把第 1 步的 LTV 卷積代進去,並換變數 (即 ):
於是得到 Zadeh 時變傳函(規範 11.2):
- 怎麼讀: 是「此刻 、對輸入頻率 的瞬時複增益」。它對 的依賴像 LTI 的 ; 多出來的 依賴,正是 time-varying 的全部內容。
- 退化檢查:時不變時 與 無關, 回到 LTI ✓。
- 單位檢查:與 同,(純增益)✓。
- 為什麼這還不夠「漂亮」: 是 的任意函數,資訊量等於整個 ,沒有壓縮。真正的 魔法在下一步——當系統是週期的, 對 只剩離散傅立葉成分,整個 LTV 塌縮成一個 矩陣(HTM)。
第 3 步:週期 LTV → 的傅立葉展開 → harmonic transfer matrix
振盪器在週期穩態下,其 LTV 核是 -週期的:(在 與 同步平移一個週期下 不變)。這類系統叫 LPTV(linear periodically time-varying,線性週期時變)。週期性讓 對 變成 -週期,於是可以對 做傅立葉級數展開:
其中 是第 個諧波傳函。
- 物理意義(關鍵):把純正弦 餵進去,輸出是
一個輸入頻率 ,輸出散到一整排離散頻率 (),第 條的複增益是 。這正是「振盪器是時變 mixer」「頻率被搬移」的嚴格陳述:LPTV 在頻域不再對角,而是把輸入 band 耦合到所有「相距整數倍 」的 band。
- harmonic transfer matrix(HTM):把輸入/輸出都用「以 為間隔的諧波 band」做索引,整個 LPTV 系統就被一個矩陣 描述,其元素
把「輸入第 band」映到「輸出第 band」。它是 Toeplitz 結構(元素只依賴 band 差 ),因為 搬移量只看「差幾個 」。這就是 harmonic transfer matrix——LPTV 的「傳函」不是一個數,而是這個 把各諧波 band 互相耦合的矩陣。
- 退化檢查:若系統時不變,只有 非零,矩陣變對角( 那條),回到 LTI 的「不生新頻率」 ✓。
- 單位檢查:每個 都是純增益(與 同量綱)✓。
與 fourier_series_of_isf 的圖一模一樣:那頁的 mermaid 圖把「 附近的 noise 經 折回 carrier」畫成一排箭頭;這裡的 就是那些箭頭的嚴格名字。 下一步我們把 算出來,會發現它正是 ISF 的傅立葉係數。
把上面這個 boxed 結果畫成圖:左圖是頻率軸上的頻帶折疊——單一輸入 noise band 落在 ,被 LPTV 系統折到一整排
(),每根箭頭的高度與標籤就是折疊增益 (DC 、、…);右圖是
的 Toeplitz 熱圖,沿對角線為常數(搬移量只看「相差幾個 」)。增益由
simulations/common/isf_utils.compute_fourier_coefficients 從一條 pedagogical ISF(同 lab_05、含非零 )算出。

(圖:simulations/fig_htm_bandfold.py。這是 illustrative 教學圖,非 transistor-level 萃取。左圖箭頭增益
、、,正對應第 4 步將證的
;折疊增益的模平方和 即第 5 步的 Parseval。)
親手拖拖看——下面這個互動版把上圖的「單一輸入 band、固定 ISF」換成可拖動的 與可調的 ISF: 拉動滑桿把輸入單音 從 0 掃到 ,小工具會即時找出離 最近的諧波 , 畫出折到 baseband 偏移 的箭頭,箭頭高度/標籤就是折疊增益 ( 是 、 是 )——正是上面 boxed 結果與第 4 步 的逐字視覺化。三顆預設按鈕切換 ISF 波形(ideal LC 只有 、asymmetric 同本頁圖的 pedagogical ISF、 square-ish 讓奇次諧波 較強),也可以用下面四支滑桿自由調 –。讀數卡片同時顯示 主導諧波 、baseband 偏移 、折疊增益 、relevant terms 的 (baseband 相位雜訊權重)、以及積分器 (把 Step 5 的 積分器增益也讀出來,取 正規化)。
f_in(0–3 f₀),小工具會找出最近的諧波 k·f₀(k=0..3), 畫出折疊到 baseband 偏移 Δf = |f_in − k f₀| 的箭頭,增益 |c̃_k| = c₀/2(k=0) 或 c_k/2(k≥1)——正是本頁 Step 4 的 H_k^(Γ)。單音停在諧波正上方 (Δf→0)時會整段折到 DC、拿到全部增益 c_k/2,讀數的積分器 1/(2π Δf) 在那裡發散 (對應 [P1] Eq.16/17 的 sideband φ_p = I₀c_k/(2q_max Δω),這裡把 I₀/q_max 正規化為 1)。 錨點案例:選 ideal LC(只有 c₁≠0)——只有 f₀ 附近的單音會折疊,其餘諧波 band 增益皆為零,Σ|c_k/2|² 收斂成單一 c₁/2=0.5 項。這是 pedagogical toy model (illustrative),非 transistor-level 萃取;完整推導見 ltv_htm 第 3–5 步。錨點案例(試試看):切到 ideal LC 預設(,只有 )。把 掃過整個 0– 視窗,你會看到只有 掃過 附近時才有非零的折疊箭頭——DC、、 band 的增益全部是 0,因為 ideal LC 的 ISF 只有基頻分量。 讀數也只剩單一 這一項()。這就是「LC oscillator 對遠離 整數倍的 noise 幾乎不折疊」 的直接視覺證據;換成 asymmetric 或 square-ish 預設,DC/高次諧波 band 才會冒出非零箭頭。
第 4 步:把振盪器的 ISF 核代進去—— 就是
現在把抽象的 HTM 窄化到 [P1] 的相位通道。相位輸出的 LTV 核(對 noise 電流而言)來自 [P1] Eq.(11), 寫成第 1 步的 形式(相位是 noise 的累積積分,核帶 unit step):
把 ISF 的傅立葉級數([P1] Eq.(12), p.183)代入 :
其中右邊把實數 cos 級數寫成複數指數級數(、, ;這是標準的實↔複傅立葉互換,見 math_identities)。
核心代數:相位通道是「ISF 加權後再積分」。先看「ISF 加權」這個瞬時乘法部分(積分器留到下一步單獨處理, 因為它對所有 band 一律乘 ,不耦合 band)。把純正弦 noise 經 ISF 加權:
(用了 。)對照第 3 步的 ,逐項比對就讀出 ISF 加權級的諧波傳函:
- 這就是本頁的招牌結果的一半:ISF 加權級的 HTM 諧波增益,就是 ISF 的傅立葉係數。「把輸入頻率 搬到 、增益是 」這句話,現在是逐字成立的定理,不是比喻。
- (DC band,把 原封搬到 自己)——這正是 把 baseband flicker 上轉的 band; 把 附近的 band 折下來……與 fourier_series_of_isf 第 4、5 步完全吻合。
- 單位檢查: 無因次、 帶 ;ISF 通道把電流(A)變成相位變化率,量綱由 與後面積分器共同調成 rad(見下一步)✓。
動手驗證: 不是比喻,是可量的數字
下面這段可直接跑(依賴本站 simulations/common/isf_utils)。它把 的主張逐字測一遍:
分別在 、、 附近(各偏 )注入等幅單音 noise,積分成相位 、
對 做 FFT,量「被降頻搬到 baseband 的 sideband」幅度。若 ,這些 sideband
的比值必須等於 ISF 傅立葉係數的比值 。
import numpy as np
from simulations.common.isf_utils import (
compute_fourier_coefficients, integrate_phase_from_noise)
f0, qmax = 5e9, 1e-12 # 5 GHz carrier, q_max = 1 pC
w0 = 2 * np.pi * f0
fs = 8 * f0 # 可解析到 ~3 w0 而不混疊
df = 5e6 # 每個諧波旁的注入單音偏移 [Hz]
N = 1 << 21 # 大 N -> 把 baseband df sideband 解析清楚
t = np.arange(N) / fs
# 同本頁圖 / lab_05 的 pedagogical ISF(含非零 c0、數個諧波非平凡):
def gamma(theta):
return (-np.sin(theta) + 0.35*np.sin(2*theta)
+ 0.18*np.cos(3*theta) + 0.25)
g_traj = gamma(w0 * t) # Gamma(w0 t),沿軌跡取樣
th = np.linspace(0, 2*np.pi, 4000, True)
_, _, _, c, _ = compute_fourier_coefficients(th, gamma(th), 4)
print(np.round(c[:4], 3)) # -> [0.5 1. 0.35 0.18] (c0, c1, c2, c3)
I0 = 1e-6
def phi_sideband(n): # 注入 I0 cos((n w0 + df) t),量 phi 在 df 的 sideband
i_n = I0 * np.cos((n*w0 + 2*np.pi*df) * t)
phi = integrate_phase_from_noise(t, i_n, g_traj, qmax)
P = np.abs(np.fft.rfft((phi - phi.mean()) * np.hanning(N))) / N
f = np.fft.rfftfreq(N, 1/fs)
k = int(np.argmin(np.abs(f - df)))
return P[k-5:k+6].max()
a1, a2, a3 = (phi_sideband(n) for n in (1, 2, 3))
print(f"a1/a2 = {a1/a2:.3f} c1/c2 = {c[1]/c[2]:.3f}") # -> a1/a2 = 2.857 c1/c2 = 2.857
print(f"a1/a3 = {a1/a3:.3f} c1/c3 = {c[1]/c[3]:.3f}") # -> a1/a3 = 5.556 c1/c3 = 5.556
兩組比值逐位吻合: 對「 附近注入」的響應強度正比於 ,這就是 的數值見證——HTM 的折疊增益就是 ISF 的傅立葉係數,不是比喻。(這也對應上面那張頻帶折疊圖左側的箭頭高度 、。)
第 5 步:加回積分器與 ——相位通道的完整 HTM 列
相位通道完整是「ISF 加權 乘 積分」(見 white_noise_to_phase_noise 的 block diagram)。積分器在頻域 對「搬 移後的頻率 」乘 。但我們關心的是 carrier 附近的 phase noise: 落在 (即「 次諧波 band 偏 」)的 noise,被 搬到 baseband 的 (依 Step 3 的 HTM 慣例 ,把輸入 搬到 需 ), 積分器在那裡乘 。於是「第 band 的 noise → carrier 旁 的相位」整條鏈的增益是
這正是 [P1] Eq.(16/17), p.183 的單音 sideband 結果 ()——我們從 HTM 重新推出來了, 而且把每一塊(ISF 搬移=、積分器=、normalization=)拆得清清楚楚。
把「各輸入諧波 band → 相位輸出」的這一整排增益收成一個向量(這就是 HTM 中對應「相位輸出列」的那一列):
- 第 個分量 :把「離 carrier 的那個 noise band」映到相位。模平方求和 (DC 項以 計入,與 lab_05 Parseval 修正、[P1] Eq.(20) 一致)——這就是 white_noise_to_phase_noise 用 Parseval 把 換成 的 HTM 版本:phase noise 的總權重 = 這條轉換向量的能量。
- 單位檢查:每個分量 帶 ;乘上 noise band 的電荷量(A·s/...)與 積分器後得 rad ✓。
第 6 步:結論——「ISF 就是相位輸出對各諧波的轉換向量」
把第 4、5 步合起來,本頁的招牌定理成立:
定理(ISF = 相位輸出的 HTM 列):把週期時變的振盪器相位通道視為一個 LPTV 系統,用以 為間隔的 諧波 band 索引輸入/輸出。則「輸入各諧波 band → 相位輸出」的轉換向量 的第 個分量, 恰是(複數)ISF 傅立葉係數除以 :。等價地,ISF 的傅立葉 級數 就是相位輸出在 HTM 中那一列的內容。
這把三句一直被當「直覺/比喻」的話,升級成 LTV 系統理論的定理:
| 本站一直講的(直覺) | HTM 嚴格陳述 | 對應 |
|---|---|---|
| 振盪器是「時變 mixer」 | LPTV 系統, 非對角 | 輸入 → 輸出 |
| 「 附近 noise 被搬到 carrier」 | 搬移增益 | |
| 「ISF 的傅立葉係數 是 mixer 增益」 | ISF 相位輸出的 HTM 列 | |
| 「總權重 」 | 轉換向量能量 | Parseval = 向量範數 |
- 與 [P1] Eq.(13) 的關係(在 5 篇 PDF 內):[P1] Eq.(13), p.183 把相位寫成「 項積分 + 各諧波 加權積分之和」。那正是把上面的轉換向量 作用在 noise 上、再積分的時域寫法——HTM 是它的頻域對應。兩者是同一件事的兩種語言(時域級數 vs 頻域 band 矩陣)。
- 與 PPV/Floquet 的關係:derivation_floquet_ppv 證明 ISF PPV 在注入節點的分量()。HTM 是「同一個 ISF」的頻域/系統理論面孔;PPV 是它的 狀態空間/微分幾何面孔。三者([P1] 直覺、PPV、HTM)描述同一個物件 ,只是抽象層級不同。
與訊號與系統三大物件的對照表
把這頁的 LTV 物件並排在讀者熟悉的 LTI 物件旁邊,地圖就完整了:
| 概念 | LTI(訊號與系統課) | LTV(本頁) | 週期 LTV / 振盪器 |
|---|---|---|---|
| impulse response | |||