Search results for "Computational Mathematic"

showing 10 items of 987 documents

Multi-valued $$F$$ F -contractions in 0-complete partial metric spaces with application to Volterra type integral equation

2013

We study the existence of fixed points for multi-valued mappings that satisfy certain generalized contractive conditions in the setting of 0-complete partial metric spaces. We apply our results to the solution of a Volterra type integral equation in ordered 0-complete partial metric spaces.

Discrete mathematicsPure mathematicsAlgebra and Number Theory0-completenepartial metric spacesApplied MathematicsInjective metric spaceclosed multi-valued mappingT-normEquivalence of metricsIntrinsic metricConvex metric spaceComputational MathematicsUniform continuityMetric spacefixed pointSettore MAT/05 - Analisi MatematicaFréchet spaceGeometry and TopologyF-contractionAnalysisMathematicsRevista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas
researchProduct

Star-polynomial identities: computing the exponential growth of the codimensions

2017

Abstract Can one compute the exponential rate of growth of the ⁎-codimensions of a PI-algebra with involution ⁎ over a field of characteristic zero? It was shown in [2] that any such algebra A has the same ⁎-identities as the Grassmann envelope of a finite dimensional superalgebra with superinvolution B. Here, by exploiting this result we are able to provide an exact estimate of the exponential rate of growth e x p ⁎ ( A ) of any PI-algebra A with involution. It turns out that e x p ⁎ ( A ) is an integer and, in case the base field is algebraically closed, it coincides with the dimension of an admissible subalgebra of maximal dimension of B.

Discrete mathematicsPure mathematicsAlgebra and Number Theory010102 general mathematicsSubalgebra010103 numerical & computational mathematicsBase field01 natural sciencesSuperalgebraExponential functionSettore MAT/02 - AlgebraExponential growthSuperinvolutionPolynomial identity Involution Superinvolution Codimensions0101 mathematicsAlgebraically closed fieldANÉIS E ÁLGEBRAS ASSOCIATIVOSMathematicsRate of growth
researchProduct

Computing generators of the tame kernel of a global function field

2006

Abstract The group K 2 of a curve C over a finite field is equal to the tame kernel of the corresponding function field. We describe two algorithms for computing generators of the tame kernel of a global function field. The first algorithm uses the transfer map and the fact that the l -torsion can easily be described if the ground field contains the l th roots of unity. The second method is inspired by an algorithm of Belabas and Gangl for computing generators of K 2 of the ring of integers in a number field. We finally give the generators of the tame kernel for some elliptic function fields.

Discrete mathematicsPure mathematicsAlgebra and Number TheoryGlobal function fieldsRoot of unityElliptic functionAlgebraic number fieldK-theoryRing of integersAlgorithmic number theoryGround fieldComputational MathematicsFinite fieldTorsion (algebra)Function fieldMathematicsJournal of Symbolic Computation
researchProduct

Polynomial codimension growth of algebras with involutions and superinvolutions

2017

Abstract Let A be an associative algebra over a field F of characteristic zero endowed with a graded involution or a superinvolution ⁎ and let c n ⁎ ( A ) be its sequence of ⁎-codimensions. In [4] , [12] it was proved that if A is finite dimensional such sequence is polynomially bounded if and only if A generates a variety not containing a finite number of ⁎-algebras: the group algebra of Z 2 and a 4-dimensional subalgebra of the 4 × 4 upper triangular matrices with suitable graded involutions or superinvolutions. In this paper we focus our attention on such algebras since they are the only finite dimensional ⁎-algebras, up to T 2 ⁎ -equivalence, generating varieties of almost polynomial gr…

Discrete mathematicsPure mathematicsAlgebra and Number TheorySubvarietySuperinvolution010102 general mathematicsSubalgebraGraded involution; Growth; Polynomial identity; SuperinvolutionTriangular matrix010103 numerical & computational mathematicsGroup algebraCodimensionPolynomial identity Graded involution Superinvolution GrowthGrowthPolynomial identity01 natural sciencesGraded involutionSettore MAT/02 - AlgebraBounded functionAssociative algebra0101 mathematicsFinite setMathematics
researchProduct

Fixed point theorems for non-self mappings in symmetric spaces under φ-weak contractive conditions and an application to functional equations in dyna…

2014

In this paper, we prove some common fixed point theorems for two pairs of non-self weakly compatible mappings enjoying common limit range property, besides satisfying a generalized phi-weak contractive condition in symmetric spaces. We furnish some illustrative examples to highlight the realized improvements in our results over the corresponding relevant results of the existing literature. We extend our main result to four finite families of mappings in symmetric spaces using the notion of pairwise commuting mappings. Finally, we utilize our results to discuss the existence and uniqueness of solutions of certain system of functional equations arising in dynamic programming.

Discrete mathematicsPure mathematicsApplied Mathematics010102 general mathematicsFixed-point theoremcommon fixed pointweakly compatible mappingSymmetric space01 natural sciences010101 applied mathematicsDynamic programmingComputational MathematicsRange (mathematics)Settore MAT/05 - Analisi MatematicaSymmetric spacePairwise comparisonLimit (mathematics)Uniqueness0101 mathematicscommon limit range propertyCoincidence pointMathematicsApplied Mathematics and Computation
researchProduct

