Quasi‐convexly dense and suitable sets in the arc component of a compact group

Let G be an abelian topological group. The symbol $\widehat{G}Let G be an abelian topological group. The symbol $\widehat{G}$ denotes the group of all continuous characters $\chi :G\rightarrow {\mathbb T}$ endowed with the compact open topology. A subset E of G is said to be qc‐dense in G provided that χ(E)?φ([? 1/4, 1/4]) holds only for the trivial character $\chi \in \widehat{G}$, where $\varphi : {\mathbb R}\rightarrow {\mathbb T}={\mathbb R}/{\mathbb Z}$ is the canonical homomorphism. A super‐sequence is a non‐empty compact Hausdorff space S with at most one non‐isolated point (to which S converges). We prove that an infinite compact abelian group G is connected if and only if its arc component G_a contains a super‐sequence converging to 0 that is qc‐dense in G. This gives as a corollary a recent theorem of Außenhofer: For a connected locally compact abelian group G, the restriction homomorphism $r:\widehat{G}\rightarrow \widehat{G}_a$ defined by $r(\chi )=\chi \upharpoonright _{G_a}$ for $\chi \in \widehat{G}$, is a topological isomorphism. We show that an infinite compact group G is connected if and only if its arc component G_a contains a super‐sequence converging to the identity that is qc‐dense in G and generates a dense subgroup of G. We also offer a short alternative proof of the result of Hofmann and Morris on the existence of suitable sets of minimal size in the arc component of a compact connected group.     

A mixed Hölder and Minkowski inequality

Hölder's inequality states that for any with . In the same situation we prove the following stronger chains of inequalities, where :

A similar result holds for complex valued functions with Re substituting for . We obtain these inequalities from some stronger (though slightly more involved) ones.

     

Quasi-Free Resolutions Of Hilbert Modules

The notion of a quasi-free Hilbert module over a function algebra $\mathcal{A}$ consisting of holomorphic functions on a bounded domain $\Omega$ in complex m space is introduced. It is shown that quasi-free Hilbert modules correspond to the completion of the direct sum of a certain number of copies of the algebra $\mathcal{A}$. A Hilbert module is said to be weakly regular (respectively, regular) if there exists a module map from a quasi-free module with dense range (respectively, onto). A Hilbert module $\mathcal{M}$ is said to be compactly supported if there exists a constant $\beta$ satisfying $\|\varphi f\| \leq \beta \ |\varphi \| \textsl{X} \|f \|$ for some compact subset X of $\Omega$ and $\varphi$ in $\mathcal{A}$, f in $\mathcal{M}$. It is shown that if a Hilbert module is compactly supported then it is weakly regular. The paper identifies several other classes of Hilbert modules which are weakly regular. In addition, this result is extended to yield topologically exact resolutions of such modules by quasi-free ones.     

On the Homological Dimension of Lattices

Let L be a finite lattice and let . It is shown that if the order complex satisfies then |L| ≥ 2 ^k . Equality |L| = 2 ^k holds iff L is isomorphic to the Boolean lattice {0,1} ^k . Research supported by the Israel Science Foundation.     

Projektive Skalen,Tschebyscheff-Polynome und Fibonacci-Zahlen

