The bitwisted Cartesian model for the free loop fibration

Using the notion of truncating twisting function from a simplicial set to a cubical set a special, bitwisted, Cartesian product of these sets is defined. For the universal truncating twisting function, the (co)chain complex of the corresponding bitwisted Cartesian product agrees with the standard Cartier (Hochschild) chain complex of the simplicial (co)chains. The modelling polytopes Fn are constructed. An explicit diagonal on Fn is defined and a multiplicative model for the free loop fibration ΩY→ΛY→Y is obtained. As an application we establish an algebra isomorphism H^∗(ΛY;Z)≈S(U)⊗Λ(s−1U) for the polynomial cohomology algebra H^∗(Y;Z)=S(U).     

Limit theorems for the critical age-dependent branching process with infinite variance

Let Z(t) be the population at time t of a critical age-dependent branching process. Suppose that the offspring distribution has a generating function of the form f(s) = s + (1 ? s)^1+αL(1 ? s) where α ∈ (0, 1) and L(x) varies slowly as x → 0⁺. Then we find, as t → ∞, (P{Z(t)> 0})^αL(P{Z(t)>0})～ μ/αt where μ is the mean lifetime of each particle. Furthermore, if we condition the process on non-extinction at time t, the random variable P{Z(t)>0}Z(t) converges in law to a random variable with Laplace-Stieltjes transform 1 - u(1 + u^α)^?1/α for u ?/ 0. Moment conditions on the lifetime distribution required for the above results are discussed.     

Global Strichartz estimates for the wave equation with time-periodic potentials

We obtain global Strichartz estimates for the solutions u of the wave equation for time-periodic potentials V(t,x) with compact support with respect to x. Our analysis is based on the analytic properties of the cut-off resolvent Rχ(z)=χ(U⁻¹(T)−zI)ψ₁, where U(T)=U(T,0) is the monodromy operator and T>0 the period of V(t,x). We show that if Rχ(z) has no poles z∈C, |z|?1, then for n?3, odd, we have a exponential decal of local energy. For n?2, even, we obtain also an uniform decay of local energy assuming that Rχ(z) has no poles z∈C, |z|?1, and Rχ(z) remains bounded for z in a small neighborhood of 0.     

Asymptotic expansions in time for solutions of Schrödinger-type equations

Let ?iA = ?i(p(D) + V) be a dissipative operator in L₂(R_n), where p(D) is an elliptic differential operator of order m with real constant coefficients and V is a compact operator from the weighted Sobolev space H^m′,s (Rⁿ) to H^{0, p + s} (Rⁿ), s?R, for some m′ < m ? 1 and p > 1. Let R(z) be the resolvent of A. Then an asymptotic expansion of R(z) as z approaches a critical value of the polynomial p(ξ) is given; the coefficient operators in the expansion are computed explicitly. By using the resolvent expansion and the results of M. Murata [9], an asymptotic expansion of e^?itA as t → ∞ is given.     

Integrals involving products of Airy functions, their derivatives and Bessel functions

A new integral representation of the Hankel transform type is deduced for the function Fn(x,Z)=Zn−1Ai(x−Z)Ai(x+Z) with x∈R, Z>0 and n∈N. This formula involves the product of Airy functions, their derivatives and Bessel functions. The presence of the latter allows one to perform various transformations with respect to Z and obtain new integral formulae of the type of the Mellin transform, K-transform, Laplace and Fourier transform. Some integrals containing Airy functions, their derivatives and Chebyshev polynomials of the first and second kind are computed explicitly. A new representation is given for the function ²|Ai(z)| with z∈C.     

A local smoothing estimate for the Schrödinger equation

We show that the Schrödinger operator eitΔ is bounded from Wα,q(Rn) to Lq(Rn×[0,1]) for all α>2n(1/2−1/q)−2/q and q?2+4/(n+1). This is almost sharp with respect to the Sobolev index. We also show that the Schrödinger maximal operator sup0<t<1|eitΔf| is bounded from Hs(Rn) to when s>s₀ if and only if it is bounded from Hs(Rn) to L²(Rn) when s>2s₀. A corollary is that sup0<t<1|eitΔf| is bounded from Hs(R²) to L²(R²) when s>3/4.     

Dirichlet series related to the Riemann zeta function

A study is made of the function H(s, z) defined by analytic continuation of the Dirichlet series H(s, z) = Σ_n=1^∞n^?sΣ_m=1ⁿm^?z, where s and z are complex variables. For each fixed z it is shown that H(s, z) exists in the entire s-plane as a meromorphic function of s, and its poles and residues are determined. Also, for each fixed s ≠ 1 it is shown that H(s, z) exists in the entire z-plane as a meromorphic function of z, and again its poles and residues are determined. Two different representations of H(s, z) are given from which a reciprocity law, H(s, z) + H(z, s) = ζ(s) ζ(z) + ζ(s + z), is deduced. For each integer q ≥ 0 the function values H(s, ?q) and H(?q, s) are expressed in terms of the Riemann zeta function. Similar results are also obtained for the Dirichlet series T(s, z) = Σ_n=1^∞n^?sΣ_m=1ⁿm^?z (m + n)^?1. Applications include identities previously obtained by Ramanujan, Williams, and Rao and Sarma.     

