On the solvability of second kind integral equations on the real line

This paper considers general second kind integral equations of the form(in operator form φ − kφ = ψ), where the functions k and ψ are assumed known, with ψ ∈ Y, the space of bounded continuous functions on R, and k such that the mapping s → k(s, · ), from R to L1(R), is bounded and continuous. The function φ ∈ Y is the solution to be determined. Conditions on a set W ⊂ BC(R, L1(R)) are obtained such that a generalised Fredholm alternative holds: If W satisfies these conditions and I − k is injective for all k ∈ W then I − k is also surjective for all k ∈ W and, moreover, the inverse operators (I − k) − 1 on Y are uniformly bounded for k ∈ W. The approximation of the kernel in the integral equation by a sequence (kn) converging in a weak sense to k is also considered and results on stability and convergence are obtained. These general theorems are used to establish results for two special classes of kernels: k(s, t) = κ(s − t)z(t) and k(s, t) = κ(s − t)λ(s − t, t), where κ ∈ L1(R), z ∈ L∞(R), and λ ∈ BC((R\{0}) × R). Kernels of both classes arise in problems of time harmonic wave scattering by unbounded surfaces. The general integral equation results are here applied to prove the existence of a solution for a boundary integral equation formulation of scattering by an infinite rough surface and to consider the stability and convergence of approximation of the rough surface problem by a sequence of diffraction grating problems of increasingly large period.

On the solvability of a class of second kind integral equations on unbounded domains

We consider integral equations of the form ψ(x) = φ(x) + ∫Ωk(x, y)z(y)ψ(y) dy(in operator form ψ = φ + Kzψ), where Ω is some subset ofRn(n ≥ 1). The functionsk,z, and φ are assumed known, withz ∈ L∞(Ω) and φ ∈ Y, the space of bounded continuous functions on Ω. The function ψ ∈ Yis to be determined. The class of domains Ω and kernelskconsidered includes the case Ω = Rnandk(x, y) = κ(x − y) with κ ∈ L1(Rn), in which case, ifzis the characteristic function of some setG, the integral equation is one of Wiener–Hopf type. The main theorems, proved using arguments derived from collectively compact operator theory, are conditions on a setW ⊂ L∞(Ω) which ensure that ifI − Kzis injective for allz ∈ WthenI − Kzis also surjective and, moreover, the inverse operators (I − Kz)−1onYare bounded uniformly inz. These general theorems are used to recover classical results on Wiener–Hopf integral operators of21and19, and generalisations of these results, and are applied to analyse the Lippmann–Schwinger integral equation.

Asymptotic behavior at infinity of solutions of multidimensional second kind integral equations

We consider second kind integral equations of the form x(s) - (abbreviated x - K x = y ), in which Ω is some unbounded subset of Rn. Let Xp denote the weighted space of functions x continuous on Ω and satisfying x (s) = O(|s|-p ),s → ∞We show that if the kernel k(s,t) decays like |s — t|-q as |s — t| → ∞ for some sufficiently large q (and some other mild conditions on k are satisfied), then K ∈ B(XP) (the set of bounded linear operators on Xp), for 0 ≤ p ≤ q. If also (I - K)-1 ∈ B(X0) then (I - K)-1 ∈ B(XP) for 0 < p < q, and (I- K)-1∈ B(Xq) if further conditions on k hold. Thus, if k(s, t) = O(|s — t|-q). |s — t| → ∞, and y(s)=O(|s|-p), s → ∞, the asymptotic behaviour of the solution x may be estimated as x (s) = O(|s|-r), |s| → ∞, r := min(p, q). The case when k(s,t) = к(s — t), so that the equation is of Wiener-Hopf type, receives especial attention. Conditions, in terms of the symbol of I — K, for I — K to be invertible or Fredholm on Xp are established for certain cases (Ω a half-space or cone). A boundary integral equation, which models three-dimensional acoustic propaga-tion above flat ground, absorbing apart from an infinite rigid strip, illustrates the practical application and sharpness of the above results. This integral equation mod-els, in particular, road traffic noise propagation along an infinite road surface sur-rounded by absorbing ground. We prove that the sound propagating along the rigid road surface eventually decays with distance at the same rate as sound propagating above the absorbing ground.

Approximate solution of second kind integral equations on infinite cylindrical surfaces

