論文の概要: Rapid Fredholm stabilization of the Kuramoto--Sivashinsky equation with unrestricted, spatially-varying anti-diffusion
- arxiv url: http://arxiv.org/abs/2610.08764v1
- Date: Tue, 06 Oct 2026 17:50:54 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-08 02:58:30.157777
- Title: Rapid Fredholm stabilization of the Kuramoto--Sivashinsky equation with unrestricted, spatially-varying anti-diffusion
- Title(参考訳): 制限のない空間変化反拡散を伴う倉本-シヴァシンスキー方程式の高速フレドホルム安定化
- Abstract要約: 我々は,空間的に変化する反拡散係数を持つ倉本-シヴァシンスキー方程式の高速安定化のための最初のフィードバック設計を開発した。
植物が不安定な二重固有値を持つ場合,2つの入力が制御可能性に十分であることを示す。
- 参考スコア(独自算出の注目度): 6.093618731228799
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We develop the first feedback design for rapid stabilization of the Kuramoto--Sivashinsky equation with a spatially varying anti-diffusion coefficient. For constant coefficients, the single-input Fredholm design of Coron and Lü (2015) excludes a discrete set of values at which repeated unstable eigenvalues cause a loss of controllability. We overcome this obstruction by introducing a second boundary input and assigning the two inputs distinct roles. The key idea, inspired by Heymann's Lemma, is to use the boundary value $u(0,t)$ entirely for a pre-feedback that renders the modified plant controllable through the curvature input $u_{xx}(0,t)$. The latter input then stabilizes the plant through a Fredholm backstepping transformation. We show that two inputs suffice for controllability and are necessary when the plant has an unstable double eigenvalue. However, the Fredholm kernel still must be approximated for implementation. Hence, to enable kernel and gain approximation, we prove continuity of the coefficient-to-gain design map on compact admissible design classes. Unlike Volterra-based continuity proofs using successive approximations, our proof uses the modal representation to control the spectral data, the inverse coefficient system, and the tails of the kernel and gain series. This yields a single neural operator approximation of the gain to any prescribed $L^2$ accuracy across the class. Finally, we establish rapid local stabilization of the nonlinear closed-loop system under both the exact gains and sufficiently accurate approximations. We conclude with numerical results that illustrate prescribed decay rates and the computational cost of the approximations. In particular, we train a Fourier neural operator that achieves typical relative gain errors of approximately $0.1\%$ and stabilizes all held-out cases tested, including a plant with an unstable double eigenvalue.
- Abstract(参考訳): 我々は,空間的に変化する反拡散係数を持つ倉本-シヴァシンスキー方程式の高速安定化のための最初のフィードバック設計を開発した。
定数係数に対して、Coron and Lü (2015) の単一入力フレドホルム設計(英語版)は、不安定な固有値の繰り返しが制御性を失う離散的な値集合を除外する。
2つ目の境界入力を導入し、2つの入力に異なる役割を割り当てることで、この障害を克服する。
HeymannのLemmaにインスパイアされた鍵となるアイデアは、事前フィードバックのために境界値 $u(0,t)$ を全て使用することであり、これは曲率入力 $u_{xx}(0,t)$ を通じて修正された植物を制御可能である。
後者の入力はフレッドホルムのバックステッピング変換によって植物を安定化させる。
植物が不安定な二重固有値を持つ場合,2つの入力が制御可能性に十分であることを示す。
しかし、Fredholmカーネルは実装のために近似されなければならない。
したがって、カーネルを有効化して近似を得るため、コンパクトな許容設計クラス上での係数対ゲイン設計マップの連続性を証明できる。
連続近似を用いたボルテラ型連続性証明とは異なり、この証明はスペクトルデータ、逆係数系、およびカーネルの尾と利得級数を制御するためにモーダル表現を用いる。
これにより、利得の1つのニューラル演算子近似がクラス全体で所定の$L^2$の精度で得られる。
最後に, 非線形閉ループ系の局所的な高速安定化を, 正確なゲインと十分正確な近似の下で確立する。
我々は,所定の減衰率と近似の計算コストを示す数値的な結果で結論付けた。
特に、Fourierニューラル演算子を訓練し、約0.1 %$の典型的な相対利得誤差を達成し、不安定な二重固有値を持つ植物を含むテストされたすべての保留ケースを安定化させる。
関連論文リスト
- Stability-Constrained Approximation in Spline KANs: Exact Layer Balancing and Budget-Compatible Saturation [51.56484100374058]
我々は、ハードレイヤーワイドリプシッツ予算の下で近似を研究する。
構成条件下では、対応するレイヤエラーをキャンセルする必要はないことを示す。
クラスのすべての作用素に対して、安定した深さ-$L$タワーが存在し、累積誤差の定数分を実現できる。
論文 参考訳(メタデータ) (2026-09-14T20:17:04Z) - Constrained Online Learning with Noisy Constraint Values [55.29259818039367]
一般的な実現可能性の下では、我々のLEDGERアルゴリズムは、期待される損失$O(sqrt T)と期待される予算違反$O(sqrtTlog(eT))を達成します。
スレーター条件、フィードバックチャネル間の独立性、絶対的制約値境界は不要である。
論文 参考訳(メタデータ) (2026-09-07T01:38:41Z) - Stability and Generalization of Straight-Through Estimators for Training Two-Layer Quantized Neural Networks [16.84694273405234]
ヒンジロスを伴う2層2層活性化ネットワークを訓練するための恒常的ストレートスルー推定器(STE)について検討した。
我々の中心的な問題は、アルゴリズム安定性が不連続なSTEトレーニングルールによって生成される推定器の統計的一般化を説明することができるかどうかである。
論文 参考訳(メタデータ) (2026-09-06T07:12:16Z) - The Origin of Edge of Stability [0.0]
ニューラルネットワーク上のフルバッチ勾配勾配は、最大のヘッセン固有値を2/$に駆動する。
本稿では,勾配差更新によって係数が一意に固定された連続反復対のエッジカップリングについて紹介する。
論文 参考訳(メタデータ) (2026-04-22T11:08:49Z) - Sparse Weak-Form Discovery of Stochastic Generators [0.0]
提案フレームワークは,SDE識別問題を2つのSINDyベース線形スパース識別問題に変換する。
このアルゴリズムを3つのSDE上で検証し、4%未満の係数誤差を持つ全ての非線形項を復元する。
論文 参考訳(メタデータ) (2026-03-21T18:28:10Z) - Optimal Unconstrained Self-Distillation in Ridge Regression: Strict Improvements, Precise Asymptotics, and One-Shot Tuning [61.07540493350384]
自己蒸留(英: Self-distillation, SD)とは、教師自身の予測と地道の混合で学生を訓練する過程である。
任意の予測リスクに対して、各正規化レベルにおいて、最適に混合された学生がリッジ教師に改善されることが示される。
本稿では,グリッド探索やサンプル分割,再構成なしに$star$を推定する一貫したワンショットチューニング手法を提案する。
論文 参考訳(メタデータ) (2026-02-19T17:21:15Z) - Memory-Conditioned Flow-Matching for Stable Autoregressive PDE Rollouts [0.0]
自己回帰生成型PDEソルバは1歩前進し、長いロールアウトでドリフトする。
未解決変数の除去はマルコフ項で完全に解決された進化をもたらすことを示す。
次に、条件生成誤差からメモリ近似を分離する離散的なGrnwallロールアウト境界を導出する。
論文 参考訳(メタデータ) (2026-02-06T13:21:52Z) - Analysis of Hessian Scaling for Local and Global Costs in Variational Quantum Algorithm [0.42970700836450487]
変分量子アルゴリズムにおけるヘッセンのエントリーワイズ解の定量化を行う。
ショットノイズに対してヘッセン成分を解くのに必要なサンプルの複雑さを規定する2つの異なるスケーリング機構を示す。
論文 参考訳(メタデータ) (2026-01-31T15:49:23Z) - Stabilizing Fixed-Point Iteration for Markov Chain Poisson Equations [49.702772230127465]
有限状態マルコフ鎖を$n$状態と遷移行列$P$で研究する。
すべての非退化モードが実周辺不変部分空間 $mathcalK(P)$ によってキャプチャされ、商空間 $mathbbRn/mathcalK(P) 上の誘導作用素が厳密に収縮し、ユニークな商解が得られることを示す。
論文 参考訳(メタデータ) (2026-01-31T02:57:01Z) - Learning with Norm Constrained, Over-parameterized, Two-layer Neural Networks [54.177130905659155]
近年の研究では、再生カーネルヒルベルト空間(RKHS)がニューラルネットワークによる関数のモデル化に適した空間ではないことが示されている。
本稿では,有界ノルムを持つオーバーパラメータ化された2層ニューラルネットワークに適した関数空間について検討する。
論文 参考訳(メタデータ) (2024-04-29T15:04:07Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。