A remark on vorticity maximal function

In this note the following inequality is proved. For any nonnegative measure μH⁻¹(R²), xR² and 0<r<1, there holds

(1)

where C is a positive constant. Using (1) an estimate for the vorticity maximal function similar to the estimate in Majda [A. Majda, Remarks on weak solutions for vortex sheets with a distinguished sign, Indiana Univ. Math. J. 42 (1993) 921–939] is established without assuming the initial vorticity having compact support. From this a more simple proof of the Delort's celebrated theorem [J.M. Delort, Existence de mappes de fourbillon en dimension deux, J. Amer. Math. Soc. 4 (1991) 553–586] is presented.     

Dissecting the Stanley partition function

Let p(n) denote the number of unrestricted partitions of n. For i=0, 2, let p_i(n) denote the number of partitions π of n such that . Here denotes the number of odd parts of the partition π and π^′ is the conjugate of π. Stanley [Amer. Math. Monthly 109 (2002) 760; Adv. Appl. Math., to appear] derived an infinite product representation for the generating function of p₀(n)-p₂(n). Recently, Swisher [The Andrews–Stanley partition function and p(n), preprint, submitted for publication] employed the circle method to show that

(i)

and that for sufficiently large n

(ii)

In this paper we study the even/odd dissection of the Stanley product, and show how to use it to prove (i) and (ii) with no restriction on n. Moreover, we establish the following new result:

Two proofs of this surprising inequality are given. The first one uses the Göllnitz–Gordon partition theorem. The second one is an immediate corollary of a new partition inequality, which we prove in a combinatorial manner. Our methods are elementary. We use only Jacobi's triple product identity and some naive upper bound estimates.     

On algebraic K-theory of real algebraic varieties with circle action

Assume that X is a compact connected orientable nonsingular real algebraic variety with an algebraic free S¹-action so that the quotient Y=X/S¹ is also a real algebraic variety. If π : X→Y is the quotient map then the induced map between reduced algebraic K-groups, tensored with ,

Full-size image

is onto, where , denoting the ring of entire rational (regular) functions on the real algebraic variety X, extending partially the Bochnak–Kucharz result that

Full-size image

for any real algebraic variety X. As an application we will show that for a compact connected Lie group G .     

Lower bounds for the merit factors of trigonometric polynomials from Littlewood classes

With the notation ,

we prove the following result.Theorem 1. Assume that p is a trigonometric polynomial of degree at most n with real coefficients that satisfies

||p||_L2(K)An^1/2 and ||p′||_L2(K)Bn^3/2.

Then

M₄(p)−M₂(p)M₂(p)

with

We also prove that

and

M₂(p)−M₁(p)10⁻³¹M₂(p)

for every , where denotes the collection of all trigonometric polynomials of the form

     

Positive solutions for one-dimensional -Laplacian boundary value problems with sign changing nonlinearity

This paper deals with the existence of positive solutions for the one-dimensional p-Laplacian

subject to the boundary value conditions:

where _p(s)=|s|^p−2s,p>1. We show that it has at least one or two positive solutions under some assumptions by applying the fixed point theorem. The interesting points are that the nonlinear term f is involved with the first-order derivative explicitly and f may change sign.     

Local convergence of some iterative methods for generalized equations

We study generalized equations of the following form:

(render)

0f(x)+g(x)+F(x),

where f is Fréchet differentiable in a neighborhood of a solution x^* of (*) and g is Fréchet differentiable at x^* and where F is a set-valued map acting in Banach spaces. We prove the existence of a sequence (x_k) satisfying

which is super-linearly convergent to a solution of (*). We also present other versions of this iterative procedure that have superlinear and quadratic convergence, respectively.     

Estimate of quadratic trigonometric sums with prime numbers

An estimate of the modulus of an exponential sum over primes

$S_2 \left( {\alpha ;x,1} \right) = \sum\limits_{n \leqslant x} {\Lambda \left( n \right)e\left( {\alpha \left( {n + 1} \right)^2 } \right)}$

is obtained, where α is approximated by a rational number with a large denominator.

     

RELATIONS BETWEEN PACKING PREMEASURE AND MEASURE ON METRIC SPACE

Let X be a metric space andμa finite Borel measure on X. Let pμq,t and pμq,t be the packing premeasure and the packing measure on X, respectively, defined by the gauge (μB(x,r))q(2r)t, where q, t∈R. For any compact set E of finite packing premeasure the authors prove: (1) if q≤0 then pμq,t(E)=pμq,t(E);(2)if q>0 andμis doubling on E then pμq,t(E) and pμq,t(E) are both zero or neither.     

Adaptive computation for convection dominated diffusion problems

We derive sharp L∞(L ¹ ) a posteriori error estimate for the convection dominated diffusion equations of the form

$$\frac{{\partial u}}{{\partial t}} + div(vu) - \varepsilon \Delta u = g.$$

The derived estimate is insensitive to the diffusion parameter ε → 0. The problem is discretized implicitly in time via the method of characteristics and in space via continuous piecewise linear finite elements. Numerical experiments are reported to show the competitive behavior of the proposed adaptive method.

     

Solutions of a class of Hamiltonian elliptic systems in

We study the existence of ground state solutions for the following elliptic systems in R^N

where b=(b₁,…,b_N) is a constant vector and HC¹(R^N×R²,R) is nonperiodic in variables x and super-quadratic as |z|→∞. By a recent critical point theorem for strongly indefinite problem, we obtain the existence of at least one ground state solution.     

Existence of multiple positive solutions for nonlinear m-point boundary-value problems

