15.1

Квадратичные функции в евклидовом пространстве

[16/50%]
Показать
LaTeX
Задача 1660

Доказать, что канонический вид квадратичной функции в евклидовом пространстве определен однозначно с точностью до перестановки коэффициентов λ1,…,λn\lambda_{1}, \ldots , \lambda_{n}. Показать, что эти коэффициенты могут быть найдены как характеристические числа матрицы данной квадратичной функции, записанной в произвольном ортонормированном базисе.

?
Задача 1661

Найти ортогональное преобразование, приводящее следующие квадратичные функции к каноническому виду, и указать этот канонический вид:

?
(1)

x12+x22+x32+4x1x2+4x1x3+4x2x3x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+4 x_{1} x_{2}+4 x_{1} x_{3}+4 x_{2} x_{3}

(2)

11x12+5x22+2x32+16x1x2+4x1x3−20x2x311 x_{1}^{2}+5 x_{2}^{2}+2 x_{3}^{2}+16 x_{1} x_{2}+4 x_{1} x_{3}-20 x_{2} x_{3}

(3)

x12+x22+5x32−6x1x2+2x1x3−2x2x3x_{1}^{2}+x_{2}^{2}+5 x_{3}^{2}-6 x_{1} x_{2}+2 x_{1} x_{3}-2 x_{2} x_{3};

(4)

17x12+14x22+14x32−4x1x2−4x1x3−8x2x317 x_{1}^{2}+14 x_{2}^{2}+14 x_{3}^{2}-4 x_{1} x_{2}-4 x_{1} x_{3}-8 x_{2} x_{3};

(5)

x12−2x22+x32−4x1x2+8x1x3−4x2x3x_{1}^{2}-2 x_{2}^{2}+x_{3}^{2}-4 x_{1} x_{2}+8 x_{1} x_{3}-4 x_{2} x_{3};

(6)

x12+x22−2x1x2−42x1x3−42x2x3x_{1}^{2}+x_{2}^{2}-2 x_{1} x_{2}-4 \sqrt{2} x_{1} x_{3}-4 \sqrt{2} x_{2} x_{3};

(7)

5x12−7x22+5x32−8x1x2+4x1x3−8x2x35 x_{1}^{2}-7 x_{2}^{2}+5 x_{3}^{2}-8 x_{1} x_{2}+4 x_{1} x_{3}-8 x_{2} x_{3};

(8)

5x12−x22+2x32−36x1x3−36x2x35 x_{1}^{2}-x_{2}^{2}+2 x_{3}^{2}-3 \sqrt{6} x_{1} x_{3}-3 \sqrt{6} x_{2} x_{3};

(9)

3x12+3x22+3x32+3x42+2x1x3−4x1x4−4x2x3+2x2x43 x_{1}^{2}+3 x_{2}^{2}+3 x_{3}^{2}+3 x_{4}^{2}+2 x_{1} x_{3}-4 x_{1} x_{4}-4 x_{2} x_{3}+2 x_{2} x_{4};

(10)

x22+5x32+3x42−12x1x3+12x1x4−8x2x4+8x3x4x_{2}^{2}+5 x_{3}^{2}+3 x_{4}^{2}-12 x_{1} x_{3}+12 x_{1} x_{4}-8 x_{2} x_{4}+8 x_{3} x_{4};

(11)

3x12−3x22+4x32−4x42+4x52+x62+8x1x2−6x3x4+4x5x63 x_{1}^{2}-3 x_{2}^{2}+4 x_{3}^{2}-4 x_{4}^{2}+4 x_{5}^{2}+x_{6}^{2}+8 x_{1} x_{2}-6 x_{3} x_{4}+4 x_{5} x_{6}.

Задача 1662

Пусть UU — ортогональный оператор в евклидовом пространстве VV. Определим квадратичную функцию равенством f(x)=(x,Ux)f(x) = (x, U x). Показать, что канонический базис оператора UU является одновременно каноническим базисом квадратичной функции ff. Найти канонический вид ff, зная канонический вид оператора UU.

?
Задача 1663

Ортогональным преобразованием привести квадратичную функцию f(x)=x1x2+x2x3+…+xn−1xn+xnx1f(x) = x_{1} x_{2}+x_{2} x_{3}+\ldots +x_{n-1} x_{n}+x_{n} x_{1} к каноническому виду (с нахождением канонического базиса).

?
Задача 1664

Пусть даны две квадратичные функции ff и gg. Они называются ортогонально эквивалентными, если от одной из них можно перейти к другой посредством ортогонального преобразования координат. Доказать, что функции ff и gg ортогонально эквивалентны тогда и только тогда, когда совпадают характеристические многочлены их матриц.

