Showing 1–50 of 64 results for author: Koch, H

Almost surely smoothed scattering for cubic NLS

Authors: Nicolas Burq, Herbert Koch, Nicola Visciglia, Nikolay Tzvetkov

Abstract: We consider cubic NLS in dimensions 2, 3, 4 and we prove that almost surely solutions with randomized initial data at low regularity scatter. Moreover, we establish some smoothing properties of the associated scattering operator and precise the rate of convergence. We consider cubic NLS in dimensions 2, 3, 4 and we prove that almost surely solutions with randomized initial data at low regularity scatter. Moreover, we establish some smoothing properties of the associated scattering operator and precise the rate of convergence. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: 23 pages

MSC Class: 35Q55; 35R60

The Hele-Shaw semi-flow

Authors: Thomas Alazard, Herbert Koch

Abstract: We prove that the Cauchy problem is well-posed in a strong sense and in a general setting. Our main result is the construction of an abstract semi-flow for the Hele-Shaw problem within general fluid domains (enabling, for instance, changes in the topology of the fluid domain) and which satisfies several properties: We provide simple comparison arguments, establish a new stability estimate and deri… ▽ More We prove that the Cauchy problem is well-posed in a strong sense and in a general setting. Our main result is the construction of an abstract semi-flow for the Hele-Shaw problem within general fluid domains (enabling, for instance, changes in the topology of the fluid domain) and which satisfies several properties: We provide simple comparison arguments, establish a new stability estimate and derive several consequences, including monotonicity and continuity results for the solutions, along with many Lyapunov functionals. We establish an eventual analytic regularity result for any arbitrary initial data. We also study numerous qualitative properties, including global regularity for initial data in sub-critical Sobolev spaces, well-posedness in a strong sense for initial data with barely a modulus of continuity, as well as waiting-time phenomena for Lipschitz solutions, in any dimension. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Comments: 62 pages

MSC Class: 76D27; 35R37

Wellposedness for the KdV hierarchy

Authors: Friedrich Klaus, Herbert Koch, Bao** Liu

Abstract: We prove a version of wellposedness for all equations of the KdV hierarchy in $H^{-1}$. Ingredients are 1) The Miura map which allows to define the Gardner hierarchy through the generating function of the energies so that the $N$th Gardner equation is equivalent to the $N$th KdV equation. 2) A rigorous relation between the generating functions of the energies and the KdV resp. Gardner Hamilton… ▽ More We prove a version of wellposedness for all equations of the KdV hierarchy in $H^{-1}$. Ingredients are 1) The Miura map which allows to define the Gardner hierarchy through the generating function of the energies so that the $N$th Gardner equation is equivalent to the $N$th KdV equation. 2) A rigorous relation between the generating functions of the energies and the KdV resp. Gardner Hamiltonians. 3) Kato smoothing estimates for weak solutions and approximate flows. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: 139 pages

MSC Class: 37K10; 35Q53

Asymptotic stability of the sine-Gordon kinks under perturbations in weighted Sobolev norms

Authors: Herbert Koch, Dongxiao Yu

Abstract: We study the asymptotic stability of the sine-Gordon kinks under small perturbations in weighted Sobolev norms. Our main tool is the Bäcklund transform which reduces the study of the asymptotic stability of the kinks to the study of the asymptotic decay of solutions near zero. Our results consist of two parts. First, we present a different proof of the local asymptotic stability result in arXiv:20… ▽ More We study the asymptotic stability of the sine-Gordon kinks under small perturbations in weighted Sobolev norms. Our main tool is the Bäcklund transform which reduces the study of the asymptotic stability of the kinks to the study of the asymptotic decay of solutions near zero. Our results consist of two parts. First, we present a different proof of the local asymptotic stability result in arXiv:2009.04260. In its proof, we apply a result obtained by the inverse scattering method on the local decay of the solutions with sufficiently small and localized initial data. Moreover, we prove an $L^\infty$-type asymptotic stability result which is similar to that in arXiv:2106.09605; the main difference is that we remove the assumptions on the spatial symmetry of the perturbations. In its proof, we apply a result obtained by the method of testing by wave packets on the pointwise decay of the solutions with small and localized data. △ Less

Submitted 15 August, 2023; originally announced August 2023.

Comments: 54 pages

Higher Regularity of the Free Boundary in a Semilinear System

Authors: Morteza Fotouhi, Herbert Koch

Abstract: In this paper we are concerned with higher regularity properties of the elliptic system \[ Δ\mathbf{u}= |\mathbf{u}|^{q-1}\mathbf{u}χ_{\{|\mathbf{u}|>0\}},\qquad\mathbf{u}=(u^1,\dots,u^m) \] for $0\leq q<1$. We show analyticity of the regular part of the free boundary $\partial\{|\mathbf{u}|>0\}$, analyticity of $|\mathbf{u}|^{\frac{1-q}2} $ and $ \frac{\mathbf{u}}{|\mathbf{u}|}$ up to the regular… ▽ More In this paper we are concerned with higher regularity properties of the elliptic system \[ Δ\mathbf{u}= |\mathbf{u}|^{q-1}\mathbf{u}χ_{\{|\mathbf{u}|>0\}},\qquad\mathbf{u}=(u^1,\dots,u^m) \] for $0\leq q<1$. We show analyticity of the regular part of the free boundary $\partial\{|\mathbf{u}|>0\}$, analyticity of $|\mathbf{u}|^{\frac{1-q}2} $ and $ \frac{\mathbf{u}}{|\mathbf{u}|}$ up to the regular part of the free boundary. Applying a variant of the partial hodograph-Legendre transformation and the implicit function theorem, we arrive at a degenerate equation, which introduces substantial challenges to be dealt with. Along the lines of our study, we also establish a Cauchy-Kowalevski type statement to show the local existence of solution when the free boundary and the restriction of $ \frac{\mathbf{u}}{|\mathbf{u}|} $ from both sides to the free boundary are given as analytic data. △ Less

Submitted 1 May, 2023; v1 submitted 26 December, 2022; originally announced December 2022.

Conserved energies for the one dimensional Gross-Pitaevskii equation: low regularity case

Authors: Herbert Koch, Xian Liao

Abstract: We construct a family of conserved energies for the one dimensional Gross-Pitaevskii equation, but in the low regularity case (in \cite{KL} we have constructed conserved energies in the high regularity situation). This can be done thanks to regularization procedures and a study of the topological structure of the finite-energy space. The asymptotic (regularised conserved) phase change on the real… ▽ More We construct a family of conserved energies for the one dimensional Gross-Pitaevskii equation, but in the low regularity case (in \cite{KL} we have constructed conserved energies in the high regularity situation). This can be done thanks to regularization procedures and a study of the topological structure of the finite-energy space. The asymptotic (regularised conserved) phase change on the real line with values in $ \R/2π\Z$ is studied. We also construct a conserved quantity, the renormalized momentum $H_1$ (see Theorem \ref{thm:E1}), on the universal covering space of the finite-energy space. △ Less

Submitted 13 April, 2022; originally announced April 2022.

Comments: 45 pages

Universal supercritical behavior for some skew-product maps

Authors: Hans Koch

