技術要約：サイズ構造化輸送方程式における内生的フィードバック

1. 問題定式化

本論文は、システムのダイナミクスが内生的スカラーフィードバックメカニズムによって支配される、非線形なサイズ構造化輸送方程式を研究している。状態変数 $x(t, l)$ は、サイズ $l \in \Omega = [l_0, l_m]$ によって構造化された個体群密度を表す。この密度の進化は、以下の輸送方程式によって記述される：
$$\partial_t x + \partial_l (g(E(t), l)x) = -(\mu(E(t), l) + u(t, l))x$$
ここで、$g$ は速度（成長率）、$\mu$ は死亡率である。決定的なのは、$g$ と $\mu$ の両方が、人口密度の重み付き積分として定義されるスカラー出力 $E(t)$ に依存している点である：
$$E(t) = \int_{l_0}^{l_m} \chi(l) x(t, l) \, dl$$
これにより、状態 $x$ が出力 $E$ を決定し、その $E$ が再び輸送演算子の主要な係数へとフィードバックされるという、クローズドループ・アーキテクチャが形成される。システムは、流入フラックス（補充）境界条件 $g(E(t), l_0)x(t, l_0) = p(t)$ および初期条件 $x(0, l) = x_0(l)$ に従う。

取り組まれている主な数学的課題は、フィードバックが主要係数 $g$ に入ることで、システムが非半線形（non-semilinear）になることである。半線形方程式に対する標準的な摂動フレームワークは、輸送の幾何学自体が状態に依存しているため、不十分である。著者らは、存在と一意性（well-posedness）を確立し、定常平衡を分析し、スペクトル安定性を決定し、最適収穫のための随伴系を特徴付けることを目的としている。

2. 手法

著者らは、ボルテラ積分方程式理論と半群法を組み合わせた不動点近似法を採用している。

• 凍結パス演算子（Frozen-Path Operator）: クローズドループの問題は、スカラー不動点問題 $E = \mathcal{K}(E)$ に還元される。ここで、$\mathcal{K}$ は、規定されたフィードバック・パス $E$ を受け取り、その結果として得られる線形非自律輸送方程式（「凍結された」問題）を解き、新しい出力を計算する演算子である。
• 内生的フィードバック区間: 外部のコンパクト性仮定を課すアプローチとは異なり、著者らは質量保存原理から直接、内生的フィードバック区間 $[0, M_T]$ を導出している。この区間は、初期質量と累積流入量によって決定され、人工的な制約なしにフィードバックが有界であることを保証する。
• 縮小写像: $\mathcal{K}$ が（重み付き $L^\infty$ ノルムである）**ビエレツキノルム（Bielecki norm）**において縮小写像であることを証明することで、ウェルポーズドネス（well-posedness）を確立している。これは、凍結された輸送解の $L^1$ および $BV$（有界変動）の評価に基づいている。
• 線形化と更新方程式: 安定性解析のために、システムを定常平衡の周りで線形化する。著者らは、線形化されたダイナミクスが、特性関数 $\mathcal{E}(\lambda)$ を持つ有限メモリのスカラー更新方程式（ボルテラ型畳み込み方程式）に帰着することを示す。
• 随伴解析: 定常最適収穫問題は、随伴系を用いて分析される。著者らは、フィードバック依存性が凍結された随伴演算子のランク一摂動をもたらすことを示し、これによってシャーマン・モリソンソン型の明示的な解公式を導出している。

3. 主な貢献と結果

A. ウェルポーズドネス（存在と一意性）

本論文は、任意の有限時間区間 $[0, T]$ において、クローズドループ・システムに対する非負の弱解の存在と一意性を証明している。

• 定理 4.4: 係数とデータに関する標準的な正則性の仮定の下で、写像 $\mathcal{K}$ はビエレツキノルムにおいて縮小写像であり、一意な不動点 $E_{cl}$ を保証する。
• 継続基準: 解は、フィードバックが内生的範囲内に留まり、かつ速度 $g$ が厳密に正である限り、時間軸上でグローバルに拡張可能である。

B. 定常閉鎖（Stationary Closure）と共鳴

定常的な制御および流入に対して、システムはスカラー閉鎖方程式 $E = \Phi(E)$ に帰着する。

