Double integrals and infinite products for some classical constants via analytic continuations of Lerch’s transcendent

The two-fold aim of the paper is to unify and generalize on the one hand the double integrals of Beukers for ζ(2) and ζ(3), and of the second author for Euler’s constant γ and its alternating analog ln (4/π), and on the other hand the infinite products of the first author for e, of the second author for π, and of Ser for e ^γ . We obtain new double integral and infinite product representations of many classical constants, as well as a generalization to Lerch’s transcendent of Hadjicostas’s double integral formula for the Riemann zeta function, and logarithmic series for the digamma and Euler beta functions. The main tools are analytic continuations of Lerch’s function, including Hasse’s series. We also use Ramanujan’s polylogarithm formula for the sum of a particular series involving harmonic numbers, and his relations between certain dilogarithm values.      

Two-Sided Optimal Bounds for Green Functions of Half-Spaces for Relativistic <Emphasis Type="Italic">α</Emphasis>-Stable Process

The purpose of this paper is to find optimal estimates for the Green function of a half-space of the relativistic α -stable process with parameter m on ℝ ^d space. This process has an infinitesimal generator of the form mI–(m ^2/α I–Δ) ^α/2, where 0<α<2, m>0, and reduces to the isotropic α-stable process for m=0. Its potential theory for open bounded sets has been well developed throughout the recent years however almost nothing was known about the behaviour of the process on unbounded sets. The present paper is intended to fill this gap and we provide two-sided sharp estimates for the Green function for a half-space. As a byproduct we obtain some improvements of the estimates known for bounded sets. Our approach combines the recent results obtained in Byczkowski et al. (Bessel Potentials, Hitting Distributions and Green Functions (2006) (preprint). ), where an explicit integral formula for the m-resolvent of a half-space was found, with estimates of the transition densities for the killed process on exiting a half-space. The main result states that the Green function is comparable with the Green function for the Brownian motion if the points are away from the boundary of a half-space and their distance is greater than one. On the other hand for the remaining points the Green function is somehow related the Green function for the isotropic α-stable process. For example, for d≥3, it is comparable with the Green function for the isotropic α-stable process, provided that the points are close enough. Research supported by KBN Grants.     

A-optimal designs for an additive cubic model

Chan et al. (1998a) obtained A-optimal designs for an additive quadratic mixture model for q≥3 mixture components. In this paper, we obtain the A-optimal designs for an additive cubic model for q≥3 mixture components using the class of symmetric weighted centroid designs based on barycentres of various depths. We observe that barycentres of depths 0 and 2 are possible support points for an A-optimal design. We have also given the optimal weights of A-optimal designs for 3≤q≤17.     

Anomalous behaviour for the random corrections to the cumulants of random walks in fluctuating random media

The Central Limit Theorem for a model of discrete-time random walks on the lattice ℤ^ν in a fluctuating random environment was proved for almost-all realizations of the space-time nvironment, for all ν > 1 in [BMP1] and for all ν≥ 1 in [BBMP]. In [BMP1] it was proved that the random correction to the average of the random walk for ν≥ 3 is finite. In the present paper we consider the cases ν = 1,2 and prove the Central Limit Theorem as T→∞ for the random correction to the first two cumulants. The rescaling factor for theaverage is for ν = 1 and (ln T), for ν=2; for the covariance it is , ν = 1,2. Received: 25 November 1999 / Revised version: 7 June 2000 / Published online: 15 February 2001     

Topological games and continuity of group operations

We consider a topological game GΠ involving two players α and β and show that, for a paratopological group, the absence of a winning strategy for player β implies the group is a topological one. We provide a large class of topological spaces X for which the absence of a winning strategy for player β is equivalent to the requirement that X is a Baire space. This allows to extend the class of paratopological or semitopological groups for which one can prove that they are, actually, topological groups.Conditions of the type “existence of a winning strategy for the player α” or “absence of a winning strategy for the player β” are frequently used in mathematics. Though convenient and satisfactory for theoretical considerations, such conditions do not reveal much about the internal structure of the topological space where they hold. We show that the existence of a winning strategy for any of the players in all games of Banach-Mazur type can be expressed in terms of “saturated sieves” of open sets.     

The rate of convergence of q-Bernstein polynomials for

In the note, we obtain the estimates for the rate of convergence for a sequence of q-Bernstein polynomials {B_n,q(f)} for 0<q<1 by the modulus of continuity of f, and the estimates are sharp with respect to the order for Lipschitz continuous functions. We also get the exact orders of convergence for a family of functions , and the orders do not depend on α, unlike the classical case.     

Global solutions of the Navier-Stokes equations for compressible flow with density-dependent viscosity and discontinuous initial data