Summary. Let $\widehat{\widehat T}_n$ and $\overline U_n$ denote the modified Chebyshev polynomials defined by $\widehat{\widehat T}_n (x) = {T_{2n + 1} \left(\sqrt{x + 3 \over 4} \right) \over \sqrt{x + 3 \over 4}}, \quad \overline U_{n}(x) = U_{n} \left({x + 1 \over 2}\right) \qquad (n \in \mathbb{N}_{0},\ x \in \mathbb{R}).$ For all $n \in \mathbb{N}_{0}$ define $\widehat{\widehat T}_{-(n + 1)} = \widehat{\widehat T}_n$ and $\overline U_{-(n + 2)} = - \overline U_n$, furthermore $\overline U_{-1} = 0$. In this paper, summation formulae for sums of type $\sum\limits^{+\infty}_{k = -\infty} \mathbf a_{\mathbf k}(\nu; x)$ are given, where $\bigl(\mathbf a_{\mathbf k}(\nu; x)\bigr)^{-1} = (-1)^k \cdot \Bigl( x \cdot \widehat{\widehat T}_{\left[k + 1 \over 2\right] - 1} (\nu) +\widehat{\widehat T}_{\left[k + 1 \over 2\right]}(\nu)\Bigr) \cdot \Bigl(x \cdot \overline U_{\left[k \over 2\right] - 1} (\nu) + \overline U_{\left[k \over 2\right]} (\nu)\Bigr)$ with real constants $ x, \nu $. The above sums will turn out to be telescope sums. They appear in connection with projective geometry. The directed euclidean measures of the line segments of a projective scale form a sequence of type $(\mathbf a_{\mathbf k} (\nu;x))_{k \in \mathbb{Z}}$ where $ \nu $ is the cross-ratio of the scale, and x is the ratio of two consecutive line segments once chosen. In case of hyperbolic $(\nu \in \mathbb{R} \setminus] - 3,1[)$ and parabolic $\nu = -3$ scales, the formula $\sum\limits^{+\infty}_{k = -\infty} \mathbf a_{\mathbf k} (\nu; x) = {\frac{1}{x - q_{{+}\atop(-)}}} - {\frac{1}{x - q_{{-}\atop(+)}}} \eqno (1)$ holds for $\nu > 1$ (resp. $\nu \leq - 3$), unless the scale is geometric, that is unless $x = q_+$ or $x = q_-$. By $q_{\pm} = {-(\nu + 1) \pm \sqrt{(\nu - 1)(\nu + 3)} \over 2}$ we denote the quotient of the associated geometric sequence.

     

Erratum to: On the Crank�CNicolson scheme once again

Let ${\left(\tau_j\right)_{j\in\mathbb{N}}}$ be a sequence of strictly positive real numbers, and let A be the generator of a bounded analytic semigroup in a Banach space X. Put ${A_n=\prod_{j=1}^n\left(I+\frac{1}{2}\tau_jA\right)\left(I-\frac{1}{2}\tau_jA\right)^{-1}}$ , and let ${x\in X}$ . Define the sequence ${\left(x_n\right)_{n\in\mathbb{N}}\subset X}$ by the Crank?CNicolson scheme: x _n ?=?A _n x. In this erratum, it is proved that the Crank?CNicolson scheme is stable in the sense that ${\sup_{n\in\mathbb{N}}\left\Vert A_nx\right\Vert < \infty}$ provided that inequality (0.9) below holds.     

Numerical Radius Inequalities for Certain 2 × 2 Operator Matrices

We prove several numerical radius inequalities for certain 2 × 2 operator matrices. Among other inequalities, it is shown that if X, Y, Z, and W are bounded linear operators on a Hilbert space, then

$$w\left( \left[\begin{array}{cc} X &; Y \\ Z &; W \end{array} \right] \right) \geq \max \left(w(X),w(W),\frac{w(Y+Z)}{2},\frac{w(Y-Z)}{2}\right) $$

and

$$w\left( \left[\begin{array}{cc}X &; Y \\ Z &; W\end{array} \right] \right) \leq \max \left( w(X), w(W)\right)+\frac{w(Y+Z)+w(Y-Z)}{2}. $$

As an application of a special case of the second inequality, it is shown that

$$\frac{\left\Vert X\right\Vert }{2}+\frac{\left\vert \left\Vert\operatorname{Re}{X}\right\Vert -\frac{\left\Vert X\right\Vert}{2}\right\vert }{4}+\frac{ \left\vert \left\Vert \operatorname{Im}{X}\right\Vert -\frac{\left\Vert X\right\Vert}{2}\right\vert }{4} \leq w(X), $$

which is a considerable improvement of the classical inequality \({\frac{ \left\Vert X\right\Vert }{2}\leq w(X)}\) . Here w(·) and || · || are the numerical radius and the usual operator norm, respectively.

     

Absolutely continuous spectrum for random Schrödinger operators on the Bethe strip

The Bethe strip of width m is the cartesian product $\mathbb {B}\times \lbrace 1,\ldots ,m\rbrace$, where $\mathbb {B}$ is the Bethe lattice (Cayley tree). We prove that Anderson models on the Bethe strip have “extended states” for small disorder. More precisely, we consider Anderson‐like Hamiltonians $H_\lambda =\frac{1}{2} \Delta \otimes 1 + 1 \otimes A\,+\,\lambda \mathcal {V}$ on a Bethe strip with connectivity K ≥ 2, where A is an m × m symmetric matrix, $\mathcal {V}$ is a random matrix potential, and λ is the disorder parameter. Given any closed interval $I\subset \big (\!-\!\sqrt{K}+a_{{\rm max}},\sqrt{K}+a_{\rm {min}}\big )$, where a_min and a_max are the smallest and largest eigenvalues of the matrix A, we prove that for λ small the random Schrödinger operator H_λ has purely absolutely continuous spectrum in I with probability one and its integrated density of states is continuously differentiable on the interval I.     

