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).

490 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
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…
8
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…
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…
6
votes
1 answer

What is the absolute minimum needed on a space to do differential calculus?

A long time ago, I came across Lang's Differential Manifolds. Besides his definition of manifold, one thing that made me pretty nuts was this So after studing some real analysis and more linear algebra and topology, I came back to this page and…
1
2 3
32 33