?
Задача 1665

Пусть ff и gg — пара квадратичных функций от одних и тех же переменных, причем gg положительно определена. Выберем произвольное линейное преобразование, приводящее функцию gg к нормальному виду, а функцию ff-к каноническому:

f=λ1x12+…+λnxn2 f = \lambda _{1} x_{1}^{2}+\ldots +\lambda _{n} x_{n}^{2}

Доказать, что числа λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} с точностью до перестановки определяются однозначно, т. е. не зависят от выбора линейного преобразования. Доказать, что эти числа являются корнями так называемого λ\lambda-уравнения det⁡(A−λB)=0\operatorname {det}(A-\lambda B) = 0, где AA и BB — матрицы функций ff и gg соответственно.

?
Задача 1666

Пусть ff и gg — пара квадратичных функций от одних и тех же переменных, AA и BB — их матрицы. Доказать, что множество корней уравнения det⁡(A−λB)=0\operatorname {det}(A-\lambda B) = 0 не меняется при невырожденных линейных преобразованиях переменных.

?
Задача 1667

Доказать, что если к положительно определенной квадратичной функции ff прибавить квадрат ненулевой линейной функции от тех же переменных, то определитель матрицы функции ff увеличится.

?
Задача 1668

Пусть

f(x1,…,xn)=∑i,j=1naijxixj f\left(x_{1}, \ldots , x_{n}\right) = \sum _{i, j = 1}^{n} a_{i j} x_{i} x_{j}
  • положительно определенная квадратичная функция и
g(x2,…,xn)=f(0,x2,…,xn) g\left(x_{2}, \ldots , x_{n}\right) = f\left(0, x_{2}, \ldots , x_{n}\right)

Доказать, что для определителей матриц этих функций выполнено неравенство Df⩽a11DgD_{f} \leqslant a_{11} D_{g}.

?
Задача 1669

Для данной пары квадратичных функций выяснить, какая из них является положительно определенной, и найти преобразование координат, приводящее эту функцию к нормальному, а другую — к каноническому виду; указать этот канонический вид:

?
(1)

f=x12+6x22−2x32+6x1x2+2x2x3f = x_{1}^{2}+6 x_{2}^{2}-2 x_{3}^{2}+6 x_{1} x_{2}+2 x_{2} x_{3}, g=x12+2x22+2x32+2x1x2−2x2x3g = x_{1}^{2}+2 x_{2}^{2}+2 x_{3}^{2}+2 x_{1} x_{2}-2 x_{2} x_{3}

(2)

f=x12−3x22−2x32+2x2x3f = x_{1}^{2}-3 x_{2}^{2}-2 x_{3}^{2}+2 x_{2} x_{3}, g=x12+5x22+2x32−4x1x2−2x2x3g = x_{1}^{2}+5 x_{2}^{2}+2 x_{3}^{2}-4 x_{1} x_{2}-2 x_{2} x_{3}

(3)

f=5x12+27x22+35x32+20x1x2−14x1x3−52x2x3f = 5 x_{1}^{2}+27 x_{2}^{2}+35 x_{3}^{2}+20 x_{1} x_{2}-14 x_{1} x_{3}-52 x_{2} x_{3}, g=x12+5x22+6x32+4x1x2−2x1x3−8x2x3g = x_{1}^{2}+5 x_{2}^{2}+6 x_{3}^{2}+4 x_{1} x_{2}-2 x_{1} x_{3}-8 x_{2} x_{3}

(4)

f=15x22−15x32−36x1x2−60x1x3+16x2x3f = 15 x_{2}^{2}-15 x_{3}^{2}-36 x_{1} x_{2}-60 x_{1} x_{3}+16 x_{2} x_{3}, g=9x12+13x22+14x32−12x1x2+6x1x3+8x2x3g = 9 x_{1}^{2}+13 x_{2}^{2}+14 x_{3}^{2}-12 x_{1} x_{2}+6 x_{1} x_{3}+8 x_{2} x_{3}

(5)

f=7x12+17x22+27x32+18x1x2−24x1x3−24x2x3f = 7 x_{1}^{2}+17 x_{2}^{2}+27 x_{3}^{2}+18 x_{1} x_{2}-24 x_{1} x_{3}-24 x_{2} x_{3}, g=x12+2x22+6x32+2x1x2−4x1x3−2x2x3g = x_{1}^{2}+2 x_{2}^{2}+6 x_{3}^{2}+2 x_{1} x_{2}-4 x_{1} x_{3}-2 x_{2} x_{3}

(6)

