Search results for "model theory"

showing 10 items of 681 documents

Logarithmic bundles of deformed Weyl arrangements of type $A_2$

2016

We consider deformations of the Weyl arrangement of type $A_2$, which include the extended Shi and Catalan arrangements. These last ones are well-known to be free. We study their sheaves of logarithmic vector fields in all other cases, and show that they are Steiner bundles. Also, we determine explicitly their unstable lines. As a corollary, some counter-examples to the shift isomorphism problem are given.

Pure mathematicsLogarithmic sheavesLogarithmMSC: 52C35 14F05 32S22General Mathematics010102 general mathematicsType (model theory)Weyl arrangements01 natural sciences[ MATH.MATH-AG ] Mathematics [math]/Algebraic Geometry [math.AG]Mathematics - Algebraic GeometryComputer Science::GraphicsCorollary0103 physical sciencesFOS: Mathematics010307 mathematical physicsIsomorphism[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]0101 mathematicsRoot systemsLine arrangementsMSC 52C35 14F05 32S22Algebraic Geometry (math.AG)Mathematics
researchProduct

Holomorphic mappings of bounded type

1992

Abstract For a Banach space E, we prove that the Frechet space H b(E) is the strong dual of an (LB)-space, B b(E), which leads to a linearization of the holomorphic mappings of bounded type. It is also shown that the holomorphic functions defined on (DFC)-spaces are of uniformly bounded type.

Pure mathematicsMathematics::Complex VariablesApplied MathematicsHolomorphic functional calculusMathematical analysisHolomorphic functionBanach spaceType (model theory)Bounded typeLinearizationFréchet spaceUniform boundednessAnalysisMathematicsJournal of Mathematical Analysis and Applications
researchProduct

Königs eigenfunction for composition operators on Bloch and H∞ type spaces

2017

Abstract We discuss when the Konigs eigenfunction associated with a non-automorphic selfmap of the complex unit disc that fixes the origin belongs to Banach spaces of holomorphic functions of Bloch and H ∞ type. In the latter case, our characterization answers a question of P. Bourdon. Some spectral properties of composition operators on H ∞ for unbounded Konigs eigenfunction are obtained.

Pure mathematicsMathematics::Complex VariablesComposition operatorApplied Mathematics010102 general mathematicsMathematical analysisBanach spaceHolomorphic functionComposition (combinatorics)EigenfunctionType (model theory)Characterization (mathematics)01 natural sciences010101 applied mathematicsComputer Science::Discrete Mathematics0101 mathematicsUnit (ring theory)AnalysisMathematicsJournal of Mathematical Analysis and Applications
researchProduct

Stabilization of heterodimensional cycles

2011

We consider diffeomorphisms $f$ with heteroclinic cycles associated to saddles $P$ and $Q$ of different indices. We say that a cycle of this type can be stabilized if there are diffeomorphisms close to $f$ with a robust cycle associated to hyperbolic sets containing the continuations of $P$ and $Q$. We focus on the case where the indices of these two saddles differ by one. We prove that, excluding one particular case (so-called twisted cycles that additionally satisfy some geometrical restrictions), all such cycles can be stabilized.

Pure mathematicsMathematics::Dynamical Systems37C29 37D20 37D30Applied MathematicsFOS: MathematicsGeneral Physics and AstronomyStatistical and Nonlinear PhysicsDynamical Systems (math.DS)Mathematics - Dynamical SystemsType (model theory)Focus (optics)Mathematical PhysicsMathematicsNonlinearity
researchProduct

The asymptotic behavior of the solutions of the Cauchy problem generated by ϕ-accretive operators

2005

