Sur les équations fonctionnelles aux itérées

Summary We study solutions of functional equationsP(f ^[10] ,,f ^[s] ) = 0, whereP is a non zero polynomial ins + 1 variables andf ^[k] denotes thekth iterate of a functionf. We deal with three distinct cases: first,f is an entire function of a complex variable, we show then thatf is a polynomial. Second, we also prove thatf is a polynomial if it is an entire function of ap-adic variable. Third, we considerf a formal power series with coefficients in a number fieldK; subject to some apparently natural restrictions onf and onP, we find thatf is an algebraic power series over the ring of polynomials inK[x].

---

Sur les équations fonctionnelles aux itérées

     

Nonradial Large Solutions of Sublinear Elliptic Equations

We show that the equation Δu = p(x)f(u) has a positive solution on R ^N , N ≥ 3, satisfying <artwork name="GAPA31011ei1"> <artwork name="GAPA31011ei2"> if and only if <artwork name="GAPA31011ei3"> when ψ(r) = min{p(x): |x| = r}. The nondecreasing continuous function f satisfies f(0) = 0, f (s) > 0 for s > 0, and sup _{s ≥ 1} f(s)/s<∞, and the nonnegative continuous function p is required to be asymptotically radial. This extends previous results which required the function p to be constant or radial.     

Absolutely continuous invariant measures forC 2 unimodal maps satisfying the Collet-Eckmann conditions

Summary In this paper we show that unimodal mappingsf[0, 1][0, 1] have absolutely continuous measures of positive entropy if these maps areC ² and satisfy the so-called Collet-Eckmann conditions. No conditions on the Schwarzian derivative off are assumed.     

On approximation of approximately generalized quadratic functional equation via Lipschitz criteria

Abstract

Let G be an Abelian group with a metric d and E ba a normed space. For any f : G → E we define the generalized quadratic di?erence of the function f by the formula

Q_k f (x, y) := f (x + ky) + f (x ? ky) ? f (x + y) ? f (x ? y) ? 2(k² ? 1)f (y)

for all x, y ∈ G and for any integer k with k ≠ 1, ?1. In this paper, we achieve the general solution of equation Q_k f (x, y) = 0, after it, we show that if Q_k f is Lipschitz, then there exists a quadratic function K : G → E such that f ? K is Lipschitz with the same constant. Moreover, some results concerning the stability of the generalized quadratic functional equation in the Lipschitz norms are presented. In the particular case, if k = 0 we obtain the main result that is in [7].     

On invariant subspaces of Volterra-type operators

The lattice of all the closed, invariant subspaces of the Volterra integration operator onL ²[0, 1] is equal to {B(a):a[0, 1]}, whereB(a)={fL ²[0, 1]:f=0 a.e. on [0,a]}. In order to extend this result to Banach function spaces we study the Volterra-type operatorV that was introduced in [7] for the case ofL ^p -spaces. Our main result characterizesL-closed subspaces of a Banach function spaceL that are invariant underV, whereL denotes the associate space ofL. In particular, if the norm ofL is order continuous and ifV is injective, then all the closed, invariant subspaces ofV are determined.This work was supported by the Research Ministry of Slovenia.     

Accurate estimates of deviations of spline approximations to classes of differentiable functions

We derive the approximation on [0, 1] of functionsf(x) by interpolating spline-functions s_r(f; x) of degree 2r+1 and defect r+1 (r=1, 2,...). Exact estimates for ¦f(x)–s_r(f; x) ¦ and f(x)–s_r(f; x)|_c on the class W^mH for m=1, r=1, 2, ..., and m=2, 3, r=1 for the case of convex (t),are derived.Translated from Matematicheskie Zametki, Vol. 9, No. 5, pp. 483–494, May, 1971.     

Density of slowly oscillating solutions of ẋ(t) = −f(x(t − 1))

We study the scalar, nonlinear Volterra integrodifferential equation (1), x′(t) + ∫_[0,t]g(x(t ? s)) dμ(s) = f(t) (t ? 0). We let g be continuous, μ positive definite, and f integrable over (0, ∞). The standard assumption on g which yields boundedness of the solutions of (1) prevents g(x) from growing faster than an exponential as x → ∞. Here we present a weaker condition on g, which does not restrict the growth rate of g(x) as x → ∞, but which still implies that the solutions of (1) are bounded. In particular, when g is nondecreasing and either nonnegative or odd, we get bounds which are independent of g.     

Hitting time of a moving boundary for a diffusion

