C~∞-solutions for the Second Type of Generalized Feigenbaum's Functional Equations

This work focuses on the second type of generalized Feigenbaum's equation(f(x)) = f(f((x))),f(0) = 1, 0 ≤ f(x) ≤ 1, x ∈ [0, 1],where (x) is C∞-increasing function on [0, 1] and satisfies that (0) = 0, 0 (x) 1(x ∈ [0, 1]).Using constructive method, we discuss the existence of C∞-single-valley solutions whose derivatives are not equal to 0 on origin of the above equation.     

Über die Mittel stochastisch unabhängiger Funktionen

Для данного числаK, 1≦K≦∞, обозначимΩ(K) клас с последовательносте йφ={φ _k (x)} стохастически незав исимых на (0,1) функций, дл я которых выполнены условия: $$\int\limits_0^1 {\varphi _k (x)dx = 0,} \int\limits_0^1 {\varphi _k^2 (x)dx = 1, |\varphi _k (x)|} \leqq K(x \in (0,1);k = 1,2, \ldots ).$$ Пусть, далее,λ={λ _n } —по следовательность со свойствами $$0< \lambda _1< \ldots< \lambda _n< \ldots ,\mathop {\lim }\limits_{n \to \infty } \lambda _n = \infty ,$$ иМ (λ;K) — множество числ овых последовательн остейa={a _k } _k=1 ^∞ , для которых по сле-довательности средних $$\frac{1}{{\lambda _n }}\mathop \sum \limits_{k = 1}^n a_k \varphi _k (x)(n = 1,2, \ldots )$$ сходятся к нулю почтя всюду на (0,1) для всех сис темφ∈Ω(K). В статье, в частности, п утем применения одно го метода Б. С. Кашина, доказываетс я, что для каждогоK, 1 <-K<∞, в ыполнено равенствоM(λ; K)=М(λ; 1).     

Limit ultraspherical series and their approximation properties

