Estimate for the spectrum of an operator bundle and its application to stability problems

Simple estimates are obtained for the spectrum of the operator bundle \(R(\lambda ) = \sum\nolimits_{i = 0}^n {A_{n - i} \lambda ^i }\) in terms of estimates of the maximum and minimum eigenvalues of the operators \(\frac{1}{2}(A_{n - i} - A_{n - i}^* )(i = 0,1,2, \ldots n)\) and the norms of the operators \(\frac{1}{2}(A_{n - i} - A_{n - i}^* )(i = 0,1,2, \ldots n)\) We formulate a criterion of the asymptotic stability of the differential equations $$\sum\nolimits_{i = 1}^n {A_{n - i} } \frac{{d^{(i)} x}}{{dt^i }} = 0.$$ We present examples of the stability conditions for equations with n=2 and n=3.     

Global analytic hypoellipticity of the\bar \partial-Neumann problem on circular domains

In this paper we show that if \(D \subseteq \mathbb{C}^n ,n \geqq 2\) , is a smooth bounded pseudoconvex circular domain with real analytic defining functionr(z) such that \(\sum\limits_{k = 1}^n {z_k \frac{{\partial r}}{{\partial z_k }}} \ne 0\) for allz near the boundary, then the solutionu to the \(\bar \partial\) -Neumann problem, $$square u = (\bar \partial \bar \partial * + \bar \partial *\bar \partial )u = f,$$ is real analytic up to the boundary, if the given formf is real analytic up to the boundary. In particular, if \(D \subseteq \mathbb{C}^n ,n \geqq 2\) , is a smooth bounded complete Reinhardt pseudoconvex domain with real analytic boundary. Then ? is analytic hypoelliptic.     

Universelle Approximation durch Riesz-Transformierte der geometrischen Reihe

Let p={p_v} be a fixed sequence of complex numbers. Define \(p_n : = \mathop \Sigma \limits_{\nu = o}^n p_\nu \) and suppose that \(p_{m_k } \ne o\) for a subsequence M={m_k} of nonnegative integers. The matrix A=(α_kv) with the elements $$\alpha _{k\nu } = p_\nu /p_{m_k } if o \leqslant \nu \leqslant m_k ,\alpha _{k\nu } = oif \nu > m_k $$ generates a summability method (R,p,M) which is a refinement of the well known Riesz methods. The (R,p,M) methods have been introduced in [4]. In the present paper we are concerned with the summability of the geometric series \(\mathop \Sigma \limits_{\nu = o}^n z^\nu \) by (R,p,M) methods. We prove the following theorem. Suppose G is a simply connected domain with \(\{ z:|z|< 1\} \subset G,1 \varepsilon | G \) . Then there exists a universal, regular (R,p,M) method having the following properties: (1) \(\mathop \Sigma \limits_{\nu = o}^\infty z^\nu \) is compactly summable (R,p,M) to \(\tfrac{1}{{1 - z}}\) on G. (2) For every compact set B?¯G^c which has a connected complement and for every function f which is continuous on B and analytic in its interior there exists a subsequence M(B,f) of M such that \(\mathop \Sigma \limits_{\nu = o}^\infty z^\nu \) is uniformly summable (R,p,M(B,f)) to f(z) on B. (3) For every open set U?G^c which has simply connected components in ? and for every function f which is analytic on U there exists a subsequence M(U,f) of M such that \(\mathop \Sigma \limits_{\nu = o}^\infty z^\nu \) is compactly summable (R,p,M(U,f)) to f(z) on U.     

The algebraic independence of certain transcendental continued fractions

In the present note the algebraic independence of certain continued fractions is proved. Especially, we prove that the Böhmer-Mahler's series \(\sum\limits_{K = 1}^\infty {\left[ {\omega _v k} \right]} {\text{ }}g_\mu ^{ - k} \left( {1 \leqslant \mu \leqslant s,1 \leqslant v \leqslant t} \right)\) are algebraically independent, where \(\mathop \omega \nolimits_1 {\text{ , }}...{\text{ , }}\mathop \omega \nolimits_{\text{t}} \) , ..., \(\mathop g\nolimits_1 {\text{ , }}...{\text{ , }}\mathop g\nolimits_s \) are some irrational numbers andg ₁, ...,g _s are distinct positive integers.     

