Pósa-condition and nowhere-zero 3-flows

Let G be a simple graph on n vertices and π(G)=(d₁,d₂,…,d_n) be the degree sequence of G, where n≥3 and d₁≤d₂≤?≤d_n. The classical Pósa’s theorem states that if d_m≥m+1 for and d_m+1≥m+1 for n being odd and , then G is Hamiltonian, which implies that G admits a nowhere-zero 4-flow. In this paper, we further show that if G satisfies the Pósa-condition that d_m≥m+1 for and d_m+1≥m+1 for n being odd and , then G has no nowhere-zero 3-flow if and only if G is one of seven completely described graphs.     

Bornitude et continuité de la transformation de Lévy en analyse

In our previous papers (Adv. in Math. 138 (1) (1998) 182; Potential Anal. 12 (2000) 419), we have obtained a decomposition of |f|, where f is a function defined on , that is analogous to the one proved by H. Tanaka for martingales (the so-called “Tanaka formula”). More precisely, the decomposition has the form , where is (a variant of ) the density of the area integral associated with f. This functional (introduced by R.F. Gundy in his 1983 paper (The density of area integral, Conference on Harmonic Analysis in Honor of Antoni Zygmund. Wadsworth, Belmont, CA, 1983, pp. 138-149.)) can be viewed as the counterpart of the local time in Euclidean harmonic analysis. In this paper, we are interested in boundedness and continuity properties of the mapping (which we call the Lévy transform in analysis) on some classical function or distribution spaces. As was shown in [4,5], the above (non-linear) decomposition is bounded in L^p for every p∈[1,+∞[, i.e. one has , where C_p is a constant depending only on p. Nevertheless our methods (roughly speaking, the Calderón-Zygmund theory in [4], stochastic calculus and martingale inequalities in [5]) both gave constants C_p whose order of magnitude near 1 is O(1/(p−1)). The aim of this paper is two-fold: first, we improve the preceding result and we answer a natural question, by proving that the best constants C_p are bounded near 1. Second, we prove that the Lévy transform is continuous on the Hardy spaces H^p with p>n/(n+1).     

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.     

On the Korteweg–de Vries Equation: Convergent Birkhoff Normal Form

The Korteweg–de Vries equation (KdV)[formula]is a completely integrable Hamiltonian system of infinite dimension with phase space the Sobolev spaceH^N(S¹; ), (N?1), Hamiltonian (q):=∫_S1((∂_xq(x))²+q(x)³) dx, and Poisson structure ∂/∂x. The functionq≡0 is an elliptic fixed point. We prove that for anyN?1, the Korteweg–de Vries equation (and thus the entire KdV-hierarchy) admits globally defined real analytic action-angle variables. As a consequence it follows that in a neighborhood ofq≡0 inH¹(S¹; ), the KdV-Hamiltonian (and similarly any Hamiltonian in the KdV-hierarchy) admits a convergent Birkhoff normal form; to the best of our knowledge this is the first such example in infinite dimension. Moreover, using the constructed action-angle variables, we analyze the regularity properties of the Hamiltonian vectorfield of KdV.     

Fonction asymptotique de Samuel des sections hyperplanes et multiplicité

Let (A,m_A,k) be a local noetherian ring and I an m_A-primary ideal. The asymptotic Samuel function (with respect to I) : A?R∪{+∞} is defined by , ∀x∈A. Similarly, one defines, for another ideal J, as the minimum of as x varies in J. Of special interest is the rational number . We study the behavior of the asymptotic Samuel function (with respect to I) when passing to hyperplane sections of A as one does for the theory of mixed multiplicities.     

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.     

Unicité des solutions des équations de Navier–Stokes dans les espaces de Morrey–Campanato

In a recent work [P.G. Lemarié-Rieusset, Uniqueness for the Navier–Stokes problem: Remarks on a theorem of Jean-Yves Chemin, Nonlinearity 20 (2007) 1475–1490], P.G. Lemarié-Rieusset proved the uniqueness of solution to the Navier–Stokes equations in the space provided that p>2 and q>d. In this paper, we prove a local version of this result which covers the limit case q=d. Precisely, we prove the uniqueness of solution to the Navier–Stokes equations in the space for every p>2 and r>2 where is the closure of the test functions in the Morrey–Campanato space Mr,d(Rd). The prove of our result relies on an extension of the Comparison Theorem of P.G. Lemarié-Rieusset (Theorem 21.1 in [P.G. Lemarié-Rieusset, Recent developments in the Navier–Stokes problem, Chapman & Hall/CRC, 2002]). Moreover, this extension allows us to prove the uniqueness of solution to the Navier–Stokes equations in a functional space closed to the critical space C([0,T],M2,d(Rd)).     

Counting lattice chains and Delannoy paths in higher dimensions

Lattice chains and Delannoy paths represent two different ways to progress through a lattice. We use elementary combinatorial arguments to derive new expressions for the number of chains and the number of Delannoy paths in a lattice of arbitrary finite dimension. Specifically, fix nonnegative integers n₁,…,n_d, and let L denote the lattice of points (a₁,…,a_d)∈Z^d that satisfy 0≤a_i≤n_i for 1≤i≤d. We prove that the number of chains in L is given by where . We also show that the number of Delannoy paths in L equals Setting n_i=n (for all i) in these expressions yields a new proof of a recent result of Duchi and Sulanke [9] relating the total number of chains to the central Delannoy numbers. We also give a novel derivation of the generating functions for these numbers in arbitrary dimension.     

New cases of Reay’s conjecture on partitions of points into simplices with -dimensional intersection

Reay’s conjecture asserts that every set of (m−1)(d+1)+k+1 points in general position in (with 0≤k≤d) has a partition X₁,X₂,…,X_m such that is at least k-dimensional. We prove this conjecture in several cases: when m≤8 (for arbitrary d and k), when d=6,d=7 and d=8 (for arbitrary m and k), and when k=1 and d≤24 (for arbitrary m).     

Grandes valeurs et nombres champions de la fonction arithmétique de Kalmár

The Kalmár function K(n) counts the factorizations n=x₁x₂…xr with xi?2(1?i?r). Its Dirichlet series is where ζ(s) denotes the Riemann ζ function. Let ρ=1.728… be the root greater than 1 of the equation ζ(s)=2. Improving on preceding results of Kalmár, Hille, Erd?s, Evans, and Klazar and Luca, we show that there exist two constants C₅ and C₆ such that, for all n, holds, while, for infinitely many n's, .An integer N is called a K-champion number if M<N⇒K(M)<K(N). Several properties of K-champion numbers are given, mainly about the size of the exponents and the number of prime factors in the standard factorization into primes of a large enough K-champion number.The proof of these results is based on the asymptotic formula of K(n) given by Evans, and on the solution of a problem of optimization.     

A quadratic Bolza-type problem in a Riemannian manifold

A classical nonlinear equation on a complete Riemannian manifold is considered. The existence of solutions connecting any two points is studied, i.e., for T>0 the critical points of the functional with x(0)=x₀,x(T)=x₁. When the potential V has a subquadratic growth with respect to x, J_T admits a minimum critical point for any T>0 (infinitely many critical points if the topology of is not trivial). When V has an at most quadratic growth, i.e., , this property does not hold, but an optimal arrival time T(λ)>0 exists such that, if 0<T<T(λ), any pair of points in can be joined by a critical point of the corresponding functional. For the existence and multiplicity results, variational methods and Ljusternik-Schnirelman theory are used. The optimal value is fulfilled by the harmonic oscillator. These ideas work for other related problems.     

2-Groupe des classes positives d'un corps de nombres et noyau sauvage de la K-théorie

We compute the 2-rank of the wild kernel WK₂(F) of a number field by constructing a 2-class group ad hoc. The main result generalizes in the more intricate case the canonical isomorphism established for odd primes under the assumption in a previous article (cf. (Acta. Arith. 67 (1994) 335; Math. Z. 238 (2001) 335)). It involves a criterium of triviality for the 2-part of the wild kernel of Galois number fields and, in the particular case of quadratic fields, it leads to a logarithmic interpretation of the diophantine conditions obtained by other authors.     

Bifurcations and distribution of limit cycles which appear from two nests of periodic orbits

In this paper, we study the distribution and simultaneous bifurcation of limit cycles bifurcated from the two periodic annuli of the holomorphic differential equation , after a small polynomial perturbation. We first show that, under small perturbations of the form , where is a polynomial of degree 2m−1 in which the power of z is odd and the power of is even, the only possible distribution of limit cycles is (u,u) for all values of u=0,1,2,…,m−3. Hence, the sharp upper bound for the number of limit cycles bifurcated from each two period annuli of is m−3, for m≥4. Then we consider a perturbation of the form , where is a polynomial of degree m in which the power of z is odd and obtain the upper bound m−5, for m≥6. Moreover, we show that the distribution (u,v) of limit cycles is possible for 0≤u≤m−5, 0≤v≤m−5 with u+v≤m−2 and m≥9.     

Sub-criticality of non-local Schrödinger systems with antisymmetric potentials and applications to half-harmonic maps

We consider non-local linear Schrödinger-type critical systems of the type(1) where Ω is antisymmetric potential in L²(R,so(m)), v is an Rm valued map and Ωv denotes the matrix multiplication. We show that every solution v∈L²(R,Rm) of (1) is in fact in , for every 2?p<+∞, in other words, we prove that the system (1) which is a-priori only critical in L² happens to have a subcritical behavior for antisymmetric potentials. As an application we obtain the regularity of weak 1/2-harmonic maps into C² compact sub-manifolds without boundary.     

On a conjecture of Erd?s, Graham and Spencer, II

It is conjectured by Erd?s, Graham and Spencer that if 1≤a₁≤a₂≤?≤a_s are integers with , then this sum can be decomposed into n parts so that all partial sums are ≤1. This is not true for as shown by a₁=?=a_n−2=1, . In 1997 Sandor proved that Erd?s-Graham-Spencer conjecture is true for . Recently, Chen proved that the conjecture is true for . In this paper, we prove that Erd?s-Graham-Spencer conjecture is true for .     

Estimations anisotropes dans les convexes de type fini

Let Ω be a smoothly bounded convex domain of finite type m and f be a (0,1)-form -closed in Ω. It is proved that the equation admits a solution u belonging to the space Λ1(Ω) (respectively to the anisotropic space Γ^α_(ρ) of McNeal-Stein, for all α,0<α<1/m) if the anisotropic norm - introduced by Bruna-Charpentier-Dupain - is finite (respectively if the Euclidian norm ‖f‖_∞ of the form f is finite).     

Quadratic Gauss Sums

Letpbe a prime integer andmbe an integer, not divisible byp. LetKbe the splitting field ofX^m−1 over the prime field _p. Solving the Gauss sums problem of ordermin characteristicpmeans determining Gauss sums of all multiplicative characters ofKof order dividingm. Our aim is to solve this problem when the subgroup 〈p〉 is of index 2 in (/m)^*.     

Unconditional constants and polynomial inequalities

If P is a polynomial on R^m of degree at most n, given by , and P_n(R^m) is the space of such polynomials, then we define the polynomial |P| by . Now if is a convex set, we define the norm on P_n(R^m), and then we investigate the inequality providing sharp estimates on for some specific spaces of polynomials. These ’s happen to be the unconditional constants of the canonical bases of the considered spaces.