Uniform and L-convergence of Logarithmic Means of Walsh-Fourier Series

The （NSrlund） logarithmic means of the Fourier series of the integrable function f is： 1/lnn-1∑k=1Sk（f）/n-k, where ln：=n-1∑k=11/k. In this paper we discuss some convergence and divergence properties of this logarithmic means of the Walsh-Fourier series of functions in the uniform, and in the L^1 Lebesgue norm. Among others, as an application of our divergence results we give a negative answer to a question of Móricz concerning the convergence of logarithmic means in norm.     

Generalised Gagliardo–Nirenberg Inequalities Using Weak Lebesgue Spaces and BMO

Using elementary arguments based on the Fourier transform we prove that for ${1 \leq q < p < \infty}$ and ${s \geq 0}$ with s > n(1/2 ? 1/p), if ${f \in L^{q,\infty} (\mathbb{R}^n) \cap \dot{H}^s (\mathbb{R}^n)}$ , then ${f \in L^p(\mathbb{R}^n)}$ and there exists a constant c _p,q,s such that $$\| f \|_{L^{p}} \leq c_{p,q,s} \| f \|^\theta _{L^{q,\infty}} \| f \|^{1-\theta}_{\dot{H}^s},$$ where 1/p = θ/q + (1?θ)(1/2?s/n). In particular, in ${\mathbb{R}^2}$ we obtain the generalised Ladyzhenskaya inequality ${\| f \| _{L^4} \leq c \| f \|^{1/2}_{L^{2,\infty}} \| f \|^{1/2}_{\dot{H}^1}}$ .We also show that for s = n/2 and q > 1 the norm in ${\| f \|_{\dot{H}^{n/2}}}$ can be replaced by the norm in BMO. As well as giving relatively simple proofs of these inequalities, this paper provides a brief primer of some basic concepts in harmonic analysis, including weak spaces, the Fourier transform, the Lebesgue Differentiation Theorem, and Calderon–Zygmund decompositions.     

Decreasing Regularly Varying Solutions of Sublinearly Perturbed Superlinear Thomas–Fermi Equation

We consider the perturbed Thomas–Fermi equation $$\begin{array}{ll} x^{\prime \prime}\, =\, p(t)|x|^{\gamma-1}x\, +\, q(t)|x|^{\delta-1}x, \qquad \qquad \qquad (A) \end{array}$$ where δ and γ are positive constants with \({\delta < 1 < \gamma}\) and p(t) and q(t) are positive continuous functions on \({[a,\infty), a > 0}\) . Our aim here is to establish criteria for the existence of positive solutions of (A) decreasing to zero as \({t \to \infty}\) in the case where p(t) and q(t) are regularly varying functions (in the sense of Karamata). Generalization of the obtained results to equations of the form $$\begin{array}{ll} \left(r(t)x^{\prime}\right)^{\prime}\, =\, p(t)|x|^{\gamma-1}x \,+ \,q(t)|x|^{\delta-1}x, \qquad \qquad \qquad (B) \end{array}$$ is also given.     

Efficient algorithms for multivariate and ∞-variate integration with exponential weight

Using the Multivariate Decomposition Method (MDM), we develop an efficient algorithm for approximating the ∞-variate integral $$\mathcal{I}_{\infty}(f) = \lim\limits_{d\rightarrow \infty} \int\limits_{\mathcal{R}_{+}^{d}}f(x_{1},\ldots,x_{d},0,0,\ldots)\cdot \exp\left(-\sum\limits_{j=1}^{d} x_{j}\right) \mathrm{d} \mathbf{x} $$ for a class of functions f that are once differentiable with respect to each variable. MDM requires efficient algorithms for d-variate versions of the problem. Such algorithms are provided by Smolyak’s construction which is based on efficient algorithms for the univariate integration $$ I \left(f\right) = \int_{0}^{\infty} f\left(x\right)^{-x} \mathrm{d} \mathbf{x}. $$ Detailed analysis and development of (nearly) optimal quadratures for I(f) is the main contribution of the current paper.     

