On the parity of the class number of an imaginary abelian field of conductor 2<Superscript><Emphasis Type="Italic">a</Emphasis></Superscript><Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">b</Emphasis></Superscript>

Let p be an odd prime number, and p^n₀{p^{n_0}} the highest power of p dividing 2 ^p−1 − 1. Let K_n=Q(z_pⁿ⁺¹){K_n={\bf Q}(\zeta_{p^{n+1}})} and L_n,j=K_n⁺(z_2^j+2){L_{n,j}=K_n^+(\zeta_{2^{j+2}})} for j ≥ 0. Let h_n^*{h_n^*} be the relative class number of K _n , and h _n,j the class number of L _n,j , respectively. Let n be an integer with n ≥ n ₀. We prove that if the ratio h_n^*/h_n-1^*{h_n^*/h_{n-1}^*} is odd, then h _n,j /h _n−1,j is odd for any j ≥ 0.     

Compact embedded rotation hypersurfaces of <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript>

In this paper, we prove that and round geodesic spheres are the only n-dimensional compact embedded rotation hypersurfaces with H_m = 0 (1 ≤ m ≤ n − 1) in a unit sphere Sⁿ⁺¹(1). When m = 1, our result reduces to the result of T. Otsuki [O1], [O2], Brito and Leite [BL]. The project is supported by the grant No. 10531090 of NSFC.     

The <Emphasis Type="Italic">s</Emphasis>-energy of spherical designs on <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript>

This paper investigates the s-energy of (finite and infinite) well separated sequences of spherical designs on the unit sphere S ². A spherical n-design is a point set on S ² that gives rise to an equal weight cubature rule which is exact for all spherical polynomials of degree ≤n. The s-energy E _s (X) of a point set of m distinct points is the sum of the potential for all pairs of distinct points . A sequence Ξ = {X _m } of point sets X _m ⊂S ², where X _m has the cardinality card(X _m )=m, is well separated if for each pair of distinct points , where the constant λ is independent of m and X _m . For all s>0, we derive upper bounds in terms of orders of n and m(n) of the s-energy E _s (X _m(n)) for well separated sequences Ξ = {X _m(n)} of spherical n-designs X _m(n) with card(X _m(n))=m(n).      

Weighted <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> boundedness for multilinear fractional integral on product spaces

For 0 < α < mn and nonnegative integers n ≥ 2, m ≥ 1, the multilinear fractional integral is defined by

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> approximation capability of RBF neural networks

L ^p approximation capability of radial basis function (RBF) neural networks is investigated. If g: R ₊¹ → R ¹ and ∈ L _loc ^p (R ⁿ ) with 1 ≤ p < ∞, then the RBF neural networks with g as the activation function can approximate any given function in L ^p (K) with any accuracy for any compact set K in R ⁿ , if and only if g(x) is not an even polynomial. Partly supported by the National Natural Science Foundation of China (10471017)     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-harmonic forms and stable hypersurfaces in space forms

We prove that a complete noncompact orientable stable minimal hypersurface in \mathbbSⁿ⁺¹{\mathbb{S}^{n+1}} (n ≤ 4) admits no nontrivial L ²-harmonic forms. We also obtain that a complete noncompact strongly stable hypersurface with constant mean curvature in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} or \mathbbSⁿ⁺¹{\mathbb{S}^{n+1}} (n ≤ 4) admits no nontrivial L ²-harmonic forms. These results are generalized versions of Tanno’s result on stable minimal hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}}.     

Remarks on the <Emphasis Type="Italic">k</Emphasis>-error linear complexity of <Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>-periodic sequences

Recently the first author presented exact formulas for the number of 2 ⁿ -periodic binary sequences with given 1-error linear complexity, and an exact formula for the expected 1-error linear complexity and upper and lower bounds for the expected k-error linear complexity, k ≥ 2, of a random 2 ⁿ -periodic binary sequence. A crucial role for the analysis played the Chan–Games algorithm. We use a more sophisticated generalization of the Chan–Games algorithm by Ding et al. to obtain exact formulas for the counting function and the expected value for the 1-error linear complexity for p ⁿ -periodic sequences over prime. Additionally we discuss the calculation of lower and upper bounds on the k-error linear complexity of p ⁿ -periodic sequences over .      

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>-Functional Inequalities and Weighted Porous Media Equations

