Mathematics - Functional Analysis Publications (50)


Mathematics - Functional Analysis Publications

A subset of a discrete group $G$ is called completely Sidon if its span in $C^*(G)$ is completely isomorphic to the operator space version of the space $\ell_1$ (i.e. $\ell_1$ equipped with its maximal operator space structure). Read More

The purpose of this paper is to establish bilinear estimates in Besov spaces generated by the Dirichlet Laplacian on a domain of Euclidian spaces. These estimates are proved by using the gradient estimates for heat semigroup together with the Bony paraproduct formula and the boundedness of spectral multipliers. Read More

We propose a new approach to study the existence of maximizers for the variational problem associated with Sobolev type inequalities both in the subcritical case and critical case under the equivalent constraints. Our method is based on a link between the attainability of the supremum in our variational problem and the attainablity of the supremum of a particular function on $(0,\infty)$. Analyzing carefully this function on $(0,\infty)$, we obtain the existence and non-existence of maximizers for our variational problem. Read More

Consider a separable Banach space $ \mathcal{W}$ supporting a non-trivial Gaussian measure $\mu$. The following is an immediate consequence of the theory of Gaussian measure on Banach spaces: there exist (almost surely) successful couplings of two $\mathcal{W}$-valued Brownian motions $ \mathbf{B}$ and $\widetilde{\mathbf{B}}$ begun at starting points $\mathbf{B}(0)$ and $\widetilde{\mathbf{B}}(0)$ if and only if the difference $\mathbf{B}(0)-\widetilde{\mathbf{B}}(0)$ of their initial positions belongs to the Cameron-Martin space $\mathcal{H}_{\mu} $ of $\mathcal{W}$ corresponding to $\mu$. For more general starting points, can there be a "coupling at time $\infty$", such that almost surely $\|\mathbf{B}(t)-\widetilde{\mathbf{B}}(t)\|_{\mathcal{W}} \to 0$ as $t\to\infty$? Such couplings exist if there exists a Schauder basis of $ \mathcal{W}$ which is also a $\mathcal{H}_{\mu} $-orthonormal basis of $\mathcal{H}_{\mu} $. Read More

Anderson's theorem states that if the numerical range W(A) of an n-by-n matrix A is contained in the unit disk and intersects with the unit circle at more than n points, then it coincides with the (closed) unit dissk. An analogue of this result for compact A in an infinite dimensional setting was established by Gau and Wu. We consider here the case of A being the sum of a normal and compact operator. Read More

We prove that, any problem of minimization of proper lower semicontinuous function defined on a normal Hausdorff space, is canonically equivalent to a problem of minimization of a proper weak * lower semicontinuous convex function defined on a weak * convex compact subset of some dual Banach space. We estalish the existence of an bijective operator between the two classes of functions which preserves the problems of minimization. Read More

The Jacobi-Trudi formulas imply that the minors of the banded Toeplitz matrices can be written as certain skew Schur polynomials. In 2012, Alexandersson expressed the corresponding skew partitions in terms of the indices of the struck-out rows and columns. In the present paper, we develop the same idea and obtain some new applications. Read More

Let $\theta$ be an inner function on the unit disk, and let $K^p_\theta:=H^p\cap\theta\overline{H^p_0}$ be the associated star-invariant subspace of the Hardy space $H^p$, with $p\ge1$. While a nontrivial function $f\in K^p_\theta$ is never divisible by $\theta$, it may have a factor $h$ which is "not too different" from $\theta$ in the sense that the ratio $h/\theta$ (or just the anti-analytic part thereof) is smooth on the circle. In this case, $f$ is shown to have additional integrability and/or smoothness properties, much in the spirit of the Hardy--Littlewood--Sobolev embedding theorem. Read More

Virtually all questions that one can ask about the behavioral and structural complexity of a stochastic process reduce to a linear algebraic framing of a time evolution governed by an appropriate hidden-Markov process generator. Each type of question---correlation, predictability, predictive cost, observer synchronization, and the like---induces a distinct generator class. Answers are then functions of the class-appropriate transition dynamic. Read More

