Search results for " Mathematica"

Surface homeomorphisms with zero dimensional singular set

1998

We prove that if f is an orientation-preserving homeomorphism of a closed orientable surface M whose singular set is totally disconnected, then f is topologically conjugate to a conformal transformation.

On the arithmetic of a family of degree-two K3 surfaces

2018

Let $\mathbb{P}$ denote the weighted projective space with weights $(1,1,1,3)$ over the rationals, with coordinates $x,y,z,$ and $w$; let $\mathcal{X}$ be the generic element of the family of surfaces in $\mathbb{P}$ given by \begin{equation*} X\colon w^2=x^6+y^6+z^6+tx^2y^2z^2. \end{equation*} The surface $\mathcal{X}$ is a K3 surface over the function field $\mathbb{Q}(t)$. In this paper, we explicitly compute the geometric Picard lattice of $\mathcal{X}$, together with its Galois module structure, as well as derive more results on the arithmetic of $\mathcal{X}$ and other elements of the family $X$.

Multiscale modeling of polycrystalline materials: A boundary element approach to material degradation and fracture

2015

Abstract In this work, a two-scale approach to degradation and failure in polycrystalline materials is proposed. The formulation involves the engineering component level (macro-scale) and the material grain level (micro-scale). The macro-continuum is modeled using a three-dimensional boundary element formulation in which the presence of damage is formulated through an initial stress approach to account for the local softening in the neighborhood of points experiencing degradation at the micro-scale. The microscopic degradation is explicitly modeled by associating Representative Volume Elements (RVEs) to relevant points of the macro continuum, for representing the polycrystalline microstruct…

Dirac physical measures for generic diffeomorphisms

2016

We prove that, for a $C^1$ generic diffeomorphism, the only Dirac physical measures with dense statistical basin are those supported on sinks.

On the propagation of a perturbation in an anharmonic system

2007

We give a not trivial upper bound on the velocity of disturbances in an infinitely extended anharmonic system at thermal equilibrium. The proof is achieved by combining a control on the non equilibrium dynamics with an explicit use of the state invariance with respect to the time evolution.

Epistemic and didactic values of the demonstrative process in different cultures: a case study in Geometry with Chinese and Italian students

2011

Analytically solvable Hamiltonians for quantum two-level systems and their dynamics

2014

A simple systematic way of obtaining analytically solvable Hamiltonians for quantum two-level systems is presented. In this method, a time-dependent Hamiltonian and the resulting unitary evolution operator are connected through an arbitrary function of time, furnishing us with new analytically solvable cases. The method is surprisingly simple, direct, and transparent and is applicable to a wide class of two-level Hamiltonians with no involved constraint on the input function. A few examples illustrate how the method leads to simple solvable Hamiltonians and dynamics.

Extension theory and the calculus of butterflies

2016

Abstract This paper provides a unified treatment of two distinct viewpoints concerning the classification of group extensions: the first uses weak monoidal functors, the second classifies extensions by means of suitable H 2 -actions. We develop our theory formally, by making explicit a connection between (non-abelian) G-torsors and fibrations. Then we apply our general framework to the classification of extensions in a semi-abelian context, by means of butterflies [1] between internal crossed modules. As a main result, we get an internal version of Dedecker's theorem on the classification of extensions of a group by a crossed module. In the semi-abelian context, Bourn's intrinsic Schreier–M…

Trace and density results on regular trees

2019

We give characterizations for the existence of traces for first order Sobolev spaces defined on regular trees.

Local maximal operators on fractional Sobolev spaces

2016

In this note we establish the boundedness properties of local maximal operators MG on the fractional Sobolev spaces Ws;p(G) whenever G is an open set in Rn, 0 < s < 1 and 1 < p < 1. As an application, we characterize the fractional (s;p)-Hardy inequality on a bounded open set by a Maz'ya-type testing condition localized to Whitney cubes. pq(G) whenever G is an open set in R n , 0 < s < 1 and 1 < p;q <1. Our main focus lies in the mapping properties of MG on a fractional Sobolev space W s;p (G) with 0 < s < 1 and 1 < p < 1, see Section 2 for the denition or (3) for a survey of this space. The intrinsically dened function space W s;p (G) on a given domain G coincides with the trace space F s …