Non-self-adjoint resolutions of the identity and associated operators

2013

Closed operators in Hilbert space defined by a non-self-adjoint resolution of the identity $$\{X(\lambda )\}_{\lambda \in {\mathbb R}}$$ , whose adjoints constitute also a resolution of the identity, are studied. In particular, it is shown that a closed operator $$B$$ has a spectral representation analogous to the familiar one for self-adjoint operators if and only if $$B=\textit{TAT}^{-1}$$ where $$A$$ is self-adjoint and $$T$$ is a bounded inverse.

Discrete mathematicsPure mathematicsApplied MathematicsHilbert spaceInverseOperator theoryMathematics::Spectral TheoryNon-self-adjoint resolution of identityFunctional Analysis (math.FA)Mathematics - Functional AnalysisComputational Mathematicssymbols.namesakeIdentity (mathematics)Operator (computer programming)Computational Theory and MathematicsSettore MAT/05 - Analisi MatematicaBounded functionsymbolsFOS: MathematicsSimilarity of operatorsSelf-adjoint operatorMathematicsResolution (algebra)
researchProduct

Lipschitz operator ideals and the approximation property

2016

[EN] We establish the basics of the theory of Lipschitz operator ideals with the aim of recovering several classes of Lipschitz maps related to absolute summability that have been introduced in the literature in the last years. As an application we extend the notion and main results on the approximation property for Banach spaces to the case of metric spaces. (C) 2015 Elsevier Inc. All rights reserved.

Discrete mathematicsPure mathematicsApproximation propertyLipschitz mappingApplied Mathematics010102 general mathematicsBanach space010103 numerical & computational mathematicsLipschitz operator idealLipschitz continuity01 natural sciencesMetric spaceOperator (computer programming)Lipschitz domainLipschitz absolutely summing operatorsMetric mapApproximation property0101 mathematicsMATEMATICA APLICADAAnalysisMathematics
researchProduct

An exact and efficient approach for computing a cell in an arrangement of quadrics

2006

AbstractWe present an approach for the exact and efficient computation of a cell in an arrangement of quadric surfaces. All calculations are based on exact rational algebraic methods and provide the correct mathematical results in all, even degenerate, cases. By projection, the spatial problem is reduced to the one of computing planar arrangements of algebraic curves. We succeed in locating all event points in these arrangements, including tangential intersections and singular points. By introducing an additional curve, which we call the Jacobi curve, we are able to find non-singular tangential intersections. We show that the coordinates of the singular points in our special projected plana…

Discrete mathematicsPure mathematicsArrangementsControl and OptimizationFunction field of an algebraic varietyAlgebraic curvesMathematicsofComputing_NUMERICALANALYSISComputational geometryComputer Science ApplicationsComputational MathematicsComputational Theory and MathematicsJacobian curveAlgebraic surfaceComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONReal algebraic geometryAlgebraic surfacesExact algebraic computationAlgebraic functionGeometry and TopologyAlgebraic curveAlgebraic numberRobustnessMathematicsSingular point of an algebraic varietyComputational Geometry
researchProduct

Derivations on a Lie Ideal

1988

AbstractIn this paper we prove the following result: let R be a prime ring with no non-zero nil left ideals whose characteristic is different from 2 and let U be a non central Lie ideal of R.If d ≠ 0 is a derivation of R such that d(u) is invertible or nilpotent for all u ∈ U, then either R is a division ring or R is the 2 X 2 matrices over a division ring. Moreover in the last case if the division ring is non commutative, then d is an inner derivation of R.

Discrete mathematicsPure mathematicsGeneral Mathematics010102 general mathematics010103 numerical & computational mathematics01 natural sciencesLie conformal algebralaw.inventionNilpotentInvertible matrixlawPrime ringDivision ringIdeal (ring theory)0101 mathematicsCommutative propertyMathematicsCanadian Mathematical Bulletin
researchProduct

A class of nilpotent Lie algebras admitting a compact subgroup of automorphisms

2017

Abstract The realification of the ( 2 n + 1 ) -dimensional complex Heisenberg Lie algebra is a ( 4 n + 2 ) -dimensional real nilpotent Lie algebra with a 2-dimensional commutator ideal coinciding with the centre, and admitting the compact algebra sp ( n ) of derivations. We investigate, in general, whether a real nilpotent Lie algebra with 2-dimensional commutator ideal coinciding with the centre admits a compact Lie algebra of derivations. This also gives us the occasion to revisit a series of classic results, with the expressed aim of attracting the interest of a broader audience.

Discrete mathematicsPure mathematicsOscillator algebra010102 general mathematicsUniversal enveloping algebra010103 numerical & computational mathematics01 natural sciencesAffine Lie algebraLie conformal algebraGraded Lie algebraNilpotent Lie algebraComputational Theory and MathematicsLie algebraCompact Lie algebraSettore MAT/03 - GeometriaGeometry and Topology0101 mathematicsCompact derivationGeneralized Kac–Moody algebraAnalysisMathematicsDifferential Geometry and its Applications
researchProduct