We consider operators acting in the space C(X) (X is a compact topological space) of the form $Au\left(x\right)=\left({\sum }_{k=1}^N{e}^{{\phi }_k}{T}_{{\alpha }_k}\right)u\left(x\right)={\sum }_{k=1}^N{e}^{{\phi }_k\left(x\right)}u\left({\alpha }_k\left(x\right)\right)$, u ∈ C(X), where ${\phi }_k\in C\left(X\right)$ and ${\alpha }_k:X\to X$ are given continuous mappings (1 ≤ k ≤ N). A new formula on the logarithm of the spectral radius r(A) is obtained. The logarithm of r(A) is defined as a nonlinear functional λ depending on the vector of functions $\phi ={\left({\phi }_k\right)}_{k=1}^N$. We prove that $ln\left(r\left(A\right)\right)=\lambda \left(\phi \right)=ma{x}_{\nu \in Mes}{\sum }_{k=1}^N{\int }_X{\phi }_{k}d{\nu }_k-\lambda *\left(\nu \right)$, where Mes is the set of all probability vectors of measures $\nu ={\left({\nu }_k\right)}_{k=1}^N$ on X × 1,..., N and λ* is some convex lower-semicontinuous functional on...

Let n ≥ 1, d = 2n, and let (x,y) ∈ ℝⁿ × ℝⁿ be a generic point in ℝ²ⁿ. The twisted Laplacian $L=-1/2{\sum }_{j=1}^n[({\partial }_{x_j}+i{y}_j)²+({\partial }_{y_j}-i{x}_j)²]$ has the spectrum n + 2k = λ²: k a nonnegative integer. Let $P_{\lambda }$ be the spectral projection onto the (infinite-dimensional) eigenspace. We find the optimal exponent ϱ(p) in the estimate $\left|\right|P_{\lambda }{u\left|\right|}_{L^p\left({ℝ}^d\right)}\lesssim {\lambda }^{\varrho \left(p\right)}{\left|\right|u\left|\right|}_{L²\left({ℝ}^d\right)}$ for all p ∈ [2,∞], improving previous partial results by Ratnakumar, Rawat and Thangavelu, and by Stempak and Zienkiewicz. The expression for ϱ(p) is ϱ(p) = 1/p -1/2 if 2 ≤ p ≤ 2(d+1)/(d-1), ϱ(p) = (d-2)/2 - d/p...

We show that the essential spectral radius ${\varrho }_e\left(T\right)$ of T ∈ B(H) can be calculated by the formula ${\varrho }_e\left(T\right)$ = inf${ℱ}_{♯·♯}\left(XT{X}^{-1}\right)$: X an invertible operator, where ${ℱ}_{♯·♯}\left(T\right)$ is a Φ₁-perturbation function introduced by Mbekhta [J. Operator Theory 51 (2004)]. Also, we show that if ${}_{♯·♯}\left(T\right)$ is a Φ₂-perturbation function [loc. cit.] and if T is a Fredholm operator, then $dist(0,{\sigma }_e\left(T\right))$ = sup${}_{♯·♯}\left(XT{X}^{-1}\right)$: X an invertible operator.

The work is dedicated to investigating a limiting procedure for extending “local” integral operator equalities to “global” ones in the sense explained below, and to applying it to obtaining generalizations of the Newton-Leibniz formula for operator-valued functions for a wide class of unbounded operators. The integral equalities considered have the form $g\left(R_F\right)\int f_x\left(R_F\right)d\mu \left(x\right)=h\left(R_F\right)$. (1) They involve functions of the kind $X\ni x\mapsto f_x\left(R_F\right)\in B\left(F\right)$, where X is a general locally compact space, F runs over a suitable class of Banach subspaces...

Relations between spectral synthesis in the Fourier algebra A(G) of a compact group G and the concept of operator synthesis due to Arveson have been studied in the literature. For an A(G)-submodule X of VN(G), X-synthesis in A(G) has been introduced by E. Kaniuth and A. Lau and studied recently by the present authors. To any such X we associate a $V^{\infty }\left(G\right)$-submodule X̂ of ℬ(L²(G)) (where $V^{\infty }\left(G\right)$ is the weak-* Haagerup tensor product $L^{\infty }\left(G\right){\otimes }_{w*h}{L}^{\infty }\left(G\right)$), define the concept of X̂-operator synthesis and prove that a...

