Multivalued perturbations ofm-accretive differential inclusions

Given anm-accretive operatorA in a Banach spaceX and an upper semicontinuous multivalued mapF: [0,a]×X→2 ^X , we consider the initial value problemu′∈−Au+F(t,u) on [0,a],u(0)=x ₀. We concentrate on the case when the semigroup generated by—A is only equicontinuous and obtain existence of integral solutions if, in particular,X* is uniformly convex andF satisfies β(F(t,B))≤k(t)β(B) for all boundedB⊂X wherek∈L ¹([0,a]) and β denotes the Hausdorff-measure of noncompactness. Moreover, we show that the set of all solutions is a compactR _δ-set in this situation. In general, the extra condition onX* is essential as we show by an example in whichX is not uniformly smooth and the set of all solutions is not compact, but it can be omited ifA is single-valued and continuous or—A generates aC _o-semigroup of bounded linear operators. In the simpler case when—A generates a compact semigroup, we give a short proof of existence of solutions, again ifX* is uniformly (or strictly) convex. In this situation we also provide a counter-example in ℝ⁴ in which no integral solution exists. The author gratefully acknowledges financial support by DAAD within the scope of the French-German project PROCOPE.     

Maxwell equations and the direction of the electromagnetic field

Let M₀ be the Minkowski space, let Λ₂(M₀) be the space of bivectors in M₀, and let G¹ ⊂ Λ₂(M₀) be the manifold of directions of the physical space, consisting of simple bivectors with square −1. A mapping F: U → Λ₂(M₀), U ⊂ ℝ⁴, satisfying the Maxwell equations is regarded as the tensor of an electromagnetic field in vacuum. The field is described on the basis of a special decomposition F = eω + h(*ω), where the mapping ω: U → G¹ is called the direction of the field, and e: U → (0, +∞) and h: U → ℝ are the electric and magnetic coefficients of the field. The Maxwell equations are reformulated in terms of ω, e, and h. Electromagnetic fields whose set of directions is a point or a one-dimensional subset of G¹ are considered. Bibliography: 7 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 329, 2005, pp. 118–146.     

Irreducible characters with equal roots in the groups Sn and An

We show that treating of (non-trivial) pairs of irreducible characters of the group S_n sharing the same set of roots on one of the sets A_n and S_n \ A_n is divided into three parts. This, in particular, implies that any pair of such characters χ^α and χ^β (α and β are respective partitions of a number n) possesses the following property: lengths d(α) and d(β) of principal diagonals of Young diagrams for α and β differ by at most 1. Supported by RFBR grant No. 04-01-00463 and by RFBR-NSFC grant No. 05-01-39000. __________ Translated from Algebra i Logika, Vol. 46, No. 1, pp. 3–25, January–February, 2007.     

Strong Convergence Theorems for Maximal Monotone Operators with Nonlinear Mappings in Hilbert Spaces

Let C be a closed and convex subset of a real Hilbert space H. Let T be a nonexpansive mapping of C into itself, A be an α-inverse strongly-monotone mapping of C into H and let B be a maximal monotone operator on H, such that the domain of B is included in C. We introduce an iteration scheme of finding a point of F (T)∩(A+B)⁻¹0, where F (T) is the set of fixed points of T and (A+B)⁻¹0 is the set of zero points of A+B. Then, we prove a strong convergence theorem, which is different from the results of Halpern’s type. Using this result, we get a strong convergence theorem for finding a common fixed point of two nonexpansive mappings in a Hilbert space. Further, we consider the problem for finding a common element of the set of solutions of a mathematical model related to equilibrium problems and the set of fixed points of a nonexpansive mapping.     

Strong asymptotics for Jacobi polynomials with varying nonstandard parameters

Strong asymptotics on the whole complex plane of a sequence of monic Jacobi polynomialsP _n ^α _n ^β _n are studied, assuming that

Generalizations of the reverse order law with related results

This paper presents conditions which are necessary and sufficient for (AB>)⁺ = B⁺A^ω for all normalized generalized inverses A^ω of the complex matrix A. Corresponding conditions are stated which are equivalent to the situation where (AB)⁺ = B_ωA⁺ is satisfied by each weak generalized inverse B_ω of B. The results are applied to theorems by Baskett and Katz and by Schwerdtfeger.     

