Given B, C and W operators in the algebra L(H) of bounded linear operators on the Krein space H, the minimization problem min (BX - C)^#W(BX - C), for X in L(H), is studied when the weight W is selfadjoint. The analogous maximization and min-max problems are also considered. Complete answers to these problems and to those naturally associated to trace clase operators on Krein spaces are given.
We give a simple definition of a spectral shift function for pairs of nonpositive operators on Banach spaces and prove trace formulas of Lifshitz-Kre\uın type for a perturbation of an operator monotonic (negative complete Bernstein) function of negative and nonpositive operators on Banach spaces induced by nuclear perturbation of an operator argument. The Lipschitzness of such functions is also investigated. The results may be regarded as a contribution to a perturbation theory for Hirsch functional calculus.
The main result of this paper is a description of the space of functions on the unit circle, for which Krein's trace formula holds for arbitrary pairs of unitary operators with trace class difference. This space coincides with the space of operator Lipschitz functions on the unit circle.
The main result of the paper is a description of the class of functions on the unit circle, for which Krein's trace formula holds for arbitrary pairs of unitary operators with trace class difference. We prove that this class of functions coincides with the class of operator Lipschitz functions.
We describe the maximal class of functions $f$ on the real line, for which the Lifshitz--Krein trace formula $\operatorname{trace}(f(A)-f(B))=\int_{\Bbb R} f'(s)\boldsymbolξ(s)\,ds$ holds for arbitrary self-adjoint operators $A$ and $B$ with $A-B$ in the trace class $\boldsymbol{S}_1$. We prove that this class of functions coincide with the class of operator Lipschitz functions.
The present paper is devoted to studying the Hill-type formula and Krein-type trace formula for ODE, which is a continuous work of our previous work for Hamiltonian systems \cite{HOW}. Hill-type formula and Krein-type trace formula are given by Hill at 1877 and Krein in 1950's separately. Recently, we find that there is a closed relationship between them \cite{HOW}. In this paper, we will obtain the Hill-type formula for the $S$-periodic orbits of the first order ODEs. Such a kind of orbits is considered naturally to study the symmetric periodic and quasi-periodic solutions. By some similar id…
Let $α,β\in(0,1)$ and \[ K^{α,β}:=\left\{a\in L^\infty(\T): \sum_{k=1}^\infty |\hat{a}(-k)|^2 k^{2α}<\infty, \sum_{k=1}^\infty |\hat{a}(k)|^2 k^{2β}<\infty \right\}. \] Mark Krein proved in 1966 that $K^{1/2,1/2}$ forms a Banach algebra. He also observed that this algebra is important in the asymptotic theory of finite Toeplitz matrices. Ten years later, Harold Widom extended earlier results of Gabor Szegő for scalar symbols and established the asymptotic trace formula \[ \operatorname{trace}f(T_n(a))=(n+1)G_f(a)+E_f(a)+o(1) \quad\text{as}\ n\to\infty \] for finite Toeplitz matrices $T_n(a)$ w…
The paper deals with multidimensional Bochner-Phillips functional calculus. In the previous paper by the author bounded perturbations of Bernstein functions of several commuting semigroup generators on Banach spaces where considered, conditions for Lipschitzness and estimates for the norm of commutators of such functions where proved. Also in the one-dimensional case the Frechet differentiability of Bernstein functions of semigroup generators on Banach spaces where proved and a generalization of Livschits-Kreĭn trace formula derived. The aim of the present paper is to prove the Frechet differe…
Koplienko gave a trace formula for perturbations of self-adjoint operators by operators of Hilbert-Schmidt class $\mathcal{B}_2(\mathcal{H})$. Recently Gesztesy, Pushnitski and Simon gave an alternative proof of the trace formula when the operators involved are bounded. In this article, we give a still another proof and extend the formula for unbounded case by reducing the problem to a finite dimensional one as in the proof of Krein trace formula by Voiculescu, Sinha and Mohapatra.
Koplienko \cite{Ko} found a trace formula for perturbations of self-adjoint operators by operators of Hilbert-Schmidt class $\mathcal{B}_2(\mathcal{H})$. Later in 1988, a similar formula was obtained by Neidhardt \cite{NH} in the case of unitary operators. In this article, we give a still another proof of Koplienko-Neidhardt trace formula in the case of unitary operators by reducing the problem to a finite dimensional one as in the proof of Krein's trace formula by Voiculescu \cite{Voi}, Sinha and Mohapatra \cite{MoSi94,MoSi96}.
A natural generalization of Krein's theorem to a pair of commuting tuples $\left(H_1^0,H_2^0\right)$ and $\left(H_1,H_2\right)$ of bounded self-adjoint operators in a separable Hilbert space $\mathcal{H}$ with $H_j-H_j^0 = V_j\in \mathcal{B}_2(\mathcal{H})$(set of all Hilbert-Schmidt operators on $\mathcal{H}$) for $j=1,2,$ leads to a Stokes-like formula under trace. A major ingredient in the proof is the finite-dimensional approximation result for commuting self-adjoint n-tuples of operators, a generalization of Weyl-von Neumann-Berg's theorem.
We introduce the notion of trace convexity for functions and respectively, for subsets of a compact topological space. This notion generalizes both classical convexity of vector spaces, as well as Choquet convexity for compact metric spaces. We provide new notions of trace-convexification for sets and functions as well as a general version of Krein-Milman theorem. We show that the class of upper semicontinuous convex-trace functions attaining their maximum at exactly one Choquet-boundary point is residual and we obtain several enhanced versions of the maximum principle which generalize both th…
In this note the notions of trace compatible operators and infinitesimal spectral flow are introduced. We define the spectral shift function as the integral of infinitesimal spectral flow. It is proved that the spectral shift function thus defined is absolutely continuous and Krein's formula is established. Some examples of trace compatible affine spaces of operators are given.
We consider self-adjoint Dirac operators $\ham{D}=\ham{D}_0 + V(x)$, where $\ham{D}_0$ is the free three-dimensional Dirac operator and $V(x)$ is a smooth compactly supported Hermitian matrix. We define resonances of $\ham{D}$ as poles of the meromorphic continuation of its cut-off resolvent. An upper bound on the number of resonances in disks, an estimate on the scattering determinant and the Lifshits-Krein trace formula then leads to a global Poisson wave trace formula for resonances of $\ham{D}$.
In this paper, we study the traces and the extensions for weighted Sobolev spaces on upper half spaces when the weights reach to the borderline cases. We first give a full characterization of the existence of trace spaces for these weighted Sobolev spaces, and then study the trace parts and the extension parts between the weighted Sobolev spaces and a new kind of Besov-type spaces (on hyperplanes) which are defined by using integral averages over selected layers of dyadic cubes.
For a bounded Hankel matrix $Γ$, we describe the structure of the Schmidt subspaces of $Γ$, namely the eigenspaces of $Γ^* Γ$ corresponding to non zero eigenvalues. We prove that these subspaces are in correspondence with weighted model spaces in the Hardy space on the unit circle. Here we use the term "weighted model space" to describe the range of an isometric multiplier acting on a model space. Further, we obtain similar results for Hankel operators acting in the Hardy space on the real line. Finally, we give a streamlined proof of the Adamyan-Arov-Krein theorem using the language of weight…
The wark is a contribution to the functional calculus constructed by of the author and A. A. Atvinovskii of closed operators on Banach spaces. The calculus is based on Markov and related functions as symbols. Estimates of bounded perturbations of operator functions with respect to general operator ideal norms, operator Lipschitzness, moment inequality, Freshet operator differentiability, and Livshitz-Krein trace formulae have been considered.
There are known trace and extension theorems relating functions in a weighted Sobolev space in a domain U to functions in a Besov space on the boundary bU. We extend these theorems to the case where the Sobolev exponent p is less than one by modifying our Sobolev spaces to consider averages of functions in Whitney balls. Averaged Sobolev spaces are also of interest in the applications in the case where p>1, and so we also provide trace and extension results in that case. Finally, we provide some comparable results for Neumann traces and extensions.
A complete description of traces on $\mathbb{R}^{n}$ of functions from the weighted Sobolev space $W^{l}_{1}(\mathbb{R}^{n+1},γ)$, $l \in \mathbb{N}$, with weight $γ\in A^{\rm loc}_{1}(\mathbb{R}^{n+1})$ is obtained. In the case $l=1$ the proof of the trace theorems is based on a~special nonlinear algorithm for constructing a~system of tilings of the space~$\mathbb R^n$. As the trace of the space $W^1_1(\mathbb R^{n+1},γ)$ we have the new function space $Z(\{γ_{k,m}\})$.
The classical concept of $Q$-functions associated to symmetric and selfadjoint operators due to M.G. Krein and H. Langer is extended in such a way that the Dirichlet-to-Neumann map in the theory of elliptic differential equations can be interpreted as a generalized $Q$-function. For couplings of uniformly elliptic second order differential expression on bounded and unbounded domains explicit Krein type formulas for the difference of the resolvents and trace formulas in an $H^2$-framework are obtained.
An inner closed (without boundary) smooth manifold of a lower dimension is cut from a multidimensional ball. In this region, invertible restrictions of the Laplace operator are well defined. In particular, the well-posed non-smooth Bitsadze-Samarskiĭ problem for the Laplace equation is defined. Moreover, we obtain M.G. Krein's formula for the trace of the difference of resolvents of the studied operators. We prove assertions on the spectrum of the non-smooth Bitsadze-Samarskiĭ problem.
Given a self-adjoint operator $A:D(A)\subseteq\calH\to\calH$ and a continuous linear operator $τ:D(A)\to\X$ with Range$ τ'\cap\calH' ={0}$, $\X$ a Banach space, we explicitly construct a family $A^τ_Θ$ of self-adjoint operators such that any $A^τ_Θ$ coincides with the original $A$ on the kernel of $τ$. Such a family is obtained by giving a Kre\uın-like formula where the role of the deficiency spaces is played by the dual pair $(\X,\X')$; the parameter $Θ$ belongs to the space of symmetric operators from $\X'$ to $\X$. When $\X=\C$ one recovers the ``$\calH_{-2}$ -construction'' of Kiselev and …
The main result of the paper is that the Lifshits--Krein trace formula cannot be generalized to the case of functions of noncommuting self-adjoint operators. To prove this, we show that for pairs $(A_1,B_1)$ and $(A_2,B_2)$ of bounded self-adjoint operators with trace class differences $A_2-A_1$ and $B_2-B_1$, it is impossible to estimate the modulus of the trace of the difference $f(A_2,B_2)-f(A_1,B_1)$ in terms of the norm of $f$ in the Lipschitz class.
We give analytic description for the completion of $C_0^\infty ( \mathbf{R}_+)$ in Dirichlet space $D^{1,p}(\mathbf{R}_+, ω):= \{ u:\mathbf{R}_+\rightarrow \mathbf{R}: u\ \hbox{ is locally absolutely continuous on} \ \mathbf{R}_+ \ {\rm and}\ \| u^{'}\|_{L^p(\mathbf{R}_+, ω)}<\infty \}$, for given continuous weight $ω$, in terms of the local $B_p$ conditions due to Kufner and Opic, where $1<p<\infty$. Moreover, we propose applications of our results to: analysis of Hardy inequalities, boundary value problems, complex interpolation theory, and to derivation of new Morrey type inequalities.
We obtain general trace formulae in the case of perturbation of self-adjoint operators by self-adjoint operators of class $\bS_m$, where $m$ is a positive integer. In \cite{PSS} a trace formula for operator Taylor polynomials was obtained. This formula includes the Livshits--Krein trace formula in the case $m=1$ and the Koplienko trace formula in the case $m=2$. We establish most general trace formulae in the case of perturbation of Schatten--von Neumann class $\bS_m$. We also improve the trace formula obtained in \cite{PSS} for operator Taylor polynomials and prove it for arbitrary functions …
We study traces of weighted Triebel-Lizorkin spaces $F^s_{p,q}({\mathbb R}^n,w)$ on hyperplanes ${\mathbb R}^{n-k}$, where the weight is of Muckenhoupt type. We concentrate on the example weight $w_α(x) = |x_n|^α$ when $|x_n|\leq 1$, $x\in{\mathbb R}^n$, and $w_α(x)=1$ otherwise, where $α>-1$. Here we use some refined atomic decomposition argument as well as an appropriate wavelet representation in corresponding (unweighted) Besov spaces. The second main outcome is the description of the real interpolation space $(B^{s_1}_{p_1,p_1}({\mathbb R}^{n-k}), B^{s_2}_{p_2,p_2}({\mathbb R}^{n-k}))_{θ,r…
Let $λ_j$ be the $j$-th eigenvalue of Sturm-Liouville systems with separated boundary conditions, we build up the Hill-type formula, which represent $\prod\limits_{j}(1-λ_j^{-1})$ as a determinant of finite matrix. This is the first attack on such a formula under non-periodic type boundary conditions. Consequently, we get the Krein-type trace formula based on the Hill-type formula, which express $\sum\limits_{j}{1\over λ_j^m}$ as trace of finite matrices. The trace formula can be used to estimate the conjugate point alone a geodesic in Riemannian manifold and to get some infinite sum identitie…
We prove a logarithmic Sobolev trace inequality in a gaussian space and we study the trace operator in the weighted Sobolev space W^{1,p}(Ω,γ) for sufficiently regular domain. We exhibit examples to show the sharpness of the results. Applications to PDE are also considered.
The Bernstein approximation problem is to determine whether or not the space of all polynomials is dense in a given weighted $C_0$-space on the real line. A theorem of L. de Branges characterizes non--density by existence of an entire function of Krein class being related with the weight in a certain way. An analogous result holds true for weighted sup--norm approximation by entire functions of exponential type at most $τ$ and bounded on the real axis ($τ>0$ fixed). We consider approximation in weighted $C_0$-spaces by functions belonging to a prescribed subspace of entire functions which is s…
In this paper, we study function spaces defined via dyadic energies on the boundaries of regular trees. We show that correct choices of dyadic energies result in Besov-type spaces that are trace spaces of (weighted) first order Sobolev spaces.
We prove trace theorems for weighted mixed norm Sobolev spaces in the upper-half space where the weight is a power function of the vertical variable. The results show the differentiability order of the trace functions depends only on the power in the weight function and the integrability power for the integration with respect to the vertical variable but not on the integrability powers for the integration with respect to the horizontal ones. They are new even in the un-weighted case and they recover classical results in the case of un-mixed norm spaces. The work is motivated by the study of re…
In this paper, we study the existence of traces for Sobolev spaces on the hyperbolic filling $X$ of a compact metric space $Z$ equipped with a doubling measure. Given a suitable metric on $X$, we can regard $Z$ as the boundary of $X$. After equipping $X$ with a weighted measure $μ$ via the measure on $Z$ and the Euclidean arc length, we give characterizations for the existence of traces for first-order Sobolev spaces.
Motivated by recent applications of weighted norm inequalities to maximal regularity of first and second order Cauchy problems, we study real interpolation spaces on the basis of general Banach function spaces and, in particular, weighted rearrangement invariant Banach function spaces. We show equivalence of the trace method and the $K$-method, identify real interpolation spaces between a Banach space and the domain of a sectorial operator, and reprove an extension of Dore's theorem on the boundedness of $H^\infty$-functional calculus to this general setting.
We investigate the properties of a class of weighted vector-valued $L_p$-spaces and the corresponding (an)isotropic Sobolev-Slobodetskii spaces. These spaces arise naturally in the context of maximal $L_p$-regularity for parabolic initial-boundary value problems. Our main tools are operators with a bounded $\calH^\infty$-calculus, interpolation theory, and operator sums.
We study properties of $W_0^{1,p}(\mathbb{R}_+,t^β)$ - the completion of $C_0^\infty(\mathbb{R}_+)$ in the power-weighted Sobolev spaces $W^{1,p}(\mathbb{R}_+,t^β)$, where $β\in\mathbb{R}$. Among other results, we obtain the analytic characterization of $W_0^{1,p}(\mathbb{R}_+,t^β)$ for all $β\in \mathbb{R}$. Our analysis is based on the precise study the two trace operators: $Tr^{0}(u):= \lim_{t\to 0} u(t)$ and $Tr^{\infty}(u):= \lim_{t\to \infty} u(t)$, which leads to the analysis of the asymptotic behavior of functions from $W_0^{1,p}(\mathbb{R}_+,t^β)$ near zero or infinity. The obtained s…
Matrix-Weighted Besov-Type and Triebel--Lizorkin-Type Spaces III: Characterizations of Molecules and Wavelets, Trace Theorems, and Boundedness of Pseudo-Differential Operators and Calderón--Zygmund Operators
We compute the Dixmier trace of pseudo-Toeplitz operators on the Fock space. As an application we find a formula for the Dixmier trace of the product of commutators of Toeplitz operators on the Hardy and weighted Bergman spaces on the unit ball of \mathbb C^d. This generalizes an earlier work of Helton-Howe for the usual trace of the anti-symmetrization of Toeplitz operators.
For weighted Bergman spaces on the unit disk, we give trace formulas of semicommutators of Toeplitz operators with $\mathscr{C}^2(\overline{\mathbb{D}})$ symbols. We generalize this formula to weighted Bergman spaces on the unit ball in higher dimensions. Applications and examples on the Hankel operators are also discussed.
We study the Helton-Howe trace and the Connes-Chern character for Toeplitz operators on weighted Bergman spaces via the idea of quantization. We prove a local formula for the large $t$-limit of the Connes-Chern character as the weight goes to infinity. And we show that the Helton-Howe trace of Toeplitz operators is independent of the weight $t$ and obtain a local formula for the Helton-Howe trace for all weighted Bergman spaces using harmonic analysis and quantization.
In this paper we characterize the trace spaces of a class of weighted function spaces of intersection type with mixed regularities. To a large extent we can overcome the difficulty of mixed scales by employing a microscopic improvement in Sobolev and mixed derivative embeddings with fixed integrability. We apply the general results to prove maximal $L^p$-$L^q$-regularity for the linearized, fully inhomogeneous two-phase Stefan problem with Gibbs-Thomson correction.
In the paper we consider $T_{1},..., T_{d}$ absolute contractions of von Neumann algebra $\M$ with normal, semi-finite, faithful trace, and prove that for every bounded Besicovitch weight $\{a(\kb)\}_{\kb\in\bn^d}$ and every $x\in L_{p}(\M)$, ($p>1$) the averages A_{\Nb}(x)=\frac{1}{|\Nb|}\sum\limits_{\kb=1}^{\Nb}a(\kb)\Tb^{\kb}(x). converge bilaterally almost uniformly in $L_{p}(\M)$.
In this note we present the metric approximation property for weighted mixed-norm $L_w^{(p_1,\dots ,p_n)}$ and variable exponent Lebesgue type spaces. As a consequence, this also implies the same property for modulation and Wiener-Amalgam spaces. We then characterise nuclear operators on such spaces and state the corresponding Grothendieck-Lidskii trace formulae. We apply the obtained results to derive criteria for nuclearity and trace formulae for periodic operators on $\mathbb R^n$ and functions of the harmonic oscillator in terms of the global symbol.
