Generalized sum of operators

For a semibounded below self-adjoint operatorA in a Hilbert spaceH and a singular operatorV acting in theA-scale of Hilbert spaces, the notion of generalized sumA?V is introduced. Conditions are found forA?V to be self-adjoint in ?. In particular, it is shown that if a symmetric operatorV is semibounded or has a spectral gap, then there exists an α such that the generalized sumA?αV is a self-adjoint operator inH. For a symmetric restrictionA = A‖D, D C D(A), with deficiency indices (1, 1), it is proved that each self-adjoint extension à of A admits representation as a generalized sum Ã=A?V.     

Two results for monocompact measures

For every finite measure space (Ω,A, P) whereA is K₁-generated we prove the equivalence of compactness and monocompactness for P . Moreover, we prove the existence of a perfect, not monocompaot probability, thus answering an open question in [6]. Let P be a charge on the algebraA andK ?A be a monocompact class. We show that P is o-additive ifK ^S P-approximatesK ^S, the family of finite unions inK , needs not to be monocompact.     

On the uniqueness of solutions to linear complementarity problems

This paper characterizes the classU of all realn×n matricesM for which the linear complementarity problem (q, M) has a unique solution for all realn-vectorsq interior to the coneK(M) of vectors for which (q, M) has any solution at all. It is shown that restricting the uniqueness property to the interior ofK(M) is necessary because whenU, the problem (q, M) has infinitely many solutions ifq belongs to the boundary of intK(M). It is shown thatM must have nonnegative principal minors whenU andK(M) is convex. Finally, it is shown that whenM has nonnegative principal minors, only one of which is 0, andK(M)≠R ⁿ , thenU andK(M) is a closed half-space.     

A generalization of the katona theorem for crosst-intersecting families

LetX be ann-element set and letA and? be families of subsets ofX. We say thatA and? are crosst-intersecting if |A ∩ B| ≥ t holds for all A ∈A and for allB ∈ ?. Suppose thatA and ? are crosst-intersecting. This paper first proves a crosst-intersecting version of Harper's Theorem:

1. There are two crosst-intersecting Hamming spheresA ₀,? ₀ with centerX such that |A| ≤ |A ₀| and|?| ≤ |? ₀| hold.
2. Suppose thatt ≥ 2 and that the pair of integers (|A) is maximal with respect to direct product ordering among pairs of crosst-intersecting families. Then,A and? are Hamming spheres with centerX.

Using these claims, the following conjecture of Frankl is proven:

1. Ifn + t = 2k ? 1 then |A| |?| ≤ max \(\left\{ {\left( {K_k^n + \left( {_{k - 1}^{n - 1} } \right)} \right)^2 ,K_k^n K_{k - 1}^n } \right\}\) holds, whereK _l ⁿ is defined as \(\left( {_n^n } \right)\left( {_{n - 1}^n } \right) + \cdots + \left( {_l^n } \right).\)
2. Ifn + t = 2k then |A| |? ≤ (K _k ⁿ )² holds.

The extremal configurations are also determined.     

Narrowness implies uniformity

This paper is about varietiesV of universal algebras which satisfy the following numerical condition on the spectrum: there are only finitely many prime integersp such thatp is a divisor of the cardinality of some finite algebra inV. Such varieties are callednarrow. The variety (or equational class) generated by a classK of similar algebras is denoted by V(K)=HSPK. We define Pr (K) as the set of prime integers which divide the cardinality of a (some) finite member ofK. We callK narrow if Pr (K) is finite. The key result proved here states that for any finite setK of finite algebras of the same type, the following are equivalent: (1) SPK is a narrow class. (2) V(K) has uniform congruence relations. (3) SK has uniform congruences and (3) SK has permuting congruences. (4) Pr (V(K))= Pr(SK). A varietyV is calleddirectly representable if there is a finite setK of finite algebras such thatV= V(K) and such that all finite algebras inV belong to PK. An equivalent definition states thatV is finitely generated and, up to isomorphism,V has only finitely many finite directly indecomposable algebras. Directly representable varieties are narrow and hence congruence modular. The machinery of modular commutators is applied in this paper to derive the following results for any directly representable varietyV. Each finite, directly indecomposable algebra inV is either simple or abelian.V satisfies the commutator identity [x,y]=x·y·[1,1] holding for congruencesx andy over any member ofV. The problem of characterizing finite algebras which generate directly representable varieties is reduced to a problem of ring theory on which there exists an extensive literature: to characterize those finite ringsR with identity element for which the variety of all unitary leftR-modules is directly representable. (In the terminology of [7], the condition is thatR has finite representation type.) We show that the directly representable varieties of groups are precisely the finitely generated abelian varieties, and that a finite, subdirectly irreducible, ring generates a directly representable variety iff the ring is a field or a zero ring.     

