On certain generalizations of the Gagliardo–Nirenberg inequality and their applications to capacitary estimates and isoperimetric inequalities

We derive the inequality $$\int_\mathbb{R}M(|f'(x)|h(f(x))) dx\leq C(M,h)\int_\mathbb{R}M\left({\sqrt{|f''(x)\tau_h(f(x))|}\cdot h(f(x))}\right)dx$$ with a constant C(M, h) independent of f, where f belongs locally to the Sobolev space ${W^{2,1}(\mathbb{R})}$ and f′ has compact support. Here M is an arbitrary N-function satisfying certain assumptions, h is a given function and ${\tau_h(\cdot)}$ is its given transform independent of M. When M(λ) =  λ ^p and ${h \equiv 1}$ we retrieve the well-known inequality ${\int_\mathbb{R}|f'(x)|^{p}dx \leq (\sqrt{p - 1})^{p}\int_\mathbb{R}(\sqrt{|f''(x) f(x)|})^{p}dx}$ . We apply our inequality to obtain some generalizations of capacitary estimates and isoperimetric inequalities due to Maz’ya (1985).     

Asymptotically sharp error bounds for a quadrature rule for Cauchy principal value integrals based on piecewise linear interpolation

For the numerical evaluation of Cauchy principal value integrals of the form f(x)(x - λ) -1dx withλ ∈ (-1,1)and f ∈ C1[-1,1], we investigate the quadrature formula Q(n+1)Spl1[·;λ] obtained by replacing the integrand function f by its piecewise linear interpolant at an equidistant set of nodes as proposed by Rabinoivitz (Math. Comp. , 51:741 - 747,1988). We give upper bounds for the Peano - type error constantsfor s∈ {1,2}. These are the best possible constants in inequalities of the typeFurthermore, we prove that our upper bounds are asymptotically sharp.     

A note on approximation to the identity with iterated kernels

Пустьl ₁ иl ₂ — неотрицательные убывающие функции на (0, ∞). Допустим, что $$\int\limits_0^\infty {S^{n_i - 1} l_i (S)\left( {1 + \log + \frac{1}{{S^{n_i } l_i (S)}}} \right)dS}< \infty ,$$ , гдеn ₁ иn ₂ — натуральные числа. Тогда для каждой функции \(f \in L^1 (R^{n_1 + n_2 } )\) при почти всех (x₀, у₀) мы имеем $$\mathop {\lim }\limits_{\lambda \to \infty } \lambda ^{n_1 + n_2 } \int\limits_{R^{n_1 } } {\int\limits_{R^{n_2 } } {l_1 } } (\lambda |x|)l_2 (\lambda |y|)f(x_0 - x,y_0 - y)dx dy = f(x_0 ,y_0 )\int\limits_{R^{n_1 } } {\int\limits_{R^{n_2 } } {l_i (|x|)l_2 } } (|y|)dx dy.$$      

Converse theorems in the theory of approximate integration

We characterize certain function classes in terms of the remainder in the quadrature formula \(\int_{ - \infty }^\infty {f(x)dx = (\pi /\sigma )\sum\nolimits_{v = - \infty }^\infty {f(v\pi /\sigma ) + R_\sigma [f]} } \) . In the process, we prove a generalization of the famous theorem of Paley and Wiener about entire functions of exponential type belonging toL ² on the real line.     

Evaluation of the limits of maximal means

