Showing 1–11 of 11 results for author: Křepela, M

Homogeneity of rearrangement-invariant norms

Authors: Santiago Boza, Martin Křepela, Javier Soria

Abstract: We study rearrangement-invariant spaces $X$ over $[0,\infty)$ for which there exists a function $h:(0,\infty)\to (0,\infty)$ such that \[ \|D_rf\|_X = h(r)\|f\|_X \] for all $f\in X$ and all $r>0$, where $D_r$ is the dilation operator. It is shown that this may hold only if $h(r)=r^{-\frac1p}$ for all $r>0$, in which case the norm $\|\cdot\|_X$ is called $p$-homogeneous. We investigate which types… ▽ More We study rearrangement-invariant spaces $X$ over $[0,\infty)$ for which there exists a function $h:(0,\infty)\to (0,\infty)$ such that \[ \|D_rf\|_X = h(r)\|f\|_X \] for all $f\in X$ and all $r>0$, where $D_r$ is the dilation operator. It is shown that this may hold only if $h(r)=r^{-\frac1p}$ for all $r>0$, in which case the norm $\|\cdot\|_X$ is called $p$-homogeneous. We investigate which types of r.i. spaces satisfy this condition and show some important embedding properties. △ Less

Submitted 25 March, 2025; v1 submitted 26 January, 2025; originally announced January 2025.

MSC Class: 46E30; 46B42

Rearrangement-invariant hulls of weighted Lebesgue spaces

Authors: Martin Křepela, Zdeněk Mihula, Javier Soria

Abstract: We characterize the rearrangement-invariant hull, with respect to a given measure $μ$, of weighted Lebesgue spaces. The solution leads us to first consider when this space is contained in the sum of $(L^1 + L^\infty)(R, μ)$ and the final condition is given in terms of embeddings for weighted Lorentz spaces. We characterize the rearrangement-invariant hull, with respect to a given measure $μ$, of weighted Lebesgue spaces. The solution leads us to first consider when this space is contained in the sum of $(L^1 + L^\infty)(R, μ)$ and the final condition is given in terms of embeddings for weighted Lorentz spaces. △ Less

Submitted 24 March, 2023; originally announced March 2023.

MSC Class: 46E30; 28A25; 26D15

Journal ref: J. Funct. Anal., 287(2):110454, 2024

A weak-type expression of the Orlicz modular

Authors: Martin Křepela, Zdeněk Mihula, Javier Soria

Abstract: An equivalent expression of Orlicz modulars in terms of measure of level sets of difference quotients is established. The result in a sense complements the famous Maz'ya-Shaposhnikova formula for the fractional Gagliardo-Slobodeckij seminorm and its recent extension to the setting of Orlicz functions. An equivalent expression of Orlicz modulars in terms of measure of level sets of difference quotients is established. The result in a sense complements the famous Maz'ya-Shaposhnikova formula for the fractional Gagliardo-Slobodeckij seminorm and its recent extension to the setting of Orlicz functions. △ Less

Submitted 28 April, 2022; originally announced April 2022.

Journal ref: Mediterr. J. Math. 20, Article Number 113 (2023)

Lorentz and Gale-Ryser theorems on general measure spaces

Authors: Santiago Boza, Martin Křepela, Javier Soria

Abstract: Based on the Gale-Ryser theorem for the existence of suitable $(0,1)$-matrices for different partitions of a natural number, we revisit the classical result of G. G. Lorentz regarding the characterization of a plane measurable set, in terms of its cross sections, and extend it to general measure spaces. Based on the Gale-Ryser theorem for the existence of suitable $(0,1)$-matrices for different partitions of a natural number, we revisit the classical result of G. G. Lorentz regarding the characterization of a plane measurable set, in terms of its cross sections, and extend it to general measure spaces. △ Less

Submitted 25 June, 2021; v1 submitted 7 March, 2021; originally announced March 2021.

MSC Class: 26D15; 28A35; 46E30

Discretization and antidiscretization of Lorentz norms with no restrictions on weights

Authors: Martin Křepela, Zdeněk Mihula, Hana Turčinová

Abstract: We improve the discretization technique for weighted Lorentz norms by eliminating all "non-degeneracy" restrictions on the involved weights. We use the new method to provide equivalent estimates on the optimal constant $C$ such that the inequality… ▽ More We improve the discretization technique for weighted Lorentz norms by eliminating all "non-degeneracy" restrictions on the involved weights. We use the new method to provide equivalent estimates on the optimal constant $C$ such that the inequality $$\left( \int_0^L (f^*(t))^{p_2} w(t)\,\mathrm{d}t \right)^\frac 1{p_2} \le C \left( \int_0^L \left( \int_0^t u(s)\,\mathrm{d}s \right)^{-\frac {p_1}α} \left( \int_0^t (f^*(s))^αu(s) \,\mathrm{d}s \right)^\frac {p_1}αv(t) \,\mathrm{d}t \right)^\frac 1{p_1}$$ holds for all relevant measurable functions, where $L\in(0,\infty]$, $α, p_1, p_2 \in (0,\infty)$ and $u$, $v$, $w$ are locally integrable weights, $u$ being strictly positive. It the case of weights that would be otherwise excluded by the restrictions, it is shown that additional limit terms naturally appear in the characterizations of the optimal $C$. A weak analogue for $p_1=\infty$ is also presented. △ Less

