Finding SPD Matrix: Vanderberghe and Boyd Reader 6.4 Solution

  • Thread starter Thread starter earlh
  • Start date Start date
  • Tags Tags
    Homework
Click For Summary
SUMMARY

The discussion focuses on determining the conditions under which the matrix B, defined as B = \left[ \begin{array}{cc} A & ae_{1} \\ ae_{1}^{T} & 1 \\ \end{array} \right], is symmetric positive definite (SPD). The user seeks to find an interval for the scalar a that ensures B remains SPD, given that A is already SPD. The key equation derived is v^{T} B v = x^{T} A x + y^{2} + 2ayx_{1}, where x is an (n, 1) vector and y is a scalar. The challenge lies in identifying the appropriate values for a to maintain the SPD property for all arbitrary vectors v.

PREREQUISITES
  • Understanding of symmetric positive definite matrices
  • Familiarity with linear algebra concepts, specifically matrix multiplication
  • Knowledge of vector spaces and basis vectors
  • Ability to manipulate quadratic forms
NEXT STEPS
  • Study the properties of symmetric positive definite matrices in detail
  • Learn about the Cholesky decomposition and its relation to SPD matrices
  • Explore the implications of the Sylvester's criterion for SPD matrices
  • Investigate the role of eigenvalues in determining the SPD nature of matrices
USEFUL FOR

Students and professionals in mathematics, particularly those studying linear algebra, as well as researchers working with optimization problems involving symmetric positive definite matrices.

earlh
Messages
12
Reaction score
0
Hi -- so, I'm working through a text on my own 5 years out of college having completely forgotten more or less all linear algebra. Here's my problem -- 6.4 from a reader by Vanderberghe and Boyd which is btw excellent.

Homework Equations


I have to show when a matrix is SPD. Setup:
let A which is n by n be SPD. For what values of scalar a is the matrix
B = \left[ \begin{array}{cc}<br /> A &amp; ae_{1} \\<br /> ae_{1}^{T} &amp; 1 \\<br /> \end{array} \right]
where e_{1} is the first vector in the usual basis

SPD? I need to find an interval for a so that B is SPD

The Attempt at a Solution


So I let v = \left[ \begin{array}{c} x \\ y \end{array} \right]
where x is (n, 1) and y is 1 by 1.

Multiplying things out, you get
v^{T} B v = [ x^{t} y ] \left[ \begin{array}{cc}<br /> A &amp; e_{1} \\<br /> e_{1}^{T} &amp; a \\<br /> \end{array} \right] \left[ \begin{array}{c} x \\ y \end{array} \right]

... = x^{T} A x + y^{2} + 2ay x^{T}e_{1} = x^{T}Ax + y^{2} + 2ayx_{1} where x_{1} is the first term in x
Obviously the first 2 terms are greater than or equal to zero, but I'm having trouble figuring out what a I use so that v can be arbitrary...Thanks in advance for any help
 
Last edited:
Physics news on Phys.org
Just to satisfy my curiosity, what does SPD stand for?
 
vela said:
Just to satisfy my curiosity, what does SPD stand for?

Symmetric positive definite -- sorry for using jargon
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
3K
Replies
6
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
0
Views
926
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K