A new lower bound for the Jung constant $JC\left(l^{\left(\Phi \right)}\right)$ of the Orlicz sequence space $l^{\left(\Phi \right)}$ defined by an N-function Φ is found. It is proved that if $l^{\left(\Phi \right)}$ is reflexive and the function tΦ’(t)/Φ(t) is increasing on $(0,{\Phi }^{-1}\left(1\right)]$, then $JC\left(l^{\left(\Phi \right)}\right)\ge \left({\Phi }^{-1}(1/2)\right)/\left({\Phi }^{-1}\left(1\right)\right)$. Examples in Section 3 show that the above estimate is better than in Zhang’s paper (2003) in some cases and that the results given in Yan’s paper (2004) are not accurate.

Let ϕ: ℝ → ℝ₊ ∪ 0 be an even convex continuous function with ϕ(0) = 0 and ϕ(u) > 0 for all u > 0 and let w be a weight function. u₀ and v₀ are defined by u₀ = supu: ϕ is linear on (0,u), v₀=supv: w is constant on (0,v) (where sup∅ = 0). We prove the following theorem. Theorem. Suppose that ${\Lambda }_{\varphi ,w}(0,\infty )$ (respectively, ${\Lambda }_{\varphi ,w}(0,1)$) is an order continuous Lorentz-Orlicz space. (1) ${\Lambda }_{\varphi ,w}$ has normal structure if and only if u₀ = 0 (respectively, ${\int }^{v₀}\varphi \left(u₀\right)·w<2andu₀<\infty ).$(2) ${\Lambda }_{\varphi ,w}$ has weakly normal structure if and only if ${\int }_0^{v₀}\varphi \left(u₀\right)·w<2$.

Let 1 ≤ p < 2 and let $L_p=L_p[0,1]$ be the classical $L_p$-space of all (classes of) p-integrable functions on [0,1]. It is known that a sequence of independent copies of a mean zero random variable $f\in L_p$ spans in $L_p$ a subspace isomorphic to some Orlicz sequence space $l_M$. We give precise connections between M and f and establish conditions under which the distribution of a random variable $f\in L_p$ whose independent copies span $l_M$ in $L_p$ is essentially unique.

Let G be a locally compact group, let (φ,ψ) be a complementary pair of Young functions, and let $L^{\phi }\left(G\right)$ and $L^{\psi }\left(G\right)$ be the corresponding Orlicz spaces. Under some conditions on φ, we will show that for a Banach $L^{\phi }\left(G\right)$-submodule X of $L^{\psi }\left(G\right)$, the multiplier space $Ho{m}_{L^{\phi }\left(G\right)}(L^{\phi }\left(G\right),X*)$ is a dual Banach space with predual $L^{\phi }\left(G\right)\bullet X:=\overline{span}ux:u\in L^{\phi }\left(G\right),x\in X$, where the closure is taken in the dual space of $Ho{m}_{L^{\phi }\left(G\right)}(L^{\phi }\left(G\right),X*)$. We also prove that if $\phi$ is a Δ₂-regular N-function, then $C{v}_{\phi }\left(G\right)$, the space of convolutors of $M^{\phi }\left(G\right)$, is identified with the dual of a Banach algebra of functions on G...

Let $L:=-\Delta +V$ be a Schrödinger operator on ${ℝ}^n$ with $n\ge 3$ and $V\ge 0$ satisfying ${\Delta }^{-1}V\in L^{\infty }\left({ℝ}^n\right)$. Assume that $\varphi :{ℝ}^n\times [0,\infty )\to [0,\infty )$ is a function such that $\varphi (x,·)$ is an Orlicz function, $\varphi (·,t)\in {𝔸}_{\infty }\left({ℝ}^n\right)$ (the class of uniformly Muckenhoupt weights). Let $w$ be an $L$-harmonic function on ${ℝ}^n$ with $0<C_1\le w\le C_2$, where $C_1$ and $C_2$ are positive constants. In this article, the author proves that the mapping $H_{\varphi ,L}\left({ℝ}^n\right)\ni f\mapsto wf\in H_{\varphi }\left({ℝ}^n\right)$ is an isomorphism from the Musielak-Orlicz-Hardy space associated with $L$, $H_{\varphi ,L}\left({ℝ}^n\right)$, to the Musielak-Orlicz-Hardy space $H_{\varphi }\left({ℝ}^n\right)$ under some assumptions on $\varphi$. As applications, the author further...