Toeplitz operators on Bergman spaces

Let ? be an element in \(H^\infty (D) + C(\overline D )\) such that ?^* is locally sectorial. In this paper it is shown that the Toeplitz operator defined on the Bergman spaceA ² (D) is Fredholm. Also, it is proved that ifS is an operator onA ²(D) which commutes with the Toeplitz operatorT _? whose symbol ? is a finite Blaschke product, thenS H ^∞ (D) is contained inH ^∞ (D). Moreover, some spectral properties of Toeplitz operators are discussed, and it is shown that the spectrum of a class of Toeplitz operators defined on the Bergman spaceA ² (D), is not connected.     

An analog of the weyl decomposition of the spaceL q (ω, ℝ n ) for a first-order differential operatorfor a first-order differential operator

We prove the following theorem: Suppose the function f(x) belongs toL _q (ω, ? ⁿ ), ω ? ? ^m , q∈(1, ∞), and satisfies the inequality $$|\int\limits_\omega {(f(x),{\mathbf{ }}v(x)){\mathbf{ }}dx| \leqslant \mu ||} v||'_q ,{\mathbf{ }}\tfrac{1}{q} + \tfrac{1}{{q'}} = 1,$$ for all n-dimensional vector-valued functions in the kernel of a scalar-valued first-order differential operator £ for which the second-order operatorLL ^* is elliptic. Then there exists a function p(x)∈W _q ¹ (ω) such that $$||f(x) - \mathfrak{L}^* p(x)||q \leqslant C_q \mu .$$ Bibliography: 6 titles.     

Ein Approximationssatz für holomorphe Funktionen auf nicht-kompakten Riemannschen Flächen

Let R be a non-compact Riemann surface andO(R) the algebra of all holomorphic functions on R. A subalgebraA ?O(R) is calledfull (“voll”), if (F1) for every point ??R there is a function f∈A with a simple zero at ? and no other zeros; (F2) if f, g∈A and f/g has no poles, then f/∈A. In 1971 Ian RICHARDS set the problem whether full subalgebras are dense inO(R), with respect to the topology of compact convergence. We answer this question in the positive, using a lemma of I. RICHARDS and theorems of R. ARENS and the author. Does this approximation theorem remain true for Stein manifolds of dimension n>1, if one modifies condition (F1) in a natural way? A counterexample is provided by a domain of holomorphy G??² and a full, but not dense subalgebraA ?O(G).     

Sets of vectors with many orthogonal paris:

What is the most number of vectors inR ^d such that anyk+1 contain an orthogonal pair? The 24 positive roots of the root systemF ₄ inR ⁴ show that this number could exceeddk.     

Weighted norm inequalities for polynomial expansions associated to some measures with mass points

Fourier series in orthogonal polynomials with respect to a measurev on [?1, 1] are studied whenv is a linear combination of a generalized Jacobi weight and finitely many Dirac deltas in [?1, 1]. We prove some weighted norm inequalities for the partial sum operatorsS _n, their maximal operatorS ^*, and the commutator [M _b, S_n], whereM _b denotes the operator of pointwise multiplication byb ∈BMO. We also prove some norm inequalites forS _n whenv is a sum of a Laguerre weitht onR ⁺ and a positive mass on 0.     

Asymptotic expansions in the integral and local limit theorems in banach spaces with applications to ω-statistics

