Estimate of a complete rational trigonometric sum

Supposef is a polynomial of degree n≥3 with integral coefficientsa ₀,a ₁,...,a _n; q is a natural number; (a ₁,...,a _n, q)=1,f(0) = 0. It is proved that $$\left| {\sum\nolimits_{x = 1}^q {e^{2\pi if(x)/q} } } \right|< e^{5n^2 /\ln n} q^{1 - 1/n} $$ .     

A minimax theorem for vector-valued functions,part 2

We deal with the minimax problem relative to a vector-valued functionf: X ₀×Y ₀ »V, where a partial ordering in the topological vector spaceV is induced by a closed and convex coneC. In Ref. 1, under suitable hypotheses, we proved that $$Max\bigcup\limits_{s\varepsilon X_0 } {Min_w f(s,Y_0 )} \subset Min\bigcup\limits_{t\varepsilon Y_0 } {Maxf(X_0 ,t) + C;}$$ the exact meaning of the symbols is given in Section 2. In this work, we prove that, under a reasonable setting of hypotheses, the previous inclusion holds and also we have that $$Min_w \bigcup\limits_{t\varepsilon Y_0 } {Max} f(X_0 ,t) \subset Max\bigcup\limits_{s\varepsilon X_0 } {Min_w } f(s,Y_0 ) - C.$$      

Bemerkungen zu einem Satz von Fejér

Последовательность {ita_k} _(n) ^k =1/∞ вещественных ч исел называется дважды мо нотонной, еслиa _k -2a _k+1 +a _k+2 ≧0 дляk≧1. В работе доказываютс я следующие утвержде ния, являющиеся обобщени ем двух теорем Фейера:

1. Если {ita_k — дважды моно тонная последовател ьность, то для ¦z¦<1 $$\operatorname{Re} \sum\limits_{\kappa = 1}^\infty {a_\kappa z^\kappa } /\sum\limits_{\kappa = 1}^n {a_\kappa z^\kappa } > 1/2$$ дляи≧ 1.
2. Если О≦β<1 и последова тельность (k+1-2β)ak} дважд ы монотонна, то для ¦z¦<1 $$\operatorname{Re} \sum\limits_{\kappa = 1}^\infty {ka_\kappa z^\kappa } /\sum\limits_{\kappa = 1}^\infty {a_\kappa z^\kappa } > \beta $$ , то есть $$\sum\limits_{\kappa = 1}^\infty {a_\kappa z^\kappa } \varepsilon S_\beta ^\kappa $$ . При помощи 2) получены о бобщения и уточнения теорем из работы [1] о линейных комбинациях некотор ых однолистных функц ий.

     

Variational problems with lags

In this paper, we study some questions concerning the minima of the functional $$J\left( y \right) = \int_{x_1 }^{x_2 } {f\left( {x,y\left( x \right),y\left( {x - r} \right),\dot y\left( x \right),\dot y\left( {x - r} \right)} \right)dx} $$ In Section 2, we obtain an analogue to the Jacobi condition to add to the list of previously obtained necessary conditions. A transversality condition is developed in Section 3. In Section 4, we obtain an existence theorem. The techniques used are modifications of those used in the classical problems. In Section 5, we show that the theory of fields for the classical problem fails to work for our problem.     

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.     

Metric theorems related to the Kronecker-Weyl theorem modm

