The purpose of this paper is to develop and test novel invariant-preserving finite difference schemes for both the Camassa-Holm (CH) equation and one of its 2-component generalizations (2CH). The considered PDEs are strongly nonlinear, admitting soliton-like peakon solutions which are characterized by a slope discontinuity at the peak in the wave shape, and therefore suitable for modeling both short wave breaking and long wave propagation phenomena. The proposed numerical schemes are shown to preserve two invariants, momentum and energy, hence numerically producing wave solutions with smaller phase error over a long time period than those generated by other conventional methods. We first apply the scheme to the CH equation and showcase the merits of considering such a scheme under a wide class of initial data. We then generalize this scheme to the 2CH equation and test this scheme under several types of initial data.

We study pseudo-arclength continuation methods for both Rydberg-dressed Bose-Einstein condensates (BEC), and binary Rydberg-dressed BEC which are governed by the Gross-Pitaevskii equations (GPEs). A divide-and-conquer technique is proposed for rescaling the range/ranges of nonlocal nonlinear term/terms, which gives enough information for choosing a proper stepsize. This guarantees that the solution curve we wish to trace can be precisely approximated. In addition, the ground state solution would successfully evolve from one peak to vortices when the affect of the rotating term is imposed. Moreover, parameter variables with different number of components are exploited in curve-tracing. The proposed methods have the advantage of tracing the ground state solution curve once to compute the contours for various values of the coefficients of the nonlocal nonlinear term/terms. Our numerical results are consistent with those published in the literatures.

We study the numerical performance of a continuous data assimilation (downscaling) algorithm, based on ideas from feedback control theory, in the context of the two-dimensional incompressible Navier-Stokes equations. Our model problem is to recover an unknown reference solution, asymptotically in time, by using continuous-in-time coarse-mesh nodal-point observational measurements of the velocity field of this reference solution (subsampling), as might be measured by an array of weather vane anemometers. Our calculations show that the required nodal observation density is remarkably less than what is suggested by the analytical study; and is in fact comparable to the number of numerically determining Fourier modes, which was reported in an earlier computational study by the authors. Thus, this method is computationally efficient and performs far better than the analytical estimates suggest.

Neighbour search (NS) is the core of any implementations of smoothed particle hydrodynamics (SPH). In this paper,we present an efficient neighbour search method based on the plane sweep (PW) algorithm with N being the number of SPH particles. The resulting method, dubbed the PWNS method, is totally independent of grids (i.e., purely meshfree) and capable of treating variable smoothing length, arbitrary particle distribution and heterogenous kernels. Several state-of-the-art data structures and algorithms, e.g., the segment tree and the Morton code, are optimized and implemented. By simply allowingmultiple lines to sweep the SPH particles simultaneously from different initial positions, a parallelization of the PWNS method with satisfactory speedup and load-balancing can be easily achieved. That is, the PWNS SPH solver has a great potential for large scale fluid dynamics simulations.

In this paper, we propose an uniformly convergent adaptive finite element method with hybrid basis (AFEM-HB) for the discretization of singularly perturbed nonlinear eigenvalue problems under constraints with applications in Bose-Einstein condensation (BEC) and quantum chemistry. We begin with the time-independent Gross-Pitaevskii equation and show how to reformulate it into a singularly perturbed nonlinear eigenvalue problem under a constraint. Matched asymptotic approximations for the problem are reviewed to confirm the asymptotic behaviors of the solutions in the boundary/interior layer regions. By using the normalized gradient flow, we propose an adaptive finite element with hybrid basis to solve the singularly perturbed nonlinear eigenvalue problem. Our basis functions and the mesh are chosen adaptively to the small parameter ε. Extensive numerical results are reported to show the uniform convergence property of our method. We also apply the AFEM-HB to compute the ground and excited states of BEC with box/harmonic/optical lattice potential in the semiclassical regime (0 <ε≪C 1). In addition, we give a detailed error analysis of our AFEM-HB to a simpler singularly perturbed two point boundary value problem, show that our method has a minimum uniform convergence order