In this paper, we study the evolutions of the interfaces between the gas and the vacuum for viscous one-dimensional isentropic gas motions. We prove the global existence and uniqueness for discontinuous solutions of the Navier-Stokes equations for compressible flow with density-dependent viscosity coefficient. Precisely, the viscosity coefficient μ is proportional to ρ^θ with 0<θ<1. Specifically, we require that the initial density be piecewise smooth with arbitrarily large jump discontinuities, bounded above and below away from zero, in the interior of gas. We show that the discontinuities in the density persist for all time, and give a decay result for the density as t→+∞.     

Coderivative calculus and metric regularity for constraint and variational systems

This paper provides new developments in generalized differentiation theory of variational analysis with their applications to metric regularity of parameterized constraint and variational systems in finite-dimensional and infinite-dimensional spaces. Our approach to the study of metric regularity for these two major classes of parametric systems is based on appropriate coderivative constructions for set-valued mappings and on extended calculus rules supporting their computation and estimation. The main attention is paid in this paper to the so-called reversed mixed coderivative, which is of crucial importance for efficient pointwise characterizations of metric regularity in the general framework of set-valued mappings between infinite-dimensional spaces. We develop new calculus results for the latter coderivative that allow us to compute it for large classes of parametric constraint and variational systems. On this basis we derive verifiable sufficient conditions, necessary conditions as well as complete characterizations for metric regularity of such systems with computing the corresponding exact bounds of metric regularity constants/moduli. This approach allows us to reveal general settings in which metric regularity fails for major classes of parametric variational systems. Furthermore, the developed coderivative calculus leads us also to establishing new formulas for computing the radius of metric regularity for constraint and variational systems, which characterize the maximal region of preserving metric regularity under linear (and other types of) perturbations and are closely related to conditioning aspects of optimization.     

On non‐Newtonian incompressible fluids with phase transitions

A modified model for a binary fluid is analysed mathematically. The governing equations of the motion consists of a Cahn–Hilliard equation coupled with a system describing a class of non‐Newtonian incompressible fluid with p‐structure. The existence of weak solutions for the evolution problems is shown for the space dimension d=2 with p? 2 and for d=3 with p? 11/5. The existence of measure‐valued solutions is obtained for d=3 in the case 2? p< 11/5. Similar existence results are obtained for the case of nondifferentiable free energy, corresponding to the density constraint |ψ| ? 1. We also give regularity and uniqueness results for the solutions and characterize stable stationary solutions. Copyright © 2006 John Wiley & Sons, Ltd.     

On Iterations of the Green Integrals and their Applications to Elliptic Differential Complexes

Convergence of iterations of special Green integrals for overdetermined elliptic linear partial differential operators P of order p ≥ 1 is proved. Using this result we obtain necessary and sufficient conditions for the solvability of the equation Pu = f in the Sobolev space W^p,²(D) and, as a corollary, necessary and sufficient conditions for the vanishing of the first cohomology group of elliptic differential complexes. Also a criterion for the solvability of a P-Neumann problem for elliptic differential operators is proved.     

Analysis of a combined mixed finite element and discontinuous Galerkin method for incompressible two‐phase flow in porous media

We analyze a combined method consisting of the mixed finite element method for pressure equation and the discontinuous Galerkin method for saturation equation for the coupled system of incompressible two‐phase flow in porous media. The existence and uniqueness of numerical solutions are established under proper conditions by using a constructive approach. Optimal error estimates in L²(H¹) for saturation and in L ^∞ (H(div)) for velocity are derived. Copyright © 2013 John Wiley & Sons, Ltd.     

Graph classes and the complexity of the graph orientation minimizing the maximum weighted outdegree

Given an undirected graph with edge weights, we are asked to find an orientation, that is, an assignment of a direction to each edge, so as to minimize the weighted maximum outdegree in the resulted directed graph. The problem is called MMO, and is a restricted variant of the well-known minimum makespan problem. As in previous studies, it is shown that MMO is in P for trees, weak NP-hard for planar bipartite graphs, and strong NP-hard for general graphs. There are still gaps between those graph classes. The objective of this paper is to show tighter thresholds of complexity: We show that MMO is (i) in P for cactus graphs, (ii) weakly NP-hard for outerplanar graphs, and also (iii) strongly NP-hard for graphs which are both planar and bipartite. This implies the NP-hardness for P₄-bipartite, diamond-free or house-free graphs, each of which is a superclass of cactus. We also show (iv) the NP-hardness for series-parallel graphs and multi-outerplanar graphs, and (v) present a pseudo-polynomial time algorithm for graphs with bounded treewidth.     

Geometric Properties of Symmetric Spaces with Applications to Orlicz–Lorentz Spaces

We deal with the basic convexity properties –rotundity, and uniform, local uniform and full rotundity –- for symmetric spaces. A characterization of Orlicz–Lorentz spaces with the Kadec–Klee property for pointwise convergence is given. These results are applied to obtain criteria of convexity properties for Orlicz–Lorentz sequence spaces, and some new proofs of the sufficiency part of criteria for rotundity and uniform rotundity for Orlicz–Lorentz function spaces.     

The evolution of invariant manifolds in Hamiltonian-Hopf bifurcations

