No abstract uploaded!

In this paper we prove the Iwasawa main conjecture for the Rankin-Selberg product of a general modular form and a CM form of higher weight. This result has been used by others to prove the converse of the theorem of Gross-Zagier and Kolyvagin, and the BSD formula for elliptic curves of analytic rank one.

For the physical vacuum free boundary problem with the sound speed being C^1/2-Holder continuous near vacuum boundaries of the one-dimensional compressible Euler equations with damping, the global existence of the smooth solution is proved, which is shown to converge to the Barenblatt self-similar solution for the porous media equation with the same total mass when the initial datum is a small perturbation of the Barenblatt solution. The pointwise convergence with a rate of density, the convergence rate of velocity in the supremum norm, and the precise expanding rate of the physical vacuum boundaries are also given. The proof is based on a construction of higher-order weighted functionals with both space and time weights capturing the behavior of solutions both near vacuum states and in large time, an introduction of a new ansatz, higher-order nonlinear energy estimates, and elliptic estimates.

We introduce two exponential-type integrators for the “good” Boussinesq equation. They are of orders one and two, respectively, and they require lower spatial regularity of the solution compared to classical exponential integrators. For the first integrator, we prove first-order convergence in H^r for solutions in H^{r+1} with r>1/2. This new integrator even converges (with lower order) in H^r for solutions in H^r, i.e., without any additional smoothness assumptions. For the second integrator, we prove second-order convergence in H^r for solutions in H^{r+3} with r>1/2 and convergence in L^2 for solutions in H^3. Numerical results are reported to illustrate the established error estimates. The experiments clearly demonstrate that the new exponential-type integrators are favorable over classical exponential integrators for initial data with low regularity.

InthispaperwedevelopaconservativelocaldiscontinuousGalerkin(LDG) method for the Schro ̈ dinger-Korteweg-de Vries (Sch-KdV) system, which arises in var- ious physical contexts as a model for the interaction of long and short nonlinear waves. Conservative quantities in the discrete version of the number of plasmons, energy of the oscillations and the number of particles are proved for the LDG scheme of the Sch-KdV system. Semi-implicit time discretization is adopted to relax the time step constraint from the high order spatial derivatives. Numerical results for accuracy tests of stationary traveling soliton, and the collision of solitons are shown. Numerical ex- periments illustrate the accuracy and capability of the method.