Cardinal spline interpolation from

Let be the discrete Hardy space, consisting of those sequences , such that , where , , is the discrete Hilbert transform of . For a sequence , let be the unique cardinal spline of degree interpolating to at the integers. The norm of this operator, , is called a Lebesgue constant from to , and it was proved that .

It is proved in this paper that

     

Functional calculus under Kreiss type conditions

It is shown that for an algebraic Banach space operator T , the Kreiss condition, ‖(zI – T )^–1‖ ≤ , |z | > 1, implies the following functional calculus estimate $$ \Vert f (T) \Vert \le {16 \over {\pi} }\, C \cdot {\rm deg} (T) \, \Vert f \Vert _{\infty}\, , $$ where deg(T ) is the degree of the minimal polynomial annihilating T . This result extends the known estimates of the powers of T for Kreiss operators on finite dimensional spaces. In the case of a general Kreiss operator, an estimate of the rational calculus is proved: $$ \Vert r(T) \Vert \le {16 \over {\pi} }\, C ( {\rm deg}(r) + 1) \, \Vert r \Vert _{\infty} \, . $$ Similar estimates hold for the polynomial calculus under generalized Kreiss conditions. A link is also established between the sharp constant in the first estimate and the norm of the best solution for a Nevanlinna–Pick type interpolation problem in analytic Besov classes. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Analytic and Asymptotic Properties of Multivariate Generalized Linnik’s Probability Densities

This paper studies the properties of the probability density function p _α,ν,n (x) of the n-variate generalized Linnik distribution whose characteristic function φ _α,ν,n (t) is given by

On the Failure of Multilinear Multiplier Theorem with Endpoint Smoothness Conditions

We study a multilinear version of the Hörmander multiplier theorem, namely

$$ \Vert T_{\sigma}(f_{1},\dots,f_{n})\Vert_{L^{p}}\lesssim \sup_{k\in\mathbb{Z}}{\Vert \sigma(2^{k}\cdot,\dots,2^{k}\cdot)\widehat{\phi^{(n)}}\Vert_{L^{2}_{(s_{1},\dots,s_{n})}}}\Vert f_{1}\Vert_{H^{p_{1}}}\cdots\Vert f_{n}\Vert_{H^{p_{n}}}. $$

We show that the estimate does not hold in the limiting case \(\min \limits {(s_{1},\dots ,s_{n})}=d/2\) or \({\sum}_{k\in J}{({s_{k}}/{d}-{1}/{p_{k}})}=-{1}/{2}\) for some \(J \subset \{1,\dots ,n\}\). This provides the necessary and sufficient condition on \((s_{1},\dots ,s_{n})\) for the boundedness of T_σ.

     

Chains of Modular Elements and Lattice Connectivity

We show that the order complex of any finite lattice with a chain of modular elements is at least (r−2)-connected. The first author was supported during part of this work by a postdoctoral fellowship from the Mathematical Sciences Research Institute. The second author was supported by NSF grant DMS-0300483.     

On the Preservation of Stability under Convolutions

The preservation of stability under the convolution is shown to be related with the zero set of the Fourier transform of inducing stable function. For example, let φ be in the class Λ₀ of all stable functions ψ such that $\widehat\psi \left( 0 \right) \ne 0{\text{ and }}\widehat\psi$ as well as $E_\psi : = \sum {\left| {\widehat\psi \left( {w + 2{\pi }k} \right)} \right|} ^2$ is continuous. Then Λ₀ is preserved under the convolution by φ if and only if the zero set $Z\left( {\widehat\varphi } \right)$ is contained in 2πZ\{0}. The condition can be transformed into the zero set of the inducing mask trigonometric polynomial in the class Λ^# of compactly supported refinable functions in Λ₀. For example, our result shows that such φ must have its mask of the form $$m_\varphi \left( w \right) = \left( {\frac{{1 + {\text{e}}^{{\text{ - i2}}w} }}{2}} \right)^N \left( {\frac{{1 + {\text{e}}^{{\text{ - i}}w} + {\text{e}}^{{\text{ - i2}}w} }}{3}} \right)^M Q\left( w \right),$$ where integers N≥1 and M≥0, and Q(w) has no real zeros.     

