Search results for "Model theory"

showing 10 items of 681 documents

Semimodular Locally Projective Lattices of Rank 4 from v.Staudt’s Point of View

1981

We consider groups of projectivities in a certain kind of lattices called “Spaces”,also comprising the circle planes, and give theorems of v.Staudtian type, which characterize those Spaces which can be represented by a sublattice of a projective geometry of rank 4.

CombinatoricsMinkowski planeTranslation planeTangentPoint (geometry)Rank (differential topology)Type (model theory)Projective testProjective geometryMathematics
researchProduct

A non-linear Bishop–Phelps–BollobÁs type theorem

2018

CombinatoricsNonlinear systemGeneral Mathematics010102 general mathematics0103 physical sciences010307 mathematical physics0101 mathematicsType (model theory)01 natural sciencesMathematicsThe Quarterly Journal of Mathematics
researchProduct

Dissipative operators and differential equations on Banach spaces

1991

If we consider the initial value problem Inline Equation $$x'(t) = f(t,x(t)),{\text{ }}x(0) = {x_0}$$ on the real line, it is well known that one—sided bounds like Inline Equation $$\left[ {f(t,x) - f\left( {t,y} \right)} \right]\left( {x - {\text{y}}} \right) \leqslant \omega {\left( {x - y} \right)^2}$$ give much better information about the behaviour of solutions than the Lipschitz- type estimates Inline Equation $$ \left| {f\left( {t,x} \right) - f\left( {t,y} \right)} \right| \leqslant L\left| {x - y} \right|,$$ because ω, unlike L, may be negative.

CombinatoricsPhysicsFunctional analysisNuclear operatorBanach spaceDissipative operatorType (model theory)Operator theoryLp spaceC0-semigroup
researchProduct

Some Aspects of Vector-Valued Singular Integrals

2009

Let A, B be Banach spaces and \(1 < p < \infty. \; T\) is said to be a (p, A, B)- CalderoLon–Zygmund type operator if it is of weak type (p, p), and there exist a Banach space E, a bounded bilinear map \(u: E \times A \rightarrow B,\) and a locally integrable function k from \(\mathbb{R}^n \times \mathbb{R}^n \backslash \{(x, x): x \in \mathbb{R}^n\}\) into E such that $$T\;f(x) = \int u(k(x, y), f(y))dy$$ for every A-valued simple function f and \(x \notin \; supp \; f.\)

CombinatoricsPhysicsMathematics::Functional Analysissymbols.namesakeBounded functionBanach spacesymbolsLocally integrable functionFunction (mathematics)Type (model theory)Hardy spaceSingular integralWeak type
researchProduct

Type and Cotype in Vector-Valued Nakano Sequence Spaces

2001

AbstractGiven a sequence of Banach spaces {Xn}n and a sequence of real numbers {pn}n in [1,∞), the vector-valued Nakano sequence spaces ℓ({pn},{Xn}) consist of elements {xn}n in ∏nXn for which there is a constant λ>0 such that ∑n(‖xn‖/λ)pn<∞. In this paper we find the conditions on the Banach spaces Xn and on the sequence {pn}n for the spaces ℓ({pn},{Xn}) to have cotype q or type p.

CombinatoricsSequenceApplied MathematicsMathematical analysiscotypeBanach spaceType (model theory)typeConstant (mathematics)Analysisnakano sequence spaceReal numberMathematicsJournal of Mathematical Analysis and Applications
researchProduct

About Compactness of Faddeev Integral Equations for Three Charged Particles

1999

Momentum space three-body integral equations of the Faddeev type can not be used for Coulomb-like potentials, for energies above the breakup threshold. The reason is the occurrence of singularities in their kernels which destroy the compactness properties known to exist for purely short-range interactions. Using the rigorously equivalent formulation in terms of an effective-two- body theory, we prove that the nondiagonal kernels occurring therein possess on and off the energy shell only integrable singularities, provided all three particles have charges of the same sign (ie., only repulsive Coulomb interactions). In contrast, if some of the charges have opposite signs the nondiagonal kernel…

Compact spaceClassical mechanicsIntegrable systemCoulombPosition and momentum spaceGravitational singularityType (model theory)Integral equationMathematicsSign (mathematics)
researchProduct

A Lebesgue-type decomposition for non-positive sesquilinear forms

2018

A Lebesgue-type decomposition of a (non necessarily non-negative) sesquilinear form with respect to a non-negative one is studied. This decomposition consists of a sum of three parts: two are dominated by an absolutely continuous form and a singular non-negative one, respectively, and the latter is majorized by the product of an absolutely continuous and a singular non-negative forms. The Lebesgue decomposition of a complex measure is given as application.

Complex measurePure mathematicsSesquilinear formType (model theory)Lebesgue integration01 natural sciencesRegularitysymbols.namesakeSettore MAT/05 - Analisi MatematicaLebesgue decomposition0103 physical sciencesDecomposition (computer science)Complex measureFOS: Mathematics0101 mathematicsMathematicsMathematics::Functional AnalysisSingularitySesquilinear formApplied Mathematics010102 general mathematicsAbsolute continuityFunctional Analysis (math.FA)Mathematics - Functional Analysis47A07 15A63 28A12 47A12Product (mathematics)symbols010307 mathematical physicsNumerical range
researchProduct

On the ultradistributions of Beurling type

2009

Sea un conjunto abierto no vac´ýo del espacio euclideo . En este articulo se demuestra que si S es una ultradistribucion en , perteneciente a una clase de tipo Beurling que sea estable frente a operadores diferenciales, entonces S se puede representar en la formaP 2Nk0 D f , donde f es una funcion compleja definida en que es Lebesgue medible y esencialmente acotada en cada subconjunto compacto de . Tambi´en se obtienen otros resultados de estructura de ciertas ultradistribuciones.

Computational MathematicsAlgebra and Number TheoryApplied MathematicsMathematical analysisGeometry and TopologyType (model theory)HumanitiesAnalysisMathematicsRevista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas
researchProduct

On the structure of certain ultradistributions

2009

Let "o" be a nonempty open subset of the k-dimensional euclidean space Rk. In this paper we show that, if S is an ultradistribution in "o", belonging to a class of Roumieu type stable under differential operators, then there is a family f , 2 Nk 0, of elements of L1 loc("o") such that S is represented in the formP 2Nk 0 D"a"f "a". Some other results on the structure of certain ultradistributions of Roumieu type are also given.

Computational MathematicsPure mathematicsClass (set theory)Algebra and Number TheoryEuclidean spaceApplied MathematicsMathematical analysisStructure (category theory)Geometry and TopologyType (model theory)Differential operatorAnalysisMathematicsRevista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas
researchProduct

On the stability of spline-collocation methods of multivalue type

1987

In this paper the general classV of spline-collocation methods for first order systems of ordinary differential equations is investigated. The methods can in part be regarded as so-called multivalue methods. This type contains the generalized singly-implicit methods treated by Butcher.

Computer Networks and CommunicationsDifferential equationApplied MathematicsMathematical analysisStability (learning theory)Type (model theory)Computational MathematicsSpline collocationCollocation methodOrdinary differential equationApplied mathematicsFundamental Resolution EquationMultiValueSoftwareMathematicsBIT
researchProduct