Net (X,ℱ,ν) be a σ-finite measure space. Associated with k Lamperti operators on $L^p\left(\nu \right)$, $T₁,...,T_k$, $n̅=(n₁,...,n_k)\in {\mathbb{N}}^k$ and $\alpha ̅=(\alpha ₁,...,{\alpha }_k)$ with $0<{\alpha }_j\le 1$, we define the ergodic Cesàro-α̅ averages ${}_{n̅,\alpha ̅}f=1/\left({\prod }_{j=1}^k{A}_{n_j}^{{\alpha }_j}\right){\sum }_{i_k=0}^{n_k}\cdots {\sum }_{i₁=0}^{n₁}{\prod }_{j=1}^k{A}_{n_j-i_j}^{{\alpha }_j-1}{T}_k^{i_k}\cdots T{₁}^{i₁}f$. For these averages we prove the almost everywhere convergence on X and the convergence in the $L^p\left(\nu \right)$ norm, when $n₁,...,n_k\to \infty$ independently, for all $f\in L^p\left(d\nu \right)$ with p > 1/α⁎ where $\alpha ⁎=mi{n}_{1\le j\le k}{\alpha }_j$. In the limit case p = 1/α⁎, we prove that the averages ${}_{n̅,\alpha ̅}f$ converge almost everywhere on X for all f in the Orlicz-Lorentz space $\Lambda (1/\alpha ⁎,{\phi }_{m-1})$ with $\phi ₘ\left(t\right)=t{(1+log⁺t)}^m$. To obtain the result in the limit case we need...

We study imbeddings of the Sobolev space $W^{m,\varrho }\left(\Omega \right)$: = u: Ω → ℝ with $\varrho ({\partial }^{\alpha }u/\partial x^{\alpha })$ < ∞ when |α| ≤ m, in which Ω is a bounded Lipschitz domain in ℝⁿ, ϱ is a rearrangement-invariant (r.i.) norm and 1 ≤ m ≤ n - 1. For such a space we have shown there exist r.i. norms, ${\tau }_{\varrho }$ and ${\sigma }_{\varrho }$, that are optimal with respect to the inclusions $W^{m,\varrho }\left(\Omega \right)\subset W^{m,{\tau }_{\varrho }}\left(\Omega \right)\subset L_{{\sigma }_{\varrho }}\left(\Omega \right)$. General formulas for ${\tau }_{\varrho }$ and ${\sigma }_{\varrho }$ are obtained using the -method of interpolation. These lead to explicit expressions when ϱ is a Lorentz Gamma norm or an Orlicz norm.

We obtain interpolation inequalities for derivatives: $\int M_{q,\alpha }\left(\right|\nabla f\left(x\right)\left|\right)dx\le C[\int M_{p,\beta }\left(\Phi ₁\right(x,\left|f\right|,|{\nabla }^{\left(2\right)}f\left|\right))dx+\int M_{r,\gamma }\left(\Phi ₂\right(x,\left|f\right|,|{\nabla }^{\left(2\right)}f\left|\right)\left)dx\right]$, and their counterparts expressed in Orlicz norms: ||∇f||²(q,α) ≤ C||Φ₁(x,|f|,|∇(2)f|)||(p,β) ||Φ₂(x,|f|,|∇(2)f|)||(r,γ)$,$where ${\left|\right|·\left|\right|}_{(s,\kappa )}$ is the Orlicz norm relative to the function $M_{s,\kappa }\left(t\right)=t^s{\left(ln(2+t)\right)}^{\kappa }$. The parameters p,q,r,α,β,γ and the Carathéodory functions Φ₁,Φ₂ are supposed to satisfy certain consistency conditions. Some of the classical Gagliardo-Nirenberg inequalities follow as a special case. Gagliardo-Nirenberg inequalities in logarithmic spaces...

