Let ℳ be a von Neumann algebra with unit $1_{ℳ}$. Let τ be a faithful, normal, semifinite trace on ℳ. Given x ∈ ℳ, denote by ${\mu }_t{\left(x\right)}_{t\ge 0}$ the generalized s-numbers of x, defined by ${\mu }_t\left(x\right)$ = inf||xe||: e is a projection in ℳ i with $\tau (1_{ℳ}-e)$ ≤ t (t ≥ 0). We prove that, if D is a complex domain and f:D → ℳ is a holomorphic function, then, for each t ≥ 0, $\lambda \mapsto {\int }_0^{t}log{\mu }_s\left(f\left(\lambda \right)\right)ds$ is a subharmonic function on D. This generalizes earlier subharmonicity results of White and Aupetit on the singular values of matrices.

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. A function $f:{[0,1]}^m\to X$ is separately increasing if it is increasing in each variable separately. We show that if X is a Banach space that does not contain any isomorphic copy of c₀ or such that X* is separable, then for every separately increasing function $f:{[0,1]}^m\to X$ with respect to any norming subset there exists a separately increasing function $g:{[0,1]}^m\to ℝ$ such that the sets of...

We consider the perturbed Neumann problem ⎧ -Δu + α(x)u = α(x)f(u) + λg(x,u) a.e. in Ω, ⎨ ⎩ ∂u/∂ν = 0 on ∂Ω, where Ω is an open bounded set in ${ℝ}^N$ with boundary of class C², $\alpha \in L^{\infty }\left(\Omega \right)$ with $essin{f}_{\Omega }\alpha >0$, f: ℝ → ℝ is a continuous function and g: Ω × ℝ → ℝ, besides being a Carathéodory function, is such that, for some p > N, $su{p}_{\left|s\right|\le t}\left|g(\cdot ,s)\right|\in L^p\left(\Omega \right)$ and $g(\cdot ,t)\in L^{\infty }\left(\Omega \right)$ for all t ∈ ℝ. In this setting, supposing only that the set of global minima of the function $1/2\xi ²-{\int }_0^{\xi }f\left(t\right)dt$ has M ≥ 2 bounded connected components, we prove that, for all λ ∈ ℝ small enough,...

We present two results on existence of infinitely many positive solutions to the Neumann problem ⎧ $-{\Delta }_{p}u+\lambda \left(x\right){\left|u\right|}^{p-2}u=\mu f(x,u)$ in Ω, ⎨ ⎩ ∂u/∂ν = 0 on ∂Ω, where $\Omega \subset {ℝ}^N$ is a bounded open set with sufficiently smooth boundary ∂Ω, ν is the outer unit normal vector to ∂Ω, p > 1, μ > 0, $\lambda \in L^{\infty }\left(\Omega \right)$ with $essin{f}_{x\in \Omega }\lambda \left(x\right)>0$ and f: Ω × ℝ → ℝ is a Carathéodory function. Our results ensure the existence of a sequence of nonzero and nonnegative weak solutions to the above problem.

A Banach space X is reflexive if and only if every bounded sequence xₙ in X contains a norm attaining subsequence. This means that it contains a subsequence $x_{n_k}$ for which $su{p}_{f\in S_{X*}}limsu{p}_{k\to \infty }f\left(x_{n_k}\right)$ is attained at some f in the dual unit sphere $S_{X*}$. A Banach space X is not reflexive if and only if it contains a normalized sequence xₙ with the property that for every $f\in S_{X*}$, there exists $g\in S_{X*}$ such that $limsu{p}_{n\to \infty }f\left(xₙ\right)<limin{f}_{n\to \infty }g\left(xₙ\right)$. Combining this with a result of Shafrir, we conclude that every infinite-dimensional Banach space contains an unbounded...

For the integral equation (1) below we prove the existence on an interval $J=[0,a]$ of a solution $x$ with values in a Banach space $E$, belonging to the class $L^p(J,E)$, $p>1$. Further, the set of solutions is shown to be a compact one in the sense of Aronszajn.