On the divisor function of sets with even partition functions

Summary For P∈ F₂[z] with P(0)=1 and deg(P)≧ 1, let A =A(P) be the unique subset of N (cf. [9]) such that Σ_n≧0 p(A,n)zⁿ ≡ P(z) mod 2, where p(A,n) is the number of partitions of n with parts in A. To determine the elements of the set A, it is important to consider the sequence σ(A,n) = Σ _{d|n, d∈A} d, namely, the periodicity of the sequences (σ(A,2^kn) mod 2^k+1)_n≧1 for all k ≧ 0 which was proved in [3]. In this paper, the values of such sequences will be given in terms of orbits. Moreover, a formula to σ(A,2^kn) mod 2^k+1 will be established, from which it will be shown that the weight σ(A₁,2^kz_i) mod 2^k+1 on the orbit <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>z_i$ is moved on some other orbit z_j when A₁ is replaced by A₂ with A₁= A(P₁) and A₂= A(P₂) P₁ and P₂ being irreducible in F₂[z] of the same odd order.     

Distribution functions of binary solutions (exact analytic solution)

We show that the general solution of the Ornstein-Zernike system of equations for multicomponent solutions has the form h_αβ=∑A _αβ ^j exp(-λ_jr)/r, where λ_j are the roots of the transcendental equation 1-ρΔ(λ_j)=0 and the amplitudes A_αβ ^j can be calculated if the direct correlation functions are given. We investigate the properties of this solution including the behavior of the roots A _αβ ^j and amplitudes A_αβ ^j in both the low-density limit and the vicinity of the critical point. Several relations on A_αβ ^j and C_αβ are found. In the vicinity of the critical point, we find the state equation for a liquid, which confirms the Van der Waals similarity hypothesis. The expansion under consideration is asymptotic because we expand functions in series in eigenfunctions of the asymptotic Ornstein-Zernike equation valid at r→∞. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 123, No. 3, pp. 500–515, June, 2000.     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too.     

The maximal (C, α, β) operator of two-parameter walsh-fourier series

