Fractional derivatives of the H-function of several variables

In the present paper we derive a number of key formulas involving fractional derivatives for the H-function of several variables, which was introduced and studied in a series of papers by 11., 12., 13., 14., 15., 9., 261–277].We make use of the generalized Leibniz rule for fractional derivatives in order to obtain one of the aforementioned results, which involves a product of two multivariable H-functions. Each of these results is shown to apply to yield interesting new results for certain multivariable hypergeometric functions and, in addition, several known results due, for example, to J. L. Lavoie, T. J. Osler and R. Tremblay [SIAM Rev.18 (1976), 240–268], 4., 5., 371–382] and R. K. Raina and C. L. Koul [Jñānābha7 (1977), 97–105].     

Existence results without convexity conditions for general problems of optimal control with singular components

This note presents a new, quick approach to existence results without convexity conditions for optimal control problems with singular components in the sense of E. J. McShane (SIAM J. Control5 (1967), 438–485). Starting from the resolvent kernel representation of the solutions of a linear integral equation, a version of Fatou's lemma in several dimensions is shown to lead directly to a compactness result for the attainable set and an existence result for a Mayer problem. These results subsume those of L. W. Neustadt (J. Math. Anal. Appl.7 (1963), 110–117), C. Olech (J. Differential Equations2 (1966), 74–101), M. Q. Jacobs (“Mathematical Theory of Control,” pp. 46–53, Academic Press, 1967), L. Cesari (SIAM J. Control12 (1974), 319–331) and T. S. Angell (J. Optim. Theory Appl.19 (1976), 63–79).     

Extensions and generalizations of a theorem of Widder and of the theory of symmetric local semigroups

The theory of symmetric local semigroups due to A. Klein and L. Landau (J. Funct. Anal.44 (1981), 121–136) is generalized to semigroups indexed by subsets of $\text{R}$ⁿ for n > 1. The result implies a similar result of A. E. Nussbaum (J. Funct. Anal.48 (1982), 213–223). It is further generalized to semigroups that are symmetric local in some directions and unitary in others. The results are used to give a simple proof of A. Devinatz's (Duke Math. J.22 (1955), 185–192) and N. I. Akhiezer's (“the Classical Moment Problem and Some Related Questions,” Hafner, New York, 1965) generalization of a theorem of Widder concerning the representation of functions as Laplace integrals. This result is extended to the representation as a Laplace integral of a function taking values in $\text{B}$($\text{R}$), the set of bounded linear operators on a Hilbert space $\text{R}$. Also, a theorem is proved encompassing both the result of Devinatz and Akhiezer, and Bochner's theorem on the representation of positive definite functions as Fourier integrals.     

Fuzzy measures and measures of fuzziness

In this paper, the fuzzy integral defined by Z.-X. Wang (Fuzzy Math. Wuhan, China, in press), which is different from that defined by M. Sugeno (“Theory of Fuzzy Integrals and Its Applications,” Ph. D., Tokyo Inst. of Technology, 1974), is further considered, and it is shown that the fuzzy measures of ordinary sets and fuzzy sets can be determined by each other. Summing up the results on the measure of fuzziness by A. DeLuca and S. A. Termini (Inform. and Control20 (1972), 301–312), Z.-X. Wang (op. cit.) and R. R. Yager (Internat. J. Gen. Systems5 (1979), 221–229; Inform. and Control44 (1980), 236–260), the axioms for measures of fuzziness are given. Furthermore, as an application of the furry integrals, a measure of fuzziness is defined. Inversely, it is proven that a measure of fuzziness satisfying some conditions can surely be expressed as a fuzzy integral with respect to some fuzzy measure.     

On the structure of periodic solutions of differential equations

This paper studies the “internal structure” of the periodic solutions of differential equations with the aim of stating when they are constant functions. Yorke [21] and Lasota and Yorke [10] are the first works which show the existence, uńder certain conditions, of a lower bound for the period of non-constant solutions. As applications of the general results proved in Section 1 we obtain a negative solution to an open problem of Browder, the discovery that the periodic solutions ensured by Vidossich [17, Theorem 3.16], are constant functions, and conditions under which the periodic solutions of hyperbolic and parabolic equations are constant functions. Finally, we note that Li [11] applies the results of Section 1 to differential equations with delay.Various result of this paper point out a strong connection between the existence of periodic solutions of small period of x′ = f(x) and the fact that the origin belongs to the range of f. This situation is explored in [19].     

Gδ-embeddings in Hilbert space

