Impact of restricted spin-ranges in the Oslo Method: The example of (d,p)$^{240}\mathrm{Pu}$
Extracted source text · arXiv 1902.02966
%%%%%%%%%%%%%%%%%%%% author.tex %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% sample root file for your "contribution" to a proceedings volume
%
% Use this file as a template for your own input.
%
%%%%%%%%%%%%%%%% Springer %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass{svproc}
%
% RECOMMENDED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% to typeset URLs, URIs, and DOIs
\usepackage{url}
\def\UrlFont{\rmfamily}
\usepackage[utf8]{inputenc}
\usepackage[square,sort&compress,comma,numbers, sectionbib]{natbib}
\bibliographystyle{spphystr_sh}
\usepackage{ amssymb }
\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{graphicx}
\usepackage{subcaption}
\usepackage[dvipsnames]{xcolor}
%\usepackage{mathptmx}
%\usepackage[light,first]{draftcopy} % ,bottomafter
\usepackage[pdftex,
colorlinks,
pdfpagelabels,
pdfstartview = FitH,
bookmarksopen = true,
bookmarksopenlevel = 2,
bookmarksnumbered = true,
linkcolor = blue!80!black,
plainpages = false,
hypertexnames = false,
urlcolor = blue!80!black,
citecolor = blue!80!black] {hyperref}
\usepackage[english]{babel}
\begin{document}
\mainmatter % start of a contribution
%
\title{Impact of restricted spin-ranges in the \\ Oslo Method: The example of (d,p)$^{240}\mathrm{Pu}$}
%
\titlerunning{Restricted spin-ranges in the Oslo Method} % abbreviated title (for running head)
% also used for the TOC unless
% \toctitle is used
%
\author{
F. Zeiser\inst{1}$^{,\dagger}$
\and
G. Potel\inst{2}
\and
G.M. Tveten\inst{1}
\and
A.C. Larsen\inst{1}
\and
M. Guttormsen\inst{1}
\and
T.A. Laplace\inst{3}
\and
S. Siem\inst{1}
\and
D.L. Bleuel\inst{4}
\and
B.L. Goldblum\inst{3}
\and
L.A. Bernstein\inst{3,5}
\and
F.L. Bello Garrote\inst{1}
\and
L. Crespo Campo\inst{1}
\and
T.K. Eriksen\inst{1}
\and
A. Görgen\inst{1}
\and
K. Hadynska-Klek\inst{1}
\and
J.E. Midtbø\inst{1}
\and
T. Renstrøm\inst{1}
\and
E. Sahin\inst{1}
\and
T. Tornyi\inst{1}
\and
A. Voinov\inst{6}
\and
M. Wiedeking\inst{7}
}
%
\authorrunning{F. Zeiser et al.} % abbreviated author list (for running head)
%
%%%% list of authors for the TOC (use if author list has to be modified)
\tocauthor{F. Zeiser, et al.}
\institute{
Department of Physics, University of Oslo, P.O. Box 1048 Blindern, N-0316 Oslo, Norway
\and Facility for Rare Isotope Beams, Michigan State University, East Lansing, MI 48824, USA
\and Department of Nuclear Engineering, University of California, Berkeley, 94720, USA
\and Lawrence Livermore National Laboratory, Livermore, CA 94551, USA
\and Lawrence Berkeley National Laboratory, Berkeley, California 94720, USA
\and Department of Physics and Astronomy, Ohio University, Athens, Ohio 45701, USA
\and iThemba LABS, P.O. Box 722, Somerset West 7129, South Africa\\
$^{\dagger}$ Corresponding author: \email{fabio.zeiser@fys.uio.no}}
\maketitle % typeset the title of the contribution
\begin{abstract}
In this paper we present the first systematic analysis of the impact of the populated vs. intrinsic spin distribution on the nuclear level density and $\gamma$-ray strength function retrieved through the Oslo Method. We illustrate the effect of the spin distribution on the recently performed $^{239}\mathrm{Pu}$(d,p$\gamma$)$^{240}\mathrm{Pu}$ experiment using a 12 MeV deuteron beam performed at the Oslo Cyclotron Lab. In the analysis we couple state-of-the-art calculations for the populated spin-distributions with the Monte-Carlo nuclear decay code RAINIER to compare Oslo Method results to the known input.
We find that good knowledge of the populated spin distribution is crucial and show that the populated distribution has a significant impact on the extracted nuclear level density and $\gamma$-ray strength function for the $^{239}\mathrm{Pu}$(d,p$\gamma$)$^{240}\mathrm{Pu}$ case.
% We would like to encourage you to list your keywords within
% the abstract section using the \keywords{...} command.
\keywords{Oslo method, spin distribution, surrogate reaction}
\end{abstract}
%
\section{Introduction}
Proper knowledge of neutron-induced cross-sections from thermal energies to several MeV is important for many physical applications. However, the lack of a mono-energetic neutron source in the full energy range hampers direct cross-section measurements. The short half-lives of many isotopes of astrophysical interest make it impossible to create targets for direct measurements using neutron beams. In these cases, calculations within the statistical framework can provide an alternative approach to obtain (n,$x$) cross-sections. These rely essentially on precise measurements of nuclear level densities (NLD) and $\gamma$-ray strength functions ($\gamma$SF)~\cite{Ullmann2017}.
The Oslo Method~\cite{Schiller2000, Larsen2011} can be used to analyze particle-$\gamma$ coincidence spectra from transfer reactions to simultaneously extract NLDs and $\gamma$SFs. In a campaign to study actinides the method has been applied to the compound nuclei $^{231-233}\mathrm{Th}$, $^{232,233}\mathrm{Pa}$, $^{237-239}\mathrm{U}$, $^{238}\mathrm{Np}$~\cite{Guttormsen2012, Guttormsen2013,Guttormsen2014, Tornyi2014a} and $^{243}\mathrm{Pu}$~\cite{Laplace2015} using different light-ion reactions. The extracted $\gamma$SFs show a significant enhancement between about 2 and 4 MeV, which is consistent with the location~\cite{Heyde2010} of a low energy orbital M1 scissors resonance (SR).
Larsen \textit{et al.}~\cite{Larsen2011} have shown that the population of a limited spin range may lead to distortions of the $\gamma$SF. This has been observed in some of the previous studies on actinides~\cite{Guttormsen2012, Guttormsen2013, Guttormsen2014, Tornyi2014a, Laplace2015} due to the low-spin transfer using the $(d,p)$ reaction mechanism, where an ad hoc procedure for the correction was adopted. In this proceeding, we focus on the first systematic analysis of the impact on the Oslo Method results for a realistic spin-parity population for the (d,p)$^{240}\mathrm{Pu}$ reaction.
\section{Experimental Setup and Data Analysis}
%
\label{sec:exp}
The $(\mathrm{d},\mathrm{p})^{240}\mathrm{Pu}$ experiment was conducted using a 12 MeV deuteron beam at the Oslo Cyclotron Laboratory (OCL). The $0.4\,\mathrm{mg}/\mathrm{cm}^2$ thick $^{239}\mathrm{Pu}$ target was purified using an anion-exchange resin column procedure~\cite{Henderson2011} prior to electroplating on a $1.9\,\mathrm{mg}/\mathrm{cm}^2$ beryllium backing.
The outgoing charged particles were detected with the SiRi particle telescope~\cite{Guttormsen2011}. SiRi consists of 64 silicon particle telescopes with a thickness of 130 $\mu$m for the front ($\Delta E$) and 1550 $\mu$m for the back ($E$) detectors, and was placed at backwards angles ($126^\circ$ to $140^\circ$). The CACTUS array~\cite{Guttormsen1990} measured coincident $\gamma$ rays and was composed of 26 lead collimated $5^{\prime\prime} \times 5^{\prime\prime}$ NaI(Tl) crystals with a total efficiency of 14.1(2)$\%$ at $E_\gamma= 1.33\,\mathrm{MeV}$. Additionally, four Parallel Plate Avalanche Counters (PPAC)~\cite{Tornyi2014} were used to detect fission events.
The reaction kinematics allowed for selection of (d,p) events and conversion of the detected proton energy to the excitation energy $E_\mathrm{x}$ of the compound nucleus $^{240}\mathrm{Pu}$. Prompt $\gamma$ rays were selected from a $\pm 14$\,ns wide time-window with background correction applied. The $\gamma$-ray spectra were unfolded following the procedure of~\cite{Guttormsen1996}, using response functions~\cite{Campo2016} that were updated in 2012.
Next, an iterative subtraction technique~\cite{Guttormsen1987} was applied to obtain the primary $\gamma$ rays $P(E_\mathrm{x},E_\gamma)$ (also called first-generation $\gamma$ rays) for each $E_x$ bin from the initial spectra, which include all $\gamma$ rays of the decay cascades. Here we relied on the assumption that the (d,p)-reaction will populate a similar spin-parity distribution for the levels in an $E_x$ bin $i$ as would be populated from $\gamma$-decay from a higher excitation energy bin $j$. Consequently, by subtracting the $\gamma$-ray spectra from bins with lower excitation energy, only the primary $\gamma$ rays remain. %The coincidence matrices are shown in Fig. \ref{fig:coincidences}.
%\begin{figure}[t]
%\centering
%\includegraphics[trim={0 0 0 2cm},clip,width=\linewidth]{figs/m_alfna_compare_3}
%\caption{The raw particle-$\gamma$ coincidences for $^{240}\mathrm{Pu}$ (a), the unfolded spectra (b) and the extracted primary $\gamma$ rays (c). The dotted lines display the region used for the extraction of the NLD and $\gamma$SF. Before unfolding, all events with $E_\gamma > E_\mathrm{x} + \delta E_\gamma$ have been removed as they only represent noise, where $\delta E_\gamma$ is the detector resolution.}
%\label{fig:coincidences}
%\end{figure}
\section{Extraction of NLD and $\gamma$SF}
For $\gamma$ rays emitted in the statistical regime (i.e., high level density) we can determine the NLD at the excitation energy of the final state, $\rho(E_\mathrm{x,f})$, and the $\gamma$-ray transmission coefficient, $\mathscr{T}(E_\gamma)$~\cite{Schiller2000}:
\begin{equation}
P(E_\mathrm{x,i},E_\gamma) \propto \rho(E_\mathrm{x,f}) \mathscr{T}(E_\gamma),
\label{eq:LevelDensityTransmissionCoefficient}
\end{equation}
up to a transformation with the parameters $A$, $B$ and $\alpha$,
\begin{align}
\tilde{\rho} (E_i - E_\gamma) & = A \exp[\alpha \,(E_i - E_\gamma) ]\, \rho(E_i - E_\gamma), \label{eq:rho_trans}\\
\tilde{\mathscr{T}}(E_\gamma) &= B \exp[ \alpha \, E_\gamma ]\, \mathscr{T}(E_\gamma). \label{eq:t_trans}
\end{align}
To select the $\gamma$ decay channel, only excitation energies $E_\mathrm{x}$ below the neutron separation energy ($S_n = 6.534\,\mathrm{MeV}$~\cite{Singh2008}) must be considered. In this experiment, we applied more stringent constrains due to the onset of sub-barrier fission events at about 4.5 MeV ~\cite{Back1974, Hunyadi2001}. A more detailed analysis of the prompt fission $\gamma$ rays can be found in~\cite{Rose2017}. The final extraction regions were $E_{\gamma}^\mathrm{min}=1.2\,\mathrm{MeV}$, $E_{\mathrm{x}}^\mathrm{min}=2.4\,\mathrm{MeV}$, $E_{\mathrm{x}}^\mathrm{max}=4.0\,\mathrm{MeV}$. It remained then to find the transformation parameters corresponding to the correct physical solution.
The level density at low $E_x$ was normalized to the discrete level scheme~\cite{NNDC} up the excitation energy where we expect that the low-lying level scheme is known completely ($\approx$ 1\,MeV). At the neutron separation energy $S_\mathrm{n}$, we obtain $\rho(S_n)$ from the average neutron resonance spacing for s-waves, $D_0= 2.20(9)\,\mathrm{eV}$, taken from RIPL-3~\cite{RIPL3} following~\cite{Schiller2000}. The latter conversion depends on the spin-parity distribution; we assumed equal parities and used the spin distribution $g(E_\mathrm{x},I)$ proposed by Ericson Eq. (3.29) ~\cite{Ericson1960} together with the rigid-body moment of inertia approach for the spin cut-off parameter $\sigma$ by von Egidy and Bucurescu (2005)~\cite{Egidy2005}.
Additionally, we extrapolated from the highest $E_\mathrm{x}$ data points up to $S_\mathrm{n}$. In accordance with findings for other actinides~\cite{Guttormsen2013}, this was performed assuming a constant temperature level density formula~\cite{Gilbert1965}.
%\begin{align}
%\rho_\mathrm{CT}(E_\mathrm{x}) = \frac{1}{T_{\mathrm{CT}}} \exp \frac{E_\mathrm{x} - E_0}{T_{\mathrm{CT}}}, \quad E_0 = S_n - T_{\mathrm{CT}} \ln [\rho(S_n)T_{\mathrm{CT}}],
%\label{eq:constTemp}
%\end{align}
%where $T_{\mathrm{CT}}$ is the temperature parameter.
The resulting level density $\rho$ is displayed in Fig. \ref{fig:ndl_gsf_exp}a.
\begin{figure}[t]
\centering
\begin{subfigure}[b]{0.49\textwidth}
\includegraphics[width=\linewidth]{figs/level_density_pyplot}
\caption{}
\end{subfigure}
\begin{subfigure}[b]{0.49\textwidth}
\includegraphics[width=\linewidth]{figs/strength_pyplot}
\caption{}
\end{subfigure}
\caption{Initially extracted total level density (a) and $\gamma$SF (b) for $^{240}\mathrm{Pu}$ (a). We used a constant temperature interpolation with $T_\mathrm{CT}$ = 0.415(10). The $\gamma$SF is displayed together with data from~\cite{Kopecky2017, Moraes1993, Gurevich1976} (b). The presented error bars include contributions from both statistical and systematic errors of the unfolding and first generation method~\cite{Schiller2000}.}
\label{fig:ndl_gsf_exp}
\end{figure}
The remaining parameter $B$ for the normalization of the transmission coefficient $\mathscr{T}$ can be determined~\cite{Voinov2001, Kopecky1990} from the average total radiative width $\langle \Gamma_\gamma \rangle(S_\mathrm{n}) = 43(4)$~\cite{RIPL3}. The $\gamma$-ray strength function $f(E_\gamma)$ was obtained from the transmission coefficient $\mathscr{T}$ assuming dominance of dipole strength, $f(E_\gamma) = \mathscr{T}(E_\gamma) / (2 \pi E_\gamma^{3})$, and is shown in \ref{fig:ndl_gsf_exp}b.
\section{Impact of the Spin Distribution}
In order to analyze the possible impact of a mismatch between the NLD populated in the $(d,p)$ reaction, $\rho_{pop}$, and the intrinsic NLD, $\rho_{int}$, we will follow a 4-step procedure: 1) identify the \textit{correct} spin distributions $g_\mathrm{pop}$ and $g_\mathrm{int}$, 2) generate synthetic decay data with known NLD and $\gamma$SF, and the identified spin distributions 3) analyze the results with the Oslo Method, and 4) compare the extracted NLD and $\gamma$SF to the input function to infer any systematic deviation.
The (d,p) reaction with the beam energy used in this experiment can be modeled as breakup of a deuteron with emission of a proton, followed by the
formation of a compound nucleus with the remaining
neutron and the target. The spin-parity distribution, $g_\mathrm{pop}(E_\mathrm{x},J,\pi)$, has been calculated in this framework, using the distorted-wave Born approximation (DWBA) in prior form~\cite{Potel2015, Potel2017}. Here we have taken into account detection angles for the protons and modeled the neutron-nucleus interactions by the dispersive optical model potential of \cite{Capote2008} implemented through potential nr. 2408 listed in \cite{RIPL3}.
To study the effect on the Oslo Method, we first generated a synthetic coincidence data set with the statistical nuclear decay code RAINIER~\cite{Kirsch2018} resembling the (d,p)$^{240}\mathrm{Pu}$ experiment. Following the experimental analysis above, we combined the spin cut-off parameter, $\sigma$, of von Egidy and Bucurescu (2005)~\cite{Egidy2005} with the distribution of
Ericson~\cite{Ericson1960} to obtain the intrinsic spin-distribution, $g_\mathrm{int}$. As shown in Fig. \ref{fig:popToTot}, the distribution calculated with DWBA of populated levels (further labeled as $g_\mathrm{pop} \neq g_\mathrm{int}$) are centered at much lower spins compared to the assumed intrinsic distribution.
\begin{figure}[t]
\centering
\includegraphics[width=0.6\linewidth]{figs/popToTot}
\caption{Spin-parity distribution at $E_x = S_n$ of the populated levels $g_\mathrm{pop}$ compared to the intrinsic distribution $g_\mathrm{int}$ at $S_n$. For the latter equiparity is assumed and we also display the distribution at 2 MeV.}
\label{fig:popToTot}
\end{figure}
\begin{figure}[t]
\centering
\begin{subfigure}[b]{0.49\textwidth}
\includegraphics[width=\linewidth]{figs/nld_RAINIER_2}
\caption{}
\label{fig:nld_compare}
\end{subfigure}
\begin{subfigure}[b]{0.49\textwidth}
\includegraphics[width=\linewidth]{figs/gsf_RAINIER_3}
\caption{}
\label{fig:gsf_compare}
\end{subfigure}
\caption{Upper panels: NLD (a) and $\gamma$SF (b) extracted with the Oslo Method (with an optional correction $r$) from synthetic dataset. The populated spin distribution $g_\mathrm{pop}$ was either chosen equal to the intrinsic distribution $g_\mathrm{int}$, or narrower, according to the calculations for the (d,p) reaction. Lower panels: Ratio to the known input.}
\label{fig:ndl_gsf_compare}
\end{figure}
The generated spectra were analyzed with the Oslo Method including folding, unfolding, and the first generation method. The upper panel of Figure \ref{fig:ndl_gsf_compare}a shows the extracted and normalized NLD together with the NLD used as input to RAINIER. The lower panel displays the derived ratio to the input NLD. As expected, it was observed that the NLD in the quasi-continuum (i.e, above the discrete levels) was well reproduced when $g_\mathrm{pop}=g_\mathrm{int}$; the assumptions of the first-generation method are fulfilled. However, when populating the nucleus by the more realistic, but \textit{narrower} distribution $g_\mathrm{pop} \neq g_\mathrm{int}$, we underestimated the derived NLD in the quasi-continuum by up to approximately 40\% at 2 MeV.
This deviation may be qualitatively explained by the smaller fraction of levels populated when decaying with a distribution $g_\mathrm{pop}$ much \textit{narrower} than $g_\mathrm{int}$ (see also Fig. \ref{fig:popToTot}). At higher excitation energies, the ratio is forced to converge to unity due to the normalization at $S_n$.
Note that for the normalization of the $\gamma$SF specified in the next paragraphs, we also display the NLD with $g_\mathrm{pop} \neq g_\mathrm{int}$ where the upper normalization point $\rho_\mathrm{tot}(S_n)$ obtained from Eq. (28) in~\cite{Schiller2000} was reduced by %$\rho_\mathrm{red}(S_n) = r \rho_\mathrm{tot}(S_n), \quad r \leq 1$.
\begin{align}
\rho_\mathrm{red}(S_n) = r \rho_\mathrm{tot}(S_n), \quad r \leq 1.
\label{eq:rhoRed}
\end{align}
We now turn to the extraction of the $\gamma$SF. For $g_\mathrm{pop}=g_\mathrm{int}$, we observed about $\lesssim 10\%$ difference between the absolute values of the extracted strength and the input function. This difference is mainly attributed to a small mismatch of the true and best-fit temperature for the NLD, which propagates to the $\gamma$SF absolute values through the normalization.
For the more realistic spin distribution $g_\mathrm{pop} \neq g_\mathrm{int}$, we first naively extracted the $\gamma$SF assuming that we had populated all intrinsic levels. Here the shape of the NLD curve is off since it is forced to match the calibration point at $S_\mathrm{n}$. Figure \ref{fig:ndl_gsf_compare}b compares the results to the input $\gamma$SF and although the general shape is preserved, both the slope and absolute value are considerably off as compared to the input.
Next, we applied a correction inspired by~\cite{Guttormsen2012}, which is based on the assumption that the transmission coefficient $\mathscr{T}$ is spin independent. The first generation matrix, $P$, should then be fit by $P \propto \rho_\mathrm{red} \mathscr{T}$ to extract the correct $\mathscr{T}$, where $\rho_\mathrm{red}$ is obtained from Eq. \eqref{eq:rhoRed} and indicates that we can decay only to a fraction of all intrinsic levels. This will affect the common transformation parameter $\alpha$, see Eq. (\ref{eq:rho_trans},\ref{eq:t_trans}), which determines the slope of the $\gamma$SF: The smaller $r$, the smaller $\alpha$, which translates to a flatter slope.
The determination of the remaining scaling parameter $B$ depends on $\mathscr{T}$ as extracted with $\rho_\mathrm{red}$. However, the level density available for $\gamma$ decay following neutron capture is not effected by this reduction, thus we used $\rho_\mathrm{tot}$ in the $\langle \Gamma_\gamma \rangle$ normalization integral.
We varied the correction factor $r$ and found that $r=0.3$ matches the slope of the input $\gamma$SF best and leads to a constant off-set of about 5-10\%. The larger deviation towards lower $\gamma$-ray energies was traced back to a failure of the first-generation method.
\section{Summary and Conclusions}
We have presented the first systematic analysis of the effect of a realistic, very narrow spin distribution on the Oslo Method for the (d,p) reaction using the example of the heavy nucleus $^{240}\mathrm{Pu}$. We have shown that if the assumptions of the Oslo Method were fulfilled, i.e., if the reaction populated all levels proportionally to the intrinsic spin(-parity) distribution, we regain the correct level density and $\gamma$-ray strength. However, for such a heavy nucleus and a beam energy below the Coulomb barrier, the calculations show a rather small overlap between the populated spins and the intrinsic distribution. This leads to significant distortions in the extracted nuclear level density and $\gamma$-ray strength. We now investigate how the presented approach can be used to correct for the deviations. Finally, the impact on lower mass nuclei needs to be studied, although a significantly greater overlap of the populated and intrinsic distribution and therefore smaller impact is expected.
\section{Acknowledgements}
We would like to thank J.~C.~Müller, E.~A.~Olsen, A.~Semchenkov, and J.~C.~Wikne at the Oslo Cyclotron Laboratory for
providing the stable and high-quality deuterium beam during
the experiment.
This work was supported by the Research Council of Norway under project Grants No. 263030 (F.Z, A.G, S.S) and 262952 (G.M.T), and by the National Research Foundation of South Africa (M.W.). A.C.L. gratefully acknowledges funding from the European Research Council, ERC-STG-2014 Grant Agreement No. 637686.
This work was performed under the auspices of U.S. Department of Energy by Lawrence Livermore National Laboratory under Contract No. DE-AC52-07NA27344 (D.L.B) and the Lawrence Berkeley National Laboratory under Contract No. DE-AC02-05CH11231 (L.A.B.). The work of B.L.G., J.A.B. and T.A.L. was supported by the U.S. Department of Energy, National Nuclear Security Administration, Office of Defense Nuclear Nonproliferation Research and Development (DNN R\&D) through the Nuclear Science and Security Consortium under Award DE-NA0003180. A.V. was supported under Department of Energy Contract No. DE-\linebreak NA0002905.
%
% ---- Bibliography ----
%
\bibliography{thisbib}
\end{document}
% This is EDITOR.TEX the demonstration file of
% the LaTeX macro package from Springer Nature
% for Proceedings volumes using the LaTeX document
% class SVProc - version as of 22. July 2016
%
\documentclass{SVProc}
%
\usepackage{makeidx} % allows for indexgeneration
\makeindex
%
% to typeset URLs, URIs, and DOIs
\usepackage{url}
\def\UrlFont{\rmfamily}
%
\begin{document}
%
\frontmatter % for the preliminaries
%
\pagestyle{headings} % switches on printing of running heads
%%%\addtocmark{Hamiltonian Mechanics} % additional mark in the TOC
%
\chapter*{Preface}
%
This textbook is intended for use by students of physics, physical
chemistry, and theoretical chemistry. The reader is presumed to have a
basic knowledge of atomic and quantum physics at the level provided, for
example, by the first few chapters in our book {\it The Physics of Atoms
and Quanta}. The student of physics will find here material which should
be included in the basic education of every physicist. This book should
furthermore allow students to acquire an appreciation of the breadth and
variety within the field of molecular physics and its future as a
fascinating area of research.
\vspace{1cm}
\begin{flushright}\noindent
June 2016\hfill Walter Olthoff\\
Program Chair\\
ECOOP 2016
\end{flushright}
%
\chapter*{Organization}
ECOOP 2016 is organized by the department of Computer Science, Univeristy
of \AA rhus and AITO (association Internationa pour les Technologie
Object) in cooperation with ACM/SIGPLAN.
%
\section*{Executive Commitee}
\begin{tabular}{@{}p{5cm}@{}p{7.2cm}@{}}
Conference Chair:&Ole Lehrmann Madsen (\AA rhus University, DK)\\
Program Chair: &Walter Olthoff (DFKI GmbH, Germany)\\
Organizing Chair:&J\o rgen Lindskov Knudsen (\AA rhus University, DK)\\
Tutorials:&Birger M\o ller-Pedersen\hfil\break
(Norwegian Computing Center, Norway)\\
Workshops:&Eric Jul (University of Kopenhagen, Denmark)\\
Panels:&Boris Magnusson (Lund University, Sweden)\\
Exhibition:&Elmer Sandvad (\AA rhus University, DK)\\
Demonstrations:&Kurt N\o rdmark (\AA rhus University, DK)
\end{tabular}
%
\section*{Program Commitee}
\begin{tabular}{@{}p{5cm}@{}p{7.2cm}@{}}
Conference Chair:&Ole Lehrmann Madsen (\AA rhus University, DK)\\
Program Chair: &Walter Olthoff (DFKI GmbH, Germany)\\
Organizing Chair:&J\o rgen Lindskov Knudsen (\AA rhus University, DK)\\
Tutorials:&Birger M\o ller-Pedersen\hfil\break
(Norwegian Computing Center, Norway)\\
Workshops:&Eric Jul (University of Kopenhagen, Denmark)\\
Panels:&Boris Magnusson (Lund University, Sweden)\\
Exhibition:&Elmer Sandvad (\AA rhus University, DK)\\
Demonstrations:&Kurt N\o rdmark (\AA rhus University, DK)
\end{tabular}
%
\begin{multicols}{3}[\section*{Referees}]
V.~Andreev\\
B\"arwolff\\
E.~Barrelet\\
H.P.~Beck\\
G.~Bernardi\\
E.~Binder\\
P.C.~Bosetti\\
Braunschweig\\
F.W.~B\"usser\\
T.~Carli\\
A.B.~Clegg\\
G.~Cozzika\\
S.~Dagoret\\
Del~Buono\\
P.~Dingus\\
H.~Duhm\\
J.~Ebert\\
S.~Eichenberger\\
R.J.~Ellison\\
Feltesse\\
W.~Flauger\\
A.~Fomenko\\
G.~Franke\\
J.~Garvey\\
M.~Gennis\\
L.~Goerlich\\
P.~Goritchev\\
H.~Greif\\
E.M.~Hanlon\\
R.~Haydar\\
R.C.W.~Henderso\\
P.~Hill\\
H.~Hufnagel\\
A.~Jacholkowska\\
Johannsen\\
S.~Kasarian\\
I.R.~Kenyon\\
C.~Kleinwort\\
T.~K\"ohler\\
S.D.~Kolya\\
P.~Kostka\\
U.~Kr\"uger\\
J.~Kurzh\"ofer\\
M.P.J.~Landon\\
A.~Lebedev\\
Ch.~Ley\\
F.~Linsel\\
H.~Lohmand\\
Martin\\
S.~Masson\\
K.~Meier\\
C.A.~Meyer\\
S.~Mikocki\\
J.V.~Morris\\
B.~Naroska\\
Nguyen\\
U.~Obrock\\
G.D.~Patel\\
Ch.~Pichler\\
S.~Prell\\
F.~Raupach\\
V.~Riech\\
P.~Robmann\\
N.~Sahlmann\\
P.~Schleper\\
Sch\"oning\\
B.~Schwab\\
A.~Semenov\\
G.~Siegmon\\
J.R.~Smith\\
M.~Steenbock\\
U.~Straumann\\
C.~Thiebaux\\
P.~Van~Esch\\
from Yerevan Ph\\
L.R.~West\\
G.-G.~Winter\\
T.P.~Yiou\\
M.~Zimmer\end{multicols}
%
\section*{Sponsoring Institutions}
%
V. Meyer Inc., Reading, MA, USA\\
The Hofmann-International Company, San Louis Obispo, CA, USA\\
Kramer Industries, Heidelberg, Germany
%
\tableofcontents
%
\mainmatter % start of the contributions
%
\part{Hamiltonian Mechanics}
%
\title{Hamiltonian Mechanics unter besonderer Ber\"ucksichtigung der
h\"ohereren Lehranstalten}
%
\titlerunning{Hamiltonian Mechanics} % abbreviated title (for running head)
% also used for the TOC unless
% \toctitle is used
%
\author{Ivar Ekeland\inst{1} \and Roger Temam\inst{2}
Jeffrey Dean \and David Grove \and Craig Chambers \and Kim~B.~Bruce \and
Elsa Bertino}
%
\authorrunning{Ivar Ekeland et al.} % abbreviated author list (for running head)
%
%%%% list of authors for the TOC (use if author list has to be modified)
\tocauthor{Ivar Ekeland, Roger Temam, Jeffrey Dean, David Grove,
Craig Chambers, Kim B. Bruce, and Elisa Bertino}
%
\index{Ekeland, I.}
\index{Temam, R.}
\index{Dean, J.}
\index{Grove, D.}
\index{Chambers, C.}
\index{Kim, B.}
\index{Bertino, E.}
%
\institute{Princeton University, Princeton NJ 08544, USA,\\
\email{I.Ekeland@princeton.edu},\\ WWW home page:
\texttt{http://users/\homedir iekeland/web/welcome.html}
\and
Universit\'{e} de Paris-Sud,
Laboratoire d'Analyse Num\'{e}rique, B\^{a}timent 425,\\
F-91405 Orsay Cedex, France}
\maketitle % typeset the title of the contribution
\begin{abstract}
The abstract should summarize the contents of the paper
using at least 70 and at most 150 words. It will be set in 9-point
font size and be inset 1.0 cm from the right and left margins.
There will be two blank lines before and after the Abstract. \dots
\keywords{computational geometry, graph theory, Hamilton cycles}
\end{abstract}
%
\section{Fixed-Period Problems: The Sublinear Case}
%
With this chapter, the preliminaries are over, and we begin the search
for periodic solutions to Hamiltonian systems. All this will be done in
the convex case; that is, we shall study the boundary-value problem
\begin{eqnarray*}
\dot{x}&=&JH' (t,x)\\
x(0) &=& x(T)
\end{eqnarray*}
with $H(t,\cdot)$ a convex function of $x$, going to $+\infty$ when
$\left\|x\right\| \to \infty$.
%
\subsection{Autonomous Systems}
%
In this section, we will consider the case when the Hamiltonian $H(x)$
is autonomous. For the sake of simplicity, we shall also assume that it
is $C^{1}$.
We shall first consider the question of nontriviality, within the
general framework of
$\left(A_{\infty},B_{\infty}\right)$-subquadratic Hamiltonians. In
the second subsection, we shall look into the special case when $H$ is
$\left(0,b_{\infty}\right)$-subquadratic,
and we shall try to derive additional information.
%
\subsubsection{The General Case: Nontriviality.}
%
We assume that $H$ is
$\left(A_{\infty},B_{\infty}\right)$-sub\-qua\-dra\-tic at infinity,
for some constant symmetric matrices $A_{\infty}$ and $B_{\infty}$,
with $B_{\infty}-A_{\infty}$ positive definite. Set:
\begin{eqnarray}
\gamma :&=&{\rm smallest\ eigenvalue\ of}\ \ B_{\infty} - A_{\infty} \\
\lambda : &=& {\rm largest\ negative\ eigenvalue\ of}\ \
J \frac{d}{dt} +A_{\infty}\ .
\end{eqnarray}
Theorem~\ref{ghou:pre} tells us that if $\lambda +\gamma < 0$, the
boundary-value problem:
\begin{equation}
\begin{array}{rcl}
\dot{x}&=&JH' (x)\\
x(0)&=&x (T)
\end{array}
\end{equation}
has at least one solution
$\overline{x}$, which is found by minimizing the dual
action functional:
\begin{equation}
\psi (u) = \int_{o}^{T} \left[\frac{1}{2}
\left(\Lambda_{o}^{-1} u,u\right) + N^{\ast} (-u)\right] dt
\end{equation}
on the range of $\Lambda$, which is a subspace $R (\Lambda)_{L}^{2}$
with finite codimension. Here
\begin{equation}
N(x) := H(x) - \frac{1}{2} \left(A_{\infty} x,x\right)
\end{equation}
is a convex function, and
\begin{equation}
N(x) \le \frac{1}{2}
\left(\left(B_{\infty} - A_{\infty}\right) x,x\right)
+ c\ \ \ \forall x\ .
\end{equation}
%
\begin{proposition}
Assume $H'(0)=0$ and $ H(0)=0$. Set:
\begin{equation}
\delta := \liminf_{x\to 0} 2 N (x) \left\|x\right\|^{-2}\ .
\label{eq:one}
\end{equation}
If $\gamma < - \lambda < \delta$,
the solution $\overline{u}$ is non-zero:
\begin{equation}
\overline{x} (t) \ne 0\ \ \ \forall t\ .
\end{equation}
\end{proposition}
%
\begin{proof}
Condition (\ref{eq:one}) means that, for every
$\delta ' > \delta$, there is some $\varepsilon > 0$ such that
\begin{equation}
\left\|x\right\| \le \varepsilon \Rightarrow N (x) \le
\frac{\delta '}{2} \left\|x\right\|^{2}\ .
\end{equation}
It is an exercise in convex analysis, into which we shall not go, to
show that this implies that there is an $\eta > 0$ such that
\begin{equation}
f\left\|x\right\| \le \eta
\Rightarrow N^{\ast} (y) \le \frac{1}{2\delta '}
\left\|y\right\|^{2}\ .
\label{eq:two}
\end{equation}
\begin{figure}
\vspace{2.5cm}
\caption{This is the caption of the figure displaying a white eagle and
a white horse on a snow field}
\end{figure}
Since $u_{1}$ is a smooth function, we will have
$\left\|hu_{1}\right\|_\infty \le \eta$
for $h$ small enough, and inequality (\ref{eq:two}) will hold,
yielding thereby:
\begin{equation}
\psi (hu_{1}) \le \frac{h^{2}}{2}
\frac{1}{\lambda} \left\|u_{1} \right\|_{2}^{2} + \frac{h^{2}}{2}
\frac{1}{\delta '} \left\|u_{1}\right\|^{2}\ .
\end{equation}
If we choose $\delta '$ close enough to $\delta$, the quantity
$\left(\frac{1}{\lambda} + \frac{1}{\delta '}\right)$
will be negative, and we end up with
\begin{equation}
\psi (hu_{1}) < 0\ \ \ \ \ {\rm for}\ \ h\ne 0\ \ {\rm small}\ .
\end{equation}
On the other hand, we check directly that $\psi (0) = 0$. This shows
that 0 cannot be a minimizer of $\psi$, not even a local one.
So $\overline{u} \ne 0$ and
$\overline{u} \ne \Lambda_{o}^{-1} (0) = 0$. \qed
\end{proof}
%
\begin{corollary}
Assume $H$ is $C^{2}$ and
$\left(a_{\infty},b_{\infty}\right)$-subquadratic at infinity. Let
$\xi_{1},\allowbreak\dots,\allowbreak\xi_{N}$ be the
equilibria, that is, the solutions of $H' (\xi ) = 0$.
Denote by $\omega_{k}$
the smallest eigenvalue of $H'' \left(\xi_{k}\right)$, and set:
\begin{equation}
\omega : = {\rm Min\,} \left\{\omega_{1},\dots,\omega_{k}\right\}\ .
\end{equation}
If:
\begin{equation}
\frac{T}{2\pi} b_{\infty} <
- E \left[- \frac{T}{2\pi}a_{\infty}\right] <
\frac{T}{2\pi}\omega
\label{eq:three}
\end{equation}
then minimization of $\psi$ yields a non-constant $T$-periodic solution
$\overline{x}$.
\end{corollary}
%
We recall once more that by the integer part $E [\alpha ]$ of
$\alpha \in \bbbr$, we mean the $a\in \bbbz$
such that $a< \alpha \le a+1$. For instance,
if we take $a_{\infty} = 0$, Corollary 2 tells
us that $\overline{x}$ exists and is
non-constant provided that:
\begin{equation}
\frac{T}{2\pi} b_{\infty} < 1 < \frac{T}{2\pi}
\end{equation}
or
\begin{equation}
T\in \left(\frac{2\pi}{\omega},\frac{2\pi}{b_{\infty}}\right)\ .
\label{eq:four}
\end{equation}
%
\begin{proof}
The spectrum of $\Lambda$ is $\frac{2\pi}{T} \bbbz +a_{\infty}$. The
largest negative eigenvalue $\lambda$ is given by
$\frac{2\pi}{T}k_{o} +a_{\infty}$,
where
\begin{equation}
\frac{2\pi}{T}k_{o} + a_{\infty} < 0
\le \frac{2\pi}{T} (k_{o} +1) + a_{\infty}\ .
\end{equation}
Hence:
\begin{equation}
k_{o} = E \left[- \frac{T}{2\pi} a_{\infty}\right] \ .
\end{equation}
The condition $\gamma < -\lambda < \delta$ now becomes:
\begin{equation}
b_{\infty} - a_{\infty} <
- \frac{2\pi}{T} k_{o} -a_{\infty} < \omega -a_{\infty}
\end{equation}
which is precisely condition (\ref{eq:three}).\qed
\end{proof}
%
\begin{lemma}
Assume that $H$ is $C^{2}$ on $\bbbr^{2n} \setminus \{ 0\}$ and
that $H'' (x)$ is non-de\-gen\-er\-ate for any $x\ne 0$. Then any local
minimizer $\widetilde{x}$ of $\psi$ has minimal period $T$.
\end{lemma}
%
\begin{proof}
We know that $\widetilde{x}$, or
$\widetilde{x} + \xi$ for some constant $\xi
\in \bbbr^{2n}$, is a $T$-periodic solution of the Hamiltonian system:
\begin{equation}
\dot{x} = JH' (x)\ .
\end{equation}
There is no loss of generality in taking $\xi = 0$. So
$\psi (x) \ge \psi (\widetilde{x} )$
for all $\widetilde{x}$ in some neighbourhood of $x$ in
$W^{1,2} \left(\bbbr / T\bbbz ; \bbbr^{2n}\right)$.
But this index is precisely the index
$i_{T} (\widetilde{x} )$ of the $T$-periodic
solution $\widetilde{x}$ over the interval
$(0,T)$, as defined in Sect.~2.6. So
\begin{equation}
i_{T} (\widetilde{x} ) = 0\ .
\label{eq:five}
\end{equation}
Now if $\widetilde{x}$ has a lower period, $T/k$ say,
we would have, by Corollary 31:
\begin{equation}
i_{T} (\widetilde{x} ) =
i_{kT/k}(\widetilde{x} ) \ge
ki_{T/k} (\widetilde{x} ) + k-1 \ge k-1 \ge 1\ .
\end{equation}
This would contradict (\ref{eq:five}), and thus cannot happen.\qed
\end{proof}
%
\paragraph{Notes and Comments.}
The results in this section are a
refined version of \cite{smit:wat};
the minimality result of Proposition
14 was the first of its kind.
To understand the nontriviality conditions, such as the one in formula
(\ref{eq:four}), one may think of a one-parameter family
$x_{T}$, $T\in \left(2\pi\omega^{-1}, 2\pi b_{\infty}^{-1}\right)$
of periodic solutions, $x_{T} (0) = x_{T} (T)$,
with $x_{T}$ going away to infinity when $T\to 2\pi \omega^{-1}$,
which is the period of the linearized system at 0.
\begin{table}
\caption{This is the example table taken out of {\it The
\TeX{}book,} p.\,246}
\begin{center}
\begin{tabular}{r@{\quad}rl}
\hline
\multicolumn{1}{l}{\rule{0pt}{12pt}
Year}&\multicolumn{2}{l}{World population}\\[2pt]
\hline\rule{0pt}{12pt}
8000 B.C. & 5,000,000& \\
50 A.D. & 200,000,000& \\
1650 A.D. & 500,000,000& \\
1945 A.D. & 2,300,000,000& \\
1980 A.D. & 4,400,000,000& \\[2pt]
\hline
\end{tabular}
\end{center}
\end{table}
%
\begin{theorem} [Ghoussoub-Preiss]\label{ghou:pre}
Assume $H(t,x)$ is
$(0,\varepsilon )$-subquadratic at
infinity for all $\varepsilon > 0$, and $T$-periodic in $t$
\begin{equation}
H (t,\cdot )\ \ \ \ \ {\rm is\ convex}\ \ \forall t
\end{equation}
\begin{equation}
H (\cdot ,x)\ \ \ \ \ {\rm is}\ \ T{\rm -periodic}\ \ \forall x
\end{equation}
\begin{equation}
H (t,x)\ge n\left(\left\|x\right\|\right)\ \ \ \ \
{\rm with}\ \ n (s)s^{-1}\to \infty\ \ {\rm as}\ \ s\to \infty
\end{equation}
\begin{equation}
\forall \varepsilon > 0\ ,\ \ \ \exists c\ :\
H(t,x) \le \frac{\varepsilon}{2}\left\|x\right\|^{2} + c\ .
\end{equation}
Assume also that $H$ is $C^{2}$, and $H'' (t,x)$ is positive definite
everywhere. Then there is a sequence $x_{k}$, $k\in \bbbn$, of
$kT$-periodic solutions of the system
\begin{equation}
\dot{x} = JH' (t,x)
\end{equation}
such that, for every $k\in \bbbn$, there is some $p_{o}\in\bbbn$ with:
\begin{equation}
p\ge p_{o}\Rightarrow x_{pk} \ne x_{k}\ .
\end{equation}
\qed
\end{theorem}
%
\begin{example} [{{\rm External forcing}}]
Consider the system:
\begin{equation}
\dot{x} = JH' (x) + f(t)
\end{equation}
where the Hamiltonian $H$ is
$\left(0,b_{\infty}\right)$-subquadratic, and the
forcing term is a distribution on the circle:
\begin{equation}
f = \frac{d}{dt} F + f_{o}\ \ \ \ \
{\rm with}\ \ F\in L^{2} \left(\bbbr / T\bbbz; \bbbr^{2n}\right)\ ,
\end{equation}
where $f_{o} : = T^{-1}\int_{o}^{T} f (t) dt$. For instance,
\begin{equation}
f (t) = \sum_{k\in \bbbn} \delta_{k} \xi\ ,
\end{equation}
where $\delta_{k}$ is the Dirac mass at $t= k$ and
$\xi \in \bbbr^{2n}$ is a
constant, fits the prescription. This means that the system
$\dot{x} = JH' (x)$ is being excited by a
series of identical shocks at interval $T$.
\end{example}
%
\begin{definition}
Let $A_{\infty} (t)$ and $B_{\infty} (t)$ be symmetric
operators in $\bbbr^{2n}$, depending continuously on
$t\in [0,T]$, such that
$A_{\infty} (t) \le B_{\infty} (t)$ for all $t$.
A Borelian function
$H: [0,T]\times \bbbr^{2n} \to \bbbr$
is called
$\left(A_{\infty} ,B_{\infty}\right)$-{\it subquadratic at infinity}
if there exists a function $N(t,x)$ such that:
\begin{equation}
H (t,x) = \frac{1}{2} \left(A_{\infty} (t) x,x\right) + N(t,x)
\end{equation}
\begin{equation}
\forall t\ ,\ \ \ N(t,x)\ \ \ \ \
{\rm is\ convex\ with\ respect\ to}\ \ x
\end{equation}
\begin{equation}
N(t,x) \ge n\left(\left\|x\right\|\right)\ \ \ \ \
{\rm with}\ \ n(s)s^{-1}\to +\infty\ \ {\rm as}\ \ s\to +\infty
\end{equation}
\begin{equation}
\exists c\in \bbbr\ :\ \ \ H (t,x) \le
\frac{1}{2} \left(B_{\infty} (t) x,x\right) + c\ \ \ \forall x\ .
\end{equation}
If $A_{\infty} (t) = a_{\infty} I$ and
$B_{\infty} (t) = b_{\infty} I$, with
$a_{\infty} \le b_{\infty} \in \bbbr$,
we shall say that $H$ is
$\left(a_{\infty},b_{\infty}\right)$-subquadratic
at infinity. As an example, the function
$\left\|x\right\|^{\alpha}$, with
$1\le \alpha < 2$, is $(0,\varepsilon )$-subquadratic at infinity
for every $\varepsilon > 0$. Similarly, the Hamiltonian
\begin{equation}
H (t,x) = \frac{1}{2} k \left\|k\right\|^{2} +\left\|x\right\|^{\alpha}
\end{equation}
is $(k,k+\varepsilon )$-subquadratic for every $\varepsilon > 0$.
Note that, if $k<0$, it is not convex.
\end{definition}
%
\paragraph{Notes and Comments.}
The first results on subharmonics were
obtained by Rabinowitz in \cite{fo:kes:nic:tue}, who showed the existence of
infinitely many subharmonics both in the subquadratic and superquadratic
case, with suitable growth conditions on $H'$. Again the duality
approach enabled Clarke and Ekeland in \cite{may:ehr:stein} to treat the
same problem in the convex-subquadratic case, with growth conditions on
$H$ only.
Recently, Michalek and Tarantello (see \cite{fost:kes} and \cite{czaj:fitz})
have obtained lower bound on the number of subharmonics of period $kT$,
based on symmetry considerations and on pinching estimates, as in
Sect.~5.2 of this article.
%
% ---- Bibliography ----
%
\begin{thebibliography}{6}
%
%
\bibitem {smit:wat}
Smith, T.F., Waterman, M.S.: Identification of common molecular subsequences.
J. Mol. Biol. 147, 195?197 (1981). \url{doi:10.1016/0022-2836(81)90087-5}
\bibitem {may:ehr:stein}
May, P., Ehrlich, H.-C., Steinke, T.: ZIB structure prediction pipeline:
composing a complex biological workflow through web services.
In: Nagel, W.E., Walter, W.V., Lehner, W. (eds.) Euro-Par 2006.
LNCS, vol. 4128, pp. 1148?1158. Springer, Heidelberg (2006).
\url{doi:10.1007/11823285_121}
\bibitem {fost:kes}
Foster, I., Kesselman, C.: The Grid: Blueprint for a New Computing Infrastructure.
Morgan Kaufmann, San Francisco (1999)
\bibitem {czaj:fitz}
Czajkowski, K., Fitzgerald, S., Foster, I., Kesselman, C.: Grid information services
for distributed resource sharing. In: 10th IEEE International Symposium
on High Performance Distributed Computing, pp. 181?184. IEEE Press, New York (2001).
\url{doi: 10.1109/HPDC.2001.945188}
\bibitem {fo:kes:nic:tue}
Foster, I., Kesselman, C., Nick, J., Tuecke, S.: The physiology of the grid: an open grid services architecture for distributed systems integration. Technical report, Global Grid
Forum (2002)
\bibitem {onlyurl}
National Center for Biotechnology Information. \url{http://www.ncbi.nlm.nih.gov}
\end{thebibliography}
\part{Theoretical Contributions} % yields also additional mark in the TOC
%
% second contribution with nearly identical text,
% slightly changed contribution head (all entries
% appear as defaults), and modified bibliography
%
\title{Hamiltonian Mechanics2}
\author{Ivar Ekeland\inst{1} \and Roger Temam\inst{2}}
\institute{Princeton University, Princeton NJ 08544, USA
\and
Universit\'{e} de Paris-Sud,
Laboratoire d'Analyse Num\'{e}rique, B\^{a}timent 425,\\
F-91405 Orsay Cedex, France}
%
\index{Ekeland, I.}
\index{Temam, R.}
\maketitle
%
% Modify the bibliography environment to call for the author-year
% system. This is done normally with the citeauthoryear option
% for a particular contribution.
\makeatletter
\renewenvironment{thebibliography}[1]
{\section*{\refname}
\small
\list{}%
{\settowidth\labelwidth{}%
\leftmargin\parindent
\itemindent=-\parindent
\labelsep=\z@
\if@openbib
\advance\leftmargin\bibindent
\itemindent -\bibindent
\listparindent \itemindent
\parsep \z@
\fi
\usecounter{enumiv}%
\let\p@enumiv\@empty
\renewcommand\theenumiv{}}%
\if@openbib
\renewcommand\newblock{\par}%
\else
\renewcommand\newblock{\hskip .11em \@plus.33em \@minus.07em}%
\fi
\sloppy\clubpenalty4000\widowpenalty4000%
\sfcode`\.=\@m}
{\def\@noitemerr
{\@latex@warning{Empty `thebibliography' environment}}%
\endlist}
\def\@cite#1{#1}%
\def\@lbibitem[#1]#2{\item[]\if@filesw
{\def\protect##1{\string ##1\space}\immediate
\write\@auxout{\string\bibcite{#2}{#1}}}\fi\ignorespaces}
\makeatother
%
\begin{abstract}
The abstract should summarize the contents of the paper
using at least 70 and at most 150 words. It will be set in 9-point
font size and be inset 1.0 cm from the right and left margins.
There will be two blank lines before and after the Abstract. \dots
\keywords{graph transformations, convex geometry, lattice computations,
convex polygons, triangulations, discrete geometry}
\end{abstract}
%
\section{Fixed-Period Problems: The Sublinear Case}
%
With this chapter, the preliminaries are over, and we begin the search
for periodic solutions to Hamiltonian systems. All this will be done in
the convex case; that is, we shall study the boundary-value problem
\begin{eqnarray*}
\dot{x}&=&JH' (t,x)\\
x(0) &=& x(T)
\end{eqnarray*}
with $H(t,\cdot)$ a convex function of $x$, going to $+\infty$ when
$\left\|x\right\| \to \infty$.
%
\subsection{Autonomous Systems}
%
In this section, we will consider the case when the Hamiltonian $H(x)$
is autonomous. For the sake of simplicity, we shall also assume that it
is $C^{1}$.
We shall first consider the question of nontriviality, within the
general framework of
$\left(A_{\infty},B_{\infty}\right)$-subquadratic Hamiltonians. In
the second subsection, we shall look into the special case when $H$ is
$\left(0,b_{\infty}\right)$-subquadratic,
and we shall try to derive additional information.
%
\subsubsection{The General Case: Nontriviality.}
%
We assume that $H$ is
$\left(A_{\infty},B_{\infty}\right)$-sub\-qua\-dra\-tic at infinity,
for some constant symmetric matrices $A_{\infty}$ and $B_{\infty}$,
with $B_{\infty}-A_{\infty}$ positive definite. Set:
\begin{eqnarray}
\gamma :&=&{\rm smallest\ eigenvalue\ of}\ \ B_{\infty} - A_{\infty} \\
\lambda : &=& {\rm largest\ negative\ eigenvalue\ of}\ \
J \frac{d}{dt} +A_{\infty}\ .
\end{eqnarray}
Theorem 21 tells us that if $\lambda +\gamma < 0$, the boundary-value
problem:
\begin{equation}
\begin{array}{rcl}
\dot{x}&=&JH' (x)\\
x(0)&=&x (T)
\end{array}
\end{equation}
has at least one solution
$\overline{x}$, which is found by minimizing the dual
action functional:
\begin{equation}
\psi (u) = \int_{o}^{T} \left[\frac{1}{2}
\left(\Lambda_{o}^{-1} u,u\right) + N^{\ast} (-u)\right] dt
\end{equation}
on the range of $\Lambda$, which is a subspace $R (\Lambda)_{L}^{2}$
with finite codimension. Here
\begin{equation}
N(x) := H(x) - \frac{1}{2} \left(A_{\infty} x,x\right)
\end{equation}
is a convex function, and
\begin{equation}
N(x) \le \frac{1}{2}
\left(\left(B_{\infty} - A_{\infty}\right) x,x\right)
+ c\ \ \ \forall x\ .
\end{equation}
%
\begin{proposition}
Assume $H'(0)=0$ and $ H(0)=0$. Set:
\begin{equation}
\delta := \liminf_{x\to 0} 2 N (x) \left\|x\right\|^{-2}\ .
\label{2eq:one}
\end{equation}
If $\gamma < - \lambda < \delta$,
the solution $\overline{u}$ is non-zero:
\begin{equation}
\overline{x} (t) \ne 0\ \ \ \forall t\ .
\end{equation}
\end{proposition}
%
\begin{proof}
Condition (\ref{2eq:one}) means that, for every
$\delta ' > \delta$, there is some $\varepsilon > 0$ such that
\begin{equation}
\left\|x\right\| \le \varepsilon \Rightarrow N (x) \le
\frac{\delta '}{2} \left\|x\right\|^{2}\ .
\end{equation}
It is an exercise in convex analysis, into which we shall not go, to
show that this implies that there is an $\eta > 0$ such that
\begin{equation}
f\left\|x\right\| \le \eta
\Rightarrow N^{\ast} (y) \le \frac{1}{2\delta '}
\left\|y\right\|^{2}\ .
\label{2eq:two}
\end{equation}
\begin{figure}
\vspace{2.5cm}
\caption{This is the caption of the figure displaying a white eagle and
a white horse on a snow field}
\end{figure}
Since $u_{1}$ is a smooth function, we will have
$\left\|hu_{1}\right\|_\infty \le \eta$
for $h$ small enough, and inequality (\ref{2eq:two}) will hold,
yielding thereby:
\begin{equation}
\psi (hu_{1}) \le \frac{h^{2}}{2}
\frac{1}{\lambda} \left\|u_{1} \right\|_{2}^{2} + \frac{h^{2}}{2}
\frac{1}{\delta '} \left\|u_{1}\right\|^{2}\ .
\end{equation}
If we choose $\delta '$ close enough to $\delta$, the quantity
$\left(\frac{1}{\lambda} + \frac{1}{\delta '}\right)$
will be negative, and we end up with
\begin{equation}
\psi (hu_{1}) < 0\ \ \ \ \ {\rm for}\ \ h\ne 0\ \ {\rm small}\ .
\end{equation}
On the other hand, we check directly that $\psi (0) = 0$. This shows
that 0 cannot be a minimizer of $\psi$, not even a local one.
So $\overline{u} \ne 0$ and
$\overline{u} \ne \Lambda_{o}^{-1} (0) = 0$. \qed
\end{proof}
%
\begin{corollary}
Assume $H$ is $C^{2}$ and
$\left(a_{\infty},b_{\infty}\right)$-subquadratic at infinity. Let
$\xi_{1},\allowbreak\dots,\allowbreak\xi_{N}$ be the
equilibria, that is, the solutions of $H' (\xi ) = 0$.
Denote by $\omega_{k}$
the smallest eigenvalue of $H'' \left(\xi_{k}\right)$, and set:
\begin{equation}
\omega : = {\rm Min\,} \left\{\omega_{1},\dots,\omega_{k}\right\}\ .
\end{equation}
If:
\begin{equation}
\frac{T}{2\pi} b_{\infty} <
- E \left[- \frac{T}{2\pi}a_{\infty}\right] <
\frac{T}{2\pi}\omega
\label{2eq:three}
\end{equation}
then minimization of $\psi$ yields a non-constant $T$-periodic solution
$\overline{x}$.
\end{corollary}
%
We recall once more that by the integer part $E [\alpha ]$ of
$\alpha \in \bbbr$, we mean the $a\in \bbbz$
such that $a< \alpha \le a+1$. For instance,
if we take $a_{\infty} = 0$, Corollary 2 tells
us that $\overline{x}$ exists and is
non-constant provided that:
\begin{equation}
\frac{T}{2\pi} b_{\infty} < 1 < \frac{T}{2\pi}
\end{equation}
or
\begin{equation}
T\in \left(\frac{2\pi}{\omega},\frac{2\pi}{b_{\infty}}\right)\ .
\label{2eq:four}
\end{equation}
%
\begin{proof}
The spectrum of $\Lambda$ is $\frac{2\pi}{T} \bbbz +a_{\infty}$. The
largest negative eigenvalue $\lambda$ is given by
$\frac{2\pi}{T}k_{o} +a_{\infty}$,
where
\begin{equation}
\frac{2\pi}{T}k_{o} + a_{\infty} < 0
\le \frac{2\pi}{T} (k_{o} +1) + a_{\infty}\ .
\end{equation}
Hence:
\begin{equation}
k_{o} = E \left[- \frac{T}{2\pi} a_{\infty}\right] \ .
\end{equation}
The condition $\gamma < -\lambda < \delta$ now becomes:
\begin{equation}
b_{\infty} - a_{\infty} <
- \frac{2\pi}{T} k_{o} -a_{\infty} < \omega -a_{\infty}
\end{equation}
which is precisely condition (\ref{2eq:three}).\qed
\end{proof}
%
\begin{lemma}
Assume that $H$ is $C^{2}$ on $\bbbr^{2n} \setminus \{ 0\}$ and
that $H'' (x)$ is non-de\-gen\-er\-ate for any $x\ne 0$. Then any local
minimizer $\widetilde{x}$ of $\psi$ has minimal period $T$.
\end{lemma}
%
\begin{proof}
We know that $\widetilde{x}$, or
$\widetilde{x} + \xi$ for some constant $\xi
\in \bbbr^{2n}$, is a $T$-periodic solution of the Hamiltonian system:
\begin{equation}
\dot{x} = JH' (x)\ .
\end{equation}
There is no loss of generality in taking $\xi = 0$. So
$\psi (x) \ge \psi (\widetilde{x} )$
for all $\widetilde{x}$ in some neighbourhood of $x$ in
$W^{1,2} \left(\bbbr / T\bbbz ; \bbbr^{2n}\right)$.
But this index is precisely the index
$i_{T} (\widetilde{x} )$ of the $T$-periodic
solution $\widetilde{x}$ over the interval
$(0,T)$, as defined in Sect.~2.6. So
\begin{equation}
i_{T} (\widetilde{x} ) = 0\ .
\label{2eq:five}
\end{equation}
Now if $\widetilde{x}$ has a lower period, $T/k$ say,
we would have, by Corollary 31:
\begin{equation}
i_{T} (\widetilde{x} ) =
i_{kT/k}(\widetilde{x} ) \ge
ki_{T/k} (\widetilde{x} ) + k-1 \ge k-1 \ge 1\ .
\end{equation}
This would contradict (\ref{2eq:five}), and thus cannot happen.\qed
\end{proof}
%
\paragraph{Notes and Comments.}
The results in this section are a
refined version of \cite{2smit:wat};
the minimality result of Proposition
14 was the first of its kind.
To understand the nontriviality conditions, such as the one in formula
(\ref{2eq:four}), one may think of a one-parameter family
$x_{T}$, $T\in \left(2\pi\omega^{-1}, 2\pi b_{\infty}^{-1}\right)$
of periodic solutions, $x_{T} (0) = x_{T} (T)$,
with $x_{T}$ going away to infinity when $T\to 2\pi \omega^{-1}$,
which is the period of the linearized system at 0.
\begin{table}
\caption{This is the example table taken out of {\it The
\TeX{}book,} p.\,246}
\begin{center}
\begin{tabular}{r@{\quad}rl}
\hline
\multicolumn{1}{l}{\rule{0pt}{12pt}
Year}&\multicolumn{2}{l}{World population}\\[2pt]
\hline\rule{0pt}{12pt}
8000 B.C. & 5,000,000& \\
50 A.D. & 200,000,000& \\
1650 A.D. & 500,000,000& \\
1945 A.D. & 2,300,000,000& \\
1980 A.D. & 4,400,000,000& \\[2pt]
\hline
\end{tabular}
\end{center}
\end{table}
%
\begin{theorem} [Ghoussoub-Preiss]
Assume $H(t,x)$ is
$(0,\varepsilon )$-subquadratic at
infinity for all $\varepsilon > 0$, and $T$-periodic in $t$
\begin{equation}
H (t,\cdot )\ \ \ \ \ {\rm is\ convex}\ \ \forall t
\end{equation}
\begin{equation}
H (\cdot ,x)\ \ \ \ \ {\rm is}\ \ T{\rm -periodic}\ \ \forall x
\end{equation}
\begin{equation}
H (t,x)\ge n\left(\left\|x\right\|\right)\ \ \ \ \
{\rm with}\ \ n (s)s^{-1}\to \infty\ \ {\rm as}\ \ s\to \infty
\end{equation}
\begin{equation}
\forall \varepsilon > 0\ ,\ \ \ \exists c\ :\
H(t,x) \le \frac{\varepsilon}{2}\left\|x\right\|^{2} + c\ .
\end{equation}
Assume also that $H$ is $C^{2}$, and $H'' (t,x)$ is positive definite
everywhere. Then there is a sequence $x_{k}$, $k\in \bbbn$, of
$kT$-periodic solutions of the system
\begin{equation}
\dot{x} = JH' (t,x)
\end{equation}
such that, for every $k\in \bbbn$, there is some $p_{o}\in\bbbn$ with:
\begin{equation}
p\ge p_{o}\Rightarrow x_{pk} \ne x_{k}\ .
\end{equation}
\qed
\end{theorem}
%
\begin{example} [{{\rm External forcing}}]
Consider the system:
\begin{equation}
\dot{x} = JH' (x) + f(t)
\end{equation}
where the Hamiltonian $H$ is
$\left(0,b_{\infty}\right)$-subquadratic, and the
forcing term is a distribution on the circle:
\begin{equation}
f = \frac{d}{dt} F + f_{o}\ \ \ \ \
{\rm with}\ \ F\in L^{2} \left(\bbbr / T\bbbz; \bbbr^{2n}\right)\ ,
\end{equation}
where $f_{o} : = T^{-1}\int_{o}^{T} f (t) dt$. For instance,
\begin{equation}
f (t) = \sum_{k\in \bbbn} \delta_{k} \xi\ ,
\end{equation}
where $\delta_{k}$ is the Dirac mass at $t= k$ and
$\xi \in \bbbr^{2n}$ is a
constant, fits the prescription. This means that the system
$\dot{x} = JH' (x)$ is being excited by a
series of identical shocks at interval $T$.
\end{example}
%
\begin{definition}
Let $A_{\infty} (t)$ and $B_{\infty} (t)$ be symmetric
operators in $\bbbr^{2n}$, depending continuously on
$t\in [0,T]$, such that
$A_{\infty} (t) \le B_{\infty} (t)$ for all $t$.
A Borelian function
$H: [0,T]\times \bbbr^{2n} \to \bbbr$
is called
$\left(A_{\infty} ,B_{\infty}\right)$-{\it subquadratic at infinity}
if there exists a function $N(t,x)$ such that:
\begin{equation}
H (t,x) = \frac{1}{2} \left(A_{\infty} (t) x,x\right) + N(t,x)
\end{equation}
\begin{equation}
\forall t\ ,\ \ \ N(t,x)\ \ \ \ \
{\rm is\ convex\ with\ respect\ to}\ \ x
\end{equation}
\begin{equation}
N(t,x) \ge n\left(\left\|x\right\|\right)\ \ \ \ \
{\rm with}\ \ n(s)s^{-1}\to +\infty\ \ {\rm as}\ \ s\to +\infty
\end{equation}
\begin{equation}
\exists c\in \bbbr\ :\ \ \ H (t,x) \le
\frac{1}{2} \left(B_{\infty} (t) x,x\right) + c\ \ \ \forall x\ .
\end{equation}
If $A_{\infty} (t) = a_{\infty} I$ and
$B_{\infty} (t) = b_{\infty} I$, with
$a_{\infty} \le b_{\infty} \in \bbbr$,
we shall say that $H$ is
$\left(a_{\infty},b_{\infty}\right)$-subquadratic
at infinity. As an example, the function
$\left\|x\right\|^{\alpha}$, with
$1\le \alpha < 2$, is $(0,\varepsilon )$-subquadratic at infinity
for every $\varepsilon > 0$. Similarly, the Hamiltonian
\begin{equation}
H (t,x) = \frac{1}{2} k \left\|k\right\|^{2} +\left\|x\right\|^{\alpha}
\end{equation}
is $(k,k+\varepsilon )$-subquadratic for every $\varepsilon > 0$.
Note that, if $k<0$, it is not convex.
\end{definition}
%
\paragraph{Notes and Comments.}
The first results on subharmonics were
obtained by Rabinowitz in \cite{2fost:kes}, who showed the existence of
infinitely many subharmonics both in the subquadratic and superquadratic
case, with suitable growth conditions on $H'$. Again the duality
approach enabled Clarke and Ekeland in \cite{2may:ehr:stein} to treat the
same problem in the convex-subquadratic case, with growth conditions on
$H$ only.
Recently, Michalek and Tarantello (see Michalek, R., Tarantello, G.
\cite{2fost:kes} and Tarantello, G. \cite{2czaj:fitz}) have obtained lower
bound on the number of subharmonics of period $kT$, based on symmetry
considerations and on pinching estimates, as in Sect.~5.2 of this
article.
%
% ---- Bibliography ----
%
\begin{thebibliography}{}
\bibitem [1982]{2smit:wat}
Smith, T.F., Waterman, M.S.: Identification of common molecular subsequences.
J. Mol. Biol. 147, 195?197 (1981). \url{doi:10.1016/0022-2836(81)90087-5}
\bibitem [1978]{2may:ehr:stein}
May, P., Ehrlich, H.-C., Steinke, T.: ZIB structure prediction pipeline:
composing a complex biological workflow through web services.
In: Nagel, W.E., Walter, W.V., Lehner, W. (eds.) Euro-Par 2006.
LNCS, vol. 4128, pp. 1148?1158. Springer, Heidelberg (2006).
\url{doi:10.1007/11823285_121}
\bibitem [1988]{2fost:kes}
May, P., Ehrlich, H.-C., Steinke, T.: ZIB structure prediction pipeline:
composing a complex biological workflow through web services.
In: Nagel, W.E., Walter, W.V., Lehner, W. (eds.) Euro-Par 2006.
LNCS, vol. 4128, pp. 1148?1158. Springer, Heidelberg (2006).
\url{doi:10.1007/11823285_121}
\bibitem [(to appear)]{2czaj:fitz}
Czajkowski, K., Fitzgerald, S., Foster, I., Kesselman, C.: Grid information services
for distributed resource sharing. In: 10th IEEE International Symposium
on High Performance Distributed Computing, pp. 181?184. IEEE Press, New York (2001).
\url{doi: 10.1109/HPDC.2001.945188}
\bibitem [1980]{2fo:kes:nic:tue}
Foster, I., Kesselman, C., Nick, J., Tuecke, S.: The physiology of the grid: an open grid services architecture for distributed systems integration. Technical report, Global Grid
Forum (2002)
\bibitem [(last visited 2013)]{onlyurl}
National Center for Biotechnology Information. \url{http://www.ncbi.nlm.nih.gov}
\end{thebibliography}
\clearpage
%\addtocmark[2]{Author Index} % additional numbered TOC entry
\renewcommand{\indexname}{Author Index}
\printautindex
\end{document}
%%%%%%%%%%%%%%%%%%%% author.tex %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% sample root file for your "contribution" to a proceedings volume
%
% Use this file as a template for your own input.
%
%%%%%%%%%%%%%%%% Springer %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass{svproc}
%
% RECOMMENDED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% to typeset URLs, URIs, and DOIs
\usepackage{url}
\def\UrlFont{\rmfamily}
\begin{document}
\mainmatter % start of a contribution
%
\title{Hamiltonian Mechanics unter besonderer Ber\"ucksichtigung der
h\"ohereren Lehranstalten}
%
\titlerunning{Hamiltonian Mechanics} % abbreviated title (for running head)
% also used for the TOC unless
% \toctitle is used
%
\author{Ivar Ekeland\inst{1} \and Roger Temam\inst{2}
Jeffrey Dean \and David Grove \and Craig Chambers \and Kim~B.~Bruce \and
Elsa Bertino}
%
\authorrunning{Ivar Ekeland et al.} % abbreviated author list (for running head)
%
%%%% list of authors for the TOC (use if author list has to be modified)
\tocauthor{Ivar Ekeland, Roger Temam, Jeffrey Dean, David Grove,
Craig Chambers, Kim B. Bruce, and Elisa Bertino}
%
\institute{Princeton University, Princeton NJ 08544, USA,\\
\email{I.Ekeland@princeton.edu},\\ WWW home page:
\texttt{http://users/\homedir iekeland/web/welcome.html}
\and
Universit\'{e} de Paris-Sud,
Laboratoire d'Analyse Num\'{e}rique, B\^{a}timent 425,\\
F-91405 Orsay Cedex, France}
\maketitle % typeset the title of the contribution
\begin{abstract}
The abstract should summarize the contents of the paper
using at least 70 and at most 150 words. It will be set in 9-point
font size and be inset 1.0 cm from the right and left margins.
There will be two blank lines before and after the Abstract. \dots
% We would like to encourage you to list your keywords within
% the abstract section using the \keywords{...} command.
\keywords{computational geometry, graph theory, Hamilton cycles}
\end{abstract}
%
\section{Fixed-Period Problems: The Sublinear Case}
%
With this chapter, the preliminaries are over, and we begin the search
for periodic solutions to Hamiltonian systems. All this will be done in
the convex case; that is, we shall study the boundary-value problem
\begin{eqnarray*}
\dot{x}&=&JH' (t,x)\\
x(0) &=& x(T)
\end{eqnarray*}
with $H(t,\cdot)$ a convex function of $x$, going to $+\infty$ when
$\left\|x\right\| \to \infty$.
%
\subsection{Autonomous Systems}
%
In this section, we will consider the case when the Hamiltonian $H(x)$
is autonomous. For the sake of simplicity, we shall also assume that it
is $C^{1}$.
We shall first consider the question of nontriviality, within the
general framework of
$\left(A_{\infty},B_{\infty}\right)$-subquadratic Hamiltonians. In
the second subsection, we shall look into the special case when $H$ is
$\left(0,b_{\infty}\right)$-subquadratic,
and we shall try to derive additional information.
%
\subsubsection{The General Case: Nontriviality.}
%
We assume that $H$ is
$\left(A_{\infty},B_{\infty}\right)$-sub\-qua\-dra\-tic at infinity,
for some constant symmetric matrices $A_{\infty}$ and $B_{\infty}$,
with $B_{\infty}-A_{\infty}$ positive definite. Set:
\begin{eqnarray}
\gamma :&=&{\rm smallest\ eigenvalue\ of}\ \ B_{\infty} - A_{\infty} \\
\lambda : &=& {\rm largest\ negative\ eigenvalue\ of}\ \
J \frac{d}{dt} +A_{\infty}\ .
\end{eqnarray}
Theorem~\ref{ghou:pre} tells us that if $\lambda +\gamma < 0$, the
boundary-value problem:
\begin{equation}
\begin{array}{rcl}
\dot{x}&=&JH' (x)\\
x(0)&=&x (T)
\end{array}
\end{equation}
has at least one solution
$\overline{x}$, which is found by minimizing the dual
action functional:
\begin{equation}
\psi (u) = \int_{o}^{T} \left[\frac{1}{2}
\left(\Lambda_{o}^{-1} u,u\right) + N^{\ast} (-u)\right] dt
\end{equation}
on the range of $\Lambda$, which is a subspace $R (\Lambda)_{L}^{2}$
with finite codimension. Here
\begin{equation}
N(x) := H(x) - \frac{1}{2} \left(A_{\infty} x,x\right)
\end{equation}
is a convex function, and
\begin{equation}
N(x) \le \frac{1}{2}
\left(\left(B_{\infty} - A_{\infty}\right) x,x\right)
+ c\ \ \ \forall x\ .
\end{equation}
%
\begin{proposition}
Assume $H'(0)=0$ and $ H(0)=0$. Set:
\begin{equation}
\delta := \liminf_{x\to 0} 2 N (x) \left\|x\right\|^{-2}\ .
\label{eq:one}
\end{equation}
If $\gamma < - \lambda < \delta$,
the solution $\overline{u}$ is non-zero:
\begin{equation}
\overline{x} (t) \ne 0\ \ \ \forall t\ .
\end{equation}
\end{proposition}
%
\begin{proof}
Condition (\ref{eq:one}) means that, for every
$\delta ' > \delta$, there is some $\varepsilon > 0$ such that
\begin{equation}
\left\|x\right\| \le \varepsilon \Rightarrow N (x) \le
\frac{\delta '}{2} \left\|x\right\|^{2}\ .
\end{equation}
It is an exercise in convex analysis, into which we shall not go, to
show that this implies that there is an $\eta > 0$ such that
\begin{equation}
f\left\|x\right\| \le \eta
\Rightarrow N^{\ast} (y) \le \frac{1}{2\delta '}
\left\|y\right\|^{2}\ .
\label{eq:two}
\end{equation}
\begin{figure}
\vspace{2.5cm}
\caption{This is the caption of the figure displaying a white eagle and
a white horse on a snow field}
\end{figure}
Since $u_{1}$ is a smooth function, we will have
$\left\|hu_{1}\right\|_\infty \le \eta$
for $h$ small enough, and inequality (\ref{eq:two}) will hold,
yielding thereby:
\begin{equation}
\psi (hu_{1}) \le \frac{h^{2}}{2}
\frac{1}{\lambda} \left\|u_{1} \right\|_{2}^{2} + \frac{h^{2}}{2}
\frac{1}{\delta '} \left\|u_{1}\right\|^{2}\ .
\end{equation}
If we choose $\delta '$ close enough to $\delta$, the quantity
$\left(\frac{1}{\lambda} + \frac{1}{\delta '}\right)$
will be negative, and we end up with
\begin{equation}
\psi (hu_{1}) < 0\ \ \ \ \ {\rm for}\ \ h\ne 0\ \ {\rm small}\ .
\end{equation}
On the other hand, we check directly that $\psi (0) = 0$. This shows
that 0 cannot be a minimizer of $\psi$, not even a local one.
So $\overline{u} \ne 0$ and
$\overline{u} \ne \Lambda_{o}^{-1} (0) = 0$. \qed
\end{proof}
%
\begin{corollary}
Assume $H$ is $C^{2}$ and
$\left(a_{\infty},b_{\infty}\right)$-subquadratic at infinity. Let
$\xi_{1},\allowbreak\dots,\allowbreak\xi_{N}$ be the
equilibria, that is, the solutions of $H' (\xi ) = 0$.
Denote by $\omega_{k}$
the smallest eigenvalue of $H'' \left(\xi_{k}\right)$, and set:
\begin{equation}
\omega : = {\rm Min\,} \left\{\omega_{1},\dots,\omega_{k}\right\}\ .
\end{equation}
If:
\begin{equation}
\frac{T}{2\pi} b_{\infty} <
- E \left[- \frac{T}{2\pi}a_{\infty}\right] <
\frac{T}{2\pi}\omega
\label{eq:three}
\end{equation}
then minimization of $\psi$ yields a non-constant $T$-periodic solution
$\overline{x}$.
\end{corollary}
%
We recall once more that by the integer part $E [\alpha ]$ of
$\alpha \in \bbbr$, we mean the $a\in \bbbz$
such that $a< \alpha \le a+1$. For instance,
if we take $a_{\infty} = 0$, Corollary 2 tells
us that $\overline{x}$ exists and is
non-constant provided that:
\begin{equation}
\frac{T}{2\pi} b_{\infty} < 1 < \frac{T}{2\pi}
\end{equation}
or
\begin{equation}
T\in \left(\frac{2\pi}{\omega},\frac{2\pi}{b_{\infty}}\right)\ .
\label{eq:four}
\end{equation}
%
\begin{proof}
The spectrum of $\Lambda$ is $\frac{2\pi}{T} \bbbz +a_{\infty}$. The
largest negative eigenvalue $\lambda$ is given by
$\frac{2\pi}{T}k_{o} +a_{\infty}$,
where
\begin{equation}
\frac{2\pi}{T}k_{o} + a_{\infty} < 0
\le \frac{2\pi}{T} (k_{o} +1) + a_{\infty}\ .
\end{equation}
Hence:
\begin{equation}
k_{o} = E \left[- \frac{T}{2\pi} a_{\infty}\right] \ .
\end{equation}
The condition $\gamma < -\lambda < \delta$ now becomes:
\begin{equation}
b_{\infty} - a_{\infty} <
- \frac{2\pi}{T} k_{o} -a_{\infty} < \omega -a_{\infty}
\end{equation}
which is precisely condition (\ref{eq:three}).\qed
\end{proof}
%
\begin{lemma}
Assume that $H$ is $C^{2}$ on $\bbbr^{2n} \setminus \{ 0\}$ and
that $H'' (x)$ is non-de\-gen\-er\-ate for any $x\ne 0$. Then any local
minimizer $\widetilde{x}$ of $\psi$ has minimal period $T$.
\end{lemma}
%
\begin{proof}
We know that $\widetilde{x}$, or
$\widetilde{x} + \xi$ for some constant $\xi
\in \bbbr^{2n}$, is a $T$-periodic solution of the Hamiltonian system:
\begin{equation}
\dot{x} = JH' (x)\ .
\end{equation}
There is no loss of generality in taking $\xi = 0$. So
$\psi (x) \ge \psi (\widetilde{x} )$
for all $\widetilde{x}$ in some neighbourhood of $x$ in
$W^{1,2} \left(\bbbr / T\bbbz ; \bbbr^{2n}\right)$.
But this index is precisely the index
$i_{T} (\widetilde{x} )$ of the $T$-periodic
solution $\widetilde{x}$ over the interval
$(0,T)$, as defined in Sect.~2.6. So
\begin{equation}
i_{T} (\widetilde{x} ) = 0\ .
\label{eq:five}
\end{equation}
Now if $\widetilde{x}$ has a lower period, $T/k$ say,
we would have, by Corollary 31:
\begin{equation}
i_{T} (\widetilde{x} ) =
i_{kT/k}(\widetilde{x} ) \ge
ki_{T/k} (\widetilde{x} ) + k-1 \ge k-1 \ge 1\ .
\end{equation}
This would contradict (\ref{eq:five}), and thus cannot happen.\qed
\end{proof}
%
\paragraph{Notes and Comments.}
The results in this section are a
refined version of \cite{smit:wat};
the minimality result of Proposition
14 was the first of its kind.
To understand the nontriviality conditions, such as the one in formula
(\ref{eq:four}), one may think of a one-parameter family
$x_{T}$, $T\in \left(2\pi\omega^{-1}, 2\pi b_{\infty}^{-1}\right)$
of periodic solutions, $x_{T} (0) = x_{T} (T)$,
with $x_{T}$ going away to infinity when $T\to 2\pi \omega^{-1}$,
which is the period of the linearized system at 0.
\begin{table}
\caption{This is the example table taken out of {\it The
\TeX{}book,} p.\,246}
\begin{center}
\begin{tabular}{r@{\quad}rl}
\hline
\multicolumn{1}{l}{\rule{0pt}{12pt}
Year}&\multicolumn{2}{l}{World population}\\[2pt]
\hline\rule{0pt}{12pt}
8000 B.C. & 5,000,000& \\
50 A.D. & 200,000,000& \\
1650 A.D. & 500,000,000& \\
1945 A.D. & 2,300,000,000& \\
1980 A.D. & 4,400,000,000& \\[2pt]
\hline
\end{tabular}
\end{center}
\end{table}
%
\begin{theorem} [Ghoussoub-Preiss]\label{ghou:pre}
Assume $H(t,x)$ is
$(0,\varepsilon )$-subquadratic at
infinity for all $\varepsilon > 0$, and $T$-periodic in $t$
\begin{equation}
H (t,\cdot )\ \ \ \ \ {\rm is\ convex}\ \ \forall t
\end{equation}
\begin{equation}
H (\cdot ,x)\ \ \ \ \ {\rm is}\ \ T{\rm -periodic}\ \ \forall x
\end{equation}
\begin{equation}
H (t,x)\ge n\left(\left\|x\right\|\right)\ \ \ \ \
{\rm with}\ \ n (s)s^{-1}\to \infty\ \ {\rm as}\ \ s\to \infty
\end{equation}
\begin{equation}
\forall \varepsilon > 0\ ,\ \ \ \exists c\ :\
H(t,x) \le \frac{\varepsilon}{2}\left\|x\right\|^{2} + c\ .
\end{equation}
Assume also that $H$ is $C^{2}$, and $H'' (t,x)$ is positive definite
everywhere. Then there is a sequence $x_{k}$, $k\in \bbbn$, of
$kT$-periodic solutions of the system
\begin{equation}
\dot{x} = JH' (t,x)
\end{equation}
such that, for every $k\in \bbbn$, there is some $p_{o}\in\bbbn$ with:
\begin{equation}
p\ge p_{o}\Rightarrow x_{pk} \ne x_{k}\ .
\end{equation}
\qed
\end{theorem}
%
\begin{example} [{{\rm External forcing}}]
Consider the system:
\begin{equation}
\dot{x} = JH' (x) + f(t)
\end{equation}
where the Hamiltonian $H$ is
$\left(0,b_{\infty}\right)$-subquadratic, and the
forcing term is a distribution on the circle:
\begin{equation}
f = \frac{d}{dt} F + f_{o}\ \ \ \ \
{\rm with}\ \ F\in L^{2} \left(\bbbr / T\bbbz; \bbbr^{2n}\right)\ ,
\end{equation}
where $f_{o} : = T^{-1}\int_{o}^{T} f (t) dt$. For instance,
\begin{equation}
f (t) = \sum_{k\in \bbbn} \delta_{k} \xi\ ,
\end{equation}
where $\delta_{k}$ is the Dirac mass at $t= k$ and
$\xi \in \bbbr^{2n}$ is a
constant, fits the prescription. This means that the system
$\dot{x} = JH' (x)$ is being excited by a
series of identical shocks at interval $T$.
\end{example}
%
\begin{definition}
Let $A_{\infty} (t)$ and $B_{\infty} (t)$ be symmetric
operators in $\bbbr^{2n}$, depending continuously on
$t\in [0,T]$, such that
$A_{\infty} (t) \le B_{\infty} (t)$ for all $t$.
A Borelian function
$H: [0,T]\times \bbbr^{2n} \to \bbbr$
is called
$\left(A_{\infty} ,B_{\infty}\right)$-{\it subquadratic at infinity}
if there exists a function $N(t,x)$ such that:
\begin{equation}
H (t,x) = \frac{1}{2} \left(A_{\infty} (t) x,x\right) + N(t,x)
\end{equation}
\begin{equation}
\forall t\ ,\ \ \ N(t,x)\ \ \ \ \
{\rm is\ convex\ with\ respect\ to}\ \ x
\end{equation}
\begin{equation}
N(t,x) \ge n\left(\left\|x\right\|\right)\ \ \ \ \
{\rm with}\ \ n(s)s^{-1}\to +\infty\ \ {\rm as}\ \ s\to +\infty
\end{equation}
\begin{equation}
\exists c\in \bbbr\ :\ \ \ H (t,x) \le
\frac{1}{2} \left(B_{\infty} (t) x,x\right) + c\ \ \ \forall x\ .
\end{equation}
If $A_{\infty} (t) = a_{\infty} I$ and
$B_{\infty} (t) = b_{\infty} I$, with
$a_{\infty} \le b_{\infty} \in \bbbr$,
we shall say that $H$ is
$\left(a_{\infty},b_{\infty}\right)$-subquadratic
at infinity. As an example, the function
$\left\|x\right\|^{\alpha}$, with
$1\le \alpha < 2$, is $(0,\varepsilon )$-subquadratic at infinity
for every $\varepsilon > 0$. Similarly, the Hamiltonian
\begin{equation}
H (t,x) = \frac{1}{2} k \left\|k\right\|^{2} +\left\|x\right\|^{\alpha}
\end{equation}
is $(k,k+\varepsilon )$-subquadratic for every $\varepsilon > 0$.
Note that, if $k<0$, it is not convex.
\end{definition}
%
\paragraph{Notes and Comments.}
The first results on subharmonics were
obtained by Rabinowitz in \cite{fo:kes:nic:tue}, who showed the existence of
infinitely many subharmonics both in the subquadratic and superquadratic
case, with suitable growth conditions on $H'$. Again the duality
approach enabled Clarke and Ekeland in \cite{may:ehr:stein} to treat the
same problem in the convex-subquadratic case, with growth conditions on
$H$ only.
Recently, Michalek and Tarantello (see \cite{fost:kes} and \cite{czaj:fitz})
have obtained lower bound on the number of subharmonics of period $kT$,
based on symmetry considerations and on pinching estimates, as in
Sect.~5.2 of this article.
%
% ---- Bibliography ----
%
\begin{thebibliography}{6}
%
\bibitem {smit:wat}
Smith, T.F., Waterman, M.S.: Identification of common molecular subsequences.
J. Mol. Biol. 147, 195?197 (1981). \url{doi:10.1016/0022-2836(81)90087-5}
\bibitem {may:ehr:stein}
May, P., Ehrlich, H.-C., Steinke, T.: ZIB structure prediction pipeline:
composing a complex biological workflow through web services.
In: Nagel, W.E., Walter, W.V., Lehner, W. (eds.) Euro-Par 2006.
LNCS, vol. 4128, pp. 1148?1158. Springer, Heidelberg (2006).
\url{doi:10.1007/11823285_121}
\bibitem {fost:kes}
Foster, I., Kesselman, C.: The Grid: Blueprint for a New Computing Infrastructure.
Morgan Kaufmann, San Francisco (1999)
\bibitem {czaj:fitz}
Czajkowski, K., Fitzgerald, S., Foster, I., Kesselman, C.: Grid information services
for distributed resource sharing. In: 10th IEEE International Symposium
on High Performance Distributed Computing, pp. 181?184. IEEE Press, New York (2001).
\url{doi: 10.1109/HPDC.2001.945188}
\bibitem {fo:kes:nic:tue}
Foster, I., Kesselman, C., Nick, J., Tuecke, S.: The physiology of the grid: an open grid services architecture for distributed systems integration. Technical report, Global Grid
Forum (2002)
\bibitem {onlyurl}
National Center for Biotechnology Information. \url{http://www.ncbi.nlm.nih.gov}
\end{thebibliography}
\end{document}
\begin{thebibliography}{10}
\providecommand{\url}[1]{{#1}}
\providecommand{\urlprefix}{URL }
\expandafter\ifx\csname urlstyle\endcsname\relax
\providecommand{\doi}[1]{DOI \discretionary{}{}{}#1}\else
\providecommand{\doi}{DOI \discretionary{}{}{}\begingroup
\urlstyle{rm}\Url}\fi
\bibitem{Ullmann2017}
J.~L. Ullmann et~al., Physical Review C \textbf{96}(2) (2017)
\bibitem{Schiller2000}
A.~Schiller et~al., Nucl. Instrum. Methods Phys. Res. A \textbf{447}(3),
498–511 (2000)
\bibitem{Larsen2011}
A.~C. Larsen et~al., Phys. Rev. C \textbf{83}(3), 034315 (2011)
\bibitem{Guttormsen2012}
M.~Guttormsen et~al., Phys. Rev. Lett. \textbf{109}(16) (2012)
\bibitem{Guttormsen2013}
M.~Guttormsen et~al., Phys. Rev. C \textbf{88}(2), 024307 (2013)
\bibitem{Guttormsen2014}
M.~Guttormsen et~al., Phys. Rev. C \textbf{89}(1), 014302 (2014)
\bibitem{Tornyi2014a}
T.~G. Tornyi et~al., Phys. Rev. C \textbf{89}(4), 044323 (2014)
\bibitem{Laplace2015}
T.~A. Laplace et~al., Physical Review C \textbf{93}(1), 014323 (2016)
\bibitem{Heyde2010}
K.~Heyde et~al., Rev. Mod. Phys. \textbf{82}(3), 2365–2419 (2010)
\bibitem{Henderson2011}
R.~Henderson et~al., Nucl. Instrum. Methods Phys. Res., Sect. A
\textbf{655}(1), 66–71 (2011)
\bibitem{Guttormsen2011}
M.~Guttormsen et~al., Nucl. Instrum. Methods Phys. Res. A \textbf{648}(1),
168–173 (2011)
\bibitem{Guttormsen1990}
M.~Guttormsen et~al., Phys. Scr. \textbf{T32}, 54–60 (1990)
\bibitem{Tornyi2014}
T.~G. Tornyi et~al., Nucl. Instrum. Methods Phys. Res. A \textbf{738}, 6–12
(2014)
\bibitem{Guttormsen1996}
M.~Guttormsen et~al., Nucl. Instrum. Methods Phys. Res. A \textbf{374}(3),
371–376 (1996)
\bibitem{Campo2016}
L.~C. Campo et~al., Physical Review C \textbf{94}(4) (2016)
\bibitem{Guttormsen1987}
M.~Guttormsen et~al., Nucl. Instrum. Methods Phys. Res. A \textbf{255}(3),
518–523 (1987)
\bibitem{Singh2008}
B.~Singh et~al., Nucl. Data Sheets \textbf{109}(10), 2439–2499 (2008).
\newblock Data extracted from the ENSDF database, version November 2010
\bibitem{Back1974}
B.~B. Back et~al., Physical Review C \textbf{9}(5), 1924 (1974)
\bibitem{Hunyadi2001}
M.~Hunyadi et~al., Phys. Lett. B \textbf{505}(1-4), 27–35 (2001)
\bibitem{Rose2017}
S.~J. Rose et~al., Phys. Rev. C \textbf{96}, 014601 (2017)
\bibitem{NNDC}
Data extracted from the endsf database using nndc's chart of nuclides,
http://www.nndc.bnl.gov/chart/.
\newblock accessed 10.05.2015
\bibitem{RIPL3}
R.~Capote et~al., Nucl. Data Sheets \textbf{110}(12), 3107–3214 (2009).
\newblock Data extraced from RIPL-3 online database
https://www-nds.iaea.org/RIPL-3/, accessed 10.05.2015.
\bibitem{Ericson1960}
T.~Ericson, Adv. Phys. \textbf{9}(36), 425 (1960)
\bibitem{Egidy2005}
T.~von Egidy et~al., Phys. Rev. C \textbf{72}(4), 044311 (2005)
\bibitem{Gilbert1965}
A.~Gilbert et~al., Can. J. Phys. \textbf{43}(8), 1446 (1965)
\bibitem{Kopecky2017}
J.~Kopecky et~al., Phys. Rev. C \textbf{95}, 054317 (2017)
\bibitem{Moraes1993}
M.~A. P.~V. De~Moraes et~al., Phys. Scr. \textbf{47}(4), 519 (1993)
\bibitem{Gurevich1976}
G.~Gurevich et~al., Nucl. Phys. A \textbf{273}(2), 326 (1976)
\bibitem{Voinov2001}
A.~Voinov et~al., Physical Review C \textbf{63}(4) (2001)
\bibitem{Kopecky1990}
J.~Kopecky et~al., Physical Review C \textbf{41}(5), 1941–1955 (1990)
\bibitem{Potel2015}
G.~Potel et~al., Physical Review C \textbf{92}(3) (2015)
\bibitem{Potel2017}
G.~Potel et~al., The European Physical Journal A \textbf{53}(9) (2017)
\bibitem{Capote2008}
R.~Capote et~al., J. Nucl. Sci. Technol. \textbf{45}(4), 333 (2008)
\bibitem{Kirsch2018}
L.~Kirsch et~al., Nucl. Instrum. Methods Phys. Res., Sect. A \textbf{892}, 30
(2018)
\end{thebibliography}