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.     

A Fully Nonlinear Nonhomogeneous Neumann Problem

Let Ω be an open bounded set in ℝ^N, N≥3, with connected Lipschitz boundary ∂Ω and let a(x,ξ) be an operator of Leray–Lions type (a(⋅,∇u) is of the same type as the operator |∇u|^p−2∇u, 1<p<N). If τ is the trace operator on ∂Ω, [φ] the jump across ∂Ω of a function φ defined on both sides of ∂Ω, the normal derivative ∂/∂ν_a related to the operator a is defined in some sense as 〈a(⋅,∇u),ν〉, the inner product in ℝ^N, of the trace of a(⋅,∇u) on ∂Ω with the outward normal vector field ν on ∂Ω. If β and γ are two nondecreasing continuous real functions everywhere defined in ℝ, with β(0)=γ(0)=0, f∈L¹(ℝ^N), g∈L¹(∂Ω), we prove the existence and the uniqueness of an entropy solution u for the following problem,

Central polynomials and matrix invariants

LetK be a field, charK=0 andM _n (K) the algebra ofn×n matrices overK. If λ=(λ₁,…,λ _m ) andμ=(μ ₁,…,μ _m ) are partitions ofn ² let wherex ₁,…,x _n ²,y ₁,…,y _n ² are noncommuting indeterminates andS _n ² is the symmetric group of degreen ². The polynomialsF ^{λ, μ} , when evaluated inM _n (K), take central values and we study the problem of classifying those partitions λ,μ for whichF ^{λ, μ} is a central polynomial (not a polynomial identity) forM _n (K). We give a formula that allows us to evaluateF ^{λ, μ} inM(K) in general and we prove that if λ andμ are not both derived in a suitable way from the partition δ=(1, 3,…, 2n−3, 2n−1), thenF ^{λ, μ} is a polynomial identity forM _n (K). As an application, we exhibit a new class of central polynomials forM _n (K). In memory of Shimshon Amitsur Research supported by a grant from MURST of Italy.     

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.     

New Besov-type spaces and Triebel–Lizorkin-type spaces including Q spaces

