Analytic functions of finite dimensional linear transformations

Author(s):  
S. N. Afriat

Since the first introduction of the concept of a matrix, questions about functions of matrices have had the attention of many writers, starting with Cayley(i) in 1858, and Laguerre(2) in 1867. In 1883, Sylvester(3) defined a general function φ(a) of a matrix a with simple characteristic roots, by use of Lagrange's interpolation formula, and Buchheim (4), in 1886, extended his definition to the case of multiple characteristic roots. Then Weyr(5) showed in 1887 that, for a matrix a with characteristic roots lying inside the circle of convergence of a power series φ(ζ), the power series φ(a) is convergent; and in 1900 Poincaré (6) obtained the formulaefor the sum, where C is a circle lying in and concentric with the circle of convergence, and containing all the characteristic roots in its ulterior, such a formula having effectively been suggested by Frobenius(7) in 1896 for defining a general function of a matrix. Phillips (8), in 1919, discovered the analogue, for power series in matrices, of Taylor's theorem. In 1926 Hensel(9) completed the result of Weyr by showing that a necessary and sufficient condition for the convergence of φ(a) is the convergence of the derived series φ(r)(α) (0 ≼ r < mα; α) at each characteristic root α of a, of order r at most the multiplicity mα of α. In 1928 Giorgi(10) gave a definition, depending on the classical canonical decomposition of a matrix, which is equivalent to the contour integral formula, and Fantappie (11) developed the theory of this formula, and obtained the expressionfor the characteristic projectors.

1982 ◽  
Vol 23 (1) ◽  
pp. 41-52
Author(s):  
Daniel J. Troy

Given a polynomially bounded multisequence {fm}, where m = (m1, …, mk) ∈ ℤk, we will consider 2k power series in exp(iz1), …, exp(izk), each representing a holomorphic function within its domain of convergence. We will consider this same multisequence as a linear functional on a class of functions defined on the k-dimensional torus by a Fourier series, , with the proper convergence criteria. We shall discuss the relationships that exist between the linear functional properties of the multisequence and the analytic continuation of the holomorphic functions. With this approach we show that a necessary and sufficient condition that the multisequence be given by a polynomial is that each of the power series represents, up to a unit factor, the same function that is entire in the variables


1956 ◽  
Vol 10 (3) ◽  
pp. 108-122 ◽  
Author(s):  
Hans Schneider

1. Many investigations have been concerned with a squaro matrix P with non-negative coefficients (elements). It is remarkable that many interesting properties of P are determined by the set Σ of index pairs of positive (i.e. non-zero) coefficients of P, the actual values of these coefficients being irrelevant. Thus, for example, the number of characteristic roots equal in absolute value to the largest non-negative characteristic root p depends on Σ alone, if P is irreducible. If P is reducible, then Σ determines the standard forms of P (cf. § 3). The multiplicity of p depends on Σ, and on the set S of indices of those submatrices in the diagonal in a standard form of P which have p as a characteristic root. It has apparently not been considered before whether Σ and S also determine the elementary divisors associated with p. We shall show that, in general, the elementary divisors do not depend on these sets alone, but that necessary and sufficient conditions may be found in terms of Σ and S (a) for the elementary divisors associated with p to be simple, and (b) that there is only one elementary divisor associated with p.


1958 ◽  
Vol 1 (1) ◽  
pp. 31-39 ◽  
Author(s):  
Hans Zassenhaus

At the Edmonton Meeting of the Canadian Mathematical Congress E. Wigner asked me whether one knew something about the distribution of the characteristic roots of the linear transformations that leave invariant the quadratic form t2+x2-y2-z2, just as one knows that a Lorentz transformation has two complex conjugate characteristic roots and two real characteristic roots that are either inverse to one another or the numbers 1 and -1.In this paper an answer to E. Wigner’s question will be obtained.We are concerned with the pairs of matrices (X,A) with coefficients in a field of reference F such that the condition0.1is satisfied, where XT = (ξki) is the transpose of the matrix X = (ξki). It follows that both matrices are quadratic of the same degree d.


1970 ◽  
Vol 38 ◽  
pp. 1-12 ◽  
Author(s):  
Eiichi Sakai

In the theory of functions of several complex variables, the problem about the continuation of meromorphic functions has not been much investigated for a long time in spite of its importance except the deeper result of the continuity theorem due to E. E. Levi [4] and H. Kneser [3], The difficulty of its investigation is based on the following reasons: we can not use the tools of not only Cauchy’s integral formula but also the power series and there are indetermination points for the meromorphic function of many variables different from one variable. Therefore we shall also follow the Levi and Kneser’s method and seek for the aspect of meromorphic completion of a Reinhardt domain in Cn.


Author(s):  
Carsten Wiuf ◽  
Michael P.H Stumpf

