8-ranks of Class Groups of Some Imaginary Quadratic Number Fields

Let F = Q（√-p1p2） be an imaginary quadratic field with distinct primes p1 = p2 = 1 mod 8 and the Legendre symbol （p1/p2） = 1. Then the 8-rank of the class group of F is equal to 2 if and only Pl if the following conditions hold： （1） The quartic residue symbols （p1/p2）4 = （p2/p1）4 = 1; （2） Either both p1 and p2 are represented by the form a^2 ＋ 32b^2 over Z and p^h2＋（2p1）/4=x^2-2p1y^2,x,y∈Z,or both p1 and p2 are not represented by the form a^2 ＋ 32b^2 over Z and p^h2＋（2p1）/4=ε（2x^2-p1y^2）,x,y∈Z,ε∈{±1},where h＋（2p1） is the narrow class number of Q（√2p1）,Moreover, we also generalize these results.     

On the Order of Magnitude of the Divisor Function

Let D be an increasing sequence of positive integers, and consider the divisor functions： d（n, D） =∑d｜n,d∈D,d≤√n1, d2（n,D）=∑[d,δ]｜n,d,δ∈D,[d,δ]≤√n1, where [d,δ]=1.c.m.（d,δ）. A probabilistic argument is introduced to evaluate the series ∑n=1^∞and（n,D） and ∑n=1^∞and2（n,D）.     

Reproducing Spaces and Localization Operators

This paper, by using of windowed Fourier transform (WFT), gives a family of embedding operators Tn:L^2(R)→L^2(C,e^-|z|^2/2dzd-↑z/4πi), s.t. TnL^2(R) lontain in L^2(C,e^-|z|^2/2dzd-↑z/4πi) are reproducing subspaces (n=0, Bargmann Space); and gives a reproducing kernel and an orthonormal basis (ONB) of TnL^2(R), Furthermore, it shows the orthogonal spaces decomposition of L^2(C,e^-|z|^2/2dzd-↑z/4πi). Finally, by using the preceding results, it shows the eigenvalues and eigenfunctions of a class of localization operators associated with WFT, which extends the result of Daubechies in [1] and [6].     

Analytic Extension of Functions from Analytic Hilbert Spaces

Let M be an invariant subspace of Hv2. It is shown that for each f∈M⊥, f can be analytically extended across (?)Bd\σ(Sz1,…, Szd).     

Precise Asymptotics in the Law of the Iterated Logarithm of Moving-Average Processes