The paper considers second kind integral equations of the form $\phi (x) = g(x) + \int_S {k(x,y)} \phi (y)ds(y)$ (abbreviated $\phi = g + K\phi $), in which S is an infinite cylindrical surface of arbitrary smooth cross section. The “truncated equation” (abbreviated $\phi _a = E_a g + K_a \phi _a $), obtained by replacing S by $S_a $, a closed bounded surface of class $C^2 $, the boundary of a section of the interior of S of length $2a$, is also discussed. Conditions on k are obtained (in particular, implying that K commutes with the operation of translation in the direction of the cylinder axis) which ensure that $I - K$ is invertible, that $I - K_a $ is invertible and $(I - K_a )^{ - 1} $ is uniformly bounded for all sufficiently large a, and that $\phi _a $ converges to $\phi $ in an appropriate sense as $a \to \infty $. Uniform stability and convergence results for a piecewise constant boundary element collocation method for the truncated equations are also obtained. A boundary integral equation, which models three-dimensional acoustic scattering from an infinite rigid cylinder, illustrates the application of the above results to prove existence of solution (of the integral equation and the corresponding boundary value problem) and convergence of a particular collocation method.

Runge-Kutta IMEX schemes for the Horizontally Explicit/Vertically Implicit (HEVI) solution of wave equations

Many operational weather forecasting centres use semi-implicit time-stepping schemes because of their good efficiency. However, as computers become ever more parallel, horizontally explicit solutions of the equations of atmospheric motion might become an attractive alternative due to the additional inter-processor communication of implicit methods. Implicit and explicit (IMEX) time-stepping schemes have long been combined in models of the atmosphere using semi-implicit, split-explicit or HEVI splitting. However, most studies of the accuracy and stability of IMEX schemes have been limited to the parabolic case of advection–diffusion equations. We demonstrate how a number of Runge–Kutta IMEX schemes can be used to solve hyperbolic wave equations either semi-implicitly or HEVI. A new form of HEVI splitting is proposed, UfPreb, which dramatically improves accuracy and stability of simulations of gravity waves in stratified flow. As a consequence it is found that there are HEVI schemes that do not lose accuracy in comparison to semi-implicit ones. The stability limits of a number of variations of trapezoidal implicit and some Runge–Kutta IMEX schemes are found and the schemes are tested on two vertical slice cases using the compressible Boussinesq equations split into various combinations of implicit and explicit terms. Some of the Runge–Kutta schemes are found to be beneficial over trapezoidal, especially since they damp high frequencies without dropping to first-order accuracy. We test schemes that are not formally accurate for stiff systems but in stiff limits (nearly incompressible) and find that they can perform well. The scheme ARK2(2,3,2) performs the best in the tests.

State practice, customary humanitarian law and civilian casualties of armed conflict

The article examines the customary international law credentials of the humanitarian law rules proposed by the International Committee of the Red Cross (ICR) in 2005. It relies on the BIICL/Chatham House analysis as a ‘constructive comment’ on the methodology of the ICRC study and the rules formed as a result of that methodology with respect to the dead and missing as an aid to determination of their customary law status. It shows that most of the rules studied have a customary international lawpedigree which conforms to the conclusions formed on the rules generally in the Wilmshurst and Breau study. However, the rules with respect to return of personal effects, recording location of graves and notification of relatives of access to gravesites do not seem to have even on a majoritarian/deductive approach enough volume of state practice to establish them as customary with respect to civilians.

On the dominance of roots of characteristic equations for neutral functional differential equations

We present a sufficient condition for a zero of a function that arises typically as the characteristic equation of a linear functional differential equations of neutral type, to be simple and dominant. This knowledge is useful in order to derive the asymptotic behaviour of solutions of such equations. A simple characteristic equation, arisen from the study of delay equations with small delay, is analyzed in greater detail. (C) 2009 Elsevier Inc. All rights reserved.

Colombeau's theory and shock wave solutions for systems of PDEs

In this article we study the existence of shock wave solutions for systems of partial differential equations of hydrodynamics with viscosity in one space dimension in the context of Colombeau's theory of generalized functions. This study uses the equality in the strict sense and the association of generalized functions (that is the weak equality). The shock wave solutions are given in terms of generalized functions that have the classical Heaviside step function as macroscopic aspect. This means that solutions are sought in the form of sequences of regularizations to the Heaviside function that have to satisfy part of the equations in the strict sense and part of the equations in the sense of association.

Cataract prevalence in Central-West region of São Paulo State, Brazil

