Coquet-type formulas for the rarefied weighted Thue–Morse sequence

Newman proved for the classical Thue–Morse sequence, ((−1)^s(n))_n≥0, that for all N∈N with real constants satisfying c₂>c₁>0 and λ=log3/log4. Coquet improved this result and deduced , where F(x) is a nowhere-differentiable, continuous function with period 1 and η(N)∈{−1,0,1}. In this paper we obtain for the weighted version of the Thue–Morse sequence that for the sum a Coquet-type formula exists for every r∈{0,1,2} if and only if the sequence of weights is eventually periodic. From the specific Coquet-type formulas we derive parts of the weak Newman-type results that were recently obtained by Larcher and Zellinger.     

An Erdős–Ko–Rado Theorem for Direct Products

Letn_i, k_ibe positive integers,i=1, ..., d,satisfyingn_i≥2k_i.LetX₁, ..., X_dbe pairwise disjoint sets with |X_i| =n_i.Letbe the family of those (k₁+···+k_d)-element sets which have exactlyk_ielements inX_i, i=1,..., d.It is shown that if⊂is an intersecting family then ||/||≤max_ik_i/n_i,and this is best possible. The proof is algebraic, although in thed=2 case a combinatorial argument is presented as well.     

Problems arising from jackknifing the estimate of a Kaplan-Meier integral

