No label defined (Q4496375)

Let \(R= (-a,a)\times (-c,c)\subset \mathbb{R}^2\) and \(L^0(R)\) the space of Lebesgue measurable functions \(f: R\to\mathbb{R}\). Let \(\varphi,\psi: \mathbb{R}\to [0,\infty)\) be even, convex functions such that \(\varphi(0)= \psi(0)= 0\), \(\varphi(u)> 0\), \(\psi(u)> 0\) for \(u>0\) and let \[ I_{\varphi,\psi}(f)= \int^b_a \varphi\Biggl(\int^d_c \psi(f(x, y)) dy\Biggr) dx. \] Let \(W\) be a nonempty abstract set of indices, filtered by a filter \({\mathcal W}\) of its subsets, and \(\mathbb{K}= (K_w)_{w\in W}\) be a kernel which is a family of kernel functions \(K_w: R\times\mathbb{R}\to \mathbb{R}\). A kernel \(\mathbb{K}\) defines a family \(\mathbb{T}= (T_w)_{w\in W}\) of operators \[ (T_w f)(x, y)= \iint_R K_w(s, t,f(s+ x,t+y)) ds dt. \] Let \(\eta\) be a modular on \(L^0(R)\). The author gives a sufficient condition in order that the family \(\mathbb{T}= (T_w)_{w\in W}\) is \((\eta, I_{\varphi,\psi})\)-Cauchy conservative, i.e. for every \(\eta\)-Cauchy family \((f_w)_{w\in W}\) the family \((T_w f_w)_{w\in W}\) is \(I_{\varphi,\psi}\)-Cauchy, where \((f_w)_{w\in W}\) is said to be \(\eta\)-Cauchy if there exists a \(\lambda> 0\) such that for every \(\varepsilon> 0\) there is a \(W_\varepsilon\in{\mathcal W}\) with the property that \(\eta[\lambda(f_{w_1}- f_{w_2})]< \varepsilon\) for all \(w_1,w_2\in W_\varepsilon\).