Let V be the C*-algebra B(H) of bounded linear operators acting on the Hilbert space H, or the Jordan algebra S(H) of self-adjoint operators in B(H). For a fixed sequence (i₁, ..., iₘ) with i₁, ..., iₘ ∈ 1, ..., k, define a product of $A₁,...,A_k\in V$ by $A₁*\cdots *A_k=A_{i₁}\cdots A_{iₘ}$. This includes the usual product $A₁*\cdots *A_k=A₁\cdots A_k$ and the Jordan triple product A*B = ABA as special cases. Denote the numerical range of A ∈ V by W(A) = (Ax,x): x ∈ H, (x,x) = 1. If there is a unitary operator U and a scalar μ satisfying ${\mu }^m=1$ such that ϕ: V → V has...

Let $G_d$ denote the isometry group of ${ℝ}^d$. We prove that if G is a paradoxical subgroup of $G_d$ then there exist G-equidecomposable Jordan domains with piecewise smooth boundaries and having different volumes. On the other hand, we construct a system ${ℱ}_d$ of Jordan domains with differentiable boundaries and of the same volume such that ${ℱ}_d$ has the cardinality of the continuum, and for every amenable subgroup G of $G_d$, the elements of ${ℱ}_d$ are not G-equidecomposable; moreover, their interiors are not G-equidecomposable...

Given a Banach space X, for n ∈ ℕ and p ∈ (1,∞) we investigate the smallest constant ∈ (0,∞) for which every n-tuple of functions f₁,...,fₙ: -1,1ⁿ → X satisfies ${\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\partial }_j{f}_j{\left(\epsilon \right)\left|\right|}^{p}d\mu \left(\epsilon \right){\le }^p{\int }_{-1,1ⁿ}{\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\delta }_j\Delta f_j\left(\epsilon \right){\left|\right|}^{p}d\mu \left(\epsilon \right)d\mu \left(\delta \right)$, where μ is the uniform probability measure on the discrete hypercube -1,1ⁿ, and ${{\partial }_j}_{j=1}^n$ and $\Delta ={\sum }_{j=1}^n{\partial }_j$ are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by ${ⁿ}_p\left(X\right)$, we show that ${ⁿ}_p\left(X\right)\le {\sum }_{k=1}^{n}1/k$ for every Banach space (X,||·||). This extends the classical Pisier inequality, which corresponds to the special...

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

Abstract. We study a Neumann problem for the heat equation in a cylindrical domain with $C^1$-base and data in $h_c^1$, a subspace of $L$1. We derive our results, considering the action of an adjoint operator on $B_{T}MOC$, a predual of $h_c^1$, and using known properties of this last space.

In this paper, we define the direct sum ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ of Banach spaces X₁,X₂,..., and Xₙ and consider it equipped with the Cesàro p-norm when 1 ≤ p < ∞. We show that ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the H-property if and only if each $X_i$ has the H-property, and ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the Schur property if and only if each $X_i$ has the Schur property. Moreover, we also show that ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ is rotund if and only if each $X_i$ is rotund.

This paper deals with homeomorphisms F: X → Y, between Banach spaces X and Y, which are of the form $F\left(x\right):=F̃x^{(2n+1)}$ where $F̃:X^{2n+1}\to Y$ is a continuous (2n+1)-linear operator.

For the integral equation (1) below we prove the existence on an interval $J=[0,a]$ of a solution $x$ with values in a Banach space $E$, belonging to the class $L^p(J,E)$, $p>1$. Further, the set of solutions is shown to be a compact one in the sense of Aronszajn.

