Eigenfunctions of Two-Scale Difference Equations with Rational Symbol

Representations of linear time-invariant discrete- time systems are discussed. A system is defined as a behavior, that is, as a family of trajectories mapping the time axis into the signal space. The following characterizations are equivalent: (i) the system is linear, time-invariant, and complete, (ii) the behavior is linear, shift-invariant, and closed, (iii) the behavior is kernel of a linear difference operator with a polynomial symbol, (iv) the behavior is kernel of a linear difference operator with a rational symbol, (v) the system allows a linear input/output representation in terms of polynomial matrices, (vi) the system allows a linear constant coefficient input/state/output representation. If the system is controllable, then the system also allows (vii) an image representation with a polynomial symbol, and (viii) an image representation with a rational symbol.

We investigate the translation equation (T) , and the cocycle equations (Co1) , (Co2) in [ x ], the ring of formal power series over . Here we restrict ourselves to iteration groups of type I, i. e. to solutions of (T) of the form , where c 1 ? 1 is a generalized exponential function. It is easy to prove that the coefficient functions c n (s), a n (s), s n (s) of are polynomials, c 1(s), polynomials or rational functions in one more generalized exponential function and, in a special case, polynomials in an additive function. For example, we obtain . For this we do not need any detailed information about the polynomials P n . Under some conditions on the exponential and additive functions it is possible to replace the exponential and additive functions by independent indeterminates. In this way we obtain formal versions of the translation equation and the cocycle equations in rings of the form [ x ], [ x ], [ x ], [ x ], and [ x ]. We solve these equations in a completely algebraic way, by deriving formal differential equations or Aczel�Jabotinsky type equations for these problems. It is possible to get the structure of the coefficients in great detail which are now polynomials or rational functions. We prove the universal character (depending on certain parameters) of these polynomials or rational functions. And we deduce the canonical form S -1(yS(x)) for iteration groups of type I. This approach seems to be more clear and more general than the original one. Some simple substitutions allow us to solve these problems in rings of the form ( [ u ]) [ x ], i. e. where the coefficient functions are formal series.

In this paper, we continue our considerations in [2] on two-scale difference equations, mainly with respect to continuous solutions. Moreover, we study refinable step functions and piecewise polynomials. Also, solutions with noncompact support are considered. New algorithms for the approximative computation of continuous solutions are derived.

Using methods analogous to those in diophantine approximation, the existence of good rational (function) approximations to the general solutions of each of a class of linear homogeneous differential equations is investigated. It is shown that, while many good approximations may exist, no truly extraordinary approximations exist. The proofs are via Lemmas on formal series which remain valid in a much wider context, e. g. even if the field of constants has positive characteristic.

Formal analysis is the study of formal power series, formal Laurent series, formal root series, and other formal series or formal functionals. This book is the first comprehensive presentation of the topic that systematically introduces formal analysis, including its algebraic, analytic, and topological structure, along with various applications.

Two algorithms are introduced and shown to lead to a unique product represenatation for a given formal power series 4 with constant term 1. as a product of terms where the a n are polynomials. The degree of approximation by the rational function which is the Nth partial product of such terms for n≤N is investigated. The type of product corresponding to an initial rational function A is also characterized, as well as the product in some other explicit cases.

Helicon wave (whistler waves bounded transversely by a magnetic field surface) propagation is investigated for a cylindrically symmetric curved (flaring) boundary using a finite-element method where the propagation region is divided into a sequence of truncated cones. In each conical segment, a local spherical coordinate system is used with the origin at the apex of the cone. A vector wave equation for the fields is formulated for a cold plasma and reduced, in spherical coordinates, to a pair of coupled partial differential equations (PDEs) for two scalar functions. The PDEs are separable for the azimuthal eigenvalue m = 0. The -dependence is a Legendre function, with non-integer eigenvalues determined by the cone angle. The dependence on the radial coordinate, x, satisfies a fourth-order ordinary differential equation (ODE). A straightforward numerical integration of the equation from to fails for large values of , because of the existence of an exponentially growing solution to the equation. Consequently, a different approach is needed. Four independent solutions, valid for , in the form of power series in x (PS) are obtained which are each asymptotically proportional to as . For x large, four asymptotic expansions (AE) are obtained in the form of series in 1/x times or . The problem then is to find four linear combinations of the four PSs, each of which approaches one of the AEs in the limit by first deriving a double-integral representation of each PS, valid for all x, and then using its limit to match each AE to a linear combination of the PSs. For special values of or 4N, N an integer) closed-form solutions (polynomials times exponentials) result that are exact representations of the solution for all x. Solutions are computed and illustrated for an outgoing wave using the closed-form solution for special values of , and as a function of and x using the PS and AE, which have a large range of overlap. The propagating solutions of the ODE are also obtained using a WKB method and are used to calculate the propagation in a slowly diverging parabola of revolution.

