I am interested in questions of the following form: minimize $H(f)$ given $G(f) = 0$ where $H$ and $G$ are operators of type $X \to R$ where $X = R \to R$. An example is:


Minimize $$H(f) = \int\_{-1}^1\sqrt{1+f'(x)^2}$$


Under the conditions that:


$$G(f) = \int\_{-1}^1f(x) = \pi/2 $$
$$f(-1) = f(1) = 0$$


That is, find a function f on [-1,1] with area under the curve equal to $\pi/2$, minimizing the path length (the answer to this example is a half-circle $f(x) = \sqrt{1-x^2}$, I believe).


Other examples of operators that can occur in the minimize or in the condition are:


$$A(f) = f(1)$$


$$B(f) = \int\_a^b E(x,f(x),f'(x))dx $$


(i.e. an integral of an expression containing $x$, $f(x)$ and $f'(x)$).


The way to solve these kind of problems seem to be Lagrange multipliers on Banach spaces. How does one do this?



The Frechet derivative and Lagrange multipliers on Banach spaces
**NOTE**: this was a comment, because I thought it wasn't detailed enough for an answer; but Jules (the OP) specifically asked me to post it as an answer. 


**NOTE to Jules**: However, maybe you should wait a few hours or days before accepting any answer, to give others a chance to read it (differing time zones around the world, etc.) [*Some MO people seem to get a bit annoyed when people accept answers very quickly*].


Sorry I can't think of any particular book to recommend for Calculus of Variations; but I think an advanced undergraduate book (maybe just a chapter or two of a "Mathematical Methods" book) might be more useful than a detailed Graduate level book, which would probably be more than you need.


It depends what you mean by a solution, and the level of rigour you want. Physicists and engineers solve similar problems non-rigorously all the time, by Calculus of Variations methods (which involve Lagrange multipliers). Euler-Lagrange equations are the keywords to search for. However, they usually don't specify exactly which functions they consider. Banach spaces only arise if your restrictions are explicit: being $C^1$, $C^2$, etc., and you define a complete norm on the class of functions. But for most specific problems, Banach space theory is probably not worth the effort.


