Kriterien in der Theorie der Gleichverteilung

It is the aim of this paper to introduce two new notions of discrepancy. They are defined by the formulas $$\begin{gathered} \Delta _N^r \left( {\omega ;f} \right) = \mathop {\sup }\limits_{\left| z \right| = r} \left| {\left( {{1 \mathord{\left/ {\vphantom {1 N}} \right. \kern-\nulldelimiterspace} N}} \right)\sum\limits_{n = 1}^N {f\left( {z e^2 \pi i\omega \left( n \right)} \right)} - f\left( 0 \right)} \right|, and \hfill \\ \delta _N^r \left( {\omega ;f} \right) = \mathop {\sup }\limits_{\left| z \right| = r} \left| {\left( {{1 \mathord{\left/ {\vphantom {1 N}} \right. \kern-\nulldelimiterspace} N}} \right)\sum\limits_{n = 1}^N {f\left( {z \omega \left( n \right)} \right)} \cdot z - \int\limits_0^z {f\left( \zeta \right)d\zeta } } \right|, \hfill \\ \end{gathered} $$ wheref is a holomorphic function defined in the unit disc withf ^(k) (0)≠0 for allk∈?,r<1 is a positive number, and ω is a sequence in [0, 1]. The first of these discrepancies can be generalized for multidimensional sequences. ω is uniform distributed if and only if lim _N→∞ Δ _N ^r (ω;f)=0 resp. lim _N→∞δ _N ^r (ω;f)=0. These results are proved in a quantitative way by estimating the classical discrepancyD _N (ω) by means ofΔ _N ^r (ω;f) and δ _N ^r (ω;f): $$\begin{gathered} \Delta _N^r \left( {\omega ;f} \right) \ll D_N \left( \omega \right) \ll \Phi \left( {\Delta _N^r \left( {\omega ;f} \right)} \right), \hfill \\ \delta _N^r \left( {\omega ;f} \right) \ll D_N \left( \omega \right) \ll \Psi \left( {\delta _N^r \left( {\omega ;f} \right)} \right). \hfill \\ \end{gathered} $$ The functions Φ and Ψ only depend onf andr. These estimations are based on the inequalities ofKoksma-Hlawka andErdös-Turán.     

Estimation of the remainder of a cubature formula on a Chebyshev grid

Let C(Q) denote the space of continuous functions f(x, y) in the square Q = [?1, 1] × [?1, 1] with the norm $\begin{gathered} \left\| f \right\| = \max \left| {f(x,y)} \right|, \hfill \\ (x,y) \in Q. \hfill \\ \end{gathered} $ On a Chebyshev grid, a cubature formula of the form $\int\limits_{ - 1}^1 {\int\limits_{ - 1}^1 {\frac{1} {{\sqrt {(1 - x^2 )(1 - y^2 )} }}f(x,y)dxdy = \frac{{\pi ^2 }} {{mn}}\sum\limits_{i = 1}^n {\sum\limits_{j = 1}^m {f\left( {\cos \frac{{2i - 1}} {{2n}}\pi ,\cos \frac{{2j - 1}} {{2m}}\pi } \right)} + R_{m,n} (f)} } } $ is considered in some class H(r ₁, r ₂) of functions f ?? C(Q) defined by a generalized shift operator. The remainder R _{m, n} (f) is proved to satisfy the estimate $\mathop {\sup }\limits_{f \in H(r_1 ,r_2 )} \left| {R_{m,n} (f)} \right| = O(n^{ - r_1 + 1} + m^{ - r_2 + 1} ), $ where r ₁, r ₂ > 1; ??^?1 ?? n/m ?? ?? with ?? > 0; and the constant in O(1) depends on ??.     

Estimation of the remainder of a cubature formula on a Chebyshev grid for two-variable functions

For a cubature formula of the form $$\int\limits_0^{2\pi } {\int\limits_0^{2\pi } {f(x,y)dxdy = \frac{{4\pi ^2 }} {{mn}}\sum\limits_{i = 0}^{n - 1} {\sum\limits_{j = 0}^{m - 1} {f\left( {\frac{{2\pi i}} {n},\frac{{2\pi j}} {m}} \right) + R_{n,m} (f)} } } }$$ on a Chebyshev grid, the remainder R _n,m (f) is proved to satisfy the sharp estimate $$\mathop {\sup }\limits_{f \in H\left( {r_1 ,r_2 } \right)} \left| {R_{n,m} (f)} \right| = O\left( {n^{ - r_1 + 1} + m^{ - r_1 + 1} } \right)$$ in some class of functions H(r ₁, r ₂) defined by a generalized shift operator. Here, r ₁, r ₂ > 1; ??^?1 ?? n/m ?? ?? with ?? > 0; and the constant in the O-term depends only on ??.     

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.     

