-
Balayage of measures: behavior near a cusp
Authors:
Christophe Charlier,
Jonatan Lenells
Abstract:
Let $μ$ be a positive measure supported on a domain $Ω$. We consider the behavior of the balayage measure $ν:=\mathrm{Bal}(μ,\partial Ω)$ near a point $z_{0}\in \partial Ω$ at which $Ω$ has an outward-pointing cusp. Assuming that the order and coefficient of tangency of the cusp are $d>0$ and $a>0$, respectively, and that $dμ(z) \asymp |z-z_{0}|^{2b-2}d^{2}z$ as $z\to z_0$ for some $b > 0$, we obt…
▽ More
Let $μ$ be a positive measure supported on a domain $Ω$. We consider the behavior of the balayage measure $ν:=\mathrm{Bal}(μ,\partial Ω)$ near a point $z_{0}\in \partial Ω$ at which $Ω$ has an outward-pointing cusp. Assuming that the order and coefficient of tangency of the cusp are $d>0$ and $a>0$, respectively, and that $dμ(z) \asymp |z-z_{0}|^{2b-2}d^{2}z$ as $z\to z_0$ for some $b > 0$, we obtain the leading order term of $ν$ near $z_{0}$. This leading term is universal in the sense that it only depends on $d$, $a$, and $b$. We also treat the case when the domain has multiple corners and cusps at the same point. Finally, we obtain an explicit expression for the balayage of the uniform measure on the tacnodal region between two osculating circles, and we give an application of this result to two-dimensional Coulomb gases.
△ Less
Submitted 10 August, 2024;
originally announced August 2024.
-
Semiclassical limit of a non-polynomial $q$-Askey scheme
Authors:
Jonatan Lenells,
Julien Roussillon
Abstract:
We prove a semiclassical asymptotic formula for the two elements $\mathcal M$ and $\mathcal Q$ lying at the bottom of the recently constructed non-polynomial hyperbolic $q$-Askey scheme. We also prove that the corresponding exponent is a generating function of the canonical transformation between pairs of Darboux coordinates on the monodromy manifold of the Painlevé I and $\textrm{III}_3$ equation…
▽ More
We prove a semiclassical asymptotic formula for the two elements $\mathcal M$ and $\mathcal Q$ lying at the bottom of the recently constructed non-polynomial hyperbolic $q$-Askey scheme. We also prove that the corresponding exponent is a generating function of the canonical transformation between pairs of Darboux coordinates on the monodromy manifold of the Painlevé I and $\textrm{III}_3$ equations, respectively. Such pairs of coordinates characterize the asymptotics of the tau function of the corresponding Painlevé equation. We conjecture that the other members of the non-polynomial hyperbolic $q$-Askey scheme yield generating functions associated to the other Painlevé equations in the semiclassical limit.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Numerical scheme for the solution of the "bad" Boussinesq equation
Authors:
Christophe Charlier,
Daniel Eriksson,
Jonatan Lenells
Abstract:
We present a numerical scheme for the solution of the initial-value problem for the ``bad'' Boussinesq equation. The accuracy of the scheme is tested by comparison with exact soliton solutions as well as with recently obtained asymptotic formulas for the solution.
We present a numerical scheme for the solution of the initial-value problem for the ``bad'' Boussinesq equation. The accuracy of the scheme is tested by comparison with exact soliton solutions as well as with recently obtained asymptotic formulas for the solution.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
Balayage of measures: behavior near a corner
Authors:
Christophe Charlier,
Jonatan Lenells
Abstract:
We consider the balayage of a measure $μ$ defined on a domain $Ω$ onto its boundary $\partial Ω$. Assuming that $Ω$ has a corner of opening $πα$ at a point $z_0 \in \partial Ω$ for some $0 < α\leq 2$ and that $dμ(z) \asymp |z-z_{0}|^{2b-2}d^{2}z$ as $z\to z_0$ for some $b > 0$, we obtain the precise rate of vanishing of the balayage of $μ$ near $z_{0}$. The rate of vanishing is universal in the se…
▽ More
We consider the balayage of a measure $μ$ defined on a domain $Ω$ onto its boundary $\partial Ω$. Assuming that $Ω$ has a corner of opening $πα$ at a point $z_0 \in \partial Ω$ for some $0 < α\leq 2$ and that $dμ(z) \asymp |z-z_{0}|^{2b-2}d^{2}z$ as $z\to z_0$ for some $b > 0$, we obtain the precise rate of vanishing of the balayage of $μ$ near $z_{0}$. The rate of vanishing is universal in the sense that it only depends on $α$ and $b$. We also treat the case when the domain has multiple corners at the same point. Moreover, when $2b\leq \frac{1}α$, we provide explicit constants for the upper and lower bounds.
△ Less
Submitted 11 July, 2024; v1 submitted 5 March, 2024;
originally announced March 2024.
-
The soliton resolution conjecture for the Boussinesq equation
Authors:
Christophe Charlier,
Jonatan Lenells
Abstract:
We analyze the Boussinesq equation on the line with Schwartz initial data belonging to the physically relevant class of global solutions. In a recent paper, we determined ten main asymptotic sectors describing the large $(x,t)$-behavior of the solution, and for each of these sectors we provided the leading order asymptotics in the case when no solitons are present. In this paper, we give a formula…
▽ More
We analyze the Boussinesq equation on the line with Schwartz initial data belonging to the physically relevant class of global solutions. In a recent paper, we determined ten main asymptotic sectors describing the large $(x,t)$-behavior of the solution, and for each of these sectors we provided the leading order asymptotics in the case when no solitons are present. In this paper, we give a formula valid in the asymptotic sector $x/t \in (1,M]$, where $M$ is a large positive constant, in the case when solitons are present. Combined with earlier results, this validates the soliton resolution conjecture for the Boussinesq equation everywhere in the $(x,t)$-plane except in a number of small transition zones.
△ Less
Submitted 13 November, 2024; v1 submitted 18 March, 2023;
originally announced March 2023.
-
Boussinesq's equation for water waves: asymptotics in Sector I
Authors:
Christophe Charlier,
Jonatan Lenells
Abstract:
In a recent paper, we showed that the large $(x,t)$ behavior of a class of physically relevant solutions of Boussinesq's equation for water waves is described by ten main asymptotic sectors. In the sector adjacent to the positive $x$-axis, referred to as Sector I, we stated without proof an exact expression for the leading asymptotic term together with an error estimate. Here we provide a proof of…
▽ More
In a recent paper, we showed that the large $(x,t)$ behavior of a class of physically relevant solutions of Boussinesq's equation for water waves is described by ten main asymptotic sectors. In the sector adjacent to the positive $x$-axis, referred to as Sector I, we stated without proof an exact expression for the leading asymptotic term together with an error estimate. Here we provide a proof of this asymptotic formula.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
Boussinesq's equation for water waves: the soliton resolution conjecture for Sector IV
Authors:
Christophe Charlier,
Jonatan Lenells
Abstract:
We consider the Boussinesq equation on the line for a broad class of Schwartz initial data relevant for water waves. In a recent work, we identified ten main sectors describing the asymptotic behavior of the solution, and for each of these sectors we gave an exact expression for the leading asymptotic term in the case when no solitons are present. In this paper, we derive an asymptotic formula in…
▽ More
We consider the Boussinesq equation on the line for a broad class of Schwartz initial data relevant for water waves. In a recent work, we identified ten main sectors describing the asymptotic behavior of the solution, and for each of these sectors we gave an exact expression for the leading asymptotic term in the case when no solitons are present. In this paper, we derive an asymptotic formula in Sector IV, characterized by $\frac{x}{t}\in (\frac{1}{\sqrt{3}},1)$, in the case when solitons are present. In particular, our results provide an exact expression for the soliton-radiation interaction to leading order and a verification of the soliton resolution conjecture for the Boussinesq equation in Sector IV.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
Direct and inverse scattering for the Boussinesq equation with solitons
Authors:
Christophe Charlier,
Jonatan Lenells
Abstract:
In a recent paper, we developed an inverse scattering approach to the Boussinesq equation in the case when no solitons are present. In this paper, we extend this approach to include solutions with solitons.
In a recent paper, we developed an inverse scattering approach to the Boussinesq equation in the case when no solitons are present. In this paper, we extend this approach to include solutions with solitons.
△ Less
Submitted 28 February, 2023;
originally announced February 2023.
-
Conformal field theory, solitons, and elliptic Calogero--Sutherland models
Authors:
Bjorn K. Berntson,
Edwin Langmann,
Jonatan Lenells
Abstract:
We construct a non-chiral conformal field theory (CFT) on the torus that accommodates a second quantization of the elliptic Calogero-Sutherland (eCS) model. We show that the CFT operator that provides this second quantization defines, at the same time, a quantum version of a soliton equation called the non-chiral intermediate long-wave (ncILW) equation. We also show that this CFT operator is a sec…
▽ More
We construct a non-chiral conformal field theory (CFT) on the torus that accommodates a second quantization of the elliptic Calogero-Sutherland (eCS) model. We show that the CFT operator that provides this second quantization defines, at the same time, a quantum version of a soliton equation called the non-chiral intermediate long-wave (ncILW) equation. We also show that this CFT operator is a second quantization of a generalized eCS model which can describe arbitrary numbers of four different kinds of particles; we propose that these particles can be identified with solitons of the quantum ncILW equation.
△ Less
Submitted 22 February, 2023;
originally announced February 2023.
-
Boussinesq's equation for water waves: asymptotics in sector V
Authors:
Christophe Charlier,
Jonatan Lenells
Abstract:
We consider the Boussinesq equation on the line for a broad class of Schwartz initial data for which (i) no solitons are present, (ii) the spectral functions have generic behavior near $\pm 1$, and (iii) the solution exists globally. In a recent work, we identified ten main sectors describing the asymptotic behavior of the solution, and for each of these sectors we gave an exact expression for the…
▽ More
We consider the Boussinesq equation on the line for a broad class of Schwartz initial data for which (i) no solitons are present, (ii) the spectral functions have generic behavior near $\pm 1$, and (iii) the solution exists globally. In a recent work, we identified ten main sectors describing the asymptotic behavior of the solution, and for each of these sectors we gave an exact expression for the leading asymptotic term. In this paper, we give a proof for the formula corresponding to the sector $\frac{x}{t}\in (0,\frac{1}{\sqrt{3}})$.
△ Less
Submitted 30 May, 2023; v1 submitted 25 January, 2023;
originally announced January 2023.
-
Miura transformation for the "good'' Boussinesq equation
Authors:
Christophe Charlier,
Jonatan Lenells
Abstract:
It is well-known that each solution of the mKdV equation gives rise, via the Miura transformation, to a solution of the KdV equation. In this work, we show that a similar Miura-type transformation exists also for the ``good'' Boussinesq equation. This transformation maps solutions of a second-order equation to solutions of the fourth-order Boussinesq equation. Just like in the case of mKdV and KdV…
▽ More
It is well-known that each solution of the mKdV equation gives rise, via the Miura transformation, to a solution of the KdV equation. In this work, we show that a similar Miura-type transformation exists also for the ``good'' Boussinesq equation. This transformation maps solutions of a second-order equation to solutions of the fourth-order Boussinesq equation. Just like in the case of mKdV and KdV, the correspondence exists also at the level of the underlying Riemann--Hilbert problems and this is in fact how we construct the new transformation.
△ Less
Submitted 10 August, 2023; v1 submitted 18 January, 2023;
originally announced January 2023.
-
Toeplitz determinants with a one-cut regular potential and Fisher--Hartwig singularities I. Equilibrium measure supported on the unit circle
Authors:
Elliot Blackstone,
Christophe Charlier,
Jonatan Lenells
Abstract:
We consider Toeplitz determinants whose symbol has: (i) a one-cut regular potential $V$, (ii) Fisher--Hartwig singularities, and (iii) a smooth function in the background. The potential $V$ is associated with an equilibrium measure that is assumed to be supported on the whole unit circle. For constant potentials $V$, the equilibrium measure is the uniform measure on the unit circle and our formula…
▽ More
We consider Toeplitz determinants whose symbol has: (i) a one-cut regular potential $V$, (ii) Fisher--Hartwig singularities, and (iii) a smooth function in the background. The potential $V$ is associated with an equilibrium measure that is assumed to be supported on the whole unit circle. For constant potentials $V$, the equilibrium measure is the uniform measure on the unit circle and our formulas reduce to well-known results for Toeplitz determinants with Fisher--Hartwig singularities. For non-constant $V$, our results appear to be new even in the case of no Fisher--Hartwig singularities. As applications of our results, we derive various statistical properties of a determinantal point process which generalizes the circular unitary ensemble.
△ Less
Submitted 26 July, 2023; v1 submitted 13 December, 2022;
originally announced December 2022.
-
Wilson lines in the lattice Higgs model at strong coupling
Authors:
Malin P. Forsström,
Jonatan Lenells,
Fredrik Viklund
Abstract:
We consider the 4D fixed length lattice Higgs model with Wilson action for the gauge field and structure group $\mathbb{Z}_n$. We study Wilson line observables in the strong coupling regime and compute their asymptotic behavior with error estimates. Our analysis is based on a high-temperature representation of the lattice Higgs measure combined with Poisson approximation. We also give a short proo…
▽ More
We consider the 4D fixed length lattice Higgs model with Wilson action for the gauge field and structure group $\mathbb{Z}_n$. We study Wilson line observables in the strong coupling regime and compute their asymptotic behavior with error estimates. Our analysis is based on a high-temperature representation of the lattice Higgs measure combined with Poisson approximation. We also give a short proof of the folklore result that Wilson line (and loop) expectations exhibit perimeter law decay whenever the Higgs field coupling constant is positive.
△ Less
Submitted 4 October, 2024; v1 submitted 7 November, 2022;
originally announced November 2022.
-
Disk counting statistics near hard edges of random normal matrices: the multi-component regime
Authors:
Yacin Ameur,
Christophe Charlier,
Joakim Cronvall,
Jonatan Lenells
Abstract:
We consider a two-dimensional point process whose points are separated into two disjoint components by a hard wall, and study the multivariate moment generating function of the corresponding disk counting statistics. We investigate the ``hard edge regime" where all disk boundaries are a distance of order $\frac{1}{n}$ away from the hard wall, where $n$ is the number of points. We prove that as…
▽ More
We consider a two-dimensional point process whose points are separated into two disjoint components by a hard wall, and study the multivariate moment generating function of the corresponding disk counting statistics. We investigate the ``hard edge regime" where all disk boundaries are a distance of order $\frac{1}{n}$ away from the hard wall, where $n$ is the number of points. We prove that as $n \to + \infty$, the asymptotics of the moment generating function are of the form \begin{align*} & \exp \bigg(C_{1}n + C_{2}\ln n + C_{3} + \mathcal{F}_{n} + \frac{C_{4}}{\sqrt{n}} + \mathcal{O}(n^{-\frac{3}{5}})\bigg), \end{align*} and we determine the constants $C_{1},\dots,C_{4}$ explicitly. The oscillatory term $\mathcal{F}_{n}$ is of order $1$ and is given in terms of the Jacobi theta function. Our theorems allow us to derive various precise results on the disk counting function. For example, we prove that the asymptotic fluctuations of the number of points in one component are of order $1$ and are given by an oscillatory discrete Gaussian. Furthermore, the variance of this random variable enjoys asymptotics described by the Weierstrass $\wp$-function.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Exponential moments for disk counting statistics at the hard edge of random normal matrices
Authors:
Yacin Ameur,
Christophe Charlier,
Joakim Cronvall,
Jonatan Lenells
Abstract:
We consider the multivariate moment generating function of the disk counting statistics of a model Mittag-Leffler ensemble in the presence of a hard wall. Let $n$ be the number of points. We focus on two regimes: (a) the ``hard edge regime" where all disk boundaries are at a distance of order $\frac{1}{n}$ from the hard wall, and (b) the ``semi-hard edge regime" where all disk boundaries are at a…
▽ More
We consider the multivariate moment generating function of the disk counting statistics of a model Mittag-Leffler ensemble in the presence of a hard wall. Let $n$ be the number of points. We focus on two regimes: (a) the ``hard edge regime" where all disk boundaries are at a distance of order $\frac{1}{n}$ from the hard wall, and (b) the ``semi-hard edge regime" where all disk boundaries are at a distance of order $\frac{1}{\sqrt{n}}$ from the hard wall. As $n \to + \infty$, we prove that the moment generating function enjoys asymptotics of the form \begin{align*} & \exp \bigg(C_{1}n + C_{2}\ln n + C_{3} + \frac{C_{4}}{\sqrt{n}} + \mathcal{O}(n^{-\frac{3}{5}})\bigg), & & \mbox{for the hard edge}, \\ & \exp \bigg(C_{1}n + C_{2}\sqrt{n} \hspace{0.12cm} + C_{3} + \frac{C_{4}}{\sqrt{n}} + \mathcal{O}\bigg(\frac{(\ln n)^{4}}{n}\bigg)\bigg), & & \mbox{for the semi-hard edge}. \end{align*} In both cases, we determine the constants $C_{1},\dots,C_{4}$ explicitly. We also derive precise asymptotic formulas for all joint cumulants of the disk counting function, and establish several central limit theorems. Surprisingly, and in contrast to the ``bulk", ``soft edge" and ``semi-hard edge" regimes, the second and higher order cumulants of the disk counting function in the ``hard edge" regime are proportional to $n$ and not to $\sqrt{n}$.
△ Less
Submitted 27 July, 2023; v1 submitted 22 July, 2022;
originally announced July 2022.
-
Exponential moments for disk counting statistics of random normal matrices in the critical regime
Authors:
Christophe Charlier,
Jonatan Lenells
Abstract:
We obtain large $n$ asymptotics for the $m$-point moment generating function of the disk counting statistics of the Mittag-Leffler ensemble. We focus on the critical regime where all disk boundaries are merging at speed $n^{-\smash{\frac{1}{2}}}$, either in the bulk or at the edge. As corollaries, we obtain two central limit theorems and precise large $n$ asymptotics of all joint cumulants (such a…
▽ More
We obtain large $n$ asymptotics for the $m$-point moment generating function of the disk counting statistics of the Mittag-Leffler ensemble. We focus on the critical regime where all disk boundaries are merging at speed $n^{-\smash{\frac{1}{2}}}$, either in the bulk or at the edge. As corollaries, we obtain two central limit theorems and precise large $n$ asymptotics of all joint cumulants (such as the covariance) of the disk counting function. Our results can also be seen as large $n$ asymptotics for $n\times n$ determinants with merging planar discontinuities.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
On Boussinesq's equation for water waves
Authors:
C. Charlier,
J. Lenells
Abstract:
A century and a half ago, J. Boussinesq derived an equation for the propagation of water waves in a channel. Despite the fundamental importance of this equation for a number of physical phenomena, mathematical results on it remain scarce. One reason for this is that the equation is ill-posed. In this paper, we establish several results on the Boussinesq equation. First, by solving the direct and i…
▽ More
A century and a half ago, J. Boussinesq derived an equation for the propagation of water waves in a channel. Despite the fundamental importance of this equation for a number of physical phenomena, mathematical results on it remain scarce. One reason for this is that the equation is ill-posed. In this paper, we establish several results on the Boussinesq equation. First, by solving the direct and inverse problems for an associated third-order spectral problem, we develop an Inverse Scattering Transform (IST) approach to the initial value problem. Using this approach, we establish a number of existence, uniqueness, and blow-up results. For example, the IST approach allows us to identify physically meaningful global solutions and to construct, for each $T > 0$, solutions that blow up exactly at time $T$. Our approach also yields an expression for the solution of the initial value problem for the Boussinesq equation in terms of the solution of a Riemann--Hilbert problem. By analyzing this Riemann--Hilbert problem, we arrive at asymptotic formulas for the solution. We identify ten main asymptotic sectors in the $(x,t)$-plane; in each of these sectors, we compute an exact expression for the leading asymptotic term together with a precise error estimate.
△ Less
Submitted 4 April, 2023; v1 submitted 5 April, 2022;
originally announced April 2022.
-
The Robin problem for the nonlinear Schrödinger equation on the half-line
Authors:
Jae Min Lee,
Jonatan Lenells
Abstract:
We consider the nonlinear Schrödinger equation on the half-line $x \geq 0$ with a Robin boundary condition at $x = 0$ and with initial data in the weighted Sobolev space $H^{1,1}(\mathbb{R}_+)$. We prove that there exists a global weak solution of this initial-boundary value problem and provide a representation for the solution in terms of the solution of a Riemann--Hilbert problem. Using this rep…
▽ More
We consider the nonlinear Schrödinger equation on the half-line $x \geq 0$ with a Robin boundary condition at $x = 0$ and with initial data in the weighted Sobolev space $H^{1,1}(\mathbb{R}_+)$. We prove that there exists a global weak solution of this initial-boundary value problem and provide a representation for the solution in terms of the solution of a Riemann--Hilbert problem. Using this representation, we obtain asymptotic formulas for the long-time behavior of the solution. In particular, by restricting our asymptotic result to solutions whose initial data are close to the initial profile of the stationary one-soliton, we obtain results on the asymptotic stability of the stationary one-solitons under any small perturbation in $H^{1,1}(\mathbb{R}_+)$. In the focusing case, such a result was already established by Deift and Park using different methods, and our work provides an alternative approach to obtain such results.
△ Less
Submitted 4 November, 2021;
originally announced November 2021.
-
Wilson loops in the abelian lattice Higgs model
Authors:
Malin P. Forsström,
Jonatan Lenells,
Fredrik Viklund
Abstract:
We consider the lattice Higgs model on $\mathbb{Z}^4$, with structure group given by $ \mathbb{Z}_n $ for $ n \geq 2 $. We compute the expected value of the Wilson loop observable to leading order when the gauge coupling constant and hopping parameter are both sufficiently large. The leading order term is expressed in terms of a quantity arising from the related but much simpler $ \mathbb{Z}_n $ m…
▽ More
We consider the lattice Higgs model on $\mathbb{Z}^4$, with structure group given by $ \mathbb{Z}_n $ for $ n \geq 2 $. We compute the expected value of the Wilson loop observable to leading order when the gauge coupling constant and hopping parameter are both sufficiently large. The leading order term is expressed in terms of a quantity arising from the related but much simpler $ \mathbb{Z}_n $ model, which reduces to the Ising model when $n=2$. As part of the proof, we construct a coupling between the lattice Higgs model and the $ \mathbb{Z}_n $ model.
△ Less
Submitted 26 September, 2022; v1 submitted 8 July, 2021;
originally announced July 2021.
-
Non-polynomial $q$-Askey scheme: integral representations, eigenfunction properties, and polynomial limits
Authors:
Jonatan Lenells,
Julien Roussillon
Abstract:
We construct a non-polynomial generalization of the $q$-Askey scheme. Whereas the elements of the $q$-Askey scheme are given by $q$-hypergeometric series, the elements of the non-polynomial scheme are given by contour integrals, whose integrands are built from Ruijsenaars' hyperbolic gamma function. Alternatively, the integrands can be expressed in terms of Faddeev's quantum dilogarithm, Woronowic…
▽ More
We construct a non-polynomial generalization of the $q$-Askey scheme. Whereas the elements of the $q$-Askey scheme are given by $q$-hypergeometric series, the elements of the non-polynomial scheme are given by contour integrals, whose integrands are built from Ruijsenaars' hyperbolic gamma function. Alternatively, the integrands can be expressed in terms of Faddeev's quantum dilogarithm, Woronowicz's quantum exponential, or Kurokawa's double sine function. We present the basic properties of all the elements of the scheme, including their integral representations, joint eigenfunction properties, and polynomial limits.
△ Less
Submitted 23 May, 2021;
originally announced May 2021.
-
The hard-to-soft edge transition: exponential moments, central limit theorems and rigidity
Authors:
Christophe Charlier,
Jonatan Lenells
Abstract:
The local eigenvalue statistics of large random matrices near a hard edge transitioning into a soft edge are described by the Bessel process associated with a large parameter $α$. For this point process, we obtain 1) exponential moment asymptotics, up to and including the constant term, 2) asymptotics for the expectation and variance of the counting function, 3) several central limit theorems and…
▽ More
The local eigenvalue statistics of large random matrices near a hard edge transitioning into a soft edge are described by the Bessel process associated with a large parameter $α$. For this point process, we obtain 1) exponential moment asymptotics, up to and including the constant term, 2) asymptotics for the expectation and variance of the counting function, 3) several central limit theorems and 4) a global rigidity upper bound.
△ Less
Submitted 23 April, 2021;
originally announced April 2021.
-
The implementation of the unified transform to the nonlinear Schrödinger equation with periodic initial conditions
Authors:
B. Deconinck,
A. S. Fokas,
J. Lenells
Abstract:
The unified transform method (UTM) provides a novel approach to the analysis of initial-boundary value problems for linear as well as for a particular class of nonlinear partial differential equations called integrable. If the latter equations are formulated in two dimensions (either one space and one time, or two space dimensions), the UTM expresses the solution in terms of a matrix Riemann-Hilbe…
▽ More
The unified transform method (UTM) provides a novel approach to the analysis of initial-boundary value problems for linear as well as for a particular class of nonlinear partial differential equations called integrable. If the latter equations are formulated in two dimensions (either one space and one time, or two space dimensions), the UTM expresses the solution in terms of a matrix Riemann-Hilbert (RH) problem with explicit dependence on the independent variables. For nonlinear integrable evolution equations, such as the celebrated nonlinear Schrödinger (NLS) equation, the associated jump matrices are computed in terms of the initial conditions and all boundary values. The unknown boundary values are characterized in terms of the initial datum and the given boundary conditions via the analysis of the so-called global relation. In general, this analysis involves the solution of certain nonlinear equations. In certain cases, called linearizable, it is possible to bypass this nonlinear step. In these cases, the UTM solves the given initial-boundary value problem with the same level of efficiency as the well-known inverse scattering transform solves the initial value problem on the infinite line. We show here that the initial-boundary value problem on a finite interval with $x$-periodic boundary conditions (which can alternatively be viewed as the initial value problem on a circle), belongs to the linearizable class. Indeed, by employing certain transformations of the associated RH problem and by using the global relation, the relevant jump matrices can be expressed explicitly in terms of the so-called scattering data, which are computed in terms of the initial datum. Details are given for NLS, but similar considerations are valid for other well-known integrable evolution equations, including the Korteweg-de Vries (KdV) and modified KdV equations.
△ Less
Submitted 10 April, 2021;
originally announced April 2021.
-
The defocusing nonlinear Schrödinger equation with step-like oscillatory initial data
Authors:
Samuel Fromm,
Jonatan Lenells,
Ronald Quirchmayr
Abstract:
We study the Cauchy problem for the defocusing nonlinear Schrödinger (NLS) equation under the assumption that the solution vanishes as $x \to + \infty$ and approaches an oscillatory plane wave as $x \to -\infty$. We first develop an inverse scattering transform formalism for solutions satisfying such step-like boundary conditions. Using this formalism, we prove that there exists a global solution…
▽ More
We study the Cauchy problem for the defocusing nonlinear Schrödinger (NLS) equation under the assumption that the solution vanishes as $x \to + \infty$ and approaches an oscillatory plane wave as $x \to -\infty$. We first develop an inverse scattering transform formalism for solutions satisfying such step-like boundary conditions. Using this formalism, we prove that there exists a global solution of the corresponding Cauchy problem and establish a representation for this solution in terms of the solution of a Riemann-Hilbert problem. By performing a steepest descent analysis of this Riemann-Hilbert problem, we identify three asymptotic sectors in the half-plane $t \geq 0$ of the $xt$-plane and derive asymptotic formulas for the solution in each of these sectors. Finally, by restricting the constructed solutions to the half-line $x \geq 0$, we find a class of solutions with asymptotically time-periodic boundary values previously sought for in the context of the NLS half-line problem.
△ Less
Submitted 21 March, 2024; v1 submitted 8 April, 2021;
originally announced April 2021.
-
On the non-chiral intermediate long wave equation II: periodic case
Authors:
Bjorn K. Berntson,
Edwin Langmann,
Jonatan Lenells
Abstract:
We study integrability properties of the non-chiral intermediate long wave (ncILW) equation with periodic boundary conditions. The ncILW equation was recently introduced by the authors as a parity-invariant relative of the intermediate long wave equation. For this new equation we: (a) derive a Lax pair, (b) derive a Hirota bilinear form, (c) use the Hirota method to construct the periodic multi-so…
▽ More
We study integrability properties of the non-chiral intermediate long wave (ncILW) equation with periodic boundary conditions. The ncILW equation was recently introduced by the authors as a parity-invariant relative of the intermediate long wave equation. For this new equation we: (a) derive a Lax pair, (b) derive a Hirota bilinear form, (c) use the Hirota method to construct the periodic multi-soliton solutions, (d) derive a Bäcklund transformation, (e) use the Bäcklund transformation to obtain an infinite number of conservation laws.
△ Less
Submitted 3 March, 2021;
originally announced March 2021.
-
Long-time asymptotics for an integrable evolution equation with a $3 \times 3$ Lax pair
Authors:
Christophe Charlier,
Jonatan Lenells
Abstract:
We derive a Riemann--Hilbert representation for the solution of an integrable nonlinear evolution equation with a $3 \times 3$ Lax pair. We use the derived representation to obtain formulas for the long-time asymptotics.
We derive a Riemann--Hilbert representation for the solution of an integrable nonlinear evolution equation with a $3 \times 3$ Lax pair. We use the derived representation to obtain formulas for the long-time asymptotics.
△ Less
Submitted 24 January, 2021;
originally announced January 2021.
-
The Bessel kernel determinant on large intervals and Birkhoff's ergodic theorem
Authors:
Elliot Blackstone,
Christophe Charlier,
Jonatan Lenells
Abstract:
The Bessel process models the local eigenvalue statistics near $0$ of certain large positive definite matrices. In this work, we consider the probability \begin{align*} \mathbb{P}\Big( \mbox{there are no points in the Bessel process on } (0,x_{1})\cup(x_{2},x_{3})\cup\cdots\cup(x_{2g},x_{2g+1}) \Big), \end{align*} where $0<x_{1}<\cdots<x_{2g+1}$ and $g \geq 0$ is any non-negative integer. We obtai…
▽ More
The Bessel process models the local eigenvalue statistics near $0$ of certain large positive definite matrices. In this work, we consider the probability \begin{align*} \mathbb{P}\Big( \mbox{there are no points in the Bessel process on } (0,x_{1})\cup(x_{2},x_{3})\cup\cdots\cup(x_{2g},x_{2g+1}) \Big), \end{align*} where $0<x_{1}<\cdots<x_{2g+1}$ and $g \geq 0$ is any non-negative integer. We obtain asymptotics for this probability as the size of the intervals becomes large, up to and including the oscillations of order $1$. In these asymptotics, the most intricate term is a one-dimensional integral along a linear flow on a $g$-dimensional torus, whose integrand involves ratios of Riemann $θ$-functions associated to a genus $g$ Riemann surface. We simplify this integral in two generic cases: (a) If the flow is ergodic, we compute the leading term in the asymptotics of this integral explicitly using Birkhoff's ergodic theorem. (b) If the linear flow has certain "good Diophantine properties", we obtain improved estimates on the error term in the asymptotics of this integral. In the case when the flow is both ergodic and has "good Diophantine properties" (which is always the case for $g=1$, and "almost always" the case for $g \geq 2$), these results can be combined, yielding particularly precise and explicit large gap asymptotics.
△ Less
Submitted 22 January, 2021;
originally announced January 2021.
-
Gap probabilities in the bulk of the Airy process
Authors:
Elliot Blackstone,
Christophe Charlier,
Jonatan Lenells
Abstract:
We consider the probability that no points lie on $g$ large intervals in the bulk of the Airy point process. We make a conjecture for all the terms in the asymptotics up to and including the oscillations of order $1$, and we prove this conjecture for $g=1$.
We consider the probability that no points lie on $g$ large intervals in the bulk of the Airy point process. We make a conjecture for all the terms in the asymptotics up to and including the oscillations of order $1$, and we prove this conjecture for $g=1$.
△ Less
Submitted 2 December, 2020;
originally announced December 2020.
-
The focusing NLS equation with step-like oscillating background: asymptotics in a transition zone
Authors:
Anne Boutet de Monvel,
Jonatan Lenells,
Dmitry Shepelsky
Abstract:
In a recent paper, we presented scenarios of long-time asymptotics for a solution of the focusing nonlinear Schrödinger equation whose initial data approach two different plane waves $A_j\mathrm{e}^{\mathrm{i}φ_j}\mathrm{e}^{-2\mathrm{i}B_jx}$, $j=1,2$ at minus and plus infinity. In the shock case $B_1<B_2$ some scenarios include sectors of genus $3$, that is sectors $ξ_1<ξ<ξ_2$, $ξ:=\frac{x}{t}$…
▽ More
In a recent paper, we presented scenarios of long-time asymptotics for a solution of the focusing nonlinear Schrödinger equation whose initial data approach two different plane waves $A_j\mathrm{e}^{\mathrm{i}φ_j}\mathrm{e}^{-2\mathrm{i}B_jx}$, $j=1,2$ at minus and plus infinity. In the shock case $B_1<B_2$ some scenarios include sectors of genus $3$, that is sectors $ξ_1<ξ<ξ_2$, $ξ:=\frac{x}{t}$ where the leading term of the asymptotics is expressed in terms of hyperelliptic functions attached to a Riemann surface $M(ξ)$ of genus $3$. The long-time asymptotic analysis in such a sector is performed in another recent paper. The present paper deals with the asymptotic analysis in a transition zone between two genus $3$ sectors $ξ_1<ξ<ξ_0$ and $ξ_0<ξ<ξ_2$. The leading term is expressed in terms of elliptic functions attached to a Riemann surface $\tilde{M}$ of genus $1$. A central step in the derivation is the construction of a local parametrix in a neighborhood of two merging branch points. We construct this parametrix by solving a model problem which is similar to the Riemann-Hilbert problem associated with the Painlevé IV equation.
△ Less
Submitted 19 February, 2022; v1 submitted 1 June, 2020;
originally announced June 2020.
-
On the non-chiral intermediate long wave equation
Authors:
Bjorn K. Berntson,
Edwin Langmann,
Jonatan Lenells
Abstract:
We study integrability properties of the non-chiral intermediate long wave equation recently introduced by the authors as a parity-invariant variant of the intermediate long wave equation. For this new equation we: (a) derive a Lax pair, (b) derive a Hirota bilinear form, (c) derive a Bäcklund transformation, (d) use, separately, the Bäcklund transformation and the Lax representation to obtain an…
▽ More
We study integrability properties of the non-chiral intermediate long wave equation recently introduced by the authors as a parity-invariant variant of the intermediate long wave equation. For this new equation we: (a) derive a Lax pair, (b) derive a Hirota bilinear form, (c) derive a Bäcklund transformation, (d) use, separately, the Bäcklund transformation and the Lax representation to obtain an infinite number of conservation laws.
△ Less
Submitted 2 March, 2021; v1 submitted 21 May, 2020;
originally announced May 2020.
-
The focusing NLS equation with step-like oscillating background: the genus 3 sector
Authors:
Anne Boutet de Monvel,
Jonatan Lenells,
Dmitry Shepelsky
Abstract:
We consider the Cauchy problem for the focusing nonlinear Schrödinger equation with initial data approaching different plane waves $A_j\mathrm{e}^{\mathrm{i}φ_j}\mathrm{e}^{-2\mathrm{i}B_jx}$, $j=1,2$ as $x\to\pm\infty$. The goal is to determine the long-time asymptotics of the solution, according to the value of $ξ=x/t$. The general situation is analyzed in [7] where we develop the Riemann-Hilber…
▽ More
We consider the Cauchy problem for the focusing nonlinear Schrödinger equation with initial data approaching different plane waves $A_j\mathrm{e}^{\mathrm{i}φ_j}\mathrm{e}^{-2\mathrm{i}B_jx}$, $j=1,2$ as $x\to\pm\infty$. The goal is to determine the long-time asymptotics of the solution, according to the value of $ξ=x/t$. The general situation is analyzed in [7] where we develop the Riemann-Hilbert approach and detect different scenarios of asymptotic analysis, depending on the relationships between the parameters $A_1$, $A_2$, $B_1$, and $B_2$. In particular, in the shock case $B_1<B_2$, some scenarios include genus $3$ sectors, i.e., ranges of values of $ξ$ where the leading term of the asymptotics is given in terms of hyperelliptic functions attached to a Riemann surface $M(ξ)$ of genus three. The present paper is devoted to the complete asymptotic analysis in such a sector.
△ Less
Submitted 6 February, 2022; v1 submitted 6 May, 2020;
originally announced May 2020.
-
The focusing NLS equation with step-like oscillating background: scenarios of long-time asymptotics
Authors:
Anne Boutet de Monvel,
Jonatan Lenells,
Dmitry Shepelsky
Abstract:
We consider the Cauchy problem for the focusing nonlinear Schrödinger equation with initial data approaching two different plane waves $A_j\mathrm{e}^{\mathrm{i}φ_j}\mathrm{e}^{-2\mathrm{i}B_jx}$, $j=1,2$ as $x\to\pm\infty$. Using Riemann-Hilbert techniques and Deift-Zhou steepest descent arguments, we study the long-time asymptotics of the solution. We detect that each of the cases $B_1<B_2$,…
▽ More
We consider the Cauchy problem for the focusing nonlinear Schrödinger equation with initial data approaching two different plane waves $A_j\mathrm{e}^{\mathrm{i}φ_j}\mathrm{e}^{-2\mathrm{i}B_jx}$, $j=1,2$ as $x\to\pm\infty$. Using Riemann-Hilbert techniques and Deift-Zhou steepest descent arguments, we study the long-time asymptotics of the solution. We detect that each of the cases $B_1<B_2$, $B_1>B_2$, and $B_1=B_2$ deserves a separate analysis. Focusing mainly on the first case, the so-called shock case, we show that there is a wide range of possible asymptotic scenarios. We also propose a method for rigorously establishing the existence of certain higher-genus asymptotic sectors.
△ Less
Submitted 29 November, 2020; v1 submitted 19 March, 2020;
originally announced March 2020.
-
The "good'' Boussinesq equation: long-time asymptotics
Authors:
C. Charlier,
J. Lenells,
D. Wang
Abstract:
We consider the initial-value problem for the ``good'' Boussinesq equation on the line. Using inverse scattering techniques, the solution can be expressed in terms of the solution of a $3 \times 3$-matrix Riemann-Hilbert problem. We establish formulas for the long-time asymptotics of the solution by performing a Deift-Zhou steepest descent analysis of a regularized version of this Riemann-Hilbert…
▽ More
We consider the initial-value problem for the ``good'' Boussinesq equation on the line. Using inverse scattering techniques, the solution can be expressed in terms of the solution of a $3 \times 3$-matrix Riemann-Hilbert problem. We establish formulas for the long-time asymptotics of the solution by performing a Deift-Zhou steepest descent analysis of a regularized version of this Riemann-Hilbert problem.
△ Less
Submitted 10 March, 2020;
originally announced March 2020.
-
The "good" Boussinesq equation: a Riemann-Hilbert approach
Authors:
Christophe Charlier,
Jonatan Lenells
Abstract:
We develop an inverse scattering transform formalism for the "good" Boussinesq equation on the line. Assuming that the solution exists, we show that it can be expressed in terms of the solution of a $3 \times 3$ matrix Riemann-Hilbert problem. The Riemann-Hilbert problem is formulated in terms of two reflection coefficients whose definitions involve only the initial data, and it has a form which m…
▽ More
We develop an inverse scattering transform formalism for the "good" Boussinesq equation on the line. Assuming that the solution exists, we show that it can be expressed in terms of the solution of a $3 \times 3$ matrix Riemann-Hilbert problem. The Riemann-Hilbert problem is formulated in terms of two reflection coefficients whose definitions involve only the initial data, and it has a form which makes it suitable for the evaluation of long-time asymptotics via Deift-Zhou steepest descent arguments.
△ Less
Submitted 30 October, 2021; v1 submitted 5 March, 2020;
originally announced March 2020.
-
Linearizable boundary value problems for the elliptic sine-Gordon and the elliptic Ernst equations
Authors:
J. Lenells,
A. S. Fokas
Abstract:
By employing a novel generalization of the inverse scattering transform method known as the unified transform or Fokas method, it can be shown that the solution of certain physically significant boundary value problems for the elliptic sine-Gordon equation, as well as for the elliptic version of the Ernst equation, can be expressed in terms of the solution of appropriate $2 \times 2$-matrix Rieman…
▽ More
By employing a novel generalization of the inverse scattering transform method known as the unified transform or Fokas method, it can be shown that the solution of certain physically significant boundary value problems for the elliptic sine-Gordon equation, as well as for the elliptic version of the Ernst equation, can be expressed in terms of the solution of appropriate $2 \times 2$-matrix Riemann--Hilbert (RH) problems. These RH problems are defined in terms of certain functions, called spectral functions, which involve the given boundary conditions, but also unknown boundary values. For arbitrary boundary conditions, the determination of these unknown boundary values requires the analysis of a nonlinear Fredholm integral equation. However, there exist particular boundary conditions, called linearizable, for which it is possible to bypass this nonlinear step and to characterize the spectral functions directly in terms of the given boundary conditions. Here, we review the implementation of this effective procedure for the following linearizable boundary value problems: (a) the elliptic sine-Gordon equation in a semi-strip with zero Dirichlet boundary values on the unbounded sides and with constant Dirichlet boundary value on the bounded side; (b) the elliptic Ernst equation with boundary conditions corresponding to a uniformly rotating disk of dust; (c) the elliptic Ernst equation with boundary conditions corresponding to a disk rotating uniformly around a central black hole; (d) the elliptic Ernst equation with vanishing Neumann boundary values on a rotating disk.
△ Less
Submitted 12 February, 2020;
originally announced February 2020.
-
Wilson loops in finite Abelian lattice gauge theories
Authors:
Malin Palö Forsström,
Jonatan Lenells,
Fredrik Viklund
Abstract:
We consider lattice gauge theories on $\mathbb{Z}^4$ with Wilson action and structure group $\mathbb{Z}_n$. We compute the expectation of Wilson loop observables to leading order in the weak coupling regime, extending and refining a recent result of Chatterjee. Our proofs use neither duality relations nor cluster expansion techniques.
We consider lattice gauge theories on $\mathbb{Z}^4$ with Wilson action and structure group $\mathbb{Z}_n$. We compute the expectation of Wilson loop observables to leading order in the weak coupling regime, extending and refining a recent result of Chatterjee. Our proofs use neither duality relations nor cluster expansion techniques.
△ Less
Submitted 11 November, 2021; v1 submitted 21 January, 2020;
originally announced January 2020.
-
Asymptotics for the Sasa--Satsuma equation in terms of a modified Painlevé II transcendent
Authors:
Lin Huang,
Jonatan Lenells
Abstract:
We consider the initial-value problem for the Sasa-Satsuma equation on the line with decaying initial data. Using a Riemann-Hilbert formulation and steepest descent arguments, we compute the long-time asymptotics of the solution in the sector $|x| \leq M t^{1/3}$, $M$ constant. It turns out that the asymptotics can be expressed in terms of the solution of a modified Painlevé II equation. Whereas t…
▽ More
We consider the initial-value problem for the Sasa-Satsuma equation on the line with decaying initial data. Using a Riemann-Hilbert formulation and steepest descent arguments, we compute the long-time asymptotics of the solution in the sector $|x| \leq M t^{1/3}$, $M$ constant. It turns out that the asymptotics can be expressed in terms of the solution of a modified Painlevé II equation. Whereas the standard Painlevé II equation is related to a $2 \times 2$ matrix Riemann-Hilbert problem, this modified Painlevé II equation is related to a $3 \times 3$ matrix Riemann--Hilbert problem.
△ Less
Submitted 12 March, 2019;
originally announced March 2019.
-
Airy and Painlevé asymptotics for the mKdV equation
Authors:
Christophe Charlier,
Jonatan Lenells
Abstract:
We consider the higher order asymptotics for the mKdV equation in the Painlevé sector. We first show that the solution admits a uniform expansion to all orders in powers of $t^{-1/3}$ with coefficients that are smooth functions of $x(3t)^{-1/3}$. We then consider the special case when the reflection coefficient vanishes at the origin. In this case, the leading coefficient which satisfies the Painl…
▽ More
We consider the higher order asymptotics for the mKdV equation in the Painlevé sector. We first show that the solution admits a uniform expansion to all orders in powers of $t^{-1/3}$ with coefficients that are smooth functions of $x(3t)^{-1/3}$. We then consider the special case when the reflection coefficient vanishes at the origin. In this case, the leading coefficient which satisfies the Painlevé II equation vanishes. We show that the leading asymptotics is instead described by the derivative of the Airy function. We are also able to express the subleading term explicitly in terms of the Airy function.
△ Less
Submitted 26 May, 2019; v1 submitted 25 August, 2018;
originally announced August 2018.
-
The hyperbolic Ernst equation in a triangular domain
Authors:
Jonatan Lenells,
Julian Mauersberger
Abstract:
The collision of two plane gravitational waves in Einstein's theory of relativity can be described mathematically by a Goursat problem for the hyperbolic Ernst equation in a triangular domain. We use the integrable structure of the Ernst equation to present the solution of this problem via the solution of a Riemann--Hilbert problem. The formulation of the Riemann--Hilbert problem involves only the…
▽ More
The collision of two plane gravitational waves in Einstein's theory of relativity can be described mathematically by a Goursat problem for the hyperbolic Ernst equation in a triangular domain. We use the integrable structure of the Ernst equation to present the solution of this problem via the solution of a Riemann--Hilbert problem. The formulation of the Riemann--Hilbert problem involves only the prescribed boundary data, thus the solution is as effective as the solution of a pure initial value problem via the inverse scattering transform. Our results are valid also for boundary data whose derivatives are unbounded at the triangle's corners---this level of generality is crucial for the application to colliding gravitational waves. Remarkably, for data with a singular behavior of the form relevant for gravitational waves, it turns out that the singular integral operator underlying the Riemann--Hilbert formalism can be explicitly inverted at the boundary. In this way, we are able to show exactly how the behavior of the given data at the origin transfers into a singular behavior of the solution near the boundary.
△ Less
Submitted 25 August, 2018;
originally announced August 2018.
-
On the spectral problem associated with the time-periodic nonlinear Schrödinger equation
Authors:
Jonatan Lenells,
Ronald Quirchmayr
Abstract:
According to its Lax pair formulation, the nonlinear Schrödinger (NLS) equation can be expressed as the compatibility condition of two linear ordinary differential equations with an analytic dependence on a complex parameter. The first of these equations---often referred to as the \emph{$x$-part} of the Lax pair---can be rewritten as an eigenvalue problem for a Zakharov-Shabat operator. The spectr…
▽ More
According to its Lax pair formulation, the nonlinear Schrödinger (NLS) equation can be expressed as the compatibility condition of two linear ordinary differential equations with an analytic dependence on a complex parameter. The first of these equations---often referred to as the \emph{$x$-part} of the Lax pair---can be rewritten as an eigenvalue problem for a Zakharov-Shabat operator. The spectral analysis of this operator is crucial for the solution of the initial value problem for the NLS equation via inverse scattering techniques. For space-periodic solutions, this leads to the existence of a Birkhoff normal form, which beautifully exhibits the structure of NLS as an infinite-dimensional completely integrable system. In this paper, we take the crucial steps towards developing an analogous picture for time-periodic solutions by performing a spectral analysis of the \emph{$t$-part} of the Lax pair with a periodic potential.
△ Less
Submitted 13 June, 2019; v1 submitted 19 July, 2018;
originally announced July 2018.
-
Construction of solutions and asymptotics for the sine-Gordon equation in the quarter plane
Authors:
Lin Huang,
Jonatan Lenells
Abstract:
We consider the sine-Gordon equation in laboratory coordinates in the quarter plane. The first part of the paper considers the construction of solutions via Riemann-Hilbert techniques. In addition to constructing solutions starting from given initial and boundary values, we also construct solutions starting from an independent set of spectral (scattering) data. The second part of the paper establi…
▽ More
We consider the sine-Gordon equation in laboratory coordinates in the quarter plane. The first part of the paper considers the construction of solutions via Riemann-Hilbert techniques. In addition to constructing solutions starting from given initial and boundary values, we also construct solutions starting from an independent set of spectral (scattering) data. The second part of the paper establishes asymptotic formulas for the quarter-plane solution $u(x,t)$ as $(x,t) \to \infty$. Assuming that $u(x,0)$ and $u(0,t)$ approach integer multiples of $2π$ as $x \to \infty$ and $t \to \infty$, respectively, we show that the asymptotic behavior is described by four asymptotic sectors. In the first sector (characterized by $x/t \geq 1$), the solution approaches a multiple of $2π$ as $x \to \infty$. In the third sector (characterized by $0 \leq x/t \leq 1$ and $t|x-t| \to \infty$), the solution asymptotes to a train of solitons superimposed on a radiation background. The second sector (characterized by $0 \leq x/t \leq 1$ and $x/t \to 1$) is a transition region and the fourth sector (characterized by $x/t \to 0$) is a boundary region. We derive precise asymptotic formulas in all sectors. In particular, we describe the interaction between the asymptotic solitons and the radiation background, and derive a formula for the solution's topological charge.
△ Less
Submitted 27 March, 2018; v1 submitted 4 October, 2017;
originally announced October 2017.
-
Nonlinear Fourier transforms for the sine-Gordon equation in the quarter plane
Authors:
Lin Huang,
Jonatan Lenells
Abstract:
The solution of the sine-Gordon equation in the quarter plane can be expressed in terms of the solution of a matrix Riemann-Hilbert problem whose definition involves four spectral functions $a,b,A,B$. The functions $a(k)$ and $b(k)$ are defined via a nonlinear Fourier transform of the initial data, whereas $A(k)$ and $B(k)$ are defined via a nonlinear Fourier transform of the boundary values. In t…
▽ More
The solution of the sine-Gordon equation in the quarter plane can be expressed in terms of the solution of a matrix Riemann-Hilbert problem whose definition involves four spectral functions $a,b,A,B$. The functions $a(k)$ and $b(k)$ are defined via a nonlinear Fourier transform of the initial data, whereas $A(k)$ and $B(k)$ are defined via a nonlinear Fourier transform of the boundary values. In this paper, we provide an extensive study of these nonlinear Fourier transforms and the associated eigenfunctions under weak regularity and decay assumptions on the initial and boundary values. The results can be used to determine the long-time asymptotics of the sine-Gordon quarter-plane solution via nonlinear steepest descent techniques.
△ Less
Submitted 3 October, 2017;
originally announced October 2017.
-
Long-time asymptotics for the derivative nonlinear Schrödinger equation on the half-line
Authors:
L. K. Arruda,
J. Lenells
Abstract:
We derive asymptotic formulas for the solution of the derivative nonlinear Schrödinger equation on the half-line under the assumption that the initial and boundary values lie in the Schwartz class. The formulas clearly show the effect of the boundary on the solution. The approach is based on a nonlinear steepest descent analysis of an associated Riemann-Hilbert problem.
We derive asymptotic formulas for the solution of the derivative nonlinear Schrödinger equation on the half-line under the assumption that the initial and boundary values lie in the Schwartz class. The formulas clearly show the effect of the boundary on the solution. The approach is based on a nonlinear steepest descent analysis of an associated Riemann-Hilbert problem.
△ Less
Submitted 23 August, 2017; v1 submitted 7 February, 2017;
originally announced February 2017.
-
Schramm's formula and the Green's function for multiple SLE
Authors:
Jonatan Lenells,
Fredrik Viklund
Abstract:
We construct martingale observables for systems of multiple SLE curves by applying screening techniques within the CFT framework recently developed by Kang and Makarov, extended to admit multiple SLEs. We illustrate this approach by rigorously establishing explicit expressions for the Green's function and Schramm's formula in the case of two curves growing towards infinity. In the special case whe…
▽ More
We construct martingale observables for systems of multiple SLE curves by applying screening techniques within the CFT framework recently developed by Kang and Makarov, extended to admit multiple SLEs. We illustrate this approach by rigorously establishing explicit expressions for the Green's function and Schramm's formula in the case of two curves growing towards infinity. In the special case when the curves are `fused' and start at the same point, some of the formulas we prove were predicted in the physics literature.
△ Less
Submitted 11 June, 2019; v1 submitted 13 January, 2017;
originally announced January 2017.
-
Long-time asymptotics for the Degasperis-Procesi equation on the half-line
Authors:
A. Boutet de Monvel,
J. Lenells,
D. Shepelsky
Abstract:
We analyze the long-time asymptotics for the Degasperis--Procesi equation on the half-line. By applying nonlinear steepest descent techniques to an associated $3 \times 3$-matrix valued Riemann--Hilbert problem, we find an explicit formula for the leading order asymptotics of the solution in the similarity region in terms of the initial and boundary values.
We analyze the long-time asymptotics for the Degasperis--Procesi equation on the half-line. By applying nonlinear steepest descent techniques to an associated $3 \times 3$-matrix valued Riemann--Hilbert problem, we find an explicit formula for the leading order asymptotics of the solution in the similarity region in terms of the initial and boundary values.
△ Less
Submitted 12 January, 2018; v1 submitted 17 August, 2015;
originally announced August 2015.
-
The nonlinear steepest descent method: Asymptotics for initial-boundary value problems
Authors:
Jonatan Lenells
Abstract:
We consider the rigorous derivation of asymptotic formulas for initial-boundary value problems using the nonlinear steepest descent method. We give detailed derivations of the asymptotics in the similarity and self-similar sectors for the mKdV equation in the quarter plane. Precise and uniform error estimates are presented in detail.
We consider the rigorous derivation of asymptotic formulas for initial-boundary value problems using the nonlinear steepest descent method. We give detailed derivations of the asymptotics in the similarity and self-similar sectors for the mKdV equation in the quarter plane. Precise and uniform error estimates are presented in detail.
△ Less
Submitted 1 April, 2016; v1 submitted 1 February, 2015;
originally announced February 2015.
-
Nonlinear Fourier transforms and the mKdV equation in the quarter plane
Authors:
Jonatan Lenells
Abstract:
The unified transform method introduced by Fokas can be used to analyze initial-boundary value problems for integrable evolution equations. The method involves several steps, including the definition of spectral functions via nonlinear Fourier transforms and the formulation of a Riemann-Hilbert problem. We provide a rigorous implementation of these steps in the case of the mKdV equation in the qua…
▽ More
The unified transform method introduced by Fokas can be used to analyze initial-boundary value problems for integrable evolution equations. The method involves several steps, including the definition of spectral functions via nonlinear Fourier transforms and the formulation of a Riemann-Hilbert problem. We provide a rigorous implementation of these steps in the case of the mKdV equation in the quarter plane under limited regularity and decay assumptions. We give detailed estimates for the relevant nonlinear Fourier transforms. Using the theory of $L^2$-RH problems, we consider the construction of quarter plane solutions which are $C^1$ in time and $C^3$ in space.
△ Less
Submitted 21 January, 2015;
originally announced January 2015.
-
The defocusing nonlinear Schrödinger equation with $t$-periodic data: New exact solutions
Authors:
Jonatan Lenells
Abstract:
We consider solutions of the defocusing nonlinear Schrödinger (NLS) equation on the half-line whose Dirichlet and Neumann boundary values become periodic for sufficiently large $t$. We prove a theorem which, modulo certain assumptions, characterizes the pairs of periodic functions which can arise as Dirichlet and Neumann values for large $t$ in this way. The theorem also provides a constructive wa…
▽ More
We consider solutions of the defocusing nonlinear Schrödinger (NLS) equation on the half-line whose Dirichlet and Neumann boundary values become periodic for sufficiently large $t$. We prove a theorem which, modulo certain assumptions, characterizes the pairs of periodic functions which can arise as Dirichlet and Neumann values for large $t$ in this way. The theorem also provides a constructive way of determining explicit solutions with the given periodic boundary values. Hence our approach leads to a class of new exact solutions of the defocusing NLS equation on the half-line.
△ Less
Submitted 9 December, 2014;
originally announced December 2014.
-
The nonlinear Schrödinger equation with $t$-periodic data: II. Perturbative results
Authors:
J. Lenells,
A. S. Fokas
Abstract:
We consider the nonlinear Schrödinger equation on the half-line with a given Dirichlet boundary datum which for large $t$ tends to a periodic function. We assume that this function is sufficiently small, namely that it can be expressed in the form $αg_0^b(t)$, where $α$ is a small constant. Assuming that the Neumann boundary value tends for large $t$ to the periodic function $g_1^b(t)$, we show th…
▽ More
We consider the nonlinear Schrödinger equation on the half-line with a given Dirichlet boundary datum which for large $t$ tends to a periodic function. We assume that this function is sufficiently small, namely that it can be expressed in the form $αg_0^b(t)$, where $α$ is a small constant. Assuming that the Neumann boundary value tends for large $t$ to the periodic function $g_1^b(t)$, we show that $g_1^b(t)$ can be expressed in terms of a perturbation series in $α$ which can be constructed explicitly to any desired order. As an illustration, we compute $g_1^b(t)$ to order $α^8$ for the particular case that $g_0^b(t)$ is the sum of two exponentials. We also show that there exist particular functions $g_0^b(t)$ for which the above series can be summed up, and therefore for these functions $g_1^b(t)$ can be obtained in closed form. The simplest such function is $\exp(iωt)$, where $ω$ is a real constant.
△ Less
Submitted 19 September, 2015; v1 submitted 30 November, 2014;
originally announced December 2014.
-
The nonlinear Schrödinger equation with $t$-periodic data: I. Exact results
Authors:
J. Lenells,
A. S. Fokas
Abstract:
We consider the nonlinear Schrödinger equation on the half-line with a given Dirichlet (Neumann) boundary datum which for large $t$ tends to the periodic function $g_0^b(t)$ ($g_1^b(t)$). Assuming that the unknown Neumann (Dirichlet) boundary value tends for large $t$ to a periodic function $g_1^b(t)$ ($g_0^b(t)$), we derive an easily verifiable condition that the functions $g_0^b(t)$ and…
▽ More
We consider the nonlinear Schrödinger equation on the half-line with a given Dirichlet (Neumann) boundary datum which for large $t$ tends to the periodic function $g_0^b(t)$ ($g_1^b(t)$). Assuming that the unknown Neumann (Dirichlet) boundary value tends for large $t$ to a periodic function $g_1^b(t)$ ($g_0^b(t)$), we derive an easily verifiable condition that the functions $g_0^b(t)$ and $g_1^b(t)$ must satisfy. Furthermore, we introduce two different methods, one based on the formulation of a Riemann-Hilbert problem, and one based on a perturbative approach, for constructing $g_1^b(t)$ ($g_0^b(t)$) in terms of $g_0^b(t)$ ($g_1^b(t)$).
△ Less
Submitted 19 September, 2015; v1 submitted 30 November, 2014;
originally announced December 2014.
-
Admissible boundary values for the defocusing nonlinear Schrödinger equation with asymptotically time-periodic data
Authors:
Jonatan Lenells
Abstract:
We consider solutions of the defocusing nonlinear Schrödinger equation in the quarter plane whose Dirichlet boundary data approach a single exponential $αe^{iωt}$ as $t \to \infty$. In order to determine the long time asymptotics of the solution, it is necessary to first characterize the asymptotic behavior of the Neumann value in terms of the given data. Assuming that the initial data decay as…
▽ More
We consider solutions of the defocusing nonlinear Schrödinger equation in the quarter plane whose Dirichlet boundary data approach a single exponential $αe^{iωt}$ as $t \to \infty$. In order to determine the long time asymptotics of the solution, it is necessary to first characterize the asymptotic behavior of the Neumann value in terms of the given data. Assuming that the initial data decay as $x \to \infty$, we derive necessary conditions for the Neumann value to asymptote towards a single exponential of the form $ce^{iωt}$. Since our approach yields expressions which relate $α$, $ω$, and $c$, the result can be viewed as a characterization of the large $t$ behavior of the Dirichlet to Neumann map for single exponential profiles.
△ Less
Submitted 19 September, 2015; v1 submitted 18 July, 2014;
originally announced July 2014.