Absolute tauberian conditions for absolute hausdorff and quasi-hausdorff methods

The purpose of this paper is to prove that for a large set of absolute Hausdorff and quasi-Hausdorff methods the condition $$\sum\limits_{k = 1}^\infty {\left| {\lambda _n a_n - \lambda _{n - 1} a_{n - 1} } \right|< } \infty $$ is a Tauberian condition, i.e., its fulfillment together with the absolute summability of \(\sum\limits_{n = 0}^\infty {a_n } \) tos implies that \(\sum\limits_{n = 0}^\infty {\left| {a_n } \right|}< \infty \) and \(\sum\limits_{n = 0}^\infty {a_n } = s.\) a _n =s.     

Asymptotic behavior of multiperiodic functionsG(x) = \prod\limits_{n = 1}^\infty {g(x/2^n )}

Let 0≤g be a dyadic Hölder continuous function with period 1 and g(0)=1, and let $G(x) = \prod\nolimits_{n = 0}^\infty {g(x/{\text{2}}^n )} $ . In this article we investigate the asymptotic behavior of $\smallint _0^{\rm T} \left| {G(x)} \right|^q dx$ and $\frac{1}{n}\sum\nolimits_{k = 0}^n {\log g(2^k x)} $ using the dynamical system techniques: the pressure function and the variational principle. An algorithm to calculate the pressure is presented. The results are applied to study the regulatiry of wavelets and Bernoulli convolutions.     

The CF table

Letf be a continuous function on the circle ¦z¦=1. We present a theory of the (untruncated) “Carathéodory-Fejér (CF) table” of best supremumnorm approximants tof in the classes \(\tilde R_{mn} \) of functions $${{\tilde r(z) = \sum\limits_{k = - \infty }^m {a_k z^k } } \mathord{\left/ {\vphantom {{\tilde r(z) = \sum\limits_{k = - \infty }^m {a_k z^k } } {\sum\limits_{k = 0}^n {b_k } z^k ,}}} \right. \kern-\nulldelimiterspace} {\sum\limits_{k = 0}^n {b_k } z^k ,}}$$ , where the series converges in 1< ¦z¦ <∞. (The casem=n is also associated with the names Adamjan, Arov, and Krein.) Our central result is an equioscillation-type characterization: \(\tilde r \in \tilde R_{mn} \) is the unique CF approximant \(\tilde r^* \) tof if and only if \(f - \tilde r\) has constant modulus and winding numberω≥ m+ n+1?δ on ¦z¦=1, whereδ is the “defect” of \(\tilde r\) . If the Fourier series off converges absolutely, then \(\tilde r^* \) is continuous on ¦z¦=1, andω can be defined in the usual way. For general continuousf, \(\tilde r^* \) may be discontinuous, andω is defined by a radial limit. The characterization theorem implies that the CF table breaks into square blocks of repeated entries, just as in Chebyshev, Padé, and formal Chebyshev-Padé approximation. We state a generalization of these results for weighted CF approximation on a Jordan region, and also show that the CF operator \(K:f \mapsto \tilde r^* \) is continuous atf if and only if (m, n) lies in the upper-right or lower-left corner of its square block.     

A conjecture of Segre on diophantine approximation

In 1945,B. Segre proved the following classical theorem: Every irrational ξ has an infinity of rational approximationsp/q such that (0) $$\frac{{ - 1}}{{q^2 \sqrt {1 + 4\tau } }}< \frac{p}{q} - \xi< \frac{\tau }{{q^2 \sqrt {1 + 4\tau } }},$$ where τ is any given non-negative real number. Segre conjectured that when τ≠0 and τ^?1 is not an integer, inequalities (0) can be improved by replacing \(\sqrt {1 + 4\tau } \) and \(\sqrt {1 + 4\tau } /\tau \) with larger numbers. In this paper we prove that these two numbers can be replaced with the larger numbers \(\sqrt {1 + 4\tau } + 0.2\tau ^2 \{ \tau ^{ - 1} \} (1 - \{ \tau ^{ - 1} \} )\) and \(\sqrt {1 + 4\tau } /\tau + 0.2\tau ^2 \{ \tau ^{ - 1} \} (1 - \{ \tau ^{ - 1} \} )\) respectively, where {τ^?1} is the fractional part of τ^?1.     

Elliptische Differentialgleichungen mit variablen Koeffizienten in Gebieten mit unbeschränktem Rand