Using measure-capacity inequalities we study new functional inequalities, namely L ^q -Poincaré inequalities

Atomic hardy-type spaces between <Emphasis Type="Italic">H</Emphasis><Superscript>1</Superscript> and <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript> on metric spaces with non-doubling measures

Let ( Y,d,dl )\left( {\mathcal{Y},d,d\lambda } \right) be (ℝ ⁿ , |·|, μ), where |·| is the Euclidean distance, μ is a nonnegative Radon measure on ℝ ⁿ satisfying the polynomial growth condition, or the Gauss measure metric space (ℝ ⁿ , |·|, d _λ ), or the space (S, d, ρ), where S ≡ ℝ ⁿ ⋉ ℝ⁺ is the (ax + b)-group, d is the left-invariant Riemannian metric and ρ is the right Haar measure on S with exponential growth. In this paper, the authors introduce and establish some properties of the atomic Hardy-type spaces { X_s ( Y ) }_{0 < s \leqslant ￥}\left\{ {X_s \left( \mathcal{Y} \right)} \right\}_{0 < s \leqslant \infty } and the BMO-type spaces { BMO( Y, s ) }_{0 < s \leqslant ￥}\left\{ {BMO\left( {\mathcal{Y}, s} \right)} \right\}_{0 < s \leqslant \infty }. Let H ¹ ( Y )\left( \mathcal{Y} \right) be the known atomic Hardy space and L ₀¹ ( Y )\left( \mathcal{Y} \right) the subspace of f ∈ L ¹ ( Y )\left( \mathcal{Y} \right) with integral 0. The authors prove that the dual space of X _s ( Y )\left( \mathcal{Y} \right) is BMO( Y,s )BMO\left( {\mathcal{Y},s} \right) when s ∈ (0,∞), X _s ( Y )\left( \mathcal{Y} \right) = H ¹ ( Y )\left( \mathcal{Y} \right) when s ∈ (0, 1], and X _∞ ( Y )\left( \mathcal{Y} \right) = L ₀¹ ( Y )\left( \mathcal{Y} \right) (or L ¹ ( Y )\left( \mathcal{Y} \right)). As applications, the authors show that if T is a linear operator bounded from H ¹ ( Y )\left( \mathcal{Y} \right) to L ¹ ( Y )\left( \mathcal{Y} \right) and from L ¹ ( Y )\left( \mathcal{Y} \right) to L ^1,∞ ( Y )\left( \mathcal{Y} \right), then for all r ∈ (1,∞) and s ∈ (r,∞], T is bounded from X _r ( Y )\left( \mathcal{Y} \right) to the Lorentz space L ^1,s ( Y )\left( \mathcal{Y} \right), which applies to the Calderón-Zygmund operator on (ℝ ⁿ , |·|, μ), the imaginary powers of the Ornstein-Uhlenbeck operator on (ℝ ⁿ , |·|, d _γ ) and the spectral operator associated with the spectral multiplier on (S, d, ρ). All these results generalize the corresponding results of Sweezy, Abu-Shammala and Torchinsky on Euclidean spaces.     

An optimal<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-bound on the Krein spectral shift function

Let ξ_A,B be the Krein spectral shift function for a pair of operatorsA, B, with C =A-B trace class. We establish the bound

On the parity of the class number of the 7<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>th cyclotomic field

For an odd prime number p and an integer n ≥ 0, let h _n be the class number of the p ⁿ⁺¹st cyclotomic field Q(). It is known that when p = 3 or 5, h _n is odd for all n ≥ 0. We prove that the same holds also when p = 7. The author was partially supported by Grant-in-Aid for Scientific Research (C), No. 19540005, Japan Society for the Promotion of Science.     

