The uniqueness of solutions to discrete, victor, two-point boundary value problems

Difference equations which may arise as discrete approximations to two-point boundary value problems for systems of second-order, ordinary differential equations are investigated and conditions are formulated under which solutions to the discrete problem are unique. Some existence, uniqueness implies existence, and convergence theorems for solutions to the discrete problem are also presented.

Microstructure and grain boundary microanalysis of X70 pipeline steel

Grain boundaries (GBs), particularly ferrite: ferrite GBs, of X70 pipeline steel were characterized using analytical electron microscopy (AEM) in order to understand its intergranular stress corrosion cracking (IGSCC) mechanism(s). The microstructure consisted of ferrite (alpha), carbides at ferrite GBs, some pearlite and some small precipitates inside the ferrite grains. The precipitates containing Ti, Nb, V and N were identified as complex carbo-nitrides and designated as (Ti, Nb, WC, N). The GB carbides occurred (1) as carbides along ferrite GBs, (2) at triple points, and (3) at triple points and extending along the three ferrite GBs. The GB carbides were Mn rich, were sometimes also Si rich, contained no micro-alloying elements (Ti, Nb, V) and also contained no N. It was not possible to measure the GB carbon concentration due to surface hydrocarbon contamination despite plasma cleaning and glove bag transfer from the plasma cleaner to the electron microscope. Furthermore, there may not be enough X-ray signal from the small amount of carbon at the GBs to enable measurement using AEM. However, the microstructure does indicate that carbon does segregate to alpha : alpha GBs during microstructure development. This is particularly significant in relation to the strong evidence in the literature linking the segregation of carbon at GBs to IGSCC. It was possible to measure all other elements of interest. There was no segregation at alpha : alpha GBs, in particular no S, P and N, and also no segregation of the micro-alloying elements, Ti, Nb and V. (C) 2003 Kluwer Academic Publishers.

Transparent boundary conditions for wave propagation on unbounded domains

The numerical solution of the time dependent wave equation in an unbounded domain generally leads to a truncation of this domain, which requires the introduction of an artificial boundary with associated boundary conditions. Such nonreflecting conditions ensure the equivalence between the solution of the original problem in the unbounded region and the solution inside the artificial boundary. We consider the acoustic wave equation and derive exact transparent boundary conditions that are local in time and can be directly used in explicit methods. These conditions annihilate wave harmonics up to a given order on a spherical artificial boundary, and we show how to combine the derived boundary condition with a finite difference method. The analysis is complemented by a numerical example in two spatial dimensions that illustrates the usefulness and accuracy of transparent boundary conditions.

On the nonlinear Neumann problem involving the critical Sobolev exponent on the boundary

in this paper we investigate the solvability of the Neumann problem (1.1) involving the critical Sobolev exponents on the right-hand side of the equation and in the boundary condition. It is assumed that the coefficients Q and P are smooth. We examine the common effect of the mean curvature of the boundary a deltaOhm and the shape of the graph of the coefficients Q and P on the existence of solutions of problem (1.1). (C) 2003 Published by Elsevier Inc.

Uniqueness for boundary value problems for second order finite difference equations

We establish maximum principles for second order difference equations and apply them to obtain uniqueness for solutions of some boundary value problems.

Evaluation of the BEASY program using linear and piecewise linear approaches for the boundary conditions

The boundary element method (BEM) was used to study galvanic corrosion using linear and logarithmic boundary conditions. The linear boundary condition was implemented by using the linear approach and the piecewise linear approach. The logarithmic boundary condition was implemented by the piecewise linear approach. The calculated potential and current density distribution were compared with the prior analytical results. For the linear boundary condition, the BEASY program using the linear approach and the piecewise linear approach gave accurate predictions of the potential and the galvanic current density distributions for varied electrolyte conditions, various film thicknesses, various electrolyte conductivities and various area ratio of anode/cathode. The 50-point piecewise linear method could be used with both linear and logarithmic polarization curves.

Full S matrix calculation via a single real-symmetric Lanczos recursion: The Lanczos artificial boundary inhomogeneity method

We present an efficient and robust method for the calculation of all S matrix elements (elastic, inelastic, and reactive) over an arbitrary energy range from a single real-symmetric Lanczos recursion. Our new method transforms the fundamental equations associated with Light's artificial boundary inhomogeneity approach [J. Chem. Phys. 102, 3262 (1995)] from the primary representation (original grid or basis representation of the Hamiltonian or its function) into a single tridiagonal Lanczos representation, thereby affording an iterative version of the original algorithm with greatly superior scaling properties. The method has important advantages over existing iterative quantum dynamical scattering methods: (a) the numerically intensive matrix propagation proceeds with real symmetric algebra, which is inherently more stable than its complex symmetric counterpart; (b) no complex absorbing potential or real damping operator is required, saving much of the exterior grid space which is commonly needed to support these operators and also removing the associated parameter dependence. Test calculations are presented for the collinear H+H-2 reaction, revealing excellent performance characteristics. (C) 2004 American Institute of Physics.

Experimental observations of watertable waves in an unconfined aquifer with a sloping boundary

