3
$\begingroup$

The following is paraphrased from Introduction to integral equations with applications by Abdul Jerri:

Let $F$ be a functional with domain $D$. Start with $F(x,t,u(t))$. If $F$ has a continuous partial derivative $\partial F / \partial u$ in $D$, then we can use the mean-value-theorem:

For any $u_1(t)$ and $u_2(t)$ in $D$, there is an $\eta(t)$ between them, $u_1(t) < \eta(t) < u_2(t)$, such that $\displaystyle\frac{F(x,t,u_1(t)) - F(x,t,u_2(t))}{u_1(t) - u_2(t)} = \frac{\partial F}{\partial u}(x, t, \eta(t))$.

I have two questions:

  1. What precisely is meant by the notation $\displaystyle\frac{\partial F}{\partial u}(x, t, \eta(t))$? (specifically, how is $\displaystyle\frac{\partial F}{\partial u}$ defined?)

  2. How can I generalise this result to suit a functional of the form $F(x, t_1, t_2, u(t_1), u(t_2)$) (where $F$ takes values in $\mathbb R$ and $u_1, u_2 : \mathbb R \to \mathbb R$, if this makes any difference)?

Any explanations, insight or references to relevant sources of information would be greatly appreciated.

  • 0
    Ask yourself what is the natural generalisation of mean value theorem in two dimensions. And then read [this MO answer](http://mathoverflow.net/questions/80955/mean-value-theorem-for-operators/80962#80962).2012-01-26

1 Answers 1

2

In the first place you are given a real-valued function $F\colon (x,t,u)\mapsto F(x,t,u)$ defined in a certain domain $D$ of $(x,t,u)$-space. Here $u$ is an independent variable as are $x$ and $t$. At any point $p:=(x,t,u)\in D$ this $F$ has partial derivatives $F_x(p)$, $F_t(p)$, and $F_u(p)$ which can also be addressed by means of the notation ${\partial f\over\partial x}(p)$.

In addition you are considering functions $u(\cdot)\colon \ t\mapsto u(t)$ where it is guaranteed that all resulting points $\bigl(x,t,u(t)\bigr)$ are lying in $D$. In this case the original $F\colon\ D\to{\mathbb R}$ produces for each such function $t\mapsto u(t)$ a new function depending on ($x$ and) $t$, given by $(x,t)\mapsto F\bigl(x,t,u(t)\bigr)\ .$ That's why $F$ is called a functional now: $F$ transforms one function of $t$ into some other function of $t$. (This has nothing to do with "functionals" in the realm of linear algebra.)

Let's look at the mean value theorem under these circumstances. When the segment connecting the points $(x,t,u_1), (x,t,u_2)\in D$, $\ u_1, is contained in $D$ then the ordinary mean value theorem for one variable ($u$ here) guarantees the existence of an $\eta\in\ ]u_1,u_2[\ $ such that ${F(x,t,u_2)-F(x,t,u_1)\over u_2-u_1}\ =\ {\partial F\over \partial u}(x,t,\eta)\ .$ It follows that given two functions $t\mapsto u_i(t)$ as described there is a function $t\mapsto\eta(t)$ such that your large equation holds.

In the second situation there seems to be only one function $u(\cdot)$ involved, so the partial derivative of $F$ with respect to the third variable does not enter. Before I elaborate more you should indicate what kind of formula you expect to hold. Note that the mean value theorem guaranteeing a $\tau$ with u(t_2)-u(t_1)=u'(\tau)(t_2-t_1) does not hold for vector-valued functions $u(\cdot)$.