Symmetric Bases and $\ell^p$ Embeddings in Musielak--Orlicz Sequence Spaces under $δ_2$

Abstract

We study isomorphic embeddings into Musielak-Orlicz sequence spaces \(\ell_Φ\), where the normalized generating sequence \(Φ=\{ϕ_n\}\) satisfies the \(δ_2\) condition. Using admissible normalized blocks, we construct an associated limiting family \(\mathcal C_{Φ,τ}\) of Orlicz functions. If a Banach space \(X\) with a symmetric basis embeds into \(\ell_Φ\), then there is a function \(ψ\in\mathcal C_{Φ,τ}\) such that the basis of \(X\) is equivalent to the canonical basis of \(\ell_ψ\). An Orlicz sequence space \(\ell_ψ\) embeds if and only if \(ψ\) is equivalent near zero to a member of \(\mathcal C_{Φ,τ}\); in particular, \(\ell^p\) embeds exactly when such a member is equivalent to \(t^p\). Assuming differentiability of the generators on a common interval near zero, we also derive the necessary bound \(p\leq b_{Φ,(c_n),δ}\), where the upper growth index incorporates the summable errors in the \(δ_2\) condition. The same index yields cotype \(q\) for every \(q\geq2\) with \(q>b_{Φ,(c_n),δ}\). Examples with nonuniform growth and lacunary weights illustrate this bound. For alternating Nakano exponents, the explicit limiting family gives a sharper restriction than the index alone. For general Nakano exponents, we recover the known exact cotype criterion, including attainment of the optimal exponent. For weighted Orlicz spaces, we express the cotype criterion through summable scalar errors and recover the formula using the global upper growth index when \(w\in\mathcal A\).