Search
Now showing items 11-20 of 36
One-dimensional singular problems involving the p-Laplacian and nonlinearities indefinite in sign
(2016)
Let Ω be a bounded open interval, let p > 1 and γ >, and let m : Ω → ℝ be a function that may change sign in Ω. In this article we study the existence and nonexistence of positive solutions for one-dimensional singular ...
Spectra of lens spaces from 1-norm spectra of congruence lattices
(2016)
To every n-dimensional lens space L, we associate a congruence lattice L in Zm, with n = 2m−1 and we prove a formula relating the multiplicities of Hodge-Laplace eigenvalues on L with the number of lattice elements of a ...
Proving correctness of a compiler using step-indexed logical relations
(2016)
In this paper we prove the correctness of a compiler for a call-by-name language using step-indexed logical relations and biorthogonality. The source language is an extension of the simply typed lambda-calculus with ...
Localization of the valence electron of endohedrally confined hydrogen, lithium and sodium in fullerene cages
(2016)
The localization of the valence electron of H, Li and N a atoms enclosed by three different fullerene molecules is studied. The structure of the fullerene molecules is used to calculate the equilibrium position of the ...
Molecular dissociation in presence of a catalyst : II. The bond breaking role of the transition from virtual to localized states
(2016)
We address a molecular dissociation mechanism that is known to occur when a H 2 molecule approaches a catalyst with its molecular axis parallel to the surface. It is found that molecular dissociation is a form of quantum ...
Non-strongly isospectral spherical space forms
(2016)
In this paper we describe recent results on explicit construction of lens spaces that are not strongly isospectral, yet they are isospectral on p-forms for every p. Such examples cannot be obtained by the Sunada method. ...
Decay bounds for nonlocal evolution equations in Orlicz spaces
(2016)
We show decay bounds of the form ∫Rd φ(u (x, t)) dx ≤ Ct−μ for integrable and bounded solutions to the nonlocal evolution equation ut(x, t) = ∫Rd J(x, y)G(u(y, t) − u(x, t))(u(y, t) − u(x, t)) dy + f (u(x, t)). Here G is ...
Nucleation and growth mechanisms in Cu-Co films
(2016)
Nucleation and growth mechanisms in Co, Cu, and CoxCu100-x single films, and in CoxCu100-x/Cu bilayers, electrodeposited on Cu70Zn30 brass substrates, are studied by the constant potential technique. The recorded current-time ...
Recent developments in GEANT 4
(2016)
GEANT4 is a software toolkit for the simulation of the passage of particles through matter. It is used by a large number of experiments and projects in a variety of application domains, including high energy physics, ...
Inequality between size and charge in spherical symmetry
(2016)
We prove that, for a charged spherically symmetric body, twice the radius is always strictly greater than the charge of the body. We also prove that this inequality is sharp. Finally, we discuss the physical implications ...