Symmetries for the Ablowitz–Ladik Hierarchy: Part II. Integrable Discrete Nonlinear Schrödinger Equations and Discrete AKNS Hierarchy

In the paper, we continue to consider symmetries related to the Ablowitz–Ladik hierarchy. We derive symmetries for the integrable discrete nonlinear Schrödinger hierarchy and discrete AKNS hierarchy. The integrable discrete nonlinear Schrödinger hierarchy is in scalar form and its two sets of symmetries are shown to form a Lie algebra. We also present discrete AKNS isospectral flows, non‐isospectral flows and their recursion operator. In continuous limit these flows go to the continuous AKNS flows and the recursion operator goes to the square of the AKNS recursion operator. These discrete AKNS flows form a Lie algebra that plays a key role in constructing symmetries and their algebraic structures for both the integrable discrete nonlinear Schrödinger hierarchy and discrete AKNS hierarchy. Structures of the obtained algebras are different structures from those in continuous cases which usually are centerless Kac–Moody–Virasoro type. These algebra deformations are explained through continuous limit and degree in terms of lattice spacing parameter h.     

Invariants of Isospectral Deformations and Spectral Rigidity

We introduce a notion of weak isospectrality for continuous deformations. Consider the Laplace–Beltrami operator on a compact Riemannian manifold with Robin boundary conditions. Given a Kronecker invariant torus Λ of the billiard ball map with a Diophantine vector of rotation we prove that certain integrals on Λ involving the function in the Robin boundary conditions remain constant under weak isospectral deformations. To this end we construct continuous families of quasimodes associated with Λ. We obtain also isospectral invariants of the Laplacian with a real-valued potential on a compact manifold for continuous deformations of the potential. These invariants are obtained from the first Birkhoff invariant of the microlocal monodromy operator associated to Λ. As an application we prove spectral rigidity of the Robin boundary conditions in the case of Liouville billiard tables of dimension two in the presence of a (?/2?)² group of symmetries.     

Generation of isospectral graphs

We discuss a discrete version of Sunada's Theorem on isospectral manifolds, which allows the generation of isospectral simple graphs, i.e., nonisomorphic simple graphs that have the same Laplace spectrum. We also consider additional boundary conditions and Buser's transplantation technique applied to a discrete situation. © John Wiley & Sons, Inc. J Graph Theory 31: 255–265, 1999     

Symmetries for the Ablowitz–Ladik Hierarchy: Part I. Four‐Potential Case

In the paper, we first investigate symmetries of isospectral and non‐isospectral four‐potential Ablowitz–Ladik hierarchies. We express these hierarchies in the form of u_n,t= L^mH⁽⁰⁾ , where m is an arbitrary integer (instead of a nature number) and L is the recursion operator. Then by means of the zero‐curvature representations of the isospectral and non‐isospectral flows, we construct symmetries for the isospectral equation hierarchy as well as non‐isospectral equation hierarchy, respectively. The symmetries, respectively, form two centerless Kac‐Moody‐Virasoro algebras. The recursion operator L is proved to be hereditary and a strong symmetry for this isospectral equation hierarchy. Besides, we make clear for the relation between four‐potential and two‐potential Ablowitz–Ladik hierarchies. The even order members in the four‐potential Ablowitz–Ladik hierarchies together with their symmetries and algebraic structures can be reduced to two‐potential case. The reduction keeps invariant for the algebraic structures and the recursion operator for two potential case becomes L² .     

Lie algebraic structures of some (1+2)-dimensional Lax integrable systems

The paper proposes an approach to constructing the symmetries and their algebraic structures for isospectral and nonisospectral evolution equations of (1+2)-dimensional systems associated with the linear problem of Sato theory. To do that, we introduce the implicit representations of the isospectral flows {K_m} and nonisospectral flows {σ_n} in the high dimensional cases. Three examples, the Kodomstev–Petviashvili system, BKP system and new CKP system, are considered to demonstrate our method.     

Transplantation and Jacobians of Sunada isospectral Riemann surfaces

We consider relations among the Jacobians of isospectral compact Riemann surfaces constructed using Sunada's theorem. We use a simple algebraic formulation of “transplantation” of holomorphic 1-forms and singular 1-cycles to obtain two main results. First, we obtain a geometric proof of a result of Prasad and Rajan that Sunada isospectral Riemann surfaces have isogenous Jacobians. Second, we determine a relationship (weaker than isogeny) that holds among the Jacobians of Sunada isospectral Riemann surfaces when the Jacobians’ extra structure as principally polarized abelian varieties is taken into account. We also show all Sunada isospectral manifolds have isomorphic real cohomology algebras. Finally, we exhibit transplantation of cycles explicitly in a concrete example of a pair of isospectral Riemann surfaces constructed by Brooks and Tse.     

Nonlinear Diffusion Processes

