Sharp weak-type inequalities for Hilbert transform and Riesz projection

The paper is devoted to the study of the weak norms of the classical operators in the vector-valued setting.

1. Let S, H denote the singular integral involution operator and the Hilbert transform on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {\mathcal{S}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p,$$ $$\left\| {\mathcal{H}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p.$$ Both inequalities are sharp.
2. Let P ₊ and P _? stand for the Riesz projection and the co-analytic projection on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {P + f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p ,$$ $$\left\| {P - f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p .$$ Both inequalities are sharp.
3. We establish the sharp versions of the estimates above in the nonperiodic case.

The results are new even if the operators act on complex-valued functions. The proof rests on the construction of an appropriate plurisubharmonic function and probabilistic techniques.     

On the existence and smoothness of a generalized solution of a nonlinear differential equation with degeneration

Let Ω be an arbitrary open set in R _n , and let σ(x) and g _i (x), i = 1, 2, ..., n, be positive functions in Ω. We prove a embedding theorem of different metrics for the spaces W _p ^r (Ω, σ, $ \vec g $ ), where r ∈ N, p ≥ 1, and $ \vec g $ (x) = (g ₁(x), g ₂(x), ..., g _n (x)), with the norm $$ \left\| {u;W_p^r (\Omega ;\sigma ,\vec g)} \right\| = \left\{ {\left\| {u;L_{p,r}^r (\Omega ;\sigma ,\vec g)} \right\|^p + \left\| {u;L_{p,r}^0 (\Omega ;\sigma ,\vec g)} \right\|^p } \right\}^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} , $$ where $$ \left\| {u;L_{p,r}^m (\Omega ;\sigma ,\vec g)} \right\| = \left\{ {\sum\limits_{\left| k \right| = m} {\int\limits_\Omega {(\sigma (x)g_1^{k_1 - r} (x)g_2^{k_2 - r} (x) \cdots g_n^{k_n - r} (x)\left| {u^{(k)} (x)} \right|)^p dx} } } \right\}^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} , $$ We use this theorem to prove the existence and uniqueness of a minimizing element U(x) ∈ W _p ^r (Ω, σ, $ \vec g $ ) for the functional $$ \Phi (u) = \sum\limits_{\left| k \right| \leqslant r} {\frac{1} {{p_k }}\int\limits_\Omega {a_k (x)} \left| {u^{(k)} (x)} \right|^{p_k } } dx - \left\langle {F,u} \right\rangle , $$ where F is a given functional. We show that the function U(x) is a generalized solution of the corresponding nonlinear differential equation. For the case in which Ω is bounded, we study the differential properties of the generalized solution depending on the smoothness of the coefficients and the right-hand side of the equation.     

Regularity for solutions to anisotropic obstacle problems

For Ω a bounded subset of R n,n 2,ψ any function in Ω with values in R∪{±∞}andθ∈W1,(q i)(Ω),let K(q i)ψ,θ(Ω)={v∈W1,(q i)(Ω):vψ,a.e.and v-θ∈W1,(q i)0(Ω}.This paper deals with solutions to K(q i)ψ,θ-obstacle problems for the A-harmonic equation-divA(x,u(x),u(x))=-divf(x)as well as the integral functional I(u;Ω)=Ωf(x,u(x),u(x))dx.Local regularity and local boundedness results are obtained under some coercive and controllable growth conditions on the operator A and some growth conditions on the integrand f.     

A Tauberian theorem for ℓ-adic sheaves on \mathbb{A} 1

Let K ∈ L ¹(?) and let f ∈ L ^∞(?) be two functions on ?. The convolution $$ \left( {K*F} \right)\left( x \right) = \int_\mathbb{R} {K\left( {x - y} \right)f\left( y \right)dy} $$ can be considered as an average of f with weight defined by K. Wiener’s Tauberian theorem says that under suitable conditions, if $$ \mathop {\lim }\limits_{x \to \infty } \left( {K*F} \right)\left( x \right) = \mathop {\lim }\limits_{x \to \infty } \int_\mathbb{R} {\left( {K*A} \right)\left( x \right)} $$ for some constant A, then $$ \mathop {\lim }\limits_{x \to \infty } f\left( x \right) = A $$ We prove the following ?-adic analogue of this theorem: Suppose K, F, G are perverse ?-adic sheaves on the affine line $ \mathbb{A} $ over an algebraically closed field of characteristic p (p ≠ ?). Under suitable conditions, if $ \left( {K*F} \right)|_{\eta _\infty } \cong \left( {K*G} \right)|_{\eta _\infty } $ , then $ F|_{\eta _\infty } \cong G|_{\eta _\infty } $ , where η _∞ is the spectrum of the local field of $ \mathbb{A} $ at ∞.     

On oscillatory integral Hilbert transformation with trigonometric polynomial phase

Let $ \mathcal{P}_n $ denote the set of algebraic polynomials of degree n with the real coefficients. Stein and Wpainger [1] proved that $$ \mathop {\sup }\limits_{p( \cdot ) \in \mathcal{P}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{ip(x)} }} {x}dx} } \right| \leqslant C_n , $$ where C _n depends only on n. Later A. Carbery, S. Wainger and J. Wright (according to a communication obtained from I. R. Parissis), and Parissis [3] obtained the following sharp order estimate $$ \mathop {\sup }\limits_{p( \cdot ) \in \mathcal{P}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{ip(x)} }} {x}dx} } \right| \sim \ln n. $$ . Now let $ \mathcal{T}_n $ denote the set of trigonometric polynomials $$ t(x) = \frac{{a_0 }} {2} + \sum\limits_{k = 1}^n {(a_k coskx + b_k sinkx)} $$ with real coefficients a _k , b _k . The main result of the paper is that $$ \mathop {\sup }\limits_{t( \cdot ) \in \mathcal{T}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{it(x)} }} {x}dx} } \right| \leqslant C_n , $$ with an effective bound on C _n . Besides, an analog of a lemma, due to I. M. Vinogradov, is established, concerning the estimate of the measure of the set, where a polynomial is small, via the coefficients of the polynomial.     

