On the number of generators of the torsion module of differentials

In this paper we study the (minimum) global number of generators of the torsion module of differentials of affine hypersurfaces with only isolated singularities. We show that for reduced plane curves the torsion module of differentials can be generated by at most two elements, whereas for higher codimensions there is no universal upper bound. We then proceed to give explicit examples. In particular (when ) , we give examples of a reduced hypersurface with a single isolated singularity at the origin in that require

generators for the torsion module, Torsion .

     

Exact multiplicity result for the perturbed scalar curvature problem in

Let denote the closure of in the norm Let and define the constants and Let We consider the following problem for

We show an exact multiplicity result for for all small .

     

On Meinardus' examples for the conjugate gradient method

The conjugate gradient (CG) method is widely used to solve a positive definite linear system of order . It is well known that the relative residual of the th approximate solution by CG (with the initial approximation ) is bounded above by

   with

where is 's spectral condition number. In 1963, Meinardus (Numer. Math., 5 (1963), pp. 14-23) gave an example to achieve this bound for but without saying anything about all other . This very example can be used to show that the bound is sharp for any given by constructing examples to attain the bound, but such examples depend on and for them the th residual is exactly zero. Therefore it would be interesting to know if there is any example on which the CG relative residuals are comparable to the bound for all . There are two contributions in this paper:

1. A closed formula for the CG residuals for all on Meinardus' example is obtained, and in particular it implies that the bound is always within a factor of of the actual residuals;
2. A complete characterization of extreme positive linear systems for which the th CG residual achieves the bound is also presented.

     

Geometry of phase space and solutions of semilinear elliptic equations in a ball

We consider the problem

where denotes the unit ball in , , and . Merle and Peletier showed that for there is a unique value such that a radial singular solution exists. This value is the only one at which an unbounded sequence of classical solutions of (1) may accumulate. Here we prove that if additionally

then for close to , a large number of classical solutions of (1) exist. In particular infinitely many solutions are present if . We establish a similar assertion for the problem

where , , and satisfies the same condition as above.

     

An extremal property of Fekete polynomials

The Fekete polynomials are defined as

where is the Legendre symbol. These polynomials arise in a number of contexts in analysis and number theory. For example, after cyclic permutation they provide sequences with smallest known norm out of the polynomials with coefficients.

The main purpose of this paper is to prove the following extremal property that characterizes the Fekete polynomials by their size at roots of unity.

Theorem 0.1. Let with odd and . If

then must be an odd prime and is . Here

This result also gives a partial answer to a problem of Harvey Cohn on character sums.

     

Existence of positive solutions for a semilinear elliptic problem with critical Sobolev and Hardy terms

Let , let and let be a bounded domain with a smooth boundary . Our purpose in this paper is to consider the existence of solutions of the problem:

where

     

A global compactness result for singular elliptic problems involving critical Sobolev exponent

Let be a bounded domain such that . Let be a (P.S.) sequence of the functional . We study the limit behaviour of and obtain a global compactness result.

     

Trudinger type inequalities in and their best exponents

We study Trudinger type inequalities in and their best exponents . We show for , ( is the surface area of the unit sphere in ), there exists a constant such that

for all . Here is defined by

It is also shown that with is false, which is different from the usual Trudinger's inequalities in bounded domains.

     

Asymptotic behavior of solutions to semilinear elliptic equations with Hardy potential

Let be an open bounded domain in with smooth boundary , . We are concerned with the asymptotic behavior of solutions for the elliptic problem:

where and satisfies suitable growth conditions. By Moser iteration, we characterize the asymptotic behavior of nontrivial solutions for problem . In particular, we point out that the proof of Proposition 2.1 in Proc. Amer. Math. Soc. 132 (2004), 3225-3229, is wrong.

     

Isolated boundary singularities of semilinear elliptic equations

Given a smooth domain ${\Omega\subset\mathbb{R}^N}$ such that ${0 \in \partial\Omega}$ and given a nonnegative smooth function ?? on ???, we study the behavior near 0 of positive solutions of ???u?=?u ^q in ?? such that u =? ?? on ???\{0}. We prove that if ${\frac{N+1}{N-1} < q < \frac{N+2}{N-2}}$ , then ${u(x)\leq C |x|^{-\frac{2}{q-1}}}$ and we compute the limit of ${|x|^{\frac{2}{q-1}} u(x)}$ as x ?? 0. We also investigate the case ${q= \frac{N+1}{N-1}}$ . The proofs rely on the existence and uniqueness of solutions of related equations on spherical domains.     

A Sobolev inequality with remainder term and critical equations on domains with topology for the polyharmonic operator

