Derivative of an operator valued function

[giova7_89]

If I have a function
<br /> f:R\rightarrow L<br />
where L is the space of linear operators from an hilbert space to itself, how can i define the derivative of f at a particular point of R? I mean, it is "obvious" that one should try:

<br /> f&#039;(s_0)=lim_{\Delta s\rightarrow0}\frac{|f(s_0 + \Delta s) -f(s_0)|}{\Delta s} <br />

but I'm concerned with the fact that when in the numerator i use ||, i mean the norm on L, which as i said is the space of linear operators from an hilbert space to itself. Since in physics one often deals with operators that have infinite operator norm, I wanted to know if the norm of that difference of operators is finite or not, even if we take unbounded operators.

It is a mathematical question, but since in QM one encounters these things all the time, I wanted some clarifications..

thanks!

 

[bhobba]

Yea I was going to suggest to define the norm on the space of operators by the following inner product of operators (A,B) = Trace (Abar B) - here Abar means the adjoint which reduces to Trace (AB) for the usual Hermtian operators in QM.

The above is called the Frobenius norm (older texts refer to it as the Hilbert–Schmidt norm or the Schur norm).

But ouch - even the identity operator has an infinite norm.

Its probably better to use the operator norm:
http://en.wikipedia.org/wiki/Operator_norm

But even then I don't know how to guarantee it being finite.

Thanks
Bill

 

[Bill_K]

I would think the "obvious" thing to do is to take the ||'s off and just let f'(s) be an operator.

 

[giova7_89]

Ok, one doesn't need to put || in THAT definition, and I know that f'(s_0) is an operator, what I meant was that when i use the usual \epsilon,\delta

definition of limit, the norm on L will surely pop out: I mean that f'(s_0) is the operator that does this thing:

