Families of Young Functions and Limits of Orlicz Norms

Abstract: Given a $\sigma$-finite measure space $(X,\mu)$, a Young function $\Phi$, and a one-parameter family of Young functions $\{\Psi_q\}$, we find necessary and sufficient conditions for the associated Orlicz norms of any function $f\in L^\Phi(X,\mu)$ to satisfy \[\lim_{q\rightarrow \infty}\|f\|_{L^{\Psi_q}(X,\mu)}=C\|f\|_{L^\infty(X,\mu)}. \] The constant $C$ is independent of $f$ and depends only on the family $\{\Psi_q\}$. Several examples of one-parameter families of Young functions satisfying our conditions are given, along with counterexamples when our conditions fail.

\section{Introduction}

Let \((X,\mu)\) be a measure space. A well-known result in classical analysis, see  \cite{royden} and \cite{rudin}, is that if \(f:X\rightarrow\mathbb{R}\) is a \(\mu\)-measurable function such that \(f\in L^r(X,\mu)\) for some \(r\geq 1\), then
\begin{equation}\label{basic}
    \lim_{p\rightarrow\infty}\|f\|_{L^p(X,\mu)}= \|f\|_{L^\infty(X,\mu)}.
\end{equation}
In \cite{DCU-SR21}, the authors investigated a similar limiting property of Orlicz norms associated with a one-parameter family of Young functions \(\{\Psi_q\}\) defined by setting \(\Psi_q(t)=t^p\log(e-1+t)^q\), where \(p\geq 1\) is fixed and and \(q\) can be any positive real number. They showed that if $f$ belongs to the Orlicz space $L^{\Psi_{q_0}}(X,\mu)$ for some $q_0>0$, then
\[
    \lim_{q\rightarrow\infty}\|f\|_{L^{\Psi_q}(X,\mu)}=\|f\|_{L^\infty(X,\mu)},
\]
where \(\|f\|_{L^{\Psi_q}(X,\mu)}\) denotes the Luxembourg norm of \(f\) in \(L^{\Psi_q}(X,\mu)\). Explicitly, it is given by
\[
    \|f\|_{L^{\Psi_q}(X,\mu)}=\inf\bigg\{\lambda>0:\int_\Omega\Psi_q\bigg(\frac{|f(x)|}{\lambda}\bigg)~d\mu\leq1\bigg\}.
\]

In this work we generalize these results to families of Young functions that satisfy the simple Condition \ref{a-admissible}, which we call \emph{\(\delta\)-admissibility}. As was the case in \cite{DCU-SR21}, our efforts in this work were motivated by an application in partial differential equations. Specifically, we sought to employ a Moser iterative scheme to find \textit{a priori} bounds for weak solutions to Dirichlet problems associated with the Poisson equation. The desired bounds were ultimately achieved using other techniques -- see \cite{DCU-SR20}, for instance. Nevertheless, the limit result we present in this work may yet be employed to study other problems, and more interestingly, it illustrates an unexpected relationship between Orlicz spaces over \((X,\mu)\) and the space \(L^\infty(X,\mu)\).

Through modification of the proof of \cite[Theorem 1]{DCU-SR21}, we provide a general result for a large class of one-parameter families of Young functions. To state our result effectively, we begin by outlining our notion of  \(\delta\)-admissibility.

\begin{cond}\label{a-admissible} Given \(\delta>0\), a one-parameter family of Young functions \(\{\Psi_q(t)\}_{q>0}\) is said to be \(\delta\)-admissible if \(\displaystyle\lim_{q\rightarrow\infty} \Psi_q(t) = 0\) for \(0<t<\delta\) and \(\displaystyle\lim_{q\rightarrow\infty} \Psi_q(t) = \infty\) for \(t>\delta\).
\end{cond}

