Сравнение между матрицей символьных скалярных переменных и переменными символьной матрицы

Переменные символьной матрицы являются альтернативой символьным скалярным переменным. Эти две опции имеют различные типы и отображены по-другому.

Например, создайте два 3- 4 матрицы символьных скалярных переменных при помощи syms. Для краткости матрицы символьных скалярных переменных иногда называются символьными матрицами. Эти матрицы отображены путем листинга их компонентов.

syms A B [2 3]
A

A = 
$$\left(\begin{array}{ccc}{A}_{1,1}& A_{1,2}& A_{1,3}\\ A_{2,1}& A_{2,2}& A_{2,3}\end{array}\right)$$

B

B = 
$$\left(\begin{array}{ccc}{B}_{1,1}& B_{1,2}& B_{1,3}\\ B_{2,1}& B_{2,2}& B_{2,3}\end{array}\right)$$

Матрица A символьных скалярных переменных имеет тип sym.

class(A)

ans = 
'sym'

Применение символьных математических операций к этим матрицам может привести к сложному решению, описанному в терминах матричных компонентов. Например, умножьте матрицы A и B'.

C = A*B'

C = 
$$\left(\begin{array}{cc}{A}_{1,1}\hspace{0.17em}\overline{B_{1,1}}+A_{1,2}\hspace{0.17em}\overline{B_{1,2}}+A_{1,3}\hspace{0.17em}\overline{B_{1,3}}& A_{1,1}\hspace{0.17em}\overline{B_{2,1}}+A_{1,2}\hspace{0.17em}\overline{B_{2,2}}+A_{1,3}\hspace{0.17em}\overline{B_{2,3}}\\ A_{2,1}\hspace{0.17em}\overline{B_{1,1}}+A_{2,2}\hspace{0.17em}\overline{B_{1,2}}+A_{2,3}\hspace{0.17em}\overline{B_{1,3}}& A_{2,1}\hspace{0.17em}\overline{B_{2,1}}+A_{2,2}\hspace{0.17em}\overline{B_{2,2}}+A_{2,3}\hspace{0.17em}\overline{B_{2,3}}\end{array}\right)$$

Чтобы создать переменные символьной матрицы, одного размера, используйте syms команда сопровождается именами переменных, их размером и matrix ключевое слово. Переменные символьной матрицы отображены полужирным, чтобы отличить их от символьных скалярных переменных.

syms A B [2 3] matrix
A

A = $$A$$

B

B = $$B$$

Переменные символьной матрицы имеют тип symmatrix.

class(A)

ans = 
'symmatrix'

Применение символьных математических операций к переменным символьной матрицы приводит к краткому отображению. Например, умножьте A и B'.

C = A*B'

C = $$A\hspace{0.17em}{\left(\bar{B}\right)}^{\mathrm{T}}$$

Математические операции с переменными символьной матрицы

Переменные символьной матрицы распознаны некоммутативными объектами. Они поддерживают общие математические операции, и можно использовать эти операции, чтобы создать переменные выражения символьной матрицы.

syms A B [2 2] matrix
A*B - B*A

ans = $$A\hspace{0.17em}B-B\hspace{0.17em}A$$

Например, проверяйте коммутационное отношение на умножение между двумя переменными символьной матрицы.

isequal(A*B,B*A)

ans = logical
   0

Проверяйте коммутационное отношение на сложение.

isequal(A+B,B+A)

ans = logical
   1

Если операция имеет какие-либо аргументы типа symmatrix, результат автоматически преобразован, чтобы ввести symmatrix. Например, умножьте матричный A это представлено переменной символьной матрицы и скалярным c это представлено символьной скалярной переменной. Результат имеет тип symmatrix.

syms A [2 2] matrix
syms c
class(A)

ans = 
'symmatrix'

class(c)

ans = 
'sym'

M = c*A

M = $$c\hspace{0.17em}A$$

class(M)

ans = 
'symmatrix'

Умножьте три матрицы, которые представлены переменными символьной матрицы. Результатом X является symmatrix объект.

syms V [2 1] matrix
X = V.'*A*V

X = $$V^{\mathrm{T}}\hspace{0.17em}A\hspace{0.17em}V$$

class(X)

ans = 
'symmatrix'

Можно передать symmatrix объекты в качестве аргументов к математическим функциям. Например, выполните математическую операцию к X путем взятия дифференциала X относительно V.

diff(X,V)

ans = $$V^{\mathrm{T}}\hspace{0.17em}{A}^{\mathrm{T}}+V^{\mathrm{T}}\hspace{0.17em}A$$

Создайте переменную символьной матрицы из массива символьных скалярных переменных