We prove various extensions of the Coifman-Rubio de Francia-Semmes multiplier theorem to operator-valued multipliers on Banach function spaces. Our results involve a new boundedness condition on sets of operators which we call $\ell^{r}(\ell^{s})$-boundedness, which implies $\mathcal{R}$-boundedness in many cases. The proofs are based on new Littlewood-Paley-Rubio de Francia-type estimates in Banach function spaces which were recently obtained by the authors. Read More

We investigate pointwise convergence of entangled ergodic averages of Dunford-Schwartz operators $T_0,T_1,\ldots, T_m$ on a Borel probability space. These averages take the form \[ \frac{1}{N^k}\sum_{1\leq n_1,\ldots, n_k\leq N} T_m^{n_{\alpha(m)}}A_{m-1}T^{n_{\alpha(m-1)}}_{m-1}\ldots A_2T_2^{n_{\alpha(2)}}A_1T_1^{n_{\alpha(1)}} f, \] where $f\in L^p(X,\mu)$ for some $1\leq p<\infty$, and $\alpha:\left\{1,\ldots,m\right\}\to\left\{1,\ldots,k\right\}$ encodes the entanglement. We prove that under some joint boundedness and twisted compactness conditions on the pairs $(A_i,T_i)$, almost everywhere convergence holds for all $f\in L^p$. Read More

Let $X$ be a Hausdorff topological compact space with a partial order $% \preceq $ for which the order intervals are closed and let $\mathcal{F}$ be a nonempty commutative family of monotone maps from $X$ into $X$. In this paper, we apply a generalized version of the Knaster-Tarski theorem to show that if there exists $c\in X$ such that $c\preceq f(c)$ for every $f\in \mathcal{F}$, then the set of common fixed points of $\mathcal{F}$ is nonempty and has maximal and minimal elements. The result, specialized to the case of Banach spaces gives a general fixed point theorem that drops almost all assumptions from the recent results in this area. Read More

In this paper we develop the calculus of pseudo-differential operators on the lattice $\mathbb{Z}^n$, which we can call pseudo-difference operators. An interesting feature of this calculus is that the phase space is compact so the symbol classes are defined in terms of the behaviour with respect to the lattice variable. We establish formulae for composition, adjoint, transpose, and for parametrix for the elliptic operators. Read More

We introduce and study the concepts of "universally symmetrically norming operators" and "universally absolutely symmetrically norming operators" on a separable Hilbert space. These refer to the operators that are, respectively, norming and absolutely norming, with respect to every symmetric norm on $\mathcal B(\mathcal H)$. We establish a characterization theorem for such operators and prove that these classes are identical and that they coincide with the class of compact operators. Read More

In this article, we propose the notion of the general $p$-affine capacity and prove some basic properties for the general $p$-affine capacity, such as affine invariance and monotonicity. The newly proposed general $p$-affine capacity is compared with several classical geometric quantities, e.g. Read More

In this paper we study the problem of photoacoustic inversion in a weakly attenuating medium. We present explicit reconstruction formulas in such media and show that the inversion based on such formulas is moderately ill--posed. Moreover, we present a numerical algorithm for imaging and demonstrate in numerical experiments the feasibility of this approach. Read More

An analog of the Gelfand--Shilov estimate of the matrix exponential is proved for Green's function of the problem of bounded solutions of the ordinary differential equation $x'(t)-Ax(t)=f(t)$. Read More

Spatially distributed networks of large size arise in a variety of science and engineering problems, such as wireless sensor networks and smart power grids. Most of their features can be described by properties of their state-space matrices whose entries have indices in the vertex set of a graph. In this paper, we introduce novel % Banach algebras of Beurling type that contain matrices on a connected simple graph having polynomial off-diagonal decay, and we show that they are Banach subalgebras of ${\mathcal B}(\ell^p), 1\le p\le \infty$, the space of all bounded operators on the space $\ell^p$ of all $p$-summable sequences. Read More

