exponenta event banner

Создание символьных переменных матрицы

С R2021a г.

Символьные матричные переменные представляют матрицы, векторы и скаляры в компактной матричной нотации. Когда математические формулы включают матрицы и векторы, запись их с использованием символьных матричных переменных более лаконична и ясна, чем запись их компонентно. При этом можно брать векторные выражения и уравнения из учебников, вводить их в символьные математические Toolbox™, выполнять над ними математические операции и извлекать из них дальнейшие уравнения.

Производные уравнения, включающие символьные матричные переменные, отображаются в наборе типов, как это было бы в учебниках. Например, создайте три символьные матричные переменные A, x и y с помощью syms. Найдите дифференциал выражения yTAx относительно вектора x.

syms A [3 4] matrix
syms x [4 1] matrix
syms y [3 1] matrix
eq = y.'*A*x
eq = yTAxtranspose(symmatrix('y', [3 1]))*symmatrix('A', [3 4])*symmatrix('x', [4 1])
D = diff(eq,x)
D = yTAtranspose(symmatrix('y', [3 1]))*symmatrix('A', [3 4])

Сравнение матрицы символьных скалярных переменных и символьных матричных переменных

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

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

syms A B [2 3]
A
A = 

(A1,1A1,2A1,3A2,1A2,2A2,3)[A1_1, A1_2, A1_3; A2_1, A2_2, A2_3]

B
B = 

(B1,1B1,2B1,3B2,1B2,2B2,3)[B1_1, B1_2, B1_3; B2_1, B2_2, B2_3]

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

class(A)
ans = 
'sym'

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

C = A*B'
C = 

(A1,1B1,1+A1,2B1,2+A1,3B1,3A1,1B2,1+A1,2B2,2+A1,3B2,3A2,1B1,1+A2,2B1,2+A2,3B1,3A2,1B2,1+A2,2B2,2+A2,3B2,3)[A1_1*conj(B1_1) + A1_2*conj(B1_2) + A1_3*conj(B1_3), A1_1*conj(B2_1) + A1_2*conj(B2_2) + A1_3*conj(B2_3); A2_1*conj(B1_1) + A2_2*conj(B1_2) + A2_3*conj(B1_3), A2_1*conj(B2_1) + A2_2*conj(B2_2) + A2_3*conj(B2_3)]

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

syms A B [2 3] matrix
A
A = Asymmatrix('A', [2 3])
B
B = Bsymmatrix('B', [2 3])

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

class(A)
ans = 
'symmatrix'

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

C = A*B'
C = ABTsymmatrix('A', [2 3])*transpose(conj(symmatrix('B', [2 3])))

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

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

syms A B [2 2] matrix
A*B - B*A
ans = AB-BAsymmatrix('A', [2 2])*symmatrix('B', [2 2]) - symmatrix('B', [2 2])*symmatrix('A', [2 2])

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

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 = cAsymmatrix('c', [1 1])*symmatrix('A', [2 2])
class(M)
ans = 
'symmatrix'

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

syms V [2 1] matrix
X = V.'*A*V
X = VTAVtranspose(symmatrix('V', [2 1]))*symmatrix('A', [2 2])*symmatrix('V', [2 1])
class(X)
ans = 
'symmatrix'

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

diff(X,V)
ans = VTAT+VTAtranspose(symmatrix('V', [2 1]))*transpose(symmatrix('A', [2 2])) + transpose(symmatrix('V', [2 1]))*symmatrix('A', [2 2])

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

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

syms A [3 4]
class(A)
ans = 
'sym'
B = symmatrix(A)
B = 

(A1,1A1,2A1,3A1,4A2,1A2,2A2,3A2,4A3,1A3,2A3,3A3,4)[A1_1, A1_2, A1_3, A1_4; A2_1, A2_2, A2_3, A2_4; A3_1, A3_2, A3_3, A3_4]

class(B)
ans = 
'symmatrix'

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

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

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

syms A B [2 2] matrix
X = A*B
X = ABsymmatrix('A', [2 2])*symmatrix('B', [2 2])
class(X)
ans = 
'symmatrix'

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

Y = symmatrix2sym(X)
Y = 

(A1,1B1,1+A1,2B2,1A1,1B1,2+A1,2B2,2A2,1B1,1+A2,2B2,1A2,1B1,2+A2,2B2,2)[A1_1*B1_1 + A1_2*B2_1, A1_1*B1_2 + A1_2*B2_2; A2_1*B1_1 + A2_2*B2_1, A2_1*B1_2 + A2_2*B2_2]

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 = A2,3symmatrix('A2_3', [1 1])
class(a)
ans = 
'symmatrix'

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

Asym = symmatrix2sym(A)
Asym = 

(A1,1A1,2A1,3A2,1A2,2A2,3)[A1_1, A1_2, A1_3; A2_1, A2_2, A2_3]

asym = Asym(2,3)
asym = A2,3A2_3
class(asym)
ans = 
'sym'

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

isequal(a,symmatrix(asym))
ans = logical
   1

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

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

symmatrix(eye(3))
ans = I3symmatrix(eye(3))
symmatrix(zeros(2,3))
ans = 02,3symmatrix(zero(2, 3))
symmatrix(ones(3,5))
ans = 13,5symmatrix(ones(3, 5))

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

syms A B [3 3] matrix
A.*B
ans = ABsymmatrix('A', [3 3]) .* symmatrix('B', [3 3])
A./B
ans = ABsymmatrix('A', [3 3]) ./ symmatrix('B', [3 3])
A.\B
ans = BAsymmatrix('B', [3 3]) ./ symmatrix('A', [3 3])
A.*hilb(3)
ans = 

A(11213121314131415)symmatrix('A', [3 3]) .* [sym(1), sym(1/2), sym(1/3); sym(1/2), sym(1/3), sym(1/4); sym(1/3), sym(1/4), sym(1/5)]

A.^(2*ones(3))
ans = A213,3symmatrix('A', [3 3]) .^ 2*symmatrix(ones(3, 3))
A.^B
ans = ABsymmatrix('A', [3 3]) .^ symmatrix('B', [3 3])
kron(A,B)
ans = ABkron(symmatrix('A', [3 3]), symmatrix('B', [3 3]))
adjoint(A)
ans = adj(A)adj(symmatrix('A', [3 3]))
trace(A)
ans = Tr(A)Tr(symmatrix('A', [3 3]))

См. также

| |

Связанные темы