A comparative study of functional equations characterising sine and cosine

A comparative study of the functional equationsf(x+y)f(x–y)=f ²(x)–f ²(y),f(y){f(x+y)+f(x–y)}=f(x)f(2y) andf(x+y)+f(x–y)=2f(x){1–2f ²(y/2)} which characterise the sine function has been carried out. The zeros of the functionf satisfying any one of the above equations play a vital role in the investigations. The relation of the equationf(x+y)+f(x–y)=2f(x){1–2f ²(y/2)} with D'Alembert's equation,f(x+y)+f(x–y)=2f(x)f(y) and the sine-cosine equationg(x–y)=g(x)g(y) +f(x)f(y) has also been investigated.     

On some composite functional inequalities

The aim of the paper is to deal with the following composite functional inequalities

The extreme core

For a Siegel modular cusp formf of weightk letv(f) be the closure of the convex ray hull of the support of the Fourier series inside the cone of semidefinite forms. We show the existence of the extreme core,C _ext, which satisfiesv(f) ⊇k C_ext for all cusp forms. This is a generalization of the Valence Inequality to Siegel modular cusp forms. We give estimations of the extreme core for general n. For n ≤5 we use noble forms to improve these estimates. Forn = 2 we almost specify the extreme core but fall short. We supply improved estimates for all relevant constants and show optimality in some cases. The techniques are mainly from the geometry of numbers but we also use IGUSA’s generators for the ring of Siegel modular forms in degree two.     

Hausdorff dimension of Julia set of a polynomial with a Siegel disk

Let f(z) = e2πiθz(1 z/d)d,θ∈R\Q be a polynomial. Ifθis an irrational number of bounded type, it is easy to see that f(z) has a Siegel disk centered at 0. In this paper, we will show that the Hausdorff dimension of the Julia set of f(z) satisfies Dim(J(f))<2.     

On the chaotic behavior of a generalized logistic p-adic dynamical system

In the paper we describe basin of attraction p-adic dynamical system G(x)=(ax)²(x+1). Moreover, we also describe the Siegel discs of the system, since the structure of the orbits of the system is related to the geometry of the p-adic Siegel discs.     

Decomposer and associative functional equations

