Search results for "model theory"

showing 10 items of 681 documents

Selective versions of chain condition-type properties

2015

We study selective and game-theoretic versions of properties like the ccc, weak Lindel\"ofness and separability, giving various characterizations of them and exploring connections between these properties and some classical cardinal invariants of the continuum.

Pure mathematicsRothberger spaceGeneral MathematicsMathematics::General TopologyType (model theory)01 natural sciencesChain (algebraic topology)FOS: Mathematicstopological games0101 mathematicsMathematics - General TopologyMathematicsDiscrete mathematicsContinuum (topology)010102 general mathematicsGeneral Topology (math.GN)TEORIA DOS JOGOSMathematics - Logic16. Peace & justice010101 applied mathematicsMathematics::LogicPrimary: 54A25 03E17 91A44 Secondary: 54D35 54D10selection principlescardinal inequalitiesLogic (math.LO)Chain conditionsActa Mathematica Hungarica
researchProduct

From Resolvent Estimates to Semigroup Bounds

2019

In Chap. 10 we saw a concrete example of how to get resolvent bounds from semigroup bounds. Naturally, one can go in the opposite direction and in this chapter we discuss some abstract results of that type, including the Hille–Yoshida and Gearhardt–Pruss–Hwang–Greiner theorems. As for the latter, we also give a result of Helffer and the author that provides a more precise bound on the semigroup.

Pure mathematicsSemigroupType (model theory)MathematicsResolvent
researchProduct

An isoperimetric type problem for primitive Pythagorean hodograph curves

2012

An isoperimetric type problem for primitive Pythagorean hodograph curves is studied. We show how to compute, for each possible degree, the Pythagorean hodograph curve of a given perimeter enclosing the greatest area. We also discuss the existence and construction of smooth solutions, obtaining a relationship with an interesting sequence of Appell polynomials.

Pure mathematicsSequenceDegree (graph theory)Mathematics::General MathematicsMathematical analysisAerospace EngineeringPythagorean fieldType (model theory)Computer Graphics and Computer-Aided DesignPythagorean hodographNonlinear Sciences::Exactly Solvable and Integrable SystemsModeling and SimulationPythagorean tripleAutomotive EngineeringIsoperimetric inequalityMathematicsComputer Aided Geometric Design
researchProduct

Multipliers on Vector Valued Bergman Spaces

2002

AbstractLet X be a complex Banach space and let Bp(X) denote the vector-valued Bergman space on the unit disc for 1 ≤ p < ∞. A sequence (Tn)n of bounded operators between two Banach spaces X and Y defines a multiplier between Bp(X) and Bq(Y) (resp. Bp(X) and lq(Y)) if for any function we have that belongs to Bq(Y) (resp. (Tn(xn))n ∈ lq(Y)). Several results on these multipliers are obtained, some of them depending upon the Fourier or Rademacher type of the spaces X and Y. New properties defined by the vector-valued version of certain inequalities for Taylor coefficients of functions in Bp(X) are introduced.

Pure mathematicsSequenceGeneral Mathematics010102 general mathematicsBanach spaceFunction (mathematics)Type (model theory)01 natural sciencesMultiplier (Fourier analysis)Bergman spaceBounded function0103 physical sciences010307 mathematical physics0101 mathematicsUnit (ring theory)MathematicsCanadian Journal of Mathematics
researchProduct

Some representation theorems for sesquilinear forms

2016

The possibility of getting a Radon-Nikodym type theorem and a Lebesgue-like decomposition for a non necessarily positive sesquilinear $\Omega$ form defined on a vector space $\mathcal D$, with respect to a given positive form $\Theta$ defined on $\D$, is explored. The main result consists in showing that a sesquilinear form $\Omega$ is $\Theta$-regular, in the sense that it has a Radon-Nikodym type representation, if and only if it satisfies a sort Cauchy-Schwarz inequality whose right hand side is implemented by a positive sesquilinear form which is $\Theta$-absolutely continuous. In the particular case where $\Theta$ is an inner product in $\mathcal D$, this class of sesquilinear form cov…

Pure mathematicsSesquilinear formType (model theory)01 natural sciencessymbols.namesakeOperator (computer programming)FOS: Mathematics0101 mathematicsMathematicsMathematics::Functional AnalysisSesquilinear formMathematics::Operator AlgebrasApplied Mathematics010102 general mathematicsHilbert spaceHilbert spaceAnalysiPositive formFunctional Analysis (math.FA)010101 applied mathematicsMathematics - Functional AnalysisProduct (mathematics)symbolsOperatorAnalysisSubspace topologyVector space
researchProduct

Functorial Test Modules

2016

