帶約束的二次型的極大值證明

2021-08-26 23:54:44 字數 1549 閱讀 5583

試證明對於對稱陣 a

aa 的二次型 f(x

)=xt

ax

f(x)=\mathrm x^ta\mathrm x

f(x)=x

tax ,當 f(x

)f(x)

f(x)

取得極大值時,x

\mathrm x

x 為對稱陣 a

aa 的最大的特徵值對應的特徵向量。

採用拉格朗日乘子法求解帶約束的二次型問題:

maximizext

ax

subject toxt

x=

1\text\qquad\mathrm x^ta\mathrm x\\ \text \qquad \mathrm x^t\mathrm x=1

maximizext

axsubject toxt

x=1其拉格朗日函式為:

l (x

,λ)=

xtax

−λ(x

tx−1

)l(\mathrm x, \lambda) = \mathrm x^ta\mathrm x -\lambda(\mathrm x^t\mathrm x-1)

l(x,λ)

=xta

x−λ(

xtx−

1)對 l

ll 求偏導,有:

∂ l∂

x=2a

x−2λ

x\frac}=2a\mathrm x-2\lambda \mathrm x

∂x∂l​=

2ax−

2λx令 ∂l∂

x=

0\frac}=0

∂x∂l​=

0 ,得到 ax=

λx

a\mathrm x=\lambda \mathrm x

ax=λ

x,即 λ

\lambda

λ 是 a

aa 的特徵值,x

\mathrm x

x 為特徵值 λ

\lambda

λ 對應的特徵向量。又由於 xtx

=1

\mathrm x^t\mathrm x=1

xtx=

1,有 l(x

,λ)=

xtax

=xtλ

x=λx

tx=λ

l(\mathrm x, \lambda) = \mathrm x^ta\mathrm x= \mathrm x^t\lambda\mathrm x=\lambda\mathrm x^t\mathrm x=\lambda

l(x,λ)

=xta

x=xt

λx=λ

xtx=

λ。所以, l

ll 要取得最大值,即 λ

\lambda

λ 要取得最大值,此時 λ

\lambda

λ 應為對稱陣 a

aa 的最大的特徵值,而 x

\mathrm x

x 為最大的特徵值對應的特徵向量。

二次型在一點的 二次型及其標準型

本文主要就二次型及其標準型中最基礎的概念進行總結歸類,這一點是考研中的基礎題目,也是乙個考研中大家容易忽略的乙個板塊,有時候容易出現計算錯誤,大家一定要注意,把這一塊練好,希望大家予以重視.定義1.數域k上的乙個n元二次型是係數在k中的n個變數的二次齊次多項式,它的一般形式是 1 式也可以寫成 我們...

二次型的標準型 規範型

若二次型只有平方項,則稱二次型為標準型 如果標準型中,係數只有1,1和0,那麼稱為二次型的規範型,因為標準型中,1,1,0的個數是由正負慣性指數決定的,而合同的矩陣正負慣性指數相同,因此相互合同的矩陣乘以相同的向量組得到的二次型的規範型一定相同。此外,求乙個二次型的正負慣性指數,是通過求特徵值得到,...

matlab解決有約束條件的二次規劃問題

在數學建模與生活實際問題中,我們經常會遇到 優化問題 而所謂 優化 就是對於乙個目標函式,在給定一些等式或不等式的約束後,求極值的過程。高中學的 線性規劃 就是一種簡單的優化問題。現在我們來看,如何將相對複雜一點的 二次規劃問題 quadratic programming 在matlab中得以解決。...