The Facial and Inner Ideal Structure of a Real JBW*–Triple

Let B be a real JBW*–triple with predual B_* and canonical hermitification the JBW*–triple A It is shown that the set 𝒰(B)^∼ consisting of the partially ordered set 𝒰(B) of tripotents in B with a greatest element adjoined forms a sub–complete lattice of the complete lattice 𝒰(A)^∼ of tripotents in A with the same greatest element adjoined. The complete lattice 𝒰(B)^∼ is shown to be order isomorphic to the complete lattice ℱ_n(B_*1 of norm–closed faces of the unit ball B_*1 in B_* and anti–order isomorphic to the complete lattice ℱ_w*(B₁) of weak*–closed faces of the unit ball B₁ in B. Consequently, every proper norm–closed face of B_*1 is norm–exposed (by a tripotent) and has the property that it is also a norm–closed face of the closed unit ball in the predual of the hermitification of B. Furthermore, every weak*–closed face of B₁ is weak*–semi–exposed, and, if non–empty, of the form u + B₀(u)₁ where u is a tripotent in B and B₀(u)₁ is the closed unit ball in the zero Peirce space B₀(u) corresponding to u. A structural projection on B is a real linear projection R on B such that, for all elements a and b in B, {Ra b Ra}_B is equal to R{a Rb a}_B. A subspace J of B is said to be an inner ideal if {J B J}_B is contained in J and J is said to be complemented if B is the direct sum of J and the subspace Ker(J) defined to be the set of elements b in B such that, for all elements a in J, {a b a}_B is equal to zero. It is shown that every weak*–closed inner ideal in B is complemented or, equivalently, the range of a structural projection. The results are applied to JBW–algebras, real W*–algebras and certain real Cartan factors.     

Bernstein–Nikolskii and Plancherel–Polya inequalities in Lp ‐norms on non‐compact symmetric spaces

By using Bernstein‐type inequality we define analogs of spaces of entire functions of exponential type in L_p (X), 1 ≤ p ≤ ∞, where X is a symmetric space of non‐compact. We give estimates of L_p ‐norms, 1 ≤ p ≤ ∞, of such functions (the Nikolskii‐type inequalities) and also prove the L_p ‐Plancherel–Polya inequalities which imply that our functions of exponential type are uniquely determined by their inner products with certain countable sets of measures with compact supports and can be reconstructed from such sets of “measurements” in a stable way (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Global C∞‐solutions to 1D compressible Navier–Stokes equations with density‐dependent viscosity

In this paper, we consider the existence of global smooth solutions to 1D compressible isentropic Navier–Stokes equations with density‐dependent viscosity and free boundaries. The initial density ρ₀∈W^1,2n is bounded below away from zero and the initial velocity u₀∈L²ⁿ. The viscosity coefficient µ is proportional to ρ^θ with 0<θ?1, where ρis the density. The existence and uniqueness of global solutions in Hⁱ([0,1])(i = 1,2,4) have been established in (J. Math. Phys. 2009; 50 :023101; Meth. Appl. Anal. 2005; 12 :239–252; J. Differ. Equations 2008; 245:3956–3973; Commun. Pure Appl. Anal. 2008; 7 :373–381). By mathematical induction method, we will establish the existence of global smooth solutions to 1D compressible isentropic Navier–Stokes equations with density‐dependent viscosity and free boundaries when the initial data ρ₀ and u₀ are smooth. Copyright © 2011 John Wiley & Sons, Ltd.     

Sharp Bounds for the Ratio of q – Gamma Functions

Let Γ_q (0 < q ≠ 1) be the q–gamma function and let s ∈ (0, 1) be a real number. We determine the largest number α = α(q, s) and the smallest number β = β(q, s) such that the inequalities hold for all positive real numbers x. Our result refines and extends recently published inequalities by Ismail and Muldoon (1994).     

Asymptotic Behaviour of C0–Semigroups with Bounded Local Resolvents

Let {T(t)}_t≥0 be a C₀–semigroup on a Banach space X with generator A, and let H^∞_T be the space of all x ∈ X such that the local resolvent λ ↦ R(λ, A)x has a bounded holomorphic extension to the right half–plane. For the class of integrable functions ϕ on [0, ∞) whose Fourier transforms are integrable, we construct a functional calculus ϕ ↦ T_ϕ, as operators on H^∞_T. Weshow that each orbit T(·)T_ϕx is bounded and uniformly continuous, and T(t)T_ϕx → 0 weakly as t → ∞, and we give a new proof that ∥T(t)R(μ, A)x∥ = O(t). We also show that ∥T(t)T_ϕx∥ → 0 when T is sun –reflexive, and that ∥T(t)R(μ, A)x∥ = O(ln t) when T is a positive semigroup on a normal ordered space X and x is a positive vector in H^∞_T.     

Moduli of (1, 7)–Polarized Abelian Surfaces via Syzygies

We prove that the moduli space X(1,7) of (1,7)–polarized abelian surfaces with canonical level–structure is birational to the Fano 3–fold V₂₂ of polar hexagons of the Klein quartic (7). In particular X(1,7) is rational and the birational map to ℙ³ is defined over ℚ. As a byproduct we obtain explicitely the equations of the (1,7)–very–ample–polarized abelian surfaces embedded in ℙ⁶.     

Convergence analysis of a linearized Crank–Nicolson scheme for the two‐dimensional complex Ginzburg–Landau equation

A linearized Crank–Nicolson‐type scheme is proposed for the two‐dimensional complex Ginzburg–Landau equation. The scheme is proved to be unconditionally convergent in the L² ‐norm by the discrete energy method. The convergence order is \begin{align*}\mathcal{O}(\tau^2+h_1^2+h^2_2)\end{align*}, where τ is the temporal grid size and h₁,h₂ are spatial grid sizes in the x ‐ and y ‐directions, respectively. A numerical example is presented to support the theoretical result. © 2013 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2013     

Perfectness of Conelike *–Semigroups in ℚk

Let S be an abelian *–semigroup in ℚ^k. We give a sufficient condition for every positive definite function on S to have a unique representing measure on the dual semigroup of S (i.e. S is perfect). To characterize perfectness for any abelian *–semigroupis a challenging, but not yet generally solved problem. In this paper, we characterize the structure of involutions on an abelian *–semigroup which is a subset of ℚ^k, and show that any conelike *–semigroups in ℚ^k are perfect.     

On the characterization of p ‐adic Colombeau–Egorov generalized functions by their point values

We show that contrary to recent papers by S. Albeverio, A. Yu. Khrennikov and V. Shelkovich, point values do not determine elements of the so‐called p ‐adic Colombeau–Egorov algebra ??(?ⁿ _p ) uniquely. We further show in a more general way that for an Egorov algebra ??(M, R) of generalized functions on a locally compact ultrametric space (M, d) taking values in a nontrivial ring, a point value characterization holds if and only if (M, d) is discrete. Finally, following an idea due to M. Kunzinger and M. Oberguggenberger, a generalized point value characterization of ??(M, R) is given. Elements of ??(?ⁿ _p ) are constructed which differ from the p ‐adic δ ‐distribution considered as an element of ??(?ⁿ _p ), yet coincide on point values with the latter. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

An algebraic multigrid method for Q2−Q1 mixed discretizations of the Navier–Stokes equations

Algebraic multigrid (AMG) preconditioners are considered for discretized systems of partial differential equations (PDEs) where unknowns associated with different physical quantities are not necessarily colocated at mesh points. Specifically, we investigate a Q ₂? Q ₁ mixed finite element discretization of the incompressible Navier–Stokes equations where the number of velocity nodes is much greater than the number of pressure nodes. Consequently, some velocity degrees of freedom (DOFs) are defined at spatial locations where there are no corresponding pressure DOFs. Thus, AMG approaches leveraging this colocated structure are not applicable. This paper instead proposes an automatic AMG coarsening that mimics certain pressure/velocity DOF relationships of the Q ₂? Q ₁ discretization. The main idea is to first automatically define coarse pressures in a somewhat standard AMG fashion and then to carefully (but automatically) choose coarse velocity unknowns so that the spatial location relationship between pressure and velocity DOFs resembles that on the finest grid. To define coefficients within the intergrid transfers, an energy minimization AMG (EMIN‐AMG) is utilized. EMIN‐AMG is not tied to specific coarsening schemes and grid transfer sparsity patterns, and so it is applicable to the proposed coarsening. Numerical results highlighting solver performance are given on Stokes and incompressible Navier–Stokes problems.     

Zero‐Hopf bifurcation in the FitzHugh–Nagumo system

We characterize the values of the parameters for which a zero‐Hopf equilibrium point takes place at the singular points, namely, O (the origin), P₊, and P_? in the FitzHugh–Nagumo system. We find two two‐parameter families of the FitzHugh–Nagumo system for which the equilibrium point at the origin is a zero‐Hopf equilibrium. For these two families, we prove the existence of a periodic orbit bifurcating from the zero‐Hopf equilibrium point O. We prove that there exist three two‐parameter families of the FitzHugh–Nagumo system for which the equilibrium point at P₊ and at P_? is a zero‐Hopf equilibrium point. For one of these families, we prove the existence of one, two, or three periodic orbits starting at P₊ and P_?. Copyright © 2014 John Wiley & Sons, Ltd.     

‐differential equations for ‐classical polynomials and ‐Jacobi–Stirling numbers

We introduce, characterise and provide a combinatorial interpretation for the so‐called q‐Jacobi–Stirling numbers. This study is motivated by their key role in the (reciprocal) expansion of any power of a second order q‐differential operator having the q‐classical polynomials as eigenfunctions in terms of other even order operators, which we explicitly construct in this work. The results here obtained can be viewed as the q‐version of those given by Everitt et al. and by the first author, whilst the combinatorics of this new set of numbers is a q‐version of the Jacobi–Stirling numbers given by Gelineau and the second author.     

A small generating set for the 3‐BD closed set of block sizes ≥ 6

Let v, k be positive integers and k ≥ 3, then K_k = : {v: v ≥ k} is a 3‐BD closed set. Two finite generating sets of 3‐BD closed sets K₄ and K₅ are obtained by H. Hanani [5] and Qiurong Wu [12] respectively. In this article we show that if v ≥ 6, then v ∈ B₃(K,1), where K = {6,7,…,41,45,46,47,51,52,53,83,84}\{22,26}; that is, we show that K is a generating set for K₆. Finally we show that v ∈ B₃(6,20) for all v ∈ K\{35,39,40,45}. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 128–136, 2008     

Perfect coloring and linearly χ‐bound P6‐free graphs

We derive decomposition theorems for P₆, K₁ + P₄‐free graphs, P₅, K₁ + P₄‐free graphs and P₅, K₁ + C₄‐free graphs, and deduce linear χ‐binding functions for these classes of graphs (here, P_n (C_n) denotes the path (cycle) on n vertices and K₁ + G denotes the graph obtained from G by adding a new vertex and joining it with every vertex of G). Using the same techniques, we also obtain an optimal χ‐binding function for P₅, C₄‐free graphs which is an improvement over that given in [J. L. Fouquet, V. Giakoumakis, F. Maire, and H. Thuillier, 11 , Discrete Math, 146, 33–44.]. © 2006 Wiley Periodicals, Inc. J Graph Theory 54: 293–306, 2007     

On perfect Γ‐decompositions of the complete graph

Generalizing the well‐known concept of an i‐perfect cycle system, Pasotti [Pasotti, in press, Australas J Combin] defined a Γ‐decomposition (Γ‐factorization) of a complete graph K_v to be i‐perfect if for every edge [x, y] of K_v there is exactly one block of the decomposition (factor of the factorization) in which x and y have distance i. In particular, a Γ‐decomposition (Γ‐factorization) of K_v that is i‐perfect for any i not exceeding the diameter of a connected graph Γ will be said a Steiner (Kirkman) Γ‐system of order v. In this article we first observe that as a consequence of the deep theory on decompositions of edge‐colored graphs developed by Lamken and Wilson [Lamken and Wilson, 2000, J Combin Theory Ser A 89, 149–200], there are infinitely many values of v for which there exists an i‐perfect Γ‐decomposition of K_v provided that Γ is an i‐equidistance graph, namely a graph such that the number of pairs of vertices at distance i is equal to the number of its edges. Then we give some concrete direct constructions for elementary abelian Steiner Γ‐systems with Γ the wheel on 8 vertices or a circulant graph, and for elementary abelian 2‐perfect cube‐factorizations. We also present some recursive constructions and some results on 2‐transitive Kirkman Γ‐systems. © 2008 Wiley Periodicals, Inc. J Combin Designs 17: 197–209, 2009     

Some results on λ‐designs with two block sizes

A λ‐design is a family ?? = {B₁, B₂, …, B_v} of subsets of X = {1, 2, …, v} such that |B_i∩B_j| = λ for all i≠jand not all B_i are of the same size. The only known example of λ‐designs (called type‐1 designs) are those obtained from symmetric designs by a certain complementation procedure. Ryser [J Algebra 10 (1968), 246–261] and Woodall [Proc London Math Soc 20 (1970), 669–687] independently conjectured that all λ‐designs are type‐1. Let g = gcd(r ? 1, r^* ? 1), where rand r^* are the two replication numbers. Ionin and Shrikhande [J Combin Comput 22 (1996), 135–142; J Combin Theory Ser A 74 (1996), 100–114] showed that λ‐designs with g = 1, 2, 3, 4 are type‐1 and that the Ryser–Woodall conjecture is true for λ‐designs on p + 1, 2p + 1, 3p + 1, 4p + 1 points, where pis a prime. Hein and Ionin [Codes and Designs—Proceedings of Conference honoring Prof. D. K. Ray‐Chaudhuri on the occasion of his 65th birthday, Ohio State University Mathematical Research Institute Publications, 10, Walter de Gruyter, Berlin, 2002, pp. 145–156] proved corresponding results for g = 5 and Fiala [Codes and Designs—Proceedings of Conference honoring Prof. D. K. Ray‐Chaudhuri on the occasion of his 65th birthday, Ohio State University Mathematical Research Institute Publications, 10, Walter de Gruyter, Berlin, 2002, pp. 109–124; Ars Combin 68 (2003), 17–32; Ars Combin, to appear] for g = 6, 7, and 8. In this article, we consider λ designs with exactly two block sizes. We show that in this case, the conjecture is true for g = 9, 11, 12, 13, 15, 16, 17, 19, 20, 21, and for g = 10, 14, 18, 22 with v≠4λ ? 1. We also give two results on such λ‐designs on v = 9p + 1 and 12p + 1 points, where pis a prime. © 2010 Wiley Periodicals, Inc. J Combin Designs 19:95‐110, 2011     

A Navier–Stokes–Voight model with memory

In this article, we consider a three‐dimensional Navier–Stokes–Voight model with memory where relaxation effects are described through a distributed delay. We prove the existence of uniform global attractors , where ? ∈ (0,1) is the scaling parameter in the memory kernel. Furthermore, we prove that the model converges to the classical three‐dimensional Navier–Stokes–Voight system in an appropriate sense as ? → 0. In particular, we construct a family of exponential attractors Ξ_? that is robust as ? → 0. Copyright © 2013 John Wiley & Sons, Ltd.     

Generalization of the B *‐algebra (C0(X),∥ ∥∞)

We give a generalization of the Stone–Weierstrass property for subalgebras of C (X), with X a completely regular Hausdorff space. In particular, we study in this paper some subalgebras of C₀(X), with X a locally compact Hausdorff space, provided with weighted norm topology. By using the Stone–Weierstrass property, we then describe the ideal structure of these algebras. (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Numerical solution of the Rosenau–KdV–RLW equation by operator splitting techniques based on B‐spline collocation method

In the present study, the operator splitting techniques based on the quintic B‐spline collocation finite element method are presented for calculating the numerical solutions of the Rosenau–KdV–RLW equation. Two test problems having exact solutions have been considered. To demonstrate the efficiency and accuracy of the present methods, the error norms L₂ and L_∞ with the discrete mass Q and energy E conservative properties have been calculated. The results obtained by the method have been compared with the exact solution of each problem and other numerical results in the literature, and also found to be in good agreement with each other. A Fourier stability analysis of each presented method is also investigated.     

A Remark on the Reduction of Cauchy–Riemann Manifolds

The concept of a moment map for an action of a real Lie group by CR–diffeomorphisms on a CR–manifold M of hypersurface type is introduced. It gives rise to a natural reduction procedure in the sense that we construct a CR–structure on an associated orbit manifold M₀ for the case that the group acts freely and properly on M.