In this paper, we discuss statistical families with the property that if the distribution of a random variable X is in , then so is the distribution of Z ∼Bi( X ,  p ) for 0≤ p ≤1. (Here we take Z ∼Bi( X ,  p ) to mean that given X = x ,  Z is a draw from the binomial distribution Bi( x ,  p ).) It is said that the family is closed under binomial subsampling. We characterize such families in terms of probability generating functions and for families with finite moments of all orders we give a necessary and sufficient condition for the family to be closed under binomial subsampling. The results are illustrated with power series and other examples, and related to examples from mathematical biology. Finally, some issues concerning inference are discussed.


1962 ◽  
Vol 58 (2) ◽  
pp. 229-234 ◽  
Author(s):  
L. Mirsky

Throughout this note we shall consider a fixed polynomial with complex coefficients and of degree n ≥ 2. Its zeros will be denoted by ξ1, ξ2, …, ξn where the numbering is such that Making use of Jensen's integral formula, Mahler (4) showed that, for l ≥ k < n, A slightly weaker result had been established by Feldman in an earlier publication (2). Mahler's inequality (1) is of importance in the study of transcendental numbers, and our first object is to sharpen his bound by proving the following result.


1966 ◽  
Vol 62 (4) ◽  
pp. 637-642 ◽  
Author(s):  
T. W. Cusick

For a real number λ, ‖λ‖ is the absolute value of the difference between λ and the nearest integer. Let X represent the m-tuple (x1, x2, … xm) and letbe any n linear forms in m variables, where the Θij are real numbers. The following is a classical result of Khintchine (1):For all pairs of positive integers m, n there is a positive constant Г(m, n) with the property that for any forms Lj(X) there exist real numbers α1, α2, …, αn such thatfor all integers x1, x2, …, xm not all zero.


2016 ◽  
Vol 37 (7) ◽  
pp. 2163-2186 ◽  
Author(s):  
ANNA GIORDANO BRUNO ◽  
SIMONE VIRILI

Let $G$ be a topological group, let $\unicode[STIX]{x1D719}$ be a continuous endomorphism of $G$ and let $H$ be a closed $\unicode[STIX]{x1D719}$-invariant subgroup of $G$. We study whether the topological entropy is an additive invariant, that is, $$\begin{eqnarray}h_{\text{top}}(\unicode[STIX]{x1D719})=h_{\text{top}}(\unicode[STIX]{x1D719}\restriction _{H})+h_{\text{top}}(\bar{\unicode[STIX]{x1D719}}),\end{eqnarray}$$ where $\bar{\unicode[STIX]{x1D719}}:G/H\rightarrow G/H$ is the map induced by $\unicode[STIX]{x1D719}$. We concentrate on the case when $G$ is totally disconnected locally compact and $H$ is either compact or normal. Under these hypotheses, we show that the above additivity property holds true whenever $\unicode[STIX]{x1D719}H=H$ and $\ker (\unicode[STIX]{x1D719})\leq H$. As an application, we give a dynamical interpretation of the scale $s(\unicode[STIX]{x1D719})$ by showing that $\log s(\unicode[STIX]{x1D719})$ is the topological entropy of a suitable map induced by $\unicode[STIX]{x1D719}$. Finally, we give necessary and sufficient conditions for the equality $\log s(\unicode[STIX]{x1D719})=h_{\text{top}}(\unicode[STIX]{x1D719})$ to hold.


1968 ◽  
Vol 9 (2) ◽  
pp. 146-151 ◽  
Author(s):  
F. J. Rayner

Letkbe any algebraically closed field, and denote byk((t)) the field of formal power series in one indeterminatetoverk. Letso thatKis the field of Puiseux expansions with coefficients ink(each element ofKis a formal power series intl/rfor some positive integerr). It is well-known thatKis algebraically closed if and only ifkis of characteristic zero [1, p. 61]. For examples relating to ramified extensions of fields with valuation [9, §6] it is useful to have a field analogous toKwhich is algebraically closed whenkhas non-zero characteristicp. In this paper, I prove that the setLof all formal power series of the form Σaitei(where (ei) is well-ordered,ei=mi|nprt,n∈ Ζ,mi∈ Ζ,ai∈k,ri∈ Ν) forms an algebraically closed field.


Author(s):  
Lu Wudu

AbstractConsider the nonlinear neutral equationwhere pi(t), hi(t), gj(t), Q(t) Є C[t0, ∞), limt→∞hi(t) = ∞, limt→∞gj(t) = ∞ i Є Im = {1, 2, …, m}, j Є In = {1, 2, …, n}. We obtain a necessary and sufficient condition (2) for this equation to have a nonoscillatory solution x(t) with limt→∞ inf|x(t)| > 0 (Theorems 5 and 6) or to have a bounded nonoscillatory solution x(t) with limt→∞ inf|x(t)| > 0 (Theorem 7).


Sign in / Sign up

Export Citation Format

Share Document