SearcharxivSearch

arXiv subjects

A. S. Fokas

Publications and source records attributed to A. S. Fokas.

At least 19 recordsLinked to original sources

A novel asymptotic technique for integrals involving the Hankel contour and the Bleistein asymptotic formula

Several important functions, including the gamma function, as well as several infinite sums, admit integral representations involving the Hankel contour. In addition, the large $t$ asymptotic analysis of several recently derived identities satisfied by the Riemann zeta function requires computing the asymptotic form of certain integrals which also involve the Hankel contour; these integrals depend on a real parameter, $α$. A rigorous asymptotic technique is presented here for computing such integrals to all orders. For certain values of $α$, the relevant formula, in addition to an asymptotic series of explicit terms, also contains a specific integral. It is shown that, remarkably, the leading order of this integral can be written in the form of the leading order of the Bleistein integral. The latter integral arises in the implementation of the classical steepest descent method in the case that the stationary point coincides with one of the boundary points of the integral under consideration.

math.CA

The Focusing NLS Equation on the Half-Line with Periodic Boundary Conditions

We consider the Dirichlet problem for the focusing NLS equation on the half-line, with given Schwartz initial data and boundary data $q(0,t)$ equal to an exponentially decaying perturbation $u(t)$ of the periodic boundary data $ a e^{2iωt + i ε}$ at $x=0.$ It is known from PDE theory that this problem admits a unique solution (for fixed initial data and fixed $u$). On the other hand, the associated inverse scattering transform formalism involves the Neumann boundary value for $x=0$. Thus the implementation of this formalism requires the understanding of the "Dirichlet-to-Neumann" map which characterises the associated Neumann boundary value. We consider this map in an indirect way: we postulate a certain Riemann-Hilbert problem, on a specified contour but with partially unspecified jump data of some generality, and then prove that the solution of the initial-boundary value problem for the focusing NLS constructed through this Riemann-Hilbert problem satisfies all the required properties: the data $q(x,0)$ are Schwartz and $q(0,t)-a e^{2iωt + i ε}$ is exponentially decaying. More specifically, we focus on the case $-3a^2 < ω< a^2.$ By considering a large class of appropriate scattering data for the t-problem, we provide solutions of the above Dirichlet problem such that the data $q_x(0,t)$ is given by an exponentially decaying perturbation of the function $2iab e^{2iωt + i ε},$ where $ω= a^2-2b^2,~~b>0$.

math.AP

Higher-order diffusion and Cahn-Hilliard-type models revisited on the half-line

In this paper, we solve explicitly and analyze rigorously inhomogeneous initial-boundary-value problems (IBVP) for several fourth-order variations of the traditional diffusion equation and the associated linearized Cahn-Hilliard (C-H) model (also Kuramoto-Sivashinsky equation), formulated in the spatiotemporal quarter-plane. Such models are of relevance to heat-mass transfer phenomena, solid-fluid dynamics and the applied sciences. In particular, we derive formally effective solution representations, justifying a posteriori their validity. This includes the reconstruction of the prescribed initial and boundary data, which requires careful analysis of the various integral terms appearing in the formulae, proving that they converge in a strictly defined sense. In each IBVP, the novel formula is utilized to rigorously deduce the solution's regularity and asymptotic properties near the boundaries of the domain, including uniform convergence, eventual (long-time) periodicity under (eventually) periodic boundary conditions, and null non-controllability. Importantly, this analysis is indispensable for exploring the (non)uniqueness of the problem's solution and a new counter-example is constructed. Our work is based on the synergy between: (i) the well-known Fokas unified transform method and (ii) a new approach recently introduced for the rigorous analysis of the Fokas method and for investigating qualitative properties of linear evolution partial differential equations (PDE) on semi-infinite strips. Since only up to third-order evolution PDE have been investigated within this novel framework to date, we present our analysis and results in an illustrative manner and in order of progressively greater complexity, for the convenience of readers. The solution formulae established herein are expected to find utility in well-posedness studies for nonlinear counterparts too.

math.AP

A semi-periodic initial-value problem for the Kadomtsev-Petviashvili II equation

