We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisimulations, following the work of Sumii and Pierce [25, 26] and our own [14]. Using our method we were able to prove equivalence in more complex examples than the ones of Gordon, Hankin and Lassen [7] and Gordon and Ree...

We describe and characterize rigorously the homoclinic structure of the perturbed sine{ Gordon equation under periodic boundary conditions. The existence of invariant manifolds for a perturbed sine{Gordon equation is established. Mel'nikov method, together with geometric analysis are used to assess the persistence of the homoclinic orbits under bounded and time-periodic perturbations.

We consider the Klein-Gordon equation on a star-shaped network composed of n half-axes connected at their origins. We add a potential which is constant but different on each branch. Exploiting a spectral theoretic solution formula from a previous paper, we study the L∞-time decay via Hörmander’s version of the stationary phase method. We analyze the coefficient c of the leading term c ·t−1/2 of...

We review the analytic methods used to perform the post-Newtonian expansion of gravitational waves induced by a particle orbiting a massive, compact body, based on black hole perturbation theory. There exist two different methods of performing the post-Newtonian expansion. Both are based on the Teukolsky equation. In one method, the Teukolsky equation is transformed into a Regge-Wheeler type eq...

We give an explicit construction of a positive-definite invariant inner-product for the Klein-Gordon fields, thus solving the old problem of the probability interpretation of Klein-Gordon fields without having to restrict to the subspaces of the positivefrequency solutions. Our method has a much wider domain of application and may be used to obtain the most general invariant inner-product on th...

Abstract: In this paper, differential transform method (DTM) is applied to the sine-Gordon equation which arise in differential geometry, propagation of magnetic flux, stability of fluid motions, nonlinear physics and applied sciences. The method can easily be applied to many linear and non-linear problems and is capable of reducing the size of computational task. Exact solutions can also be ac...