A stronger version of the notion of frame in Banach space called Strong Retro Banach frame (SRBF) is defined and studied. It has been proved that if $𝒳$ is a Banach space such that ${𝒳}^{*}$ has a SRBF, then $𝒳$ has a Bi-Banach frame with some geometric property. Also, it has been proved that if a Banach space $𝒳$ has an approximative Schauder frame, then ${𝒳}^{*}$ has a SRBF. Finally, the existence of a non-linear SRBF in the conjugate of a separable Banach space has been proved.

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. We show that if f: [0,1] → X is an increasing function with respect to a norming subset E of X* with uncountably many points of discontinuity and Q is a countable dense subset of [0,1], then (1) $\overline{linf\left(\right[0,1\left]\right)}$ contains an order isomorphic copy of D(0,1), (2) $\overline{linf\left(Q\right)}$ contains an isomorphic copy of C([0,1]), (3) $\overline{linf\left(\right[0,1\left]\right)}/\overline{linf\left(Q\right)}$ contains an isomorphic copy of c₀(Γ) for some uncountable...

This paper is concerned with the isomorphic structure of the Banach space ${\ell }_{\infty }/c₀$ and how it depends on combinatorial tools whose existence is consistent with but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that ${\ell }_{\infty }/c₀$ does not have an orthogonal ${\ell }_{\infty }$-decomposition, that is, it is not of the form ${\ell }_{\infty }\left(X\right)$ for any Banach space X. The main local result is that it is consistent that ${\ell }_{\infty }\left(c₀\left(\right)\right)$ does not embed isomorphically into ${\ell }_{\infty }/c₀$, where is the cardinality of the continuum,...

We continue our study of outer elements of the noncommutative $H^p$ spaces associated with Arveson’s subdiagonal algebras. We extend our generalized inner-outer factorization theorem, and our characterization of outer elements, to include the case of elements with zero determinant. In addition, we make several further contributions to the theory of outers. For example, we generalize the classical fact that outers in $H^p$ actually satisfy the stronger condition that there exist aₙ ∈ A with haₙ...

Let ${\beta \left(n\right)}_{n=0}^{\infty }$ be a sequence of positive numbers and 1 ≤ p < ∞. We consider the space ${\ell }^p\left(\beta \right)$ of all power series $f\left(z\right)={\sum }_{n=0}^{\infty }f̂\left(n\right)zⁿ$ such that ${\sum }_{n=0}^{\infty }{\left|f̂\left(n\right)\right|}^p{\left|\beta \left(n\right)\right|}^p<\infty$. We give some sufficient conditions for the multiplication operator, $M_z$, to be unicellular on the Banach space ${\ell }^p\left(\beta \right)$. This generalizes the main results obtained by Lu Fang [1].

A separable Banach space X contains ${\ell }_1$ isomorphically if and only if X has a bounded fundamental total $w{c}_0*$-stable biorthogonal system. The dual of a separable Banach space X fails the Schur property if and only if X has a bounded fundamental total $w{c}_0*$-biorthogonal system.

Bessaga and Pełczyński showed that if c₀ embeds in the dual X* of a Banach space X, then ℓ¹ embeds complementably in X, and ${\ell }^{\infty }$ embeds as a subspace of X*. In this note the Diestel-Faires theorem and techniques of Kalton are used to show that if X is an infinite-dimensional Banach space, Y is an arbitrary Banach space, and c₀ embeds in L(X,Y), then ${\ell }^{\infty }$ embeds in L(X,Y), and ℓ¹ embeds complementably in $X{\otimes }_{\gamma }Y*$. Applications to embeddings of c₀ in various spaces of operators are given.

Let G be a locally compact group. We use the canonical operator space structure on the spaces $L^p\left(G\right)$ for p ∈ [1,∞] introduced by G. Pisier to define operator space analogues $O{A}_p\left(G\right)$ of the classical Figà-Talamanca-Herz algebras $A_p\left(G\right)$. If p ∈ (1,∞) is arbitrary, then $A_p\left(G\right)\subset O{A}_p\left(G\right)$ and the inclusion is a contraction; if p = 2, then OA₂(G) ≅ A(G) as Banach spaces, but not necessarily as operator spaces. We show that $O{A}_p\left(G\right)$ is a completely contractive Banach algebra for each p ∈ (1,∞), and that $O{A}_q\left(G\right)\subset O{A}_p\left(G\right)$ completely contractively...

