Search results for "Poincaré inequality"

showing 10 items of 34 documents

Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension conditions of Sturm

2011

We construct geodesics in the Wasserstein space of probability measure along which all the measures have an upper bound on their density that is determined by the densities of the endpoints of the geodesic. Using these geodesics we show that a local Poincar\'e inequality and the measure contraction property follow from the Ricci curvature bounds defined by Sturm. We also show for a large class of convex functionals that a local Poincar\'e inequality is implied by the weak displacement convexity of the functional.

Mathematics - Differential GeometryPure mathematicsGeodesicPoincaré inequalityMetric measure spaceCurvature01 natural sciencesConvexitysymbols.namesakeMathematics - Analysis of PDEsMathematics - Metric GeometryFOS: MathematicsMathematics::Metric Geometry0101 mathematicsRicci curvatureMathematicsProbability measure010102 general mathematicsta111Measure contraction propertyMetric Geometry (math.MG)53C23 (Primary) 28A33 49Q20 (Secondary)Functional Analysis (math.FA)010101 applied mathematicsMathematics - Functional AnalysisMetric spaceRicci curvatureDifferential Geometry (math.DG)Poincaré inequalityBounded functionsymbolsMathematics::Differential GeometryAnalysisAnalysis 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

Geometry and analysis of Dirichlet forms

2012

Let $ \mathscr E $ be a regular, strongly local Dirichlet form on $L^2(X, m)$ and $d$ the associated intrinsic distance. Assume that the topology induced by $d$ coincides with the original topology on $ X$, and that $X$ is compact, satisfies a doubling property and supports a weak $(1, 2)$-Poincar\'e inequality. We first discuss the (non-)coincidence of the intrinsic length structure and the gradient structure. Under the further assumption that the Ricci curvature of $X$ is bounded from below in the sense of Lott-Sturm-Villani, the following are shown to be equivalent: (i) the heat flow of $\mathscr E$ gives the unique gradient flow of $\mathscr U_\infty$, (ii) $\mathscr E$ satisfies the Ne…

Mathematics(all)General MathematicsPoincaré inequalityMetric measure space01 natural sciencesMeasure (mathematics)Length structuresymbols.namesakeMathematics - Metric GeometrySierpinski gasketGradient flowClassical Analysis and ODEs (math.CA)FOS: Mathematics0101 mathematicsRicci curvatureHeat kernelMathematicsDirichlet formProbability (math.PR)010102 general mathematicsMathematical analysista111Differential structureMetric Geometry (math.MG)Functional Analysis (math.FA)Sierpinski triangleMathematics - Functional Analysis010101 applied mathematicsRicci curvatureMathematics - Classical Analysis and ODEsPoincaré inequalityBounded functionsymbolsBalanced flowDirichlet formIntrinsic distanceMathematics - ProbabilityAdvances in Mathematics
researchProduct

Regularity properties for quasiminimizers of a $(p,q)$-Dirichlet integral

2021

Using a variational approach we study interior regularity for quasiminimizers of a $(p,q)$-Dirichlet integral, as well as regularity results up to the boundary, in the setting of a metric space equipped with a doubling measure and supporting a Poincar\'{e} inequality. For the interior regularity, we use De Giorgi type conditions to show that quasiminimizers are locally H\"{o}lder continuous and they satisfy Harnack inequality, the strong maximum principle, and Liouville's Theorem. Furthermore, we give a pointwise estimate near a boundary point, as well as a sufficient condition for H\"older continuity and a Wiener type regularity condition for continuity up to the boundary. Finally, we cons…

PointwiseApplied MathematicsMathematical analysisPoincaré inequalityBoundary (topology)Hölder conditionMetric Geometry (math.MG)Functional Analysis (math.FA)Dirichlet integralMathematics - Functional Analysissymbols.namesakeMetric spaceMaximum principleMathematics - Analysis of PDEsMathematics - Metric GeometrySettore MAT/05 - Analisi MatematicasymbolsFOS: Mathematics(p q)-Laplace operator Measure metric spaces Minimal p-weak upper gradient Minimizer31E05 30L99 46E35AnalysisHarnack's inequalityMathematicsAnalysis of PDEs (math.AP)
researchProduct

