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.     

An interstice relationship for flowers with four petals

Given three mutually tangent circles with bends (related to the reciprocal of the radius) a, b and c respectively, an important quantity associated with the triple is the value ${\langle a,b,c \rangle:=ab+ac+bc}$ . In this note we show in the case when a central circle with bend b ₀ is “surrounded” by four circles, i.e., a flower with four petals, with bends b ₁, b ₂, b ₃,b ₄ that either $$\sqrt{\langle b_{0},b_{1},b_{2} \rangle}+\sqrt{\langle b_{0},b_{3},b_{4} \rangle}=\sqrt{\langle b_{0},b_{2},b_{3} \rangle}+\sqrt{\langle b_{0},b_{4},b_{1} \rangle}$$ or $$\sqrt{\langle b_{0},b_{1},b_{2} \rangle}=\sqrt{\langle b_{0},b_{2},b_{3} \rangle}+\sqrt{\langle b_{0},b_{3},b_{4} \rangle}+\sqrt{\langle b_{0},b_{4},b_{1} \rangle}$$ (where ${\langle b_{0},b_{1},b_{2} \rangle}$ is chosen to be maximal). As an application we give a sufficient condition for the alternating sum of the ${\sqrt{\langle a,b,c\rangle}}$ of a packing in standard position to be 0. (A packing is in standard position when we have two circles with bend 0, i.e., parallel lines, and the remaining circles are packed in between.)     

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 the convergence rate of a recursively defined sequence

Consider the following recursively defined sequence: $\tau _1 = 1,\sum\limits_{j = 1}^n {\frac{1} {{\sum\nolimits_{s = j}^n {\tau _s } }}} = 1forn \geqslant 2, $ , which originates from a heat conduction problem first studied by Myshkis (1997). Chang, Chow, and Wang (2003) proved that $\tau _n = \log n + O(1) for large n.$ . In this note, we refine this result to $\tau _n = \log n + \gamma + O\left( {\frac{1} {{\log n}}} \right). $ . where γ is the Euler constant.     

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.     

The Concentration Function of Additive Functions with Special Weight

Suppose that $${g\left( n \right)}$$ is an additive real-valued function, W(N) = 4+ $$\mathop {\min }\limits_\lambda $$ ( λ₂ + $$\sum\limits_{p < N} {\frac{1}{2}} $$ min (1, ( g(p) - λlog p)²), E(N) = 4+1 $$\sum\limits_{\mathop {p < N,}\limits_{g(p) \ne 0} } {\frac{1}{p}.} $$ In this paper, we prove the existence of constants C₁, C₂ such that the following inequalities hold: $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) \in [a,a + 1)} \right\}} \right| \leqslant \frac{{C_1 N}}{{\sqrt {W\left( N \right)} }},$ $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) = a} \right\}} \right| \leqslant \frac{{C_2 N}}{{\sqrt {E\left( N \right)} }},$ . The obtained estimates are order-sharp.     

On some new identities for the Fibonomial coefficients

Let F _n be the nth Fibonacci number. The Fibonomial coefficients \(\left[ {\begin{array}{*{20}c} n \\ k \\ \end{array} } \right]_F\) are defined for n ≥ k > 0 as follows $$\left[ {\begin{array}{*{20}c} n \\ k \\ \end{array} } \right]_F = \frac{{F_n F_{n - 1} \cdots F_{n - k + 1} }} {{F_1 F_2 \cdots F_k }},$$ with \(\left[ {\begin{array}{*{20}c} n \\ 0 \\ \end{array} } \right]_F = 1\) and \(\left[ {\begin{array}{*{20}c} n \\ k \\ \end{array} } \right]_F = 0\) . In this paper, we shall provide several identities among Fibonomial coefficients. In particular, we prove that $$\sum\limits_{j = 0}^{4l + 1} {\operatorname{sgn} (2l - j)\left[ {\begin{array}{*{20}c} {4l + 1} \\ j \\ \end{array} } \right]_F F_{n - j} = \frac{{F_{2l - 1} }} {{F_{4l + 1} }}\left[ {\begin{array}{*{20}c} {4l + 1} \\ {2l} \\ \end{array} } \right]_F F_{n - 4l - 1} ,}$$ holds for all non-negative integers n and l.     

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

