Questions tagged [gateaux-derivative]

This tag is for questions regarding to the Gateaux differential or, Gateaux derivative, a generalization of the concept of directional derivative in differential calculus. It is often used to formalize the functional derivative commonly used in Physics, particularly Quantum field theory.

A function $~f~$ is said to be Gateaux differentiable at $~x~$ if there exists a bounded linear operator $~T_x ∈\mathcal B(X, Y )~$ such that $~∀ v ∈ X~$, $$\lim_{t\to 0}\dfrac{f(x+tu)-f(x)}{t}=T_xv$$The operator $~T_x~$ is called the Gateaux derivative of $~f~$ at $~x~$.

Some things to notice about the Gateaux differential:

  • There is not a single Gateaux differential at each point. Rather, at each point $~x~$ there is a Gateaux differential for each direction $~u~$. In one dimension, there are two Gateaux differentials for every $~x~$: one directed “forward,” one “backward.” In two of more dimensions, there are infinitely many Gateaux differentials at each point!
  • The Gateaux differential is a one-dimensional calculation along a specified direction $~u~$. Because it’s one dimensional, you can use ordinary one-dimensional calculus to compute it. Your old friends such as the chain rule work for Gateaux differentials. Thus, it’s usually easy to compute a Gateaux differential even when the space $~X~$ is infinite dimensional.

For more details please find

"Gateaux differentials and Frechet derivatives" by Kevin Long

"Gateaux and Frechet Differentiability"

"Frechet derivatives and Gateaux derivatives" by Jordan Bell

"Introduction of Frechet and Gateaux Derivative" by Daryoush Behmardi and Encyeh Dehghan Nayeri

Gateaux derivative

130 questions
3
votes
2 answers

Jacobian matrix and Gateaux derivative

Let $f:\mathbb{R}^N\rightarrow\mathbb{R}^M$ be a function which is Gâteaux differentiable and let $J_f\in\mathbb{R}^{M\times N}$ be its Jacobian matrix. Is it true that the Gâteaux derivative of $f$ along a direction $v\in\mathbb{R}^N$ is equal to…
aleio1
  • 995
2
votes
1 answer

Confusion about linearity of Gateaux Derivative

I have the following formulation of the Gateaux derivative for functions $f:\mathbb{R}^m\to\mathbb{R}^n$. Let $f(x) = \sum_{i=1}^n f_i(x)e_i$ where $e_i$ forms a basis for $\mathbb{R}^n$, and $f_i:\mathbb{R}^m\to\mathbb{R}$.…
user3002473
  • 8,943
1
vote
1 answer

Identity criterion for Gateaux deriative

I'm trying to prove that if $f,g$ are two functionals on a Banach space $X$ that have the same Gateaux derivative for all $x \in X$, then $f-g = \text{constant}$. I can show that under the hypotheses, the Gateaux derivative of $f-g$ must be $0$ for…
0
votes
1 answer

What does the symbol $D_{\phi}v$ mean

In the paper "Computing Large Deformation Metric Mappings via Geodesic Flows of Diffeomorphisms" by Beg et al., the formula (4) states: $\frac{d}{dt} \partial_h \phi = D_{\phi} v \partial_h \phi + h \circ \phi$ Where $\phi$ is a transformation…
silencej
  • 103
0
votes
0 answers

Definition of the Gateaux derivative

Pretty simple question. This definition of the Gateaux Derivative presents it as: \begin{equation} df(u,\psi)=\dfrac{d}{d\epsilon}f(u+\epsilon\psi)\Bigg{|}_{\epsilon=0} \end{equation} Why is the derivative being evaluated at $\epsilon=0$ in that…
0
votes
0 answers

Find a counterexample that $f(x)$ is Gateaux differentiable and $\lambda(x)$ is not continous

I've learned that function $f:\mathbb{R}^n\rightarrow \mathbb{R}^p$, at $x \in \mathbb {R}^n$, $f(x)$ is Gateaux differentiable, then exits a linear operator $\lambda (x):\mathbb{R}^n\rightarrow \mathbb{R}^p$ such that $D_uf(x)=\lim_{t \rightarrow…
Thu Le
  • 433
-1
votes
1 answer

Riesz isomorphism and Gateaux derivatives

I'm reading a paper and I wonder about the statement: $f'(x)h=(y(x),h)_{L^2}$ then follows with the Riesz isomorphism that $f'(x)=y(x)$ $f'(x)h$ is the Gateaux derivative. I don't see that with the Riesz representation theorem. Can someone explain…