Let (Ω, ?,P) be the infinite product of identical copies of the unit interval probability space. For a Lebesgue measurable subsetI of the unit interval, let \(A(N,I,\omega ) = \# \left\{ {n \leqslant N|\omega _n \varepsilon I} \right\}\) , where ω=(ω₁,ω₂,...). For integersm>1, and 0≤r<m, define $$\varepsilon (k,r,m,I,\omega ) = \left\{ {\begin{array}{*{20}c} {1\,if\,A(k,I,\omega ) \equiv r(\bmod m)} \\ {0\,otherwise} \\ \end{array} } \right.$$ and $$\eta (k,m,I,\omega ) = \left\{ {\begin{array}{*{20}c} {1\,if\,(A(k,I,\omega ),m) \equiv 1} \\ {0\,otherwise.} \\ \end{array} } \right.$$ A theorem ofK. L. Chung yields an iterated logarithm law and a central limit theorem for sums of the variables ε(k) and η(k).     

On the similarity problem for polynomially bounded operators on hilbert space

Partial solutions are obtained to Halmos’ problem, whether or not any polynomially bounded operator on a Hilbert spaceH is similar to a contraction. Central use is made of Paulsen’s necessary and sufficient condition, which permits one to obtain bounds on ‖S‖ ‖S ^?1‖, whereS is the similarity. A natural example of a polynomially bounded operator appears in the theory of Hankel matrices, defining $$R_f = \left( {\begin{array}{*{20}c} {S*} \\ 0 \\ \end{array} \begin{array}{*{20}c} {\Gamma _f } \\ S \\ \end{array} } \right)$$ onl ² ⊕l ², whereS is the shift and Γ _f the Hankel operator determined byf withf′ ∈ BMOA. Using Paulsen’s condition, we prove thatR _f is similar to a contraction. In the general case, combining Grothendieck’s theorem and techniques from complex function theory, we are able to get in the finite dimensional case the estimate $$\left\| S \right\|\left\| {S^{ - 1} } \right\| \leqq M^4 log(dim H)$$ whereSTS ^?1 is a contraction and assuming \(\left\| {p\left( T \right)} \right\| \leqq M\left\| p \right\|_\infty \) wheneverp is an analytic polynomial on the disc.     

GLOBAL EXISTENCE OF THE SOLUTION OF NONLINEAR SCHRDINGER EQUATIONS IN EXTERIOR DOMAINS

In this paper,we discuss the problem for the nonlinear Schr(?)dinger equation(?)where Ω is the exterior domain of a compact set in B~n,a_j(u)=O(|u|),b_j(u)=O(|u|)(1≤j≤n),c(u)=O(|u|~2)near u=0.If n≥5,some Sobolev norm of u_0(x)is sufficiently small,under suitableassumptions on smoothnessand and compatibility and the shape of Ω,we get that the problem has aunique global solution u(t,x),with the decay estimate‖u(t,·)‖_(L(?)(Ω))=O(t~(-n/4)),‖u(t,·)‖_(L~4(Ω))=O(t~(-n/4)),t→+∞.     

OnL 1-convergence of Walsh-Fourier series I

We prove the convergence in theL ¹(0, 1)-metric of Walsh-Fourier series \(\sum\limits_{k = 0}^\infty {a_k w_k \left( x \right)} \) of an integrable function with coefficients such that lim_n→∞ and the following Tauberian condition of Hardy-Karamata kind is satisfied: $$\mathop {lim}\limits_{\lambda \to 1 + 0} {\text{ }}\mathop {lim}\limits_{n \to \infty } \sum\limits_{k = n}^{\left[ {\lambda n} \right]} {k^{p - 1} \left| {\Delta a_k } \right|^p } = 0,$$ , wherep>1, [·] denotes the integral part, and Δa _k=a_k?a_k+1.     

Double trigonometric series with lacunary constant sign coefficients

An analogue of Sidon??s theorem is presented for series of the form $$\sum\limits_{k = 1}^\infty {\sum\limits_{n = 0}^\infty {a_{k,n} } } \cos m_k x\cos ny,$$ where the coefficients a _k,n have a constant sign for any fixed k.     

An extremal problem for algebraic polynomials in the symmetric discrete Gegenbauer-Sobolev space

We study discrete Sobolev spaces with symmetric inner product $$\left\langle {f,g} \right\rangle _\alpha = \int_{ - 1}^1 {f g d\mu _\alpha } + M[f(1)g(1) + f( - 1)g( - 1)] + K[f'(1)g'(1) + f'( - 1)g'( - 1)]$$ , where M ≥ 0, k ≥ 0, and $$d\mu _\alpha (x) = \frac{{\Gamma (2\alpha + 2)}}{{2^{2\alpha + 1} \Gamma ^2 (\alpha + 1)}}(1 - x^2 )^\alpha dx, \alpha > - 1$$ , is the Gegenbauer probability measure. We obtain the solution of the following extremal problem: Calculate $$\mathop {\inf }\limits_{a_0 ,a_1 ,...,a_{N - r} } \left\{ {\langle P_N^{(r)} ,P_N^{(r)} \rangle _\alpha ,1 \leqslant r \leqslant N - 1, P_N^{(r)} (x) = \sum\limits_{j = N - r + 1}^N {a_j^0 x^j } + \sum\limits_{j = 0}^{N - r} {a_j x^j } } \right\}$$ , where the a _j ⁰ , j = N ? r + 1, N ? r + 2, ..., N ? 1, N, a _N ⁰ > 0, are fixed numbers, and find the extremal polynomial.     

Asymptotic Behavior of Ground State Solutions of Some Combined Nonlinear Problems

We consider in this paper the existence and the asymptotic behavior of positive ground state solutions of the boundary value problem $${-}\Delta u = a_{1}(x)u^{\alpha_{1}} + a_{2}(x) u^{\alpha_{2}}\,\, {\rm in}\,\, \mathbb{R}^{n}, \lim_{|x| \rightarrow \infty} u(x) = 0$$ , where α ₁, α ₂ < 1 and a ₁, a ₂ are nonnegative functions in ${C^{\gamma}_{loc}} (\mathbb{R}^{n})$ , ${0 < \gamma < 1}$ , satisfying some appropriate assumptions related to Karamata regular variation theory.     

Оценки отклонений оп тимальных сеток вL p -норме и теория квад ратурных формул

Let E^s=[0, 1]^s be then-dimensional unit cube, 1<p<∞, anda=(a ₁, ...,a _s ) some set of natural numbers. Denote byL _p ^(a) , (E ^s ) the class of functionsf: E ^s → C for which $$\left\| {\frac{{\partial ^{b_1 + \cdots + b_s } f}}{{\partial x_1^{b_1 } \cdots \partial x_s^{b_s } }}} \right\|_p \leqslant 1,$$ where $$0< b_1< a_1 , ..., 0< b_s< a_s .$$ Set $$R_p^{\left( a \right)} \left( N \right) = \mathop {\inf }\limits_{card \mathfrak{S} = N} R_\mathfrak{S} \left( {L_p^{\left( a \right)} \left( {E^s } \right)} \right),$$ where $R_\mathfrak{S} \left( {L_p^{\left( a \right)} \left( {E^s } \right)} \right)$ is the error of the quadrature formulas on the mesh $\mathfrak{S}$ (for the classL _p ^(a) (E ^s )), consisting of N nodes and weights, and the infimum is taken with respect to all possibleN nodes and weights. In this paper, the two-sided estimate $$\frac{{\left( {\log N} \right)^{{{\left( {l - 1} \right)} \mathord{\left/ {\vphantom {{\left( {l - 1} \right)} 2}} \right. \kern-\nulldelimiterspace} 2}} }}{{N^d }} \ll _{p, a} R^{\left( a \right)} \left( N \right) \ll _{p, a} \frac{{\left( {\log N} \right)^{{{\left( {l - 1} \right)} \mathord{\left/ {\vphantom {{\left( {l - 1} \right)} 2}} \right. \kern-\nulldelimiterspace} 2}} }}{{N^d }}$$ is proved for every natural numberN > 1, whered=min{a ₁, ...,a _s }, whilel is the number of those components of a which coincide withd. An analogous result is proved for theL _p -norm of the deviation of meshes.     

A moment problem associated to rational Szegő functions

Leta ₁,...,a _p be distinct points in the finite complex plane ?, such that |a _j|>1,j=1,..., p and let \(b_j = 1/\bar \alpha _j ,\) j=1,..., p. Let μ₀, μ _π ^(j) , ν _π ^(j) j=1,..., p;n=1, 2,... be given complex numbers. We consider the following moment problem. Find a distribution ψ on [?π, π], with infinitely many points of increase, such that $$\begin{array}{l} \int_{ - \pi }^\pi {d\psi (\theta ) = \mu _0 ,} \\ \int_{ - \pi }^\pi {\frac{{d\psi (\theta )}}{{(e^{i\theta } - a_j )^n }} = \mu _n^{(j)} ,} \int_{ - \pi }^\pi {\frac{{d\psi (\theta )}}{{(e^{i\theta } - b_j )^n }} = v_n^{(j)} ,} j = 1,...,p;n = 1,2,.... \\ \end{array}$$ It will be shown that this problem has a unique solution if the moments generate a positive-definite Hermitian inner product on the linear space of rational functions with no poles in the extended complex plane ?^* outside {a ₁,...,a _p,b ₁,...,b _p}.     

Symmetry breaking bifurcation from solutions concentrating on the equator of \mathbb{S}^N

We are concerned with the elliptic problem $${\varepsilon ^2}{\Delta _{{S^n}}}u - u + {u^p} = 0{\text{ in }}{S^n},u > 0{\text{ in }}{S^n}$$ , where ${\Delta _{{S^n}}}$ is the Laplace-Beltrami operator on $\mathbb{S}^n : = \left\{ {x \in \mathbb{R}^{n + 1} ;\left\| x \right\| = 1} \right\}\left( {n \geqslant 3} \right)$ , and p ? 2. We construct a smooth branch C of solutions concentrating on the equator S ⁿ ∩ {x _{n+1 = 0}}. Using the Crandall-Rabinowitz bifurcation theorem, we show that C has infinitely many bifurcation points from which continua of nonradial solutions emanate. In applying the bifurcation theorem, we verify the transversality condition directly.     

A tauberian theorem for random walk

LetX ₁,X ₂,... be independent random variables, all with the same distribution symmetric about 0; $$S_n = \sum\limits_{i = 1}^n {X_i } $$ It is shown that if for some fixed intervalI, constant 1<a≦2 and slowly varying functionM one has $$\sum\limits_{k = 1}^n {P\{ S_k \in I\} \sim \frac{{n^{1 - 1/\alpha } }}{{M(n)}}} (n \to \infty )$$ then theX _i belong to the domain of attraction of a symmetric stable law.     

Convergence of Riemann sums for functions which can be represented by trigonometric series with coefficients forming a monotonic sequence

The following theorem is proved. If $$f(x) = \frac{{\alpha _0 }}{2} + \sum\nolimits_k^\infty \alpha _k \cos 2\pi kx + b_k \sin 2\pi kx,$$ wherea _k ↓ 0 and b_k ↓ 0, then $$\mathop {\lim }\limits_{n \to \infty } \frac{1}{n}\sum\nolimits_{s = 0}^{n - 1} {f\left( {x + \frac{s}{n}} \right) = \frac{{\alpha _0 }}{2}} $$ on (0, 1) in the sense of convergence in measure. If in additionf(x) ε L² (0, 1), then this relation holds for almost all x.     

Über verallgemeinerte Momente additiver Funktionen

In this paper we give characterizations of additive functionsf, for which $$\mathop {\lim \sup }\limits_{x \to \infty } x^{ - 1} \sum\limits_{n \leqslant x} {\varphi (|f(n)|)}$$ is bounded, where φ: ?⁺ → ?⁺ is monotone and or $$\begin{array}{*{20}c} {\varphi (x) = c^x } & {(x \in \mathbb{R}).} \\ \end{array}$$ A typical example is φ (x)=x ^a (a>0) forx≥0.     

Finite Element Matrix Sequences: the Case of Rectangular Domains

In the present paper, we consider a preconditioning strategy for Finite Element (FE) matrix sequences {A _n (a)} _n discretizing the elliptic problem $$\left\{ \begin{gathered} A_a u \equiv ( - )^k \nabla ^k [a(x,y)\nabla ^k u(x,y)] = f(x,y),{ }(x,y) \in \Omega = (0,1)^2 , \hfill \\ \left. {\left( {\frac{{\partial ^s }}{{\partial v^s }}u(x,y)} \right)} \right|_{\partial \Omega } \equiv 0,{ }s = 0,...,k - 1,{ }^{^{^{^{^{^{(1)} } } } } } \hfill \\ \end{gathered} \right.$$ with a(x,y) being a uniformly positive function and ν denoting the unit outward normal direction. More precisely, in connection with preconditioned conjugate gradient (PCG) like methods, we define the preconditioning sequence: {P _n (a)} _n , P _n (a):= $$\widetilde D$$ _n ^1/2(a)A _n (1) $$\widetilde D$$ _n ^1/2(a), where $$\widetilde D$$ _n (a) is the suitable scaled main diagonal of A _n (a). In fact, under the mild assumption of Lebesgue integrability of a(x), the weak clustering at the unity of the corresponding preconditioned sequence is proved. Moreover, if a(x,y) is regular enough and if a uniform triangulation is considered, then the preconditioned sequence shows a strong clustering at the unity so that the sequence {P _n (a)} _n turns out to be a superlinear preconditioning sequence for {A _n (a)} _n . The computational interest is due to the fact that the computation with A _n (a) is reduced to computations involving diagonals and two-level Toeplitz structures {A _n (1)} _n with banded pattern. Some numerical experimentations confirm the efficiency of the discussed proposal.