Definition:Differentiable Functional

From ProofWiki
Jump to: navigation, search

Definition

Let $S$ be a set of mappings.

Let $y, h \in S: \R \to \R$ be real functions.

Let $J \sqbrk y$, $\phi \sqbrk {y; h}$ be functionals.

Let $\Delta J \sqbrk {y; h}$ be an increment of the functional $J$ such that:

$\Delta J \sqbrk {y; h} = \phi \sqbrk {y;h} + \epsilon \size h$

Suppose $\phi \sqbrk {y; h}$ is a linear with respect to $h$ and:

$\displaystyle \lim_{\size h \mathop \to 0} \epsilon = 0$


Then the functional $J \sqbrk y $ is said to be differentiable.


Notes

Pragmatically speaking, as $\size h$ approaches $0$, $\epsilon \size h$ can be replaced with sum of terms that are proportional to $\size h^{1 + \delta}$ for $\delta \in \R$ and $\delta > 0$, such that:

$\displaystyle \lim_{\size h \mathop \to 0} \frac {\size h^{1 + \delta} } {\size h} = \lim_{\size h \mathop \to 0} \size h^\delta = 0$

while at the same time $\phi \sqbrk {y; h}$ becomes proportional to $\size h$, and a similar limit approaches one.


Sources