Abstract: We consider skew-product maps over circle rotations $x\mapsto x+α$ (mod 1) with factors that take values in SL(2,R) In numerical experiments with $α$ the inverse golden mean, Fibonacci iterates of almost Mathieu maps with rotation number $1/4$ and positive Lyapunov exponent exhibit asymptotic scaling behavior. We prove the existence of such asymptotic scaling for "periodic" rotation numbers and fo… ▽ More We consider skew-product maps over circle rotations $x\mapsto x+α$ (mod 1) with factors that take values in SL(2,R) In numerical experiments with $α$ the inverse golden mean, Fibonacci iterates of almost Mathieu maps with rotation number $1/4$ and positive Lyapunov exponent exhibit asymptotic scaling behavior. We prove the existence of such asymptotic scaling for "periodic" rotation numbers and for large Lyapunov exponent. The phenomenon is universal, in the sense that it holds for open sets of maps, with the scaling limit being independent of the maps. The set of maps with a given periodic rotation number is a real analytic codimension $1$ manifold in a suitable space of maps. △ Less

Submitted 3 March, 2022; originally announced March 2022.

MSC Class: 37E20 37E45 47B93 37A05

Extendible Functions and Local Root Numbers Remarks on a paper of R.P. Langlands

Authors: Helmut Koch, Ernst-Wilhelm Zink

Abstract: This paper refers to Langlands' big set of notes [L] devoted to the question if the (normalized) local Hecke-Tate root number $Δ=Δ(E,χ)$, where $E$ is a finite separable extension of a fixed non-archimedean local field $F$, and $χ$ a quasicharacter of $E^\times$, can be appropriately extended to a local $\varepsilon$-factor $\varepsilon_Δ=\varepsilon_Δ(E,ρ)$ for all virtual representations $ρ$ of… ▽ More This paper refers to Langlands' big set of notes [L] devoted to the question if the (normalized) local Hecke-Tate root number $Δ=Δ(E,χ)$, where $E$ is a finite separable extension of a fixed non-archimedean local field $F$, and $χ$ a quasicharacter of $E^\times$, can be appropriately extended to a local $\varepsilon$-factor $\varepsilon_Δ=\varepsilon_Δ(E,ρ)$ for all virtual representations $ρ$ of the corresponding Weil group $W_E.$ Whereas Deligne [D] has given a relatively short proof by using the global Artin-Weil L-functions, the proof of Langlands is purely local and splits into two parts: the {\bf algebraic part} to find a minimal set of relations for the functions $Δ$, such that the existence (and uniqueness) of $\varepsilon_Δ$ will follow from these relations; and the more extensive {\bf arithmetic part} to give a direct proof that all these relations are actually fulfilled. Our aim is to cover the algebraic part of Langlands' notes which can be done completely in the framework of representations of solvable profinite groups, where two modifications of Brauer's theorem play a prominent role. Introduction / 1. The notion of extendible functions / 2. The kernel of the Brauer map and its generating relations / 3. A criterion for the extendibility of functions / 4. Recovering Theorem 3.1 for the case of local root numbers / Appendices A1. Proving Brauer 3 and Brauer 4 / A2. On type-III-groups. △ Less

Submitted 25 June, 2022; v1 submitted 29 December, 2021; originally announced December 2021.

Comments: 50 pages

MSC Class: 11S37; 11S20; 11S40; 20C15

Dirichlet problem for weakly harmonic maps with rough data

Authors: Gael Diebou Yomgne, Herbert Koch

Abstract: Weakly harmonic maps from a domain $Ω$ (the upper half-space $\Rd$ or a bounded $C^{1,α}$ domain, $α\in (0,1]$) into a smooth closed manifold are studied. Prescribing small Dirichlet data in either of the classes $L^{\infty}(\partialΩ)$ or $BMO(\partialΩ)$, we establish solvability of the resulting boundary value problems by means of a nonvariational method. As a by-product, solutions are shown to… ▽ More Weakly harmonic maps from a domain $Ω$ (the upper half-space $\Rd$ or a bounded $C^{1,α}$ domain, $α\in (0,1]$) into a smooth closed manifold are studied. Prescribing small Dirichlet data in either of the classes $L^{\infty}(\partialΩ)$ or $BMO(\partialΩ)$, we establish solvability of the resulting boundary value problems by means of a nonvariational method. As a by-product, solutions are shown to be locally smooth, $C^{\infty}_{loc}$. Moreover, we show that boundary data can be chosen large in the underlying topologies if $Ω$ is smooth and bounded by perturbing strictly stable smooth harmonic maps. △ Less

Submitted 8 October, 2021; originally announced October 2021.

MSC Class: 35B20; 35G60; 42B35; 58E20

Asymptotic scaling and universality for skew products with factors in SL(2,R)

Authors: Hans Koch

Abstract: We consider skew-product maps over circle rotations $x\mapsto x+α$ (mod 1) with factors that take values in SL(2,R). This includes maps of almost Mathieu type. In numerical experiments, with $α$ the inverse golden mean, Fibonacci iterates of maps from the almost Mathieu family exhibit asymptotic scaling behavior that is reminiscent of critical phase transitions. In a restricted setup that is chara… ▽ More We consider skew-product maps over circle rotations $x\mapsto x+α$ (mod 1) with factors that take values in SL(2,R). This includes maps of almost Mathieu type. In numerical experiments, with $α$ the inverse golden mean, Fibonacci iterates of maps from the almost Mathieu family exhibit asymptotic scaling behavior that is reminiscent of critical phase transitions. In a restricted setup that is characterized by a symmetry, we prove that critical behavior indeed occurs and is universal in an open neighborhood of the almost Mathieu family. This behavior is governed by a periodic orbit of a renormalization transformation. An extension of this transformation is shown to have a second periodic orbit as well, and we present some evidence that this orbit attracts supercritical almost Mathieu maps. △ Less

Submitted 28 April, 2021; originally announced April 2021.

Comments: For the source code of our programs and possible updates, see https://web.ma.utexas.edu/users/koch/papers/skewunivers/

MSC Class: 37E20

On instability mechanisms for inverse problems

Authors: Herbert Koch, Angkana Rüland, Mikko Salo

Abstract: In this article we present three robust instability mechanisms for linear and nonlinear inverse problems. All of these are based on strong compression properties (in the sense of singular value or entropy number bounds) which we deduce through either strong global smoothing, only weak global smoothing or microlocal smoothing for the corresponding forward operators, respectively. As applications we… ▽ More In this article we present three robust instability mechanisms for linear and nonlinear inverse problems. All of these are based on strong compression properties (in the sense of singular value or entropy number bounds) which we deduce through either strong global smoothing, only weak global smoothing or microlocal smoothing for the corresponding forward operators, respectively. As applications we for instance present new instability arguments for unique continuation, for the backward heat equation and for linear and nonlinear Calderón type problems in general geometries, possibly in the presence of rough coefficients. Our instability mechanisms could also be of interest in the context of control theory, providing estimates on the cost of (approximate) controllability in rather general settings. △ Less

Submitted 2 December, 2021; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: 93 pages, 1 figure, comments welcome, corrected some typos

Journal ref: Ars Inveniendi Analytica (2021), Paper No. 7, 93 pp

A Hopf bifurcation in the planar Navier-Stokes equations

Authors: Gianni Arioli, Hans Koch

Abstract: We consider the Navier-Stokes equation for an incompressible viscous fluid on a square, satisfying Navier boundary conditions and being subjected to a time-independent force. As the kinematic viscosity is varied, a branch of stationary solutions is shown to undergo a Hopf bifurcation, where a periodic cycle branches from the stationary solution. Our proof is constructive and uses computer-assisted… ▽ More We consider the Navier-Stokes equation for an incompressible viscous fluid on a square, satisfying Navier boundary conditions and being subjected to a time-independent force. As the kinematic viscosity is varied, a branch of stationary solutions is shown to undergo a Hopf bifurcation, where a periodic cycle branches from the stationary solution. Our proof is constructive and uses computer-assisted estimates. △ Less