Submitted 21 May, 2021; v1 submitted 30 October, 2020; originally announced November 2020.

Comments: 23 pages

Journal ref: Revista Matemática Complutense 35 (2022), no. 2, 615--648

Solenoidal difference quotients and their application to the regularity theory of the $p$-Stokes system

Authors: Martin Křepela, Michael Růžička

Abstract: We prove existence of a solution to the divergence equation satisfying a new Bogovski-type estimate for the difference quotients. This enables us to give an alternative proof of the interior regularity of the solution to the $p$-Stokes problem, completely avoiding the pressure. Moreover, as a key preliminary result we prove boundedness of Calderón-Zygmnud operators with standard kernels in weighte… ▽ More We prove existence of a solution to the divergence equation satisfying a new Bogovski-type estimate for the difference quotients. This enables us to give an alternative proof of the interior regularity of the solution to the $p$-Stokes problem, completely avoiding the pressure. Moreover, as a key preliminary result we prove boundedness of Calderón-Zygmnud operators with standard kernels in weighted Lebesgue and Orlicz spaces over a general domain. △ Less

Submitted 25 October, 2019; v1 submitted 15 March, 2019; originally announced March 2019.

MSC Class: 42B20; 42B37; 35B65; 35B45; 35J92

Weighted inequalities for discrete iterated Hardy operators

Authors: Amiran Gogatishvili, Martin Křepela, Rastislav Oľhava, Luboš Pick

Abstract: We characterize a three-weight inequality for an iterated discrete Hardy-type operator. In the case when the domain space is a weighted space $\ell^p$ with $p\in(0,1]$, we develop characterizations which enable us to reduce the problem to another one with $p=1$. This, in turn, makes it possible to establish an equivalence of the weighted discrete inequality to an appropriate inequality for iterate… ▽ More We characterize a three-weight inequality for an iterated discrete Hardy-type operator. In the case when the domain space is a weighted space $\ell^p$ with $p\in(0,1]$, we develop characterizations which enable us to reduce the problem to another one with $p=1$. This, in turn, makes it possible to establish an equivalence of the weighted discrete inequality to an appropriate inequality for iterated Hardy-type operators acting on measurable functions defined on $\mathbb{R}$, for all cases of involved positive exponents. △ Less

Submitted 11 March, 2019; originally announced March 2019.

MSC Class: 46E30; 26D20; 47B38; 46B70

Weighted inequalities for iterated Copson integral operators

Authors: Martin Křepela, Luboš Pick

Abstract: We solve a long-standing open problem in theory of weighted inequalities concerning iterated Copson operators. We use a constructive approximation method based on a new discretization principle that is developed here. In result, we characterize all weight functions $w,v,u$ on $(0,\infty)$ for which there exists a constant $C$ such that the inequality… ▽ More We solve a long-standing open problem in theory of weighted inequalities concerning iterated Copson operators. We use a constructive approximation method based on a new discretization principle that is developed here. In result, we characterize all weight functions $w,v,u$ on $(0,\infty)$ for which there exists a constant $C$ such that the inequality $$ \left(\int_0^{\infty}\left(\int_t^\infty \left(\int_s^{\infty}h(y)\,\text{d}y\right)^mu(s) \,\text{d}s\right)^{\frac{q}{m}}w(t)\,\text{d}t\right)^{\frac{1}{q}} \le C \left(\int_0^{\infty}h(t)^pv(t)\,\text{d}t\right)^{\frac{1}{p}} $$ holds for every non-negative measurable function $h$ on $(0,\infty)$, where $p,q$ and $m$ are positive parameters. We assume that $p\geq 1$ but otherwise $p,q$ and $m$ are unrestricted. △ Less

Submitted 3 May, 2019; v1 submitted 13 June, 2018; originally announced June 2018.

MSC Class: 46E30; 47G10; 47B38; 26D10

A counterexample related to the regularity of the $p$-Stokes problem

Authors: Martin Křepela, Michael Růžička

Abstract: In this paper we construct a solenoidal vector field $\mathbf{u}$ belonging to $W^{2,q}(Ω)\cap W^{1,s}_0(Ω)$, $s \in (1,\infty)$, $q \in (1,n)$, such that $(1+|\mathbf{Du}|)^{p-2}$, $p\in (1,2)\cup(2,\infty)$, does not belong to the Muckenhoupt class $A_\infty(Ω)$. Thus, one cannot use the Korn inequality in weighted Lebesgue spaces to prove the natural regularity of the $p$-Stokes problem. In this paper we construct a solenoidal vector field $\mathbf{u}$ belonging to $W^{2,q}(Ω)\cap W^{1,s}_0(Ω)$, $s \in (1,\infty)$, $q \in (1,n)$, such that $(1+|\mathbf{Du}|)^{p-2}$, $p\in (1,2)\cup(2,\infty)$, does not belong to the Muckenhoupt class $A_\infty(Ω)$. Thus, one cannot use the Korn inequality in weighted Lebesgue spaces to prove the natural regularity of the $p$-Stokes problem. △ Less