LetB be a real separable Banach space and letX,X ₁,X ₂,...∈B denote a sequence of independent identically distributed random variables taking values inB. DenoteS _n =n ^?1/2(X ₁+...X _n ). Let π:B→R be a polynomial. We consider (truncated) Edgeworth expansions and other asymptotic expansions for the distribution function of the r.v. π(S _n ) with uniform and nonuniform bounds for the remainder terms. Expansions for the density of π(S _n ) and its higher order derivatives are derived as well. As an application of the general results we get expansions in the integral and local limit theorems for ω-statistics $$\omega _n^p (q)\mathop { = n^{{p \mathord{\left/ {\vphantom {p 2}} \right. \kern-\nulldelimiterspace} 2}} }\limits^\Delta \smallint _{(0,1)} \{ F_n (x) - x\} ^p q(x)dx$$ and investigate smoothness properties of their distribution functions. Herep≥2 is an even number,q: [0, 1]→[0, ∞] is a measurable weight function, andF _n denotes the empirical distribution function. Roughly speaking, we show that in order to get an asymptotic expansion with remainder termO(n ^?α), α<p/2, for the distribution function of the ω-statistic, it is sufficient thatq is nontrivial, i.e., mes{t∈(0, 1):q(t)≠0}>0. Expansions of arbitrary length are available provided the weight functionq is absolutely continuous and positive on an nonempty subinterval of (0, 1). Similar results hold for the density of the distribution function and its derivatives providedq satisfies certain very mild smoothness condition and is bounded away from zero. The last condition is essential since the distribution function of the ω-statistic has no density whenq is vanishing on an nonempty subinterval of (0, 1).     

Hankel operators on planar domains

Let Ω be a bounded domain in the plane whose boundary consists of a finite number of disjoint analytic simple closed curves LetA denote the space of analytic functions on Ω which are square integrable over Ω with respect to area measure and letP denote the orthogonal projection ofL ²(Ω,dA) ontoA. A functionb inA induces a Hankel operator (densely defined) onA by the ruleH _b (g)=(I?P)bg. This paper continues earlier investigations of the authors and others by determining conditions under whichH _b is bounded, compact, or lies in the Schatten-von Neumann idealS _p , 1<p<∞     

Index formulae for subspaces of Kreîn spaces

For a subspaceS of a Kreîn spaceK and an arbitrary fundamental decompositionK=K ^?[+]K ⁺ ofK, we prove the index formula $$\kappa ^ - \left( \mathcal{S} \right) + \dim \left( {\mathcal{S}^ \bot \cap \mathcal{K}^ + } \right) = \kappa ^ + \left( {\mathcal{S}^ \bot } \right) + \dim \left( {\mathcal{S} \cap \mathcal{K}^ - } \right)$$ where κ^±(S) stands for the positive/negative signature ofS. The difference dim(S∩K ^?)?dim(S ^⊥∩K ⁺), provided it is well defined, is called the index ofS. The formula turns out to unify other known index formulac for operators or subspaces in a Kreîn space.     

Criteria for the injectivity of analytic sheaves

It is shown that a moduleL over the sheafO of germs of holomorphic functions on a domain G of Cⁿ is injective if and only if the following conditions are satisfied; a)L is flabby; b) for every closed set S ?G and every point z λ G, the stalk se _z of the sheafS ^L;U1→Γ S ^(U:L) is an injectiveO _z -module. It follows in particular that the sheaf of germs of hyperfunctions is injective over the sheaf of germs of analytic functions.     

On rings whose number of centralizers of ideals is finite

LetR be a ring. For the setF of all nonzero ideals ofR, we introduce an equivalence relation inF as follows: For idealsI andJ, I～J if and only ifV _R (I)=V _R(J), whereV _R() is the centralizer inR. LetI _R=F/～. Then we can see thatn(I _R), the cardinality ofI _R, is 1 if and only ifR is either a prime ring or a commutative ring (Theorem 1.1). An idealI ofR is said to be a commutator ideal ifI is generated by{st?ts; s∈S, t∈T} for subsetS andT ofR, andR is said to be a ring with (N) if any commutator ideal contains no nonzero nilpotent ideals. Then we have the following main theorem: LetR be a ring with (N). Thenn(I _R) is finite if and only ifR is isomorphic to an irredundant subdirect sum ofS⊕Z whereS is a finite direct sum of non commutative prime rings andZ is a commutative ring (Theorem 2.1). Finally, we show that the existence of a ringR such thatn(I _R)=m for any given natural numberm.     

