Four types of bounded wave solutions of CH-γ equation

Recently, many authors have studied the following CH-γ equationut c0ux 3uux - α2(uxxt uuxxx 2uxuxx) γuxxx =0,where α2, c0 and γ are paramters. Its bounded wave solutions have been investigated mainly for the case α2 ＞ 0. For the case α2 ＜ 0, the existence of three bounded waves (regular solitary waves,compactons, periodic peakons) was pointed out by Dullin et al. But the proof has not been given.In this paper, not only the existence of four types of bounded waves periodic waves, compacton-like waves, kink-like waves, regular solitary waves, is shown, but also their explicit expressions or implicit expressions are given for the case α2 ＜ 0. Some planar graphs of the bounded wave solutions and their numerical simulations are given to show the correctness of our results.     

Stability of peakons for the generalized modified Camassa–Holm equation

In this paper, we study orbital stability of peakons for the generalized modified Camassa–Holm (gmCH) equation, which is a natural higher-order generalization of the modified Camassa–Holm (mCH) equation, and admits Hamiltonian form and single peakons. We first show that the single peakon is the usual weak solution of the PDEs. Some sign invariant properties and conserved densities are presented. Next, by constructing the corresponding auxiliary function $h(t,x)$ and establishing a delicate polynomial inequality relating to the two conserved densities with the maximal value of approximate solutions, the orbital stability of single peakon of the gmCH equation is verified. We introduce a new approach to prove the key inequality, which is different from that used for the mCH equation. This extends the result on the stability of peakons for the mCH equation (Qu et al. 2013) [36] successfully to the higher-order case, and is helpful to understand how higher-order nonlinearities affect the dispersion dynamics.     

The forcing companions of number theories

This paper is concerned with the finite forcing companion T ^f and the infinite forcing companion T ^F of a number theory T. A number theory is any theory containing the \forall _2 - {\text{part}} of peano number theory P. Two of our results are as follows: (A) for each number theory T, the theory T ^f is not arithmetical, and the theory T ^F is not analytical, and (B) there is a sentence \sigma \in \forall _4 such that, for each two (not necessarily distinct) number theories T₁, T₂, both σ∈T ₁ ^f and ⌍ σ∈T ₂ ^F .     

Cotorsion Theories Cogenerated by a Torsionfree Class

Let R be a right perfect ring, and let (?, 𝒞) be a cotorsion theory in the category of right R-modules ? _R . In this article, it is shown that every right R-module has a superfluous ?-cover if and only if there exists a torsion theory (𝒜, ?) such that (?, 𝒞) is cogenerated by ?. It is also proved that if (𝒜, ?) is a cosplitting torsion theory, then (^⊥?, (^⊥?)^⊥) is a hereditary and complete cotorsion theory, and if (𝒜, ?) is a centrally splitting torsion theory, then (^⊥?, (^⊥?)^⊥) is a hereditary and perfect cotorsion theory.     

Operator theory in the Hardy space over the bidisk (II)

This paper is a continuation of a project of developing a systematic operator theory inH ²(D ²). A large part of it is devoted to a study ofevaluation operator which is a very useful tool in the theory. A number of elementary properties of the evaluation operator are exhibited, and these properties are used to derive results in other topics such as interpretation of characteristic opertor function inH ²(D ²), spectral equivalence, compactness, compressions of shift operators, etc., Even though some results reflect the two variable nature ofH ²(D ²), the goal of this paper is to manifest a close tie between the operator theory inH ²(D ²) and classical single operator theory. The unilateral shift of a finite multiplicity and the Bergman shift will be used as examples to illustrate some of the results.Research in this paper is partially supported by a grant from the national science foundation DMS 9970932.     

A Construction of Difference Sets in High Exponent 2-Groups Using Representation Theory

Nontrivial difference sets in groups of order a power of 2 are part of the family of difference sets called Menon difference sets (or Hadamard), and they have parameters (2^2d+2, 2^2d+1±2 ^d , 2^2d ±2 ^d ). In the abelian case, the group has a difference set if and only if the exponent of the group is less than or equal to 2 ^d+2. In [14], the authors construct a difference set in a nonabelian group of order 64 and exponent 32. This paper generalizes that result to show that there is a difference set in a nonabelian group of order 2^2d+2 with exponent 2 ^d+3. We use representation theory to prove that the group has a difference set, and this shows that representation theory can be used to verify a construction similar to the use of character theory in the abelian case.     

New dynamical variables in Einstein’s theory of gravity

We describe an alternative formalism for Einstein’s theory of gravity. The role of dynamical variables is played by a collection of ten vector fields f _μ ^A , A = 1,..., 10. The metric is a composite variable, g _μν = f _μ ^A f _ν ^A . The proposed scheme may lead to further progress in a theory of gravity where Einstein’s theory is to play the role of an effective theory, with Newton’s constant appearing by introducing an anomalous Green’s function.     

Toral algebraic sets and function theory on polydisks

A toral algebraic set A is an algebraic set in ℂ ⁿ whose intersection with T ⁿ is sufficiently large to determine the holomorphic functions on A. We develop the theory of these sets, and give a number of applications to function theory in several variables and operator theoretic model theory. In particular, we show that the uniqueness set for an extremal Pick problem on the bidisk is a toral algebraic set, that rational inner functions have zero sets whose irreducible components are not toral, and that the model theory for a commuting pair of contractions with finite defect lives naturally on a toral algebraic set.     

Some observations on the l2 convergence of the additive Schwarz preconditioned GMRES method

Additive Schwarz preconditioned GMRES is a powerful method for solving large sparse linear systems of equations on parallel computers. The algorithm is often implemented in the Euclidean norm, or the discrete l² norm, however, the optimal convergence result is available only in the energy norm (or the equivalent Sobolev H¹ norm). Very little progress has been made in the theoretical understanding of the l² behaviour of this very successful algorithm. To add to the difficulty in developing a full l² theory, in this note, we construct explicit examples and show that the optimal convergence of additive Schwarz preconditioned GMRES in l² cannot be obtained using the existing GMRES theory. More precisely speaking, we show that the symmetric part of the preconditioned matrix, which plays a role in the Eisenstat–Elman–Schultz theory, has at least one negative eigenvalue, and we show that the condition number of the best possible eigenmatrix that diagonalizes the preconditioned matrix, key to the Saad–Schultz theory, is bounded from both above and below by constants multiplied by h^?1/2. Here h is the finite element mesh size. The results presented in this paper are mostly negative, but we believe that the techniques used in our proofs may have wide applications in the further development of the l² convergence theory and in other areas of domain decomposition methods. Copyright © 2002 John Wiley & Sons, Ltd.     

Existence and exponential stability in Lr‐spaces of stationary Navier–Stokes flows with prescribed flux in infinite cylindrical domains

We prove existence, uniqueness and exponential stability of stationary Navier–Stokes flows with prescribed flux in an unbounded cylinder of ?ⁿ,n?3, with several exits to infinity provided the total flux and external force are sufficiently small. The proofs are based on analytic semigroup theory, perturbation theory and L^r ? L^q‐estimates of a perturbation of the Stokes operator in L^q‐spaces. Copyright © 2006 John Wiley & Sons, Ltd.     

An existence and uniqueness result of a nonlinear two-dimensional elliptic boundary value problem

We consider a boundary value problem for the generalized two-dimensional flow equation Δφ = Δφ · h for h a C^α vector field, where the speed is prescribed on a part of the boundary. By using Bers theory combined with elliptic operator theory in nonsmooth domains, we show existence and uniqueness of a C^2,α solution with nonvanishing gradient, and we find positive lower and upper bounds for |Δφ| along with C^2,α estimates of φ, in terms of the C^α and L^∞ norms of h. ©1995 John Wiley & Sons, Inc.     

Stability of the μ-Camassa–Holm Peakons

The μ-Camassa–Holm (μCH) equation is a nonlinear integrable partial differential equation closely related to the Camassa–Holm equation. We prove that the periodic peaked traveling wave solutions (peakons) of the μCH equation are orbitally stable.     

Some Boolean Algebras with Finitely Many Distinguished Ideals I

