Почему бюстгальтер и комплект можно менять независимо друг от друга?

Учитывая функционал, который зависит от функции (кет), и его комплексно-сопряженного (бюстгальтер), например

Ф [ ф ] "=" ф | Ф ^ | ф "=" ф * ( р ) Ф ^ ф ( р ) г р
Мне сказали, что мы можем варьировать бюстгальтер и кет независимо друг от друга, т.е. Ф в бюстгальтере
дельта Ф "=" дельта Ф дельта ф * η ( р ) г р "=" г г ϵ [ ( ф * ( р ) + ϵ η ( р ) ) ( р ) Ф ^ ф ( р ) г р ] ϵ "=" 0 ,
и не
дельта Ф "=" дельта Ф дельта ф * η ( р ) г р "=" г г ϵ [ ( ф * ( р ) + ϵ η ( р ) ) ( р ) Ф ^ ( ф ( р ) + ϵ η ( р ) ) г р ] ϵ "=" 0 ,
как и следовало ожидать.

Если вышесказанное верно, то как можно показать, что бюстгальтер и кет могут изменяться независимо?

аргумент сводится к тому факту, что ваш кет представляет собой комплексные числа, где действительная и мнимая части могут варьироваться независимо друг от друга. Это переводится в то, что комплексное число и его комплексное сопряжение можно рассматривать как независимые переменные.
Связано: physics.stackexchange.com/q/89002/2451 и ссылки в нем.

Ответы (1)

Это не имеет ничего общего с «бюстгалтерами» или «кетами», а больше с элементарным наблюдением, что комплексное число имеет две действительные степени свободы и что производные относятся к одной действительной степени свободы.

The ф и ф * являются производными Виртингера , которые, в частности, выполняют ф * ф "=" 0 , т. е. производная чего-либо по сопряженному равна нулю.

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

Спасибо за ваш полезный ответ. Когда я разместил вопрос, я понял, что он более фундаментален, чем нотация скобок. Тем не менее, именно так я изначально задумал вопрос (до исследования проблемы), и я подумал, что другие люди с тем же вопросом могут найти это быстрее, связав его непосредственно с нотацией скобок.
Было бы здорово, если бы вы могли уточнить обобщение на функциональные производные. В Интернете есть много ресурсов, обсуждающих этот результат с точки зрения частных производных, но мне еще предстоит найти тот, который четко отображает результат с точки зрения функциональных производных.
@JamesWomack: по полной аналогии вы можете определить ф я как функциональные производные по действительным частям, а затем определить комплексные производные точно так же, как производные Виртингера. Поскольку функциональная производная удовлетворяет тому же цепному правилу, что и обычная производная, и причина, по которой производные Виртингера являются «правильными» комплексными производными, заключается именно в цепном правиле, совершенно не имеет значения, что производные функциональны.