On multiplicative perturbation of integral resolvent families

In this paper we study multiplicative perturbations for the generator of a strongly continuous integral resolvent family of bounded linear operators defined on a Banach space X. Assuming that a(t) is a creep function which satisfies a(⁰⁺)>0, we prove that if (A,a) generates an integral resolvent, then (A(I+B),a) also generates an integral resolvent for all B∈B(X,Z), where Z belongs to a class of admissible Banach spaces. In special instances of a(t) the space Z is proved to be characterized by an extended class of Favard spaces.     

A contribution to the Zarankiewicz problem

Given positive integers let z(m,n,s,t) be the maximum number of ones in a (0,1) matrix of size m×n that does not contain an all ones submatrix of size s×t. We show that if s?2 and t?2, then for every k=0,…,s-2,

z(m,n,s,t)?(s-k-1)^1/tnm^1-1/t+kn+(t-1)m^1+k/t.     

Meromorphic Functions That Share Fixed-Points

In this paper, we prove the following result: Let f(z) and g(z) be two nonconstant meromorphic(entire) functions, n ≥ 11(n ≥ 6) a positive integer. If fⁿ(z)f′(z) and gⁿ(z)g′(z) have the same fixed-points, then either f(z) = c₁e^cz2, g(z) = c₂e^− cz2, where c₁, c₂, and c are three constants satisfying 4(c₁c₂)^n + 1c² = −1, or f(z) ≡ tg(z) for a constant t such that t^n + 1 = 1.     

A relation between spaces implied by their t-equivalence

We prove that if X and Y are t-equivalent spaces (that is, if Cp(X) and Cp(Y) are homeomorphic), then there are spaces Zn, locally closed subspaces Bn of Zn, and locally closed subspaces Yn of Y, n∈N⁺, such that each Zn admits a perfect finite-to-one mapping onto a closed subspace of Xn, Yn is an image under a perfect mapping of Bn, and Y=?{Yn:n∈N⁺}. It is deduced that some classes of spaces, which for metric spaces coincide with absolute Borelian classes, are preserved by t-equivalence. Also some limitations on the complexity of spaces t-equivalent to “nice” spaces are obtained.     

Loewner chains and parametric representation in several complex variables

Let B be the unit ball of with respect to an arbitrary norm. We study certain properties of Loewner chains and their transition mappings on the unit ball B. We show that any Loewner chain f(z,t) and the transition mapping v(z,s,t) associated to f(z,t) satisfy locally Lipschitz conditions in t locally uniformly with respect to z∈B. Moreover, we prove that a mapping f∈H(B) has parametric representation if and only if there exists a Loewner chain f(z,t) such that the family {e^−tf(z,t)}_t?0 is a normal family on B and f(z)=f(z,0) for z∈B. Also we show that univalent solutions f(z,t) of the generalized Loewner differential equation in higher dimensions are unique when {e^−tf(z,t)}_t?0 is a normal family on B. Finally we show that the set S⁰(B) of mappings which have parametric representation on B is compact.     

Characterization of the absence of a spectral gapfor a class of periodic Jacobi operators

Let q ∈ {2, 3} and let 0 = s₀ < s₁ < … < s_q = T be integers. For m, n ∈ Z, we put ¯m,n = {j ∈ Z| m? j ? n}. We set l_j = s_j − s_j−1 for j ∈ 1, q. Given (p₁,, p_q) ∈ R^q, let b: Z → R be a periodic function of period T such that b(·) = p_j on s_j−1 + 1, s_j for each j ∈ 1, q. We study the spectral gaps of the Jacobi operator (Ju)(n) = u(n + 1) + u(n − 1) + b(n)u(n) acting on l²(Z). By [λ_2j , λ_2j−1] we denote the jth band of the spectrum of J counted from above for j ∈ 1, T. Suppose that p_m ≠ p_n for m ≠ n. We prove that the statements (i) and (ii) below are equivalent for λ ∈ R and i ∈ 1, T − 1.     

On a nonconvolution Volterra resolvent

Under fairly weak assumptions, the solutions of the system of Volterra equations x(t) = ∝₀^ta(t, s) x(s) ds + f(t), t > 0, can be written in the form x(t) = f(t) + ∝₀^tr(t, s) f(s) ds, t > 0, where r is the resolvent of a, i.e., the solution of the equation r(t, s) = a(t, s) + ∝₀^ta(t, v) r(v, s)dv, 0 < s < t. Conditions on a are given which imply that the resolvent operator f ∝₀^tr(t, s) f(s) ds maps a weighted L¹ space continuously into another weighted L¹ space, and a weighted L^∞ space into another weighted L^∞ space. Our main theorem is used to study the asymptotic behavior of two differential delay equations.     

