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 ) сУЩЕстВУЕт схОДьЩ Аьсь пОДпОслЕДОВАтЕльНО сть.     

Mixing via the extended family

In this paper,the relationship between the extended family and several mixing properties in measuretheoretical dynamical systems is investigated.The extended family eF related to a given family F can be regarded as the collection of all sets obtained as"piecewise shifted"members of F.For a measure preserving transformation T on a Lebesgue space(X,B,μ),the sets of"accurate intersections of order k"defined below are studied,Nε(A0,A1,...,Ak)=n∈Z+:μk i=0T inAiμ(A0)μ(A1)μ(Ak)ε,for k∈N,A0,A1,...,Ak∈B and ε0.It is shown that if T is weakly mixing(mildly mixing)then for any k∈N,all the sets Nε(A0,A1,...,Ak)have Banach density 1(are in(eFip),i.e.,the dual of the extended family related to IP-sets).     

Gauss periods and codebooks from generalized cyclotomic sets of order four

Let p, q be distinct primes with gcd(p ? 1, q ? 1) = 4. Let D ₀, D ₁, D ₂, D ₃ be Whiteman’s generalized cyclotomic classes, satisfying the multiplicative group ${{\mathbb Z}^*_{pq}=D_0\cup D_1\cup D_2\cup D_3}$ . In this paper, we give formulas of Gauss periods: ${\sum_{i\in D_0\cup D_2}\zeta^i}$ and ${\sum_{i\in D_0}\zeta^i}$ , where ${\zeta}$ is a pqth primitive root of unity. As an application, we get the maximum cross-correlation amplitudes of three codebooks from generalized cyclotomic sets of order four and supply conditions on p and q such that they nearly meet the Welch bound.     

Convex hulls in the hyperbolic space

We show that the convex hull of any N points in the hyperbolic space ${\mathbb{H}^{n}}$ is of volume smaller than ${\frac{2 (2 \sqrt \pi)^n}{\Gamma(\frac n 2)} N}$ , and that for any dimension n there exists a constant C _n > 0 such that for any set ${A \subset \mathbb{H}^{n}}$ , $$Vol(Conv(A_1)) \leq C_n Vol(A_1)$$ where A ₁ is the set of points of hyperbolic distance to A smaller than 1.     

Finiteness of φ-order of solutions of linear differential equations in the unit disc

If φ: [0, 1) → (0,∞) is a non-decreasing unbounded function, then the φ-order of a meromorphic function f in the unit disc is defined as $$ \sigma _\phi (f) = \mathop {\lim \sup }\limits_{r \to 1^ - } \frac{{\log ^ + T(r,f)}} {{\log \phi (r)}}, $$ where T(r, f) is the Nevanlinna characteristic of f. In particular, $ \sigma _{\tfrac{1} {{1 - r}}} $ f is the order of f, and $ \sigma _{\log \tfrac{1} {{1 - r}}} $ f is the logarithmic order of f. Several results on the finiteness of the φ-order of solutions of $$ f^{(k)} + A_{k - 1} (z)f^{(k - 1)} + \cdots + A_1 (z)f' + A_0 (z)f = 0 $$ are obtained in the case when the coefficients A ₀(z), ...,A _k?1(z) are analytic functions in the unit disc. This paper completes some earlier results by various authors.     

Sufficient conditions for absolute asymptotic stability of linear equations in a Banach space

For a linear differential equation of the type (1) $$\frac{{dx}}{{dt}} = A_0 x(t) + A_1 x(t - \Delta _1 ) + ... + A_n x(t - \Delta _n )$$ we establish the followingTHEOREM. If $$\overline {\left| {z_1 } \right| = ...\underline{\underline \cup } \left| z \right|_n = 1\sigma \left( {A_0 + \sum\nolimits_{k = 1}^n {z_k A_k } } \right)} \subset \left\{ {\lambda :\operatorname{Re} \lambda< 0} \right\}$$ then system (1) is absolutely asymptotically stable.     

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.     

A Note on Drazin Invertibility for Upper Triangular Block Operators