The first negative coefficients of symmetric square <Emphasis Type="Italic">L</Emphasis>-functions

Let n_sym²fn_{\mathrm{sym}^{2}f} be the greatest integer such that l_sym²f(n) 3 0\lambda_{\mathrm{sym}^{2}f}(n)\ge0 for all n < n_sym²fnn,N)=1, where l_sym²f(n)\lambda_{\mathrm{sym}^{2}f}(n) is the nth coefficient of the Dirichlet series representation of the symmetric square L-function L(s,sym² f) associated to a primitive form f of level N and of weight k. In this paper, we establish the subconvexity bound: n_sym²f << (k²N²)^40/113n_{\mathrm{sym}^{2}f}\ll(k^{2}N^{2})^{40/113} where the implied constant is absolute.     

Some Optimization Problems for <Emphasis Type="Italic">p</Emphasis>-Laplacian Type Equations

In this paper we study some optimization problems for nonlinear elastic membranes. More precisely, we consider the problem of optimizing the cost functional over some admissible class of loads f where u is the (unique) solution to the problem −Δ _p u+|u| ^p−2 u=0 in Ω with |∇ u| ^p−2 u _ν =f on ∂Ω. Supported by Universidad de Buenos Aires under grant X078, by ANPCyT PICT No. 2006-290 and CONICET (Argentina) PIP 5478/1438. J. Fernández Bonder is a member of CONICET. Leandro M. Del Pezzo is a fellow of CONICET.     

On <Emphasis Type="Italic">CEP</Emphasis>-subgroups of <Emphasis Type="Italic">n</Emphasis>-periodic products

There is a well-known fact, that any group G ₁ is a CEP-subgroup both for the direct product G ₁ × G ₂ and the free productG ₁ * G ₂ of G ₁ with any group G ₂. The paper gives a necessary and sufficient condition providing that a multiplier G _i of a n-periodic product Π _i∈I ⁿ G _i of any family of groups {G _i } _i∈I is a CEP-subgroup. Particularly, the found criterionmeans that any group G ₁ of odd period n ≥ 665 is a CEP-subgroup of the n-periodic product Π _i∈I ⁿ G _i for any group G ₂.     

Pointwise convergence for semigroups in vector-valued <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> spaces

Suppose that {T _t  : t  ≥  0} is a symmetric diffusion semigroup on L ²(X) and denote by its tensor product extension to the Bochner space , where belongs to a certain broad class of UMD spaces. We prove a vector-valued version of the Hopf–Dunford–Schwartz ergodic theorem and show that this extends to a maximal theorem for analytic continuations of on . As an application, we show that such continuations exhibit pointwise convergence.     

Typical <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>-Dimensions of Measures

For a probability measure μ on a subset of , the lower and upper L^q-dimensions of order are defined by We study the typical behaviour (in the sense of Baire’s category) of the L^q-dimensions and . We prove that a typical measure μ is as irregular as possible: for all q ≥ 1, the lower L^q-dimension attains the smallest possible value and the upper L^q-dimension attains the largest possible value.     

On the <Emphasis Type="Italic">C</Emphasis>*-valued triangle equality and inequality in Hilbert <Emphasis Type="Italic">C</Emphasis>*-modules

We prove that for two elements x, y in a Hilbert C*-module V over a C*-algebra the C*-valued triangle equality |x + y| = |x| + |y| holds if and only if 〈x, y〉 = |x| |y|. In addition, if has a unit e, then for every x, y ∊ V and every ɛ > 0 there are contractions u, υ ∊ such that |x + y| ≦ u|x|u* + υ|y|υ* + ɛe.      

Optimal estimates for the semigroup generated by the classical Volterra operator on <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-spaces

Optimal upper bounds are given for the norm of the semigroup (e ^−tV ) _t≥0, where V is the classical Volterra operator acting on L _p [0,1], 1≤p≤∞. In particular, for every p∈[1,∞] we prove that