It is proved that the limit $$\mathop {\lim }\limits_{\Delta \to \infty } \mathop {\sup }\limits_\gamma \tfrac{1}{\Delta }\int_0^\Delta {f(\gamma (t))dt} $$ , wheref: ? → ? is a locally integrable (in the sense of Lebesgue) function with zero mean and the supremum is taken over all solutions of the generalized differential equation γ ∈ [ω1, ω2], coincides with the limit $$\mathop {\lim }\limits_{T \to \infty } \mathop {\sup }\limits_{c \geqslant 0} \varphi _f (k,{\mathbf{ }}T,{\mathbf{ }}c)$$ , where $$\varphi _f = \frac{{(k - 1)\bar I_f (T,c)}}{{1 + (k - 1)\bar \lambda _f (T,c)}},k = \frac{{\omega _2 }}{{\omega _1 }}$$ . Here ¯λf = λf /T, ¯ I_f =If/T, and λf is the Lebesgue measure of the set $$\{ \gamma \in [\gamma _0 ,\gamma _0 + T]:f(\gamma ) \geqslant c\} = A_f ,I_f = \int_{A_f } {f(\gamma )d\gamma } $$ . It is established that this limit always exists for almost-periodic functionsf.     

A criterion of vanishing of the spectral density based on homoclinic sums

Let (X, d) be a compact metric space, let T: X→X be a homeomorphism satisfying a certain suitable hyperbolicity assumption, and let μ be a Gibbs measure on X relative to T. Let λ be a complex number |λ|=1, and let f:X → ? be a Hölder continuous function. It is proved that $\sum\limits_{k \in \mathbb{Z}} {\lambda ^{ - k} } \left( {\int\limits_X {f(T^k x)\bar f(x)\mu (dx) - \left| {\int\limits_X {f(x)\mu (dx)} } \right|^2 } } \right) = 0$ if and only if ∑λ^?k(f(T^ky) ? f(T^kx)) = 0 for all x, y ε X such that $d(T^k x,T^k y)\xrightarrow[{|k| \to \infty }]{}0$ . Bibliography: 11 titles.     

A class of logarithmic integrals

We present a systematic study of integrals of the form $$I_{Q}=\int_{0}^{1}Q(x)\log\log\frac{1}{x}dx,$$ where Q is a rational function.     

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.     

Une Formule Approximative de Dimension pour Certains Produits de Riesz

Consider the Riesz product $\mu _a = \mathop \prod \limits_{n = 1}^\infty (1 + r\cos (q^n t + \varphi _n ))$ . We prove the following approximative formula for the dimension ofμ _a. $$\dim \mu _a = 1 - \frac{1}{{\log q}}\int_0^{2\pi } {(1 + r\cos x)\log (1 + r\cos x)\frac{{dx}}{{2\pi }} + 0\left( {\frac{r}{{q^2 \log q}}} \right).}$$      

On the uniform convergence of Cauchy principal values of quasi-interpolating splines

In this paper, quasi-interpolating splines are used to approximate the Cauchy principal value integral $$J(w_{\alpha \beta } f;\lambda ): = \smallint - _{ - 1}^1 w_{\alpha \beta } (x)\frac{{f(x)}}{{x - \lambda }}dx, \lambda \in ( - 1,1)$$ where $w_{\alpha \beta } (x): = (1 - x)^\alpha (1 + x)^\beta ,\alpha ,\beta > - 1.$ . We prove uniform convergence for the quadrature rules proposed here and give an algorithm for the numerical evaluation of these rules.     

On linear summation methods of Fourier series

