Квадратный корень из матрицы 2 на 2
Квадратный корень из матрицы M 2×2 2×2 — это другая матрица R такая, что M = R 2 , где Р 2 обозначает матричное произведение R само на себя. может быть ноль, две, четыре или даже бесконечное число В общем, матриц с квадратным корнем . Во многих случаях такую матрицу R можно получить по явной формуле.
Квадратные корни, которые не являются матрицей, состоящей из всех нулей, встречаются парами: если R является квадратным корнем из M , то − R также является квадратным корнем из M , поскольку (− R )(− R ) = (−1)(− 1)( РР ) = Р 2 = М.
Матрица 2×2 с двумя различными ненулевыми собственными значениями имеет четыре квадратных корня. имеет Положительно определенная матрица ровно один положительно определенный квадратный корень.
Общая формула
[ редактировать ]Ниже приводится общая формула, применимая практически к любой матрице 2 × 2. [1] Пусть данная матрица будет где A , B , C и D могут быть действительными или комплексными числами. Далее, пусть = A + D — M след , τ а δ = AD − BC — его определитель . Пусть это будет так, что s 2 = δ и t таков, что t 2 = τ + 2с . То есть, Тогда, если t ≠ 0, квадратный корень из M равен
Действительно, квадрат R равен
Обратите внимание, что R может иметь комплексные элементы, даже если M — действительная матрица; так будет, в частности, если определитель δ отрицателен.
Общий случай этой формулы — когда δ не равно нулю и τ 2 ≠ 4 δ , и в этом случае s не равно нулю, а t не равно нулю для каждого выбора знака s . Тогда приведенная выше формула даст четыре различных квадратных корня R , по одному для каждого выбора знаков s и t .
Частные случаи формулы
[ редактировать ]Если определитель δ равен нулю, но след τ не равен нулю, приведенная выше общая формула даст только два различных решения, соответствующих двум знакам t . А именно, где t — любой квадратный корень из следа τ .
Формула также дает только два различных решения, если δ не равно нулю и τ 2 = 4 δ (случай повторяющихся собственных значений ), и в этом случае один из вариантов выбора s приведет к тому, что знаменатель t будет равен нулю. В этом случае два корня где s — квадратный корень из δ , который делает τ − 2 s ненулевым, а t — любой квадратный корень из τ − 2 s .
Приведенная выше формула полностью не работает, если δ и τ оба равны нулю; то есть, если D = − A и A 2 = − BC , так что и след, и определитель матрицы равны нулю. В этом случае, если M является нулевой матрицей (с A = B = C = D = 0), то нулевая матрица также является квадратным корнем из M , как и любая матрица
где b и c — произвольные действительные или комплексные значения. В противном случае M не имеет квадратного корня.
Формулы для специальных матриц
[ редактировать ]Идемпотентная матрица
[ редактировать ]Если M — идемпотентная матрица , то есть MM = M , то, если это не единичная матрица, ее определитель равен нулю, а ее след равен ее рангу , который (исключая нулевую матрицу) равен 1. Тогда приведенная выше формула имеет s = 0 и τ = 1, что дает M и − M как два квадратных корня из M .
Экспоненциальная матрица
[ редактировать ]Если матрица M может быть выражена как действительное кратное экспоненте некоторой матрицы A , , то два его квадратных корня равны . В этом случае квадратный корень действительный. [2]
Диагональная матрица
[ редактировать ]Если M диагонально (т. е. B = C = 0), можно использовать упрощенную формулу
где a = ±√ A и d ±√ D. = Это для различных вариантов выбора знаков дает четыре, две или одну различные матрицы, если ни одна из них, только одна или обе A и D равны нулю соответственно.
Матрица идентичности
[ редактировать ]Поскольку у нее есть повторяющиеся собственные значения 2×2 , единичная матрица имеет бесконечно много симметричных рациональных квадратных корней, определяемых формулой где ( r , s , t ) — любые комплексные числа такие, что [3]
Матрица с одним недиагональным нулем
[ редактировать ]Если B равен нулю, но A и D не равны нулю, можно использовать
Эта формула даст два решения, если A = D , или A = 0, или D = 0, и четыре в противном случае. Аналогичную формулу можно использовать, когда C равно нулю, но A и D не равны нулю одновременно.
Ссылки
[ редактировать ]- ^ Левинджер, Бернард В. (сентябрь 1980 г.), «Квадратный корень из матрица», Mathematics Magazine , 53 (4): 222–224, doi : 10.1080/0025570X.1980.11976858 , JSTOR 2689616
- ^ Харкин, Энтони А.; Харкин, Джозеф Б. (2004), «Геометрия обобщенных комплексных чисел» (PDF) , Mathematics Magazine , 77 (2): 118–129, doi : 10.1080/0025570X.2004.11953236 , JSTOR 3219099 , MR 1573734
- ^ Митчелл, Дуглас В. (ноябрь 2003 г.), «87.57 Использование троек Пифагора для получения квадратных корней из ", The Mathematical Gazette , 87 (510): 499–500, doi : 10.1017/S0025557200173723 , JSTOR 3621289.