Let ϕ: [0,1] → [0,1] be a nondecreasing continuous function such that ϕ(x) > x for all x ∈ (0,1). Let the operator $V_{\varphi }:f\left(x\right)\mapsto {\int }_0^{\varphi \left(x\right)}f\left(t\right)dt$ be defined on L₂[0,1]. We prove that $V_{\varphi }$ has a finite number of nonzero eigenvalues if and only if ϕ(0) > 0 and ϕ(1-ε) = 1 for some 0 < ε < 1. Also, we show that the spectral trace of the operator $V_{\varphi }$ always equals 1.

An infinite set A in a space X converges to a point p (denoted by A → p) if for every neighbourhood U of p we have |A∖U| < |A|. We call cS(p,X) = |A|: A ⊂ X and A → p the convergence spectrum of p in X and cS(X) = ⋃cS(x,X): x ∈ X the convergence spectrum of X. The character spectrum of a point p ∈ X is χS(p,X) = χ(p,Y): p is non-isolated in Y ⊂ X, and χS(X) = ⋃χS(x,X): x ∈ X is the character spectrum of X. If κ ∈ χS(p,X) for a compactum X then κ,cf(κ) ⊂ cS(p,X). A selection of our...

Let $𝔞\subseteq ℂ[x_1,...,x_n]$ be a monomial ideal and $𝒥\left({𝔞}^c\right)$ the multiplier ideal of $𝔞$ with coefficient $c$. Then $𝒥\left({𝔞}^c\right)$ is also a monomial ideal of $ℂ[x_1,...,x_n]$, and the equality $𝒥\left({𝔞}^c\right)=𝔞$ implies that $0<c<n+1$. We mainly discuss the problem when $𝒥\left(𝔞\right)=𝔞$ or $𝒥\left({𝔞}^{n+1-\epsilon }\right)=𝔞$ for all $0<\epsilon <1$. It is proved that if $𝒥\left(𝔞\right)=𝔞$ then $𝔞$ is principal, and if $𝒥\left({𝔞}^{n+1-\epsilon }\right)=𝔞$ holds for all $0<\epsilon <1$ then $𝔞=(x_1,...,x_n)$. One global result is also obtained. Let $\widetilde{𝔞}$ be the ideal sheaf on ${\mathbb{P}}^{n-1}$ associated with $𝔞$. Then it is proved that the equality $𝒥\left(\widetilde{𝔞}\right)=\widetilde{𝔞}$ implies that $\widetilde{𝔞}$ is principal.

Let $I$ be an ideal in a commutative Noetherian ring $R$. Then the ideal $I$ has the strong persistence property if and only if $\left(I^{k+1}{:}_{R}I\right)=I^k$ for all $k$, and $I$ has the symbolic strong persistence property if and only if $\left(I^{(k+1)}{:}_R{I}^{\left(1\right)}\right)=I^{\left(k\right)}$ for all $k$, where $I^{\left(k\right)}$ denotes the $k$th symbolic power of $I$. We study the strong persistence property for some classes of monomial ideals. In particular, we present a family of primary monomial ideals failing the strong persistence property. Finally, we show that every square-free monomial...

We consider simultaneous solutions of operator Sylvester equations $A_{i}X-X{B}_i=C_i$ (1 ≤ i ≤ k), where $(A₁,...,A_k)$ and $(B₁,...,B_k)$ are commuting k-tuples of bounded linear operators on Banach spaces and ℱ, respectively, and $(C₁,...,C_k)$ is a (compatible) k-tuple of bounded linear operators from ℱ to , and prove that if the joint Taylor spectra of $(A₁,...,A_k)$ and $(B₁,...,B_k)$ do not intersect, then this system of Sylvester equations has a unique simultaneous solution.

For 0 < γ ≤ 1, let $\Lambda {⁺}_{\gamma }$ be the big Lipschitz algebra of functions analytic on the open unit disc which satisfy a Lipschitz condition of order γ on ̅. For a closed set E on the unit circle and an inner function Q, let $J_{\gamma }(E,Q)$ be the closed ideal in $\Lambda {⁺}_{\gamma }$ consisting of those functions $f\in \Lambda {⁺}_{\gamma }$ for which (i) f = 0 on E, (ii) $|f\left(z\right)-f\left(w\right)|=o\left(\right|z-w{|}^{\gamma })$ as d(z,E),d(w,E) → 0, (iii) $f/Q\in \Lambda {⁺}_{\gamma }$. Also, for a closed ideal I in $\Lambda {⁺}_{\gamma }$, let $E_I$ = z ∈ : f(z) = 0 for every f ∈ I and let $Q_I$ be the greatest common divisor of the inner parts of non-zero functions...