\forall\epsilon&gt;0\exists\delta&gt;0:if\,\,0&lt;|s-s_0|&lt;\delta\Rightarrow\bigg|\frac{f(s) - f(s_0) - (s-s_0)f&#039;(s_0)}{s-s_0}\bigg|_L&lt;\epsilon

where the ||_L is the norm on L. Here I wanted to know if there are any problems if I'm dealing with unbounded operators. I admit I made a mistake, and in my first post the || were not needed, but they surely are in this definition (which is that of the differential of a function from a vector space to another, i think)

 

[giova7_89]

In the original post, things should look like this:

f&#039;(s_0)

is an operator such that:

lim_{\Delta s\rightarrow 0}\frac{|f(s_0+\Delta s) - f(s_0) - \Delta s\,f&#039;(s_0)|_L}{\Delta s} = 0

The oroginal post was wrong since it compared a number to an operator

 

[strangerep]

For bounded operators, one can use the supremum norm (aka operator norm), which bhobba mentioned already: http://en.wikipedia.org/wiki/Operator_norm

See also: http://en.wikipedia.org/wiki/Topologies_on_the_set_of_operators_on_a_Hilbert_space

For unbounded operators, one can talk in terms of densely-defined operators on an ordinary Hilbert space, or else pass to a rigged Hilbert space and use the theory of generalized functions (distributions). But for that, one must first understand how operators on (say) the Schwartz space are extended to operators on its dual space of tempered distributions via the dual pairing. (If that all sounds like gobble-de-gook, I could probably post some introductory references. It depends what you're really trying to do.)

 

[giova7_89]

My knowledge about this is very limited.. So i'd be glad if you could post some references. I just started a course on quantum field theory and since (but it also happens in the mathematical formalism of quantum mechanics) we're dealing with operator valued functions, I wanted to know more about the mathematics behind that..

So, if you know an introductory book about the mathematics of QFT, feel free to tell me about that, too

 

[Fredrik]

If you want to learn this stuff, you have to start with topology and functional analysis. Kreyszig's book on functional analysis covers the topology you need as well, so it's much easier to read than many of the others. (I haven't read it myself, but I know how crazy hard some other books are).

 

[lugita15]

I second the recommendation of Kreyszig. It's probably the only functional analysis book that assumes so little background and yet covers so much ground.

 

[bhobba]

I also recommend Kreyszig and I am thinking of actually purchasing a copy.

I also recommend the following book on Distribution Theory that I have in my library. It helped me a lot with this sort of stuff:
https://www.amazon.com/dp/0521558905/?tag=pfamazon01-20

You can usually define what you want on a test space then use distribution theory extend it. And if you are doing QFT then the above IMHO is a must - they are really distributions rather than functions.

Thanks
Bill

 

[strangerep]

[...] book on Distribution Theory [...] It helped me a lot with this sort of stuff [...]

Yeah, I was going to say something about how basic stuff on distributions and generalized functions is probably more important to understand clearly (for QM/QFT purposes) before tackling Functional Analysis books (which usually don't cover generalized functions anyway). I didn't know a good basic book on distributions and generalized functions, so I'll take at look at the one you suggested (Richards & Youn) and see what it's like.

Cheers.

 

[Tarantinism]

The space of BOUNDED operators on a Hilbert space is itself a Banach space, so it is easy to define the usual Fréchet derivative:

http://en.wikipedia.org/wiki/Fréchet_derivative

I wouldn't know how to define this derivative, on the other hand, if you map into some unbounded operators, typical in physics.

 

[strangerep]

The space of BOUNDED operators on a Hilbert space is itself a Banach space, so it is easy to define the usual Fréchet derivative:

http://en.wikipedia.org/wiki/Fréchet_derivative

I wouldn't know how to define this derivative, on the other hand, if you map into some unbounded operators, typical in physics.

Gel'fand triples, i.e., using topological duals of a suitable nuclear space.

 

[lugita15]

Gel'fand triples, i.e., using topological duals of a suitable nuclear space.

Can you spell this out in more detail? Are you taking the Frechet derivative of an unbounded operator on the dense nuclear space, and then doing ... something with the dual pairing between the nuclear space and the space of continuous antilinear functionals?

 

[strangerep]

Can you spell this out in more detail? Are you taking the Frechet derivative of an unbounded operator on the dense nuclear space, and then doing ... something with the dual pairing between the nuclear space and the space of continuous antilinear functionals?

Well, it can't be the standard Frechet derivative, since that's for Banach spaces, but the small nuclear space \Omega in a Gel'fand triple
<br /> \Omega ~\subset~ \bar{\Omega} ~\subset~ \Omega&#039; ~,~~~~<br /> \Big(\mbox{where}~ \Omega&#039; ~\mbox{is the topological dual of}~ \Omega\Big) ~.<br />
is not complete, hence not Banach.

But here's my (quick) understanding of what's going on. (Warning: I could be wrong about parts of this, in which case I hope someone more knowledgeable will say so.)

Let \phi, \Psi be arbitrary vectors in \Omega, \Omega&#039; respectively. Let A be an operator defined everywhere on \Omega. Then by standard theorems (cf. Gelfand & Vilenkin vol 4) it can be extended uniquely to an operator A' on \Omega&#039; via the dual pairing
<br /> (\phi, A&#039;\Psi) ~:=~ (A\phi, \Psi)<br />
such that A' coincides with A when acting on elements of \Omega.

Now let A(t) be an operator-valued function of a real parameter t such that A(t) is defined everywhere on \Omega. Then, by the above construction it can be extended to \Omega&#039;.

If, in addition, there is an operator B such that
<br /> \frac{A(t+h) - A(t) - B}{h} ~\rightarrow~ 0 ~~~~~~~~ (1)<br />
in weak topology, we can call B a derivative of A at t. By duality, we can extend B to all of \Omega&#039;.

The subtleties lie in what it means for the LHS of (1) to approach 0 weakly. The standard meaning for weak operator topology is that a sequence of operators \{T_n\} converges weakly to T iff T_n \phi \to T \phi for all \phi.

(Once again: caveat emptor.)

 

[bhobba]

Can you spell this out in more detail? Are you taking the Frechet derivative of an unbounded operator on the dense nuclear space, and then doing ... something with the dual pairing between the nuclear space and the space of continuous antilinear functionals?

He is talking about Rigged Hilbert Spaces which is an extension of distribution theory - probably best to get the book I recommended on distribution theory first but do check out:
http://www.abhidg.net/RHSclassreport.pdf

Thanks
Bill