We study linear operators from a non-locally convex Orlicz space $L^{\Phi }$ to a Banach space $(X,|\left|·\right|{|}_X)$. Recall that a linear operator $T:L^{\Phi }\to X$ is said to be σ-smooth whenever $uₙ{⟶}^{\left(o\right)}0$ in $L^{\Phi }$ implies ${\left|\right|T\left(uₙ\right)\left|\right|}_X\to 0$. It is shown that every σ-smooth operator $T:L^{\Phi }\to X$ factors through the inclusion map $j:L^{\Phi }\to L^{\Phi ̅}$, where Φ̅ denotes the convex minorant of Φ. We obtain the Bochner integral representation of σ-smooth operators $T:L^{\Phi }\to X$. This extends some earlier results of J. J. Uhl concerning the Bochner integral representation of linear operators defined on...

Let $X={\sum }_{i=1}^k{a}_i{U}_i$, $Y={\sum }_{i=1}^k{b}_i{U}_i$, where the $U_i$ are independent random vectors, each uniformly distributed on the unit sphere in ℝⁿ, and $a_i,b_i$ are real constants. We prove that if $b{²}_i$ is majorized by $a{²}_i$ in the sense of Hardy-Littlewood-Pólya, and if Φ: ℝⁿ → ℝ is continuous and bisubharmonic, then EΦ(X) ≤ EΦ(Y). Consequences include most of the known sharp $L²-L^p$ Khinchin inequalities for sums of the form X. For radial Φ, bisubharmonicity is necessary as well as sufficient for the majorization inequality to always hold. Counterparts...

Assume ||·|| is a norm on ℝⁿ and ||·||⁎ its dual. Consider the closed ball $T:=B_{\left|\right|·\left|\right|}(0,r)$, r > 0. Suppose φ is an Orlicz function and ψ its conjugate. We prove that for arbitrary A,B > 0 and for each Lipschitz function f on T, $su{p}_{s,t\in T}|f\left(s\right)-f\left(t\right)|\le 6AB({\int }_0^r\psi (1/A{\epsilon }^{n-1}){\epsilon }^{n-1}d\epsilon +1/\left(n\right|B_{\left|\right|·\left|\right|}(0,1)\left|\right){\int }_T\phi (1/B||\nabla f\left(u\right)\left|\right|⁎\left)du\right)$, where |·| is the Lebesgue measure on ℝⁿ. This is a strengthening of the Sobolev inequality obtained by M. Talagrand. We use this inequality to state, for a given concave, strictly increasing function η: ℝ₊ → ℝ with η(0) = 0, a necessary and sufficient condition on...

If $E=e_i$ and $F=f_i$ are two 1-unconditional basic sequences in L₁ with E r-concave and F p-convex, for some 1 ≤ r < p ≤ 2, then the space of matrices $a_{i,j}$ with norm $\left|\right|a_{i,j}{\left|\right|}_{E\left(F\right)}=\left|\right|{\sum }_k\left|\right|{\sum }_l{a}_{k,l}{f}_l\left|\right|e_k\left|\right|$ embeds into L₁. This generalizes a recent result of Prochno and Schütt.

