AI 中文总结
本研究解决Schäffer矩阵不等式渐近常数的长期问题，证明$S_n$与$\sqrt{n}$比值的极限为$\sqrt{e}$，确定其精确渐近常数，完善了相关算子理论的关键结论。
AI 中文摘要
设$S_n$为满足对每个n维复巴拿赫空间上的每个可逆算子T，均有$|\det T|\\|T^{-1}\\| \leq S_n \\|T\\|^{n-1}$的最小常数。在希尔伯特空间中，最优常数为1；对于任意巴拿赫空间，J. J. Schäffer于1970年证明$S_n \leq \sqrt{en}$。后续研究表明$S_n$随$\sqrt{n}$增长，但精确渐近常数已悬而未决逾五十年。本研究解决该问题，证明$\lim_{n\to\infty}\frac{S_n}{\sqrt{n}}=\sqrt{e}$，即Schäffer上界在渐近意义上是紧的，包括其常数项。证明具有构造性，通过对偶性提供显式巴拿赫空间范数，通过模型算子理论提供显式矩阵。论证的分析核心是，维纳代数中Schäffer问题的极值表述将$S_n$的匹配渐近下界问题转化为一致控制乘积$QB_n$的泰勒系数，其中$B_n$是次数为n的有限布拉施克乘积，Q是多项式因子。同时优化$B_n$的零点分布与Q的选择，所得零点遵循对数渐近分布，对$QB_n$的泰勒系数进行精确一致渐近分析得到常数$\sqrt{e}$，对应的模型算子进而产生具有此类谱且渐近达到Schäffer界的矩阵。
英文摘要
Let $S_n$ denote the smallest constant such that \[ |\det T|\|T^{-1}\| \leq S_n \|T\|^{n-1} \] for every invertible operator $T$ on every $n$-dimensional complex Banach space. In Hilbert space the optimal constant is $1$. For arbitrary Banach spaces, J. J. Schäffer proved in 1970 that \[S_n\leq \sqrt{en}. \] Subsequent work showed that $S_n$ grows like $\sqrt n$, but the sharp asymptotic constant has remained open for more than five decades. We resolve this problem by proving \[ \lim_{n\to\infty}\frac{S_n}{\sqrt n}=\sqrt e. \] Thus Schäffer's upper bound is asymptotically sharp, including its constant. Our proof is constructive, providing explicit Banach-space norms through duality and explicit matrices through the theory of model operators. At the analytic core of the argument, an extremal formulation of Schäffer's problem in the Wiener algebra reduces the matching asymptotic lower bound for $S_n$ to uniformly controlling the Taylor coefficients of products $QB_n$, where $B_n$ is a finite Blaschke product of degree $n$ and $Q$ is a polynomial factor. We optimize simultaneously the zero distribution of $B_n$ and the choice of $Q$. The resulting zeros follow a logarithmic asymptotic distribution, and a sharp uniform asymptotic analysis of the Taylor coefficients of $QB_n$ yields the constant $\sqrt e$. The corresponding model operators then yield matrices with these spectra that asymptotically attain Schäffer's bound.