Fourier coefficients of cusp forms

Let ψ₁,ψ₂,ψ₃,... be an orthonormal basis of the space of cusp forms of weight zero for the full modular group. Let be the Fourier series expansion. The following theorem is proved: Let σ∈(1/4, 1/2); letf be a holomorphic function on the strip |Res|≦σ, satisfyingf(?s)=f(s) and $$f(s) = \mathcal{O}(|\tfrac{1}{4} - s^2 |^{ - 2} |cos \pi s|^{ - 1} )$$ on this strip; letm andn be non-zero integers, then $$\sum\limits_{j = 1}^\infty {f(s_j )\bar \gamma _{jm} \gamma _{jn} } $$ converges and is equal to $$\begin{gathered} - (2\pi i)^{ - 1} \int\limits_{\operatorname{Re} s = 0} {f(s)c_{00} ( - s)c_{0|m|} (s)c_{0|n|} (s)ds} \hfill \\ + (2\pi i)^{ - 1} (4\pi |m|)^{ - 1} \int\limits_{\operatorname{Re} s = 0} {f(s)c_{mn} (s)2sds} \hfill \\ - \delta _{mn} (2\pi i)^{ - 1} (4\pi |m|)^{ - 1} \int\limits_{\operatorname{Re} s = 0} {f(s)\sin \pi s2sds.} \hfill \\ \end{gathered} $$ The functionsc ₀₀(s) andc _0|m|(s) are coefficients occurring in the Fourier series expansion of the Eisenstein series; the functionc _mn(s) is a coefficient in the Fourier series expansion of a Poincaré series. The theorem is applied to obtain some asymptotic results concerning the Fourier coefficients γ_jn. Under additional conditions on the functionf the formula in the theorem is modified in such a way that the Fourier coefficients of holomorphic cusp forms appear.     

On the Laplace equation with a supercritical nonlinear Robin boundary condition in the half-space

We study the Laplace equation in the half-space ${\mathbb{R}_{+}^{n}}$ with a nonlinear supercritical Robin boundary condition ${\frac{\partial u}{\partial\eta }+\lambda u=u\left\vert u\right\vert^{\rho-1}+f(x)}$ on ${\partial \mathbb{R}_{+}^{n}=\mathbb{R}^{n-1}}$ , where n ≥ 3 and λ ≥ 0. Existence of solutions ${u \in E_{pq}= \mathcal{D}^{1, p}(\mathbb{R}_{+}^{n}) \cap L^{q}(\mathbb{R}_{+}^{n})}$ is obtained by means of a fixed point argument for a small data $f \in {L^{d}(\mathbb{R}^{n-1})}$ . The indexes p, q are chosen for the norm ${\Vert\cdot\Vert_{E_{pq}}}$ to be invariant by scaling of the boundary problem. The solution u is positive whether f(x) > 0 a.e. ${x\in\mathbb{R}^{n-1}}$ . When f is radially symmetric, u is invariant under rotations around the axis {x _n  = 0}. Moreover, in a certain L ^q -norm, we show that solutions depend continuously on the parameter λ ≥ 0.     

New upper bounds on the smallest size of a complete arc in a finite Desarguesian projective plane

