On complex interpolation and spectral continuity

Karen Saxe

Displaying similar documents to “On complex interpolation and spectral continuity”

Interpolation of quasicontinuous functions

Joan Cerdà, Joaquim Martín, Pilar Silvestre (2011)

Banach Center Publications

Similarity:

If C is a capacity on a measurable space, we prove that the restriction of the K-functional $K (t, f; L^{p} (C), L^{\infty} (C))$ to quasicontinuous functions f ∈ QC is equivalent to $K (t, f; L^{p} (C) \cap Q C, L^{\infty} (C) \cap Q C)$ . We apply this result to identify the interpolation space ${(L^{p ₀, q ₀} (C) \cap Q C, L^{p ₁, q ₁} (C) \cap Q C)}_{θ, q}$ .

$H^{\infty}$ functional calculus in real interpolation spaces

Giovanni Dore (1999)

Studia Mathematica

Similarity:

Let A be a linear closed densely defined operator in a complex Banach space X. If A is of type ω (i.e. the spectrum of A is contained in a sector of angle 2ω, symmetric around the real positive axis, and $∥ λ {(λ I - A)}^{- 1} ∥$ is bounded outside every larger sector) and has a bounded inverse, then A has a bounded $H^{\infty}$ functional calculus in the real interpolation spaces between X and the domain of the operator itself.

Interpolation of Cesàro sequence and function spaces

Sergey V. Astashkin, Lech Maligranda (2013)

Studia Mathematica

Similarity:

The interpolation properties of Cesàro sequence and function spaces are investigated. It is shown that $C e s_{p} (I)$ is an interpolation space between $C e s_{p ₀} (I)$ and $C e s_{p ₁} (I)$ for 1 < p₀ < p₁ ≤ ∞ and 1/p = (1 - θ)/p₀ + θ/p₁ with 0 < θ < 1, where I = [0,∞) or [0,1]. The same result is true for Cesàro sequence spaces. On the other hand, $C e s_{p} [0, 1]$ is not an interpolation space between Ces₁[0,1] and $C e s_{\infty} [0, 1]$ .

$H^{\infty}$ functional calculus in real interpolation spaces, II

Giovanni Dore (2001)

Studia Mathematica

Similarity:

Let A be a linear closed one-to-one operator in a complex Banach space X, having dense domain and dense range. If A is of type ω (i.e.the spectrum of A is contained in a sector of angle 2ω, symmetric about the real positive axis, and ${| | λ (λ I - A)}^{- 1} | |$ is bounded outside every larger sector), then A has a bounded $H^{\infty}$ functional calculus in the real interpolation spaces between X and the intersection of the domain and the range of the operator itself.

The Lizorkin-Freitag formula for several weighted $L_{p}$ spaces and vector-valued interpolation

Irina Asekritova, Natan Krugljak, Ludmila Nikolova (2005)

Studia Mathematica

Similarity:

A complete description of the real interpolation space $L = {(L_{p ₀} (ω ₀), . . ., L_{p ₙ} (ω ₙ))}_{θ ⃗, q}$ is given. An interesting feature of the result is that the whole measure space (Ω,μ) can be divided into disjoint pieces $Ω_{i}$ (i ∈ I) such that L is an $l_{q}$ sum of the restrictions of L to $Ω_{i}$ , and L on each $Ω_{i}$ is a result of interpolation of just two weighted $L_{p}$ spaces. The proof is based on a generalization of some recent results of the first two authors concerning real interpolation of vector-valued spaces.

Complex interpolation of function spaces with general weights