We investigate the Cauchy problem on the cylinder, namely the semi-periodic problem where there is periodicity in the $x$-direction and decay in the $y$-direction, for the Kadomtsev-Petviashvili II equation by the inverse spectral transform method. For initial data with small $L^1$ and $L^2$ norms, assuming the zero mass constraint, this initial-value problem is reduced to a Riemann-Hilbert problem on the boundary of certain infinite strips with shift.

math.AP

On the Asymptotics to all Orders of the Riemann Zeta Function and of a Two-Parameter Generalization of the Riemann Zeta Function

We present several formulae for the large $t$ asymptotics of the Riemann zeta function $ζ(s)$, $s=σ+i t$, $0\leq σ\leq 1$, $t>0$, which are valid to all orders. A particular case of these results coincides with the classical results of Siegel. Using these formulae, we derive explicit representations for the sum $\sum_a^b n^{-s}$ for certain ranges of $a$ and $b$. In addition, we present precise estimates relating this sum with the sum $\sum_c^d n^{s-1}$ for certain ranges of $a, b, c, d$. We also study a two-parameter generalization of the Riemann zeta function which we denote by $Φ(u,v,β)$, $u\in \mathbb{C}$, $v\in \mathbb{C}$, $β\in \mathbb{R}$. Generalizing the methodology used in the study of $ζ(s)$, we derive asymptotic formulae for $Φ(u,v,β)$.

math.NT

The nonlinear Schrödinger equation with forcing involving products of eigenfunctions

We elaborate on a new methodology, which starting with an integrable evolution equation in one spatial dimension, constructs an integrable forced version of this equation. The forcing consists of terms involving quadratic products of certain eigenfunctions of the associated Lax pair. Remarkably, some of these forced equations arise in the modelling of important physical phenomena. The initial value problem of these equations can be formulated as a Riemann-Hilbert problem, where the "jump matrix" has explicit x and t dependence and can be computed in terms of the initial data. Thus, these equations can be solved as efficiently as the nonlinear integrable equations from which they are generated. Details are given for the forced versions of the nonlinear Schrodinger.

nlin.SI

Time-periodic linear boundary value problems on a finite interval

We study the large time behaviour of the solution of a linear dispersive PDEs posed on a finite interval, when the prescribed boundary conditions are time periodic. We use the approach pioneered in Fokas & Lenells 2012 for nonlinear integrable PDEs. and then applied to linear problems on the half-line in Fokas & van der Weele 2021, to characterise necessary conditions for the solution of such a problem to be periodic, at least in an asymptotic sense. We then fully describe the periodicity properties of the solution in three important illustrative examples, recovering known results for the second-order cases and establishing new ones for the third order one.

math.AP

The implementation of the unified transform to the nonlinear Schrödinger equation with periodic initial conditions

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.

math.AP

A new approach to integrable evolution equations on the circle

We propose a new approach for the solution of initial value problems for integrable evolution equations in the periodic setting based on the unified transform. Using the nonlinear Schrödinger equation as a model example, we show that the solution of the initial value problem on the circle can be expressed in terms of the solution of a Riemann-Hilbert problem whose formulation involves quantities which are defined in terms of the initial data alone. Our approach provides an effective solution of the problem on the circle which is conceptually analogous to the solution of the problem on the line via the inverse scattering transform.

nlin.SI

A quantitative framework for exploring exit strategies from the COVID-19 lockdown

Following the highly restrictive measures adopted by many countries for combating the current pandemic, the number of individuals infected by SARS-CoV-2 and the associated number of deaths is steadily decreasing. This fact, together with the impossibility of maintaining the lockdown indefinitely, raises the crucial question of whether it is possible to design an exit strategy based on quantitative analysis. Guided by rigorous mathematical results, we show that this is indeed possible: we present a robust numerical algorithm which can compute the cumulative number of deaths that will occur as a result of increasing the number of contacts by a given multiple, using as input only the most reliable of all data available during the lockdown, namely the cumulative number of deaths.

q-bio.PE

Linearizable boundary value problems for the elliptic sine-Gordon and the elliptic Ernst equations

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.

math.AP

A hybrid analytical-numerical algorithm for determining the neuronal current via EEG