It is shown that a separable Banach space X has the point of weak to norm continuity property (resp. the Radon-Nikodym property) if and only if there exists a compact G_δ-embedding (resp. an H^δ-embedding) from X into l₂. This solves several questions of J. Bourgain and H. P. Rosenthal (J. Funct. Anal.52 (1983)). It is also shown that every non-relatively compact sequence in a Banach space with property (PC) has a difference subsequence which is a boundedly complete basic sequence. This solves a question of Pelczynski and extends some results of W. B. Johnson and H. P. Rosenthal (Studia Math.43 (1972), 77–92). Various related questions asked in the above Bourgain-Rosenthal reference and by G. A. Edgar and R. F. Wheeler (Pac. J. Math.115 (1984)) and N. Ghoussoub and H. P. Rosenthal (Math. Ann.264 (1983), 321–332) are also settled.     

On the algebras of symmetries (groups of collineations) of designs from finite Desarguesian planes with applications in statistics

Decomposition into a direct sum of irreducible representations of the representation of the full collineation group of a finite Desarguesian plane, as a group of matrices permuting the flags of the plane and the simple components of the corresponding commutant algebra, have been worked out here for the projective plane PG(2, 2) and the affine plane EG(2, 3). The dimension and the components of the covariance matrix of the observations from a design derived from such a plane, which commutes with such a permutation representation of the full collineation group of the plane, are thus determined. This paper is in the spirit of earlier works by, James (1957), Mann (1960), 6., 7., McLaren (1963), and Sysoev and Shaikan (1976). A. T. James, Ann. Math. Statist.28 (1957), 993–1002, H. B. Mann, Ann. Math. Statist.31 (1960), 1–15, E. J. Hannan, Research Report (Part. (I)), Summer Research Institute, Australian Math. Soc. and Methuen's Monographs on Applied Probability and Statistics, Supplementary Review Series in Applied Probability, Vol. 3, A. D. McLaren, Proc. Cambridge Philos. Soc.59 (1963), 431–450, and L. P. Sysoev and M. E. Shaikin, Avtomat. i Telemekh.5 (1976), 64–73.     

Nonlinear differential equations with negative power nonlinearities

Differential equations involving the term y^?m, where m is a positive integer, are solved by the decomposition method 1., 3., 441–452).     

Ergodic theorems for tensor products

An ergodic theorem is proved for tensor products of Banach spaces. As a special case, an ergodic theorem is proved for vector-valued L^p-spaces. This theorem generalizes results of Aribaud, J. Funct. Anal.5 (1970), 395–411, and Dinculeanu, J. Funct. Anal.12 (1973), 229–235.     

On measures of fuzziness of solutions of fuzzy relation equations with generalized connectives

By using a general class of fuzzy connectives of Yager [Fuzzy Sets and Systems4 (1980), 235–242], Pedrycz [Fuzzy relational equations with generalized convectives and their applications, Fuzzy Sets and Systems10 (1983), 185–201] has shown that the classical fuzzy relation equations of Sanchez [in “Fuzzy Automata and Decision Processes” (M. M. Gupta, G. N. Saridis, and B. R. Gaines, Eds.), pp. 221–234, North-Holland, Amsterdam, 1977] can be considered as a particular case of a more extensive class of fuzzy equations. For such types of equations, in this paper the solutions having the greatest energy measure and the smallest possible entropy measure of fuzziness are characterized.     

Asymptotic normal distribution of multidimensional statistics of dependent random variables

A central limit theorem for multidimensional processes in the sense of [9], [10] is proved. In particular the asymptotic normal distribution of a sum of dependent random functions of m variables defined on the positive part of the integral lattice is established by the method of moments. The results obtained can be used, for example, in proving the asymptotic normality of different statistics of n₀-dependent random variables as well as to determine the asymptotic behaviour of the resultant of reflected waves of telluric type.     

The periodic and eigen solutions of the equation governing a nonrotating viscoelastic earth model under transient force

The problem of existence of the periodic solution of the equation governing a nonrotating viscoelastic earth model under transient force is examined. By first formulating the governing equations, using the methods of Coleman and Noll (Rev. Modern Physics33 (2) (1961), 239–249), Dahlen and Smith (Philos. Trans. Roy. Soc. London A279 (1975), 583–624), and Biot (“Mechanics of Incremental Deformations,” Wiley, New York, 1965), these equations are subjected to oscillatory displacement resulting in an eigenvalue problem whose solutions are the viscoelastic-gravitational displacement eigenfunctions U(x) with associated eigenfrequencies ω. A theorem is then proved to show the existence of a periodic solution.     

Fuzzy measures as extensions of stochastic measures

Links between fuzzy measures (cf. Höhle, Z. Wahrsch. Verw. Gebiete36 (1976), 179–188) and stochastic measures (cf. Morando, Lecture Notes in Mathematics No. 88, pp. 190–216, Springer-Verlag, Berlin/New York, 1969) are specified. In particular, a class of stochastic measures, from which fuzzy measures can be derived quite naturally, is exhibited.     

Steiner triple systems with doubly transitive automorphism groups: A corollary to the classification theorem for finite simple groups