We study elliptic systems of strongly nonlinear first-order differential equations in complex form on the plane. For such systems we develop the theory of Hilbert boundary value problems which is very much similar to the well-known theory for a holomorphic vector. Systems of nonlinear elliptic equations describe problems of interaction of several nonlinear stationary processes in the diffusive and convective mass and heat transport by hydrodynamic fluid flows.     

Peakons,strings, and the finite Toda lattice

As is well‐known, the Toda lattice flow may be realized as an isospectral flow of a Jacobi matrix. A bijective map from a discrete string problem with positive weights to Jacobi matrices allows the pure peakon flow of the Camassa‐Holm equation to be realized as an isospectral Jacobi flow as well. This gives a unified picture of the Toda, Jacobi, and multipeakon flows, and leads to explicit solutions of the Jacobi flows via Stieltjes' determination of the continued fraction expansion of a Stieltjes transform. A simple modification produces a bijection from generalized strings, with positive and negative weights, to singular Jacobi matrices, and thus brings peakon/antipeakon flows into the same picture. © 2001 John Wiley & Sons, Inc.     

Large Data Existence Result for Unsteady Flows of Inhomogeneous Shear-Thickening Heat-Conducting Incompressible Fluids

We consider unsteady flows of inhomogeneous, incompressible, shear-thickening and heat-conducting fluids where the viscosity depends on the density, the temperature and the shear rate, and the heat conductivity depends on the temperature and the density. For any values of initial total mass and initial total energy we establish the long-time existence of weak solution to internal flows inside an arbitrary bounded domain with Lipschitz boundary.     

Sturm-Liouville problems with boundary conditions depending quadratically on the eigenparameter

We study Sturm-Liouville problems with right-hand boundary conditions depending on the spectral parameter in a quadratic manner. A modified Crum-Darboux transformation is used to produce chains of problems almost isospectral with the given one. The problems in the chain have boundary conditions which in various cases are affine or bilinear in the spectral parameter, and in all cases culminate in a problem with constant boundary conditions. This extends recent work of Binding, Browne, Code and Watson when the right-hand condition is either an affine function of the spectral parameter with negative leading coefficient or a Herglotz function.     

Pseudospectra of isospectrally reduced matrices

An isospectral matrix reduction is a procedure that reduces the size of a matrix while maintaining its eigenvalues up to a known set. As to not violate the fundamental theorem of algebra, the reduced matrices have rational functions as entries. Because isospectral reductions can preserve the spectrum of a matrix, they are fundamentally different from say the restriction of a matrix to an invariant subspace. We show that the notion of pseudospectrum can be extended to a wide class of matrices with rational function entries and that the pseudospectrum of such matrices shrinks with isospectral reductions. Hence, the eigenvalues of a reduced matrix are more robust to entry‐wise perturbations than the eigenvalues of the original matrix. Moreover, the isospectral reductions considered here are more general than those considered elsewhere. We also introduce the notion of an inverse pseudospectrum (or pseudoresonances), which indicates how stable the poles of a rational function valued matrix are to entry‐wise perturbations. Illustrations of these concepts are given for mass‐spring networks. Copyright © 2014 John Wiley & Sons, Ltd.     

Isospectral polygons, planar graphs and heat content

Given a pair of planar isospectral, nonisometric polygons constructed as a quotient of the plane by a finite group, we construct an associated pair of planar isospectral, nonisometric weighted graphs. Using the natural heat operators on the weighted graphs, we associate to each graph a heat content. We prove that the coefficients in the small time asymptotic expansion of the heat content distinguish our isospectral pairs. As a corollary, we prove that the sequence of exit time moments for the natural Markov chains associated to each graph, averaged over starting points in the interior of the graph, provides a collection of invariants that distinguish isospectral pairs in general.

     

Flat manifolds isospectral on p-forms

We study isospectrality on p-forms of compact flat manifolds by using the equivariant spectrum of the Hodge-Laplacian on the torus. We give an explicit formula for the multiplicity of eigenvalues and a criterion for isospectrality. We construct a variety of new isospectral pairs, some of which are the first such examples in the context of compact Riemannian manifolds. For instance, we give pairs of flat manifolds of dimension n=2p, p≥2, not homeomorphic to each other, which are isospectral on p-forms but not on q-forms for q∈p, 0≤q≤n. Also, we give manifolds isospectral on p-forms if and only if p is odd, one of them orientable and the other not, and a pair of 0-isospectral flat manifolds, one of them Kähler, and the other not admitting any Kähler structure. We also construct pairs, M, M′ of dimension n≥6, which are isospectral on functions and such that β_p(M)<β_p(M’), for 04 and ? ₂ ² , respectively.     

Stability of supersonic contact discontinuity for two-dimensional steady compressible Euler flows in a finite nozzle

