A note on the probabilistic approach to Turán's problem

The Turán number T(n, l, k) is the smallest possible number of edges in a k-graph on n vertices such that every l-set of vertices contains an edge. Given a k-graph H = (V(H), E(H)), we let X_s(S) equal the number of edges contained in S, for any s-set S?V(H). Turán's problem is equivalent to estimating the expectation E(X_l), given that min(X_l) ≥ 1. The following lower bound on the variance of X_s is proved:

$\text{Var(X}{}_{\mathrm{s}}\text{)?mm}\text{n?2k}\text{s?k}\text{n}\text{s}{}^{\mathrm{?1}}\text{n}\text{k}{}^1$

, where m = |E(H)| and $\text{m}\text{= (}{}_{\mathrm{k}}{}^{\mathrm{n}}\text{) ? m}$. This implies the following: putting t(k, l) = lim_n→∞T(n, l, k)(_kⁿ)^?1 then t(k, l) ≥ T(s, l, k)((_k^s) ? 1)^?1, whenever s ≥ l > k ≥ 2. A connection of these results with the existence of certain t-designs is mentioned.     

Répartition des densités des sous-suites d'une suite d'entiers

Let $\text{A}$ denote a strictly increasing sequence of integers; for any integer n, define A(n) to be the number of positive elements of $\text{A}$ not exceeding n. The upper and lower asymptotic densities of $\text{A}$ are defined by

We describe the set of pairs (d$\text{B}$, $\text{d}$$\text{B}$), where $\text{B}$ runs over all subsequences of $\text{A}$, as being a closed convex region of the plane. The converse statement is also proved.     

On Birman's sequence of Hardy–Rellich-type inequalities

In 1961, Birman proved a sequence of inequalities $\{I_n\}$, for $n\in \mathbb{N}$, valid for functions in $C_0^n((0,\infty ))?L^2((0,\infty ))$. In particular, $I_1$ is the classical (integral) Hardy inequality and $I_2$ is the well-known Rellich inequality. In this paper, we give a proof of this sequence of inequalities valid on a certain Hilbert space $H_n([0,\infty ))$ of functions defined on $[0,\infty )$. Moreover, $f\in H_n([0,\infty ))$ implies $f^{\prime }\in H_{n?1}([0,\infty ))$; as a consequence of this inclusion, we see that the classical Hardy inequality implies each of the inequalities in Birman's sequence. We also show that for any finite $b>0$, these inequalities hold on the standard Sobolev space $H_0^n((0,b))$. Furthermore, in all cases, the Birman constants ${[(2n?1)!!]}^2/2^{2n}$ in these inequalities are sharp and the only function that gives equality in any of these inequalities is the trivial function in $L^2((0,\infty ))$ (resp., $L^2((0,b))$). We also show that these Birman constants are related to the norm of a generalized continuous Cesàro averaging operator whose spectral properties we determine in detail.     

Jensen’s functional equation on the symmetric group S<Subscript>n</Subscript>

Two natural extensions of Jensen’s functional equation on the real line are the equations f(xy) + f(xy ⁻¹) =  2f(x) and f(xy) + f(y ⁻¹ x) =  2f(x), where f is a map from a multiplicative group G into an abelian additive group H. In a series of papers (see Ng in Aequationes Math 39:85–99, 1990; Ng in Aequationes Math 58:311–320, 1999; Ng in Aequationes Math 62:143–159, 2001), Ng solved these functional equations for the case where G is a free group and the linear group GL_n(R), R=\mathbbZ,\mathbbR{{GL_n(R), R=\mathbb{Z},\mathbb{R}}} , is a quadratically closed field or a finite field. He also mentioned, without a detailed proof, in the above papers and in (see Ng in Aequationes Math 70:131–153, 2005) that when G is the symmetric group S _n , the group of all solutions of these functional equations coincides with the group of all homomorphisms from (S _n , ·) to (H, + ). The aim of this paper is to give an elementary and direct proof of this fact.     

Sur la densité divisorielle d'une suite d'entiers

The condition $\text{Σ}{}_{\mathrm{k<x}}\text{|Σ}{}_{\mathrm{n<x}}\text{(χ(n) ? z)}\text{4}{}^{\mathrm{\Omega (n)}}\text{n}\text{| = o(√}\text{log}\text{x)}$, where Ω(n) stands for the number of prime factors, counted according to multiplicity, of the positive integer n, is shown to be necessary and sufficient for the integer sequence with characteristic function χ to have divisor density z, i.e., Σ_d|nχ(d) = (z + o(1)) Σ_d|n 1 when n → ∞ if one neglects a sequence of asymptotic density zero. Among the applications, the following result, first conjectured by R. R. Hall, is proved: given any positive α, we have, for almost all n's, and uniformly with respect to z in |0, 1|,