A bounded linear operator A acting on a Banach space X is said to be an upper triangular block operators of order n, and we write ${A \in \mathcal{UT}_{n}(X)}$ , if there exists a decomposition of ${X = X_{1} \oplus . . . \oplus X_{n}}$ and an n × n matrix operator ${(A_{i,j})_{\rm 1 \leq i, j \leq n}}$ such that ${A = (A_{i, j})_{1 \leq i, j \leq n}, A_{i, j} = 0}$ for i > j. In this note we characterize a large set of entries A _{i, j} with j > i such that ${\sigma_{\rm D} (A) = {\bigcup\limits_{i = 1}^{n}} \sigma_{\rm D} (A_{i, i})}$ ; where σ_D(.) is the Drazin spectrum. Some applications concerning the Fredholm theory and meromorphic operators are given.     

Prolongations of valuations to finite extensions

Let ${K=\mathbb{Q}(\theta)}$ be an algebraic number field with θ in the ring A _K of algebraic integers of K and f(x) be the minimal polynomial of θ over the field ${\mathbb{Q}}$ of rational numbers. For a rational prime p, let ${\bar{f}(x)\,=\,\bar{g}_{1}(x)^{e_{1}}....\bar{g}_{r}(x)^{e_{r}}}$ be the factorization of the polynomial ${\bar{f}(x)}$ obtained by reducing coefficients of f(x) modulo p into a product of powers of distinct irreducible polynomials over ${\mathbb{Z}/p\mathbb{Z}}$ with g _i (x) monic. Dedekind proved that if p does not divide [ ${A_{K}:\mathbb{Z}}$ [θ]], then ${pA_{K}=\wp_{1}^{e_{1}}\ldots\wp_{r}^{e_{r}}}$ , where ${\wp_{1},\ldots,\wp_{r}}$ are distinct prime ideals of A _K , ${\wp_{i}=pA_{K}+g_{i}(\theta)A_{K}}$ having residual degree equal to the degree of ${\bar{g}_{i}(x)}$ . He also proved that p does not divide [ ${A_{K}:\mathbb{Z}}$ [θ]] if and only if for each i, either e _i  = 1 or ${\bar{g}_{i}(x)}$ does not divide ${\bar{M}(x)}$ where ${M(x)=\frac{1}{p}(f(x)-g_{1}(x)^{e_{1}}....g_{r}(x)^{e_{r}})}$ . Our aim is to give a weaker condition than the one given by Dedekind which ensures that if the polynomial ${\bar{f}(x)}$ factors as above over ${\mathbb{Z}/p\mathbb{Z}}$ , then there are exactly r prime ideals of A _K lying over p, with respective residual degrees ${\deg \bar {g}_{1}(x),...,\deg \bar {g}_{r}(x)}$ and ramification indices e ₁, ..., e _r . In this paper, the above problem has been dealt with in a more general situation when the base field is a valued field (K, v) of arbitrary rank and K(θ) is any finite extension of K.     

Value-sets of polynomials at p-adic integers

In this paper we are concerned with the classification of the subsets A of ${\mathbb{Z}_p}$ which occur as images ${f(\mathbb{Z}_p^r)}$ of polynomial functions ${f:\mathbb{Z}_p^r\to \mathbb{Z}_p}$ , limiting ourselves to compact-open subsets (i.e. finite unions of open balls). We shall prove three main results: (i) Every compact-open ${A\subset \mathbb{Z}_p}$ is of the shape ${A=f(\mathbb{Z}_p^r)}$ for suitable r and ${f\in\mathbb{Z}_p[X_1,\ldots ,X_r]}$ . (ii) For each r ₀ there is a compact-open A such that in (i) we cannot take r < r ₀. (iii) For any compact-open set ${A\subset \mathbb{Z}_p}$ there exists a polynomial ${f\in\mathbb{Q}_p[X]}$ such that ${f(\mathbb{Z}_p)=A}$ . We shall also discuss in more detail which sets A can be represented as ${f(\mathbb{Z}_p)}$ for a polynomial ${f\in\mathbb{Z}_p[X]}$ in a single variable.     

Operator integration,perturbations, and commutators