In the projective planes PG(2, q), more than 1230 new small complete arcs are obtained for ${q \leq 13627}$ and ${q \in G}$ where G is a set of 38 values in the range 13687,..., 45893; also, ${2^{18} \in G}$ . This implies new upper bounds on the smallest size t ₂(2, q) of a complete arc in PG(2, q). From the new bounds it follows that $$t_{2}(2, q) < 4.5\sqrt{q} \, {\rm for} \, q \leq 2647$$ and q = 2659,2663,2683,2693,2753,2801. Also, $$t_{2}(2, q) < 4.8\sqrt{q} \, {\rm for} \, q \leq 5419$$ and q = 5441,5443,5449,5471,5477,5479,5483,5501,5521. Moreover, $$t_{2}(2, q) < 5\sqrt{q} \, {\rm for} \, q \leq 9497$$ and q = 9539,9587,9613,9623,9649,9689,9923,9973. Finally, $$t_{2}(2, q) <5 .15\sqrt{q} \, {\rm for} \, q \leq 13627$$ and q = 13687,13697,13711,14009. Using the new arcs it is shown that $$t_{2}(2, q) < \sqrt{q}\ln^{0.73}q {\rm for} 109 \leq q \leq 13627\, {\rm and}\, q \in G.$$ Also, as q grows, the positive difference ${\sqrt{q}\ln^{0.73} q-\overline{t}_{2}(2, q)}$ has a tendency to increase whereas the ratio ${\overline{t}_{2}(2, q)/(\sqrt{q}\ln^{0.73} q)}$ tends to decrease. Here ${\overline{t}_{2}(2, q)}$ is the smallest known size of a complete arc in PG(2,q). These properties allow us to conjecture that the estimate ${t_{2}(2,q) < \sqrt{q}\ln ^{0.73}q}$ holds for all ${q \geq 109.}$ The new upper bounds are obtained by finding new small complete arcs in PG(2,q) with the help of a computer search using randomized greedy algorithms. Finally, new forms of the upper bound on t ₂(2,q) are proposed.     

Convergence of biorthogonal series in the system of contractions and translations of functions in the spaces L p [0, 1]

We obtain conditions for the convergence in the spaces L ^p [0, 1], 1 ≤ p < ∞, of biorthogonal series of the form $$ f = \sum\limits_{n = 0}^\infty {(f,\psi _n )\phi _n } $$ in the system {? _n } _n≥0 of contractions and translations of a function ?. The proposed conditions are stated with regard to the fact that the functions belong to the space $ \mathfrak{L}^p $ of absolutely bundleconvergent Fourier-Haar series with norm $$ \left\| f \right\|_p^ * = \left| {f,\chi _0 } \right| + \sum\limits_{k = 0}^\infty {2^{k({1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2} - {1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p})} } \left( {\sum\limits_{n = 2^k }^{2^{k + 1} - 1} {\left| {f,\chi _n } \right|^p } } \right)^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} , $$ where (f,χ _n ), n = 0, 1, ..., are the Fourier coefficients of a function f ? L ^p [0, 1] in the Haar system {χ _n } _n≥0. In particular, we present conditions for the system {? _n } _n≥0 of contractions and translations of a function ? to be a basis for the spaces L ^p [0, 1] and $ \mathfrak{L}^p $ .     

Absolute convergence of double Walsh?CFourier series and related results

We consider the double Walsh orthonormal system $$\{w_m(x)w_n(y):\, m,n \in \mathbb{N}\}$$ on the unit square $\mathbb{I}^{2}$ , where {w _m (x)} is the ordinary Walsh system on the unit interval $\mathbb{I}:=[0,1)$ in the Paley enumeration. Our aim is to give sufficient conditions for the absolute convergence of the double Walsh?CFourier series of a function $f \in L^{p}(\mathbb{I}^{2})$ for some 1<p?Q2. More generally, we give best possible sufficient conditions for the finiteness of the double series $$\sum_{m=1}^{\infty}\ \sum_{n=1}^{\infty} a_{mn} {|\hat{f}(m,n)|}^r,$$ where {a _mn } is a given double sequence of nonnegative real numbers satisfying a mild assumption and 0<r<2. These sufficient conditions are formulated in terms of (either global or local) dyadic moduli of continuity of?f.     

Legendre functions,spherical rotations,and multiple elliptic integrals