We study new series of the form $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ in which the general term $f_k^{ - 1} \hat P_k^{ - 1} (x)$ , k = 0, 1, …, is obtained by passing to the limit as α→?1 from the general term $\hat f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)$ of the Fourier series $\sum\nolimits_{k = 0}^\infty {f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)} $ in Jacobi ultraspherical polynomials $\hat P_k^{\alpha ,\alpha } (x)$ generating, for α> ?1, an orthonormal system with weight (1 ? x ₂)α on [?1, 1]. We study the properties of the partial sums $S_n^{ - 1} (f,x) = \sum\nolimits_{k = 0}^n {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ of the limit ultraspherical series $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ . In particular, it is shown that the operator S _n ^?1 (f) = S _n ^?1 (f, x) is the projection onto the subspace of algebraic polynomials p _n = p _n (x) of degree at most n, i.e., S _n (p _n ) = p _n ; in addition, S _n ^?1 (f, x) coincides with f(x) at the endpoints ±1, i.e., S _n ^?1 (f,±1) = f(±1). It is proved that the Lebesgue function Λ _n (x) of the partial sums S _n ^?1 (f, x) is of the order of growth equal to O(ln n), and, more precisely, it is proved that $\Lambda _n (x) \leqslant c(1 + \ln (1 + n\sqrt {1 - x^2 } )), - 1 \leqslant x \leqslant 1$ .     

A note on optimization using the augmented penalty function

The augmented penalty function is used to solve optimization problems with constraints and for faster convergence while adopting gradient techniques. In this note, an attempt is made to show that, ifx* ∈S maximizes the function $$W(x,\lambda ,{\rm K}) = f(x) - \sum\limits_{j = 1}^n {\lambda _j C_j (x)} - K\sum\limits_{j = 1}^n {C_j ^2 (x)} ,$$ thenx* maximizesf(x) over all thosex ∈S such that $$C_j (x) \leqslant C_j ,j = 1,2, \ldots ,n,$$ under the assumptions that the λ _j 's andk are nonnegative, real numbers. Here,W(x, λ,K),f(x), andC _j (x),j=1, 2,...,n, are real-valued functions andC _j (x) ≥ 0 forj=1, 2,...,n and for allx. The above result is generalized considering a more general form of the augmented penalty function.     

Separate asymptotics of two series of eigenvalues for a single elliptic boundary-value problem

The spectral problem in a bounded domain Ω?Rⁿ is considered for the equation Δu= λu in Ω, ?u=λ?υ/?ν on the boundary of Ω (ν the interior normal to the boundary, Δ, the Laplace operator). It is proved that for the operator generated by this problem, the spectrum is discrete and consists of two series of eigenvalues {λ _j ⁰ } _j=1 ^∞ and {λ _j ^∞ } _j=1 ^∞ , converging respectively to 0 and +∞. It is also established that $$N^0 (\lambda ) = \sum\nolimits_{\operatorname{Re} \lambda _j^0 \geqslant 1/\lambda } {1 \approx const} \lambda ^{n - 1} , N^\infty (\lambda ) \equiv \sum\nolimits_{\operatorname{Re} \lambda _j^\infty \leqslant \lambda } {1 \approx const} \lambda ^{n/1} .$$ The constants are explicitly calculated.     

Multiobjective programming and penalty functions

This paper generalizes the penalty function method of Zang-will for scalar problems to vector problems. The vector penalty function takes the form $$g(x,\lambda ) = f(x) + \lambda ^{ - 1} P(x)e,$$ wheree ?R ^m, with each component equal to unity;f:R ⁿ →R ^m, represents them objective functions {f ⁱ} defined onX \( \subseteq \) R ⁿ; λ ∈R ¹, λ>0;P:R ⁿ →R ¹ X \( \subseteq \) Z \( \subseteq \) R ⁿ,P(x)≦0, ∨x ∈R ⁿ,P(x) = 0 ?x ∈X. The paper studies properties of {E (Z, λ _r )} for a sequence of positive {λ _r } converging to 0 in relationship toE(X), whereE(Z, λ _r ) is the efficient set ofZ with respect tog(·, λ_r) andE(X) is the efficient set ofX with respect tof. It is seen that some of Zangwill's results do not hold for the vector problem. In addition, some new results are given.     

Rational approximations of convex functions

The following inequalities are shown to hold for the least uniform rational deviations R_n(f) of a function f(x), continuous and convex in the interval [a, b]: $$R_n (f) \leqslant C(v)\Omega (f)n^{ - 1} \overbrace {\ln \ldots \ln }^{vtimes}n$$ (ν is an integer, C(ν) depends only on ν, and Ω(f) is the total oscillation of f); $$R_n (f) \leqslant C_1 n^{ - 1} \overbrace {\ln \ldots \ln }^{vtimes}n\mathop {\inf }\limits_{(b - a)\chi _n \leqslant \lambda< b - a} \left\{ {\omega (\lambda ,f) + M(f)n^{ - 1} \ln \frac{{b - a}}{\lambda }} \right\}$$ (ν is an integer, C₁(ν) depends only on ν, x_n = exp (-n/(500 In²n)), ω (δ,f) is the modulus of continuity of f, and M(f) = max¦f(x) ¦.     

Simultaneous semi-eigenvectors for matrices over an extremal algebra

We consider a process withn jobs which is repeated in a periodic manner. This problem can be described by a “simultaneous semi-eigenvector problem”: Find all feasible periods λ for which there exists a time schedule x fulfilling $$\max _{u = 1}^n \left( {x_u + \alpha _{uv} } \right) \leqslant x_v $$ . Letd(λ): =x _n ?x ₁ be the minimum duration of one single process during one cycle under the restriction that the complete system is operated with period λ. We show thatd(λ) is a decreasing and piecewise linear function and we present a polynomial algorithm to calculate this function explicitly.     

Bounds for the spectral abscissa of an element in a Banach algebra

For an arbitrary element x with spectrum sp(x) in a Banach algebra with identity e ≠ 0 we define the upper (lower) spectral abscissa \(\mathop {\sigma + (x)}\limits_{( - )} = \mathop {\max }\limits_{(\min )} \operatorname{Re} \lambda ,\lambda \in sp(x)\) . With the aid of the spectral radius \(\rho (x) = \mathop {\max }\limits_{\lambda \in sp(x)} \left| \lambda \right| = \mathop {\lim }\limits_{n \to + \infty } \parallel x^n {{1 - } \mathord{\left/ {\vphantom {{1 - } n}} \right. \kern-0em} n}\) we prove the following bounds: γ_?(x)?σ_?(x)?Γ_?(x)?₊(x)?σ₊(x)?γ₊(x), Γ_(±)(x)=(2δ_(±))^?1 (ρ _δ ² )_(±)?δ _(±) ² ?ρ ₀ ² )(δ_(±)≠0), γ_(±)(x)= (±)ρ_δ(±)?δ_(±), δ₊?0, δ_??0 ρ _(±) ^δ = ρ(x+eδ_(±)). We mention a case where equality is achieved, some corollaries,and discuss the sharpness of the bounds: for every ? > 0 there is a δ: ¦δ¦ ≥ρ ₀ ² /2?, such that Δ: = ¦γ_(±) x?Γ_(±) x¦?ε and conversely, if the bounds are computed for some δ ≠ 0, then △ ≤ρ ₀ ² /2 ¦δ¦. An example is considered.     

The “Full Müntz Theorem” inL p[0, 1] for 0<p<∞

Denote by span {f ₁,f ₂, …} the collection of all finite linear combinations of the functionsf ₁,f ₂, … over ?. The principal result of the paper is the following. Theorem (Full Müntz Theorem in L_p(A) for p ∈ (0, ∞) and for compact sets A ? [0, 1] with positive lower density at 0). Let A ? [0, 1] be a compact set with positive lower density at 0. Let p ∈ (0, ∞). Suppose (λ _j ) _j=1 ^∞ is a sequence of distinct real numbers greater than ?(1/p). Then span {x ^λ1,x ^λ2,…} is dense in L_p(A) if and only if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ . Moreover, if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ , then every function from the L_p(A) closure of {x ^λ1,x ^λ2,…} can be represented as an analytic function on {z ∈ ? \ (?∞,0] : |z| < r_A} restricted to A ∩ (0, r_A) where $r_A : = \sup \left\{ {y \in \mathbb{R}:\backslash ( - \infty ,0]:\left| z \right|< r_A } \right\}$ (m(·) denotes the one-dimensional Lebesgue measure). This improves and extends earlier results of Müntz, Szász, Clarkson, Erdös, P. Borwein, Erdélyi, and Operstein. Related issues about the denseness of {x ^λ1,x ^λ2,…} are also considered.     

A Bernstein function related to Ramanujan’s approximations of exp(n)

Ramanujan’s sequence θ(n),n=0,1,2,…?, is defined by $\frac{e^{n}}{2}=\sum_{j=0}^{n-1}\frac{n^{j}}{j!}+\frac{n^{n}}{n!} \theta(n)$ . It is possible to define, in a simple manner, the function θ(x) for all nonnegative real numbers x. We show that the function $\lambda(x):=x (\theta(x)-\frac{1}{3} )$ is a Bernstein function on [0,∞), that is, λ(x) is nonnegative with completely monotonic derivative on [0,∞). This implies some earlier results concerning complete monotonicity of the function θ(x) on [0,∞).     

Nonlocal problem for a parabolic-hyperbolic equation in a rectangular domain

For an equation of mixed type, namely, $$ \left( {1 - \operatorname{sgn} t} \right)u_{tt} + \left( {1 - \operatorname{sgn} t} \right)u_t - 2u_{xx} = 0 $$ in the domain {(x, t) | 0 < x < 1, ?α < t < β}, where α, β are given positive real numbers, we study the problem with boundary conditions $$ u\left( {0,t} \right) = u\left( {1,t} \right) = 0, - \alpha \leqslant t \leqslant \beta , u\left( {x, - \alpha } \right) - u\left( {x,\beta } \right) = \phi \left( x \right), 0 \leqslant x \leqslant 1. $$ . We establish a uniqueness criterion for the solution constructed as the sum of Fourier series. We establish the stability of the solution with respect to its nonlocal condition φ(x).     

On the Fourth Moment of Coefficients of Symmetric Square L-Function

Let f(z) be a holomorphic Hecke eigencuspform of weight k for the full modular group. Let ?? _f (n) be the nth normalized Fourier coefficient of f(z). Suppose that L(sym² f, s) is the symmetric square L-function associated with f(z), and $ \lambda _{sym^2 f} (n) $ (n) denotes the nth coefficient L(sym² f, s). In this paper, it is proved that $$ \sum\limits_{n \leqslant x} {\lambda _{sym^2 f}^4 (n)} = xP2(\log x) + O(x^{\frac{{79}} {{81}} + \varepsilon } ), $$ , where P ₂(t) is a polynomial in t of degree 2. Similarly, it is obtained that $$ \sum\limits_{n \leqslant x} {\lambda _f^4 (n^2 )} = x\tilde P2(\log x) + O(x^{\frac{{79}} {{81}} + \varepsilon } ), $$ , where $ \tilde P_2 (t) $ is a polynomial in t of degree 2.     

Methods of summation and best approximation

Let λ={λ _k ⁿ } be a triangular method of summation,f ε L_p (1 ≤ p ≤ ∞), $$U_n (f,x,\lambda ) = \frac{{a_0 }}{2} + \sum _{k = 1}^n \lambda _k^n (a_k \cos kx + b_k \sin kx).$$ Consideration is given to the problem of estimating the deviations ∥f ? U_n (f, λ) ∥ L_p in terms of a best approximation E_n (f) L_p in abstract form (for a sequence of projectors in a Banach space). Various generalizations of known inequalities are obtained.     

Bombieri's theorem in short intervals

The well-known Bombieri-A. I. Vinogradov theorem states that (1) $$\sum\limits_{q \leqslant x^{\tfrac{1}{2}} (\log x)^{ - s} } {\mathop {\max }\limits_{(a,q) = 1} \mathop {\max }\limits_{y \leqslant x} } \left| {\psi (y,q;a) - \frac{y}{{\varphi (q)}}} \right| \ll \frac{x}{{(\log x)^A }},$$ whereA is an arbitrary positive constant,B=B(A)>0, and as usual, $$\psi (x,q;a) = \sum\limits_{\mathop {n \leqslant x}\limits_{n = a(q)} } {\Lambda (n),}$$ Λ being the Von Mangoldt's function. The problem of finding a result analogous to (1) for short intervals was investigated by many authors. Using Heath-Brown's identity and the approximate functional equation for DirichletL-functions, A. Perelli, J. Pintz and S. Salerno in 1985 established the following extension of Bombieri's theorem: Theorem 1. (2) $$\sum\limits_{q \leqslant Q} {\mathop {\max }\limits_{(a,q) = 1} \mathop {\max }\limits_{h \leqslant y} \mathop {\max }\limits_{\frac{x}{2}< \approx \leqslant x} } \left| {\psi (z + h,q;a) - \psi (z,q;a) - \frac{h}{{\varphi (q)}}} \right| \ll \frac{y}{{(\log x)^A }}$$ where A>0 is an arbitrary constant,y=x ^θ $$\frac{7}{{12}}< \theta \leqslant 1, Q = x^{\frac{1}{{40}}} .$$ ,Q=x ^1/40. By improving the basic lemma which A. Perelli, J. Pintz and S. Salerno used as the main tool to prove Theorem 1, we obtain Theorem 2.Under the same condition as in Theorem 1,for Q=x ^1/38.5, (2)still holds.     

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

A Functional Equation Of J.A. Baker Involving Integral Means

The functional equation $$f(x)={1\over 2}\int^{x+1}_{x-1}f(t)\ dt\ \ \ {\rm for}\ \ \ x\ \in\ {\rm R}$$ has the linear functions ?(x) = a + bx (a, b ∈ ?) as trivial solutions. It is shown that there are two kinds of nontrivial solutions, (i) ?(x) = eλ_i ^x (i = 1, 2, …), where the λ_i∈ ? are the fixed points of the map z ? sinh z, and (ii) C^∞-solutions ? for which the values in the interval [?1,1] can be prescribed arbitrarily, but with the provision that ?^(j)(? 1) = ?^(j)(0) = ?^(j)(1) = 0 for all j = 0, 1, 2 …     

A method of multipliers for mathematical programming problems with equality and inequality constraints

This paper deals with the numerical solution of the general mathematical programming problem of minimizing a scalar functionf(x) subject to the vector constraints φ(x)=0 and ψ(x)≥0. The approach used is an extension of the Hestenes method of multipliers, which deals with the equality constraints only. The above problem is replaced by a sequence of problems of minimizing the augmented penalty function Ω(x, λ, μ,k)=f(x)+λ ^T φ(x)+kφ ^T (x)φ(x) ?μ ^T \(\tilde \psi \) (x)+k \(\tilde \psi \) ^T (x) \(\tilde \psi \) (x). The vectors λ and μ, μ ≥ 0, are respectively the Lagrange multipliers for φ(x) and \(\tilde \psi \) (x), and the elements of \(\tilde \psi \) (x) are defined by \(\tilde \psi \) _(j)(x)=min[ψ_(j)(x), (1/2k) μ_(j)]. The scalark>0 is the penalty constant, held fixed throughout the algorithm. Rules are given for updating the multipliers for each minimization cycle. Justification is given for trusting that the sequence of minimizing points will converge to the solution point of the original problem.