Nonlinear stability of incoherence and collective synchronization in a population of coupled oscillators

A mean-field model of nonlinearly coupled oscillators with randomly distributed frequencies and subject to independent external white noises is analyzed in the thermodynamic limit. When the frequency distribution isbimodal, new results include subcritical spontaneous stationary synchronization of the oscillators, supercritical time-periodic synchronization, bistability, and hysteretic phenomena. Bifurcating synchronized states are asymptotically constructed near bifurcation values of the coupling strength, and theirnonlinear stability properties ascertained.     

Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently

Logic programming languages, such asProlog, allow a declarative specification of Constraint Satisfaction Problems (CSPs), freeing the user from specifying more or less complex control directives. However, the price to pay for such flexibility is a loss of efficiency, which makes Logic Programming inadequate to solve CSPs of even moderate size and complexity. To extend the range of applicability of logic programming, several improvements have been proposed. The use of heuristics is one such improvement. Although this usually forces the user to specify some form of control (thus abandoning the pure declarative nature of a logic program), these specifications can be made declarative by making use of some appropriate meta-predicates. Another extension to logic programming that improves its efficiency, is the active use of constraints, as done in the various formulations of constraint logic programming languages. In particular, the use of finite domains is quite adequate to implement look-ahead schemes to efficiently solve several types of CSPs. In this paper, we discuss the complementary nature of heuristics and look-ahead schemes and present a constraint logic programming framework that integrates both these techniques. Results obtained with a time-tabling problem executed on a prototype that implements such a framework are presented, and show that significant efficiency improvements can be achieved when compared with the separate use of the two techniques.     

Cosmological models in the scalar-tetradic theory B

We present two methods for solving the cosmological equations of the scalar-tetradic theory B [19] when a Friedmann-Robertson-Walker (FRW) geometry is assumed. Among the many solutions found there are several physically meaningful ones including inflationary universe solutions.     

Exact and approximate solutions to the Schrödinger equation for the harmonic oscillator with a singular perturbation

I obtain exact solutions for the quantum-mechanical harmonic oscillator with a perturbation potential which belongs to a class of polynomial functions of 1/r. I show that some of the eigenfunctions enable the calculation of expectation values in closed form and are therefore suitable trial functions for the application of the variational method to related nonsolvable problems.     

Boundaries for algebras of holomorphic functions

Let A_u(B_G) be the Banach algebra of all complex valued functions defined on the closed unit ball B_G of a complex Banach space G which are uniformly continuous on B_G and holomorphic in the interior of B_G, endowed with the sup norm. A characterization of the boundaries for A_u(B_G) is given in case G belongs to a class of Banach spaces that includes the pre-dual of a Lorentz sequence space studied by Gowers in Israel J. Math. 69 (1990) 129-151. The non-existence of the Shilov boundary for A_u(B_G) is also proved.     

An analytical proof of Hardy-like inequalities related to the Dirac operator

We prove some sharp Hardy-type inequalities related to the Dirac operator by elementary, direct methods. Some of these inequalities have been obtained previously using spectral information about the Dirac-Coulomb operator. Our results are stated under optimal conditions on the asymptotics of the potentials near zero and near infinity.