Can you recommend a modern book on the calculus of variations?

[Amok]

Hello guys,

Recently I came across a definition to which I'd never given much thought. I was reading through Gelfand and Fomin's "Calculus of variations" and I read the part about weak and strong extrema, and I really can't manage to wrap my head around these definitions. They can be found in the wiki article (basically a copy-paste of the book):

http://en.wikipedia.org/wiki/Calculus_of_variations#Extrema

My immediate thought is that these definitions must be inverted. I mean, if you have:

\| f-f_0 \|_1 < \delta

For certain f's, then, a fortiori you have:

\| f-f_0\|_0 < \delta

For all these f's. So this means that the extremum defined with the 1st order norm should be stronger!

At some point I found a definition that was the exact opposite of the one given in wiki (in some google book), but I can't find it anymore. Maybe I should just sleep on it, but I'd still like your input. While we're at it, can you recommend a good, modern book on the calculus of variations? I find that most books on the subject used as references are pretty dated and often not very clear.

 

[mathman]

The Wiki article looks wrong. As you noted, it seems to have weak and strong reversed.

 

[Vargo]

They aren't reversed. Strong is called strong because it allows a wider class of variations. To be a weak extremum you only have to check differentiable variations.

It would be nice to hear some book recommendations. I love Gelfand Fomin, but a more advanced presentation that assumes more background analysis would be great.

 

[Vargo]

I reread the definition again just to clarify to myself whether strong implies weak. And it does. The norms are only used to restrict the class of variations. So the "stronger norm" is more restrictive on the allowed variations. Thus it produces a weaker form of extremum.

 

[giulioo]

well it is kind of late but yet..

I would say that extrema in "0-norm" are stronger.

Consider a functional $J$ defined in $\mathcal{C}[a,b]$ (that is the space of all continuous functions from $[a,b]$ to $\mathcal{R}$) then if $J$ has an extremum at $y_0 \in \mathcal{C}$ certanly it also has an extremum at $y_0 \in \mathcal{D}_1$ if it is defined on $\mathcal{D}_1$.
I don't know if i was clear enough. I hope so..

 

[giulioo]

i forgot to say that $\mathcal{D}_1$ is the set of all smooth functions $y:[a,b] \rightarrow \mathcal{R}$.
Then obviously $\mathcal{D}_1 \subset \mathcal{C}$. Let $y_0 \in \mathcal{D}_1$ ($\Rightarrow y_0 \in \mathcal{C}$). Then if $J$ has an extremum at $y_0$ in $\mathcal{C}$, then it also has an extremum at $y_0$ in $\mathcal{D}_1$ (since $\mathcal{D}_1$ is a subset of $\mathcal{C}$).