Embeddings of weighted sobolev spaces and generalized Caffarelli-Kohn-Nirenberg inequalities

We characterize all the real numbers a, b, c and 1 ?? p, q, r < ?? such that the weighted Sobolev space $$W_{\{ a,b\} }^{\{ q,q\} }({R^N}\backslash \{ 0\} ): = \{ u \in L_{loc}^1({R^N}\backslash \{ 0\} ):{\left| x \right|^{a/q}} \in {L^q}({R^{N),}}{\left| x \right|^{b/p}}\nabla u \in {({L^p}({R^N}))^N}\} $$ is continuously embedded into $${L^r}({R^N};{\left| x \right|^c}dx): = \{ u \in L_{loc}^1({R^N}\backslash \{ 0\} ):{\left| x \right|^{c/r}}u \in {L^r}({R^N})\} $$ with norm ??·?? _c,r . It turns out that, except when N ?? 2 and a = c = b ? p = ?N, such an embedding is equivalent to the multiplicative inequality $${\left\| u \right\|_{c,r}} \le C\left\| {\nabla u} \right\|_{b,p}^\theta \left\| u \right\|_{a,q}^{1 - \theta }$$ for some suitable ?? ?? [0, 1], which is often but not always unique. If a, b, c > ?N, then C ₀ ^?? (? ^N ) ? W _{a,b} ^(q,p) (? ^N {0}) ?? L ^r (? ^N ; |x| ^c dx) and such inequalities for u ?? C ₀ ^?? (? ^N ) are the well-known Caffarelli-Kohn-Nirenberg inequalities; but their generalization to W _{a,b} ^(q,p) (? ^N {0}) cannot be proved by a denseness argument. Without the assumption a, b, c > ?N, the inequalities are essentially new, even when u ?? C ₀ ^?? (? ^N {0}), although a few special cases are known, most notably the Hardy-type inequalities when p = q. In a different direction, the embedding theorem easily yields a generalization when the weights |x| ^a , |x| ^b and |x| ^c are replaced with more general weights w _a ,w _b and w _c , respectively, having multiple power-like singularities at finite distance and at infinity.     

Decay estimates for nonlinear nonlocal diffusion problems in the whole space

In this paper, we obtain bounds for the decay rate in the L ^r (? ^d )-norm for the solutions of a nonlocal and nonlinear evolution equation, namely, $$u_t \left( {x,t} \right) = \int_{\mathbb{R}^d } {K\left( {x,y} \right)\left| {u\left( {y,t} \right) - u\left( {x,t} \right)} \right|^{p - 2} \left( {u\left( {y,t} \right) - u\left( {x,t} \right)} \right)dy, x \in \mathbb{R}^d , t > 0.}$$ . We consider a kernel of the form K(x, y) = ψ(y?a(x)) + ψ(x?a(y)), where ψ is a bounded, nonnegative function supported in the unit ball and a is a linear function a(x) = Ax. To obtain the decay rates, we derive lower and upper bounds for the first eigenvalue of a nonlocal diffusion operator of the form $$T\left( u \right) = - \int_{\mathbb{R}^d } {K\left( {x,y} \right)\left| {u\left( y \right) - u\left( x \right)} \right|^{p - 2} \left( {u\left( y \right) - u\left( x \right)} \right)dy, 1 \leqslant p < \infty .}$$ . The upper and lower bounds that we obtain are sharp and provide an explicit expression for the first eigenvalue in the whole space ? ^d : $$\lambda _{1,p} \left( {\mathbb{R}^d } \right) = 2\left( {\int_{\mathbb{R}^d } {\psi \left( z \right)dz} } \right)\left| {\frac{1} {{\left| {\det A} \right|^{1/p} }} - 1} \right|^p .$$ Moreover, we deal with the p = ∞ eigenvalue problem, studying the limit of λ _1,p ^1/p as p→∞.     

Existence of solutions for the critical elliptic system with inverse square potentials