We prove a Sobolev inequality with remainder term for the imbedding , arbitrary, generalizing a corresponding result of Bianchi and Egnell for the case m = 1. We also show that the manifold of least energy solutions of the equation is a nondegenerate critical manifold for the corresponding variational integral. Finally we generalize the results of J. M. Coron on the existence of solutions of equations with critical exponent on domains with nontrivial topology to the biharmonic operator.Received: 21 March 2002, Accepted: 5 November 2002, Published online: 16 May 2003     

On a Sobolev inequality with remainder terms

In this note we consider the Sobolev inequality

where is the best Sobolev constant and is the space obtained by taking the completion of with the norm . We prove here a refined version of this inequality,

where is a positive constant, the distance is taken in the Sobolev space , and is the set of solutions which attain the Sobolev equality. This generalizes a result of Bianchi and Egnell (A note on the Sobolev inequality, J. Funct. Anal. 100 (1991), 18-24), which was posed by Brezis and Lieb (Sobolev inequalities with remainder terms, J. Funct. Anal. 62 (1985), 73-86). regarding the classical Sobolev inequality

A key ingredient in our proof is the analysis of eigenvalues of the fourth order equation

where and is the unique radial function in with . We will show that the eigenvalues of the above equation are discrete:

and the corresponding eigenfunction spaces are

     

Strongly indefinite functionals and multiple solutions of elliptic systems

We study existence and multiplicity of solutions of the elliptic system

where , is a smooth bounded domain and . We assume that the nonlinear term

where , , and . So some supercritical systems are included. Nontrivial solutions are obtained. When is even in , we show that the system possesses a sequence of solutions associated with a sequence of positive energies (resp. negative energies) going toward infinity (resp. zero) if 2$"> (resp. ). All results are proved using variational methods. Some new critical point theorems for strongly indefinite functionals are proved.

     

Equal moments division of a set

Let be the minimal positive integer , for which there exists a splitting of the set into  subsets, , , ..., , whose first moments are equal. Similarly, let be the maximal positive integer , such that there exists a splitting of into subsets whose first moments are equal. For , these functions were investigated by several authors, and the values of and have been found for and , respectively. In this paper, we deal with the problem for any prime . We demonstrate our methods by finding for any and for .

     

On a fragment of the universal Baire property for sets

There is a well-known global equivalence between sets having the universal Baire property, two-step generic absoluteness, and the closure of the universe under the sharp operation. In this note, we determine the exact consistency strength of sets being -cc-universally Baire, which is below . In a model obtained, there is a set which is weakly -universally Baire but not -universally Baire.

     

Equivalence of domains with isomorphic semigroups of endomorphisms

For two bounded domains in whose semigroups of analytic endomorphisms are isomorphic with an isomorphism , Eremenko proved in 1993 that there exists a conformal or anticonformal map such that for all .

In the present paper we prove an analogue of this result for the case of bounded domains in .

     

Solutions to arithmetic convolution equations

In the -algebra of arithmetic functions , endowed with the usual pointwise linear operations and the Dirichlet convolution, let denote the convolution power with factors . We investigate the solvability of polynomial equations of the form

with fixed coefficients . In some cases the solutions have specific properties and can be determined explicitly. We show that the property of the coefficients to belong to convergent Dirichlet series transfers to those solutions , whose values are simple zeros of the polynomial . We extend this to systems of convolution equations, which need not be of polynomial-type.

     

A generalization of Euler's hypergeometric transformation

Euler's transformation formula for the Gauss hypergeometric function  is extended to hypergeometric functions of higher order. Unusually, the generalized transformation constrains the hypergeometric function parameters algebraically but not linearly. Its consequences for hypergeometric summation are explored. It has as a corollary a summation formula of Slater. From this formula new one-term evaluations of and are derived by applying transformations in the Thomae group. Their parameters are also constrained nonlinearly. Several new one-term evaluations of with linearly constrained parameters are derived as well.

     

Local interpolation in Hilbert spaces of Dirichlet series

We denote by the Hilbert space of ordinary Dirichlet series with square-summable coefficients. The main result is that a bounded sequence of points in the half-plane is an interpolating sequence for if and only if it is an interpolating sequence for the Hardy space of the same half-plane. Similar local results are obtained for Hilbert spaces of ordinary Dirichlet series that relate to Bergman and Dirichlet spaces of the half-plane .

     

Littlewood polynomials with high order zeros

Let be the minimal length of a polynomial with coefficients divisible by . Byrnes noted that for each , and asked whether in fact . Boyd showed that for all , but . He further showed that , and that is one of the 5 numbers , or . Here we prove that . Similarly, let be the maximal power of dividing some polynomial of degree with coefficients. Boyd was able to find for . In this paper we determine for .