We present several continuous embeddings of the critical Besov space $B_p^{n/p,\rho }\left(ℝⁿ\right)$. We first establish a Gagliardo-Nirenberg type estimate ${\left|\right|u\left|\right|}_{{Ḃ}_{q,w_r}^{0,\nu }}\le Cₙ{(1/(n-r))}^{1/q+1/\nu -1/\rho }{(q/r)}^{1/\nu -1/\rho }{\left|\right|u\left|\right|}_{{Ḃ}_p^{0,\rho }}^{(n-r)p/nq}{\left|\right|u\left|\right|}_{{Ḃ}_p^{n/p,\rho }}^{1-(n-r)p/nq}$, for 1 < p ≤ q < ∞, 1 ≤ ν < ρ ≤ ∞ and the weight function $w_r\left(x\right)=1/{\left(\right|x|}^r)$ with 0 < r < n. Next, we prove the corresponding Trudinger type estimate, and obtain it in terms of the embedding $B_p^{n/p,\rho }\left(ℝⁿ\right)\hookrightarrow B_{\Phi ₀,w_r}^{0,\nu }\left(ℝⁿ\right)$, where the function Φ₀ of the weighted Besov-Orlicz space $B_{\Phi ₀,w_r}^{0,\nu }\left(ℝⁿ\right)$ is a Young function of the exponential type. Another point of interest is to embed $B_p^{n/p,\rho }\left(ℝⁿ\right)$ into the weighted Besov...

We prove some results in the context of isoperimetric inequalities with quantitative terms. In the $2$-dimensional case, our main contribution is a method for determining the optimal coefficients $c_1,...,c_m$ in the inequality $\delta P\left(E\right)\ge {\sum }_{k=1}^m{c}_k\alpha {\left(E\right)}^k+o\left(\alpha {\left(E\right)}^m\right)$, valid for each Borel set $E$ with positive and finite area, with $\delta P\left(E\right)$ and $\alpha \left(E\right)$ being, respectively, the $\mathrm{𝑖𝑠𝑜𝑝𝑒𝑟𝑖𝑚𝑒𝑡𝑟𝑖𝑐𝑑𝑒𝑓𝑖𝑐𝑖𝑡}$ and the $\mathrm{𝐹𝑟𝑎𝑒𝑛𝑘𝑒𝑙𝑎𝑠𝑦𝑚𝑚𝑒𝑡𝑟𝑦}$ of $E$. In $n$ dimensions, besides proving existence and regularity properties of minimizers for a wide class of $\mathrm{𝑞𝑢𝑎𝑛𝑡𝑖𝑡𝑎𝑡𝑖𝑣𝑒𝑖𝑠𝑜𝑝𝑒𝑟𝑖𝑚𝑒𝑡𝑟𝑖𝑐𝑞𝑢𝑜𝑡𝑖𝑒𝑛𝑡𝑠}$ including the lower semicontinuous extension of $\frac{\delta P\left(E\right)}{\alpha {\left(E\right)}^2}$, we...

Let Φ be a concave function on (0,∞) of strictly critical lower type index $p_{\Phi }\in (0,1]$ and $\omega \in A_{\infty }^{loc}\left(ℝⁿ\right)$ (the class of local weights introduced by V. S. Rychkov). We introduce the weighted local Orlicz-Hardy space $h_{\omega }^{\Phi }\left(ℝⁿ\right)$ via the local grand maximal function. Let $\rho \left(t\right)\equiv t^{-1}/{\Phi }^{-1}\left(t^{-1}\right)$ for all t ∈ (0,∞). We also introduce the BMO-type space $bm{o}_{\rho ,\omega }\left(ℝⁿ\right)$ and establish the duality between $h_{\omega }^{\Phi }\left(ℝⁿ\right)$ and $bm{o}_{\rho ,\omega }\left(ℝⁿ\right)$. Characterizations of $h_{\omega }^{\Phi }\left(ℝⁿ\right)$, including the atomic characterization, the local vertical and the local nontangential maximal function characterizations, are...

The Rademacher sums are investigated in the Cesàro spaces $Ce{s}_p$ (1 ≤ p ≤ ∞) and in the weighted Korenblyum-Kreĭn-Levin spaces $K_{p,w}$ on [0,1]. They span l₂ space in $Ce{s}_p$ for any 1 ≤ p < ∞ and in $K_{p,w}$ if and only if the weight w is larger than $tlog{₂}^{p/2}(2/t)$ on (0,1). Moreover, the span of the Rademachers is not complemented in $Ce{s}_p$ for any 1 ≤ p < ∞ or in $K_{1,w}$ for any quasi-concave weight w. In the case when p > 1 and when w is such that the span of the Rademacher functions is isomorphic to l₂, this span is...