A sequential implicit function theorem for the chords iteration

In this paper we study the local convergence of the method $$0 \in f\left( {p,x_k } \right) + A\left( {x_{k + 1} - x_k } \right) + F\left( {x_{k + 1} } \right),$$ in order to find the solution of the generalized equation $$find x \in X such that 0 \in f\left( {p,x} \right) + F\left( x \right).$$ We first show that under the strong metric regularity of the linearization of the associated mapping and some additional assumptions regarding dependence on the parameter and the relation between the operator A and the Jacobian $\nabla _x f\left( {\bar p,\bar x} \right)$ , we prove linear convergence of the method which is uniform in the parameter p. Then we go a step further and obtain a sequential implicit function theorem describing the dependence of the set of sequences of iterates of the parameter.     

Pointwise estimates for Lagrange interpolation polynomials

Let f ∈ C[?1, 1]. Let the approximation rate of Lagrange interpolation polynomial of f based on the nodes $ \left\{ {\cos \frac{{2k - 1}} {{2n}}\pi } \right\} \cup \{ - 1,1\} $ be Δ _{n + 2}(f, x). In this paper we study the estimate of Δ _{n + 2}(f,x), that keeps the interpolation property. As a result we prove that $$ \Delta _{n + 2} (f,x) = \mathcal{O}(1)\left\{ {\omega \left( {f,\frac{{\sqrt {1 - x^2 } }} {n}} \right)\left| {T_n (x)} \right|\ln (n + 1) + \omega \left( {f,\frac{{\sqrt {1 - x^2 } }} {n}\left| {T_n (x)} \right|} \right)} \right\}, $$ where T _n (x) = cos (n arccos x) is the Chebeyshev polynomial of first kind. Also, if f ∈ C ^r [?1, 1] with r ≧ 1, then $$ \Delta _{n + 2} (f,x) = \mathcal{O}(1)\left\{ {\frac{{\sqrt {1 - x^2 } }} {{n^r }}\left| {T_n (x)} \right|\omega \left( {f^{(r)} ,\frac{{\sqrt {1 - x^2 } }} {n}} \right)\left( {\left( {\sqrt {1 - x^2 } + \frac{1} {n}} \right)^{r - 1} \ln (n + 1) + 1} \right)} \right\}. $$      

Short exponential sums with a non-integer power of a natural number

