Cubic residues and binary quadratic forms

Let p>3 be a prime, u,v,d∈Z, gcd(u,v)=1, p?u²−dv² and , where is the Legendre symbol. In the paper we mainly determine the value of by expressing p in terms of appropriate binary quadratic forms. As applications, for we obtain a general criterion for and a criterion for εd to be a cubic residue of p, where εd is the fundamental unit of the quadratic field . We also give a general criterion for , where {Un} is the Lucas sequence defined by U₀=0, U₁=1 and Un+1=PUn−QUn−1 (n?1). Furthermore, we establish a general result to illustrate the connections between cubic congruences and binary quadratic forms.     

Well-posedness of the fourth-order perturbed Schrödinger type equation in non-isotropic Sobolev spaces

In this paper we study the Cauchy problem of the non-isotropically perturbed fourth-order nonlinear Schrödinger type equation: ((x₁,x₂,…,xn)∈Rn, t?0), where a is a real constant, 1?d<n is an integer, g(x,|u|)u is a nonlinear function which behaves like α|u|u for some constant α>0. By using Kato method, we prove that this perturbed fourth-order Schrödinger type equation is locally well-posed with initial data belonging to the non-isotropic Sobolev spaces provided that s₁,s₂ satisfy the conditions: s₁?0, s₂?0 for or for with some additional conditions. Furthermore, by using non-isotropic Sobolev inequality and energy method, we obtain some global well-posedness results for initial data belonging to non-isotropic Sobolev spaces .     

On upper bounds for positive solutions of semilinear equations