Existence and almost uniqueness for p -harmonic Green functions on bounded domains in metric spaces

2020

We study ($p$-harmonic) singular functions, defined by means of upper gradients, in bounded domains in metric measure spaces. It is shown that singular functions exist if and only if the complement of the domain has positive capacity, and that they satisfy very precise capacitary identities for superlevel sets. Suitably normalized singular functions are called Green functions. Uniqueness of Green functions is largely an open problem beyond unweighted $\mathbf{R}^n$, but we show that all Green functions (in a given domain and with the same singularity) are comparable. As a consequence, for $p$-harmonic functions with a given pole we obtain a similar comparison result near the pole. Various c…

Pure mathematicsCapacitary potential; Doubling measure; Metric space; p-harmonic Green function; Poincar? inequality; Singular function31C45 (Primary) 30L99 31C15 31E05 35J92 49Q20 (Secondary)Harmonic (mathematics)Mathematical Analysis01 natural sciencesMeasure (mathematics)Domain (mathematical analysis)Mathematics - Analysis of PDEscapacitary potentialMatematisk analysFOS: MathematicsUniqueness0101 mathematicsMathematicsComplement (set theory)p-harmonicApplied Mathematics010102 general mathematicsmetric spacemetriset avaruudet010101 applied mathematicsMetric spacePoincaré inequalityBounded functionMetric (mathematics)doubling measurepotentiaaliteoriasingular functiongreen functionAnalysisAnalysis of PDEs (math.AP)
researchProduct

Least gradient functions in metric random walk spaces

2019

In this paper we study least gradient functions in metric random walk spaces, which include as particular cases the least gradient functions on locally finite weighted connected graphs and nonlocal least gradient functions on $\mathbb{R}^N$. Assuming that a Poincar\'e inequality is satisfied, we study the Euler-Lagrange equation associated with the least gradient problem. We also prove the Poincar\'e inequality in a few settings.

Pure mathematicsControl and Optimization05C81 35R02 26A45 05C21 45C99010102 general mathematicsPoincaré inequalityRandom walk01 natural sciences010101 applied mathematicsComputational Mathematicssymbols.namesakeMathematics - Analysis of PDEsControl and Systems EngineeringMetric (mathematics)FOS: Mathematicssymbols0101 mathematicsAnalysis of PDEs (math.AP)MathematicsESAIM: Control, Optimisation and Calculus of Variations
researchProduct

Unique continuation property and Poincar�� inequality for higher order fractional Laplacians with applications in inverse problems

2020

We prove a unique continuation property for the fractional Laplacian $(-\Delta)^s$ when $s \in (-n/2,\infty)\setminus \mathbb{Z}$. In addition, we study Poincar\'e-type inequalities for the operator $(-\Delta)^s$ when $s\geq 0$. We apply the results to show that one can uniquely recover, up to a gauge, electric and magnetic potentials from the Dirichlet-to-Neumann map associated to the higher order fractional magnetic Schr\"odinger equation. We also study the higher order fractional Schr\"odinger equation with singular electric potential. In both cases, we obtain a Runge approximation property for the equation. Furthermore, we prove a uniqueness result for a partial data problem of the $d$-…

