Let $f_c(x,y)\equiv {\sum }_{j=1}^{\infty }{\sum }_{k=1}^{\infty }{a}_{jk}(1-cosjx)(1-cosky)$ with $a_{jk}\ge 0$ for all j,k ≥ 1. We estimate the integral ${\int }_0^{\pi }{\int }_0^{\pi }{x}^{\alpha -1}{y}^{\beta -1}\varphi \left(f_c(x,y)\right)dxdy$ in terms of the coefficients $a_{jk}$, where α, β ∈ ℝ and ϕ: [0,∞] → [0,∞]. Our results can be regarded as the trigonometric analogues of those of Mazhar and Móricz [MM]. They generalize and extend Boas [B, Theorem 6.7].

A two-sided sequence ${\left(cₙ\right)}_{n\in \mathbb{Z}}$ with values in a complex unital Banach algebra is a cosine sequence if it satisfies $c_{n+m}+c_{n-m}=2cₙcₘ$ for any n,m ∈ ℤ with c₀ equal to the unity of the algebra. A cosine sequence ${\left(cₙ\right)}_{n\in \mathbb{Z}}$ is bounded if $su{p}_{n\in \mathbb{Z}}\left|\right|cₙ\left|\right|<\infty$. A (bounded) group decomposition for a cosine sequence $c={\left(cₙ\right)}_{n\in \mathbb{Z}}$ is a representation of c as $cₙ=(bⁿ+b^{-n})/2$ for every n ∈ ℤ, where b is an invertible element of the algebra (satisfying $su{p}_{n\in \mathbb{Z}}\left|\right|bⁿ\left|\right|<\infty$, respectively). It is known that every bounded cosine sequence possesses a universally defined group decomposition, the...