We prove that for the spectral radius of a weighted composition operator $a{T}_{\alpha }$, acting in the space $L^p(X,,\mu )$, the following variational principle holds: $lnr\left(a{T}_{\alpha }\right)=ma{x}_{\nu \in M{¹}_{\alpha ,e}}{\int }_{X}ln\left|a\right|d\nu$, where X is a Hausdorff compact space, α: X → X is a continuous mapping preserving a Borel measure μ with suppμ = X, $M{¹}_{\alpha ,e}$ is the set of all α-invariant ergodic probability measures on X, and a: X → ℝ is a continuous and ${}_{\infty }$-measurable function, where ${}_{\infty }={\bigcap }_{n=0}^{\infty }{\alpha }^{-n}\left(\right)$. This considerably extends the range of validity of the above formula, which was previously known...

We define partial spectral integrals $S_R$ on the Heisenberg group by means of localizations to isotropic or anisotropic dilates of suitable star-shaped subsets V containing the joint spectrum of the partial sub-Laplacians and the central derivative. Under the assumption that an L²-function f lies in the logarithmic Sobolev space given by $log(2+L_{\alpha })f\in L²$, where $L_{\alpha }$ is a suitable “generalized” sub-Laplacian associated to the dilation structure, we show that $S_{R}f\left(x\right)$ converges a.e. to f(x) as R → ∞.

Let $G$ be a simple algebraic group over an algebraically closed field $𝕜$ of characteristic 0, and $𝔤=LieG$. Let $(e,h,f)$ be an $𝔰{𝔩}_2$-triple in $𝔤$ with $e$ being a long root vector in $𝔤$. Let $(·,·)$ be the $G$-invariant bilinear form on $𝔤$ with $(e,f)=1$ and let $\chi \in {𝔤}^{*}$ be such that $\chi \left(x\right)=(e,x)$ for all $x\in 𝔤$. Let $𝒮$ be the Slodowy slice at $e$ through the adjoint orbit of $e$ and let $H$ be the enveloping algebra of $𝒮$; see [31]. In this article we give an explicit presentation of $H$ by generators and relations. As a consequence we deduce that $H$ contains...

Let $\mathrm{SP}$ be the set of upper strongly porous at $0$ subsets of ${ℝ}^{+}$ and let $\widehat{I}\left(\mathrm{SP}\right)$ be the intersection of maximal ideals $I\subseteq \mathrm{SP}$. Some characteristic properties of sets $E\in \widehat{I}\left(\mathrm{SP}\right)$ are obtained. We also find a characteristic property of the intersection of all maximal ideals contained in a given set which is closed under subsets. It is shown that the ideal generated by the so-called completely strongly porous at $0$ subsets of ${ℝ}^{+}$ is a proper subideal of $\widehat{I}\left(\mathrm{SP}\right).$ Earlier, completely strongly porous sets and some of their properties...

Given a topological space $X$, let $𝒰X$ and ${\eta }_X:X\to 𝒰X$ denote, respectively, the Salbany compactification of $X$ and the compactification map called the Salbany map of $X$. For every continuous function $f:X\to Y$, there is a continuous function $𝒰f:𝒰X\to 𝒰Y$, called the Salbany lift of $f$, satisfying $\left(𝒰f\right)\circ {\eta }_X={\eta }_Y\circ f$. If a continuous function $f:X\to Y$ has a stably compact codomain $Y$, then there is a Salbany extension $F:𝒰X\to Y$ of $f$, not necessarily unique, such that $F\circ {\eta }_X=f$. In this paper, we give a condition on a space such that its Salbany map is open. In...

We establish the spectral gap property for dense subgroups of SU$\left(d\right)$ $(d\ge 2)$, generated by finitely many elements with algebraic entries; this result was announced in [BG3]. The method of proof differs, in several crucial aspects, from that used in [BG] in the case of SU$\left(2\right)$.

Let $A\left(X\right)$ denote a subalgebra of $C\left(X\right)$ which is closed under local bounded inversion, briefly, an $LBI$-subalgebra. These subalgebras were first introduced and studied in Redlin L., Watson S., Structure spaces for rings of continuous functions with applications to realcompactifications, Fund. Math. 152 (1997), 151–163. By characterizing maximal ideals of $A\left(X\right)$, we generalize the notion of $z_A^{\beta }$-ideals, which was first introduced in Acharyya S.K., De D., An interesting class of ideals in subalgebras of $C\left(X\right)$...

