Hardy’s theorem for zeta-functions of quadratic forms

LetQ(u ₁,…,u ₁) =Σd _ij u _i u _j (i,j = 1 tol) be a positive definite quadratic form inl(≥3) variables with integer coefficientsd _ij (=d _ji ). Puts=σ+it and for σ>(l/2) write $$Z_Q (s) = \Sigma '(Q(u_1 ,...,u_l ))^{ - s} ,$$ where the accent indicates that the sum is over alll-tuples of integer (u ₁,…,u _l ) with the exception of (0,…, 0). It is well-known that this series converges for σ>(l/2) and that (s-(l/2))Z _Q (s) can be continued to an entire function ofs. Let σ be any constant with 0<σ<1/100. Then it is proved thatZ _Q (s)has ?_δTlogT zeros in the rectangle(|σ-1/2|≤δ, T≤t≤2T).     

Robustness of orthogonal matching pursuit under restricted isometry property

Orthogonal matching pursuit(OMP)algorithm is an efcient method for the recovery of a sparse signal in compressed sensing,due to its ease implementation and low complexity.In this paper,the robustness of the OMP algorithm under the restricted isometry property(RIP) is presented.It is shown that δK+√KθK,11is sufcient for the OMP algorithm to recover exactly the support of arbitrary K-sparse signal if its nonzero components are large enough for both l2bounded and l∞bounded noises.     

Un semi-groupe régularisé pour un modèle de Lebowitz–RubinowA regularized semigroup for a Lebowitz–Rubinow's model

In this Note, we complete [1] and we study the Lebowitz–Rubinow's model with the biological law of perfect memory. In this model, each cell is characterized by its cell cycle length l (0?l₁<l<l₂<∞) and its age a (0<a<l). If l₁>0, a complete study of this model can be found in [1]. Here we show that if l₁=0 then this model becomes ill-posed. We use the theory of generalized semigroups to remedy to this model. To cite this article: M. Boulanouar, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 865–868.     

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.     

Existence of positive solution for some class of nonlinear fractional differential equations

In this paper, we investigate the multiple and infinitely solvability of positive solutions for nonlinear fractional differential equation Du(t)=t^νf(u), 0<t<1, where D=t^−βδD_β^γ−δ,δ, β>0, γ?0, 0<δ<1, ν>−β(γ+1). Our main work is to deal with limit case of f(s)/s as s→0 or s→∞ and Φ(s)/s, Ψ(s)/s as s→0 or s→∞, where Φ(s), Ψ(s) are functions connected with function f. In J. Math. Appl. 252 (2000) 804-812, we consider the existence of a positive solution for the particular case of Eq. (1.1), i.e., the Riemann-Liouville type (β=1, γ=0) nonlinear fractional differential equation, using the super-lower solutions method. Here, we devote to the existence of positive solution and multi-positive solutions for Eq. (1.1) by means of the fixed point theorems for the cone.     

What Is the Complexity of Surface Integration?

We study the worst case complexity of computing ε-approximations of surface integrals. This problem has two sources of partial information: the integrand f and the function g defining the surface. The problem is nonlinear in its dependence on g. Here, f is an r times continuously differentiable scalar function of l variables, and g is an s times continuously differentiable injective function of d variables with l components. We must have d⩽l and s⩾1 for surface integration to be well-defined. Surface integration is related to the classical integration problem for functions of d variables that are min{r, s−1} times continuously differentiable. This might suggest that the complexity of surface integration should be Θ((1/ε)^{d/min{r, s−1}}). Indeed, this holds when d<l and s=1, in which case the surface integration problem has infinite complexity. However, if d⩽l and s⩾2, we prove that the complexity of surface integration is O((1/ε)^d/min{r, s}). Furthermore, this bound is sharp whenever d<l.     

(k, l)-Algebraic Stability of Gauss Methods

