-
A semi-periodic initial-value problem for the Kadomtsev-Petviashvili II equation
Authors:
P. Kalamvokas,
V. G. Papageorgiou,
A. S. Fokas,
L. -Y. Sung
Abstract:
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 proble…
▽ More
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.
△ Less
Submitted 19 March, 2023;
originally announced March 2023.
-
Time-periodic linear boundary value problems on a finite interval
Authors:
A. S. Fokas,
B. Pelloni,
D. A. Smith
Abstract:
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 pr…
▽ More
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.
△ Less
Submitted 22 January, 2022; v1 submitted 2 September, 2021;
originally announced September 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.
-
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.
-
Fokas method for linear boundary value problems involving mixed spatial derivatives
Authors:
Ahmet Batal,
Athanassios S. Fokas,
Türker Özsarı
Abstract:
We obtain solution representation formulas for some linear initial boundary value problems posed on the half space that involve mixed spatial derivative terms via the unified transform method (UTM), also known as the Fokas method. We first implement the method on the second order parabolic PDEs; in this case one can alternatively eliminate the mixed derivatives by a linear change of variables. The…
▽ More
We obtain solution representation formulas for some linear initial boundary value problems posed on the half space that involve mixed spatial derivative terms via the unified transform method (UTM), also known as the Fokas method. We first implement the method on the second order parabolic PDEs; in this case one can alternatively eliminate the mixed derivatives by a linear change of variables. Then, we employ the method to biharmonic problems, where it is not possible to eliminate the cross term via a linear change of variables. A basic ingredient of the UTM is the use of certain invariant maps. It is shown here that these maps are well-defined provided that certain analyticity issues are appropriately addressed.
△ Less
Submitted 20 May, 2020; v1 submitted 3 February, 2020;
originally announced February 2020.
-
Evolution equations on time-dependent intervals
Authors:
Athanasios S. Fokas,
Beatrice Pelloni,
Baoqiang Xia
Abstract:
We study initial boundary value problems for linear evolution partial differential equations (PDEs) posed on a time-dependent interval $l_1(t)<x<l_2(t)$, $0<t<T$, where $l_1(t)$ and $l_2(t)$ are given, real, differentiable functions, and $T$ is an arbitrary constant. For such problems, we show how to characterise the unknown boundary values in terms of the given initial and boundary conditions. As…
▽ More
We study initial boundary value problems for linear evolution partial differential equations (PDEs) posed on a time-dependent interval $l_1(t)<x<l_2(t)$, $0<t<T$, where $l_1(t)$ and $l_2(t)$ are given, real, differentiable functions, and $T$ is an arbitrary constant. For such problems, we show how to characterise the unknown boundary values in terms of the given initial and boundary conditions. As illustrative examples we consider the heat equation and the linear Schrödinger equation. In the first case, the unknown Neumann boundary values are expressed in terms of the Dirichlet boundary values and of the initial value through the unique solution of a system of two linear integral equations with explicit kernels. In the second case, a similar result can be proved but only for a more restrictive class of boundary curves.}
△ Less
Submitted 10 August, 2019;
originally announced August 2019.
-
Relations among the Riemann zeta and Hurwitz zeta functions as well as their products
Authors:
A. C. L. Ashton,
A. S. Fokas
Abstract:
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…
▽ More
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.
△ Less
Submitted 25 September, 2018;
originally announced September 2018.
-
Solving PDEs of fractional order using the unified transform method
Authors:
Arran Fernandez,
Dumitru Baleanu,
Athanassios S. Fokas
Abstract:
We consider the unified transform method, also known as the Fokas method, for solving partial differential equations. We adapt and modify the methodology, incorporating new ideas where necessary, in order to apply it to solve a large class of partial differential equations of fractional order. We demonstrate the applicability of the method by implementing it to solve a model fractional problem.
We consider the unified transform method, also known as the Fokas method, for solving partial differential equations. We adapt and modify the methodology, incorporating new ideas where necessary, in order to apply it to solve a large class of partial differential equations of fractional order. We demonstrate the applicability of the method by implementing it to solve a model fractional problem.
△ Less
Submitted 27 August, 2018;
originally announced August 2018.
-
Asymptotics to all orders of the Hurwitz zeta function
Authors:
Arran Fernandez,
Athanassios S. Fokas
Abstract:
We present several formulae for the large-$t$ asymptotics of the modified Hurwitz zeta function $ζ_1(x,s),x>0,s=σ+it,0<σ\leq1,t>0,$ which are valid to all orders. In the case of $x=0$, these formulae reduce to the asymptotic expressions recently obtained for the Riemann zeta function, which include the classical results of Siegel as a particular case.
We present several formulae for the large-$t$ asymptotics of the modified Hurwitz zeta function $ζ_1(x,s),x>0,s=σ+it,0<σ\leq1,t>0,$ which are valid to all orders. In the case of $x=0$, these formulae reduce to the asymptotic expressions recently obtained for the Riemann zeta function, which include the classical results of Siegel as a particular case.
△ Less
Submitted 5 December, 2017;
originally announced December 2017.
-
A novel approach to the Lindelöf hypothesis
Authors:
Athanassios S. Fokas
Abstract:
Lindel{ö}f's hypothesis, one of the most important open problems in the history of mathematics, states that for large $t$, Riemann's zeta function $ζ(1/2+it)$ is of order $O(t^{\varepsilon})$ for any $\varepsilon>0$ . It is well known that for large $t$, the leading order asymptotics of the Riemann zeta function can be expressed in terms of a transcendental exponential sum. The usual approach to t…
▽ More
Lindel{ö}f's hypothesis, one of the most important open problems in the history of mathematics, states that for large $t$, Riemann's zeta function $ζ(1/2+it)$ is of order $O(t^{\varepsilon})$ for any $\varepsilon>0$ . It is well known that for large $t$, the leading order asymptotics of the Riemann zeta function can be expressed in terms of a transcendental exponential sum. The usual approach to the Lindelöf hypothesis involves the use of ingenious techniques for the estimation of this sum. However, since such estimates can not yield an asymptotic formula for the above sum, it appears that this strategy cannot lead to the proof of Lindelöf's hypothesis. Here, a completely different approach is introduced. In particular, a novel linear integral equation is derived for $|ζ(σ+it)|^2, \ 0<σ<1$ whose asymptotic analysis yields asymptotic results for a certain Riemann zeta-type double exponential sum. This sum has the same structure as the sum describing the leading asymptotics of $|ζ(σ+it)|^2$, namely it involves $m_1^{-σ-it}m_2^{-σ-it}$, but its summation limits are different than those of the sum corresponding to $|ζ(σ+it)|^2$. The analysis of the above integral equation requires the asymptotic estimation of four different integrals denoted by $I_1,I_2,\tilde{I}_3,\tilde{I}_4$, as well as the derivation of an exact relation between certain double exponential sums. Here, the latter relation is derived, and also the rigorous analysis of the first two integrals $I_1$ and $I_2$ is presented. For the remaining two integrals, formal results are only derived that suggest a possible roadmap for the derivation of rigorous asymptotic results of the above double exponential sum, as well as for other sums associated with $|ζ(σ+it)|^2$. Additional developments suggested by the above novel approach are also discussed.
△ Less
Submitted 12 June, 2019; v1 submitted 10 August, 2017;
originally announced August 2017.
-
On the proof of a variant of Lindelöf's hypothesis
Authors:
Athanassios S. Fokas
Abstract:
The leading asymptotic behaviour as $t\to \infty$ of the celebrated Riemann zeta function $ζ(s), \ s = σ+ it, \quad 0<σ<1, \quad t>0 , \ t\to\infty,$ can be expressed in terms of a transcendental sum. The sharp estimation of this sum remains one of the most important open problems in mathematics with a long and illustrious history. Lindelöf's hypothesis states that for $σ=1/2$, this sum is of orde…
▽ More
The leading asymptotic behaviour as $t\to \infty$ of the celebrated Riemann zeta function $ζ(s), \ s = σ+ it, \quad 0<σ<1, \quad t>0 , \ t\to\infty,$ can be expressed in terms of a transcendental sum. The sharp estimation of this sum remains one of the most important open problems in mathematics with a long and illustrious history. Lindelöf's hypothesis states that for $σ=1/2$, this sum is of order $O\left(t^\varepsilon\right)$ for every $\varepsilon>0$. We have recently introduced a novel approach for estimating such transcendental sums: we have first embedded the Riemann zeta function in a certain Riemann-Hilbert problem and we have began the analysis of the large $t$-asymptotics of the associated integral equation. The asymptotic analysis of the resulting integral equation requires the further splitting of the relevant interval of integration into four subintervals which are defined in terms of the small positive numbers $\{δ_j\}_1^4$. The rigorous asymptotic analysis of the first two relevant integrals, $I_1$ and $I_2$, was performed in [F]. Here, the rigorous analysis is performed of the last two integrals, $I_3$ and $I_4$. The combination of the above results yields a proof for the analogue of Lindel{ö}f's hypothesis for a slight variant of the transcendental sum characterising the large $t$-asymptotics of $|ζ(s)|^2$, namely for a sum which differs from the latter sum only in the occurrence of a logarithmic term which is larger than $\frac{1}{2}\ln t$ and smaller than $t^{\varepsilon}$. Interestingly, the parameter $\varepsilon$ in Lindelöf's hypothesis is explicitly defined in terms of $δ_3$.
△ Less
Submitted 10 August, 2017;
originally announced August 2017.
-
Explicit asymptotics for certain single and double exponential sums
Authors:
Konstantinos Kalimeris,
Athanassios S. Fokas
Abstract:
By combining classical techniques together with two novel asymptotic identities contained in [FL], we analyse certain single sums of Riemann-zeta type. In addition, we analyse Euler-Zagier double exponential sums for particular values of $Re\{u\}$ and $Re\{v\}$ and for a variety of sets of summation, as well as particular cases of Mordell-Tornheim double sums. Some of these results are used in [F]…
▽ More
By combining classical techniques together with two novel asymptotic identities contained in [FL], we analyse certain single sums of Riemann-zeta type. In addition, we analyse Euler-Zagier double exponential sums for particular values of $Re\{u\}$ and $Re\{v\}$ and for a variety of sets of summation, as well as particular cases of Mordell-Tornheim double sums. Some of these results are used in [F] where a novel approach to the Lindelöf hypothesis is presented.
△ Less
Submitted 8 November, 2018; v1 submitted 9 August, 2017;
originally announced August 2017.
-
Uniform asymptotics as a stationary point approaches an endpoint
Authors:
Arran Fernandez,
Athanassios S. Fokas,
Euan A. Spence
Abstract:
We obtain the rigorous uniform asymptotics of a particular integral where a stationary point is close to an endpoint. There exists a general method introduced by Bleistein for obtaining uniform asymptotics in this situation. However, this method does not provide rigorous estimates for the error. Indeed, the method of Bleistein starts with a change of variables, which implies that the parameter gov…
▽ More
We obtain the rigorous uniform asymptotics of a particular integral where a stationary point is close to an endpoint. There exists a general method introduced by Bleistein for obtaining uniform asymptotics in this situation. However, this method does not provide rigorous estimates for the error. Indeed, the method of Bleistein starts with a change of variables, which implies that the parameter governing how close the stationary point is to the endpoint appears in several parts of the integrand, and this means that one cannot obtain general error bounds. By adapting the above method to our particular integral, we obtain rigorous uniform leading-order asymptotics. We also give a rigorous derivation of the asymptotics to all orders of the same integral; the novelty of this second approach is that it does not involve a global change of variables.
△ Less
Submitted 2 January, 2018; v1 submitted 25 July, 2017;
originally announced July 2017.
-
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.
-
Generalized Dirichlet to Neumann Maps for Linear Dispersive Equations on Half-Line
Authors:
Athanassios S. Fokas,
Zipeng Wang
Abstract:
A large class of initial-boundary value problems of linear evolution partial differential equations formulated on the half-line is analyzed via the unified transform method. In particular, explicit formulae are presented for the generalized Dirichlet to Neumann maps. Namely, the determination of the unknown boundary values in terms of an essential set of given data.
A large class of initial-boundary value problems of linear evolution partial differential equations formulated on the half-line is analyzed via the unified transform method. In particular, explicit formulae are presented for the generalized Dirichlet to Neumann maps. Namely, the determination of the unknown boundary values in terms of an essential set of given data.
△ Less
Submitted 20 April, 2016; v1 submitted 7 September, 2014;
originally announced September 2014.
-
Perturbative and exact results on the Neumann value for the nonlinear Schrödinger equation on the half-line
Authors:
A. S. Fokas,
J. Lenells
Abstract:
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-linea…
▽ More
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.
△ Less
Submitted 11 January, 2014;
originally announced January 2014.
-
The Unified Transform for the modified Helmholtz equation in the exterior of a square
Authors:
A. S. Fokas,
J. Lenells
Abstract:
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 Transf…
▽ More
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.
△ Less
Submitted 11 January, 2014;
originally announced January 2014.
-
Evolution PDEs and augmented eigenfunctions. Finite interval
Authors:
David Andrew Smith,
Athanassios S. Fokas
Abstract:
The so-called unified method expresses the solution of an initial-boundary value problem (IBVP) for an evolution PDE in the finite interval in terms of an integral in the complex Fourier (spectral) plane. Simple IBVP, which will be referred to as problems of type~I, can be solved via a classical transform pair. For example, the Dirichlet problem of the heat equation can be solved in terms of the t…
▽ More
The so-called unified method expresses the solution of an initial-boundary value problem (IBVP) for an evolution PDE in the finite interval in terms of an integral in the complex Fourier (spectral) plane. Simple IBVP, which will be referred to as problems of type~I, can be solved via a classical transform pair. For example, the Dirichlet problem of the heat equation can be solved in terms of the transform pair associated with the Fourier sine series. Such transform pairs can be constructed via the spectral analysis of the associated spatial operator. For more complicated IBVP, which will be referred to as problems of type~II, there does \emph{not} exist a classical transform pair and the solution \emph{cannot} be expressed in terms of an infinite series. Here we pose and answer two related questions: first, does there exist a (non-classical) transform pair capable of solving a type~II problem, and second, can this transform pair be constructed via spectral analysis? The answer to both of these questions is positive and this motivates the introduction of a novel class of spectral entities. We call these spectral entities augmented eigenfunctions, to distinguish them from the generalised eigenfunctions described in the sixties by Gel'fand and his co-authors.
△ Less
Submitted 2 February, 2016; v1 submitted 9 March, 2013;
originally announced March 2013.
-
Elliptic boundary value problems in convex polygons with low regularity boundary data via the unified method
Authors:
A. C. L. Ashton,
A. S. Fokas
Abstract:
We use novel integral representations developed by the second author to prove certain rigorous results concerning elliptic boundary value problems in convex polygons. Central to this approach is the so-called global relation, which is a non-local equation in the Fourier space that relates the known boundary data to the unknown boundary values. Assuming that the global relation is satisfied in the…
▽ More
We use novel integral representations developed by the second author to prove certain rigorous results concerning elliptic boundary value problems in convex polygons. Central to this approach is the so-called global relation, which is a non-local equation in the Fourier space that relates the known boundary data to the unknown boundary values. Assuming that the global relation is satisfied in the weakest possible sense, i.e. in a distributional sense, we prove there exist solutions to Dirichlet, Neumann and Robin boundary value problems with distributional boundary data. We also show that the analysis of the global relation characterises in a straightforward manner the possible existence of both integrable and non-integrable corner-singularities.
△ Less
Submitted 8 January, 2013;
originally announced January 2013.
-
The Fourier Transforms of the Chebyshev and Legendre Polynomials
Authors:
A. S. Fokas,
S. A. Smitheman
Abstract:
Analytic expressions for the Fourier transforms of the Chebyshev and Legendre polynomials are derived, and the latter is used to find a new representation for the half-order Bessel functions. The numerical implementation of the so-called unified method in the interior of a convex polygon provides an example of the applicability of these analytic expressions.
Analytic expressions for the Fourier transforms of the Chebyshev and Legendre polynomials are derived, and the latter is used to find a new representation for the half-order Bessel functions. The numerical implementation of the so-called unified method in the interior of a convex polygon provides an example of the applicability of these analytic expressions.
△ Less
Submitted 21 November, 2012;
originally announced November 2012.
-
On the Asymptotics to all Orders of the Riemann Zeta Function and of a Two-Parameter Generalization of the Riemann Zeta Function
Authors:
A. S. Fokas,
J. Lenells
Abstract:
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 es…
▽ More
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,β)$.
△ Less
Submitted 25 October, 2022; v1 submitted 12 January, 2012;
originally announced January 2012.
-
The Unified Method: III Non-Linearizable Problems on the Interval
Authors:
J. Lenells,
A. S. Fokas
Abstract:
Boundary value problems for integrable nonlinear evolution PDEs formulated on the finite interval can be analyzed by the unified method introduced by one of the authors and used extensively in the literature. The implementation of this general method to this particular class of problems yields the solution in terms of the unique solution of a matrix Riemann-Hilbert problem formulated in the comple…
▽ More
Boundary value problems for integrable nonlinear evolution PDEs formulated on the finite interval can be analyzed by the unified method introduced by one of the authors and used extensively in the literature. The implementation of this general method to this particular class of problems yields the solution in terms of the unique solution of a matrix Riemann-Hilbert problem formulated in the complex $k$-plane (the Fourier plane), which has a jump matrix with explicit $(x,t)$-dependence involving six scalar functions of $k$, called spectral functions. Two of these functions depend on the initial data, whereas the other four depend on all boundary values. The most difficult step of the new method is the characterization of the latter four spectral functions in terms of the given initial and boundary data, i.e. the elimination of the unknown boundary values. Here, we present an effective characterization of the spectral functions in terms of the given initial and boundary data. We present two different characterizations of this problem. One is based on the analysis of the so-called global relation, on the analysis of the equations obtained from the global relation via certain transformations leaving the dispersion relation of the associated linearized PDE invariant, and on the computation of the large $k$ asymptotics of the eigenfunctions defining the relevant spectral functions. The other is based on the analysis of the global relation and on the introduction of the so-called Gelfand-Levitan-Marchenko representations of the eigenfunctions defining the relevant spectral functions. We also show that these two different characterizations are equivalent and that in the limit when the length of the interval tends to infinity, the relevant formulas reduce to the analogous formulas obtained recently for the case of boundary value problems formulated on the half-line.
△ Less
Submitted 21 September, 2011;
originally announced September 2011.
-
The Unified Method: II NLS on the Half-Line with $t$-Periodic Boundary Conditions
Authors:
J. Lenells,
A. S. Fokas
Abstract:
Boundary value problems for integrable nonlinear evolution PDEs formulated on the half-line can be analyzed by the unified method introduced by one of the authors and used extensively in the literature. The implementation of this general method to this particular class of problems yields the solution in terms of the unique solution of a matrix Riemann-Hilbert problem formulated in the complex $k$-…
▽ More
Boundary value problems for integrable nonlinear evolution PDEs formulated on the half-line can be analyzed by the unified method introduced by one of the authors and used extensively in the literature. The implementation of this general method to this particular class of problems yields the solution in terms of the unique solution of a matrix Riemann-Hilbert problem formulated in the complex $k$-plane (the Fourier plane), which has a jump matrix with explicit $(x,t)$-dependence involving four scalar functions of $k$, called spectral functions. Two of these functions depend on the initial data, whereas the other two depend on all boundary values. The most difficult step of the new method is the characterization of the latter two spectral functions in terms of the given initial and boundary data, i.e. the elimination of the unknown boundary values. For certain boundary conditions, called linearizable, this can be achieved simply using algebraic manipulations. Here, we first present an effective characterization of the spectral functions in terms of the given initial and boundary data for the general case of non-linearizable boundary conditions. This characterization is based on the analysis of the so-called global relation and on the introduction of the so-called Gelfand-Levitan-Marchenko representations of the eigenfunctions defining the spectral functions. We then concentrate on the physically significant case of $t$-periodic Dirichlet boundary data. After presenting certain heuristic arguments which suggest that the Neumann boundary values become periodic as $t\to\infty$, we show that for the case of the NLS with a sine-wave as Dirichlet data, the asymptotics of the Neumann boundary values can be computed explicitly at least up to third order in a perturbative expansion and indeed at least up to this order are asymptotically periodic.
△ Less
Submitted 21 September, 2011;
originally announced September 2011.
-
The Unified Method: I Non-Linearizable Problems on the Half-Line
Authors:
A. S. Fokas,
J. Lenells
Abstract:
Boundary value problems for integrable nonlinear evolution PDEs formulated on the half-line can be analyzed by the unified method introduced by one of the authors and used extensively in the literature. The implementation of this general method to this particular class of problems yields the solution in terms of the unique solution of a matrix Riemann-Hilbert problem formulated in the complex $k$-…
▽ More
Boundary value problems for integrable nonlinear evolution PDEs formulated on the half-line can be analyzed by the unified method introduced by one of the authors and used extensively in the literature. The implementation of this general method to this particular class of problems yields the solution in terms of the unique solution of a matrix Riemann-Hilbert problem formulated in the complex $k$-plane (the Fourier plane), which has a jump matrix with explicit $(x,t)$-dependence involving four scalar functions of $k$, called spectral functions. Two of these functions depend on the initial data, whereas the other two depend on all boundary values. The most difficult step of the new method is the characterization of the latter two spectral functions in terms of the given initial and boundary data, i.e. the elimination of the unknown boundary values. For certain boundary conditions, called linearizable, this can be achieved simply using algebraic manipulations. Here, we present an effective characterization of the spectral functions in terms of the given initial and boundary data for the general case of non-linearizable boundary conditions. This characterization is based on the analysis of the so-called global relation, on the analysis of the equations obtained from the global relation via certain transformations leaving the dispersion relation of the associated linearized PDE invariant, and on the computation of the large $k$ asymptotics of the eigenfunctions defining the relevant spectral functions.
△ Less
Submitted 21 September, 2011;
originally announced September 2011.
-
The Kadomtsev-Petviashvili I Equation on the Half-Plane
Authors:
Dionyssios Mantzavinos,
Athanassios S. Fokas
Abstract:
A new method for the solution of initial-boundary value problems for \textit{linear} and \textit{integrable nonlinear} evolution PDEs in one spatial dimension was introduced by one of the authors in 1997 \cite{F1997}. This approach was subsequently extended to initial-boundary value problems for evolution PDEs in two spatial dimensions, first in the case of linear PDEs \cite{F2002b} and, more rece…
▽ More
A new method for the solution of initial-boundary value problems for \textit{linear} and \textit{integrable nonlinear} evolution PDEs in one spatial dimension was introduced by one of the authors in 1997 \cite{F1997}. This approach was subsequently extended to initial-boundary value problems for evolution PDEs in two spatial dimensions, first in the case of linear PDEs \cite{F2002b} and, more recently, in the case of integrable nonlinear PDEs, for the Davey-Stewartson and the Kadomtsev-Petviashvili II equations on the half-plane (see \cite{FDS2009} and \cite{MF2011} respectively). In this work, we study the analogous problem for the Kadomtsev-Petviashvili I equation; in particular, through the simultaneous spectral analysis of the associated Lax pair via a d-bar formalism, we are able to obtain an integral representation for the solution, which involves certain transforms of all the initial and the boundary values, as well as an identity, the so-called global relation, which relates these transforms in appropriate regions of the complex spectral plane.
△ Less
Submitted 27 July, 2011;
originally announced July 2011.
-
A Novel Approach to Elastodynamics: II. The Three-Dimensional Case
Authors:
A. S. Fokas,
D. Yang
Abstract:
A new approach was recently introduced by the authors for constructing analytic solutions of the linear PDEs describing elastodynamics. Here, this approach is applied to the case of a homogeneous isotropic half-space body satisfying arbitrary initial conditions and Lamb's boundary conditions. A particular case of this problem, namely the case of homogeneous initial conditions and normal point load…
▽ More
A new approach was recently introduced by the authors for constructing analytic solutions of the linear PDEs describing elastodynamics. Here, this approach is applied to the case of a homogeneous isotropic half-space body satisfying arbitrary initial conditions and Lamb's boundary conditions. A particular case of this problem, namely the case of homogeneous initial conditions and normal point load boundary conditions, was first solved by Lamb using the Fourier-Laplace transform. The general problem solved here can also be analysed via the Fourier transform, but in this case, the solution representation involves transforms of \textit{unknown} boundary values; this necessitates the formulation and solution of a cumbersome auxiliary problem, which expresses the unknown boundary values in terms of the Laplace transform of the given boundary data. The new approach, which is applicable to arbitrary initial and boundary conditions, bypasses the above auxiliary problem and expresses the solutions directly in terms of the given initial and boundary conditions.
△ Less
Submitted 14 October, 2010;
originally announced October 2010.
-
A Novel Approach to Elastodynamics: I. The Two-Dimensional Case
Authors:
A. S. Fokas,
D. Yang
Abstract:
We introduce a new approach to constructing analytic solutions of the linear PDEs describing elastodynamics. This approach is illustrated for the case of a homogeneous isotropic half-plane body satisfying arbitrary initial conditions and Lamb's boundary conditions. A particular case of this problem, namely the case of homogeneous initial conditions, was first solved by Lamb using the Fourier-Lapla…
▽ More
We introduce a new approach to constructing analytic solutions of the linear PDEs describing elastodynamics. This approach is illustrated for the case of a homogeneous isotropic half-plane body satisfying arbitrary initial conditions and Lamb's boundary conditions. A particular case of this problem, namely the case of homogeneous initial conditions, was first solved by Lamb using the Fourier-Laplace transform. The solution of the general problem can also be expressed in terms of the Fourier transform, but this representation involves transforms of unknown boundary values. This necessitates the formulation and solution of a cumbersome auxiliary problem, which expresses the unknown boundary values in terms of the Laplace transform of the given boundary data. The new approach, which is applicable to arbitrary initial and boundary conditions, bypasses the above auxiliary problem and expresses the solutions directly in terms of the given initial and boundary data.
△ Less
Submitted 14 October, 2010;
originally announced October 2010.
-
On a Novel Class of Integrable ODEs Related to the Painlevé Equations
Authors:
A. S. Fokas,
D. Yang
Abstract:
One of the authors has recently introduced the concept of conjugate Hamiltonian systems: the solution of the equation $h=H(p,q,t),$ where $H$ is a given Hamiltonian containing $t$ explicitly, yields the function $t=T(p,q,h)$, which defines a new Hamiltonian system with Hamiltonian $T$ and independent variable $h.$ By employing this construction and by using the fact that the classical Painlevé equ…
▽ More
One of the authors has recently introduced the concept of conjugate Hamiltonian systems: the solution of the equation $h=H(p,q,t),$ where $H$ is a given Hamiltonian containing $t$ explicitly, yields the function $t=T(p,q,h)$, which defines a new Hamiltonian system with Hamiltonian $T$ and independent variable $h.$ By employing this construction and by using the fact that the classical Painlevé equations are Hamiltonian systems, it is straightforward to associate with each Painlevé equation two new integrable ODEs. Here, we investigate the conjugate Painlevé II equations. In particular, for these novel integrable ODEs, we present a Lax pair formulation, as well as a class of implicit solutions. We also construct conjugate equations associated with Painlevé I and Painlevé IV equations.
△ Less
Submitted 26 September, 2010;
originally announced September 2010.
-
The Kadomtsev-Petviashvili II Equation on the Half-Plane
Authors:
D. Mantzavinos,
A. S. Fokas
Abstract:
The KPII equation is an integrable nonlinear PDE in 2+1 dimensions (two spatial and one temporal), which arises in several physical circumstances, including fluid mechanics where it describes waves in shallow water. It provides a multidimensional generalisation of the renowned KdV equation. In this work, we employ a novel approach recently introduced by one of the authors in connection with the Da…
▽ More
The KPII equation is an integrable nonlinear PDE in 2+1 dimensions (two spatial and one temporal), which arises in several physical circumstances, including fluid mechanics where it describes waves in shallow water. It provides a multidimensional generalisation of the renowned KdV equation. In this work, we employ a novel approach recently introduced by one of the authors in connection with the Davey-Stewartson equation \cite{FDS2009}, in order to analyse the initial-boundary value problem for the KPII equation formulated on the half-plane. The analysis makes crucial use of the so-called d-bar formalism, as well as of the so-called global relation. A novel feature of boundary as opposed to initial-value problems in 2+1 is that the d-bar formalism now involves a function in the complex plane which is discontinuous across the real axis.
△ Less
Submitted 5 October, 2010; v1 submitted 2 June, 2010;
originally announced June 2010.
-
A Nonlocal Formulation of Rotational Water Waves
Authors:
Anthony C. L Ashton,
A. S. Fokas
Abstract:
The classical equations of irrotational water waves have recently been reformulated as a system of two equations, one of which is an explicit non-local equation for the wave height and for the velocity potential evaluated on the free surface. Here, in the two dimensional case, (a) we generalise the relevant formulation to the case of constant vorticity, as well as to the case where the free surfac…
▽ More
The classical equations of irrotational water waves have recently been reformulated as a system of two equations, one of which is an explicit non-local equation for the wave height and for the velocity potential evaluated on the free surface. Here, in the two dimensional case, (a) we generalise the relevant formulation to the case of constant vorticity, as well as to the case where the free surface is described by a multi-valued function; (b) in the case of travelling waves we derive an upper bound for the free surface; (c) in the case of constant vorticity we construct a sequence of nearly Hamiltonian systems which provide an approximation in the asymptotic limit of certain physical small parameters. In particular, the explicit dependence of the vorticity on the coefficients of the KdV equation is clarified. Also, in the irrotational case we extend the formalism to n>2 dimensions and analyse rigorously the linear limit of these equations.
△ Less
Submitted 29 July, 2011; v1 submitted 12 December, 2008;
originally announced December 2008.
-
A Novel Method of Solution for the Fluid Loaded Plate
Authors:
Anthony C. L Ashton,
A. S. Fokas
Abstract:
We study the Cauchy problem associated with the equations governing a fluid loaded plate formulated on either the line or the half-line. We show that in both cases the problem can be solved by employing the unified approach to boundary value problems introduced by on of the authors in the late 1990s. The problem on the full line was analysed by Crighton et. al. using a combination of Laplace and…
▽ More
We study the Cauchy problem associated with the equations governing a fluid loaded plate formulated on either the line or the half-line. We show that in both cases the problem can be solved by employing the unified approach to boundary value problems introduced by on of the authors in the late 1990s. The problem on the full line was analysed by Crighton et. al. using a combination of Laplace and Fourier transforms. The new approach avoids the technical difficulty of the a priori assumption that the amplitude of the plate is in $L^1_{dt}(R^+)$ and furthermore yields a simpler solution representation which immediately implies the problem is well-posed. For the problem on the half-line, a similar analysis yields a solution representation, but this formula involves two unknown functions. The main difficulty with the half-line problem is the characterisation of these two functions. By employing the so-called global relation, we show that the two functions can be obtained via the solution of a complex valued integral equation of the convolution type. This equation can be solved in closed form using the Laplace transform. By prescribing the initial data $η_0$ to be in $H^3(R^+)$, we show that the solution depends continuously on the initial data, and hence, the problem is well-posed.
△ Less
Submitted 9 April, 2009; v1 submitted 9 December, 2008;
originally announced December 2008.
-
The Focusing NLS Equation on the Half-Line with Periodic Boundary Conditions
Authors:
S. Kamvissis,
A. S. Fokas
Abstract:
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 is a well-posed problem (for fixed initial data and fixed $u$). On the other hand, the associated inver…
▽ More
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 is a well-posed problem (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 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$.
△ Less
Submitted 24 February, 2008; v1 submitted 21 November, 2007;
originally announced November 2007.
-
Reconstruction Algorithms for Positron Emission Tomography and Single Photon Emission Computed Tomography and their Numerical Implementation
Authors:
A. S. Fokas,
A. Iserles,
V. Marinakis
Abstract:
The modern imaging techniques of Positron Emission Tomography and of Single Photon Emission Computed Tomography are not only two of the most important tools for studying the functional characteristics of the brain, but they now also play a vital role in several areas of clinical medicine, including neurology, oncology and cardiology. The basic mathematical problems associated with these techniqu…
▽ More
The modern imaging techniques of Positron Emission Tomography and of Single Photon Emission Computed Tomography are not only two of the most important tools for studying the functional characteristics of the brain, but they now also play a vital role in several areas of clinical medicine, including neurology, oncology and cardiology. The basic mathematical problems associated with these techniques are the construction of the inverse of the Radon transform and of the inverse of the so called attenuated Radon transform respectively. We first show that, by employing mathematical techniques developed in the theory of nonlinear integrable equations, it is possible to obtain analytic formulas for these two inverse transforms. We then present algorithms for the numerical implementation of these analytic formulas, based on approximating the given data in terms of cubic splines. Several numerical tests are presented which suggest that our algorithms are capable of producing accurate reconstruction for realistic phantoms such as the well known Shepp--Logan phantom.
△ Less
Submitted 4 December, 2004;
originally announced December 2004.
-
The Unique Determination of Neuronal Currents in the Brain via Magnetoencephalography
Authors:
A. S. Fokas,
Y. Kurylev,
V. Marinakis
Abstract:
The problem of determining the neuronal current inside the brain from measurements of the induced magnetic field outside the head is discussed under the assumption that the space occupied by the brain is approximately spherical. By inverting the Geselowitz equation, the part of the current which can be reconstructed from the measurements is precisely determined. This actually consists of only ce…
▽ More
The problem of determining the neuronal current inside the brain from measurements of the induced magnetic field outside the head is discussed under the assumption that the space occupied by the brain is approximately spherical. By inverting the Geselowitz equation, the part of the current which can be reconstructed from the measurements is precisely determined. This actually consists of only certain moments of one of the two functions specifying the tangential part of the current. The other function specifying the tangential part of the current as well as the radial part of the current are completely arbitrary. However, it is also shown that with the assumption of energy minimization, the current can be reconstructed uniquely. A numerical implementation of this unique reconstruction is also presented.
△ Less
Submitted 4 December, 2004;
originally announced December 2004.
-
Linearizable Initial-Boundary Value Problems for the sine-Gordon Equation on the Half-Line
Authors:
A. S. Fokas
Abstract:
A rigorous methodology for the analysis of initial boundary value problems on the half-line, $0<x<\infty$, $t>0$, for integrable nonlinear evolution PDEs has recently appeared in the literature. As an application of this methodology the solution $q(x,t)$ of the sine-Gordon equation can be obtained in terms of the solution of a $2\times 2$ matrix Riemann-Hilbert problem. This problem is formulate…
▽ More
A rigorous methodology for the analysis of initial boundary value problems on the half-line, $0<x<\infty$, $t>0$, for integrable nonlinear evolution PDEs has recently appeared in the literature. As an application of this methodology the solution $q(x,t)$ of the sine-Gordon equation can be obtained in terms of the solution of a $2\times 2$ matrix Riemann-Hilbert problem. This problem is formulated in the complex $k$-plane and is uniquely defined in terms of the so called spectral functions $a(k)$, $b(k)$, and $B(k)/A(k)$. The functions $a(k)$ and $b(k)$ can be constructed in terms of the given initial conditions $q(x,0)$ and $q_t(x,0)$ via the solution of a system of two {\it linear} ODE's, while for \emph{arbitrary} boundary conditions the functions $A(k)$ and $B(k)$ can be constructed in terms of the given boundary condition via the solution of a system of four {\it nonlinear} ODEs. In this paper we analyse two \emph{particular} boundary conditions: the case of constant Dirichlet data, $q(0,t) = χ$, as well as the case that $q_x(0,t)$, $\sin (q(0,t)/2)$, and $\cos(q(0,t)/2)$ are linearly related by two constants $χ_1$ and $χ_2$. We show that for these particular cases, the system of the above nonlinear ODEs can be avoided, and $B(k)/A(k)$ can be computed explicitly in terms of $\{a(k),b(k),χ\}$ and $\{a(k),b(k), χ_1, χ_2\}$ respectively. Thus these ``linearizable'' initial-boundary value problems can be solved with absolutely the same level of efficiency as the classical initial value problem of the line.
△ Less
Submitted 1 December, 2004;
originally announced December 2004.
-
The Time Periodic Solution of the Burgers Equation on the Half-Line and an Application to Steady Streaming
Authors:
A. S. Fokas,
J. T. Stuart
Abstract:
The phenomenon of steady streaming, or acoustic streaming, is an important physical phenomenon studied extensively in the literature. Its mathematical formulation involves the Navier-Stokes equations, thus due to the complexity of these equations is usually studied heuristically using formal perturbation expansions. It turns out that the Burgers equation formulated on the half line provides a si…
▽ More
The phenomenon of steady streaming, or acoustic streaming, is an important physical phenomenon studied extensively in the literature. Its mathematical formulation involves the Navier-Stokes equations, thus due to the complexity of these equations is usually studied heuristically using formal perturbation expansions. It turns out that the Burgers equation formulated on the half line provides a simple model of the above phenomenon. The physical situation corresponds to the solution of the Dirichlet problem on the half-line, which decays as $x \to \infty$ and which is {\it time periodic}. We show that the Dirichlet problem, where the usual prescription of the initial condition is now replaced by the requirement of the time periodicity, yields a well posed problem. Furthermore, we show that the solution of this problem tends to the ``inner'' and ``outer'' solutions obtained by the perturbation expansions.
△ Less
Submitted 1 December, 2004;
originally announced December 2004.
-
The Nonlinear Schrödinger Equation on the Interval
Authors:
A. S. Fokas,
A. R. Its
Abstract:
Let $q(x,t)$ satisfy the Dirichlet initial-boundary value problem for the nonlinear Schrödinger equation on the finite interval, $0 < x < L$, with $q_{0}(x) = q(x,0)$, $g_{0}(t) = q(0,t)$, $f_{0}(t) = q(L,t)$. Let $g_{1}(t)$ and $f_{1}(t)$ denote the {\it unknown} boundary values $q_{x}(0,t)$ and $q_{x}(L,t)$, respectively. We first show that these unknown functions can be expressed in terms of…
▽ More
Let $q(x,t)$ satisfy the Dirichlet initial-boundary value problem for the nonlinear Schrödinger equation on the finite interval, $0 < x < L$, with $q_{0}(x) = q(x,0)$, $g_{0}(t) = q(0,t)$, $f_{0}(t) = q(L,t)$. Let $g_{1}(t)$ and $f_{1}(t)$ denote the {\it unknown} boundary values $q_{x}(0,t)$ and $q_{x}(L,t)$, respectively. We first show that these unknown functions can be expressed in terms of the given initial and boundary conditions through the solution of a system of nonlinear ODEs. Although the question of the global existence of solution of this system remains open, it appears that this is the first time in the literature that such a characterization is explicitely described for a nonlinear evolution PDE defined on the interval; this result is the extension of the analogous result of [4] and [6] from the half-line to the interval. We then show that $q(x,t)$ can be expressed in terms of the solution of a $2\times 2$ matrix Riemann-Hilbert problem formulated in the complex $k$ - plane. This problem has explicit $(x,t)$ dependence in the form $\exp[2ikx + 4ik^2t]$, and it has jumps across the real and imaginary axes. The relevant jump matrices are explicitely given in terms of the spectral data $\{a(k), b(k)\}$, $\{A(k), B(k)\}$, and $\{\A(k), \B(k)\}$, which in turn are defined in terms of $q_{0}(x)$, $\{g_{0}(t), g_{1}(t)\}$, and $\{f_{0}(t), f_{1}(t)\}$, espectively.
△ Less
Submitted 21 February, 2005; v1 submitted 1 December, 2004;
originally announced December 2004.
-
The Davey-Stewartson I Equation on the Quarter Plane with Homogeneous Dirichlet Boundary Conditions
Authors:
A. S. Fokas
Abstract:
Dromions are exponentially localised coherent structures supported by nonlinear integrable evolution equations in two spatial dimensions.In the study of initial-value problems on the plane, such solutions occur only if one imposes nontrivial boundary conditions at infinity, a situation of dubious physical significance. However it is established here that dromions appear naturally in the study of…
▽ More
Dromions are exponentially localised coherent structures supported by nonlinear integrable evolution equations in two spatial dimensions.In the study of initial-value problems on the plane, such solutions occur only if one imposes nontrivial boundary conditions at infinity, a situation of dubious physical significance. However it is established here that dromions appear naturally in the study of boundary-value problems. In particular, it is shown that the long time asymptotics of the solution of the Davey-Stewartson I equation in the quarter plane with arbitrary initial conditions and with zero Dirichlet boundary conditions is dominated by dromions. The case of non-zero Dirichlet boundary conditions is also discussed.
△ Less
Submitted 1 December, 2004;
originally announced December 2004.
-
The Basic Elliptic Equations in an Equilateral Triangle
Authors:
G. Dassios,
A. S. Fokas
Abstract:
In his deep and prolific investigations of heat diffusion, Lamé was led to the investigation of the eigenvalues and eigenfunctions of the Laplace operator in an equilateral triangle. In particular he derived explicit results for the Dirichlet and Neumann cases using an ingenious change of variables. The relevant eigenfunctions are complicated infinite series in terms of his variables. Here we fi…
▽ More
In his deep and prolific investigations of heat diffusion, Lamé was led to the investigation of the eigenvalues and eigenfunctions of the Laplace operator in an equilateral triangle. In particular he derived explicit results for the Dirichlet and Neumann cases using an ingenious change of variables. The relevant eigenfunctions are complicated infinite series in terms of his variables. Here we first show that boundary value problems with simple boundary conditions, such as the Dirichlet and the Neumann problems, can be solved in an elementary manner. In particular for these problems, the unknown Neumann and Dirichlet boundary values respectively, can be expressed in terms of a Fourier series. Our analysis is based on the so called global relation, which is an algebraic equation coupling the Dirichlet and the Neumann spectral values on the perimeter of the triangle. As Lamé correctly pointed out, infinite series are inadequate for expressing the solution of more complicated problems, such as mixed boundary value problems. Here we show, utilizing further the global relation, that such problems can be solved in terms of {\it generalized Fourier integrals}.
△ Less
Submitted 1 December, 2004;
originally announced December 2004.
-
Boundary Value Problems for Linear PDEs with Variable Coefficients
Authors:
A. S. Fokas
Abstract:
A new method is introduced for studying boundary value problems for a class of linear PDEs with {\it variable} coefficients. This method is based on ideas recently introduced by the author for the study of boundary value problems for PDEs with {\it constant} coefficients. As illustrative examples the following boundary value problems are solved: (a) A Dirichlet and a Neumann problem on the half…
▽ More
A new method is introduced for studying boundary value problems for a class of linear PDEs with {\it variable} coefficients. This method is based on ideas recently introduced by the author for the study of boundary value problems for PDEs with {\it constant} coefficients. As illustrative examples the following boundary value problems are solved: (a) A Dirichlet and a Neumann problem on the half line for the time-dependent Schrödinger equation with a space dependent potential. (b) A Poincaré problem on the quarter plane for a variable coefficient eneralisation of the Laplace equation.
△ Less
Submitted 1 December, 2004;
originally announced December 2004.
-
A Transform Method for Evolution PDEs on a Finite Interval
Authors:
A. S. Fokas,
B. Pelloni
Abstract:
We study initial boundary value problems for linear scalar partial differential equations with constant coefficients, with spatial derivatives of {\em arbitrary order}, posed on the domain $\{t>0, 0<x<L\}$. We first show that by analysing the so-called {\em global relation}, which is an algebraic relation defined in the complex $k$-plane coupling all boundary values of the solution, it is possible…
▽ More
We study initial boundary value problems for linear scalar partial differential equations with constant coefficients, with spatial derivatives of {\em arbitrary order}, posed on the domain $\{t>0, 0<x<L\}$. We first show that by analysing the so-called {\em global relation}, which is an algebraic relation defined in the complex $k$-plane coupling all boundary values of the solution, it is possible to identify how many boundary conditions must be prescribed at each end of the space interval in order for the problem to be well posed. We then show that the solution can be expressed as an integral in the complex $k$-plane. This integral is defined in terms of an $x$-transform of the initial condition and a $t$-transform of the boundary conditions. For particular cases, such as the case of periodic boundary conditions, or the case of boundary value problems for {\em second} order PDEs, the integral can be rewritten as an infinite series. However, there exist initial boundary value problems for which the only representation is an integral which {\em cannot} be written as an infinite series. An example of such a problem is provided by the linearised version of the KdV equation. Thus, contrary to common belief, the solution of many linear initial boundary value problems on a finite interval {\em cannot} be expressed in terms of an infinite series.
△ Less
Submitted 16 March, 2011; v1 submitted 1 December, 2004;
originally announced December 2004.
-
The Solution of the Modified Helmholtz Equation in a Wedge and an Application to Diffusion-Limited Coalescence
Authors:
Daniel ben-Avraham,
Athanassios S. Fokas
Abstract:
The general solution of the modified Helmholtz equation, q_{xx}(x,y)+q_{yy}(x,y)-4b^2q(x,y)=0, in the wedge 0 < x < y < infinity, is presented. This solution is used to find the explicit steady-state of diffusion-limited coalescence, A+A<-->A, on the half-line, with a trap-source at the origin.
The general solution of the modified Helmholtz equation, q_{xx}(x,y)+q_{yy}(x,y)-4b^2q(x,y)=0, in the wedge 0 < x < y < infinity, is presented. This solution is used to find the explicit steady-state of diffusion-limited coalescence, A+A<-->A, on the half-line, with a trap-source at the origin.
△ Less
Submitted 23 June, 1999;
originally announced June 1999.
