Я хотел бы дать вам некоторое общее представление о процедуре интегрирования класса операторов, просто чтобы иметь представление о том, как обращаться с этими математическими объектами (что разрешено, а что нет). Ключевые отношения, которые полностью определяют ваш оператор, резюмируются в (1) ниже.
В общем, если у вас есть класс операторов{ А ( с )}е S _
, сА ( с ) : D → Н
для некоторого общего доменаD ⊂ Н
(ЧАС
являющееся гильбертовым пространством теории), и сС
задано некоторым множеством, снабженным положительной мероймю
, можно определить интегральный оператор:
∫СА ( с ) дмк ( с )
со следующими шагами.
Предполагая, что для каждогоϕ ∈ D
, карта
С∋ с ↦ | | А ( s ) ϕ | |
является
мю
интегрируемым и что для каждого
ϕ ∈ D
и
ψ ∈ H
, карта
С∋ s ↦ ⟨ ψ | А ( s ) ϕ ⟩
измеримо, то
ЧАС× D ∋ ( ψ , ϕ ) ↦ Q ( ψ , ϕ ) : знак равно∫С⟨ ψ | А ( s ) ϕ ⟩ dмк ( с ).
хорошо определено, так как
| ⟨ψ | А(s)ϕ⟩ | ≤ | | ψ | | | | А(s)ϕ | |
Просто доказано, что
В ( ⋅ , ⋅ )
линейна в правой щели и антилинейна в левой, причем:
| Q(ψ,ϕ) | ≤С| | ψ | |.
Из теоремы Рисса легко следует, что для любого
ϕ ∈ D
существует уникальный вектор,
обозначенный
∫СА ( с ) ϕ dмк ( с )
такой, что если
ψ ∈ H
:
Q ( ψ , ϕ ) знак равно ⟨ ψ |∫СА ( с ) ϕ dμ ( ы ) ⟩.
По конструкции, поскольку
Вопрос
является праволинейным, можно обнаружить, что
D ∋ ϕ ↦∫СА ( с ) ϕ dмк ( с )
также является линейным.
Таким образом, при достаточно мягких гипотезах существует единственный линейный оператор, обозначаемый как∫СА ( с ) дмк ( с )
и определено наД
, такой что:
⟨ ψ |∫СА ( с ) дμ ( s ) ϕ ⟩ знак равно ⟨ ψ |∫СА ( с ) ϕ dμ ( s ) ⟩ знак равно∫С⟨ ψ | А ( s ) ϕ ⟩ dмк ( с )(1)
для каждого
ϕ ∈ D
и
ψ ∈ H
. Из этих тождеств можно вывести некоторые свойства из
А ( с )
к
∫СА ( с ) дмк ( с )
. Например, если
А ( с )
s эрмитовы,
∫СА ( с ) дмк ( с )
является. Если
| | А(с) | | <К< + ∞
для некоторых
К
и все
е S _
, затем
∫СА ( с ) дмк ( с )
ограничено и так далее.
В твоем случаес = θ
, я ожидаю, что все задействованные операторы зависят отθ
каким-то образом (эти подробности в статье мне неясны), и вы должны использовать (1) для определения желаемого оператора: существует только один оператор, удовлетворяющий ему. Очевидно1 / ( Т+Т†)
следует понимать как( Т+Т†)− 1
(обратный оператор).
Нойнек
Вальтер Моретти