Let Ω ? 0 be an open bounded domain in R ^N (N ≥ 3) and $2^* (s) = \tfrac{{2(N - s)}} {{N - 2}}$ , 0 < s < 2. We consider the following elliptic system of two equations in H ₀ ¹ (Ω) × H ₀ ¹ (Ω): $$- \Delta u - t\frac{u} {{\left| x \right|^2 }} = \frac{{2\alpha }} {{\alpha + \beta }}\frac{{\left| u \right|^{\alpha - 2} u\left| v \right|^\beta }} {{\left| x \right|^s }} + \lambda u, - \Delta v - t\frac{v} {{\left| x \right|^2 }} = \frac{{2\beta }} {{\alpha + \beta }}\frac{{\left| u \right|^\alpha \left| v \right|^{\beta - 2} v}} {{\left| x \right|^s }} + \mu v,$$ where λ, µ > 0 and α, β > 1 satisfy α + β = 2*(s). Using the Moser iteration, we prove the asymptotic behavior of solutions at the origin. In addition, by exploiting the Mountain-Pass theorem, we establish the existence of solutions.     

Commutators of Marcinkiewicz integral with rough kernels on Sobolev spaces

In this paper, the authors give the boundedness of the commutator [b, ??_??,?? ] from the homogeneous Sobolev space $\dot L_\gamma ^p \left( {\mathbb{R}^n } \right)$ to the Lebesgue space L ^p (? ⁿ ) for 1 < p < ??, where ??_??,?? denotes the Marcinkiewicz integral with rough hypersingular kernel defined by $\mu _{\Omega ,\gamma } f\left( x \right) = \left( {\int_0^\infty {\left| {\int_{\left| {x - y} \right| \leqslant t} {\frac{{\Omega \left( {x - y} \right)}} {{\left| {x - y} \right|^{n - 1} }}f\left( y \right)dy} } \right|^2 \frac{{dt}} {{t^{3 + 2\gamma } }}} } \right)^{\frac{1} {2}} ,$ , with ?? ?? L ¹(S ^n?1) for $0 < \gamma < min\left\{ {\frac{n} {2},\frac{n} {p}} \right\}$ or ?? ?? L(log⁺ L) ^?? (S ^n?1) for $\left| {1 - \frac{2} {p}} \right| < \beta < 1\left( {0 < \gamma < \frac{n} {2}} \right)$ , respectively.     

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.     

On the homogenization of noncoercive variational problems

The paper deals with variational problems of the form $$\mathop {\inf }\limits_{u \in W^{1,p} (\Omega )} \int\limits_\Omega {a(\varepsilon ^{ - 1} x)(\left| {\nabla u} \right|^p + \left| {u - g} \right|^p )} dx,$$ where Ω is a bounded Lipschitzian domain in ? ^N , g∈L^p(Ω). The function a(x) is assumed to satisfy the following conditions:

1. a(x) is periodic and lower semicontinuous;
2. 0≤a(x)≤1 and the set {∈? ^N , a(x)>0} is connected in ? ^N Under these conditions, basic properties of homogenization (convergence of energies and generalized solutions) and properties of Г-convergence type are proved. Bibliography: 3 titles.

     

Solvability of the Dirichlet problem for degenerate quasilinear elliptic equations

In a bounded domain of the n -dimensional (n?2) space one considers a class of degenerate quasilinear elliptic equations, whose model is the equation $$\sum\limits_{i = 1}^n {\frac{{\partial F}}{{\partial x_i }}} (a^{\ell _i } (u)\left| {u_{x_i } } \right|^{m_i - 2} u_{x_i } ) = f(x),$$ where x =(x₁,..., x_r), l_i?0, m_i>1, the function f is summable with some power, the nonnegative continuous function a(u) vanishes at a finite number of points and satisfies \(\frac{{lim}}{{\left| u \right| \to \infty }}a(u) > 0\) . One proves the existence of bounded generalized solutions with a finite integral $$\int\limits_\Omega {\sum\limits_{i = 1}^n {a^{\ell _i } (u)\left| {u_{x_i } } \right|^{m_i } dx} }$$ of the Dirichlet problem with zero boundary conditions.     

Regularity results for a class of obstacle problems in Heisenberg groups

