Property (R) under Perturbations

Property (R) holds for a bounded linear operator ${T \in L(X)}$ , defined on a complex infinite dimensional Banach space X, if the isolated points of the spectrum of T which are eigenvalues of finite multiplicity are exactly those points λ of the approximate point spectrum for which λI ? T is upper semi-Browder. In this paper we consider the permanence of this property under quasi nilpotent, Riesz, or algebraic perturbations commuting with T.     

Polaroid Operators with SVEP and Perturbations of Property (gw)

Let ${\mathcal{L}(X)}$ be the algebra of all bounded linear operators on X and ${\mathcal{P}S(X)}$ be the class of polaroid operators with the single-valued extension property. The property (gw) holds for ${T \in \mathcal{L}(X)}$ if the complement in the approximate point spectrum of the semi-B-essential approximate point spectrum coincides with the set of all isolated points of the spectrum which are eigenvalues of the spectrum. In this note we focus on the stability of the property (gw) under perturbations: we prove that, if ${T \in \mathcal{P}S(X)}$ and A (resp. Q) is an algebraic (resp. quasinilpotent) operator, then the property (gw) holds for f(T ^* + A ^*) (resp. f(T ^* + Q*)) for every analytic function f in σ(T + A) (resp. σ(T + Q)). Some applications are also given.     

The Equation f′′′?+?ff′′?+?g(f′)?=?0 and the Associated Boundary Value Problems

We study the concave and convex solutions of the third order similarity differential equation f′′′?+?ff′′?+?g(f′)?=?0, and especially the ones that satisfies the boundary conditions f(0)?=?a, f′(0)?=?b and f′(t) → λ as t →?+?∞, where λ is a root of the function g. According to the sign of g between b and λ, we obtain results about existence, uniqueness and boundedness of solutions to this boundary value problem, that we denote by ${({\mathcal P}_{{\bf g};a,b,\lambda})}$ . In this way, we pursue and complete the study done in 2008.     

A method of multipliers for mathematical programming problems with equality and inequality constraints

This paper deals with the numerical solution of the general mathematical programming problem of minimizing a scalar functionf(x) subject to the vector constraints φ(x)=0 and ψ(x)≥0. The approach used is an extension of the Hestenes method of multipliers, which deals with the equality constraints only. The above problem is replaced by a sequence of problems of minimizing the augmented penalty function Ω(x, λ, μ,k)=f(x)+λ ^T φ(x)+kφ ^T (x)φ(x) ?μ ^T \(\tilde \psi \) (x)+k \(\tilde \psi \) ^T (x) \(\tilde \psi \) (x). The vectors λ and μ, μ ≥ 0, are respectively the Lagrange multipliers for φ(x) and \(\tilde \psi \) (x), and the elements of \(\tilde \psi \) (x) are defined by \(\tilde \psi \) _(j)(x)=min[ψ_(j)(x), (1/2k) μ_(j)]. The scalark>0 is the penalty constant, held fixed throughout the algorithm. Rules are given for updating the multipliers for each minimization cycle. Justification is given for trusting that the sequence of minimizing points will converge to the solution point of the original problem.     

Non-saturation of the nonstationary ideal on P κ (λ) in case κ ≤ cf (λ) < λ

Given a regular cardinal κ > ω ₁ and a cardinal λ with κ?≤ cf (λ) < λ, we show that NS _κ,λ | T is not λ⁺-saturated, where T is the set of all ${a\in P_\kappa (\lambda)}$ such that ${| a | = | a \cap \kappa|}$ and ${{\rm cf} \big( {\rm sup} (a\cap\kappa)\big) = {\rm cf} \big({\rm sup} (a)\big) = \omega}$ .     

On a parabolic equation in MEMS with fringing field

