同一骨架 2024 年山东预赛 · P006575
两题都把非线性递推的有界性连到不动点。先找到候选阻挡点,再用初值所在区间的保持性证明轨道不会越过;参数越过临界时,还须由单调及假定有界推出极限,才可用不动点方程制造矛盾。
一个先由第一步严格递增筛最小整数参数,另一个问最大实参数;初步必要条件与全程不变区间的职责不同。
二次递推数列的有界参数
已知 ,
若数列 有上界,即存在常数 使得 对一切 恒成立,则实数 的最大值为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
最大参数必在非负区域;考察映射 的正不动点即可确定临界值。
先回想这道题的想法,再试试当前题。
当 时,
又由 及 ,数列单调且不超过 ,所以有界。
若 ,方程 的判别式 ,因而
对一切实数 成立。此时 严格递增;若它有上界,则应收敛到某个实数极限 ,并满足 ,矛盾。因此任何 都不合要求。 故最大值为
题目只问最大值,不必刻画所有负参数;临界参数本身已经给出实际上界 。
非线性递推的临界有界性通常对应相切不动点:先用不动点判别式找阈值,再分别证明临界有界与越界必发散。
关键是以不动点方程判别式发现临界lambda=1/8,再用区间[1,4]保持性证明可行、用严格增长及不存在不动点排除更大参数。
同一骨架 2024 年山东预赛 · P006575
两题都把非线性递推的有界性连到不动点。先找到候选阻挡点,再用初值所在区间的保持性证明轨道不会越过;参数越过临界时,还须由单调及假定有界推出极限,才可用不动点方程制造矛盾。
一个先由第一步严格递增筛最小整数参数,另一个问最大实参数;初步必要条件与全程不变区间的职责不同。
已记下,谢谢!