The higher-order Picone identity and comparison of half-linear differential equations of even order

An identity of the Picone type for higher-order half-linear ordinary differential operators of the form and where p_j and P_j, j=0,…,n, are continuous functions defined on [a,b] and , is derived and then the Sturmian comparison theory for the corresponding 2nth-order equations l_α[x]=0 and L_α[y]=0 based on this identity is developed.     

On the layered nearest neighbour estimate, the bagged nearest neighbour estimate and the random forest method in regression and classification

Let be identically distributed random vectors in R^d, independently drawn according to some probability density. An observation is said to be a layered nearest neighbour (LNN) of a point if the hyperrectangle defined by and contains no other data points. We first establish consistency results on , the number of LNN of . Then, given a sample of independent identically distributed random vectors from R^d×R, one may estimate the regression function by the LNN estimate , defined as an average over the Y_i’s corresponding to those which are LNN of . Under mild conditions on r, we establish the consistency of towards 0 as n→∞, for almost all and all p≥1, and discuss the links between r_n and the random forest estimates of Breiman (2001) [8]. We finally show the universal consistency of the bagged (bootstrap-aggregated) nearest neighbour method for regression and classification.     

Existence for nonlinear evolution inclusions with nonlocal retarded initial conditions

In this paper, we prove a sufficient condition for the global existence of bounded C⁰-solutions for a class of nonlinear functional differential evolution equation of the form where X is a real Banach space, A is the infinitesimal generator of a nonlinear compact semigroup, is a nonempty, convex, weakly compact valued, and almost strongly–weakly u.s.c. multi-function, and is nonexpansive.     

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.     

On the irrationality of factorial series III

In this paper we derive some irrationality and linear independence results for series of the form where is either a non-negative integer sequence with υ_n = o(log n/log log n) or a non-decreasing integer sequence with .     

CERES in higher-order logic

We define a generalization of the first-order cut-elimination method CERES to higher-order logic. At the core of lies the computation of an (unsatisfiable) set of sequents (the characteristic sequent set) from a proof π of a sequent S. A refutation of in a higher-order resolution calculus can be used to transform cut-free parts of π (the proof projections) into a cut-free proof of S. An example illustrates the method and shows that can produce meaningful cut-free proofs in mathematics that traditional cut-elimination methods cannot reach.     

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 Ω.     

On linear and nonlinear fourth-order eigenvalue problems with indefinite weight

We determine the principal eigenvalues of the linear indefinite weight problem Moreover, we investigate the existence of positive solutions for the corresponding nonlinear indefinite weight problem, where g:[0,1]→R is a continuous function which attains both positive and negative values, f∈C(R,R), and r is a parameter.     

Modulation spaces, Wiener amalgam spaces, and Brownian motions

We study the local-in-time regularity of the Brownian motion with respect to localized variants of modulation spaces and Wiener amalgam spaces . We show that the periodic Brownian motion belongs locally in time to and for (s−1)q<−1, and the condition on the indices is optimal. Moreover, with the Wiener measure μ on T, we show that and form abstract Wiener spaces for the same range of indices, yielding large deviation estimates. We also establish the endpoint regularity of the periodic Brownian motion with respect to a Besov-type space . Specifically, we prove that the Brownian motion belongs to for (s−1)p=−1, and it obeys a large deviation estimate. Finally, we revisit the regularity of Brownian motion on usual local Besov spaces , and indicate the endpoint large deviation estimates.     

More Efficient Algorithm for Ordered Tree Inclusion

Given two ordered trees and , the tree inclusion problem is to determine whether it is possible to obtain from by deleting nodes. Recently, this problem has been recognized as an important primitive in query processing for structured text databases. In this paper we present anO(|leaves()| ||) time andO(|leaves()|min(depth(), |leaves()|)) space algorithm for ordered tree inclusion, by means of a sophisticated bottom-up-matching strategy. Our algorithm improves the previous best one (Kilpeläinen, 1992, Ph.D. thesis, Dept. Computer Science, Univ. Helsinki) that requiresO(|| ||) time andO(||min(depth(), |leaves()|)) space.     

Pointwise characterizations of Besov and Triebel–Lizorkin spaces and quasiconformal mappings

In this paper, the authors characterize, in terms of pointwise inequalities, the classical Besov spaces and Triebel–Lizorkin spaces for all s∈(0,1) and p,q∈(n/(n+s),∞], both in Rn and in the metric measure spaces enjoying the doubling and reverse doubling properties. Applying this characterization, the authors prove that quasiconformal mappings preserve on Rn for all s∈(0,1) and q∈(n/(n+s),∞]. A metric measure space version of the above morphism property is also established.     