We obtain asymptotic estimates for the quantity r = log P[T_f[rang]t] as t → ∞ where T_f = inf\s{s : |X(s)|[rang]f(s)\s} and X is a real diffusion in natural scale with generator a(x) d²(·)/dx² and the ‘boundary’ f(s) is an increasing function. We impose regular variation on a and f and the result is expressed as r = ∫^t₀ λ₁ (f(s) ds(1 + o(1)) where λ₁(f) is the smallest eigenvalue for the process killed at ±f.     

Ona-Wright convexity and the converse of Minkowski's inequality

Summary Leta (0, 1/2] be fixed. A functionf satisfying the inequalityf(ax + (1 – a)y) + f((1 – a)x + ay) f(x) + f(y), called herea-Wright convexity, appears in connection with the converse of Minkowski's inequality. We prove that every lower semicontinuousa-Wright convex function is Jensen convex and we pose an open problem. Moreover, using the fact that 1/2-Wright convexity coincides with Jensen convexity, we prove a converse of Minkowski's inequality without any regularity conditions.     

On convex optimization without convex representation

We consider the convex optimization problem P:min_x {f(x) : x ? K}{{\rm {\bf P}}:{\rm min}_{\rm {\bf x}} \{f({\rm {\bf x}})\,:\,{\rm {\bf x}}\in{\rm {\bf K}}\}} where f is convex continuously differentiable, and K ì \mathbb Rⁿ{{\rm {\bf K}}\subset{\mathbb R}^n} is a compact convex set with representation {x ? \mathbb Rⁿ : g_j(x) 3 0, j = 1,?,m}{\{{\rm {\bf x}}\in{\mathbb R}^n\,:\,g_j({\rm {\bf x}})\geq0, j = 1,\ldots,m\}} for some continuously differentiable functions (g _j ). We discuss the case where the g _j ’s are not all concave (in contrast with convex programming where they all are). In particular, even if the g _j are not concave, we consider the log-barrier function f_m{\phi_\mu} with parameter μ, associated with P, usually defined for concave functions (g _j ). We then show that any limit point of any sequence (x_m) ì K{({\rm {\bf x}}_\mu)\subset{\rm {\bf K}}} of stationary points of f_m, m? 0{\phi_\mu, \mu \to 0} , is a Karush–Kuhn–Tucker point of problem P and a global minimizer of f on K.     

Piecewise Monotone Pointwise Approximation

Let r, k, s be three integers such that , or We prove the following: Proposition. Let Y:={y _i } _i=1 ^s be a fixed collection of distinct points y _i ∈ (-1,1) and Π (x):= (x-y ₁ ). ... .(x-y _s ). Let I:=[-1,1]. If f ∈ C ^(r) (I) and f'(x)Π(x) ≥ 0, x ∈ I, then for each integer n ≥ k+r-1 there is an algebraic polynomial P _n =P _n (x) of degree ≤ n such that P _n '(x) Π (x) ≥ 0 and $$ \vert f(x)-P_n(x) \vert \le B\left(\frac{1}{n^2}+\frac{1}{n}\sqrt{1-x^2}\right)^r \omega_k \left(f^{(r)};\frac{1}{n^2}+\frac{1}{n}\sqrt{1-x^2}\right) \legno{(1)}$$ for all x∈ I, where ω _k (f ^(r) ;t) is the modulus of smoothness of the k -th order of the function f ^(r) and B is a constant depending only on r , k , and Y. If s=1, the constant B does not depend on Y except in the case (r=1, k=3). In addition it is shown that (1) does not hold for r=1, k>3. March 20, 1995. Dates revised: March 11, 1996; December 20, 1996; and August 7, 1997.     

Commutativity for a certain class of rings

We discuss the commutativity of certain rings with unity 1 and one-sideds-unital rings under each of the following conditions:x ^r [x ^s ,y]=±[x,y ^t ]x ⁿ x ^r [x ^s ,y]=±x ⁿ [x,y ^t ]x ^r [x ^s ,y]=±[x,y ^t ]y ^m , andx ^r [x ^s ,y]=±y ^m [x,y ^t ], wherer, n, andm are non-negative integers andt>1,s are positive integers such that eithers, t are relatively prime ors[x,y]=0 implies [x,y]=0. Further, we improve the result of [6, Theorem 3] and reprove several recent results.     

Coconvex Pointwise Approximation

Assume that a function f C[–1, 1] changes its convexity at a finite collection Y := {y ₁, ... y _s} of s points y _i (–1, 1). For each n > N(Y), we construct an algebraic polynomial P _n of degree n that is coconvex with f, i.e., it changes its convexity at the same points y _i as f and

Quadratic Covariation and Itô's Formula for Smooth Nondegenerate Martingales

In this paper we prove the existence of the quadratic covariation [f(X),X], where f is a locally square integrable function and X _t = ^t ₀ u _s dW _s is a smooth nondegenerate Brownian martingale. This result is based on some moment estimates for Riemann sums which are established by means of the techniques of the Malliavin calculus.     

Zeta measures and Thermodynamic Formalism for temperature zero

We address the analysis of the following problem: given a real Hölder potential f defined on the Bernoulli space and μ _f its equilibrium state, it is known that this shift-invariant probability can be weakly approximated by probabilities in periodic orbits associated to certain zeta functions. Given a Hölder function f > 0 and a value s such that 0 < s < 1, we can associate a shift-invariant probability ν _s such that for each continuous function k we have $ \int {kd} v_s = \frac{{\sum\nolimits_{n = 1}^\infty {\sum\nolimits_{x \in Fix_n } {e^{sf^n (x) - nP(f)\frac{{k^n (x)}} {n}} } } }} {{\sum\nolimits_{n = 1}^\infty {\sum\nolimits_{x \in Fix_n } {e^{sf^n (x) - nP(f)} } } }}, $ , where P(f) is the pressure of f, Fix _n is the set of solutions of σ ⁿ (x) = x, for any n ∈ ?, and f ⁿ (x) = f(x) + f(σ (x)) + … + f(σ ^n?1(x)). We call νs a zeta probability for f and s, because it can be obtained in a natural way from the dynamical zeta-functions. From the work of W. Parry and M. Pollicott it is known that ν _s → µ _f , when s → 1. We consider for each value c the potential c f and the corresponding equilibrium state μ _cf . What happens with ν _s when c goes to infinity and s goes to one? This question is related to the problem of how to approximate the maximizing probability for f by probabilities on periodic orbits. We study this question and also present here the deviation function I and Large Deviation Principle for this limit c → ∞, s → 1. We will make an assumption: for some fixed L we have lim _{c→∞, s→1} c(1 ? s) = L > 0. We do not assume here the maximizing probability for f is unique in order to get the L.D.P.     

Regularity Index of S + 2 Fat Points not on a Linear (S − 1)-Space

We will give a formula to compute the regularity index of s + 2 fat points not lying on a linear (s ? 1)-space in ? ⁿ , s ≤ n (Theorem 3.4). Our result generalizes a formula to compute the regularity index of fat points in general position in ? ⁿ ([3 Catalisano , M. V. , Trung , N. V. , Valla , G. ( 1993 ). A sharp bound for the regularity index of fat points in general position . Proc. Amer. Math. Soc. 118 : 717 – 724 .[Crossref], [Web of Science ®] , [Google Scholar]], Corollary 8). Our result also shows that the Segre bound is attained by s + 2 points not lying on a linear (s ? 1)-space.     

An algorithm for semi-infinite polynomial optimization

We consider the semi-infinite optimization problem:

Construction of positive definite cubature formulae and approximation of functions via Voronoi tessellations

Let Ω ⊂ ℝ ^d be a compact convex set of positive measure. In a recent paper, we established a definiteness theory for cubature formulae of order two on Ω. Here we study extremal properties of those positive definite formulae that can be generated by a centroidal Voronoi tessellation of Ω. In this connection we come across a class of operators of the form L_n[f](x): = ?_i=1ⁿ f_i(x)(f(y_i) + á?f(y_i), x-y_i?)L_n[f](\boldsymbol{x}):= \sum_{i=1}^n \phi_i(\boldsymbol{x})(f(\boldsymbol{y}_i) + \langle\nabla f(\boldsymbol{y}_i), \boldsymbol{x}-\boldsymbol{y}_i\rangle), where y₁,..., y_n\boldsymbol{y}_1,\dots, \boldsymbol{y}_n are distinct points in Ω and {ϕ ₁, ..., ϕ _n } is a partition of unity on Ω. We present best possible pointwise error estimates and describe operators L _n with a smallest constant in an L ^p error estimate for 1 ≤ p < ∞ . For a generalization, we introduce a new type of Voronoi tessellation in terms of a twice continuously differentiable and strictly convex function f. It allows us to describe a best operator L _n for approximating f by L _n [f] with respect to the L ^p norm.     

The Fourier–Faber–Schauder Series Unconditionally Divergent in Measure

We prove that, for every ε ∈ (0, 1), there is a measurable set E ? [0, 1] whose measure |E| satisfies the estimate |E| > 1?ε and, for every function f ∈ C_[0,1], there is ? f ∈ C_[0,1] coinciding with f on E whose expansion in the Faber–Schauder system diverges in measure after a rearrangement.