We derive a lower and an upper bound for the rank of the finite part of operator $K$-theory groups of maximal and reduced $C^*$-algebras of finitely generated groups. The lower bound is based on the amount of polynomially growing conjugacy classes of finite order elements in the group. The upper bound is based on the amount of torsion elements in the group. Read More

We consider the sound ranging problem, which is to find the position of the source-point from the moments when the wave-sphere of linearly, with time, increasing radius reaches the sensor-points, in the infinite-dimensional separable Euclidean space H, and describe the solving methods, for entire space and for its unit sphere. In the former case, we give the conditions ensuring the uniqueness of the solution. We also provide two examples with the sets of sensors being a basis of H: 1st, when sound ranging problem and so-called dual problem both have single solutions, and 2nd, when sound ranging problem has two distinct solutions. Read More

We obtain a necessary and sufficient condition for a matrix $A$ to be Birkhoff-James orthogonal to any subspace $\mathscr W$ of $\mathbb M_n(\mathbb C)$. Using this we obtain an expression for the distance of $A$ from any unital $C^*$ subalgebra of $\mathbb M_n(\mathbb C)$. Read More

In this paper, we provide a abstract aproach to the study the multiple summing operator and yours homogeneous polynomials associed, we will also investigate the coerence and compatibility of this class and show that, this is a global holomorphy type. Some inclusion results were also made. Moreover, we show that our approach generalizes several classes of multiple summing operators already established in the literature and that we can easily construct new classes of multiple operators that satisfy our abstract approach. Read More

In this paper we prove that for an arbitrary pair $\{T_1,T_0\}$ of contractions on Hilbert space with trace class difference, there exists a function $\boldsymbol\xi$ in $L^1({\Bbb T})$ (called a spectral shift function for the pair $\{T_1,T_0\}$ ) such that the trace formula $\operatorname{trace}(f(T_1)-f(T_0))=\int_{\Bbb T} f'(\zeta)\boldsymbol{\xi}(\zeta)\,d\zeta$) holds for an arbitrary operator Lipschitz function $f$ analytic in the unit disk. Read More

We prove a sharp multiplier theorem of Mihlin-H\"ormander type for the Grushin operator on the unit sphere in $\mathbb{R}^3$, and a corresponding boundedness result for the associated Bochner-Riesz means. The proof hinges on precise pointwise bounds for spherical harmonics. Read More

In this paper, we obtain some characterizations of the (strong) Birkhoff--James orthogonality for elements of Hilbert $C^*$-modules and certain elements of $\mathbb{B}(\mathscr{H})$. Moreover, we obtain a kind of Pythagorean relation for bounded linear operators. In addition, for $T\in \mathbb{B}(\mathscr{H})$ we prove that if the norm attaining set $\mathbb{M}_T$ is a unit sphere of some finite dimensional subspace $\mathscr{H}_0$ of $\mathscr{H}$ and $\|T\|_{{{\mathscr{H}}_0}^\perp} < \|T\|$, then for every $S\in\mathbb{B}(\mathscr{H})$, $T$ is the strong Birkhoff--James orthogonal to $S$ if and only if there exists a unit vector $\xi\in {\mathscr{H}}_0$ such that $\|T\|\xi = |T|\xi$ and $S^*T\xi = 0$. Read More

Let $A$ and $B$ be two accretive operators. We first introduce the weighted geometric mean of $A$ and $B$ together with some related properties. Afterwards, we define the relative entropy as well as the Tsallis entropy of $A$ and $B$. Read More

