Ordering in mechanical geometry theorem proving

Ordering in mechanical geometry theorem proving is studied from geometric viewpoint and some new ideas are proposed. For Thebault’s theorem which is the most difficult theorem that has ever been proved by Wu’s method, a very simple proof using Wu’s method under a linear order is discovered. Project supported by the National Natural Science Foundation of China.     

On the Equivalence and Generalized of Weyl Theorem Weyl Theorem

We know that an operator T acting on a Banach space satisfying generalized Weyl＇s theorem also satisfies Weyl＇s theorem. Conversely we show that if all isolated eigenvalues of T are poles of its resolvent and if T satisfies Weyl＇s theorem, then it also satisfies generalized Weyl＇s theorem. We give also a sinlilar result for the equivalence of a-Weyl＇s theorem and generalized a-Weyl＇s theorem. Using these results, we study the case of polaroid operators, and in particular paranormal operators.     

Beurling algebra analogues of the classical theorems of Wiener and Lévy on absolutely convergent fourier series

Letf be a continuous function on the unit circle Γ, whose Fourier series is ω-absolutely convergent for some weight ω on the set of integersZ. If f is nowhere vanishing on Γ, then there exists a weightv onZ such that 1/f hadv-absolutely convergent Fourier series. This includes Wiener’s classical theorem. As a corollary, it follows that if φ is holomorphic on a neighbourhood of the range off, then there exists a weight Χ on Z such that φ ◯f has Χ-absolutely convergent Fourier series. This is a weighted analogue of Lévy’s generalization of Wiener’s theorem. In the theorems,v and Χ are non-constant if and only if ω is non-constant. In general, the results fail ifv or Χ is required to be the same weight ω.     

Stinespring representability and Kadison’s Schwarz inequality in non-unital Banach star algebras and applications

A completely positive operator valued linear map ϕ on a (not necessarily unital) Banach *-algebra with continuous involution admits minimal Stinespring dilation iff for some scalark > 0, ϕ(x)*ϕ(x) ≤ kϕ(x*x) for allx iff ϕ is hermitian and satisfies Kadison’s Schwarz inequality ϕ(h) ² ≤ kϕ(h ²) for all hermitianh iff ϕ extends as a completely positive map on the unitizationA _e of A. A similar result holds for positive linear maps. These provide operator state analogues of the corresponding well-known results for representable positive functionals. Further, they are used to discuss (a) automatic Stinespring representability in Banach *-algebras, (b) operator valued analogue of Bochner-Weil-Raikov integral representation theorem, (c) operator valued analogue of the classical Bochner theorem in locally compact abelian groupG, and (d) extendability of completely positive maps from *-subalgebras. Evans’ result on Stinespring respresentability in the presence of bounded approximate identity (BAI) is deduced. A number of examples of Banach *-algebras without BAI are discussed to illustrate above results.     

Some theorems in temperature-rate-dependent theory of thermoelasticity

A theorem on the uniqueness of solutions, a generalised Hamilton’s principle and a reciprocal theorem for dynamical mixed boundary value problems are obtained in the context of a linear anisotropic thermoelasticity theory which predicts a finite speed of propagation of thermal signals.     

Fractional extensions of some boundary value problems in oil strata

In the present paper, we solve three boundary value problems related to the temperature field in oil strata — the fractional extensions of the incomplete lumped formulation and lumped formulation in the linear case and the fractional generalization of the incomplete lumped formulation in the radial case. By using the Caputo differintegral operator and the Laplace transform, the solutions are obtained in integral forms where the integrand is expressed in terms of the convolution of some auxiliary functions of Wright function type. A generalization of the Laplace transform convolution theorem, known as Efros’ theorem is widely used.     

Kantorovich’s majorants principle for Newton’s method

We prove Kantorovich’s theorem on Newton’s method using a convergence analysis which makes clear, with respect to Newton’s method, the relationship of the majorant function and the non-linear operator under consideration. This approach enables us to drop out the assumption of existence of a second root for the majorant function, still guaranteeing Q-quadratic convergence rate and to obtain a new estimate of this rate based on a directional derivative of the derivative of the majorant function. Moreover, the majorant function does not have to be defined beyond its first root for obtaining convergence rate results. The research of O.P. Ferreira was supported in part by FUNAPE/UFG, CNPq Grant 475647/2006-8, CNPq Grant 302618/2005-8, PRONEX–Optimization(FAPERJ/CNPq) and IMPA. The research of B.F. Svaiter was supported in part by CNPq Grant 301200/93-9(RN) and by PRONEX–Optimization(FAPERJ/CNPq).     

A Note on the Browder＇s and Weyl＇s Theorem

Let T be a Banach space operator, E（T） be the set of all isolated eigenvalues of T and π（T） be the set of all poles of T. In this work, we show that Browder＇s theorem for T is equivalent to the localized single-valued extension property at all complex numbers λ in the complement of the Weyl spectrum of T, and we give some characterization of Weyl＇s theorem for operator satisfying E（T） = π（T）. An application is also given.     

Algebraic independence of the values ofE-functions at singular points and Siegel’s conjecture

We prove a generalization of Shidlovskii’s theorem on the algebraic independence of the values ofE-functions satisfying a system of linear differential equations that is well known in the theory of transcendental numbers. We consider the case in which the values ofE-functions are taken at singular points of these systems. Using the obtained results, we prove Siegel’s conjecture that, for the case of first-order differential equations, anyE-function satisfying a linear differential equation is representable as a polynomial in hypergeometricE-functions. Translated fromMatematicheskie Zametki, Vol. 67, No. 2, pp. 174–190, February, 2000.     