Submitted 27 September, 2020; originally announced September 2020.

Comments: 16 pages, 1 figure

Multisolitons for the cubic NLS in 1-d and their stability

Authors: Herbert Koch, Daniel Tataru

Abstract: For both the cubic Nonlinear Schrödinger Equation (NLS) as well as the modified Korteweg-de Vries (mKdV) equation in one space dimension we consider the set ${\bf M}_N$ of pure $N$-soliton states, and their associated multisoliton solutions. We prove that (i) the set ${\bf M}_N$ is a uniformly smooth manifold, and (ii) the ${\bf M}_N$ states are uniformly stable in $H^s$, for each $s>-\frac12$.… ▽ More For both the cubic Nonlinear Schrödinger Equation (NLS) as well as the modified Korteweg-de Vries (mKdV) equation in one space dimension we consider the set ${\bf M}_N$ of pure $N$-soliton states, and their associated multisoliton solutions. We prove that (i) the set ${\bf M}_N$ is a uniformly smooth manifold, and (ii) the ${\bf M}_N$ states are uniformly stable in $H^s$, for each $s>-\frac12$. One main tool in our analysis is an iterated Backlund transform, which allows us to nonlinearly add a multisoliton to an existing soliton free state (the soliton addition map) or alternatively to remove a multisoliton from a multisoliton state (the soliton removal map). The properties and the regularity of these maps are extensively studied. △ Less

Submitted 31 August, 2020; originally announced August 2020.

Comments: 82 pages, 5 figures

MSC Class: 35Q55; 37K10

Global dynamics for the two-dimensional stochastic nonlinear wave equations

Authors: Massimiliano Gubinelli, Herbert Koch, Tadahiro Oh, Leonardo Tolomeo

Abstract: We study global-in-time dynamics of the stochastic nonlinear wave equations (SNLW) with an additive space-time white noise forcing, posed on the two-dimensional torus. Our goal in this paper is two-fold. (i) By introducing a hybrid argument, combining the $I$-method in the stochastic setting with a Gronwall-type argument, we first prove global well-posedness of the (renormalized) cubic SNLW in the… ▽ More We study global-in-time dynamics of the stochastic nonlinear wave equations (SNLW) with an additive space-time white noise forcing, posed on the two-dimensional torus. Our goal in this paper is two-fold. (i) By introducing a hybrid argument, combining the $I$-method in the stochastic setting with a Gronwall-type argument, we first prove global well-posedness of the (renormalized) cubic SNLW in the defocusing case. Our argument yields a double exponential growth bound on the Sobolev norm of a solution. (ii) We then study the stochastic damped nonlinear wave equations (SdNLW) in the defocusing case. In particular, by applying Bourgain's invariant measure argument, we prove almost sure global well-posedness of the (renormalized) defocusing SdNLW with respect to the Gibbs measure and invariance of the Gibbs measure. △ Less

Submitted 22 June, 2021; v1 submitted 21 May, 2020; originally announced May 2020.

Comments: 33 pages. To appear in Internat. Math. Res. Not. Minor typos corrected

MSC Class: 35L71; 60H15

On trigonometric skew-products over irrational circle-rotations

Authors: Hans Koch

Abstract: We describe some asymptotic properties of trigonometric skew-product maps over irrational rotations of the circle. The limits are controlled using renormalization. The maps considered here arise in connection with the self-dual Hofstadter Hamiltonian at energy zero. They are analogous to the almost Mathieu maps, but the factors commute. This allows us to construct periodic orbits under renormaliza… ▽ More We describe some asymptotic properties of trigonometric skew-product maps over irrational rotations of the circle. The limits are controlled using renormalization. The maps considered here arise in connection with the self-dual Hofstadter Hamiltonian at energy zero. They are analogous to the almost Mathieu maps, but the factors commute. This allows us to construct periodic orbits under renormalization, for every quadratic irrational, and to prove that the map-pairs arising from the Hofstadter model are attracted to these periodic orbits. Analogous results are believed to be true for the self-dual almost Mathieu maps, but they seem presently beyond reach. △ Less

Submitted 6 April, 2020; originally announced April 2020.

Comments: For possible updates, see http://web.ma.utexas.edu/users/koch/papers/trigrg/

MSC Class: 37E20 37F25 37C35 37N20 47B93

Renormalization and universality of the Hofstadter spectrum

Authors: Hans Koch, Sasha Kocic

Abstract: We consider a renormalization transformation $R$ for skew-product maps of the type that arise in a spectral analysis of the Hofstadter Hamiltonian. Periodic orbits of $R$ determine universal constants analogous to the critical exponents in the theory of phase transitions. Restricting to skew-product maps over a circle-rotations by the golden mean, we find several periodic orbits for $R$, and we co… ▽ More We consider a renormalization transformation $R$ for skew-product maps of the type that arise in a spectral analysis of the Hofstadter Hamiltonian. Periodic orbits of $R$ determine universal constants analogous to the critical exponents in the theory of phase transitions. Restricting to skew-product maps over a circle-rotations by the golden mean, we find several periodic orbits for $R$, and we conjecture that there are infinitely many. Interestingly, all scaling factors that have been determined to high accuracy appear to be algebraically related to the circle-rotation number. We present evidence that these values describe (among other things) local scaling properties of the Hofstadter spectrum. △ Less

Submitted 20 November, 2019; originally announced November 2019.

MSC Class: 37E20; 37F25; 34L40; 47A10

Traveling wave solutions for the FPU chain: a constructive approach

Authors: Gianni Arioli, Hans Koch

Abstract: Traveling waves for the FPU chain are constructed by solving the associated equation for the spatial profile $u$ of the wave. We consider solutions whose derivatives $u'$ need not be small, may change sign several times, but decrease at least exponentially. Our method of proof is computer-assisted. Unlike other methods, it does not require that the FPU potential has an attractive (positive) quadra… ▽ More Traveling waves for the FPU chain are constructed by solving the associated equation for the spatial profile $u$ of the wave. We consider solutions whose derivatives $u'$ need not be small, may change sign several times, but decrease at least exponentially. Our method of proof is computer-assisted. Unlike other methods, it does not require that the FPU potential has an attractive (positive) quadratic term. But we currently need to restrict the size of that term. In particular, our solutions in the attractive case are all supersonic. △ Less

Submitted 4 March, 2019; originally announced March 2019.

Dispersive decay of small data solutions for the KdV equation

Authors: Mihaela Ifrim, Herbert Koch, Daniel Tataru

Abstract: We consider the Korteweg-de Vries (KdV) equation, and prove that small localized data yields solutions which have dispersive decay on a quartic time-scale. This result is optimal, in view of the emergence of solitons at quartic time, as predicted by inverse scattering theory. We consider the Korteweg-de Vries (KdV) equation, and prove that small localized data yields solutions which have dispersive decay on a quartic time-scale. This result is optimal, in view of the emergence of solitons at quartic time, as predicted by inverse scattering theory. △ Less

Submitted 2 January, 2022; v1 submitted 17 January, 2019; originally announced January 2019.

Comments: 41 pages, 1 figure; final revision

MSC Class: 35Q53; 37K40

Paracontrolled approach to the three-dimensional stochastic nonlinear wave equation with quadratic nonlinearity

Authors: Massimiliano Gubinelli, Herbert Koch, Tadahiro Oh

