Search results for "Mathematica"

showing 10 items of 7971 documents

Pappus type theorems for hypersurfaces in a space form

2002

In order to get further insight on the Weyl’s formula for the volume of a tubular hypersurface, we consider the following situation. Letc(t) be a curve in a space formM λ n of sectional curvature λ. LetP 0 be a totally geodesic hypersurface ofM λ n throughc(0) and orthogonal toc(t). LetC 0 be a hypersurface ofP 0. LetC be the hypersurface ofM λ n obtained by a motion ofC 0 alongc(t). We shall denote it byC PorC Fif it is obtained by a parallel or Frenet motion, respectively. We get a formula for volume(C). Among other consequences of this formula we get that, ifc(0) is the centre of mass ofC 0, then volume(C) ≥ volume(C),P),and the equality holds whenC 0 is contained in a geodesic sphere or…

Pure mathematicsGeodesic domeGeneral MathematicsFrenet–Serret formulasMathematical analysisSpace formMotion (geometry)law.inventionHypersurfaceHyperplanelawOrder (group theory)Mathematics::Differential GeometrySectional curvatureMathematicsIsrael Journal of Mathematics
researchProduct

Morse-Smale index theorems for elliptic boundary deformation problems.

2012

AbstractMorse-type index theorems for self-adjoint elliptic second order boundary value problems arise as the second variation of an energy functional corresponding to some variational problem. The celebrated Morse index theorem establishes a precise relation between the Morse index of a geodesic (as critical point of the geodesic action functional) and the number of conjugate points along the curve. Generalization of this theorem to linear elliptic boundary value problems appeared since seventies. (See, for instance, Smale (1965) [12], Uhlenbeck (1973) [15] and Simons (1968) [11] among others.) The aim of this paper is to prove a Morse–Smale index theorem for a second order self-adjoint el…

Pure mathematicsGeodesicApplied MathematicsMathematical analysisMixed boundary conditionSpectral flow Maslov index Index Theory Elliptic boundary value problemsElliptic boundary value problemsElliptic boundary value problemElliptic boundary deformation problemMaslov indexNeumann boundary conditionFree boundary problemSpectral flowElliptic boundary deformation problemsIndex TheoryBoundary value problemAtiyah–Singer index theoremAnalysisEnergy functionalMathematics
researchProduct

A metric characterization of Carnot groups

2013

We give a short axiomatic introduction to Carnot groups and their subRiemannian and subFinsler geometry. We explain how such spaces can be metrically described as exactly those proper geodesic spaces that admit dilations and are isometrically homogeneous.

Pure mathematicsGeodesicGeneral MathematicsApplied MathematicsMathematical analysisMetric Geometry (math.MG)Characterization (mathematics)symbols.namesakeMathematics - Metric GeometryHomogeneousCarnot groupsMetric (mathematics)symbolsFOS: MathematicsMathematics (all)Mathematics::Metric GeometryMathematics::Differential GeometrySubRiemannian geometryCarnot cycleCarnot groups; SubRiemannian geometry; Mathematics (all); Applied MathematicsAxiomMathematics
researchProduct

The volume of geodesic balls and tubes about totally geodesic submanifolds in compact symmetric spaces

1997

AbstractLet M be a compact Riemannian symmetric space. We give an analytical expression for the area and volume functions of geodesic balls in M and for the area and volume functions of tubes around some totally geodesic submanifolds P of M. We plot the graphs of these functions for some compact irreducible Riemannian symmetric spaces of rank two.

Pure mathematicsGeodesictube53C21.Mathematical analysisGeodesic mapgeodesic balltotally geodesic submanifold.53C35Computational Theory and MathematicsSymmetric spaceTotally geodesicMathematics::Differential GeometryGeometry and TopologyCompact Riemannian symmetric spaceminimal focal distancerestricted rootsExponential map (Riemannian geometry)injectivity radiusAnalysisMathematicsDifferential Geometry and its Applications
researchProduct

On the Existence and Structure of Ψ*-Algebras of Totally Characteristic Operators on Compact Manifolds with Boundary

1999

