共找到 20 条结果
We investigate the existence of subinvariant metric functionals for commuting families of nonexpansive mappings in noncompact subsets of Banach spaces. Our findings underscore the practicality of metric functionals when searching for fixed points of nonexpansive mappings. To demonstrate this, we additionally investigate subsets of Banach spaces that have only nontrivial metric functionals. We particularly show that in certain cases every metric functional has a unique minimizer; thus, subinvariance implies the existence of a fixed point.
We construct a Banach space $X$ for which the set of norm-attaining functionals $NA(X,\mathbb{R})$ does not contain any non-trivial cone. Even more, given two linearly independent norm-attaining functionals on $X$, no other element of the segment between them attains its norm. Equivalently, the intersection of $NA(X,\mathbb{R})$ with a two-dimensional subspace of $X^*$ is contained in the union of two lines. In terms of proximinality, we show that for every closed subspace $M$ of $X$ of codimension two, at most four elements of the unit sphere of $X/M$ have a representative of norm-one. We further relate this example with an open problem on norm-attaining operators.
This paper proposes a classification model for predicting the main activity of bitcoin addresses based on their balances. Since the balances are functions of time, we apply methods from functional data analysis; more specifically, the features of the proposed classification model are the functional principal components of the data. Classifying bitcoin addresses is a relevant problem for two main reasons: to understand the composition of the bitcoin market, and to identify addresses used for illicit activities. Although other bitcoin classifiers have been proposed, they focus primarily on network analysis rather than curve behavior. Our approach, on the other hand, does not require any network information for prediction. Furthermore, functional features have the advantage of being straightforward to build, unlike expert-built features. Results show improvement when combining functional features with scalar features, and similar accuracy for the models using those features separately, which points to the functional model being a good alternative when domain-specific knowledge is not available.
We consider characterisations of unitary dilations and approximations of irreversible classical dynamical systems on a Hilbert space. In the commutative case, building on the work in [9], one can express well known approximants (e.g. Hille- and Yosida-approximants) via expectations over certain stochastic processes. Using this, our first result characterises the simultaneous regular unitary dilatability of commuting families of $C_{0}$-semigroups via the dilatability of such approximants as well as via regular polynomial bounds. This extends the results in [13] to the unbounded setting. We secondly consider characterisations of unitary and regular unitary dilations via two distinct functional calculi. Applying these tools to a large class of classical dynamical systems, these two notions of dilation exactly characterise when a system admits unitary approximations under certain distinct notions of weak convergence. This establishes a sharp topological distinction between the two notions of unitary dilations. Our results are applicable to commutative systems as well as non-commutative systems satisfying the canonical commutation relations (CCR) in the Weyl form.
Considering the deeper reasons of the appearance of a remarkable counterexample by J.~Kaad and M.~Skeide [17] we consider situations in which two Hilbert C*-modules $M \subset N$ with $M^\bot = \{ 0 \}$ over a fixed C*-algebra $A$ of coefficients cannot be separated by a non-trivial bounded $A$-linear functional $r_0: N \to A$ vanishing on $M$. In other words, the uniqueness of extensions of the zero functional from $M$ to $N$ is focussed. We show this uniqueness of extension for any such pairs of Hilbert C*-modules over W*-algebras, over monotone complete C*-algebras and over compact C*-algebras. Moreover, uniqueness of extension takes place also for any one-sided maximal modular ideal of any C*-algebra. Such a non-zero separating bounded $A$-linear functional $r_0$ exist for a given pair of full Hilbert C*-modules $M \subseteq N$ over a given C*-algebra $A$ iff there exists a bounded $A$-linear non-adjointable operator $T_0: N \to N$ such that the kernel of $T_0$ is not biorthogonally closed w.r.t. $N$ and contains $M$. This is a new perspective on properties of bounded modular operators that might appear in Hilbert C*-module theory. By the way, we find a correct proof of [13, Le
Fundamentals of energy density functional in nuclear physics are presented. Much attention is paid to a mathematically rigorous treatment of deriving the energy density functional. The specific features of the density functional used in studying many-nucleon systems, which is quite different from that used in many-electron systems, are also shown. The intended audience are physicists, chemists and mathematicians. In particular those who will start to study the density functional theory are intended.
This article presents a construction of the concept of stochastic integration in Riemannian manifolds from a purely functional-analytic point of view. We show that there are infinitely many such integrals, and that any two of them are related by a simple formula. We also find that the Stratonovich and Itô integrals known to probability theorists are two instances of the general concept constructed herein.
We introduce a new Banach algebra ${\mathcal A}({\mathbb C}_+)$ of bounded analytic functions on ${\mathbb C}_+=\{z\in{\mathbb C}\, :\, {\rm Re}(z)>0\}$ which is an analytic version of the Figa-Talamenca-Herz algebras on ${\mathbb R}$. Then we prove that the negative generator $A$ of any bounded $C_0$-semigroup on Hilbert space $H$ admits a bounded (natural) functional calculus $ρ_A\colon {\mathcal A}({\mathbb C}_+)\to B(H)$. We prove that this is an improvement of the bounded functional calculus ${\mathcal B}({\mathbb C}_+)\to B(H)$ recently devised by Batty-Gomilko-Tomilov on a certain Besov algebra ${\mathcal B}({\mathbb C}_+)$ of analytic functions on ${\mathbb C}_+$, by showing that ${\mathcal B}({\mathbb C}_+)\subset {\mathcal A}({\mathbb C}_+)$ and ${\mathcal B}({\mathbb C}_+) ot= {\mathcal A}({\mathbb C}_+)$. In the Banach space setting, we give similar results for negative generators of $γ$-bounded $C_0$-semigroups. The study of ${\mathcal A}({\mathbb C}_+)$ requires to deal with Fourier multipliers on the Hardy space $H^1({\mathbb R})\subset L^1({\mathbb R})$ of analytic functions.
The rearrangement inequalities of Hardy-Littlewood and Riesz say that certain integrals involving products of two or three functions increase under symmetric decreasing rearrangement. It is known that these inequalities extend to integrands of the form F(u_1,..., u_m) where F is supermodular; in particular, they hold when F has nonnegative mixed second derivatives. This paper concerns the regularity assumptions on F and the equality cases. It is shown here that extended Hardy-Littlewood and Riesz inequalities are valid for supermodular integrands that are just Borel measurable. Under some nondegeneracy conditions, all equality cases are equivalent to radially decreasing functions under transformations that leave the functionals invariant (i.e., measure-preserving maps for the Hardy-Littlewood inequality, translations for the Riesz inequality). The proofs rely on monotone changes of variables in the spirit of Sklar's theorem.
We extend and deepen the theory of functional calculus for semigroup generators, based on the algebra $\mathcal B$ of analytic Besov functions, which we initiated in a previous paper. In particular, we show that our construction of the calculus is optimal in several natural senses. Moreover, we clarify the structure of $\mathcal B$ and identify several important subspaces in practical terms. This leads to new spectral mapping theorems for operator semigroups and to wide generalisations of a number of basic results from semigroup theory.
In this paper we develop a functional calculus for a countable system of generators of contraction strongly continuous semigroups. As a symbol class of such calculus we use the algebra of polynomial tempered distributions. We prove a differential property of constructed calculus and describe its image with the help of the commutant of polynomial shift semigroup. As an application, we consider a function of countable set of second derivative operators.
Gel'fand triples of test and generalized functionals in Gaussian spaces are constructed and characterized.
In this article we apply a recently established transference principle in order to obtain the boundedness of certain functional calculi for semigroup generators. In particular, it is proved that if $-A$ generates a $C_0$-semigroup on a Hilbert space, then for each $τ>0$ the operator $A$ has a bounded calculus for the closed ideal of bounded holomorphic functions on a (sufficiently large) right half-plane that satisfy $f(z)=O(e^{-τ\textrm{Re}(z)})$ as $|z|\rightarrow \infty$. The bound of this calculus grows at most logarithmically as $τ\searrow 0$. As a consequence, $f(A)$ is a bounded operator for each holomorphic function $f$ (on a right half-plane) with polynomial decay at $\infty$. Then we show that each semigroup generator has a so-called (strong) $m$-bounded calculus for all $m\in\mathbb{N}$, and that this property characterizes semigroup generators. Similar results are obtained if the underlying Banach space is a UMD space. Upon restriction to so-called $γ$-bounded semigroups, the Hilbert space results actually hold in general Banach spaces.
A generalized Hermitian (GH-) algebra is a generalization of the partially ordered Jordan algebra of all Hermitian operators on a Hilbert space. We introduce the notion of a gh-tribe, which is a commutative GH-algebra of functions on a nonempty set $X$ with pointwise partial order and operations, and we prove that every commutative GH-algebra is the image of a gh-tribe under a surjective GH-morphism. Using this result, we prove each element $a$ of a GH-algebra $A$ corresponds to a real observable $ξ_a$ on the $σ$-orthomodular lattice of projections in $A$ and that $ξ_a$ determines the spectral resolution of $a$. Also, if $f$ is a continuous function defined on the spectrum of $a$, we formulate a definition of $f(a)$, thus obtaining a continuous functional calculus for $A$.
In this work we discuss an elementary self-contained presentation of the notion of a semiabelian category, introduced by Raikov and Palamodov. Fundamental examples of (non-abelian) semiabelian categories occuring in Functional Analysis and Topological Algebra are treated in detail throughout the paper.
We prove a comprehensive solution theory using tools from functional analysis, show corresponding variational formulations, and present functional a posteriori error estimates for general linear first order systems. As a prototypical application we will discuss the system of electro-magneto statics with mixed tangential and normal boundary conditions. Second order systems will be considered as well.
Continuing previous work we develop a certain piece of functional analysis on general graphs and use it to create what Connes calls a 'spectral triple', i.e. a Hilbert space structure, a representation of a certain (function) algebra and a socalled 'Dirac operator', encoding part of the geometric/algebraic properties of the graph. We derive in particular an explicit expression for the 'Connes-distance function' and show that it is in general bounded from above by the ordinary distance on graphs (being, typically, strictly smaller(!) than the latter). We exhibit, among other things, the underlying reason for this phenomenon.
A standard informal method for analyzing the asymptotic complexity of a program is to extract a recurrence that describes its cost in terms of the size of its input, and then to compute a closed-form upper bound on that recurrence. We give a formal account of that method for functional programs in a higher-order language with let-polymorphism. The method consists of two phases. In the first phase, a monadic translation is performed to extract a cost-annotated version of the original program. In the second phase, the extracted program is interpreted in a model. The key feature of this second phase is that different models describe different notions of size. This plays out in several ways. For example, when analyzing functions that take arguments of inductive types, different notions of size may be appropriate depending on the analysis. When analyzing polymorphic functions, our approach shows that one can formally describe the notion of size of an argument in terms of the data that is common to the notions of size for each type instance of the domain type. We give several examples of different models that formally justify various informal cost analyses to show the applicability of ou
The Rogers-Shephard and Zhang's projection inequalities are two reverse, affine isoperimetric-type inequalities for convex bodies. Following a classical work by Schneider, both inequalities have been extended to the so-called $m$th-order setting. In this work, we establish the $m$th-order analogues for these inequalities in the setting of log-concave functions. Our proof of the functional Zhang's projection inequality employs properties of the asymmetric LYZ body, significantly streamlining the argument and producing a novel approach for the case $m=1$. Furthermore, we introduce and analyze the radial mean bodies of a log-concave function, thereby providing a functional generalization of Gardner and Zhang's radial mean bodies. These are new even in the case $m=1$. Our development leverages an extension of Ball bodies, which may be of independent interest.
Douglas and Rudin proved that any unimodular function on the unit circle $\T$ can be uniformly approximated by quotients of inner functions. We extend this result to the operator-valued unimodular functions defined on the boundary of the open unit ball of $\mathbb{C}^d$. Our proof technique combines the spectral theorem for unitary operators with the Douglas-Rudin theorem in the scalar case to bootstrap the result to the operator-valued case. This yields a new proof and a significant generalization of Barclay's result [Proc. Lond. Math. Soc. 2009] on the approximation of matrix-valued unimodular functions on $\T$.