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.     

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）.     

Inequalities for derivatives of functions in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

  We obtain a new sharp inequality for the local norms of functions x ∈ L _{∞, ∞} ^r (R), namely,

The Average Widths of Sobolev-Wiener Classes and Besov-Wiener Classes

This paper concerns the problem of average σ-width of Sobolev-Wiener classes W^rpq(R^d),W^rpq(M,R^d),and Besov-Wiener classes S^rpqθb(R^d).S^rpqθB(R^d),S^rpqθb(M,R^d),S^rpqθB(R^d)in the metric Lq(R^d) for 1≤q≤p≤∞.The weak asymptotic results concerning the average linear widths,the average Bernstein widths and the infinite-dimensional Gel‘fand widths are obtained,respectively.     

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．     

Gauss Sum of Index 4： （1） Cyclic Case

Let p be a prime, m ≥ 2, and （m,p（p - 1）） = 1. In this paper, we will calculate explicitly the Gauss sum G（X） = ∑x∈F＊qX（x）ζ^Tp^（x） in the case of [（Z/mZ）＊ ： （p）] = 4, and -1 （不属于） （p）, where q P^f, f =φ（m）/4, X is a multiplicative character of Fq with order m, and T is the trace map for Fq/Fp. Under the assumptions [（Z/mZ）＊ ： （p）] = 4 and 1（不属于） （p）, the decomposition field of p in the cyclotomic field Q（ζm） is an imaginary quartic （abelian） field. And G（X） is an integer in K. We deal with the case where K is cyclic in this oaDer and leave the non-cvclic case to the next paper.     

The Dual Spaces of Sets of Difference Sequences of Order <Emphasis Type="Italic">m</Emphasis> and Matrix Transformations

Let p = （pk）k=0^∞ be a bounded sequence of positive reals, m C N and u be s sequence of nonzero terms. If x = （xk）k=0^∞ is any sequence of complex numbers we write Δ（m）x for the sequence of the m th order differences of x and Δu^（m）X = {x=（x）k=0^∞ uΔ（m）x ∈ X} for any set X of sequences. We determine the α-, β- and γ-duals of the sets Δμ^（m）X for X=co（p）,c（p）,l∞（p） and characterize some matrix transformations between these spaces Δ^（m）X.     

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].     

Characterization of Compact Support of Fourier Transform for Orthonormal Wavelets of L^2（R^d）

Let{ψμ} be an orthonormal wavelet of L^2（R^d） and the support of a whole of its Fourier transform be Uμsupp{ψμ}=Пi=1^d[Ai, Di]-Пi=1^d（Bi, Ci）, Ai≤Bi≤Ci≤Di. Under the weakest condition that each │ψμ│, is continuous for ω ∈ δ（Пi=1^d[Ai, Di]）, a characterization of the above support of a whole is given.     

<Emphasis Type="Italic">q</Emphasis>-Besselian Frames in Banach Spaces

In this paper, we introduce the concepts of q-Besselian frame and （p, σ）-near Riesz basis in a Banach space, where a is a finite subset of positive integers and 1/p＋1/q = 1 with p 〉 1, q 〉 1, and determine the relations among q-frame, p-Riesz basis, q-Besselian frame and （p, σ）-near Riesz basis in a Banach space. We also give some sufficient and necessary conditions on a q-Besselian frame for a Banach space. In particular, we prove reconstruction formulas for Banach spaces X and X^＊ that if {xn}n=1^∞ C X is a q-Besselian frame for X, then there exists a p-Besselian frame {y＆＊}n=1^∞ belong to X^＊ for X^＊ such that x = ∑n=1^∞ yn^＊（x）xn for all x ∈ X, and x^＊ =∑n=1^∞ x^＊（xn）yn^＊ for all x^＊ ∈ X^＊. Lastly, we consider the stability of a q-Besselian frame for the Banach space X under perturbation. Some results of J. R. Holub, P. G. Casazza, O. Christensen and others in Hilbert spaces are extended to Banach spaces.     

Upper Bounds on Character Sums with Rational Function Entries

We obtain formulac and estimates for character sums of the type S(x,f,p^m)=∑x=1^p^mx(f(f)),where p^m is a prime power with m≥2,x is a multiplicative character(mod p^m),and f=f1/f2 is a rational function over Z.In particular,if p is odd,d=deg(f1) deg(f2) and d^*=max(deg(f1),deg(f2)) then we obtain |S(x,f,p^m)|≤(d-1)p^m(1-1/d^*) for any non-constant f (mod p) and primitive character x.For p=2 an extra factor of 2√2 is needed.     