In this paper, we afford some sufficient conditions to guarantee the existence of multiple positive solutions for the nonlinear m-point boundary-value problem for the one-dimensional p-Laplacian

(φ_p(u^′))^′+f(t,u)=0, t(0,1),

     

Entropy numbers of Sobolev embeddings of radial Besov spaces

Let be the radial subspace of the Besov space . We prove the independence of the asymptotic behavior of the entropy numbers

from the difference s₀−s₁ as long as the embedding itself is compact. In fact, we shall show that

This is in a certain contrast to earlier results on entropy numbers in the context of Besov spaces B_p,q^s(Ω) on bounded domains Ω.     

On the boundary regularity of suitable weak solutions to the Navier-Stokes equations

We consider suitable weak solutions to an incompressible viscous Newtonian fluid governed by the Navier-Stokes equations in the half space \({\mathbb {R}^3_+}\). Our main result is a direct proof of the partial regularity up to the flat boundary based on a new decay estimate, which implies the regularity in the cylinder \({Q_\rho ^+(x_0, t_0)}\) provided

$\limsup_{R\to 0}\frac {1} {R}\int\limits_{Q_R^+(x_0, t_0)} |{\rm rot}\,\mathbf u|^2 dxdt \,\leq\, \varepsilon _0$

with ε ₀ sufficiently small. In addition, we get a new condition for the local regularity beyond Serrin’s class which involves the L ²-norm of ?u and the L ^3/2-norm of the pressure.

     

Positivity of Szegö's rational function

We consider the problem of deciding whether a given rational function has a power series expansion with all its coefficients positive. Introducing an elementary transformation that preserves such positivity we are able to provide an elementary proof for the positivity of Szegö's function

which has been at the historical root of this subject starting with Szegö. We then demonstrate how to apply the transformation to prove a 4-dimensional generalization of the above function, and close with discussing the set of parameters (a,b) such that

has positive coefficients.     

Two nontrivial solutions of boundary-value problems for semilinear Δ<Subscript><Emphasis Type="Italic">γ</Emphasis></Subscript>-differential equations

In this paper, we study the existence of multiple solutions for the boundary-value problem

$${\Delta _\gamma }u + f\left( {x,u} \right) = 0in\Omega ,u = 0on\partial \Omega ,$$

where Ω is a bounded domain with smooth boundary in R ^N (N ≥ 2) and Δ _γ is the subelliptic operator of the type

$${\Delta _\gamma }u = \sum\limits_{j = 1}^N {{\partial _{{x_j}}}\left( {\gamma _j^2{\partial _{{x_j}}}u} \right)} ,{\partial _{{x_j}}}u = \frac{{\partial u}}{{\partial {x_j}}},\gamma = \left( {{\gamma _1},{\gamma _2}, \ldots ,{\gamma _N}} \right).$$

We use the three critical point theorem.

     

Free resolutions in multivariable operator theory

Let be the complex polynomial ring in d variables. A contractive -module is Hilbert space equipped with an action such that for any ,

||z₁ξ₁+z₂ξ++z_dξ_d||²||ξ₁||²+||ξ₂||²++||ξ_d||².

Such objects have been shown to be useful for modeling d-tuples of mutually commuting operators acting on a Hilbert space. There is a subclass of the category of contractive modules whose members play the role of free objects. Given a contractive -module, one can construct a free resolution, i.e. an exact sequence of partial isometries of the following form:

(*)

where is a free module for each i0. The notion of a localization of a free resolution will be defined, in which for each λB_d there is a vector space complex of linear maps derived from (*):

We shall show that the homology of this complex is isomorphic to the homology of the Koszul complex of the d-tuple (¹,²,…,^d), of where ⁱ is the ith coordinate function of a Möbius transform on B_d such that (λ)=0.     

Existence of Infinitely Many Solutions for Δ<Subscript>γ</Subscript>-Laplace Problems

In this article, we study the existence of infinitelymany solutions for the boundary–value problem

$$ - {\Delta _\gamma }u + a\left( x \right)u = f\left( {x,u} \right)in\Omega ,u = 0on\partial \Omega $$

, where Ω is a bounded domain with smooth boundary in ? ^N (N ≥ 2) and Δ_γ is a subelliptic operator of the form

$${\Delta _\gamma }: = \sum\limits_{j = 1}^N {{\partial _{{x_j}}}\left( {\gamma _j^2{\partial _{{x_j}}}} \right)} ,{\partial _{{x_j}}}: = \frac{\partial }{{\partial {x_j}}},\gamma = \left( {{\gamma _1},{\gamma _2}, \cdots ,\gamma N} \right)$$

. Our main tools are the local linking and the symmetric mountain pass theorem in critical point theory.

     

The Banach–Mazur Distance to the Cube in Low Dimensions

We show that the Banach–Mazur distance from any centrally symmetric convex body in ? ⁿ to the n-dimensional cube is at most

$\sqrt{n^2-2n+2+\frac{2}{\sqrt{n+2}-1}},$

which improves previously known estimates for “small” n≥3. (For large n, asymptotically better bounds are known; in the asymmetric case, exact bounds are known.) The proof of our estimate uses an idea of Lassak and the existence of two nearly orthogonal contact points in John’s decomposition of the identity. Our estimate on such contact points is closely connected to a well-known estimate of Gerzon on equiangular systems of lines.

     

A note on a class of noncoercive functionals

Our goal here is to prove the existence of a nontrivial critical point to the following functional:

. by using the well-known Mountain-Pass theorem with the Ceramil Palais-Smale condition.