We consider the asymptotic behavior of the solutions to the equation ${u_{t}-u_{xx} = \lambda(1 + {\delta}u_{x}^{2})(1 - u)^{-2}}$ , which comes from Micro-Electromechanical Systems (MEMS) devices modeling. It is shown that when the fringing field exists (i.e., δ?> 0), there is a critical value λ _δ ^* > 0 such that if 0 < λ < λ _δ ^* , the equation has a global solution for some initial data; while for λ > λ _δ ^* , all solutions to the equation will quench at finite time. When the quenching happens, u has only finitely many quenching points for particular initial data. A one-side estimate is deduced for the quenching rate of u.     

Trivectors yielding spreads in PG(5, 2)

Given an alternating trilinear form ${T\in {\rm Alt}(\times^{3}V_{6})}$ on V ₆ = V(6, 2) let ${\mathcal{L}_{T}}$ denote the set of those lines ${\langle a, b \rangle}$ in ${{\rm PG}(5,2)=\mathbb{P}V_{6}}$ which are T-singular, satisfying, that is, T(a, b, x) = 0 for all ${x\in {\rm PG}(5, 2).}$ If ${\mathcal{L}_{21}}$ is a Desarguesian line-spread in PG(5, 2) it is shown that ${\mathcal{L}_{T}=\mathcal{L}_{21}}$ for precisely three choices T ₁,T ₂,T ₃ of T, which moreover satisfy T ₁ + T ₂ + T ₃ = 0. For ${T\in\mathcal{T}:=\{T_{1},T_{2},T_{3}\}}$ the ${\mathcal{G}_{T}}$ -orbits of flats in PG(5, 2) are determined, where ${\mathcal{G}_{T}\cong {\rm SL}(3,4).2}$ denotes the stabilizer of T under the action of GL(6, 2). Further, for a representative U of each ${\mathcal{G}_{T}}$ -orbit, the T-associate U ^# is also determined, where by definition $$U^{\#}=\{v\in {\rm PG}(5,2)\, |\, T(u_{1},u_{2},v) = 0\, \,{\rm for\,all }\, \, u_{1},u_{2}\in U\}$$ .     

Nonuniqueness of a Gibbs measure for the Ising ball model

We study a new model, the so-called Ising ball model on a Cayley tree of order k ≥ 2. We show that there exists a critical activity \(\lambda _{cr} = \sqrt[4]{{0.064}}\) such that at least one translation-invariant Gibbs measure exists for λ ≥ λ _cr , at least three translation-invariant Gibbs measures exist for 0 < λ < λ _cr , and for some λ, there are five translation-invariant Gibbs measures and a continuum of Gibbs measures that are not translation invariant. For any normal divisor \(\hat G\) of index 2 of the group representation on the Cayley tree, we study \(\hat G\) -periodic Gibbs measures. We prove that there exists an uncountable set of \(\hat G\) -periodic (not translation invariant and “checkerboard” periodic) Gibbs measures.     

Strengthening Kazhdan’s property (T) by Bochner methods

In this paper, we propose a property which is a natural generalization of Kazhdan??s property (T) and prove that many, but not all, groups with property (T) also have this property. Let ?? be a finitely generated group. One definition of ?? having property (T) is that ${H^{1}(\Gamma, \pi, {\mathcal{H}}) = 0}$ where the coefficient module ${{\mathcal{H}}}$ is a Hilbert space and ?? is a unitary representation of ?? on ${{\mathcal{H}}}$ . Here we allow more general coefficients and say that ?? has property ${F \otimes {H}}$ if ${H^{1}(\Gamma, \pi_{1}{\otimes}\pi_{2}, F{\otimes} {\mathcal{H}}) = 0}$ if (F, ?? ₁) is any representation with dim(F) <??? and ${({\mathcal{H}}, \pi_{2})}$ is a unitary representation. The main result of this paper is that a uniform lattice in a semisimple Lie group has property ${F \otimes {H}}$ if and only if it has property (T). The proof hinges on an extension of a Bochner-type formula due to Matsushima?CMurakami and Raghunathan. We give a new and more transparent derivation of this formula as the difference of two classical Weitzenb?ck formula??s for two different structures on the same bundle. Our Bochner-type formula is also used in our work on harmonic maps into continuum products (Fisher and Hitchman in preparation; Fisher and Hitchman in Int Math Res Not 72405:1?C19, 2006). Some further applications of property ${F\otimes {H}}$ in the context of group actions will be given in Fisher and Hitchman (in preparation).     