f=4x12+6x22+12x32+12x44+6x1x2−8x1x3−14x2x3−f = 4 x_{1}^{2}+6 x_{2}^{2}+12 x_{3}^{2}+12 x_{4}^{4}+6 x_{1} x_{2}-8 x_{1} x_{3}-14 x_{2} x_{3}-

g=x12+2x22+3x32+3x42+2x1x2−2x1x3−4x2x3−2x2x4+4x3x4 g = x_{1}^{2}+2 x_{2}^{2}+3 x_{3}^{2}+3 x_{4}^{2}+2 x_{1} x_{2}-2 x_{1} x_{3}-4 x_{2} x_{3}-2 x_{2} x_{4}+4 x_{3} x_{4}
(7)

f=−12x12−52x22+32x32−52x44+2x1x2+5x1x3−12x1x4−−10x2x3+33x2x4−16x3x4g=x12+5x22+5x32+5x42−4x1x2−4x2x3−4x3x4f = -\frac{1}{2} x_{1}^{2}-\frac{5}{2} x_{2}^{2}+\frac{3}{2} x_{3}^{2}-\frac{5}{2} x_{4}^{4}+2 x_{1} x_{2}+5 x_{1} x_{3}-12 x_{1} x_{4}- -10 x_{2} x_{3}+33 x_{2} x_{4}-16 x_{3} x_{4} g = x_{1}^{2}+5 x_{2}^{2}+5 x_{3}^{2}+5 x_{4}^{2}-4 x_{1} x_{2}-4 x_{2} x_{3}-4 x_{3} x_{4}

(8)

f=−x12−6x22+x32−4x42+6x1x2−2x1x3−2x1x4+10x3x4f = -x_{1}^{2}-6 x_{2}^{2}+x_{3}^{2}-4 x_{4}^{2}+6 x_{1} x_{2}-2 x_{1} x_{3}-2 x_{1} x_{4}+10 x_{3} x_{4}, g=x12+2x22+3x32+4x42−2x1x2−2x1x3−2x1x4+2x3x4g = x_{1}^{2}+2 x_{2}^{2}+3 x_{3}^{2}+4 x_{4}^{2}-2 x_{1} x_{2}-2 x_{1} x_{3}-2 x_{1} x_{4}+2 x_{3} x_{4}.

Задача 1670

Пусть ff и gg-две положительно определенные квадратичные функции от одних и тех же переменных. Пусть одно невырожденное линейное преобразование переменных приводит функцию ff к виду f=∑i=1nλiyi2f = \sum_{i = 1}^{n} \lambda_{i} y_{i}^{2}, а функцию gg — к нормальному виду, а другое невырожденное линейное преобразование приводит функцию ff к нормальному виду, а функцию gg — к виду g=∑i=1nμizi2g = \sum_{i = 1}^{n} \mu_{i} z_{i}^{2}. Найти связь между коэффициентами λi\lambda_{i} и μi\mu_{i}.

?
Задача 1671

Доказать, что следующие пары квадратичных функций нельзя привести к диагональному виду одним вещественным невырожденным линейным преобразованием:

?
(1)

f=x12+4x1x2−x22,g=x12+8x1x2+5x22f = x_{1}^{2}+4 x_{1} x_{2}-x_{2}^{2}, g = x_{1}^{2}+8 x_{1} x_{2}+5 x_{2}^{2};

(2)

f=2x1x2−x22,g=x12+4x1x2−5x22f = 2 x_{1} x_{2}-x_{2}^{2}, \quad g = x_{1}^{2}+4 x_{1} x_{2}-5 x_{2}^{2}.

Задача 1672

Доказать, что для двух пар квадратичных функций f1,g1f_{1}, g_{1} и f2,g2f_{2}, g_{2}, где g1g_{1} и g2g_{2} положительно определены, невырожденное линейное преобразование, одновременно переводящее f1f_{1} в f2f_{2} и g1g_{1} в g2g_{2}, существует тогда и только тогда, когда корни уравнений

det⁡(A1−λB1)=0 и det⁡(A2−λB2)=0 \operatorname {det}\left(A_{1}-\lambda B_{1}\right) = 0 \quad \text{ и } \quad \operatorname {det}\left(A_{2}-\lambda B_{2}\right) = 0

совпадают.

?
Задача 1673

Существует ли невырожденное линейное преобразование, одновременно переводящее пару квадратичных функций f1,g1f_{1}, g_{1} в паpy f2,g2f_{2}, g_{2} :

?
(1)

f1=−x12−6x1x2+2x1x3−x22−2x2x3+x32f_{1} = -x_{1}^{2}-6 x_{1} x_{2}+2 x_{1} x_{3}-x_{2}^{2}-2 x_{2} x_{3}+x_{3}^{2},