Abstract: Using ideas from paracontrolled calculus, we prove local well-posedness of a renormalized version of the three-dimensional stochastic nonlinear wave equation with quadratic nonlinearity forced by an additive space-time white noise on a periodic domain. There are two new ingredients as compared to the parabolic setting. (i) In constructing stochastic objects, we have to carefully exploit dispersion… ▽ More Using ideas from paracontrolled calculus, we prove local well-posedness of a renormalized version of the three-dimensional stochastic nonlinear wave equation with quadratic nonlinearity forced by an additive space-time white noise on a periodic domain. There are two new ingredients as compared to the parabolic setting. (i) In constructing stochastic objects, we have to carefully exploit dispersion at a multilinear level. (ii) We introduce novel random operators and leverage their regularity to overcome the lack of smoothing of usual paradifferential commutators. △ Less

Submitted 22 June, 2021; v1 submitted 19 November, 2018; originally announced November 2018.

Comments: 52 pages. To appear in J. Eur. Math. Soc. Minor updates

MSC Class: 35L71; 60H15

Some breathers and multi-breathers for FPU-type chains

Authors: Gianni Arioli, Hans Koch

Abstract: We consider several breather solutions for FPU-type chains that have been found numerically. Using computer-assisted techniques, we prove that there exist true solutions nearby, and in some cases, we determine whether or not the solution is spectrally stable. Symmetry properties are considered as well. In addition, we construct solutions that are close to (possibly infinite) sums of breather solut… ▽ More We consider several breather solutions for FPU-type chains that have been found numerically. Using computer-assisted techniques, we prove that there exist true solutions nearby, and in some cases, we determine whether or not the solution is spectrally stable. Symmetry properties are considered as well. In addition, we construct solutions that are close to (possibly infinite) sums of breather solutions. △ Less

Submitted 12 September, 2018; originally announced September 2018.

Pareto optimization of resonances and minimum-time control

Authors: Illya M. Karabash, Herbert Koch, Ievgen V. Verbytskyi

Abstract: The aim of the paper is to reduce one spectral optimization problem, which involves the minimization of the decay rate $|\mathrm{Im} \, k |$ of a resonance $k$, to a collection of optimal control problems on the Riemann sphere $\widehat{\mathbb{C}}$. This reduction allows us to apply methods of extremal synthesis to the structural optimization of layered optical cavities. We start from a dual prob… ▽ More The aim of the paper is to reduce one spectral optimization problem, which involves the minimization of the decay rate $|\mathrm{Im} \, k |$ of a resonance $k$, to a collection of optimal control problems on the Riemann sphere $\widehat{\mathbb{C}}$. This reduction allows us to apply methods of extremal synthesis to the structural optimization of layered optical cavities. We start from a dual problem of minimization of the resonator length and give several reformulations of this problem that involve Pareto optimization of the modulus $|k|$ of a resonance, a minimum-time control problem on $\widehat{\mathbb{C}}$, and associated Hamilton-Jacobi-Bellman equations. Various types of controllability properties are studied in connection with the existence of optimizers and with the relationship between the Pareto optimal frontiers of minimal decay and minimal modulus. We give explicit examples of optimal resonances and describe qualitatively properties of the Pareto frontiers near them. A special representation of bang-bang controlled trajectories is combined with the analysis of extremals to obtain various bounds on optimal widths of layers. We propose a new method of computation of optimal symmetric resonators based on minimum-time control and compute with high accuracy several Pareto optimal frontiers and high-Q resonators. △ Less

Submitted 17 December, 2018; v1 submitted 28 August, 2018; originally announced August 2018.

Comments: Section 10 with numerical experiments and Section 11 containing a discussion and the conclusions are added. 5 figures and one table are added. As a consequence,the introduction section is restructured and split into two sections

MSC Class: 49N35; 35B34; 49L25; 78M50; 49R05; 93B27

Journal ref: Journal de Mathématiques Pures et Appliquées 136 (2020), 313-355

Some sharp Sobolev regularity for inhomogeneous $\infty$-Laplace equation in plane

Authors: Herbert Koch, Yi Ru-Ya Zhang, Yuan Zhou

