Repository navigation

feat(Stability/Floquet): formalize basic Floquet theory and spectral stability - #68

Open

AdoHaha wants to merge 10 commits into

mcdoll:mainfrom

AdoHaha:feat/floquet-theory

Open

feat(Stability/Floquet): formalize basic Floquet theory and spectral stability#68
AdoHaha wants to merge 10 commits into
mcdoll:mainfrom
AdoHaha:feat/floquet-theory

Commits on Sep 7, 2026
- feat(Analysis/ODE/GlobalExistence): prove unique, add_apply, and add_apply''
  Igor
  committed
  796914b
- feat(InputOutput): prove isGraph_inputOutput and isGraph_inputState
  Igor
  committed
  dae4c72
- feat(ODE): prove linear_fundamental_solution and linear_fundamental_solution'
  Igor
  committed
  336ee32
- feat(Dynamics): prove isCompleteVectorField for IsLinearlyBddVectorField
  Igor
  committed
  87e7e02
Commits on Sep 8, 2026
- feat(Stability): formalize basic Floquet theory
  Igor
  committed
  c41d20c
- feat(Stability): add dynamic stability and complex eigenvalue theorems to Floquet
  Igor
  committed
  e9265ce
- fix(Stability/Floquet): generalize unstable roots to |ρ| > 1 and add mode divergence
  Igor
  committed
  a7dfa09
- docs(Stability/Floquet): clarify conditional scope, scalar roots, and power boundedness
  Igor
  committed
  1151515
Commits on Sep 30, 2026
- Merge upstream main into Floquet theory branch
  Igor
  committed
  021762c
- Keep closed-loop graph proofs scoped to PR 71
  Igor
  committed
  a8a39c4