Equivalent method for accurate solution to linear interval equations

Based on linear interval equations, an accurate interval finite element method for solving structural static problems with uncertain parameters in terms of optimization is discussed. On the premise of ...     

Algebraic and geometric structures of analytic partial differential equations

We study the problem of the compatibility of nonlinear partial differential equations. We introduce the algebra of convergent power series, the module of derivations of this algebra, and the module of Pfaffian forms. Systems of differential equations are given by power series in the space of infinite jets. We develop a technique for studying the compatibility of differential systems analogous to the Gröbner bases. Using certain assumptions, we prove that compatible systems generate infinite manifolds.     

Algebraic methods for the solution of linear functional equations

The equation

$$\sum^{n}_ {i=0} a_{i}f(b_{i}x + (1 - b_{i})y) = 0$$

belongs to the class of linear functional equations. The solutions form a linear space with respect to the usual pointwise operations. According to the classical results of the theory they must be generalized polynomials. New investigations have been started a few years ago. They clarified that the existence of non-trivial solutions depends on the algebraic properties of some related families of parameters. The problem is to find the necessary and sufficient conditions for the existence of non-trivial solutions in terms of these kinds of properties. One of the earliest results is due to Z. Daróczy [1]. It can be considered as the solution of the problem in case of n = 2. We are going to take more steps forward by solving the problem in case of n = 3.

     

Linear interval equations with symmetric solution sets

Criteria for symmetry and boundedness are found for the combined solution set of a system of linear algebraic equations with interval coefficients. It is shown that the problem of the best inner interval estimation of a symmetric solution set can be exactly solved by linear programming methods.     

Formal solution of an interval system of linear equations with an application in static responses of structures with interval forces

We are concerned with the so called formal solution of an interval system of linear equations. We focus on the case where the coefficient matrix is deterministic (real) and the right-hand side is an interval vector. We show that the set of formal solutions represents a convex polyhedral set. We propose new properties of the formal solution related to its existence, uniqueness and robustness. As particular classes of problems we investigate also the situation where the coefficient matrix is an M-matrix or H-matrix. Example problems related to the structures, such as 6-bar truss and a rectangular sheet, are solved to illustrate the computational aspects of the methods.     

On the solution of nonlinear equations in interval arithmetic

We consider the problem of finding a simple zero of a continuously differentiable functionf:R ⁿ R ⁿ . There is given an intervalvectorX ₀ ^I containing one zero off, and we will construct a contracting sequence of intervalvectors enclosing this zero. This can be done by Newton's method, which gives quadratic convergence, but requires inversion of an intervalmatrix at each step of the iteration. Alefeld and Herzberger, [1], give a modification of Newton's method, without the necessity of inversion, the convergence being superlinear. We give a slight modification of the latter method, with the property that the sequence of interval widths is dominated by a quadratically convergent sequence.     

A general solution of equations of equilibrium in linear elasticity

A general solution of equations of equilibrium in linear elasticity is presented in cylindrical coordinates in terms of three harmonic functions describing an arbitrary displacement field. The structure of this solution is similar to the general solution given by Love (Kelvin’s solution) in spherical coordinates. Galerkin vector representation of our solution leads to an integral connecting the harmonic functions. The connections to Papkovich–Neuber and Muki’s general representations are also provided. Suitable choices of the harmonic functions in our new representation yield general solutions for axisymmetric deformations due to Love, Boussinesq and Michell. Some unbounded deformations induced by singular forces are tabulated in terms of the scalar harmonic functions to justify the simple nature of our representation. Exact solution of the half-space boundary value problem is also provided to demonstrate the power of our approach. The stress components computed via our solution are also listed (see the Appendix).     

Stability and bifurcation of equilibrium solutions of reaction-diffusion equations on an infinite space interval

Under the condition that f(x, y, z, α) and its partial derivatives decay sufficiently fast as $\text{¦x¦ → ∞}$ we will study the (linear) stability and bifurcation of equilibrium solutions of the scalar problem u_t = u_xx + f(x, u, u_x, α), u_x(?∞, t) = u_x(∞, t) = 0 (1) where α is a real bifurcation parameter. After introducing appropriate function spaces X and Y the problem (1) can be rewritten $\text{d}\text{dt}\text{u = G(u, α)}$, (7) where G:X×R → Y is given by G(u, α)(x) = u″(x) + f(x, u(x), u′(x), α). It will be shown, for each (u, α)?X × R, that the Fréchet derivative G_u(u,a): X → Y is not a Fredholm operator. This difficulty is due to the fact that the domain of the space variable x, is infinite and cannot be eliminated by making another choice of X and Y. Since G_u(u, α) is not Fredholm, the hypotheses of most of the general stability and bifurcation results are not satisfied. If (u₀, α₀?S = {(u, α): G(u, α) = 0}, (i.e., (u₀,α₀) is an equilibrium solution of (7)), a necessary condition on the spectrum of G_u(u₀, α₀) for a change in the stability of points in S to occur at G_u(u₀, α₀) will be given. When this condition is met, the principle of exchange of stability which means, in a neighborhood of (u₀, α₀), that adjacent equilibrium solutions for the same α have opposite stability properties in a weakened sense will be established. Also, when G_u or its first order partial derivatives, evaluated at (u₀, α₀), are not too degenerate, the shape of S in a neighborhood of (u₀, α₀) will be described and a strenghtened form of the principle of exchange of stability will be obtained.     

Algebraic structures on graphs

In this paper we consider directed graphs with algebraic structures: group-graphs, ringgraphs, involutorial graphs, affine graphs, graphs of morphisms between graphs, graphs of reduced paths of an involutorial graph, etc. We show also how several well-known algebraic constructions can be carried over to graphs. As a typical example we generalize the construction of the group of automorphisms of a set, by constructing a group-graph associated with any given graphΓ. It is the group-graph of reduced paths of the involutorial graph associated to the graph of automorphisms ofΓ.     

On nonconvexity of the solution set of a system of linear interval equations

We give necessary and sufficient conditions for the solution set of a system of linear interval equations to be nonconvex and derive some consequences.     

Equations in finite fields with restricted solution sets. II (Algebraic equations)

Generalizing earlier results, it is shown that if are “large” subsets of a finite field F _q , then the equations a + b = cd, resp. ab + 1 = cd can be solved with . Other algebraic equations with solutions restricted to “large” subsets of F _q are also studied. The proofs are based on character sum estimates proved in Part I of the paper. Research partially supported by the Hungarian National Foundation for Scientific Research, Grants No. T 043623, T 043631 and T 049693.     

Alternative positional FEM applied to thermomechanical impact of truss structures

This paper presents a formulation to deal with dynamic thermomechanical problems by the finite element method. The proposed methodology is based on the minimum potential energy theorem written regarding nodal positions, not displacements, to solve the mechanical problem. The thermal problem is solved by a regular finite element method. Such formulation has the advantage of being simple and accurate. As a solution strategy, it has been used as a natural split of the thermomechanical problem, usually called isothermal split or isothermal staggered algorithm. Usual internal variables and the additive decomposition of the strain tensor have been adopted to model the plastic behavior. Four examples are presented to show the applicability of the technique. The results are compared with other authors’ numerical solutions and experimental results.     

代数微分方程的代数解

Using value distribution theory and techniques,the problem of the algebroid solutions of second order algebraic differential equation is investigated. Examples show that the results are sharp.     

Algebraic lattices and nonassociative structures

Uniform elements in algebraic lattices are studied and their relationship with some nonassociative extensions of Goldie's Second Theorem is shown.