g1=x12+6x1x2−2x1x3+13x22−10x2x3+3x32 g_{1} = x_{1}^{2}+6 x_{1} x_{2}-2 x_{1} x_{3}+13 x_{2}^{2}-10 x_{2} x_{3}+3 x_{3}^{2} f2=10x12+12x1x2+12x1x3+30x22+12x2x3+3x32g2=9x12+2x1x2+4x1x3+13x22+4x2x3+x32 \begin{aligned} & f_{2} = 10 x_{1}^{2}+12 x_{1} x_{2}+12 x_{1} x_{3}+30 x_{2}^{2}+12 x_{2} x_{3}+3 x_{3}^{2} \\ & g_{2} = 9 x_{1}^{2}+2 x_{1} x_{2}+4 x_{1} x_{3}+13 x_{2}^{2}+4 x_{2} x_{3}+x_{3}^{2} \end{aligned}
(2)

f1=3x12+6x1x2−18x1x3+12x22−24x2x3+28x32f_{1} = 3 x_{1}^{2}+6 x_{1} x_{2}-18 x_{1} x_{3}+12 x_{2}^{2}-24 x_{2} x_{3}+28 x_{3}^{2},

g1=x12+2x1x2−6x1x3+10x22−12x2x3+14x32g_{1} = x_{1}^{2}+2 x_{1} x_{2}-6 x_{1} x_{3}+10 x_{2}^{2}-12 x_{2} x_{3}+14 x_{3}^{2},

f2=4x12−4x1x2+4x22f_{2} = 4 x_{1}^{2}-4 x_{1} x_{2}+4 x_{2}^{2},

g2=6x12−12x1x2+4x1x3+8x22−4x2x3+x32g_{2} = 6 x_{1}^{2}-12 x_{1} x_{2}+4 x_{1} x_{3}+8 x_{2}^{2}-4 x_{2} x_{3}+x_{3}^{2};

(3)

f1=3x12+6x1x2+12x22−6x2x3+9x32f_{1} = 3 x_{1}^{2}+6 x_{1} x_{2}+12 x_{2}^{2}-6 x_{2} x_{3}+9 x_{3}^{2},

g1=x12+2x1x2+10x22−6x2x3+5x32g_{1} = x_{1}^{2}+2 x_{1} x_{2}+10 x_{2}^{2}-6 x_{2} x_{3}+5 x_{3}^{2},

f2=5x12−12x1x2+4x1x3+12x22−8x2x3+2x32f_{2} = 5 x_{1}^{2}-12 x_{1} x_{2}+4 x_{1} x_{3}+12 x_{2}^{2}-8 x_{2} x_{3}+2 x_{3}^{2},

g2=3x12−8x1x2+2x1x3+8x22−4x2x3+x32g_{2} = 3 x_{1}^{2}-8 x_{1} x_{2}+2 x_{1} x_{3}+8 x_{2}^{2}-4 x_{2} x_{3}+x_{3}^{2}?

Задача 1674

Пусть ff-квадратичная функция в евклидовом пространстве V,AV, A-ее матрица в некотором ортонормированном базисе, λ1⩽λ2⩽…⩽λn−1⩽λn\lambda_{1} \leqslant \lambda_{2} \leqslant \ldots \leqslant \lambda_{n-1} \leqslant \lambda_{n} — упорядоченные собственные значения матрицы A,L⊂VA, L \subset V — линейное подпространство коразмерности один. Рассмотрим новую квадратичную функцию gg, являющуюся ограничением функции ff на LL. Пусть μ1⩽μ2⩽…⩽μn−1\mu_{1} \leqslant \mu_{2} \leqslant \ldots \leqslant \mu_{n-1} — упорядоченные собственные значения матрицы квадратичной функции gg в некотором ортонормированном базисе пространства LL. Доказать, что

λ1⩽μ1⩽λ2⩽μ2⩽…⩽λn−1⩽μn−1⩽λn \lambda _{1} \leqslant \mu _{1} \leqslant \lambda _{2} \leqslant \mu _{2} \leqslant \ldots \leqslant \lambda _{n-1} \leqslant \mu _{n-1} \leqslant \lambda _{n}
?
Задача 1675

Пусть ff-квадратичная форма на евклидовом пространстве VV. Определим для каждых двух ортогональных векторов a,b∈Va, b \in V функцию φa,b(t)=f(acos⁡t+bsin⁡t)\varphi_{a, b}(t) = f(a \cos t+b \sin t). Доказать, что направление вектора aa является главным направлением формы ff тогда и только тогда, когда для любого вектора bb, ортогонального вектору aa, выполнено dφa,bdt∣t=0=0\left.\frac{d \varphi_{a, b}}{d t}\right|_{t = 0} = 0.

?