We study regularity results for solutions u ∈ HW ^1,p (Ω) to the obstacle problem $$\int_\Omega \mathcal{A} \left( {x,\nabla _{\mathbb{H}^u } } \right)\nabla _\mathbb{H} \left( {v - u} \right)dx \geqslant 0 \forall v \in \mathcal{K}_{\psi ,u} \left( \Omega \right)$$ such that u ? ψ a.e. in Ω, where $xxx$ , in Heisenberg groups ? ⁿ . In particular, we obtain weak differentiability in the T-direction and horizontal estimates of Calderon-Zygmund type, i.e. $$\begin{gathered} T\psi \in HW_{loc}^{1,p} \left( \Omega \right) \Rightarrow Tu \in L_{loc}^p \left( \Omega \right), \hfill \\ \left| {\nabla _{\mathbb{H}\psi } } \right|^p \in L_{loc}^q \left( \Omega \right) \Rightarrow \left| {\nabla _{\mathbb{H}^u } } \right|^p \in L_{loc}^q \left( \Omega \right), \hfill \\ \end{gathered}$$ where 2 < p < 4, q > 1.     

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.     

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 } .$$ .     

Ground state and multiple solutions for a critical exponent problem

We study the following Brezis?CNirenberg type critical exponent equation which is related to the Yamabe problem: $$-\Delta u=\lambda u+ |u|^{2^{\ast}-2}u, \quad u\in H_0^1 (\Omega),$$ where ?? is a smooth bounded domain in ${{\mathbb R}^N(N\ge3)}$ and 2^* is the critical Sobolev exponent. We show that, if N ?? 5, this problem has at least ${\lceil\frac{N+1}{2}\rceil}$ pairs of nontrivial solutions for each fixed ?? ?? ??₁, where ??₁ is the first eigenvalue of ??? with the Dirichlet boundary condition. For N ?? 3, we give energy estimates from below for ground state solutions.     

Global integrability for minimizers of anisotropic functionals

We consider integral functionals in which the density has growth p _i with respect to ${\frac{\partial u}{\partial x_i}}$ , like in $$\int\limits_{\Omega}\left( \left| \frac{\partial u}{\partial x_1}(x) \right|^{p_1} + \left|\frac{\partial u}{\partial x_2}(x)\right|^{p_2} + \cdots + \left|\frac{\partial u}{\partial x_n}(x) \right|^{p_n} \right) dx.$$ We show that higher integrability of the boundary datum forces minimizer to be more integrable.     

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 ∞.     

Strong approximation of Riesz means at critical index on Hp(T) (0<p≤1)

This paper is a continuation of [3]. Suppose f∈H^p(T), 0σ _r ^σ f,σ=1/p?1. When p=1, it is just the partial Fourier sums S_kf. In this paper we establish the sharp estimations on the degree of approximation: $$\left\{ { - \frac{1}{{logR}}\int\limits_1^R {\left\| {\sigma _r^\delta f - f} \right\|_{H^p (T)}^p \frac{{dr}}{r}} } \right\}^{1/p} \leqq C{\mathbf{ }}{}_p\omega \left( {f,{\mathbf{ }}( - \frac{1}{{logR}})^{1/p} } \right)_{H^p (T)} ,0< p< 1,$$ and \(\frac{1}{{\log L}}\sum\limits_{k - 1}^L {\frac{{\left\| {S_k f - f} \right\|_H 1_{(T)} }}{k} \leqq Cp\omega (f; - \frac{1}{{\log L}})_H 1_{(T)} } \) Where $$\omega (f,{\mathbf{ }}h)_{H^p (T)} \begin{array}{*{20}c} { = Sup} \\ {0 \leqq \left| u \right| \leqq h} \\ \end{array} \left\| {f( \cdot + u) - f( \cdot )} \right\|_{H^p (T).} $$ .     

On the discrepancy function in arbitrary dimension, close to L 1

Let A _N to be N points in the unit cube in dimension d, and consider the discrepancy function $$ D_N (\vec x): = \sharp \left( {\mathcal{A}_N \cap \left[ {\vec 0,\vec x} \right)} \right) - N\left| {\left[ {\vec 0,\vec x} \right)} \right| $$ Here, $$ \vec x = \left( {\vec x,...,x_d } \right),\left[ {0,\vec x} \right) = \prod\limits_{t = 1}^d {\left[ {0,x_t } \right),} $$ and $ \left| {\left[ {0,\vec x} \right)} \right| $ denotes the Lebesgue measure of the rectangle. We show that necessarily $$ \left\| {D_N } \right\|_{L^1 (log L)^{(d - 2)/2} } \gtrsim \left( {log N} \right)^{\left( {d - 1} \right)/2} . $$ In dimension d = 2, the ‘log L’ term has power zero, which corresponds to a Theorem due to [11]. The power on log L in dimension d ≥ 3 appears to be new, and supports a well-known conjecture on the L ¹ norm of D _N . Comments on the discrepancy function in Hardy space also support the conjecture.