Our aim in this paper is to establish Trudinger’s inequality on Musielak-Orlicz-Morrey spaces $L^{\Phi ,\kappa }\left(G\right)$ under conditions on $\Phi$ which are essentially weaker than those considered in a former paper. As an application and example, we show Trudinger’s inequality for double phase functionals $\Phi (x,t)=t^{p\left(x\right)}+a\left(x\right)t^{q\left(x\right)}$, where $p(·)$ and $q(·)$ satisfy log-Hölder conditions and $a(·)$ is nonnegative, bounded and Hölder continuous.

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.

We prove that the associate space of a generalized Orlicz space $L^{\phi (·)}$ is given by the conjugate modular ${\phi }^{*}$ even without the assumption that simple functions belong to the space. Second, we show that every weakly doubling $\Phi$-function is equivalent to a doubling $\Phi$-function. As a consequence, we conclude that $L^{\phi (·)}$ is uniformly convex if $\phi$ and ${\phi }^{*}$ are weakly doubling.

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

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 ϕ: ℝ → ℝ₊ ∪ 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$.

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

We give some equivalent conditions (independent from the Young functions) for inclusions between some classes of $X^{\Phi }$ spaces, where $\Phi$ is a Young function and $X$ is a quasi-Banach function space on a $\sigma$-finite measure space $(\Omega ,𝒜,\mu )$.

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

Our aim is to establish Sobolev type inequalities for fractional maximal functions $M_{ℍ,\nu }f$ and Riesz potentials $I_{ℍ,\alpha }f$ in weighted Morrey spaces of variable exponent on the half space $ℍ$. We also obtain Sobolev type inequalities for a $C^1$ function on $ℍ$. As an application, we obtain Sobolev type inequality for double phase functionals with variable exponents $\Phi (x,t)=t^{p\left(x\right)}+{\left(b\left(x\right)t\right)}^{q\left(x\right)}$, where $p(·)$ and $q(·)$ satisfy log-Hölder conditions, $p\left(x\right)<q\left(x\right)$ for $x\in ℍ$, and $b(·)$ is nonnegative and Hölder continuous of order $\theta \in (0,1]$.

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.

We consider a double analytic family of fractional integrals $S_z^{\gamma ,\alpha }$ along the curve ${t\mapsto \left|t\right|}^{\alpha }$, introduced for α = 2 by L. Grafakos in 1993 and defined by $\left(S_z^{\gamma ,\alpha }f\right)(x₁,x₂):=1/\Gamma (z+1/2){\int \int |u-1|}^z\psi (u-1){f(x₁-t,x₂-u|t|}^{\alpha }{\left)du\right|t|}^{\gamma }dt/t$, where ψ is a bump function on ℝ supported near the origin, $f{\in }_c^{\infty }\left(ℝ²\right)$, z,γ ∈ ℂ, Re γ ≥ 0, α ∈ ℝ, α ≥ 2. We determine the set of all (1/p,1/q,Re z) such that $S_z^{\gamma ,\alpha }$ maps $L^p\left(ℝ²\right)$ to $L^q\left(ℝ²\right)$ boundedly. Our proof is based on product-type kernel arguments. More precisely, we prove that the kernel $K_{-1+i\theta }^{i\varrho ,\alpha }$ is a product kernel on ℝ², adapted to the curve ${t\mapsto \left|t\right|}^{\alpha }$; as a consequence, we show...

Given a compact manifold $N^n\subset {ℝ}^{\nu }$ and real numbers $s\ge 1$ and $1\le p\&lt;\infty$, we prove that the class $C^{\infty }({\overline{Q}}^m;N^n)$ of smooth maps on the cube with values into $N^n$ is strongly dense in the fractional Sobolev space $W^{s,p}(Q^m;N^n)$ when $N^n$ is $\lfloor sp\rfloor$ simply connected. For $sp$ integer, we prove weak sequential density of $C^{\infty }({\overline{Q}}^m;N^n)$ when $N^n$ is $sp-1$ simply connected. The proofs are based on the existence of a retraction of ${ℝ}^{\nu }$ onto $N^n$ except for a small subset of $N^n$ and on a pointwise estimate of fractional derivatives of composition of maps in $W^{s,p}\cap W^{1,sp}$.

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X,d,\mu )$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B(x,r)$ converge to $f\left(x\right)$ when $r$ converges to $0$. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

Let ⟨X,Y⟩ be a duality pair of M-spaces X,Y of measurable functions from Ω ⊂ ℝ ⁿ into ${ℝ}^d$. The paper deals with Y-weak cluster points ϕ̅ of the sequence $\varphi (·,z_j\left(·\right))$ in X, where $z_j:\Omega \to {ℝ}^m$ is measurable for j ∈ ℕ and $\varphi :\Omega \times {ℝ}^m\to {ℝ}^d$ is a Carathéodory function. We obtain general sufficient conditions, under which, for some negligible set $A_{\varphi }$, the integral $I(\varphi ,{\nu }_x):={\int }_{{ℝ}^m}\varphi (x,\lambda )d{\nu }_x\left(\lambda \right)$ exists for $x\in \Omega \setminus A_{\varphi }$ and $\varphi ̅\left(x\right)=I(\varphi ,{\nu }_x)$ on $\Omega \setminus A_{\varphi }$, where $\nu ={{\nu }_x}_{x\in \Omega }$ is a measurable-dependent family of Radon probability measures on ${ℝ}^m$.

Let $(X,d,\mu )$ be a metric measure space endowed with a distance $d$ and a nonnegative Borel doubling measure $\mu$. Let $L$ be a non-negative self-adjoint operator of order $m$ on $L^2\left(X\right)$. Assume that the semigroup ${\mathrm{e}}^{-tL}$ generated by $L$ satisfies the Davies-Gaffney estimate of order $m$ and $L$ satisfies the Plancherel type estimate. Let $H_L^p\left(X\right)$ be the Hardy space associated with $L.$ We show the boundedness of Stein’s square function ${𝒢}_{\delta }\left(L\right)$ arising from Bochner-Riesz means associated to $L$ from Hardy spaces $H_L^p\left(X\right)$ to $L^p\left(X\right)$, and also study...

Let n be a nonnegative integer and let u ∈ (n,n+1]. We say that f is u-times Peano bounded in the approximate (resp. $L^p$, 1 ≤ p ≤ ∞) sense at $x\in {ℝ}^m$ if there are numbers $f_{\alpha }\left(x\right)$, |α| ≤ n, such that $f(x+h)-{\sum }_{\left|\alpha \right|\le n}{f}_{\alpha }\left(x\right)h^{\alpha }/\alpha !$ is $O\left(h^u\right)$ in the approximate (resp. $L^p$) sense as h → 0. Suppose f is u-times Peano bounded in either the approximate or $L^p$ sense at each point of a bounded measurable set E. Then for every ε > 0 there is a perfect set Π ⊂ E and a smooth function g such that the Lebesgue measure of E∖Π is less than ε and...