Douadi Drihem (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We present the complex interpolation of Besov and Triebel–Lizorkin spaces with generalized smoothness. In some particular cases these function spaces are just weighted Besov and Triebel–Lizorkin spaces. As a corollary of our results, we obtain the complex interpolation between the weighted Triebel–Lizorkin spaces ${\dot{F}}_{p_{0}, q_{0}}^{s_{0}} (ω_{0})$ and ${\dot{F}}_{\infty, q_{1}}^{s_{1}} (ω_{1})$ with suitable assumptions on the parameters $s_{0}, s_{1}, p_{0}, q_{0}$ and $q_{1}$ , and the pair of weights $(ω_{0}, ω_{1})$ .

Real method of interpolation on subcouples of codimension one

S. V. Astashkin, P. Sunehag (2008)

Studia Mathematica

Similarity:

We find necessary and sufficient conditions under which the norms of the interpolation spaces ${(N ₀, N ₁)}_{θ, q}$ and ${(X ₀, X ₁)}_{θ, q}$ are equivalent on N, where N is the kernel of a nonzero functional ψ ∈ (X₀ ∩ X₁)* and $N_{i}$ is the normed space N with the norm inherited from $X_{i}$ (i = 0,1). Our proof is based on reducing the problem to its partial case studied by Ivanov and Kalton, where ψ is bounded on one of the endpoint spaces. As an application we completely resolve the problem of when the range of the operator $T_{θ} = S - 2^{θ} I$ (S...

Lower semicontinuous envelopes in $W^{1, 1} \times L^{p}$

Ana Margarida Ribeiro, Elvira Zappale (2014)

Banach Center Publications

Similarity:

The lower semicontinuity of functionals of the type $\int_{Ω} f (x, u, v, \nabla u) d x$ with respect to the $(W^{1, 1} \times L^{p})$ -weak* topology is studied. Moreover, in absence of lower semicontinuity, an integral representation in $W^{1, 1} \times L^{p}$ for the lower semicontinuous envelope is also provided.

A counterexample to the Γ-interpolation conjecture

Adama S. Kamara (2015)

Annales Polonici Mathematici

Similarity:

Agler, Lykova and Young introduced a sequence $C_{ν}$ , where ν ≥ 0, of necessary conditions for the solvability of the finite interpolation problem for analytic functions from the open unit disc into the symmetrized bidisc Γ. They conjectured that condition $C_{n - 2}$ is necessary and sufficient for the solvability of an n-point interpolation problem. The aim of this article is to give a counterexample to that conjecture.

Interpolation and extension of Lipschitz-Hölder maps on $C_{p}$ spaces

Charles E. C Cleaver (1973)

Colloquium Mathematicae

Similarity:

Selection principles and upper semicontinuous functions

Masami Sakai (2009)

Colloquium Mathematicae

Similarity:

In connection with a conjecture of Scheepers, Bukovský introduced properties wQN* and SSP* and asked whether wQN* implies SSP*. We prove it in this paper. We also give characterizations of properties S₁(Γ,Ω) and $S_{f i n} (Γ, Ω)$ in terms of upper semicontinuous functions

Modulus of dentability in $L ¹ + L^{\infty}$

Adam Bohonos, Ryszard Płuciennik (2008)

Banach Center Publications

Similarity:

We introduce the notion of the modulus of dentability defined for any point of the unit sphere S(X) of a Banach space X. We calculate effectively this modulus for denting points of the unit ball of the classical interpolation space $L ¹ + L^{\infty} .$ Moreover, a criterion for denting points of the unit ball in this space is given. We also show that none of denting points of the unit ball of $L ¹ + L^{\infty}$ is a LUR-point. Consequently, the set of LUR-points of the unit ball of $L ¹ + L^{\infty}$ is empty.

Interpolation by elementary operators

Bojan Magajna (1993)

Studia Mathematica

Similarity:

Given two n-tuples $a = (a_{1}, . . ., a_{n})$ and $b = (b_{1}, . . ., b_{n})$ of bounded linear operators on a Hilbert space the question of when there exists an elementary operator E such that $E a_{j} = b_{j}$ for all j =1,...,n, is studied. The analogous question for left multiplications (instead of elementary operators) is answered in any C*-algebra A, as a consequence of the characterization of closed left A-submodules in $A^{n}$ .

Minimax theorems without changeless proportion

Liang-Ju Chu, Chi-Nan Tsai (2003)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

Similarity:

The so-called minimax theorem means that if X and Y are two sets, and f and g are two real-valued functions defined on X×Y, then under some conditions the following inequality holds: $i n f_{y \in Y} s u p_{x \in X} f (x, y) \leq s u p_{x \in X} i n f_{y \in Y} g (x, y)$ . We will extend the two functions version of minimax theorems without the usual condition: f ≤ g. We replace it by a milder condition: $s u p_{x \in X} f (x, y) \leq s u p_{x \in X} g (x, y)$ , ∀y ∈ Y. However, we require some restrictions; such as, the functions f and g are jointly upward, and their upper sets are connected. On the other hand, by using some...

Interpolation theorem for the p-harmonic transform

Luigi D&#039;Onofrio, Tadeusz Iwaniec (2003)

Studia Mathematica

Similarity:

We establish an interpolation theorem for a class of nonlinear operators in the Lebesgue spaces $ℒ^{s} (ℝ ⁿ)$ arising naturally in the study of elliptic PDEs. The prototype of those PDEs is the second order p-harmonic equation ${d i v | \nabla u |}^{p - 2 \nabla} u = d i v$ . In this example the p-harmonic transform is essentially inverse to $d i v (| \nabla |^{p - 2} \nabla)$ . To every vector field $\in ℒ^{q} (ℝ ⁿ, ℝ ⁿ)$ our operator $ℋ_{p}$ assigns the gradient of the solution, $ℋ_{p} = \nabla u \in ℒ^{p} (ℝ ⁿ, ℝ ⁿ)$ . The core of the matter is that we go beyond the natural domain of definition of this operator. Because of nonlinearity our...

Several notes on the circumradius condition

Václav Kučera (2016)

Applications of Mathematics

Similarity:

Recently, the so-called circumradius condition (or estimate) was derived, which is a new estimate of the $W^{1, p}$ -error of linear Lagrange interpolation on triangles in terms of their circumradius. The published proofs of the estimate are rather technical and do not allow clear, simple insight into the results. In this paper, we give a simple direct proof of the $p = \infty$ case. This allows us to make several observations such as on the optimality of the circumradius estimate. Furthermore, we show how...

Spectral radius of operators associated with dynamical systems in the spaces C(X)

Krzysztof Zajkowski (2005)

Banach Center Publications

Similarity:

We consider operators acting in the space C(X) (X is a compact topological space) of the form $A u (x) = (\sum_{k = 1}^{N} e^{φ_{k}} T_{α_{k}}) u (x) = \sum_{k = 1}^{N} e^{φ_{k} (x)} u (α_{k} (x))$ , u ∈ C(X), where $φ_{k} \in C (X)$ and $α_{k} : X \to X$ are given continuous mappings (1 ≤ k ≤ N). A new formula on the logarithm of the spectral radius r(A) is obtained. The logarithm of r(A) is defined as a nonlinear functional λ depending on the vector of functions $φ = {(φ_{k})}_{k = 1}^{N}$ . We prove that $l n (r (A)) = λ (φ) = m a x_{ν \in M e s} \sum_{k = 1}^{N} \int_{X} φ_{k} d ν_{k} - λ * (ν)$ , where Mes is the set of all probability vectors of measures $ν = {(ν_{k})}_{k = 1}^{N}$ on X × 1,..., N and λ* is some convex lower-semicontinuous functional on...

A recursive interpolation method in $R^{n}$

M. Ajzerle (1992)

Matematički Vesnik

Similarity:

Subsets of nonempty joint spectrum in topological algebras

Antoni Wawrzyńczyk (2018)

Mathematica Bohemica

Similarity:

We give a necessary and a sufficient condition for a subset $S$ of a locally convex Waelbroeck algebra $𝒜$ to have a non-void left joint spectrum $σ_{l} (S) .$ In particular, for a Lie subalgebra $L \subset 𝒜$ we have $σ_{l} (L) \neq \emptyset$ if and only if $[L, L]$ generates in $𝒜$ a proper left ideal. We also obtain a version of the spectral mapping formula for a modified left joint spectrum. Analogous theorems for the right joint spectrum and the Harte spectrum are also valid.

Interpolation and duality of generalized grand Morrey spaces on quasi-metric measure spaces

Yi Liu, Wen Yuan (2017)

Czechoslovak Mathematical Journal

Similarity:

Let $θ \in (0, 1)$ , $λ \in [0, 1)$ and $p, p_{0}, p_{1} \in (1, \infty]$ be such that $(1 - θ) / p_{0} + θ / p_{1} = 1 / p$ , and let $ϕ, ϕ_{0}, ϕ_{1}$ be some admissible functions such that $ϕ, ϕ_{0}^{p / p_{0}}$ and $ϕ_{1}^{p / p_{1}}$ are equivalent. We first prove that, via the $\pm$ interpolation method, the interpolation $〈 L_{ϕ_{0}}^{p_{0}), λ} (𝒳), L_{ϕ_{1}}^{p_{1}), λ} (𝒳), θ 〉$ of two generalized grand Morrey spaces on a quasi-metric measure space $𝒳$ is the generalized grand Morrey space $L_{ϕ}^{p), λ} (𝒳)$ . Then, by using block functions, we also find a predual space of the generalized grand Morrey space. These results are new even for generalized grand Lebesgue spaces.

On some properties of generalized Marcinkiewicz spaces

Evgeniy Pustylnik (2001)

Studia Mathematica

Similarity:

We give a full solution of the following problems concerning the spaces $M_{φ} (X ⃗)$ : (i) to what extent two functions φ and ψ should be different in order to ensure that $M_{φ} (X ⃗) \neq M_{ψ} (X ⃗)$ for any nontrivial Banach couple X⃗; (ii) when an embedding $M_{φ} (X ⃗) ⊊ M_{ψ} (X ⃗)$ can (or cannot) be dense; (iii) which Banach space can be regarded as an $M_{φ} (X ⃗)$ -space for some (unknown beforehand) Banach couple X⃗.