Suppose that E is a bounded domain of class C^2,λ in and L is a uniformly elliptic operator in E. The set of all positive solutions of the equation Lu=ψ(u) in E was investigated by a number of authors for various classes of functions ψ. In Dynkin and Kuznetsov (Comm. Pure Appl. Math. 51 (1998) 897) we defined, for every Borel subset Γ of ∂E, two such solutions u_Γ?w_Γ. We also introduced a class of solutions u_ν in 1-1 correspondence with a certain class of σ-finite measures ν on ∂E. With every we associated a pair (Γ,ν) where Γ is a Borel subset of ∂E and . We called this pair the fine boundary trace of u and we denoted in tr(u).Let u⊕v stand for the maximal solution dominated by u+v. We say that u belongs to the class if the condition tr(u)=(Γ,ν) implies that u?w_Γ⊕u_ν and we say that u belongs to if the condition tr(u)=(Γ,ν) implies that u?u_Γ⊕u_ν.It was proved in Dynkin and Kuznetsov (1998) that, under minimal assumptions on L and ψ, the class contains all bounded domains. It follows from results of Mselati (Thése de Doctorat de l'Université Paris 6, 2002; C.R. Acad. Sci. Paris Sér. I 332 (2002); Mem. Amer. Math. Soc. (2003), to appear), that all E of the class C⁴ belong to where Δ is the Laplacian and ψ(u)=u². [Mselati proved that, in his case, u_Γ=w_Γ and therefore the condition tr(u)=(Γ,ν) implies u=u_Γ⊕u_ν=w_Γ⊕u_ν.]By modifying Mselati's arguments, we extend his result to ψ(u)=u^α with 1<α?2 and all bounded domains of class C^2,λ.We start from proving a general localization theorem: under broad assumptions on L, ψ if, for every y∈∂E there exists a domain such that E′⊂E and ∂E∩∂E′ contains a neighborhood of y in ∂E.     

Quartic residues and binary quadratic forms

Let be a prime, m∈Z and . In this paper we obtain a general criterion for m to be a quartic residue in terms of appropriate binary quadratic forms. Let d>1 be a squarefree integer such that , where is the Legendre symbol, and let ε_d be the fundamental unit of the quadratic field . Since 1942 many mathematicians tried to characterize those primes p so that ε_d is a quadratic or quartic residue . In this paper we will completely solve these open problems by determining the value of , where p is an odd prime, and . As an application we also obtain a general criterion for , where {u_n(a,b)} is the Lucas sequence defined by and .     

Higher power moments of the Riesz mean error term of symmetric square L-function

Let be the error term of the Riesz mean of the symmetric square L-function. We give the higher power moments of and show that if there exists a real number A₀:=A₀(ρ)>3 such that , then we can derive asymptotic formulas for , 3?h<A₀, h∈N. Particularly, we get asymptotic formulas for , h=3,4,5 unconditionally.     

A restricted sum formula among multiple zeta values

For positive integers α₁,α₂,…,αr with αr?2, the multiple zeta value or r-fold Euler sum is defined as

     

Local well-posedness for the dispersion generalized periodic KdV equation

In this paper, we set up the local well-posedness of the initial value problem for the dispersion generalized periodic KdV equation: t_∂u+x_∂α|Dx|u=x_∂u², u(0)=φ for α>2, and φ∈Hs(T). And we show that the is a lower endpoint to obtain the bilinear estimates (1.2) and (1.3) which are the crucial steps to obtain the local well-posedness by Picard iteration. The case α=2 was studied in Kenig et al. (1996) [10].     

A simple proof for a theorem of Luxemburg and Zaanen

In this paper a simple proof for the following theorem, due to Luxemburg and Zaanen is given: an Archimedean vector lattice A is Dedekind σ-complete if and only if A has the principal projection property and A is uniformly complete. As an application, we give a new and short proof for the following version of Freudenthal's spectral theorem: let A be a uniformly complete vector lattice with the principal projection property and let 0<u∈A. For any element w in A such that 0?w?u there exists a sequence in A which satisfies , where each element sn is of the form , with real numbers α₁,…,αk such that 0?αi?1 (i=1,…,k) and mutually disjoint components p₁,…,pk of u.     

Deduction of L. Hörmander's extension of Ásgeirsson's mean value theorem

L. Hörmander's extension of Ásgeirsson's mean value theorem states that if u is a solution of the inhomogeneous ultrahyperbolic equation (Δ_x−Δ_y)u=f, , , then

     

Solutions of non-periodic super-quadratic Dirac equations

This paper is concerned with solutions to the Dirac equation: −i∑αkk_∂u+aβu+M(x)u=Ru(x,u). Here M(x) is a general potential and R(x,u) is a self-coupling which is super-quadratic in u at infinity. We use variational methods to study this problem. By virtue of some auxiliary system related to the “limit equation” of the Dirac equation, we construct linking levels of the variational functional ΦM such that the minimax value cM based on the linking structure of ΦM satisfies , where is the least energy of the “limit equation”. Thus we can show the c(C)-condition holds true for all and consequently obtain one least energy solution to the Dirac equation.     

Rationality theorems for Hecke operators on GLn

We define n families of Hecke operators for GL_n whose generating series are rational functions of the form q_k(u)⁻¹ where q_k is a polynomial of degree , and whose form is that of the kth exterior product. This work can be viewed as a refinement of work of Andrianov (Math. USSR Sb. 12(3) (1970)), in which he defined Hecke operators the sum of whose generating series was a rational function with nontrivial numerator and whose denominator was essentially .By a careful analysis of the Satake map which defines an isomorphism between a local Hecke algebra and a ring of symmetric polynomials, we define n families of (polynomial) Hecke operators and characterize their generating series as rational functions. We then give an explicit means by which to locally invert the Satake isomorphism, and show how to translate these polynomial operators back to the classical double coset setting. The classical Hecke operators have generating series of exactly the same form as their polynomial counterparts, and hence are of number-theoretic interest. We give explicit examples for GL₃ and GL₄.     

Self-similar solutions of the porous medium equation in a half-space with a nonlinear boundary condition: existence and symmetry

We find existence of a nonnegative compactly supported solution of the problem Δu=u^α in , ∂u/∂ν=u on . Moreover, we prove that every nonnegative solution with finite energy is compactly supported and radially symmetric in the tangential variables.     

A description of continued fraction expansions of quadratic surds represented by polynomials

The principal thrust of this investigation is to provide families of quadratic polynomials , where e_k²−f_k²C=n (for any given nonzero integer n) satisfying the property that for any , the period length of the simple continued fraction expansion of is constant for fixed k and lim_k→∞?_k=∞. This generalizes, and completes, numerous results in the literature, where the primary focus was upon |n|=1, including the work of this author, and coauthors, in Mollin (Far East J. Math. Sci. Special Vol. 1998, Part III, 257-293; Serdica Math. J. 27 (2001) 317) Mollin and Cheng (Math. Rep. Acad. Sci. Canada 24 (2002) 102; Internat Math J 2 (2002) 951) and Mollin et al. (JP J. Algebra Number Theory Appl. 2 (2002) 47).     

The asymptotic behaviour of solutions with blow-up at the boundary for semilinear elliptic problems

By constructing the comparison functions and the perturbed method, it is showed that any solution u∈C²(Ω) to the semilinear elliptic problems Δu=k(x)g(u), x∈Ω, u_|∂Ω=+∞ satisfies , where Ω is a bounded domain with smooth boundary in RN; , −2<σ, c₀>0, ; g∈C¹[0,∞), g?0 and is increasing on (0,∞), there exists ρ>0 such that , ∀ξ>0, , .