The Real Tree

In this note, it is shown that there exists a natural metric on the set[formula]of bounded subsets of containing their infimum which endowsTwith the structure of an -tree so that, for everyt∈T, the “number” of connected components ofT\{t} coincides with the cardinality #() of the set of subsets of . In addition, the set of ends ofTis explicitly determined, and various further features ofTare discussed, too.     

Isochronicity conditions for some planar polynomial systems II

We study the isochronicity of centers at O∈R² for systems where A,B∈R[x,y], which can be reduced to the Liénard type equation. When deg(A)?4 and deg(B)?4, using the so-called C-algorithm we found 36 new multiparameter families of isochronous centers. For a large class of isochronous centers we provide an explicit general formula for linearization. This paper is a direct continuation of a previous one with the same title [Islam Boussaada, A. Raouf Chouikha, Jean-Marie Strelcyn, Isochronicity conditions for some planar polynomial systems, Bull. Sci. Math. 135 (1) (2011) 89–112], but it can be read independently.     

Radially increasing minimizing surfaces or deformations under pointwise constraints on positions and gradients

In this paper, we prove existence of radially symmetric minimizersu_A(x)=U_A(|x|), having U_A(⋅)AC monotone and increasing, for the convex scalar multiple integral(∗ ) among those u(⋅) in the Sobolev space. Here, |∇u(x)| is the Euclidean norm of the gradient vector and B_R is the ball ; while A is the boundary data.Besides being e.g. superlinear (but no growth needed if (∗) is known to have minimum), our Lagrangian?^∗∗:R×R→[0,∞] is just convex lsc and and ?^∗∗(s,⋅) is even; while ρ₁(⋅) and ρ₂(⋅) are Borel bounded away from .Remarkably, (∗) may also be seen as the calculus of variations reformulation of a distributed-parameter scalar optimal control problem. Indeed, state and gradient pointwise constraints are, in a sense, built-in, since ?^∗∗(s,v)=∞ is freely allowed.     

Asymptotic distributions of maxima of complete and incomplete samples from multivariate stationary Gaussian sequences

Let be a sequence of d-dimensional stationary Gaussian vectors, and let denote the partial maxima of . Suppose that there are missing data in each component of and let denote the partial maxima of the observed variables. In this note, we study two kinds of asymptotic distributions of the random vector where the correlation and cross-correlation satisfy some dependence conditions.     

Second order, multi-point problems with variable coefficients

In this paper, we consider the eigenvalue problem consisting of the equation where and λ∈R, together with the multi-point boundary conditions where m^±?1 are integers, and, for i=1,…,m^±, , , with , . We show that if the coefficients are sufficiently small (depending on r), then the spectral properties of this problem are similar to those of the usual separated problem, but if the coefficients are not sufficiently small, then these standard spectral properties need not hold. The spectral properties of such multi-point problems have been obtained before for the constant coefficient case (r≡1), but the variable coefficient case has not been considered previously (apart from the existence of ‘principal’ eigenvalues).Some nonlinear multi-point problems are also considered. We obtain a (partial) Rabinowitz-type result on global bifurcation from the eigenvalues, and various nonresonance conditions for the existence of general solutions and also of nodal solutions—these results rely on the spectral properties of the linear problem.     

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.     

Independence results for variants of sharply bounded induction

The theory , axiomatized by the induction scheme for sharply bounded formulae in Buss’ original language of bounded arithmetic (with ⌊x/2⌋ but not ⌊x/2^y⌋), has recently been unconditionally separated from full bounded arithmetic S₂. The method used to prove the separation is reminiscent of those known from the study of open induction.We make the connection to open induction explicit, showing that models of can be built using a “nonstandard variant” of Wilkie’s well-known technique for building models of IOpen. This makes it possible to transfer many results and methods from open to sharply bounded induction with relative ease.We provide two applications: (i) the Shepherdson model of IOpen can be embedded into a model of , which immediately implies some independence results for ; (ii) extended by an axiom which roughly states that every number has a least 1 bit in its binary notation, while significantly stronger than plain , does not prove the infinity of primes.     

Higher order log-concavity in Euler’s difference table

For 0≤k≤n, let be the entries in Euler’s difference table and let . Dumont and Randrianarivony showed equals the number of permutations on [n] whose fixed points are contained in {1,2,…,k}. Rakotondrajao found a combinatorial interpretation of the number in terms of k-fixed-points-permutations of [n]. We show that for any n≥1, the sequence is essentially 2-log-concave and reverse ultra log-concave.     

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 ρ.