The following nontrivial estimate is obtained for short exponential sums: $$Sc\left( {\alpha ,x,y} \right) = \sum\limits_{x - y < n \leqslant x} {e\left( {\alpha \left[ {n^c } \right]} \right) < < y\ln ^A x,}$$ where $y \geqslant x^{\tfrac{1} {2}} \ln ^A x,x^{1 - c} y^{ - 1} \ln ^A x \leqslant \left| \alpha \right| \leqslant 0.5$ , c > 2 and ∥c∥ ≥ δ, A is a fixed positive number, and $\delta = \delta \left( {x,c,A} \right) = \left( {2^{\left[ c \right] + 1} - 1} \right)\left( {A + 2.5} \right) \cdot \frac{{\ln \ln x}} {{\ln x}}$ .     

New Orlicz variants of Hardy type inequalities with power, power-logarithmic, and power-exponential weights

We obtain Hardy type inequalities $$\int_0^\infty {M\left( {\omega \left( r \right)\left| {u\left( r \right)} \right|} \right)\rho \left( r \right)dr} \leqslant C_1 \int_0^\infty {M\left( {\left| {u\left( r \right)} \right|} \right)\rho \left( r \right)dr + C_2 \int_0^\infty {M\left( {\left| {u'\left( r \right)} \right|} \right)\rho \left( r \right)dr,} }$$ and their Orlicz-norm counterparts $$\left\| {\omega u} \right\|_{L^M (\mathbb{R}_ + ,\rho )} \leqslant \tilde C_1 \left\| u \right\|_{L^M (\mathbb{R}_ + ,\rho )} + \tilde C_2 \left\| {u'} \right\|_{L^M (\mathbb{R}_ + ,\rho )} ,$$ with an N-function M, power, power-logarithmic and power-exponential weights ??, ??, holding on suitable dilation invariant supersets of C ₀ ^?? (?₊). Maximal sets of admissible functions u are described. This paper is based on authors?? earlier abstract results and applies them to particular classes of weights.     

A Landesman-Lazer Type Theorem for Periodic Solutions of the Resonant Asymmetric ρ-Laplacian Equation

In this paper, we give a Landesman-Lazer type theorem for periodic solutions of the asymmetric 1-dimensional p-Laplacian equation -（｜x＇｜^p-2x＇）＇=λ｜x｜^p-2x＋＋μ｜x｜^p-2x-＋f（t,x）with periodic boundary value.     

On a result of Hardy and Littlewood concerning Fourier series

Let f ∈ L ¹( $ \mathbb{T} $ ) and assume that $$ f\left( t \right) \sim \frac{{a_0 }} {2} + \sum\limits_{k = 1}^\infty {\left( {a_k \cos kt + b_k \sin kt} \right)} $$ Hardy and Littlewood [1] proved that the series $ \sum\limits_{k = 1}^\infty {\frac{{a_k }} {k}} $ converges if and only if the improper Riemann integral $$ \mathop {\lim }\limits_{\delta \to 0^ + } \int_\delta ^\pi {\frac{1} {x}} \left\{ {\int_{ - x}^x {f(t)dt} } \right\}dx $$ exists. In this paper we prove a refinement of this result.     

Realization of Boolean functions by formulas in continuous bases containing a continuum of constants

For an arbitrary Boolean function of n variables, we show how to construct formulas of complexity O(2 ^n/2) in the bases $$\left\{ {x - y,xy,\left| x \right|} \right\}\bigcup {\left[ {0,1} \right], } \left\{ {x - y,x*y,2x,\left| x \right|} \right\}\bigcup {\left[ {0,1} \right],}$$ , where x * y = max(?1, min(1, x))max(?1, min(1, y)). The obtained estimates are, in general, order-sharp.     

An estimate of the solutions of a stationary problem for the Navier-Stokes equations

It is shown that the solutions of a nonlinear stationary problem for the Navier-Stokes equations in a bounded domain Ω ? ?³ with boundary conditions $\vec \upsilon \left| {_{\partial \Omega } } \right. = \vec a(x)$ satisfy the inequality $\left. {_{x \in \Omega }^{\sup } } \right|\left. {\vec v(x)} \right| \leqslant c\left( {\left. {_{x \in \partial \Omega }^{\sup } } \right|\left. {\vec a(x)} \right|} \right)$ for arbitrary Reynolds numbers. Bibliography: 9 titles.     

The Hardy–Rellich Inequality and Uncertainty Principle on the Sphere

Let \(\Delta _0\) be the Laplace–Beltrami operator on the unit sphere \(\mathbb {S}^{d-1}\) of \({\mathbb R}^d\) . We show that the Hardy–Rellich inequality of the form $$\begin{aligned} \mathop \int \limits _{\mathbb {S}^{d-1}} \left| f (x)\right| ^2 \mathrm{d}{\sigma }(x) \le c_d \min _{e\in \mathbb {S}^{d-1}} \mathop \int \limits _{\mathbb {S}^{d-1}} (1- {\langle }x, e {\rangle }) \left| (-\Delta _0)^{\frac{1}{2}}f(x) \right| ^2 \mathrm{d}{\sigma }(x) \end{aligned}$$ holds for \(d =2\) and \(d \ge 4\) but does not hold for \(d=3\) with any finite constant, and the optimal constant for the inequality is \(c_d = 8/(d-3)^2\) for \(d =2, 4, 5,\) and, under additional restrictions on the function space, for \(d\ge 6\) . This inequality yields an uncertainty principle of the form $$\begin{aligned} \min _{e\in \mathbb {S}^{d-1}} \mathop \int \limits _{\mathbb {S}^{d-1}} (1- {\langle }x, e {\rangle }) |f(x)|^2 \mathrm{d}{\sigma }(x) \mathop \int \limits _{\mathbb {S}^{d-1}}\left| \nabla _0 f(x)\right| ^2 \mathrm{d}{\sigma }(x) \ge c'_d \end{aligned}$$ on the sphere for functions with zero mean and unit norm, which can be used to establish another uncertainty principle without zero mean assumption, both of which appear to be new.     

Two inequalities for pseudo-differential operators

Изучается ограничен ность псевдодиффере нциальных операторов на \(L^2 (R^n )\) и на пр остранствах Харди в \(R^n \) . Пусть \(D_k = \{ \xi \in R^n :2^{k - 1} \leqq \left| \xi \right|< 2^k \} , k = 1,2,3, \ldots ,\) и \(D_0 = \{ \xi \in R^n :\left| \xi \right|< 1\} \) . Псевдодиффер енциальный операторP с символом p определяется соотно шением $$Pf(x) = \int\limits_{R^n } {e^{ix \cdot \xi } p(x,\xi )\hat f(\xi )d\xi ,x \in R^n .} $$ Будем говорить, что p пр инадлежит классу \(\bar S_{\varrho ,} {}_\delta (M,N), 0 \leqq \delta ,\varrho \leqq 1\) , ес ли $$\left| {D_x^a p(x,\xi )} \right| \leqq C_a (1 + \left| \xi \right|)^{\delta \left| a \right|} , x,\xi \in R^n ,\left| a \right| \leqq M,$$ и $$\int\limits_{D_k } {\left| {D_x^a D_\xi ^\beta p(x,\xi )} \right|d\xi \leqq C_{a\beta } 2^{kn} 2^{k(\delta |a| - \varrho |\beta |)} , x} \in R^n , k = 0,1,2, \ldots ;|a| \leqq M, |\beta | \leqq N.$$ Изучаются условия, ко торым должны удовлет ворять ?. δ,M иN, чтобы для каждого символа \(p \in \bar S_\varrho , {}_\delta (M,N)\) соответствующий оп ераторP был ограниче н на \(L^2 (R^n )\) . Далее, пусть \(p \in S_\varrho , {}_\delta \) , если дл я всех мультииндексо в а и β выполнено условие $$|D_x^a D_\xi ^\beta p(x,\xi )| \leqq C_{a\beta } (1 + |\xi |)^{\delta |\alpha | - \varrho |\beta |} , x,\xi \in R^n .$$ Доказывается, что при 0≦δ<1 операторP отображ ает пространство Харди \(H^p (R^n )\) в локальное пространство Харди ? ^p , если символp принадл ежит классуS ₁, δ.     

Sharp constants in the doubly weighted Hardy-Littlewood-Sobolev inequality

It is well known that the doubly weighted Hardy-Littlewood-Sobolev inequality is as follows,Z Rn Z Rn f(x)g(y)|x||x.y||y|dxdy6 B(p,q,,,,n)kfkLp(Rn)kgkLq(Rn).The main purpose of this paper is to give the sharp constants B(p,q,,,,n)for the above inequality for three cases:(i)p=1 and q=1;(ii)p=1 and 1q 6∞,or 1p 6∞and q=1;(iii)1p,q∞and 1p+1q=1.In addition,the explicit bounds can be obtained for the case 1p,q∞and 1p+1q1.     

Sensitivity of best recovery in the Sobolev spaces W_\infty ^{r,d} , \widetilde W_\infty ^{r,d}for perturbed sampling

Let $I^d $ be the d‐dimensional cube, $I^d = [0,1]^d $ , and let $F \ni f \mapsto Sf \in L_\infty (I^d ) $ be a linear operator acting on the Sobolev space F, where Fis either $$$$ or $$$$ where $$\left\| f \right\|_F = \sum\limits_{\left| m \right| = r} {\mathop {{\text{esssup}}}\limits_{x \in I^d } \left| {\frac{{\partial f^{\left| m \right|} }} {{\partial x_1^{m_1 } \partial x_2^{m_2 } \cdot \cdot \cdot \partial x_d^{m_d } }}(x)} \right|.} $$ We assume that the problem elements fsatisfy the condition $\sum\nolimits_{\left| m \right| = r} {{\text{esssup}}} _{x \in I^d } \left| {f^{(m)} (x)} \right| \leqslant 1 $ and that Sis continuous with respect to the supremum norm. We study sensitivity of optimal recovery of Sfrom inexact samples of ftaken at npoints forming a uniform grid on $I^d $ . We assume that the inaccuracy in reading the sample vector is measured in the pth norm and bounded by a nonnegative number δ. The sensitivity is defined by the difference between the optimal errors corresponding to the exact and perturbed readings, respectively. Our main result is that this difference is bounded by $\mathcal{A}\delta $ , where $\mathcal{A} $ is a positive constant independent of the number of samples. This indicates that the curse of dimension, which badly affects the optimal errors, does not extend to sensitivity.     

Gaussian Integral Means of Entire Functions

For an entire function \(f:\mathbb C\mapsto \mathbb C\) and a triple \((p,\alpha , r)\in (0,\infty )\times (-\infty ,\infty )\times (0,\infty ]\) , the Gaussian integral mean of \(f\) (with respect to the area measure \(dA\) ) is defined by $$\begin{aligned} {\mathsf M}_{p,\alpha }(f,r)=\left( \,\, {\int \limits _{|z| Via deriving a maximum principle for \({\mathsf M}_{p,\alpha }(f,r)\) , we establish not only Fock–Sobolev trace inequalities associated with \({\mathsf M}_{p,p/2}(z^m f(z),\infty )\) (as \(m=0,1,2,\ldots \) ), but also convexities of \(r\mapsto \ln {\mathsf M}_{p,\alpha }(z^m,r)\) and \(r\mapsto {\mathsf M}_{2,\alpha <0}(f,r)\) in \(\ln r\) with \(0 .     

Applications of weighted estimates of Calderon’s commutators

The paper introduces singular integral operators of a new type defined in the space L ^p with the weight function on the complex plane. For these operators, norm estimates are derived. Namely, if V is a complex-valued function on the complex plane satisfying the condition |V(z) ? V(??)| ?? w|z ? ??| and F is an entire function, then we put $$P_F^* f(z) = \mathop {\sup }\limits_{\varepsilon > 0} \left| {\int\limits_{\left| {\zeta - z} \right| > \varepsilon } {F\left( {\frac{{V(\zeta ) - V(z)}} {{\zeta - z}}} \right)\frac{{f(\zeta )}} {{\left( {\zeta - z} \right)^2 }}d\sigma (\zeta )} } \right|.$$ It is shown that if the weight function ?? is a Muckenhoupt A _p weight for 1 < p < ??, then $$\left\| {P_F^* f} \right\|_{p,\omega } \leqslant C(F,w,p)\left\| f \right\|_{p,\omega } .$$ .