As a contribution to the pseudodifferential analysis on manifolds with singularities we construct for each smooth, compact manifold X with boundary a Ψ*-algebra A(b)∞(X, bΩ1/2)⊆L(ϱbL2(X, bΩ1/2)) containing the algebra Ψ0b, cl(X, bΩ1/2) of totally characteristic pseudodifferential operators introduced by Melrose [25] in 1981 as a dense subalgebra; further, there is a homomorphism τ(b)A: A(b)∞(X, bΩ1/2)→Q(b)Ψ characterizing the Fredholm property of a∈A(b)∞(X, bΩ1/2) by means of the invertibility of τ(b)A(a)∈Q(b)Ψ, where Q(b)Ψ is an algebra of C∞-symbols reflecting the smooth structure of the manifold X. The Fredholm inverses of Fredholm operators in A(b)∞(X, bΩ1/2) are again in the algebra A(…

Pure mathematicsGlobal analysisMathematical analysisSpectrum (functional analysis)SubalgebraStructure (category theory)Boundary (topology)HomomorphismSmooth structureManifoldAnalysisMathematicsJournal of Functional Analysis
researchProduct

Sato's universal Grassmannian and group extensions

1991

An extension \(\widehat{GL}\) of the symmetry group GL of Sato's universal Grassmannian GM is constructed. The extension plays a similar role to that of the central extension \(\widehat{GL}_{{\text{res}}}\) in the approach of Segal and Wilson to τ functions and KP hierarchy. Our group G contains GLres as a subgroup and the associated τ function is a deformation of the usual τ function, leading to a deformed KP hierarchy. A relation to current algebra of Yang-Mills theory in 3+1 dimension is discussed.

Pure mathematicsGroup (mathematics)Current algebraStatistical and Nonlinear PhysicsExtension (predicate logic)Yang–Mills theoryFunction (mathematics)Symmetry groupAlgebraHigh Energy Physics::TheoryGrassmannianMathematical PhysicsVector spaceMathematicsLetters in Mathematical Physics
researchProduct

The differential Galois group of the rational function field

2020

We determine the absolute differential Galois group of the field $\mathbb{C}(x)$ of rational functions: It is the free proalgebraic group on a set of cardinality $|\mathbb{C}|$. This solves a longstanding open problem posed by B.H. Matzat. For the proof we develop a new characterization of free proalgebraic groups in terms of split embedding problems, and we use patching techniques in order to solve a very general class of differential embedding problems. Our result about $\mathbb{C}(x)$ also applies to rational function fields over more general fields of coefficients.

Pure mathematicsGroup (mathematics)General Mathematics010102 general mathematicsGalois groupField (mathematics)Rational functionMathematics - Commutative AlgebraCommutative Algebra (math.AC)01 natural sciences12H05 12F12 34M50 14L15Mathematics - Algebraic Geometry0103 physical sciencesFOS: MathematicsEmbeddingOrder (group theory)Differential algebra010307 mathematical physics0101 mathematicsAlgebraic Geometry (math.AG)Picard–Vessiot theoryMathematics
researchProduct

Canonical Brownian Motion on the Diffeomorphism Group of the Circle

2002

AbstractFor infinitesimal data given on the group of diffeomorphism of the circle with respect to the metric H3/2, the associated Brownian motion has been constructed by Malliavin (C.R. Acad. Sci. Parist.329 (1999), 325–329). In this work, we shall give another approach and prove the invariance of heat measures under the adjoint action of S1.

Pure mathematicsGroup (mathematics)InfinitesimalMathematical analysisfundamental cocycle.Action (physics)Mathematics::ProbabilityMetric (mathematics)DiffeomorphismBrownian motiondiffeomorphism groupBrownian motionAnalysisMathematicsJournal of Functional Analysis
researchProduct

Quantization on the Virasoro group

1990

The quantization of the Virasoro group is carried out by means of a previously established group approach to quantization. We explicitly work out the two-cocycles on the Virasoro group as a preliminary step. In our scheme the carrier space for all the Virasoro representations is made out of polarized functions on the group manifold. It is proved that this space does not contain null vector states, even forc≦1, although it is not irreducible. The full reduction is achieved in a striaghtforward way by just taking a well defined invariant subspace ℋ(c, h), the orbit of the enveloping algebra through the vacuum, which is irreducible for any value ofc andh. ℋ(c, h) is a proper subspace of the sp…

Pure mathematicsGroup (mathematics)Quantization (signal processing)Invariant subspaceStatistical and Nonlinear Physics81S10ManifoldGroup representation17B68Algebra58F06Null vector81R10Algebra representation22E65Mathematical PhysicsSymplectic geometryMathematics
researchProduct

?Almost? mean-field ising model: An algebraic approach

1991

We study the thermodynamic limit of the algebraic dynamics for an "almost" mean-field Ising model, which is a slight generalization of the Ising model in the mean-field approximation. We prove that there exists a family of "relevant" states on which the algebraic dynamics αt can be defined. This αt defines a group of automorphisms of the algebra obtained by completing the standard spin algebra with respect to the quasiuniform topology defined by our states. © 1991 Plenum Publishing Corporation.

Pure mathematicsGroup (mathematics)Statistical and Nonlinear PhysicsDimension of an algebraic varietySquare-lattice Ising modelalgebraic approachAutomorphismSpin systemCombinatoricsAlgebraic cyclePhysics and Astronomy (all)Thermodynamic limitIsing modelAlgebraic numberthermodynamical limitSettore MAT/07 - Fisica MatematicaMathematical PhysicsStatistical and Nonlinear PhysicMathematicsJournal of Statistical Physics
researchProduct