Abstract: Suppose $Ω\Subset \mathbb R^2$ and $f\in BV_{loc}(Ω)\cap C^0(Ω)$ with $|f|>0$ in $Ω$. Let $u\in C^0(Ω)$ be a viscosity solution to the inhomogeneous $\infty$-Laplace equation $$ -Δ_{\infty} u :=-\frac12\sum_{i=1}^2(|Du|^2)_iu_i= -\sum_{i,j=1}^2u_iu_ju_{ij} =f \quad {\rm in}\ Ω. $$ The following are proved in this paper. (i) For $ α> 3/2$, we have $|Du|^α\in W^{1,2}_{loc}(Ω)$, which is (asymptoti… ▽ More Suppose $Ω\Subset \mathbb R^2$ and $f\in BV_{loc}(Ω)\cap C^0(Ω)$ with $|f|>0$ in $Ω$. Let $u\in C^0(Ω)$ be a viscosity solution to the inhomogeneous $\infty$-Laplace equation $$ -Δ_{\infty} u :=-\frac12\sum_{i=1}^2(|Du|^2)_iu_i= -\sum_{i,j=1}^2u_iu_ju_{ij} =f \quad {\rm in}\ Ω. $$ The following are proved in this paper. (i) For $ α> 3/2$, we have $|Du|^α\in W^{1,2}_{loc}(Ω)$, which is (asymptotic) sharp when $ α\to 3/2$. Indeed, the function $w(x_1,x_2)=-x_1^ {4/3} $ is a viscosity solution to $-Δ_\infty w=\frac{4^3}{3^4}$ in $\mathbb R^2$. For any $p> 2$, $|Dw|^α\notin W^{1,p}_{loc}(\mathbb R^2)$ whenever $α\in(3/2,3-3/p)$. (ii) For $ α\in(0, 3/2]$ and $p\in[1, 3/(3-α))$, we have $|Du|^α\in W^{1,p}_{loc}(Ω)$, which is sharp when $p\to 3/(3-α)$. Indeed, $ |Dw|^α\notin W^{1,3/(3-α)}_{loc}(\mathbb R^2)$. (iii) For $ ε> 0$, we have $|Du|^{-3+ε}\in L^1_{loc}(Ω)$, which is sharp when $ε\to0$. Indeed, $|Dw|^{-3} \notin L^1_{loc}(\mathbb R^2)$. (iv) For $ α> 0$, we have $$-(|Du|^α)_iu_i= 2α|Du|^{ α-2}f \ \mbox{ almost everywhere in $Ω$}.$$ Some quantative bounds are also given. △ Less

Submitted 5 June, 2018; originally announced June 2018.

MSC Class: 35J60

An asymtotic sharp Sobolev regularity for planar infinity harmonic functions

Authors: Herbert Koch, Yi Ru-Ya Zhang, Yuan Zhou

Abstract: Given an arbitrary planar $\infty$-harmonic function $u$, for each $α>0$ we establish a quantitative local $W^{1,2}$-estimate of $|Du|^α$, which is sharp as $α\to0$. We also show that the distributional determinant of $u$ is a Radon measure enjoying some quantitative lower and upper bounds. As a by-product, for each $p>2$ we obtain some quantitative local $W^{1,p}$-estimates of $u$, and consequent… ▽ More Given an arbitrary planar $\infty$-harmonic function $u$, for each $α>0$ we establish a quantitative local $W^{1,2}$-estimate of $|Du|^α$, which is sharp as $α\to0$. We also show that the distributional determinant of $u$ is a Radon measure enjoying some quantitative lower and upper bounds. As a by-product, for each $p>2$ we obtain some quantitative local $W^{1,p}$-estimates of $u$, and consequently, an $L^p$-Liouville property for $\infty$-harmonic functions in whole plane. △ Less

Submitted 5 June, 2018; originally announced June 2018.

MSC Class: 35J60

Conserved energies for the one dimensional Gross-Pitaevskii equation

Authors: Herbert Koch, Xian Liao

Abstract: We prove the global-in-time well-posedness of the one dimensional Gross-Pitaevskii equation in the energy space, which is a complete metric space equipped with a newly introduced metric and with the energy norm describing the $H^s$ regularities of the solutions. We establish a family of conserved energies for the one dimensional Gross-Pitaevskii equation, such that the energy norms of the solution… ▽ More We prove the global-in-time well-posedness of the one dimensional Gross-Pitaevskii equation in the energy space, which is a complete metric space equipped with a newly introduced metric and with the energy norm describing the $H^s$ regularities of the solutions. We establish a family of conserved energies for the one dimensional Gross-Pitaevskii equation, such that the energy norms of the solutions are conserved globally in time. This family of energies is also conserved by the complex modified Korteweg-de Vries flow. △ Less

Submitted 28 July, 2019; v1 submitted 25 January, 2018; originally announced January 2018.

Validated numerical solutions for some semilinear elliptic equations on the disk

Authors: Gianni Arioli, Hans Koch

Abstract: Starting with approximate solutions of the equation $-Δu=wu^3$ on the disk, with zero boundary conditions, we prove that there exist true solutions nearby. One of the challenges here lies in the fact that we need simultaneous and accurate control of both the (inverse) Dirichlet Laplacean and nonlinearities. We achieve this with the aid of a computer, using a Banach algebra of real analytic functio… ▽ More Starting with approximate solutions of the equation $-Δu=wu^3$ on the disk, with zero boundary conditions, we prove that there exist true solutions nearby. One of the challenges here lies in the fact that we need simultaneous and accurate control of both the (inverse) Dirichlet Laplacean and nonlinearities. We achieve this with the aid of a computer, using a Banach algebra of real analytic functions, based on Zernike polynomials. Besides proving existence, and symmetry properties, we also determine the Morse index of the solutions. △ Less

Submitted 21 December, 2017; originally announced December 2017.

MSC Class: 35J60

Renormalization of the two-dimensional stochastic nonlinear wave equations

Authors: Massimiliano Gubinelli, Herbert Koch, Tadahiro Oh

Abstract: We study the two-dimensional stochastic nonlinear wave equations (SNLW) with an additive space-time white noise forcing. In particular, we introduce a time-dependent renor- malization and prove that SNLW is pathwise locally well-posed. As an application of the local well-posedness argument, we also establish a weak universality result for the renormalized SNLW. We study the two-dimensional stochastic nonlinear wave equations (SNLW) with an additive space-time white noise forcing. In particular, we introduce a time-dependent renor- malization and prove that SNLW is pathwise locally well-posed. As an application of the local well-posedness argument, we also establish a weak universality result for the renormalized SNLW. △ Less

Submitted 23 May, 2018; v1 submitted 15 March, 2017; originally announced March 2017.

Comments: 24 pages, Typos corrected. To appear in Trans. Amer. Math. Soc

MSC Class: 35L71; 60H15

Flatness implies smoothness for solutions of the porous medium equation

Authors: Clemens Kienzler, Herbert Koch, Juan Luis Vazquez

Abstract: One of the major problems in the theory of the porous medium equation is the regularity of the solutions and the free boundaries. Here we assume flatness of the solution in space time cylinder and derive smoothness of the interface after a small time, as well as smoothness of the solution in the positivity set and up to the free boundary for some time interval. We use these facts to prove the foll… ▽ More One of the major problems in the theory of the porous medium equation is the regularity of the solutions and the free boundaries. Here we assume flatness of the solution in space time cylinder and derive smoothness of the interface after a small time, as well as smoothness of the solution in the positivity set and up to the free boundary for some time interval. We use these facts to prove the following eventual regularity result: solutions with compactly supported initial data are smooth after a finite time T that depends on mass and the size of the initial support. This result eliminates the condition of non-degeneracy on the initial data that has been carried on for decades in the literature. △ Less

Submitted 28 September, 2016; originally announced September 2016.

Comments: 36 pages

MSC Class: 35B45

Global well-posedness and scattering for small data for the 3-d KP-II Cauchy problem

Authors: Herbert Koch, Junfeng Li

Abstract: We study global well-posedness for the Kadomtsev-Petviashvili II equation in three space dimensions with small initial data. The crucial points are new bilinear estimates and the definition of the function spaces. As by-product we obtain that all solutions to small initial data scatter. We study global well-posedness for the Kadomtsev-Petviashvili II equation in three space dimensions with small initial data. The crucial points are new bilinear estimates and the definition of the function spaces. As by-product we obtain that all solutions to small initial data scatter. △ Less

Submitted 10 April, 2017; v1 submitted 24 August, 2016; originally announced August 2016.

Comments: 33 pages, 1 figure, final version

MSC Class: 35Q53

Conserved energies for the cubic NLS in 1-d

Authors: Herbert Koch, Daniel Tataru

Abstract: We consider the cubic Nonlinear Schrödinger Equation (NLS) as well as the modified Korteweg-de Vries (mKdV) equation in one space dimension. We prove that for each $s>-\frac12$ there exists a conserved energy which is equivalent to the $H^s$ norm of the solution. For the Korteweg-de Vries (KdV) equation there is a similar conserved energy for every $s\ge -1$. We consider the cubic Nonlinear Schrödinger Equation (NLS) as well as the modified Korteweg-de Vries (mKdV) equation in one space dimension. We prove that for each $s>-\frac12$ there exists a conserved energy which is equivalent to the $H^s$ norm of the solution. For the Korteweg-de Vries (KdV) equation there is a similar conserved energy for every $s\ge -1$. △ Less

Submitted 23 May, 2018; v1 submitted 8 July, 2016; originally announced July 2016.

Comments: 72 pages, small corrections

MSC Class: 35Q55; 37K10

Journal ref: Duke Math. J. 167, no. 17 (2018), 3207-3313

Higher Regularity for the fractional thin obstacle problem

Authors: Herbert Koch, Angkana Rüland, Wenhui Shi

Abstract: In this article we investigate the higher regularity properties of the regular free boundary in the fractional thin obstacle problem. Relying on a Hodograph-Legendre transform, we show that for smooth or analytic obstacles the regular free boundary is smooth or analytic, respectively. This leads to the analysis of a fully nonlinear, degenerate (sub)elliptic operator which we identify as a (fully n… ▽ More In this article we investigate the higher regularity properties of the regular free boundary in the fractional thin obstacle problem. Relying on a Hodograph-Legendre transform, we show that for smooth or analytic obstacles the regular free boundary is smooth or analytic, respectively. This leads to the analysis of a fully nonlinear, degenerate (sub)elliptic operator which we identify as a (fully nonlinear) perturbation of the fractional Baouendi-Grushin Laplacian. Using its intrinsic geometry and adapted function spaces, we invoke the analytic implicit function theorem to deduce analyticity of the regular free boundary. △ Less

Submitted 21 May, 2016; originally announced May 2016.

Comments: 79 pages

The Variable Coefficient Thin Obstacle Problem: Higher Regularity

Authors: Herbert Koch, Angkana Rüland, Wenhui Shi

Abstract: In this article we continue our investigation of the thin obstacle problem with variable coefficients which was initiated in \cite{KRS14}, \cite{KRSI}. Using a partial Hodograph-Legendre transform and the implicit function theorem, we prove higher order Hölder regularity for the regular free boundary, if the associated coefficients are of the corresponding regularity. For the zero obstacle this yi… ▽ More In this article we continue our investigation of the thin obstacle problem with variable coefficients which was initiated in \cite{KRS14}, \cite{KRSI}. Using a partial Hodograph-Legendre transform and the implicit function theorem, we prove higher order Hölder regularity for the regular free boundary, if the associated coefficients are of the corresponding regularity. For the zero obstacle this yields an improvement of a \emph{full derivative} for the free boundary regularity compared to the regularity of the metric. In the presence of non-zero obstacles or inhomogeneities, we gain \emph{three halves of a derivative} for the free boundary regularity with respect to the regularity of the inhomogeneity. Further we show analyticity of the regular free boundary for analytic metrics. We also discuss the low regularity set-up of $W^{1,p}$ metrics with $p>n+1$ with and without ($L^p$) inhomogeneities. Key new ingredients in our analysis are the introduction of generalized Hölder spaces, which allow to interpret the transformed fully nonlinear, degenerate (sub)elliptic equation as a perturbation of the Baouendi-Grushin operator, various uses of intrinsic geometries associated with appropriate operators, the application of the implicit function theorem to deduce (higher) regularity and the splitting technique from \cite{KRSI}. △ Less

Submitted 6 May, 2016; originally announced May 2016.

Comments: 74 pages

Doubling inequalities for the Lamé system with rough coefficients

Authors: Herbert Koch, Ching-Lung Lin, Jenn-Nan Wang

Abstract: In this paper we study the local behavior of a solution to the Lamé system when the Lamé coefficients $λ$ and $μ$ satisfy that $μ$ is Lipschitz and $λ$ is essentially bounded in dimension $n\ge 2$. One of the main results is the \emph{local} doubling inequality for the solution of the Lamé system. This is a quantitative estimate of the strong unique continuation property. Our proof relies on Carle… ▽ More In this paper we study the local behavior of a solution to the Lamé system when the Lamé coefficients $λ$ and $μ$ satisfy that $μ$ is Lipschitz and $λ$ is essentially bounded in dimension $n\ge 2$. One of the main results is the \emph{local} doubling inequality for the solution of the Lamé system. This is a quantitative estimate of the strong unique continuation property. Our proof relies on Carleman estimates with carefully chosen weights. Furthermore, we also prove the \emph{global} doubling inequality, which is useful in some inverse problems. △ Less

Submitted 17 December, 2015; originally announced December 2015.

Partial analyticity and nodal sets for nonlinear elliptic systems

Authors: Herbert Koch, Nikolai Nadirashvili

Abstract: We study partial analyticity of solutions to elliptic systems and analyticity of level sets of solutions to nonlinear elliptic systems. We consider several applications, including analyticity of flow lines for bounded stationary solutions to the 2-d Euler equation, and analyticity of water waves with and without surface tension. We study partial analyticity of solutions to elliptic systems and analyticity of level sets of solutions to nonlinear elliptic systems. We consider several applications, including analyticity of flow lines for bounded stationary solutions to the 2-d Euler equation, and analyticity of water waves with and without surface tension. △ Less

Submitted 20 June, 2015; originally announced June 2015.

Comments: 34 pages

MSC Class: 35J47

The Variable Coefficient Thin Obstacle Problem: Optimal Regularity and Regularity of the Regular Free Boundary

Authors: Herbert Koch, Angkana Rüland, Wenhui Shi

Abstract: This article deals with the variable coefficient thin obstacle problem in $n+1$ dimensions. We address the regular free boundary regularity, the behavior of the solution close to the free boundary and the optimal regularity of the solution in a low regularity set-up. We first discuss the case of zero obstacle and $W^{1,p}$ metrics with $p\in(n+1,\infty]$. In this framework, we prove the $C^{1,α}$… ▽ More This article deals with the variable coefficient thin obstacle problem in $n+1$ dimensions. We address the regular free boundary regularity, the behavior of the solution close to the free boundary and the optimal regularity of the solution in a low regularity set-up. We first discuss the case of zero obstacle and $W^{1,p}$ metrics with $p\in(n+1,\infty]$. In this framework, we prove the $C^{1,α}$ regularity of the regular free boundary and derive the leading order asymptotic expansion of solutions at regular free boundary points. We further show the optimal $C^{1,\min\{1-\frac{n+1}{p}, \frac{1}{2}\}}$ regularity of solutions. New ingredients include the use of the Reifenberg flatness of the regular free boundary, the construction of an (almost) optimal barrier function and the introduction of an appropriate splitting of the solution. Important insights depend on the consideration of various intrinsic geometric structures. Based on variations of the arguments in \cite{KRS14} and the present article, we then also discuss the case of non-zero and interior thin obstacles. We obtain the optimal regularity of the solutions and the regularity of the regular free boundary for $W^{1,p}$ metrics and $W^{2,p}$ obstacles with $p\in (2(n+1),\infty]$. △ Less

Submitted 22 March, 2016; v1 submitted 14 April, 2015; originally announced April 2015.

Comments: 62 pages, this is a slightly updated version, the arguments for the zero obstacle are strenghtened, an argument on the Hausdorff-dimension of the free boundary is added

Convexity and concavity of the ground state energy

Authors: Herbert Koch

Abstract: This note proves convexity resp. concavity of the ground state energy of one dimensional Schrödinger operators as a function of an endpoint of the interval for convex resp. concave potentials. This note proves convexity resp. concavity of the ground state energy of one dimensional Schrödinger operators as a function of an endpoint of the interval for convex resp. concave potentials. △ Less

Submitted 19 September, 2015; v1 submitted 23 February, 2015; originally announced February 2015.

Comments: 3 pages, corrected version

MSC Class: 35B09

Journal ref: New York J. Math. 21 (2015) 1003-1005

The Variable Coefficient Thin Obstacle Problem: Carleman Inequalities

Authors: Herbert Koch, Angkana Rüland, Wenhui Shi

Abstract: In this article we present a new strategy of addressing the (variable coefficient) thin obstacle problem. Our approach is based on a (variable coefficient) Carleman estimate. This yields semi-continuity of the vanishing order, lower and uniform upper growth bounds of solutions and sufficient compactness properties in order to carry out a blow-up procedure. Moreover, the Carleman estimate implies t… ▽ More In this article we present a new strategy of addressing the (variable coefficient) thin obstacle problem. Our approach is based on a (variable coefficient) Carleman estimate. This yields semi-continuity of the vanishing order, lower and uniform upper growth bounds of solutions and sufficient compactness properties in order to carry out a blow-up procedure. Moreover, the Carleman estimate implies the existence of homogeneous blow-up limits along certain sequences and ultimately leads to an almost optimal regularity statement. As it is a very robust tool, it allows us to consider the problem in the setting of Sobolev metrics, i.e. the coefficients are only $W^{1,p}$ regular for some $p>n+1$. These results provide the basis for our further analysis of the free boundary, the optimal ($C^{1,1/2}$-) regularity of solutions and a first order asymptotic expansion of solutions at the regular free boundary which is carried out in a follow-up article in the framework of $W^{1,p}$, $p>2(n+1)$, regular coefficients. △ Less

Submitted 29 May, 2015; v1 submitted 19 January, 2015; originally announced January 2015.

Comments: 38 pages, this is a slightly updated version

Higher regularity of the free boundary in the elliptic Signorini problem

Authors: Herbert Koch, Arshak Petrosyan, Wenhui Shi

Abstract: In this paper we study the higher regularity of the free boundary for the elliptic Signorini problem. By using a partial hodograph-Legendre transformation we show that the regular part of the free boundary is real analytic. The first complication in the study is the invertibility of the hodograph transform (which is only $C^{0,1/2}$) which can be overcome by studying the precise asymptotic behavio… ▽ More In this paper we study the higher regularity of the free boundary for the elliptic Signorini problem. By using a partial hodograph-Legendre transformation we show that the regular part of the free boundary is real analytic. The first complication in the study is the invertibility of the hodograph transform (which is only $C^{0,1/2}$) which can be overcome by studying the precise asymptotic behavior of the solutions near regular free boundary points. The second and main complication in the study is that the equation satisfied by the Legendre transform is degenerate. However, the equation has a subelliptic structure and can be viewed as a perturbation of the Baouendi-Grushin operator. By using the $L^p$ theory available for that operator, we can bootstrap the regularity of the Legendre transform up to real analyticity, which imples the real analyticity of the free boundary. △ Less

Submitted 1 February, 2015; v1 submitted 19 June, 2014; originally announced June 2014.

Comments: 45 pages, to appear in Nonlinear Analysis

Self-similar solutions to super-critical gKdV

Authors: Herbert Koch

Abstract: We construct self similar finite energy solutions to the slightly super-critical generalized KdV equation. These self similar solutions bifurcate as a function of the exponent $p$ from the soliton at the $L^2$ critical exponent. We construct self similar finite energy solutions to the slightly super-critical generalized KdV equation. These self similar solutions bifurcate as a function of the exponent $p$ from the soliton at the $L^2$ critical exponent. △ Less

Submitted 17 April, 2014; originally announced April 2014.

Journal ref: Nonlinearity 28 (2015) 545-575

Convolution Estimates for Singular Measures and Some Global Nonlinear Brascamp-Lieb Inequalities

Authors: Herbert Koch, Stefan Steinerberger

Abstract: We give a $L^2\times L^2 \rightarrow L^2$ convolution estimate for singular measures supported on transversal hypersurfaces in $\mathbb{R}^n$, which improves earlier results of Bejenaru, Herr & Tataru as well as Bejenaru & Herr. The arising quantities are relevant in the study of the validity of bilinear estimates for dispersive partial differential equations. We also prove a class of global, nonl… ▽ More We give a $L^2\times L^2 \rightarrow L^2$ convolution estimate for singular measures supported on transversal hypersurfaces in $\mathbb{R}^n$, which improves earlier results of Bejenaru, Herr & Tataru as well as Bejenaru & Herr. The arising quantities are relevant in the study of the validity of bilinear estimates for dispersive partial differential equations. We also prove a class of global, nonlinear Brascamp-Lieb inequalities with explicit constants in the same spirit. △ Less

Submitted 1 September, 2014; v1 submitted 17 April, 2014; originally announced April 2014.

Comments: 11 pages

Parabolic equations with rough data

Authors: Herbert Koch, Tobias Lamm

Abstract: We survey recent work on local well-posedness results for parabolic equations and systems with rough initial data. We survey recent work on local well-posedness results for parabolic equations and systems with rough initial data. △ Less

Submitted 14 October, 2013; originally announced October 2013.

Comments: 17 pages, survey article

On Hamiltonian flows whose orbits are straight lines

Authors: Hans Koch, Héctor E. Lomelí

Abstract: We consider real analytic Hamiltonians whose flow depends linearly on time. Trivial examples are Hamiltonians $H(q,p)$ that do not depend on the coordinate $q$. By a theorem of Moser, every polynomial Hamiltonian of degree 3 reduces to such a $q$-independent Hamiltonian via a linear symplectic change of variables. We show that such a reduction is impossible, in general, for polynomials of degree 4… ▽ More We consider real analytic Hamiltonians whose flow depends linearly on time. Trivial examples are Hamiltonians $H(q,p)$ that do not depend on the coordinate $q$. By a theorem of Moser, every polynomial Hamiltonian of degree 3 reduces to such a $q$-independent Hamiltonian via a linear symplectic change of variables. We show that such a reduction is impossible, in general, for polynomials of degree 4 or higher. But we give a condition that implies linear-symplectic conjugacy to another simple class of Hamiltonians. The condition is shown to hold for all nondegenerate Hamiltonians that are homogeneous of degree 4. △ Less

Submitted 11 April, 2013; originally announced April 2013.

MSC Class: 26C05 (Primary) 37J10; 37M15; 14E07; 58C25 (Secondary)

Bounded compositions on scaling invariant Besov spaces

Authors: Herbert Koch, Pekka Koskela, Eero Saksman, Tomás Soto

Abstract: For $0 < s < 1 < q < \infty$, we characterize the homeomorphisms $\varphi : \real^n \to \real^n$ for which the composition operator $f \mapsto f \circ \varphi$ is bounded on the homogeneous, scaling invariant Besov space $\dot{B}^s_{n/s,q}(\real^n)$, where the emphasis is on the case $q\not=n/s$, left open in the previous literature. We also establish an analogous result for Besov-type function… ▽ More For $0 < s < 1 < q < \infty$, we characterize the homeomorphisms $\varphi : \real^n \to \real^n$ for which the composition operator $f \mapsto f \circ \varphi$ is bounded on the homogeneous, scaling invariant Besov space $\dot{B}^s_{n/s,q}(\real^n)$, where the emphasis is on the case $q\not=n/s$, left open in the previous literature. We also establish an analogous result for Besov-type function spaces on a wide class of metric measure spaces as well, and make some new remarks considering the scaling invariant Triebel-Lizorkin spaces $\dot{F}^s_{n/s,q}(\real^n)$ with $0 < s < 1$ and $0 < q \leq \infty$. △ Less

Submitted 27 March, 2015; v1 submitted 28 September, 2012; originally announced September 2012.

Comments: 20 pages; corrected typos, simplified assumptions for Proposition 3.5 and Theorem 3.6

MSC Class: 46E35; 30C65; 47B33

Sharp L^p bounds on spectral clusters for Lipschitz metrics

Authors: Herbert Koch, Hart Smith, Daniel Tataru

Abstract: We establish L^p bounds on L^2 normalized spectral clusters for self-adjoint elliptic Dirichlet forms with Lipschitz coefficients. In two dimensions we obtain best possible bounds for all p between $2 and infinity, up to logarithmic losses for $6<p\leq 8$. In higher dimensions we obtain best possible bounds for a limited range of p. We establish L^p bounds on L^2 normalized spectral clusters for self-adjoint elliptic Dirichlet forms with Lipschitz coefficients. In two dimensions we obtain best possible bounds for all p between $2 and infinity, up to logarithmic losses for $6<p\leq 8$. In higher dimensions we obtain best possible bounds for a limited range of p. △ Less

Submitted 10 July, 2012; originally announced July 2012.

Comments: 28 pages

MSC Class: 35P15

On the spectral density function of the Laplacian of a graph

Authors: Herbert Koch, Wolfgang Lueck

Abstract: Let X be a finite graph. Let E be the number of its edges and d be its degree. Denote by F_1(X) its first spectral density function which counts the number of eigenvalues less or equal to lambda^2 of the associated Laplace operator. We prove the estimate F_1(X)(lambda) - F_1(X)(0) le 2 cdot E cdot d cdot lambda for 0 le lambda < 1. We explain how this gives evidence for conjectures about approxima… ▽ More Let X be a finite graph. Let E be the number of its edges and d be its degree. Denote by F_1(X) its first spectral density function which counts the number of eigenvalues less or equal to lambda^2 of the associated Laplace operator. We prove the estimate F_1(X)(lambda) - F_1(X)(0) le 2 cdot E cdot d cdot lambda for 0 le lambda < 1. We explain how this gives evidence for conjectures about approximating Fuglede-Kadison determinants and L^2-torsion. △ Less

Submitted 3 June, 2013; v1 submitted 10 May, 2012; originally announced May 2012.

Comments: final version, added new references, 9 pages, to appear in Expositiones Mathematicae

MSC Class: 05C90; 34L20; 60F70

Journal ref: Expo. Math. 32 (2014), no. 2,178-189

Higher order time asymptotics of fast diffusion in euclidean space: a dynamical systems approach

Authors: Jochen Denzler, Herbert Koch, Robert McCann

Abstract: This paper quantifies the speed of convergence and higher- order asymptotics of fast diffusion dynamics on R^n to the Barenblatt (self similar) solution. Degeneracies in the parabolicity of this equation are cured by re-expressing the dynamics on a manifold with a cylindrical end, called the cigar. The nonlinear evolution becomes differentiable in Hoelder spaces on the cigar. The linearization of… ▽ More This paper quantifies the speed of convergence and higher- order asymptotics of fast diffusion dynamics on R^n to the Barenblatt (self similar) solution. Degeneracies in the parabolicity of this equation are cured by re-expressing the dynamics on a manifold with a cylindrical end, called the cigar. The nonlinear evolution becomes differentiable in Hoelder spaces on the cigar. The linearization of the dynamics is given by the Laplace-Beltrami operator plus a transport term (which can be suppressed by introducing appropriate weights into the function space norm), plus a finite-depth potential well with a universal profile. In the limiting case of the (linear) heat equation, the depth diverges, the number of eigenstates increases without bound, and the continuous spectrum recedes to infinity. We provide a detailed study of the linear and nonlinear problems in Hoelder spaces on the cigar, including a sharp boundedness estimate for the semi-group, and use this as a tool to obtain sharp convergence results toward the Barenblatt solution, and higher order asymptotics. In finer convergence results (after modding out symmetries of the problem), a subtle interplay between convergence rates and tail behavior is revealed. The difficulties involved in choosing the right functional spaces in which to carry out the analysis can be interpreted as genuine features of the equation rather than mere annoying technicalities. △ Less

Submitted 28 April, 2012; originally announced April 2012.

MSC Class: 35B40; 33C50; 35K61; 37L10; 58J50; 76S05

The Korteweg-de-Vries equation at H^{-1} regularity

Authors: Tristan Buckmaster, Herbert Koch

Abstract: In this paper we will prove the existence of weak solutions to the Korteweg-de Vries initial value problem on the real line with H^{-1} initial data; moreover, we will study the problem of orbital and asymptotic H^{s} stability of solitons for integers s\ge -1; finally, we will also prove new a priori H^{-1} bounds for solutions to the Korteweg-de Vries equation. The paper will utilise the Miura t… ▽ More In this paper we will prove the existence of weak solutions to the Korteweg-de Vries initial value problem on the real line with H^{-1} initial data; moreover, we will study the problem of orbital and asymptotic H^{s} stability of solitons for integers s\ge -1; finally, we will also prove new a priori H^{-1} bounds for solutions to the Korteweg-de Vries equation. The paper will utilise the Miura transformation to link the Korteweg-de Vries equation to the modified Korteweg-de Vries equation. △ Less

Submitted 17 July, 2012; v1 submitted 20 December, 2011; originally announced December 2011.

Comments: 36 pages

MSC Class: 35Q53

Energy and local energy bounds for the 1-D cubic NLS equation in H^{-1/4}

Authors: Herbert Koch, Daniel Tataru

Abstract: We consider the cubic Nonlinear Schroedinger Equation (NLS) in one space dimension, either focusing or defocusing. We prove that the solutions satisfy a-priori local in time Hs bounds in terms of the Hs size of the initial data for s >=-1/4 . This improves earlier results of Christ-Colliander-Tao [2] and of the authors [12]. The new ingredients are a localization in space and local energy decay, w… ▽ More We consider the cubic Nonlinear Schroedinger Equation (NLS) in one space dimension, either focusing or defocusing. We prove that the solutions satisfy a-priori local in time Hs bounds in terms of the Hs size of the initial data for s >=-1/4 . This improves earlier results of Christ-Colliander-Tao [2] and of the authors [12]. The new ingredients are a localization in space and local energy decay, which we hope to be of independent interest. △ Less

Submitted 1 December, 2010; originally announced December 2010.

Comments: 37 pages

MSC Class: 35 Q 35

Small data scattering and soliton stability in $\dot{H}^{-\frac16}$ for the quartic KdV Equation

Authors: Herbert Koch, Jeremy L. Marzuola

Abstract: In this note we prove scattering for perturbations of solitons in the scaling space appropriate for the quartic nonlinearity, namely $\dot{H}^{-\frac16}$. The article relies strongly on refined estimates for a KdV equation linearized at the soliton. In contrast to the work of Tao (2006), we are able to work purely in the scaling space without additional regularity assumptions, allowing us to prove… ▽ More In this note we prove scattering for perturbations of solitons in the scaling space appropriate for the quartic nonlinearity, namely $\dot{H}^{-\frac16}$. The article relies strongly on refined estimates for a KdV equation linearized at the soliton. In contrast to the work of Tao (2006), we are able to work purely in the scaling space without additional regularity assumptions, allowing us to prove some results on the existence of inverse wave operators. △ Less

Submitted 12 August, 2010; v1 submitted 26 January, 2010; originally announced January 2010.

Comments: 63 pages, 0 figures

MSC Class: 35Q53; 35C07; 35B40

A para-differential renormalization technique for nonlinear dispersive equations

Authors: Sebastian Herr, Alexandru D. Ionescu, Carlos E. Kenig, Herbert Koch

Abstract: For α\in (1,2) we prove that the initial-value problem \partial_t u+D^α\partial_x u+\partial_x(u^2/2)=0 on \mathbb{R}_x\times\mathbb{R}_t; u(0)=φ, is globally well-posed in the space of real-valued L^2-functions. We use a frequency dependent renormalization method to control the strong low-high frequency interactions. For α\in (1,2) we prove that the initial-value problem \partial_t u+D^α\partial_x u+\partial_x(u^2/2)=0 on \mathbb{R}_x\times\mathbb{R}_t; u(0)=φ, is globally well-posed in the space of real-valued L^2-functions. We use a frequency dependent renormalization method to control the strong low-high frequency interactions. △ Less

Submitted 27 July, 2009; originally announced July 2009.

Comments: 42 pages, no figures

MSC Class: 35Q53

Journal ref: Comm. Partial Differential Equations Vol. 35, No. 10, 1827-1875 (2010)

Geometric flows with rough initial data

Authors: Herbert Koch, Tobias Lamm

Abstract: We show the existence of a global unique and analytic solution for the mean curvature flow, the surface diffusion flow and the Willmore flow of entire graphs for Lipschitz initial data with small Lipschitz norm. We also show the existence of a global unique and analytic solution to the Ricci-DeTurck flow on euclidean space for bounded initial metrics which are close to the euclidean metric in… ▽ More We show the existence of a global unique and analytic solution for the mean curvature flow, the surface diffusion flow and the Willmore flow of entire graphs for Lipschitz initial data with small Lipschitz norm. We also show the existence of a global unique and analytic solution to the Ricci-DeTurck flow on euclidean space for bounded initial metrics which are close to the euclidean metric in $L^\infty$ and to the harmonic map flow for initial maps whose image is contained in a small geodesic ball. △ Less

Submitted 1 April, 2011; v1 submitted 9 February, 2009; originally announced February 2009.

Comments: Minor corrections, added a result for the surface diffusion flow