Related papers: A Nash-Moser-H\"ormander implicit function theorem…
We prove that the KdV equation on the circle remains exactly controllable in arbitrary time with localized control, for sufficiently small data, also in presence of quasi-linear perturbations, namely nonlinearities containing up to three…
We consider a linear Schr\"odinger equation, on a bounded interval, with bilinear control, that represents a quantum particle in an electric field (the control). We prove the controllability of this system, in any positive time, locally…
We investigate a general question about the size and regularity of the data and the solutions in implicit function problems with loss of regularity. First, we give a heuristic explanation of the fact that the optimal data size found by…
We prove an abstract Implicit Function Theorem with parameters for smooth operators defined on sequence scales, modeled for the search of quasi-periodic solutions of PDEs. The tame estimates required for the inverse linearised operators at…
We prove uniform parabolic H\"older estimates of De Giorgi-Nash-Moser type for sequences of minimizers of the functionals \[ \mathcal{E}_\varepsilon(W) = \int_0^\infty \frac{e^{- t/\varepsilon}}{\varepsilon} \bigg\{…
We prove internal controllability in arbitrary time, for small data, for quasi-linear Hamiltonian NLS equations on the circle. We use a procedure of reduction to constant coefficients up to order zero and HUM method to prove the…
We present a simple and easy-to-use Nash--Moser iteration theorem tailored for singular perturbation problems admitting a formal asymptotic expansion or other family of approximate solutions depending on a parameter $\eps\to 0.$ The novel…
We prove an inverse function theorem of Nash-Moser type for maps between Fr\'echet spaces satisfying tame estimates. In contrast to earlier proofs, we do not use the Newton method, that is, we do not use quadratic convergence to overcome…
Reducibility methods, aiming to simplify systems by conjugating them to those with constant coefficients, are crucial for studying the existence of quasiperiodic solutions. In KAM theory for PDEs, these methods help address the…
In this paper we introduce a new approach to compute rigorously solutions of Cauchy problems for a class of semi-linear parabolic partial differential equations. Expanding solutions with Chebyshev series in time and Fourier series in space,…
We study one-dimensional motions of polytropic gas governed by the compressible Euler equations. The problem on the half space under a constant gravity gives an equilibrium which has free boundary touching the vacuum and the linearized…
In the seventies', Zehnder found a Nash-Moser type implicit function theorem in the analytic set-up. This theorem has found many applications in dynamical systems although its applications require, as a general rule, some efforts. We…
This is a survey, which is a continuation of the previous survey of the author about applications of Carleman estimates to Inverse Problems, J. Inverse and Ill-Posed Problems, 21, 477-560, 2013. It is shown here that Tikhonov functionals…
In this paper we prove the existence and the stability of small-amplitude quasi-periodic solutions with Sobolev regularity, for the 1-dimensional forced Kirchoff equation with periodic boundary conditions. This is the first KAM result for a…
In a series of publications of the second author, including some with coauthors, globally strictly convex Tikhonov-like functionals were constructed for some nonlinear ill-posed problems. The main element of such a functional is the…
We investigate a general parabolic initial-boundary value problem with zero Cauchy data in some anisotropic H\"ormander inner product spaces. We prove that the operators corresponding to this problem are isomorphisms between appropriate…
This paper investigates the Cauchy problem of the time-space fractional Keller-Segel-Navier- Stokes model, which can describe both memory effect and L\'evy process of the system. The local existence and global existence in Lebesgue space…
We consider the classical Inverse Function Theorem of Nash and Moser from the angle of some recent development by Ekeland and the authors. Geometrisation of tame estimates coupled with certain ideas coming from Variational Analysis when…
We develop KAM theory close to an elliptic fixed point for quasi-linear Hamiltonian perturbations of the dispersive Degasperis-Procesi equation on the circle. The overall strategy in KAM theory for quasi-linear PDEs is based on Nash-Moser…
For a given Beurling-Carleson subset $E$ of the unit circle $\mathbb{T}$ which has positive Lebesgue measure, we give explicit formulas for measurable functions supported on $E$ such that their Cauchy transforms have smooth extensions from…