In the previous researches [2,3] b-integer and b-decimal parts of real numbers were introduced and studied by M.H. Hooshmand. The b-parts real functions have many interesting number theoretic explanations, analytic and algebraic properties, and satisfy the functional equation f (f(x) + y - f(y)) = f(x). These functions have led him to a more general topic in semigroups and groups (even in an arbitrary set with a binary operation [4] and the following functional equations have been introduced: Associative equations:

f(xf(yz))=f(f(xy)z),f(xf(yz))=f(f(xy)z)=f(xyz)

Points of continuity and quasicontinuity

Let C(f), Q(f), E(f) and A(f) be the sets of all continuity, quasicontinuity, upper and lower quasicontinuity and cliquishness points of a real function f: X → ℝ, respectively. The triplets (C(f),Q(f),A(f)), (C(f),E(f),A(f) and (Q(f),E(f),A(f)are characterized for functions defined on Baire metric spaces without isolated points.     

On the iteration of holomorphic self-maps of ℂ*

Letf be a holomorphic self-map of the punctured plane ℂ^*=ℂ\{0} with essentially singular points 0 and ∞. In this note, we discuss the setsI ₀(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞} andI _∞(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞}. We try to find the relation betweenI ₀(f),I _∞(t) andJ(f). It is proved that both the boundary ofI ₀(f) and the boundary ofI _∞)f) equal toJ(f),I ₀(f) ∩J(f) ≠ θ andI _∞(f) ∩J(f) ≠ θ. As a consequence of these results, we find bothI ₀(f) andI _∞(f) are not doubly-bounded. Supported by the National Natural Science Foundation of China     

Estimates for the zeros of differences of meromorphic functions

Let f be a transcendental meromorphic function and g(z)=f(z+c1)+f(z+c2)-2f(z) and g2(z)=f(z+c1)·f(z+c2)-f2(z).The exponents of convergence of zeros of differences g(z),g2(z),g(z)/f(z),and g2(z)/f2(z) are estimated accurately.     

Dynamics of Rational Surface Automorphisms: Linear Fractional Recurrences

We consider the family f _a,b (x,y)=(y,(y+a)/(x+b)) of birational maps of the plane and the parameter values (a,b) for which f _a,b gives an automorphism of a rational surface. In particular, we find values for which f _a,b is an automorphism of positive entropy but no invariant curve. The Main Theorem: If f _a,b is an automorphism with an invariant curve and positive entropy, then either (1) (a,b) is real, and the restriction of f to the real points has maximal entropy, or (2) f _a,b has a rotation (Siegel) domain. Research supported in part by the NSF.     

Relatively weakly open sets in closed balls of Banach spaces,and the centralizer

Let f be a transcendental entire function and let I(f) denote the set of points that escape to infinity under iteration. We give conditions which ensure that, for certain functions, I(f) is connected. In particular, we show that I(f) is connected if f has order zero and sufficiently small growth or has order less than 1/2 and regular growth. This shows that, for these functions, Eremenko’s conjecture that I(f) has no bounded components is true. We also give a new criterion related to I(f) which is sufficient to ensure that f has no unbounded Fatou components.     

Normal families and shared functions of meromorphic functions

Let k be a positive integer, let M be a positive number, let F be a family of meromorphic functions in a domain D, all of whose zeros are of multiplicity at least k, and let h be a holomorphic function in D, h ≢ 0. If, for every f ∈ F, f and f ^(k) share 0, and |f(z)| ≥ M whenever f ^(k)(z) = h(z), then F is normal in D. The condition that f and f ^(k) share 0 cannot be weakened, and the condition that |f(z)| ≥ M whenever f ^(k)(z) = h(z) cannot be replaced by the condition that |f(z)| ≥ 0 whenever f ^(k)(z) = h(z). This improves some results due to Fang and Zalcman [2] etc.     

树映射的链回归点与拓扑熵

Let f be a tree map,P(f) the set of periodic points of f and CR(f) the set of chain recurrent points of f. In this paper,the notion of division for invariant closed subsets of a tree map is introduced. It is proved that: (1) fhas zero topological entropy if and only if for any x∈CR(f)-P(f) and each natural number s the orbit of x under f^5 has a division; (2) If f has zero topological entropy,then for any xECR(f)--P(f) the w-limit set of x is an infinite minimal set.     

Another logarithmic functional equation

Summary. Let f : ]0,￥[? \Bbb R f :\,]0,\infty[\to \Bbb R be a real valued function on the set of positive reals. The functional equations¶¶f(x + y) - f(x) - f(y) = f(x^-1 + y^-1) f(x + y) - f(x) - f(y) = f(x^{-1} + y^{-1}) ¶and¶f(xy) = f(x) + f(y) f(xy) = f(x) + f(y) ¶are equivalent to each other.     

Homotopy Types of Stabilizers and Orbits of Morse Functions on Surfaces

Let M be a smooth compact surface, orientable or not, with boundary or without it, P either the real line ℝ ¹ or the circle S ¹, and D(M) the group of diffeomorphisms of M acting on C^∞(M, P) by the rule h⋅ f = f ∘ h ⁻¹ for h ∊ D(M) and f ∊ C^∞ (M,P). Let f: M → P be an arbitrary Morse mapping, Σ _f the set of critical points of f, D(M,Σ _f ) the subgroup of D(M) preserving Σ _f , and S(f), S (f,Σ _f ), O(f), and O(f,Σ _f ) the stabilizers and the orbits of f with respect to D(M) and D(M,Σ _f ). In fact S(f) = S(f,Σ _f ).In this paper we calculate the homotopy types of S(f), O(f) and O(f,Σ _f ). It is proved that except for few cases the connected components of S(f) and O(f,Σ _f ) are contractible, π _k O(f) = π _k M for k ≥ 3, π₂ O(f) = 0, and π₁ O(f) is an extension of π₁ D(M) ⊕ Z ^k (for some k ≥ 0) with a (finite) subgroup of the group of automorphisms of the Kronrod-Reeb graph of f.We also generalize the methods of F. Sergeraert to give conditions for a finite codimension orbit of a tame smooth action of a tame Lie group on a tame Fréchet manifold to be a tame Fréchet manifold itself. In particular, we obtain that O(f) and O(f, Σ _f ) are tame Fréchet manifolds. Communicated by Peter Michor Vienna Mathematics Subject Classifications (2000): 37C05, 57S05, 57R45.     

<Emphasis Type="Italic">f</Emphasis>-Colorings of some graphs of <Emphasis Type="Italic">f</Emphasis>-class 1

An f-coloring of a graph G is an edge-coloring of G such that each color appears at each vertex v V（G） at most f（v） times. The minimum number of colors needed to f-color G is called the f-chromatic index of G and is denoted by X′f（G）. Any simple graph G has the f-chromatic index equal to △f（G） or △f（G） ＋ 1, where △f（G） =max v V（G）{[d（v）/f（v）]}. If X′f（G） = △f（G）, then G is of f-class 1; otherwise G is of f-class 2. In this paper, a class of graphs of f-class 1 are obtained by a constructive proof. As a result, f-colorings of these graphs with △f（G） colors are given.     

A Generalized Cubic Functional Equation

In this paper, we determine the general solution of the functional equation f1 （2x ＋ y） ＋ f2（2x - y） = f3（x ＋ y） ＋ f4（x - y） ＋ f5（x） without assuming any regularity condition on the unknown functions f1,f2,f3, f4, f5 ： R→R. The general solution of this equation is obtained by finding the general solution of the functional equations f（2x ＋ y） ＋ f（2x - y） = g（x ＋ y） ＋ g（x - y） ＋ h（x） and f（2x ＋ y） - f（2x - y） = g（x ＋ y） - g（x - y）. The method used for solving these functional equations is elementary but exploits an important result due to Hosszfi. The solution of this functional equation can also be determined in certain type of groups using two important results due to Szekelyhidi.     

Behavior of the L-functions of cusp forms ats=1

Let f(z) be a Hecke eigenform in the space S_2k(Γ) of holomorphic Γ-cusp forms of even weight 2k, Γ=SL(2,ℤ); let L_f(s) be the L-function of f(z). The goal of this paper is to obtain some results on L_f(1) as k increases. In particular, we prove an analogue of the classical Landau theorem in the theory of Dirichlet L-functions and (under a very plausible hypothesis) an analogue of the famous Siegel theorem. Bibliography: 15 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 204, 1993, pp. 37–54. Translated by E. P. Golubeva.     

Properties of differences of meromorphic functions

Let f be a transcendental meromorphic function. We propose a number of results concerning zeros and fixed points of the difference g(z) = f(z + c) − f(z) and the divided difference g(z)/f(z).     

On the Uniform Approximation of a Class of Analytic Functions by Bruwier Series

For a class of analytic functions f(z) defined by Laplace–Stieltjes integrals the uniform convergence on compact subsets of the complex plane of the Bruwier series (B-series) ∑^∞_n=0 λ_n(f) , λ_n(f)=f⁽ⁿ⁾(nc)+cf⁽ⁿ⁺¹⁾(nc), generated by f(z) and the uniform approximation of the generating function f(z) by its B-series in cones |arg z|< is shown.