It is well known that the s-stage Gauss Runge-Kutta methodsof order 2s are algebraically stable, or equivalently (1, 0)-algebraicallystable. In this paper, we show that there exists some l_s >0 such that the Gauss methods are (k, l) algebraically stablefor l [0, l_s) with k(l)=e^2l+O(l^p+1, where p=2s if s=1 or s=2,and p=2 if s>3.     

Complemented subspaces of (l 2⊕l 2⊕…) p (1<p<∞) with an unconditional basis

It is proved that every infinite dimensional complemented subspace of (l ₂⊕l ₂⊕…) _p (1<p<∞) with an unconditional basis is isomorphic to one of the following four spaces:l ₂,l _p,l ₂⊕l _p, (l ₂⊕l ₂⊕…) _p .     

The bounds of restricted isometry constants for low rank matrices recovery

This paper discusses conditions under which the solution of linear system with minimal Schatten-p norm, 0 < p ? 1, is also the lowest-rank solution of this linear system. To study this problem, an important tool is the restricted isometry constant (RIC). Some papers provided the upper bounds of RIC to guarantee that the nuclear-norm minimization stably recovers a low-rank matrix. For example, Fazel improved the upper bounds to δ _4r ^A < 0.558 and δ _3r ^A < 0.4721, respectively. Recently, the upper bounds of RIC can be improved to δ _2r ^A < 0.307. In fact, by using some methods, the upper bounds of RIC can be improved to δ _2r ^A < 0.4931 and δ _2r ^A < 0.309. In this paper, we focus on the lower bounds of RIC, we show that there exists linear maps A with δ _2r ^A > 1/√2 or δ _r ^A > 1/3 for which nuclear norm recovery fail on some matrix with rank at most r. These results indicate that there is only a little limited room for improving the upper bounds for δ _2r ^A and δ _r ^A . Furthermore, we also discuss the upper bound of restricted isometry constant associated with linear maps A for Schatten p (0 < p < 1) quasi norm minimization problem.     

l k,s -Singular values and spectral radius of rectangular tensors

The real rectangular tensors arise from the strong ellipticity condition problem in solid mechanics and the entanglement problem in quantum physics. In this paper, we study the singular values/vectors problem of real nonnegative partially symmetric rectangular tensors. We first introduce the concepts of l ^k,s -singular values/vectors of real partially symmetric rectangular tensors. Then, based upon the presented properties of l ^k,s -singular values /vectors, some properties of the related l ^k,s -spectral radius are discussed. Furthermore, we prove two analogs of Perron-Frobenius theorem and weak Perron-Frobenius theorem for real nonnegative partially symmetric rectangular tensors.     

Global well-posedness of the fractional Klein-Gordon-Schrödinger system with rough initial data

We investigate the low regularity local and global well-posedness of the Cauchy problem for the coupled Klein-Gordon-Schrödinger system with fractional Laplacian in the Schrödinger equation in R¹⁺¹. We use Bourgain space method to study this problem and prove that this system is locally well-posed for Schrödinger data in H^s1 and wave data in H^s2 ×H^s2?1 for 3/4?α < s₁ ≤ 0 and ?1/2 < s₂ < 3/2, where α is the fractional power of Laplacian which satisfies 3/4 < α ≤ 1. Based on this local well-posedness result, we also obtain the global well-posedness of this system for s₁ = 0 and ?1/2 < s₂ < 1/2 by using the conservation law for the L² norm of u.     

Representation of natural numbers by sums of four squares of integers having a special form

This paper obtains an asymptotic formula for the number of solutions to the equation $ l_1^2 + { }l_2^2 + l_3^2 + l_4^2 = N $ in integers l ₁, l ₂, l ₃, l ₄ such that a < {??l _j } < b, where ?? is a quadratic irrational number, 0 ?? a < b ?? 1, j = 1, 2, 3, 4.     

Inner and outer radial density functions in singly-excited 1snl states of the He atom

The one-electron radial density function D(r) has recently been found to be separable into inner D_<(r) and outer D_>(r) radial density functions. The inner D_<(r) and outer D_>(r) densities are studied for 28 singly-excited 1snl singlet and triplet states (0≤l<n≤5) of the He atom at a correlated level. Theoretical structures of D_<(r) and D_>(r) are discussed within the Hartree-Fock framework. Comparison of correlated D_<(r) and D_>(r) with hydrogenic radial densities based on the modal characteristics and Carbó’s similarity index clarifies that D_<(r) represents the 1s density of the helium cation, while D_>(r) extracts the nl density of the hydrogen atom from D(r). The radial separation 〈|r₁−r₂|〉, which constitutes a lower bound to the standard deviation of D(r), is shown to be estimated from the location of the outermost maximum of D_>(r).     

Approximation methods for common fixed points for a countable family of nonexpansive mappings

Let E=L_p or l_p space, 1<p<∞. Let K be a closed, convex and nonempty subset of E. Let be a family of nonexpansive self-mappings of K. For arbitrary fixed δ∈(0,1), define a family of nonexpansive maps by S_i?(1−δ)I+δT_i where I is the identity map of K. Let . It is proved that the iterative sequence {x_n} defined by: x₀∈K,x_n+1=α_nu+∑_i≥1σ_i,tnS_ix_n,n≥0 converges strongly to a common fixed point of the family where {α_n} and {σ_i,tn} are sequences in (0,1) satisfying appropriate conditions, in each of the following cases: (a) E=l_p,1<p<∞, and (b) E=L_p,1<p<∞ and at least one of the maps T_i’s is demicompact. Our theorems extend the results of [P. Maingé, Approximation methods for common fixed points of nonexpansive mappings in Hilbert space, J. Math. Anal. Appl. 325 (2007) 469-479] from Hilbert spaces to l_p spaces, 1<p<∞.     

Automorphisms of Chevalley groups of types A l , D l , or E l over local rings with 1/2

In this paper, we prove that every automorphism of an (elementary) Chevalley group of type A _l , D _l , or E _l , l ≥ 2, over a commutative local ring with 1/2 is standard, i.e., is the composition of inner, ring, graph, and central automorphisms.     

(k, l)-Algebraic Stability of Runge-Kutta Methods

For ordinary differential equations satisfying a one-sided Lipschitzcondition with Lipschitz constant v, the solutions satisfy with l=hv, so that, in the case of Runge-Kutta methods, estimatesof the form ||y_n||²k(l)||y_n–1||² are desirable. Burrage(1986) has investigated the behaviour of the error-boundingfunction k for positive l for the family of s-stage Gauss methodsof order 2s, and has shown that k(l)=exp 2l+O(l³) (l0) for s3.In this paper, we extend the analysis of k to any irreduciblealgebraically stable Runge-Kutta method, and obtain resultsabout the maximum order of k as an approximation to exp 2l.As a particular example, we investigate the function k for allalgebraically stable methods of order 2s–1.     

The ranks of primitive parabolic permutation representations of the simple groups B l (q), C l (q), and D l (q)

We determine the ranks of the permutation representations of the simple groups B _l (q), C _l (q), and D _l (q) on the cosets of the parabolic maximal subgroups.     

Distribution of the spectrum of a singular positive Sturm–Liouville operator perturbed by the Dirac delta function

We consider the Sturm–Liouville operator generated in the space L ²[0,+∞) by the expression l _a,b:= ?d ²/dx ² +x+aδ(x?b) and the boundary condition y(0) = 0. We prove that the eigenvalues λ _n of this operator satisfy the inequalities λ₁ ⁰ < λ₁ < λ₂ ⁰ and λ_n ⁰ ≤ λ_n < λ_n+1 ⁰, n = 2, 3,..., where {?λ_n ⁰} is the sequence of zeros of the Airy function Ai (λ). We find the asymptotics of λ_n as n → +∞ depending on the parameters a and b.     

Nouvelle demonstration d’un theoreme de J. L. Krivine sur la finie representation del p dans un espace de Banach

We prove that if (x _n) is a sequence in a Banach space with infinite dimensional span, thenc _o orl _p for al<=p<∞ is block finitely represented in (x _n).