Extension in generalized Orlicz spaces
Extracted source text · arXiv 1910.03893
% !TEX encoding = UTF-8 Unicode
\documentclass[12pt, a4paper, leqno]{amsart}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{times}
% tyylimääritelmiä
%\usepackage{comment,graphicx}
\usepackage[T1]{fontenc} %skandit
\usepackage{url}%, refcheck}
\usepackage[dvipsnames]{xcolor}
\usepackage[colorlinks, allcolors=RedViolet,pdfstartview=,pdfpagemode=UseNone]{hyperref}
\usepackage{graphicx}%,showlabels}
\usepackage{esint}
\usepackage{enumitem}
%Kuvia varten.
\usepackage{pgf,tikz}
\usepackage{mathrsfs}
\usetikzlibrary{arrows}
\setlength{\oddsidemargin}{0.5cm}
\setlength{\evensidemargin}{0.5cm}
\setlength{\textwidth}{15.5cm}
\setlength{\topmargin}{0cm}
\setlength{\textheight}{24cm} % {24.6cm}
\setlength{\marginparwidth}{2.5cm}
\let\oldmarginpar\marginpar
\renewcommand\marginpar[1]{\-\oldmarginpar[\raggedleft\footnotesize #1]%
{\raggedright\footnotesize #1}}
%Theorems, definitions,...
\usepackage{amsthm}
%\swapnumbers
\theoremstyle{plain}
\newtheorem{thm}[equation]{Theorem}
\newtheorem{lem}[equation]{Lemma}
\newtheorem{lemma}[equation]{Lemma}
\newtheorem{prop}[equation]{Proposition}
\newtheorem{cor}[equation]{Corollary}
\newtheorem{corollary}[equation]{Corollary}
\theoremstyle{definition}
\newtheorem{defn}[equation]{Definiton}
\newtheorem{assumptions}[equation]{Assumption}
\newtheorem{notation}[equation]{Notation}
\newtheorem{conj}[equation]{Conjecture}
\newtheorem{eg}[equation]{Example}
\theoremstyle{remark}
\newtheorem{rem}[equation]{Remark}
\newtheorem{remark}[equation]{Remark}
\newtheorem{note}[equation]{Note}
\newtheorem{case}[equation]{Case}
\newtheorem{open}[equation]{Question}
\newtheorem{preli}[equation]{Preparatory remarks}
\numberwithin{equation}{section}
\newcommand{\R}{\mathbb{R}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\Rn}{\mathbb{R}^n}
\def\osc{\operatornamewithlimits{osc}}
\def\essinf{\operatornamewithlimits{ess\,inf}}
\def\essliminf{\operatornamewithlimits{ess\,\lim\,inf}}
\def\supp{\operatornamewithlimits{supp}}
\newcommand{\calA}{{\mathcal A}}
\newcommand{\calB}{{\mathcal B}}
\DeclareMathOperator{\divop}{div}
\DeclareMathOperator{\image}{im}
\renewcommand{\div}{\divop}
\renewcommand{\phi}{\varphi}
\renewcommand{\rho}{\varrho}
\renewcommand{\epsilon}{\varepsilon}
\renewcommand{\vartheta}{\theta}
\def\le{\leqslant}
\def\leq{\leqslant}
\def\ge{\geqslant}
\def\geq{\geqslant}
\def\supp{\operatorname{supp}}
\def\esssup{\operatornamewithlimits{ess\,sup}}
\def\osc{\operatornamewithlimits{osc}}
\def\sgn{\operatornamewithlimits{sgn}}
\def\diam{\qopname\relax o{diam}}
\def\osc{\qopname\relax o{osc}}
\def\div{\qopname\relax o{div}}
\def\spt{\qopname\relax o{spt}}
\def\dist{\qopname\relax o{dist}}
%\def\min{\qopname\relax o{min}}
\def\px{{p(\cdot)}}
\def\qx{{q(\cdot)}}
\def\phix{{\phi}}
\def\phixd{{\phi^*}}
\def\psix{{\psi}}
\def\psixd{{\psi^*}}
\def\bphix{{\overline\phi}}
\def\Mf{{M\!f}}
\def\loc{{\rm loc}}
\newcommand{\Phiw}{\Phi_{\rm{w}}}
\newcommand{\Phic}{\Phi_{\rm{c}}}
\newcommand{\Phis}{\Phi_{\rm{s}}}
\newcommand{\Deltatw}{{\Delta_2^{\!\rm{w}}}}
\newcommand{\nablatw}{{\nabla_{\!2}^{\rm{w}}}}
%\def\paInco{\hyperref[defn:aInc0p]{$\phi$-{\normalfont(aInc)$_1$}}}
%\def\pInco{\hyperref[defn:aInc0p]{$\phi$-{\normalfont(Inc)$_1$}}}
%\def\paIncp{\hyperref[defn:aInc0p]{$\phi$-{\normalfont (aInc)$_p$}}}
%\def\paDecq{\hyperref[defn:aDec0q]{$\phi$-{\normalfont (aDec)$_q$}}}
%\def\pIncp{\hyperref[defn:aInc0p]{$\phi$-{\normalfont (Inc)$_p$}}}
%\def\pDecq{\hyperref[defn:aDec0q]{$\phi$-{\normalfont (Dec)$_q$}}}
%\def\paInc{\hyperref[defn:aInc0]{$\phi$-{\normalfont (aInc)}}}
%\def\paDec{\hyperref[defn:aDec0]{$\phi$-{\normalfont (aDec)}}}
%\def\pInc{\hyperref[defn:aInc0]{$\phi$-{\normalfont (Inc)}}}
%\def\pDec{\hyperref[defn:aDec0]{$\phi$-{\normalfont (Dec)}}}
%
%\newcommand{\painc}[1]{\hyperref[defn:aInc0p]{{\normalfont(aInc){\ensuremath{_{#1}}}}}}
%\newcommand{\padec}[1]{\hyperref[defn:aDec0q]{{\normalfont(aDec){\ensuremath{_{#1}}}}}}
%\newcommand{\pinc}[1]{\hyperref[defn:Inc0p]{{\normalfont(Inc){\ensuremath{_{#1}}}}}}
%\newcommand{\pdec}[1]{\hyperref[defn:Dec0q]{{\normalfont(Dec){\ensuremath{_{#1}}}}}}
\newcommand{\ainc}[1]{\hyperref[defn:aIncp]{{\normalfont(aInc){\ensuremath{_{#1}}}}}}
\newcommand{\adec}[1]{\hyperref[defn:aDecq]{{\normalfont(aDec){\ensuremath{_{#1}}}}}}
\newcommand{\inc}[1]{\hyperref[defn:Inc]{{\normalfont(Inc){\ensuremath{_{#1}}}}}}
\newcommand{\dec}[1]{\hyperref[defn:Dec]{{\normalfont(Dec){\ensuremath{_{#1}}}}}}
\newcommand{\azero}{\hyperref[defn:A0]{{\normalfont(A0)}}}
\newcommand{\aone}{\hyperref[defn:A1]{{\normalfont(A1)}}}
\newcommand{\atwo}{\hyperref[defn:A2N]{{\normalfont(A2)}}}
\newcommand{\aonem}{\hyperref[defn:A1M]{{\normalfont(A1$'$)}}}
\newcommand{\atwop}{\hyperref[defn:A2]{{\normalfont(A2$'$)}}}
%\newcommand{\aoneo}{\hyperref[defn:A1Omega]{{\normalfont(A1)$_{\Omega}$}}}
\newcommand{\aoneo}[1]{\hyperref[defn:A1Omega]{{\normalfont(A1){\ensuremath{_{#1}}}}}}
\date{\today}
\usepackage{color}
\definecolor{blau}{rgb}{0.1,0.0,0.9}
\newcommand{\blue}{\color{blau}}
\newcommand{\red}{\color{red}}
\newcounter{komcounter}
\numberwithin{komcounter}{section}
\newcommand{\komV}[1]{{\bf \blue [\refstepcounter{komcounter}\thekomcounter (by
VL): #1]}}
\newcommand{\komO}[1]{{\bf \red [\refstepcounter{komcounter}\thekomcounter (by
OT): #1]}}
\newcommand{\comment}[1]{\vskip.3cm
\fbox{%
\parbox{0.93\linewidth}{\footnotesize #1}}
\vskip.3cm}
\begin{document}
\title{Extension in generalized Orlicz spaces}
% Information for first author
\author{Petteri Harjulehto}
% Address of record for the research reported here
\address{Petteri Harjulehto,
Department of Mathematics and Statistics,
FI-20014 University of Turku, Finland}
% Current address
\email{\texttt{petteri.harjulehto@utu.fi}}
\author{Peter Hästö}
% Address of record for the research reported here
\address{Peter Hästö, Department of Mathematics and Statistics,
FI-20014 University of Turku, Finland, and Department of Mathematics,
FI-90014 University of Oulu, Finland}
% Current address
\email{\texttt{peter.hasto@oulu.fi}}
% General info
\subjclass[2010]{46E30, 26B25}
%\date{\today}
%\dedicatory{This paper is dedicated to our advisors.}
\keywords{Generalized Orlicz space, Musielak--Orlicz space, Phi-function, extension}
\begin{abstract}
We prove that a $\Phi$-function can be extended from a domain $\Omega$
to all of $\Rn$ while preserving crucial properties for harmonic
analysis on the generalized Orlicz space $L^\Phi$.
\end{abstract}
\maketitle
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Introduction}
Generalized Orlicz spaces, also known as Musielak--Orlicz spaces,
and related differential equations have been studied with increasing
intensity recently, see, e.g., the references
\cite{AhmCGY18, BarCM18, ByuO17, Chl18, CruH18, DefM_pp, EleMM18, Kar18, MizS_pp, OhnS_pp}
published since 2018. This year, we published the monograph
\cite{HarH_book} in which we present a new framework for the basics
of these spaces. In contrast to earlier studies, we emphasize properties
which are invariant under equivalence of $\Phi$-functions. This
means, in particular, that we replace convexity by the assumption
that $\frac{\phi(t)}t$ be almost increasing. Within this framework
we can more easily use techniques familiar from the $L^p$-context,
see for instance the papers \cite{HarHL_pp, HasO_pp} with applications
to PDE.
In the pre-release version of the book \cite{HarH_book}, we had included
a section on extension of the $\Phi$-function. However, this
was removed from the final, published version, as we could not at that
point prove a result with which we were satisfied. In this article we remedy
this short-coming.
In many places, extension offers an easy way to
prove result in $\Omega\subset \Rn$ from results in $\Rn$. For example,
in variable exponent spaces we may argue
\[
\| \Mf \|_{L^\px(\Omega)}
\le
\| \Mf \|_{L^\px(\Rn)}
\le
\| f \|_{L^\px(\Rn)}
=
\| f \|_{L^\px(\Omega)}
\]
where $f$ is a zero extension of $f:\Omega\to \R$ to $\Rn$, provided that
$p:\Omega\to [1,\infty]$ can be extended as well (cf.\ \cite[Proposition~4.1.17]{DieHHR11}) and the maximal operator is bounded in $\Rn$.
In generalized Orlicz spaces this is not as simple.
In \cite{HarH_book} we showed that many results of harmonic analysis
hold in $L^\phi$ provided $\phi$ satisfies conditions \azero{}, \aone{} and \atwo{} (see the
next section for definitions).
However, the extension requires a stronger condition than \aone{}, namely \aoneo{\Omega},
which is known to be equivalent with \aone{} only in quasiconvex domains (Lemma~\ref{lem:quasiconvex}).
Furthermore, we show in the main result of this paper, Theorem~\ref{thm:extension}, that \aoneo{\Omega}
also is necessary. Thus we solve the extension problem for the assumptions of \cite{HarH_book}.
In some recent papers, e.g. \cite{HasO_pp}, also stronger assumptions have been used to
obtain higher regularity. Whether the extension can be chosen to preserve
those conditions remains an open problem.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Preliminaries}
In this section we introduce the terminology and auxiliary results needed in this paper.
The notation $f\lesssim g$ means that there exists a constant
$C>0$ such that $f\le C g$.
The notation $f\approx g$ means that
$f\lesssim g\lesssim f$.
\begin{defn}
A function $g: (0, \infty) \to \R$ is \emph{almost increasing} if there exists a constant $a\ge 1$ such that
$g(s) \le a g(t)$ for all $0<s<t$. \emph{Almost decreasing} is defined analogously.
\end{defn}
Increasing and decreasing functions are included in the
previous definition as the special case $a=1$.
\begin{defn}
%\label{defn:aInc0p}\label{defn:aDec0q}\label{defn:Inc0p}\label{defn:Dec0q}\label{defn:aInco}
%\label{defn:aInc0}\label{defn:aDec0}
\label{defn:aIncp}\label{defn:aDecq}\label{defn:aInc}\label{defn:aDec}
\label{defn:Dec}\label{defn:Inc}
Let $f: \Omega \times [0, \infty)\to \R$ and $p,q>0$. We say that $f$ satisfies
\begin{itemize}%[leftmargin=1.4cm]
\item[(Inc)$_p$] if $\frac{f(x,t)}{t^p}$ is increasing;
\item[(aInc)$_p$] if $\frac{f(x,t)}{t^p}$ is almost increasing;
\item[(Dec)$_q$] if $\frac{f(x,t)}{t^q}$ is decreasing;
\item[(aDec)$_q$] if $\frac{f(x,t)}{t^q}$ is almost decreasing;
\end{itemize}
all conditions should hold for almost every $x\in\Omega$ and the
almost increasing/decreasing constant should be independent of $x$.
%We say that $f$ satisfies (aInc), (Inc), (aDec) or (Dec) if there exist
%$p > 1$ or $q<\infty$ such that $f$ satisfies
%(aInc)$_p$, (Inc)$_p$, (aDec)$_q$ or (Dec)$_q$, respectively.
\end{defn}
%\begin{defn}\label{defn:aIncp}\label{defn:aDecq}\label{defn:aInc}\label{defn:aDec}
%\label{defn:Dec}\label{defn:Inc}
%Let $f: \Omega \times [0, \infty)\to \R$ and $p,q>0$.
%We say that $f$ satisfies (aInc)$_p$ or (aDec)$_q$, if there exists $a\ge 1$ such
%that the function $t\mapsto f(x,t)$ satisfies \painc{p} or \padec{q}
%with a constant $a$, respectively, for almost every $x\in A$.
%When $a=1$, we use the notation \pinc{p} and \pdec{q}.
%\end{defn}
Suppose that $\phi$ satisfies \ainc{p_1}.
Then it satisfies \ainc{p_2} for $p_2<p_1$ and it does not satisfy \adec{q} for $q<p_1$.
Likewise, if $\phi$ satisfies \adec{q_1},
then it satisfies \adec{q_2} for $q_2>q_1$ and it does not satisfy \ainc{p} for $p>q_1$.
\begin{defn}
\label{def:phi_func}
Let $\phi\colon [0,\infty) \to [0,\infty]$ be increasing
with $\phi(0)=0$, $\lim_{t \to 0^+} \phi(t)= 0$ and $\lim_{t \to \infty} \phi(t) =
\infty$. We say that such $\phi$ is a
({\em weak}) {\em $\Phi$-function} if it satisfies \ainc{1} on $(0, \infty)$.
The set of weak $\Phi$-functions is denoted by $\Phiw$.
\end{defn}
We mention the epithet ``weak'' only when special emphasis is needed.
Note that when we speak about $\Phi$-functions, we mean the weak $\Phi$-functions
of the previous definition, whereas many other authors use this term for
convex $\Phi$-functions, possibly with additional assumptions as well.
If $\phi$ is convex and $\phi(0)=0$, then we obtain for $0<s<t$ that
\begin{equation}\label{eq:convex=>inc}
\phi(s) = \phi\Big(\frac st t + 0 \Big)\le
\frac st \phi(t) + \Big(1-\frac st \Big)\phi(0)=\frac st \phi(t),
\end{equation}
i.e.\ \inc{1} holds.
\begin{defn} \label{def:class_Phi}
A function $\phi\colon \Omega \times [0,\infty) \to [0,\infty]$ is
said to be a ({\em generalized weak}) {\em $\Phi$-function}, denoted $\phi\in\Phiw (\Omega)$,
if $x \mapsto \phi(y,|f(x)|)$ is measurable for every measurable $f$,
$\phi(y,\cdot)$ is a weak $\Phi$-function for almost every $y\in \Omega$
and $\phi$ satisfies \ainc{1}.
\end{defn}
Unless there is danger of confusion, we will drop the word ``generalized''.
Note that if $x \mapsto \phi(y,t)$ is measurable for every $t \ge 0$ and $t \mapsto \phi(x,t)$ is
left-continuous for almost every $x\in \Omega$, then $x \mapsto \phi(y,|f(x)|)$ is measurable for every measurable $f$, \cite[Theorem~2.5.4]{HarH_book}.
Two functions $\phi$ and $\psi$ are \textit{equivalent},
$\phi\simeq\psi$, if there exists $L\ge 1$ such that
$\phi(x, \frac tL)\le \psi(x, t)\le \phi(x, Lt)$ for all $x$ and all $t \ge 0$.
Short calculations show that $\simeq$ is an equivalence relation.
Note that if $\phi\simeq\psi$, then $L^\phix (\Omega)=L^\psix(\Omega)$,
see Theorem 3.2.6 in \cite{HarH_book}.
Let us define a left-inverse of $\phi$ by
\[
\phi^{-1}(x, \tau) := \inf\{t \ge 0: \phi(x, t)\ge \tau\}.
\]
Note that $\phi^{-1}$ is left-continuous when $\phi$ is increasing and $\phi(0) =0$. Moreover if $\phi \in \Phiw$, then
$\phi$ satisfies \ainc{p}
if and only if
$\phi^{-1}$ satisfies \adec{1/p}; and
$\phi$ satisfies \adec{q}
if and only if
$\phi^{-1}$ satisfies \ainc{1/q}.
These and other properties can be found in \cite[Chapter~2.3]{HarH_book}.
\begin{defn}\label{defn:A0} \label{defn:A1} \label{defn:A2N}
Let $\phi \in \Phiw(\Omega)$. We define three conditions:
\begin{itemize}
\item[(A0)]
There exists $\beta \in(0, 1]$ such that $ \beta \le \phi^{-1}(x,1) \le \frac1{\beta}$ for almost every $x \in \Omega$.
\item[(A1)]
There exists $\beta\in (0,1)$ such that
\[
\beta \phi^{-1}(x, t) \le \phi^{-1} (y, t)
\]
for every $t\in [1,\frac 1{|B|}]$, almost every $x,y\in B \cap \Omega$ and
every ball $B$ with $|B|\le 1$.
\item[(A2)]
For every $s>0$ there exist $\beta\in(0,1]$ and $h\in L^1(\Omega) \cap L^\infty (\Omega)$
such that
\[
\beta \phi^{-1}(x,t)
\le
\phi^{-1}(y,t)
\]
for almost every $x,y\in \Omega$ and every $t\in [h(x)+h(y), s]$.
\end{itemize}
\end{defn}
By \cite[Lemma~4.2.7]{HarH_book} \atwo{} is equivalent with the following condition:
there exist $\phi_\infty\in \Phiw$,
$h\in L^1(\Omega) \cap L^\infty (\Omega)$, $s>0$ and $\beta\in (0,1]$ such that
\begin{equation}\label{equ:A2'}
\phi(x,\beta t) \le \phi_\infty(t) + h(x)
\quad\text{and}\quad
\phi_\infty(\beta t) \le \phi(x,t) + h(x)
\end{equation}
for almost every $x\in\Omega$.
%Suppose that $h$ in the definition satisfies $\lim_{|x|\to \infty} |h(x)| = 0$.
%Then
%\[
%\phi^+_\infty(t) := \limsup_{|x|\to \infty} \phi(x,t) \simeq
%\liminf_{|x|\to \infty} \phi(x,t) =: \phi^-_\infty(t).
%\]
%By Lemma~2.5.8 of \cite{HarH_book}, $\phi^{\pm}_\infty \in \Phiw(\Omega)$ provided that
%they are non-degenerate; this holds for example if \azero{} holds.
%In this case we may take either of these functions for $\phi_\infty$. In this sense $\phi_\infty$
%is the limit of $\phi$ as $x\to \infty$.
Note how the conditions \azero{}--\atwo{} are formulated in terms of the inverse
function $\phi$. This turns out to be very convenient in many cases, since
the appropriate range of $t$ for which the comparison can be done is easily
expressed for the inverse function. We also use the inverse function for the extension.
In \cite[Proposition~2.5.14]{HarH_book}, we showed that $f$ is the inverse of
some $\Phi$-function if and only if it satisfies the following conditions:
\begin{enumerate}
\item
$f$ is increasing;
\item
$f$ is left-continuous;
\item
$f$ satisfies \adec{1};
\item
$f(t) = 0$ if and only if $t = 0$,
and, $f(t) = \infty$ if and only if $t = \infty$;
\item
$x\mapsto f(x,t)$ is measurable for all $t\ge 0$
\end{enumerate}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Extension}
\label{sect:extension}
In the following version of \aone{} we can use any size of $t$, but have to pay
in terms of a smaller constant for large $t$.
\begin{defn}\label{defn:A1Omega}
Let $\Omega \subset \Rn$. We say that $\phi \in \Phiw(\Omega)$ satisfies
\aoneo{\Omega}, if there exist a constant $\beta \in(0,1]$ such that
$\beta^{|x-y| t^{1/n} +1} \phi^{-1}(y, t) \le \phi^{-1}(x, t)$
for all $x, y \in \Omega$ and $t\ge 1$.
\index{generalized Phi-function@generalized $\Phi$-function!(A1z)@\aoneo{\Omega}}%
\index{(A1z)@\aoneo{\Omega}}
\end{defn}
By Theorem~2.3.6 of \cite{HarH_book} we have $\phi \simeq \psi$ if and only if $\phi^{-1} \approx \psi^{-1}$. Hence we obtain the following lemma.
\begin{lem}\label{lem:A1-Omega-invariance}
The condition \aoneo{\Omega} is invariant under equivalence of weak $\Phi$-functions.
\end{lem}
A domain $\Omega \subset \Rn$ is \emph{quasi-convex}, if there exists a constant $K \ge 1$ such that every pair $x, y \in \Omega$ can be connect by a rectifiable path $\gamma \subset \Omega$ with the
length $\ell(\gamma) \le K|x-y|$.
\index{quasi-convex!domain}
\begin{figure}[ht!]
\begin{center}
\begin{tikzpicture}[line cap=round,line join=round,>=triangle 45,x=1.0cm,y=1.0cm,thick,scale=0.8, every node/.style={scale=1}]
\clip(-5.302968243890198,-5.611321526129977) rectangle (4.357169835778602,6.067634472532111);
\draw [line width=1.2pt] (-2.7061395348837207,-3.367735126014061) circle (2.cm);
\draw [line width=1.2pt] (-2.143348837209302,-1.4403209561925348) circle (2.cm);
\draw [line width=1.2pt] (-1.4004651162790693,0.618883612763657) circle (2.cm);
\draw [line width=1.2pt] (-0.3649302325581387,2.5684827301243924) circle (2.cm);
\draw [line width=1.2pt] (0.5805581395348848,3.4120342628447813) circle (2.cm);
\draw [line width=1.2pt] (2.1338604651162805,2.857180222823146) circle (2.cm);
\draw[line width=2.2pt,color=black,smooth,samples=100,domain=-3.0:2.5] plot(\x,-0.5*\x*\x+\x+3);
\draw [fill=black] (-3.,-4.5) circle (2.5pt);
\draw[color=black] (-2.2,-4.5) node {$x=x_0$};
\draw [fill=black] (-1.8843392856996477,-0.659706557515177) circle (2.5pt);
\draw[color=black] (-1.55,-0.7) node {$x_2$};
\draw [fill=black] (-2.4836220370137783,-2.5678112483840128) circle (2.5pt);
\draw[color=black] (-2.15,-2.6) node {$x_1$};
\draw [fill=black] (-0.09484690811690388,2.900655123893428) circle (2.5pt);
\draw[color=black] (-0.4,3.0582750512290366) node {$x_4$};
\draw [fill=black] (-1.145341162409211,1.198755648436348) circle (2.5pt);
\draw[color=black] (-0.8,1.2) node {$x_3$};
\draw [fill=black] (1.8952690262614031,3.0992466853084792) circle (2.5pt);
\draw[color=black] (2.0,3.35) node {$x_5$};
\draw [fill=black] (2.5,2.375) circle (2.5pt);
\draw[color=black] (3.25,2.35) node {$y=x_6$};
\draw[color=black] (-4.9,-2.5) node {$B_1$};
\draw[color=black] (-4.3,-0.5) node {$B_2$};
\draw[color=black] (-3.6,1.6) node {$B_3$};
\draw[color=black] (-2.45,3.8) node {$B_4$};
\draw[color=black] (-0.9,5.4) node {$B_5$};
\draw[color=black] (2.4515566599064362,5.0582255130354685) node {$B_6$};
\end{tikzpicture}
\caption{Points $x_j$ and balls $B_j$ in the proof of Lemma~\ref{lem:quasiconvex}.}\label{fig:quasiconvex}
\end{center}
\end{figure}
\begin{lem}\label{lem:quasiconvex}
If $\Omega\subset \Rn$ is quasi-convex,
then $\phi\in \Phiw(\Omega)$ satisfies \aone{} if and only if it satisfies \aoneo{\Omega}.
\end{lem}
\begin{proof}
Assume first that \aoneo{\Omega} holds. Let $B$ be a ball with $|B| \le 1$ and
$x, y \in \Omega \cap B$. Since $|x-y|\le \diam(B)$, $|x-y|t^{\frac1n} \le c(n)$
for $t \in[1, \tfrac{1}{|B|}]$. Hence \aone{} holds with constant $\beta^{c(n)+1}$.
Assume then that \aone{} holds.
Let $x, y\in\Omega$, $t\ge 1$
and $\gamma\subset\Omega$ be a path connecting $x$ and $y$
of length at most $K\,|x-y|$. Let $x_0:=x$ and $\omega_n$ be the measure of the unit ball. Choose points $x_j \in \gamma$ such that
$\ell(\gamma(x,x_j)) = \frac{j}{( \omega_n t)^{1/n}}$ for $j=1,\ldots, k-1$
when possible and finally set $x_{k}=y$.
Then $|x_{j-1}-x_{j}| \le\frac{1}{(\omega_n t)^{1/n}}$ for all $j$. Let $B_{j+1}$ be an open ball
such that $x_j, x_{j+1} \in B_{j+1}$ and $\diam(B_{j+1}) = 2 |x_j-x_{j+1}|$, see Figure~\ref{fig:quasiconvex}.
Then $\frac{1}{|B|} = \frac{1}{\omega_n |x_j-x_{j+1}|^n} \ge t$.
Thus $t$ is in the allowed range for \aone{} and so
$\beta\phi^{-1}(x_{j+1}, t) \le \phi^{-1}(x_j, t)$. With this chain of inequalities, we obtain
that $\beta^k \phi^{-1}(y, t) \le \phi^{-1}(x, t)$.
On the other hand, at most
\[
k = \frac{\ell (\gamma(x,x_{k-1}))}{\diam(B)}+1 \le \frac{K|x-y|}{\diam(B)} +1 \le \frac{K|x-y|}{2/ ( \omega_n t)^{1/n}} +1 = c' K t^{1/n}\, |x-y| +1
\]
points $x_j$ are needed,
so that $\beta^{c' K t^{1/n} |x-y|+1} \phi^{-1}(y, t) \le \phi^{-1}(x, t)$
for all $x, y \in \Omega$ and $t\ge1$.
\end{proof}
\begin{open}
Does there exist $\Omega\subset\Rn$ and $\phi\in\Phiw(\Omega)$ such
that \aone{} holds but \aoneo{\Omega} does not?
\end{open}
We say that $\psi\in \Phiw(\Rn)$ is an \textit{extension} of
$\phi\in \Phiw(\Omega)$ if $\psi|_\Omega \simeq \phi$.
Since we consider properties which hold up to equivalence of $\Phi$-functions
this is a natural definition. However, if one wants identity in $\Omega$
this is easily achieved by choosing
$\psi_2 := \phi \chi_\Omega + \psi \chi_{\Rn\setminus\Omega}$, which is
equivalent to $\psi$ and hence has the same properties.
The next theorem was proved in \cite[Proposition~5.2]{HarHK16} but the proof was incorrect:
the function $f$ constructed was not increasing, its measurability was unclear, and
$\psi|_\Omega \simeq \phi$ was shown only for $t \ge 1$.
\begin{thm}\label{thm:extension}
Suppose that $\Omega\subset \Rn$ and $\phi\in \Phiw(\Omega)$.
Then there exists an extension $\psi\in \Phiw(\Rn)$ of $\phi$ which
satisfies \azero, \aone{} and \atwo{}, if and only if $\phi$ satisfies \azero, \aoneo{\Omega}
and \atwo{}.
If $\phi$ satisfies \ainc{p} and/or \adec{q}, then the extension can be
taken to satisfy it/them, as well.
\end{thm}
\begin{proof}
Suppose first that there exists an extension $\psi\in \Phiw(\Rn)$ which
satisfies \azero, \aone{} and \atwo. Since $\phi\simeq \psi|_\Omega$ we find that $\phi$
satisfies \azero{} and \atwo{}.
Let $x,y\in \Omega$. Since $\psi$ satisfies \aone{} and $\Rn$ is quasi-convex, Lemma~\ref{lem:quasiconvex}
implies that $\psi$ satisfies \aoneo{\Rn}, so that
$\beta^{t^{1/n} |x-y|+1} \psi^{-1}(y, t) \le \psi^{-1}(x, t)$,
Since $\psi|_\Omega \simeq \phi$, this implies \aoneo{\Omega} of $\phi$ by Lemma~\ref{lem:A1-Omega-invariance}.
So we can move on to the converse implication.
Let $\phi \in\Phiw(\Omega)$ satisfy \azero{}, \aoneo{\Omega}, \atwo{} and \ainc{p}
for some $p \ge 1$. Then $\phi^{-1}$ satisfies \adec{1/p}.
Let $\beta_0$ be a constant form \azero{} of $\phi$
and $\beta$ be from \aoneo{\Omega} of $\phi$. Next we use \atwo{}.
By \cite[Lemma~4.2.7]{HarH_book}, there exists $\phi_\infty\in \Phiw$
and $h\in L^1(\Omega)\cap L^\infty(\Omega)$ such that
\[
\phi(x,\beta_2 t)\le \phi_\infty(t)+h(x)
\quad\text{and}\quad
\phi_\infty(t) \le \phi(x,\beta_2 t)+h(x)
\]
for almost every $x\in\Omega$ when $\phi_\infty(t)\le \beta_0$ and
$\phi(x,t)\le \beta_0$, respectively. Note that $\phi_\infty$ is equivalent to
$\liminf_{x\to\infty}\phi(x,\cdot)$; hence satisfies \azero{} and \adec{1/p} if $\phi$ does.
Denote $\hat \Omega := \Omega\cap\Q^n$ and
define $f: \Rn \times [0, \infty] \to [0, \infty]$ by
\[
f(x,t) :=
\begin{cases}
%\phi^{-1}(x, t), \quad &\text{if} \quad x\in \Omega \text{ and } t \in [0,1]; \\
%\beta_0^2(\phi^-_\Omega)^{-1}(t)\quad &\text{if} \quad x\in \Rn \setminus \Omega \text{ and } t \in [0,1]; \\
\beta_0^2 \phi^{-1}(x, t)\chi_\Omega(x) + \beta_0^2 \phi_\infty^{-1}(t) \chi_{\Rn\setminus\Omega}(x)
\quad &\text{if} \quad t \in [0,1]; \\
\min \Big\{ (\phi^-_\Omega)^{-1}(t), \inf_{y\in \hat\Omega} \beta^{-|x-y| t^{1/n} } \phi^{-1}(y, t) \Big\}
\quad &\text{if} \quad t \in (1, \infty);\\
\infty &\text{if} \quad t= \infty.
\end{cases}
\]
The following properties follow directly from the corresponding properties of
$\phi^{-1}$ and the definition of $f$:
\begin{enumerate}[label=(\arabic*)]
\item\label{f1} $f(x, t)=0$ iff $t=0$, and $f(x, t)=\infty$ iff $t=\infty$.%checkmark
\item\label{f5} $f$ satisfies \adec{1/p} in $[0,1]$.%\checkmark
\item\label{f7} $f$ satisfies \azero{}.%\checkmark
\end{enumerate}
For properties \azero{}--\atwo{} we think of $f$ as the inverse in the conditions,
i.e.\ $\phi^{-1}$ is replaced by $f$, not $f^{-1}$, in the inequalities.
We next prove the following properties of $f$:
\begin{enumerate}[label=(\arabic*)]
\addtocounter{enumi}{3}
\item\label{f2} $f$ is increasing. %\checkmark
\item\label{f3} $f$ is left-continuous and measurable. %\checkmark
\item\label{f6} $f|_\Omega \approx \phi^{-1}$. %\checkmark
\item\label{f8} $f$ satisfies \aone{}. %\checkmark
%\item\label{f9} $f$ satisfies \atwo{}. %\checkmark
\item\label{f10} $f$ satisfies \ainc{1/q} provided that $\phi$ satisfies \adec{q}.
\end{enumerate}
%$t \mapsto\phi^{-1}(x, t)$,
%$t \mapsto\phi_\infty^{-1}(t)$ and $t \mapsto(\phi^-_\Omega)^{-1}(t)$
%$\phi^{-1}$, $\phi_\infty$ and $(\phi^-_\Omega)^{-1}$
%\ref{f1} These properties follow from the corresponding properties of $\phi^{-1}$.
%%Let us first note by the definition that $f(x, t) =0$ if and only if $t=0$ and
%%$f(x, t) =\infty$ if and only if $t=\infty$.
\underline{Claim \ref{f2}:}
Since $\phi^{-1}$, $\phi_\infty$ and $(\phi^-_\Omega)^{-1}$ are increasing,
the claim follows in each subinterval.
To show that $f(x, 1) \le f(x, t)$ for $1 < t$ we note that
$(\phi^-_\Omega)^{-1}(t) \ge (\phi^-_\Omega)^{-1}(1) \ge \beta_0$ and
$\beta^{-|x-y| t^{1/n} } \phi^{-1}(y, t) \ge \phi^{-1}(y, 1) \ge \beta_0$.
Thus $f(x, t) \ge \beta_0$. On the other hand,
$f(x, 1) \le \beta_0^2 (\phi^-_\Omega)^{-1}(1) \le \frac{\beta_0^2}{\beta_0} = \beta_0$.
\underline{Claim \ref{f3}:}
Since $\phi^{-1}$, $\phi_\infty^{-1}$ and $(\phi^-_\Omega)^{-1}$ are left-con\-tin\-uous and the minimum of left-continuous functions is left-continuous, the claim follows by the definition
of $f$.
By Lemma~2.5.12 of \cite{HarH_book}, $y \mapsto \phi^{-1}(y,t)$ is measurable.
The infimum of measurable functions over countable sets is measurable. Thus $x \mapsto f(x, t)$ is measurable for every $t$.
%\ref{f5} By the definition $f$ satisfies \adec{1/p} in $[0,1]$.
\underline{Claim \ref{f6}:}
We show that $f \approx \phi^{-1}$ in $\Omega$. For $t \in [0, 1]$ this holds
by the definition of $f$. If $t>1$, then by \aoneo{\Omega} for $x, y\in \Omega$ we have
\[
\beta^{-|x-y| t^{1/n} } \phi^{-1}(y, t)
\ge \beta^{-|x-y| t^{1/n} } \beta^{|x-y| t^{1/n} +1} \phi^{-1}(x, t)
= \beta \phi^{-1}(x, t).
\]
Since $(\phi^-_\Omega)^{-1} (t) \ge \phi^{-1}(x, t)$, this yields that
$f(x,t) \ge \beta \phi^{-1}(x, t)$. On the other hand by \aoneo{\Omega} we have for $y\in \hat\Omega$ that
\[
f(x, t) \le \beta^{-|x-y| t^{1/n} } \phi^{-1}(y, t) \le \beta^{-|x-y| t^{1/n} } \beta^{-|x-y| t^{1/n} -1} \phi^{-1}(x, t) \to \tfrac1{\beta} \phi^{-1}(x, t)
\]
as $y \to x$ and hence $f(x, t) \le \frac1{\beta} \phi^{-1}(x, t)$.
%\ref{f7} Since $\phi$ satisfies \azero, it is clear that $f$ satisfies it as well.
\underline{Claim \ref{f8}:}
Let us then prove \aone{}.
The required inequality for $t=1$ follows from \azero{}, so we take $t \in (1, \frac{1}{|B|}]$
and $x, y \in B$. Note that $|x-y|t^{1/n} \le c(n)$.
Let $z_0 \in \hat \Omega$ be such that $\inf_{z\in \hat\Omega} \beta^{-|x-z| t^{1/n} } \phi^{-1}(z, t) \ge \frac 12 \beta^{-|x-z_0| t^{1/n} } \phi^{-1}(z_0, t)$. Then
by the definition of infimum, the triangle inequality, and the choice of $z_0$ we obtain that
\[
\begin{split}
\inf_{z\in \hat\Omega} \beta^{-|x-z| t^{1/n} } \phi^{-1}(z, t)
&\le \beta^{-|y-z_0| t^{1/n} } \phi^{-1}(z_0, t)
\le \beta^{-(|y-x| + |x-z_0|) t^{1/n} } \phi^{-1}(z_0, t)\\
&\le 2 \beta^{- c(n)} \inf_{z\in \hat\Omega} \beta^{-|x-z| t^{1/n} } \phi^{-1}(z, t).
\end{split}
\]
The part $(\phi^-_\Omega)^{-1}$ satisfies \aone{} since it is independent of $x$.
A short calculation shows that the minimum of two functions that satisfy \aone{}
also satisfies it.
%\underline{Claim \ref{f9}:}
%\atwo{} holds since $\Omega$ is bounded and outside $\Omega$ the
%function $f$ is independent of $x$ for $t \in [0, 1]$.
\underline{Claim \ref{f10}:}
Assume that $\phi$ satisfies \adec{q}. Then $\phi^{-1}$ and
$\phi_\infty^{-1}$ satisfy \ainc{1/q}, which imply the condition for $f$ when $t \in [0, 1]$.
For $1<t<s$, we use the condition for $\phi^{-1}$ as well as
$\beta^{-|x-y| t^{1/n} } \le \beta^{-|x-y| s^{1/n} }$ to conclude that
\[
\begin{split}
\frac{f(x, t)}{t^{1/q}} &= \min \Big\{ \frac{(\phi^-_\Omega)^{-1}(t)}{t^{1/q}}, \inf_{y\in \hat\Omega} \beta^{-|x-y| t^{1/n} } \frac{\phi^{-1}(y, t)}{t^{1/q}} \Big\}\\
&\lesssim \min \Big\{ \frac{(\phi^-_\Omega)^{-1}(s)}{s^{1/q}}, \inf_{y\in \hat\Omega} \beta^{-|x-y| t^{1/n} } \frac{\phi^{-1}(y, s)}{s^{1/q}} \Big\}
\le \frac{f(x, s)}{s^{1/q}}.
\end{split}
\]
The case $1=t<s$ follows as $\epsilon\to 0^+$ since $f$ is increasing:
\[
\frac{f(x, 1)}{1^{1/q}}
\le
(1+\epsilon)^{1/q} \frac{f(x, 1+\epsilon)}{(1+\epsilon)^{1/q}}
\lesssim
(1+\epsilon)^{1/q} \frac{f(x, s)}{s^{1/q}}.
\]
%and for $1<s$ we obtain by \azero{} of $f$ \ref{f7} and \ainc{1/q} of $\phi^-$ that
%\[
%\begin{split}
%\frac{f(x, 1)}{1^{1/q}} & \le c \lesssim \min \Big\{ \frac{(\phi^-_\Omega)^{-1}(1)}{1^{1/q}}, \inf_{y\in \hat\Omega} \beta^{-|x-y| 1^{1/n} } \frac{\phi^{-1}(y, 1)}{1^{1/q}} \Big\}\\
%&\lesssim \min \Big\{ \frac{(\phi^-_\Omega)^{-1}(s)}{s^{1/q}}, \inf_{y\in \hat\Omega} \beta^{-|x-y| t^{1/n} } \frac{\phi^{-1}(y, s)}{s^{1/q}} \Big\}
%\le \frac{f(x, s)}{s^{1/q}}.
%\end{split}
%\]
\bigskip
The function $f$ does not satisfy \adec{1}, so it is not the inverse of any $\Phi$-function.
We therefore make a regularization to ensure this growth condition.
Recall that $\phi$ satisfies \ainc{p} for some $p\ge 1$.
We define $g(x, 0):=0$, $g(x,\infty):= \infty$ and
\[
g(x, t) := t^{1/p} \inf_{0<s \le t} \frac{f(x, s)}{s^{1/p}}.
\]
Since $f$ satisfies \adec{1/p} on $[0,1]$, we have
\begin{equation}\label{equ:g-pienet-arvot}
t^{1/p} \inf_{0<s \le t} \frac{f(x, s)}{s^{1/p}} \approx f(x,t)
\end{equation}
for $t\in[0,1]$, so that $g\approx f$ in the same range of $t$.
From the corresponding properties of $f$ we conclude that
$g$ is left-continuous and satisfies \azero{}.
Let us prove the following properties for $g$:
\begin{enumerate}[label=(\roman*)]
%\item\label{g2} $g$ is increasing.
%\item\label{g3} $g$ is left-continuous.
\item\label{g4} $g$ is measurable.
\item\label{g5} $g$ satisfies \dec{1/p}.
\item\label{g6} $g|_\Omega \approx \phi^{-1}$.
%\item\label{g7} $g$ satisfies \azero{}.
\item\label{g8} $g$ satisfies \aone{}.
\item\label{g1} $g(x, t)=0$ iff $t=0$, and $g(x, t)=\infty$ iff $t=\infty$.
%\item\label{g9} $g$ satisfies \atwo{}.
\item\label{g10} $g$ is increasing; and $g$ satisfies \ainc{1/q} provided that $\phi$ satisfies \adec{q}.
\end{enumerate}
%
%\ref{g2} Let us then show that $g$ is increasing. Let $0<t< s$, $\epsilon >0$ and choose $\sigma\le s$
%such that $g(x, s) \ge \frac{s^{1/p} f(x, \sigma)}{\sigma^{1/p}}- \epsilon$.
%By the definition of $g$, $t\le \tau$, the monotonicity of $f$
%and the definition of $\sigma$ we have
%\[
%g(x, t)
%\le t^{1/p} \frac{f(x, \min\{t,\sigma\})}{\min\{t,\sigma\}^{1/p}}
%\le \frac{(t\sigma)^{1/p}}{\min\{t,\sigma\}^{1/p}} \frac{f(x, \sigma)}{\sigma^{1/p}}
%\le \frac{\max\{t,\sigma\}^{1/p}}{s^{1/p}} (g(x,s) + \epsilon).
%\]
%Thus letting $\epsilon \to 0^+$, we obtain that $g$ in increasing since $s\ge t,\sigma$.
%\ref{g3} Since $f$ is left-continuous \ref{f3} , we obtain that $g$ is left-continuous.
\underline{Claim \ref{g4}:}
Since $f$ is left-continuous, we obtain that
\[
g(x, t) = t^{1/p} \inf_{s\in(0, t] \cap Q} \frac{f(x,s)}{s^{1/p}}.
\]
Since $x \mapsto f(x, t)$ is measurable, this implies that $x \mapsto g(x, t)$
is measurable as the infimum of countable many measurable functions.
\underline{Claim \ref{g5}:}
Let us next show that $g$ satisfies \dec{1/p}. For that let $0<t<\tau$. By the definition of $g$ we obtain
\[
\frac{g(x,t)}{t^{1/p}} = \inf_{0<s \le t} \frac{f(x, s)}{s^{1/p}} \ge \inf_{0<s\le \tau} \frac{f(x, s)}{s^{1/p}}
= \frac{g(x,\tau)}{\tau^{1/p}}.
\]
\underline{Claim \ref{g6}:}
Since $f \approx \phi^{-1}$ in $\Omega$ and $\phi^{-1}$ satisfies \adec{1/p},
we obtain $g|_\Omega\approx \phi^{-1}$ in the same way as in \eqref{equ:g-pienet-arvot}.%above for the case $t\in [0,1]$.
%\ref{g7} Since $f\approx g$ in $t\in [0,1]$, we obtain \azero{}.
\underline{Claim \ref{g8}:}
Then we show that $g$ satisfies \aone{}. Let $B$ be a ball with $|B| \le 1$,
$t \in [1, \frac1{|B|}]$ and $x, y \in \Omega$. Since $f$ satisfies \adec{1/p} in $(0, 1]$,
we have
\begin{equation}\label{equ:g_alara}
g(y,t) \approx t^{1/p}\inf_{1\le s \le t} \frac{f(y, s)}{s^{1/p}}.
\end{equation}
Thus by \aone{} of $f$ we obtain
\[
g(x, t) \approx t^{1/p}\inf_{1\le s \le t} \frac{f(x, s)}{s^{1/p}} \lesssim t^{1/p}\inf_{1\le s \le t} \frac{f(y, s)}{s^{1/p}}
\approx g(y, t).
\]
\underline{Claim \ref{g1}:}
Using the inequality $f(x,1)\le f(x,s)\le f(x,t)$ and \azero{}, we obtain by \eqref{equ:g_alara}
for $1<t$, that
\[
0< \beta_0 \le g(x, t) \le t^{1/p} f(x, t) < \infty.
\]
By \eqref {equ:g-pienet-arvot} we have $f\approx g$ for $s\in [0,1]$.
Thus by the corresponding property of $f$ we have
$g(x, t)=0$ if and only if $t=0$, and $g(x, t)=\infty$ if and only if $t=\infty$.
%\ref{g9} Since $f\approx g$ in $t\in [0,1]$, we obtain \atwo{}.
\underline{Claim \ref{g10}:}
Assume that $f$ satisfies \ainc{1/q} with constant $L\ge 1$. Let $0<t<s$, $\epsilon >0$
and choose $\theta \in (0,1]$ such that
$g(x, s) \ge \theta^{-1/p} f(x,\theta s)- \epsilon$. Then
by the definition of $g$, \adec{1/q} of $f$ and the choice of $\theta$, we obtain that
\[
\frac{g(x, t)}{t^{1/q}}
\le t^{1/p -1/q} \frac{ f(x, \theta t)}{(\theta t)^{1/p}}
= \theta^{1/q-1/p} \frac{ f(x, \theta t)}{(\theta t)^{1/q}}
\le L\theta^{1/q-1/p} \frac{ f(x, \theta s)}{(\theta s)^{1/q}}
\le L\frac{g(x, s)+ \epsilon}{s^{1/q}}.
\]
Thus letting $\epsilon \to 0^+$, we find that $g$ satisfies \ainc{1/q}.
If we take $L=1$ and $1/q=0$, this implies that $g$ is increasing (since $f$ is increasing).
\bigskip
We set $\psi:= g^{-1}$.
Using \ref{g1}--\ref{g5}, increasing from \ref{g10} and Proposition~2.5.14 in \cite{HarH_book} we obtain that
$\psi \in \Phiw(\Rn)$ and $\psi^{-1} = (g^{-1})^{-1}= g$.
Since $\phi^{-1} \approx g= \psi^{-1}$, it follows that $\psi|_\Omega \simeq \phi$
\cite[Theorem~2.3.6]{HarH_book}.
Now properties \azero{} and \aone{} for $\psi$ follow.
Moreover, if $\phi$ satisfies \adec{q}, then by \ref{g10} $\psi$ satisfies it as well.
When $x\in \Rn\setminus \Omega$ and $t\in [0,1]$, we have
$g(x,t)\approx f(x,t)=\beta_0^2\phi_\infty^{-1}(t)$. It follows that
$\psi(x,t)\simeq \phi_\infty(t)$ for sufficiently small values of $t$ and $x$ as before.
Therefore, $\psi$ satisfies the condition of \eqref{equ:A2'}, and
so $\psi$ satisfies \atwo{}.
\end{proof}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibliographystyle{amsplain}
\begin{thebibliography}{10}
%\bibitem{AM2}
%E. Acerbi and G. Mingione: {Regularity results for a class of
%functionals with non-standard growth},
%Arch. Ration. Mech. Anal. 156 (2001), no. 2, 121--140.
%
%\bibitem{AM0}
%E. Acerbi and G. Mingione:
%{Gradient estimates for the $p(x)$-Laplacean system},
%J. Reine Angew. Math. 584 (2005), 117--148.
\bibitem{AhmCGY18}
Y. Ahmida I. Chlebicka, P. Gwiazda and A. Youssfi:
Gossez's approximation theorems in Musielak-Orlicz-Sobolev spaces,
J. Funct. Anal. 275 (2018), no. 9, 2538--2571.
%
%%\bibitem{AlaNA14}
%%M.K.\ Alaouia, T.\ Nabilab and M.\ Altanjia:
%%On some new non-linear diffusion models for the image filtering,
%%{Applicable Anal.} 93 (2014), no. 2, 269--280.
%
%\bibitem{Alm76}
%F.J.\ Almgren:
%Existence and regularity almost everywhere of solutions to elliptic variational
%problems with constraints.
%{Mem. Amer. Math. Soc.} 4 (1976), no. 165.
%
%\bibitem{Anz83}
%G.\ Anzellotti:
%On the $C^{1,\alpha}$-regularity of $\omega$-minima of quadratic functionals,
%{Boll. Un. Mat. Ital. C} (6) 2 (1983), no. 1, 195--212.
%
%%\bibitem{AvcP16}
%%M.\ Avci and A.\ Pankov:
%%Multivalued elliptic operators with nonstandard growth,
%%Adv. Nonlinear Anal., to appear.
%%DOI: 10.1515/anona-2016-0043
%
%\bibitem{BarCM15}
%P.\ Baroni, M.\ Colombo and G.\ Mingione:
%Harnack inequalities for double phase functionals,
%Nonlinear Anal. 121 (2015), 206--222.
%
%\bibitem{BarCM16}
%P.\ Baroni, M.\ Colombo and G.\ Mingione:
%Non-autonomous functionals, borderline cases and related function classes,
%St Petersburg Math. J. 27 (2016), 347--379.
%
\bibitem{BarCM18}
P.\ Baroni, M.\ Colombo and G.\ Mingione:
{Regularity for general functionals with double phase},
Calc. Var. Partial Differential Equations 57 (2018), Paper No. 62, 48 pp.
%
%%\bibitem{BjoB11}
%%A. Bj\"orn and J. Bj\"orn: \emph{Nonlinear potential theory on metric spaces},
%%EMS Tracts in Mathematics, 17, European Mathematical Society (EMS), Zürich,
%%2011.
%
\bibitem{ByuO17}
S.-S. Byun and J. Oh:
{Global gradient estimates for non-uniformly elliptic equations},
Calc. Var. Partial Differential Equations 56 (2017), no. 2, Paper No. 46, 36
pp.
%
%\bibitem{BO1}
%S.-S. Byun and J. Ok:
%{On $W^{1,q(\cdot)}$-estimates for elliptic equations of $p(x)$-Laplacian
%type},
%J. Math. Pures Appl. (9) 106 (2016), no. 3, 512--545.
%
%\bibitem{ByuRS18}
%S.-S. Byun, S. Ryu and P. Shin:
%Calderon-Zygmund estimates for $\omega$-minimizers of double phase variational
%problems,
%{Appl. Math. Letters}~\textbf{86} (2018), 256--263.
%
%\bibitem{CapCF18}
%C.\ Capone, D.\ Cruz-Uribe and A.\ Fiorenza:
%A modular variable Orlicz inequality for the local maximal operator,
%Georgian Math. J. 23 (2018), no.~2, 201--206.
\bibitem{Chl18}
I.\ Chlebicka:
A pocket guide to nonlinear differential equations in Musielak--Orlicz spaces,
Nonlinear Anal.\ 175 (2018), 1--27.
%
%\bibitem{ChlGZ18}
%I.\ Chlebicka, P.\ Gwiazda and A.\ Zatorska-Goldstein:
%Well-posedness of parabolic equations in the non-reflexive and anisotropic Musielak–Orlicz spaces in the class of renormalized solutions,
%J. Differential Equations 265 (2018), no. 11, 5716--5766.
%
%\bibitem{CheLR06}
%Y.\ Chen, S.\ Levine and M.\ Rao:
%Variable exponent, linear growth functionals in image restoration,
%{SIAM J.\ Appl.\ Math.}~\textbf{66} (2006), no.~4, 1383--1406.
%
%\bibitem{CloGHP_pp18}
%A.\ Clop, R.\ Giova, F.\ Hatami and A.\ Passarelli di Napoli:
%{Congested traffic dynamics and very degenerate elliptic equations
%under supercritical Sobolev regularity},
%Preprint (2018).
%
%\bibitem{ColM15a}
%M.\ Colombo and G.\ Mingione:
%Regularity for double phase variational problems,
%Arch. Ration. Mech. Anal. 215 (2015), no. 2, 443--496.
%
%\bibitem{ColM15b}
%M.\ Colombo and G.\ Mingione:
%Bounded minimisers of double phase variational integrals,
%Arch. Ration. Mech. Anal. 218 (2015), no. 1, 219--273.
%
\bibitem{ColM16}
M.\ Colombo and G.\ Mingione:
Calder\'on--Zygmund estimates and non-uniformly elliptic operators,
J. Funct. Anal. 270 (2016), 1416--1478.
%
%%\bibitem{CosM99}
%%A.\ Coscia and G.\ Mingione:
%%Hölder continuity of the gradient of $p(x)$-harmonic mappings,
%%C. R. Acad. Sci. Paris, Sér. I 328 (1999), 363--368.
%
%\bibitem{CruF13}
%D.\ Cruz-Uribe and A.\ Fiorenza: \emph{Variable Lebesgue spaces}, Foundations
%and harmonic analysis, Birkh\"auser/Springer, Heidelberg, 2013.
%
\bibitem{CruH18}
D.\ Cruz-Uribe and P.\ H\"ast\"o:
{Extrapolation and interpolation in generalized Orlicz spaces},
Trans. Amer. Math. Soc. 370 (2018), no. 6, 4323--4349.
%
%\bibitem{CupGGP18}
%G.\ Cupini, F.\ Giannetti, R.\ Giova and A.\ Passarelli di Napoli:
%{Regularity results for vectorial minimizers of a class of
%degenerate convex integrals},
%J. Differential Equations 265 (2018), no. 9, 4375--4416.
\bibitem{DefM_pp}
C. De Filippis and G. Mingione:
Manifold constrained non-uniformly elliptic problems,
J. Geom. Anal., to appear.
%%\bibitem {DieE08}
%%L. \ Diening and F.\ Ettwein: \textit{Fractional estimates for non-
%%differentiable elliptic systems with general growth}. Forum Math. \textbf{20}
%%(3) (2008), 523-556.'
%
\bibitem{DieHHR11}
L.\ Diening, P.\ Harjulehto, P.\ H\"ast\"o and M.\ R\r u\v zi\v cka:
\emph{Lebesgue and Sobolev spaces with variable exponents},
Lecture Notes in Mathematics, 2017. Springer, Heidelberg, 2011.
%
%\bibitem{DuzGG00}
%F.\ Duzaar, A.\ Gastel and J.F.\ Grotowski:
%Partial regularity for almost minimizers of quasi-convex integrals,
%SIAM J. Math. Anal. 32 (2000), 665--687.
%
%
%\bibitem{DolEF96}
%A.\ Dolcini, L.\ Esposito and N.\ Fusco:
%$C^{0,\alpha}$ regularity of $\omega$-minima,
%Boll. Un. Mat. Ital. A (7) 10 (1996), no. 1, 113--125.
%
%\bibitem{EspM99}
%L.\ Esposito and G.\ Mingione:
%A regularity theorem for $\omega$-minimizers of integral functionals,
%Rend. Mat. Appl. (7) 19 (1999), no. 1, 17--44.
%
%\bibitem{Eke79}
%I.\ Ekeland:
%Non convex minimization problems,
%Bull. Amer. Math. Soc., (3) 1 (1979), 443--474.
%
%\bibitem{EleMM16a}
%M.\ Eleuteri, P.\ Marcellini and E.\ Mascolo:
%Lipschitz continuity for energy integrals with variable exponents,
%Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 27 (2016), no. 1, 61–87.
%
%\bibitem{EleMM16b}
%M.\ Eleuteri, P.\ Marcellini and E.\ Mascolo:
%Lipschitz estimates for systems with ellipticity conditions at infinity,
%Ann. Mat. Pura Appl. (4) 195 (2016), no. 5, 1575–1603.
%
\bibitem{EleMM18}
M.\ Eleuteri, P.\ Marcellini and E.\ Mascolo:
Regularity for scalar integrals without structure conditions,
Adv. Calc. Var., to appear. DOI: 10.1515/acv-2017-0037
%%\bibitem{Fan12}
%%X.-L.\ Fan:
%%An imbedding theorem for Musielak--Sobolev spaces,
%%Nonlinear Anal. 75 (2012), no.~4, 1959--1971.
%
%\bibitem{GiaP13}
%F.\ Giannetti and A.\ Passarelli di Napoli:
%Regularity results for a new class of functionals with
%non-standard growth conditions,
%J. Differential Equations 254 (2013) 1280--1305.
%
%\bibitem{GilT77}
%D.\ Gilbarg and N.\ S.\ Trudinger: \emph{Elliptic partial differential equations
%of second order}, Grundlehren der Mathematischen Wissenschaften, Vol. 224.
%Springer-Verlag, Berlin-New York, 1977.
%
%\bibitem{Giu03} E.\ Giusti:
%\emph{Direct Methods in the Calculus of Variations}, World Scientific,
%Singapore, 2003.
%
%\bibitem{GobZ08}
%J.\ Goblet and W.\ Zhu:
%Regularity of Dirichlet nearly minimizing multiple-valued functions,
%J. Geom. Anal. 18 (2008), no. 3, 765--794.
%
%%\bibitem{GwaWWZ12}
%%P.\ Gwiazda, P.\ Wittbold, A.\ Wróblewska and A.\ Zimmermann:
%%Renormalized solutions of nonlinear elliptic problems in generalized Orlicz
%%spaces,
%%J. Differential Equations 253 (2012), no.~2, 635--666;
%%J. Differential Equations 253 (2012), no.~9, 2734--2738.
%%
%%\bibitem{GwaWWZ15}
%%P.\ Gwiazda, P.\ Wittbold, A.\ Wróblewska and A.\ Zimmermann:
%%Renormalized solutions to nonlinear parabolic problems in generalized Musielak-
%%Orlicz spaces, Nonlinear Anal. 129 (2015), 1--36.
%
%\bibitem{GwiSZ18}
%P.\ Gwiazda, I.\ Skrzypczak and A.\ Zatorska-Goldstein:
%Existence of renormalized solutions to elliptic equation in Musielak-Orlicz space,
%J. Differential Equations 264 (2018), no.~1, 341--377.
%
%\bibitem{HarH17}
%P.\ Harjulehto and P.\ H\"ast\"o:
%Riesz potential in generalized Orlicz Spaces,
%Forum Math. 29 (2017), no. 1, 229--244.
%
\bibitem {HarH_book}
P.\ Harjulehto and P.\ Hästö: \emph{Orlicz Spaces and Generalized Orlicz Spaces},
Lecture Notes in Mathematics, vol. 2236, Springer, Cham, 2019, X+169 pages.
%
%\bibitem {HarHK17}
%P.\ Harjulehto, P.\ H\"ast\"o and A.\ Karppinen:
%Local higher integrability of the gradient of a quasiminimizer under
%generalized Orlicz growth conditions,
%Nonlinear Analysis 177 (2018), 543--552.
%
\bibitem{HarHK16}
P.\ Harjulehto, P.\ H\"ast\"o and R.\ Kl\'en:
Generalized Orlicz spaces and related PDE,
Nonlinear Anal. 143 (2016), 155--173.
%
%\bibitem{HarHLT13}
%P.\ Harjulehto, P.\ H\"ast\"o, V.\ Latvala and O.\ Toivanen:
%Critical variable exponent functionals in image restoration,
%Appl. Math. Letters 26 (2013), 56--60.
\bibitem{HarHL_pp}
P.\ Harjulehto, P.\ H\"ast\"o and M.\ Lee:
Hölder continuity of $\omega$-minimizers of functionals with generalized Orlicz growth,
Preprint (2019). arXiv:1906.01866
%\bibitem {HarHT17}
%P.\ Harjulehto, P.\ H\"ast\"o and O.\ Toivanen:
%Hölder regularity of quasiminimizers under generalized growth conditions,
%Calc. Var. Partial Differential Equations 56 (2017), no. 2, Art. 22, 26 pp.
%
%%\bibitem{HKLMP}
%%P. Harjulehto, T. Kuusi, T. Lukkari, N. Marola and M. Parviainen:
%%Harnack's inequality for quasiminimizers with non-standard growth conditions,
%%J. Math. Anal. Appl. 344 (2008), no. 1, 504--520.
%
%%\bibitem{Hed72}
%%L.I.\ Hedberg:
%%On certain convolution inequalities,
%%Proc. Amer. Math. Soc. 36 (1972), 505--510.
%
%\bibitem{Has15}
%P.\ H\"ast\"o:
%The maximal operator on generalized Orlicz spaces,
%J. Funct. Anal 269 (2015), no. 12, 4038--4048;
%J. Funct. Anal. 271 (2016), no. 1, 240--243.
\bibitem{HasO_pp}
P.\ H\"ast\"o and J.\ Ok:
Maximal regularity for non-autonomous differential equations,
Preprint (2019). arXiv:1902.00261
%%\bibitem{HasMOS10}
%%P.\ H\"ast\"o, Y.\ Mizuta, T.\ Ohno and T.\ Shimomura:
%%Sobolev inequalities for Orlicz spaces of two variable exponents,
%%Glasgow Math. J. 52 (2010), 227--240.
%
%\bibitem{HeiKM93}
%J.\ Heinonen, T.\ Kilpeläinen and O.\ Martio:
%\emph{Nonlinear potential theory of degenerate elliptic equations},
%Oxford Mathematical Monographs, Oxford Science Publications,
%The Clarendon Press, Oxford University Press, New York, 1993. vi+363 pp.
\bibitem{Kar18}
T.\ Karaman:
Hardy operators on Musielak-Orlicz spaces,
Forum Math. 30 (2018), no.~5, 1245--1254.
%\bibitem{KriM05}
%J.\ Kristensen and G.\ Mingione:
%The singular set of $\omega$-minima,
%Arch. Ration. Mech. Anal. 177 (2005), no. 1, 93--114.
%
%%\bibitem{KrySa}
%%N.\ V.\ Krylov and M.\ V.\ Safonov:
%%A property of the solutions of parabolic equations with
%%measurable coefficients,
%%(Russian) Izv. Akad. Nauk SSSR Ser. Mat. 44 (1980), 161--175.
%
%\bibitem{LanM19}
%J.\ Lang and O.\ Mendez:
%\textit{Analysis on Function Spaces of Musielak-Orlicz Type},
%Chapman \& Hall/CRC Monographs and Research Notes in Mathematics, 2019.
%
%%\bibitem{MaeMOS13a}
%%F.-Y.\ Maeda, Y.\ Mizuta, T.\ Ohno and T.\ Shimomura:
%%Boundedness of maximal operators and Sobolev's inequality on Musielak-Orlicz-
%%Morrey spaces,
%%Bull. Sci. Math. 137 (2013), 76--96.
%%
%%\bibitem{MaeMOS13b}
%%F.-Y.\ Maeda, Y.\ Mizuta, T.\ Ohno and T.\ Shimomura:
%%Approximate identities and Young type inequalities in Musielak-Orlicz spaces,
%%Czechoslovak Math. J. 63(138) (2013), no. 4, 933--948.
%
%%\bibitem{MaeMOS15}
%%F.-Y.\ Maeda, Y.\ Mizuta, T.\ Ohno and T.\ Shimomura:
%%Sobolev and Trudinger type inequalities on grand Musielak-Orlicz-Morrey spaces,
%%Ann. Acad. Sci. Fenn. Math. 40 (2015), no. 1, 403–426.
%
%\bibitem{MaeOS17}
%F.-Y. Maeda, T. Ohno and T. Shimomura:
%Boundedness of the maximal operator on Musielak-Orlicz-Morrey spaces,
%Tohoku Math. J. 69 (2017), no. 4, 483--495.
%
%\bibitem{MaeMOS13}
%F.-Y.\ Maeda, Y.\ Mizuta, T.\ Ohno and T.\ Shimomura:
%Boundedness of maximal operators and Sobolev's inequality on Musielak-Orlicz-
%Morrey spaces,
%Bull. Sci. Math. 137 (2013), no. 1, 76--96.
%
%\bibitem{Mar89}
%P.\ Marcellini:
%Regularity of minimizers of integrals of the calculus of variations with
%nonstandard growth conditions,
%Arch. Rational Mech. Anal. 105 (1989), no.~3, 267--284.
%
%\bibitem{Mar91}
%P.\ Marcellini:
%Regularity and existance of solutions of elliptic equations with $p,q$-growth
%conditions,
%{J.\ Differential Equations}~{50} (1991), no.~1, 1--30.
%
%\bibitem{Min06}
%G.\ Mingione:
%Regularity of minima: An invitation to the dark side of the calculus of
%variations,
%{Appl.\ Math.}~{51} (2006), no.~4, 355--426.
\bibitem{MizS_pp}
Y. Mizuta and T. Shimomura:
Boundary limits of monotone Sobolev functions for double phase functionals,
Osaka J. Math., to appear.
%%\bibitem{MizOS08}
%%Y. Mizuta, T. Ohno and T. Shimomura:
%%Sobolev's inequalities and vanishing
%%integrability for Riesz potentials of functions in the generalized Lebesgue
%%space $L^\px \log L^\qx$,
%%J. Math. Anal. Appl. 345 (2008), 70--85.
%
%\bibitem{Mus83}
%J. Musielak:
%\emph{Orlicz spaces and modular spaces},
%Lecture Notes in Mathematics, 1034. Springer, Berlin, 1983.
%
%%\bibitem{OhnS14}
%%T.\ Ohno and T.\ Shimomura:
%%Trudinger's inequality for Riesz potentials of functions in Musielak-Orlicz
%%spaces,
%%Bull. Sci. Math. 138 (2014), no. 2, 225--235.
%
%%\bibitem{OhnS15}
%%T.\ Ohno and T.\ Shimomura:
%%Musielak-Orlicz-Sobolev spaces on metric measure spaces,
%%Czechoslovak Math. J. 65(140) (2015), no. 2, 435--474.
%
%\bibitem{OhnS18}
%T.\ Ohno and T.\ Shimomura:
%Maximal and Riesz Potential Operators on Musielak--Orlicz Spaces Over Metric Measure Spaces,
%Integral Eqations Operator Theory 90 (2018), no.~ 6, article 62.
\bibitem{OhnS_pp}
T.\ Ohno and T.\ Shimomura:
Sobolev's inequality for Musielak-Orlicz-Morrey spaces over metric measure spaces,
J. Australian Math. Soc., to appear. doi:10.1017/S144678871900034X
%\bibitem{Ok16}
%J.\ Ok:
%Gradient estimates for elliptic equations with $L^{p(\cdot)}\log L$ growth,
%Calc. Var. Partial Differential Equations 55 (2016), no. 2, 1--30.
%%doi: 10.1007/s00526-016-0965-z.
%
%\bibitem{Ok16b}
%J.\ Ok:
%Regularity results for a class of obstacle problems with nonstandard growth,
%J. Math. Anal. Appl. 444 (2016), no. 2, 957--979.
%
%\bibitem{Ok16c}
%J.\ Ok:
%{Harnack inequality for a class of functionals with non-standard growth via
%De Giorgi's method},
%Adv. Nonlinear Anal. 7 (2018), no. 2, 167-182.
%
%\bibitem {Ok17}
%J.\ Ok:
%Regularity of $\omega$-minimizers for a class of functionals with
%non-standard growth,
%Calc. Var. Partial Differential Equations 56 (2017), no. 2, Art. 48, 31 pp.
%
%\bibitem{Orl31}
%W.\ Orlicz:
%{\"Uber konjugierte Exponentenfolgen},
%Studia Math. 3 (1931), 200--211.
%
%%\bibitem{PicR01}
%%L.\ Pick and M.\ R\r u\v zi\v cka:
%%An example of a space $L^{p(x)}$ on which the Hardy-Littlewood maximal operator
%%is not bounded,
%%Expo. Math. 19 (2001), no. 4, 369--371.
%
%\bibitem{RadR15}
%V.\ Radulescu and D.\ Repovs:
%\textit{Partial Differential Equations with Variable Exponents: Variational Methods and Qualitative Analysis},
%Chapman \& Hall/CRC Monographs and Research Notes in Mathematics, 2015.
%
%
%\bibitem{RafS17}
%H.\ Rafeiro and S.\ Samko:
%Maximal operator with rough kernel in variable Musielak-Morrey-Orlicz type
%spaces, variable Herz spaces and grand variable Lebesgue spaces,
%Integral Equations Operator Theory 89 (2017), no. 1, 111--124.
%
%\bibitem{RaoR91}
%M.\ M.\ Rao and Z.\ D.\ Ren:
%\emph{Theory of Orlicz spaces},
%Monographs and Textbooks in Pure and Applied Mathematics, 146. Marcel Dekker,
%Inc., New York, 1991.
%
%\bibitem{Ruz00}
%M.\ R\r u\v zi\v cka:
%\textit{Electrorheological fluids: modeling and mathematical theory},
%Lecture Notes in Mathematics, 1748. Springer-Verlag, Berlin, 2000.
%
%%\bibitem{Swi14}
%%A.\ \'Swierczewska-Gwiazda:
%%Nonlinear parabolic problems in Musielak--Orlicz spaces,
%%Nonlinear Anal. 98 (2014), 48--65.
%
%%\bibitem{Toivanen-2}
%%O. Toivanen:
%%Local boundedness of general minimizers with nonstandard growth,
%%Nonlinear Anal. 81 (2013), 62--69.
%
%\bibitem{YanLK17}
%D.\ Yang, Y.\ Liang and L.\ Ky:
%\textit{Real-variable theory of Musielak-Orlicz Hardy spaces}.
%Lecture Notes in Mathematics, 2182. Springer, Cham, 2017. xiii+466 pp.
%
%\bibitem{YanYZ14}
%D.\ Yang, W.\ Yuan and C.\ Zhuo:
%Musielak-Orlicz Besov-type and Triebel-Lizorkin-type spaces,
%{Rev.\ Mat.\ Complut.}~{27} (2014), no.~1, 93--157.
%
%\bibitem{ZhaR18}
%Q.\ Zhang and V.\ R\u{a}dulescu:
%Double phase anisotropic variational problems and combined effects of reaction and absorption terms,
%J. Math. Pures Appl. (9) 118 (2018), 159--203.
%
%\bibitem{Zhi86}
%V.V.\ Zhikov:
%Averaging of functionals of the calculus of variations and elasticity theory,
%Izv. Akad. Nauk SSSR Ser. Mat. 50 (1986), 675--710.
%
%
%\bibitem{Zhi95}
%V.V.\ Zhikov:
%On Lavrentiev's Phenomenon,
%Russian J. Math. Phys. 3 (1995), 249--269.
%
\end{thebibliography}
\end{document}