Всем доброго дня.
Проблема заключается в чем. Преподаватель на лекциях в одном из доказательств ввел такое тождество.
Где
- оператор такого вида
симметричные матрицы, которые используются для записи системы диффуров, описывающих движение газа, в матричном виде,
разность двух решений этой системы, но это не особо важно.
При этом, в лекциях Овсянникова по газовой динамике это тождество приведено в виде
и строчка пояснения о том, что это верно, ибо матрицы симметричные.
И тут вопрос, во-первых, кто прав, а во-вторых, откуда вылезает двойка (или двойки), ибо как я понимаю, здесь просто дифференцирование скалярного произведения, и если со вторым слагаемым в правой части все понятно (если оно без двойки, а если с двойкой, то непонятно), то вот как получить первое слагаемое, я пока не понимаю.
Прошу помощи.