Abstract The purpose of this paper is to study the asymptotic behavior of the solutions of certain type of differential inclusions posed in Banach spaces. In particular, we obtain the abstract result on the asymptotic behavior of the solution of the boundary value problem { u t − Δ p ( u ) + | u | γ − 1 u = f on  ] 0 , ∞ [ × Ω , − ∂ u ∂ η ∈ β ( u ) on  [ 0 , ∞ [ × ∂ Ω , u ( 0 , x ) = u 0 ( x ) in  Ω , where Ω is a bounded open domain in R n with smooth boundary ∂Ω, f ( t , x ) is a given L 1 -function on ] 0 , ∞ [ × Ω , γ ⩾ 1 and 1 ⩽ p ∞ . Δ p represents the p-Laplacian operator, ∂ ∂ η is the associated Neumann boundary operator and β a maximal monotone graph in R × R with 0 ∈ β ( 0 ) .

Pure mathematicsMonotone polygonBounded functionApplied MathematicsMathematical analysisBanach spaceInitial value problemBoundary (topology)Boundary value problemFunction (mathematics)Type (model theory)AnalysisMathematicsJournal of Mathematical Analysis and Applications
researchProduct

Maximal regularity via reverse Hölder inequalities for elliptic systems of n-Laplace type involving measures

2008

In this note, we consider the regularity of solutions of the nonlinear elliptic systems of n-Laplacian type involving measures, and prove that the gradients of the solutions are in the weak Lebesgue space Ln,∞. We also obtain the a priori global and local estimates for the Ln,∞-norm of the gradients of the solutions without using BMO-estimates. The proofs are based on a new lemma on the higher integrability of functions.

Pure mathematicsNonlinear systemLemma (mathematics)Laplace transformElliptic systemsGeneral MathematicsMathematical analysisMathematicsofComputing_NUMERICALANALYSISStandard probability spaceA priori and a posterioriType (model theory)Mathematical proofMathematics
researchProduct

Bismut's Way of the Malliavin Calculus for Elliptic Pseudodifferential Operators on a Lie Group

2018

We give an adaptation of the Malliavin Calculus of Bismut type for a semi-group generated by a right-invariant elliptic pseudodifferential operator on a Lie group.

Pure mathematicsOperator (computer programming)Mathematics::ProbabilityMathematics::K-Theory and HomologyPseudodifferential operatorsLie group[MATH]Mathematics [math]Type (model theory)Malliavin calculusComputingMilieux_MISCELLANEOUSMathematicsSSRN Electronic Journal
researchProduct

Continuous numerical solutions of coupled mixed partial differential systems using Fer's factorization

1999

In this paper continuous numerical solutions expressed in terms of matrix exponentials are constructed to approximate time-dependent systems of the type ut A(t)uxx B(t)u=0; 0 0, u(0;t)=u(p;t)=0; u(x;0)=f(x);06 x6p. After truncation of an exact series solution, the numerical solution is constructed using Fer’s factorization. Given >0 and t0;t1; with 0<t0<t1 and D(t0;t1)=f(x;t); 06x6p; t06t6t1g the error of the approximated solution with respect to the exact series solution is less than uniformly in D(t0;t1). An algorithm is also included. c 1999 Elsevier Science B.V. All rights reserved. AMS classication: 65M15, 34A50, 35C10, 35A50

Pure mathematicsPartial differential equationSeries (mathematics)TruncationApplied MathematicsMixed time-dependent partial differential systemsType (model theory)Fer's factorizationExponential functionAlgorithmCombinatoricsComputational MathematicsMatrix (mathematics)Accurate solutionFactorizationPartial derivativeA priori error boundsMathematicsJournal of Computational and Applied Mathematics
researchProduct

Generalized Hake property for integrals of Henstock type

2013

An integral of Henstock-Kurzweil type is considered relative to an abstract differential basis in a topological space. It is shown that under certain conditions posed onto the basis this integral satisfies the generalized Hake property.

Pure mathematicsProperty (philosophy)HakeBasis (linear algebra)Settore MAT/05 - Analisi MatematicaGeneral MathematicsMathematical analysisMathematics::Classical Analysis and ODEsTopological spaceType (model theory)Hake propertyDifferential (mathematics)Mathematics
researchProduct

Pseudodifferential operators on non-quasianalytic classes of Beurling type

2005

Pure mathematicsPseudodifferential operatorsGeneral MathematicsType (model theory)MathematicsStudia Mathematica
researchProduct