We use an elementary method to draw analytic conclusions from divergent formal power series solutions of systems of differential equations containing a parameter and give some applications to the theory of turning points. Our main result shows that a divergent formal series transformation of one system into another in which the coefficients satisfy certain estimates is necessarily the asymptotic expansion of an actual transformation. We use it to show the following. Given a two dimensional system ePdy/dx = A(x,e)y with A holomorphic at (x0,0), suppose that x0 is formally not a turning point in the sense that no singularities appear at x0 during the standard formal solution procedure with formal fractional power series in e. Then the formal solution is necessarily a uniform asymptotic representation of a fundamental matrix of the system on a full neighborhood of x0. (This conclusion is known to fail under weaker hypotheses on A). We also obtain similar but less complete results for higher order systems under more specialized hypotheses.

In this paper, we will take a look at Salem elements dealing with formal power series on Fq, where Fq is a finite field . Our main result, presents a criteria for an element to be the smallest Salem element (SSE) via an order extending a given order in Fq. Moreover, we provide the CFE of the (SSE) for each n.

We define the renormalization group flow for a renormalizable interacting quantum field in curved spacetime via its behavior under scaling of the spacetime metric, $\g \to \lambda^2 \g$. We consider explicitly the case of a scalar field, $\phi$, with a self-interaction of the form $\kappa \phi^4$, although our results should generalize straightforwardly to other renormalizable theories. We construct the interacting field--as well as its Wick powers and their time-ordered-products--as formal power series in the algebra generated by the Wick powers and time-ordered-products of the free field, and we determine the changes in the interacting field observables resulting from changes in the renormalization prescription. Our main result is the proof that, for any fixed renormalization prescription, the interacting field algebra for the spacetime $(M, \lambda^2 \g)$ with coupling parameters $p$ is isomorphic to the interacting field algebra for the spacetime $(M, \g)$ but with different values, $p(\lambda)$, of the coupling parameters. The map $p \to p(\lambda)$ yields the renormalization group flow. The notion of essential and inessential coupling parameters is defined, and we define the notion of a fixed point as a point, $p$, in the parameter space for which there is no change in essential parameters under renormalization group flow.

A simplified nonlinear transient analysis method for gas bearings was recently published by the authors (Hassini, M. A., and Arghir, M., 2012, “Simplified Nonlinear Transient Analysis Method for Gas Bearings,” J. Tribol., 134(1), 011704). The method uses the fact that linearized dynamic characteristics of gas bearings, namely the impedances, can be approximated by rational transfer functions. The method gave good results if the rational transfer function approach approximated the linearized dynamic characteristics well. Indeed, each of the four complex impedances Zαβ,α,β={x,y} had one or two poles depending on the order of the rational function that were used. These poles appear as supplementary eigenvalues of the extended matrix of the homogeneous system of first order differential equations describing the model of the rotor. They govern the stability of the dynamic model in the same way as the original eigenvalues do and therefore they impose non-negligible constraints on the rational function approximation of the impedances of gas bearings. The present improvement of the method overrides this problem. The basic idea is to impose the same set of poles for Zxx, Zxy, Zyx, and Zyy. By imposing this constraint, the poles are stable and the introduction of artificial instability or erratic eigenvalues is avoided. Campbell and stability diagrams naturally taking into account the variation of the dynamic coefficients with the excitation frequency can now be easily plotted. For example, the method is used for analyzing the stability of rigid and flexible rotors supported by two identical gas bearings modeled with second order rational transfer functions. The method can be applied to any bearing or seal whose impedance is approximated by rational transfer functions.

Formal power series and regular operations on fuzzy languages

This paper gives the complete proof of the Conjecture given by Hazarika and this author jointly which deals with a necessary and sufficient condition for the hyponormality of Toeplitz operator, T_varphi on the weighted Bergman space with certain polynomial symbols under some assumptions about the Fourier coefficients of the symbol varphi .

A positive cosmological constant simplifies the asymptotics of forever expanding cosmological solutions of the Einstein equations. In this paper a general mathematical analysis on the level of formal power series is carried out for vacuum spacetimes of any dimension and perfect fluid spacetimes with linear equation of state in spacetime dimension four. For equations of state stiffer than radiation evidence for development of large gradients, analogous to spikes in Gowdy spacetimes, is found. It is shown that any vacuum solution satisfying minimal asymptotic conditions has a full asymptotic expansion given by the formal series. In four spacetime dimensions, and for spatially homogeneous spacetimes of any dimension, these minimal conditions can be derived for appropriate initial data. Using Fuchsian methods the existence of vacuum spacetimes with the given formal asymptotics depending on the maximal number of free functions is shown without symmetry assumptions.

