Nemytskii operator on \((\phi,2,\alpha )\)-bounded variation space in the sense of Riesz (Q2210498)

This paper deals with a generalization of functions of bounded variation; namely functions with bounded \((\phi,2,\alpha)\)-variation in the sense of Riesz. Let \(\phi: [0,\infty)\to [0,\infty)\) be a function such that \begin{itemize} \item[a)] \(\phi(x)=0\) if and only if \(x=0\), \item[b)] \(\lim_{x\to+\infty}\phi(x)=+\infty\), \end{itemize} known as a Young function. Consider now a real function \(f\) defined on \([a,b]\) and let \(\alpha\) be any strictly increasing continuous function defined on \([a,b]\). Let \(\Pi\) be a block partition of the interval \([a,b]\), that is, \begin{align*} \Pi: a&=x_{1,1}<x_{1,2}\le x_{1,3}<x_{1,4}=x_{2,1}<x_{2,2}\le x_{2,3}<x_{2,4}\\ &=x_{3,1}<\dotsb<x_{n-1,4}=x_{n,1}<x_{n,2}\le x_{n,3}<x_{n,4}=b. \end{align*} Writing \[ f_{\alpha}[p,q]=\frac{f(q)-f(p)}{\alpha(q)-\alpha(p)} \] one defines: \[ \sigma^{R}_{(\phi,2,\alpha)}(f,\Pi)=\sum^{n}_{j=1}\phi\left( \frac{|f_{\alpha}[x_{j,4},x_{j,3}]-f_{\alpha}[x_{j,2},x_{j,1}]|}{|\alpha(x_{j,4})-\alpha(x_{j,1})|}\right)\cdot |\alpha(x_{j,4})-\alpha(x_{j,1})|. \] When \(V^{R}_{(\phi,2,\alpha)}(f)=\sup_{\Pi}\sigma^{R}_{(\phi,2,\alpha)}(f,\Pi)<+\infty\), one says that \(f\) is of \((\phi,2,\alpha)\)-variation in the sense of Riesz. Introducing the \(\alpha\)-derivative \[ f'_{\alpha}(x_{0})=\lim_{x\to x_{0}}\frac{f(x)-f(x_{0})}{\alpha(x)-\alpha(x_{0})} \] one proves the following result: \begin{itemize}\item If \(\phi\) satisfies the conditions \(\lim_{x\to +\infty}\frac{\phi(x)}{x}=+\infty\) and \(f\in V^{R}_{(\phi,2,\alpha)}[a,b]\) (the space of functions with finite \(V^{R}_{(\phi,2,\alpha)}\) variation), then \(f'_{\alpha}(x_{0})\) exists at each point~\(x_{0}\in [a,b]\) and \(f'_{\alpha}\in V^{R}_{(\phi,2,\alpha)}[a,b]\). Moreover \[ \int^{b}_{a}\phi (|f''_{\alpha}(t)|)\,d\alpha(t)\le V_{(\phi,2,\alpha)}(f). \] \end{itemize} If \(\phi\) is a convex function, the set of functions \(f: [a,b]\to \mathbb{R}\) such that there exists \(\lambda>0\) with \(V^{R}_{(\phi,2,\alpha)}(\lambda f)<+\infty\) is denoted by \(RV_{(\phi,2,\alpha)}([a,b])\). It turns out that \(RV_{(\phi,2,\alpha)}([a,b])\) is a Banach algebra: \begin{itemize}\item If \(f,g,\in RV_{(\phi,2,\alpha)}([a,b])\), then \(f\cdot g\in RV_{(\phi,2,\alpha)}([a,b])\). \end{itemize} The superposition operator, or Nemytskii operator, defined by \(F(u(s)) = f (s, u(s))\), is the simplest among the nonlinear operators. In the space \(RV_{(\phi,2,\alpha)}([a,b])\), the Nemytskii operator is globally Lipschitz as it shows the following result: \begin{itemize}\item Let \(\phi\) be a convex \(\phi\)-function which satisfies \(\lim_{x\to +\infty}\frac{\phi(x)}{x}=+\infty\). Let \(f: [a,b]\times \mathbb{R}\to \mathbb{R}\). The Nemyskii operator associated to \(f\) defined by \begin{align*} F: RV_{(\phi,2,\alpha)}([a,b])&\longrightarrow \mathbb{R}\\ u &\longmapsto F(u) \end{align*} with \(F(u)=f(t,u(t))\), \(t\in [a,b]\) acts on \(RV_{(\phi,2,\alpha)}([a,b])\) and is globally Lipschitz, that is there exists \(K>0\) such that \[ \|F(u_{1})-F(u_{2})\|^{R}_{(\phi,2,\alpha)}\le K\|u_{1}-u_{2}\|^{R}_{(\phi,2,\alpha)},\quad t\in [a,b] \] if and only if there exists \(g,h\in RV_{(\phi,2,\alpha)}([a,b])\) such that \[ f(t,y)=g(t)y+h(t),\quad t\in [a,b],\,y\in \mathbb{R}. \] \end{itemize}