In this study, the neuronal current in the brain is represented using Helmholtz decomposition. It was shown in earlier work that data obtained via electroencephalography (EEG) are affected only by the irrotational component of the current. The irrotational component is denoted by $Ψ$ and has support in the cerebrum. This inverse problem is severely ill-posed and requires that additional constraints are imposed. Here, we impose the requirement of the minimization of the $L_2$ norm of the current (energy). The function $Ψ$ is expanded in terms of inverse multiquadric radial basis functions (RBF) on a uniform Cartesian grid inside the cerebrum. The minimal energy constraint in conjunction with the RBF parametrization of $Ψ$ results in a Tikhonov regularized solution of $Ψ$. The RBF shape parameter (regularization parameter), is computed by solving a 1-D non-linear maximization problem. Reconstructions are presented using synthetic data with a signal to noise ratio (SNR) of $20$ dB. The root mean square error (RMSE) between the exact and the reconstructed $Ψ$ is RMSE=$0.1122$. The proposed reconstruction algorithm is computationally efficient and can be vectorized in MATLAB.

physics.comp-ph

Relations among the Riemann zeta and Hurwitz zeta functions as well as their products

Several relations are obtained among the Riemann zeta and Hurwitz zeta functions, as well as their products. A particular case of these relations give rise to a simple re-derivation if the important results of [11]. Also, a relation derived here provides the starting point of a novel approach which in a series of companion papers yields a formal proof of the Lindelöf hypothesis. Some of the above relations motivate the need for analysing the large $α$ behaviour of the modified Hurwitz zeta function $ζ_1(s,α)$, $s\in \mathbf{C}$, $α\in \mathbf{R}$, which is also presented here.

math.CV

Initial-boundary value problems associated with the Ablowitz-Ladik system

We employ the Ablowitz-Ladik system as an illustrative example in order to demonstrate how to analyze initial-boundary value problems for integrable nonlinear differential-difference equations via the unified transform (Fokas method). In particular, we express the solutions of the integrable discrete nonlinear Schrödinger and integrable discrete modified Korteweg-de Vries equations in terms of the solutions of appropriate matrix Riemann-Hilbert problems. We also discuss in detail, for both the above discrete integrable equations, the associated global relations and the process of eliminating of the unknown boundary values.

nlin.SI

The nonlinear Schrödinger equation with $t$-periodic data: I. Exact results

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)$).

math.AP

The nonlinear Schrödinger equation with $t$-periodic data: II. Perturbative results

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.

math.AP

The Unified Transform for the modified Helmholtz equation in the exterior of a square

The Unified Transform provides a novel method for analyzing boundary value problems for linear and for integrable nonlinear PDEs. The numerical implementation of this method to linear elliptic PDEs formulated in the {\it interior} of a polygon has been investigated by several authors (see the article by Iserles, Smitheman, and one of the authors in this book). Here, we show that the Unified Transform also yields a novel numerical technique for computing the solution of linear elliptic PDEs in the {\it exterior} of a polygon. One of the advantages of this new technique is that it actually yields directly the scattering amplitude. Details are presented for the modified Helmholtz equation in the exterior of a square.

math.AP

Perturbative and exact results on the Neumann value for the nonlinear Schrödinger equation on the half-line

The most challenging problem in the implementation of the so-called \textit{unified transform} to the analysis of the nonlinear Schrödinger equation on the half-line is the characterization of the unknown boundary value in terms of the given initial and boundary conditions. For the so-called \textit{linearizable} boundary conditions this problem can be solved explicitly. Furthermore, for non-linearizable boundary conditions which decay for large $t$, this problem can be largely bypassed in the sense that the unified transform yields useful asymptotic information for the large $t$ behavior of the solution. However, for the physically important case of periodic boundary conditions it is necessary to characterize the unknown boundary value. Here, we first present a perturbative scheme which can be used to compute explicitly the asymptotic form of the Neumann boundary value in terms of the given $τ$-periodic Dirichlet datum to any given order in a perturbation expansion. We then discuss briefly an extension of the pioneering results of Boutet de Monvel and co-authors which suggests that if the Dirichlet datum belongs to a large class of particular $τ$-periodic functions, which includes $\{a \exp(i ωt) \, | \, a>0, \, ω\geq a^2\}$, then the large $t$ behavior of the Neumann value is given by a $τ$-periodic function which can be computed explicitly.

nlin.SI