In this work we study the problem $u_t{-div\left(\right|x|}^{-2\gamma }\nabla u)=\lambda \frac{u^{\alpha }}{{\left|x\right|}^{2(\gamma +1)}}+f$ in $\Omega \times (0,T)$, $u\ge 0$ in $\Omega \times (0,T)$, $u=0$ on $\partial \Omega \times (0,T)$, $u(x,0)=u_0\left(x\right)$ in $\Omega$, $\Omega \subset {ℝ}^N$ $(N\ge 2)$ is a bounded regular domain such that $0\in \Omega$, $\lambda >0$, $\alpha >0$, $-\infty <\gamma <\left(N-2\right)/2$, $f$ and $u_0$ are positive functions such that $f\in L^1(\Omega \times (0,T))$ and $u_0\in L^1\left(\Omega \right)$. The main points under analysis are: (i) spectral instantaneous and complete blow-up related to the Harnack inequality in the case $\alpha =1$, $1+\gamma >0$; (ii) the nonexistence of solutions if $\alpha >1$, $1+\gamma >0$; (iii) a uniqueness result for weak solutions (in the distribution sense); (iv) further results on existence of weak solutions...

For a linear operator T in a Banach space let ${\sigma }_p\left(T\right)$ denote the point spectrum of T, let ${\sigma }_{p,n}\left(T\right)$ for finite n > 0 be the set of all $\lambda \in {\sigma }_p\left(T\right)$ such that dim ker(T - λ) = n and let ${\sigma }_{p,\infty }\left(T\right)$ be the set of all $\lambda \in {\sigma }_p\left(T\right)$ for which ker(T - λ) is infinite-dimensional. It is shown that ${\sigma }_p\left(T\right)$ is ${ℱ}_{\sigma }$, ${\sigma }_{p,\infty }\left(T\right)$ is ${ℱ}_{\sigma \delta }$ and for each finite n the set ${\sigma }_{p,n}\left(T\right)$ is the intersection of an ${ℱ}_{\sigma }$ set and a ${}_{\delta }$ set provided T is closable and the domain of T is separable and weakly σ-compact. For closed densely defined operators in a separable Hilbert space a more...

Let $𝔐$ and $\Re$ be algebras of subsets of a set $\Omega$ with $𝔐\subset \Re$, and denote by $E\left(\mu \right)$ the set of all quasi-measure extensions of a given quasi-measure $\mu$ on $𝔐$ to $\Re$. We show that $E\left(\mu \right)$ is order bounded if and only if it is contained in a principal ideal in $ba\left(\Re \right)$ if and only if it is weakly compact and $extrE\left(\mu \right)$ is contained in a principal ideal in $ba\left(\Re \right)$. We also establish some criteria for the coincidence of the ideals, in $ba\left(\Re \right)$, generated by $E\left(\mu \right)$ and $extrE\left(\mu \right)$.

We characterise the boundedness of the $H^{\infty }$ calculus of a sectorial operator in terms of dilation theorems. We show e. g. that if $-A$ generates a bounded analytic $C_0$ semigroup $\left(T_t\right)$ on a UMD space, then the $H^{\infty }$ calculus of $A$ is bounded if and only if $\left(T_t\right)$ has a dilation to a bounded group on $L^2([0,1],X)$. This generalises a Hilbert space result of C.LeMerdy. If $X$ is an $L^p$ space we can choose another $L^p$ space in place of $L^2([0,1],X)$.

Let $G$ be a graph of order $n$ and $\lambda \left(G\right)$ the spectral radius of its adjacency matrix. We extend some recent results on sufficient conditions for Hamiltonian paths and cycles in $G$. One of the main results of the paper is the following theorem: Let $k\ge 2,$ $n\ge k^3+k+4,$ and let $G$ be a graph of order $n$, with minimum degree $\delta \left(G\right)\ge k.$ If $$\lambda \left(G\right)\ge n-k-1,$$ then $G$ has a Hamiltonian cycle, unless $G=K_1\vee (K_{n-k-1}+K_k)$ or $G=K_k\vee (K_{n-2k}+{\overline{K}}_k).$

Associated to an Hadamard matrix $H\in M_N\left(ℂ\right)$ is the spectral measure μ ∈ [0,N] of the corresponding Hopf image algebra, A = C(G) with $G\subset S{⁺}_N$. We study a certain family of discrete measures ${\mu }^r\in [0,N]$, coming from the idempotent state theory of G, which converge in Cesàro limit to μ. Our main result is a duality formula of type ${\int }_0^N{(x/N)}^{p}d{\mu }^r\left(x\right)={\int }_0^N{(x/N)}^{r}d{\nu }^p\left(x\right)$, where ${\mu }^r,{\nu }^r$ are the truncations of the spectral measures μ,ν associated to $H,H^t$. We also prove, using these truncations ${\mu }^r,{\nu }^r$, that for any deformed Fourier matrix $H=F_M{\otimes }_Q{F}_N$ we have μ = ν.