Search results for "obol"

showing 10 items of 228 documents

Universal infinitesimal Hilbertianity of sub-Riemannian manifolds

2019

We prove that sub-Riemannian manifolds are infinitesimally Hilbertian (i.e., the associated Sobolev space is Hilbert) when equipped with an arbitrary Radon measure. The result follows from an embedding of metric derivations into the space of square-integrable sections of the horizontal bundle, which we obtain on all weighted sub-Finsler manifolds. As an intermediate tool, of independent interest, we show that any sub-Finsler distance can be monotonically approximated from below by Finsler ones. All the results are obtained in the general setting of possibly rank-varying structures.

Mathematics - Differential GeometryMetric Geometry (math.MG)Sobolev spaceFunctional Analysis (math.FA)Mathematics - Functional AnalysisRiemannin monistotdifferentiaaligeometriasub-Finsler manifoldMathematics - Metric GeometryDifferential Geometry (math.DG)infinitesimal hilbertianityFOS: MathematicsMathematics::Metric Geometrysub-Riemannian manifoldMathematics::Differential GeometrymonistotfunktionaalianalyysiMathematics::Symplectic Geometry53C23 46E35 53C17 55R25Analysis
researchProduct

An upper gradient approach to weakly differentiable cochains

2012

Abstract The aim of the present paper is to define a notion of weakly differentiable cochain in the generality of metric measure spaces and to study basic properties of such cochains. Our cochains are (sub)additive functionals on a subspace of chains, and a suitable notion of chains in metric spaces is given by Ambrosio–Kirchheimʼs theory of metric currents. The notion of weak differentiability we introduce is in analogy with Heinonen–Koskelaʼs concept of upper gradients of functions. In one of the main results of our paper, we prove continuity estimates for cochains with p-integrable upper gradient in n-dimensional Lie groups endowed with a left-invariant Finsler metric. Our result general…

Mathematics - Differential GeometryPure mathematics49Q15 46E35 53C65 49J52 30L99Applied MathematicsGeneral Mathematicsta111010102 general mathematicsMathematical analysisLie group01 natural sciencesMeasure (mathematics)Cohomology010101 applied mathematicsSobolev spaceMetric spaceMathematics - Analysis of PDEsDifferential Geometry (math.DG)Hausdorff dimensionMetric (mathematics)FOS: MathematicsDifferentiable function0101 mathematicsAnalysis of PDEs (math.AP)Mathematics
researchProduct

Wolfe's theorem for weakly differentiable cochains

2014

Abstract A fundamental theorem of Wolfe isometrically identifies the space of flat differential forms of dimension m in R n with the space of flat m -cochains, that is, the dual space of flat chains of dimension m in R n . The main purpose of the present paper is to generalize Wolfe's theorem to the setting of Sobolev differential forms and Sobolev cochains in R n . A suitable theory of Sobolev cochains has recently been initiated by the second and third author. It is based on the concept of upper norm and upper gradient of a cochain, introduced in analogy with Heinonen–Koskela's concept of upper gradient of a function.

Mathematics - Differential GeometryPure mathematicsDifferential form49Q15 46E35 53C65 49J52Mathematics::Algebraic Topology01 natural sciencesMathematics - Analysis of PDEs0103 physical sciencesFOS: MathematicsDifferentiable function0101 mathematicsflat cochainMathematicsFundamental theoremDual spaceta111polyhedral chain010102 general mathematicsCohomologySobolev spaceDifferential Geometry (math.DG)Norm (mathematics)010307 mathematical physicsgeometric integration theoryweakly differentiable cochainAnalysisAnalysis of PDEs (math.AP)
researchProduct

Gradient estimates for heat kernels and harmonic functions

2020

Let $(X,d,\mu)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carr\'e du champ". Assume that $(X,d,\mu,\E)$ supports a scale-invariant $L^2$-Poincar\'e inequality. In this article, we study the following properties of harmonic functions, heat kernels and Riesz transforms for $p\in (2,\infty]$: (i) $(G_p)$: $L^p$-estimate for the gradient of the associated heat semigroup; (ii) $(RH_p)$: $L^p$-reverse H\"older inequality for the gradients of harmonic functions; (iii) $(R_p)$: $L^p$-boundedness of the Riesz transform ($p<\infty$); (iv) $(GBE)$: a generalised Bakry-\'Emery condition. We show that, for $p\in (2,\infty)$, (i), (ii) (iii) are equivalent, wh…