We discuss the spectrum of a symmetric elliptic differential operator A with domain \(\mathop {H^m }\limits^o (\Omega ) \cap H^{2m} (\Omega )\) in regions Ω with unbounded boundary \(\dot \Omega \) , where are \(\bar \Omega \) uniformely of class C^2m and on \(\dot \Omega \) the normal condition x·ν(x)≦μ for sufficient small positiveμ. We prove the A-priori-estimate \(\parallel u\parallel _{m,\Omega } \leqq c\parallel (l + r) (A - k)u\parallel _{o,\Omega } \) and show for all k>k, k≧0 suitable, there are no eigenvalues of A and by characterizing weighted Sobolev spaces with negative norm the existence of solutions \((l + r)_2 ^{ - 1} u \in \mathop H\limits^0{^m} (\Omega ) \cap H^{2m} (\Omega )\) of the equation (A?k)u=f, (1+r)f∈L²(Ω).     

Rational approximations of real numbers

For anyx ∈ r put $$c(x) = \overline {\mathop {\lim }\limits_{t \to \infty } } \mathop {\min }\limits_{(p,q\mathop {) \in Z}\limits_{q \leqslant t} \times N} t\left| {qx - p} \right|.$$ . Let [x₀; x₁,..., x_n, ...] be an expansion of x into a continued fraction and let \(M = \{ x \in J,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n< \infty \}\) .Forx∈M put D(x)=c(x)/(1?c(x)). The structure of the set \(\mathfrak{D} = \{ D(x),x \in M\}\) is studied. It is shown that $$\mathfrak{D} \cap (3 + \sqrt 3 ,(5 + 3\sqrt 3 )/2) = \{ D(x^{(n,3} )\} _{n = 0}^\infty \nearrow (5 + 3\sqrt 3 )/2,$$ where \(x^{(n,3)} = [\overline {3;(1,2)_n ,1} ].\) This yields for \(\mu = \inf \{ z,\mathfrak{D} \supset (z, + \infty )\}\) (“origin of the ray”) the following lower bound: μ?(5+3√3)/2=5.0n>(5 + 3/3)/2=5.098.... Suppose a∈n. Put \(M(a) = \{ x \in M,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n = a\}\) , \(\mathfrak{D}(a) = \{ D(x),x \in M(a)\}\) . The smallest limit point of \(\mathfrak{D}(a)(a \geqslant 2)\) is found. The structure of (a) is studied completely up to the smallest limit point and elucidated to the right of it.     

Polynomial-time algorithms for linear programming based only on primal scaling and projected gradients of a potential function

This paper presents extensions and further analytical properties of algorithms for linear programming based only on primal scaling and projected gradients of a potential function. The paper contains extensions and analysis of two polynomial-time algorithms for linear programming. We first present an extension of Gonzaga's O(nL) iteration algorithm, that computes dual variables and does not assume a known optimal objective function value. This algorithm uses only affine scaling, and is based on computing the projected gradient of the potential function $$q\ln (x^T s) - \sum\limits_{j = 1}^n {\ln (x_j )} $$ wherex is the vector of primal variables ands is the vector of dual slack variables, and q = n + \(\sqrt n \) . The algorithm takes either a primal step or recomputes dual variables at each iteration. We next present an alternate form of Ye's O( \(\sqrt n \) L) iteration algorithm, that is an extension of the first algorithm of the paper, but uses the potential function $$q\ln (x^T s) - \sum\limits_{j = 1}^n {\ln (x_j ) - \sum\limits_{j - 1}^n {\ln (s_j )} } $$ where q = n + \(\sqrt n \) . We use this alternate form of Ye's algorithm to show that Ye's algorithm is optimal with respect to the choice of the parameterq in the following sense. Suppose thatq = n + n ^t wheret?0. Then the algorithm will solve the linear program in O(n ^r L) iterations, wherer = max{t, 1 ? t}. Thus the value oft that minimizes the complexity bound ist = 1/2, yielding Ye's O( \(\sqrt n \) L) iteration bound.     

\mathfrak{E} of topological spaces II

In this paper, we obtain analogues, in the situation of \(\mathfrak{E}\) -extensions, of Magill's theorem on lattices of compactifications. We define an epireflective subcategory of the categoryT 2 of all Hausdorff spaces to be admissive (respectively finitely admissive) if for any \(\mathfrak{E}\) -regular spaceX, every Hausdorff quotient of \(\beta _\mathfrak{E} X\) which is Urysohn on \(\beta _\mathfrak{E} X - X\) (respectively which is finitary on \(\beta _\mathfrak{E} X - X\) ) and which is identity onX, has \(\mathfrak{E}\) . We notice that there are many proper epireflective subcategories ofT 2 containing all compact spaces and which are admissive; there are many such which are not admissive but finitely admissive. We prove that when \(\mathfrak{E}\) is a finitely admissive epireflective subcategory ofT 2, then the lattices of finitary \(\mathfrak{E}\) -extensions of two spacesX andY are isomorphic if and only if \(\beta _\mathfrak{E} X - X\) and \(\beta _\mathfrak{E} Y - Y\) are homeomorphic. Further if \(\mathfrak{E}\) is admissive, then the lattices of Urysohn \(\mathfrak{E}\) -extensions ofX andY are isomorphic if and only if \(\beta _\mathfrak{E} X - X\) and \(\beta _\mathfrak{E} Y - Y\) are homeomorphic.     

The value of two-person zero-sum repeated games with lack of information on both sides

We consider repeated two-person zero-sum games in which each player has only partial information about a chance move that takes place at the beginning of the game. Under some conditions on the information pattern it is proved that \(\mathop {\lim }\limits_{n \to \infty } v_n\) exists,v _n being the value of the game withn repetitions. Two functional equations are given for which \(\mathop {\lim }\limits_{n \to \infty } v_n\) is the only simultaneous solutions. We also find the least upper bound for the error term \(\left| {v_n - \mathop {\lim }\limits_{n \to \infty } v_n } \right|\) .     

Interpolation of states by vector states on certain operator algebras

LetT be an operator on an infinite dimensional Hilbert space \(\mathcal{H}\) with eigenvectorsv _i , ‖v _i ‖=1,i=1, 2, ..., andsp{v _i ?i∈n} dense in \(\mathcal{H}\) . Suppose that {v _i } is a Schauder basis for \(\mathcal{H}\) . We denote byA _T the ultraweakly closed algebra generated byT andI, the identity operator on \(\mathcal{H}\) . For any nonnegative sequence of scalars \(\left\{ {\alpha ,with = \sum\nolimits_1^\infty {\alpha _1 } = 1} \right\},\) , we associate an ultraweakly (normal) continuous linear functional \(\phi _\alpha = \sum\nolimits_1^\infty {\alpha _j } \omega _v\) where \(\phi _\alpha \left( A \right) = \lim _n \sum\nolimits_1^n {\alpha _j } \omega _v ,\) , and \(\omega _v ,\left( A \right) =< Av_1 ,v_1 >\) for allA∈A _T . We denote the set of all such linear functionals onA TbyF(T). The question that we investigate in this paper is whether each linear functional φ_α inF(T) is a vector state, i.e. does φ_α=ωx for some unit vectorx in \(\mathcal{H}\) ?     

Note on the distribution of zeros of polynomials

Let \(\mathfrak{M}\) be the set of zeros of the polynomial \(P(z) = \sum\nolimits_{k = 0}^m {A_k S_k (z)} \) , where S_k(z) are functions defined in some region B and the coefficients A_k are arbitrary numbers from the ring $$0 \leqslant \tau _k \leqslant |A_k - a_k | \leqslant R_{_k }< \infty $$ . Conditions necessary and sufficient to ensure that z ∈ \(\mathfrak{M}\) are obtained.     

Analogs of the arcsine distribution for sequences linearly generated by independent random variables

Let {ξ_k}, kz ...?1,0,1, ..., be a sequence of independent identically distributed random variables with . Let {C_k} be a numerical sequence such that \(\Sigma _{ - \infty }^\infty c_k^2< \infty \) Let $$X_n = \sum\limits_{ - \infty }^\infty {c_{k - n} \xi _k } , S_n = \sum\limits_1^n {X_k } $$ . This article investigates the limit behavior of the distributions of functionals of the following type: $$\mathcal{V}_n = \tfrac{1}{n}\sum\limits_1^n {h\left( {S_k } \right)} $$ , where h is a bounded function on R¹.     

Approximation of Dirichlet polynomials in cases of sparse exponents

Let \(0< \lambda \kappa \uparrow \infty ,\sum\nolimits_{\kappa = 1}^\infty {\lambda _\kappa ^{ - 1}< \infty } \) , and let γ be an analytic arc. For the Dirichlet polynomial \(P(z) = \sum\nolimits_1^n {a_k e^{\lambda _k .z} } \) , in angle \(E - \pi /2 + \varphi _0< \arg [ - (z - \alpha )]< \pi /2 + \varphi _0 ,0< \varphi _0< \pi /2,\operatorname{Re} \alpha< \beta = \mathop {\max }\limits_{t \in \gamma } \operatorname{Re} t\) we obtain the estimate $|P(z)|< A\mathop {\max }\limits_{t \in \gamma } |P(t)|$ where A depends only on angle E and {λ_k}. When γ is a segment, an estimate was obtained by L. Schwartz.     

On the limit superior of sequences of sets

qVЕРхНИИ пРЕДЕл пОслЕД ОВАтЕльНОстИ МНОжЕс тВA _n ОпРЕДЕльЕтсь сООтНО шЕНИЕМ \(\mathop {\lim sup}\limits_{n \to \infty } A_n = \mathop \cap \limits_{k = 1}^\infty \mathop \cup \limits_{n = k}^\infty A_n . B\) стАтьЕ РАссМАтРИВА Етсь слЕДУУЩИИ ВОпРО с: ЧтО МОжНО скАжАть О ВЕРхНИх пРЕДЕлАх \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) , еслИ ИжВЕстНО, ЧтО пРЕсЕЧЕНИь \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) «МАлы» Дль кАж-ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) ? ДОкАжыВАЕтсь, Ч тО

