不可思议
发表于 2025-3-23 11:53:09
http://reply.papertrans.cn/55/5423/542289/542289_11.png
MOCK
发表于 2025-3-23 16:46:55
Thomas Kappeler,Jürgen Pöschelc programs to the higher-order setting of the simply typed .-calculus, where programs are presented by conditional pattern rewrite systems. Our approach generalizes and combines declarative debugging techniques previously developed for less expressive declarative programming paradigms involving appl
笨拙的我
发表于 2025-3-23 20:22:24
http://reply.papertrans.cn/55/5423/542289/542289_13.png
故意
发表于 2025-3-24 00:13:36
Classical Background,In this book we consider the periodic KdV equation as an . integrable Hamiltonian system, and subject it to small Hamiltonian perturbations. To this end, we extend many concepts, ideas and notions from the classical . theory, such as angle-action coordinates, Birkhoff normal forms, and in particular KAM theory.
PAGAN
发表于 2025-3-24 06:16:30
Birkhoff Coordinates,In this chapter we consider the KdV equation . on the space .. (..) of 1-periodic functions on the real line.
Malcontent
发表于 2025-3-24 07:29:04
The KAM Proof,In the following we give a complete proof of the infinite dimensional KAM theorem used in chapter IV to study small Hamiltonian perturbations of KdV equations. To make this presentation independent of chapter IV we begin by recalling the set up.
entice
发表于 2025-3-24 11:34:30
,Kuksin’s Lemma,We consider the following first order partial differential equation coming up in the proof of the classical KAM theorem: .for functions on the torus T. = ℝ./2.ℤ., where ..
consolidate
发表于 2025-3-24 15:29:16
http://reply.papertrans.cn/55/5423/542289/542289_18.png
一加就喷出
发表于 2025-3-24 21:54:33
Psi-Functions and Frequencies,In this appendix we prove the following theorem stated in section 8. In the form presented it is due to , but the proof given here is much simpler, and the normalizing constants are explicitly computed. See also for prior results. — For notations we refer to sections 6 and 7.
ILEUM
发表于 2025-3-25 01:06:30
Birkhoff Normal Forms,Consider a Hamiltonian on the space ... introduced in section 14 of the form ., where the .. are homogeneous of degree . in . ∈ ...