Analytic surgery, as defined in [9] and [6], is a one-parameter metric deformation of a Riemannian manifold M , which stretches M across a separating hypersurface H in a cylindrical fashion; the singular limit is a complete manifold with asymptotically cylindrical ends, M . In this paper, the analysis of [9] and [6] is used to study the behaviour of analytic torsion of unitary representations u...

The impact of granular microstructure on permanent magnets eddy current losses is investigated. A numerical homogenization procedure for electrical conductivity defined. Then, an approximated simple analytical model the homogenized able to capture main features geometrical and material dependences derived. Finally, analytic calculations are given, two asymptotic expressions in stationary conduc...

One of the questions frequently asked nowadays about model theory is whether it is still logic. The reason for asking the question is mainly that more and more of model theoretic research focuses on concrete mathematical fields, uses extensively their tools and attacks their inner problems. Nevertheless the logical roots in the case of model theoretic geometric stability theory are not only cle...

Aims. We present an analytic approximate seismic inversion scheme for damped transverse coronal loop oscillations based on the thin tube and thin boundary approximation for computing the period and the damping time. Methods. Asymptotic expressions for the period and damping rate are used to illustrate the process of seismological inversion in a simple and easy to follow manner. The inversion pr...

The method of continuous averaging can be regarded as a combination of the Lie method, where a change of coordinates is constructed as a shift along solutions of a differential equation and the Neishtadt method, well-known in perturbation theory for ODE in the presence of exponentially small effects. This method turns out to be very effective in the analysis of one-and multi-frequency averaging...

We prove a conjecture of [3] giving a closed form formula for the norm of the Jack polynomials in superspace with respect to a certain scalar product. The proof is mainly combinatorial and relies on the explicit expression in terms of admissible tableaux of the non-symmetric Jack polynomials. In the final step of the proof appears an identity on weighted sums of partitions that we demonstrate u...

The paper is a contribution both to the theoretical foundations and to the actual construction of efficient automatizable proof procedures for non-classical logics. We focus here on the case of finite-valued logics, and exhibit: (i) a mechanism for producing a classic-like description of them in terms of an effective variety of bivalent semantics; (ii) a mechanism for extracting, from the bival...