OBJETIVO: A catarata é a principal causa tratável de cegueira e deficiência visual em países subdesenvolvidos. Este estudo foi realizado para avaliar se a catarata continua sendo uma importante causa de cegueira no centro-oeste do Estado de São Paulo. MÉTODOS: Um estudo transversal, de caráter observacional, realizado em cinco cidades da região centro-oeste do Estado de São Paulo, para as quais o centro de referência é a cidade de Botucatu. A amostra estabelecida para este estudo, de forma aleatória, seria composta por 5.555 indivíduos, sendo que foram examinados 4.229 indivíduos (8.458 olhos), ou seja, 78% da amostra pretendida. Os indivíduos foram submetidos a um exame oftalmológico completo que consistia em avaliação da acuidade visual (com e sem correção), tonometria, biomicroscopia, fundoscopia e exame refracional. O diagnóstico de catarata foi dado aos indivíduos que apresentassem opacidade de cristalino na biomicroscopia, de acordo com o Sistema de Classificação de Opacidade do Cristalino II (LOCS II). Olhos apresentando deficiência visual ou cegueira, com a melhor correção e causados por catarata, foram considerados após excluir outras patologias que pudessem causar baixa da acuidade visual (AV). Olhos com deficiência visual foram considerados quando 0,05 < AV < 0,3 e olhos cegos quando AV < 0,05. Indivíduos com deficiência visual foram considerados quando 0,05 < AV < 0,3 e indivíduos cegos quando AV < 0,3, no melhor olho com a melhor correção. Foi considerado o número de olhos com catarata, o número de olhos com deficiência visual e cegueira e o número de indivíduos com deficiência visual e cegueira. RESULTADOS: A prevalência de catarata na população estudada foi de 4,94% (209 indivíduos), afetando principalmente indivíduos com mais de 50 anos (92,34%) e do sexo feminino (61,11%). A catarata foi a causa de deficiência visual para 0,96% e a causa de cegueira para 0,52% de toda a população estudada. CONCLUSÃO: Nossos resultados mostraram que a prevalência de catarata na população estudada é semelhante aos índices de países desenvolvidos.

Phytoseiidae (Acari) in forest fragments in the State of São Paulo, Brazil

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Bose-Einstein condensation thermodynamics of a trapped gas with attractive interaction

We study the Bose-Einstein condensation of an interacting gas with attractive interaction confined in a harmonic trap using a semiclassical two-fluid mean-field model. The condensed state is described by the converged numerical solution of the Gross-Pitaevskii equation. By solving the system of coupled equations of this model iteratively we obtain the converged results for the temperature dependencies of the condensate fraction, chemical potential, and internal energy for the Bose-Einstein condensate of Li-7 atoms. (C) 2000 Elsevier B.V. B.V. All rights reserved.

Physical approximations for the nonlinear evolution of perturbations in inhomogeneous dark energy scenarios

The abundance and distribution of collapsed objects such as galaxy clusters will become an important tool to investigate the nature of dark energy and dark matter. Number counts of very massive objects are sensitive not only to the equation of state of dark energy, which parametrizes the smooth component of its pressure, but also to the sound speed of dark energy, which determines the amount of pressure in inhomogeneous and collapsed structures. Since the evolution of these structures must be followed well into the nonlinear regime, and a fully relativistic framework for this regime does not exist yet, we compare two approximate schemes: the widely used spherical collapse model and the pseudo-Newtonian approach. We show that both approximation schemes convey identical equations for the density contrast, when the pressure perturbation of dark energy is parametrized in terms of an effective sound speed. We also make a comparison of these approximate approaches to general relativity in the linearized regime, which lends some support to the approximations.

Nonlinear Schrodinger equation for a superfluid Bose gas from weak coupling to unitarity: Study of vortices

We introduce a nonlinear Schrodinger equation to describe the dynamics of a superfluid Bose gas in the crossover from the weak-coupling regime, where an(1/3)<<1 with a the interatomic s-wave scattering length and n the bosonic density, to the unitarity limit, where a ->+infinity. We call this equation the unitarity Schrodinger equation (USE). The zero-temperature bulk equation of state of this USE is parametrized by the Lee-Yang-Huang low-density expansion and Jastrow calculations at unitarity. With the help of the USE we study the profiles of quantized vortices and vortex-core radius in a uniform Bose gas. We also consider quantized vortices in a Bose gas under cylindrically symmetric harmonic confinement and study their profile and chemical potential using the USE and compare the results with those obtained from the Gross-Pitaevskii-type equations valid in the weak-coupling limit. Finally, the USE is applied to calculate the breathing modes of the confined Bose gas as a function of the scattering length.

Basins of attraction changes by amplitude constraining of oscillators with limited power supply

We investigate the dynamics of a Duffing oscillator driven by a limited power supply, such that the source of forcing is considered to be another oscillator, coupled to the first one. The resulting dynamics come from the interaction between both systems. Moreover, the Duffing oscillator is subjected to collisions with a rigid wall (amplitude constraint). Newtonian laws of impact are combined with the equations of motion of the two coupled oscillators. Their solutions in phase space display periodic (and chaotic) attractors, whose amplitudes, especially when they are too large, can be controlled by choosing the wall position in suitable ways. Moreover, their basins of attraction are significantly modified, with effects on the final state system sensitivity. (c) 2005 Elsevier Ltd. All rights reserved.