本刊英文版2009年52卷第5期摘要

Let p be the set of prime numbers and P（n） denote the largest prime factor of integer n 〉 1. Write
C3 = （p1p2p3 ： pi ∈P （i = 1,2,3）, pi ≠ pj （i ≠ j）},
B3 = （p1p2p3 ： pi ∈ P（ i = 1,2,3）, p1 = p2 or p1 = p3 or p2 = P3, but not p1= p2 = p3}.     

On Sums of Two Squares of Primes and a Cube of a Prime

In this paper we are concerned with the exceptional set of the sum of two squares of primesand a cube of a prime P;+p;+p;.Noting that竹三1 or 3(mod 6)is a necessary conditionfor the solvability of the equation n=P}+P;+P;(see【1]),we define E(N)=Card{n:n≤N,礼∈三and n≠P;+Pi+P;for any Pi,1≤i s 3), (1)where三={n:n三1 or 3(mod 6)). This and similar problems have been studied by a number of authors.In 1937,Davenportand Heilbronn[2J proved that if后2 3 is an odd integer then almost all posi…     

Dynamics of a Function Related to the Primes

Let n = p1p2 ··· pk, where pi(1 ≤ i ≤ k) are primes in the descending order and are not all equal. Let Ωk(n) = P(p1 + p2)P(p2 + p3) ··· P(pk-1+ pk)P(pk+ p1), where P(n) is the largest prime factor of n. Define w0(n) = n and wi(n) = w(wi-1(n)) for all integers i ≥ 1. The smallest integer s for which there exists a positive integer t such thatΩs k(n) = Ωs+t k(n) is called the index of periodicity of n. The authors investigate the index of periodicity of n.     

On universal sums of polygonal numbers

For m = 3, 4,..., the polygonal numbers of order m are given by pm(n) =(m- 2) n2 + n(n= 0, 1, 2,...). For positive integers a, b, c and i, j, k 3 with max{i, j, k} 5, we call the triple(api, bpj, cpk)universal if for any n = 0, 1, 2,..., there are nonnegative integers x, y, z such that n = api(x) + bpj(y)+ cpk(z). We show that there are only 95 candidates for universal triples(two of which are(p4, p5, p6) and(p3, p4, p27)), and conjecture that they are indeed universal triples. For many triples(api, bpj, cpk)(including(p3, 4p4, p5),(p4, p5, p6) and(p4, p4, p5)), we prove that any nonnegative integer can be written in the form api(x) + bpj(y) + cpk(z) with x, y, z ∈ Z. We also show some related new results on ternary quadratic forms,one of which states that any nonnegative integer n ≡ 1(mod 6) can be written in the form x2+ 3y2+ 24z2 with x, y, z ∈ Z. In addition, we pose several related conjectures one of which states that for any m = 3, 4,...each natural number can be expressed as pm+1(x1) + pm+2(x2) + pm+3(x3) + r with x1, x2, x3 ∈ {0, 1, 2,...}and r ∈ {0,..., m- 3}.     

与ω函数的动力学相关的逆问题

用P记素数的集合,P（n）表示整数n（〉1）的最大素因子．记C3={p1p2p3：Pi∈P（i=1,2,3）,pi≠pj（i≠j）}, B3={p1p2p3：pi∈P（i=1,2,3）,p1=p2或p1=p3或p2=p3,但非p1=p2=p3}． 对于礼=p1p2p3∈C3UB3,定义训函数为 w（n）=P（p1＋p2）P（p1＋p3）P（p2＋p3）．如果有m∈S∪→C3∪B3,使得w（m）=n,则称m为n的S-亲源． 本文证明：在C3中有无穷多个元,它们有足够多的C3-亲源;在B3中有无穷多个元,它们也有足够多的C3-亲源．本文还证明,在B3中有无穷多个元,它们有足够多的B3-亲源．     

CONTINUOUS MAPPING FROM SPHERES TO EUCLIDEAN SPACES

In the forties Knaster, B., posed the following problem: Gieven a continuous mapping f of an (m+n-2) sphere \({S^{m + n - 2}}\) into the Euclidean m -space \({R^m}\） and n distinct points it \({u_1}, \cdots {u_n}\） of \({S^{m + n - 2}}\); does there exist a rotation r such that \[f(r{u_1}) = \cdots = f(r{u_n})?\] In this paper, the index under periodic transfromation of StieM manifold is applied to prove the following theorem: Given a continuous mapping \（f:{S^{k - 1}} \to {R^m}\）， n distinct points \({u_1}, \cdots {u_n} \in {S^{k - 1}}\） viewed as unit vectors satisfying \({u_i}{u_j} = {u_{i + 1}}{u_{j + 1}},i,j \in {I_n}\), and suppose\({u_1}, \cdots {u_n}\） have rank l, then in each of the following cases, there is a!rotation r such that \[f(r{u_1}) = \cdots = f(r{u_n})\] 1. \[n \ne 2,3,k - 1 = (n - 1)m\]; 2. n is an odd prime number, l even,\[k - 1 = \left[ {\frac{{(n - 1)m}}{2}} \right] + l - 2\]; 3. n is an odd prime number, l odd, \[l \ge \left[ {\frac{{(n - 1)m}}{2}} \right] + 1,k - 1 = \left[ {\frac{{(n - 1)m}}{2}} \right] + l - 2;\] 4. n is an odd prime number, l odd, \[l < \left[ {\frac{{(n - 1)m}}{2}} \right] + 1,k - 1 = (n - 1)m + 1;\] where [*] is the least even number>*. This theorem generalizes the classical Borsuk-Ulam theorem.     

OD-characterization of Almost Simple Groups Related to U3（5）

Let G be a finite group with order ｜G｜=p1^α1p2^α2……pk^αk, where p1 〈 p2 〈……〈 Pk are prime numbers. One of the well-known simple graphs associated with G is the prime graph （or Gruenberg- Kegel graph） denoted .by г（G） （or GK（G））. This graph is constructed as follows： The vertex set of it is π（G） = {p1,p2,…,pk} and two vertices pi, pj with i≠j are adjacent by an edge （and we write pi - pj） if and only if G contains an element of order pipj. The degree deg（pi） of a vertex pj ∈π（G） is the number of edges incident on pi. We define D（G） ：= （deg（p1）, deg（p2）,..., deg（pk））, which is called the degree pattern of G. A group G is called k-fold OD-characterizable if there exist exactly k non- isomorphic groups H such that ｜H｜ = ｜G｜ and D（H） = D（G）. Moreover, a 1-fold OD-characterizable group is simply called OD-characterizable. Let L ：= U3（5） be the projective special unitary group. In this paper, we classify groups with the same order and degree pattern as an almost simple group related to L. In fact, we obtain that L and L.2 are OD-characterizable; L.3 is 3-fold OD-characterizable; L.S3 is 6-fold OD-characterizable.     

A Hybrid of Theorems of Goldbach and Piatetski-Shapiro

It is proved that for almost all sufficiently large even integers n, the prime variable equation n = p1 p2,p1∈Pγis solvable, with 13/15 <γ≤1, where Pγ= {p| p = [mγ/1], for integer to and prime p} is the set of the Piatetski-Shapiro primes.     

A numerical bound for small prime solutions of some binary equations

In this paper we consider the linear equation a1p1+ a2p2 = n in prime variables pi and estimate the numerical value of a relevant constant in the upper bound for small prime solutions of the above equation in terms of max ai.     

The limit case of a domination property

The domination number γ(G) of a connected graph G of order n is bounded below by(n+2-e(G))/ 3 , where (G) denotes the maximum number of leaves in any spanning tree of G. We show that (n+2-e(G))/ 3 = γ(G) if and only if there exists a tree T ∈ T ( G) ∩ R such that n1(T ) = e(G), where n1(T ) denotes the number of leaves of T1, R denotes the family of all trees in which the distance between any two distinct leaves is congruent to 2 modulo 3, and T (G) denotes the set composed by the spanning trees of G. As a consequence of the study, we show that if (n+2-e(G))/ 3 = γ(G), then there exists a minimum dominating set in G whose induced subgraph is an independent set. Finally, we characterize all unicyclic graphs G for which equality (n+2-e(G))/ 3= γ(G) holds and we show that the length of the unique cycle of any unicyclic graph G with (n+2-e(G))/ 3= γ(G) belongs to {4} ∪ {3 , 6, 9, . . . }.     

COMPARISON THEOREMS AND OSCILLATION CRITERIA FOR DIFFERENCE EQUATIONS WITH SEVERAL DELAYS

In this paper, we first establish the equivalence of the oscillation of thedifference equations with several delays of the form: Δx_n+sum from i=1 to m(pi(n)x_(n-k_i))=0 for n≥0and the second-order difference equations without delay of the form:where{pj(n)}is a sequence of nonnegative real numbers and{k_i}_(i=1)~m is a setof positive integers. Then we get some "sharp" conditions for oscillation andnon-oscillation of the first equation.     

The estimate for mean values on prime numbers relative to \frac{4} {p} = \frac{1} {{n_1 }} + \frac{1} {{n_2 }} + \frac{1} {{n_3 }}

If n is a positive integer,let f （n） denote the number of positive integer solutions （n 1,n 2,n 3） of the Diophantine equation 4/n=1/n₁ + 1/n₂ + 1/n₃.For the prime number p,f （p） can be split into f 1 （p） + f 2 （p）,where f i （p） （i=1,2） counts those solutions with exactly i of denominators n 1,n 2,n 3 divisible by p.In this paper,we shall study the estimate for mean values ∑ p相似文献   

Complexity of asymptotic behavior of solutions for the porous medium equation with absorption

In this paper we analyze the large time behavior of nonnegative solutions of the Cauchy problem of the porous medium equation with absorption u t-u m + γup = 0, where γ≥ 0, m 1 and p m + 2/N . We will show that if γ = 0 and 0 μ 2N/(N(m-1)+2), or γ 0 and 1/(p-1)μ2N/(N(m-1)+2), then for any nonnegative function φ in a nonnegative countable subset F of the Schwartz space S (R N ), there exists an initial-value u0 ∈C(RN) with lim x →∞ u 0 (x) = 0 such that φ is an ω-limit point of the rescaled solutions t μ/2 u(t β·, t), where β =[2-μ(m-1)]/4 .     

A Criterion for Elliptic Curves with Second Lowest 2-Power in L（1）（Ⅱ）

Let D = p1p2 …pm, where p1,p2, ……,pm are distinct rational primes with p1 ≡p2 ≡3（mod 8）, pi =1（mod 8）（3 ≤ i ≤ m）, and m is any positive integer. In this paper, we give a simple combinatorial criterion for the value of the complex L-function of the congruent elliptic curve ED2 ： y^2 = x^3- D^2x at s = 1, divided by the period ω defined below, to be exactly divisible by 2^2m-2, the second lowest 2-power with respect to the number of the Gaussian prime factors of D. As a corollary, we obtain a new series of non-congruent numbers whose prime factors can be arbitrarily many. Our result is in accord with the predictions of the conjecture of Birch and Swinnerton-Dyer.     

THE BALL-COVERING PROPERTY ON DUAL SPACES AND BANACH SEQUENCE SPACES

In this paper,we prove that(X,p)is separable if and only if there exists a w^*-lower semicontinuous norm sequence{p_n}_n=1^∞of(X^*,p)such that(1)there exists a dense subset G_nof X^*such that p_nis Gateaux differentiable on G_nand dp_n(Gn_n)■X for all n∈N;(2)p_n≤p and p_n→p uniformly on each bounded subset of X^*;(3)for anyα∈(0,1),there exists a ball-covering{B(x^*i,n,Ti,n)}∞i=1 of(X^*,p_n)such that it isα-off the origin and x_i,n^*∈Gn_n.Moreover,we also prove that if Xi is a Gateaux differentiability space,then there exist a real numberα>0 and a ball-covering(B)i of Xi such that(B)i isα-off the origin if and only if there exist a real numberα>0 and a ball-covering B of l^∞(X_i)such that(B)isα-off the origin.     

On a problem of Sierpiński,Ⅱ

For any integer s≥ 2, let μsbe the least integer so that every integer l μs is the sum of exactly s integers which are pairwise relatively prime. In 1964, Sierpi′nski asked for the determination of μs. Let pibe the i-th prime and let μs= p2 + p3 + + ps+1+ cs. Recently, the authors solved this problem. In particular,we have(1) cs=-2 if and only if s = 2;(2) the set of integers s with cs= 1100 has asymptotic density one;(3) cs∈ A for all s ≥ 3, where A is an explicit set with A ■[2, 1100] and |A| = 125. In this paper, we prove that,(1) for every a ∈ A, there exists an index s with cs= a;(2) under Dickson's conjecture, for every a ∈ A,there are infinitely many s with cs= a. We also point out that recent progress on small gaps between primes can be applied to this problem.     

Critical Exponent for the Parabolic Equation u_t=Δu~m + h(t)u~p in a Cone

In this paper,we study the initial-boundary value problem of porous medium equation ut = Δum + h(t)up in a cone D =(0,∞) ×Ω,where h(t) ～ tσ.Let ω1 denote the smallest Dirichlet eigenvalue for the Laplace-Beltrami operator on Ω and let l denote the positive root of l 2 +(n 2)l = ω1.We prove that if m p ≤ m + 2(σ+1) n+l + σ(m 1),then the problem has no global nonnegative solutions for any nonnegative u0 unless u0 = 0;if p m + 2(σ+1) n+l + σ(m1),then the problem has global solutions for some u 0 ≥ 0.     

Elementary characterizations of generalized weighted Morrey-Campanato spaces

Let α∈ (0,∞), p, q ∈ [1,∞), s be a nonnegative integer, and ω∈ A1(Rn) (the class of Muckenhoupt's weights). In this paper, we introduce the generalized weighted Morrey-Campanato space L(α, p, q, s, ω; Rn) and obtain its equivalence on different p ∈ [1,β) and integers s ≥ nα (the integer part of nα), where β = (1q - α)-1 when α 1q or β = ∞ when α≥ 1q. We then introduce the generalized weighted Lipschitz space ∧(α, q, ω; Rn) and prove that L(α, p, q, s, ω; Rn)  ∧(α, q, ω; Rn) when α∈ (0,∞), s ≥ nα , and p ∈ [1,β).     

Two families of Niho sequences having four-valued cross correlation with m-sequences Dedicated to Professor Yingbo Zhang on the Occasion of His 70th Birthday

For two odd integers m and s with 1≤s m and gcd(m, s) = 1, let h satisfy h(2~s-1) ≡1(mod 2~m+ 1) and d =(h + 1)(2~m-1) + 1. The cross correlation function between a binary m-sequence of period 22~m-1 and its d-decimation sequence is proved to take four values, and the correlation distribution is completely determined. Let n be an even integer and k be an integer with 1≤k≤n/2. For an odd prime p and a p-ary m-sequence {s(t)} of period p~n-1, define u(t) =∑(p~k-1)/2 i=0 s(d_it), where d_i = ip~(n/2) + p~k-i and i = 0, 1,...,(p~k-1)/2. It is proved that the cross correlation function between {u(t)} and {s(t)} is three-valued or four-valued depending on whether k is equal to n/2 or not, and the distribution is also determined.     

Dual submanifolds in rational homology spheres

Let Σ be a simply connected rational homology sphere. A pair of disjoint closed submanifolds M_+, M_-? Σ are called dual to each other if the complement Σ-M_+ strongly homotopy retracts onto M_- or vice-versa. In this paper, we are concerned with the basic problem of which integral triples(n; m_+, m-) ∈ N~3 can appear, where n = dimΣ-1 and m_± = codim M_±-1. The problem is motivated by several fundamental aspects in differential geometry.(i) The theory of isoparametric/Dupin hypersurfaces in the unit sphere S~(n+1) initiated by′Elie Cartan, where M_± are the focal manifolds of the isoparametric/Dupin hypersurface M ? S~(n+1), and m± coincide with the multiplicities of principal curvatures of M.(ii) The Grove-Ziller construction of non-negatively curved Riemannian metrics on the Milnor exotic spheres Σ,i.e., total spaces of smooth S~3-bundles over S~4 homeomorphic but not diffeomorphic to S~7, where M_± =P_±×_(SO(4))S~3, P → S~4 the principal SO(4)-bundle of Σ and P_± the singular orbits of a cohomogeneity one SO(4) × SO(3)-action on P which are both of codimension 2.Based on the important result of Grove-Halperin, we provide a surprisingly simple answer, namely, if and only if one of the following holds true:· m_+ = m_-= n;· m_+ = m_-=1/3n ∈ {1, 2, 4, 8};· m_+ = m_-=1/4n ∈ {1, 2};· m_+ = m_-=1/6n ∈ {1, 2};·n/(m_++m_-)= 1 or 2, and for the latter case, m_+ + m_-is odd if min(m_+, m_-)≥2.In addition, if Σ is a homotopy sphere and the ratio n/(m_++m_-)= 2(for simplicity let us assume 2 m_- m_+),we observe that the work of Stolz on the multiplicities of isoparametric hypersurfaces applies almost identically to conclude that, the pair can be realized if and only if, either(m_+, m_-) =(5, 4) or m_+ + m_-+ 1 is divisible by the integer δ(m_-)(see the table on Page 1551), which is equivalent to the existence of(m_--1) linearly independent vector fields on the sphere S~(m_++m_-)by Adams' celebrated work. In contrast, infinitely many counterexamples are given if Σ is a rational homology sphere.