MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $f$ be a $C^1$ functional on a Hilbert space $X$, and $Y$ a closed subspace of $X$. Suppose the restriction of $f$ on $Y$ has a critical point $x_0 \in Y$.

Q: Is $x_0$ a critical point of $f$?

share|cite|improve this question

closed as off topic by Bill Johnson, Alain Valette, Ryan Budney, Mark Sapir, Andy Putman Feb 6 '12 at 4:07

Questions on MathOverflow are expected to relate to research level mathematics within the scope defined by the community. Consider editing the question or leaving comments for improvement if you believe the question can be reworded to fit within the scope. Read more about reopening questions here.If this question can be reworded to fit the rules in the help center, please edit the question.

Of course not. Take e.g. $f$ a non-zero linear functional and Y=ker(f). – Pietro Majer Feb 3 '12 at 12:55
(or also, whatever X and f, and Y=(0)). – Pietro Majer Feb 3 '12 at 13:20
up vote 3 down vote accepted

Especially in Calculus of Variations and Mechanics, a submanifold $Y$ of a manifold $X$ is usually called "a natural constraint" for a functional $f$ on $X$, if the special circumstance that you are considering does happen: constrained critical points of $f$ on $Y$ are free critical points: $\operatorname{crit} (f_{|Y})\subset \operatorname{crit}(f)$.

An important situation when this is true arises when $Y$ is defined as fixed point set of a group of symmetries of $f$. The corresponding principle, claiming that $Y$ is a natural constraint, is known since old times as a popular proverb. In the late 70' Richard Palais has made this into a deep and beautiful theorem, stating the right hypotheses for its validity and also providing counter-examples to the naive claim of the principle (all popular proverbs are 95% true but never 100% true!). [ R. Palais, The Principle of Symmetric Criticality, Comm. Math. Phys., Vol. 69, Number 1 (1979), 19-30 ]

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.