Reducing systems of linear differential equations to a passive form

In this paper, an application of the Riquer-Thomas-Janet theory is described for the problem of transforming a system of partial differential equations into a passive form, i.e., to a special form which contains explicitly both the equations of the initial system and all their nontrivial differential consequences. This special representation of a system markedly facilitates the subsequent integration of the corresponding differential equations. In this paper, the modern approach to the indicated problem is presented. This is the approach adopted in the Knuth-Bendix procedure [13] for critical-pair/completion and then Buchberger's algorithm for completion of polynomial ideal bases [13] (or, alternatively, for the construction of Groebner bases for ideals in a differential operator ring [14]). The algorithm of reduction to the passive form for linear system of partial differential equations and its implementation in the algorithmic language REFAL, as well as the capabilities of the corresponding program, are outlined. Examples illustrating the power and efficiency of the system are presented.     

On decomposition of continuity

Summary The main purpose of this paper is to introduce the concepts of η-sets, ηζ-sets,η-continuity and ηζ-continuity and to obtain a decomposition of continuity.     

Addendum to "On the L1-Condition Number of the Univariate Bernstein Basis"

The paper mentioned above is a contribution of the authors to Volume 18 (2002) of this journal, see . Recently, J. Domsta pointed out to us that the proof of Theorem 4.2 in that paper contains an error. The purpose of this addendum is to present a correct argument for it.     

CONCEPTUAL DESIGN STUDIES OF AN 84 GHz, 500 kW, CW GYROTRON

The feasibility of an 84 GHz, 500 kW, CW gyrotron for ECRH on an experimental tokamak will be presented in this paper. Mode competition and mode selection procedures are carefully investigated by considering various candidate modes and the TE_10,4 mode is chosen as the operating mode. A conventional cylindrical cavity resonator with weak input and output tapers and parabolic roundings is considered for interaction studies. Self-consistent, both single mode and time-dependent, calculations are carried out and power and efficiencies are computed for a typical set of beam parameters. The results show that an output power of well over 500 kW, CW and efficiency around 40% can be reached without a depressed collector.     

Mass Power Spectrum in a Universe Dominated by the Chaplygin Gas

The mass power spectrum for a Universe dominated by the Chaplygin gas is evaluated numerically from scales of the order of the Hubble horizon to 100 Mpc. The results are compared with a pure baryonic Universe and a cosmological constant model. In all three cases, the spectrum increases with k, the wavenumber of the perturbations. The slope of the spectrum is higher for the baryonic model and smaller for the cosmological constant model, the Chaplygin gas interpolating these two models. The results are analyzed in terms of the sound velocity of the Chaplygin gas and the moment the Universe begins to accelerate.     

An unstructured mesh finite volume method for modelling saltwater intrusion into coastal aquifers

In this paper, a two-dimensional finite volume unstructured mesh method (FVUM) based on a triangular background interpolation mesh is developed for analysing the evolution of the saltwater intrusion into single and multiple coastal aquifer systems. The model formulation consists of a ground-water flow equation and a salt transport equation. These coupled and non-linear partial differential equations are transformed by FVUM into a system of differential/algebraic equations, which is solved using backward differentiation formulas of order one through five. Simulation results are compared with previously published solutions where good agreement is observed.