Under mild assumption, integral representations of the form (*) $$f(A_1 ) \cdot \mathfrak{J} - \mathfrak{J} \cdot f(A_1 ) = \int {\int {\frac{{f(\mu ) - f(\lambda )}}{{\mu - \lambda }}} } dE_1 (\mu )(A_1 \mathfrak{J} - \mathfrak{J}A_0 )dE_0 (\mu ),$$ are justified. Here A_k, k=0, 1, is a self-adjoint operator in a Hilbert space H_k, is an operator from H₀ H₁; in general, all the operators are unbounded; E_k is the spectral measure of the operator A_k. On the basis of the representation (^*), estimates of the s-numbers of the operator \(f(A_1 ) \cdot \mathfrak{J} - \mathfrak{J} \cdot f(A_0 )\) in terms of the s-numbers of the operator \(A_1 \mathfrak{J} - \mathfrak{J}A_0\) are given. Analogous results are obtained for commutators and antocommutators.     

Estimate of a polynomial in generalized exponential functions in the convex hull of two domains

Пусть $$f_n (z) = \exp \{ \lambda _n z\} [1 + \psi _n (z)], n \geqq 1$$ гдеψ _n (z) — регулярны в н екоторой односвязно й областиS, λ _n — нули целой функц ии экспоненциальног о ростаL(λ) с индикатрис ой ростаh(?), причем $$|L\prime (\lambda _n )| > C(\delta )\exp \{ [h(\varphi _n ) - \varepsilon ]|\lambda _n |\} \varphi _n = \arg \lambda _n , \forall \varepsilon > 0$$ . Предположим, что на лю бом компактеK?S $$|\psi _n (z)|< Aq^{|\lambda |_n } , a< q< 1, n \geqq 1$$ гдеA иq зависит только отK. Обозначим через \(\bar D\) со пряженную диаграмму функцииL(λ), через \(\bar D_\alpha \) — смещение. \(\bar D\) на векторα. Рассмотр им множестваD ₁ иD ₂ так ие, чтоD ₁ иD ₂ и их вьшуклая обо лочкаE принадлежатS. Пусть \(\bar D_{\alpha _1 } \subset D_1 , \bar D_{\alpha _2 } \subset D_2 \) Доказывается, что сущ ествует некоторая об ластьG?E такая, что \(\mathop \cup \limits_{\alpha \in [\alpha _1 ,\alpha _2 ]} \bar D_\alpha \subset G\) и дляz∈G верна оценка $$\sum\limits_{v = 1}^n {|a_v f_v (z)|} \leqq B\max (M_1 ,M_2 ), M_j = \mathop {\max }\limits_{t \in \bar D_j } |\sum\limits_{v = 1}^n {a_v f_v (t)} |$$ , где константаB не зав исит от {a _v }.     

On the Linear Dependence of a Finite Set of Additive Functions

In this note we prove the following: Let n?≥ 2 be a fixed integer. A system of additive functions ${A_{1},A_{2},\ldots,A_{n}:\mathbb{R} \to\mathbb{R}}$ is linearly dependent (as elements of the ${\mathbb{R}}$ vector space ${\mathbb{R}^{\mathbb{R}}}$ ), if and only if, there exists an indefinite quadratic form ${Q:\mathbb{R}^{n}\to\mathbb{R} }$ such that ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\geq 0}$ or ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\leq 0}$ holds for all ${x\in\mathbb{R}}$ .     

Height of a Superposition