The Commutators of Fractional Integrals on Besov Spaces

Abstract   In this paper we consider the commutators of fractional integrals

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.     

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]}     

Gauss Sum of Index 4： （2） Non-cyclic Case

Assume that m ≥ 2, p is a prime number, （m,p（p - 1）） = 1,-1 not belong to 〈p〉 belong to （Z/mZ）^＊ and [（Z/mZ）^＊：〈p〉]=4.In this paper, we calculate the value of Gauss sum G（X）=∑x∈F^＊x（x）ζp^T（x） over Fq,where q=p^f,f=φ（m）/4,x is a multiplicative character of Fq and T is the trace map from Fq to Fp.Under our assumptions,G（x） belongs to the decomposition field K of p in Q（ζm） and K is an imaginary quartic abelian unmber field.When the Galois group Gal（K/Q） is cyclic,we have studied this cyclic case in anotyer paper：＂Gauss sums of index four：（1）cyclic case＂（accepted by Acta Mathematica Sinica,2003）.In this paper we deal with the non-cyclic case.     

More on Bounding Introspection in Modal Nonmonotonic Logics

Abstract By we denote the set of all propositional formulas. Let be the set of all clauses. Define . In Sec. 2 of this paper we prove that for normal modal logics , the notions of -expansions and -expansions coincide. In Sec. 3, we prove that if I consists of default clauses then the notions of -expansions for I and -expansions for I coincide. To this end, we first show, in Sec. 3, that the notion of -expansions for I is the same as that of -expansions for I. The project is supported by NSFC     

Asymptotics for the Korteweg-de Vries-Burgers Equation

We study large time asymptotics of solutions to the Korteweg-de Vries-Burgers equation ut＋uux-uxx＋uxxx=0,x∈R,t〉0. We are interested in the large time asymptotics for the case when the initial data have an arbitrary size. We prove that if the initial data u0 ∈H^s （R）∩L^1 （R）, where s 〉 -1/2, then there exists a unique solution u （t, x） ∈C^∞ （（0,∞）;H^∞ （R）） to the Cauchy problem for the Korteweg-de Vries-Burgers equation, which has asymptotics u（t）=t^-1/2fM（（·）t^-1/2）＋0（t^-1/2） as t →∞, where fM is the self-similar solution for the Burgers equation. Moreover if xu0 （x） ∈ L^1 （R）, then the asymptotics are true u（t）=t^-1/2fM（（·）t^-1/2）＋O（t^-1/2-γ） where γ ∈ （0, 1/2）.     

A Useful Extension of Ito＇s Formula with Applications to Optimal Stopping

Given a continuous semimartingale M = （Mt）t≥〉0 and a d-dimensional continuous process of locally bounded variation V = （V^1,……, V^d）, the multidimensional Ito Formula states that f（Mt, Vt） - f（M0, V0） = ∫[0, t] Dx0f（Ms, Vs）dMs＋∑i=1^d∫[0, t] Dxi F（Ms, Vs）dVs^i＋1/2∫[0, t] Dx0^2 f（Ms, Vs）d 〈M〉s if f（x0,……,xd） is of C^2-type with respect to x0 and of C^1-type with respect to the other arguments This formula is very useful when solving various optimal stopping problems based on Brownian motion. However, in such application the function f typically fails to satisfy the stated conditions in that its first partial derivative with respect to x0 is only absolutely continuous. We prove that the formula remains true for such functions and demonstrate its use with two examples from Mathematical Finance.     

Asymptotic Approximations of Jacobi Functions and Their Zeros with Error Bounds

The study of zeros of orthogonal functions is an important topic. In this paper, by improving the middle variable x（t）, we＇ve got a new form of asymptotic approximation, completed with error bounds, it is constructed for the Jacobi functions φu^（α,β）（t）（α 〉 -1） as μ→∞. Besides, an accurate approximation with error bounds is also constructed correspondingly for the zeros tμ,s of φu^（α,β）（t）（α≥ 0） as μ→∞, uniformly with respect to s = 1, 2,....     

Primal-dual Interior-point Algorithms for Second-order Cone Optimization Based on a New Parametric Kernel Function

A class of polynomial primal-dual interior-point algorithms for second-order cone optimization based on a new parametric kernel function, with parameters p and q, is presented. Its growth term is between linear and quadratic. Some new tools for the analysis of the algorithms are proposed. The complexity bounds of O（√Nlog N log N/ε） for large-update methods and O（√Nlog N/ε） for smallupdate methods match the best known complexity bounds obtained for these methods. Numerical tests demonstrate the behavior of the algorithms for different results of the parameters p and q.