A₂函数的下界推导问询：指数型函数|f(x-i)|的下界证明思路

嗨，我来帮你拆解这个问题的证明思路，核心确实是用反证法结合指数型函数的性质和A₂条件的约束：

第一步：明确核心已知条件 #

先把问题的关键前提梳理清楚：

• 函数$f$是指数型：存在常数$A,B>0$，对所有$z\in\mathbb{C}$满足$|f(z)| \leq B e^{A|z|}$；特别地，当$z=x-i$时，$|f(x-i)| \leq B e^{A(|x|+1)}$，这给了$|f(x-i)|$一个指数级的增长上界。
• $|f(x-i)|^2 \in A_2$：对实轴上的任意区间（球）$B$，都有
  $$\left(\frac{1}{|B|} \int_B |f(x-i)|^2\right)\left(\frac{1}{|B|} \int_B \frac{1}{|f(x-i)|^2}\right) \leq C < \infty$$
  这个条件意味着$|f(x-i)|^2$既不会局部过小（否则倒数的积分会爆炸），也不会局部过大（否则自身积分会失控），两者的平均乘积被统一常数限制。

第二步：反证法的假设 #

假设结论不成立：也就是不存在这样的多项式下界，具体来说，存在一列点$x_n \in \mathbb{R}$，当$n\to\infty$时$|x_n|\to\infty$，且
$$|f(x_n - i)| \leq \frac{\epsilon_n}{(1+|x_n|)^3}$$
其中$\epsilon_n \to 0$（比如取$\epsilon_n = 1/n$即可）。

第三步：构造矛盾的区间（球） #

围绕每个$x_n$构造以$x_n$为中心、半径为1的固定长度区间$B_n = [x_n - 1, x_n + 1]$（固定半径能避免额外复杂度），其长度$|B_n|=2$。接下来分别计算两个平均积分：

1. 计算$|f(x-i)|^2$在$B_n$上的平均：
   对任意$x\in B_n$，$|x| \leq |x_n| + 1$，结合指数型函数的上界可得：
   $$|f(x-i)|^2 \leq B^2 e^{2A(|x|+1)} \leq B^2 e^{2A(|x_n|+2)}$$
   积分后除以$|B_n|=2$，得到这个平均的上界：
   $$\frac{1}{|B_n|}\int_{B_n}|f(x-i)|^2 dx \leq B^2 e^{2A(|x_n|+2)}$$
   这个上界是指数增长的，但增长速度由指数型函数的参数$A$固定。

2. 计算$1/|f(x-i)|^2$在$B_n$上的平均：
   因为$f$是整函数（指数型函数都是整函数），$|f(x-i)|$在实轴上连续。由反证假设，$|f(x_n - i)|$极小，那么存在$B_n$内的一个子区间$I_n$（长度固定为$\delta>0$），使得在$I_n$内$|f(x-i)| \leq 2|f(x_n - i)|$（连续性保证了这一点）。
   因此在$I_n$内有：
   $$\frac{1}{|f(x-i)|^2} \geq \frac{(1+|x_n|)^{6}{4\epsilon_n}2}$$
   积分后除以$|B_n|=2$，得到这个平均的下界：
   $$\frac{1}{|B_n|}\int_{B_n}\frac{1}{|f(x-i)|^2} dx \geq \frac{\delta \cdot (1+|x_n|)^{6}{8\epsilon_n}2}$$
   当$n\to\infty$时，$\epsilon_n\to0$，这个下界会趋向无穷大。

第四步：导出矛盾 #

根据A₂条件，两个平均的乘积必须被常数$C$限制，但上面的两个结果相乘后：
$$\left(B^2 e^{2A(|x_n|+2)}\right) \times \left(\frac{\delta \cdot (1+|x_n|)^{6}{8\epsilon_n}2}\right) \to \infty$$
这直接违反了A₂条件的有界性，因此我们的反证假设不成立，原结论必须成立：存在常数$C$使得$|f(x-i)| \geq \frac{C}{1 + |x|^3}$对所有$x\in\mathbb{R}$成立。

补充细节提示 #

如果觉得“子区间”的处理不够直观，也可以利用指数型函数的解析性质：指数型函数在直线上的取值不能在某个点附近突然急剧衰减，否则会破坏A₂条件的平均乘积约束——衰减点附近的倒数积分会急剧增大，而自身积分因为指数上界不会过度增长，乘积必然突破常数界。

备注：内容来源于stack exchange，提问作者RKDMS