Effective cell-centred time-domain Maxwell's equations numerical solvers

This research work analyses techniques for implementing a cell-centred finite-volume time-domain (ccFV-TD) computational methodology for the purpose of studying microwave heating. Various state-of-the-art spatial and temporal discretisation methods employed to solve Maxwell's equations on multidimensional structured grid networks are investigated, and the dispersive and dissipative errors inherent in those techniques examined. Both staggered and unstaggered grid approaches are considered. Upwind schemes using a Riemann solver and intensity vector splitting are studied and evaluated. Staggered and unstaggered Leapfrog and Runge-Kutta time integration methods are analysed in terms of phase and amplitude error to identify which method is the most accurate and efficient for simulating microwave heating processes. The implementation and migration of typical electromagnetic boundary conditions. from staggered in space to cell-centred approaches also is deliberated. In particular, an existing perfectly matched layer absorbing boundary methodology is adapted to formulate a new cell-centred boundary implementation for the ccFV-TD solvers. Finally for microwave heating purposes, a comparison of analytical and numerical results for standard case studies in rectangular waveguides allows the accuracy of the developed methods to be assessed. © 2004 Elsevier Inc. All rights reserved.

Maple tools for the Kurzweil integral

Riemann sums based on delta fine partitions are illustrated with a Maple procedure

Polynomial function intervals for floating-point software verification

The focus of our work is the verification of tight functional properties of numerical programs, such as showing that a floating-point implementation of Riemann integration computes a close approximation of the exact integral. Programmers and engineers writing such programs will benefit from verification tools that support an expressive specification language and that are highly automated. Our work provides a new method for verification of numerical software, supporting a substantially more expressive language for specifications than other publicly available automated tools. The additional expressivity in the specification language is provided by two constructs. First, the specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis can be used in the specifications, where the integration bounds can be arbitrary expressions over real variables. To support our claim of expressivity, we outline the verification of four example programs, including the integration example mentioned earlier. A key component of our method is an algorithm for proving numerical theorems. This algorithm is based on automatic polynomial approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool is our implementation of the algorithm and its source code is publicly available. In this paper we report on experiments using PolyPaver that indicate that the additional expressivity does not come at a performance cost when comparing with other publicly available state-of-the-art provers. We also include a scalability study that explores the limits of PolyPaver in proving tight functional specifications of progressively larger randomly generated programs. © 2014 Springer International Publishing Switzerland.

The Point of Continuity Property: Descriptive Complexity and Ordinal Index

∗ Supported by D.G.I.C.Y.T. Project No. PB93-1142

Involutivity and Symple Waves in R^2

A strictly hyperbolic quasi-linear 2×2 system in two independent variables with C2 coefficients is considered. The existence of a simple wave solution in the sense that the solution is a 2-dimensional vector-valued function of the so called Riemann invariant is discussed. It is shown, through a purely geometrical approach, that there always exists simple wave solution for the general system when the coefficients are arbitrary C^2 functions depending on both, dependent and independent variables.

Equisummability Theorems for Laguerre Series

Here we prove results about Riesz summability of classical Laguerre series, locally uniformly or on the Lebesgue set of the function f such that (∫(1 + x)^(mp) |f(x)|^p dx )^(1/p) < ∞, for some p and m satisfying 1 ≤ p ≤ ∞, −∞ < m < ∞.

Radon Measures on Banach Spaces with their Weak Topologies

The main concern of this paper is to present some improvements to results on the existence or non-existence of countably additive Borel measures that are not Radon measures on Banach spaces taken with their weak topologies, on the standard axioms (ZFC) of set-theory. However, to put the results in perspective we shall need to say something about consistency results concerning measurable cardinals.

Operational Rules for a Mixed Operator of the Erdélyi-Kober Type

2000 Mathematics Subject Classification: 26A33 (main), 44A40, 44A35, 33E30, 45J05, 45D05

Fractional Calculus of the Generalized Wright Function

Mathematics Subject Classification: 26A33, 33C20.

On Limiting Case of the Stein-Weiss Type Inequality for the B-Riesz Potentials

Mathematics Subject Classification: Primary 42B20, 42B25, 42B35

On a Differential Equation with Left and Right Fractional Derivatives

Mathematics Subject Classification: 26A33; 70H03, 70H25, 70S05; 49S05

Caputo-Type Modification of the Erdélyi-Kober Fractional Derivative

2000 Math. Subject Classification: 26A33; 33E12, 33E30, 44A15, 45J05

Generalized Fractional Evolution Equation

2000 Mathematics Subject Classification: Primary 46F25, 26A33; Secondary: 46G20