The aim of this paper is to establish strong convergence theorems for a
strongly relatively nonexpansive sequence in a smooth and uniformly convex
Banach space. Then we employ our results to approximate solutions of the zero
point problem for a maximal monotone operator and the fixed point problem for a
relatively nonexpansive mapping.
We obtain a new proof of Bobkov's lower bound on the first positive
eigenvalue of the (negative) Neumann Laplacian (or equivalently, the Cheeger
constant) on a bounded convex domain $K$ in Euclidean space. Our proof avoids
employing the localization method or any of its geometric extensions. Instead,
we deduce the lower bound by invoking a spectral transference principle for
log-concave measures, comparing the uniform measure on $K$ with an
appropriately scaled Gaussian measure which is conditioned on $K$.
A companion of Ostrowski like inequality for mappings whose second
derivatives belong to $L^{\infty}$ spaces is established. Applications to
composite quadrature rules, and to probability density functions are also
given.
Reflexive cones in Banach spaces are cones with weakly compact intersection
with the unit ball. In this paper we study the structure of this class of
cones. We investigate the relations between the notion of reflexive cones and
the properties of their bases. This allows us to prove a characterization of
reflexive cones in term of the absence of a subcone isomorphic to the positive
cone of \ell_{1}. Moreover, the properties of some specific classes of
reflexive cones are investigated.
Maximally monotone operators play a key role in modern optimization and
variational analysis. Two useful subclasses are rectangular (also known as star
monotone) and paramonotone operators, which were introduced by Brezis and
Haraux, and by Censor, Iusem and Zenios, respectively. The former class has
useful range properties while the latter class is of importance for interior
point methods and duality theory.
For $d = 2, 3, \ldots$ and $p \in [1, \infty),$ we define a class of
representations $\rho$ of the Leavitt algebra $L_d$ on spaces of the form $L^p
(X, \mu),$ which we call the spatial representations. We prove that for fixed
$d$ and $p,$ the Banach algebra ${{\mathcal{O}}_{d}^{p}}$ obtained as the
closure of the image of $L_d$ under the representation $\rho$ is the same for
all spatial representations $\rho.$ When $p = 2,$ we recover the usual Cuntz
algebra ${\mathcal{O}}_{d}.$ We give a number of equivalent conditions for a
representation to be spatial.
We characterize Schwartz distributions having a value at a single point in
the sense introduced by means of nonstandard analysis by A. Robinson. They
appear to be distributions continuous in a neighborhood of the point.
The Gauss-Jordan elimination algorithm is extended to reduce a row-finite
$\omega\times\omega$ matrix to lower row-reduced form, founded on a strategy of
rightmost pivot elements. Such reduced matrix form preserves row equivalence,
unlike the dominant (upper) row-reduced form. This algorithm provides a
constructive alternative to an earlier existence and uniqueness result for
Quasi-Hermite forms based on the axiom of countable choice.
In previous work we have shown that classical approximation theory provides
methods for the systematic construction of inverse-closed smooth subalgebras.
Now we extend this work to treat inverse-closed subalgebras of
ultradifferentiable elements. In particular, Carleman classes and Dales-Davie
algebras are treated. As an application the result of Demko, Smith and Moss and
Jaffard on the inverse of a matrix with exponential decay is obtained within
the framework of a general theory of smoothness.
This paper is a continuation of our previous investigation on the truncated
matrix trigonometric moment problem in Ukrainian Math. J., 2011, 63, no.6,
786-797. In the present paper we obtain a Nevanlinna-type formula for this
moment problem in a general case. We only assume that we have more than one
moment, the moment problem is solvable and the problem has more than one
solution. The coefficients of the corresponding matrix linear fractional
transformation are explicitly expressed by the prescribed moments. Easy
conditions for the determinacy of the moment problem are given.
Let {A} be a system of operators. With any element x we associate the set of
elements {Ax}. We study conditions under which there exists an element x such
that the sum of p-th powers of norms of the elements {Ax} is equal to infinity.
We study properties of representing and absolutely representing systems of
subspaces in Banach spaces. We also present sufficient conditions for the
system of subspaces to be a representing system of subspaces.
This paper gives embedding theorems for a very general class of weighted
Bergman spaces: the results include a number of classical Carleson embedding
theorems as special cases. Next, a study is made of Carleson embeddings in the
right half-plane induced by taking the Laplace transform of functions defined
on the positive half-line (these embeddings have applications in control
theory): particular attention is given to the case of a sectorial measure or a
measure supported on a strip, and complete necessary and sufficient conditions
for a bounded embedding are given in many cases.
We characterize the metric spaces whose free space has the bounded
approximation property through a Lipschitz analogue of the local reflexivity
principle. We show that there exist compact metric spaces whose free spaces
fail the approximation property.
This work is a generalization of the results in [Gul] to bi-disc case. As in
[Gul], quasi-parabolic composition operators on the Hilbert-Hardy space of the
bi-disc are written as a linear combination of Toeplitz operators and Fourier
multipliers. The C*-algebra generated by Toeplitz operators and Fourier
multipliers on the Hilbert-Hardy space of the bi-disc is written as the tensor
product of the similar C*-algebra in one variable with itself. As a result we
find a nontrivial set lying inside the essential spectra of quasi-parabolic
composition operators.
In this paper we give a combinatorial characterization of tight fusion frame
(TFF) sequences using Littlewood-Richardson skew tableaux. The equal rank case
has been solved recently by Casazza, Fickus, Mixon, Wang, and Zhou. Our
characterization does not have this limitation. We also develop some methods
for generating TFF sequences. The basic technique is a majorization principle
for TFF sequences combined with spatial and Naimark dualities. We use these
methods and our characterization to give necessary and sufficient conditions
which are satisfied by the first three highest ranks.
We consider spatial population dynamics given by Markov birth-and-death
process with constant mortality and birth influenced by establishment or
fecundity. The independent dispersion of spreading as well as density dependent
dispersion are studied. The existence of functional evolutions for microscopic
and mesoscopic descriptions of the corresponding system is shown. The
Vlasov-type non-linear kinetic equations are derived and studied.
We prove results on weak convergence for the alternating split Bregman
algorithm in infinite dimensional Hilbert spaces. We also show convergence of
an approximate split Bregman algorithm, where errors are allowed at each step
of the computation. To be able to treat the infinite dimensional case, our
proofs focus mostly on the dual problem. We rely on Svaiter's theorem on weak
convergence of the Douglas-Rachford splitting algorithm and on the relation
between the alternating split Bregman and Douglas-Rachford splitting algorithms
discovered by Setzer.
Recent work by several authors has revealed the existence of many unexpected
classes of normal weighted composition operators. On the other hand, it is
known that every normal operator is a complex symmetric operator. We therefore
undertake the study of complex symmetric weighted composition operators,
identifying several new classes of such operators.
The aim of this paper is two folded. Firstly, we study the validity of the
Pohozaev-type identity for the Schr\"{o}dinger operator $$A_\la:=-\D
-\frac{\la}{|x|^2}, \q \la\in \rr,$$ in the situation where the origin is
located on the boundary of a smooth domain $\Omega\subset \rr^N$, $N\geq 1$.
The problem we address is very much related to optimal Hardy-Poincar\'{e}
inequality with boundary singularities which has been investigated in the
recent past in various papers. In view of that, the proper functional framework
is described and explained.
In this paper, we replace the real numbers by a topological R-module and
define R-metric spaces $(X,d)$. Also, we prove some common fixed point theorems
on R-module metric spaces. We obtain, as a particular case the Perov theorem.
Each Bernoulli convolution measure (\mu) with scaling factor 1/(2n) has at
least one associated orthonormal basis of exponential functions (ONB) for
L^2(\mu). In the particular case where the scaling constant for the Bernoulli
convolution measure is 1/4 and two specific ONBs are selected for L^2(\mu),
there is a unitary operator U defined by mapping one ONB to the other. This
paper focuses on the case in which one ONB (\Gamma) is the original
Jorgensen-Pedersen ONB for the Bernoulli convolution measure (\mu) and the
other ONB is is 5\Gamma.
Motivated by multi-task machine learning with Banach spaces, we propose the
notion of vector-valued reproducing kernel Banach spaces (RKBS). Basic
properties of the spaces and the associated reproducing kernels are
investigated. We also present feature map constructions and several concrete
examples of vector-valued RKBS. The theory is then applied to multi-task
machine learning. Especially, the representer theorem and characterization
equations for the minimizer of regularized learning schemes in vector-valued
RKBS are established.
We show that a best rank one approximation to a real symmetric tensor, which
in principle can be nonsymmetric, can be chosen symmetric.
Furthermore, a symmetric best rank one approximation to a symmetric tensor is
unique if the tensor does not lie on a certain real algebraic variety.
We prove that weakly differentiable weights $w$ which, together with their
reciprocals, satisfy certain local integrability conditions, admit a unique
associated first order $p$-Sobolev space, that is
\[H^{1,p}_0(\mathbbm{R}^d,w\,dx)=H^{1,p}(\mathbbm{R}^d,w\,dx)=W^{1,p}(\mathbbm{R}^d,w\,dx).\]
If $w$ admits a (weak) logarithmic derivative $\nabla w/w$ which is in
$L^q_{\textup{loc}}(w\,dx;\mathbbm{R}^d)$, we propose an alternative definition
of the weighted $p$-Sobolev space based on an integration by parts formula
involving $\nabla w/w$.
We introduce a new wavelet transform suitable for analyzing functions on
point clouds and graphs. Our construction is based on a generalization of the
average interpolating refinement scheme of Donoho. The most important
ingredient of the original scheme that needs to be altered is the choice of the
interpolant. Here, we define the interpolant as the minimizer of a smoothness
functional, namely a generalization of the Laplacian energy, subject to the
averaging constraints.
We introduce an index of convergence for double sequences of real numbers.
This index is used to describe the behaviour of some bivariate interpolation
sequences at points of discontinuity of the first kind. We consider in
particular the case of bivariate Lagrange and Shepard operators.
Using methods from the theory of commutative graded Banach algebras, we
obtain a generalization of the two dimensional Borsuk-Ulam theorem as follows:
Let $\phi:S^{2} \rightarrow S^{2}$ be a homeomorphism of order n and
$\lambda\neq 1$ be an nth root of the unity, then for every complex valued
continuous function $f$ on $S^{2}$ the function $\sum_{i=0}^{n-1}
\lambda^{i}f(\phi^{i}(x))$ must be vanished at some point of $S^{2}$. We also
discuss about some noncommutative versions of the Borsuk- Ulam theorem
For some fractal measures it is a very difficult problem in general to prove
the existence of spectrum (respectively, frame, Riesz and Bessel spectrum). In
fact there are examples of extremely sparse sets that are not even Bessel
spectra. In this paper we investigate this problem for general fractal measures
induced by iterated function systems (IFS). We prove some existence results of
spectra associated with Hadamard pairs.
We study the question: When are Lipschitz mappings dense in the Sobolev space
$W^{1,p}(M,H^n)$? Here $M$ denotes a compact Riemannian manifold with or
without boundary, while $H^n$ denotes the $n$th Heisenberg group equipped with
a sub-Riemannian metric. We show that Lipschitz maps are dense in
$W^{1,p}(M,H^n)$ for all $1\le p<\infty$ if $\dim M \le n$, but that Lipschitz
maps are not dense in $W^{1,p}(M,H^n)$ if $\dim M \ge n+1$ and $n\le p<n+1$.
The proofs rely on the construction of smooth horizontal embeddings of the
sphere $S^n$ into $H^n$.
We extend the results of P. Shvartsman on characterizing the traces of Besov
and Triebel-Lizorkin spaces on Ahlfors $n$-regular sets to the case of
$d$-regular sets, $n-1<d<n$. The characterizations of trace spaces are given in
terms of local polynomial approximations.
Minimum phase functions are fundamental in a range of applications, including
control theory, communication theory and signal processing. A basic
mathematical challenge that arises in the context of geophysical imaging is to
understand the structure of linear operators preserving the class of minimum
phase functions. The heart of the matter is an inverse problem: to reconstruct
an unknown minimum phase preserving operator from its value on a limited set of
test functions.
We investigate in the paper general (not necessarily definite) canonical
systems of differential equation in the framework of extension theory of
symmetric linear relations. For this aim we first introduce the new notion of a
boundary relation $\G:\gH^2\to\HH$ for $A^*$, where $\gH$ is a Hilbert space,
$A$ is a symmetric linear relation in $\gH, \cH_0$ is a boundary Hilbert space
and $\cH_1$ is a subspace in $\cH_0$.
In this paper we study two separate problems on interpolation. We first give
a new proof of Stout's Theorem on necessary and sufficient conditions for a
sequence of points to be an interpolating sequence for the multiplier algebra
and for an associated Hilbert space. We next turn our attention to the question
of interpolation for reproducing kernel Hilbert spaces on the polydisc and
provide a collection of equivalent statements about when it is possible to
interpolation in the Schur-Agler class of the associated reproducing kernel
Hilbert space.
We show that multi-window Gabor frames with windows in the Wiener algebra
$W(L^{\infty}, \ell^{1})$ are Banach frames for all Wiener amalgam spaces. As a
byproduct of our results we positively answer an open question that was posed
by [Krishtal and Okoudjou, Invertibility of the Gabor frame operator on the
Wiener amalgam space, J. Approx. Theory, 153(2), 2008] and concerns the
continuity of the canonical dual of a Gabor frame with a continuous generator
in the Wiener algebra. The proofs are based on a recent version of Wiener's
$1/f$ lemma.
In this paper we consider two problems of frame theory. On the one hand,
given a fixed frame ${\mathcal F}$ we describe explicitly the spectral and
geometric structure of optimal frames ${\mathcal W}$ that are in duality with
${\mathcal F}$ and such that the Frobenius norms of their analysis operators is
bounded from below by a fixed constant, where optimality is measured with
respect to submajorization.
We consider a class of inverse problems defined by a nonlinear map from
parameter or model functions to the data. We assume that solutions exist. The
space of model functions is a Banach space which is smooth and uniformly
convex; however, the data space can be an arbitrary Banach space. We study
sequences of parameter functions generated by a nonlinear Landweber iteration
and conditions under which these strongly converge, locally, to the solutions
within an appropriate distance.
Let $S$ be a semi direct product $S=N\rtimes A$ where $N$ is a connected and
simply connected, non-abelian, nilpotent meta-abelian Lie group and $A$ is
isomorphic with $\R^k,$ $k>1.$ We consider a class of second order
left-invariant differential operators on $S$ of the form $\mathcal
L_\alpha=L^a+\Delta_\alpha,$ where $\alpha\in\R^k,$ and for each $a\in\R^k,$
$L^a$ is left-invariant second order differential operator on $N$ and
$\Delta_\alpha=\Delta-<\alpha,\nabla>,$ where $\Delta$ is the usual Laplacian
on $\R^k.$ Using some probabilistic techniques (e.g., skew-product formulas f
Motivated by the recent work on conditional risk measures, this paper studies
the Ekeland's variational principle for a proper, lower semicontinuous and
lower bounded $\bar{L}^{0}-$valued function, where $\bar{L}^{0}$ is the set of
equivalence classes of extended real-valued random variables on a probability
space. First, we prove a general form of Ekeland's variational principle for
such a function defined on a complete random metric space. Then, we give a more
precise form of Ekeland's variational principle for such a local function on a
complete random normed module.
The well know conjecture of {\it Coburn} [{\it L.A. Coburn, {On the
Berezin-Toeplitz calculus}, Proc. Amer. Math. Soc. 129 (2001) 3331-3338.}]
proved by {\it Lo} [{\it M-L. Lo, {The Bargmann Transform and Windowed Fourier
Transform}, Integr. equ. oper. theory, 27 (2007), 397-412.}] and {\it Englis}
[{\it M. Engli$\check{s}$, Toeplitz Operators and Localization Operators,
Trans. Am.
A wavelet is a localized function having a prescribed number of vanishing
moments. In this correspondence, we provide precise arguments as to why the
Hilbert transform of a wavelet is again a wavelet. In particular, we provide
sharp estimates of the localization, vanishing moments, and smoothness of the
transformed wavelet. We work in the general setting of non-compactly supported
wavelets.
To every bounded linear operator $A$ between Hilbert spaces $\mathcal{H}$ and
$\mathcal{K}$ three cardinals $\iota_r(A)$, $\iota_i(A)$ and $\iota_f(A)$ and a
binary number $\iota_b(A)$ are assigned in terms of which the descriptions of
the norm closures of the orbits $\{G A L^{-1}:\ L \in \mathcal{G}_1,\ G \in
\mathcal{G}_2\}$ are given for $\mathcal{G}_1$ and $\mathcal{G}_2$ (chosen
independently) being the trivial group, the unitary group or the group of all
invertible operators on $\mathcal{H}$ and $\mathcal{K}$, respectively.
We present a relation between sparsity and non-Euclidean isomorphic
embeddings. We introduce a general restricted isomorphism property and show how
it enables to construct embeddings of $\ell_p^n$, $p > 0$, into various type of
Banach or quasi-Banach spaces. In particular, for $0 <r < p<2$ with $r \le 1$,
we construct a family of operators that embed $\ell_p^n$ into
$\ell_r^{(1+\eta)n}$, with optimal polynomial bounds in $\eta >0$.
For a collection of reproducing kernels k which includes those for the Hardy
space of the polydisk and ball and for the Bergman space, k is a complete Pick
kernel if and only if the multiplier algebra of the Hilbert space H^2(k)
associated to k has the Douglas property. Consequences for solving the operator
equation AX=Y are examined.
Let X and Y be two nxn Hermitian matrices. In the article "Proof of a
conjectured exponential formula" (Linear and Multilinear Algebra (19) 1986,
187-197) R. C. Thompson proved that there exist two nxn unitary matrices U and
V such that $$ e^{i X}e^{i Y}=e^{i (UXU^*+VBV^*)}. $$ In this note we consider
extensions of this result to compact operators as well as to operators in an
embeddable II$_1$ factor.
The main observation of this note is that the Lebesgue measure $\mu$ in the
Tur\'an-Nazarov inequality for exponential polynomials can be replaced with a
certain geometric invariant $\omega \ge \mu$, which can be effectively
estimated in terms of the metric entropy of a set, and may be nonzero for
discrete and even finite sets. While the frequencies (the imaginary parts of
the exponents) do not enter the original Tur\'an-Nazarov inequality, they
necessarily enter the definition of $\omega$.
We investigate regularizations of distributional sections of vector bundles
by means of nets of smooth sections that preserve the main regularity
properties of the original distributions (singular support, wavefront set,
Sobolev regularity). The underlying regularization mechanism is based on
functional calculus of elliptic operators with finite speed of propagation with
respect to a complete Riemannian metric.
We improve upon on a limit theorem for numerical index for large classes of
Banach spaces including vector valued $\ell_p$-spaces and $\ell_p$-sums of
Banach spaces where $1\leq p \leq \infty$. We first prove $ n_1(X) =
\displaystyle \lim_m n_1(X_m)$ for a modified numerical index $n_1(\, .\,)$.
Later, we establish if a norm on $X$ satisfies the local characterization
condition, then $n(X) = \displaystyle\lim_m n(X_m).$ We also present an example
of a Banach space where the local characterization condition is satisfied.
To help understand various reproducing kernels used in applied sciences, we
investigate the inclusion relation of two reproducing kernel Hilbert spaces.
Characterizations in terms of feature maps of the corresponding reproducing
kernels are established. A full table of inclusion relations among widely-used
translation invariant kernels is given. Concrete examples for Hilbert-Schmidt
kernels are presented as well. We also discuss the preservation of such a
relation under various operations of reproducing kernels. Finally, we briefly
discuss the special inclusion with a norm equivalence.
We analyze a class of sublinear functionals which characterize the interior
and the exterior of a convex cone in a normed linear space.
Some unfortunate errors from our paper math/0505591 are corrected.
The purpose of this paper is to establish the weighted norm inequalities of
one-sided oscillatory integral operators by the aid of interpolation of
operators with change of measures.
The structured operators and corresponding operator identities, which appear
in inverse problems for the self-adjoint and skew-self-adjoint Dirac systems
with rectangular potentials, are studied in detail. In particular, it is shown
that operators with the close to displacement kernels are included in this
class. A special case of positive and factorizable operators is dealt with
separately.
In this short note we prove the result stated in the title; that is, for
every $p>0$ there exists an infinite dimensional closed linear subspace of
$L_{p}[0,1]$ every nonzero element of which does not belong to
$\bigcup\limits_{q>p} L_{q}[0,1]$. This answers in the positive a question
raised in 2010 by R. M. Aron on the spaceability of the above sets (for both,
the Banach and quasi-Banach cases). We also complete some recent results from
\cite{BDFP} for subsets of sequence spaces.
We prove the equivalence of the frame property and the closedness for a
weighted shift-invariant space. We also construct a sequence $\Phi^{2k+1}$ and
the sequence of spaces $V^p_\mu(\Phi^{2k+1})$, $k\in{\mathbb{N}}$, on
$\mathbb{R},$ with the useful properties in sampling, approximations and
stability.
In this work, we introduce some new generalized sequence space related to the
space l(p). Furthermore we investigate some topological properties as the
completeness, the isomorphism and also we give some inclusion relations between
this sequence space and some of the other sequence spaces. In addition, we
compute alpha-, beta- and gamma-duals of this space, and characterize certain
matrix transformations on this sequence space.
We give the symmetric version of five lemmas which are essential for the
theory of tensor products (and norms). These are: the approximation, extension,
embedding, density and local technique lemmas. Some application of these tools
to the metric theory of symmetric tensor products and to the theory of
polynomials ideals are given.
A notion of band limited functions is considered in the case of the
hyperbolic plane in its Poincare upper half-plane $\mathbb{H}$ realization. The
concept of band-limitedness is based on the existence of the Helgason-Fourier
transform on $\mathbb{H}$. An iterative algorithm is presented, which allows to
reconstruct band-limited functions from some countable sets of their values. It
is shown that for sufficiently dense metric lattices a geometric rate of
convergence can be guaranteed as long as the sampling density is high enough
compared to the band-width of the sampled function.
Using an integral formula on a homogeneous Siegel domain, we show a necessary
and sufficient condition for composition operators on the weighted Bergman
space of a minimal bounded homogeneous domain to be compact. To describe the
compactness of composition operators, we see a boundary behavior of the Bergman
kernel.
Let $\M$ be a smooth connected non-compact manifold endowed with a smooth
measure $\mu$ and a smooth locally subelliptic diffusion operator $L$
satisfying $L1=0$, and which is symmetric with respect to $\mu$. We show that
if $L$ satisfies, with a non negative curvature parameter $\rho_1$, the
generalized curvature inequality in \eqref{CD} below, then the Riesz transform
is bounded in $L^p (\bM)$ for every $p>1$, that is \[\|
\sqrt{\Gamma((-L)^{-1/2}f)}\|_p \le C_p \| f \|_p, \quad f \in C^\infty_0(\bM),
\] where $\Gamma$ is the \textit{carr\'e du champ} associated to $L$.
These pages are for students and young researchers of all ages who may like
to hitchhike their way from 1 to $s\in(0,1)$. To wit, for anybody who, only
endowed with some basic undergraduate analysis course (and knowing {\tt where
his towel is}), would like to pick up some quick, crash and essentially
self-contained information on the fractional Sobolev spaces $W^{s,p}$.
For 2-variable weighted shifts W_{(\alpha,\beta)}(T_1, T_2) we study the
invariance of (joint) k- hyponormality under the action (h,\ell) ->
W_{(\alpha,\beta)}^{(h,\ell)}(T_1, T_2):=(T_1^k,T_2^{\ell}) (h,\ell >=1). We
show that for every k >= 1 there exists W_{(\alpha,\beta)}(T_1, T_2) such that
W_{(\alpha,\beta)}^{(h,\ell)}(T_1, T_2) is k-hyponormal (all h>=2,\ell>=1) but
W_{(\alpha,\beta)}(T_1, T_2) is not k-hyponormal. On the positive side, for a
class of 2-variable weighted shifts with tensor core we find a computable
necessary condition for invariance.
In this article we investigate an action of some operators (not necessary to
be linear or sublinear) in the so-called (Bilateral) Grand Lebesgue Spaces
(GLS), in particular, double weight Fourier operators, maximal operators,
imbedding operators etc. We intend to calculate an exact or at least weak exact
values for correspondent imbedding constant. We obtain also interpolation
theorems for GLS spaces.We construct several examples to show the exactness of
offered estimations.
We observe that for a large class of non-amenable groups $G$, one can find
bounded representations of $A(G)$ on Hilbert space which are not completely
bounded. We also consider restriction algebras obtained from $A(G)$, equipped
with the natural operator space structure, and ask whether such algebras can be
completely isomorphic to operator algebras; partial results are obtained, using
a modified notion of Helson set which takes account of operator space
structure.
In this paper we give a new construction of parametric families of complex
Hadamard matrices of square orders, and connect them to equiangular tight
frames. The results presented here generalize some of the recent ideas of
Bodmann et al. and extend the list of known equiangular tight frames. In
particular, a (36,21) frame coming from a nontrivial cube root signature matrix
is obtained for the first time.
We give a necessary and sufficient condition for non-local functionals on
vector-valued Lebesgue spaces to be weakly sequentially lower semi-continuous.
Here a non-local functional shall have the form of a double integral of a
density which depends on the function values at two different points.
The characterisation we get is essentially that the density has to be convex
in one variable if we integrate over the other one with an arbitrary test
function in it.
The paper studies Banach spaces satisfying the Littlewood-Paley-Rubio de
Francia property LPR_p, 2 \leq p < \infty. The paper shows that every Banach
lattice whose 2-concavification is a UMD Banach lattice has this property. The
paper also shows that every space having LPR_q also has LPR_p with q \leq p <
\infty.
We show that if K is Rosenthal compact which can be represented by functions
with countably many discontinuities then every Radon measure on K is countably
determined. We also present an alternative proof of the result stating that
every Radon measure on an arbitrary Rosenthal compactum is of countable type.
Our approach is based on some caliber-type properties of measures,
parameterized by separable metrizable spaces.
We consider Vlasov-type scaling for Markov evolution of birth-and-death type
in continuum, which is based on a proper scaling of corresponding Markov
generators and has an algorithmic realization in terms of related hierarchical
chains of correlation functions equations. The existence of rescaled and
limiting evolutions of correlation functions as well as convergence to the
limiting evolution are shown. The obtained results enable to derive a
non-linear Vlasov-type equation for the density of the limiting system.
We show that every nonempty compact and convex space M of probability Radon
measures either contains a measure which has `small' local character in M or
else M contains a measure of `large' Maharam type. Such a dichotomy is related
to several results on Radon measures on compact spaces and to some properties
of Banach spaces of continuous functions.
We establish a generalization for the substitution rule which holds for
arbitrary Lebesgue-Stieltjes integrals.
In this paper we present a method to obtain Banach spaces of universal and
almost-universal disposition with respect to a given class $\mathfrak M$ of
normed spaces. The method produces, among other, the Gurari\u{\i} space
$\mathcal G$ (the only separable Banach space of almost-universal disposition
with respect to the class $\mathfrak F$ of finite dimensional spaces), or the
Kubis space $\mathcal K$ (under {\sf CH}, the only Banach space with the
density character the continuum which is of universal disposition with respect
to the class $\mathfrak S$ of separable spaces).
In this paper we deal with two weaker forms of injectivity which turn out to
have a rich structure behind: separable injectivity and universal separable
injectivity. We show several structural and stability properties of these
classes of Banach spaces. We provide natural examples of (universally)
separably injective spaces, including $\mathcal L_\infty$ ultraproducts built
over countably incomplete ultrafilters, in spite of the fact that these
ultraproducts are never injective.
We prove that the set of all complex symmetric operators on a separable,
infinite-dimensional Hilbert space is not norm closed.
We show that any non-zero Banach space with a separable dual contains a
totally disconnected, closed and bounded subset S of Hausdorff dimension 1 such
that every Lipschitz function on the space is Fr\'echet differentiable
somewhere in S.
We shall generalize the concept of $z=(1-t)x\oplus ty$ to $n$ times which
contains to verifying some their properties and inequalities in CAT(0) spaces.
In the sequel with introducing of $\alpha$-nonexpansive mappings, we obtain
some fixed points and approximate fixed points theorems.
We study divergence properties of Fourier series on Cantor-type fractal
measures, also called mock Fourier series. We show that in some cases the
$L^1$-norm of the corresponding Dirichlet kernel grows exponentially fast, and
therefore the Fourier series are not even pointwise convergent. We apply these
results to the Lebesgue measure to show that a certain rearrangement of the
exponential functions, which we call scrambled Fourier series, have a
corresponding Dirichlet kernel whose $L^1$-norm grows exponentially fast, which
is much worse than the known logarithmic bound.
Let $(\Omega,{\cal F},P)$ be a probability space and $L^{0}({\cal F},R)$ the
algebra of equivalence classes of real-valued random variables on
$(\Omega,{\cal F},P)$. When $L^{0}({\cal F},R)$ is endowed with the topology of
convergence in probability, we prove an intermediate value theorem for a
continuous local function from $L^{0}({\cal F},R)$ to $L^{0}({\cal F},R)$.
Monotone linear relations play important roles in variational inequality
problems and quadratic optimizations. In this paper, we give explicit maximally
monotone linear subspace extensions of a monotone linear relation in finite
dimensional spaces. Examples are provided to illustrate our extensions. Our
results generalize a recent result by Crouzeix and Anaya.
Let $B_Y$ denote the unit ball of a normed linear space $Y$. A symmetric,
bounded, closed, convex set $A$ in a finite dimensional normed linear space $X$
is called a {\it sufficient enlargement} for $X$ if, for an arbitrary isometric
embedding of $X$ into a Banach space $Y$, there exists a linear projection
$P:Y\to X$ such that $P(B_Y)\subset A$. Each finite dimensional normed space
has a minimal-volume sufficient enlargement which is a parallelepiped, some
spaces have "exotic" minimal-volume sufficient enlargements.
The demiclosedness principle is one of the key tools in nonlinear analysis
and fixed point theory. In this note, this principle is extended and made more
flexible by two mutually orthogonal affine subspaces. Versions for finitely
many (firmly) nonexpansive operators are presented. As an application, a simple
proof of the weak convergence of the Douglas-Rachford splitting algorithm is
provided.
In this survey, at first we review to many examples which have been made on
cone metric spaces to verify some properties of cones on real Banach spaces and
cone metrics and second, in continue like as examples that sandwich theorem
doesn't hold and we shall present an other example that comparison test doesn't
hold with an example for normal cones.
In this paper we study the boundedness of Toeplitz-type operators defined in
the context of the Calder\'on reproducing formula. We consider specific
wavelets whose Fourier transforms are related to Laguerre polynomials. Some
sufficient conditions for simultaneous boundedness of these Calder\'on-Toeplitz
operators on each wavelet subspaces for unbounded symbols are given, where
investigating the behavior of certain sequence of iterated integrals of symbols
is helpful. A number of examples and counterexamples is given.
We study Toeplitz-type operators with respect to specific wavelets whose
Fourier transforms are related to Laguerre polynomials. This choice of wavelets
underlines the fact that these operators acting on wavelet subspaces share many
properties with the classical Toeplitz operators acting on the Bergman and
Bergman-type spaces. Restricting to symbols depending only on vertical variable
in the upper half-plane of the complex plane these operators are unitarily
equivalent to a multiplication operator with a certain function.
A densely-defined symmetric linear map from/to a real Hilbert space extends
to a self-adjoint map. Extension is expressed via Riesz representation. For a
case including Friedrichs extension of a strongly monotone map, self-adjoint
extension is unique, and equals closure of the given map.
We present an example in ZFC of a locally compact, scattered Hausdorff
non-Gruenhage space $D$ having a $\G_delta$-diagonal. This answers a question
posed by Orihuela, Troyanski and the author in a study of strictly convex norms
on Banach spaces. In addition, we show that the Banach space of continuous
functions $C_0(D)$ admits a $C^\infty$-smooth bump function.
We prove that in the Hilbert space every uniformly convex set with modulus of
convexity of the second order at zero is an intersection of closed balls of
fixed radius. We also obtain an estimate of this radius.
Compactly supported shearlets have been studied in both theory and
applications. In this paper, we construct symmetric compactly supported
shearlet systems based on pseudo splines of type II. Specially, using
B-splines, we construct shearlet frame having explicit analytical forms which
is important for applications. The shearlet systems based on B-splines also
provide optimally sparse approximation within cartoon-liked image.
The Egoroff theorem for measurable $\bold X$-valued functions and
operator-valued measures $\bold m: \Sigma \to L(\bold X, \bold Y)$, where
$\Sigma$ is a $\sigma$-algebra of subsets of $T \neq \emptyset$ and $\bold X$,
$\bold Y$ are both locally convex spaces, is proved. The measure is supposed to
be atomic and the convergence of functions is net.
Ivan Dobrakov has initiated a theory of non-additive set functions defined on
a ring of sets intended to be a non-additive generalization of the theory of
finite non-negative countably additive measures. These set functions are now
known as the Dobrakov submeasures. In this paper we extend Dobrakov's
considerations to vector-valued submeasures defined on a ring of sets. The
extension of such submeasures in the sense of Drewnowski is also given.
The process of integration was a subject of significant development during
the last century. Despite that the Lebesgue integral is complete and has many
good properties, its inability to integrate all derivatives prompted the
introduction of new approaches - Denjoy, Perron and others introduced new ways
of integration aimed at preserving the good properties of the Lebesgue integral
but extending the set of functions to which it could be applied. The goal was
achieved but neither of the new approaches was elegant or simple or
transparent.
The notion of a firmly nonexpansive mapping is central in fixed point theory
because of attractive convergence properties for iterates and the
correspondence with maximal monotone operators due to Minty. In this paper, we
systematically analyze the relationship between properties of firmly
nonexpansive mappings and associated maximal monotone operators. Dual and
self-dual properties are also identified. The results are illustrated through
several examples.
The problem of factorization and parametrization of compactly supported
biorthogonal wavelets was reduced to that of pseudoidentity matrix pairs by
Resnikoff, Tian, and Wells in their 2001 paper. Based on a conjecture on the
pseudoidentity matrix pairs of rank 2 stated in the same paper, they proved a
theorem which gives a complete factorization result for rank 2 compactly
supported biorthogonal wavelets. In this paper, we first provide examples to
show that the conjecture is not true, then we prove a factorization theorem for
pseudoidentity matrix pairs of rank $m\ge 2$.
We develop an information-theoretic perspective on some questions in convex
geometry, providing for instance a new equipartition property for log-concave
probability measures, some Gaussian comparison results for log-concave
measures, an entropic formulation of the hyperplane conjecture, and a new
reverse entropy power inequality for log-concave measures analogous to V.
Milman's reverse Brunn-Minkowski inequality.
Pattern classification often requires using translation invariant
representations, which are stable and hence Lipschitz continuous to
deformations. A Fourier transform does not provide such Lipschitz stability.
Scattering operators are obtained by iterating on wavelet transforms and
modulus operators. The resulting representation is proved to be translation
invariant and Lipschitz continuous to deformations, up to a log term. It is
computed with a non-linear convolution network, which scatters functions along
an infinite set of paths.
We introduce and study the notion of null-orbit reflexivity, which is a
slight perturbation of the notion of orbit-reflexivity. Positive results for
orbit reflexivity and the recent notion of $\mathbb{C}$-orbit reflexivity both
extend to null-orbit reflexivity. Of the two known examples of operators that
are not orbit-reflexive, one is null-orbit reflexive and the other is not. The
class of null-orbit reflexive operators includes the classes of hyponormal,
algebraic, compact, strictly block-upper (lower) triangular operators, and
operators whose spectral radius is not 1.
The notion of coherent sequences of polynomial ideals and the notion of
compatibility of a polynomial ideal with a given operator ideal were recently
introduced by D. Carando, V. Dimant and S. Muro. These concepts play an
important role in the theory of polynomial ideals, since they offer some
properties that polynomial ideals must satisfy in order to keep the spirit of a
given operator ideal and also maintain some coherence between the different
levels of $n$-homogeneity. However, it seems to exist no reason to omit the
multi-ideals from these cycle of ideas.
As established by R T. Rockafellar, real valued convex-concave functions are
generically differentiable. It this paper we shall show that for a
convex-concave function defined on an open convex set $C \times D,$ there exist
dense subsets ${\cal N}$ of $C$ and ${\cal M}$ of $D$ such that the partial
derivative with respect to the first variable (resp. second variable) exists on
${\cal N} \times D$ (resp. $C \times {\cal M}$) and therefore the function is
differentiable on ${\cal N} \times {\cal M}$.
It is known that there are specific examples of ergodic transformations on
measure spaces for which the calculation of the outer measure of transformation
invariant sets leads to a condition closely resembling Carath\'eodory's
condition for sets to be measurable. It is then natural to ask what functions
are capable of `generating', that is leading to, the Carath\'eodory definition
in the same way.
In this paper, we introduce a generalized quadratic functional equation $f(rx
+ sy) = rf(x) + sf(y) - rsf(x - y)$ where $r, s$ are nonzero real numbers with
$r + s = 1.$ We show that this functional equation is quadratic if $r, s$ are
rational numbers. We also investigate its stability problem on restricted
domains. These results are applied to study of an asymptotic behavior of these
generalized quadratic mappings.
We investigate the optimal configurations of n points on the unit sphere for
a class of potential functions. In particular, we characterize these optimal
configurations in terms of their approximation properties within frame theory.
Furthermore, we consider similar optimal configurations in terms of random
distribution of points on the sphere. In this probabilistic setting, we
characterize these optimal distributions by means of probabilistic frames. Our
work also indicates some connections between statistical shape analysis and
frame theory.
Given commuting families of Hermitian matrices {A1, ..., Ak} and {B1, ....,
Bk}, conditions for the existence of a completely positive map L, such that
L(Aj) = Bj for j = 1, ...,k, are studied. Additional properties such as unital
or / and trace preserving on the map ? are also considered. Connections of the
study to dilation theory, matrix inequalities, unitary orbits, and quantum
information science are mentioned.
A gap in the proof of Theorem 3.5 in the paper ``A new iteration process for
approximation of common fixed points for finite families of total asymtotically
nonexpansive mappings". Int. J. Math. Math. Sci. vol. 2009,
doi:10.1155/2009/615107" is observed. The argument used on page 11, starting
from line 8 from bottom to the end of the proof of the theorem is not correct.
In this corrigendum, it is our aim to close this gap.
I present an inverse function theorem for differentiable maps between Frechet
spaces which contains the classical theorem of Nash and Moser as a particular
case. In contrast to the latter, the proof does not rely on the Newton
iteration procedure, but on Lebesgue's dominated convergence theorem and
Ekeland's variational principle. As a consequence, the assumptions are
substantially weakened: the map F to be inverted is not required to be C^2, or
even C^1, or even Frechet-differentiable.
A fractafold, a space that is locally modeled on a specified fractal, is the
fractal equivalent of a manifold. For compact fractafolds based on the
Sierpinski gasket, it was shown by the first author how to compute the discrete
spectrum of the Laplacian in terms of the spectrum of a finite graph Laplacian.
A similar problem was solved by the second author for the case of infinite
blowups of a Sierpinski gasket, where spectrum is pure point of infinite
multiplicity. Both works used the method of spectral decimations to obtain
explicit description of the eigenvalues and eigenfunctions.
For Banach left and right module actions, we will establish the relationships
between topological centers of module actions with some result in the weak
amenability of Banach algebras.
We develop some techniques for studying various versions of the function
space BMO. Special cases of one of our results give alternative proofs of the
celebrated John- Nirenberg inequality and of related inequalities due to John
and to Wik. Our approach enables us to pose a simply formulated "geometric"
question, for which an affirmative answer would lead to a version of the
John-Nirenberg inequality with dimension free constants.
In this note, we study the Arens regularity of projective tensor product
$A\hat{\otimes}B$ whenever $A$ and $B$ are Arens regular. We establish some new
conditions for showing that the Banach algebras $A$ and $B$ are Arens regular
if and only if $A\hat{\otimes}B$ is Arens regular. We also introduce some new
concepts as left-weak$^*$-weak convergence property [$Lw^*wc-$property] and
right-weak$^*$-weak convergence property [$Rw^*wc-$property] and for Banach
algebra $A$, suppose that $A^*$ and $A^{**}$, respectively, have
$Rw^*wc-$property and $Lw^*wc-$property.
The geometry of fundamental domains of lattices was used by Han and Wang to
construct multivariate Gabor frames for separable lattices. We build upon their
results to obtain Gabor frames with smooth and compactly supported window
functions. For this purpose we study pairs of lattices which have equal density
and allow for a common compact and star-shaped fundamental domain. The results
are then extended to a larger class of lattices via symplectic equivalence.
Sampling and reconstruction of functions is a central tool in science. A key
result is given by the sampling theorem for bandlimited functions attributed to
Whittaker, Shannon, Nyquist, and Kotelnikov. We develop an analogous sampling
theory for operators which we call bandlimited if their Kohn-Nirenberg symbols
are bandlimited. We prove sampling theorems for such operators and show that
they are extensions of the classical sampling theorem.
For a given $\delta$, $0<\delta<1$, a Blaschke sequence
$\sigma=\{\lambda_j\}$ is constructed such that every function $f$, $f\in
H^\infty$, having
$\delta<\delta_f=\inf_{\lambda\in\sigma}|f(\lambda)|\le\|f\|_\infty\le1$ is
invertible in the trace algebra $H^\infty|\sigma$ (with a norm estimate of the
inverse depending on $\delta_f$ only), but there exists $f$ with
$\delta=\delta_f\le\|f\|_\infty\le1$, which does not.
In this paper we prove the weak and strong convergence of the implicit
iterative process with errors to a common fixed point of a finite family
$\{T_j\}_{i=1}^N$ of asymptotically quasi $I_j-$nonexpansive mappings as well
as a family of $\{I_j\}_{j=1}^N$ of asymptotically quasi nonexpansive mappings
in the framework of Banach spaces.
We characterize the set of diagonals of the unitary orbit of a self-adjoint
operator with three points in the spectrum. Our result gives a Schur-Horn
theorem for operators with three point spectrum analogous to Kadison's result
for orthogonal projections.
Let $l[y]$ be a formally selfadjoint differential expression of an even order
on the interval $[0,b> \;(b\leq \infty)$ and let $L_0$ be the corresponding
minimal operator. By using the concept of a decomposing boundary triplet we
consider the boundary problem formed by the equation $l[y]-\l y=f\;(f\in
L_2[0,b>)$ and the Nevanlinna $\l$-depending boundary conditions with constant
values at the regular endpoint 0.
We provide a new method for constructing equiangular tight frames (ETFs). The
construction is valid in both the real and complex settings, and shows that
many of the few previously-known examples of ETFs are but the first
representatives of infinite families of such frames. It provides great freedom
in terms of the frame's size and redundancy. This method also explicitly
constructs the frame vectors in their native domain, as opposed to implicitly
defining them via their Gram matrix. Moreover, in this domain, the frame
vectors are very sparse.
Interpretations of the Beurling-Lax-Halmos Theorem on invariant subspaces of
the unilateral shift are explored using the language of Hilbert modules.
Extensions and consequences are considered in both the one and multivariate
cases with an emphasis on the classical Hardy, Bergman and Drury-Arveson
spaces.
Let $\xi = \{x^j\}_{j=1}^n$ be a grid of $n$ points in the $d$-cube
${\II}^d:=[0,1]^d$, and $\Phi = \{\phi_j\}_{j =1}^n$ a family of $n$ functions
on ${\II}^d$. We define the linear sampling algorithm $L_n(\Phi,\xi,\cdot)$ for
an approximate recovery of a continuous function $f$ on ${\II}^d$ from the
sampled values $f(x^1), ..., f(x^n)$, by $$L_n(\Phi,\xi,f)\ := \ \sum_{j=1}^n
f(x^j)\phi_j$$.
Shearlet theory has become a central tool in analyzing and representing 2D
data with anisotropic features. Shearlet systems are systems of functions
generated by one single generator with parabolic scaling, shearing, and
translation operators applied to it, in much the same way wavelet systems are
dyadic scalings and translations of a single function, but including a precise
control of directionality. Of the many directional representation systems
proposed in the last decade, shearlets are among the most versatile and
successful systems.
Given a real, expansive dilation matrix we prove that any bandlimited
function $\psi \in L^2(\mathbb{R}^n)$, for which the dilations of its Fourier
transform form a partition of unity, generates a wavelet frame for certain
translation lattices. Moreover, there exists a dual wavelet frame generated by
a finite linear combination of dilations of $\psi$ with explicitly given
coefficients. The result allows a simple construction procedure for pairs of
dual wavelet frames whose generators have compact support in the Fourier domain
and desired time localization.