Let ${s,\,\tau\in\mathbb{R}}Let s, t ? \mathbbR{s,\,\tau\in\mathbb{R}} and q ? (0,￥]{q\in(0,\infty]} . We introduce Besov-type spaces [(B)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} for p ? (0, ￥]{p\in(0,\,\infty]} and Triebel–Lizorkin-type spaces [(F)\dot]^s, t_p, q(\mathbbRⁿ) for p ? (0, ￥){{{{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}\,{\rm for}\, p\in(0,\,\infty)} , which unify and generalize the Besov spaces, Triebel–Lizorkin spaces and Q spaces. We then establish the j{\varphi} -transform characterization of these new spaces in the sense of Frazier and Jawerth. Using the j{\varphi} -transform characterization of [(B)\dot]^s, t_p, q(\mathbbRⁿ) and [(F)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\, {\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} , we obtain their embedding and lifting properties; moreover, for appropriate τ, we also establish the smooth atomic and molecular decomposition characterizations of [(B)\dot]^s, t_p, q(\mathbbRⁿ) and [(F)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\,{\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} . For s ? \mathbbR{s\in\mathbb{R}} , p ? (1, ￥), q ? [1, ￥){p\in(1,\,\infty), q\in[1,\,\infty)} and t ? [0, \frac1(max{p, q})￠]{\tau\in[0,\,\frac{1}{(\max\{p,\,q\})'}]} , via the Hausdorff capacity, we introduce certain Hardy–Hausdorff spaces B[(H)\dot]^s, t_p, q(\mathbbRⁿ){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} and prove that the dual space of B[(H)\dot]^s, t_p, q(\mathbbRⁿ){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} is just [(B)\dot]^-s, t_p￠, q￠(\mathbbRⁿ){\dot{B}^{-s,\,\tau}_{p',\,q'}(\mathbb{R}^{n})} , where t′ denotes the conjugate index of t ? (1,￥){t\in (1,\infty)} .     

Some Elements of Finite Order in K2Q

Let K2 be the Milnor functor and let Фn （x）∈ Q[X] be the n-th cyclotomic polynomial. Let Gn（Q） denote a subset consisting of elements of the form {a, Фn（a）}, where a ∈ Q^＊ and {, } denotes the Steinberg symbol in K2Q. J. Browkin proved that Gn（Q） is a subgroup of K2Q if n = 1,2, 3, 4 or 6 and conjectured that Gn（Q） is not a group for any other values of n. This conjecture was confirmed for n =2^T 3S or n = p^r, where p ≥ 5 is a prime number such that h（Q（ζp）） is not divisible by p. In this paper we confirm the conjecture for some n, where n is not of the above forms, more precisely, for n = 15, 21,33, 35, 60 or 105.     

Contact Elements on Fibered Manifolds

For every product preserving bundle functor T ^μ on fibered manifolds, we describe the underlying functor of any order (r, s, q), s ≥ r ≤ q. We define the bundle K_k,l^r,s,q YK_{k,l}^{r,s,q} Y of (k, l)-dimensional contact elements of the order (r, s, q) on a fibered manifold Y and we characterize its elements geometrically. Then we study the bundle of general contact elements of type μ. We also determine all natural transformations of K_k,l^r,s,q YK_{k,l}^{r,s,q} Y into itself and of T( K_k,l^r,s,q Y )T\left( {K_{k,l}^{r,s,q} Y} \right) into itself and we find all natural operators lifting projectable vector fields and horizontal one-forms from Y to K_k,l^r,s,q YK_{k,l}^{r,s,q} Y .     

Conformal CMC-Surfaces in Lorentzian Space Forms

Let Q3 be the common conformal compactification space of the Lorentzian space forms R13, S13 and H13. We study the conformal geometry of space-like surfaces in Q3. It is shown that any conformal CMC-surface in Q3 must be conformally equivalent to a constant mean curvature surface in R13, S13 or H13. We also show that if x : M→Q3 is a space-like Willmore surface whose conformal metric g has constant curvature K, then either K = - 1 and x is conformally equivalent to a minimal surface in R13, or K = 0 and x is conformally equivalent to the surface H1(1/(2~(1/2)))×H1(1/(2~(1/2))) in H13.     

Kernels of Toeplitz operators,smooth functions,and Bernstein type inequalities

Let ϕ be a unimodular function on the unit circle and let K_p(ϕ) denote the kernel of the Toeplitz operator T_ϕ in the Hardy space H^p, p≥1; . Suppose K_p(ϕ)≠{0}. The problem is to find out how the smoothness of the symbol ϕ influences the boundary smoothness of functions in K_p(ϕ). One of the main results is as follows. Theorem 1 Let 1<p, q<+∞, 1<r≤+∞, q⁻¹=p⁻¹+r⁻¹. Suppose |ϕ|≡1 on and ϕ∈W _r ¹ (i.e., ). Then K_p(ϕ)⊂W _q ¹ . Moreover, for any f∈K_p(ϕ) we have ‖f′‖_q≤c(p, r)‖ϕ′‖_r ‖f‖. Bibliography: 19 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 201, 1992, pp. 5–21. Translated by K. M. D'yakonov.     

Approximation of bandlimited functions by finite exponential sums

For a compact set K in ℝ ⁿ , let B ² _K be the set of all functions f ∈ L ²(ℝ²) bandlimited to K, i.e., such that the Fourier transform f̂ of f is supported by K. We investigate the question of approximation of f ∈ B ² _K by finite exponential sums

Score sets in oriented 3-partite graphs

Let D(U, V, W) be an oriented 3-partite graph with |U|=p, |V|=q and |W|= r. For any vertex x in D(U, V, W), let d x and d-x be the outdegree and indegree of x respectively. Define aui (or simply ai) = q r d ui - d-ui, bvj(or simply bj) = p r d vj - d-vj and Cwk (or simply ck) = p q d wk - d-wk as the scores of ui in U, vj in V and wk in Wrespectively. The set A of distinct scores of the vertices of D(U, V, W) is called its score set. In this paper, we prove that if a1 is a non-negative integer, ai(2≤i≤n - 1) are even positive integers and an is any positive integer, then for n≥3, there exists an oriented 3-partite graph with the score set A = {a1,2∑i=1 ai,…,n∑i=1 ai}, except when A = {0,2,3}. Some more results for score sets in oriented 3-partite graphs are obtained.     

A bound for Wilson''''s general theorem

Given any set K of positive integers and positive integer λ, let c(K,λ) denote the smallest integer such that v∈B(K,λ) for every integer v≥c(K,λ) that satisfies the congruences λv(v-1)≡0 (mod β(K) and λ(v-1)≡0 (mod α(K)). Let K0 be an equivalent set of K, k and k* be the smallest and the largest integers in K0. We prove that c(K,λ)≤exp exp{Q0}Qo=max{2(2p(ko)2-k2kk)p(ko)4,(Kk242y-k-2)(y2)}, whereand y=k*+k(k-1)+1.     

A divergent Khintchine theorem in the real,complex, and <Emphasis Type="Italic">p</Emphasis>-adic fields

In this paper, we show that if the sum ∑_r=1^∞ Ψ(r) diverges, then the set of points (x, z, w) ∈ ℝ × ℂ × ℚ_p satisfying the inequalities , and for infinitely many integer polynomials P has full measure. With a special choice of parameters v _i and λ _i , i = 1, 2, 3, we can obtain all the theorems in the metric theory of transcendental numbers which were known in the real, complex, or p-adic fields separately.     

An algorithmic approach to Ramanujan’s congruences

In this paper we present an algorithm that takes as input a generating function of the form $\prod_{\delta|M}\prod_{n=1}^{\infty}(1-q^{\delta n})^{r_{\delta}}=\sum_{n=0}^{\infty}a(n)q^{n}In this paper we present an algorithm that takes as input a generating function of the form ?_d|M?_n=1^￥(1-q^dn)^r_d=?_n=0^￥a(n)qⁿ\prod_{\delta|M}\prod_{n=1}^{\infty}(1-q^{\delta n})^{r_{\delta}}=\sum_{n=0}^{\infty}a(n)q^{n} and three positive integers m,t,p, and which returns true if a(mn+t) o 0 mod p,n 3 0a(mn+t)\equiv0\pmod{p},n\geq0, or false otherwise. Our method builds on work by Rademacher (Trans. Am. Math. Soc. 51(3):609–636, 1942), Kolberg (Math. Scand. 5:77–92, 1957), Sturm (Lecture Notes in Mathematics, pp. 275–280, Springer, Berlin/Heidelberg, 1987), Eichhorn and Ono (Proceedings for a Conference in Honor of Heini Halberstam, pp. 309–321, 1996).     

Approximations to q-logarithms and q-dilogarithms, with applications to q-zeta values

We construct simultaneous rational approximations to q-series L₁(x₁; q) and L₁(x₂; q) and, if x = x₁ = x₂, to series L₁(x; q) and L₂(x; q), where

Exact asymptotic behaviour of the codimensions of some P.I. algebras

Letc _n (A) denote the codimensions of a P.I. algebraA, and assumec _n (A) has a polynomial growth: . Then, necessarily,q∈ℚ [D3]. If 1∈A, we show that , wheree=2.71…. In the non-unitary case, for any 0<q∈ℚ, we constructA, with a suitablek, such that . In memory of S. A. Amitsur, our teacher and friend Partially supported by Grant MM404/94 of Ministry of Education and Science, Bulgaria and by a Bulgarian-American Grant of NSF. Partially supported by NSF grant DMS-9101488.     

Higher integrability for minimizers of variational integrals with nonstandard growth

We consider a (possibly) vector-valued function u: Ω→R ^N, Ω⊂R ⁿ, minimizing the integral , whereD _iu=∂u/∂x _i, or some more general functional retaining the same behaviour; we prove higher integrability forDu:D ₁u,…,D_n−1u∈L^q, under suitable assumptions ona _i(x).

---

Sunto Consideriamo una funzione u: Ω→R ^N, Ω⊂R ⁿ che minimizzi l'integrale , doveD _iu=∂u/∂x_i, o un funzionale con un comportamento simile; sotto opportune ipotesi sua _i(x), dimostriamo la seguente maggiore integrabilità perDu:D ₁u,…,D_n−1uεL^q.

     

Boundedness of maximal,potential type,and singular integral operators in the generalized variable exponent Morrey type spaces

We consider generalized Morrey type spaces M^{p( ·),q( ·),w( ·)}( W) {\mathcal{M}^{p\left( \cdot \right),\theta \left( \cdot \right),\omega \left( \cdot \right)}}\left( \Omega \right) with variable exponents p(x), θ(r) and a general function ω(x, r) defining a Morrey type norm. In the case of bounded sets W ì \mathbbRⁿ \Omega \subset {\mathbb{R}^n} , we prove the boundedness of the Hardy–Littlewood maximal operator and Calderón–Zygmund singular integral operators with standard kernel. We prove a Sobolev–Adams type embedding theorem M^{p( ·),q₁( ·),w₁( ·)}( W) ? M^{q( ·),q₂( ·),w₂( ·)}( W) {\mathcal{M}^{p\left( \cdot \right),{\theta_1}\left( \cdot \right),{\omega_1}\left( \cdot \right)}}\left( \Omega \right) \to {\mathcal{M}^{q\left( \cdot \right),{\theta_2}\left( \cdot \right),{\omega_2}\left( \cdot \right)}}\left( \Omega \right) for the potential type operator I ^α(·) of variable order. In all the cases, we do not impose any monotonicity type conditions on ω(x, r) with respect to r. Bibliography: 40 titles.     

Optimal Embeddings of Spaces of Generalized Smoothness in the Critical Case

We study necessary and sufficient conditions for embeddings of Besov and Triebel-Lizorkin spaces of generalized smoothness B^(n/p,Y)_p,q(\mathbbRⁿ)B^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}) and F^(n/p,Y)_p,q(\mathbbRⁿ)F^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}), respectively, into generalized H?lder spaces L_￥,r^m(·)( \mathbb Rⁿ)\Lambda_{\infty,r}^{\mu(\cdot)}(\ensuremath {\ensuremath {\mathbb {R}}^{n}}). In particular, we are able to characterize optimal embeddings for this class of spaces provided q>1. These results improve the embedding assertions given by the continuity envelopes of B^(n/p,Y)_p,q(\mathbbRⁿ)B^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}) and F^(n/p,Y)_p,q(\mathbbRⁿ)F^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}), which were obtained recently solving an open problem of D.D. Haroske in the classical setting.     

Rational points on the unit sphere

It is known that the unit sphere, centered at the origin in ℝ ⁿ , has a dense set of points with rational coordinates. We give an elementary proof of this fact that includes explicit bounds on the complexity of the coordinates: for every point ν on the unit sphere in ℝ ⁿ , and every ν > 0; there is a point r = (r ₁; r ₂;…;r _n) such that: