Interpolation in certain Hilbert spaces of analytic functions

In this article we study, for a Hilbert spaceB of analytic functions in the open unit disk, the dependence of the structure of the space of sequencesB(Z)={{f(z_k)} _k=1 ^∞ :f∈B} on the choice of the sequence Z={z_k} _k=1 ^∞ of distinct points of the unit disk [6].     

On the eigenvalues of the Sturm-Liouville operator with potentials from Sobolev spaces

We study the asymptotic behavior of the eigenvalues the Sturm-Liouville operator Ly = ?y″ + q(x)y with potentials from the Sobolev space W ₂ ^θ?1 , θ ≥ 0, including the nonclassical case θ ∈ [0, 1) in which the potential is a distribution. The results are obtained in new terms. Let s _2k (q) = λ _k ^1/2 (q) ? k, s _2k?1(q) = μ _k ^1/2 (q) ? k ? 1/2, where {λ _k } ₁ ^∞ and {μ _k } ₁ ^∞ are the sequences of eigenvalues of the operator L generated by the Dirichlet and Dirichlet-Neumann boundary conditions, respectively,. We construct special Hilbert spaces t ₂ ^θ such that the mapping F:W ₂ ^θ?1 →t ₂ ^θ defined by the equality F(q) = {s _n } ₁ ^∞ is well defined for all θ ≥ 0. The main result is as follows: for θ > 0, the mapping F is weakly nonlinear, i.e., can be expressed as F(q) = Uq + Φ(q), where U is the isomorphism of the spaces W ₂ ^θ?1 and t ₂ ^θ , and Φ(q) is a compact mapping. Moreover, we prove the estimate ∥Ф(q)∥_τ ≤ C∥q∥_θ?1, where the exact value of τ = τ(θ) > θ ? 1 is given and the constant C depends only on the radius of the ball ∥q∥_θ? ≤ R, but is independent of the function q varying in this ball.     

On the subfields of cyclotomic function fields

Let K = F(T) be the rational function field over a finite field of q elements. For any polynomial f(T) ∈ F [T] with positive degree, denote by Λ _f the torsion points of the Carlitz module for the polynomial ring F[T]. In this short paper, we will determine an explicit formula for the analytic class number for the unique subfield M of the cyclotomic function field K(Λ _P ) of degree k over F(T), where P ∈ F[T] is an irreducible polynomial of positive degree and k > 1 is a positive divisor of q ? 1. A formula for the analytic class number for the maximal real subfield M ⁺ of M is also presented. Futhermore, a relative class number formula for ideal class group of M will be given in terms of Artin L-function in this paper.     

Finite union theorem with restrictions

The aim of this paper is to prove the following extension of the Folkman-Rado-Sanders Finite Union Theorem: For every positive integersr andk there exists a familyL of sets having the following properties:

1. ifS ₁,S ₂, ...,S _{k + 1} are distinct pariwise disjoint elements ofL then there exists nonemptyI ? {1, 2, ...,k + 1} with ∪ _i∈I S _i ?L
2. ifL =L ₁ ?...?L _r is an arbitrary partition then there existsj ≤ r and pairwise disjoint setsS ₁,S ₂, ...,S _k ∈L _j , such thatL _i∈I S _i ∈L _j for every nonemptyI ? {1, 2, ...,k}.

     

Convolutions of random measures on compact groups

LetG be a compact group andM ₁(G) be the convolution semigroup of all Borel probability measures onG with the weak topology. We consider a stationary sequence {μ _n } _n=?∞ ^+∞ of random measures μ _n =μ _n (ω) inM ₁(G) and the convolutions $$v_{m,n} (\omega ) = \mu _m (\omega )* \cdots *\mu _{n - 1} (\omega ), m< n$$ and $$\alpha _n^{( + k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n,n + i} (\omega ),} \alpha _n^{( - k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n - i,n} (\omega )} $$ We describe the setsA _m ⁺ (ω) andA _n ⁺ (ω) of all limit points ofv _m,n(ω) asm→?∞ orn→+∞ and the setA _∞(ω) of its two-sided limit points for typical realizations of {μ _n (ω)} _n=?∞ ^+∞ . Using an appropriate random ergodic theorem we study the limit random measures ρ _n ^(±) (ω)=lim _k→∞ α _n ^(±k) (ω).     

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.     

О раэложении мероморфных функций специального вида на простейщие дроби

The paper is devoted to study the entire functions L(λ) with simple real zeros λ_k, k = 1, 2, ..., that admit an expansion of Krein’s type: $$\frac{1}{{\mathcal{L}(\lambda )}} = \sum\limits_{k = 1}^\infty {\frac{{c_k }}{{\lambda - \lambda _k }}} ,\sum\limits_{k = 1}^\infty {\left| {c_k } \right| < \infty } .$$ We present a criterion for these expansions in terms of the sequence {L′ (λ _k )} _k=1 ^∞ . We show that this criterion is applicable to certain classes of meromorphic functions and make more precise a theorem of Sedletski? on the annihilating property in L ² systems of exponents.     

ON possible Turán densities

The Turán density π(F) of a family F of k-graphs is the limit as n → ∞ of the maximum edge density of an F-free k-graph on n vertices. Let Π _∞ ^(k) consist of all possible Turán densities and let Π _fin ^(k) ? Π _∞ ^(k) be the set of Turán densities of finite k-graph families. Here we prove that Π _fin ^(k) contains every density obtained from an arbitrary finite construction by optimally blowing it up and using recursion inside the specified set of parts. As an application, we show that Π _fin ^(k) contains an irrational number for each k ≥ 3. Also, we show that Π _∞ ^(k) has cardinality of the continuum. In particular, Π _∞ ^(k) ≠ Π _fin ^(k) .     

Minimal decompositions of graphs into mutually isomorphic subgraphs

SupposeG _n={G ₁, ...,G _k } is a collection of graphs, all havingn vertices ande edges. By aU-decomposition ofG _n we mean a set of partitions of the edge setsE(G _t ) of theG _i , sayE(G _t )== \(\sum\limits_{j = 1}^r {E_{ij} } \) E _ij , such that for eachj, all theE _ij , 1≦i≦k, are isomorphic as graphs. Define the functionU(G _n) to be the least possible value ofr aU-decomposition ofG _n can have. Finally, letU _k (n) denote the largest possible valueU(G) can assume whereG ranges over all sets ofk graphs havingn vertices and the same (unspecified) number of edges. In an earlier paper, the authors showed that $$U_2 (n) = \frac{2}{3}n + o(n).$$ In this paper, the value ofU _k (n) is investigated fork>2. It turns out rather unexpectedly that the leading term ofU _k (n) does not depend onk. In particular we show $$U_k (n) = \frac{3}{4}n + o_k (n),k \geqq 3.$$      

Kantorovič operators of second order

The Kantorovi? operators of second order are introduced byQ _n f= =(B _n+2 F)″ whereF is the double indefinite integraloff andB _n+2 the (n+2)-th Bernstein operator. The operatorsQ _n will reveal a close affinity to the so-called modified Bernstein operatorsC _n introduced bySchnabl [10] on a quite different way. The article contains investigations concerning the asymptotic behavior ofQ _n ^kn f (asn → ∞), where (k _n) is a sequence of natural numbers.     

On mappings preserving orthogonality of non-singular vectors

Letq be a regular quadratic form on a vector space (V,F) and letf be the bilinear form associated withq. Then, \(\dot V: = \{ z \in V|q(z) \ne 0\} \) is the set of non-singular vectors ofV, and forx, y ∈ \(\dot V\) , ?(x, y) ?f(x, y) ²/(q(x) · q(y)) is theq-measure of (x, y), where ?(x,y)=0 means thatx, y are orthogonal. For an arbitrary mapping \(\sigma :\dot V \to \dot V\) we consider the functional equations $$\begin{gathered} (I)\sphericalangle (x,y) = 0 \Leftrightarrow \sphericalangle (x^\sigma ,y^\sigma ) = 0\forall x,y \in \dot V, \hfill \\ (II)\sphericalangle (x,y) = \sphericalangle (x^\sigma ,y^\sigma )\forall x,y \in \dot V, \hfill \\ (III)f(x,y)^2 = f(x^\sigma ,y^\sigma )^2 \forall x,y \in \dot V, \hfill \\ \end{gathered} $$ and we state conditions on (V,F,q) such thatσ is induced by a mapping of a well-known type. In case of dimV ∈N?{0, 1, 2} ∧ ∣F∣ > 3, each of the assumptions (I), (II), (III) implies that there exist aρ-linear injectionξ :V →V and a fixed λ ∈F?{0} such thatF x ^σ =F x ^ξ ?x ∈ \(\dot V\) andf(x ^ξ,y ^ξ)=λ · (f(x, y))^ρ ?x, y ∈V. Moreover, (II) implies ρ =id _F ∧q(x ^ξ) = λ ·q(x) ?x ∈ \(\dot V\) , and (III) implies ρ=id _F ∧ λ ∈ {1,?1} ∧x ^σ ∈ {x ^ξ, ?x ^ξ} ?x ∈ \(\dot V\) . Other results obtained in this paper include the cases dimV = 2 resp. dimV ?N resp. ∣F∣ = 3.     