Corresponding to the concept of $p$-angular distance $\alpha_p[x,y]:=\left\lVert\lVert x\rVert^{p-1}x-\lVert y\rVert^{p-1}y\right\rVert$, we first introduce the notion of skew $p$-angular distance $\beta_p[x,y]:=\left\lVert \lVert y\rVert^{p-1}x-\lVert x\rVert^{p-1}y\right\rVert$ for non-zero elements of $x, y$ in a real normed linear space and study some of significant geometric properties of the $p$-angular and the skew $p$-angular distances. We then give some results comparing two different $p$-angular distances with each other. Finally, we present some characterizations of inner product spaces related to the $p$-angular and the skew $p$-angular distances. Read More

In this paper, we establish some necessary and sufficient conditions for the existence of solutions to the system of operator equations $ BXA=B=AXB $ in the setting of bounded linear operators on a Hilbert space, where the unknown operator $X$ is called the inverse of $A$ along $B$. After that, under some mild conditions we prove that an operator $X$ is a solution of $ BXA=B=AXB $ if and only if $B \stackrel{*}{ \leq} AXA$, where the $*$-order $C\stackrel{*}{ \leq} D$ means $CC^*=DC^*, C^*C=C^*D$. Moreover we present the general solution of the equation above. Read More

We introduce in non-coordinate presentation the notions of a quantum algebra and of a quantum module over such an algebra. Then we give the definition of a projective quantum module and of a free quantum module, the latter as a particular case of the notion of a free object in a rigged category. (Here we say "quantum" instead of frequently used protean adjective "operator"). Read More

The aim of this paper is to present some results concerning the $\rho_*$-orthogonality in real normed spaces and its preservation by linear operators. Among other things, we prove that if $T\,: X \longrightarrow Y$ is a nonzero linear $(I, \rho_*)$-orthogonality preserving mapping between real normed spaces, then $$\frac{1}{3}\|T\|\|x\|\leq\|Tx\|\leq 3[T]\|x\|, \qquad (x\in X)$$ where $[T]:=\inf\{\|Tx\|: \,x\in X, \|x\|=1\}$. We also show that the pair $(X,\perp_{\rho_*})$ is an orthogonality space in the sense of R\"{a}tz. Read More

We establish a noncommutative Blackwell--Ross inequality for supermartingales under a suitable condition which generalize Khan's works to the noncommutative setting. We then employ it to deduce an Azuma-type inequality. Read More

We prove a new invariant torus theorem, for $\alpha$-Gevrey smooth Hamiltonian systems , under an arithmetic assumption which we call the $\alpha$-Bruno-R{\"u}ssmann condition , and which reduces to the classical Bruno-R{\"u}ssmann condition in the analytic category. Our proof is direct in the sense that, for analytic Hamiltonians, we avoid the use of complex extensions and, for non-analytic Hamiltonians, we do not use analytic approximation nor smoothing operators. Following Bessi, we also show that if a slightly weaker arithmetic condition is not satisfied, the invariant torus may be destroyed. Read More

Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z) \ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of $\ell_\infty$. Read More

In this article a new concentration inequality is proven for Lipschitz maps on the infinite Hamming graphs and taking values in Tsirelson's original space. This concentration inequality is then used to disprove the conjecture that the separable infinite dimensional Hilbert space coarsely embeds into every infinite dimensional Banach space. Some positive embeddability results are proven for the infinite Hamming graphs and the countably branching trees using the theory of spreading models. Read More

We study the question whether properties like local/weak almost squareness and local octahedrality pass down from an absolute sum $X\oplus_F Y$ to the summands $X$ and $Y$. Read More

In this paper we develop the theory of variable exponent Hardy spaces associated with discrete Laplacians on infinite graphs. Our Hardy spaces are defined by square integrals, atomic and molecular decompositions. Also we study boundedness properties of Littlewood-Paley functions, Riesz transforms, and spectral multipliers for discrete Laplacians on variable exponent Hardy spaces. Read More

Levy-Steinitz theorem characterize sum range of conditionally convergent series, that is a set of all its convergent rearrangements; in finitely dimensional spaces -- it is an affine subspace. An achievement of a series is a set of all its subsums. We study the properties of achievement sets of series whose sum range is the whole plane. Read More

