arXiv subjects
Publications and source records attributed to Luboš Pick.
The optimal constants in a class of exponential type inequalities for the Ornstein-Uhlenbeck operator in the Gauss space are detected. The existence of extremal functions in the relevant inequalities is also established. Our results disclose analogies and dissimilarities in comparison with Adams' inequality for the Laplace operator, a companion of our inequalities in the Euclidean space.
We develop a new method that enables us to solve the open problem of characterizing discrete inequalities for kernel operators involving suprema. More precisely, we establish necessary and sufficient conditions under which there exists a positive constant $C$ such that \begin{equation*} \Bigg(\sum_{n\in\mathbb{Z}}\Bigg(\sum_{i=-\infty}^n {U}(i,n) a_i\Bigg)^{q} {w}_n\Bigg)^{\frac{1}{q}} \le C \Bigg(\sum_{n\in\mathbb{Z}}a_n^p {v}_n\Bigg)^{\frac{1}{p}} \end{equation*} holds for every sequence of nonnegative numbers $\{a_n\}_{n\in\mathbb{Z}}$ where $U$ is a kernel satisfying certain regularity condition, $0 < p,q \leq \infty$ and $\{v_n\}_{n\in\mathbb{Z}}$ and $\{w_n\}_{n\in\mathbb{Z}}$ are fixed weight sequences. We do the same for the inequality \begin{equation*} \Bigg( \sum_{n\in\mathbb{Z}} w_n \Big[ \sup_{-\infty<i\le n} U(i,n) \sum_{j=-\infty}^{i} a_j \Big]^q \Bigg)^{\frac{1}{q}} \le C \Bigg( \sum_{n\in\mathbb{Z}} a_n^p v_n \Bigg)^{\frac{1}{p}}. \end{equation*} We characterize these inequalities by conditions of both discrete and continuous nature.
We give a~new proof of the known criteria for the inequality \begin{equation*} \left(\int_{0}^{\infty}\left(\int_{0}^{t}f\right)^{q}w(t)\,dt\right)^{\frac{1}{q}} \leq C \left(\int_{0}^{\infty}f^{p}v\right)^{\frac{1}{p}}. \end{equation*} The innovation is in the elementary nature of the proof and its versatility.
We investigate the relationship between the compactness of embeddings of Sobolev spaces built upon rearrangement-invariant spaces into rearrangement-invariant spaces endowed with $d$-Ahlfors measures under certain restriction on the speed of its decay on balls. We show that the gateway to compactness of such embeddings, while formally describable by means of optimal embeddings and almost-compact embeddings, is quite elusive. It is known that such a Sobolev embedding is not compact when its target space has the optimal fundamental function. We show that, quite surprisingly, such a target space can actually be "fundamentally enlarged", and yet the resulting embedding remains noncompact. In order to do that, we develop two different approaches. One is based on enlarging the optimal target space itself, and the other is based on enlarging the Marcinkiewicz space corresponding to the optimal fundamental function.
It has been known that sharp Sobolev embeddings into weak Lebesgue spaces are non-compact but the question of whether the measure of non-compactness of such an embedding equals to its operator norm constituted a well-known open problem. The existing theory suggested an argument that would possibly solve the problem should the target norms be disjointly superadditive, but the question of disjoint superadditivity of spaces $L^{p,\infty}$ has been open, too. In this paper, we solve both these problems. We first show that weak Lebesgue spaces are never disjointly superadditive, so the suggested technique is ruled out. But then we show that, perhaps somewhat surprisingly, the measure of non-compactness of a sharp Sobolev embedding coincides with the embedding norm nevertheless, at least as long as $p<\infty$. Finally, we show that if the target space is $L^{\infty}$ (which formally is also a weak Lebesgue space with $p=\infty$), then the things are essentially different. To give a comprehensive answer including this case, too, we develop a new method based on a rather unexpected combinatorial argument and prove thereby a general principle, whose special case implies that the measure of non-compactness, in this case, is strictly less than its norm. We develop a technique that enables us to evaluate this measure of non-compactness exactly.
The existence of an extremal in an exponential Sobolev type inequality, with optimal constant, in Gauss space is established. A key step in the proof is an augmented version of the relevant inequality, which, by contrast, fails for a parallel classical inequality by Moser in the Euclidean space.
The main aim of this paper to provide several scales of equivalent conditions for the bilinear Hardy inequalities in the case $1< q, p_1, p_2<\infty$ with $q \geq \max(p_1,p_2)$.
An extended version of the Maz'ya-Shaposhnikova theorem on the limit as $s\to 0^+$ of the Gagliardo-Slobodeckij fractional seminorm is established in the Orlicz space setting. Our result holds in fractional Orlicz-Sobolev spaces associated with Young functions satisfying the $Δ_2$-condition, and, as shown by counterexamples, it may fail if this condition is dropped.
The sharp constants in a family of exponential Sobolev type inequalities in Gauss space are exhibited. They constitute the Gaussian analogues of the Moser inequality in the borderline case of the Sobolev embedding in the Euclidean space. Interestingly, the Gaussian results have features in common with the Euclidean ones, but also reveal marked diversities.
The optimal Orlicz target space is exhibited for embeddings of fractional-order Orlicz-Sobolev spaces in $\mathbb R^n$. An improved embedding with an Orlicz-Lorentz target space, which is optimal in the broader class of all rearrangement-invariant spaces, is also established. Both spaces of order $s\in (0,1)$, and higher-order spaces are considered. Related Hardy type inequalities are proposed as well. An extension theorem is proved, that enables us to derive embeddings for spaces defined in Lipschitz domains. Necessary and sufficient conditions for the compactness of fractional Orlicz-Sobolev embeddings are provided.
Sobolev embeddings, of arbitrary order, are considered into function spaces on domains of $\mathbb R^n$ endowed with measures whose decay on balls is dominated by a power $d$ of their radius. Norms in arbitrary rearrangement-invariant spaces are contemplated. A comprehensive approach is proposed based on the reduction of the relevant $n$-dimensional embeddings to one-dimensional Hardy-type inequalities. Interestingly, the latter inequalities depend on the involved measure only through the power $d$. Our results allow for the detection of the optimal target space in Sobolev embeddings, for broad families of norms, in situations where customary techniques do not apply. In particular, new embeddings, with augmented target spaces, are deduced even for standard Sobolev spaces.
We study the behaviour on rearrangement-invariant spaces of such classical operators of interest in harmonic analysis as the Hardy-Littlewood maximal operator (including the fractional version), the Hilbert and Stieltjes transforms, and the Riesz potential. The focus is on sharpness questions, and we present characterisations of the optimal domain (or range) partner spaces when the range (domain) is fixed. When a rearrangement-invariant partner space exists at all, a complete characterisation of the situation is given. We illustrate the results with a variety of examples of sharp particular results involving customary function spaces.
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.
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.
The question is addressed of when a Sobolev type space, built upon a general rearrangement-invariant norm, on an $n$-dimensional domain, is a Banach algebra under pointwise multiplication of functions. A sharp balance condition among the order of the Sobolev space, the strength of the norm, and the (ir)regularity of the domain is provided for the relevant Sobolev space to be a Banach algebra. The regularity of the domain is described in terms of its isoperimetric function. Related results on the boundedness of the multiplication operator into lower-order Sobolev type spaces are also established. The special cases of Orlicz-Sobolev and Lorentz-Sobolev spaces are discussed in detail. New results for classical Sobolev spaces on possibly irregular domains follow as well.
A version of the Lebesgue differentiation theorem is offered, where the $L^p$ norm is replaced with any rearrangement-invariant norm. Necessary and sufficient conditions for a norm of this kind to support the Lebesgue differentiation theorem are established. In particular, Lorentz, Orlicz and other customary norms for which Lebesgue's theorem holds are characterized.
Optimal higher-order Sobolev type embeddings are shown to follow via isoperimetric inequalities. This establishes a higher-order analogue of a well-known link between first-order Sobolev embeddings and isoperimetric inequalities. Sobolev type inequalities of any order, involving arbitrary rearrangement-invariant norms, on open sets in $\rn$, possibly endowed with a measure density, are reduced to much simpler one-dimensional inequalities for suitable integral operators depending on the isoperimetric function of the relevant sets. As a consequence, the optimal target space in the relevant Sobolev embeddings can be determined both in standard and in non-standard classes of function spaces and underlying measure spaces. In particular, our results are applied to any-order Sobolev embeddings in regular (John) domains of the Euclidean space, in Maz'ya classes of (possibly irregular) Euclidean domains described in terms of their isoperimetric function, and in families of product probability spaces, of which the Gauss space is a classical instance.