In the theory of computational mechanics, there are a few operations used that are not taught in Calculus 101, which can be confusing without taking a lecture in calculus of variations. One of them is taking variations (a.k.a. Gateaux derivatives), akin to taking directional derivatives, but with functions of functions called functionals.

You need to take variations when you are linearizing a nonlinear problem for the purpose of solving with a numerical scheme. Linearization is the process of expanding a function or functional into a series, and discarding terms that are of order higher than linear—i.e. quadratic, cubic, quartic, etc. These expansions are called Taylor for functions, and Volterra for functionals.

# Taylor Series

A function $f:\IR\to\IR$ can be expanded about a point $\bar{x}$ as a power series:

Letting $x$ be a perturbation $\var x$ from the expansion point $\bar{x}$, that is $x\to\bar{x}+\var x$, the series can also be phrased as follows

This is what is taught in Calculus 101 and everyone knows. Now for the part that you may have missed:

# Variation

Let $X$ be the space of functions $\IR\to\IR$. The variation of a functional $F\in X$ is defined as

where $v \in X$ is called the perturbation of the variation. This operation is analogous to taking the directional derivative of a function.

## Shorthand notation

When working with variational formulations, writing out variations can be a bit of a hassle if there are many symbols involved. Therefore we use the following shorthand for variations:

Here, we assume that there is no chance of confusing the varied function or perturbation. We use this shorthand in contexts where the perturbation does not play an important role.

The shorthand for evaluation is

where there is no risk of confusion for $\bar{u}\in X$.

# Volterra Series

Let $X$ be the space of functions $\IR\to\IR$. Analogous to the Taylor series, a functional $F\in X$ can be expanded about a point $\bar{u}$ as a power series:

where $v\in X$ is the perturbation of the expansion. This is called the Volterra series expansion of $F$. Verbally, the Volterra series expansion of a functional about a function is the infinite sum of the variations of the functional with increasing degree, evaluated at that function, each divided by the factorial of the degree.

In shorthand notation, the expansion is rendered

To me, there is an elegance in \eqref{eq:7} that is not reflected in \eqref{eq:2} or \eqref{eq:6}.