Ponto fixo: uma introdução no ensino médio

Pós-graduação em Matemática em Rede Nacional - IBILCE

Construções euclidianas e o desfecho de problemas famosos da geometria

Construction techniques with ruler and the compasses, fundamental on Euclidean geometry, have been related to modern algebraic theories such as solving equations and extension of bodies from the works by Paolo Ruffini (1765-1822), Niels Henrik Abel (1802-1829) and Evariste Galois (1811-1832). This relation could provide an answer to some famous problems, from ancient Greece, such as doubling the cube, the trisection Angle, the Quadrature of the Circle and the construction of regular polygons, which remained unsolved for over two thousand years. Also important for our purposes are the notions of algebraic numbers, transcendental and the criteria for constructability, of those numbers. The objective of this study is to reconstruct relevant steps of geometric constructions with ruler (unmarked) and the compasses, from the elementary to the outcome buildings, in the nineteenth century, considering those mentioned problems.

A W-matrix methodology for solving sparse network equations on multiprocessor computers

This paper describes a methodology for solving efficiently the sparse network equations on multiprocessor computers. The methodology is based on the matrix inverse factors (W-matrix) approach to the direct solution phase of A(x) = b systems. A partitioning scheme of W-matrix , based on the leaf-nodes of the factorization path tree, is proposed. The methodology allows the performance of all the updating operations on vector b in parallel, within each partition, using a row-oriented processing. The approach takes advantage of the processing power of the individual processors. Performance results are presented and discussed.

Fourth-order method for solving the Navier-Stokes equations in a constricting channel

A fourth-order numerical method for solving the Navier-Stokes equations in streamfunction/vorticity formulation on a two-dimensional non-uniform orthogonal grid has been tested on the fluid flow in a constricted symmetric channel. The family of grids is generated algebraically using a conformal transformation followed by a non-uniform stretching of the mesh cells in which the shape of the channel boundary can vary from a smooth constriction to one which one possesses a very sharp but smooth corner. The generality of the grids allows the use of long channels upstream and downstream as well as having a refined grid near the sharp corner. Derivatives in the governing equations are replaced by fourth-order central differences and the vorticity is eliminated, either before or after the discretization, to form a wide difference molecule for the streamfunction. Extra boundary conditions, necessary for wide-molecule methods, are supplied by a procedure proposed by Henshaw et al. The ensuing set of non-linear equations is solved using Newton iteration. Results have been obtained for Reynolds numbers up to 250 for three constrictions, the first being smooth, the second having a moderately sharp corner and the third with a very sharp corner. Estimates of the error incurred show that the results are very accurate and substantially better than those of the corresponding second-order method. The observed order of the method has been shown to be close to four, demonstrating that the method is genuinely fourth-order. © 1977 John Wiley & Sons, Ltd.

Scalar-bipolar asymptotic modules for solving (2+1)-dimensional nonlinear evolution equations with constraints

An infinite hierarchy of solvable systems of purely differential nonlinear equations is introduced within the framework of asymptotic modules. Eacy system consists of (2+1)-dimensional evolution equations for two complex functions and of quite strong differential constraints. It may be interpreted formally as an integro-differential equation in (1+1) dimensions. © 1988.

Numerical simulation of Ginzburg-Landau-Langevin equations

This work is concerned with non-equilibrium phenomena, with focus on the numerical simulation of the relaxation of non-conserved order parameters described by stochastic kinetic equations known as Ginzburg-Landau-Langevin (GLL) equations. We propose methods for solving numerically these type of equations, with additive and multiplicative noises. Illustrative applications of the methods are presented for different GLL equations, with emphasis on equations incorporating memory effects.

SELF-CONSISTENT SOLUTION OF THE SCHWINGER-DYSON EQUATIONS FOR THE NUCLEON AND MESON PROPAGATORS

The Schwinger-Dyson equations for the nucleon and meson propagators are solved self-consistently in an approximation that goes beyond the Hartree-Fock approximation. The traditional approach consists in solving the nucleon Schwinger-Dyson equation with bare meson propagators and bare meson-nucleon vertices; the corrections to the meson propagators are calculated using the bare nucleon propagator and bare nucleon-meson vertices. It is known that such an approximation scheme produces the appearance of ghost poles in the propagators. In this paper the coupled system of Schwinger-Dyson equations for the nucleon and the meson propagators are solved self-consistently including vertex corrections. The interplay of self-consistency and vertex corrections on the ghosts problem is investigated. It is found that the self-consistency does not affect significantly the spectral properties of the propagators. In particular, it does not affect the appearance of the ghost poles in the propagators.

A set of linear equations to calculate the steady-state operation of an electrical distribution system

In this paper, the calculation of the steady-state operation of a radial/meshed electrical distribution system (EDS) through solving a system of linear equations (non-iterative load flow) is presented. The constant power type demand of the EDS is modeled through linear approximations in terms of real and imaginary parts of the voltage taking into account the typical operating conditions of the EDS's. To illustrate the use of the proposed set of linear equations, a linear model for the optimal power flow with distributed generator is presented. Results using some test and real systems show the excellent performance of the proposed methodology when is compared with conventional methods. © 2011 IEEE.

Multiseries Lie groups and asymptotic modules for characterizing and solving integrable models

A multiseries integrable model (MSIM) is defined as a family of compatible flows on an infinite-dimensional Lie group of N-tuples of formal series around N given poles on the Riemann sphere. Broad classes of solutions to a MSIM are characterized through modules over rings of rational functions, called asymptotic modules. Possible ways for constructing asymptotic modules are Riemann-Hilbert and ∂̄ problems. When MSIM's are written in terms of the group coordinates, some of them can be contracted into standard integrable models involving a small number of scalar functions only. Simple contractible MSIM's corresponding to one pole, yield the Ablowitz-Kaup-Newell-Segur (AKNS) hierarchy. Two-pole contractible MSIM's are exhibited, which lead to a hierarchy of solvable systems of nonlinear differential equations consisting of (2 + 1) -dimensional evolution equations and of quite strong differential constraints. © 1989 American Institute of Physics.