1. ЕслИ \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — кОНЕЧНОЕ МНО жЕстВО Дль кАжДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО НАИДЕтсь тАкАь пОДпО слЕДОВАтЕльНОсть, Дл ь кОтОРОИ МНОжЕстВО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) сЧЕтНО;
2. ЕслИ \(2^{\aleph _0 } = \aleph _1\) , тО сУЩЕстВУЕ т тАкАь пОслЕДОВАтЕл ьНОсть (A_n), ЧтО \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО Дль лУБОИ п ОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , НО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) ИМЕЕт МОЩ-НОсть кОНтИНУУМА;
3. ЕслИA _n — БОРЕлЕ ВскИЕ МНОжЕстВА В НЕкОтОРО М пОлНОМ сЕпАРАБЕльНО М МЕтРИЧЕскОМ пРОстРАНстВЕ, И \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕт НОЕ МНОжЕстВО Дль кАж ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО сУЩЕстВУЕт тАкАь п ОДпОслЕДОВАтЕльНОсть, ЧтО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО. кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (A _n ) сУЩЕстВУЕт схОДьЩА ьсь пОДпОслЕДОВАтЕльНО сть.

кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (А _n ) сУЩЕстВУЕт схОДьЩ Аьсь пОДпОслЕДОВАтЕльНО сть.     

