Functional Determinant of a system of differential operators?

Click For Summary
SUMMARY

The discussion focuses on computing the determinant of a differential operator represented as a matrix, specifically the operator $$ \begin{pmatrix} f(x) & \frac{d}{dx} \\ \frac{d}{dx} & g(x) \end{pmatrix} $$ under fixed boundary conditions. The heat-kernel method is identified as a viable approach for this computation, particularly in the context of quantum corrections to classical paths. Participants confirm that the algorithm remains applicable even when the operator is more complex, such as $$ \begin{pmatrix} a(x) & \frac{d}{dx} & b(x) \\ \frac{d}{dx} & c(x) & d(x) \\ e(x) & f(x) & g(x) \end{pmatrix} $$, provided that the propagator is correctly derived and integrated over momentum space.

PREREQUISITES
  • Understanding of differential operators in quantum mechanics
  • Familiarity with the heat-kernel method
  • Knowledge of boundary conditions in differential equations
  • Basic concepts of quantum field theory (QFT)
NEXT STEPS
  • Study the heat-kernel method in detail, focusing on its applications in quantum mechanics
  • Learn about the derivation of propagators for differential operators
  • Explore the implications of boundary conditions on operator determinants
  • Investigate stationary phase approximation techniques in quantum corrections
USEFUL FOR

Researchers and students in quantum mechanics, particularly those focusing on quantum field theory and the mathematical methods used in the analysis of differential operators.

Yellotherephysics
Messages
2
Reaction score
0
TL;DR
When applying the stationary phase approximation for path integrals we need to calculate the determinant of an operator; but what can we do if this operator is itself a matrix (made out of operators!)
So in particular, how could the determinant of some general "operator" like

$$ \begin{pmatrix}
f(x) & \frac{d}{dx} \\ \frac{d}{dx} & g(x)
\end{pmatrix} $$

with appropriate boundary conditions (especially fixed BC), be computed? And assuming that it diverges, would it be valid in a stationary phase approximation context to divide by some reference operator such as

$$ \begin{pmatrix}
0 & \frac{d}{dx} \\ \frac{d}{dx} & 0
\end{pmatrix} $$

and use this value, for the quantum corrections to the classical path?
 
Physics news on Phys.org
Thanks for linking, your notes look really good vanhees71!

Would this be a fair summary for the Heat-Kernel method (starting on page 93 of the linked notes)?
If we call the operator we're interested in H.
  1. Work out the propogator ## \langle x | exp(- H \theta) | x' \rangle ##
  2. Then get some kind of expression for ## \langle x | exp(- H \theta) | x \rangle ##
  3. Find the Heat-Kernel (a function of ##\theta##) by integrating over the coordinates
  4. Find the other Heat-Kernel thing, denoted by ##\tilde{H} ## (a function of the complex parameter ##\alpha##)
  5. Take the complex parameter ##\alpha## to zero, getting the trace of the log of H, which we can then relate to the determinant
Is this algorithm still safe to use if H is something like
\begin{pmatrix}

a(x) & \frac{d}{dx} & b(x) \\ \frac{d}{dx} & c(x) & d(x) \\ e(x) & f(x) & g(x)

\end{pmatrix}
In the notes ## \langle x | exp(- H \theta) | x' \rangle ## is turned into something concrete by integrating over the momentum identity, would I be able to do something similar with my matrix example?
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 59 ·
2
Replies
59
Views
6K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 33 ·
2
Replies
33
Views
7K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K