A Morse lemma for degenerate critical points with low differentiability (Q1608764): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 03:51, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Morse lemma for degenerate critical points with low differentiability |
scientific article |
Statements
A Morse lemma for degenerate critical points with low differentiability (English)
0 references
13 August 2002
0 references
Let \(f:U\subset\mathbb{H} \to\mathbb{R}\) be a \(C^1\) function defined on an open set \(U\) of a Hilbert space \(\mathbb{H}\). If \(f\) is twice differentiable at 0 and \(A:\mathbb{H} \to\mathbb{H}\) the symmetric operator defined by \(\langle Av,u\rangle =\frac 12 d^2f_0 (u,v)\) then \(\mathbb{H}=N^\perp \oplus N\), where \(N=\text{Ker}(A)\). One proves the following theorem: If \(f'\) is strongly differentiable at the origin, there is a neighborhood \(V\) of 0 in \(\mathbb{H}\) and a homeomorphism \(\varphi :V\to\varphi (V)\subset\mathbb{H}\) such that \[ f\bigl(\varphi (x,y)\bigr)= \frac 12 \langle Ax,x\rangle +f\bigl(g(y), y\bigr),\;d\varphi_0 =I, \] where \(g\) is a function \(g:V\cap \mathbb{N}\to \mathbb{N}^\perp\).
0 references
twice strongly differentiable function
0 references
degenerate critical point
0 references
Hilbert space
0 references
symmetric operator
0 references