Submitted 21 November, 2017; originally announced November 2017.

MSC Class: 76A05 35D35 35Q35

Embeddings and associated spaces of Copson-Lorentz spaces

Authors: Martin Křepela

Abstract: Let $m,p,q\in(0,\infty)$ and let $u,v,w$ be nonnegative weights. We characterize validity of the inequality \[ \left(\int_0^\infty w(t) (f^*(t))^q \, dt \right)^\frac 1q \le C \left(\int_0^\infty v(t) \left(\int_t^\infty u(s) (f^*(s))^m \,ds \right)^\frac pm \! dt \right)^\frac 1p \] for all measurable functions $f$ defined on $\mathbb{R}^n$ and provide equivalent estimates of the optimal co… ▽ More Let $m,p,q\in(0,\infty)$ and let $u,v,w$ be nonnegative weights. We characterize validity of the inequality \[ \left(\int_0^\infty w(t) (f^*(t))^q \, dt \right)^\frac 1q \le C \left(\int_0^\infty v(t) \left(\int_t^\infty u(s) (f^*(s))^m \,ds \right)^\frac pm \! dt \right)^\frac 1p \] for all measurable functions $f$ defined on $\mathbb{R}^n$ and provide equivalent estimates of the optimal constant $C>0$ in terms of the weights and exponents. The obtained conditions characterize the embedding of the Copson-Lorentz space $CL^{m,p}(u,v)$, generated by the functional \[ \|f\|_{{CL^{m,p}(u,v)}} := \left(\int_0^\infty v(t) \left(\int_t^\infty u(s) (f^*(s))^m \,ds \right)^\frac pm \! dt \right)^\frac 1p, \] into the Lorentz space $Λ^q(w)$. Moreover, the results are applied to describe the associated space of the Copson-Lorentz space ${CL^{m,p}(u,v)}$ for the full range of exponents $m,p\in(0,\infty)$. △ Less

Submitted 10 October, 2018; v1 submitted 12 December, 2016; originally announced December 2016.

MSC Class: 46E30; 47G10

Boundedness of Hardy-type operators with a kernel: integral weighted conditions for the case $0<q<1\le p<\infty$

Authors: Martin Křepela

Abstract: Let $U:[0,\infty)^2 \to [0,\infty)$ be a~measurable kernel satisfying: (i) $U(x,y)$ is nonincreasing in $x$ and nondecreasing in $y$; (ii) there exists a~constant $θ>0$ such that $U(x,z) \le θ\left( U(x,y)+U(y,z) \right)$ for all $0\le x<y<z<\infty$; (iii) $U(0,y)>0$ for all $y>0$. Let $0<q<1< p <\infty$. We prove that the weighted inequality \[ \left( \int_0^\infty \left( \int_0^t f(x)U(x… ▽ More Let $U:[0,\infty)^2 \to [0,\infty)$ be a~measurable kernel satisfying: (i) $U(x,y)$ is nonincreasing in $x$ and nondecreasing in $y$; (ii) there exists a~constant $θ>0$ such that $U(x,z) \le θ\left( U(x,y)+U(y,z) \right)$ for all $0\le x<y<z<\infty$; (iii) $U(0,y)>0$ for all $y>0$. Let $0<q<1< p <\infty$. We prove that the weighted inequality \[ \left( \int_0^\infty \left( \int_0^t f(x)U(x,t) dx \right)^q w(t) dt \right)^\frac 1q \le C \left( \int_0^\infty f^p(t)v(t)dt \right)^\frac 1p \] holds for all nonnegative measurable functions $f$ on $(0,\infty)$ if and only if \[ \left( \int_0^\infty \left( \int_t^\infty w(x)dx \right)^\frac{r}{p} w(t) \left( \int_0^t U^{p'}(z,t)v^{1-p'}(z) dy \right)^\frac{r}{p'} dt \right)^\frac 1r <\infty \] and \[ \left( \int_0^\infty \left( \int_t^\infty w(x) U^q(t,x) dx \right)^\frac{r}{p} w(t) \sup_{z\in(0,t)} U^q(z,t)\left( \int_0^z v^{1-p'}(s) ds \right)^\frac{r}{p'} dt \right)^\frac 1r <\infty, \] where $p':=\frac{p}{p-1}$ and $r:=\frac{pq}{p-q}$. Analogous conditions for the case $p=1$ and for the dual version of the inequality are also presented. △ Less

Submitted 2 February, 2016; originally announced February 2016.

MSC Class: 47G10; 26D15