A closed-form formula is derived for the generalized Clebsch–Gordan integral \(\int_{-1}^{1} {[}P_{\nu}(x){]}^{2}P_{\nu}(-x)\,\mathrm {d}x\) , with P _ν being the Legendre function of arbitrary complex degree \(\nu\in\mathbb{C}\) . The finite Hilbert transform of P _ν (x)P _ν (?x), ?1<x<1 is evaluated. An analytic proof is provided for a recently conjectured identity \(\int_{0}^{1}[\mathbf{K}( \sqrt{1-k^{2}} )]^{3}\,\mathrm {d}k=6\int_{0}^{1}[\mathbf{K}(k)]^{2}\mathbf{K}( \sqrt{1-k^{2}} )k\,\mathrm {d}k=[\Gamma (\frac{1}{4})]^{8}/(128\pi^{2}) \) involving complete elliptic integrals of the first kind K(k) and Euler’s gamma function Γ(z).     

Strong Law of Large Numbers for a Class of Superdiffusions

In this paper we prove that, under certain conditions, a strong law of large numbers holds for a class of superdiffusions X corresponding to the evolution equation ? _t u _t =Lu _t +βu _t ?ψ(u _t ) on a domain of finite Lebesgue measure in ? ^d , where L is the generator of the underlying diffusion and the branching mechanism $\psi(x,\lambda)=\frac{1}{2}\alpha(x)\lambda^{2}+\int_{0}^{\infty}(e^{-\lambda r}-1+\lambda r)n(x, \mathrm{d}r)$ satisfies $\sup_{x\in D}\int_{0}^{\infty}(r\wedge r^{2}) n(x,\mathrm{d}r)<\infty$ .     

Estimates for the Fourier coefficients of symmetric square L-functions

Let f(z) be a holomorphic Hecke eigenform of even weight k for the full modular group ${SL_2(\mathbb{Z})}$ , and denote by L(s, sym² f) the corresponding symmetric square L-function associated to f. Suppose that ${\lambda_{\rm{sym}^2} f(n)}$ is the nth normalized Fourier coefficient of L(s, sym² f). In this paper, the asymptotic formula $$\begin{array}{ll}\sum_{n\leq x} \lambda^2_{\rm{sym}^2 f}(n) = C x + O(x^{\frac{10}{13}} \log^{9} x)\end{array}$$ is established.     

Singularities of carleman type for subsystems of a trigonometric system

We prove that for arbitrary ε>0 there exists a sequence of positive integers {n_k} such that a) the system { cos n_k X, sin n_k X} is a basis with respect to the C[-π, π] norm in the closure of its linear hull, and b) a continuous functionf(x) belonging to the closure of the linear hull of the system can be found such that its Fourier coefficientsa _n and b_n satisfy the relation $$\sum\nolimits_{n = 1}^\infty {\left| {a_n } \right|^{2 - \varepsilon } + \left| {b_n } \right|^{2 - \varepsilon } } = \infty $$ .     

A priori estimates for a class of degenerate elliptic equations