Generalization of some polynomial inequalities not vanishing in a disk

If $P(z) = \sum\limits_{\nu = 0}^n {c_\nu z^\nu } $ is a polynomial of degree n, then for |β| ≤ 1, it was proved in [4] that $\left| {zP'(z) + n\frac{\beta } {2}P(z)} \right| \leqslant n\left| {1 + \frac{\beta } {2}} \right|\mathop {\max }\limits_{|z| = 1} |P(z)|,|z| = 1 $ In this paper, first we generalize the above result for the s ^th derivative of polynomials and next we improve the above inequality for polynomials with restricted zeros.     

Some new estimates of the Fourier-Bessel transform in the space \mathbb{L}_2 \left( {\mathbb{R}_ + } \right)

The Fourier-Bessel integral transform $$g\left( x \right) = F\left[ f \right]\left( x \right) = \frac{1} {{2^p \Gamma \left( {p + 1} \right)}}\int\limits_0^{ + \infty } {t^{2p + 1} f\left( x \right)j_p \left( {xt} \right)dt}$$ is considered in the space $\mathbb{L}_2 \left( {\mathbb{R}_ + } \right)$ . Here, j _p (u) = ((2 ^p Γ(p+1))/(u ^p ))J _p (u) and J _p (u) is a Bessel function of the first kind. New estimates are proved for the integral $$\delta _N^2 \left( f \right) = \int\limits_N^{ + \infty } {x^{2p + 1} g^2 \left( x \right)dx, N > 0,}$$ in $\mathbb{L}_2 \left( {\mathbb{R}_ + } \right)$ for some classes of functions characterized by a generalized modulus of continuity.     

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

Behaviour at infinity of solutions of some linear functional equations in normed spaces

Let \({\mathbb{K} \in \{\mathbb{R}, \mathbb{C}\}, I = (d, \infty), \phi : I \to I}\) be unbounded continuous and increasing, X be a normed space over \({\mathbb{K}, \mathcal{F} : = \{f \in X^I : {\rm lim}_{t \to \infty} f(t) {\rm exists} \, {\rm in} X\},\hat{a} \in \mathbb{K}, \mathcal{A}(\hat{a}) : = \{\alpha \in \mathbb{K}^I : {\rm lim}_{t \to \infty} \alpha(t) = \hat{a}\},}\) and \({\mathcal{X} : = \{x \in X^I : {\rm lim} \, {\rm sup}_{t \to \infty} \|x(t)\| < \infty\}}\) . We prove that the limit lim _{t → ∞} x(t) exists for every \({f \in \mathcal{F}, \alpha \in \mathcal{A}(\hat{a})}\) and every solution \({x \in \mathcal{X}}\) of the functional equation $$x(\phi(t)) = \alpha(t) x(t) + f(t)$$ if and only if \({|\hat{a}| \neq 1}\) . Using this result we study behaviour of bounded at infinity solutions of the functional equation $$x(\phi^{[k]}(t)) = \sum_{j=0}^{k-1} \alpha_j(t) x (\phi^{[j]}(t)) + f(t),$$ under some conditions posed on functions \({\alpha_j(t), j = 0, 1,\ldots, k - 1,\phi}\) and f.     

On the Generation of Certain Bundles of the Projective Space

Extending a result of Manivel, we prove the following: THEOREM. Suppose $\sum\limits_i {b_i \geqslant } \sum\limits_i {a_i } + n$ and $$\sum\limits_i {b_i } [n + d_i d_i - 1] \geqslant \sum\limits_i {a_i } [n + l_i l_i - 1] + n.$$ Then the kernel E(d) of the general morphism: $$\mathop \oplus \limits_{i = 1}^v (Bi \otimes O_{P^n } (d_i )) \to \mathop \oplus \limits_{j = 1}^v (A_j \otimes O_{P^n } (l_i ))$$ (l ₁>...>l _s>d ₁>...>d _v) is a globally generated vector bundle, except for at most finitely many sets $\left\{ {b_i ,a_i } \right\}$ .     

On properties of integrals of the Legendre polynomial

Properties of the integrals $P_{n0} (x) = P_n (x),P_{nk} (x) = \int\limits_{ - 1}^x {P_{n,k - 1} (y)dy} $ of the Legendre polynomials P _n (x) on the base interval ?1 ≤ x ≤ 1 are systematically considered. The generating function $(1 - 2xz + z^2 )^{k - 1/2} = Q_k (x,z) + ( - 1)^k (2k - 1)!!\sum\limits_{n = k}^\infty {P_{nk} (x)z^{n + k} } $ is defined; here, Q ₀ = 0 and Q _k with k > 0 is a polynomial of degree 2k ? 1 in each of the variables x and z. A second-order differential equation is derived, an analogue of Rodrigues’ formula is obtained, and the asymptotic behavior as n → ∞ is determined. It is proved that the representation $P_{nk} (x) = (x^2 - 1)^k f_{nk} (x)$ holds if and only if n ≥ k, where f _nk is a polynomial divisible by neither x ? 1 nor x + 1. The main result is the sharp bound $|P_{nk} (\cos \theta )| < \frac{{A_k }} {{\nu ^{k + 1/2} }}\sin ^{k - 1/2} \theta ,n \geqslant k.$ Here, $\nu ^2 = \left( {n + \frac{1} {2}} \right)^2 - \left( {k^2 - \frac{1} {4}} \right)\left( {1 - \frac{4} {{\pi ^2 }}} \right),A_k = \sqrt t _k J_k (t_k ) \sim \mu _1 k^{1/6} ,\mu _1 = 0.674885, $ where t _k is the maximum of the function $\sqrt t J_k (t)$ on the half-axis t > 0 and J _k (t) is the Bessel function. The first values A _k and differences A _k ? μ₁ k ^1/6 are tabulated below as follows:      

On an equation involving weighted quasi-arithmetic means

Let I ? ? be an interval and κ, λ ∈ ? / {0, 1}, µ, ν ∈ (0, 1). We find all pairs (φ, ψ) of continuous and strictly monotonic functions mapping I into ? and satisfying the functional equation $$ \kappa x + (1 - \kappa )y = \lambda \phi ^{ - 1} (\mu \phi (x) + (1 - \mu )\phi (y)) + (1 - \lambda )\psi ^{ - 1} (\nu \psi (x) + (1 - \nu )\psi (y)) $$ which generalizes the Matkowski-Sutô equation. The paper completes a research stemming in the theory of invariant means.     

Periodic solutions of a nonlinear propagation equation via a fixed point argument

In this work the initial value problem for the equation $$u_t + \beta u_x + yf(u)_x - \delta u_{xxt} = g,\forall x \in R, \forall t \in [0,T],$$ with periodic boundary conditions is interpreted in the sense of periodic distributions and studied via fixed point arguments. Weak solutions exist iff∈C ⁰ (R) andg∈L ^∞(L ²(0,1)). Moreover, regularity inf, g and the initial data implies regularity of solutions.     

Some new estimates of the Fourier transform in \mathbb{L}_2 (ℝ)

Given a function $\mathbb{L}_2 $ (?), its Fourier transform $g(x) = \hat f(x) = F[f](x) = \frac{1} {{\sqrt {2\pi } }}\int\limits_{ - \infty }^{ + \infty } {f(x)e^{ - ixt} dt} ,f(t) = F^{ - 1} [g](t) = \frac{1} {{\sqrt {2\pi } }}\int\limits_{ - \infty }^{ + \infty } {g(x)e^{ - ixt} dx} $ and the inverse Fourier transform are considered in the space f ε $\mathbb{L}_2 $ (?). New estimates are presented for the integral $\int\limits_{|t| \geqslant N} {|g(t)|^2 dt} = \int\limits_{|t| \geqslant N} {|\hat f(t)|^2 dt} ,N \geqslant 1,$ in the vase of f ε $\mathbb{L}_2 $ (?) characterized by the generalized modulus of continuity of the kth order constructed with the help of the Steklov function. Some other estimates associated with this integral are proved.