Showing 1–50 of 63 results for author: Kappeler, T

On the analyticity of the nonlinear Fourier transform of the Benjamin-Ono equation on $\mathbb{T}$

Authors: P. Gérard, T. Kappeler, P. Topalov

Abstract: We prove that the nonlinear Fourier transform of the Benjamin-Ono equation on $\mathbb{T}$, also referred to as Birkhoff map, is a real analytic diffeomorphism from the scale of Sobolev spaces $H^{s}_{0}(\mathbb{T},\mathbb{R})$, $s > -1/2$, to the scale of weighted $\ell^2-$sequence spaces, $\mathfrak{h}^{s +1/2}_{r,0}(\mathbb{N},\mathbb{C})$, $s >-1/2$. As an application we show that for any… ▽ More We prove that the nonlinear Fourier transform of the Benjamin-Ono equation on $\mathbb{T}$, also referred to as Birkhoff map, is a real analytic diffeomorphism from the scale of Sobolev spaces $H^{s}_{0}(\mathbb{T},\mathbb{R})$, $s > -1/2$, to the scale of weighted $\ell^2-$sequence spaces, $\mathfrak{h}^{s +1/2}_{r,0}(\mathbb{N},\mathbb{C})$, $s >-1/2$. As an application we show that for any $-1/2<s<0$, the flow map of the Benjamin-Ono equation $\mathcal{S}_0^t : H^{s}_{0}(\mathbb{T},\mathbb{R})\to H^{s}_{0}(\mathbb{T},\mathbb{R})$ is {\em nowhere locally uniformly continuous} in $H^{s}_{0}(\mathbb{T},\mathbb{R})$. △ Less

Submitted 18 September, 2021; originally announced September 2021.

MSC Class: 37K15; 47B35

Normal form coordinates for the Benjamin-Ono equation having expansions in terms of pseudo-differential operators

Authors: Thomas Kappeler, Riccardo Montalto

