Questions tagged [frechet-derivative]

The Fréchet derivative of a function from an open subset of a Banach space into another Banach space at a point is a linear map from the first Banach space into the second one which approximates particularly well the function near the given point. It generalizes the concept of derivative of a real function of one real variable.

If $V$ and $W$ are Banach spaces, $A$ is non-empty subset of $V$, $f\colon A\longrightarrow W$ is a function and $p\in A$, then the Fréchet derivative of $f$ at $p$ is a linear map $A\colon V\longrightarrow W$ such that\begin{equation}\displaystyle\lim_{h\to0}\dfrac{\bigl\|f(p+h)-f(p)-A(h)\bigr\|}{\|h\|}=0.\end{equation}It can be proved that the Fréchet derivative, if it exists, is unique.

This concept generalizes the concept of derivative of a function $f\colon(a,b)\longrightarrow\mathbb R$ at a point $c$, where $a,b,c\in\mathbb R$ are such that $a\lt c\lt b$. Indeed, if this function is diferentiable at $c$ in the usual sense and $f'(c)=m$, then its Fréchet derivative is the linear map from $\mathbb R$ into $\mathbb R$ defined by $x\mapsto mx$.

Fréchet derivatives are named after Maurice Fréchet (1878–1973).

508 questions
15
votes
1 answer

Frechet derivative of square root on positive elements in some $C^*$-algebra

Let $A$ - is some unital $C^*$ algebra, and $P$ is set of all strictly positive elements in $A$. We can define map $\sqrt{?} : P \to A$ which takes positive element and returns its (unique) strictly positive square root. How to evaluate its Frechet…
12
votes
2 answers

Intuitive meaning of high order Fréchet derivative $D^k f_p(v_1, \cdots, v_l)$

Let $f:V \to W$ be a map between two Banach spaces $V$ and $W$. Let's denote the $k$-th Fréchet derivative of $f$ at $p$ as $D^kf_p$. Then $D^kf_p(v_1, v_2, \cdots, v_l)$ is a $(k-l)$-linear map from $l$ product of $V$ to $W$. Are there any…
cleone
  • 469
11
votes
2 answers

Is the gradient really the transpose of the Jacobian for scalar-valued function, or is there something deeper?

I first learned about the gradient through an optimization text, and in that text the gradient vector at $x$ for a scalar-valued differentiable function $f: D \to \mathbb{R}$ is always treated as a column vector of the partials. The transpose of…
10
votes
2 answers

Given $f$ holomorphic, which are the necessary conditions on $\phi$ in order to make $\phi \circ f \circ \phi^{-1}$ holomorphic?

It is well known that $\bar f(\bar z)$ is holomorphic whenever f is. I was wondering how to generalize this fact... Let $f: \Omega \longrightarrow \mathbb{C}$ be holomorphic and $\phi: \mathbb{C} \longrightarrow \mathbb{C}$ be an homeomorphism where…
9
votes
1 answer

How to show that $D_{f}$ is a Borel function

How to show that $D_{f}$ is a Borel function. Well I have one Lipschitz function $f:\Bbb{R}^{n}\to \Bbb{R}$ and I want to proof that $D_{f}:D\to L(\Bbb{R}^{n},\Bbb{R})$ is Borel function, where $D=\{ x\in \Bbb{R}^{n}: f'(x) \text{ exists in the…
8
votes
4 answers

Frechet derivative of a composition of functions over matrices

In control theory, the discrete Lyapunov equation is defined as \begin{align*} A^T X A + Q = X, \end{align*} where $A \in \mathcal{M}(n \times n; \mathbb R)$ and $Q \in \mathbb {S}_{++}$ ( positive definite matrices). There is a theorem stating if…
8
votes
1 answer

Inversion is Smooth

Let $\mathbf{E}$ be a real banach space and $\mathbf{L} = L(\mathbf{E})$ the resultant banach space of bounded linear operators $T:\mathbf{E} \to \mathbf{E}$ equipped with the operator norm $\| T \| = \sup_{\| x \| \leqslant 1 } \|Tx\|$. From…
7
votes
1 answer

Are Banach norms Fréchet differentiable?

Suppose $(V, \|\cdot\|_V)$ and $(W, \|\cdot\|_W)$ are two Banach spaces and $f: V \to W$ is some function. We call a bounded linear operator $A \in B(V, W)$ Fréchet derivative of $f$ in $x \in V$ iff $$\lim_{h \to 0} \frac{\|f(x + h) - f(x) -…
7
votes
2 answers

Alternative proof of Taylor's formula by only using the linear approximation property

So a function $f: E \to F$ between the normed spaces $E,F$ is called differentiable in $x \in E$ if there exists a bounded linear map $Df(x): E \to F$ such that for every $h \in E$ we have $$f(x+h)=f(x)+Df(x)h + o(||h||). \tag{1}$$ If $f$ is…
7
votes
1 answer

Computing Fréchet derivative of $F(f)(x) = \int^{x}_{0} \cos(f(t)^{2})dt, x \in [0,1]$

Let $X = \mathcal{C} \left( [0,1] \right)$ be the Banach space of continuous functions on $[0,1]$ (with the supremum norm) and define a map $F : X \rightarrow X$ by $$F(f)(x) = \int^{x}_{0} \cos(f(t)^{2})dt, x \in [0,1].$$ Show that $F$ is Fréchet…
7
votes
1 answer

If $H$ is a Hilbert space, are we able to identify the derivative ${\rm D}f(x)$ at some $x\in H$ of a differentiable $f\in H'$ with an element of $H$?

I'm confused about some equation I've seen in a book and want to write down some thoughts. I would appreciate, if somebody could tell me whether I'm terribly mistaken or not: Let $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a Hilbert space over…
6
votes
2 answers

Second Derivative Test in Banach Spaces

According to $[$ Exercise $12.8$ , $1]$ we have the following version of the Second Derivative Test: Theorem. Let $E=(E,\|\cdot \|)$ be a Banach space, let $D$ be a subset of $E$ and suppose $f: D \rightarrow \mathbb{R}$ is $2$ times continuously…
6
votes
0 answers

Difficulty in proving that $\Phi$ is differentiable.

I am studying Lie algebra and Lie groups from the lecture notes given by our instructor. Here I find a definition of differentiable Lie algebra homomorphism. What it says is as follows $:$ Let $E$ be a Banach space and $G,H \subseteq GL(E)$ be two…
6
votes
2 answers

Showing a function is Frechet Differentiable?

I just started learning the Frechet Derivatives. So I have a function $H:\mathbb{R}^{N\times n}\to\mathbb{R}^{N\times n}$ , i.e. $U^T\in\mathbb{R}^{N\times n}$ and $$H(U^T)=GW\times (F(U))^T+S\times U^T+C$$ with $G,W,S\in \mathbb{R}^{N \times N}$…
6
votes
2 answers

Searching for a proof that in a normed functional space of $C^0[0,1]$ with sup norm, that norm is nowhere differentiable.

Having a normed linear space $S=C^0[0,1]$ of continuous functions $f:[0,1] \rightarrow \Bbb R%$, with sup norm: $\|f\|=\sup_{\space x \in [0,1]}|f(x)|$, prove that $F(f)=\|f\|$ is nowhere differentiable in $S$, that is, for all $f_0 \in S$, there is…
1
2 3
…
33 34