5
$\begingroup$

Consider function from Hilbert space to real numbers. $F(x)=\| Ax\|$. My question how to find it's derivative $F'(x)$.

  • 0
    TeX: It's better to use \| instead of \parallel because of spacing. Compare: $\|Ax\|$ and $\parallel Ax\parallel$. Also, you cannot write \parallelAx\parallel, since TeX then interprets \parrallelAx as a single name of a macro. You can try \parallel{}Ax\parallel or \parallel Ax\parallel.2012-01-28

1 Answers 1

5

I assume that $A$ is a bounded linear operator on a Hilbert space $X$, and we want to compute Frechet derivative. Consider two functions $$ G:X\to\mathbb{R}: x\mapsto\Vert x\Vert=\sqrt{\langle x,x\rangle} $$ $$ H:X\to X:x\mapsto A(x) $$ One may show that $G'(x)(h)=\frac{\langle x, h\rangle}{\Vert x \Vert}$ (for $x=0$, this derivative doesn't exist) and $H'(x)(h)=A(h)$ where $h\in X$. Then $$ F'(x)(h)=(G(H(x)))'(h)=(G'(H(x))\circ H'(x))(h)=G'(H(x))(H'(x)(h))= $$ $$ G'(H(x))(A(h))=\frac{\langle A(x), A(h)\rangle}{\Vert Ax\Vert} $$

  • 1
    It's still wrong: You should have $\| Ax\|$ in the denominator.2012-01-28
  • 1
    So why don't you haven't edited this post?2012-01-28
  • 0
    Pointing out mathematical errors should always be welcomed.2012-01-28
  • 0
    This is a waste of time, because incorrect answer will hang until its author will come back. One should edit mistakes and (if he wants) mention about it in comments. And, of course, I appreciate Christian Blatter attention.2012-01-28
  • 0
    @Norbert: I disagree. If someone wants to correct a mathematical error that could be very generous, but above what should be expected. In some cases it could be problematic, because the "corrector" could be wrong. But to me the main point here is that it is much better that it is pointed out in a comment than not corrected at all, and those pointing our errors are doing something positive for the site. (Regarding appropriate use of editing, there is a meta post where you could contribute: [What is to be edited?](http://meta.math.stackexchange.com/questions/3163))2012-01-28
  • 0
    It was a lapse on my side: When I spotted the second error (which I had overseen an hour ago) it didn't occur to me that I should edit it myself right away.2012-01-29