In this paper, we discuss the moving-average process Xk = ∑i=-∞ ^∞ ai＋kεi, where {εi;-∞ 〈 i 〈 ∞} is a doubly infinite sequence of identically distributed ψ-mixing or negatively associated random variables with mean zeros and finite variances, {ai;-∞ 〈 i 〈 -∞） is an absolutely solutely summable sequence of real numbers.     

Regularity of Weak Solutions of Nonlinear Equations with Discontinuous Coefficients

In this paper, we prove that the weak solutions u∈Wloc^1, p （Ω） （1 〈p〈∞） of the following equation with vanishing mean oscillation coefficients A（x）： -div[（A（x）△↓u·△↓u）p-2/2 A（x）△↓u＋│F（x）│^p-2 F（x）]=B（x, u, △↓u）, belong to Wloc^1, q （Ω）（A↓q∈（p, ∞）, provided F ∈ Lloc^q（Ω） and B（x, u, h） satisfies proper growth conditions where Ω ∪→R^N（N≥2） is a bounded open set, A（x）=（A^ij（x）） N×N is a symmetric matrix function.     

Blow-up criterion for 2-D Boussinesq equations in bounded domain

We extend the results for 2-D Boussinesq equations from ℝ² to a bounded domain Ω. First, as for the existence of weak solutions, we transform Boussinesq equations to a nonlinear evolution equation U _t + A(t, U) = 0. In stead of using the methods of fundamental solutions in the case of entire ℝ², we study the qualities of F(u, υ) = (u · ▽)υ to get some useful estimates for A(t, U), which helps us to conclude the local-in-time existence and uniqueness of solutions. Second, as for blow-up criterions, we use energy methods, Sobolev inequalities and Gronwall inequality to control and by and . Furthermore, can control by using vorticity transportation equations. At last, can control . Thus, we can find a blow-up criterion in the form of .      

A singular Moser-Trudinger embedding and its applications

Let Ω be a bounded domain in , we prove the singular Moser-Trudinger embedding: if and only if where and . We will also study the corresponding critical exponent problem.     

A Note on Certain Block Spaces on the Unit Sphere

In this note, we clarify a relation between block spaces and the Hardy space. We obtain Bq^0.v belong to H^1（S^n-1）＋L（ln＋L）^1＋v（s^n-1）,v〉-1,q〉1,Furthermore,if v≥ 0, q 〉 1. we verify that block spaces Rq^0.v（S^n-1）are proper subspaces of H1 （S^n- 1）,     

Some generalizations of Knopp's identity*

For integers a, b and n > 0, define

On Well-posed Mutually Nearest and Mutually Furthest Point Problems in Banach Spaces

Let G be a non-empty closed(resp．bounded closed)boundedly relatively weakly compact subset in a strictly convex Kadec Banach space X．Let K(X)denote the space of all non-empty compact convex subsets of X endowed with the Hausdorff distance．Moreover,let KG(X)denote the closure of the set {A∈K(x)：A∩G=0}．We prove that the set of all A∈KG(X)(resp．A∈K(X)),such that the minimization (resp．maximization)problem min(A,G)(resp．max(A,G))is well posed,contains a dense Gδ-subset of KG(X)(resp．K(X))．thus extending the recent results due to Blasi,Myjak and Papini and Li．     

A Nontrivial Product of Filtration s ＋ 5 in the Stable Homotopy of Spheres

In this paper, some groups Ext A^s.t （Zp, Zp） with specialized s and t are first computed by the May spectrM sequence. Then we make use of the Adams spectral sequence to prove the existence of a new nontrivial family of filtration s＋5 in the stable homotopy groups of spheres πpnq＋（s＋3）pq＋（s＋1）q-5S which is represented （up to a nonzero scalar） by β＋2bohh∈ExtA^s＋5,P^nq＋（n＋3）pq＋（n＋1）q＋s（Zp, Zp） in the Adams spectral sequence, where p ≥ 5 is a prime number, n ≥3, 0≤ s 〈 p - 3, q = 2（p - 1）.     

On Approximation by Reciprocals of Spherical Harmonics in L p Norm

Let S^1-1,q≥2,be the surface of the unit sphere in the Euclidean space R^1,f（x）∈L^p（S^q-1）,f（x）≥0,f absohutely unegual to 0,1≤p≤＋∞,Then,it is proved in the present paper that there is a spherical harmonics PN（x） of order≤N and a constant C〉0 such that where ω（f,δ）L^p=sup 0〈t≤δ‖St（f）-f‖L^p is a kind of moduli of continuity and ^‖f-1/PN‖L^p≤Cω（f,N^-1）L^p,St（f,μ）=1/｜S^q-2｜Sin^2λt ∫-μμ’=t f（μ＇）dμ＇ is a translation operator.     

Multilinear Singular Integrals with Rough Kernel

For a class of multilinear singular integral operators T _A ,

Analysis of an Age Structured SEIRS Epidemic Model with Varying Total Population Size and Vaccination

This article focuses on the study of an age structured SEIRS epidemic model with a vaccinationprogram when the total population size is not kept at constant.We first give the explicit expression of thereproduction number R(ψ,(?)) in the presence of vaccine ((?) is the exponent of growth of total population),andshow that the infection-free steady state is linearly stable if R(ψ,(?))<1 and unstable if R(ψ,(?))>1,then weapply the theoretical results to vaccination policies to determine the optimal age or ages at which an individualshould be vaccinated.It is shown that the optimal strategy can be either one- or two-age strategies.     

The Asymptotics of the Two-Dimensional Wave Equation for a General Multi-Connected Vibrating Membrane with Piecewise Smooth Robin Boundary Conditions

The asymptotic expansion for small |t| of the trace of the wave kernel ∧↑μ(t) =∑v=1^∞exp(-it μv^1/2), where i= √-1 and {μv}v=1^∞ are the eigenvalues of the negative Laplacian -△=-∑β=1^2(δ/δx^β)^2 in the (x^1, x^2)-plane, is studied for a multi-connected vibrating membrane Ω in R^2 surrounded by simply connected bounded domains Ωj with smooth boundaries δΩj(j=1,...,n), where a finite number of piecewise smooth Robin boundary conditions on the piecewise smooth components Гi(i=1 κj-1,...,κj) of the boundaries δΩj are considered, such that δΩj=∪i=1 κj-1^κj Гi and κ0=0. The basic problem is to extract information on the geometry of Ω using the wave equation approach. Some geometric quantities of Ω (e.g. the area of Ω, the total lengths of its boundary, the curvature of its boundary, the number of the holes of Ω, etc.) are determined from the asymptotic expansion of the trace of the wave kernel ∧↑μ(t) for small |t|.     

A Littlewood-Paley type inequality

In this note we prove the following theorem: Let u be a harmonic function in the unit ball and . Then there is a constant C = C(p, n) such that

Nonlinear Parabolic Equations with Singularities in Colombeau Vector Spaces

We consider nonlinear parabolic equations with nonlinear non-Lipschitz＇s term and singular initial data like Dirac measure, its derivatives and powers. We prove existence-uniqueness theorems in Colombeau vector space yC^1,W^2,2（[0,T）,R^n）,n ≤ 3. Due to high singularity in a case of parabolic equation with nonlinear conservative term we employ the regularized derivative for the conservative term, in order to obtain the global existence-uniqueness result in Colombeau vector space yC^1,L^2（[0,T）,R^n）,n≤ 3.     

A Representation of the Lorentz Spin Group and Its Application

For an integer m ≥ 4, we define a set of 2[m/2] × 2[m/2] matrices γj （m）, （j = 0, 1,..., m - 1） which satisfy γj （m）γk （m） ＋γk （m）γj （m） = 2ηjk （m）I[m/2], where （ηjk （m）） 0≤j,k≤m-1 is a diagonal matrix, the first diagonal element of which is 1 and the others are -1, I[m/2] is a 2[m/1] × 2[m/2] identity matrix with [m/2] being the integer part of m/2. For m = 4 and 5, the representation （m） of the Lorentz Spin group is known. For m≥ 6, we prove that （i） when m = 2n, （n ≥ 3）, （m） is the group generated by the set of matrices {T｜T=1/√ξ（（I＋k） 0 ＋ 0 I-K） （ U 0 0 U）, （ii） when m = 2n ＋ 1 （n≥ 3）, （m） is generated by the set of matrices {T｜T=1/√ξ（I -k^- k I）U,U∈ （m-1）,ξ=1-m-2 ∑k,j=0 ηkja^k a^j〉0, K=i[m-3 ∑j=0 a^j γj（m-2）＋a^（m-2） In],K^-=i[m-3∑j=0 a^j γj（m-2）-a^（m-2） In]}     

Supersaturation For Ramsey-Turán Problems

For an l-graph , the Turán number is the maximum number of edges in an n-vertex l-graph containing no copy of . The limit is known to exist [8]. The Ramsey–Turán density is defined similarly to except that we restrict to only those with independence number o(n). A result of Erdős and Sós [3] states that as long as for every edge E of there is another edge E′of for which |E∩E′|≥2. Therefore a natural question is whether there exists for which . Another variant proposed in [3] requires the stronger condition that every set of vertices of of size at least εn (0<ε<1) has density bounded below by some threshold. By definition, for every . However, even is not known for very many l-graphs when l>2. We prove the existence of a phenomenon similar to supersaturation for Turán problems for hypergraphs. As a consequence, we construct, for each l≥3, infinitely many l-graphs for which . We also prove that the 3-graph with triples 12a, 12b, 12c, 13a, 13b, 13c, 23a, 23b, 23c, abc, satisfies . The existence of a hypergraph satisfying was conjectured by Erdős and Sós [3], proved by Frankl and R?dl [6], and later by Sidorenko [14]. Our short proof is based on different ideas and is simpler than these earlier proofs. * Research supported in part by the National Science Foundation under grants DMS-9970325 and DMS-0400812, and an Alfred P. Sloan Research Fellowship. † Research supported in part by the National Science Foundation under grants DMS-0071261 and DMS-0300529.