We observe that, given a poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ and a finite covering ${\user1{\mathcal{R}}} = {\user1{\mathcal{R}}}_{1} \cup \cdots \cup {\user1{\mathcal{R}}}_{n} $ of its ordering, the height of the poset does not exceed the natural product of the heights of the corresponding sub-relations: $$\mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}} \right)} \leqslant \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{1} } \right)} \otimes \cdots \otimes \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{n} } \right)}.$$ Conversely for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, every poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ of height at most $\xi_1\otimes\cdots\otimes\xi_n$ admits a partition ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ such that each ${\left( {E,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at most $\xi_k$ . In particular for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, the ordinal $$\xi _{1} \underline{ \otimes } \cdots \underline{ \otimes } \xi _{n} : = \sup {\left\{ {{\left( {\xi ^{\prime }_{1} \otimes \cdots \otimes \xi ^{\prime }_{n} } \right)} + 1:\xi ^{\prime }_{1} < \xi _{1} , \cdots ,\xi ^{\prime }_{n} < \xi _{n} } \right\}}$$ is the least $\xi$ for which the following partition relation holds $$\mathfrak{H}_{\xi } \to {\left( {\mathfrak{H}_{{\xi _{1} }} , \cdots ,\mathfrak{H}_{{\xi _{n} }} } \right)}^{2} $$ meaning: for every poset ${\left( {A,{\user1{\mathcal{R}}}} \right)}$ of height at least $\xi$ and every finite covering ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ , there is a $k$ for which the relation ${\left( {A,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at least $\xi_k$ . The proof will rely on analogue properties of vertex coverings w.r.t. the natural sum.     

Duality of weighted anisotropic Besov and Triebel–Lizorkin spaces

Let A be an expansive dilation on ${{\mathbb R}^n}$ and w a Muckenhoupt ${\mathcal A_\infty(A)}$ weight. In this paper, for all parameters ${\alpha\in{\mathbb R} }$ and ${p,q\in(0,\infty)}$ , the authors identify the dual spaces of weighted anisotropic Besov spaces ${\dot B^\alpha_{p,q}(A;w)}$ and Triebel?CLizorkin spaces ${\dot F^\alpha_{p,q}(A;w)}$ with some new weighted Besov-type and Triebel?CLizorkin-type spaces. The corresponding results on anisotropic Besov spaces ${\dot B^\alpha_{p,q}(A; \mu)}$ and Triebel?CLizorkin spaces ${\dot F^\alpha_{p,q}(A; \mu)}$ associated with ${\rho_A}$ -doubling measure??? are also established. All results are new even for the classical weighted Besov and Triebel?CLizorkin spaces in the isotropic setting. In particular, the authors also obtain the ${\varphi}$ -transform characterization of the dual spaces of the classical weighted Hardy spaces on ${{\mathbb R}^n}$ .     

Unitary Equivalence of Proper Extensions of a Symmetric Operator and the Weyl Function

Let A be a densely defined simple symmetric operator in ${\mathfrak{H}}$ , let ${\Pi=\{\mathcal{H},\Gamma_0, \Gamma_1}\}$ be a boundary triplet for A ^* and let M(·) be the corresponding Weyl function. It is known that the Weyl function M(·) determines the boundary triplet Π, in particular, the pair {A, A ₀}, uniquely up to the unitary similarity. Here ${A_0 := A^* \upharpoonright \text{ker}\, \Gamma_0 ( = A^*_0)}$ . At the same time the Weyl function corresponding to a boundary triplet for a dual pair of operators defines it uniquely only up to the weak similarity. We consider a symmetric dual pair {A, A} with symmetric ${A \subset A^*}$ and a special boundary triplet ${\widetilde{\Pi}}$ for{A, A} such that the corresponding Weyl function is ${\widetilde{M}(z) = K^*(B-M(z))^{-1} K}$ , where B is a non-self-adjoint bounded operator in ${\mathcal{H}}$ . We are interested in the problem whether the result on the unitary similarity remains valid for ${\widetilde{M}(\cdot)}$ in place of M(·). We indicate some sufficient conditions in terms of the operators A ₀ and ${A_B= A^* \upharpoonright \text{ker}\, (\Gamma_1-B \Gamma_0)}$ , which guaranty an affirmative answer to this problem. Applying the abstract results to the minimal symmetric 2nth order ordinary differential operator A in ${L^2(\mathbb{R}_+)}$ , we show that ${\widetilde{M}(\cdot)}$ defined in ${\Omega_+ \subset \mathbb{C}_+}$ determines the Dirichlet and Neumann realizations uniquely up to the unitary equivalence. At the same time similar result for realizations of Dirac operator fails. We obtain also some negative abstract results demonstrating that in general the Weyl function ${\widetilde{M}(\cdot)}$ does not determine A _B even up to the similarity.     

Morrey-type regularity of solutions to parabolic problems with discontinuous data

We consider regular oblique derivative problem in cylinder Q _T ?=????× (0, T), ${\Omega\subset {\mathbb R}^n}$ for uniformly parabolic operator ${{{\mathfrak P}}=D_t- \sum_{i,j=1}^n a^{ij}(x)D_{ij}}$ with VMO principal coefficients. Its unique strong solvability is proved in Manuscr. Math. 203?C220 (2000), when ${{{\mathfrak P}}u\in L^p(Q_T)}$ , ${p\in(1,\infty)}$ . Our aim is to show that the solution belongs to the generalized Sobolev?CMorrey space ${W^{2,1}_{p,\omega}(Q_T)}$ , when ${{{\mathfrak P}}u\in L^{p,\omega} (Q_T)}$ , ${p\in (1, \infty)}$ , ${\omega(x,r):\,{\mathbb R}^{n+1}_+\to {\mathbb R}_+}$ . For this goal an a priori estimate is obtained relying on explicit representation formula for the solution. Analogous result holds also for the Cauchy?CDirichlet problem.     

Boundedness of Generalized Riesz Transforms on Orlicz–Hardy Spaces Associated to Operators

Let ${\Phi}$ be a continuous, strictly increasing and concave function on (0, ∞) of critical lower type index ${p_\Phi^- \in(0,\,1]}$ . Let L be an injective operator of type ω having a bounded H _∞ functional calculus and satisfying the k-Davies–Gaffney estimates with ${k \in {\mathbb Z}_+}$ . In this paper, the authors first introduce an Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ in terms of the non-tangential L-adapted square function and then establish its molecular characterization. As applications, the authors prove that the generalized Riesz transform ${D_{\gamma}L^{-\delta/(2k)}}$ is bounded from the Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz space ${L^{\widetilde{\Phi}}(\mathbb{R}^n)}$ when ${p_\Phi^- \in (0, \frac{n}{n+ \delta - \gamma}]}$ , ${0 < \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz–Hardy space ${H^{\widetilde \Phi}(\mathbb{R}^n)}$ when ${p_\Phi^-\in (\frac{n}{n + \delta+ \lfloor \gamma \rfloor- \gamma},\,\frac{n}{n+ \delta- \gamma}]}$ , ${1\le \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the weak Orlicz–Hardy space ${WH^\Phi(\mathbb{R}^n)}$ when ${\gamma = \delta}$ and ${p_\Phi=n/(n + \lfloor \gamma \rfloor)}$ or ${p_\Phi^-=n/(n + \lfloor \gamma \rfloor)}$ with ${p_\Phi^-}$ attainable, where ${\widetilde{\Phi}}$ is an Orlicz function whose inverse function ${\widetilde{\Phi}^{-1}}$ is defined by ${\widetilde{\Phi}^{-1}(t):=\Phi^{-1}(t)t^{\frac{1}{n}(\gamma- \delta)}}$ for all ${t \in (0,\,\infty)}$ , ${p_\Phi}$ denotes the strictly critical lower type index of ${\Phi}$ , ${\lfloor \gamma \rfloor}$ the maximal integer not more than ${\gamma}$ and ${(p_-(L),\,p_+(L))}$ the range of exponents ${p \in[1,\, \infty]}$ for which the semigroup ${\{e^{-tL}\}_{t >0 }}$ is bounded on ${L^p(\mathbb{R}^n)}$ .     

Lower Bounds for the Perron Root of a Sum of Nonnegative Matrices

Let $A^{(l)} (l = 1, \ldots ,k)$ be $n \times n$ nonnegative matrices with right and left Perron vectors $u^{(l)} $ and $v^{(l)} $ , respectively, and let $D^{(l)} $ and $E^{(l)} (l = 1, \ldots ,k)$ be positive-definite diagonal matrices of the same order. Extending known results, under the assumption that $$u^{(1)} \circ v^{(1)} = \ldots = u^{(k)} \circ v^{(k)} \ne 0$$ (where `` $ \circ $ '' denotes the componentwise, i.e., the Hadamard product of vectors) but without requiring that the matrices $A^{(l)} $ be irreducible, for the Perron root of the sum $\sum\nolimits_{l = 1}^k {D^{(l)} A^{(l)} E^{(l)} } $ we derive a lower bound of the form $$\rho \left( {\sum\limits_{l = 1}^k {D^{(l)} A^{(l)} E^{(l)} } } \right) \geqslant \sum\limits_{l = 1}^k {\beta _{l\rho } (A^{(l)} ),{\text{ }}\beta _l >0.} $$ Also we prove that, for arbitrary irreducible nonnegative matrices $A^{{\text{ (}}l{\text{)}}} (l = 1, \ldots ,k),$ , $$\rho \left( {\sum\limits_{l = 1}^k {A^{(l)} } } \right) \geqslant \sum\limits_{l = 1}^k {\alpha _{l\rho } (A^{(l)} ),} $$ where the coefficients ∝₁>0 are specified using an arbitrarily chosen normalized positive vector. The cases of equality in both estimates are analyzed, and some other related results are established. Bibliography: 8 titles.