On a theorem of Jackson

We prove that $$\mathop {L_n \in Z_n }\limits^{\inf } \mathop \omega \limits^{sup^* } \mathop {f \in H_\omega }\limits^{\sup } \frac{{\left\| {f - L_n \left( f \right)} \right\|}}{{\omega \left( {\frac{\pi }{{n + 1}}} \right)}} = 1\left( {n = 0,1,2,...} \right)$$ (n=0,1,2,...), where \(\mathop {L_n \in Z_n }\limits^{\inf } \) is taken over all linear polynomial approximation methods of degree not higher than n and \(\mathop \omega \limits^{sup^* } \) over all convex moduli of continuity ω(δ).     

On initial segments of degrees of constructibility

Let \(\mathfrak{M}\) be a fixed countable standard transitive model of ZF+V=L. We consider the structure Mod of degrees of constructibility of real numbers x with respect to \(\mathfrak{M}\) such that \(\mathfrak{M}\) (x) is a model. An initial segment Q \( \subseteq \) Mod is called realizable if some extension of \(\mathfrak{M}\) with the same ordinals contains exclusively the degrees of constructibility of real numbers from Q (and is a model of Z FC). We prove the following: if Q is a realizable initial segment, then $$[y \in Q \to y< x]]\& \forall z\exists y[z< x \to y \in Q\& \sim [y< z]]]$$ .