Perhaps the simplest \(\delta\)-admissible family of Young functions is the \(1\)-admissible collection given by taking \(\Psi_q(t)=t^q\) for \(q\geq1\). We also note that a sufficient condition for \(\delta\)-admissibility to hold is that \(\Psi_q(\delta)\) be independent of \(q\) and that \(\Psi_q'(\delta)\rightarrow\infty\) as \(q\rightarrow\infty\). Some more interesting examples of \(\delta\)-admissible families are given momentarily. First though, we present the main result of this work along with the simplified Corollary \ref{maincor}.

\begin{thm}\label{main} Let  $(X,\mu)$ be a measure space and let \(\{\Psi_q\}\) be a \(\delta\)-admissible family for some \(\delta>0\). Assume that \(f\in L^\Phi(X,\mu)\), where \(\Phi\) is any Young function for which
\begin{equation}\label{phicond}
    \frac{t}{\Psi_q^{-1}(\Phi(t))}
\end{equation}
is non-decreasing for \(t\geq 0\) whenever \(q\) is large. Then the following identity holds:
\begin{equation}\label{infty:1}
    \lim_{q\rightarrow \infty} \|f\|_{L^{\Psi_q}(X,\mu)} =\frac{1}{\delta}\|f\|_{L^\infty(X,\mu)}.
    \end{equation}
\end{thm}

Often it is difficult to find closed form inverses of a given Young function, or to recover the closed form of a Young function from its inverse. To make verification of the growth of \eqref{phicond} easier for given examples of \(\Phi\) and \(\Psi_q\), we remark that \eqref{phicond} is non-decreasing exactly when either of the following functions is non-decreasing for \(t\geq 0\),
\[
    \frac{\Phi^{-1}(t)}{\Psi_q^{-1}(t)}\qquad\mathrm{or}\qquad\frac{\Phi^{-1}(\Psi_q(t))}{t}.
\]
So, to check that the conditions of Theorem \ref{main} hold for an explicit Young function \(\Phi\) and a family \(\{\Psi_q\}\), it suffices to compute the inverse of either \(\Phi\), or \(\Psi_q\) for each $q$. Alternatively, if the Young function \(\Phi\) is doubling (so that there exists a constant \(c_d\) such that \(\Phi(2t)\leq c_d\Phi(t)\) whenever \(t\geq0\)), a simpler sufficient condition for \eqref{phicond} to be non-decreasing, which does not involve computing inverses, is afforded by Proposition \ref{doublingworks}.

In the Lebesgue space setting (when $\Psi_q(t) = t^q$ and $\Phi(t) = t^r$ for some $r\geq 1$), the ratio in  \eqref{phicond} is non-decreasing whenever $q\geq r$.   In general, our condition ensures that \(f\) belongs to an Orlicz space which is on the scale of growth over which we take our limit. For instance, if \(\Phi(t)=t^r\) and \(\Psi_q(t)=t^p\log(e-1+t)^q\) for fixed \(r,p\geq 1\) then
\[
    \frac{\Phi^{-1}(\Psi_q(t))}{t}=\frac{t^\frac{p}{r}\log(e-1+t)^\frac{q}{r}}{t}
\]
fails our growth condition when \(r>p\), and satisfies it for \(r\leq p\), regardless of the value of $q>0$. Since \(\Psi_q\) is a Young function for each \(q\) by hypothesis, \(\Psi_q^{-1}(t)\) is always a strictly increasing concave function. Hence by taking \(\Phi(t)=t\) in Theorem \ref{main} we obtain the following simplified form involving no growth conditions.

\begin{cor}\label{maincor} Let  $(X,\mu)$ be a measure space. Fix \(\delta>0\) and let \(\{\Psi_q\}\) be a \(\delta\)-admissible family of Young functions. Given any $f\in L^1(X,\mu)$, identity \eqref{infty:1} holds for \(f\).
\end{cor}

Given $p\geq 1$, the log-bump Young functions \(\Psi_q(t)=t^p\log(e-1+t)^q\) defined for \(q>0\) form a \(1\)-admissible family, meaning that the limit result in \cite[Theorem 1]{DCU-SR21} follows as a special case of our Theorem \ref{main}. It is worth noting that the authors of \cite{DCU-SR21} assume that \(f\in L^{\Psi_{q_0}}(X,\mu)\) for some \(q_0\), whereas in our result this condition is subsumed by the requirement that \eqref{phicond} be non-decreasing. To see this, we note that \(\Psi_q^{-1}(t)\simeq t^\frac{1}{p}\log(e-1+t)^{-\frac{q}{p}}\), meaning that by taking \(\Phi(t)=\Psi_{q_0}(t)\) for some \(q_0\) we get
\begin{equation}\label{invcalc}
    \frac{\Phi^{-1}(t)}{\Psi_q^{-1}(t)}\simeq \frac{t^\frac{1}{p}\log(e-1+t)^{-\frac{q_0}{p}}}{t^\frac{1}{p}\log(e-1+t)^{-\frac{q}{p}}}=\log(e-1+t)^\frac{q-q_0}{p},
\end{equation}
which is non-decreasing for \(q>q_0\). Hence \eqref{phicond} is non-decreasing in the special case of \cite[Theorem 1]{DCU-SR21}. The proof of this result relies heavily on the properties of the logarithm -- we manage to avoid much of the technicality this involves by using Condition \ref{a-admissible}, together with the generic properties of Young functions that are discussed in \Cref{Prelims}.

For the remainder of this section, we discuss some examples of families of Young functions that satisfy Condition \ref{a-admissible}. As noted, \Cref{Prelims} is devoted to preliminary results that we require to establish the main result. Then, \Cref{proof} is devoted to a proof of said result, Theorem \ref{main}. Finally, in \Cref{counters} we show that \eqref{infty:1} can fail when \(\delta\)-admissibility is lost.

Examples of \(\delta\)-admissible families of Young functions abound, and they are easy to construct. Aside from the log-bumps treated in \cite{DCU-SR21}, another \(1\)-admissible family is afforded by the Young functions \(\Psi_q(t)=t^q\), and applying Theorem \ref{main} with this family gives \eqref{basic}. Further, given \(p,N\geq 1\) we can consider a family of \(N^\mathrm{th}\)-order log-bumps defined by taking
\[
    \Psi_{q}(t) = t^p\log\cdots\log(c +t)^q,
\]
where the logarithm is composed \(N\) times and the constant \(c\) is chosen independently of \(q\) so that \(\Psi_q(1)=1\). This family is \(1\)-admissible and, using that
$$\Psi_q^{-1}\simeq t^\frac{1}{p} \log\cdots\log(c+t)^{-\frac{q}{p}},$$
it is easy to see that \eqref{phicond} holds for $\Phi(t) = \Psi_{q_0}(t)$ for some $q_0>0$.  Thus, Theorem \ref{main} applies to the Orlicz norms characterized by the $N^\mathrm{th}$ order log-bumps and \eqref{infty:1} holds for any $f\in L^1(X,\mu)$.

We emphasize that in the example just mentioned, the convergence of the Orlicz norms \(\|f\|_{L^{\Psi_q}(X,\mu)}\) to \(\|f\|_{L^\infty(X,\mu)}\) is independent of \(p\), and for identity \eqref{infty:1} to hold when \(\{\Psi_q\}\) is a family of iterated log-bumps, it is not necessary to assume that \(f\in L^{p+\epsilon}(X,\mu)\) for any \(\epsilon>0\). In a sense, our limits approach \(L^\infty(X,\mu)\) on Orlicz scale and they skip higher-order Lebesgue spaces -- contrast this with \eqref{basic}, where the limit passes through \(L^p\) scale. This distinction is significant when \(\mu(X)=\infty\).

In light of the preceding example, we also point out that for any fixed Young function \(\Phi\), one can obtain a \(1\)-admissible family using an \(N^\mathrm{th}\)-order iterated log-bump by defining
\[
    \Psi_q(t)=\Phi(t)\underbrace{\log\cdots\log}_{N\;\mathrm{times}}(c+t)^q,
\]
where \(c\) is chosen so that \(\Psi_q(1)=1\) for all \(q\). Indeed, the iterated log-bumps of the form
\begin{align}\label{addie}
    \Psi_q(t)=\bigg(t\prod_{j=1}^N\underbrace{\log\cdots\log}_{j\;\mathrm{times}}(c_j+t)\bigg)^p\underbrace{\log\cdots\log}_{N\;\mathrm{times}}(c_j+t)^q
\end{align}
are of this type for \(p\geq1\), provided that the constants \(c_1,\dots,c_N\) are chosen independently of \(q\) so that the value of \(\Psi_q(\delta)\) is independent of \(q\) for some \(\delta>0\). Once again Theorem \ref{main} applies to this family, which can arise when employing the technique of De Giorgi iteration in partial differential equations. One can also modify the technique of \cite{DCU-SR21} to obtain a version of Theorem \ref{main} for these iterated log-bumps, and we note that a virtually identical calculation to \eqref{invcalc} shows that \eqref{phicond} is non-decreasing when \(\Phi=\Psi_{q_0}\) and \(q>q_0\).  We also note similar techniques to those in \cite{DCU-SR21} are used to  extend the main result of \cite{DCU-SR21} for the iterated log-bumps  \eqref{addie} in \cite{addie}.

Other $\delta$-admissible families of interest include those constructed from exponential log-bumps of the form $\Psi_q(t) =t( e^{\log(1+t)^q}-1)$ for $q>0$, and thereor from other types of log-bumps like $\Psi_q(t) = t\log(e-1+t)\log\log\log(e^{e^e}-1+t)^q$ for $q>0$. The interested reader is encouraged to construct their own examples of \(\delta\)-admissible families.

\section{Preliminaries}\label{Prelims}

This section contains a brief introduction to Young functions and Orlicz spaces -- for a more complete treatment, the reader is referred to \cite{rao-ren91}. A function \(\psi: [0,\infty)\rightarrow [0,\infty)\) is said to be a density if it is right continuous, increasing, and satisfies \(\psi(0)=0\) and \(\psi(t) \rightarrow\infty\) as \(t\rightarrow\infty\).  Given a density \(\psi\), the associated Young function \(\Psi:[0,\infty)\rightarrow [0,\infty)\) is defined by
\[
    \Psi(t) = \int_0^t \psi(s)ds
\]
For our purposes, the important functional properties of \(\Psi\) are that it is continuous, strictly increasing,  and convex on \((0,\infty)\). Moreover, it is clear that \(\Psi(0)=0\) and \(\displaystyle\lim_{t\rightarrow\infty}\Psi(t)=\infty\).

Given a Young function \(\Psi\) and a measure space \((X,\mu)\), the Orlicz space \(L^\Psi(X,\mu)\) is defined as the space of \(\mu\)-measurable functions \(f:X\rightarrow\mathbb{R}\) for which the Luxembourg norm
\[
    \|f\|_{L^{\Psi}(X,\mu)} = \inf\bigg\{\lambda>0: \int_X \Psi\left( \frac{|f(x)|}{\lambda}\right)d\mu \leq 1\bigg\}
\]
is finite. Equipped with this norm, \(L^\Psi(X,\mu)\) is a Banach space -- we leave these details to the interested reader. The Orlicz classes generalize the classical \(L^p\) spaces, and are useful since they provide a finer scale of norms. To illustrate this, we note that if \(p\geq 1\), \(\mu(X)<\infty\), and \(\Psi_q(t)=t^p(1+\log(1+t))^q\) for \(q>0\), then for any \(\epsilon>0\) we have
\[
    L^{p+\epsilon}(X,\mu)\subsetneq L^{\Psi_q}(X,\mu)\subsetneq L^p(X,\mu).
\]
\begin{rem}
It is easy to verify that \(L^p(X,\mu)= L^\Psi(X,\mu)\) when \(\Psi(t)=t^p\), and \(\|\cdot\|_{(L^p(X,\mu)}=\|\cdot\|_{L^\Psi(X,\mu)}\).
\end{rem}

Next, we establish some useful properties of the Luxembourg norm that will be employed in the sections to follow, beginning with a version of Markov's inequality on the Orlicz scale. Henceforth we use the notation \(\chi_S\) to denote the indicator function of a set \(S\subseteq X\).

\begin{thm}[Markov's Inequality]\label{markymark}
For any \(\alpha\geq0\), any \(\mu\)-measurable function \(f:X\rightarrow\mathbb{R}\), and any Young function \(\Psi\), the following inequality holds:
\begin{equation}\label{MarkovOrlicz}
    \alpha\Psi^{-1}(\mu(\{x\in X:|f(x)|\geq\alpha\})^{-1})^{-1}\leq\|f\|_\Psi.
\end{equation}
\end{thm}

\begin{proof}
First we establish a simpler form of \eqref{MarkovOrlicz} in the norm of \(L^1(X,\mu)\). Fix \(\alpha>0\) and define \(f_\alpha=\alpha\chi_{\{|f|\geq\alpha\}}\) so that \(f_\alpha\leq |f(x)|\) and we have
\[
    \mu(\{x\in X:|f(x)|\geq\alpha\})=\frac{1}{\alpha}\int_Xf_\alpha(x)d\mu\leq\frac{1}{\alpha}\int_X|f(x)|d\mu=\frac{1}{\alpha}\|f\|_{L^1(X,\mu)}.
\]
Next we replace \(\alpha\) with \(\beta=\alpha/\|f\|_\Psi\). Using that \(\Psi\) is strictly increasing, it follows from the inequality above and the definition of the Luxembourg norm that
\[
\begin{split}
    \mu(\{x\in X:|f(x)|\geq\beta\|f\|_\Psi\})&=\mu\bigg(\bigg\{x\in X:\Psi\bigg(\frac{|f(x)|}{\|f\|_\Psi}\bigg)\geq\Psi(\beta)\bigg\}\bigg)\\
    &\leq\frac{1}{\Psi(\beta)}\int_X\Psi\bigg(\frac{|f|}{\|f\|_\Psi}\bigg)d\mu\leq\frac{1}{\Psi(\beta)}.
\end{split}
\]
Since \(\Psi^{-1}\) is also increasing, we get \(\Psi^{-1}(\mu(\{x\in X:|f|\geq\alpha\})^{-1})^{-1}\leq\beta\) as claimed.
\end{proof}

Equipped with this result, we can compute the Orlicz norms of indicator functions exactly.

\begin{cor}\label{chars}
Let \(S\) be a measurable subset of \(X\). Then \(\|\chi_S\|_\Psi=\Psi^{-1}(\mu(S)^{-1})^{-1}.\)
\end{cor}

\begin{proof}
That \(\Psi^{-1}(\mu(S)^{-1})^{-1}\leq \|\chi_S\|_\Psi\) follows from Markov's inequality. For the converse inequality, observe that
\[
    \int_{X}\Psi\bigg(\frac{\chi_S}{\Psi^{-1}(\mu(S)^{-1})^{-1}}\bigg)d\mu=\int_S\Psi\bigg(\frac{1}{\Psi^{-1}(\mu(S)^{-1})^{-1}}\bigg)d\mu=\int_S\frac{1}{\mu(S)}d\mu=1.
\]
By definition of the Luxembourg norm, this implies that \(\|\chi_S\|_\Psi\leq\Psi^{-1}(\mu(S)^{-1})^{-1}\).
\end{proof}

In this paper we work with limits of Orlicz norms that are characterized by a one-paramter family  of Young functions. Subject to appropriate growth conditions, these families have useful pointwise properties which we exploit in the ensuing section. Our main condition on these families is the following generalization of Condition \ref{a-admissible}.

\begin{cond}\label{ab-admissible} Given non-negative numbers \(\alpha\leq\beta\), a family of Young functions \(\{\Psi_q\}\) is said to be \((\alpha,\beta)\)-admissible if \(\displaystyle\lim_{q\rightarrow\infty} \Psi_q(t) = 0\) for \(t<\alpha\) and \(\displaystyle\lim_{q\rightarrow\infty} \Psi_q(t) = \infty\) for \(t>\beta\).
\end{cond}

\begin{pro}\label{ab-prop}
Let \(\{\Psi_q\}\) be an \((\alpha,\beta)\)-admissible family. Then for every \(t>0\) we have
\begin{equation}\label{ab-est}
    \alpha\leq \liminf_{q\rightarrow\infty}\Psi_q^{-1}(t)~\mathrm{ and }~ \limsup_{q\rightarrow\infty}\Psi_q^{-1}(t)\leq \beta.
\end{equation}
\end{pro}

\begin{proof}
Given a positive number \(\epsilon<\alpha\), fix \(t>0\) and assume toward a contradiction that \(\Psi_q^{-1}(t)\leq \alpha-\epsilon\) for all large \(q\). Since each \(\Psi_q\) is a Young function it is increasing, meaning that \(t\leq \Psi_q(\alpha-\epsilon)\). Taking a liminf in \(q\), Condition \ref{ab-admissible} gives \(0<t=0\). Therefore
\[
\alpha-\epsilon<\displaystyle\liminf_{q\rightarrow\infty}\Psi_q^{-1}(t),
\]
and since \(\epsilon>0\) was arbitrary we get the first inequality in \eqref{ab-est}. The estimate for \(\beta\) follows in a similar fashion.
\end{proof}

If \(\alpha=\beta=\delta\), condition \eqref{ab-admissible} is the same as \(\delta\)-admissibility.  More, the proof of Proposition \ref{ab-est} establishes the existence of the limit $\displaystyle\lim_{q\rightarrow\infty} \Psi^{-1}_q(t)$ for each $t>0$ and that $\displaystyle\lim_{q\rightarrow\infty} \Psi^{-1}_q(t)=\delta$.  This reasoning proves the following Corollary.

\begin{cor}\label{invlim}
Let \(\{\Psi_q\}\) be \(\delta\)-admissible. Then for every \(t>0\) we have \(\displaystyle\lim_{q\rightarrow\infty}\Psi_q^{-1}(t)=\delta\).
\end{cor}

Finally, we establish a much simpler sufficient condition for the growth hypotheses of Theorem \ref{main} to hold. The following proposition is particularly useful when working with Young functions that are difficult to invert.

\begin{pro}\label{doublingworks}
Assume that \(\Phi(t)\) is a doubling Young function, i.e. there exists a constant \(c_d\) such that \(\Phi(2t)\leq c_d\Phi(t)\) for every \(t\geq 0\). If for \(q\) sufficiently large the inequality
\begin{equation}\label{doublingcond}
    c_d\leq 1+\frac{t\Psi_q'(t)}{\Psi_q(t)}
\end{equation}
holds for \(t> 0\), then \eqref{phicond} is non-decreasing.
\end{pro}

\begin{rem}
We stress that when working with explicit examples, it may be possible to show that \eqref{phicond} is non-decreasing without using the doubling property even without computing inverse Young functions.
\end{rem}

\begin{proof}
It suffices to show that the derivative of \eqref{phicond} is non-negative for \(t>0\), and a simple calculation show that this is true exactly when
\begin{equation}\label{suffices}
     \Phi^{-1}(\Psi_q(t))\Phi'(\Phi^{-1}(\Psi_q(t)))\leq t\Psi_q'(t).
\end{equation}
Suppose now that  \(\Phi\) is doubling with doubling constant \(c_d\). Then, for every \(s\geq0\) the Mean-Value Theorem gives
\[
    s\Phi'(s)\leq\Phi(2s)-\Phi(s)\leq (c_d-1)\Phi(s).
\]
Setting $s=\Phi^{-1}\left(\Psi_q(t)\right)$, It follows that $$\Phi^{-1}(\Psi_q(t)))\Phi'(\Phi^{-1}(\Psi_q(t)))\leq (c_d-1)\Psi_q(t).$$ As a result, for \eqref{suffices} to hold, and hence \eqref{phicond} to be non-decreasing, it is enough to have \((c_d-1)\Psi_q(t)\leq t\Psi'_q(t)\) for all \(t>0\). Rearranging this inequality gives \eqref{doublingcond}.
\end{proof}

To consider an interesting example, if we take \(\Phi\) to be a log bump \(\Phi(t)=t^p\log(e-1+t)^{q_0}\) for \(p\geq1\) and \(q_0>0\), then it is easy to verify that \(\Phi\) is doubling with constant \(c_d<2^{p+q_0}\).  In fact,  \(c_d=2^p\gamma^{q_0}\), where \(\gamma<2\) is the maximum of \(\log(e-1+2t)/\log(e-1+t)\). If we also take \(\Psi_q\) to be the exponential log-bump \(\Psi_q(t)=t[\exp(\log(1+t)^q)-1]\), then
\[
    \lim_{q\rightarrow\infty}\frac{t\Psi_q'(t)}{\Psi_q(t)}=\infty
\]
pointwise for each \(t\geq0\). Hence for \(q\) sufficiently large, the function \eqref{phicond} is non-decreasing for these Young functions. Using \(\Phi\) and the \((e-1)\)-admissible family \(\{\Psi_q\}\) described above then, Theorem \ref{main} applies to give \eqref{infty:1} for any \(f\in L^\Phi(X,\mu)\).

\section{Proof of Theorem \ref{main}}\label{proof}

Every Orlicz norm used in this section is defined with respect to the measure space \((X,\mu)\), so for brevity we write \(\|\cdot\|_{L^\Psi(X,\mu)}=\|\cdot\|_\Psi\) and $\|\cdot\|_{L^\infty(X,\mu)}=\|\cdot \|_\infty$. Fix \(\delta>0\) and suppose that \(\{\Psi_q\}\) is a \(\delta\)-admissible family of Young functions. The result is trivial if \(f\equiv 0\) and we will treat the case of unbounded \(f\) separately.  We begin by assuming that \(\|f\|_\infty<\infty\) and note that it enough to prove \eqref{infty:1} when \(\|f\|_\Phi=1\). Since \(t/\Psi_q^{-1}(\Phi(t))\) is non-decreasing by hypothesis for \(q\) sufficiently large, we have
\begin{equation}\label{proof:1}
    \| f\|_{\Psi_q}=\left\| \Psi_q^{-1}(\Phi(|f|))\frac{|f|}{\Psi_q^{-1}(\Phi(|f|))}\right\|_{\Psi_q}
    \leq \left\| \Psi_q^{-1}(\Phi(|f|))\right\|_{\Psi_q}\frac{\|f\|_\infty}{\Psi_q^{-1}(\Phi(\|f\|_\infty))}.
\end{equation}
Additionally, the following inequality implies that \(\| \Psi_q^{-1}(\Phi(|f|))\|_{\Psi_q}\leq 1\) by definition of the Luxembourg norm:
\[
    \int_\Omega \Psi_q\left(\Psi_q^{-1}\left(\Phi(|f(x)|)\right)\right)d\mu=\int_\Omega\Phi(|f|)d\mu\leq1.
\]
Using this estimate in \eqref{proof:1}, we find from Corollary \ref{invlim} that
\[
    \limsup_{q\rightarrow\infty}\|f\|_{\Psi_q}\leq\|f\|_\infty\lim_{q\rightarrow\infty}\Psi_q^{-1}(\Phi(\|f\|_\infty))^{-1}=\frac{\|f\|_\infty}{\delta}.
\]

Next suppose that $\epsilon<\|f\|_\infty$ and let \(S=\{x\in\Omega:|f(x)|\geq \|f\|_\infty-\epsilon\}\). From the definition of the essential supremum and Markov's inequality, we have \(0<\mu(S)\leq \Phi((\|f\|_\infty-\epsilon)^{-1})\), meaning that \(\mu(S)\) is finite and nonzero. Moreover, Markov's inequality with $\alpha = \|f\|_\infty-\epsilon$ also implies that
\[
    (\|f\|_\infty-\epsilon)\Psi_q^{-1}(\mu(S)^{-1})^{-1}\leq \|f\|_{\Psi_q}.
\]
From Proposition \ref{invlim} it follows that \(\Psi_q^{-1}(\mu(S)^{-1})^{-1}\rightarrow\frac{1}{\delta}\) as \(q\rightarrow\infty\). This in turn shows that
\[
    \frac{\|f\|_\infty-\epsilon}{\delta}\leq \displaystyle\liminf_{q\rightarrow\infty}\|f\|_{\Psi_q}.
\]
Since we may choose $\epsilon>0$ as small as we like, we find \(\displaystyle\frac{1}{\delta}\|f\|_\infty\leq \displaystyle\liminf_{q\rightarrow\infty}\|f\|_{\Psi_q}\).  We conclude that $\displaystyle\lim_{q\rightarrow\infty} \|f\|_{\Psi_q}$ exists and that \eqref{infty:1} holds.  \\

Finally, if it is the case that $\|f\|_\infty = \infty$, choose $N>1$ and set $f_N = \min(|f|,N)$.  Then, $\|f_N\|_\infty=N$ and our work shows
$$\liminf_{q\rightarrow \infty} \|f\|_{\Psi_q} \geq \liminf_{q\rightarrow \infty} \|f_N\|_{\Psi_q}\geq \frac{1}{\delta}\|f\|_\infty = \frac{N}{\delta}. $$
Letting \(N\rightarrow\infty\) shows that \(\displaystyle\liminf_{q\rightarrow \infty} \|f\|_{\Psi_q}=\infty\).
\hfill\(\Box\)

\begin{rem}
If we use the more general Condition \ref{ab-admissible} in place of Condition \ref{a-admissible} in Theorem \ref{main}, simple modifications of the proof above show that one has the estimates
\[
    \frac{1}{\beta}\|f\|_\infty\leq \liminf_{q\rightarrow\infty}\|f\|_{\Psi_q} ~\mathrm{ and }~ \limsup_{q\rightarrow\infty}\|f\|_{\Psi_q}\leq \frac{1}{\alpha}\|f\|_\infty
\]
where it may be the case that $\displaystyle \lim_{q\rightarrow \infty}\| f\|_{\Psi_q}$ may not exist.
\end{rem}

\section{Sharpness of $\delta$-Admissibility}\label{counters}

In this section we present a counterexample to Theorem \ref{main} when $\delta$-admissibility fails demonstrating the sharpness of our condition. Let \((X,\mu)\) be a measure space, and assume there exists a \(\mu\)-measurable set \(S\subseteq X\) with \(0<\mu(S)<\infty\). Set $f=\chi_S$, fix $p\geq 1$ and let $q>0$. We consider the family of single log-bump Young functions \(\{\Psi_q\}\) defined by \(\Psi_q(t) = t^p\log(e+t)^q\). This family is not $\delta$-admissible for any $\delta>0$ since  \(\Psi_q(t)\rightarrow\infty\) as \(q\rightarrow\infty\) for each \(t>0\).  It is important to also note that $\{\Psi_q\}$ does satisfies our growth condition \eqref{phicond} whenever $\Phi(t) = \Psi_{q_0}(t)$ for some $q_0>0$.

Clearly \(\|f\|_{L^\infty(X,\mu)}=1\), and by Corollary \ref{chars} we also have \(\|f\|_{L^{\Psi_q}(X,\mu)}=\Psi_q^{-1}(\mu(S)^{-1})^{-1}\).  Arguing as in the proof of Proposition \ref{ab-prop}, we conclude that \(\Psi_q^{-1}(t)\rightarrow 0\) as \(q\rightarrow\infty\) for each positive \(t\). Consequently,
\begin{align}\label{diverge}
    \liminf_{q\rightarrow\infty}\|f\|_{L^{\Psi_q}(X,\mu)}=\liminf_{q\rightarrow\infty}\frac{1}{\Psi_q^{-1}(\mu(S)^{-1})}=\infty.
\end{align}
Hence \eqref{infty:1} can fail spectacularly when \(\delta\)-admissibility is lost.

Indeed, Corollary \ref{maincor} fails if \(\{\Psi_q\}\) is any family such that \(\Psi_q(t)\rightarrow\infty\) as \(q\rightarrow\infty\) for every \(t>0\). To see this, notice that if \(f\in L^1(X,\mu)\cap L^\infty(X,\mu)\) is non-zero on a set of positive $\mu$-measure, then \(\|f\|_{L^\infty(X,\mu)}>0\) and
$$0<\mu\left(\bigg\{x\in X:|f(x)|\geq\frac{1}{2}\|f\|_{L^\infty(X,\mu)}\bigg\}\right)<\infty.$$   Applying Theorem \ref{markymark} we find
\[
    \|f\|_{L^{\Psi_q}(X,\mu)}\geq \frac{1}{2}\|f\|_{L^\infty(X,\mu)}\lim_{q\rightarrow\infty}\Psi_q^{-1}\bigg(\mu\bigg(\bigg\{x\in X:|f(x)|\geq\frac{1}{2}\|f\|_{L^\infty(X,\mu)}\bigg\}\bigg)^{-1}\bigg)^{-1}.
\]
Using \eqref{diverge}, we see that
$$\displaystyle\liminf_{q\rightarrow\infty }\|f\|_{\Psi_q} = \infty. $$
A virtually identical argument shows that if \(\{\Psi_q\}\) is such that \(\Psi_q(t)\rightarrow0\) as \(q\rightarrow\infty\) for each \(t>0\), then \(\Psi_q^{-1}(t)\rightarrow\infty\) and
\[
    \limsup_{q\rightarrow\infty}\|f\|_{\Psi_q}\leq \|f\|_\infty\lim_{q\rightarrow\infty}\Psi_q^{-1}\bigg(\frac{\|f\|_\infty}{\|f\|_1}\bigg)^{-1}=0<\|f\|_{L^\infty(X,\mu)}.
\]
Hence \(\delta\)-admissibility is necessary for \eqref{infty:1} to hold when \(f\in L^1(X,\mu)\cap L^\infty(X,\mu)\). Suitable adjustments of the preceding argument show that Condition \ref{a-admissible} is required in general for Theorem \ref{main}.

\bibliographystyle{plain}