We prove trace inequalities of type $\left|\right|u^{\text{'}}{\left|\right|}_{L^2}^2+{\sum }_{j\in \mathbb{Z}}{k}_j|u\left(a_j\right){|}^2{\ge \lambda \left|\right|u\left|\right|}_{L^2}^2$ where $u\in H^1\left(ℝ\right)$, under suitable hypotheses on the sequences ${a_j}_{j\in \mathbb{Z}}$ and ${k_j}_{j\in \mathbb{Z}}$, with the first sequence increasing and the second bounded.

Let G be an infinite, compact abelian group and let Λ be a subset of its dual group Γ. We study the question which spaces of the form $C_{\Lambda }\left(G\right)$ or $L{¹}_{\Lambda }\left(G\right)$ and which quotients of the form $C\left(G\right)/C_{\Lambda }\left(G\right)$ or $L¹\left(G\right)/L{¹}_{\Lambda }\left(G\right)$ have the Daugavet property. We show that $C_{\Lambda }\left(G\right)$ is a rich subspace of C(G) if and only if $\Gamma \setminus {\Lambda }^{-1}$ is a semi-Riesz set. If $L{¹}_{\Lambda }\left(G\right)$ is a rich subspace of L¹(G), then $C_{\Lambda }\left(G\right)$ is a rich subspace of C(G) as well. Concerning quotients, we prove that $C\left(G\right)/C_{\Lambda }\left(G\right)$ has the Daugavet property if Λ is a Rosenthal set, and that $L{¹}_{\Lambda }\left(G\right)$ is a poor subspace of L¹(G)...

For n ∈ ℕ, L > 0, and p ≥ 1 let ${\kappa }_p(n,L)$ be the largest possible value of k for which there is a polynomial P ≢ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0\left|\ge L\right({\sum }_{j=1}^n|a_j{{|}^p)}^{1/p}$, $a_j\in ℂ$, such that ${(x-1)}^k$ divides P(x). For n ∈ ℕ, L > 0, and q ≥ 1 let ${\mu }_q(n,L)$ be the smallest value of k for which there is a polynomial Q of degree k with complex coefficients such that $\left|Q\left(0\right)\right|>1/L({\sum }_{j=1}^n{\left|Q\left(j\right)\right|}^q{)}^{1/q}$. We find the size of ${\kappa }_p(n,L)$ and ${\mu }_q(n,L)$ for all n ∈ ℕ, L > 0, and 1 ≤ p,q ≤ ∞. The result about ${\mu }_{\infty }(n,L)$ is due to Coppersmith and Rivlin, but our proof is completely different and much shorter even...

In this paper, we obtain existence results of periodic solutions of hamiltonian systems in the Orlicz-Sobolev space $W^1{L}^{\Phi }\left([0,T]\right)$. We employ the direct method of calculus of variations and we consider  a potential  function $F$ satisfying the inequality $\left|\nabla F(t,x)\right|\le b_1\left(t\right){\Phi }_0^{\text{'}}\left(\right|x\left|\right)+b_2\left(t\right)$, with $b_1,b_2\in L^1$ and  certain $N$-functions ${\Phi }_0$.

CONTENTSIntroduction................................................................................................................................... 5 Notations.......................................................................................................................... 5§ 1. Preliminaries........................................................................................................................ 6 1. Right invertible operators.....................................................................................................

Denote by spanf₁,f₂,... the collection of all finite linear combinations of the functions f₁,f₂,... over ℝ. The principal result of the paper is the following. Theorem (Full Clarkson-Erdős-Schwartz Theorem). Suppose ${\left({\lambda }_j\right)}_{j=1}^{\infty }$ is a sequence of distinct positive numbers. Then $span1,x^{\lambda ₁},x^{\lambda ₂},...$ is dense in C[0,1] if and only if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)=\infty$. Moreover, if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)<\infty$, then every function from the C[0,1] closure of $span1,x^{\lambda ₁},x^{\lambda ₂},...$ can be represented as an analytic function on z ∈ ℂ ∖ (-∞, 0]: |z| < 1 restricted to (0,1). This result improves an...

Let ${ℱ}_h^i(k,n)$ be the $i$-th ordered configuration space of all distinct points $H_1,...,H_h$ in the Grassmannian $Gr(k,n)$ of $k$-dimensional subspaces of ${ℂ}^n$, whose sum is a subspace of dimension $i$. We prove that ${ℱ}_h^i(k,n)$ is (when non empty) a complex submanifold of $Gr{(k,n)}^h$ of dimension $i(n-i)+hk(i-k)$ and its fundamental group is trivial if $i=min(n,hk)$, $hk\ne n$ and $n\&gt;2$ and equal to the braid group of the sphere $ℂ$ $P^1$ if $n=2$. Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k=n-1$.

The structure of the closed linear span of the Rademacher functions in the Cesàro space $Ce{s}_{\infty }$ is investigated. It is shown that every infinite-dimensional subspace of either is isomorphic to l₂ and uncomplemented in $Ce{s}_{\infty }$, or contains a subspace isomorphic to c₀ and complemented in . The situation is rather different in the p-convexification of $Ce{s}_{\infty }$ if 1 < p < ∞.

We study order convexity and concavity of quasi-Banach Lorentz spaces ${\Lambda }_{p,w}$, where 0 < p < ∞ and w is a locally integrable positive weight function. We show first that ${\Lambda }_{p,w}$ contains an order isomorphic copy of $l^p$. We then present complete criteria for lattice convexity and concavity as well as for upper and lower estimates for ${\Lambda }_{p,w}$. We conclude with a characterization of the type and cotype of ${\Lambda }_{p,w}$ in the case when ${\Lambda }_{p,w}$ is a normable space.

Geometric structure of Cesàro function spaces $Ce{s}_p\left(I\right)$, where I = [0,1] and [0,∞), is investigated. Among other matters we present a description of their dual spaces, characterize the sets of all q ∈ [1,∞] such that $Ce{s}_p[0,1]$ contains isomorphic and complemented copies of $l_q$-spaces, show that Cesàro function spaces fail the fixed point property, give a description of subspaces generated by Rademacher functions in spaces $Ce{s}_p[0,1]$.

Let $X$ be a zero-dimensional space and $C_c\left(X\right)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K\left(X\right)$ (resp., $C_c^{\psi }\left(X\right))$ the set of all functions in $C_c\left(X\right)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^K\left(X\right)=O_c^{{\beta }_{0}X\setminus X}$ (resp., $C_c^{\psi }\left(X\right)=M_c^{{\beta }_{0}X\setminus {\upsilon }_{0}X}$), where ${\beta }_{0}X$ is the Banaschewski compactification of $X$ and ${\upsilon }_{0}X$ is the $\mathbb{N}$-compactification of $X$. This implies that for an $\mathbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c\left(X\right)$ is equal to $C_c^K\left(X\right)$, i.e., $M_c^{{\beta }_{0}X\setminus X}=C_c^K\left(X\right)$. By applying...

It is shown that there is a subspace $Z_q$ of ${\ell }_q$ for $1<q<2$ which is isomorphic to ${\ell }_q$ such that ${\ell }_q/Z_q$ does not have the approximation property. On the other hand, for $2<p<\infty$ there is a subspace $Y_p$ of ${\ell }_p$ such that $Y_p$ does not have the approximation property (AP) but the quotient space ${\ell }_p/Y_p$ is isomorphic to ${\ell }_p$. The result is obtained by defining random “Enflo-Davie spaces” $Y_p$ which with full probability fail AP for all $2<p\le \infty$ and have AP for all $1\le p\le 2$. For $1<p\le 2$, $Y_p$ are isomorphic to ${\ell }_p$.

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.