We study extension of $p$-trigonometric functions ${sin}_p$ and ${cos}_p$ to complex domain. For $p=4,6,8,\cdots$, the function ${sin}_p$ satisfies the initial value problem which is equivalent to (*) $$-{\left(u^{\text{'}}\right)}^{p-2}{u}^{\text{'}\text{'}}-u^{p-1}=0,u\left(0\right)=0,u^{\text{'}}\left(0\right)=1$$ in $ℝ$. In our recent paper, Girg, Kotrla (2014), we showed that ${sin}_p\left(x\right)$ is a real analytic function for $p=4,6,8,\cdots$ on $(-{\pi }_p/2,{\pi }_p/2)$, where ${\pi }_p/2={\int }_0^1{(1-s^p)}^{-1/p}$. This allows us to extend ${sin}_p$ to complex domain by its Maclaurin series convergent on the disc $\{z\in ℂ:|z|<{\pi }_p/2\}$. The question is whether this extensions ${sin}_p\left(z\right)$ satisfies (*) in the sense of differential equations in complex domain. This...

A two-sided sequence ${\left(cₙ\right)}_{n\in \mathbb{Z}}$ with values in a complex unital Banach algebra is a cosine sequence if it satisfies $c_{n+m}+c_{n-m}=2cₙcₘ$ for any n,m ∈ ℤ with c₀ equal to the unity of the algebra. A cosine sequence ${\left(cₙ\right)}_{n\in \mathbb{Z}}$ is bounded if $su{p}_{n\in \mathbb{Z}}\left|\right|cₙ\left|\right|<\infty$. A (bounded) group decomposition for a cosine sequence $c={\left(cₙ\right)}_{n\in \mathbb{Z}}$ is a representation of c as $cₙ=(bⁿ+b^{-n})/2$ for every n ∈ ℤ, where b is an invertible element of the algebra (satisfying $su{p}_{n\in \mathbb{Z}}\left|\right|bⁿ\left|\right|<\infty$, respectively). It is known that every bounded cosine sequence possesses a universally defined group decomposition, here...

We introduce the notion of a strongly Whyburn space, and show that a space $X$ is strongly Whyburn if and only if $X\times (\omega +1)$ is Whyburn. We also show that if $X\times Y$ is Whyburn for any Whyburn space $Y$, then $X$ is discrete.

Let (X,||·||) be a separable real Banach space. Let f be a real-valued strongly α(·)-paraconvex function defined on an open convex subset Ω ⊂ X, i.e. such that $f(tx+(1-t\left)y\right)\le tf\left(x\right)+(1-t)f\left(y\right)+min[t,(1-t\left)\right]\alpha \left(\right||x-y|\left|\right)$. Then there is a dense $G_{\delta }$-set $A_G\subset \Omega$ such that f is Gateaux differentiable at every point of $A_G$.

We first give a necessary and sufficient condition for $x^{-\gamma }\varphi \left(x\right)\in L^p$, 1 < p < ∞, 1/p - 1 < γ < 1/p, where ϕ(x) is the sum of either ${\sum }_{k=1}^{\infty }{a}_{k}coskx$ or ${\sum }_{k=1}^{\infty }{b}_{k}sinkx$, under the condition that λₙ (where λₙ is aₙ or bₙ respectively) belongs to the class of so called Mean Value Bounded Variation Sequences (MVBVS). Then we discuss the relations among the Fourier coefficients λₙ and the sum function ϕ(x) under the condition that λₙ ∈ MVBVS, and deduce a sharp estimate for the weighted modulus of continuity of ϕ(x)...

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.

We prove that on ${ℝ}^N$, there is no n-supercyclic operator with 1 ≤ n < ⌊(N + 1)/2⌋, i.e. if ${ℝ}^N$ has an n-dimensional subspace whose orbit under $T\in \left({ℝ}^N\right)$ is dense in ${ℝ}^N$, then n is greater than ⌊(N + 1)/2⌋. Moreover, this value is optimal. We then consider the case of strongly n-supercyclic operators. An operator $T\in \left({ℝ}^N\right)$ is strongly n-supercyclic if ${ℝ}^N$ has an n-dimensional subspace whose orbit under T is dense in $\mathbb{P}ₙ\left({ℝ}^N\right)$, the nth Grassmannian. We prove that strong n-supercyclicity does not occur non-trivially...

We introduce and study a new concept of strongly $l_p$-summing m-linear operators in the category of operator spaces. We give some characterizations of this notion such as the Pietsch domination theorem and we show that an m-linear operator is strongly $l_p$-summing if and only if its adjoint is $l_p$-summing.

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,...

Suppose Δ̃ is the Laplace-Beltrami operator on the sphere $S^{d-1},{\Delta }_{\rho }^{k}f\left(x\right)={\Delta }_{\rho }{\Delta }_{\rho }^{k-1}f\left(x\right)$ and ${\Delta }_{\rho }f\left(x\right)=f\left(\rho x\right)-f\left(x\right)$ where ρ ∈ SO(d). Then ${\omega }^m{(f,t)}_{L_p\left(S^{d-1}\right)}\equiv sup\parallel {\Delta }_{\rho }^{m}f{\parallel }_{L_p\left(S^{d-1}\right)}:\rho \in SO\left(d\right),ma{x}_{x\in S^{d-1}}\rho x·x\ge cost$ and $K̃ₘ{(f,t^m)}_p\equiv inf\parallel f-g{\parallel }_{L_p\left(S^{d-1}\right)}+t^m\parallel {(-\Delta ̃)}^{m/2}g{\parallel }_{L_p\left(S^{d-1}\right)}:g\in \left({(-\Delta ̃)}^{m/2}\right)$ are equivalent for 1 < p < ∞. We note that for even m the relation was recently investigated by the second author. The equivalence yields an extension of the results on sharp Jackson inequalities on the sphere. A new strong converse inequality for $L_p\left(S^{d-1}\right)$ given in this paper plays a significant role in the proof.

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.

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...

In a cholesteric liquid crystal the director field $n(x,y,z)$ tends to form a right-angle helicoid around a twist axis in order to minimize the internal energy; however, a fixed alignment of the director field at the boundary (strong anchoring) can give rise to distorted configurations of the director field, as oblique helicoid, in order to save energy. The transition to this distorted configurations depend on the boundary conditions and on the geometry of the liquid crystal, and it is known...

For Banach spaces $X$ and $Y$, let $K_{w^{*}}(X^{*},Y)$ denote the space of all $w^{*}-w$ continuous compact operators from $X^{*}$ to $Y$ endowed with the operator norm. A Banach space $X$ has the $wGP$ property if every Grothendieck subset of $X$ is relatively weakly compact. In this paper we study Banach spaces with property $wGP$. We investigate whether the spaces $K_{w^{*}}(X^{*},Y)$ and $X{\otimes }_{ϵ}Y$ have the $wGP$ property, when $X$ and $Y$ have the $wGP$ property.

By using the concepts of limited $p$-converging operators between two Banach spaces $X$ and $Y$, $L_p$-sets and $L_p$-limited sets in Banach spaces, we obtain some characterizations of these concepts relative to some well-known geometric properties of Banach spaces, such as $*$-Dunford–Pettis property of order $p$ and Pelczyński’s property of order $p$, $1\le p<\infty$.

Suppose $A$ is a separable unital $𝒞\left(X\right)$-algebra each fibre of which is isomorphic to the same strongly self-absorbing and $K_1$-injective $C^{*}$-algebra $𝒟$. We show that $A$ and $𝒞\left(X\right)\otimes 𝒟$ are isomorphic as $𝒞\left(X\right)$-algebras provided the compact Hausdorff space $X$ is finite-dimensional. This statement is known not to extend to the infinite-dimensional case.

CONTENTS1. Introduction...................................................................................................... 52. Notation and basic terminology........................................................................... 73. Definition and basic properties of the $L_{p,q}$ spaces................................. 114. Integral representation of bounded linear functionals on $L_{p,q}\left(B\right)$........ 235. Examples in $L_{p,q}$ theory...................................................................................

We show that every operator from ${\ell }_s$ to ${\ell }_p\otimes ̂{\ell }_q$ is compact when 1 ≤ p,q < s and that every operator from ${\ell }_s$ to ${\ell }_p\widehat{\otimes ̂}{\ell }_q$ is compact when 1/p + 1/q > 1 + 1/s.