lambda$-Lemmaorder of contactresonanceThe well known $lambda$-Lemma [3] states the following: Let $f$ be a $C^1$-diffeomorphism of $mathbb{R}^n$ with a hyperbolic fixed point at $0$ and $m$- and $p$-dimensional stable and unstable manifolds $W^S$ and $W^U$, respectively ($m...
J. Weber, A backward λ -Lemma for the forward heat flow. arXiv:1210.3897Weber, J.: A backward \(\lambda \) -lemma for the forward heat flow. Math. Ann. 359 (3–4), 929–967 (2014) MATH MathSciNetJ. Weber. A backward λ-lemma for the forward heat flow. Math. Ann., 359(...
A Call-by-Need Lambda-Calculus with Locally Bottom-Avoiding Choice: Context Lemma and Correctness of Transformations David Sabel and Manfred Schmidt-Schauß Research group for Artificial Intelligence and Software Technology Institut f¨ ur Informatik, ...
Alpha-变换规则陈述的是,若 V 与 W 均为变元,E 是一个 lambda 表达式,同时 E[V/W] 是指把表达式 E 中的所有的 V 的自由出现都替换为 W,那么在 W 不是 E 中的一个自由出现,且如果 W 替换了 V,W 不会被 E 中的 λ 绑定的情况下,有 λ V. E == λ W. E[V/W] 这条规则告诉我们,...
Lambda-LemmaInvariant foliationsWe reprove the $\\lambda$-Lemma for finite dimensional gradient flows bygeneralizing the well-known contraction method proof of the local (un)stablemanifold theorem. This only relies on the forward Cauchy problem. We obtain arather quantitative description of (un)...
We prove an analogue of the $\\lambda$-lemma in this case.Jacky CressonStephen WigginsCresson, J., Wiggins, S.: A λ-Lemma for Normally-Hyperbolic Invariant Manifolds (2005). arXiv:math/0510645 (preprint)J. Cresson, S. Wiggins, A λ-lemma for normally-hyperbolic invariant manifolds, ...
Classical Morse theory revisited - I backward $lambda$-lemma and homotopy typedoi:10.12775/TMNA.2016.020Joa WeberJuliusz P. Schauder Centre for Nonlinear Studies
We use the recently discovered backward \\( \\lambda \\) -Lemma and elements of Conley theory to construct a Morse filtration of the loop space whose cellular filtration complex represents the Morse complex associated to the downward L 2 -gradient of the classical action functional. This paper...
Consider the infinite dimensional hyperbolic dynamical system provided by the(forward) heat semi-flow on the loop space of a closed Riemannian manifold M.We use the recently discovered backward {\\lambda}-Lemma and elements of Conleytheory to construct a Morse filtration of the loop space whose ...
In this paper, we establish the Composition-Diamond lemma for\n$\\lambda$-differential associative algebras over a field $K $ with multiple\noperators. As applications, we obtain Gr\"{o}bner-Shirshov bases of free\n$\\lambda$-differential Rota-Baxter algebras. In particular, linear bases ...