Получены новые оценк иL-нормы тригонометр ических полиномов $$T_n (t) = \frac{{\lambda _0 }}{2} + \mathop \sum \limits_{k = 1}^n \lambda _k \cos kt$$ в терминах коэффицие нтовλ _k и их разностейΔλ _k=λ _k?λ _k?1: (1) $$\mathop \smallint \limits_{ - \pi }^\pi |T_n (t)|dt \leqq \frac{c}{n}\mathop \sum \limits_{k = 0}^n |\lambda _\kappa | + c\left\{ {x(n,\varphi )\mathop \sum \limits_{k = 0}^n \Delta \lambda _\kappa \mathop \sum \limits_{l = 0}^n \Delta \lambda _l \delta _{\kappa ,l} (\varphi )} \right\}^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} ,$$ где $$\kappa (n,\varphi ) = \mathop \smallint \limits_{1/n}^\pi [t^2 \varphi (t)]^{ - 1} dt, \delta _{k,1} (\varphi ) = \mathop \smallint \limits_0^\infty \varphi (t)\sin \left( {k + \frac{1}{2}} \right)t \sin \left( {l + \frac{1}{2}} \right)t dt,$$ a ?(t) — произвольная фун кция ≧0, для которой опр еделены соответствующие инт егралы. Из (1) следует, что методы $$\tau _n (f;t) = (N + 1)^{ - 1} \mathop \sum \limits_{k = 0}^{\rm N} S_{[2^{k^\varepsilon } ]} (f;t), n = [2^{N\varepsilon } ],$$ являются регулярным и для всех 0<ε≦1/2. ЗдесьS _m (f, x) частные суммы ряда Фу рье функцииf(x). В статье исследуется многомерный случай. П оказано, что метод суммирования (о бобщенный метод Рисса) с коэффиц иентами $$\lambda _{\kappa ,l} = (R^v - k^\alpha - l^\beta )^\delta R^{ - v\delta } (0 \leqq k^\alpha + l^\beta \leqq R^v ;\alpha \geqq 1,\beta \geqq 1,v< 0)$$ является регулярным, когда δ > 1.     

Bochner–Riesz Means with Respect to a Generalized Cylinder

We study the L ^p boundedness of the generalized Bochner–Riesz means S ^λ which are defined as $$S^{\lambda}f(x) = \mathcal{F}^{-1} \left[\left(1 - \rho \right)_{+}^{\lambda} \widehat{f} \right](x)$$ where ${\rho(\xi) = {\rm max}\{|\xi_{1}|, \ldots, |\xi_{\ell}|\}}$ for ${\xi = (\xi_{1},\ldots, \xi_{\ell}) \in \mathbb{R}^{{d}_{1}} \times \cdots \times \mathbb{R}^{{d}_{\ell}}}$ and ${\mathcal{F}^{-1}}$ is the inverse Fourier transform.     

{W^{1,1}_0} -solutions for elliptic problems having gradient quadratic lower order terms

