Search results for " Mathematica"
showing 10 items of 689 documents
Formations of finite monoids and formal languages: Eilenberg’s variety theorem revisited
2014
International audience; We present an extension of Eilenberg's variety theorem, a well-known result connecting algebra to formal languages. We prove that there is a bijective correspondence between formations of finite monoids and certain classes of languages, the formations of languages. Our result permits to treat classes of finite monoids which are not necessarily closed under taking submonoids, contrary to the original theory. We also prove a similar result for ordered monoids.; Nous présentons une extension du théorème des variétés d'Eilenberg, un résultat célèbre reliant l'algèbre à la théorie des langages formels. Nous montrons qu'il existe une correspondance bijective entre les form…
Uniqueness of positive solutions to some nonlinear Neumann problems
2017
Abstract Using the moving plane method, we obtain a Liouville type theorem for nonnegative solutions of the Neumann problem { div ( y a ∇ u ( x , y ) ) = 0 , x ∈ R n , y > 0 , lim y → 0 + y a u y ( x , y ) = − f ( u ( x , 0 ) ) , x ∈ R n , under general nonlinearity assumptions on the function f : R → R for any constant a ∈ ( − 1 , 1 ) .
Multiprojective spaces and the arithmetically Cohen-Macaulay property
2019
AbstractIn this paper we study the arithmetically Cohen-Macaulay (ACM) property for sets of points in multiprojective spaces. Most of what is known is for ℙ1× ℙ1and, more recently, in (ℙ1)r. In ℙ1× ℙ1the so called inclusion property characterises the ACM property. We extend the definition in any multiprojective space and we prove that the inclusion property implies the ACM property in ℙm× ℙn. In such an ambient space it is equivalent to the so-called (⋆)-property. Moreover, we start an investigation of the ACM property in ℙ1× ℙn. We give a new construction that highlights how different the behavior of the ACM property is in this setting.
Universal differentiability sets and maximal directional derivatives in Carnot groups
2019
We show that every Carnot group G of step 2 admits a Hausdorff dimension one `universal differentiability set' N such that every real-valued Lipschitz map on G is Pansu differentiable at some point of N. This relies on the fact that existence of a maximal directional derivative of f at a point x implies Pansu differentiability at the same point x. We show that such an implication holds in Carnot groups of step 2 but fails in the Engel group which has step 3.
Uniform estimates for the local restriction of the Fourier transform to curves
2013
We prove sharp estimates, with respect to the ane arclength measure, for the restriction of the Fourier transform to a class of curves in R^d that includes curves of nite type. This measure possesses certain invariance and mitigation properties which are important in establishing uniform results. Peer reviewed
Integrability via Reversibility
2017
Abstract A class of left-invariant second order reversible systems with functional parameter is introduced which exhibits the phenomenon of robust integrability: an open and dense subset of the phase space is filled with invariant tori carrying quasi-periodic motions, and this behavior persists under perturbations within the class. Real-analytic volume preserving systems are found in this class which have positive Lyapunov exponents on an open subset, and the complement filled with invariant tori.
Self-affine sets with fibered tangents
2016
We study tangent sets of strictly self-affine sets in the plane. If a set in this class satisfies the strong separation condition and projects to a line segment for sufficiently many directions, then for each generic point there exists a rotation $\mathcal O$ such that all tangent sets at that point are either of the form $\mathcal O((\mathbb R \times C) \cap B(0,1))$, where $C$ is a closed porous set, or of the form $\mathcal O((\ell \times \{ 0 \}) \cap B(0,1))$, where $\ell$ is an interval.
On a generalisation of Krein's example
2017
We generalise a classical example given by Krein in 1953. We compute the difference of the resolvents and the difference of the spectral projections explicitly. We further give a full description of the unitary invariants, i.e., of the spectrum and the multiplicity. Moreover, we observe a link between the difference of the spectral projections and Hankel operators.
𝔸1-contractibility of affine modifications
2019
We introduce Koras–Russell fiber bundles over algebraically closed fields of characteristic zero. After a single suspension, this exhibits an infinite family of smooth affine [Formula: see text]-contractible [Formula: see text]-folds. Moreover, we give examples of stably [Formula: see text]-contractible smooth affine [Formula: see text]-folds containing a Brieskorn–Pham surface, and a family of smooth affine [Formula: see text]-folds with a higher-dimensional [Formula: see text]-contractible total space.
On the slope of hyperelliptic fibrations with positive relative irregularity
2016
Let $f:\, S \to B$ be a locally non-trivial relatively minimal fibration of hyperelliptic curves of genus $g\geq 2$ with relative irregularity $q_f$. We show a sharp lower bound on the slope $\lambda_f$ of $f$. As a consequence, we prove a conjecture of Barja and Stoppino on the lower bound of $\lambda_f$ as an increasing function of $q_f$ in this case, and we also prove a conjecture of Xiao on the ampleness of the direct image of the relative canonical sheaf if $\lambda_f<4$.