Stute and Wang (1994) considered the problem of estimating the integral S^θ = ∫ θ dF, based on a possibly censored sample from a distribution F, where θ is an F-integrable function. They proposed a Kaplan-Meier integral to approximate S^θ and derived an explicit formula for the delete-1 jackknife estimate . differs from only when the largest observation, X_(n), is not censored (δ_(n) = 1 and next-to-the-largest observation, X_(n-1), is censored (δ_(n-1) = 0). In this note, it will pointed out that when X_(n) is censored is based on a defective distribution, and therefore can badly underestimate . We derive an explicit formula for the delete-2 jackknife estimate . However, on comparing the expressions of and , their difference is negligible. To improve the performance of and , we propose a modified estimator according to Efron (1980). Simulation results demonstrate that is much less biased than and and .     

On turbulent, erratic and other dynamical properties of Zadeh’s extensions

Let (X, d) be a compact metric space and f : X → X a continuous function. Consider the hyperspace (K(X),H) of all nonempty compact subsets of X endowed with the Hausdorff metric induced by d, and let (F(X),d_∞) be the metric space of all nonempty compact fuzzy set on X equipped with the supremum metric d_∞ which is calculated as the supremum of the Hausdorff distances of the corresponding level sets. If is the natural extension of f to (K(X),H) and is the Zadeh’s extension of f to (F(X),d_∞), then the aim of this paper is to study the dynamics of and when f is turbulent (erratic, respectively).     

Continuous extension operators and convexity

Given a nonempty closed subset A of a Hilbert space X, we denote by L(A) the space of all bounded Lipschitz mappings from A into X, equipped with the supremum norm. We show that there is a continuous mapping F_c:L(A)?L(X) such that for each g∈L(A), F_c(g)|_A=g, , and . We also prove that the corresponding set-valued extension operator is lower semicontinuous.     

A pattern sequence approach to Stern’s sequence

Suppose that w∈1{0,1}^∗ and let a_w(n) be the number of occurrences of the word w in the binary expansion of n. Let {s(n)}_n?0 denote the Stern sequence, defined by s(0)=0, s(1)=1, and for n?1, In this note, we show that where denotes the complement of w (obtained by sending 0?1 and 1?0) and [w]₂ denotes the integer specified by the word w∈{0,1}^∗ interpreted in base 2.     

On the Schur Test forL2-Boundedness of Positive Integral Operators with a Wiener–Hopf Example

The Schur sufficiency condition for boundedness of any integral operator with non-negative kernel betweenL₂-spaces is deduced from an observation, Proposition 1.2, about the central role played byL₂-spaces in the general theory of these operators. Suppose (Ω, , μ) is a measure space and thatK: Ω×Ω→[0, ∞) is an ×-measurable kernel. The special case of Proposition 1.2 for symmetrical kernels says that such a linear integral operator is bounded onanyreasonable normed linear spaceXof -measurable functions only if it is bounded onL₂(Ω, , μ) where its norm is no larger. The general form of Schur's condition (Halmos and Sunder “Bounded Integral Operators onL₂-Spaces,” Springer-Verlag, Berlin/New York, 1978) is a simple corollary which, in the symmetrical case, says that the existence of an -measurable (not necessarily square-integrable) functionh>0μ-almost-everywhere onΩwithimplies thatKis a bounded (self-adjoint) operator onL₂(Ω, , μ) of norm at mostΛ. When (Ω, , μ) isσ-finite, we show that Schur's condition is sharp: in the symmetrical case the boundedness of onL₂(Ω, , μ) implies, for anyΛ>‖‖₂, the existence of a functionh∈L₂(Ω, , μ) which is positiveμ-almost-everywhere and satisfies (*). Such functionshsatisfying (*), whether inL₂(Ω, , μ) or not, will be calledSchur test functions. They can be found explicitly in significant examples to yield best-possible estimates of the norms for classes of integral operators with non-negative kernels. In the general theory the operators are not required to be symmetrical (a theorem of Chisholm and Everitt (Proc. Roy. Soc. Edinburgh Sect. A69(14) (1970/1971), 199–204) on non-self-adjoint operators is derived in this way). They may even act between differentL₂-spaces. Section 2 is a rather substantial study of how this method yields the exact value of the norm of a particular operator between differentL₂-spaces which arises naturally in Wiener–Hopf theory and which has several puzzling features.     

Logarithmic Sobolev Inequalities for Pinned Loop Groups

LetGbe a connected compact type Lie group equipped with anAd_G-invariant inner product on the Lie algebra ofG. Given this data there is a well known left invariant “H¹-Riemannian structure” on =(G)—the infinite dimensional group of continuous based loops inG. Using this Riemannian structure, we define and construct a “heat kernel”ν_T(g₀, ·) associated to the Laplace–Beltrami operator on (G). HereT>0,g₀∈(G), andν_T(g₀,·) is a certain probability measure on (G). For fixedg₀∈(G) andT>0, we use the measureν_T(g₀,·) and the Riemannian structure on (G) to construct a “classical” pre-Dirichlet form. The main theorem of this paper asserts that this pre-Dirichlet form admits a logarithmic Sobolev inequality.     

A further refinement of a three critical points theorem

In this paper, we complete the refinement process, made by Ricceri (2009) [4], of a result established by Ricceri (2000) [1], which is one of the most applied abstract multiplicity theorems in the past decade. A sample of application of our new result is as follows.Let (n≥3) be a bounded domain with smooth boundary and let .Then, for each ?>0 small enough, there exists λ_?>0 such that, for every compact interval , there exists ρ>0 with the following property: for every λ∈[a,b] and every continuous function satisfying for some , there exists δ>0 such that, for each ν∈[0,δ], the problem has at least three weak solutions whose norms in are less than ρ.     

The Klein–Gordon equation in the Anti-de Sitter cosmology

This paper deals with the Klein–Gordon equation on the Poincaré chart of the 5-dimensional Anti-de Sitter universe. When the mass μ is larger than , the Cauchy problem is well-posed despite the loss of global hyperbolicity due to the time-like horizon. We express the finite energy solutions in the form of a continuous Kaluza–Klein tower and we deduce a uniform decay as . We investigate the case , ν∈N^?, which encompasses the gravitational fluctuations, ν=4, and the electromagnetic waves, ν=2. The propagation of the wave front set shows that the horizon acts like a perfect mirror. We establish that the smooth solutions decay as , and we get global Lp estimates of Strichartz type. When ν is even, there appears a lacuna and the equipartition of the energy occurs at finite time for the compactly supported initial data, although the Huygens principle fails. We address the cosmological model of the negative-tension Minkowski brane, on which a Robin boundary condition is imposed. We prove the hyperbolic mixed problem is well-posed and the normalizable solutions can be expanded into a discrete Kaluza–Klein tower. We establish some L²−L^∞ estimates in suitable weighted Sobolev spaces.     

A Representation of Projection Lattices and Their States in Euclidean Space

We propose a representationr : ∪ Ω → ^ν, where is the collection of closed subspaces of ann-dimensional real, complex, or quaternionic Hilbert space , or equivalently, the projection lattice of this Hilbert space, where Ω is the set of all states ω : → [0, 1]. The value that ω ∈ Ω takes ina ∈ is given by the scalar product of the representative points (r(a) andr(ω)). The representationr(a ∨ b) of the join of two orthogonal elementsa, b ∈ is equal tor(a) + r(b). The convex closure of the representation of Σ, the set of atoms of , is equal to the representation of Ω.     

An extension of the hardy-littlewood-pólya inequality

The Hardy-Littlewood-Pólya （HLP） inequality [1] states that if a∈l^p,b∈l^q and p>1,q>1,1/p + 1/q>1, λ=2-（1/p+1/q）,then Σ[（a_rb_s）/︱r-s︱^λ]（r≠s）≤C‖a‖_P‖b‖_q.In this article, we prove the HLP inequality in the case where λ= 1, p = q = 2 with a logarithm correction, as conjectured by Ding [2]:Σ[（a_rb_s）/︱r-s︱^λ]（r≠s,1≤r,s≤N）≤（2㏑N+1）‖a‖₂‖b‖₂.In addition, we derive an accurate estimate for the best constant for this inequality.     

Hypercyclic subspaces for Fréchet space operators

A continuous linear operator is hypercyclic if there is an x∈X such that the orbit {Tnx} is dense, and such a vector x is said to be hypercyclic for T. Recent progress show that it is possible to characterize Banach space operators that have a hypercyclic subspace, i.e., an infinite dimensional closed subspace H⊆X of, except for zero, hypercyclic vectors. The following is known to hold: A Banach space operator T has a hypercyclic subspace if there is a sequence (ni) and an infinite dimensional closed subspace E⊆X such that T is hereditarily hypercyclic for (ni) and Tni→0 pointwise on E. In this note we extend this result to the setting of Fréchet spaces that admit a continuous norm, and study some applications for important function spaces. As an application we also prove that any infinite dimensional separable Fréchet space with a continuous norm admits an operator with a hypercyclic subspace.     

A generalization of Gruenhage's example

We construct, assuming the continuum hypothesis, an example of nonmetrizable n-dimensional Cantor manifold Xn(n∈N) with the following properties: 1) is hereditarily separable for all k∈N; 2) is perfectly normal for every k∈N; 3) the space F(Xn) is hereditarily normal for every seminormal functor F that preserves weights and one-to-one points and such that sp(F)={1,k}; in particular, and λ₃Xn are hereditarily normal. This example is a generalization of famous Gruenhage's example given in Gruenhage and Nyikos (1993) [4].     