In this paper we investigate the regularity of solutions for the following degenerate partial differential equation $$\left \{\begin{array}{ll} -\Delta_p u + u = f \qquad {\rm in} \,\Omega,\\ \frac{\partial u}{\partial \nu} = 0 \qquad \qquad \,\,\,\,\,\,\,\,\,\, {\rm on} \,\partial \Omega, \end{array}\right.$$ when ${f \in L^q(\Omega), p > 2}$ and q ≥ 2. If u is a weak solution in ${W^{1, p}(\Omega)}$ , we obtain estimates for u in the Nikolskii space ${\mathcal{N}^{1+2/r,r}(\Omega)}$ , where r = q(p ? 2) + 2, in terms of the L ^q norm of f. In particular, due to imbedding theorems of Nikolskii spaces into Sobolev spaces, we conclude that ${\|u\|^r_{W^{1 + 2/r - \epsilon, r}(\Omega)} \leq C(\|f\|_{L^q(\Omega)}^q + \| f\|^{r}_{L^q(\Omega)} + \|f\|^{2r/p}_{L^q(\Omega)})}$ for every ${\epsilon > 0}$ sufficiently small. Moreover, we prove that the resolvent operator is continuous and compact in ${W^{1,r}(\Omega)}$ .     

Sharp estimates for the convergence rate of “hyperbolic” partial sums of double fourier series in orthogonal polynomials

Two-variable functions f(x, y) from the class L ₂ = L ₂((a, b) × (c, d); p(x)q(y)) with the weight p(x)q(y) and the norm $$\left\| f \right\| = \sqrt {\int\limits_a^b {\int\limits_c^d {p(x)q(x)f^2 (x,y)dxdy} } }$$ are approximated by an orthonormal system of orthogonal P _n (x)Q _n (y), n, m = 0, 1, ..., with weights p(x) and q(y). Let $$E_N (f) = \mathop {\inf }\limits_{P_N } \left\| {f - P_N } \right\|$$ denote the best approximation of f ?? L ₂ by algebraic polynomials of the form $$\begin{array}{*{20}c} {P_N (x,y) = \sum\limits_{0 < n,m < N} {a_{m,n} x^n y^m ,} } \\ {P_1 (x,y) = const.} \\ \end{array}$$ . Consider a double Fourier series of f ?? L ₂ in the polynomials P _n (x)Q _m (y), n, m = 0, 1, ..., and its ??hyperbolic?? partial sums $$\begin{array}{*{20}c} {S_1 (f;x,y) = c_{0,0} (f)P_o (x)Q_o (y),} \\ {S_N (f;x,y) = \sum\limits_{0 < n,m < N} {c_{n,m} (f)P_n (x)Q_m (y), N = 2,3, \ldots .} } \\ \end{array}$$ A generalized shift operator Fh and a kth-order generalized modulus of continuity ?? _k (A, h) of a function f ?? L ₂ are used to prove the following sharp estimate for the convergence rate of the approximation: $\begin{gathered} E_N (f) \leqslant (1 - (1 - h)^{2\sqrt N } )^{ - k} \Omega _k (f;h),h \in (0,1), \hfill \\ N = 4,5,...;k = 1,2,... \hfill \\ \end{gathered} $ . Moreover, for every fixed N = 4, 9, 16, ..., the constant on the right-hand side of this inequality is cannot be reduced.     

Convergence of simultaneous Hermite-Padé approximants to then-tuple ofq-hypergeometric series\{ {}_1\Phi _1 (_{(c,\gamma _j )}^{(1,1)} ;z)\} _{j = 1}^n

We investigate the convergence of simultaneous Hermite-Padé approximants to then-tuple of power series $$f_i (z) = \sum\limits_{k = 0}^\infty {C_k^{(i)} z^k ,} i = 1,2,...,n,$$ where $$C_0^{(i)} = 1;C_k^{(i)} = \prod\limits_{p = 0}^{k - 1} {\frac{1}{{(C - q^{\gamma i + p} )}},} k \ge 1.$$ HereC, q∈?, γ _i ∈?,i=1, 2,...,n. For |C|≠1, ifq=e^iθ, θ∈(0, 2π) and θ/2π is irrational, eachf _i (z),i=1,...,n, has a natural boundary on its circle of convergence. We show that “close-to-diagonal” and other sequences of Hermite-Padé approximants converge in capacity to (f ₁(z),..., f_n (z)) inside the common circle of convergence of eachf _i (z),i=1,...,n.     

On the regular convergence of multiple series of numbers and multiple integrals of locally integrable functions over ℝ̄ + m

We investigate the regular convergence of the m-multiple series (*) $$\sum\limits_{j_1 = 0}^\infty {\sum\limits_{j_2 = 0}^\infty \cdots \sum\limits_{j_m = 0}^\infty {c_{j_1 ,j_2 } , \ldots j_m } }$$ of complex numbers, where m ≥ 2 is a fixed integer. We prove Fubini’s theorem in the discrete setting as follows. If the multiple series (*) converges regularly, then its sum in Pringsheim’s sense can also be computed by successive summation. We introduce and investigate the regular convergence of the m-multiple integral (**) $$\int_0^\infty {\int_0^\infty { \cdots \int_0^\infty {f\left( {t_1 ,t_2 , \ldots ,t_m } \right)dt_1 } } } dt_2 \cdots dt_m ,$$ where f : ?? ₊ ^m → ? is a locally integrable function in Lebesgue’s sense over the closed nonnegative octant ?? ₊ ^m := [0,∞) ^m . Our main result is a generalized version of Fubini’s theorem on successive integration formulated in Theorem 4.1 as follows. If f ∈ L _loc ¹ (?? ₊ ^m ), the multiple integral (**) converges regularly, and m = p + q, where p and q are positive integers, then the finite limit $$\mathop {\lim }\limits_{v_{_{p + 1} } , \cdots ,v_m \to \infty } \int_{u_1 }^{v_1 } {\int_{u_2 }^{v_2 } { \cdots \int_0^{v_{p + 1} } { \cdots \int_0^{v_m } {f\left( {t_1 ,t_2 , \ldots t_m } \right)dt_1 dt_2 } \cdots dt_m = :J\left( {u_1 ,v_1 ;u_2 v_2 ; \ldots ;u_p ,v_p } \right)} , 0 \leqslant u_k \leqslant v_k < \infty } ,k = 1,2, \ldots p,}$$ exists uniformly in each of its variables, and the finite limit $$\mathop {\lim }\limits_{v_1 ,v_2 \cdots ,v_p \to \infty } J\left( {0,v_1 ;0,v_2 ; \ldots ;0,v_p } \right) = I$$ also exists, where I is the limit of the multiple integral (**) in Pringsheim’s sense. The main results of this paper were announced without proofs in the Comptes Rendus Sci. Paris (see [8] in the References).     

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.     

О суммируемости обоб щенных рядов Фурье

Consider a functionf satisfying the condition (1) $$\left| x \right|^\alpha f(x) \in L( - \pi ,\pi ),\alpha > 0,$$ , and define the positive integerm by the inequalitiesm ?1<α≦m. The trigonometric series Σ _n=1 ^∞ (a _n cosnx+-b _n sinnx) with coefficients $$\begin{gathered} a_n = \frac{1}{\pi }\int\limits_{ - \pi }^\pi {f(t)\left( {\cos nt - \sum\limits_{j = 0}^{[(m - 1)/2]} {\frac{{( - 1)^j (nt)^{2j} }}{{(2j)!}}} } \right)dt,} \hfill \\ b_n = \frac{1}{\pi }\int\limits_{ - \pi }^\pi {f(t)\left( {\sin nt - \sum\limits_{j = 1}^{[m/2]} {\frac{{( - 1)^{j + 1} (nt)^{2j - 1} }}{{(2j - 1)!}}} } \right)dt} \hfill \\ \end{gathered} $$ is then called the generalized Fourier series ofmth order off. The following result is proved. Let the 2π-periodic functionf satisfy condition (1) and letт ?1 < α≦m. Then the generalized Fourier series ofmth order off is summable almost everywhere tof(x) by the (C, α)-method. For an arbitrary α∈(0, 1) condition (1) is sharp.     

Zaks’ Lemma for Coherent Rings

Let A be a left and right coherent ring and C _A (resp., $C_{A^{\mathrm{op}}}$ ) a minimal cogenerator for right (resp., left) A-modules. We show that $\mathrm{flat \ dim \ }C_{A} = \mathrm{flat \ dim \ }C_{A^{\mathrm{op}}}$ whenever flat dim C _A ?<?∞ and $\mathrm{flat \ dim \ }C_{A^{\mathrm{op}}} < \infty$ , and that $\mathrm{flat \ dim \ }C_{A} = \mathrm{flat \ dim \ }C_{A^{\mathrm{op}}} < \infty$ if and only if the finitely presented right A-modules have bounded Gorenstein dimension.