[Vo. 1 No. 1] 高等代数一题[Sep. 19, 2013]
$Problem .$ ??設 $a_1,a_2,\cdots,a_n$ 為互不相同的正實數(shù), 證明矩陣 $A=\left(\frac{1}{a_i+a_j}\right)_{n\times n}$ 為正定矩陣.
?
$Solution\text{ 1}.$?For any $X=(x_1,\cdots,x_n)^\mathrm{T}\neq 0$, we have
\begin{eqnarray*}
X^\mathrm{T}AX
&=& \sum_{i,j=1}^n \frac{x_ix_j}{a_i+a_j}
= \sum_{i,j=1}^n \int_0^{\infty} x_ix_j \mathrm{e}^{-(a_i+a_j)t} \mathrmozvdkddzhkzdt \\
&=& \int_0^{\infty} \left( \sum_{j=1}^n x_j \mathrm{e}^{-a_jt}\right)^2 \mathrmozvdkddzhkzdt
> 0.
\end{eqnarray*}
?
$Solution\text{ 2}.$ ?設$f_j(t)=t^{a_j-\frac{1}{2}},j=1,\cdots,n,$ 由于$a_1,a_2,\cdots,a_n$互不相同, 所以$f_1(t),f_2(t),\cdots,f_n(t)$構成線性空間\(
W= \mathrm{span} \{f_1(t),f_2(t),\cdots,f_n(t)\}\)的一組基, 定義內積:$\langle f,g \rangle := \int_0^1 f(t)g(t)\mathrmozvdkddzhkzdt$
則
\[
\mathrm{ent}_{ij}(A)=\frac{1}{a_i+a_j}
= \int_0^1 f_i(t)f_j(t)\mathrmozvdkddzhkzdt
= \langle f_i,f_j \rangle
\]
于是, 矩陣 $A$ 為基 $f_1(t),f_2(t),\cdots,f_n(t)$ 的度量矩陣, 故 $A$ 正定.
$Solution\text{ 3}.$?注意到 $A$ 的 $k$ 階順序主子式均為 Cauchy 行列式, 直接計算可知
\[
\left|
\begin{array}{cccc}
\frac{1}{a_1+a_1} & \frac{1}{a_1+a_2} & \cdots & \frac{1}{a_1+a_k} \\
\frac{1}{a_2+a_1} & \frac{1}{a_2+a_2} & \cdots & \frac{1}{a_2+a_k} \\
\vdots & \vdots & \ddots & \vdots \\
\frac{1}{a_k+a_1} & \frac{1}{a_k+a_2} & \cdots & \frac{1}{a_k+a_k} \\
\end{array}
\right| = \frac{\prod\limits_{1\leqslant j<i\leqslant k} (a_i-a_j)^2}
{\prod\limits_{1\leqslant i,j\leqslant k}(a_i+a_j)}
> 0,\quad k=1,2,\cdots,n.
\]
故 $A$ 正定.
?
注:矩陣 $A$ 的對稱性是顯然的, 以上解法中均省略了對稱性的驗證.?
?
轉載于:https://www.cnblogs.com/liuwei9209/p/3329877.html
總結
以上是生活随笔為你收集整理的[Vo. 1 No. 1] 高等代数一题[Sep. 19, 2013]的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: c#中struct和class的区别
- 下一篇: 如此互联网?