修正了Lp空间中函数相加的不等式，揭示了正交性与指数关系的深层规律。
Almost-Orthogonality in Lp Spaces: A Case Study with Grok
- 通过反例证明原不等式在p>2时不成立，指出正确指数上限为p'
- 在临界指数c=p'下，对整数p≥2证明了不等式成立
- 提出三函数情形的最优界，显著改进此前结果，借助Grok辅助推导
Carbery提出了一类关于多个Lp函数的三角不等式加强形式：对于任意p≥2及有限函数序列(f_j)，有‖∑f_j‖_p ≤ (sup_j ∑_k α_{jk}^c)^{1/p'} (∑‖f_j‖_p^p)^{1/p}，其中c=2，1/p+1/p'=1，α_{jk}=√(‖f_j f_k‖_{p/2}/(‖f_j‖_p ‖f_k‖_p))。本文第一部分构造反例，证明该不等式在所有p>2时均不成立，并证明若此类估计成立，则必有c≤p'；在临界指数c=p'下，建立了对所有整数p≥2的不等式。第二部分得到三函数情形的精确上界：‖∑_{j=1}^3 f_j‖_p ≤ (1+2Γ^{c(p)})^{1/p'} (∑‖f_j‖_p^p)^{1/p}，其中p≥3，c(p)=2ln(2)/((p-2)ln(3)+2ln(2))，Γ∈[0,1]量化三函数间的正交程度。该指数为最优，优于此前Carlen、Frank、Lieb给出的r(p)=6/(5p-4)。文中部分中间引理借助大语言模型Grok完成探索。
原文摘要 · Abstract (English)
Carbery proposed the following sharpened form of triangle inequality for many functions: for any $p\ge 2$ and any finite sequence $(f_j)_j\subset L^p$ we have \[ \Big\|\sum_j f_j\Big\|_p \ \le\ \left(\sup_{j} \sum_{k} α_{jk}^{\,c}\right)^{1/p'} \Big(\sum_j \|f_j\|_p^p\Big)^{1/p}, \] where $c=2$, $1/p+1/p'=1$, and $α_{jk}=\sqrt{\frac{\|f_{j}f_{k}\|_{p/2}}{\|f_{j}\|_{p}\|f_{k}\|_{p}}}$. In the first part of this paper we construct a counterexample showing that this inequality fails for every $p>2$. We then prove that if an estimate of the above form holds, the exponent must satisfy $c\le p'$. Finally, at the critical exponent $c=p'$, we establish the inequality for all integer values $p\ge 2$. In the second part of the paper we obtain a sharp three-function bound \[ \Big\|\sum_{j=1}^{3} f_j\Big\|_p \ \le\ \left(1+2Γ^{c(p)}\right)^{1/p'} \Big(\sum_{j=1}^{3} \|f_j\|_p^p\Big)^{1/p}, \] where $p \geq 3$, $c(p) = \frac{2\ln(2)}{(p-2)\ln(3)+2\ln(2)}$ and $Γ=Γ(f_1,f_2,f_3)\in[0,1]$ quantifies the degree of orthogonality among $f_1,f_2,f_3$. The exponent $c(p)$ is optimal, and improves upon the power $r(p) = \frac{6}{5p-4}$ obtained previously by Carlen, Frank, and Lieb. Some intermediate lemmas and inequalities appearing in this work were explored with the assistance of the large language model Grok.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。