-
Direct linearisation of the non-commutative Kadomtsev-Petviashvili equations
Authors:
Gordon Blower,
Simon J. A. Malham
Abstract:
We prove that the non-commutative Kadomtsev-Petviashvili (KP) equation and a `lifted' modified Kadomtsev-Petviashvili (mKP) equation are directly linearisable, and thus integrable in this sense. There are several versions of the non-commutative mKP equations, including the two-dimensional generalisations of the non-commutative modified Korteweg-de Vries (mKdV) equation and its alternative form (am…
▽ More
We prove that the non-commutative Kadomtsev-Petviashvili (KP) equation and a `lifted' modified Kadomtsev-Petviashvili (mKP) equation are directly linearisable, and thus integrable in this sense. There are several versions of the non-commutative mKP equations, including the two-dimensional generalisations of the non-commutative modified Korteweg-de Vries (mKdV) equation and its alternative form (amKdV). Herein we derive the `lifted' mKP equation, whose solutions are the natural two-dimensional extension of those for the non-commutative mKdV equation derived in Blower and Malham. We also present the log-potential form of the mKP equation, from which all of these non-commutative mKP equations can be derived. To achieve the integrability results, we construct the pre-Poppe algebra that underlies the KP and mKP equations. This is a non-commutative polynomial algebra over the real line generated by the solution (and its partial derivatives) to the linearised form of the KP and mKP equations. The algebra is endowed with a pre-Poppe product, based on the product rule for semi-additive operators pioneered by Poppe for the commutative KP equation. Integrability corresponds to establishing a particular polynomial expansion in the respective pre-Poppe algebra. We also present numerical simulations of soliton-like interactions for the non-commutative KP equation.
△ Less
Submitted 5 December, 2024; v1 submitted 2 December, 2024;
originally announced December 2024.
-
Linear systems, spectral curves and determinants
Authors:
Gordon Blower,
Ian Doust
Abstract:
Let $(-A,B,C)$ be a continuous time linear system with state space a separable complex Hilbert space $H$, where $-A$ generates a strongly continuous contraction semigroup $(e^{-tA})_{t\geq 0}$ on $H$, and $φ(t)=Ce^{-tA}B$ is the impulse response function. Associated to such a system is a Hankel integral operator $Γ_φ$ acting on $L^2((0, \infty ); C)$ and a Schr{ö}dinger operator whose potential is…
▽ More
Let $(-A,B,C)$ be a continuous time linear system with state space a separable complex Hilbert space $H$, where $-A$ generates a strongly continuous contraction semigroup $(e^{-tA})_{t\geq 0}$ on $H$, and $φ(t)=Ce^{-tA}B$ is the impulse response function. Associated to such a system is a Hankel integral operator $Γ_φ$ acting on $L^2((0, \infty ); C)$ and a Schr{ö}dinger operator whose potential is found via a Fredholm determinant by the Faddeev-Dyson formula. Fredholm determinants of products of Hankel operators also play an important role in the Tracy and Widom's theory of matrix models and asymptotic eigenvalue distributions of random matrices. This paper provide formulas for the Fredholm determinants which arise thus, and determines consequent properties of the associated differential operators. We prove a spectral theorem for self-adjoint linear systems that have scalar input and output: the entries of Kodaira's characteristic matrix are given explicitly with formulas involving the infinitesimal Darboux addition for $(-A,B,C)$. Under suitable conditions on $(-A,B,C)$ we give an explicit version of Burchnall-Chaundy's theorem, showing that the algebra generated by an associated family of differential operators is isomorphic to an algebra of functions on a particular hyperelliptic curve.
△ Less
Submitted 24 September, 2024;
originally announced September 2024.
-
The algebraic structure of the non-commutative nonlinear Schrodinger and modified Korteweg-de Vries hierarchy
Authors:
Gordon Blower,
Simon J. A. Malham
Abstract:
We prove that each member of the non-commutative nonlinear Schrodinger and modified Korteweg--de Vries hierarchy is a Fredholm Grassmannian flow, and for the given linear dispersion relation and corresponding equivalencing group of Fredholm transformations, is unique in the class of odd-polynomial partial differential fields. Thus each member is linearisable and integrable in the sense that time-e…
▽ More
We prove that each member of the non-commutative nonlinear Schrodinger and modified Korteweg--de Vries hierarchy is a Fredholm Grassmannian flow, and for the given linear dispersion relation and corresponding equivalencing group of Fredholm transformations, is unique in the class of odd-polynomial partial differential fields. Thus each member is linearisable and integrable in the sense that time-evolving solutions can be generated by solving a linear Fredholm Marchenko equation, with the scattering data solving the corresponding linear dispersion equation. At each order, each member matches the corresponding non-commutative Lax hierarchy field which thus represent odd-polynomial partial differential fields. We also show that the cubic form for the non-commutative sine--Gordon equation corresponds to the first negative order case in the hierarchy, and establish the rest of the negative order non-commutative hierarchy. To achieve this, we construct an abstract combinatorial algebra, the Poppe skew-algebra, that underlies the hierarchy. This algebra is the non-commutative polynomial algebra over the real line generated by compositions, endowed with the Poppe product -- the product rule for Hankel operators pioneered by Ch. Poppe for classical integrable systems. Establishing the hierarchy members at non-negative orders, involves proving the existence of a `Poppe polynomial' expansion for basic compositions in terms of `linear signature expansions' representing the derivatives of the underlying non-commutative field. The problem boils down to solving a linear algebraic equation for the polynomial expansion coefficients, at each order.
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
Linear systems, Hankel products and the sinh-Gordon equation
Authors:
Gordon Blower,
Ian Doust
Abstract:
Let $(-A,B,C)$ be a linear system in continuous time $t>0$ with input and output space ${\mathbb C}^2$ and state space $H$. The scattering functions $φ_{(x)}(t)=Ce^{-(t+2x)A}B$ determines a Hankel integral operator $Γ_{φ_{(x)}}$; if $Γ_{φ_{(x)}}$ is trace class, then the Fredholm determinant $τ(x)=\det (I+Γ_{φ_{(x)}})$ determines the tau function of $(-A,B,C)$. The paper establishes properties of…
▽ More
Let $(-A,B,C)$ be a linear system in continuous time $t>0$ with input and output space ${\mathbb C}^2$ and state space $H$. The scattering functions $φ_{(x)}(t)=Ce^{-(t+2x)A}B$ determines a Hankel integral operator $Γ_{φ_{(x)}}$; if $Γ_{φ_{(x)}}$ is trace class, then the Fredholm determinant $τ(x)=\det (I+Γ_{φ_{(x)}})$ determines the tau function of $(-A,B,C)$. The paper establishes properties of algebras including $R_x=\int_x^\infty e^{-tA}BCe^{-tA}dt$ on $H$. Thus the paper obtains solutions of the sinh-Gordon PDE. The tau function for sinh-Gordon satisfies a particular Painléve $\mathrm{III}'$ nonlinear ODE and describes a random matrix model, with asymptotic distribution found by the Coulomb fluid method to be the solution of an electrostatic variational problem on an interval.
△ Less
Submitted 13 October, 2022;
originally announced October 2022.
-
Transportation on spheres via an entropy formula
Authors:
Gordon Blower
Abstract:
The paper proves transportation inequalities for probability measures on spheres for the Wasserstein metrics with respect to cost functions that are powers of the geodesic distance. Let $μ$ be a probability measure on the sphere ${\bf S}^n$ of the form $dμ=e^{-U(x)}dx$ where $dx$ is the rotation invariant probability measure, and $(n-1)I+{\hbox{Hess}}\,U\geq {κ_U}I$, where $κ_U>0$. Then any probab…
▽ More
The paper proves transportation inequalities for probability measures on spheres for the Wasserstein metrics with respect to cost functions that are powers of the geodesic distance. Let $μ$ be a probability measure on the sphere ${\bf S}^n$ of the form $dμ=e^{-U(x)}dx$ where $dx$ is the rotation invariant probability measure, and $(n-1)I+{\hbox{Hess}}\,U\geq {κ_U}I$, where $κ_U>0$. Then any probability measure $ν$ of finite relative entropy with respect to $μ$ satisfies ${\hbox{Ent}}(ν\midμ) \geq (κ_U/2)W_2(ν, μ)^2$. The proof uses an explicit formula for the relative entropy which is also valid on connected and compact $C^\infty$ smooth Riemannian manifolds without boundary. A variation of this entropy formula gives the Lichnérowicz integral.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.
-
Hasimoto frames and the Gibbs measure of periodic nonlinear Schrödinger Equation
Authors:
Gordon Blower,
Azadeh Khaleghi,
Moe Kuchemann-Scales
Abstract:
The paper interprets the cubic nonlinear Schrödinger equation as a Hamiltonian system with infinite dimensional phase space. There is a Gibbs measure which is invariant under the flow associated with the canonical equations of motion. The logarithmic Sobolev and concentration of measure inequalities hold for the Gibbs measures, and here are extended to the $k$-point correlation function and distri…
▽ More
The paper interprets the cubic nonlinear Schrödinger equation as a Hamiltonian system with infinite dimensional phase space. There is a Gibbs measure which is invariant under the flow associated with the canonical equations of motion. The logarithmic Sobolev and concentration of measure inequalities hold for the Gibbs measures, and here are extended to the $k$-point correlation function and distributions of related empirical measures. By Hasimoto's theorem, NLSE gives a Lax pair of coupled ODE for which the solutions give a system of moving frames. The paper studies the evolution of the measure induced on the moving frames by the Gibbs measure.
△ Less
Submitted 25 May, 2022;
originally announced May 2022.
-
Convexity and transport for the isentropic Euler equations on the sphere
Authors:
Gordon Blower
Abstract:
The paper considers the Euler system of PDE on a smooth compact Riemannian manifold of positive curvature without boundary, and the sphere ${\mathbb{S}}^2$ in particular. The paper interprets the Euler equations as a transport problem for the fluid density under dynamics governed by the gradient of the internal energy of the fluid. The paper develops the notion of transport cost in the tangent bun…
▽ More
The paper considers the Euler system of PDE on a smooth compact Riemannian manifold of positive curvature without boundary, and the sphere ${\mathbb{S}}^2$ in particular. The paper interprets the Euler equations as a transport problem for the fluid density under dynamics governed by the gradient of the internal energy of the fluid. The paper develops the notion of transport cost in the tangent bundle, and compares its properties with the Wasserstein transportation cost on the manifold. There are applications to the discrete approximation to the Euler equations in the style of Gangbo and Wesdickenberg ({\sl Comm. Partial Diff. Equations} {\bf 34} (2009), 1041-1073), except that the analysis is heavily dependent upon the curvature of the underlying manifold. The internal energy is assumed to satisfy convexity conditions that allow analysis via $Φ$-entropy entropy-production inequalities, and the results apply to the power law $ρ^γ$ where $1<γ<3/2$, which includes the case of a diatomic gas. The paper proves existence of weak solutions of the continuity equation, and gives a sufficient condition for existence of weak solutions to the acceleration equation.
△ Less
Submitted 21 November, 2020;
originally announced November 2020.
-
Statistical Mechanics of the Periodic Benjamin-Ono Equation
Authors:
Gordon Blower,
Caroline Brett,
Ian Doust
Abstract:
The periodic Benjamin-Ono equation is an autonomous Hamiltonian system with a Gibbs measure on $L^2({\mathbb T})$. The paper shows that the Gibbs measures on bounded balls of $L^2$ satisfy some logarithmic Sobolev inequalities. The space of $n$-soliton solutions of the periodic Benjamin-Ono equation, as discovered by Case, is a Hamiltonian system with an invariant Gibbs measure. As…
▽ More
The periodic Benjamin-Ono equation is an autonomous Hamiltonian system with a Gibbs measure on $L^2({\mathbb T})$. The paper shows that the Gibbs measures on bounded balls of $L^2$ satisfy some logarithmic Sobolev inequalities. The space of $n$-soliton solutions of the periodic Benjamin-Ono equation, as discovered by Case, is a Hamiltonian system with an invariant Gibbs measure. As $n\rightarrow\infty$, these Gibbs measures exhibit a concentration of measure phenomenon. Case introduced soliton solutions that are parameterised by atomic measures in the complex plane. The limiting distributions of these measures gives the density of a compressible gas that satisfies the isentropic Euler equations.
△ Less
Submitted 4 February, 2019;
originally announced February 2019.
-
Mixed moments of characteristic polynomials of random unitary matrices
Authors:
Emma C. Bailey,
Sandro Bettin,
Gordon Blower,
J. Brian Conrey,
Andrei Prokhorov,
Michael O. Rubinstein,
Nina C. Snaith
Abstract:
Following the work of Conrey, Rubinstein and Snaith and Forrester and Witte we examine a mixed moment of the characteristic polynomial and its derivative for matrices from the unitary group U(N) (also known as the CUE) and relate the moment to the solution of a Painleve differential equation. We also calculate a simple form for the asymptotic behaviour of moments of logarithmic derivatives of thes…
▽ More
Following the work of Conrey, Rubinstein and Snaith and Forrester and Witte we examine a mixed moment of the characteristic polynomial and its derivative for matrices from the unitary group U(N) (also known as the CUE) and relate the moment to the solution of a Painleve differential equation. We also calculate a simple form for the asymptotic behaviour of moments of logarithmic derivatives of these characteristic polynomials evaluated near the unit circle.
△ Less
Submitted 22 January, 2019;
originally announced January 2019.
-
On determinant expansions for Hankel operators
Authors:
Gordon Blower,
Yang Chen
Abstract:
Let $w$ be a semiclassical weight which is generic in Magnus's sense, and $(p_n)_{n=0}^\infty$ the corresponding sequence of orthogonal polynomials. The paper expresses the Christoffel--Darboux kernel as a sum of products of Hankel integral operators. For $ψ\in L^\infty (i{\mathbb R})$, let $W(ψ)$ be the Wiener-Hopf operator with symbol $ψ$. The paper gives sufficient conditions on $ψ$ such that…
▽ More
Let $w$ be a semiclassical weight which is generic in Magnus's sense, and $(p_n)_{n=0}^\infty$ the corresponding sequence of orthogonal polynomials. The paper expresses the Christoffel--Darboux kernel as a sum of products of Hankel integral operators. For $ψ\in L^\infty (i{\mathbb R})$, let $W(ψ)$ be the Wiener-Hopf operator with symbol $ψ$. The paper gives sufficient conditions on $ψ$ such that $1/\det W(ψ)W(ψ^{-1})=\det (I-Γ_{φ_1}Γ_{φ_2})$ where $Γ_{φ_1}$ and $Γ_{φ_2}$ are Hankel operators that are Hilbert--Schmidt. For certain $ψ$, Barnes's integral leads to an expansion of this determinant in terms of the generalised hypergeometric ${}_nF_m$. These results extend those of Basor and Chen [2], who obtained ${}_4F_3$ likewise. The paper includes examples where the Wiener--Hopf factors are found explicitly.
△ Less
Submitted 17 January, 2019;
originally announced January 2019.
-
Center of mass distribution of the Jacobi unitary ensembles: Painleve V, asymptotic expansions
Authors:
Longjun Zhan,
Gordon Blower,
Yang Chen,
Mengkun Zhu
Abstract:
In this paper, we study the probability density function, $\mathbb{P}(c,α,β, n)\,dc$, of the center of mass of the finite $n$ Jacobi unitary ensembles with parameters $α\,>-1$ and $β>-1$; that is the probability that ${\rm tr}M_n\in(c, c+dc),$ where $M_n$ are $n\times n$ matrices drawn from the unitary Jacobi ensembles. We first compute the exponential moment generating function of the linear stat…
▽ More
In this paper, we study the probability density function, $\mathbb{P}(c,α,β, n)\,dc$, of the center of mass of the finite $n$ Jacobi unitary ensembles with parameters $α\,>-1$ and $β>-1$; that is the probability that ${\rm tr}M_n\in(c, c+dc),$ where $M_n$ are $n\times n$ matrices drawn from the unitary Jacobi ensembles. We first compute the exponential moment generating function of the linear statistics $\sum_{j=1}^{n}\,f(x_j):=\sum_{j=1}^{n}x_j,$ denoted by $\mathcal{M}_f(λ,α,β,n)$.
△ Less
Submitted 23 January, 2018;
originally announced January 2018.
-
Kernels and point processes associated with Whittaker functions
Authors:
Gordon Blower,
Yang Chen
Abstract:
This article considers Whittaker's function $W_{κ,μ}$ where $κ$ is real and $μ$ is real or purely imaginary. Then $\varphi (x)=x^{-μ-1/2}W_{κ,μ}(x)$ arises as the scattering function of a continuous time linear system with state space $L^2(1/2, \infty )$ and input and output spaces ${\bf C}$. The Hankel operator $Γ_\varphi$ on $L^2(0, \infty )$ is expressed as a matrix with respect to the Laguerre…
▽ More
This article considers Whittaker's function $W_{κ,μ}$ where $κ$ is real and $μ$ is real or purely imaginary. Then $\varphi (x)=x^{-μ-1/2}W_{κ,μ}(x)$ arises as the scattering function of a continuous time linear system with state space $L^2(1/2, \infty )$ and input and output spaces ${\bf C}$. The Hankel operator $Γ_\varphi$ on $L^2(0, \infty )$ is expressed as a matrix with respect to the Laguerre basis and gives the Hankel matrix of moments of a Jacobi weight $w$. The operation of translating $\varphi$ is equivalent to multiplying $w$ by an exponential factor to give $w_\varepsilon$. The determinant of the Hankel matrix of moments of $w_\varepsilon$ satisfies the $σ$ form of Painlevé's transcendental differential equation $PV$. It is shown that $Γ_\varphi$ gives rise to the Whittaker kernel from random matrix theory, as studied by Borodin and Olshanski (Comm. Math. Phys. 211 (2000), 335--358).\par
△ Less
Submitted 16 December, 2015;
originally announced December 2015.
-
Operational calculus and integral transforms for groups with finite propagation speed
Authors:
Gordon Blower,
Ian Doust
Abstract:
Let $A$ be the generator of a strongly continuous cosine family $(\cos (tA))_{t\in {\bf R}}$ on a complex Banach space $E$. The paper develops an operational calculus for integral transforms and functions of $A$ using the generalized harmonic analysis associated to certain hypergroups. It is shown that characters of hypergroups which have Laplace representations give rise to bounded operators on…
▽ More
Let $A$ be the generator of a strongly continuous cosine family $(\cos (tA))_{t\in {\bf R}}$ on a complex Banach space $E$. The paper develops an operational calculus for integral transforms and functions of $A$ using the generalized harmonic analysis associated to certain hypergroups. It is shown that characters of hypergroups which have Laplace representations give rise to bounded operators on $E$. Examples include the Mellin transform and the Mehler--Fock transform. The paper uses functional calculus for the cosine family $\cos( t\sqrt Δ)$ which is associated with waves that travel at unit speed. The main results include an operational calculus theorem for Sturm--Liouville hypergroups with Laplace representation as well as analogues to the Kunze--Stein phenomenon in the hypergroup convolution setting.
△ Less
Submitted 31 August, 2016; v1 submitted 1 September, 2015;
originally announced September 2015.
-
Concentration of the invariant measures for the periodic Zakharov, KdV, NLS and Gross--Piatevskii equations in 1D and 2D
Authors:
Gordon Blower
Abstract:
This paper concerns Gibbs measures $ν$ for some nonlinear PDE over the $D$-torus ${\bf T}^D$. The Hamiltonian $H=\int_{{\bf T}^D} \Vert\nabla u\Vert^2 - \int_{{\bf T}^D} \vert u\vert^p$ has canonical equations with solutions in $Ω_N=\{ u\in L^2({\bf T}^D) :\int \vert u\vert^2\leq N\}$. For $D=1$ and $2\leq p<6$, $Ω_N$ supports the Gibbs measure $ν(du)=Z^{-1}e^{-H(u)}\prod_{x\in {\bf T}} du(x)$ whi…
▽ More
This paper concerns Gibbs measures $ν$ for some nonlinear PDE over the $D$-torus ${\bf T}^D$. The Hamiltonian $H=\int_{{\bf T}^D} \Vert\nabla u\Vert^2 - \int_{{\bf T}^D} \vert u\vert^p$ has canonical equations with solutions in $Ω_N=\{ u\in L^2({\bf T}^D) :\int \vert u\vert^2\leq N\}$. For $D=1$ and $2\leq p<6$, $Ω_N$ supports the Gibbs measure $ν(du)=Z^{-1}e^{-H(u)}\prod_{x\in {\bf T}} du(x)$ which is normalized and formally invariant under the flow generated by the PDE. The paper proves that $(Ω_N, \Vert\cdot\Vert_{L^2}, ν)$ is a metric probability space of finite diameter that satisfies the logarithmic Sobolev inequalities for the periodic $KdV$, the focussing cubic nonlinear Schrödinger equation and the periodic Zakharov system. For suitable subset of $Ω_N$, a logarithmic Sobolev inequality also holds in the critical case $p=6$. For $D=2$, the Gross--Piatevskii equation has $H=\int_{{\bf T}^2} \Vert\nabla u\Vert^2-\int_{{\bf T}^2} (V\ast \vert u\vert^2 ) \vert u\vert^2$, for a suitable bounded interaction potential $V$ and the Gibbs measure $ν$ lies on a metric probability space $(Ω, \Vert\cdot\Vert_{H^{-s}}, ν)$ which satisfies $LSI$. In the above cases, $(Ω, d, ν)$ is the limit in $L^2$ transportation distance of finite-dimensional $(Ω_n, \Vert \cdot \Vert,ν_n)$ given by Fourier sums.
△ Less
Submitted 10 April, 2015;
originally announced April 2015.
-
Hill's Spectral Curves and the Invariant Measure of the Periodic KdV Equation
Authors:
Gordon Blower,
Caroline Brett,
Ian Doust
Abstract:
This paper analyses the periodic spectrum of Schrödinger's equation $-f''+qf=λf$ when the potential is real, periodic, random and subject to the invariant measure $ν_N^β$ of the periodic KdV equation. This $ν_N^β$ is the modified canonical ensemble, as given by Bourgain ({Comm. Math. Phys.} {166} (1994), 1--26), and $ν_N^β$ satisfies a logarithmic Sobolev inequality. Associated concentration inequ…
▽ More
This paper analyses the periodic spectrum of Schrödinger's equation $-f''+qf=λf$ when the potential is real, periodic, random and subject to the invariant measure $ν_N^β$ of the periodic KdV equation. This $ν_N^β$ is the modified canonical ensemble, as given by Bourgain ({Comm. Math. Phys.} {166} (1994), 1--26), and $ν_N^β$ satisfies a logarithmic Sobolev inequality. Associated concentration inequalities control the fluctuations of the periodic eigenvalues $(λ_n)$. For $β, N>0$ small, there exists a set of positive $ν_N^β$ measure such that $(\pm \sqrt{2(λ_{2n}+λ_{2n-1})})_{n=0}^\infty$ gives a sampling sequence for Paley--Wiener space $PW(π)$ and the reproducing kernels give a Riesz basis. Let $(μ_j)_{j=1}^\infty$ be the tied spectrum; then $(2\sqrt{μ_j}-j)$ belongs to a Hilbert cube in $\ell^2$ and is distributed according to a measure that satisfies Gaussian concentration for Lipschitz functions. The sampling sequence $(\sqrt{μ_j})_{j=1}^\infty$ arises from a divisor on the spectral curve, which is hyperelliptic of infinite genus. The linear statistics $\sum_j g(\sqrt{λ_{2j}})$ with test function $g\in PW(π)$ satisfy Gaussian concentration inequalities.
△ Less
Submitted 30 September, 2014;
originally announced September 2014.
-
Logarithmic Sobolev inequalities and spectral concentration for the cubic Schrödinger equation
Authors:
Gordon Blower,
Caroline Brett,
Ian Doust
Abstract:
The nonlinear Schrödinger equation NLSE(p, β), -iu_t=-u_{xx}+β| u|^{p-2} u=0, arises from a Hamiltonian on infinite-dimensional phase space \Lp^2(\mT). For p\leq 6, Bourgain (Comm. Math. Phys. 166 (1994), 1--26) has shown that there exists a Gibbs measure μ^β_N on balls Ω_N= {φ\in \Lp^2(\mT) : | φ|^2_{\Lp^2} \leq N} in phase space such that the Cauchy problem for NLSE(p,β) is well posed on the sup…
▽ More
The nonlinear Schrödinger equation NLSE(p, β), -iu_t=-u_{xx}+β| u|^{p-2} u=0, arises from a Hamiltonian on infinite-dimensional phase space \Lp^2(\mT). For p\leq 6, Bourgain (Comm. Math. Phys. 166 (1994), 1--26) has shown that there exists a Gibbs measure μ^β_N on balls Ω_N= {φ\in \Lp^2(\mT) : | φ|^2_{\Lp^2} \leq N} in phase space such that the Cauchy problem for NLSE(p,β) is well posed on the support of μ^β_N, and that μ^β_N is invariant under the flow. This paper shows that μ^β_N satisfies a logarithmic Sobolev inequality for the focussing case β<0 and 2\leq p\leq 4 on Ω_N for all N>0; also μ^β satisfies a restricted LSI for 4\leq p\leq 6 on compact subsets of Ω_N determined by Hölder norms. Hence for p=4, the spectral data of the periodic Dirac operator in \Lp^2(\mT; \mC^2) with random potential φsubject to μ^β_N are concentrated near to their mean values. The paper concludes with a similar result for the spectral data of Hill's equation when the potential is random and subject to the Gibbs measure of KdV.
△ Less
Submitted 26 January, 2014; v1 submitted 16 August, 2013;
originally announced August 2013.
-
Functional calculus on Venturi for Groups with Finite Propagation Speed
Authors:
Gordon Blower,
Ian Doust
Abstract:
Let ${\cal{M}}$ be a complete Riemannian manifold with Ricci curvature bounded below and Laplace operator $Δ$. The paper develops a functional calculus for the cosine family $\cos(t\sqrt Δ)$ which is associated with waves that travel at unit speed. If $f$ is holomorphic on a Venturi shaped region, and $z^kf(z)$ is bounded for some positive integer $k$, then $f({\sqrt Δ})$ defines a bounded linear…
▽ More
Let ${\cal{M}}$ be a complete Riemannian manifold with Ricci curvature bounded below and Laplace operator $Δ$. The paper develops a functional calculus for the cosine family $\cos(t\sqrt Δ)$ which is associated with waves that travel at unit speed. If $f$ is holomorphic on a Venturi shaped region, and $z^kf(z)$ is bounded for some positive integer $k$, then $f({\sqrt Δ})$ defines a bounded linear operator on $L^p({\cal{M}})$ for some $p>2$. For Jacobi hypergroups with invariant measure $m$ the generalized Fourier transform of $f\in L^1(m)$ gives $\hat f\in H^\infty (Σ_ω)$ for some strip $Σ_ω$. Hence one defines $\hat f(A)$ for operators $A$ in some Banach space that have a $H^\infty (Σ_ω)$ functional calculus. The paper introduces an operational calculus for the Mehler--Fock transform of order zero. By transference methods, one defines $\hat f(A)$ when $\hat f$ is a $s$-Marcinkiewicz multiplier and $e^{itA}$ is a strongly continuous operator group on a $L^p$ space for $| 1/2-1/p| <1/s$.\par
△ Less
Submitted 3 September, 2015; v1 submitted 22 April, 2013;
originally announced April 2013.
-
On tau functions associated with linear systems
Authors:
Gordon Blower,
Samantha L. Newsham
Abstract:
Let $(-A,B,C)$ be a linear system in continuous time $t>0$ with input and output space ${\bf C}$ and state space $H$. The function $φ_{(x)}(t)=Ce^{-(t+2x)A}B$ determines a Hankel integral operator $Γ_{φ_{(x)}}$ on $L^2((0, \infty ); {\bf C})$; if $Γ_{φ_{(x)}}$ is trace class, then the Fredholm determinant $τ(x)=\det (I+ Γ_{φ_{(x)}})$ defines the tau function of $(-A,B,C)$. Such tau functions arise…
▽ More
Let $(-A,B,C)$ be a linear system in continuous time $t>0$ with input and output space ${\bf C}$ and state space $H$. The function $φ_{(x)}(t)=Ce^{-(t+2x)A}B$ determines a Hankel integral operator $Γ_{φ_{(x)}}$ on $L^2((0, \infty ); {\bf C})$; if $Γ_{φ_{(x)}}$ is trace class, then the Fredholm determinant $τ(x)=\det (I+ Γ_{φ_{(x)}})$ defines the tau function of $(-A,B,C)$. Such tau functions arise in Tracy and Widom's theory of matrix models, where they describe the fundamental probability distributions of random matrix theory. Dyson considered such tau functions in the inverse spectral problem for Schrödinger's equation $-f''+uf=λf$, and derived the formula for the potential $u(x)=-2{{d^2}\over{dx^2}}\log τ(x)$ in the self-adjoint scattering case {\sl Commun. Math. Phys.} {\bf 47} (1976), 171--183. This paper introduces a operator function $R_x$ that satisfies Lyapunov's equation ${{dR_x}\over{dx}}=-AR_x-R_xA$ and $τ(x)=\det (I+R_x)$, without assumptions of self-adjointness. When $-A$ is sectorial, and $B,C$ are Hilbert--Schmidt, there exists a non-commutative differential ring ${\cal A}$ of operators in $H$ and a differential ring homomorphism $\lfloor\,\,\rfloor :{\cal A}\rightarrow {\bf C}[u,u', \dots ]$ such that $u=-4\lfloor A\rfloor$, which provides a substitute for the multiplication rules for Hankel operators considered by Pöppe, and McKean {\sl Cent. Eur. J. Math.} {\bf 9} (2011), 205--243. The paper obtains conditions on $(-A,B,C)$ for Schrödinger's equation with meromorphic $u$ to be integrable by quadratures. Special results apply to the linear systems associated with scattering $u$, periodic $u$ and elliptic $u$. The paper constructs a family of solutions to the Kadomtsev--Petviashivili differential equations, and proves that certain families of tau functions satisfy Fay's identities.\par
△ Less
Submitted 26 June, 2017; v1 submitted 9 July, 2012;
originally announced July 2012.
-
On tau functions for orthogonal polynomials and matrix models
Authors:
Gordon Blower
Abstract:
Let v be a real polynomial of even degree, and let ρbe the equilibrium probability measure for v with support S; so that v(x)\geq 2\int \log |x-y| ρ(dy)+C_v for some constant C_v with support S. Then S is the union of finitely many bounded intervals with endpoints delta_j, and ρis given by an algebrais weight w(x) on S. The system of orthogonal polynomials for w gives rise to the Magnus--Schlesing…
▽ More
Let v be a real polynomial of even degree, and let ρbe the equilibrium probability measure for v with support S; so that v(x)\geq 2\int \log |x-y| ρ(dy)+C_v for some constant C_v with support S. Then S is the union of finitely many bounded intervals with endpoints delta_j, and ρis given by an algebrais weight w(x) on S. The system of orthogonal polynomials for w gives rise to the Magnus--Schlesinger differential equations. This paper identifies the tau function of this system with the Hankel determinant det[\in x^{j+k}ρ(dx)] of ρ. The solutions of the Magnus--Schlesinger equations are realised by a linear system, which is used to compute the tau function in terms of a Gelfand--Levitan equaiton. The tau function is associated with a potential q and a scattering problem for the Schrodinger operator with potential q. For some algebro-geometric potentials, the paper solves the scattering problem in terms of linear systems. The theory extends naturally to elliptic curves and resolves the case where S has exactly two intervals.
△ Less
Submitted 13 August, 2010;
originally announced August 2010.
-
A logarithmic Sobolev inequality for the invariant measure of the periodic Korteweg--de Vries equation
Authors:
Gordon Blower
Abstract:
The periodic KdV equation u_t=u_{xxx}+βuu_x arises from a Hamiltonian system with infinite-dimensional phase space L^2(T). Bourgain has shown that there exists a Gibbs measure νon balls \{φ:\VertΦ\Vert^2_{L^2}\leq N\} in the phase space such that the Cauchy problem for KdV is well posed on the support of ν, and νis invariant under the KdV flow. This paper shows that νsatisfies a logarithmic Sobo…
▽ More
The periodic KdV equation u_t=u_{xxx}+βuu_x arises from a Hamiltonian system with infinite-dimensional phase space L^2(T). Bourgain has shown that there exists a Gibbs measure νon balls \{φ:\VertΦ\Vert^2_{L^2}\leq N\} in the phase space such that the Cauchy problem for KdV is well posed on the support of ν, and νis invariant under the KdV flow. This paper shows that νsatisfies a logarithmic Sobolev inequality. The stationary points of the Hamiltonian on spheres are found in terms of elliptic functions, and they are shown to be linearly stable. The paper also presents logarithmic Sobolev inequalities for the modified periodic KdV equation and the cubic nonlinear Schrödinger equation, for small values of N.
△ Less
Submitted 22 December, 2009;
originally announced December 2009.
-
On linear systems and tau functions associated with Lame's equation and Painleve's equation VI
Authors:
Gordon Blower
Abstract:
Painleve's transcendental differential equation P_{VI} may be expressed as the consistency condition for a pair of linear differential equations with 2 by 2 matrix coefficients with rational entries. By a construction due to Tracy and Widom, this linear system is associated with certain kernels which give trace class operators on Hilbert space. This paper expresses such operators in terms of the…
▽ More
Painleve's transcendental differential equation P_{VI} may be expressed as the consistency condition for a pair of linear differential equations with 2 by 2 matrix coefficients with rational entries. By a construction due to Tracy and Widom, this linear system is associated with certain kernels which give trace class operators on Hilbert space. This paper expresses such operators in terms of the Hankel operators Γ_φof linear systems which are realised in terms of the Laurent coefficients of the solutions of the differential equations. Let P_{(t infty)}:L^2(0, \infty)\to L^2(t, \infty) be the orthogonal projection. For such, the Fredholm determinant τ(t)=det (I-P_{(t, \infty)}Γ_φ) defines the tau function, which is here expressed in terms of the solutions of a matrix Gelfand--Levitan equation. For suitable paramters, solutions of the hypergeometric equation give a linear system with similar properties. For meromorphic transfer functions \hatφthat have poles on an arithmetic progression, the corresponding Hankel operator has a simple form with respect to an exponential basis in L^2(0, \infty); so τ(t) can be expressed in terms of finite determinants. This applies to elliptic functions of the second kind, such as satisfy Lame's equation with \ell=1.
△ Less
Submitted 17 November, 2009;
originally announced November 2009.
-
Linear systems and determinantal random point fields
Authors:
Gordon Blower
Abstract:
Tracy and Widom showed that fundamentally important kernels in random matrix theory arise from differential equations with rational coefficients. More generally, this paper considers symmetric Hamiltonian systems abd determines the properties of kernels that arise from them. The inverse spectral problem for self-adjoint Hankel operators gives a sufficient condition for a self-adjoint operator to…
▽ More
Tracy and Widom showed that fundamentally important kernels in random matrix theory arise from differential equations with rational coefficients. More generally, this paper considers symmetric Hamiltonian systems abd determines the properties of kernels that arise from them. The inverse spectral problem for self-adjoint Hankel operators gives a sufficient condition for a self-adjoint operator to be the Hankel operator on $L^2(0, \infty)$ from a linear system in continuous time; thus this paper expresses certain kernels as squares of Hankel operators. For a suitable linear system $(-A,B,C)$ with one dimensional input and output spaces, there exists a Hankel operator $Γ$ with kernel $φ_{(x)}(s+t)=Ce^{-(2x+s+t)A}B$ such that $\det (I+(z-1)ΓΓ^\dagger)$ is the generating function of a determinantal random point field.
△ Less
Submitted 8 August, 2008;
originally announced August 2008.
-
Discrete Tracy-Widom Operators
Authors:
G. Blower,
A. J. McCafferty
Abstract:
Integrable operators arise in random matrix theory, where they describe the asymptotic eigenvalue distribution of large self-adjoint random matrices from the generalized unitary ensembles. This paper considers discrete Tracy-Widom operators, and gives sufficient conditions for a discrete integrable operator to be the square of a Hankel matrix. Examples include the discrete Bessel kernel and kern…
▽ More
Integrable operators arise in random matrix theory, where they describe the asymptotic eigenvalue distribution of large self-adjoint random matrices from the generalized unitary ensembles. This paper considers discrete Tracy-Widom operators, and gives sufficient conditions for a discrete integrable operator to be the square of a Hankel matrix. Examples include the discrete Bessel kernel and kernels arising from the almost Mathieu equation and the Fourier transform of Mathieu's equation.
△ Less
Submitted 30 June, 2008;
originally announced June 2008.
-
Hankel operators that commute with second-order differential operators
Authors:
Gordon Blower
Abstract:
Suppose that $Γ$ is a continuous and self-adjoint Hankel operator on $L^2(0, \infty)$ and that $Lf=-(d/dx(a(x)df/dx))+b(x)f(x)$ with $a(0)=0$. If $a$ and $b$ are both quadratic, hyperbolic or trigonometric functions, and $φ$ satisfies a suitable form of Gauss's hypergeometric equation, or the confluent hypergeometric equation, then $LΓ=ΓL$. The paper catalogues the commuting pairs $Γ$ and $L$, i…
▽ More
Suppose that $Γ$ is a continuous and self-adjoint Hankel operator on $L^2(0, \infty)$ and that $Lf=-(d/dx(a(x)df/dx))+b(x)f(x)$ with $a(0)=0$. If $a$ and $b$ are both quadratic, hyperbolic or trigonometric functions, and $φ$ satisfies a suitable form of Gauss's hypergeometric equation, or the confluent hypergeometric equation, then $LΓ=ΓL$. The paper catalogues the commuting pairs $Γ$ and $L$, including important cases in random matrix theory. There are also results proving rapid decay of the singular numbers of Hankel integral operators with kernels that are analytic and of exponential decay in the right half plane.
△ Less
Submitted 6 December, 2007;
originally announced December 2007.
-
Integrable operators and the squares of Hankel operators
Authors:
Gordon Blower
Abstract:
Integrable operators arise in random matrix theory, where they describe the asymptotic eigenvalue distributions of large self-adjoint random matrices from the generalized unitary ensembles. This paper gives sufficient conditions for an integrable operator to be the square of a Hankel operator, and applies the condition to the Airy, associated Laguerre, modified Besses and Whittaker functions.
Integrable operators arise in random matrix theory, where they describe the asymptotic eigenvalue distributions of large self-adjoint random matrices from the generalized unitary ensembles. This paper gives sufficient conditions for an integrable operator to be the square of a Hankel operator, and applies the condition to the Airy, associated Laguerre, modified Besses and Whittaker functions.
△ Less
Submitted 14 September, 2007;
originally announced September 2007.
-
Operators associated with the soft and hard spectral edges of unitary ensembles
Authors:
Gordon Blower
Abstract:
Using Hankel operators and shift-invariant subspaces on Hilbert space, this paper develops the theory of the operators associated with soft and hard edges of eigenvalue distributions of random matrices. Tracy and Widom introduced a projection operator $W$ to describe the soft edge of the spectrum of the Gaussian unitary ensemble. The subspace $WL^2$ is simply invariant under the translation semi…
▽ More
Using Hankel operators and shift-invariant subspaces on Hilbert space, this paper develops the theory of the operators associated with soft and hard edges of eigenvalue distributions of random matrices. Tracy and Widom introduced a projection operator $W$ to describe the soft edge of the spectrum of the Gaussian unitary ensemble. The subspace $WL^2$ is simply invariant under the translation semigroup $e^{itD}$ $(t\geq 0)$ and invariant under the Schrödinger semigroup $e^{it(D^2+x)}$ $(t\geq 0)$; these properties characterize $WL^2$ via Beurling's theorem. The Jacobi ensemble of random matrices has positive eigenvalues which tend to accumulate near to the hard edge at zero. This paper identifies a pair of unitary groups that satisfy the von Neumann--Weyl anti-commutation relations and leave invariant certain subspaces of $L^2(0,\infty)$ which are invariant for operators with Jacobi kernels. Such Tracy--Widom operators are reproducing kernels for weighted Hardy spaces, known as Sonine spaces. Periodic solutions of Hill's equation give a new family of Tracy--Widom type operators.
△ Less
Submitted 29 April, 2006;
originally announced May 2006.
-
Concentration inequalities on product spaces with applications to Markov processes
Authors:
Gordon Blower,
François Bolley
Abstract:
For a stochastic process with state space some Polish space, this paper gives sufficient conditions on the initial and conditional distributions for the joint law to satisfy Gaussian concentration inequalities, transportation inequalities and also logarithmic Sobolev inequalities in the case of the Euclidean space. In several cases, the obtained constants are of optimal order of growth with resp…
▽ More
For a stochastic process with state space some Polish space, this paper gives sufficient conditions on the initial and conditional distributions for the joint law to satisfy Gaussian concentration inequalities, transportation inequalities and also logarithmic Sobolev inequalities in the case of the Euclidean space. In several cases, the obtained constants are of optimal order of growth with respect to the number of variables, or are independent of this number. These results extend results known for mutually independent variables to weakly dependent variables under Dobrushin-Shlosman type conditions.
△ Less
Submitted 25 May, 2005;
originally announced May 2005.