On Growth of Polynomials with Restricted Zeros

Let P(z) be a polynomial of degree n which does not vanish in |z| k, k ≥ 1.It is known that for each 0 ≤ s n and 1 ≤ R ≤ k,M (P~(s), R )≤( 1/(R~s+ k~s))[{d~((s)/dx(s))(1+x~n)}_(x=1)]((R+k)/(1+k))~nM(P,1).In this paper, we obtain certain extensions and refinements of this inequality by involving binomial coefficients and some of the coefficients of the polynomial P(z).     

On Pointwise Convergence for Schrödinger Operator in a Convex Domain

Journal of Fourier Analysis and Applications - In this paper, we prove that the maximal inequality $$\begin{aligned} \big \Vert \sup _{|t|&lt;1}|e^{it\Delta _D}f(x,y)|\big \Vert...     

Weak type (p,q)‐inequalities for the Haar system and differentially subordinated martingales

For any $1\leq p,\,q<\infty$, we determine the optimal constant $C_{p,q}$ such that the following holds. If $(h_k)_{k\geq 0}$ is the Haar system on [0,1], then for any vectors a_k from a separable Hilbert space $\mathcal{H}$ and $\varepsilon_k\in \{-1,1\}$, $k=0,\,1,\,2,\ldots,$ we have This is generalized to the sharp weak‐type inequality where X, Y stand for $\mathcal{H}$‐valued martingales such that Y is differentially subordinate to X.     

Identification of a time-dependent UV-photon source in an interstellar cloud

Abstract Consider an interstellar cloud that occupies the region , bounded by the known surface , and assume that the scattering cross section σ_s and the total cross section σ are also known. Then, we prove that it is possible to identify the source q=q(x,t) that produces UV-photons inside the cloud, provided that the UV-photon distribution function arriving at a location , far from the cloud, is measured at times , , ..., . Keywords: Photon transport, Semigroups and linear evolution equations, Inverse problems Mathematics Subject Classification (2000): 82A25, 82C70, 34K29, 65M32     

Some ratio inequalities for iterated stochastic integrals

Let X = (X_t, ?_t) be a continuous local martingale with quadratic variation 〈X〉 and X₀ = 0. Define iterated stochastic integrals I_n(X) = (I_n(t, X), ?_t), n ≥ 0, inductively by $$ I_{n} (t, X) = \int ^{t} _{0} I_{n-1} (s, X)dX_{s} $$ with I₀(t, X) = 1 and I₁(t, X) = X_t. Let (??^x_t(X)) be the local time of a continuous local martingale X at x ∈ ?. Denote ??*t(X) = sup_x∈? ??^x_t(X) and X* = sup_t≥0 |X_t|. In this paper, we shall establish various ratio inequalities for I_n(X). In particular, we show that the inequalities $$ c_{n,p} \, \left\Vert (G ( \langle X \rangle _{\infty} )) ^{n/2} \right\Vert _{p} \; \le \; \left\Vert {\mathop \sup \limits _{t \ge 0}} \; {\left\vert I_{n} (t, X) \right\vert \over {(1+ \langle X \rangle _{t} ) ^{n/2}}} \right\Vert _{p} \; \le C_{n, p} \, \left\Vert (G ( \langle X \rangle _{\infty} )) ^{n/2} \right\Vert _{p} $$ hold for 0 < p < ∞ with some positive constants c_n,p and C_n,p depending only on n and p, where G(t) = log(1+ log(1+ t)). Furthermore, we also show that for some γ ≥ 0 the inequality $$ E \left[ U ^{p}_{n} \exp \left( \gamma {U ^{1/n} _{n} \over {V}} \right) \right] \le C_{n, p, \gamma} E [V ^{n, p}] \quad (0 < p < \infty ) $$ holds with some positive constant C_n,p,γ depending only on n, p and γ, where U_n is one of 〈I_n(X)〉^1/2_∞ and I*_n(X), and V one of the three random variables X*, 〈X〉^1/2_∞ and ??*_∞(X). (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Function representation of a noncommutative uniform algebra

We construct a Gelfand type representation of a real noncommutative Banach algebra satisfying , for all