Vertex pancyclic in‐tournaments

An in‐tournament is an oriented graph such that the negative neighborhood of every vertex induces a tournament. The topic of this paper is to investigate vertex k‐pancyclicity of in‐tournaments of order n, where for some 3 ≤ k ≤ n, every vertex belongs to a cycle of length p for every k ≤ p ≤ n. We give sharp lower bounds for the minimum degree such that a strong in‐tournament is vertex k‐pancyclic for k ≤ 5 and k ≥ n − 3. In the latter case, we even show that the in‐tournaments in consideration are fully (n − 3)‐extendable which means that every vertex belongs to a cycle of length n − 3 and that the vertex set of every cycle of length at least n − 3 is contained in a cycle of length one greater. In accordance with these results, we state the conjecture that every strong in‐tournament of order n with minimum degree greater than is vertex k‐pancyclic for 5 < k < n − 3, and we present a family of examples showing that this bound would be best possible. © 2001 John Wiley & Sons, Inc. J Graph Theory 36: 84–104, 2001     

Asymptotic Behavior of the Pollaczek Polynomials and Their Zeros

In 1954, A. Novikoff studied the asymptotic behavior of the Pollaczek polynomials P_n(x; a, b) when , where t > 0 is fixed. He divided the positive t-axis into two regions, 0 < t < (a + b)^1/2 and t > (a + b)^1/2, and derived an asymptotic formula in each of the two regions. Furthermore, he found an asymptotic formula for the zeros of these polynomials. Recently M. E. H. Ismail (1994) reconsidered this problem in an attempt to prove a conjecture of R. A. Askey and obtained a two-term expansion for these zeros. Here we derive an infinite asymptotic expansion for , which holds uniformly for 0 < ε ≤ t ≤ M < ∞, and show that Ismail's result is incorrect.     

Frames in the bargmann space of entire functions

We look at the decomposition of arbitrary f in L²( R ) in terms of the family of functions φ_mn(x) = π^?1/4exp{ ? 1/2imnab + i max ? 1/2(x ? nb)²}, with a, b > 0. We derive bounds and explicit formulas for the minimal expansion coefficients in the case where ab = 2π/N, N an integer ≧ 2. Transported to the Hilbert space F of entire functions introduced by V. Bargmann, these results are expressed as inequalities of the form We conjecture that these inequalities remain true for all a, b such that ab < 2π.     

Distortion Properties of Holomorphic Functions of Several Complex Variables

Let Q(D) be a class of functions q, q(0) = 0, |q(z)| < 1 holomorphic in the Reinhardt domain D ? C ⁿ, a and b — arbitrary fixed numbers satisfying the condition — 1 ≤ b < a ≤ 1. ??(a, b; D) — the class of functions p such that p ? ??(a, b; D) iff for some q ? Q(D) and every z ? D. S*(a, b; D) — the class of functions f such that f ? S*(a, g; D) iff S^c(a, b; D) — the class of functions q such that q ? S^c(a, b; D) iff , where p ε ??(a, b; D) and K is an operator of the form for z=z₁,z₂,…z_n. The author obtains sharp bounds on |p(z)|, f(z)| g(z)| as well as sharp coefficient inequalities for functions in ??(a, b; D), S*(a, b; D) and S^c(a, b; D).     

Liouville type results for a <Emphasis Type="Italic">p</Emphasis>-Laplace equation with negative exponent

Positive entire solutions of the equation \(\Delta _p u = u^{ - q} in \mathbb{R}^N (N \geqslant 2)\) where 1 < p ≤ N, q > 0, are classified via their Morse indices. It is seen that there is a critical power q = q _c such that this equation has no positive radial entire solution that has finite Morse index when q > q _c but it admits a family of stable positive radial entire solutions when 0 < q ≤ q _c. Proof of the stability of positive radial entire solutions of the equation when 1 < p < 2 and 0 < q ≤ q _c relies on Caffarelli–Kohn–Nirenberg’s inequality. Similar Liouville type result still holds for general positive entire solutions when 2 < p ≤ N and q > q _c. The case of 1 < p < 2 is still open. Our main results imply that the structure of positive entire solutions of the equation is similar to that of the equation with p = 2 obtained previously. Some new ideas are introduced to overcome the technical difficulties arising from the p-Laplace operator.     

A Fujita-type global existence—global non-existence theorem for a system of reaction diffusion equations with differing diffusivities