We consider the evolution of the stable and unstable manifolds of an equilibrium point of a Hamiltonian system of two degrees of freedom which depends on a parameter, ν. The eigenvalues of the linearized system are complex for ν<0 and pure imaginary for ν>0. Thus, for ν<0 the equilibrium has a two-dimensional stable manifold and a two-dimensional unstable manifold, but for ν>0 these stable and unstable manifolds are gone. If the sign of a certain term in the normal form is positive then for small negative ν the stable and unstable manifolds of the system are either identical or must have transverse intersection. Thus, either the system is totally degenerate or the system admits a suspended Smale horseshoe as an invariant set.     

An efficient algorithm for accelerating the convergence of oscillatory series,useful for computing the polylogarithm and Hurwitz zeta functions

This paper sketches a technique for improving the rate of convergence of a general oscillatory sequence, and then applies this series acceleration algorithm to the polylogarithm and the Hurwitz zeta function. As such, it may be taken as an extension of the techniques given by Borwein’s “An efficient algorithm for computing the Riemann zeta function” by Borwein for computing the Riemann zeta function, to more general series. The algorithm provides a rapid means of evaluating Li _s (z) for general values of complex s and a kidney-shaped region of complex z values given by ∣z ²/(z–1)∣<4. By using the duplication formula and the inversion formula, the range of convergence for the polylogarithm may be extended to the entire complex z-plane, and so the algorithms described here allow for the evaluation of the polylogarithm for all complex s and z values. Alternatively, the Hurwitz zeta can be very rapidly evaluated by means of an Euler–Maclaurin series. The polylogarithm and the Hurwitz zeta are related, in that two evaluations of the one can be used to obtain a value of the other; thus, either algorithm can be used to evaluate either function. The Euler–Maclaurin series is a clear performance winner for the Hurwitz zeta, while the Borwein algorithm is superior for evaluating the polylogarithm in the kidney-shaped region. Both algorithms are superior to the simple Taylor’s series or direct summation. The primary, concrete result of this paper is an algorithm allows the exploration of the Hurwitz zeta in the critical strip, where fast algorithms are otherwise unavailable. A discussion of the monodromy group of the polylogarithm is included.      

Exact travelling wave solutions of the generalized Bretherton equation

We search for exact travelling wave solutions of the generalized Bretherton equation for integer, greater than one, values of the exponent m of the nonlinear term by two methods: the truncated Painlevé expansion method and an algebraic method. We find periodic solutions for m=2 and m=5, to add to those already known for m=3; in all three cases these solutions exist for finite intervals of the wave velocity. We also find a “kink” shaped solitary wave for m=5 and a family of elementary unbounded solutions for arbitrary m.     

On the spectral representation of symmetric stable processes

The so-called spectral representation theorem for stable processes linearly imbeds each symmetric stable process of index p into L^p (0 < p ≤ 2). We use the theory of L^p isometries for 0 < p < 2 to study the uniqueness of this representation for the non-Gaussian stable processes. We also determine the form of this representation for stationary processes and for substable processes. Complex stable processes are defined, and a complex version of the spectral representation theorem is proved. As a corollary to the complex theory we exhibit an imbedding of complex L^q into real or complex L^p for 0 < p < q ≤ 2.     

Global existence, asymptotic behavior and blow-up of solutions for coupled Klein-Gordon equations with damping terms

This paper studies the Cauchy problem for the coupled system of nonlinear Klein-Gordon equations with damping terms. We first state the existence of standing wave with ground state, based on which we prove a sharp criteria for global existence and blow-up of solutions when E(0)<d. We then introduce a family of potential wells and discuss the invariant sets and vacuum isolating behavior of solutions for 0<E(0)<d and E(0)≤0, respectively. Furthermore, we prove the global existence and asymptotic behavior of solutions for the case of potential well family with 0<E(0)<d. Finally, a blow-up result for solutions with arbitrarily positive initial energy is obtained.     

On the number of primitive representations of integers as sums of squares

Formulas for the number of primitive representations of any integer n as a sum of k squares are given, for 2 ≤ k ≤ 8, and for certain values of n, for 9 ≤ k ≤ 12. The formulas have a similar structure and are striking for their simplicity. Dedicated to Richard Askey on the occasion of his 70th birthday. 2000 Mathematics Subject Classification Primary—11E25; Secondary—05A15, 33E05.     

On equivalence of moduli of smoothness of polynomials in ,

It is well known that for functions , 1p∞. For general functions fL_p, it does not hold for 0<p<1, and its inverse is not true for any p in general. It has been shown in the literature, however, that for certain classes of functions the inverse is true, and the terms in the inequalities are all equivalent. Recently, Zhou and Zhou proved the equivalence for polynomials with p=∞. Using a technique by Ditzian, Hristov and Ivanov, we give a simpler proof to their result and extend it to the L_p space for 0<p∞. We then show its analogues for the Ditzian–Totik modulus of smoothness and the weighted Ditzian–Totik modulus of smoothness for polynomials with .