(Translated by https://www.hiragana.jp/)
[2402.16744] Mathematical foundations of spectral methods for time-dependent PDEs