Pure mathematicsControl and Optimizationfractional Schrödinger equationApproximation propertyPoincaré inequalityRadon transform.01 natural sciencesinversio-ongelmatSchrödinger equationsymbols.namesakefractional Poincaré inequalityOperator (computer programming)Mathematics - Analysis of PDEsFOS: MathematicsDiscrete Mathematics and CombinatoricsUniquenesskvanttimekaniikka0101 mathematicsepäyhtälötMathematicsosittaisdifferentiaaliyhtälötPlane (geometry)inverse problemsComputer Science::Information Retrieval010102 general mathematicsOrder (ring theory)Gauge (firearms)Mathematics::Spectral Theoryunique continuationFunctional Analysis (math.FA)010101 applied mathematicsMathematics - Functional AnalysisModeling and Simulationsymbolsfractional LaplacianAnalysis35R30 46F12 44A12Analysis of PDEs (math.AP)
researchProduct

Sobolev-type spaces from generalized Poincaré inequalities

2007

We de ne a Sobolev space by means of a generalized Poincare inequality and relate it to a corresponding space based on upper gradients. 2000 Mathematics Subject Classi cation: Primary 46E35, Secondary 46E30, 26D10

Pure mathematicsGeneral MathematicsMathematical analysisPoincaré inequalityType (model theory)Space (mathematics)Sobolev inequalitySobolev spacesymbols.namesakesymbolsInterpolation spaceBirnbaum–Orlicz spaceMathematicsSobolev spaces for planar domainsStudia Mathematica
researchProduct

Notions of Dirichlet problem for functions of least gradient in metric measure spaces

2019

We study two notions of Dirichlet problem associated with BV energy minimizers (also called functions of least gradient) in bounded domains in metric measure spaces whose measure is doubling and supports a (1, 1)-Poincaré inequality. Since one of the two notions is not amenable to the direct method of the calculus of variations, we construct, based on an approach of Juutinen and Mazón-Rossi–De León, solutions by considering the Dirichlet problem for p-harmonic functions, p>1, and letting p→1. Tools developed and used in this paper include the inner perimeter measure of a domain. Peer reviewed

Pure mathematicsGeneral MathematicsPoincaré inequalitycodimension 1 Hausdorff measure01 natural sciencesMeasure (mathematics)symbols.namesakeMathematics - Analysis of PDEsMathematics - Metric GeometryFOS: Mathematicsinner trace0101 mathematicsleast gradientMathematicsDirichlet problemDirichlet problemp-harmonicDirect method010102 general mathematicsA domainMetric Geometry (math.MG)perimeterfunction of bounded variationmetric measure spacePoincaré inequalityBounded functionMetric (mathematics)symbolsAnalysis of PDEs (math.AP)
researchProduct

Heisenberg quasiregular ellipticity

2016

Following the Euclidean results of Varopoulos and Pankka--Rajala, we provide a necessary topological condition for a sub-Riemannian 3-manifold $M$ to admit a nonconstant quasiregular mapping from the sub-Riemannian Heisenberg group $\mathbb{H}$. As an application, we show that a link complement $S^3\backslash L$ has a sub-Riemannian metric admitting such a mapping only if $L$ is empty, the unknot or Hopf link. In the converse direction, if $L$ is empty, a specific unknot or Hopf link, we construct a quasiregular mapping from $\mathbb{H}$ to $S^3\backslash L$. The main result is obtained by translating a growth condition on $\pi_1(M)$ into the existence of a supersolution to the $4$-harmonic…

Pure mathematicsGeneral MathematicsSobolev–Poincaré inequality01 natural sciences3-sphereMathematics - Geometric TopologyMathematics - Metric GeometryEuclidean geometryHeisenberg groupFOS: Mathematicssub-Riemannian manifold0101 mathematicsComplex Variables (math.CV)topologiaUnknotLink (knot theory)Complement (set theory)MathematicsMathematics::Complex VariablesMathematics - Complex Variablescapacity010102 general mathematicsta111Hopf linkGeometric Topology (math.GT)Metric Geometry (math.MG)quasiregular mappingisoperimetric inequality3-sphereHopf linkcontact manifoldlink complementpotentiaaliteoriaMathematics::Differential GeometryIsoperimetric inequalitymonistot
researchProduct