In this article we introduce a slight modification of the definition of test modules which is an additive functor $\tau$ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual definition of test modules. Furthermore, we show that for a smooth morphism $f \colon X \to Y$ of $F$-finite schemes one has a natural isomorphism $f^! \circ \tau \cong \tau \circ f^!$. If $f$ is quasi-finite and of finite type we construct a natural transformation $\tau \circ f_* \to f_* \circ \tau$.

Pure mathematicsSmooth morphismAlgebra and Number TheoryFunctor13A35 (Primary) 14F10 14B05 (Secondary)010102 general mathematicsType (model theory)Mathematics - Commutative AlgebraCommutative Algebra (math.AC)01 natural sciencesMathematics - Algebraic GeometryTransformation (function)0103 physical sciencesNatural transformationFOS: Mathematics010307 mathematical physics0101 mathematicsAlgebraic Geometry (math.AG)Mathematics
researchProduct

Sign-indefinite second order differential operators on finite metric graphs

2012

The question of self-adjoint realizations of sign-indefinite second order differential operators is discussed in terms of a model problem. Operators of the type $-\frac{d}{dx} \sgn (x) \frac{d}{dx}$ are generalized to finite, not necessarily compact, metric graphs. All self-adjoint realizations are parametrized using methods from extension theory. The spectral and scattering theory of the self-adjoint realizations are studied in detail.

Pure mathematicsSpectral theoryScatteringOrder (ring theory)FOS: Physical sciencesStatistical and Nonlinear PhysicsMathematical Physics (math-ph)Type (model theory)Mathematics::Spectral TheoryDifferential operator34B45 (Primary) 47B25 34L05 35P20 35P25 81U15 (Secondary)Mathematics - Spectral TheoryMetric (mathematics)FOS: MathematicsScattering theorySpectral Theory (math.SP)Mathematical PhysicsMathematicsSign (mathematics)
researchProduct

Neumann p-Laplacian problems with a reaction term on metric spaces

2020

We use a variational approach to study existence and regularity of solutions for a Neumann p-Laplacian problem with a reaction term on metric spaces equipped with a doubling measure and supporting a Poincare inequality. Trace theorems for functions with bounded variation are applied in the definition of the variational functional and minimizers are shown to satisfy De Giorgi type conditions.

Pure mathematicsTrace (linear algebra)Applied MathematicsGeneral Mathematics010102 general mathematicsPoincaré inequalityType (model theory)p-Laplacian operator Measure metric spaces Minimalp-weak upper gradient Minimizer01 natural sciencesMeasure (mathematics)010305 fluids & plasmasTerm (time)symbols.namesakeMetric spaceSettore MAT/05 - Analisi Matematica0103 physical sciencesBounded variationsymbolsp-Laplacian0101 mathematicsMathematics
researchProduct

Irreducibility of Hurwitz spaces of coverings with one special fiber and monodromy group a Weyl group of type D d

2007

Let Y be a smooth, connected, projective complex curve. In this paper, we study the Hurwitz spaces which parameterize branched coverings of Y whose monodromy group is a Weyl group of type D d and whose local monodromies are all reflections except one. We prove the irreducibility of these spaces when $$Y \simeq \mathbb {P}^{1}$$ and successively we extend the result to curves of genus g ≥  1.

Pure mathematicsWeyl groupGroup (mathematics)General MathematicsHurwitz spaces special fiber Weyl group of type D_dAlgebraic geometryType (model theory)Algebrasymbols.namesakeMathematics::Algebraic GeometryNumber theoryMonodromyGenus (mathematics)symbolsIrreducibilityMathematicsmanuscripta mathematica
researchProduct

Anomalous Anosov flows revisited

2017

This paper is devoted to higher dimensional Anosov flows and consists of two parts. In the first part, we investigate fiberwise Anosov flows on affine torus bundles which fiber over 3-dimensional Anosov flows. We provide a dichotomy result for such flows --- they are either suspensions of Anosov diffeomorphisms or the stable and unstable distributions have equal dimensions. In the second part, we give a new surgery type construction of Anosov flows, which yields non-transitive Anosov flows in all odd dimensions.

Pure mathematicsdiffeomorphismsMathematics::Dynamical Systems37D30Fiber (mathematics)General Mathematics010102 general mathematics37D30 (primary)TorusGeometric Topology (math.GT)Dynamical Systems (math.DS)Type (model theory)01 natural sciencesMathematics::Geometric TopologyPhysics::Fluid DynamicsMathematics - Geometric Topology0103 physical sciencesFOS: Mathematics010307 mathematical physicsAffine transformation0101 mathematics[MATH]Mathematics [math]Mathematics - Dynamical SystemsMathematics::Symplectic GeometryMathematics
researchProduct