[论文解读] Three equivalent conjectures on an estimate of integrals (in Russian)

Rustam Baladai, Б. Н. Хабибуллин|arXiv (Cornell University)|Jun 26, 2010

Meromorphic and Entire Functions被引用 3

一句话总结

本文提出了并研究了三个关于参数 $\lambda > 0$ 的非正常积分的精确估计的等价猜想，其动机源于复分析中的极值问题。对于 $\lambda \leq 1$，证明了精确估计；对于 $\lambda > 1$，给出了非精确估计，且原始猜想与涉及递增函数及其导数的两个重构形式之间建立了等价性。

ABSTRACT

We offer a conjecture on sharp estimation of a definite improper integral depend on a parameter $λ\in (0,+\infty)$ by means of given estimate of other definite integral depend on parameters $t\in [0,+\infty)$ and $λ$. Such sharp estimate is proved for $λ\leq 1$. Besides, an estimate is obtained for $λ>1$. The last estimate is not exact seemingly. We give also two conjectures that are equivalent to the original conjecture. Sources of our conjectures are extremal problems for entire, meromorphic, and plurisubharmonic functions of several variables.

研究动机与目标

• 建立一类依赖于参数 $\lambda \in (0, \infty)$ 的非正常积分的精确估计，其动机源于整函数、亚纯函数和拟凸函数的极值问题。
• 通过积分变换和特殊函数，证明 $\lambda \leq 1$ 时估计的精确性。
• 展示原始猜想与涉及递增函数及其导数的两个重构形式之间的等价性。
• 为 $\lambda > 1$ 提供一个非精确估计，表明其可能并非最优。
• 通过积分不等式将该猜想与多复变函数中的经典 Paley 问题联系起来。

提出的方法

• 使用积分变换和变量代换技术，将原始积分与不完全和完全伽马函数联系起来。
• 应用分部积分法，推导出涉及递增函数导数的等价猜想。
• 通过变量变换 $x^2 = x'$，$t^2 = t'$，和 $\alpha = \lambda/2$ 简化积分表达式。
• 利用不完全贝塔函数 $\mathrm{B}(a,b)$ 和伽马函数 $\Gamma(a)$ 计算极值函数 $S_{\lambda,n}(t) = c_{\lambda,n} t^\lambda$ 的精确积分。
• 建立三个猜想之间的等价性：一个关于原始积分，一个关于 $h(t)$ 的变换积分，一个关于导数 $q(t) = h'(t)$ 的积分。
• 使用不等式 $b(x) \leq e(1+x)$（其中 $b(x)$ 分段定义）来界定 $\lambda > 1$ 情况下的估计值。

实验结果

研究问题

• RQ1 在满足 $\int_0^1 S(tx)(1-x^2)^{n-2}x\,dx \leq t^\lambda$ 的条件下，积分 $\int_0^{\infty} S(t) \frac{t^{2\lambda-1}}{(1+t^{2\lambda})^2} dt$ 的所提上界是否精确？
• RQ2 该猜想中的估计在哪些 $\lambda$ 值下是精确的？实现等式的极值函数具有何种性质？
• RQ3 关于 $S(t)$、$h(t)$ 和 $q(t)$ 的三个猜想如何等价？它们之间的变换关系是什么？
• RQ4 $\lambda > 1$ 时的估计能否改进？还是其本质上是非精确的？
• RQ5 该积分不等式与 $\mathbb{C}^n$ 中整函数、亚纯函数和拟凸函数的极值问题之间有何联系？

主要发现

• 对于 $\lambda \leq 1$，已证明精确估计 $\int_0^{\infty} S(t) \frac{t^{2\lambda-1}}{(1+t^{2\lambda})^2} dt \leq \frac{\pi(n-1)}{2\lambda} \prod_{k=1}^{n-1} \left(1 + \frac{\lambda}{2k}\right)$。
• 当极值函数为 $S_{\lambda,n}(t) = 2(n-1) \prod_{k=1}^{n-1} \left(1 + \frac{\lambda}{2k}\right) t^\lambda$ 时，该估计取等。
• 对于 $\lambda > 1$，得到一个非精确估计：$\int_0^{\infty} S(t) \frac{t^{2\lambda-1}}{(1+t^{2\lambda})^2} dt \leq \frac{\pi}{2} \cdot \frac{n-1}{\lambda} \left(1 + \frac{1}{2} \cdot \frac{\lambda}{n-1}\right)^{n-1} \left(1 + 2 \cdot \frac{n-1}{\lambda}\right)^{\lambda/2}$。
• 该猜想等价于一个关于函数 $h(t)$ 的重构形式：若 $\int_0^1 \frac{h(tx)}{x} (1-x)^{n-1} dx \leq t^\alpha$，则有 $\int_0^{\infty} \frac{h(t)}{t} \frac{dt}{1+t^{2\alpha}} \leq \frac{\pi}{2} \prod_{k=1}^{n-1} \left(1 + \frac{\alpha}{k}\right)$，其中 $\alpha = \lambda/2$。
• 第三个等价猜想涉及导数 $q(t) = h'(t)$：若 $\int_0^1 \left( \int_x^1 (1-y)^{n-1} \frac{dy}{y} \right) q(tx) dx \leq t^{\alpha-1}$，则有 $\int_0^{\infty} q(t) \log\left(1 + \frac{1}{t^{2\alpha}}\right) dt \leq \frac{\pi}{\mathrm{B}(\alpha,n)}$。
• 对于 $\lambda > 1$ 的估计是非精确的，如通过满足 $b(x) \leq e(1+x)$ 的函数 $b(x)$ 所示，其导致的界比 $\lambda \leq 1$ 时的精确估计更宽松。