On the total multiplicity of zeros of generalized polynomials related to nonoscillating trajectories

For a continuous curve L = {x: x = Z(t), t ∈ [a, b]} in R ⁿ , we study the number of zeros of the function l _h (t) = 〈h, Z(t)〉, where h ∈ R ⁿ . We introduce the notion of multiple zeros for such functions and study the possibility of estimating the total multiplicity of such zeros under the assumption that the system {z ₁(t), z ₂(t), …, z _n (t)} of coordinates of the function Z(t) is a Chebyshev system on [a, b].     

On the range of heterogeneous samples

Let R_n be the range of a random sample X₁,…,X_n of exponential random variables with hazard rate λ. Let S_n be the range of another collection Y₁,…,Y_n of mutually independent exponential random variables with hazard rates λ₁,…,λ_n whose average is λ. Finally, let r and s denote the reversed hazard rates of R_n and S_n, respectively. It is shown here that the mapping t?s(t)/r(t) is increasing on (0,∞) and that as a result, R_n=X_(n)−X₍₁₎ is smaller than S_n=Y_(n)−Y₍₁₎ in the likelihood ratio ordering as well as in the dispersive ordering. As a further consequence of this fact, X_(n) is seen to be more stochastically increasing in X₍₁₎ than Y_(n) is in Y₍₁₎. In other words, the pair (X₍₁₎,X_(n)) is more dependent than the pair (Y₍₁₎,Y_(n)) in the monotone regression dependence ordering. The latter finding extends readily to the more general context where X₁,…,X_n form a random sample from a continuous distribution while Y₁,…,Y_n are mutually independent lifetimes with proportional hazard rates.     

Oscillation results for selfadjoint differential systems

We consider the second-order differential system, (1) (R(t) Y′)′ + Q(t) Y = 0, where R, Q, Y are n × n matrices with R(t), Q(t) symmetric and R(t) positive definite for t ϵ [a, + ∞) (R(t) > 0, t ⩾ a). We establish sufficient conditions in order that all prepared solutions Y(t) of (1) are oscillatory; that is, det Y(t) vanishes infinitely often on [a, + ∞). The conditions involve the smallest and largest eigen-values λ_n(R⁻¹(t)) and λ₁(∝_a^t Q(s) ds), respectively. The results obtained can be regarded as generalizing well-known results of Leighton and others in the scalar case.     

Decay estimates for oscillatory integrals with polynomial phase in terms of p and p or in terms of p and p

We obtain estimates for certain oscillatory integrals with polynomial (degree n) phase, p(t). These estimates are stated in terms of differences between the roots, real or complex, of p⁽ⁿ⁻³⁾(t) and p⁽ⁿ⁻²⁾(t) or between p⁽ⁿ⁻²⁾(t) and p⁽ⁿ⁻¹⁾(t). The sharpness of these results is also explored. This result is a partial generalization of the results found in [J. Math. Anal. Appl. 280 (2003) 424].     

A uniform asymptotic expansion for weighted sums of exponentials

We consider the random variable Z_n,α=Y₁+2^αY₂+?+n^αY_n, with α∈R and Y₁,Y₂,… independent and exponentially distributed random variables with mean one. The distribution function of Z_n,α is in terms of a series with alternating signs, causing great numerical difficulties. Using an extended version of the saddle point method, we derive a uniform asymptotic expansion for P(Z_n,α<x) that remains valid inside (α≥−1/2) and outside (α<−1/2) the domain of attraction of the central limit theorem. We discuss several special cases, including α=1, for which we sharpen some of the results in Kingman and Volkov (2003).     

On Bernstein's inequality for entire functions of exponential type

It was shown by S.N. Bernstein that if f is an entire function of exponential type τ such that |f(x)|?M for −∞<x<∞, then |f^′(x)|?Mτ for −∞<x<∞. If p is a polynomial of degree at most n with |p(z)|?M for |z|=1, then f(z):=p(eiz) is an entire function of exponential type n with |f(x)|?M on the real axis. Hence, by the just mentioned inequality for functions of exponential type, |p^′(z)|?Mn for |z|=1. Lately, many papers have been written on polynomials p that satisfy the condition znp(1/z)≡p(z). They do form an intriguing class. If a polynomial p satisfies this condition, then f(z):=p(eiz) is an entire function of exponential type n that satisfies the condition f(z)≡einzf(−z). This led Govil [N.K. Govil, Lp inequalities for entire functions of exponential type, Math. Inequal. Appl. 6 (2003) 445-452] to consider entire functions f of exponential type satisfying f(z)≡eiτzf(−z) and find estimates for their derivatives. In the present paper we present some additional observations about such functions.