The two-parameter dyadic martingale Hardy spacesH _p are introduced and it is proved that the maximal operator of the (C, α, β) means of a two-dimensional Walsh-Fourier series is bounded from H_p to L_p (1/(α+1), 1/(β+1)<p<∞) and is of weak type (H ₁ ^# , L₁), where the Hardy space H ₁ ^# is defined by the hybrid maximal function. As a consequence, we obtain that the (C, α, β) means of a function f∈H ₁ ^# converge a.e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on H_p whenever 1/(α+1), 1/(β+1)<p<∞. Thus in case f∈H_p, the (C, α, β) means converge to f in H_p norm. The same results are proved for the conjugate (C, α, β) means, too.     

There are many normal ultrafiltres corresponding to a supercompact cardinal

It is proved that ifκ is supercompact, there are at least (2^• P ^κ(β)^•)⁺normal ultrafilters overP _k (β) and ifV=H.O.D. exactly (2^2• P ^κ(β)^•) normal ultrafilters. This is a part of the author’s Ph.D. thesis prepared under the supervision of Professor Azriel Levy for whose help the author is grateful. In 1966–67, Solovay proved Theorem 1 for the caseβ=κ without the condition of extendability. The same result, under a somewhat weaker assumption was proved by Namba in 1967–68. As noted by Solovay, his proof can be adapted to a generalβ (under weaker assumptions; if |P _k (β) |=β it is only needed that ℵ is 2^β-supercompact). Solovay’s result will be published in [3].     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too. This research was made while the author was visiting the Humboldt University in Berlin supported by the Alexander von Humboldt Foundation.     

Closed range and relative regularity for products

Let B be a closed linear transformation of the Banach space X into the Banach space Y and let A be a bounded linear transformation of Y into the Banach space Z. A simple condition is shown to be necessary and sufficient for AB to have closed range. Provided B is relatively regular there is a simple necessary and sufficient condition for AB to be relatively regular. Provided B⁺ and A⁺ are pseudoinverses for B and A, respectively, the condition that B⁺A⁺ is a pseudoinverse for AB is completely characterized.     

Jordan higher all-derivable points on nontrivial nest algebras

Let A be a Banach algebra with unity I and M be a unital Banach A-bimodule. A family of continuous additive mappings D=(δ_i)_i∈N from A into M is called a higher derivable mapping at X, if δ_n(AB)=∑_i+j=nδ_i(A)δ_j(B) for any A,B∈A with AB=X. In this paper, we show that D is a Jordan higher derivation if D is a higher derivable mapping at an invertible element X. As an application, we also get that every invertible operator in a nontrivial nest algebra is a higher all-derivable point.     

Renormalization group, causality, and nonpower perturbation expansion in QFT

The structure of the QFT expansion is studied in the framework of a new “invariant analytic” version of the perturbative QCD. Here, an invariant coupling constant α(Q ² /Λ ² ) = β ₁ α_s(Q ² )/(4π) becomes a Q ² -analytic invariant function α _an (Q²/Λ ² ) ≡A(x), which, by construction, is free of ghost singularities because it incorporates some nonperturbative structures. In the framework of the “analyticized” perturbation theory, an expansion for an observable F, instead of powers of the analytic invariant charge A(x), may contain specific functions A_n(x)=[aⁿ(x)] _an , the “nth power of a(x) analyticized as a whole.” Functions A _n>2(x) for small Q² ≤Λ ² oscillate, which results in weak loop and scheme dependences. Because of the analyticity requirement, the perturbation series for F(x) becomes an asymptotic expansion à la Erdélyi using a nonpower set {A _n (x)}. The probable ambiguities of the invariant analyticization procedure and the possible inconsistency of some of its versions with the renormalization group structure are also discussed. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 119, No. 1, pp. 55–66, April, 1999.     

Points surrounding the origin

Suppose d > 2, n > d+1, and we have a set P of n points in d-dimensional Euclidean space. Then P contains a subset Q of d points such that for any p ∈ P, the convex hull of Q∪{p} does not contain the origin in its interior. We also show that for non-empty, finite point sets A ₁, ..., A _d+1 in ℝ ^d , if the origin is contained in the convex hull of A _i ∪ A _j for all 1≤i<j≤d+1, then there is a simplex S containing the origin such that |S∩A _i |=1 for every 1≤i≤d+1. This is a generalization of Bárány’s colored Carathéodory theorem, and in a dual version, it gives a spherical version of Lovász’ colored Helly theorem. Dedicated to Imre Bárány, Gábor Fejes Tóth, László Lovász, and Endre Makai on the occasion of their sixtieth birthdays. Supported by the Norwegian research council project number: 166618, and BK 21 Project, KAIST. Part of the research was conducted while visiting the Courant Institute of Mathematical Sciences. Supported by NSF Grant CCF-05-14079, and by grants from NSA, PSC-CUNY, the Hungarian Research Foundation OTKA, and BSF.     

On a problem in additive number theory

For a set A, let P(A) be the set of all finite subset sums of A. We prove that if a sequence B={b ₁<b ₂<⋯} of integers satisfies b ₁≧11 and b _n+1≧3b _n +5 (n=1,2,…), then there exists a sequence of positive integers A={a ₁<a ₂<⋯} for which P(A)=ℕ∖B. On the other hand, if a sequence B={b ₁<b ₂<⋯} of positive integers satisfies either b ₁=10 or b ₂=3b ₁+4, then there is no sequence A of positive integers for which P(A)=ℕ∖B.     

Asymptotically most powerful rank tests for regression parameters in manova

Summary Srivastava [5] proposed a class of rank score tests for testing the hypothesis that β₁=⋯β _p =0 in the linear regression modely _i =β₁ x _1i +β₂ x _2i +⋯+β _p +x _pi +ɛ _i under weaker conditions than Hájek [2]. In this paper, under the same weak conditions, a class of rank score tests is proposed for testing β₁=⋯β _q =0 in the multivariate linear regression modely _i =β₁ x _1i +β₂ x _2i +⋯+β _p +x _pi +ɛ _i ,q≦p, where β _i ’s arek-vectors. The limiting distribution of the test statistic is shown to be central χ _qk ² underH and non-central χ _qk ² under a sequence of alternatives tending to the hypothesis at a suitable rate. Research supported by Canada Council and National Research Council of Canada.