$\text{card}\text{{d:d|n, (}\text{log}\text{d)}{}^{\mathrm{\alpha }}\text{< z (}\text{mod}\text{1)}=(z+o(1))}\text{∑}\text{d|n}\text{1.}$

     

Critical exponents for the Pucci's extremal operatorsLes exposants critiques pour l'opérateur extrémal de Pucci

In this Note we present some results on the existence of radially symmetric solutions for the nonlinear elliptic equation

(1)$\text{M}{}_{\mathrm{<mtext>\lambda ,</mtext><mtext>\Lambda </mtext>}}{}^{\mathrm{+}}\text{(D}{}^2\text{u)+u}{}^{\mathrm{p}}\text{=0,u?0}\text{in}\text{R}{}^{\mathrm{N}}\text{.}$

Here N?3, p>1 and $\text{M}{}_{\mathrm{<mtext>\lambda ,</mtext><mtext>\Lambda </mtext>}}{}^{\mathrm{+}}$ denotes the Pucci's extremal operators with parameters 0<λ?Λ. The goal is to describe the solution set as function of the parameter p. We find critical exponents $\text{1<p}{}^{\mathrm{s}}{}_{\mathrm{+}}\text{<p}{}^1{}_{\mathrm{+}}\text{<p}{}^{\mathrm{p}}{}_{\mathrm{+}}$, that satisfy: (i) If $\text{1<p<p}{}^1{}_{\mathrm{+}}$ then there is no nontrivial solution of ($\text{1}$). (ii) If $\text{p=p}{}^1{}_{\mathrm{+}}$ then there is a unique fast decaying solution of ($\text{1}$). (iii) If $\text{p}{}^1\text{<p?p}{}^{\mathrm{p}}{}_{\mathrm{+}}$ then there is a unique pseudo-slow decaying solution to ($\text{1}$). (iv) If p^p₊<p then there is a unique slow decaying solution to ($\text{1}$). Similar results are obtained for the operator $\text{M}{}_{\mathrm{<mtext>\lambda ,</mtext><mtext>\Lambda </mtext>}}{}^{\mathrm{?}}$. To cite this article: P.L. Felmer, A. Quaas, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 909–914.     

Proof of Artés–Llibre–Valls's conjectures for the Higgins–Selkov and the Selkov systems

The aim of this paper is to prove Artés–Llibre–Valls's conjectures on the uniqueness of limit cycles for the Higgins–Selkov system and the Selkov system. In order to apply the limit cycle theory for Liénard systems, we change the Higgins–Selkov and the Selkov systems into Liénard systems first. Then, we present two theorems on the nonexistence of limit cycles of Liénard systems. At last, the conjectures can be proven by these theorems and some techniques applied for Liénard systems.     

Marcus–Lushnikov processes,Smoluchowski’s and Flory’s models

The Marcus–Lushnikov process is a finite stochastic particle system in which each particle is entirely characterized by its mass. Each pair of particles with masses x$x$ and y$y$ merges into a single particle at a given rate K(x,y)$K(x,y)$. We consider a strongly gelling   kernel behaving as K(x,y)=x^αy+xy^α$K(x,y)=x^{\alpha }y+x{y}^{\alpha }$ for some α∈(0,1]$\alpha \in (0,1]$. In such a case, it is well-known that gelation occurs, that is, giant particles emerge. Then two possible models for hydrodynamic limits of the Marcus–Lushnikov process arise: the Smoluchowski equation, in which the giant particles are inert, and the Flory equation, in which the giant particles interact with finite ones.     

Ekeland's inverse function theorem in graded Fréchet spaces revisited for multifunctions

In this paper, we present some inverse function theorems and implicit function theorems for set-valued mappings between Fréchet spaces. The proof relies on Lebesgue's Dominated Convergence Theorem and on Ekeland's variational principle. An application to the existence of solutions of differential equations in Fréchet spaces with non-smooth data is given.     

On the relation of Voevodsky’s algebraic cobordism to Quillen’s <Emphasis Type="Italic">K</Emphasis>-theory

Quillen’s algebraic K-theory is reconstructed via Voevodsky’s algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P¹-spectrum MGL of Voevodsky is considered as a commutative P¹-ring spectrum. Setting we regard the bigraded theory MGL ^p,q as just a graded theory. There is a unique ring morphism which sends the class [X]_MGL of a smooth projective k-variety X to the Euler characteristic of the structure sheaf . Our main result states that there is a canonical grade preserving isomorphism of ring cohomology theories