Assuming that the classification theorem for finite simple groups is complete, a conjecture of M. Hall (Proc. Sympos. Pure Math.6 (1962), 47–66; and in“Proceedings of the International Conference on Theory of Groups”, pp. 115–144, Australian National University, Canberra, Australia, 1965) that a Steiner triple system with a doubly transitive automorphism group is a projective or affine geometry, is verified.     

On orthogonal groups over the integers of a non-dyadic local field

Let L be a lattice in a quadratic space over a non-dyadic local field. We shall answer the question: What are the lattices whose unit groups coincide with that of L? If the residue class field has more than three elements the question is easy. In this case such a lattice must be $\text{a}$L or $\text{a}$L^# with a fractional ideal $\text{a}$ and the dual lattice L^# by Satz 2 of A. Kallmann, M. Kneser, and U. Stuhler (J. Reine Angew. Math.258 (1978), 51–54) or Theorem 5.2 of C. R. Riehm (Amer. J. Math.89 (1967), 549–577). But it is not easy in the case of the residue class field of three elements.     

Combinatorial maps

The classical approach to maps, as surveyed by Coxeter and Moser (“Generators and Relations for Discrete Groups,” Springer-Verlag, 1980), is by cell decomposition of a surface. A more recent approach, by way of graph embedding schemes, is taken by Edmonds (Notices Amer. Math. Soc.7 (1960), 646), Tutte (Canad. J. Math.31 (5) (1979), 986–1004), and others. Our intention is to formulate a purely combinatorial generalization of a map, called a combinatorial map. Besides maps on orientable and nonorientable surfaces, combinatorial maps include polytopes, tessellations, the hypermaps of Walsh, higher dimensional analogues of maps, and certain toroidal complexes of Coxeter and Shephard (J. Combin. Theory Ser. B.22 (1977), 131–138) and Grünbaum (Colloques internationaux C.N.R.S. No. 260, Problèmes Combinatoire et Théorie des Graphes, Orsay, 1976). The concept of a combinatorial map is formulated graph theoretically. The present paper treats the incidence structure, the diagram, reduciblity, order, geometric realizations, and group theoretic and topological properties of combinatorial maps. Another paper investigates highly symmetric combinatorial maps.     

Alexis Fontaine's route to the calculus of several variables

In the years around 1732 Alexis Fontaine des Bertins (1704–1771) member of the French Royal Academy of Sciences from 1733 on, worked out a dualoperator differential calculus to solve problems in “families of curves.” Within six years a calculus of several variables had emerged out of this work. These developments, discussed at greater length elsewhere [Greenberg, 1981, Greenberg, 1981, Greenberg, 1981], are summarized, with additional general reflections and the correction of one error. Together the discussions complement the excellent, recently published account of “families of curves” and the origins of partial differentiation in the works of Leibniz, the various Bernoullis, and Euler [Engelsman 1982]. Common concerns motivate the works of all of these mathematicians. At the same time, certain differences in conception in Fontaine's work highlight the creativity of one of the lesser known eighteenth-century mathematicians.     

A note on the generalization of the summation formulas for Appell's and Kampé de Fériet's hypergeometric functions

In the present paper, a summation formula of a general triple hypergeometric series F⁽³⁾(x, y, z) introduced by Srivastava [10] is obtained. A particular case of this formula corresponds to a result of Shah [7] involving Kampé de Fériet's double hypergeometric function which can further be specialized to yield summation formulas of Srivastava [11] and Bhatt [2] for Appell's function F₂.     

Éclosions combinatoires appliquées à l'inversion multidimensionnelle des séries formelles

Using general methods from the theory of combinatorial species, in the sense of A. Joyal (Adv. in Math.42 (1981), 1–82), symmetric powers of suitably chosen differential operators are interpreted combinatorially in terms of “éclosions” (bloomings) of certain kinds of points, called “bourgeons” (buds), into certain kinds of structures, called “gerbes” (bundles). This gives rise to a combinatorial setting and simple proof of a general multidimensional power series reversion formula of the Lie-Gröbner type (14., 15.). Some related functional equations are also treated and an adaptation of the results to the reversion of cycle index (indicatrix) series, in the sense of Pólya-Joyal (Joyal, loc. cit.), is given.     

A note on the oscillatory property for nonlinear difference equations and differential equations

Criteria are given to determine the oscillatory property of solutions of the nonlinear difference equation: Δ^du_n + ∑_{i = 1}^mp_inf_i(u_n, Δu_n,…,Δ^{d ? 1}u_n) = 0, n = 0, 1, 2,…, where d is an arbitrary integer, generalizing results that have been obtained by B. Szmanda (J. Math. Anal. Appl.79 (1981), 90–95) for d = 2. Analogous results are given for the differential equation: u^(d) + ∑_{i = 1}^mp_i(t)f_i(u, u′,…, u^{(d ? 1)}) = 0, t ? t₀, which coincide with the criteria given by 2., 3., 599–602) and 4., 5., 6., 715–719) for the case m = 1.