A Characterization of CR Quadrics with a Symmetry Property

We study CR quadrics satisfying a symmetry property $(\tilde{S})$ which is slightly weaker than the symmetry property (S), recently introduced by W. Kaup, which requires the existence of an automorphism reversing the gradation of the Lie algebra of infinitesimal automorphisms of the quadric. We characterize quadrics satisfying the $(\tilde{S})$ property in terms of their Levi?CTanaka algebras. In many cases the $(\tilde{S})$ property implies the (S) property; this holds in particular for compact quadrics. We also give a new example of a quadric such that the dimension of the algebra of positive-degree infinitesimal automorphisms is larger than the dimension of the quadric.     

Difference Sets in {\mathbb{Z}}_4^m and {\mathbb{F}}_2^{2m}

Let R=GR(4,m) be the Galois ring of cardinality 4^m and let T be the Teichmüller system of R. For every map λ of T into { -1,+1} and for every permutation Π of T, we define a map φ _λ ^Π of Rinto { -1,+1} as follows: if x∈R and if x=a+2b is the 2-adic representation of x with x∈T and b∈T, then φ _λ ^Π (x)=λ(a)+2Tr(Π(a)b), where Tr is the trace function of R . For i=1 or i=-1, define D _i as the set of x in R such thatφ _λ ^Π =i. We prove the following results: 1) D _i is a Hadamard difference set of (R,+). 2) If φ is the Gray map of R into ${\mathbb{F}}_2^{2m}$ , then (D _i) is a difference set of ${\mathbb{F}}_2^{2m}$ . 3) The set of D _i and the set of φ(D _i) obtained for all maps λ and Π, both are one-to-one image of the set of binary Maiorana-McFarland difference sets in a simple way. We also prove that special multiplicative subgroups of R are difference sets of kind D _i in the additive group of R. Examples are given by means of morphisms and norm in R.     

Nilpotent and invertible values in semiprime rings with generalized derivations

Let R be a semiprime ring and F be a generalized derivation of R and n??? 1 a fixed integer. In this paper we prove the following: (1) If (F(xy) ? yx) ⁿ is either zero or invertible for all ${x,y\in R}$ , then there exists a division ring D such that either R?=?D or R?=?M ₂(D), the 2?× 2 matrix ring. (2) If R is a prime ring and I is a nonzero right ideal of R such that (F(xy) ? yx) ⁿ ?=?0 for all ${x,y \in I}$ , then [I, I]I?=?0, F(x)?=?ax?+?xb for ${a,b\in R}$ and there exist ${\alpha, \beta \in C}$ , the extended centroid of R, such that (a ? ??)I?=?0 and (b ? ??)I?=?0, moreover ((a?+?b)x ? x)I?=?0 for all ${x\in I}$ .     

Multiple critical points for non-differentiable parametrized functionals and applications to differential inclusions

In this paper we deal with a class of non-differentiable functionals defined on a real reflexive Banach space X and depending on a real parameter of the form ${\mathcal{E}_\lambda(u)=L(u)-(J_1\circ T)(u)-\lambda (J_2\circ S)(u)}$ , where ${L:X \rightarrow \mathbb R}$ is a sequentially weakly lower semicontinuous C ¹ functional, ${J_1:Y\rightarrow\mathbb R, J_2:Z\rightarrow \mathbb R}$ (Y, Z Banach spaces) are two locally Lipschitz functionals, T : X → Y, S : X → Z are linear and compact operators and λ > 0 is a real parameter. We prove that this kind of functionals posses at least three nonsmooth critical points for each λ > 0 and there exists λ* > 0 such that the functional ${\mathcal{E}_{\lambda^\ast}}$ possesses at least four nonsmooth critical points. As an application, we study a nonhomogeneous differential inclusion involving the p(x)-Laplace operator whose weak solutions are exactly the nonsmooth critical points of some “energy functional” which satisfies the conditions required in our main result.     