Nilpotent and solvable radicals in locally finite congruence modular varieties

The Loewy rank of a modular latticeL of finite height is defined as the leastn for which there exista ₀=0t, < ... r=1 inL such that each interval I[a_i, a_i+1] is a complemented lattice. In this paper, a generalized notion of Loewy rank is applied to obtain new results in the commutator theory of locally finite congruence modular varieties. LetV be a finitely generated congruence modular variety. We prove that every algebra inV has a largest nilpotent congruence and a largest solvable congruence. Moreover, there exist first order formulas which define these special congruences in every algebra ofV.     

Approximation by spherical waves inL p -spaces

The paper is devoted to the following problem. Consider the set of all radial functions with centers at the points of a closed surface inR ⁿ . Are such functions complete in the spaceL ^q (R ⁿ )? It is shown that the answer is positive if and only ifq is not less than 2n/(n + 1). A similar question is also answered for Riemannian symmetric spaces of rank 1. Relations of this problem with the wave and heat equations are also discussed.     

Regularity property of Donsker's delta function

LetL be the space of rapidly decreasing smooth functions on ? andL ^* its dual space. Let (L ²)⁺ and (L ²)^? be the spaces of test Brownian functionals and generalized Brownian functionals, respectively, on the white noise spaceL ^* with standard Gaussian measure. The Donsker delta functionδ(B(t)?x) is in (L ²)^? and admits the series representation $$\delta (B(t) - x) = (2\pi t)^{ - 1/2} \exp ( - x^2 /2t)\sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} H_n (x/\sqrt {2t} )} \times H_n (B(t)/\sqrt {2t} )$$ , whereH _n is the Hermite polynomial of degreen. It is shown that forφ in (L ²)⁺,g _t,φ(x)≡〈δ(B(t)?x), φ〉 is inL and the linear map takingφ intog _t,φ is continuous from (L ²)⁺ intoL. This implies that forf inL ^* is a generalized Brownian functional and admits the series representation $$f(B(t)) = (2\pi t)^{ - 1/2} \sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} \langle f,\xi _{n, t} \rangle } H_n (B(t)/\sqrt {2t} )$$ , whereξ _n,t is the Hermite function of degreen with parametert. This series representation is used to prove the Ito lemma forf inL ^*, $$f(B(t)) = f(B(u)) + \int_u^t {\partial _s^ * } f'(B(s)) ds + (1/2)\int_u^t {f''} (B(s)) ds$$ , where? _s ^* is the adjoint of \(\dot B(s)\) -differentiation operator? _s .     

Sulle foliazioni misurate arazionali parte II

In this sequel to our previous paper [2] we show that on a surfacesS of genusg>1, the arational measured foliations are generic inM F. We also show that ergodic measured foliations are necessarily non-rational (i.e. without closed leaves).     

On weak solutions of linear coercive integral equations in spacesL 2(X; ℋ k )

Пусть (X,A, μ) - полное про странство с σ-конечно й мерой, и пусть \(\overline {\mu \times \mu } \) . - замык ание меры μ×μ. Пусть далееg: X×X→C - квадратично интегрируемая функц ия по мере \(\overline {\mu \times \mu } \) . Рассматривается лин ейное интегральное у равнение (слабого) типа (1) (1) $$u(t) + A(\mathop \smallint \limits_x g(t,s)u(s)d\mu ) = f(t)\Pi .B.B\,X,$$ гдеА - максимальное р асширение L _k ^′ (в простр анстве ХëрмандераH ₁=B₂к) соотв ествующего линейного (псевдодиф ференциального) опер атораL: S→S; иS обозначает класс Щварца функций Rⁿ→-C. Уст анавливается сущест вование (слабых) решений (1) при н екотором условии коэрпитивно сти на оператор (2) (2) $$(L\Psi )(t) = \Psi (t) + \int\limits_x {g(t,s)L(\Psi (s))d\mu ,} $$ где Ψ принадлежит про странстувуD(Х, S) всех конечно-значных функ ций изX→S. Далее, изучается обобщенна я обратимость максим ального расширения оператора L. Наконец, пр иводится некоторое алгебраическое усло вие, обеспечивающее коэрцитивность L.