In this paper, we study the stability of supersonic contact discontinuity for the two-dimensional steady compressible Euler flows in a finitely long nozzle of varying cross-sections. We formulate the problem as an initial–boundary value problem with the contact discontinuity as a free boundary. To deal with the free boundary value problem, we employ the Lagrangian transformation to straighten the contact discontinuity and then the free boundary value problem becomes a fixed boundary value problem. We develop an iteration scheme and establish some novel estimates of solutions for the first order of hyperbolic equations on a cornered domain. Finally, by using the inverse Lagrangian transformation and under the assumption that the incoming flows and the nozzle walls are smooth perturbations of the background state, we prove that the original free boundary problem admits a unique weak solution which is a small perturbation of the background state and the solution consists of two smooth supersonic flows separated by a smooth contact discontinuity.     

Length spectra and<Emphasis Type="Italic">p</Emphasis>-spectra of compact flat manifolds

We compare and contrast various length vs Laplace spectra of compact flat Riemannian manifolds. As a major consequence we produce the first examples of pairs of closed manifolds that are isospectral on p-forms for some p ≠ 0, but have different weak length spectrum. For instance, we give a pair of 4-dimensional manifolds that are isospectral on p-forms for p = 1, 3and we exhibit a length of a closed geodesic that occurs in one manifold but cannot occur in the other. We also exhibit examples of this kind having different injectivity radius and different first eigenvalue of the Laplace spectrum on functions. These results follow from a method that uses integral roots of the Krawtchouk polynomials. We prove a Poisson summation formula relating the p-eigenvalue spectrum with the lengths of closed geodesics. As a consequence we show that the Laplace spectrum on functions determines the lengths of closed geodesics and, by an example, that it does not determine the complex lengths. Furthermore we show that orientability is an audible property for closed flat manifolds. We give a variety of examples, for instance, a pair of manifolds isospectral on functions (resp. Sunada isospectral) with different multiplicities of length of closed geodesies and a pair with the same multiplicities of complex lengths of closed geodesies and not isospectral on p-forms for any p, or else isospectral on p-forms for only one value of p ≠ 0.     

Isospectral flows that preserve matrix structure

The matrix A = (a_ij) ∈ S_n is said to lie on a strict undirected graph G if a_ij = 0 (i ≠ j) whenever (i, j) is not in E(G). If S is skew-symmetric, the isospectral flow maintains the spectrum of A. We consider isospectral flows that maintain a matrix A(t) on a given graph G. We review known results for a graph G that is a (generalised) path, and construct isospectral flows for a (generalised) ring, and a star, and show how a flow may be constructed for a general graph. The analysis may be applied to the isospectral problem for a lumped-mass finite element model of an undamped vibrating system. In that context, it is important that the flow maintain other properties such as irreducibility or positivity, and we discuss whether they are maintained.     

On the Inviscid Limit Problem of the Vorticity Equations for Viscous Incompressible Flows in the Half‐Plane

We consider the Navier‐Stokes equations for viscous incompressible flows in the half‐plane under the no‐slip boundary condition. By using the vorticity formulation we prove the local‐in‐time convergence of the Navier‐Stokes flows to the Euler flows outside a boundary layer and to the Prandtl flows in the boundary layer in the inviscid limit when the initial vorticity is located away from the boundary. © 2014 Wiley Periodicals, Inc.     

Nonlinear evolution equations and their stationary reductions

In recent years there have been many papers on stationary flows of integrable nonlinear evolution equations and their Hamiltonian properties. In particular there have been some results concerning the reversal of the roles of x and t, resulting in PDEs which are Hamiltonian and give the usual stationary Poisson brackets in the reduced case. To date the results have been rather ad hoc and disparate. In this brief report we give a systematic construction of these x−t reversed equations and their Hamiltonian properties, using their isospectral properties. We illustrate our approach with examples from the KdV hierarchy. Bibliography: 5 titles. Published inZapiski Nauchnykh Seminarov POMI, Vol. 235, 1996, pp. 245–159.     

Self-similar flows

Large classes of self-similar (isospectral) flows can be viewed as continuous analogues of certain matrix eigenvalue algorithms. In particular there exist families of flows associated with the QR, LR, and Cholesky eigenvalue algorithms. This paper uses Lie theory to develop a general theory of self-similar flows which includes the QR, LR, and Cholesky flows as special cases. Also included are new families of flows associated with the SR and HR eigenvalue algorithms. The basic theory produces analogues of unshifted, single-step eigenvalue algorithms, but it is also shown how the theory can be extended to include flows which are continuous analogues of shifted and multiple-step eigenvalue algorithms.     

You can hear the local orientability of an orbifold

A Riemannian orbifold is a mildly singular generalization of a Riemannian manifold which is locally modeled on the quotient of a connected, open manifold under a finite group of isometries. If all of the isometries used to define the local structures of an entire orbifold are orientation preserving, we call the orbifold locally orientable. We use heat invariants to show that a Riemannian orbifold which is locally orientable cannot be Laplace isospectral to a Riemannian orbifold which is not locally orientable. As a corollary we observe that a Riemannian orbifold that is not locally orientable cannot be Laplace isospectral to a Riemannian manifold.