On the hyperbolicity constant in graphs

If X is a geodesic metric space and x₁,x₂,x₃∈X, a geodesic triangleT={x₁,x₂,x₃} is the union of the three geodesics [x₁x₂], [x₂x₃] and [x₃x₁] in X. The space X is δ-hyperbolic (in the Gromov sense) if, for every geodesic triangle T in X, every side of T is contained in a δ-neighborhood of the union of the other two sides. We denote by δ(X) the sharpest hyperbolicity constant of X, i.e. . In this paper, we obtain several tight bounds for the hyperbolicity constant of a graph and precise values of this constant for some important families of graphs. In particular, we investigate the relationship between the hyperbolicity constant of a graph and its number of edges, diameter and cycles. As a consequence of our results, we show that if G is any graph with m edges with lengths , then , and if and only if G is isomorphic to C_m. Moreover, we prove the inequality for every graph, and we use this inequality in order to compute the precise value δ(G) for some common graphs.     

Smoothness of the moduli space of complexes of coherent sheaves on an abelian or a projective K3 surface

For an abelian or a projective K3 surface X over an algebraically closed field k, consider the moduli space of the objects E in Db(Coh(X)) satisfying and Hom(E,E)≅k. Then we can prove that is smooth and has a symplectic structure.     

Haj?asz-Sobolev imbedding and extension

The author establishes some geometric criteria for a Haj?asz-Sobolev -extension (resp. -imbedding) domain of Rn with n?2, s∈(0,1] and p∈[n/s,∞] (resp. p∈(n/s,∞]). In particular, the author proves that a bounded finitely connected planar domain Ω is a weak α-cigar domain with α∈(0,1) if and only if for some/all s∈[α,1) and p=(2−α)/(s−α), where denotes the restriction of the Triebel-Lizorkin space on Ω.