In this paper we deal with solutions of problems of the type $$\left\{\begin{array}{ll}-{\rm div} \Big(\frac{a(x)Du}{(1+|u|)^2} \Big)+u = \frac{b(x)|Du|^2}{(1+|u|)^3} +f \quad &{\rm in} \, \Omega,\\ u=0 &{\rm on} \partial \, \Omega, \end{array} \right.$$ where ${0 < \alpha \leq a(x) \leq \beta, |b(x)| \leq \gamma, \gamma > 0, f \in L^2 (\Omega)}$ and Ω is a bounded subset of ${\mathbb{R}^N}$ with N ≥ 3. We prove the existence of at least one solution for such a problem in the space ${W_{0}^{1, 1}(\Omega) \cap L^{2}(\Omega)}$ if the size of the lower order term satisfies a smallness condition when compared with the principal part of the operator. This kind of problems naturally appears when one looks for positive minima of a functional whose model is: $$J (v) = \frac{\alpha}{2} \int_{\Omega}\frac{|D v|^2}{(1 + |v|)^{2}} + \frac{12}{\int_{\Omega}|v|^2} - \int_{\Omega}f\,v , \quad f \in L^2(\Omega),$$ where in this case a(x) ≡ b(x) = α > 0.     

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.     

On some local properties of the sum of lacunary trigonometric series

В статье изучается по ведение суммы лакуна рного тригонометрическог о ряда при приближени и к некоторой фиксиров анной произвольной т очке. Первая половина рабо ты посвящена изложен ию метода исследования локаль ных свойств суммы лакунарного ря да, разработанного ав тором. Вторая половина рабо ты посвящена приложе ниям этого метода. Здесь в частно сти, получаются необходи мые и достаточные усл овия для интегрируемости сум мы лакунарного ряда с весом при широк их условиях на вес. При ведем соответствующий рез ультат. Пусть?р(x) — сумма ряда \(a + \sum\limits_{n = 1}^\infty {a_n \cos (\lambda _n x + \psi _n )} \) , гдеа, а _n ,λ _n ,ψ _n — действительные числа,εa _n ^/2 <∞,a _n ≧0,λ _n >0 приn≧1 и \(\mathop {\inf }\limits_{n \geqq 1} \lambda _{n + 1} /\lambda _n > 1\) . При этих условиях функция?(х) определена почти всю ду. Пустьр>0 иω(х) — положительная неуб ывающая функция, определенная при все хх>0, которая при некот оромC>0 удовлетворяет услов ию:ω(2x)≦ ≦Cω(х) при всехх>0. Тогда имеет место Теорема. Для того, чтоб ы интеграл \(\int\limits_{ + 0} {|\varphi (x)|^p \frac{{dx}}{{\omega (x)}}} \) сходился, необходимо и достато чно, чтобы сходились все р яды $$\begin{gathered} \sum\limits_{n = 1}^\infty {D_n (\sum\limits_{k = n}^\infty {a_k^2 } )^{p/2} ,} \sum\limits_{n = 2}^\infty {D_n |a_n + \sum\limits_{k = 1}^{n - 1} {a_k \cos } \psi _k |^p ,} \hfill \\ \sum\limits_{n = 2}^\infty {D_n (pj)|\sum\limits_{k = 1}^{n - 1} {a_k \lambda _k^j \cos (\psi _k + \pi j/2)} |^p ,} j = 1,2,..., \hfill \\ \end{gathered} $$ , где $$D_n = \int\limits_{I_n } {\frac{{dx}}{{\omega (x)}},} D_n (pj) = \int\limits_{I_n } {\frac{{x^{pj} dx}}{{\omega (x)}},} a I_n = [\pi \lambda _n^{ - 1} ,\pi \lambda _{n - 1}^{ - 1} ]$$      

Gamma-convergence of nonlocal perimeter functionals

Given ${\Omega\subset\mathbb{R}^{n}}$ open, connected and with Lipschitz boundary, and ${s\in (0, 1)}$ , we consider the functional $$\mathcal{J}_s(E,\Omega)\,=\, \int_{E\cap \Omega}\int_{E^c\cap\Omega}\frac{dxdy}{|x-y|^{n+s}}+\int_{E\cap \Omega}\int_{E^c\cap \Omega^c}\frac{dxdy}{|x-y|^{n+s}}\,+ \int_{E\cap \Omega^c}\int_{E^c\cap \Omega}\frac{dxdy}{|x-y|^{n+s}},$$ where ${E\subset\mathbb{R}^{n}}$ is an arbitrary measurable set. We prove that the functionals ${(1-s)\mathcal{J}_s(\cdot, \Omega)}$ are equi-coercive in ${L^1_{\rm loc}(\Omega)}$ as ${s\uparrow 1}$ and that $$\Gamma-\lim_{s\uparrow 1}(1-s)\mathcal{J}_s(E,\Omega)=\omega_{n-1}P(E,\Omega),\quad \text{for every }E\subset\mathbb{R}^{n}\,{\rm measurable}$$ where P(E, ??) denotes the perimeter of E in ?? in the sense of De Giorgi. We also prove that as ${s\uparrow 1}$ limit points of local minimizers of ${(1-s)\mathcal{J}_s(\cdot,\Omega)}$ are local minimizers of P(·, ??).     

On orthogonal polynomials

Пустьw(х)∈L[-1, +1] — неотрица тельная функция така я, что $$\frac{{\log ^ + \frac{1}{{w(x)}}}}{{\sqrt {1 - x^2 } }} \in L[ - 1, + 1]$$ и пусть {(р _n (х)} — много члены, ортогональные и нормированные с весо мw(x). Мы доказываем следующие две теорем ы, являющиеся обобщен ием одного известного результа та Н. Винера. I. Для каждого δ, 0<δ<1, суще ствует числоB=B(δ, w) тако е, что если $$f_N (x) = \sum\limits_{j = 1}^N {a_j p_{v_j } (x)} $$ причем выполнено сле дующее условие лакун арности $$\begin{gathered} v_{j + 1} - v_j \geqq B(\delta ,w) (j = 1,2,...,N - 1), \hfill \\ v_1 \geqq B(\delta ,w) \hfill \\ \end{gathered} $$ , то для некоторого С(δ, w) и всехh и δ, для которых $$ - 1 \leqq h - \delta< h + \delta \leqq + 1$$ , имеет место неравенс тво $$\int\limits_{ - 1}^1 {|f_N (x)|^2 w(x)dx \leqq C(\delta ,w)} \int\limits_{h - \delta }^{h + \delta } {|f_N (x)|^2 w(x)dx} $$ каковы бы ни былиa _j ,N и h. II. Если формальный ряд $$\sum\limits_{j = 1}^\infty {b_j p_{\mu _j } (x)} $$ удовлетворяет услов ию лакунарности μ_j+1-μ_j→∞ и суммируем, например, м етодом Абеля на произвольно малом отрезке [а, Ь] ?[0,1] к ф ункцииf(x) такой, что \(f(x)\sqrt {w(x)} \in L_2 [a,b]\) , то $$\sum\limits_j {|b_j |^2< \infty } $$ Теорема I — это первый ш аг в направлении проб лемы типа Мюнтца-Саса о замкнут ости подпоследовательно сти pv_j(x)} последовател ьности {р_n(х)} на отрезке [а, Ь] в метрике С[а, Ь] (см. теорему II стать и).     

On a nonlocal problem modelling Ohmic heating in planar domains

In this paper, we consider the nonlocal problem of the form ut-Δu = (λe-u)/(∫Ωe-udx)2,x ∈Ω, t0 and the associated nonlocal stationary problem -Δv = (λe-v)/(∫Ωe-vdx)2, x ∈Ω,where λ is a positive parameter. For Ω to be an annulus, we prove that the nonlocal stationary problemhas a unique solution if and only if λ 2| Ω| 2 , and for λ = 2|Ω|2, the solution of the nonlocal parabolic problem grows up globally to infinity as t →∞.     

Which weights on ℝ admit Jackson Theorems?admit Jackson Theorems?

Let W: ?→(0,∞) be continuous. DoesW admit a classical Jackson Theorem? That is, does there exist a sequence $\{ \eta _n \} _{n = 1}^\infty $ of positive numbers with limit 0 such that for 1≤p≤∞, $\mathop {\inf }\limits_{\deg (P) \le n} ||(f - P)W||_{L_p (R)} \le \eta n||f'W||_{L_p (R)} $ for all absolutely continuousf with $||f'W||_{L_p (R)} $ finite? We show that such a theorem is true iff both $\mathop {\lim }\limits_{\chi \to \infty } W(\chi )\int_0^\chi {W^{ - 1} } = 0$ and $\mathop {\lim }\limits_{\chi \to \infty } W^{ - 1} (\chi )\int_\chi ^\infty W = 0,$ with analogous limits asx→?∞. In particular,W(x)=exp(?|x|) does not admit a Jackson theorem of this type. We also construct weights that admit anL ₁ but not anL _∞ Jackson theorem (or conversely).     

Multiplicity of high energy solutions for superlinear Kirchhoff equations

In this paper, we study the existence of infinitely many high energy solutions for the nonlinear Kirchhoff equations $$\left\{\everymath{\displaystyle}\begin{array}{l@{\quad}l}- \biggl(a+b\int_{R^3} |\nabla u|^2 dx\biggr)\Delta u + V(x)u=f(x,u),&x\in \mathbb {R}^3,\\[9pt]u\in H^1 (\mathbb {R}^3),\end{array}\right.$$ where a,b>0 are constants, V:?³→? is continuous and has a positive infimum. f is a subcritical nonlinearity which needs not to satisfy the usual Ambrosetti-Rabinowitz-type growth conditions.