In 1975 C. F. Chen and C. H. Hsiao established a new procedure to solve initial value problems of systems of linear differential equations with constant coefficients by Walsh polynomials approach. However, they did not deal with the analysis of the proposed numerical solution. In a previous article we study this procedure in case of one equation with the techniques that the theory of dyadic harmonic analysis provides us. In this paper we extend these results through the introduction of a new procedure to solve initial value problems of differential equations with not necessarily constant coefficients.
Fejes Tóth  studied approximations of smooth surfaces in three-space by piecewise flat triangular meshes with a given number of vertices on the surface that are optimal with respect to Hausdorff distance. He proves that this Hausdorff distance decreases inversely proportional with the number of vertices of the approximating mesh if the surface is convex. He also claims that this Hausdorff distance is inversely proportional to the square of the number of vertices for a specific non-convex surface, namely a one-sheeted hyperboloid of revolution bounded by two congruent circles. We refute this claim, and show that the asymptotic behavior of the Hausdorff distance is linear, that is the same as for convex surfaces.
In , a universal linear algebraic model was proposed for describing homogeneous conformal geometries, such as the spherical, Euclidean, hyperbolic, Minkowski, anti-de Sitter and Galilei planes (). This formalism was independent from the underlying field, providing an extension and general approach to other fields, such as finite fields. Some steps were taken even for the characteristic 2 case.
In this article, we undertake the study of the characteristic 2 case in more detail. In particular, the concept of virtual quadratic spaces is used (), and a similar result is achieved for finite fields of characteristic 2 as for other fields. Some differences from the non-characteristic 2 case are also pointed out.
Authors:Nazeran Idrees, Gerhard Pfister and Afshan Sadiq
We present an algorithm to compute the primary decomposition of a submodule N of the free module ℤ[x1,...,xn]m. For this purpose we use algorithms for primary decomposition of ideals in the polynomial ring over the integers. The idea is to compute first the minimal associated primes of N, i.e. the minimal associated primes of the ideal Ann (ℤ[x1,...,xn]m/N) in ℤ[x1,...,xn] and then compute the primary components using pseudo-primary decomposition and extraction, following the ideas of Shimoyama-Yokoyama. The algorithms are implemented in Singular.
Let A1,...,AN and B1,...,BM be two sequences of events and let νN(A) and νM(B) be the number of those Ai and Bj, respectively, that occur. Based on multivariate Lagrange interpolation, we give a method that yields linear bounds in terms of Sk,t, k+t ≤ m on the distribution of the vector (νN(A), νM(B)). For the same value of m, several inequalities can be generated and all of them are best bounds for some values of Sk,t. Known bivariate Bonferroni-type inequalities are reconstructed and new inequalities are generated, too.
M. Giusti’s classification of the simple complete intersection singularities is characterized in terms of invariants. This is a basis for the implementation of a classifier in the computer algebra system Singular.
Authors:Ruy Fabila-Monroy, Clemens Huemer and Dieter Mitsche
Let S be a set of n points distributed uniformly and independently in a convex, bounded set in the plane. A four-gon is called empty if it contains no points of S in its interior. We show that the expected number of empty non-convex four-gons with vertices from S is 12n2logn + o(n2logn) and the expected number of empty convex four-gons with vertices from S is Θ(n2).
This paper attempts an exposition of the connection between valuation theory and hyperstructure theory. In this regards, by considering the notion of totally ordered canonical hypergroup we define a hypervaluation of a hyperfield onto a totally ordered canonical hypergroup and obtain some related basic results.
We provide sufficient conditions for a mapping acting between two Banach spaces to be a diffeomorphism. We get local diffeomorhism by standard method while in making it global we employ a critical point theory and a duality mapping. We provide application to integro-differential initial value problem for which we get differentiable dependence on parameters.
We obtain new lower and upper bounds for probabilities of unions of events. These bounds are sharp. They are stronger than earlier ones. General bounds may be applied in arbitrary measurable spaces. We have improved the method that has been introduced in previous papers. We derive new generalizations of the first and second parts of the Borel-Cantelli lemma.