[論文レビュー] 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$ を含む不完全積分の鋭い推定に関する3つの同値な予想を提示し、検証する。$\lambda \leq 1$ の場合に鋭い推定を証明し、$\lambda > 1$ の場合に非鋭な推定を与える。元の予想と、増加関数およびその導関数の積分を含む2つの再定式化との同値性が確立されている。

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$ の場合の推定の鋭さを証明すること。
• 元の予想が、増加関数およびその導関数の積分を含む2つの再定式化と同値であることを示すこと。
• $\lambda > 1$ の場合の推定を非鋭な形で提示し、それが最適でない可能性を示唆すること。
• 積分不等式を通じて、複素変数の古典的ペイリー問題とこの予想を結びつけること。

提案手法

• 積分変換および変数変換技術を用いて、元の積分をベータ関数およびガンマ関数に結びつけること。
• 部分積分を適用し、増加関数の導関数を含む同値な予想を導出すること。
• 変数変換 $x^2 = x'$, $t^2 = t'$, および $\alpha = \lambda/2$ を用いて、積分式を簡略化すること。
• ベータ関数 $\mathrm{B}(a,b)$ およびガンマ関数 $\Gamma(a)$ を用いて、極値関数 $S_{\lambda,n}(t) = c_{\lambda,n} t^\lambda$ の正確な積分を評価すること。
• 3つの予想の同値性を確立する：元の積分に関する予想、$h(t)$ の変換された積分に関する予想、および $q(t) = h'(t)$ の導関数の積分に関する予想。
• 区分的関数 $b(x)$ に対して不等式 $b(x) \leq e(1+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)$ に関する3つの予想がどのように同値であるか。それらを結ぶ変換は何か。
• 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$ である。
• 3番目の同値な予想は、導関数 $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)$ が $b(x) \leq e(1+x)$ を満たすことを用いることで、$\lambda \leq 1$ の場合の鋭い推定よりも緩い境界が得られ、非鋭性が示された。