In this paper we condiser non-negative solutions of the initial value problem in ?^N for the system where 0 ? δ ? 1 and pq > 0. We prove the following conditions. Suppose min(p,q)≥1 but pq1.

• (a) If δ = 0 then u=v=0 is the only non-negative global solution of the system.
• (b) If δ>0, non-negative non-globle solutions always exist for suitable initial values.
• (c) If 0<?1 and max(α, β) ≥ N/2, where qα = β + 1, pβ = α + 1, then the conclusion of (a) holds.
• (d) If N > 2, 0 < δ ? 1 and max (α β) < (N - 2)/2, then global, non-trivial non-negative solutions exist which belong to L^∞(?^N×[0, ∞]) and satisfy 0 < u(X, t) ? c∣x∣^?2α and 0 < v(X, t) ? c ∣x∣^?2bT for large ∣x∣ for all t > 0, where c depends only upon the initial data.
• (e) Suppose 0 > δ 1 and max (α, β) < N/2. If N> = 1,2 or N > 2 and max (p, q)? N/(N-2), then global, non-trivial solutions exist which, after makinng the standard ‘hot spot’ change of variables, belong to the weighted Hilbert space H¹ (K) where K(x) ? exp(¼∣x∣²). They decay like e^{[max(α,β)-(N/2)+ε]t} for every ε > 0. These solutions are classical solutions for t > 0.
• (f) If max (α, β) < N/2, then threre are global non-tivial solutions which satisfy, in the hot spot variables where where 0 < ε = ε(u₀, v₀) < (N/2)?;max(α, β). Suppose min(p, q) ? 1.
• (g) If pq ≥ 1, all non-negative solutions are global. Suppose min(p, q) < 1.
• (h) If pg > 1 and δ = 0, than all non-trivial non-negative maximal solutions are non-global.
• (i) If 0 < δ ? 1, pq > 1 and max(α,β)≥ N/2 all non-trivial non-negative maximal solutions are non-global.
• (j) If 0 < δ ≥ 1, pq > 1 and max(α,β) < N/2, there are both global and non-negative solutions.

We also indicate some extensions of these results to moe general systems and to othere geometries.     

The ground state eigenvalue of Hill's equation with white noise potential

The distribution of the ground state eigenvalue λ₀(Q) of Hill's operator Q = −d²/dx² + q(x) on the circle of perimeter 1 is expressed in two different ways in case the potential q is standard white noise. Let WN be the associated white noise measure, and let CBM be the measure for circular Brownian motion p(x), 0 ≤ x < 1, formed from the standard Brownian motion b(x), 0 ≤ x ≤ 1, starting at b(0) = a, by conditioning so that b(1) = a, and distributing this common level over the line according to the measure da. The connection is based upon the Ricatti correspondence q(x) = λ + p′ (x) + p²(x). The two versions of the distribution are (1) in which $\overline{p}$ is the mean value ∫ pdx, and (2) the left‐hand side of (2) being the density for (1) and CBM₀ the conditional circular Brownian measure on $\overline{p}$ = 0. (1) and (2) are related by the divergence theorem in function space as suggested by the recognition of the Jacobian factor the outward‐pointing normal component of the vector field v(x) = ∂Δ(λ)/∂q(x), 0 ≤ x < 1, Δ being the Hill's discriminant for Q. The Ricatti correspondence prompts the idea that (1) and (2) are instances of the Cameron‐Martin formula, but it is not so: The latter has to do with the initial value problem for Ricatti, but it is the periodic problem that figures here, so the proof must be done by hand, by finite‐dimensional approximation. The adaptation of 1 and 2 to potentials of Ornstein‐Uhlenbeck type is reported without details. © 1999 John Wiley & Sons, Inc.     

Zero-sum delta-systems and multiple copies of graphs

A main result proved in this paper is the following. Theorem. Let G be a noncomplete graph on n vertices with degree sequence d₁ ≥ d₂ ≥ · · · ≥ d_n and t ≥ 2 be a prime. Let m = gcd{t, d_i − d_j: 1 ≤ i < j ≤ n} and set Then R(tG, ℤ_t) = t(n + d) − d, where R is the zero-sum Ramsey number. This settles, almost completely, problems raised in [Bialostocki & Dierker, J Graph Theory, 1994; Y. Caro, J Graph Theory, 1991]. © 1999 John Wiley & Sons, Inc. J Graph Theory 32: 207–216, 1999     

A problem of D. H. Lehmer and its mean value