Mathematics - Differential GeometryPure mathematicsPoincaré inequality01 natural sciencesMeasure (mathematics)Sobolev inequalitydifferentiaaligeometriaRiesz transformsymbols.namesakeMathematics - Analysis of PDEsMathematics - Metric GeometryLi-Yau estimates0103 physical sciencesClassical Analysis and ODEs (math.CA)FOS: Mathematics0101 mathematicsMathematicsRiesz transformosittaisdifferentiaaliyhtälötSemigroupDirichlet form010102 general mathematicsMetric Geometry (math.MG)harmoninen analyysiheat kernelsDifferential Geometry (math.DG)Harmonic functionMathematics - Classical Analysis and ODEssymbolspotentiaaliteoria010307 mathematical physicsIsoperimetric inequalityharmonic functionsAnalysisAnalysis of PDEs (math.AP)Journal of Functional Analysis
researchProduct

Tensorization of quasi-Hilbertian Sobolev spaces

2022

The tensorization problem for Sobolev spaces asks for a characterization of how the Sobolev space on a product metric measure space $X\times Y$ can be determined from its factors. We show that two natural descriptions of the Sobolev space from the literature coincide, $W^{1,2}(X\times Y)=J^{1,2}(X,Y)$, thus settling the tensorization problem for Sobolev spaces in the case $p=2$, when $X$ and $Y$ are infinitesimally quasi-Hilbertian, i.e. the Sobolev space $W^{1,2}$ admits an equivalent renorming by a Dirichlet form. This class includes in particular metric measure spaces $X,Y$ of finite Hausdorff dimension as well as infinitesimally Hilbertian spaces. More generally for $p\in (1,\infty)$ we…

Mathematics - Differential Geometrymetric measure spacesDirichlet formsminimal upper gradientFunctional Analysis (math.FA)Mathematics - Functional Analysistensorization46E36 (Primary) 31C25 (Secondary)Differential Geometry (math.DG)Sobolev spacesFOS: Mathematicsanalysis on metric spacespotentiaaliteoriafunktionaalianalyysi
researchProduct

Bi-Lipschitz invariance of planar BV- and W1,1-extension domains

2021

We prove that a bi-Lipschitz image of a planar $BV$-extension domain is also a $BV$-extension domain, and that a bi-Lipschitz image of a planar $W^{1,1}$-extension domain is again a $W^{1,1}$-extension domain.

Mathematics - Functional AnalysisMathematics - Classical Analysis and ODEsBV-extensionClassical Analysis and ODEs (math.CA)FOS: MathematicsSobolev extension46E35funktionaalianalyysiFunctional Analysis (math.FA)
researchProduct

Pointwise inequalities for Sobolev functions on generalized cuspidal domains

2022

We establish point wise inequalities for Sobolev functions on a wider class of outward cuspidal domains. It is a generalization of an earlier result by the author and his collaborators

Mathematics - Functional Analysiscuspidal domainsFOS: Mathematicspointwise inequalitySobolev functionsAstrophysics::Cosmology and Extragalactic AstrophysicsArticlesepäyhtälötfunktionaalianalyysiFunctional Analysis (math.FA)
researchProduct

Analysis on free Riemannian path spaces

2005

Abstract The gradient operator is defined on the free path space with reference measure P μ , the law of the Brownian motion on the base manifold with initial distribution μ, where μ has strictly positive density w.r.t. the volume measure. The formula of integration by parts is established for the underlying directional derivatives, which implies the closability of the gradient operator so that it induces a conservative Dirichlet form on the free path space. The log-Sobolev inequality for this Dirichlet form is established and, consequently, the transportation cost inequality is obtained for the associated intrinsic distance.

Mathematics(all)Free path spaceDirichlet formGeneral MathematicsOperator (physics)Mathematical analysisRiemannian geometryMeasure (mathematics)ManifoldSobolev inequalitysymbols.namesakeTransportation cost inequalityRayleigh–Faber–Krahn inequalitysymbolsIntegration by parts formulaLog-Sobolev inequalityBrownian motionMathematicsBulletin des Sciences Mathématiques
researchProduct

Sobolev estimates for optimal transport maps on Gaussian spaces

2012

We will study variations in Sobolev spaces of optimal transport maps with the standard Gaussian measure as the reference measure. Some dimension free inequalities will be obtained. As application, we construct solutions to Monge-Ampere equations in finite dimension, as well as on the Wiener space.

Mathematics::Complex VariablesGaussianProbability (math.PR)Mathematics::Analysis of PDEsGaussian measureSobolev spaceStrong solutionssymbols.namesakeFOS: MathematicssymbolsApplied mathematicsEntropy (information theory)Fisher informationMathematics - ProbabilityAnalysisMathematicsJournal of Functional Analysis
researchProduct

In between the inequalities of Sobolev and Hardy

2016

We establish both sufficient and necessary conditions for the validity of the so-called Hardy–Sobolev inequalities on open sets of the Euclidean space. These inequalities form a natural interpolating scale between the (weighted) Sobolev inequalities and the (weighted) Hardy inequalities. The Assouad dimension of the complement of the open set turns out to play an important role in both sufficient and necessary conditions. peerReviewed

Mathematics::Functional AnalysisEuclidean spaceHardy-Sobolev inequalities
researchProduct