We consider the theory Th_prin of Boolean algebras with a principal ideal, the theory Th_max of Boolean algebras with a maximal ideal, the theory Th_ac of atomic Boolean algebras with an ideal where the supremum of the ideal exists, and the theory Th_sa of atomless Boolean algebras with an ideal where the supremum of the ideal exists. First, we find elementary invariants for Th_prin and Th_sa. If T is a theory in a first order language and α is a linear order with least element, then we let Sentalg(T) be the Lindenbaum-Tarski algebra with respect to T, and we let intalg(α) be the interval algebra of α. Using rank diagrams, we show that Sentalg(Th_prin) ? intalg(ω⁴), Sentalg(Th_max) ? intalg(ω³) ? Sentalg(Th_ac), and Sentalg(Th_sa) ? intalg(ω² + ω²). For Th_max and Th_ac we use Ershov's elementary invariants of these theories. We also show that the algebra of formulas of the theory Tx of Boolean algebras with finitely many ideals is atomic.     

Stability of multipeakons

The Camassa–Holm equation possesses well-known peaked solitary waves that are called peakons. Their orbital stability has been established by Constantin and Strauss in [A. Constantin, W. Strauss, Stability of peakons, Comm. Pure Appl. Math. 53 (2000) 603–610]. We prove here the stability of ordered trains of peakons. We also establish a result on the stability of multipeakons.     

Towards an <Emphasis Type="Italic">L</Emphasis><Superscript>p</Superscript>-potential theory for sub-Markovian semigroups: variational inequalities and balayage theory

We give a new variational approach toL ^p -potential theory for sub-Markovian semigroups. It is based on the observation that the Gâteaux-derivative of the corresponding L ^p-energy functional is a monotone operator. This allows to apply the well established theory of Browder and Minty on monotone operators to the nonlinear problems in L ^p-potential theory. In particular, using this approach it is possible to avoid any symmetry assumptions of the underlying semigroup. We prove existence of corresponding (r, p)-equilibrium potentials and obtain a complete characterization in terms of a variational inequality. Moreover we investigate associated potentials and encounter a natural interpretation of the so-called nonlinear potential operator in the context of monotone operators.     

Asymptotics of heavy atoms in high magnetic fields: I. Lowest landau band regions

The ground state energy of an atom of nuclear charge Ze in a magnetic field B is evaluated exactly to leading order as Z → ∞. In this and a companion work (see [28]) we show that there are five regions as Z → ∞: B < Z^4/3, B ～ Z^4/3, Z^4/3 < B < Z³, B ～ Z³, B > Z³. Regions 1, 2, 3, and 4 (and conceivably 5) are relevant for neutron stars. Different regions have different physics and different asymptotic theories. Regions 1, 2, and 3 are described by a simple density functional theory of the semiclassical Thomas-Fermi form. Here we concentrate mainly on regions 4 and 5 which cannot be so described, although 3, 4, and 5 have the common feature (as shown here) that essentially all electrons are in the lowest Landau band. Region 5 does have, however, a simple non-classical density functional theory (which can be solved exactly). Region 4 does not, but, surprisingly, it can be described by a novel density matrix functional theory. © 1994 John Wiley & Sons, Inc.     

Extension on peakons and periodic cusp waves for the generalization of the Camassa–Holm equation

In this paper, we employed the bifurcation method and qualitative theory of dynamical systems to study the peakons and periodic cusp waves of the generalization of the Camassa‐Holm equation, which may be viewed as an extension of peaked waves of the same equation. Through the bifurcation phase portraits of traveling wave system, we obtained the explicit peakons and periodic cusp wave solutions. Further, we exploited the numerical simulation to confirmthe qualitative analysis, and indeed, the simulation results are in accord with the qualitative analysis. Compared with the previous works, several new nonlinear wave solutions are obtained. Copyright © 2014 John Wiley & Sons, Ltd.     

Low-Regularity Solutions of the Periodic Camassa–Holm Equation

We prove local existence and uniqueness of weak solutions of the Camassa–Holm equation with periodic boundary conditions in various spaces of low-regularity which include the periodic peakons. The proof uses the connection of the Camassa–Holm equation with the geodesic flow on the diffeomorphism group of the circle with respect to the L ² metric.     

Peakons and periodic cusp wave solutions in a generalized Camassa–Holm equation

By using the bifurcation theory of planar dynamical systems to a generalized Camassa–Holm equation

m_t+c₀u_x+um_x+2mu_x=-γu_xxx