In this paper, we study a new stabilized method based on the local pressure projection to solve the semi-linear elliptic equation. The proposed scheme combines nonconforming finite element pairs NCP1–P1 triangle element and two-level method, which has a number of attractive computational properties: parameter-free, avoiding higher-order derivatives or edge-based data structures, but have more favorable stability and less support sets. Stability analysis and error estimates have been done. Finally, numerical experiments to check estimates are presented.

In this paper, the (G'/G)-expansion method is suggested to establish new exact solutions for fractional differential-difference equations in the sense of modified Riemann-Liouville derivative. The fractional complex transform is proposed to convert a fractional partial differential difference equation into its differential difference equation of integer order. With the aid of symbolic computation, we choose nonlinear lattice equations to illustrate the validity and advantages of the algorithm. It is shown that the proposed algorithm is effective and can be used for many other nonlinear lattice equations in mathematical physics and applied mathematics.

In this work, the Bishop and Love models for longitudinal vibrations are adopted to study the dynamics of isotropic rods with conical and exponential cross-sections. Exact solutions of both models are derived, using appropriate transformations. The analytical solutions of these two models are obtained in terms of generalised hypergeometric functions and Legendre spherical functions respectively. The exact solution of Love model for a rod with exponential cross-section is expressed as a sum of Gauss hypergeometric functions. The models are solved numerically by using the method of lines to reduce the original PDE to a system of ODEs. The accuracy of the numerical approximations is studied in the case of special solutions.

We consider an elliptic self-adjoint first-order differential operator $L$ acting on pairs (2-columns) of complex-valued half-densities over a connected compact three-dimensional manifold without boundary. The principal symbol of the operator $L$ is assumed to be trace-free and the subprincipal symbol is assumed to be zero. Given a positive scalar weight function, we study the weighted eigenvalue problem for the operator $L$ . The corresponding counting function (number of eigenvalues between zero and a positive $\unicode[STIX]{x1D706}$ ) is known to admit, under appropriate assumptions on periodic trajectories, a two-term asymptotic expansion as $\unicode[STIX]{x1D706}\rightarrow +\infty$ and we have recently derived an explicit formula for the second asymptotic coefficient. The purpose of this paper is to establish the geometric meaning of the second asymptotic coefficient. To this end, we identify the geometric objects encoded within our eigenvalue problem—metric, non-vanishing spinor field and topological charge—and express our asymptotic coefficients in terms of these geometric objects. We prove that the second asymptotic coefficient of the counting function has the geometric meaning of the massless Dirac action.

Numerical oscillation of the total energy can be observed when the Kohn- Sham equation is solved by real-space methods to simulate the translational move of an electronic system. Effectively remove or reduce the unphysical oscillation is crucial not only for the optimization of the geometry of the electronic structure, but also for the study of molecular dynamics. In this paper, we study such unphysical oscillation based on the numerical framework in [G. Bao, G. H. Hu, and D. Liu, An h-adaptive finite element solver for the calculations of the electronic structures, Journal of Computational Physics, Volume 231, Issue 14, Pages 4967–4979, 2012], and deliver some numerical methods to constrain such unphysical effect for both pseudopotential and all-electron calculations, including a stabilized cubature strategy for Hamiltonian operator, and an a posteriori error estimator of the finite element methods for Kohn-Sham equation. The numerical results demonstrate the effectiveness of our method on restraining unphysical oscillation of the total energies.

We prove the quasiinvariance of Gaussian measures (supported by functions of increasing Sobolev regularity) under the flow of one-dimensional Hamiltonian partial differential equations such as the regularized long wave, also known as the Benjamin–Bona–Mahony (BBM) equation.

We prove global well-posedness of the time-dependent degenerate thermistor problem by establishing a uniform-in-time bounded mean ocsillation (BMO) estimate of inhomogeneous parabolic equations. Applying this estimate to the temperature equation, we derive a BMO bound of the temperature uniform with respect to time, which implies that the electric conductivity is an $A_{2}$ weight. The Hölder continuity of the electric potential is then proved by applying the De Giorgi–Nash–Moser estimate for degenerate elliptic equations with an $A_{2}$ coefficient. The uniqueness of the solution is proved based on the established regularity of the weak solution. Our results also imply the existence of a global classical solution when the initial and boundary data are smooth.

We study infinite soliton trains solutions of nonlinear Schrödinger equations, i.e. solutions behaving as the sum of infinitely many solitary waves at large time. Assuming the composing solitons have sufficiently large relative speeds, we prove the existence and uniqueness of such a soliton train. We also give a new construction of multi-solitons (i.e. finite trains) and prove uniqueness in an exponentially small neighbourhood, and we consider the case of solutions composed of several solitons and kinks (i.e. solutions with a non-zero background at infinity).

Electromagnetic wave propagation in complex dispersive media is governed by the time dependent Maxwell's equations coupled to equations that describe the evolution of the induced macroscopic polarization. We consider “polydispersive” materials represented by distributions of dielectric parameters in a polarization model. The work focuses on a novel computational framework for such problems involving Polynomial Chaos Expansions as a method to improve the modeling accuracy of the Debye model and allow for easy simulation using the Finite Difference Time Domain (FDTD) method. Stability and dispersion analyzes are performed for the approach utilizing the second order Yee scheme in two spatial dimensions.

In this paper we present a fully discrete A-ø finite element method to solve Maxwell’sequations with a nonlinear degenerate boundary condition, which represents ageneralization of the classical Silver-Müller condition for anon-perfect conductor. The relationship between the normal components of theelectric field E and the magnetic field H obeys a power-law nonlinearity of the type H x n = n x (|E x n|α-1E x n) with α ∈ (0,1]. We prove the existence anduniqueness of the solutions of the proposed A-ø scheme and derive the error estimates. Finally, wepresent some numerical experiments to verify the theoretical result.

This study aims to develop a numerical scheme in collocated Cartesian grids to solve the level set equation together with the incompressible two-phase flow equations. A seventh-order accurate upwinding combined compact difference (UCCD7) scheme has been developed for the approximation of the first-order spatial derivative terms shown in the level set equation. Developed scheme has a higher accuracy with a three-point grid stencil to minimize phase error. To preserve the mass of each phase all the time, the temporal derivative term in the level set equation is approximated by the sixth-order accurate symplectic Runge-Kutta (SRK6) scheme. All the simulated results for the dam-break, Rayleigh-Taylor instability, bubble rising, two-bubble merging, and milkcrown problems in two and three dimensions agree well with the available numerical or experimental results.

High-order and conservative phase space direct solvers that preserve the Euler asymptotic limit of the Boltzmann-BGK equation for modelling rarefied gas flows are explored and studied. The approach is based on the conservative discrete ordinate method for velocity space by using Gauss Hermite or Simpsons quadrature rule and conservation of macroscopic properties are enforced on the BGK collision operator. High-order asymptotic-preserving time integration is adopted and the spatial evolution is performed by high-order schemes including a finite difference weighted essentially non-oscillatory method and correction procedure via reconstruction schemes. An artificial viscosity dissipative model is introduced into the Boltzmann-BGK equation when the correction procedure via reconstruction scheme is used. The effects of the discrete velocity conservative property and accuracy of high-order formulations of kinetic schemes based on BGK model methods are provided. Extensive comparative tests with one-dimensional and two-dimensional problems in rarefied gas flows have been carried out to validate and illustrate the schemes presented. Potentially advantageous schemes in terms of stable large time step allowed and higher-order of accuracy are suggested.

We prove the linear and nonlinear instability of periodic traveling wave solutions for a generalized version of the symmetric regularized long wave (SRLW) equation. Using analytic and asymptotic perturbation theory, we establish sufficient conditions for the existence of exponentially growing solutions to the linearized problem and so the linear instability of periodic profiles is obtained. An application of this approach is made to obtain the linear/nonlinear instability of cnoidal wave solutions for the modified SRLW (mSRLW) equation. We also prove the stability of dnoidal wave solutions associated to the equation just mentioned.

In this work, we present a model for an aerosol (air/particle mixture) in the respiratory system. It consists of the incompressible Navier-Stokes equations for the air and the Vlasov equation for the particles in a fixed or moving domain, coupled through a drag force. We propose a discretization of the model, investigate stability properties of the numerical code and sensitivity to parameter perturbation. We also focus on the influence of the aerosol on the airflow.