Можно преобразовать массив символьных скалярных переменных к одной переменной символьной матрицы использование symmatrix функция. Переменные символьной матрицы, которые преобразованы таким образом, отображены поэлементно.

syms A [3 4]
class(A)

ans = 
'sym'

B = symmatrix(A)

B = 
$$\begin{array}{l}{\Sigma }_1\\ \\ \mathrm{where}\\ \\ \mathrm{ }{\Sigma }_1=\left(\begin{array}{cccc}{A}_{1,1}& A_{1,2}& A_{1,3}& A_{1,4}\\ A_{2,1}& A_{2,2}& A_{2,3}& A_{2,4}\\ A_{3,1}& A_{3,2}& A_{3,3}& A_{3,4}\end{array}\right)\end{array}$$

class(B)

ans = 
'symmatrix'

Преобразуйте переменную символьной матрицы в массив символьных скалярных переменных

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

Например, найдите матричное произведение двух переменных A символьной матрицы и B. Результат X имеет тип symmatrix.

syms A B [2 2] matrix
X = A*B

X = $$A\hspace{0.17em}B$$

class(X)

ans = 
'symmatrix'

Преобразуйте переменную X символьной матрицы к массиву символьных скалярных переменных. Конвертированный матричный Y имеет тип sym.

Y = symmatrix2sym(X)

Y = 
$$\left(\begin{array}{cc}{A}_{1,1}\hspace{0.17em}{B}_{1,1}+A_{1,2}\hspace{0.17em}{B}_{2,1}& A_{1,1}\hspace{0.17em}{B}_{1,2}+A_{1,2}\hspace{0.17em}{B}_{2,2}\\ A_{2,1}\hspace{0.17em}{B}_{1,1}+A_{2,2}\hspace{0.17em}{B}_{2,1}& A_{2,1}\hspace{0.17em}{B}_{1,2}+A_{2,2}\hspace{0.17em}{B}_{2,2}\end{array}\right)$$

class(Y)

ans = 
'sym'

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

syms A B [2 2]
isequal(Y,A*B)

ans = logical
   1

Индексация в переменные символьной матрицы

Индексация в переменную символьной матрицы возвращает соответствующие элементы матрицы в форме другой переменной символьной матрицы.

syms A [2 3] matrix
a = A(2,3)

a = $$A_{2,3}$$

class(a)

ans = 
'symmatrix'

В качестве альтернативы преобразуйте переменную A символьной матрицы к матрице символьных скалярных переменных. Затем индексируйте в ту матрицу.

Asym = symmatrix2sym(A)

Asym = 
$$\left(\begin{array}{ccc}{A}_{1,1}& A_{1,2}& A_{1,3}\\ A_{2,1}& A_{2,2}& A_{2,3}\end{array}\right)$$

asym = Asym(2,3)

asym = $$A_{2,3}$$

class(asym)

ans = 
'sym'

Обратите внимание на то, что оба результата равны.

isequal(a,symmatrix(asym))

ans = logical
   1

Отображение операций, включающих переменные символьной матрицы

Матрицы как возвращенные eyeнули, и ones часто имейте особое значение с определенным обозначением в символьных рабочих процессах. При объявлении этих матриц, когда переменные символьной матрицы отображают матрицы полужирным наряду с матричными размерностями.

symmatrix(eye(3))

ans = $${\mathrm{I}}_3$$

symmatrix(zeros(2,3))

ans = $${\mathrm{0}}_{2,3}$$

symmatrix(ones(3,5))

ans = $${\mathrm{1}}_{3,5}$$

Если входные параметры к покомпонентной операции в MATLAB® являются переменными символьной матрицы, выход - также. Эти операции отображены в специальных обозначениях, которые следуют соглашениям из учебников.

syms A B [3 3] matrix
A.*B

ans = $$A\odot B$$

A./B

ans = $$A\oslash B$$

A.\B

ans = $$B\oslash A$$

A.*hilb(3)

ans = 
$$\begin{array}{l}A\odot {\Sigma }_1\\ \\ \mathrm{where}\\ \\ \mathrm{ }{\Sigma }_1=\left(\begin{array}{ccc}1& \frac{1}{2}& \frac{1}{3}\\ \frac{1}{2}& \frac{1}{3}& \frac{1}{4}\\ \frac{1}{3}& \frac{1}{4}& \frac{1}{5}\end{array}\right)\end{array}$$

A.^(2*ones(3))

ans = $$A^{\circ 2\hspace{0.17em}{\mathrm{1}}_{3,3}}$$

A.^B

ans = $$A^{\circ B}$$

kron(A,B)

ans = $$A\otimes B$$

adjoint(A)

ans = $$\mathrm{adj}\left(A\right)$$

trace(A)

ans = $$\mathrm{Tr}\left(A\right)$$