If X is a Banach space and C ⊂ X a convex subset, for x** ∈ X** and A ⊂ X** let d(x**,C) = inf||x**-x||: x ∈ C be the distance from x** to C and d̂(A,C) = supd(a,C): a ∈ A. Among other things, we prove that if X is an order-continuous Banach lattice and K is a w*-compact subset of X** we have: (i) $d̂({\overline{co}}^{w*}\left(K\right),X)\le 2d̂(K,X)$ and, if K ∩ X is w*-dense in K, then $d̂({\overline{co}}^{w*}\left(K\right),X)=d̂(K,X)$; (ii) if X fails to have a copy of ℓ₁(ℵ₁), then $d̂({\overline{co}}^{w*}\left(K\right),X)=d̂(K,X)$; (iii) if X has a 1-symmetric basis, then $d̂({\overline{co}}^{w*}\left(K\right),X)=d̂(K,X)$.

Suppose that A and B are unital Banach algebras with units $1_A$ and $1_B$, respectively, M is a unital Banach A,B-module, $=\left[\begin{array}{cc}A& M\\ 0& B\end{array}\right]$ is the triangular Banach algebra, X is a unital -bimodule, $X_{AA}=1_{A}X{1}_A$, $X_{BB}=1_{B}X{1}_B$, $X_{AB}=1_{A}X{1}_B$ and $X_{BA}=1_{B}X{1}_A$. Applying two nice long exact sequences related to A, B, , X, $X_{AA}$, $X_{BB}$, $X_{AB}$ and $X_{BA}$ we establish some results on (co)homology of triangular Banach algebras.

Let A be a unital Banach function algebra with character space ${\Phi }_A$. For $x\in {\Phi }_A$, let $M_x$ and $J_x$ be the ideals of functions vanishing at x and in a neighbourhood of x, respectively. It is shown that the hull of $J_x$ is connected, and that if x does not belong to the Shilov boundary of A then the set $y\in {\Phi }_A:M_x\supseteq J_y$ has an infinite connected subset. Various related results are given.

Denote by any set of cardinality continuum. It is proved that a Banach algebra A with the property that for every collection $a_{\alpha }:\alpha \in \subset A$ there exist α ≠ β ∈ such that $a_{\alpha }\in a_{\beta }{A}^{}$ is isomorphic to ${⨁}_{i=1}^r(ℂ\left[X\right]/X^{d_i}ℂ\left[X\right])\oplus E$, where $d₁,...,d_r\in \mathbb{N}$, and E is either $Xℂ\left[X\right]/X^{d₀}ℂ\left[X\right]$ for some d₀ ∈ ℕ or a 1-dimensional ${⨁}_{i=1}^rℂ\left[X\right]/X^{d_i}ℂ\left[X\right]$-bimodule with trivial right module action. In particular, ℂ is the unique non-zero prime Banach algebra satisfying the above condition.

Let X,Y be Banach spaces, f: X → Y be an isometry with f(0) = 0, and $T:\overline{span}\left(f\left(X\right)\right)\to X$ be the Figiel operator with $T\circ f=I{d}_X$ and ||T|| = 1. We present a sufficient and necessary condition for the Figiel operator T to admit a linear isometric right inverse. We also prove that such a right inverse exists when $\overline{span}\left(f\left(X\right)\right)$ is weakly nearly strictly convex.

We consider real Banach spaces X for which the quotient algebra (X)/ℐn(X) is finite-dimensional, where ℐn(X) stands for the ideal of inessential operators on X. We show that these spaces admit a decomposition as a finite direct sum of indecomposable subspaces $X_i$ for which $\left(X_i\right)/ℐn\left(X_i\right)$ is isomorphic as a real algebra to either the real numbers ℝ, the complex numbers ℂ, or the quaternion numbers ℍ. Moreover, the set of subspaces $X_i$ can be divided into subsets in such a way that if $X_i$ and $X_j$ are in different...