Recovery of a function from the coefficients of its Dirichlet series

Let L(λ) be an entire function of exponential type, letγ(t) be the function associated with L(λ) in the sense of Borel, let \(\bar D\) be the smallest closed convex set containing all the singular points ofγ(t), let λ₀, λ₁, ..., λ_n, ... be the simple zeros of L(λ), and let A \(\bar D\) be the space of functions analytic on \(\bar D\) with the topology of the inductive limit. With an arbitraryf (z) ∈ A( \(\bar D\) ) we can associate the series whereC is a closed contour containing \(\bar D\) , on and inside of whichf (z) is analytic. We give a method of recoveringf (z) from the Dirichlet coefficientsa _n.     

Existence of entire solutions for a class of quasilinear elliptic equations

The paper deals with the existence of entire solutions for a quasilinear equation ${(\mathcal E)_\lambda}$ in ${\mathbb{R}^N}$ , depending on a real parameter λ, which involves a general elliptic operator in divergence form A and two main nonlinearities. The competing nonlinear terms combine each other, being the first subcritical and the latter supercritical. We prove the existence of a critical value λ* > 0 with the property that ${(\mathcal E)_\lambda}$ admits nontrivial non-negative entire solutions if and only if λ ≥ λ*. Furthermore, when ${\lambda > \overline{\lambda} \ge \lambda^*}$ , the existence of a second independent nontrivial non-negative entire solution of ${(\mathcal{E})_\lambda}$ is proved under a further natural assumption on A.     

The existence of (2 × c, λ) grid-block designs with {c\in \{3, 4, 5\}} and λ ≥ 1

Let X be a v-set and ${\mathcal{B}}$ a collection of r × c arrays with elements in X. Two elements of X are collinear if they are on the same grid line (row or column). A pair ${(X, \mathcal{B})}$ is called an (r × c, λ) grid-block design if every two distinct elements in X are collinear exactly λ times in the arrays of ${\mathcal{B}}$ . This design has absorbed much attention due to its use in DNA library screening. In this paper, we prove that the necessary conditions for the existence of (2 × c, λ) grid-block designs of order v with ${c\in \{3, 4, 5\}}$ and any integer λ ≥ 1 are also sufficient.     

Holomorphic functional calculus for operators on a locally convex space

One-variable holomorphic functional calculus is studied on the bornological algebra Lec(E) of all continuous linear oprators on a complete locally convex space E. It is proven that the following three basic notions of the theory are equivalent: (i) existence of projective resolvent of an operator T at a point λ₀, (ii) strict regularity of λ₀ for the operator T in the sense of [12, 13, 15], (iii) tamability of the operator (λ₀ ? T)^?1 (T if λ₀ = ∞), which means that there is a new equivalent system of seminorms on E, such that the operator is bounded in each of them.     

On ideals with the Rees property

A homogeneous ideal I of a polynomial ring S is said to have the Rees property if, for any homogeneous ideal ${J \subset S}$ which contains I, the number of generators of J is smaller than or equal to that of I. A homogeneous ideal ${I \subset S}$ is said to be ${\mathfrak{m}}$ -full if ${\mathfrak{m}I:y=I}$ for some ${y \in \mathfrak{m}}$ , where ${\mathfrak{m}}$ is the graded maximal ideal of ${S}$ . It was proved by one of the authors that ${\mathfrak{m}}$ -full ideals have the Rees property and that the converse holds in a polynomial ring with two variables. In this note, we give examples of ideals which have the Rees property but are not ${\mathfrak{m}}$ -full in a polynomial ring with more than two variables. To prove this result, we also show that every Artinian monomial almost complete intersection in three variables has the Sperner property.