Let p be an odd prime and let a be an integer coprime to p. Denote by N (a, p) the number of pairs of integers b, c with bc ≡ a (mod p), 1 ≤ b, c < p and with b, c having different parity. The main purpose of this paper is to deduce an asymptotic formula for (N (2^sad, p) – 1/2 (p – 1)), and obtain some interesting results. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the identric and logarithmic means

Summary Leta, b > 0 be positive real numbers. The identric meanI(a, b) of a andb is defined byI = I(a, b) = (1/e)(b ^b /a ^a ) ^1/(b–a) , fora b, I(a, a) = a; while the logarithmic meanL(a, b) ofa andb isL = L(a, b) = (b – a)/(logb – loga), fora b, L(a, a) = a. Let us denote the arithmetic mean ofa andb byA = A(a, b) = (a + b)/2 and the geometric mean byG =G(a, b) = . In this paper we obtain some improvements of known results and new inequalities containing the identric and logarithmic means. The material is divided into six parts. Section 1 contains a review of the most important results which are known for the above means. In Section 2 we prove an inequality which leads to some improvements of known inequalities. Section 3 gives an application of monotonic functions having a logarithmically convex (or concave) inverse function. Section 4 works with the logarithm ofI(a, b), while Section 5 is based on the integral representation of means and related integral inequalities. Finally, Section 6 suggests a new mean and certain generalizations of the identric and logarithmic means.     

Half-Linear Eigenvalue Problems

We consider the eigenvalue problem for t ? [0, b], where aⁿ = |a|ⁿ sgna, a ? ?, λ ? ?, the constants μ, v are real such that 0 ≤ μ < n and derive asymptotic estimates for solutions of the differential equation in the definite case q(t)> 0 which corresponds to the well-known WKB-approximation in the linear case n = 1, μ = 0. In the second part we investigate the asymptotic distribution of the eigenvalues in the general case of two -point boundary conditions and refine these results for the so called separated boundary conditions.     

Some remarks on essential self‐adjointness and ultracontractivity of a class of singular elliptic operators

We study the properties of essential self‐adjointness on C^∞_c (ℝ^N ) and semigroup ultracontractivity of a class of singular second order elliptic operators defined in L² (ℝ^N , σ^{–a –N} (x) dx) with Dirichlet boundary conditions, where a, b ∈ ℝ and σ: ℝ^N → (0, ∞) is a C^∞‐function satisfying c^‐1(1 + |x |) ≤ σ (x) ≤ c (1 + |x |) (x ∈ ℝN). We also obtain sharp short time upper and lower diagonal bounds on the heat kernel of e –^Ht. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On Saint‐Venant's principle in a poroelastic arch‐like region

In this paper we consider the state of plane strain in an elastic material with voids occupying a curvilinear strip as an arch‐like region described by R: a<r<b, 0<θ<ω, where r and θ are polar coordinates and a, b, and ω (<2π) are prescribed positive constants. Such a curvilinear strip is maintained in equilibrium under self‐equilibrated traction and equilibrated force applied on one of the edges, whereas the other three edges are traction free and subjected to zero volumetric fraction or zero equilibrated force. In fact, we study the case when one right or curved edge is loaded. Our aim is to derive some explicit spatial estimates describing how some appropriate measures of a specific Airy stress function and volume fraction evolve with respect to the distance to the loaded edge. The results of the present paper prove how the spatial decay rate varies with the constitutive profile. For the problem corresponding to a loaded right edge, we are able to establish an exponential decay estimate with respect to the angle θ. Whereas for the problem corresponding to a loaded curved edge, we establish an algebraical spatial decay with respect to the polar distance r, provided the angle ω is lower than the critical value $\pi\sqrt{2}$. The intended applications of these results concern various branches of medicine as for example the bone implants. Copyright © 2010 John Wiley & Sons, Ltd.     

{2, 3}‐perfect m‐cycle systems are equationally defined for m = 5, 7, 8, 9, and 11 only

An m‐cycle system (S,C) of order n is said to be {2,3}‐perfect provided each pair of vertices is connected by a path of length 2 in an m‐cycle of C and a path of length 3 in an m‐cycle of C. The class of {2,3}‐perfect m‐cycle systems is said to be equationally defined provided, there exists a variety of quasigroups V with the property that a finite quasigroup (Q, , \, /) belongs to V if and only if its multiplicative (Q, ) part can be constructed from a {2,3}‐perfect m‐cycle system using the 2‐construction (a a = a for all a ∈ Q and if a ≠ b, a b = c and b a = d if and only if the m‐cycle (…, d, x, a, b, y, c, …) ∈ C). The object of this paper is to show that the class of {2,3}‐perfect m‐cycle systems cannot be equationally defined for all m ≥ 10, m ≠ 11. This combined with previous results shows that {2, 3}‐perfect m‐cycle systems are equationally defined for m = 5, 7, 8, 9, and 11 only. © 2004 Wiley Periodicals, Inc.     