There exists a universal control sequence ${p̅\left(m\right)}_{m=1}^{\infty }$ of increasing positive integers such that: Every infinite-dimensional separable Banach space X has a biorthogonal system xₙ,xₙ* with ||xₙ|| = 1 and ||xₙ*|| < K for each n such that, for each x ∈ X, $x={\sum }_{n=1}^{\infty }{x}_{\pi \left(n\right)}*\left(x\right)x_{\pi \left(n\right)}$ where π(n) is a permutation of n which depends on x but is uniformly controlled by ${p̅\left(m\right)}_{m=1}^{\infty }$, that is, $n_{n=1}^m\subseteq \pi {\left(n\right)}_{n=1}^{p̅\left(m\right)}\subseteq n_{n=1}^{p̅(m+1)}$ for each m.

We construct, under Axiom ♢, a family ${\left(C\left(K_{\xi }\right)\right)}_{\xi <2^{\left(2^{\omega }\right)}}$ of indecomposable Banach spaces with few operators such that every operator from $C\left(K_{\xi }\right)$ into $C\left(K_{\eta }\right)$ is weakly compact, for all ξ ≠ η. In particular, these spaces are pairwise essentially incomparable. Assuming no additional set-theoretic axiom, we obtain this result with size $2^{\omega }$ instead of $2^{\left(2^{\omega }\right)}$.

In this paper we study existence and uniqueness of solutions for the Hammerstein equation $$u\left(x\right)=v\left(x\right)+\lambda {\int }_{I_a^b}K(x,y)f(y,u\left(y\right))dy$$ in the space of function of bounded total $\varphi$-variation in the sense of Hardy-Vitali-Tonelli, where $\lambda \in ℝ$, $K:I_a^b\times I_a^b⟶ℝ$ and $f:I_a^b\times ℝ⟶ℝ$ are suitable functions. The existence and uniqueness of solutions are proved by means of the Leray-Schauder nonlinear alternative and the Banach contraction mapping principle.

Let ℳ be a type II₁ von Neumann algebra, τ a trace in ℳ, and L²(ℳ,τ) the GNS Hilbert space of τ. If L²(ℳ,τ)₊ is the completion of the set ${ℳ}_{sa}$ of selfadjoint elements, then each element ξ ∈ L²(ℳ,τ)₊ gives rise to a selfadjoint unbounded operator $L_{\xi }$ on L²(ℳ,τ). In this note we show that the exponential exp: L²(ℳ,τ)₊ → L²(ℳ,τ), $exp\left(\xi \right)=e^{i{L}_{\xi }}$, is continuous but not differentiable. The same holds for the Cayley transform $C\left(\xi \right)=(L_{\xi }-i){(L_{\xi }+i)}^{-1}$. We also show that the unitary group $U_{ℳ}\subset L²(ℳ,\tau )$ with the strong operator topology is not an...

Let ν be a positive measure on a σ-algebra Σ of subsets of some set and let X be a Banach space. Denote by ca(Σ,X) the Banach space of X-valued measures on Σ, equipped with the uniform norm, and by ca(Σ,ν,X) its closed subspace consisting of those measures which vanish at every ν-null set. We are concerned with the subsets ${}_{\nu }\left(X\right)$ and ${}_{\nu }\left(X\right)$ of ca(Σ,X) defined by the conditions |φ| = ν and |φ| ≥ ν, respectively, where |φ| stands for the variation of φ ∈ ca(Σ,X). We establish necessary and sufficient...

For $\left(P_k\right)$ being Rademacher, Fermion or q-Gaussian (-1 ≤ q ≤ 0) operators, we find the optimal constants $C_{2n}$, n∈ ℕ, in the inequality $\parallel {\sum }_{k=1}^N{A}_k\otimes P_k{\parallel }_{2n}\le {\left[C_{2n}\right]}^{1/2n}max{\parallel ({\sum }_{k=1}^{N}A{*}_k{A}_k}^{1/2}{\parallel }_{L_{2n}},\parallel ({\sum }_{k=1}^N{A}_{k}A{*}_k$1/2∥L2n$,$valid for all finite sequences of operators $\left(A_k\right)$ in the non-commutative $L_{2n}$ space related to a semifinite von Neumann algebra with trace. In particular, $C_{2n}=(2nr-1)!!$ for the Rademacher and Fermion sequences.