Géométrie des nombres adélique et lemmes de Siegel généralisés

A Siegel’s lemma provides an explicit upper bound for a non-zero vector of minimal height in a finite dimensional vector spaces over a number field. This article explains how to obtain Siegel’s lemmas for which the minimal vectors do not belong to a finite union of vector subspaces (Siegel’s lemmas with conditions). The proofs mix classical results of adelic geometry of numbers and an adelic variant of a theorem of Henk about the number of lattice points of a centrally symmetric convex body in terms of the successive minima of the body.     

The heat kernel and Hardy’s theorem on symmetric spaces of noncompact type

For symmetric spaces of noncompact type we prove an analogue of Hardy’s theorem which characterizes the heat kernel in terms of its order of magnitude and that of its Fourier transform.     

On alternating analogues of Tornheim’s double series II

In this paper, we evaluate the alternating analogues of Tornheim’s double series. This is an answer to the problem posed by Subbarao-Sitaramachandrarao, and can be regarded as an alternating analogue of the evaluation formula for Tornheim’s double series, given by Huard, Williams and Z. Nan-Yue. We also evaluate partial Tornheim’s double series.      

A-Browder＇s Theorem and Generalized a-Weyl＇s Theorem

Two variants of the essential approximate point spectrum are discussed. We find for example that if one of them coincides with the left Drazin spectrum then the generalized a-Weyl＇s theorem holds, and conversely for a-isoloid operators. We also study the generalized a-Weyl＇s theorem for Class A operators.     

A hypergeometric approach,via linear forms involving logarithms,to criteria for irrationality of Euler’s constant

Using an integral of a hypergeometric function, we give necessary and sufficient conditions for irrationality of Euler’s constant γ. The proof is by reduction to known irrationality criteria for γ involving a Beukers-type double integral. We show that the hypergeometric and double integrals are equal by evaluating them. To do this, we introduce a construction of linear forms in 1, γ, and logarithms from Nesterenko-type series of rational functions. In the Appendix, S. Zlobin gives a change-of-variables proof that the series and the double integral are equal.      

A Dirichlet unit theorem for Drinfeld modules

We show that the module of integral points on a Drinfeld module satisfies an analogue of Dirichlet’s unit theorem, despite its failure to be finitely generated. As a consequence, we obtain a construction of a canonical finitely generated sub-module of the module of integral points. We use the results to give a precise formulation of a conjectural analogue of the class number formula.     

Green and Generalized Green’s Functionals of Linear Local and Nonlocal Problems for Ordinary Integro-differential Equations

A linear, completely nonhomogeneous, generally nonlocal, multipoint problem is investigated for a second-order ordinary integro-differential equation with generally nonsmooth coefficients, satisfying some general conditions like p-integrability and boundedness. A system of three integro-algebraic equations named the adjoint system is introduced for the solution. The solvability conditions are found by the solutions of the homogeneous adjoint system in an “alternative theorem”. A version of a Green’s functional is introduced as a special solution of the adjoint system. For the problem with a nontrivial kernel also a notion of a generalized Green’s functional is introduced by a projection operator defined on the space of solutions. It is also shown that the classical Green and Cauchy type functions are special forms of the Green’s functional. The author passed away in 2006 prior to publication of the article.     

Existence results for periodic solutions of integro-dynamic equations on time scales

Using the topological degree method and Schaefer’s fixed point theorem, we deduce the existence of periodic solutions of nonlinear system of integro-dynamic equations on periodic time scales. Furthermore, we provide several applications to scalar equations, in which we develop a time scale analog of Lyapunov’s direct method and prove an analog of Sobolev’s inequality on time scales to arrive at a priori bound on all periodic solutions. Therefore, we improve and generalize the corresponding results in Burton et al. (Ann Mat Pura Appl 161:271–283, 1992)      

Mechanical theorem proving in differential geometry

An automated reasoning method, based on Wu’s method and calculus of differential forms, is proposed for mechanical theorem proving in local theory of space surfaces in differential geometry. The method has been used to simplify one of Chem’s theorems: “The non-trivial families of isometric surfaces having the same principal curvatures are W-surfaces.” Some other theorems are also tested by this method. The proofs are generally simpler than those in differential geometry textbooks. Project supported partially by the National Natural Science Foundation of China.     

An extension of Barta’s Theorem and geometric applications

We prove an extension of a theorem of Barta and we give some geometric applications. We extend Cheng’s lower eigenvalue estimates of normal geodesic balls. We generalize Cheng-Li-Yau eigenvalue estimates of minimal submanifolds of the space forms. We show that the spectrum of the Nadirashvili bounded minimal surfaces in have positive lower bounds. We prove a stability theorem for minimal hypersurfaces of the Euclidean space, giving a converse statement of a result of Schoen. Finally we prove generalization of a result of Kazdan–Kramer about existence of solutions of certain quasi-linear elliptic equations. Bessa and Montenegro were partially supported by CNPq Grant.     

Weyl’s theorem and thin spectra

Using the notion of thin sets we prove a theorem of Weyl type for the Wolf essential spectrum ofT ∈β (H). *Further we show that Weyl’s theorem holds for a restriction convexoid operator and consequently modify some results of Berberian. Finally we show that Weyl’s theorem holds for a paranormal operator and that a polynomially compact paranormal operator is a compact perturbation of a diagnoal normal operator. A structure theorem for polynomially compact paranormal operators is also given.