Abstract: Near an arbitrary finite gap potential we construct real analytic, canonical coordinates for the Benjamin-Ono equation on the torus having the following two main properties: (1) up to a remainder term, which is smoothing to any given order, the coordinate transformation is a pseudo-differential operator of order 0 with principal part given by a modified Fourier transform (modification by a phase f… ▽ More Near an arbitrary finite gap potential we construct real analytic, canonical coordinates for the Benjamin-Ono equation on the torus having the following two main properties: (1) up to a remainder term, which is smoothing to any given order, the coordinate transformation is a pseudo-differential operator of order 0 with principal part given by a modified Fourier transform (modification by a phase factor) and (2) the pullback of the Hamiltonian of the Benjamin-Ono is in normal form up to order three and the corresponding Hamiltonian vector field admits an expansion in terms of para-differential operators. Such coordinates are a key ingredient for studying the stability of finite gap solutions of the Benjamin-Ono equation under small, quasi-linear perturbations. △ Less

Submitted 6 September, 2021; originally announced September 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:1812.05391

MSC Class: 37K10; 35Q55

On smoothing properties and Tao's gauge transform of the Benjamin-Ono equation on the torus

Authors: Patrick Gérard, Thomas Kappeler, Peter Topalov

Abstract: We prove smoothing properties of the solutions of the Benjamin-Ono equation in the Sobolev space $H^{s}(\mathbb{T},\mathbb{R})$ for any $s\ge 0$. To this end we show that Tao's gauge transform is a high frequency approximation of the nonlinear Fourier transform $Φ$ for the Benjamin-Ono equation, constructed in our previous work. The results of this paper are manifestations of the quasi-linear char… ▽ More We prove smoothing properties of the solutions of the Benjamin-Ono equation in the Sobolev space $H^{s}(\mathbb{T},\mathbb{R})$ for any $s\ge 0$. To this end we show that Tao's gauge transform is a high frequency approximation of the nonlinear Fourier transform $Φ$ for the Benjamin-Ono equation, constructed in our previous work. The results of this paper are manifestations of the quasi-linear character of the Benjamin-Ono equation. △ Less

Submitted 1 September, 2021; originally announced September 2021.

MSC Class: 37K15; 47B35

On the Benjamin-Ono equation on $\mathbb{T}$ and its periodic and quasiperiodic solutions

Authors: Patrick Gérard, Thomas Kappeler, Petar Topalov

Abstract: In this paper, we survey our recent results on the Benjamin-Ono equation on the torus. As an application of the methods developed we construct large families of periodic or quasiperiodic solutions, which are not $C^\infty$-smooth. In this paper, we survey our recent results on the Benjamin-Ono equation on the torus. As an application of the methods developed we construct large families of periodic or quasiperiodic solutions, which are not $C^\infty$-smooth. △ Less

Submitted 16 March, 2021; originally announced March 2021.

On the analytic Birkhoff normal form of the Benjamin-Ono equation and applications

Authors: P. Gérard, T. Kappeler, P. Topalov

Abstract: In this paper we prove that the Benjamin-Ono equation admits an analytic Birkhoff normal form in an open neighborhood of zero in $H^{s}_{0}(\T, \R)$ for any $s>-1/2$ where $H^{s}_{0}(\T, \R)$ denotes the subspace of the Sobolev space $H^{s}(\T, \R)$ of elements with mean $0$. As an application we show that for any $-1/2<s<0$, the flow map of the Benjamin-Ono equation… ▽ More In this paper we prove that the Benjamin-Ono equation admits an analytic Birkhoff normal form in an open neighborhood of zero in $H^{s}_{0}(\T, \R)$ for any $s>-1/2$ where $H^{s}_{0}(\T, \R)$ denotes the subspace of the Sobolev space $H^{s}(\T, \R)$ of elements with mean $0$. As an application we show that for any $-1/2<s<0$, the flow map of the Benjamin-Ono equation $\mathcal{S}_0^t : H^{s}_{0}(\T, \R)\to H^{s}_{0}(\T, \R)$ is nowhere locally uniformly continuous in a neighborhood of zero in $H^{s}_{0}(\T, \R)$. △ Less

Submitted 14 March, 2021; originally announced March 2021.

On the stability of periodic multi-solitons of the KdV equation

Authors: Thomas Kappeler, Riccardo Montalto

Abstract: In this paper we obtain the following stability result for periodic multi-solitons of the KdV equation: We prove that under any given semilinear Hamiltonian perturbation of small size $\varepsilon > 0$, a large class of periodic multi-solitons of the KdV equation, including ones of large amplitude, are orbitally stable for a time interval of length at least $O(\varepsilon^{-2})$. To the best of ou… ▽ More In this paper we obtain the following stability result for periodic multi-solitons of the KdV equation: We prove that under any given semilinear Hamiltonian perturbation of small size $\varepsilon > 0$, a large class of periodic multi-solitons of the KdV equation, including ones of large amplitude, are orbitally stable for a time interval of length at least $O(\varepsilon^{-2})$. To the best of our knowledge, this is the first stability result of such type for periodic multi-solitons of large size of an integrable PDE. △ Less

Submitted 29 March, 2021; v1 submitted 6 September, 2020; originally announced September 2020.

Comments: The title has been changed. Other minor changes in the text

MSC Class: 37K10; 35Q53; 37K45

Localisation for the torsion function and the strong Hardy inequality

Authors: Michiel van den Berg, Thomas Kappeler

Abstract: Two-sided bounds for the efficiency of the torsion function are obtained in terms of the square of the distance to the boundary function under the hypothesis that the Dirichlet Laplacian satisfies a strong Hardy inequality. Localisation properties of the torsion function are obtained under that hypothesis. An example is analysed in detail. Two-sided bounds for the efficiency of the torsion function are obtained in terms of the square of the distance to the boundary function under the hypothesis that the Dirichlet Laplacian satisfies a strong Hardy inequality. Localisation properties of the torsion function are obtained under that hypothesis. An example is analysed in detail. △ Less

Submitted 10 March, 2021; v1 submitted 17 August, 2020; originally announced August 2020.

Comments: 20 pages, 4 figures

On the spectrum of the Lax operator of the Benjamin-Ono equation on the torus

Authors: Patrick Gérard, Thomas Kappeler, Peter Topalov

Abstract: We investigate the spectrum of the Lax operator $L_u$ of the Benjamin-Ono equation on the torus for complex valued potentials $u$ in the Sobolev space $H^{-s}(\mathbb{T},\mathbb{C})$, $0 \le s < 1/2$, with small imaginary part and prove analytic properties of the moment map, defined in terms of spectral data of $L_u$. We investigate the spectrum of the Lax operator $L_u$ of the Benjamin-Ono equation on the torus for complex valued potentials $u$ in the Sobolev space $H^{-s}(\mathbb{T},\mathbb{C})$, $0 \le s < 1/2$, with small imaginary part and prove analytic properties of the moment map, defined in terms of spectral data of $L_u$. △ Less

Submitted 1 October, 2021; v1 submitted 21 June, 2020; originally announced June 2020.

Comments: In this revised version, we have corrected various misprints, updated and added some references, slightly simplified the exposition in Section 6, and made minor corrections to the estimate (50), the proof of Proposition 6, and the statement and proof of Lemma 18

MSC Class: 37K15; 47B35

On efficiency and localisation for the torsion function

Authors: M. van den Berg, D. Bucur, T. Kappeler

Abstract: We consider the torsion function for the Dirichlet Laplacian $-Δ$, and for the Schrödinger operator $- Δ+ V$ on an open set $Ω\subset \R^m$ of finite Lebesgue measure $0<|Ω|<\infty$ with a real-valued, non-negative, measurable potential $V.$ We investigate the efficiency and the phenomenon of localisation for the torsion function, and their interplay with the geometry of the first Dirichlet eigenf… ▽ More We consider the torsion function for the Dirichlet Laplacian $-Δ$, and for the Schrödinger operator $- Δ+ V$ on an open set $Ω\subset \R^m$ of finite Lebesgue measure $0<|Ω|<\infty$ with a real-valued, non-negative, measurable potential $V.$ We investigate the efficiency and the phenomenon of localisation for the torsion function, and their interplay with the geometry of the first Dirichlet eigenfunction. △ Less

Submitted 21 June, 2023; v1 submitted 13 May, 2020; originally announced May 2020.

Comments: 33 pages. The published version in Potential Analysis (2022) 57, 571--600 has some typos: Theorem 3(i): the first exponent should read $(m-2)/m$; Example 2 Line 2: .... $B(p_{n+1};cn^{-β})$.....; Formula (109): $κ^{-1}$ missing after the second inequality

Sharp well-posedness results of the Benjamin-Ono equation in $H^{s}(\mathbb{T},\mathbb{R})$ and qualitative properties of its solution

Authors: P. Gérard, T. Kappeler, P. Topalov

Abstract: We prove that the Benjamin--Ono equation on the torus is globally in time well-posed in the Sobolev space $H^{s}(\mathbb{T},\mathbb{R})$ for any $s > - 1/2$ and ill-posed for $s \le - 1/2$. Hence the critical Sobolev exponent $s_c=-1/2$ of the Benjamin--Ono equation is the threshold for well-posedness on the torus. The obtained solutions are almost periodic in time. Furthermore, we prove that the… ▽ More We prove that the Benjamin--Ono equation on the torus is globally in time well-posed in the Sobolev space $H^{s}(\mathbb{T},\mathbb{R})$ for any $s > - 1/2$ and ill-posed for $s \le - 1/2$. Hence the critical Sobolev exponent $s_c=-1/2$ of the Benjamin--Ono equation is the threshold for well-posedness on the torus. The obtained solutions are almost periodic in time. Furthermore, we prove that the traveling wave solutions of the Benjamin-Ono equation on the torus are orbitally stable in $H^{s}(\mathbb{T},\mathbb{R})$ for any $ s > - 1/2$. Novel conservation laws and a nonlinear Fourier transform on $H^{s}(\mathbb{T},\mathbb{R})$ with $s > - 1/2$ are key ingredients into the proofs of these results. △ Less

Submitted 9 April, 2020; originally announced April 2020.

Comments: The paper is a greatly extended version of arXiv:1909.07314. In particular, we have included the result on ill-posedness of the Benjamin-Ono equation in $H^{-1/2}$ and added an appendix on the restriction of the Birkhoff map to the scale of Sobolev space $H^s$, $s>0$, and another one on a sharper form of ill-posedness of the Benjamin-Ono equation in $H^{s}_{r}$ with $s<-1/2$

On nomalized differentials on spectral curves associated to thesinh-Gordon equation

Authors: Thomas Kappeler, Yannick Widmer

Abstract: The spectral curve associated with the sinh-Gordon equation on the torus is defined interms of the spectrum of the Lax operator appearing in the Lax pair formulation of the equation. If thespectrum is simple, it is an open Riemann surface of infinite genus. In this paper we construct normalizeddifferentials and derive estimates for the location of their zeroes. The spectral curve associated with the sinh-Gordon equation on the torus is defined interms of the spectrum of the Lax operator appearing in the Lax pair formulation of the equation. If thespectrum is simple, it is an open Riemann surface of infinite genus. In this paper we construct normalizeddifferentials and derive estimates for the location of their zeroes. △ Less

Submitted 20 March, 2020; originally announced March 2020.

Comments: 58 pages, 7 figures

Arnold-Liouville theorem for integrable PDEs: a case study of the focusing NLS equation

Authors: Thomas Kappeler, Peter Topalov

Abstract: We prove an infinite dimensional version of the Arnold-Liouville theorem for integrable non-linear PDEs: In a case study we consider the {\em focusing} NLS equation with periodic boundary conditions. We prove an infinite dimensional version of the Arnold-Liouville theorem for integrable non-linear PDEs: In a case study we consider the {\em focusing} NLS equation with periodic boundary conditions. △ Less

Submitted 26 February, 2020; originally announced February 2020.

MSC Class: 37K10; 37K20; 35P10; 35P15

On the flow map of the Benjamin-Ono equation on the torus

Authors: Patrick Gerard, Thomas Kappeler, Peter Topalov

Abstract: We prove that for any $0 < s < 1/2$, the Benjamin--Ono equation on the torus is globally in time $C^0-$well-posed on the Sobolev space $H^{-s}(\T, \R)$,in the sense that the solution map, which is known to be defined for smooth data, continuously extends to $H^{-s}(\T,\R)$. The solution map does not extend continuously to $H^{-s}(\T, \R)$ with $s > 1/2$. Hence the critical Sobolev exponent… ▽ More We prove that for any $0 < s < 1/2$, the Benjamin--Ono equation on the torus is globally in time $C^0-$well-posed on the Sobolev space $H^{-s}(\T, \R)$,in the sense that the solution map, which is known to be defined for smooth data, continuously extends to $H^{-s}(\T,\R)$. The solution map does not extend continuously to $H^{-s}(\T, \R)$ with $s > 1/2$. Hence the critical Sobolev exponent $s_c=-1/2$ of the Benjamin--Ono equation is the threshold for well-posedness on the torus. The obtained solutions are almost periodic in time. Furthermore, we prove that the traveling wave solutions of the Benjamin--Ono equation on the torus are orbitally stable in $H^{-s}(\T,\R)$ for any $0\le s<1/2$. △ Less

Submitted 6 December, 2019; v1 submitted 16 September, 2019; originally announced September 2019.

Comments: This is an extended version of the paper submitted on September 16, 2019. It contains additional new results

Large KAM tori for quasi-linear perturbations of KdV

Authors: Massimiliano Berti, Thomas Kappeler, Riccardo Montalto

Abstract: In this paper we prove the persistence of space periodic multi-solitons of arbitrary size under any quasi-linear Hamiltonian perturbation, which is smooth and sufficiently small. This answers positively a longstanding question whether KAM techniques can be further developed to prove the existence of quasi-periodic solutions of arbitrary size of strongly nonlinear perturbations of integrable PDEs. In this paper we prove the persistence of space periodic multi-solitons of arbitrary size under any quasi-linear Hamiltonian perturbation, which is smooth and sufficiently small. This answers positively a longstanding question whether KAM techniques can be further developed to prove the existence of quasi-periodic solutions of arbitrary size of strongly nonlinear perturbations of integrable PDEs. △ Less

Submitted 16 October, 2019; v1 submitted 23 August, 2019; originally announced August 2019.

Comments: The new version contains a revised introduction

MSC Class: 37K55; 35Q53; 37K10

On the integrability of the Benjamin-Ono equation on the torus

Authors: Patrick Gerard, Thomas Kappeler

Abstract: In this paper we prove that the Benjamin-Ono equation, when considered on the torus, is an integrable (pseudo)differential equation in the strongest possible sense: it admits global Birkhoff coordinates on the space $L^2(\T)$. These are coordinates which allow to integrate it by quadrature and hence are also referred to as nonlinear Fourier coefficients. As a consequence, all the $L^2(\T)$ solutio… ▽ More In this paper we prove that the Benjamin-Ono equation, when considered on the torus, is an integrable (pseudo)differential equation in the strongest possible sense: it admits global Birkhoff coordinates on the space $L^2(\T)$. These are coordinates which allow to integrate it by quadrature and hence are also referred to as nonlinear Fourier coefficients. As a consequence, all the $L^2(\T)$ solutions of the Benjamin--Ono equation are almost periodic functions of the time variable. The construction of such coordinates relies on the spectral study of the Lax operator in the Lax pair formulation of the Benjamin--Ono equation and on the use of a generating functional, which encodes the entire Benjamin--Ono hierarchy. △ Less

Submitted 4 November, 2019; v1 submitted 6 May, 2019; originally announced May 2019.

Comments: 59 pages This new version corrected some typos and updated the references

MSC Class: 37K15; 47B35the

Normal form coordinates for the KdV equation having expansions in terms of pseudodifferential operators

Authors: Thomas Kappeler, Riccardo Montalto

Abstract: Near an arbitrary finite gap potential we construct real analytic, canonical coordinates for the KdV equation on the torus having the following two main properties: (1) up to a remainder term, which is smoothing to any given order, the coordinate transformation is a pseudodifferential operator of order 0 with principal part given by the Fourier transform and (2) the pullback of the KdV Hamiltonian… ▽ More Near an arbitrary finite gap potential we construct real analytic, canonical coordinates for the KdV equation on the torus having the following two main properties: (1) up to a remainder term, which is smoothing to any given order, the coordinate transformation is a pseudodifferential operator of order 0 with principal part given by the Fourier transform and (2) the pullback of the KdV Hamiltonian is in normal form up to order three and the corresponding Hamiltonian vector field admits an expansion in terms of a paradifferential operator. Such coordinates are a key ingredient for studying the stability of finite gap solutions of the KdV equation under small, quasi-linear perturbations. △ Less

Submitted 13 December, 2018; originally announced December 2018.

MSC Class: 37K10; 35Q55

On the non-existence of local Birkhoff coordinates for the focusing NLS equation

Authors: T. Kappeler, P. Topalov

Abstract: We prove that there exist potentials so that near them the focusing non-linear Schrödinger equation does not admit local Birkhoff coordinates. The proof is based on the construction of a local normal form of the linearization of the equation at such potentials. We prove that there exist potentials so that near them the focusing non-linear Schrödinger equation does not admit local Birkhoff coordinates. The proof is based on the construction of a local normal form of the linearization of the equation at such potentials. △ Less

Submitted 27 September, 2018; v1 submitted 6 July, 2018; originally announced July 2018.

MSC Class: 35

On the $L^p$ norm of the torsion unction

Authors: Michiel van den Berg, Thomas Kappeler

Abstract: Bounds are obtained for the $L^p$ norm of the torsion function $v_Ω$, i.e. the solution of $-Δv=1,\, v\in H_0^1(Ω),$ in terms of the Lebesgue measure of $Ω$ and the principal eigenvalue $λ_1(Ω)$ of the Dirichlet Laplacian acting in $L^2(Ω)$. We show that these bounds are sharp for $1\le p\le 2$. Bounds are obtained for the $L^p$ norm of the torsion function $v_Ω$, i.e. the solution of $-Δv=1,\, v\in H_0^1(Ω),$ in terms of the Lebesgue measure of $Ω$ and the principal eigenvalue $λ_1(Ω)$ of the Dirichlet Laplacian acting in $L^2(Ω)$. We show that these bounds are sharp for $1\le p\le 2$. △ Less

Submitted 15 February, 2018; originally announced February 2018.

Comments: 14 pages

On the wellposedness of the KdV equation on the space of pseudomeasures

Authors: Thomas Kappeler, Jan Molnar

Abstract: In this paper we prove a wellposedness result of the KdV equation on the space of periodic pseudo-measures, also referred to as the Fourier Lebesgue space $\mathscr{F}\ell^{\infty}(\mathbb{T},\mathbb{R})$, where $\mathscr{F}\ell^{\infty}(\mathbb{T},\mathbb{R})$ is endowed with the weak* topology. Actually, it holds on any weighted Fourier Lebesgue space… ▽ More In this paper we prove a wellposedness result of the KdV equation on the space of periodic pseudo-measures, also referred to as the Fourier Lebesgue space $\mathscr{F}\ell^{\infty}(\mathbb{T},\mathbb{R})$, where $\mathscr{F}\ell^{\infty}(\mathbb{T},\mathbb{R})$ is endowed with the weak* topology. Actually, it holds on any weighted Fourier Lebesgue space $\mathscr{F}\ell^{s,\infty}(\mathbb{T},\mathbb{R})$ with $-1/2 < s \le 0$ and improves on a wellposedness result of Bourgain for small Borel measures as initial data. A key ingredient of the proof is a characterization for a distribution $q$ in the Sobolev space $H^{-1}(\mathbb{T},\mathbb{R})$ to be in $\mathscr{F}\ell^{\infty}(\mathbb{T},\mathbb{R})$ in terms of asymptotic behavior of spectral quantities of the Hill operator $-\partial_{x}^{2} + q$. In addition, wellposedness results for the KdV equation on the Wiener algebra are proved. △ Less

Submitted 2 October, 2016; originally announced October 2016.

Comments: 45 pages. arXiv admin note: text overlap with arXiv:1502.05857

MSC Class: 37K10 (primary) 35Q53; 35D05 (secondary)

Journal ref: Sel. Math. New Ser., online, (2017)

Canonical coordinates with tame estimates for the defocusing NLS equation on the circle

Authors: Thomas Kappeler, Riccardo Montalto

Abstract: In a case study for integrable PDEs, we construct real analytic, canonical coordinates for the defocusing NLS equation on the circle, specifically taylored towards the needs in perturbation theory. They are defined in neighbourhoods of families of finite dimensional invariant tori and are shown to satisfy together with their derivatives tame estimates. When expressed in these coordinates, the dNLS… ▽ More In a case study for integrable PDEs, we construct real analytic, canonical coordinates for the defocusing NLS equation on the circle, specifically taylored towards the needs in perturbation theory. They are defined in neighbourhoods of families of finite dimensional invariant tori and are shown to satisfy together with their derivatives tame estimates. When expressed in these coordinates, the dNLS Hamiltonian is in normal form up to order three. △ Less

Submitted 15 July, 2016; originally announced July 2016.

MSC Class: 37K10; 35Q55

On the wellposedness of the defocusing mKdV equation below $L^{2}$

Authors: Thomas Kappeler, Jan-Cornelius Molnar

Abstract: We prove that the renormalized defocusing mKdV equation on the circle is locally in time $C^{0}$-wellposed on the Fourier Lebesgue space ${\mathcal{F}\ell}^p$ for any $2 < p < \infty$. The result implies that the defocusing mKdV equation itself is illposed on these spaces since the renormalizing phase factor becomes infinite. The proof is based on the fact that the mKdV equation is an integrable P… ▽ More We prove that the renormalized defocusing mKdV equation on the circle is locally in time $C^{0}$-wellposed on the Fourier Lebesgue space ${\mathcal{F}\ell}^p$ for any $2 < p < \infty$. The result implies that the defocusing mKdV equation itself is illposed on these spaces since the renormalizing phase factor becomes infinite. The proof is based on the fact that the mKdV equation is an integrable PDE whose Hamiltonian is in the NLS hierarchy. A key ingredient is a novel way of representing the bi-infinite sequence of frequencies of the renormalized defocusing mKdV equation, allowing to analytically extend them to ${\mathcal{F}\ell}^p$ for any $2 \le p < \infty$ and to deduce asymptotics for $n \to \pm \infty$. △ Less

Submitted 22 June, 2016; originally announced June 2016.

Comments: 33 pages

MSC Class: 37K10 (primary); 35Q53; 35D05 (secondary)

Journal ref: SIAM J. Math. Anal., 49(3), 2191-2219, (2017)

On the extension of the frequency maps of the KdV and the KdV2 equations

Authors: Thomas Kappeler, Jan-Cornelius Molnar

Abstract: In form of a case study for the KdV and the KdV2 equations, we present a novel approach of representing the frequencies of integrable PDEs which allows to extend them analytically to spaces of low regularity and to study their asymptotics. Applications include convexity properties of the Hamiltonians and wellposedness results in spaces of low regularity. In particular, it is proved that on… ▽ More In form of a case study for the KdV and the KdV2 equations, we present a novel approach of representing the frequencies of integrable PDEs which allows to extend them analytically to spaces of low regularity and to study their asymptotics. Applications include convexity properties of the Hamiltonians and wellposedness results in spaces of low regularity. In particular, it is proved that on $H^{s}$ the KdV2 equation is $C^{0}$-wellposed if $s\ge 0$ and illposed (in a strong sense) if $s < 0$. △ Less

Submitted 21 May, 2016; originally announced May 2016.

Comments: 76 pages

MSC Class: 37K10 (primary) 35Q53; 35D05 (secondary)

Journal ref: Ann. Inst. Henri Poincaré, 35(1), 101-160, (2018)

Large KAM tori for perturbations of the dNLS equation

Authors: Massimiliano Berti, Thomas Kappeler, Riccardo Montalto

Abstract: We prove that small, semi-linear Hamiltonian perturbations of the defocusing nonlinear Schrödinger (dNLS) equation on the circle have an abundance of invariant tori of any size and (finite) dimension which support quasi-periodic solutions. When compared with previous results the novelty consists in considering perturbations which do not satisfy any symmetry condition (they may depend on $x$ in an… ▽ More We prove that small, semi-linear Hamiltonian perturbations of the defocusing nonlinear Schrödinger (dNLS) equation on the circle have an abundance of invariant tori of any size and (finite) dimension which support quasi-periodic solutions. When compared with previous results the novelty consists in considering perturbations which do not satisfy any symmetry condition (they may depend on $x$ in an arbitrary way) and need not be analytic. The main difficulty is posed by pairs of almost resonant dNLS frequencies. The proof is based on the integrability of the dNLS equation, in particular the fact that the nonlinear part of the Birkhoff coordinates is one smoothing. We implement a Newton-Nash-Moser iteration scheme to construct the invariant tori. The key point is the reduction of linearized operators, coming up in the iteration scheme, to $ 2 \times 2 $ block diagonal ones with constant coefficients together with sharp asymptotic estimates of their eigenvalues. △ Less

Submitted 30 March, 2016; originally announced March 2016.

MSC Class: 37K55; 35Q55

Norm-inflation for periodic NLS equations in negative Sobolev spaces

Authors: Rémi Carles, Thomas Kappeler

Abstract: In this paper we consider Schr{ö}dinger equations with nonlinearities of odd order 2$σ$ + 1 on T^d. We prove that for $σ$d$\ge$2, they are strongly illposed in the Sobolev space H^s for any s \textless{} 0, exhibiting norm-inflation with infinite loss of regularity. In the case of the one-dimensional cubic nonlinear Schr{ö}dinger equation and its renormalized version we prove such a result for H^s… ▽ More In this paper we consider Schr{ö}dinger equations with nonlinearities of odd order 2$σ$ + 1 on T^d. We prove that for $σ$d$\ge$2, they are strongly illposed in the Sobolev space H^s for any s \textless{} 0, exhibiting norm-inflation with infinite loss of regularity. In the case of the one-dimensional cubic nonlinear Schr{ö}dinger equation and its renormalized version we prove such a result for H^s with s \textless{} --2/3. △ Less

Submitted 15 July, 2015; originally announced July 2015.

Comments: 18 pages

Journal ref: Bull. Soc. Math. France 145 (2017), no. 4, 623-642

Scattering-like phenomena of the periodic defocusing NLS equation

Authors: T. Kappeler, B. Schaad, P. Topalov

Abstract: In this paper we prove approximation properties of the solutions of the defoucsing NLS equation on the circle by nearly linear flows. In addition we show that spatially periodic solutions of the defocusing NLS equation evolving in fractional Sobolev spaces $H^s$ with $s\geq 1$ remain bounded for all times. In this paper we prove approximation properties of the solutions of the defoucsing NLS equation on the circle by nearly linear flows. In addition we show that spatially periodic solutions of the defocusing NLS equation evolving in fractional Sobolev spaces $H^s$ with $s\geq 1$ remain bounded for all times. △ Less

Submitted 27 May, 2015; originally announced May 2015.

MSC Class: 35B40; 35B65; 37K40

Semi-linearity of the non-linear Fourier transform of the defocusing NLS equation

Authors: T. Kappeler, B. Schaad, P. Topalov

Abstract: In this paper we prove that the non-linear Fourier transform of the defocusing NLS equation on the circle is linear up to terms which are one order smoother. In this paper we prove that the non-linear Fourier transform of the defocusing NLS equation on the circle is linear up to terms which are one order smoother. △ Less

Submitted 17 May, 2015; originally announced May 2015.

MSC Class: 35B10; 35B40; 37K15

Asymptotics of spectral quantities of Zakharov-Shabat operators

Authors: T. Kappeler, B. Schaad, P. Topalov

Abstract: In this paper we provide new asymptotic estimates of various spectral quantities of Zakharov-Shabat operators on the circle. These estimates are uniform on bounded subsets of potentials in Sobolev spaces. In this paper we provide new asymptotic estimates of various spectral quantities of Zakharov-Shabat operators on the circle. These estimates are uniform on bounded subsets of potentials in Sobolev spaces. △ Less

Submitted 16 March, 2015; originally announced March 2015.

On the convexity of the KdV Hamiltonian

Authors: Thomas Kappeler, Alberto Maspero, Jan-Cornelius Molnar, Peter Topalov

Abstract: We prove that the nonlinear part $H^{*}$ of the KdV Hamiltonian $H^{kdv}$, when expressed in action variables $I = (I_{n})_{n\ge 1}$, extends to a real analytic function on the positive quadrant $\ell^2_+(\mathbb N)$ of $\ell^{2}(\mathbb N)$ and is strictly concave near $0$. As a consequence, the differential of $H^{*}$ defines a local diffeomorphism near $0$ of $\ell_{\mathbb C}^{2}(\mathbb N)$. We prove that the nonlinear part $H^{*}$ of the KdV Hamiltonian $H^{kdv}$, when expressed in action variables $I = (I_{n})_{n\ge 1}$, extends to a real analytic function on the positive quadrant $\ell^2_+(\mathbb N)$ of $\ell^{2}(\mathbb N)$ and is strictly concave near $0$. As a consequence, the differential of $H^{*}$ defines a local diffeomorphism near $0$ of $\ell_{\mathbb C}^{2}(\mathbb N)$. △ Less

Submitted 20 February, 2015; originally announced February 2015.

Comments: 48 pages

MSC Class: 37K10 (primary); 35Q53; 34B24 (secondary)

Journal ref: Communications in Mathematical Physics, 346(1): 191-236, 2016

On normalized differentials on hyperelliptic curves of infinite genus

Authors: T. Kappeler, P. Topalov

Abstract: We develop a new approach for constructing normalized differentials on hyperelliptic curves of infinite genus and obtain uniform asymptotic estimates for the distribution of their zeros. We develop a new approach for constructing normalized differentials on hyperelliptic curves of infinite genus and obtain uniform asymptotic estimates for the distribution of their zeros. △ Less

Submitted 12 November, 2014; v1 submitted 28 August, 2014; originally announced August 2014.

Interpolation of nonlinear maps

Authors: T. Kappeler, A. Savchuk, A. Shkalikov, P. Topalov

Abstract: Let $(X_0, X_1)$ and $(Y_0, Y_1)$ be complex Banach couples and assume that $X_1\subseteq X_0$ with norms satisfying $\|x\|_{X_0} \le c\|x\|_{X_1}$ for some $c > 0$. For any $0<θ<1$, denote by $X_θ= [X_0, X_1]_θ$ and $Y_θ= [Y_0, Y_1]_θ$ the complex interpolation spaces and by $B(r, X_θ)$, $0 \le θ\le 1,$ the open ball of radius $r>0$ in $X_θ$, centered at zero. Then for any analytic map… ▽ More Let $(X_0, X_1)$ and $(Y_0, Y_1)$ be complex Banach couples and assume that $X_1\subseteq X_0$ with norms satisfying $\|x\|_{X_0} \le c\|x\|_{X_1}$ for some $c > 0$. For any $0<θ<1$, denote by $X_θ= [X_0, X_1]_θ$ and $Y_θ= [Y_0, Y_1]_θ$ the complex interpolation spaces and by $B(r, X_θ)$, $0 \le θ\le 1,$ the open ball of radius $r>0$ in $X_θ$, centered at zero. Then for any analytic map $Φ: B(r, X_0) \to Y_0+ Y_1$ such that $Φ: B(r, X_0)\to Y_0$ and $Φ: B(c^{-1}r, X_1)\to Y_1$ are continuous and bounded by constants $M_0$ and $M_1$, respectively, the restriction of $Φ$ to $B(c^{-θ}r, X_θ)$, $0 < θ< 1,$ is shown to be a map with values in $Y_θ$ which is analytic and bounded by $M_0^{1-θ} M_1^θ$. △ Less

Submitted 16 May, 2014; originally announced May 2014.

Dynamics of periodic Toda chains with a large number of particles

Authors: Dario Bambusi, Thomas Kappeler, Thierry Paul

Abstract: For periodic Toda chains with a large number $N$ of particles we consider states which are $N^{-2}-$close to the equilibrium and constructed by discretizing any given $C^2-$functions with mesh size $N^{-1}$. For such states we derive asymptotic expansions of the Toda frequencies $(ω^N_n)_{0 < n < N}$ and the actions $(I^N_n)_{0 < n < N},$ both listed in the standard way, in powers of $N^{-1}$ as… ▽ More For periodic Toda chains with a large number $N$ of particles we consider states which are $N^{-2}-$close to the equilibrium and constructed by discretizing any given $C^2-$functions with mesh size $N^{-1}$. For such states we derive asymptotic expansions of the Toda frequencies $(ω^N_n)_{0 < n < N}$ and the actions $(I^N_n)_{0 < n < N},$ both listed in the standard way, in powers of $N^{-1}$ as $N \to \infty$. %listed in accordance with the ordering of the frequencies at the equilibrium, %$(2 \sin \frac{nπ} {N})_{0 < n < N}$. At the two edges $n \sim 1$ and $N -n \sim 1$, the expansions of the frequencies are computed up to order $N^{-3}$ with an error term of higher order. Specifically, the coefficients of the expansions of $ω^N_n$ and $ω^N_{N-n}$ at order $N^{-3}$ are given by a constant multiple of the n'th KdV frequencies $ω^-_n$ and $ω^+_n$ of two periodic potentials, $q_{-}$ respectively $q_+$, constructed in terms of the states considered. The frequencies $ω^N_n$ for $n$ away from the edges are shown to be asymptotically close to the frequencies of the equilibrium. For the actions $(I^N_n)_{0 < n < N},$ asymptotics of a similar nature are derived. △ Less

Submitted 21 September, 2013; originally announced September 2013.

From Toda to KdV

Authors: Dario Bambusi, Thomas Kappeler, Thierry Paul

Abstract: For periodic Toda chains with a large number $N$ of particles we consider states which are $N^{-2}$-close to the equilibrium and constructed by discretizing arbitrary given $C^2-$functions with mesh size $N^{-1}.$ Our aim is to describe the spectrum of the Jacobi matrices $L\_N$ appearing in the Lax pair formulation of the dynamics of these states as $N \to \infty$. To this end we construct two Hi… ▽ More For periodic Toda chains with a large number $N$ of particles we consider states which are $N^{-2}$-close to the equilibrium and constructed by discretizing arbitrary given $C^2-$functions with mesh size $N^{-1}.$ Our aim is to describe the spectrum of the Jacobi matrices $L\_N$ appearing in the Lax pair formulation of the dynamics of these states as $N \to \infty$. To this end we construct two Hill operators $H\_\pm$ -- such operators come up in the Lax pair formulation of the Korteweg-de Vries equation -- and prove by methods of semiclassical analysis that the asymptotics as $N \rightarrow \infty $ of the eigenvalues at the edges of the spectrum of $L\_N$ are of the form $\pm (2-(2N)^{-2} λ^\pm \_n + \cdots )$ where $(λ^\pm \_n)\_{n \geq 0}$ are the eigenvalues of $H\_\pm $. In the bulk of the spectrum, the eigenvalues are $o(N^{-2})$-close to the ones of the equilibrium matrix. As an application we obtain asymptotics of a similar type of the discriminant, associated to $L\_N$. △ Less

Submitted 22 May, 2015; v1 submitted 20 September, 2013; originally announced September 2013.

On nonlinear interpolation

Authors: Thomas Kappeler, Peter Topalov

Abstract: In a case study on asymptotics of spectral quantities of Schrödinger operators we show how the Riesz-Thorin theorem on the interpolation of linear operators can be extended to nonlinear maps. In a case study on asymptotics of spectral quantities of Schrödinger operators we show how the Riesz-Thorin theorem on the interpolation of linear operators can be extended to nonlinear maps. △ Less

Submitted 24 June, 2013; originally announced June 2013.

MSC Class: 46B70; 46B45; 47J35

Isospectrality and heat content

Authors: M. van den Berg, E. B. Dryden, T. Kappeler

Abstract: We present examples of isospectral operators that do not have the same heat content. Several of these examples are planar polygons that are isospectral for the Laplace operator with Dirichlet boundary conditions. These include examples with infinitely many components. Other planar examples have mixed Dirichlet and Neumann boundary conditions. We also consider Schrödinger operators acting in… ▽ More We present examples of isospectral operators that do not have the same heat content. Several of these examples are planar polygons that are isospectral for the Laplace operator with Dirichlet boundary conditions. These include examples with infinitely many components. Other planar examples have mixed Dirichlet and Neumann boundary conditions. We also consider Schrödinger operators acting in $L^2[0,1]$ with Dirichlet boundary conditions, and show that an abundance of isospectral deformations do not preserve the heat content. △ Less

Submitted 28 January, 2014; v1 submitted 15 April, 2013; originally announced April 2013.

Comments: 18 pages

MSC Class: 58J35; 58J50; 35P10

Journal ref: Bulletin of the London Mathematical Society 46 (2014) 793-808

Generic non-selfadjoint Zakharov-Shabat operators

Authors: T. Kappeler, P. Lohrmann, P. Topalov

Abstract: In this paper we develop tools to study families of non-selfadjoint operators $L(\varphi), \varphi \in P$, characterized by the property that the spectrum of $L(\varphi)$ is (partially) simple. As a case study we consider the Zakharov-Shabat operators $L(\varphi)$ appearing in the Lax pair of the focusing NLS on the circle. The main result says that the set of potentials $\varphi $ of Sobolev clas… ▽ More In this paper we develop tools to study families of non-selfadjoint operators $L(\varphi), \varphi \in P$, characterized by the property that the spectrum of $L(\varphi)$ is (partially) simple. As a case study we consider the Zakharov-Shabat operators $L(\varphi)$ appearing in the Lax pair of the focusing NLS on the circle. The main result says that the set of potentials $\varphi $ of Sobolev class $H^N, N \geq 0$, so that all small eigenvalues of $L(\varphi)$ are simple, is path connected and dense. △ Less

Submitted 18 December, 2012; v1 submitted 23 April, 2012; originally announced April 2012.

MSC Class: 47B99 35B99

Qualitative features of periodic solutions of KdV

Authors: T. Kappeler, B. Schaad, P. Topalov

Abstract: In this paper we prove new qualitative features of solutions of KdV on the circle. The first result says that the Fourier coefficients of a solution of KdV in Sobolev space $H^N,\, N\geq 0$, admit a WKB type expansion up to first order with strongly oscillating phase factors defined in terms of the KdV frequencies. The second result provides estimates for the approximation of such a solution by tr… ▽ More In this paper we prove new qualitative features of solutions of KdV on the circle. The first result says that the Fourier coefficients of a solution of KdV in Sobolev space $H^N,\, N\geq 0$, admit a WKB type expansion up to first order with strongly oscillating phase factors defined in terms of the KdV frequencies. The second result provides estimates for the approximation of such a solution by trigonometric polynomials of sufficiently large degree. △ Less

Submitted 14 June, 2013; v1 submitted 3 October, 2011; originally announced October 2011.

Asymptotics of spectral quantities of Schrödinger operators

Authors: T. Kappeler, B. Schaad, P. Topalov

Abstract: In this paper we provide new asymptotic estimates of the Floquet exponents of Schrödinger operators on the circle. By the same techniques, known asymptotic estimates of various others spectral quantities are improved. In this paper we provide new asymptotic estimates of the Floquet exponents of Schrödinger operators on the circle. By the same techniques, known asymptotic estimates of various others spectral quantities are improved. △ Less

Submitted 22 July, 2011; originally announced July 2011.

On the regularity of the composition of diffeomorphisms

Authors: Hasan Inci, Thomas Kappeler, Peter Topalov

Abstract: For $M$ being a closed manifold or the Euclidean space we present a detailed proof of regularity properties of the composition of $H^s$-regular diffeomorphisms of $M$ for $s > 1/2\dim M + 1$. For $M$ being a closed manifold or the Euclidean space we present a detailed proof of regularity properties of the composition of $H^s$-regular diffeomorphisms of $M$ for $s > 1/2\dim M + 1$. △ Less

Submitted 4 February, 2012; v1 submitted 3 July, 2011; originally announced July 2011.

MSC Class: 58D17; 35Q31; 76N10

On the Space of Trajectories of a Generic Vector Field

Authors: Dan Burghelea, Leonid Friedlander, Thomas Kappeler

Abstract: This paper describes the construction of a canonical compactification of the space of trajectories and of the unstable/stable sets of a generic gradient like vector field on a closed manifold as well as a canonical structure of a smooth manifold with corners of these spaces. As an application we discuss the geometric complex associated with a gradient like vector field and show how differential fo… ▽ More This paper describes the construction of a canonical compactification of the space of trajectories and of the unstable/stable sets of a generic gradient like vector field on a closed manifold as well as a canonical structure of a smooth manifold with corners of these spaces. As an application we discuss the geometric complex associated with a gradient like vector field and show how differential forms can be integrated on its unstable/stable sets. Integration leads to a morphism between the de Rham complex and the geometric complex. △ Less

Submitted 11 February, 2011; v1 submitted 4 January, 2011; originally announced January 2011.

Comments: 65 pages, 19 figures

MSC Class: 57R20; 58J52

Topology of random 2-complexes

Authors: Armindo Costa, Michael Farber, Thomas Kappeler

Abstract: We study the Linial--Meshulam model of random two-dimensional simplicial complexes. One of our main results states that for $p\ll n^{-1}$ a random 2-complex $Y$ collapses simplicially to a graph and, in particular, the fundamental group $π_1(Y)$ is free and $H_2(Y)=0$, a.a.s. We also prove that, if the probability parameter $p$ satisfies $p\gg n^{-1/2+ε}$, where $ε>0$, then an arbitrary finite two… ▽ More We study the Linial--Meshulam model of random two-dimensional simplicial complexes. One of our main results states that for $p\ll n^{-1}$ a random 2-complex $Y$ collapses simplicially to a graph and, in particular, the fundamental group $π_1(Y)$ is free and $H_2(Y)=0$, a.a.s. We also prove that, if the probability parameter $p$ satisfies $p\gg n^{-1/2+ε}$, where $ε>0$, then an arbitrary finite two-dimensional simplicial complex admits a topological embedding into a random 2-complex, with probability tending to one as $n\to \infty$. We also establish several related results, for example we show that for $p<c/n$ with $c<3$ the fundamental group of a random 2-complex contains a nonabelian free subgroup. Our method is based on exploiting explicit thresholds (established in the paper) for the existence of simplicial embedding and immersions of 2-complexes into a random 2-complex. △ Less

Submitted 26 June, 2010; v1 submitted 22 June, 2010; originally announced June 2010.

The homotopical dimension of random 2-complexes

Authors: Daniel C. Cohen, Michael Farber, Thomas Kappeler

Abstract: In this paper we study the Linial-Meshulam model of random two-dimensional complexes. We prove that a random 2-complex is homotopically one dimensional, with probability tending to one as n tends to infitnity, assuming that the probability parameter p satisfies pn --> 0. In this paper we study the Linial-Meshulam model of random two-dimensional complexes. We prove that a random 2-complex is homotopically one dimensional, with probability tending to one as n tends to infitnity, assuming that the probability parameter p satisfies pn --> 0. △ Less

Submitted 19 May, 2010; originally announced May 2010.

On normalized differentials on families of curves of infinite genus

Authors: T. Kappeler, P. Lohrmann, P. Topalov

Abstract: We construct normalized differentials on families of curves of infinite genus. Such curves are used to investigate integrable PDE's such as the focusing Nonlinear Schr{ö}dinger equation. We construct normalized differentials on families of curves of infinite genus. Such curves are used to investigate integrable PDE's such as the focusing Nonlinear Schr{ö}dinger equation. △ Less

Submitted 13 February, 2010; originally announced February 2010.

Normal form theory for the NLS equation

Authors: Benoît Grébert, Thomas Kappeler, Jürgen Pöschel

Abstract: We consider the nonlinear Schrodinger equation with a cubic nonlinearity on the circle, which is known to represent an integrable Hamiltonian system. We construct a global coordinate systems, which puts this Hamiltonian into standard normal form, so that it depends only on the actions of the system. We consider the nonlinear Schrodinger equation with a cubic nonlinearity on the circle, which is known to represent an integrable Hamiltonian system. We construct a global coordinate systems, which puts this Hamiltonian into standard normal form, so that it depends only on the actions of the system. △ Less

Submitted 22 July, 2009; originally announced July 2009.

Comments: March 2009 version

MSC Class: 35Q55

De Toda à KdV

Authors: Dario Bambusi, Thomas Kappeler, Thierry Paul

Abstract: We consider the large number of particles limit of a periodic Toda lattice for a family of initial data close to the equilibrium state. We show that each of the two edges of the spectra of the corresponding Jacobi matrices is up to an error, determined by the spectra of two Hill operators, associated to this family. We then show that the spectra of the Jacobi matrices remain almost constant when… ▽ More We consider the large number of particles limit of a periodic Toda lattice for a family of initial data close to the equilibrium state. We show that each of the two edges of the spectra of the corresponding Jacobi matrices is up to an error, determined by the spectra of two Hill operators, associated to this family. We then show that the spectra of the Jacobi matrices remain almost constant when the matrices evolve along the two limiting KdV equations. Finally we prove that the Toda actions, when appropriately renormalized, converge to the ones of KdV . △ Less

Submitted 4 February, 2009; originally announced February 2009.

Nekhoroshev theorem for the periodic Toda lattice

Authors: Andreas Henrici, Thomas Kappeler

Abstract: The periodic Toda lattice with $N$ sites is globally symplectomorphic to a two parameter family of $N-1$ coupled harmonic oscillators. The action variables fill out the whole positive quadrant of $\R^{N-1}$. We prove that in the interior of the positive quadrant as well as in a neighborhood of the origin, the Toda Hamiltonian is strictly convex and therefore Nekhoroshev's theorem applies on (alm… ▽ More The periodic Toda lattice with $N$ sites is globally symplectomorphic to a two parameter family of $N-1$ coupled harmonic oscillators. The action variables fill out the whole positive quadrant of $\R^{N-1}$. We prove that in the interior of the positive quadrant as well as in a neighborhood of the origin, the Toda Hamiltonian is strictly convex and therefore Nekhoroshev's theorem applies on (almost) all parts of phase space. △ Less

Submitted 29 December, 2008; originally announced December 2008.

Comments: 28 pages

On the symplectic phase space of KdV

Authors: T. Kappeler, F. Serier, P. Topalov

Abstract: We prove that the Birkhoff map $\Om$ for KdV constructed on $H^{-1}_0(\T)$ can be interpolated between $H^{-1}_0(\T)$ and $L^2_0(\T)$. In particular, the symplectic phase space $H^{1/2}_0(\T)$ can be described in terms of Birkhoff coordinates. As an application, we characterize the regularity of a potential $q\in H^{-1}(\T)$ in terms of the decay of the gap lengths of the periodic spectrum of Hi… ▽ More We prove that the Birkhoff map $\Om$ for KdV constructed on $H^{-1}_0(\T)$ can be interpolated between $H^{-1}_0(\T)$ and $L^2_0(\T)$. In particular, the symplectic phase space $H^{1/2}_0(\T)$ can be described in terms of Birkhoff coordinates. As an application, we characterize the regularity of a potential $q\in H^{-1}(\T)$ in terms of the decay of the gap lengths of the periodic spectrum of Hill's operator on the interval $[0,2]$. △ Less

Submitted 6 October, 2007; originally announced October 2007.

MSC Class: 35P20; 35P25

A Canonical Quadratic Form on the Determinant Line of a Flat Vector Bundle

Authors: Maxim Braverman, Thomas Kappeler

Abstract: We introduce and study a canonical quadratic form, called the torsion quadratic form, of the determinant line of a flat vector bundle over a closed oriented odd-dimensional manifold. This quadratic form caries less information than the refined analytic torsion, introduced in our previous work, but is easier to construct and closer related to the combinatorial Farber-Turaev torsion. In fact, the… ▽ More We introduce and study a canonical quadratic form, called the torsion quadratic form, of the determinant line of a flat vector bundle over a closed oriented odd-dimensional manifold. This quadratic form caries less information than the refined analytic torsion, introduced in our previous work, but is easier to construct and closer related to the combinatorial Farber-Turaev torsion. In fact, the torsion quadratic form can be viewed as an analytic analogue of the Poincare-Reidemeister scalar product, introduced by Farber and Turaev. Moreover, it is also closely related to the complex analytic torsion defined by Cappell and Miller and we establish the precise relationship between the two. In addition, we show that up to an explicit factor, which depends on the Euler structure, and a sign the Burghelea-Haller complex analytic torsion, whenever it is defined, is equal to our quadratic form. We conjecture a formula for the value of the torsion quadratic form at the Farber-Turaev torsion and prove some weak version of this conjecture. As an application we establish a relationship between the Cappell-Miller and the combinatorial torsions. △ Less

Submitted 5 October, 2007; originally announced October 2007.

Comments: 13 pages

Resonant normal form for even periodic FPU chains

Authors: Andreas Henrici, Thomas Kappeler

Abstract: In this paper we investigate periodic FPU chains with an even number of particles. We show that near the equilibrium point, any such chain admits a \emph{resonant} Birkhoff normal form of order four which is \emph{completely integrable} - an important fact which helps explain the numerical experiments of Fermi, Pasta, and Ulam. We analyze the moment map of the integrable approximation of an even… ▽ More In this paper we investigate periodic FPU chains with an even number of particles. We show that near the equilibrium point, any such chain admits a \emph{resonant} Birkhoff normal form of order four which is \emph{completely integrable} - an important fact which helps explain the numerical experiments of Fermi, Pasta, and Ulam. We analyze the moment map of the integrable approximation of an even FPU chain. Unlike in the case of odd FPU chains these integrable systems (generically) exhibit hyperbolic dynamics. As an application we prove that any FPU chain with Dirichlet boundary conditions admits a Birkhoff normal form up to order four and show that a KAM theorem applies. △ Less

Submitted 17 September, 2007; originally announced September 2007.

Comments: 34 pages, 3 figures

Betti numbers of random manifolds

Authors: Michael Farber, Thomas Kappeler

Abstract: We study mathematical expectations of Betti numbers of configuration spaces of planar linkages, viewing the lengths of the bars of the linkage as random variables. Our main result gives an explicit asymptotic formulae for these mathematical expectations for two distinct probability measures describing the statistics of the length vectors when the number of links tends to infinity. In the proof w… ▽ More We study mathematical expectations of Betti numbers of configuration spaces of planar linkages, viewing the lengths of the bars of the linkage as random variables. Our main result gives an explicit asymptotic formulae for these mathematical expectations for two distinct probability measures describing the statistics of the length vectors when the number of links tends to infinity. In the proof we use a combination of geometric and analytic tools. The average Betti numbers are expressed in terms of volumes of intersections of a simplex with certain half-spaces. △ Less

Submitted 30 March, 2007; originally announced March 2007.

Analyticity of Riemannian exponential maps on ${\rm Diff}(\T)$

Authors: T. Kappeler, E. Loubet, P. Topalov

Abstract: We study the exponential maps induced by Sobolev type right-invariant (weak) Riemannian metrics of order $k\ge1$ on the Lie group of smooth, orientation preserving diffeomorphisms of the circle. We prove that each of them defines an {\em analytic} Fréchet chart of the identity. We study the exponential maps induced by Sobolev type right-invariant (weak) Riemannian metrics of order $k\ge1$ on the Lie group of smooth, orientation preserving diffeomorphisms of the circle. We prove that each of them defines an {\em analytic} Fréchet chart of the identity. △ Less

Submitted 5 October, 2006; originally announced October 2006.