Subsection 19.2

Conditions for the consistency of the system of linear equations (19.13-19.20)

[8/63%]
Show
LaTeX
Problem 19.13

Prove that if the columns of the main matrix are linearly independent, then the system of linear equations has at most one solution.

?
Problem 19.14

Prove that if the rows of the main matrix are linearly independent, then the system of equations is consistent for any column of constant terms.

?
Problem 19.15

Prove the following statement: if a system of linear equations is consistent for any column of constant terms, then the rows of its main matrix are linearly independent.

?
Problem 19.16

Prove that exactly one of two possibilities holds: either the system of linear equations Ax=bA\mathbf{x} = \mathbf{b} is consistent for any column of constant terms, or its adjoint homogeneous system ATy=0A^{T} \mathbf{y} = 0 has a nonzero solution (the Fredholm alternative).

?
Problem 19.17

Formulate conditions (and prove their necessity and sufficiency) that the main matrix must satisfy so that the number of solutions of the system of linear equations, depending on the column bb of constant terms, equals:

?
(1)

0 or 1

(2)

1 or ∞\infty

(3)

0 or ∞\infty

(4)

1 for all b.

Problem 19.18

A system of linear equations is given by its augmented matrix. Check the consistency of this system, using the Fredholm theorem and the result of problem 18.9 for the corresponding adjoint system of equations:

?
(1)

∥A114∣c89∥\left\| \mathbf{A}_{114} \mid \mathbf{c}_{89}\right\|. A114=[355947],c89=[12−1]\mathbf{A}_{114} = \left[\begin{smallmatrix} 3 & 5 \\ 5 & 9 \\ 4 & 7 \end{smallmatrix}\right], \mathbf{c}_{89} = \left[\begin{smallmatrix} 1 \\ 2 \\ -1 \end{smallmatrix}\right].

(2)

∥A118∣c90∥\left\| \mathbf{A}_{118} \mid \mathbf{c}_{90}\right\|. A118=[345723],c90=[231]\mathbf{A}_{118} = \left[\begin{smallmatrix} 3 & 4 \\ 5 & 7 \\ 2 & 3 \end{smallmatrix}\right], \mathbf{c}_{90} = \left[\begin{smallmatrix} 2 \\ 3 \\ 1 \end{smallmatrix}\right].

(3)

∥A587∣c171∥\left\| \mathbf{A}_{587} \mid \mathbf{c}_{171}\right\|. A587=[1225323−526−43−48−91−41−3−122],c171=[−1110]\mathbf{A}_{587} = \left[\begin{smallmatrix} 1 & 2 & 2 & 5 & 3 \\ 2 & 3 & -5 & 26 & -4 \\ 3 & -4 & 8 & -9 & 1 \\ -4 & 1 & -3 & -12 & 2 \end{smallmatrix}\right], \mathbf{c}_{171} = \left[\begin{smallmatrix} -1 \\ 1 \\ 1 \\ 0 \end{smallmatrix}\right].

Problem 19.19

A system of equations is given by its augmented matrix containing a parameter. Using the Fredholm theorem, find all values of the parameter for which the system is consistent, and solve it:

?
(1)

∥A205∣c91∥\left\| \mathbf{A}_{205} \mid \mathbf{c}_{91}\right\|. A205=[123234345],c91=[αα2α3]\mathbf{A}_{205} = \left[\begin{smallmatrix} 1 & 2 & 3 \\ 2 & 3 & 4 \\ 3 & 4 & 5 \end{smallmatrix}\right], \mathbf{c}_{91} = \left[\begin{smallmatrix} \alpha \\ \alpha^{2} \\ \alpha^{3} \end{smallmatrix}\right].

(2)

∥A515∣c91∥\left\| \mathbf{A}_{515} \mid \mathbf{c}_{91}\right\|. A515=[3−2546−4439−632],c91=[αα2α3]\mathbf{A}_{515} = \left[\begin{smallmatrix} 3 & -2 & 5 & 4 \\ 6 & -4 & 4 & 3 \\ 9 & -6 & 3 & 2 \end{smallmatrix}\right], \mathbf{c}_{91} = \left[\begin{smallmatrix} \alpha \\ \alpha^{2} \\ \alpha^{3} \end{smallmatrix}\right].

(3)

∥A507∣c91∥\left\| \mathbf{A}_{507} \mid \mathbf{c}_{91}\right\|. A507=[134122314011],c91=[αα2α3]\mathbf{A}_{507} = \left[\begin{smallmatrix} 1 & 3 & 4 & 1 \\ 2 & 2 & 3 & 1 \\ 4 & 0 & 1 & 1 \end{smallmatrix}\right], \mathbf{c}_{91} = \left[\begin{smallmatrix} \alpha \\ \alpha^{2} \\ \alpha^{3} \end{smallmatrix}\right].

Problem 19.20

A system of equations is given by its augmented matrix ∥A644∣c282∥\left\| \mathbf{A}_{644} \mid \mathbf{c}_{282}\right\|, depending on the parameters λ1,…,λn,μ\lambda_{1}, \ldots , \lambda_{n}, \mu. Describe the set of values of the parameters for which the system is consistent, and solve it. A644=[111…1λ1λ2λ3…λnλ12λ22λ32…λn2…………………λ1n−1λ2n−1λ3n−1…λnn−1],c282=[1μμ2⋮μn−1]\mathbf{A}_{644} = \left[\begin{smallmatrix} 1 & 1 & 1 & \ldots & 1 \\ \lambda_1 & \lambda_2 & \lambda_3 & \ldots & \lambda_n \\ \lambda_1^2 & \lambda_2^2 & \lambda_3^2 & \ldots & \lambda_n^2 \\ \ldots \ldots & \ldots & \ldots & \ldots & \ldots \ldots \\ \lambda_1^{n-1} & \lambda_2^{n-1} & \lambda_3^{n-1} & \ldots & \lambda_n^{n-1} \end{smallmatrix}\right], \mathbf{c}_{282} = \left[\begin{smallmatrix} 1 \\ \mu \\ \mu^2 \\ \vdots \\ \mu^{n-1} \end{smallmatrix}\right].

?