• 一意性: 閉鎖写像の微分が $\Phi'(E) < 1$ を満たす場合、平衡は一意であることを著者らは証明している。
• フォールド分岐: 条件 $\Phi'(E^*) = 1$ は、非退化フォールド閾値として特定される。この点において、閉鎖写像は可逆性を失い、サドルノード分岐を引き起こす。
• 分解: 導関数 $\Phi'(E)$ は、滞在時間増幅項（$\mathcal{R}$）と累積生存減衰項（$\mathcal{C}$）という、互いに競合する2つの項に分解される。これにより、傾きの代数的な符号が明確になる。

C. スペクトル安定性

平衡の安定性は、線形化された更新方程式から導かれる特性方程式 $\mathcal{E}(\lambda) = 1$ の根によって決定される。

• 主要な恒等式: 中心的な結果は、$\mathcal{E}(0) = \Phi'(E^*) = B(0)$ という恒等式である。ここで $B(0)$ は、ゼロ割引におけるランク一随伴系のループゲインである。
• 安定性基準:
  • もし $\Phi'(E^*) < 1$ であれば、ゼロ根は左半平面に位置し、システムは線形安定である（他の根が虚軸を横切らない限り）。
  • もし $\Phi'(E^*) > 1$ であれば、正の実根が存在し、線形不安定であることを意味する。
  • 条件 $\Phi'(E^*) = 1$ は、ゼロ固有値に対応し、不安定化およびフォールド分岐の開始を示す。
• 非線形安定性: 二次剰余評価（二次の正則性仮定の下で検証済み）の下で、線形安定性は、非線形システムに対する局所的な指数関数的漸近安定性を意味する。

D. 最適収穫と随伴構造

本論文は、割引された収穫量関数を用いた定常最適収穫問題を分析している。

• ランク一摂動: 完全な随伴方程式は、凍結された随伴方程式のランク一摂動であることが示されている。これにより、随伴変数 $\lambda$ の明示的な公式が得られる：
  $$\lambda = \lambda_{red} + \frac{\langle \sigma, \lambda_{red} \rangle}{1 - B(r)} \psi_r$$
  ここで $\lambda_{red}$ は凍結された問題の解であり、分母の $1 - B(r)$ はフィードバック・ループゲインを表す。
• スイッチング幾何学: 最適制御は「バンバン（bang-bang）」型であり、スイッチング関数 $S(l) = \pi(l) - \lambda(l)$ の符号によって決定される。ランク一の補正は、このスイッチング閾値をシフトさせる。著者らは、スイッチング構造が単一の閾値を維持するための条件を提示し、その閾値の変位を特徴付けている。

4. 意義と主張

本論文は、内生的フィードバックが主要な輸送係数に入るサイズ構造化システムに関する厳密な数学的枠組みを確立したと主張している。その意義は、主に以下の3点にある：

1. 内生的フィードバック境界: 質量保存からフィードバック区間 $[0, M_T]$ を導出することで、外部のコンパクト性仮定を排除しており、ウェルポーズドネスの結果をより堅牢かつ物理的に根拠のあるものにしている。
2. 統一されたスカラー・マージン: 著者らは、以下のすべてを同時に支配する単一のスカラー量 $1 - \Phi'(E^*)$ を特定した：
   • 定常閉鎖写像の可逆性（静的分岐）。
   • 線形化された動的システムのゼロ特性根の位置（動的安定性）。
   • ランク一随伴方程式の可解性（最適制御の感度）。
     この「閉鎖共鳴（closure-resonance）」現象は、明示的に計算可能なスカラーを介して、静的分岐理論と動的スペクトル解析を直接結びつけている。
3. 明示的な随伴減少: 複雑なフィードバック随伴系をランク一摂動へと簡約化することで、本論文は、フィードバックが収穫政策におけるスイッチング閾値をどのように修正するかを明らかにし、構造化個体群における最適制御問題に対して扱いやすい公式を提供している。

著者らは、本論文がウェルポーズドネスと局所的安定性を確立している一方で、最適制御のグローバルな存在性と動的合成については今後の課題であると述べている。非線形安定性の結果は、二次剰余評価を条件としており、これは特定の二次の正則性仮定の下で検証されている。