In this note we give generalisations of Livsic's result that a priori measurable solutions to cocycle equations must in fact be more regular. We go beyond the original continuous hyperbolic examples of Livsic to consider examples of this phenomenon in the context of: (a) 0-transformations; (b) rational maps; and (c) planar maps with indifferent periodic points. Such examples are not immediately covered by Livsic's original approach either due to a lack of continuity or hyperbolicity. 0. INTRODUCTION In 1972 Livsic showed that given a mixing subshift of finite type T: X -* X and a H6lder continuous function c: X -* IR then any solution to the equation (1) c(x) u(Tx) u(x) with u: X ---1iR measurable and essentially bounded (with respect to an equilibrium measure for a H6lder continuous function) must have a continuous version i.e. eu': X -* R continuous such that u(x) = u'(x) a.e. [2], [3] This is an elementary type of rigidity result. Livsic also applied this result to Anosov systems. Another approach to this result for subshifts of finite type and using Perron-Frobenius type operators appeared in [6]. In this note we shall discuss some simple generalisations of Livsic's result to other examples of dynamical systems. We shall be interested in systems with discontinuities or which are not uniformly hyperbolic and thus are not covered by Livsic's original results. In this context the Perron-Frobenius type operator method adapts easily to prove the generalisations of Livsic's original results. To illustrate this approach we shall apply this method to 3-transformations (section 1), rational maps (section 2) and certain multi-dimensional maps (section 3). 1. }5-TRANSFORMATION We begin by recalling the definition of the well-known 3-transformation on the unit interval. Let / > 1 and define T: [0,1) -* [0,1) by T(x) = fx (mod 1). Let v denote Lebesgue measure on the interval [0,1] and Ll ([0, 1], 13, v) denotes the space of integrable functions on [0,1]. Received by the editors August 5, 1996. 1991 Mathematics Subject Classification. Primary 58Fxx. (?)1999 American Mathematical Society 559 This content downloaded from 157.55.39.255 on Wed, 25 May 2016 04:56:50 UTC All use subject to http://about.jstor.org/terms 560 M. POLLICOTT AND M. YURI Definition. We define a Perron-Frobenius operator Li : Ll ([O, 1], 6,B v) --Ll ([O, 1], 6,B v) by Ty= 13 where the summation is over the [,3] or [a1] + 1 pre-images of x. We denote by BBV the space of functions of bounded variation i.e. if f E BBV then we have that var(f) :=sup{ZEif(Xi+1)-f(xi)I: O xoX 0 for x E [0,1). We shall also need the following more general operator. Definition. Given a Lipschitz function c: [0,11 --? R. We define a c-weighted Perron-Frobenius operator L2: L' ([O, 1], B, v) -* L1 ([O, 1], 13, v) by L2 f (x) = E ecp f (y) TY=X (When c= 0 then L2 clearly reduces to Lp.) It is convenient to denote cn (x) = c(x) + c(Tx) +.. + c(Tn lx) for n > 1. The following result is important in proving Theorem 1. Lemma 2. (i) Vf E L1([0, 1], B, v) we have I2nf h(f fdv) in the L1 norm, (ii) Let c: [0,11 -? IR be a Lipschitz function. There exists w E BBV with w > 0 and A > 0 such that the sequence of functions An (T-y=x BBV. The convergence Ijf -* h(J f dv), as n -4 +oo is proved in [9, Theorem 10] when f is uniformly continuous. Since any function in L1 ([O,1], B, v) can be approximated from above and below by such functions, this is sufficient. This content downloaded from 157.55.39.255 on Wed, 25 May 2016 04:56:50 UTC All use subject to http://about.jstor.org/terms REGULARITY OF SOLUTIONS l'O THE MEASURABLE LIVSIC EQUATION 561 (ii) The operator L2: BBV -BBV has a simple maximal eigenvalue A, say, with positive eigenvector w E BBV ([9, Lemma 9]). Moreover, there exists a measure ,t on [0, 1] such that fn =~ --> w f dti, as n +oo [9, Theorem 10]. 1] Our main result on the measurable Livsic equation for fl-transformations is the following. Theorem 1. If c: [0, 1t -* IR is Lipschitz then for any measurable and essentially bounded solution u to (1') c(x) = u(Tx) u(x) there exists uo(x) = v(x) log h(x), where v(x) E BBV such that u == uo a.e. (nt). Proof. We can make the choice f 1 and then iterating the operator 12 introduced above we can write (L n1)(X)= ASn fn (X) Tny3/X In particular, substituting from the identity (1') we get that f Ix eCn(y) fn (x) An E , n