The aim of this paper is to establish Pontryagin's principles in a dicrete-time infinite-horizon setting when the state variables and the control variables belong to infinite dimensional Banach spaces. In comparison with previous results on this question, we delete conditions of finiteness of codi-mension of subspaces. To realize this aim, the main idea is the introduction of new recursive assumptions and useful consequences of the Baire category theorem and of the Banach isomorphism theorem. Read More

The purpose of this paper is to provide a proof of James' weak compactness theorem that is able to be taught in a first year graduate class in functional analysis. Read More

We present sharp interpolation theorems, including all limiting cases, for a class of quasilinear operators of joint weak type acting between Lorentz-Karamata spaces over $\sigma$-finite measure. This class contains many of the important integral operators. The optimality in the scale of Lorentz-Karamata spaces is also discussed. Read More

The optimal constants of the $m$-linear Bohnenblust-Hille and Hardy-Littlewood inequalities are still not known despite its importance in several fields of Mathematics. For the Bohnenblust-Hille inequality and real scalars it is well-known that the optimal constants are not contractive. In this note, among other results, we show that if we consider sums over $M:=M(m)$ indexes with $M\log M=o(m)$, the optimal constants are contractive. Read More

A QSIN group is a locally compact group $G$ whose group algebra $L^1(G)$ admits a quasi-central bounded approximate identity. Examples of QSIN groups include every amenable group and every discrete group. It is shown that if $G$ is a QSIN group, $H$ is a closed subgroup of $G$, and $\pi$ is a unitary representation of $H$, then $\pi$ is weakly contained in $(\mathrm{Ind}_H^G\pi)|_H$. Read More

We establish upper bounds for the convolution operator acting between interpolation spaces. This will provide several examples of Young Inequalities in different families of function spaces. We use this result to prove a bilinear interpolation theorem and we show applications to the study of bilinear multipliers. Read More

We study the spectral properties of bounded and unbounded Jacobi matrices whose entries are bounded operators on possibly infinite dimensional complex Hilbert space. In particular, we formulate conditions assuring that the spectrum of the studied operators is continuous. Uniform asymptotics of generalized eigenvectors and conditions implying complete indeterminacy are also provided. Read More

We investigate the peripheral spectrum of irreducible positive elements of an ordered Banach algebra. In particular, we give conditions under which the peripheral spectrum contains (or coincides with) the cyclic group generated by a root of unity, and conditions under which the whole spectrum is invariant under the action of this cyclic group. Read More

This paper is devoted to strict $K$- monotonicity and $K$-order continuity in symmetric spaces. Using the local approach to the geometric structure in a symmetric space $E$ we investigate a connection between strict $K$-monotonicity and global convergence in measure of a sequence of the maximal functions. Next, we solve an essential problem whether an existence of a point of $K$-order continuity in a symmetric space $E$ on $[0,\infty)$ implies that the embedding $E\hookrightarrow{L^1}[0,\infty)$ does not hold. Read More

This paper introduces the concept of atomic subspaces with respect to a bounded linear operator. Atomic subspaces generalize fusion frames and this generalization leads to the notion of $K$-fusion frames. Characterizations of $K$-fusion frames are discussed. Read More

Moreau's seminal paper, introducing what is now called the Moreau envelope and the proximity operator (a.k.a. Read More

Notions and results from quantum harmonic analysis, such as the convolution between functions and operators or between two operators, is identified as the appropriate setting for Berezin quantization and Berezin-Lieb inequalities. Based on this insight we provide a rigorous approach to generalized phase-space representation introduced by Klauder-Skagerstam and their variants of Berezin-Lieb inequalities in this setting. Hence our presentation of the results of Klauder-Skagerstam gives a more conceptual framework, which yields as a byproduct an interesting perspective on the connection between Berezin quantization and Weyl quantization. Read More