Observations of horizontal and vertical variations in piezometric head in a homogeneous, laboratory aquifer are presented and discussed. The observed fluctuations are induced by a simple harmonic oscillation in the clear water reservoir acting across a sloping boundary. The data qualitatively supports existing theories in that higher harmonics are generated in the active forcing zone and that a significant increase in the inland, asymptotic watertable over height (relative to that found for the vertical boundary case) is observed. The observed overheight is shown to be accurately reproduced by existing small-amplitude perturbation theory. Detailed measurements in the vicinity of the sloping boundary reveal that the signal of generated higher harmonics is strongest near the sand surface and that vertical flows are significant in this region. The aquifer is of finite-depth and is influenced by capillary effects, the experimental data therefore exposes limitations of theories which are based on the assumption of a shallow aquifer free of capillary effects. The dispersive properties of the measured pressure wave in the aquifer are comparable to those found from field observations and likewise do not agree with those predicted by the capillary free, shallow aquifer theory. Although some improvement is obtained, discrepancies between the data and theory persist even when a finite-depth aquifer and capillary effects are considered in the theoretical model. Further sand column experiments eliminate a truncated capillary fringe as a possible contributor to these discrepancies. However, the neglect of horizontal flows in the fringe may have caused the discrepancies. (C) 2004 Elsevier Ltd. All rights reserved.

On the existence of solutions to boundary value problems on time scales

This work formulates existence theorems for solutions to two-point boundary value problems on time scales. The methods used include maximum principles, a priori bounds and topological degree theory.

Differential expression of the GABA transporters GAT-1 and GAT-3 in brains of rats, cats, monkeys and humans

The homeostasis of GABA is critical to normal brain function. Extracellular levels of GABA are regulated mainly by plasmalemmal gamma-aminobutyric acid (GABA) transporters. Whereas the expression of GABA transporters has been extensively studied in rodents, validation of this data in other species, including humans, has been limited. As this information is crucial for our understanding of therapeutic options in human diseases such as epilepsy, we have compared, by immunocytochemistry, the distributions of the GABA transporters GAT-1 and GAT-3 in rats, cats, monkeys and humans. We demonstrate subtle differences between the results reported in the literature and our results, such as the predominance of GAT-1 labelling in neurons rather than astrocytes in the rat cortex. We note that the optimal localisation of GAT-1 in cats, monkeys and humans requires the use of an antibody against the human sequence carboxyl terminal region of GAT-1 rather than against the slightly different rat sequence. We demonstrate that GAT-3 is localised mainly to astrocytes in hindbrain and midbrain regions of rat brains. However, in species such as cats, monkeys and humans, additional strong immunolabelling of oligodendrocytes has also been observed. We suggest that differences in GAT distribution, especially the expression of GAT-3 by oligodendrocytes in humans, must be accommodated in extrapolating rodent models of GABA homeostasis to humans.

Boundary element method predictions of the influence of the electrolyte on the galvanic corrosion of AZ91D coupled to steel

This research investigated the galvanic corrosion of the magnesium alloy AZ91D coupled to steel. The galvanic current distribution was measured in 5% NaCl solution, corrosive water and an auto coolant. The experimental measurements were compared with predictions from a Boundary Element Method (BEM) model. The boundary condition, required as an input into the BEM model, needs to be a polarization curve that accurately reflects the corrosion process. Provided that the polarization curve does reflect steady state, the BEM model is expected to be able to reflect steady state galvanic corrosion.

Solvability of singular second order m-point boundary value problems of Dirichlet type

Let f : [0, 1] x R2 -> R be a function satisfying the Caxatheodory conditions and t(1 - t)e(t) epsilon L-1 (0, 1). Let a(i) epsilon R and xi(i) (0, 1) for i = 1,..., m - 2 where 0 < xi(1) < xi(2) < (...) < xi(m-2) < 1 - In this paper we study the existence of C[0, 1] solutions for the m-point boundary value problem [GRAPHICS] The proof of our main result is based on the Leray-Schauder continuation theorem.

Multiplicity results for second-order two-point boundary value problems with nonlinearities across several eigenvalues

We consider the boundary value problems for nonlinear second-order differential equations of the form u '' + a(t)f (u) = 0, 0 < t < 1, u(0) = u (1) = 0. We give conditions on the ratio f (s)/s at infinity and zero that guarantee the existence of solutions with prescribed nodal properties. Then we establish existence and multiplicity results for nodal solutions to the problem. The proofs of our main results are based upon bifurcation techniques. (c) 2004 Elsevier Ltd. All rights reserved.

Multiplicity results for second-order two-point boundary value problems with superlinear or sublinear nonlinearities

We consider boundary value problems for nonlinear second order differential equations of the form u + a(t) f(u) = 0, t epsilon (0, 1), u(0) = u(1) = 0, where a epsilon C([0, 1], (0, infinity)) and f : R --> R is continuous and satisfies f (s)s > 0 for s not equal 0. We establish existence and multiplicity results for nodal solutions to the problems if either f(0) = 0, f(infinity) = infinity or f(0) = infinity, f(0) = 0, where f (s)/s approaches f(0) and f(infinity) as s approaches 0 and infinity, respectively. We use bifurcation techniques to prove our main results. (C) 2004 Elsevier Inc. All rights reserved.