On a class of bounded trajectories for some non‐autonomous systems

We prove, by variational arguments, the existence of a solution to the boundary value problem in the half line ((0.1)) where c ≥ 0 and a belongs to a certain class of positive functions. The existence of such a solution in the case c = 0 means that the system (0.1) behaves in significantly different way from its autonomous counterpart. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Uniqueness of weak solutions in critical space of the 3‐D time‐dependent Ginzburg‐Landau equations for superconductivity

We prove the uniqueness of weak solutions of the 3‐D time‐dependent Ginzburg‐Landau equations for super‐conductivity with initial data (ψ₀, A₀)∈ L² under the hypothesis that (ψ, A) ∈ L^s(0, T; L^r,∞) × (0, T; with Coulomb gauge for any (r, s) and satisfying + = 1, + = 1, ≥ , ≥ and 3 < r ≤ 6, 3 < ≤ ∞. Here L^r,∞ ≡ is the Lorentz space. As an application, we prove a uniqueness result with periodic boundary condition when ψ₀ ∈ , A₀ ∈ L³ (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Divisibility and structure constraints on automorphism groups of almost perfect 1-factorizations of

Let G be a permutation group acting on a set with N elements such that every permutation with more than m fixed points is the identity. It is easy to verify that |G| divides N(N − 1) ··· (N − m). We show that if gcd(|G|, m!) = 1, then |G| divides (N − i)(N − j) for some i and j satisfying 0 ≤ i < j ≤ m. We use this to show that any almost perfect 1-factorization of K_2n has an automorphism group whose cardinality divides (2n − i)(2n − j) for some i and j with 0 ≤ i < j ≤ 2 as long as n is odd. An almost perfect 1-factorization (or APOF) is a 1-factorization in which the union of any three distinct 1-factors is connected. This result contrasts with an example of an APOF on K₁₂ given by Cameron which has PSL(2, ℤ₁₁) as its automorphism group [with cardinality 12(11)(5)]. When n is even and the automorphism group is solvable, we show that either G acts vertex transitively and n is a power of two, or |G| divides 2n − 2^a for some integer a with 2^a dividing 2n, or else |G| divides (2n − i)(2n − j) for some i and j with 0 ≤ i < j ≤ 2. We also give a number of structure results concerning these automorphism groups. © 1998 John Wiley & Sons, Inc. J Combin Designs 6: 355–380, 1998     

On the decay of solutions for a class of quasilinear hyperbolic equations with non‐linear damping and source terms

In this paper, we consider the non‐linear wave equation a,b>0, associated with initial and Dirichlet boundary conditions. Under suitable conditions on α, m, and p, we give precise decay rates for the solution. In particular, we show that for m=0, the decay is exponential. This work improves the result by Yang (Math. Meth. Appl. Sci. 2002; 25 :795–814). Copyright © 2005 John Wiley & Sons, Ltd.     

The Number of Lattice Points Above the Catenary

For fixed c > 1 and for arbitrary and independent a,b ≧ 1 let Z ²|b( cosh(x/a)−c) ≦ y < 0}. We investigate the asymptotic behaviour of R(a,b) for a,b → ∞. In the special case b = o(a ^5/6) the lattice rest has true order of magnitude . This revised version was published online in June 2006 with corrections to the Cover Date.     

On a Problem of D. H. Lehmer and General Kloosterman Sums

Abstract Let q ≥ 3 be an odd number, a be any fixed positive integer with (a, q) = 1. For each integer b with 1 ≤ b < q and (b, q) = 1, it is clear that there exists one and only one c with 0 < c < q such that bc ≡ a (mod q). Let N(a, q) denote the number of all solutions of the congruent equation bc ≡ a (mod q) for 1 ≤ b, c < q in which b and c are of opposite parity, and let . The main purpose of this paper is to study the distribution properties of E(a, q), and give a sharper hybrid mean-value formula involving E(a, q) and general Kloosterman sums. This work is supported by the NSF and the PSF of P. R. China