A computational meshless method for the generalized Burger’s–Huxley equation

A numerical solution of the generalized Burger’s–Huxley equation, based on collocation method using Radial basis functions (RBFs), called Kansa’s approach is presented. The numerical results are compared with the exact solution, Adomian decomposition method (ADM) and Variational iteration method (VIM). Highly accurate and efficient results are obtained by RBFs method. Excellent agreement with the exact solution is observed while better (or same) accuracy is obtained than other numerical schemes cited in this work.     

Éclosions combinatoires appliquées à l'inversion multidimensionnelle des séries formelles

Using general methods from the theory of combinatorial species, in the sense of A. Joyal (Adv. in Math.42 (1981), 1–82), symmetric powers of suitably chosen differential operators are interpreted combinatorially in terms of “éclosions” (bloomings) of certain kinds of points, called “bourgeons” (buds), into certain kinds of structures, called “gerbes” (bundles). This gives rise to a combinatorial setting and simple proof of a general multidimensional power series reversion formula of the Lie-Gröbner type (14., 15.). Some related functional equations are also treated and an adaptation of the results to the reversion of cycle index (indicatrix) series, in the sense of Pólya-Joyal (Joyal, loc. cit.), is given.     

用矩阵的初等变换解矩阵方程Am&#215;nXn&#215;s=Bm&#215;s

本文通过对一般的矩阵方程Am&#215;nXn&#215;s=Bm&#215;s?B5木卣驛和B作初等行变换及初等列变换，给出了一般矩阵方程的求解方法。     

An analog of Gonchar’s theorem for the <Emphasis Type="Italic">m</Emphasis>-point version of Leighton’s conjecture

Gonchar’s theorem on the validity of Leighton’s conjecture for arbitrary nondecreasing sequences of exponents of general C-fractions is extended to continued fractions of a more general form.     

Erdős measures on the Euclidean space and on the group of <Emphasis Type="Italic">A</Emphasis>-adic integers

Let A ∈ M _n (?) be a matrix with eigenvalues greater than 1 in absolute value. The ? ⁿ -valued random variables ξ _t , t ∈ ?, are i.i.d., and P(ξ _t = j) = p _j , j ∈ ? ⁿ , 0 < p ₀ < 1, ∑ _j p _j = 1. We study the properties of the distributions of the ? ⁿ -valued random variable ζ ₁ = ∑ _t=1 ^∞ A ^?t ξ _t and of the random variable ζ = ∑ _t=0 ^∞ A ^t ξ _?t taking integer A-adic values. We obtain a necessary and sufficient condition for the absolute continuity of these distributions. We define an invariant Erd?s measure on the compact abelian group of A-adic integers. We also define an A-invariant Erd?s measure on the n-dimensional torus. We show the connection between these invariant measures and functions of countable stationary Markov chains. In the case when |{j: p _j ≠ 0}| < ∞, we establish the relation between these invariant measures and finite stationary Markov chains.     

Blow-up analysis for Boltzmann–Poisson equation in Onsager's theory for point vortices with multi-intensities

In this paper we consider the minimizing sequence for some energy functional of an elliptic equation associated with the mean field limit of the point vortex distribution one-sided Borel probability measure. If such a sequence blows up, we derive some estimate which is related to the behavior of solution near the blow-up point. Moreover, we study the two-intensities case to consider the sufficient condition for this estimate. Our main results are new for the standard mean field equation as well.     

A characterization of those categories whose internal logic is Hilbert's ε-calculus

We characterize categories whose internal logic is Hilbert's ε-calculus as those categories which have a proper factorization system satisfying the axiom of choice and in which every non-initial object is injective. We provide an example of such a category where the law of excluded middle is not valid.     

On Saint Venant's compatibility conditions and Poincaré's lemma

Saint Venant's theorem constitutes a classical characterization of smooth matrix fields as linearized strain tensor fields. This theorem has been extended to matrix fields with components in $L^2$ by the second author and P. Ciarlet, Jr. in 2005. One objective of this Note is to further extend this characterization to matrix fields whose components are only in $H^{\mathrm{?1}}$. Another objective is to demonstrate that Saint Venant's theorem is in fact nothing but the matrix analog of Poincaré's lemma. To cite this article: C. Amrouche et al., C. R. Acad. Sci. Paris, Ser. I 342 (2006).