Asymptotic behaviour of the minima to a class of optimization problems for differential inclusions

Denoting byS _k (ξ _k ) the set of solutions of the Cauchy problem $\dot x \in F_k (t,x),x(0) = \xi _k $ , fork∈N∪{∞}, we prove that, under appropriate assumptions, the sequence {S _k (ξ _k )} _{k ∈ N} converges toS _∞(∈_∞) in the Kuratowski sense as well as in the Mosco sense. This result together with some facts from Γ-convergence theory are used to prove a result concerning the existence and the asymptotic behavior of the minima to the optimization problem $$\min \int_0^T {[g_k (t,x(t)) + h_k (t,\dot x(t))]} dt + \psi _k (\xi ),x \in S_k (\xi ),\xi \in K$$ withK a compact subset ofR ⁿ .     

When is the radical associated with a module a torsion?

For an arbitrary R-module M we consider the radical (in the sense of Maranda)G _M, namely, the largest radical among all radicalsG, such thatG(M). We determine necessary and sufficient on M in order for the radicalG(M) to be a torsion. In particular,G(M) is a torsion if and only if M is a pseudo-injective module.     

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 σ-algebras related to the measurability of compositions

Given a measurable space (T, F), a set X, and a map ?: T → X, the σ-algebras N _Ф = ?_?∈Φ N _?, and M _Φ = ?_?∈Φ N _?, where G _?(t) = (t, ?(t)) and Φ ? X ^T , are considered. These σ-algebras are used to characterize the (F, B, ?)-measurability of the compositions g ○ ? and f о G _?, where g: X → Y, f: T × X → Y, and (Y, ?) is a measurable space. Their elements are described without using the operations ? ^?1 and G _? ^?1 .     

Multifractal analysis of the divergence of Fourier series: The extreme cases

We study the size, in terms of the Hausdorff dimension, of the subsets of T such that the Fourier series of a generic function in L ¹(T), L ^p (T), or C(T) may behave badly. Genericity is related to the Baire Category Theorem or the notion of prevalence. This paper is a continuation of [3].     

О факториэации и о нулях преобраэовании Фуряе бесконечно дифференцируемых функции с компактным носителем

LetF denote the class of Fourier transforms of infinitely differentiable functions on the real line with compact support. We prove that if each zero of a functionF ∈ $F \in \mathcal{F}$ lies in the union of a horizontal strip with a finite number of semistrips, them a factorizationF=F ₁ F ₂ holds, where $F_1 ,F_2 \in \mathcal{F}$ . We give estimates of |F ₁(z)/F ₂(z)| from above and from below. The zero sets of functions fromF are described in terms of integral sequences.     

Connected Baranyai’s theorem

Let K _n ^h = (V, ( _h ^V )) be the complete h-uniform hypergraph on vertex set V with ¦V¦ = n. Baranyai showed that K _n ^h can be expressed as the union of edge-disjoint r-regular factors if and only if h divides rn and r divides \((_{h - 1}^{n - 1} )\) . Using a new proof technique, in this paper we prove that λK _n ^h can be expressed as the union \(\mathcal{G}_1 \cup ... \cup \mathcal{G}_k \) of k edge-disjoint factors, where for 1≤i≤k, \(\mathcal{G}_i \) is r _i -regular, if and only if (i) h divides r _i n for 1≤i≤k, and (ii) \(\sum\nolimits_{i = 1}^k {r_i = \lambda (_{h - 1}^{n - 1} )} \) . Moreover, for any i (1≤i≤k) for which r _i ≥2, this new technique allows us to guarantee that \(\mathcal{G}_i \) is connected, generalizing Baranyai’s theorem, and answering a question by Katona.